Kenneth R. Brown

Large-language-model (LLM) agents can write and run experimental control code. This allows laboratory work to be conducted autonomously. However, this autonomy raises a safety problem that prior work has not addressed. Unchecked code can damage the apparatus, and there is no formal, per-operation boundary between human authorization/supervision, and agent decisions. We present a control system that places an LLM agent in the loop of a trapped-ion experiment while enforcing such a boundary. The agent controls the existing Advanced Real-Time Infrastructure for Quantum physics (ARTIQ) stack through tools provided by a Model Context Protocol (MCP) server. No tool call reaches the hardware unless it carries an authorization token bound to its exact contents. Tokens are issued in one of two ways: automatically, by running the agent's proposed script in an isolated hardware simulation (dax.sim) and checking every operation against preset per-device bounds, or manually by a human operator for sensitive actions. Within this boundary the agent develops its own experiments, rather than only calling pre-built routines. We deploy the system on a co-trapped $^{40}$Ca$^{+}$/$^{40}$CaOH$^{+}$ crystal, where the agent autonomously builds a full calibration stack and, with targeted operator guidance, closes a cross-instrument magnetic-field-stabilization loop. On a separate, independent $^{171}$Yb$^{+}$ platform, we confirm interface-level portability. We systematically test token-authorization mechanism with adversarial scripts that attempt to bypass it, mapping the precise boundary of its protection and prioritizing where to strengthen it next. Analyzing where the agent still requires human guidance, we find that its limits lie in metacognitive control, namely recognizing when a problem must be re-framed, rather than in domain knowledge.

High-fidelity quantum logic operations in trapped ions often require the ions' collective motion to be cooled to near the ground state. Since cooling the ions' motion typically involves dissipative processes such as spontaneous photon scattering, sympathetic cooling is used on select coolant ions between gate sequences to cool the ion chain without affecting the data qubits. Common implementations for coolant ions include different atomic species, different isotopes of the same species or individually addressable ions. Each of these approaches have challenges associated with them, which include increased hardware complexity, reduced efficiency of radial mode cooling and re-ordering events which add additional experimental overhead. We demonstrate a sympathetic cooling scheme leveraging internal metastable atomic levels accessible via a narrow quadrupole transition, utilizing the natural Zeeman shift and individually addressed Raman transitions, to achieve isolation of the non-coolant or ``data ions" from coolant ions. We demonstrate modest decoherence of the data ions due to cooling, while preserving the coherence requirements for high-fidelity gate operations.

Distributed quantum computing can potentially address the scalability challenge by networking processors through photon-mediated remote entanglement. Prior approaches assumed that remote Bell pairs require distillation before use, incurring substantial overhead, to achieve sufficiently high fidelity. However, recent results show that lattice-surgery operations at logical qubit boundaries tolerate significantly higher error rates than previously assumed. We quantify the resource trade-offs between distillation overhead and surface-code distance requirements under realistic constraints including probabilistic entanglement generation and memory decoherence. We identify the fidelity crossover point separating the two regimes. Below this threshold, the distillation strategy dominates, reducing resource overhead by up to two orders of magnitude. Above it, no-distillation becomes the more efficient choice, reducing resource overhead by more than half. We briefly describe the application of these methods to ion-trap and neutral-atom platforms. These results provide joint design guidelines for optimizing photonic interconnects and fault-tolerant architectures in distributed quantum computing.

We report the observation of charge-exchange collisions between trapped calcium monohydride molecular ions ($^{40}$CaH$^+$) and ultracold potassium atoms ($^{39}$K) in a hybrid ion-atom trap. The measured charge-exchange rate coefficient is significantly suppressed relative to the Langevin rate constant for the system. We use quantum-chemical calculations to model the (CaH-K)$^+$ system in the ground and excited electronic states and to identify possible charge-exchange mechanisms. Our calculations do not fully explain the measured rate, highlighting the need for a full-dimensional quantum treatment that includes vibrational motion and intermediate complex formation. Our work demonstrates that cold hybrid ion-atom platforms with molecular ions enable access to richer chemical complexity and collisional dynamics inaccessible in purely atomic systems.

Modular trapped-ion quantum computing hardware, known as QCCDs require shuttling operations in order to maintain effective all-to-all connectivity. Each module or trap can perform only one operation at a time, resulting in low intra-trap parallelism, but there is no restriction on operations happening on independent traps, enabling high inter-trap parallelism. Unlike their superconducting counterparts, the design space for QCCDs is relatively flexible and can be explored beyond current grid designs. In particular, current grid-based architectures significantly limit the performance of many promising, high-rate codes such as HGP codes and BB codes, suffering from numerous trap to trap ``roadblocks", forcing serialization and destroying the inherent parallelism of these codes.. Many of these codes are highly parallelizable, meaning that with appropriate hardware layouts and matching software schedules, execution latency can be reduced. Faster execution, in turn, reduces error accumulation from decoherence and heating, ultimately improving code performance when mapped to realistic hardware. To address this, we propose Cyclone, a circular software-hardware codesign that departs from traditional 2D grids in favor of a flexible ring topology, where ancilla qubits move in lockstep. Cyclone eliminates roadblocks, bounds total movement, and enables high levels of parallelism, resulting in up to ~4$\times$ speedup in execution times. With HGP codes, Cyclone achieves up to a 2$\times$ order of magnitude improvement in logical error rate, and with BB codes, this improvement reaches up to a 3$\times$ in order of magnitude.Spatially, Cyclone reduces the number of required traps and ancilla qubits by $2\times$.The overall spacetime improvement over a standard grid is up to $\sim 20 \times$, demonstrating Cyclone as a scalable and efficient alternative to conventional 2D QCCD architectures.

The investigation of strongly-correlated quantum matter is difficult due to the curse of dimensionality and intricate entanglement structures. These challenges are particularly pronounced in the vicinity of continuous quantum phase transitions, where quantum fluctuations manifest across all length scales. While quantum simulators give controlled access to a number of strongly correlated systems, the study of critical phenomena has been hampered by finite-size effects arising from diverging correlation lengths. Moreover, the experimental investigation of entanglement in many-body systems has been hindered by limitations in measurement protocols. To address these challenges, we employ the multiscale entanglement renormalization ansatz (MERA) and implement a holographic scheme for subsystem tomography on a fully-connected trapped-ion quantum computer. Our method accurately represents infinite systems and long-range correlations with few qubits, facilitating the efficient extraction of observables and entanglement properties, even at criticality. We observe a quantum phase transition with spontaneous symmetry breaking and reveal the evolution of entanglement properties across the critical point. For the first time, we demonstrate log-law scaling of subsystem entanglement entropies at criticality on a digital quantum computer. This achievement highlights the potential of MERA for the investigation of strongly-correlated many-body systems on quantum computers.

