Luming Duan

As trapped-ion quantum computing scales to larger qubit registers and more complex control protocols, classical control systems face a fundamental tradeoff: sub-microsecond board-level feedback requires tight hardware coupling, whereas maintainability and extensibility require clean, modular software abstractions. This paper presents QuCtrl-BELL (Bell), a compiler-driven software stack for trapped-ion quantum control. The design resolves this tradeoff by decoupling control flow -- including loops, branches, and synchronization -- from hardware state data. A Python-embedded domain-specific language (DSL) is lowered through a six-stage transpilation pipeline covering control flow graph (CFG) construction, static single-assignment (SSA) conversion, liveness analysis, and graph-coloring register allocation. The compiler generates deterministic distributed board-level programs and compact step-table data. A cross-board synchronization protocol supports feedback loops with latency below 700~ns without host intervention. Bell is deployed and evaluated on the QuCtrl-BELL platform (RISC-V + PXIe), demonstrating that a compiler-based infrastructure can provide programmability, deterministic timing, and modularity for scalable trapped-ion quantum control.

The ability to execute a large number of quantum gates in parallel is a fundamental requirement for quantum error correction, allowing an error threshold to exist under the finite coherence time of physical qubits. Recently, two-dimensional ion crystals have been demonstrated as a plausible approach to scale up the qubit number in a trapped ion quantum computer. However, although the long-range Coulomb interaction between the ions enables their strong connectivity, it also complicates the design of parallel gates and leads to intrinsic crosstalk errors. Here we examine the effects of crosstalk errors on a rotated surface code. We show that, instead of the distance-3 code considered in previous works, a distance-5 code is necessary to correct the two-qubit crosstalk error. We numerically calculate the logical error rates and coherence times under various crosstalk errors, gate infidelities and coherence times of the physical qubits, and we optimize the parallelism level according to the competition between different error sources. We show that a break-even point can be reached under realistic parameters. We further analyze the spatial dependence of the crosstalk, and discuss the scaling of the logical error rate versus the code distance for the long-term goal of a logical error rate below $10^{-10}$.

Topological defects are discontinuities of a system protected by global properties, with wide applications in mathematics and physics. While previous experimental studies mostly focused on their classical properties, it has been predicted that topological defects can exhibit quantum superposition. Despite the fundamental interest and potential applications in understanding symmetry-breaking dynamics of quantum phase transitions, its experimental realization still remains a challenge. Here, we report the observation of quantum superposition of topological defects in a trapped-ion quantum simulator. By engineering long-range spin-spin interactions, we observe a spin kink splitting into a superposition of kinks at different positions, creating a ``Schrodinger kink'' that manifests non-locality and quantum interference. Furthermore, by preparing superposition states of neighboring kinks with different phases, we observe the propagation of the wave packet in different directions, thus unambiguously verifying the quantum coherence in the superposition states. Our work provides useful tools for non-equilibrium dynamics in quantum Kibble-Zurek physics.

Dual-type qubits have become a promising way to suppress the crosstalk error of auxiliary operations in large-scale ion trap quantum computation. Here we demonstrate a direct entangling gate between dual-type qubits encoded in the $S_{1/2}$ and $D_{5/2}$ hyperfine manifolds of $^{137}\mathrm{Ba}^{+}$ ions. Our scheme is economic in the hardware, requiring only a single $532\,$nm laser system to entangle both qubit types by driving their Raman transitions. We achieve a Bell state fidelity of $96.3(4)\%$ for the dual-type Molmer-Sorensen gate between an $S$-$D$ ion pair, comparable to that for the same-type $S$-$S$ or $D$-$D$ gates. This technique can reduce the overhead for back-and-forth conversions between dual-type qubits in the quantum circuit with wide applications in quantum error correction and ion-photon quantum networks.

We report the electromagnetically-induced-transparency (EIT) cooling of $^{137}\mathrm{Ba}^{+}$ ions with a nuclear spin of $I=3/2$, which are a good candidate of qubits for future large-scale trapped ion quantum computing. EIT cooling of atoms or ions with a complex ground-state level structure is challenging due to the lack of an isolated $Λ$ system, as the population can escape from the $Λ$ system to reduce the cooling efficiency. We overcome this issue by leveraging an EIT pumping laser to repopulate the cooling subspace, ensuring continuous and effective EIT cooling. We cool the two radial modes of a single $^{137}\mathrm{Ba}^{+}$ ion to average motional occupations of 0.08(5) and 0.15(7) respectively. Using the same laser parameters, we also cool all the ten radial modes of a five-ion chain to near their ground states. Our approach can be adapted to atomic species possessing similar level structures. It allows engineering of the EIT Fano-like spectrum, which can be useful for simultaneous cooling of modes across a wide frequency range, aiding in large-scale trapped-ion quantum information processing.

