TY - JOUR T1 - Cross-Platform Comparison of Arbitrary Quantum Computations Y1 - 2021 A1 - Daiwei Zhu A1 - Ze-Pei Cian A1 - Crystal Noel A1 - Andrew Risinger A1 - Debopriyo Biswas A1 - Laird Egan A1 - Yingyue Zhu A1 - Alaina M. Green A1 - Cinthia Huerta Alderete A1 - Nhung H. Nguyen A1 - Qingfeng Wang A1 - Andrii Maksymov A1 - Yunseong Nam A1 - Marko Cetina A1 - Norbert M. Linke A1 - Mohammad Hafezi A1 - Christopher Monroe AB -
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.
UR - https://arxiv.org/abs/2107.11387 ER - TY - JOUR T1 - Interactive Protocols for Classically-Verifiable Quantum Advantage Y1 - 2021 A1 - Daiwei Zhu A1 - Gregory D. Kahanamoku-Meyer A1 - Laura Lewis A1 - Crystal Noel A1 - Or Katz A1 - Bahaa Harraz A1 - Qingfeng Wang A1 - Andrew Risinger A1 - Lei Feng A1 - Debopriyo Biswas A1 - Laird Egan A1 - Alexandru Gheorghiu A1 - Yunseong Nam A1 - Thomas Vidick A1 - Umesh Vazirani A1 - Norman Y. Yao A1 - Marko Cetina A1 - Christopher Monroe AB -Achieving 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.
UR - https://arxiv.org/abs/2112.05156 ER - TY - JOUR T1 - Observation of measurement-induced quantum phases in a trapped-ion quantum computer Y1 - 2021 A1 - Crystal Noel A1 - Pradeep Niroula A1 - Daiwei Zhu A1 - Andrew Risinger A1 - Laird Egan A1 - Debopriyo Biswas A1 - Marko Cetina A1 - Alexey V. Gorshkov A1 - Michael Gullans A1 - David A. Huse A1 - Christopher Monroe AB -Many-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.
UR - https://arxiv.org/abs/2106.05881 ER - TY - JOUR T1 - Fault-Tolerant Operation of a Quantum Error-Correction Code Y1 - 2020 A1 - Laird Egan A1 - Dripto M. Debroy A1 - Crystal Noel A1 - Andrew Risinger A1 - Daiwei Zhu A1 - Debopriyo Biswas A1 - Michael Newman A1 - Muyuan Li A1 - Kenneth R. Brown A1 - Marko Cetina A1 - Christopher Monroe AB -Quantum 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.
UR - https://arxiv.org/abs/2009.11482 ER - TY - JOUR T1 - Quantum walks and Dirac cellular automata on a programmable trapped-ion quantum computer Y1 - 2020 A1 - C. Huerta Alderete A1 - Shivani Singh A1 - Nhung H. Nguyen A1 - Daiwei Zhu A1 - Radhakrishnan Balu A1 - Christopher Monroe A1 - C. M. Chandrashekar A1 - Norbert M. Linke AB -The 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.
UR - https://arxiv.org/abs/2002.02537 ER - TY - JOUR T1 - Toward convergence of effective field theory simulations on digital quantum computers Y1 - 2019 A1 - Omar Shehab A1 - Kevin A. Landsman A1 - Yunseong Nam A1 - Daiwei Zhu A1 - Norbert M. Linke A1 - Matthew J. Keesan A1 - Raphael C. Pooser A1 - Christopher R. Monroe AB -We 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.
UR - https://arxiv.org/abs/1904.04338 ER - TY - JOUR T1 - Two-qubit entangling gates within arbitrarily long chains of trapped ions Y1 - 2019 A1 - Kevin A. Landsman A1 - Yukai Wu A1 - Pak Hong Leung A1 - Daiwei Zhu A1 - Norbert M. Linke A1 - Kenneth R. Brown A1 - Luming Duan A1 - Christopher R. Monroe AB -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 171Yb+ ions with fidelities as high as 97(1)%.
UR - https://arxiv.org/abs/1905.10421 ER -