We present high-resolution rovibronic spectroscopy of calcium monohydride molecular ions (CaH$^+$) co-trapped in a Coulomb crystal with calcium ions ($^{40}$Ca$^+$), focusing on rotational transitions in the $|X^1Σ^+, ν" = 0> \rightarrow |A^1Σ^+, ν' = 2>$ manifold. By resolving individual P and R branch transitions with record precision and using Fortrat analysis, we extract key spectroscopic constants for the excited state $|A^1Σ^+, ν' = 2>$, specifically, the band origin, the rotational constant, and the centrifugal correction. Additionally, we demonstrate the application of high-resolution rotational spectroscopy of CaH$^+$ presented here as an in-situ probe of local environmental temperature. We correlate the relative amplitudes of the observed transitions to the underlying thermalized ground-state rotational population distribution and extract the black-body radiation (BBR) temperature.

Dipole-phonon quantum logic (DPQL) offers novel approaches for state preparation, measurement, and control of quantum information in molecular ion qubits. In this work, we demonstrate an experimental implementation of DPQL with a trapped calcium monoxide and calcium ion chain at room temperature. We present evidence for one DPQL signal in two hours of data collection. The signal rises clearly above the characterized noise level and has a lower bound on the statistical significance of 4.1$σ$. The rate of observation is limited by the low thermal population in the molecular ground rotational state.

Pulse-level control of quantum systems is critical for enabling gate implementations, calibration procedures, and Hamiltonian evolution which fundamentally are not supported by the traditional circuit model. This level of control necessitates both efficient generation and representation. In this work, we propose pulselib - a graph-based pulse-level representation. A graph structure, with nodes consisting of parametrized fundamental waveforms, stores all the high-level pulse information while staying flexible for translation into hardware-specific inputs. We motivate pulselib by comparing its feature set and information flow through the pulse layer of the software stack with currently available pulse representations. We describe the architecture of this proposed representation that mimics the abstract syntax tree (AST) model from classical compilation pipelines. Finally, we outline applications like trapped-ion-specific gate and shelving pulse schemes whose constraints and implementation can be written and represented due to pulselib's graph-based architecture.

Accurate calibration of control parameters in quantum gates is crucial for high-fidelity operations, yet it represents a significant time and resource challenge, necessitating periods of downtime for quantum computers. Robust Phase Estimation (RPE) has emerged as a practical and effective calibration technique aimed at tackling this challenge. It combines a provably efficient number of control pulses with a classical post-processing algorithm to estimate the phase accumulated by a quantum gate. We introduce Bayesian Robust Phase Estimation (BRPE), an innovative approach that integrates Bayesian parameter estimation into the classical post-processing phase to reduce the sampling overhead. Our numerical analysis shows that BRPE markedly reduces phase estimation errors, requiring approximately $50\%$ fewer samples than standard RPE. Specifically, in an ideal, noise-free setting, it achieves up to a $96\%$ reduction in average absolute estimation error for a fixed sample cost of $88$ shots when compared to RPE. Under a depolarizing noise model, it attains up to a $47\%$ reduction for a fixed cost of $176$ shots. Additionally, we adapt BRPE for Ramsey spectroscopy applications and successfully implement it experimentally in a trapped ion system.

The spin-boson model, involving spins interacting with a bath of quantum harmonic oscillators, is a widely used representation of open quantum systems. Trapped ions present a natural platform for simulating the quantum dynamics of such models, thanks to the presence of both high quality internal qubit states and the motional modes of the ions that can simulate the relevant quantum degrees of freedom. In our work, we extend the previous body of work that focused on coherent coupling of the spins and bosons to perform quantum simulations with structured dissipative baths using the motional states of trapped ions. We demonstrate the capability for adjusting the bath's temperature and continuous spectral density by adding randomness to fully programmable control parameters. Subsequently, we simulate the dynamics of various spin-boson models with noise spectral densities constructed from coupling to several dissipative harmonic oscillator modes. The experimental outcomes closely align with theoretical predictions, indicating successful simulation of open quantum systems using a trapped-ion system.

Sideband cooling enables preparation of trapped ion motion near the ground state and is essential for many scientific and technological applications of trapped ion devices. Here, we study the efficiency of continuous and pulsed sideband cooling using both first- and second-order sidebands applied to an ion where the motion starts outside the Lamb-Dicke regime. We find that after optimizing these distinct cooling methods, pulsed and continuous cooling achieve similar results based on simulations and experiments with a $^{40}$Ca$^+$ ion. We consider optimization of both average phonon number $\overline{n}$ and population in the ground state. We also demonstrate the disparity between $\overline{n}$ as measured by the sideband ratio method of trapped ion thermometry and the $\overline{n}$ found by averaging over the ion's motional state distribution.

We present the design and characterization of individual addressing optics based on a multi-channel acousto-optic modulator (AOM) for trapped ytterbium-171 ions. The design parameters of the individual addressing system were determined based on the tradeoff between the expected crosstalk and the required numerical aperture of the projection objective lens. The target beam diameter and separation were 1.90 $μ$m and 4.28 $μ$m, respectively. The individual beams shaped by the projection optics were characterized by an imaging sensor and a field probe ion. The resulting effective beam diameters and separations were approximately 2.34--2.36 $μ$m and 4.31 $μ$m, respectively, owing to residual aberration.

Quantum states can quickly decohere through interaction with the environment. Quantum error correction is a method for preserving coherence through active feedback. Quantum error correction encodes the quantum information into a logical state with a high-degree of symmetry. Perturbations are first detected by measuring the symmetries of the quantum state and then corrected by applying a set of gates based on the measurements. In order to measure the symmetries without perturbing the data, ancillary quantum states are required. Shor error correction uses a separate quantum state for the measurement of each symmetry. Steane error correction maps the perturbations onto a logical ancilla qubit, which is then measured to check several symmetries simultaneously. Here we experimentally compare Shor and Steane correction of bit flip errors using the Bacon-Shor code implemented in a chain of 23 trapped atomic ions. We find that the Steane error correction provides better logical error rates after a single-round of error correction and less disturbance to the data qubits without error correction.