Non-Hermitian systems generically have complex energies, which may host topological structures, such as links or knots. While there has been great progress in experimentally engineering non-Hermitian models in quantum simulators, it remains a significant challenge to experimentally probe complex energies in these systems, thereby making it difficult to directly diagnose complex-energy topology. Here, we experimentally realize a two-band non-Hermitian model with a single trapped ion whose complex eigenenergies exhibit the unlink, unknot or Hopf link topological structures. Based on non-Hermitian absorption spectroscopy, we couple one system level to an auxiliary level through a laser beam and then experimentally measure the population of the ion on the auxiliary level after a long period of time. Complex eigenenergies are then extracted, illustrating the unlink, unknot or Hopf link topological structure. Our work demonstrates that complex energies can be experimentally measured in quantum simulators via non-Hermitian absorption spectroscopy, thereby opening the door for exploring various complex-energy properties in non-Hermitian quantum systems, such as trapped ions, cold atoms, superconducting circuits or solid-state spin systems.

Quantum simulation provides important tools in studying strongly correlated many-body systems with controllable parameters. As a hybrid of two fundamental models in quantum optics and in condensed matter physics, the Rabi-Hubbard model demonstrates rich physics through the competition between local spin-boson interactions and long-range boson hopping. Here we report an experimental realization of the Rabi-Hubbard model using up to $16$ trapped ions and present a controlled study of its equilibrium properties and quantum dynamics. We observe the ground-state quantum phase transition by slowly quenching the coupling strength, and measure the quantum dynamical evolution in various parameter regimes. With the magnetization and the spin-spin correlation as probes, we verify the prediction of the model Hamiltonian by comparing theoretical results in small system sizes with experimental observations. For larger-size systems of $16$ ions and $16$ phonon modes, the effective Hilbert space dimension exceeds $2^{57}$, whose dynamics is intractable for classical supercomputers.

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)\%$.

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.

Two or three dimensional Paul traps can confine a large number of ions forming a Wigner crystal, which would provide an ideal architecture for scalable quantum computation except for the micromotion, an issue that is widely believed to be the killer for high fidelity quantum gates. Surprisingly, here we show that the micromotion is not an obstacle at all for design of high fidelity quantum gates, even though the magnitude of the micromotion is significantly beyond the requirement of the Lamb-Dicke condition. Through exact solution of the quantum Mathieu equations, we demonstrate the principle of the gate design under micromotion using two ions in a quadrupole Paul trap as an example. The proposed micromotion quantum gates can be extended to the many ion case, paving a new way for scalable trapped ion quantum computation.

Boson sampling solves a classically intractable problem by sampling from a probability distribution given by matrix permanents. We propose a scalable implementation of Boson sampling using local transverse phonon modes of trapped ions to encode the Bosons. The proposed scheme allows deterministic preparation and high-efficiency readout of the Bosons in the Fock states and universal mode mixing. With the state-of-the-art trapped ion technology, it is feasible to realize Boson sampling with tens of Bosons by this scheme, which would outperform the most powerful classical computers and constitute an effective disproof of the famous extended Church-Turing thesis.

Spin squeezed states are a class of entangled states of spins that have practical applications to precision measurements. In recent years spin squeezing with one-axis twisting (OAT) has been demonstrated experimentally with spinor BECs with more than 10^3 atoms. Although the noise is below the standard quantum limit, the OAT scheme cannot reduce the noise down to the ultimate Heisenberg limit. Here we propose an experimentally feasible scheme based on optimized quantum control to greatly enhance the performance of OAT to approach the Heisenberg limit, requiring only an OAT Hamiltonian and the use of several coherent driving pulses. The scheme is robust against technical noise and can be readily implemented for spinor BECs or trapped ions with current technology.

We experimentally observed state-independent violations of Kochen-Specker inequalities for the simplest indivisible quantum system manifesting quantum contextuality, a three-level (qutrit) system. We performed the experiment with a single trapped ^{171}Yb^{+} ion, by mapping three ground states of the ^{171}Yb^{+} ion to a qutrit system and carrying out quantum operatations by applying microwaves resonant to the qutrit transition frequencies. Our results are free from the detection loophole and cannot be explained by the non-contextual hidden variable models.

A collection of trapped atomic ions represents one of the most attractive platforms for the quantum simulation of interacting spin networks and quantum magnetism. Spin-dependent optical dipole forces applied to an ion crystal create long-range effective spin-spin interactions and allow the simulation of spin Hamiltonians that possess nontrivial phases and dynamics. Here we show how appropriate design of laser fields can provide for arbitrary multidimensional spin-spin interaction graphs even for the case of a linear spatial array of ions. This scheme uses currently existing trap technology and is scalable to levels where classical methods of simulation are intractable.