Yao Lu

A central challenge in developing practical quantum processors is maintaining low control complexity while scaling to large numbers of qubits. Trapped-ion systems excel in small-scale operations and support rapid qubit scaling via long-chain architectures. However, their performance in larger systems is hindered by spectral crowding in radial motional modes, a problem that forces reliance on intricate pulse-shaping techniques to maintain gate fidelities. Here, we overcome this challenge by developing a novel trapped-ion processor with an individual-addressing system that generates steerable Hermite-Gaussian beam arrays. The transverse gradient of these beams couples qubits selectively to sparse axial motional modes, enabling to isolate a single mode as entanglement mediator. Leveraging this capability, we demonstrate addressable two-qubit entangling gates in chains up to six ions with fidelities consistently around 0.97, achieved without complex pulse shaping. Our method significantly reduces control overhead while preserving scalability, providing a crucial advance toward practical large-scale trapped-ion quantum computing.

High-fidelity detection of quantum states is indispensable for implementing quantum error correction, a prerequisite for fault-tolerant quantum computation. For promising trapped ion qubits, however, the detection fidelity is inherently limited by state leakage. Here, we propose an efficient approach to enhance the fidelity of detecting $^{171} \mathrm{Yb}^+$ qubits through $^2D_{3/2}$ state shelving techniques. Leveraging selective shelving and state-dependent fluorescence, we mitigate the impact of state leakage and experimentally realize a fidelity of 99.88(2)%, while over 99.99% fidelity is predicted by utilizing state-of-the-art hardwares. Meanwhile, we demonstrate the feasibility of mid-circuit measurements, a crucial step for recent implementations of quantum error correction, by mapping the hyperfine qubit to metastable levels. Our research provides an essential component for realizing fault-tolerant quantum information processing with trapped-ion systems in the near future.

A promising paradigm of quantum computing for achieving practical quantum advantages is quantum annealing or quantum approximate optimization algorithm, where the classical problems are encoded in Ising interactions. However, it is challenging to build a quantum system that can efficiently map any structured problems. Here, we present a programmable trapped-ion quantum simulator of an Ising model with all-to-all connectivity with up to four spins. We implement the spin-spin interactions by using the coupling of trapped ions to multiple collective motional modes and realize the programmability through phase modulation of the Raman laser beams that are individually addressed on ions. As an example, we realize several Ising lattices with different interaction connectivities, where the interactions can be ferromagnetic or anti-ferromagnetic. We confirm the programmed interaction geometry by observing the ground states of the corresponding models through quantum state tomography. Our experimental demonstrations serve as an important basis for realizing practical quantum advantages with trapped ions.

Quantum error mitigation has been extensively explored to increase the accuracy of the quantum circuits in noisy-intermediate-scale-quantum (NISQ) computation, where quantum error correction requiring additional quantum resources is not adopted. Among various error-mitigation schemes, probabilistic error cancellation (PEC) has been proposed as a general and systematic protocol that can be applied to numerous hardware platforms and quantum algorithms. However, PEC has only been tested in two-qubit systems and a superconducting multi-qubit system by learning a sparse error model. Here, we benchmark PEC using up to four trapped-ion qubits. For the benchmark, we simulate the dynamics of interacting fermions with or without spins by applying multiple Trotter steps. By tomographically reconstructing the error model and incorporating other mitigation methods such as positive probability and symmetry constraints, we are able to increase the fidelity of simulation and faithfully observe the dynamics of the Fermi-Hubbard model, including the different behavior of charge and spin of fermions. Our demonstrations can be an essential step for further extending systematic error-mitigation schemes toward practical quantum advantages.

We present a robust quantum optimal control framework for implementing fast entangling gates on ion-trap quantum processors. The framework leverages tailored laser pulses to drive the multiple vibrational sidebands of the ions to create phonon-mediated entangling gates and, unlike the state of the art, requires neither weak-coupling Lamb-Dicke approximation nor perturbation treatment. With the application of gradient-based optimal control, it enables finding amplitude- and phase-modulated laser control protocols that work beyond the Lamb-Dicke regime, promising gate speed at the order of microseconds comparable to the characteristic trap frequencies. Also, robustness requirements on the temperature of the ions and initial optical phase can be conveniently included to pursue high-quality fast gates against experimental imperfections. Our approach represents a step in speeding up quantum gates to achieve larger quantum circuits for quantum computation and simulation, and thus can find applications in near-future experiments.