A large class of problems in the current era of quantum devices involve interfacing between the quantum and classical system. These include calibration procedures, characterization routines, and variational algorithms. The control in these routines iteratively switches between the classical and the quantum computer. This results in the repeated compilation of the program that runs on the quantum system, scaling directly with the number of circuits and iterations. The repeated compilation results in a significant overhead throughout the routine. In practice, the total runtime of the program (classical compilation plus quantum execution) has an additional cost proportional to the circuit count. At practical scales, this can dominate the round-trip CPU-QPU time, between 5% and 80%, depending on the proportion of quantum execution time. To avoid repeated device-level compilation, we identify that machine code can be parametrized corresponding to pulse/gate parameters which can be dynamically adjusted during execution. Therefore, we develop a device-level partial-compilation (DLPC) technique that reduces compilation overhead to nearly constant, by using cheap remote procedure calls (RPC) from the QPU control software to the CPU. We then demonstrate the performance speedup of this on optimal pulse calibration, system characterization using randomized benchmarking (RB), and variational algorithms. We execute this modified pipeline on real trapped-ion quantum computers and observe significant reductions in compilation time, as much as 2.7x speedup for small-scale VQE problems.

Simulating the quantum dynamics of molecules in the condensed phase represents a longstanding challenge in chemistry. Trapped-ion quantum systems may serve as a platform for the analog-quantum simulation of chemical dynamics that is beyond the reach of current classical-digital simulation. To identify a 'quantum advantage' for these simulations, performance analysis of both analog-quantum simulation on noisy hardware and classical-digital algorithms is needed. In this Review, we make a comparison between a noisy analog trapped-ion simulator and a few choice classical-digital methods on simulating the dynamics of a model molecular Hamiltonian with linear vibronic coupling. We describe several simple Hamiltonians that are commonly used to model molecular systems, which can be simulated with existing or emerging trapped-ion hardware. These Hamiltonians may serve as stepping stones toward the use of trapped-ion simulators for systems beyond the reach of classical-digital methods. Finally, we identify dynamical regimes where classical-digital simulations seem to have the weakest performance compared to analog-quantum simulations. These regimes may provide the lowest hanging fruit to exploit potential quantum advantages.

Electron transfer within and between molecules is crucial in chemistry, biochemistry, and energy science. This study describes a quantum simulation method that explores the influence of light polarization on the electron transfer between two molecules. By implementing precise and coherent control among the quantum states of trapped atomic ions, we can induce quantum dynamics that mimic the electron transfer dynamics in molecules. We use $3$-level systems (qutrits), rather than traditional two-level systems (qubits) to enhance the simulation efficiency and realize high-fidelity simulations of electron transfer dynamics. We treat the quantum interference between the electron coupling pathways from a donor with two degenerate excited states to an acceptor and analyze the transfer efficiency. We also examine the potential error sources that enter the quantum simulations. The trapped ion systems have favorable scalings with system size compared to those of classical computers, promising access to electron-transfer simulations of increasing richness.

Control of the external degree of freedom of trapped molecular ions is a prerequisite for their promising applications to spectroscopy, precision measurements of fundamental constants, and quantum information technology. Here, we demonstrate near ground-state cooling of the axial motional modes of a calcium mono-oxide ion via sympathetic sideband cooling with a co-trapped calcium ion. We also show that the phonon state of the axial out-of-phase mode of the ion chain is maintained while the mode frequency is adiabatically ramped up and down. The adiabatic ramping of the motional mode frequency is a prerequisite for searching for the proposed molecular dipole-phonon interaction.

Conical intersections are common in molecular physics and photochemistry, and are often invoked to explain observed reaction products. A conical intersection can occur when an excited electronic potential energy surface intersects with the ground electronic potential energy surface in the coordinate space of the nuclear positions. Theory predicts that the conical intersection will result in a geometric phase for a wavepacket on the ground potential energy surface. Although conical intersections have been observed experimentally, the geometric phase has not been observed in a molecular system. Here we use a trapped atomic ion system to perform a quantum simulation of a conical intersection. The internal state of a trapped atomic ion serves as the electronic state and the motion of the atomic nuclei are encoded into the normal modes of motion of the ions. The simulated electronic potential is constructed by applying state-dependent forces to the ion with a near-resonant laser. We experimentally observe the geometric phase on the ground-state surface using adiabatic state preparation followed by motional state measurement. Our experiment shows the advantage of combining spin and motion degrees of freedom in a quantum simulator.

Erasures, or errors with known locations, are a more favorable type of error for quantum error-correcting codes than Pauli errors. Converting physical noise into erasures can significantly improve the performance of quantum error correction. Here we apply the idea of performing erasure conversion by encoding qubits into metastable atomic states, proposed by Wu, Kolkowitz, Puri, and Thompson [Nat. Comm. 13, 4657 (2022)], to trapped ions. We suggest an erasure-conversion scheme for metastable trapped-ion qubits and develop a detailed model of various types of errors. We then compare the logical performance of ground and metastable qubits on the surface code under various physical constraints, and conclude that metastable qubits may outperform ground qubits when the achievable laser power is higher for metastable qubits.

Real-time control software and hardware is essential for operating quantum computers. In particular, the software plays a crucial role in bridging the gap between quantum programs and the quantum system. Unfortunately, current control software is often optimized for a specific system at the cost of flexibility and portability. We propose a systematic design strategy for modular real-time quantum control software and demonstrate that modular control software can reduce the execution time overhead of kernels by 63.3% on average while not increasing the binary size. Our analysis shows that modular control software for two distinctly different systems can share between 49.8% and 91.0% of covered code statements. To demonstrate the modularity and portability of our software architecture, we run a portable randomized benchmarking experiment on two different ion-trap quantum systems.

In trapped-ion quantum computers, two-qubit entangling gates are generated by applying spin-dependent force which uses phonons to mediate interaction between the internal states of the ions. To maintain high-fidelity two-qubit gates under fluctuating experimental parameters, robust pulse-design methods are applied to remove the residual spin-motion entanglement in the presence of motional mode frequency drifts. Here we propose an improved pulse-design method that also guarantees the robustness of the two-qubit rotation angle against uniform mode frequency drifts by combining pulses with opposite sensitivity of the angle to mode frequency drifts. We experimentally measure the performance of the designed gates and see an improvement on both gate fidelity and gate performance under uniform mode frequency offsets.

High-fidelity two-qubit gates in quantum computers are often hampered by fluctuating experimental parameters. The effects of time-varying parameter fluctuations lead to coherent noise on the qubits, which can be suppressed by designing control signals with appropriate filter functions. Here, we develop filter functions for Mølmer-Sørensen gates of trapped-ion quantum computers that accurately predict the change in gate error due to small parameter fluctuations at any frequency. We then design the filter functions of frequency-modulated laser pulses, and compare this method with pulses that are robust to static offsets of the motional-mode frequencies. Experimentally, we measure the noise spectrum of the motional modes and use it for designing the filter functions, which improves the gate fidelity from 99.23(7)% to 99.55(7)% in a five-ion chain.

