%0 Journal Article %D 2021 %T Cross-Platform Comparison of Arbitrary Quantum Computations %A Daiwei Zhu %A Ze-Pei Cian %A Crystal Noel %A Andrew Risinger %A Debopriyo Biswas %A Laird Egan %A Yingyue Zhu %A Alaina M. Green %A Cinthia Huerta Alderete %A Nhung H. Nguyen %A Qingfeng Wang %A Andrii Maksymov %A Yunseong Nam %A Marko Cetina %A Norbert M. Linke %A Mohammad Hafezi %A Christopher Monroe %X
As we approach the era of quantum advantage, when quantum computers (QCs) can outperform any classical computer on particular tasks, there remains the difficult challenge of how to validate their performance. While algorithmic success can be easily verified in some instances such as number factoring or oracular algorithms, these approaches only provide pass/fail information for a single QC. On the other hand, a comparison between different QCs on the same arbitrary circuit provides a lower-bound for generic validation: a quantum computation is only as valid as the agreement between the results produced on different QCs. Such an approach is also at the heart of evaluating metrological standards such as disparate atomic clocks. In this paper, we report a cross-platform QC comparison using randomized and correlated measurements that results in a wealth of information on the QC systems. We execute several quantum circuits on widely different physical QC platforms and analyze the cross-platform fidelities.
%8 7/27/2021 %G eng %U https://arxiv.org/abs/2107.11387 %0 Journal Article %D 2021 %T Interactive Protocols for Classically-Verifiable Quantum Advantage %A Daiwei Zhu %A Gregory D. Kahanamoku-Meyer %A Laura Lewis %A Crystal Noel %A Or Katz %A Bahaa Harraz %A Qingfeng Wang %A Andrew Risinger %A Lei Feng %A Debopriyo Biswas %A Laird Egan %A Alexandru Gheorghiu %A Yunseong Nam %A Thomas Vidick %A Umesh Vazirani %A Norman Y. Yao %A Marko Cetina %A Christopher Monroe %XAchieving quantum computational advantage requires solving a classically intractable problem on a quantum device. Natural proposals rely upon the intrinsic hardness of classically simulating quantum mechanics; however, verifying the output is itself classically intractable. On the other hand, certain quantum algorithms (e.g. prime factorization via Shor's algorithm) are efficiently verifiable, but require more resources than what is available on near-term devices. One way to bridge the gap between verifiability and implementation is to use "interactions" between a prover and a verifier. By leveraging cryptographic functions, such protocols enable the classical verifier to enforce consistency in a quantum prover's responses across multiple rounds of interaction. In this work, we demonstrate the first implementation of an interactive quantum advantage protocol, using an ion trap quantum computer. We execute two complementary protocols -- one based upon the learning with errors problem and another where the cryptographic construction implements a computational Bell test. To perform multiple rounds of interaction, we implement mid-circuit measurements on a subset of trapped ion qubits, with subsequent coherent evolution. For both protocols, the performance exceeds the asymptotic bound for classical behavior; maintaining this fidelity at scale would conclusively demonstrate verifiable quantum advantage.
%8 12/9/2021 %G eng %U https://arxiv.org/abs/2112.05156 %0 Journal Article %D 2021 %T Observation of measurement-induced quantum phases in a trapped-ion quantum computer %A Crystal Noel %A Pradeep Niroula %A Daiwei Zhu %A Andrew Risinger %A Laird Egan %A Debopriyo Biswas %A Marko Cetina %A Alexey V. Gorshkov %A Michael Gullans %A David A. Huse %A Christopher Monroe %XMany-body open quantum systems balance internal dynamics against decoherence from interactions with an environment. Here, we explore this balance via random quantum circuits implemented on a trapped ion quantum computer, where the system evolution is represented by unitary gates with interspersed projective measurements. As the measurement rate is varied, a purification phase transition is predicted to emerge at a critical point akin to a fault-tolerent threshold. We probe the "pure" phase, where the system is rapidly projected to a deterministic state conditioned on the measurement outcomes, and the "mixed" or "coding" phase, where the initial state becomes partially encoded into a quantum error correcting codespace. We find convincing evidence of the two phases and show numerically that, with modest system scaling, critical properties of the transition clearly emerge.
%8 6/10/2021 %G eng %U https://arxiv.org/abs/2106.05881 %0 Journal Article %D 2020 %T Fault-Tolerant Operation of a Quantum Error-Correction Code %A Laird Egan %A Dripto M. Debroy %A Crystal Noel %A Andrew Risinger %A Daiwei Zhu %A Debopriyo Biswas %A Michael Newman %A Muyuan Li %A Kenneth R. Brown %A Marko Cetina %A Christopher Monroe %XQuantum error correction protects fragile quantum information by encoding it in a larger quantum system whose extra degrees of freedom enable the detection and correction of errors. An encoded logical qubit thus carries increased complexity compared to a bare physical qubit. Fault-tolerant protocols contain the spread of errors and are essential for realizing error suppression with an error-corrected logical qubit. Here we experimentally demonstrate fault-tolerant preparation, rotation, error syndrome extraction, and measurement on a logical qubit encoded in the 9-qubit Bacon-Shor code. For the logical qubit, we measure an average fault-tolerant preparation and measurement error of 0.6% and a transversal Clifford gate with an error of 0.3% after error correction. The result is an encoded logical qubit whose logical fidelity exceeds the fidelity of the entangling operations used to create it. We compare these operations with non-fault-tolerant protocols capable of generating arbitrary logical states, and observe the expected increase in error. We directly measure the four Bacon-Shor stabilizer generators and are able to detect single qubit Pauli errors. These results show that fault-tolerant quantum systems are currently capable of logical primitives with error rates lower than their constituent parts. With the future addition of intermediate measurements, the full power of scalable quantum error-correction can be achieved.
%8 9/24/2020 %G eng %U https://arxiv.org/abs/2009.11482 %0 Journal Article %D 2020 %T Quantum walks and Dirac cellular automata on a programmable trapped-ion quantum computer %A C. Huerta Alderete %A Shivani Singh %A Nhung H. Nguyen %A Daiwei Zhu %A Radhakrishnan Balu %A Christopher Monroe %A C. M. Chandrashekar %A Norbert M. Linke %XThe quantum walk formalism is a widely used and highly successful framework for modeling quantum systems, such as simulations of the Dirac equation, different dynamics in both the low and high energy regime, and for developing a wide range of quantum algorithms. Here we present the circuit-based implementation of a discrete-time quantum walk in position space on a five-qubit trapped-ion quantum processor. We encode the space of walker positions in particular multi-qubit states and program the system to operate with different quantum walk parameters, experimentally realizing a Dirac cellular automaton with tunable mass parameter. The quantum walk circuits and position state mapping scale favorably to a larger model and physical systems, allowing the implementation of any algorithm based on discrete-time quantum walks algorithm and the dynamics associated with the discretized version of the Dirac equation.
%8 2/6/2020 %G eng %U https://arxiv.org/abs/2002.02537 %0 Journal Article %D 2019 %T Toward convergence of effective field theory simulations on digital quantum computers %A Omar Shehab %A Kevin A. Landsman %A Yunseong Nam %A Daiwei Zhu %A Norbert M. Linke %A Matthew J. Keesan %A Raphael C. Pooser %A Christopher R. Monroe %XWe report results for simulating an effective field theory to compute the binding energy of the deuteron nucleus using a hybrid algorithm on a trapped-ion quantum computer. Two increasingly complex unitary coupled-cluster ansaetze have been used to compute the binding energy to within a few percent for successively more complex Hamiltonians. By increasing the complexity of the Hamiltonian, allowing more terms in the effective field theory expansion and calculating their expectation values, we present a benchmark for quantum computers based on their ability to scalably calculate the effective field theory with increasing accuracy. Our result of E4=−2.220±0.179MeV may be compared with the exact Deuteron ground-state energy −2.224MeV. We also demonstrate an error mitigation technique using Richardson extrapolation on ion traps for the first time. The error mitigation circuit represents a record for deepest quantum circuit on a trapped-ion quantum computer.
%8 04/18/2019 %G eng %U https://arxiv.org/abs/1904.04338 %0 Journal Article %D 2019 %T Two-qubit entangling gates within arbitrarily long chains of trapped ions %A Kevin A. Landsman %A Yukai Wu %A Pak Hong Leung %A Daiwei Zhu %A Norbert M. Linke %A Kenneth R. Brown %A Luming Duan %A Christopher R. Monroe %XIon 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 171Yb+ ions with fidelities as high as 97(1)%.
%8 05/28/2019 %G eng %U https://arxiv.org/abs/1905.10421