Controllable bosonic systems can provide post-classical computational power with sub-universal quantum computational capability. A network that consists of a number of bosons evolving through beam-splitters and phase-shifters between different modes, has been proposed and applied to demonstrate quantum advantages. While the network has been implemented mostly in optical systems with photons, recently alternative realizations have been explored, where major limitations in photonic systems such as photon loss, and probabilistic manipulation can be addressed. Phonons, the quantized excitations of vibrational modes, of trapped ions can be a promising candidate to realize the bosonic network. Here, we experimentally demonstrate a minimal-loss phononic network that can be programmed and in which any phononic states are deterministically prepared and detected. We realize the network with up to four collective-vibrational modes, which can be straightforwardly extended to reveal quantum advantage. We benchmark the performance of the network with an exemplary algorithm of tomography for arbitrary multi-mode states with a fixed total phonon number. We obtain reconstruction fidelities of 94.5 $\pm$ 1.95 % and 93.4 $\pm$ 3.15 % for single-phonon and two-phonon states, respectively. Our experiment demonstrates a clear and novel pathway to scale up a phononic network for various quantum information processing beyond the limitations of classical and other quantum systems.

Synchronizing a few-level quantum system is of fundamental importance to understanding synchronization in deep quantum regime. Whether a two-level system, the smallest quantum system, can be synchronized has been theoretically debated for the past several years. Here, for the first time, we demonstrate that a qubit can indeed be synchronized to an external driving signal by using a trapped-ion system. By engineering fully controllable gain and damping processes, an ion qubit is synchronized to oscillate at the same frequency as the driving signal and lock in phase. We systematically investigate the parameter regions of synchronization and observe characteristic features of the Arnold tongue. Our measurements agree remarkably well with numerical simulations based on recent theory on qubit synchronization. By synchronizing the basic unit of quantum information, our research opens up the possibility of applying quantum synchronization to large-scale quantum networks.

Modern computation relies crucially on modular architectures, breaking a complex algorithm into self-contained subroutines. A client can then call upon a remote server to implement parts of the computation independently via an application programming interface (API). Present APIs relay only classical information. Here we implement a quantum API that enables a client to estimate the absolute value of the trace of a server-provided unitary $U$. We demonstrate that the algorithm functions correctly irrespective of what unitary $U$ the server implements or how the server specifically realizes $U$. Our experiment involves pioneering techniques to coherently swap qubits encoded within the motional states of a trapped \Yb ion, controlled on its hyperfine state. This constitutes the first demonstration of modular computation in the quantum regime, providing a step towards scalable, parallelization of quantum computation.

Various quantum applications can be reduced to estimating expectation values, which are inevitably deviated by operational and environmental errors. Although errors can be tackled by quantum error correction, the overheads are far from being affordable for near-term technologies. To alleviate the detrimental effects of errors, quantum error mitigation techniques have been proposed, which require no additional qubit resources. Here, we benchmark the performance of a quantum error mitigation technique based on probabilistic error cancellation in a trapped-ion system. Our results clearly show that effective gate fidelities exceed physical fidelities, i.e. we surpass the break-even point of eliminating gate errors, by programming quantum circuits. The error rates are effectively reduced from $(1.10\pm 0.12)\times10^{-3}$ to $(1.44\pm 5.28)\times10^{-5}$ and from $(0.99\pm 0.06)\times10^{-2}$ to $(0.96\pm 0.10)\times10^{-3}$ for single- and two-qubit gates, respectively. Our demonstration opens up the possibility of implementing high-fidelity computations on a near-term noisy quantum device.

In this chapter, we illustrate how a trapped ion system can be used for the experimental study of quantum thermodynamics, in particular, quantum fluctuation of work. As technology of nano/micro scale develops, it becomes critical to understand thermodynamics at the quantum mechanical level. The trapped ion system is a representative physical platform to experimentally demonstrate quantum phenomena with excellent control and precision. We provide a basic introduction of the trapped ion system and present the theoretical framework for the experimental study of quantum thermodynamics. Then we bring out two concrete examples of the experimental demonstrations. Finally, we discuss the results and the future of the experimental study of quantum thermodynamics with trapped ion systems.

A quantum algorithm can be decomposed into a sequence consisting of single qubit and 2-qubit entangling gates. To optimize the decomposition and achieve more efficient construction of the quantum circuit, we can replace multiple 2-qubit gates with a single global entangling gate. Here, we propose and implement a scalable scheme to realize the global entangling gates on multiple $\yb$ ion qubits by coupling to multiple motional modes through external fields. Such global gates require simultaneously decoupling of multiple motional modes and balancing of the coupling strengths for all the qubit-pairs at the gate time. To satisfy the complicated requirements, we develop a trapped-ion system with fully-independent control capability on each ion, and experimentally realize the global entangling gates. As examples, we utilize them to prepare the Greenberger-Horne-Zeilinger (GHZ) states in a single entangling operation, and successfully show the genuine multi-partite entanglements up to four qubits with the state fidelities over $93.4\%$.