Crosstalk between target and neighboring spectator qubits due to spillover of control signals represents a major error source limiting the fidelity of two-qubit entangling gates in quantum computers. We show that in our laser-driven trapped-ion system coherent crosstalk error can be modelled as residual $X\hatσ_φ$ interaction and can be actively cancelled by single-qubit echoing pulses. We propose and demonstrate a crosstalk suppression scheme that eliminates all first-order crosstalk, yet only requires local control by driving rotations solely on the target qubits. We report a two-qubit Bell state fidelity of $99.52(6) \%$ with the echoing pulses applied after collective gates and $99.37(5) \%$ with the echoing pulses applied to each gate in a 5-ion chain. This scheme is widely applicable to other platforms with analogous interaction Hamiltonians.

Trapped atomic ions are a versatile platform for studying interactions between spins and bosons by coupling the internal states of the ions to their motion. Measurement of complex motional states with multiple modes is challenging, because all motional state populations can only be measured indirectly through the spin state of ions. Here we present a general method to determine the Fock state distributions and to reconstruct the density matrix of an arbitrary multi-mode motional state. We experimentally verify the method using different entangled states of multiple radial modes in a 5-ion chain. This method can be extended to any system with Jaynes-Cummings type interactions.

We study variants of Shor's code that are adept at handling single-axis correlated idling errors, which are commonly observed in many quantum systems. By using the repetition code structure of the Shor's code basis states, we calculate the logical channel applied to the encoded information when subjected to coherent and correlated single qubit idling errors, followed by stabilizer measurement. Changing the signs of the stabilizer generators allows us to change how the coherent errors interfere, leading to a quantum error correcting code which performs as well as a classical repetition code of equivalent distance against these errors. We demonstrate a factor of 4 improvement of the logical memory in a distance-3 logical qubit implemented on a trapped-ion quantum computer. Even-distance versions of our Shor code variants are decoherence-free subspaces and fully robust to identical and independent coherent idling noise.

Two-qubit gates in trapped-ion quantum computers are generated by applying spin-dependent forces that temporarily entangle the internal state of the ion with its motion. Laser pulses are carefully designed to generate a maximally entangling gate between the ions while minimizing any residual entanglement between the motion and the ion. The quality of the gates suffers when the actual experimental parameters differ from the ideal case. Here, we improve the robustness of frequency-modulated Mølmer-Sørensen gates to motional mode-frequency offsets by optimizing the average performance over a range of systematic errors using batch optimization. We then compare this method with frequency-modulated gates optimized for ideal parameters that include an analytic robustness condition. Numerical simulations show good performance up to 12 ions, and the method is experimentally demonstrated on a two-ion chain.

Fault-tolerant quantum error correction (QEC) is crucial for unlocking the true power of quantum computers. QEC codes use multiple physical qubits to encode a logical qubit, which is protected against errors at the physical qubit level. Here we use a trapped ion system to experimentally prepare $m$-qubit GHZ states and sample the measurement results to construct $m\times m$ logical states of the $[[m^2,1,m]]$ Shor code, up to $m=7$. The synthetic logical fidelity shows how deeper encoding can compensate for additional gate errors in state preparation for larger logical states. However, the optimal code size depends on the physical error rate and we find that $m=5$ has the best performance in our system. We further realize the direct logical encoding of the $[[9,1,3]]$ Shor code on nine qubits in a thirteen-ion chain for comparison, with $98.8(1)\%$ and $98.5(1)\%$ fidelity for state $\left\vert\pm\right\rangle_L$, respectively.

Coherent gate errors are a concern in many proposed quantum computing architectures. These errors can be effectively handled through composite pulse sequences for single-qubit gates, however, such techniques are less feasible for entangling operations. In this work, we benchmark our coherent errors by comparing the actual performance of composite single-qubit gates to the predicted performance based on characterization of individual single-qubit rotations. We then propose a compilation technique, which we refer to as hidden inverses, that creates circuits robust to these coherent errors. We present experimental data showing that these circuits suppress both overrotation and phase misalignment errors in our trapped ion system.

Trapped-ion qubits are a leading technology for practical quantum computing. In this work, we present an architectural analysis of a linear-tape architecture for trapped ions. In order to realize our study, we develop and evaluate mapping and scheduling algorithms for this architecture. In particular, we introduce TILT, a linear "Turing-machine-like" architecture with a multilaser control "head", where a linear chain of ions moves back and forth under the laser head. We find that TILT can substantially reduce communication as compared with comparable-sized Quantum Charge Coupled Device (QCCD) architectures. We also develop two important scheduling heuristics for TILT. The first heuristic reduces the number of swap operations by matching data traveling in opposite directions into an "opposing swap", and also avoids the maximum swap distance across the width of the head, as maximum swap distances make scheduling multiple swaps in one head position difficult. The second heuristic minimizes ion chain motion by scheduling the tape to the position with the maximal executable operations for every movement. We provide application performance results from our simulation, which suggest that TILT can outperform QCCD in a range of NISQ applications in terms of success rate (up to 4.35x and 1.95x on average). We also discuss using TILT as a building block to extend existing scalable trapped-ion quantum computing proposals.

Quantum error correction protects fragile quantum information by encoding it into a larger quantum system. These extra degrees of freedom enable the detection and correction of errors, but also increase the operational complexity of the encoded logical qubit. Fault-tolerant circuits contain the spread of errors while operating the logical qubit, and are essential for realizing error suppression in practice. While fault-tolerant design works in principle, it has not previously been demonstrated in an error-corrected physical system with native noise characteristics. In this work, we experimentally demonstrate fault-tolerant preparation, measurement, rotation, and stabilizer measurement of a Bacon-Shor logical qubit using 13 trapped ion qubits. When we compare these fault-tolerant protocols to non-fault tolerant protocols, we see significant reductions in the error rates of the logical primitives in the presence of noise. The result of fault-tolerant design is an average state preparation and measurement error of 0.6% and a Clifford gate error of 0.3% after error correction. Additionally, we prepare magic states with fidelities exceeding the distillation threshold, demonstrating all of the key single-qubit ingredients required for universal fault-tolerant operation. These results demonstrate that fault-tolerant circuits enable highly accurate logical primitives in current quantum systems. With improved two-qubit gates and the use of intermediate measurements, a stabilized logical qubit can be achieved.

Trapped-ion quantum information processors store information in atomic ions maintained in position in free space via electric fields. Quantum logic is enacted via manipulation of the ions' internal and shared motional quantum states using optical and microwave signals. While trapped ions show great promise for quantum-enhanced computation, sensing, and communication, materials research is needed to design traps that allow for improved performance by means of integration of system components, including optics and electronics for ion-qubit control, while minimizing the near-ubiquitous electric-field noise produced by trap-electrode surfaces. In this review, we consider the materials requirements for such integrated systems, with a focus on problems that hinder current progress toward practical quantum computation. We give suggestions for how materials scientists and trapped-ion technologists can work together to develop materials-based integration and noise-mitigation strategies to enable the next generation of trapped-ion quantum computers.

