Kuan Zhang

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.

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.

We present a simple Paul trap that stably accommodates up to a couple of dozens of \ensuremath{^{171}\mathrm{Yb}^+~} ions in a stationary two-dimensional lattice. The trap is constructed on a single plate of gold-plated laser-machined alumina and can produce a pancake-like pseudo-potential that makes ions form a self-assembly two-dimensional crystal which locates on the plane composed of axial and one of the transverse axes with around 5 $μ$m spacing. We use Raman laser beams to coherently manipulate these ion-qubits where the net propagation direction is perpendicular to the plane of the crystal and micromotion. We perform the coherent operations and study the spectrum of vibrational modes through globally addressed Raman laser-beams on a dozen of ions in the two-dimensional crystal. We measure the amplitude of micro-motion by comparing the strengths of carrier and micro-motion sideband transitions with three ions, where the micro-motion amplitude is similar to that of a single ion. The spacings of ions are small enough for large coupling strengths, which is a favorable condition for two-dimensional quantum simulation.

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.

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

The NOT gate that flips a classical bit is ubiquitous in classical information processing. However its quantum analogue, the universal NOT (UNOT) gate that flips a quantum spin in any alignment into its antipodal counterpart is strictly forbidden. Here we explore the connection between this discrepancy and how UNOT gates affect classical and quantum correlations. We show that while a UNOT gate always preserves classical correlations between two spins, it can non-locally increase or decrease their shared discord in ways that allow violation of the data processing inequality. We experimentally illustrate this using a multi-level trapped \Yb ion that allows simulation of anti-unitary operations.

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 field theories describe a wide variety of fundamental phenomena in physics. However, their study often involves cumbersome numerical simulations. Quantum simulators, on the other hand, may outperform classical computational capacities due to their potential scalability. Here, we report an experimental realization of a quantum simulation of fermion-antifermion scattering mediated by bosonic modes, using a multilevel trapped ion, which is a simplified model of fermion scattering in both perturbative and nonperturbative quantum electrodynamics. The simulated model exhibits prototypical features in quantum field theory including particle pair creation and annihilation, as well as self-energy interactions. These are experimentally observed by manipulating four internal levels of a $^{171}\mathrm{Yb}^{+}$ trapped ion, where we encode the fermionic modes, and two motional degrees of freedom that simulate the bosonic modes. Our experiment establishes an avenue towards the efficient implementation of fermionic and bosonic quantum field modes, which may prove useful in scalable studies of quantum field theories in perturbative and nonperturbative regimes.