Although nonequilibrium work and fluctuation relations have been studied in detail within classical statistical physics, extending these results to open quantum systems has proven to be conceptually difficult. For systems that undergo decoherence but not dissipation, we argue that it is natural to define quantum work exactly as for isolated quantum systems, using the two-point measurement protocol. Complementing previous theoretical analysis using quantum channels, we show that the nonequilibrium work relation remains valid in this situation, and we test this assertion experimentally using a system engineered from an optically trapped ion. Our experimental results reveal the work relation's validity over a variety of driving speeds, decoherence rates, and effective temperatures and represent the first confirmation of the work relation for non-unitary dynamics.

Molecules are the most demanding quantum systems to be simulated by quantum computers because of their complexity and the emergent role of quantum nature. The recent theoretical proposal of Huh et al. (Nature Photon., 9, 615 (2015)) showed that a multi-photon network with a Gaussian input state can simulate a molecular spectroscopic process. Here, we report the first experimental demonstration of molecular vibrational spectroscopy of SO$_{2}$ with a trapped-ion system. In our realization, the molecular scattering operation is decomposed to a series of elementary quantum optical operations, which are implemented through Raman laser beams, resulting in a multimode Gaussian (Bogoliubov) transformation. The molecular spectroscopic signal is reconstructed from the collective projection measurements on phonon modes of the trapped-ion system. Our experimental demonstration would pave the way to large-scale molecular quantum simulations, which are classically intractable.

A standard method to obtain information on a quantum state is to measure marginal distributions along many different axes in phase space, which forms a basis of quantum state tomography. We theoretically propose and experimentally demonstrate a general framework to manifest nonclassicality by observing a single marginal distribution only, which provides a novel insight into nonclassicality and a practical applicability to various quantum systems. Our approach maps the 1-dim marginal distribution into a factorized 2-dim distribution by multiplying the measured distribution or the vacuum-state distribution along an orthogonal axis. The resulting fictitious Wigner function becomes unphysical only for a nonclassical state, thus the negativity of the corresponding density operator provides an evidence of nonclassicality. Furthermore, the negativity measured this way yields a lower bound for entanglement potential---a measure of entanglement generated using a nonclassical state with a beam splitter setting that is a prototypical model to produce continuous-variable (CV) entangled states. Our approach detects both Gaussian and non-Gaussian nonclassical states in a reliable and efficient manner. Remarkably, it works regardless of measurement axis for all non-Gaussian states in finite-dimensional Fock space of any size, also extending to infinite-dimensional states of experimental relevance for CV quantum informatics. We experimentally illustrate the power of our criterion for motional states of a trapped ion confirming their nonclassicality in a measurement-axis independent manner. We also address an extension of our approach combined with phase-shift operations, which leads to a stronger test of nonclassicality, i.e. detection of genuine non-Gaussianity under a CV measurement.

Quantum theory is based on a mathematical structure totally different from conventional arithmetic. Due to the symmetric nature of bosonic particles, annihilation or creation of single particles translates a quantum state depending on how many bosons are already in the given quantum system. This proportionality results in a variety of non-classical features of quantum mechanics including the bosonic commutation relation. The annihilation and creation operations have recently been implemented in photonic systems. However, this feature of quantum mechanics does not preclude the possibility of realizing conventional arithmetic in quantum systems. We implement conventional addition and subtraction of single phonons for a trapped \Yb ion in a harmonic potential. In order to realize such operations, we apply the transitionless adiabatic passage scheme on the anti-Jaynes-Cummings coupling between the internal energy states and external motion states of the ion. By performing the operations on superpositions of Fock states, we realize the hybrid computation of classical arithmetic in quantum parallelism, and show that our operations are useful to engineer quantum states. Our single-phonon operations are nearly deterministic and robust against parameter changes, enabling handy repetition of the operations independently from the initial state of the atomic motion. We demonstrate the transform of a classical state to a nonclassical one of highly sub-Poissonian phonon statistics and a Gaussian state to a non-Gaussian state, by applying a sequence of the operations. The operations implemented here are the Susskind-Glogower phase operators, whose non-commutativity is also demonstrated.

The past two decades witnessed important developments in the field of non-equilibrium statistical mechanics. Among these developments, the Jarzynski equality, being a milestone following the landmark work of Clausius and Kelvin, stands out. The Jarzynski equality relates the free energy difference between two equilibrium states and the work done on the system through far from equilibrium processes. While experimental tests of the equality have been performed in classical regime, the verification of the quantum Jarzynski equality has not yet been fully demonstrated due to experimental challenges. Here, we report an experimental test of the quantum Jarzynski equality with a single \Yb ion trapped in a harmonic potential. We perform projective measurements to obtain phonon distributions of the initial thermal state. Following that we apply the laser induced force on the projected energy eigenstate, and find transition probabilities to final energy eigenstates after the work is done. By varying the speed of applying the force from equilibrium to far-from equilibrium regime, we verified the quantum Jarzynski equality in an isolated system.