Dipole-phonon quantum logic (DPQL) leverages the interaction between polar molecular ions and the motional modes of a trapped-ion Coulomb crystal to provide a potentially scalable route to quantum information science. Here, we study a class of candidate molecular ions for DPQL, the cationic alkaline-earth monoxides and monosulfides, which possess suitable structure for DPQL and can be produced in existing atomic ion experiments with little additional complexity. We present calculations of DPQL operations for one of these molecules, CaO$^+$, and discuss progress towards experimental realization. We also further develop the theory of DPQL to include state preparation and measurement and entanglement of multiple molecular ions.

Instruction scheduling is a key compiler optimization in quantum computing, just as it is for classical computing. Current schedulers optimize for data parallelism by allowing simultaneous execution of instructions, as long as their qubits do not overlap. However, on many quantum hardware platforms, instructions on overlapping qubits can be executed simultaneously through __global interactions__. For example, while fan-out in traditional quantum circuits can only be implemented sequentially when viewed at the logical level, global interactions at the physical level allow fan-out to be achieved in one step. We leverage this simultaneous fan-out primitive to optimize circuit synthesis for NISQ (Noisy Intermediate-Scale Quantum) workloads. In addition, we introduce novel quantum memory architectures based on fan-out. Our work also addresses hardware implementation of the fan-out primitive. We perform realistic simulations for trapped ion quantum computers. We also demonstrate experimental proof-of-concept of fan-out with superconducting qubits. We perform depth (runtime) and fidelity estimation for NISQ application circuits and quantum memory architectures under realistic noise models. Our simulations indicate promising results with an asymptotic advantage in runtime, as well as 7--24% reduction in error.

Trapped ions (TI) are a leading candidate for building Noisy Intermediate-Scale Quantum (NISQ) hardware. TI qubits have fundamental advantages over other technologies such as superconducting qubits, including high qubit quality, coherence and connectivity. However, current TI systems are small in size, with 5-20 qubits and typically use a single trap architecture which has fundamental scalability limitations. To progress towards the next major milestone of 50-100 qubits, a modular architecture termed the Quantum Charge Coupled Device (QCCD) has been proposed. In a QCCD-based TI device, small traps are connected through ion shuttling. While the basic hardware components for such devices have been demonstrated, building a 50-100 qubit system is challenging because of a wide range of design possibilities for trap sizing, communication topology and gate implementations and the need to match diverse application resource requirements. Towards realizing QCCD systems with 50-100 qubits, we perform an extensive architectural study evaluating the key design choices of trap sizing, communication topology and operation implementation methods. We built a design toolflow which takes a QCCD architecture's parameters as input, along with a set of applications and realistic hardware performance models. Our toolflow maps the applications onto the target device and simulates their execution to compute metrics such as application run time, reliability and device noise rates. Using six applications and several hardware design points, we show that trap sizing and communication topology choices can impact application reliability by up to three orders of magnitude. Microarchitectural gate implementation choices influence reliability by another order of magnitude. From these studies, we provide concrete recommendations to tune these choices to achieve highly reliable and performant application executions.

In a large scale trapped atomic ion quantum computer, high-fidelity two-qubit gates need to be extended over all qubits with individual control. We realize and characterize high-fidelity two-qubit gates in a system with up to 4 ions using radial modes. The ions are individually addressed by two tightly focused beams steered using micro-electromechanical system (MEMS) mirrors. We deduce a gate fidelity of 99.49(7)% in a two-ion chain and 99.30(6)% in a four-ion chain by applying a sequence of up to 21 two-qubit gates and measuring the final state fidelity. We characterize the residual errors and discuss methods to further improve the gate fidelity towards values that are compatible with fault-tolerant quantum computation.

We present experimental evidence of charge exchange between laser-cooled potassium $^{39}$K atoms and calcium $^{40}$Ca$^+$ ions in a hybrid atom-ion trap and give quantitative theoretical explanations for the observations. The $^{39}$K atoms and $^{40}$Ca$^+$ ions are held in a magneto-optical (MOT) and a linear Paul trap, respectively. Fluorescence detection and high resolution time of flight mass spectra for both species are used to determine the remaining number of $^{40}$Ca$^+$ ions, the increasing number of $^{39}$K$^+$ ions, and $^{39}$K number density as functions of time. Simultaneous trap operation is guaranteed by alternating periods of MOT and $^{40}$Ca$^+$ cooling lights, thus avoiding direct ionization of $^{39}$K by the $^{40}$Ca$^+$ cooling light. We show that the K-Ca$^+$ charge-exchange rate coefficient increases linearly from zero with $^{39}$K number density and, surprisingly, the fraction of $^{40}$Ca$^+$ ions in the 4p\,$^2$P$_{1/2}$ electronically-excited state. Combined with our theoretical analysis, we conclude that these data can only be explained by a process that starts with a potassium atom in its electronic ground state and a calcium ion in its excited 4p\,$^2$P$_{1/2}$ state producing ground-state $^{39}$K$^+$ ions and metastable, neutral Ca\,(3d4p$^3$P$_1$) atoms, releasing only 150 cm$^{-1}$ equivalent relative kinetic energy. Charge-exchange between either ground- or excited-state $^{39}$K and ground-state $^{40}$Ca$^+$ is negligibly small as no energetically-favorable product states are available. Our experimental and theoretical rate coefficients of $9\times10^{-10}$ cm$^3$/s are in agreement given the uncertainty budgets.

We simulate four quantum error correcting codes under error models inspired by realistic noise sources in near-term ion trap quantum computers: $T_2$ dephasing, gate overrotation, and crosstalk. We use this data to find preferred codes for given error parameters along with logical error biases and a pseudothreshold which compares the physical and logical gate failure rates for a CNOT gate. Using these results we conclude that Bacon-Shor-13 is the most promising near term candidate as long as the impact of crosstalk can be mitigated through other means.

In this article we describe the design, construction and implementation of our ion-atom hybrid system incorporating a high resolution time of flight mass spectrometer (TOFMS). Potassium atoms ($^{39}$K) in a Magneto Optical Trap (MOT) and laser cooled calcium ions ($^{40}$Ca$^+$) in a linear Paul trap are spatially overlapped and the combined trap is integrated with a TOFMS for radial extraction and detection of reaction products. We also present some experimental results showing interactions between $^{39}$K$^+$ and $^{39}$K, $^{40}$Ca$^+$ and $^{39}$K$^+$ as well as $^{40}$Ca$^+$ and $^{39}$K pairs. Finally, we discuss prospects for cooling CaH$^+$ molecular ions in the hybrid ion-atom system.

Accurate control of quantum systems requires precise measurement of the parameters that govern the dynamics, including control fields and interactions with the environment. Parameters will drift in time and experiments interleave protocols that perform parameter estimation with protocols that measure the dynamics of interest. Here we specialize to a system made of qubits where the dynamics correspond to a quantum computation. We propose setting aside some qubits, which we call spectator qubits, to be measured periodically during the computation, to act as probes of the changing experimental and environmental parameters. By using control strategies that minimize the sensitivity of the qubits involved in the computation, we can acquire sufficient information from the spectator qubits to update our estimates of the parameters and improve our control. As a result, we can increase the length of experiment where the dynamics of the data qubits are highly reliable. In particular, we simulate how spectator qubits can keep the error level of operations on data qubits below a $10^{-4}$ threshold in two scenarios involving coherent errors: a classical magnetic field gradient dynamically decoupled with sequences of two or four $π$-pulses, and laser beam instability detected via crosstalk with neighboring atoms in an ion trap.

Ion trap systems are a leading platform for large scale quantum computers. Trapped ion qubit crystals are fully-connected and reconfigurable, owing to their long range Coulomb interaction that can be modulated with external optical forces. However, the spectral crowding of collective motional modes could pose a challenge to the control of such interactions for large numbers of qubits. Here, we show that high-fidelity quantum gate operations are still possible with very large trapped ion crystals, simplifying the scaling of ion trap quantum computers. To this end, we present analytical work that determines how parallel entangling gates produce a crosstalk error that falls off as the inverse cube of the distance between the pairs. We also show experimental work demonstrating entangling gates on a fully-connected chain of seventeen $^{171}{\rm{Yb}}^{+}$ ions with fidelities as high as $97(1)\%$.

Leakage errors take qubits out of the computational subspace and will accumulate if not addressed. A leaked qubit will reduce the effectiveness of quantum error correction protocols due to the cost of implementing leakage reduction circuits and the harm caused by interacting leaked states with qubit states. Ion trap qubits driven by Raman gates have a natural choice between qubits encoded in magnetically insensitive hyperfine states that can leak and qubits encoded in magnetically sensitive Zeeman states of the electron spin that cannot leak. In our previous work, we compared these two qubits in the context of the toric code with a depolarizing leakage error model and found that for magnetic field noise with a standard deviation less than 32 $μ$G that the $^{174}$Yb$^+$ Zeeman qubit outperforms the $^{171}$Yb$^+$ hyperfine qubit. Here we examine a physically motivated leakage error model based on ions interacting via the Molmer-Sorenson gate. We find that this greatly improves the performance of hyperfine qubits but the Zeeman qubits are more effective for magnetic field noise with a standard deviation less than 10 $μ$G. At these low magnetic fields, we find that the best choice is a mixed qubit scheme where the hyperfine qubits are the ancilla and the leakage is handled without the need of an additional leakage reduction circuit.

Leakage is a particularly damaging error that occurs when a qubit state falls out of its two-level computational subspace. Compared to independent depolarizing noise, leaked qubits may produce many more configurations of harmful correlated errors during error-correction. In this work, we investigate different local codes in the low-error regime of a leakage gate error model. When restricting to bare-ancilla extraction, we observe that subsystem codes are good candidates for handling leakage, as their locality can limit damaging correlated errors. As a case study, we compare subspace surface codes to the subsystem surface codes introduced by Bravyi et al. In contrast to depolarizing noise, subsystem surface codes outperform same-distance subspace surface codes below error rates as high as $\lessapprox 7.5 \times 10^{-4}$ while offering better per-qubit distance protection. Furthermore, we show that at low to intermediate distances, Bacon-Shor codes offer better per-qubit error protection against leakage in an ion-trap motivated error model below error rates as high as $\lessapprox 1.2 \times 10^{-3}$. For restricted leakage models, this advantage can be extended to higher distances by relaxing to unverified two-qubit cat state extraction in the surface code. These results highlight an intrinsic benefit of subsystem code locality to error-corrective performance.

Quantum computing leverages the quantum resources of superposition and entanglement to efficiently solve computational problems considered intractable for classical computers. Examples include calculating molecular and nuclear structure, simulating strongly-interacting electron systems, and modeling aspects of material function. While substantial theoretical advances have been made in mapping these problems to quantum algorithms, there remains a large gap between the resource requirements for solving such problems and the capabilities of currently available quantum hardware. Bridging this gap will require a co-design approach, where the expression of algorithms is developed in conjunction with the hardware itself to optimize execution. Here, we describe a scalable co-design framework for solving chemistry problems on a trapped ion quantum computer, and apply it to compute the ground-state energy of the water molecule. The robust operation of the trapped ion quantum computer yields energy estimates with errors approaching the chemical accuracy, which is the target threshold necessary for predicting the rates of chemical reaction dynamics.

Coherent errors are a dominant noise process in many quantum computing architectures. Unlike stochastic errors, these errors can combine constructively and grow into highly detrimental overrotations. To combat this, we introduce a simple technique for suppressing systematic coherent errors in low-density parity-check (LDPC) stabilizer codes, which we call stabilizer slicing. The essential idea is to slice low-weight stabilizers into two equally-weighted Pauli operators and then apply them by rotating in opposite directions, causing their overrotations to interfere destructively on the logical subspace. With access to native gates generated by 3-body Hamiltonians, we can completely eliminate purely coherent overrotation errors, and for overrotation noise of 0.99 unitarity we achieve a 135-fold improvement in the logical error rate of Surface-17. For more conventional 2-body ion trap gates, we observe an 89-fold improvement for Bacon-Shor-13 with purely coherent errors which should be testable in near-term fault-tolerance experiments. This second scheme takes advantage of the prepared gauge degrees of freedom, and to our knowledge is the first example in which the state of the gauge directly affects the robustness of a code's memory. This work demonstrates that coherent noise is preferable to stochastic noise within certain code and gate implementations when the coherence is utilized effectively.

A Bacon-Shor code is a subsystem quantum error-correcting code on an $L \times L$ lattice where the $2(L-1)$ weight-$2L$ stabilizers are usually inferred from the measurements of $(L-1)^2$ weight-2 gauge operators. Here we show that the stabilizers can be measured directly and fault tolerantly with bare ancillary qubits by constructing circuits that follow the pattern of gauge operators. We then examine the implications of this method for small quantum error-correcting codes by comparing distance 3 versions of the rotated surface code and the Bacon-Shor code with the standard depolarizing model and in the context of a trapped ion quantum computer. We find that for a simple circuit of prepare, error correct and measure the Bacon-Shor code outperforms the surface code by requiring fewer qubits, taking less time, and having a lower error rate.

Many systems used for quantum computing possess additional states beyond those defining the qubit. Leakage out of the qubit subspace must be considered when designing quantum error correction codes. Here we consider trapped ion qubits manipulated by Raman transitions. Zeeman qubits do not suffer from leakage errors but are sensitive to magnetic fields to first-order. Hyperfine qubits can be encoded in clock states that are insensitive to magnetic fields to first-order, but spontaneous scattering during the Raman transition can lead to leakage. Here we compare a Zeeman qubit ($^{174}$Yb$^+$) to a hyperfine qubit ($^{171}$Yb$^+$) in the context of the surface code. We find that the number of physical qubits required to reach a specific logical qubit error can be reduced by using $^{174}$Yb$^+$ if the magnetic field can be stabilized with fluctuations smaller than $10$ $μ$G.

We explore the feasibility of implementing a small surface code with 9 data qubits and 8 ancilla qubits, commonly referred to as surface-17, using a linear chain of 171Yb+ ions. Two-qubit gates can be performed between any two ions in the chain with gate time increasing linearly with ion distance. Measurement of the ion state by fluorescence requires that the ancilla qubits be physically separated from the data qubits to avoid errors on the data due to scattered photons. We minimize the time required to measure one round of stabilizers by optimizing the mapping of the two-dimensional surface code to the linear chain of ions. We develop a physically motivated Pauli error model that allows for fast simulation and captures the key sources of noise in an ion trap quantum computer including gate imperfections and ion heating. Our simulations showed a consistent requirement of a two-qubit gate fidelity of > 99.9% for logical memory to have a better fidelity than physical two-qubit operations. Finally, we perform an analysis on the error subsets from the importance sampling method used to approximate the logical error rates in this paper to gain insight into which error sources are particularly detrimental to error correction.

In an ion trap quantum computer, collective motional modes are used to entangle two or more qubits in order to execute multi-qubit logical gates. Any residual entanglement between the internal and motional states of the ions results in loss of fidelity, especially when there are many spectator ions in the crystal. We propose using a frequency-modulated (FM) driving force to minimize such errors. In simulation, we obtained an optimized FM two-qubit gate that can suppress errors to less than 0.01\% and is robust against frequency drifts over $\pm$1 kHz. Experimentally, we have obtained a two-qubit gate fidelity of $98.3(4)\%$, a state-of-the-art result for two-qubit gates with 5 ions.

We present a [[7, 1, 3]] quantum error-correcting code that is able to achieve fault-tolerant syndrome measurement using one ancillary qubit per stabilizer for an error model of independent single-qubit Pauli errors. All single-qubit Pauli errors on the ancillary qubits propagate to form exclusively correctable errors on the data qubits. The situation changes for error models with two-qubit Pauli errors. We compare the level-1 logical error rates under two noise models: the standard Pauli symmetric depolarizing error model and an anisotropic error model. The anisotropic model is motivated by control errors on two-qubit gates commonly applied to trapped ion qubits. We find that one ancillary qubit per syndrome measurement is sufficient for fault-tolerance for the anisotropic error, but is not sufficient for the standard depolarizing errors. We then show how to achieve fault tolerance for the standard depolarizing errors by adding flag qubits to check for errors on select ancilary qubits. Our results on this [[7, 1, 3]] code demonstrates how physically motivated noise models may simplify fault-tolerent protocols.

We demonstrate the trapping and sympathetic cooling of B$^{+}$ ions in a Coulomb crystal of laser-cooled Ca$^{+}$, We non-destructively confirm the presence of the both B$^+$ isotopes by resonant excitation of the secular motion. The B$^{+}$ ions are loaded by ablation of boron and the secular excitation spectrum also reveals features consistent with ions of the form B$_{n}^{+}$.

We control the relative coupling strength of carrier and first order motional sideband interactions of a trapped ion by placing it in a resonant optical standing wave. Our configuration uses the surface of a microfabricated chip trap as a mirror, avoiding technical challenges of in-vacuum optical cavities. Displacing the ion along the standing wave, we show a periodic suppression of the carrier and sideband transitions with the cycles for the two cases $180^\circ$ out of phase with each other. This technique allows for suppression of off-resonant carrier excitations when addressing the motional sidebands, with applications in quantum simulation and quantum control. Using the standing wave fringes, we measure the relative ion height as a function of applied electric field, allowing for a precise measurement of ion displacement and, combined with measured micromotion amplitudes, a validation of trap numerical models.

The fidelity of laser-driven quantum logic operations on trapped ion qubits tend to be lower than microwave-driven logic operations due to the difficulty of stabilizing the driving fields at the ion location. Through stabilization of the driving optical fields and use of composite pulse sequences, we demonstrate high fidelity single-qubit gates for the hyperfine qubit of a $^{171}\text{Yb}^+$ ion trapped in a microfabricated surface electrode ion trap. Gate error is characterized using a randomized benchmarking protocol, and an average error per randomized Clifford group gate of $3.6(3)\times10^{-4}$ is measured. We also report experimental realization of palindromic pulse sequences that scale efficiently in sequence length.

We demonstrate sympathetic sideband cooling of a $^{40}$CaH$^{+}$ molecular ion co-trapped with a $^{40}$Ca$^{+}$ atomic ion in a linear Paul trap. Both axial modes of the two-ion chain are simultaneously cooled to near the ground state of motion. The center of mass mode is cooled to an average quanta of harmonic motion $\overline{n}_{\mathrm{COM}} = 0.13 \pm 0.03$, corresponding to a temperature of $12.47 \pm 0.03 ~μ$K. The breathing mode is cooled to $\overline{n}_{\mathrm{BM}} = 0.05 \pm 0.02$, corresponding to a temperature of $15.36 \pm 0.01~μ$K.

We measure ion heating following transport throughout a Y-junction surface-electrode ion trap. By carefully selecting the trap voltage update rate during adiabatic transport along a trap arm, we observe minimal heating relative to the anomalous heating background. Transport through the junction results in an induced heating between 37 and 150 quanta in the axial direction per traverse. To reliably measure heating in this range, we compare the experimental sideband envelope, including up to fourth-order sidebands, to a theoretical model. The sideband envelope method allows us to cover the intermediate heating range inaccessible to the first-order sideband and Doppler recooling methods. We conclude that quantum information processing in this ion trap will likely require sympathetic cooling in order to support high fidelity gates after junction transport.

Selective laser addressing of a single atom or atomic ion qubit can be improved using narrowband composite pulse sequences. We describe a Lie-algebraic technique to generalize known narrowband sequences and introduce new sequences related by dilation and rotation of sequence generators. Our method improves known narrowband sequences by decreasing both the pulse time and the residual error. Finally, we experimentally demonstrate these composite sequences using $^{40}$Ca$^+$ ions trapped in a surface-electrode ion trap.

We schedule the Steane [[7,1,3]] error correction on a model ion trap architecture with ballistic transport. We compare the level one error rates for syndrome extraction using the Shor method of ancilla prepared in verified cat states to the DiVincenzo-Aliferis method without verification. The study examines how the quantum error correction circuit latency and error vary with the number of available ancilla and the choice of protocol for ancilla preparation and measurement. We find that with few exceptions the DiVincenzo-Aliferis method without cat state verification outperforms the standard Shor method. We also find that additional ancilla always reduces the latency but does not significantly change the error due to the high memory fidelity.

We present a microfabricated surface-electrode ion trap with a pair of integrated waveguides that generate a standing microwave field resonant with the 171Yb+ hyperfine qubit. The waveguides are engineered to position the wave antinode near the center of the trap, resulting in maximum field amplitude and uniformity along the trap axis. By calibrating the relative amplitudes and phases of the waveguide currents, we can control the polarization of the microwave field to reduce off-resonant coupling to undesired Zeeman sublevels. We demonstrate single-qubit pi-rotations as fast as 1 us with less than 6 % variation in Rabi frequency over an 800 um microwave interaction region. Fully compensating pulse sequences further improve the uniformity of X-gates across this interaction region.

We present a simple cryostat purpose built for use with surface-electrode ion traps, designed around an affordable, large cooling power commercial pulse tube refrigerator. A modular vacuum enclosure with a single vacuum space facilitates interior access, and enables rapid turnaround and flexiblity for future modifications. Long rectangular windows provide nearly 360 degrees of optical access in the plane of the ion trap, while a circular bottom window near the trap enables NA 0.4 light collection without the need for in-vacuum optics. We evaluate the system's mechanical and thermal characteristics, and we quantify ion trapping performance by trapping 40Ca+, finding small stray electric fields, long ion lifetimes, and low ion heating rates.

In ion trap quantum information processing, efficient fluorescence collection is critical for fast, high-fidelity qubit detection and ion-photon entanglement. The expected size of future many-ion processors require scalable light collection systems. We report on the development and testing of a microfabricated surface-electrode ion trap with an integrated high numerical aperture (NA) micromirror for fluorescence collection. When coupled to a low NA lens, the optical system is inherently scalable to large arrays of mirrors in a single device. We demonstrate stable trapping and transport of 40Ca+ ions over a 0.63 NA micromirror and observe a factor of 1.9 enhancement in photon collection compared to the planar region of the trap.

The direct laser cooling of neutral diatomic molecules in molecular beams suggests that trapped molecular ions can also be laser cooled. The long storage time and spatial localization of trapped molecular ions provides the opportunity for multi-step cooling strategies, but also requires a careful consideration of rare molecular transitions. We briefly summarize the requirements that a diatomic molecule must meet for laser cooling, and we identify a few potential molecular ion candidates. We then perform a detailed computational study of the candidates BH+ and AlH+, including improved ab initio calculations of the electronic state potential energy surfaces and transition rates for rare dissociation events. Based on an analysis of population dynamics, we determine which transitions must be addressed for laser cooling and compare experimental schemes using continuous-wave and pulsed lasers

The coupled motion of ions in a radiofrequency trap has been used to connect the frequency- dependent laser-induced heating of a sympathetically cooled spectroscopy ion with changes in the fluorescence of a laser-cooled control ion. This technique, sympathetic heating spectroscopy, is demonstrated using two isotopes of calcium. In the experiment, a few scattered photons from the spectroscopy ion are transformed into a large deviation from the steady-state fluorescence of the control ion. This allows us to detect an optical transition where the number of scattered photons is below our fluorescence detection limit. Possible applications of the technique to molecular ion spectroscopy are briefly discussed.

Quantum simulations of spin systems could enable the solution of problems which otherwise require infeasible classical resources. Such a simulation may be implemented using a well-controlled system of effective spins, such as a two-dimensional lattice of locally interacting ions. We propose here a layered planar rf trap design that can be used to create arbitrary two-dimensional lattices of ions. The design also leads naturally to ease of microfabrication. As a first experimental demonstration, we confine strontium-88 ions in a mm-scale lattice trap and verify numerical models of the trap by measuring the motional frequencies. We also confine 440 nm diameter charged microspheres and observe ion-ion repulsion between ions in neighboring lattice sites. Our design, when scaled to smaller ion-ion distances, is appropriate for quantum simulation schemes, e.g. that of Porras and Cirac (PRL 92 207901 (2004)). We note, however, that in practical realizations of the trap, an increase in the secular frequency with decreasing ion spacing may make a coupling rate that is large relative to the decoherence rate in such a trap difficult to achieve.

Dense arrays of trapped ions provide one way of scaling up ion trap quantum information processing. However, miniaturization of ion traps is currently limited by sharply increasing motional state decoherence at sub-100 um ion-electrode distances. We characterize heating rates in cryogenically cooled surface-electrode traps, with characteristic sizes in 75 um to 150 um range. Upon cooling to 6 K, the measured rates are suppressed by 7 orders of magnitude, two orders of magnitude below previously published data of similarly sized traps operated at room temperature. The observed noise depends strongly on fabrication process, which suggests further improvements are possible.

We demonstrate loading by laser ablation of $^{88}$Sr$^+$ ions into a mm-scale surface-electrode ion trap. The laser used for ablation is a pulsed, frequency-tripled Nd:YAG with pulse energies of 1-10 mJ and durations of 3-5 ns. An additional laser is not required to photoionize the ablated material. The efficiency and lifetime of several candidate materials for the laser ablation target are characterized by measuring the trapped ion fluorescence signal for a number of consecutive loads. Additionally, laser ablation is used to load traps with a trap depth (40 meV) below where electron impact ionization loading is typically successful ($\gtrsim$ 500 meV).

Spin Hamiltonians with degenerate ground states are one potential system for the storage of quantum information at low temperatures. Trapped ions can be used to simulate the dynamics of these Hamiltonians, but the coherence-preserving properties will be lost. This illustrates that a quantum simulation performed in an interaction frame will not thermalize with its environment.

We demonstrate a method for loading surface electrode ion traps by electron impact ionization. The method relies on the property of surface electrode geometries that the trap depth can be increased at the cost of more micromotion. By introducing a buffer gas, we can counteract the rf heating assocated with the micromotion and benefit from the larger trap depth. After an initial loading of the trap, standard compensation techniques can be used to cancel the stray fields resulting from charged dielectric and allow for the loading of the trap at ultra-high vacuum.