-
Experimental Implementation of an Efficient Test of Quantumness
Authors:
Laura Lewis,
Daiwei Zhu,
Alexandru Gheorghiu,
Crystal Noel,
Or Katz,
Bahaa Harraz,
Qingfeng Wang,
Andrew Risinger,
Lei Feng,
Debopriyo Biswas,
Laird Egan,
Thomas Vidick,
Marko Cetina,
Christopher Monroe
Abstract:
A test of quantumness is a protocol where a classical user issues challenges to a quantum device to determine if it exhibits non-classical behavior, under certain cryptographic assumptions. Recent attempts to implement such tests on current quantum computers rely on either interactive challenges with efficient verification, or non-interactive challenges with inefficient (exponential time) verifica…
▽ More
A test of quantumness is a protocol where a classical user issues challenges to a quantum device to determine if it exhibits non-classical behavior, under certain cryptographic assumptions. Recent attempts to implement such tests on current quantum computers rely on either interactive challenges with efficient verification, or non-interactive challenges with inefficient (exponential time) verification. In this paper, we execute an efficient non-interactive test of quantumness on an ion-trap quantum computer. Our results significantly exceed the bound for a classical device's success.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
Interactive Protocols for Classically-Verifiable Quantum Advantage
Authors:
Daiwei Zhu,
Gregory D. Kahanamoku-Meyer,
Laura Lewis,
Crystal Noel,
Or Katz,
Bahaa Harraz,
Qingfeng Wang,
Andrew Risinger,
Lei Feng,
Debopriyo Biswas,
Laird Egan,
Alexandru Gheorghiu,
Yunseong Nam,
Thomas Vidick,
Umesh Vazirani,
Norman Y. Yao,
Marko Cetina,
Christopher Monroe
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 June, 2022; v1 submitted 9 December, 2021;
originally announced December 2021.
-
Cross-Platform Comparison of Arbitrary Quantum Computations
Authors:
Daiwei Zhu,
Ze-Pei Cian,
Crystal Noel,
Andrew Risinger,
Debopriyo Biswas,
Laird Egan,
Yingyue Zhu,
Alaina M. Green,
Cinthia Huerta Alderete,
Nhung H. Nguyen,
Qingfeng Wang,
Andrii Maksymov,
Yunseong Nam,
Marko Cetina,
Norbert M. Linke,
Mohammad Hafezi,
Christopher Monroe
Abstract:
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…
▽ More
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.
△ Less
Submitted 27 July, 2021; v1 submitted 23 July, 2021;
originally announced July 2021.
-
Observation of measurement-induced quantum phases in a trapped-ion quantum computer
Authors:
Crystal Noel,
Pradeep Niroula,
Daiwei Zhu,
Andrew Risinger,
Laird Egan,
Debopriyo Biswas,
Marko Cetina,
Alexey V. Gorshkov,
Michael J. Gullans,
David A. Huse,
Christopher Monroe
Abstract:
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 predict…
▽ More
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.
△ Less
Submitted 19 October, 2021; v1 submitted 10 June, 2021;
originally announced June 2021.
-
Optimizing Stabilizer Parities for Improved Logical Qubit Memories
Authors:
Dripto M. Debroy,
Laird Egan,
Crystal Noel,
Andrew Risinger,
Daiwei Zhu,
Debopriyo Biswas,
Marko Cetina,
Chris Monroe,
Kenneth R. Brown
Abstract:
We study variants of Shor's code that are adept at handling single-axis correlated idling errors, which are commonly observed in many quantum systems. By using the repetition code structure of the Shor's code basis states, we calculate the logical channel applied to the encoded information when subjected to coherent and correlated single qubit idling errors, followed by stabilizer measurement. Cha…
▽ More
We study variants of Shor's code that are adept at handling single-axis correlated idling errors, which are commonly observed in many quantum systems. By using the repetition code structure of the Shor's code basis states, we calculate the logical channel applied to the encoded information when subjected to coherent and correlated single qubit idling errors, followed by stabilizer measurement. Changing the signs of the stabilizer generators allows us to change how the coherent errors interfere, leading to a quantum error correcting code which performs as well as a classical repetition code of equivalent distance against these errors. We demonstrate a factor of 4 improvement of the logical memory in a distance-3 logical qubit implemented on a trapped-ion quantum computer. Even-distance versions of our Shor code variants are decoherence-free subspaces and fully robust to identical and independent coherent idling noise.
△ Less
Submitted 11 May, 2021;
originally announced May 2021.
-
Fault-Tolerant Operation of a Quantum Error-Correction Code
Authors:
Laird Egan,
Dripto M. Debroy,
Crystal Noel,
Andrew Risinger,
Daiwei Zhu,
Debopriyo Biswas,
Michael Newman,
Muyuan Li,
Kenneth R. Brown,
Marko Cetina,
Christopher Monroe
Abstract:
Quantum error correction protects fragile quantum information by encoding it into a larger quantum system. These extra degrees of freedom enable the detection and correction of errors, but also increase the operational complexity of the encoded logical qubit. Fault-tolerant circuits contain the spread of errors while operating the logical qubit, and are essential for realizing error suppression in…
▽ More
Quantum error correction protects fragile quantum information by encoding it into a larger quantum system. These extra degrees of freedom enable the detection and correction of errors, but also increase the operational complexity of the encoded logical qubit. Fault-tolerant circuits contain the spread of errors while operating the logical qubit, and are essential for realizing error suppression in practice. While fault-tolerant design works in principle, it has not previously been demonstrated in an error-corrected physical system with native noise characteristics. In this work, we experimentally demonstrate fault-tolerant preparation, measurement, rotation, and stabilizer measurement of a Bacon-Shor logical qubit using 13 trapped ion qubits. When we compare these fault-tolerant protocols to non-fault tolerant protocols, we see significant reductions in the error rates of the logical primitives in the presence of noise. The result of fault-tolerant design is an average state preparation and measurement error of 0.6% and a Clifford gate error of 0.3% after error correction. Additionally, we prepare magic states with fidelities exceeding the distillation threshold, demonstrating all of the key single-qubit ingredients required for universal fault-tolerant operation. These results demonstrate that fault-tolerant circuits enable highly accurate logical primitives in current quantum systems. With improved two-qubit gates and the use of intermediate measurements, a stabilized logical qubit can be achieved.
△ Less
Submitted 7 January, 2021; v1 submitted 24 September, 2020;
originally announced September 2020.
-
Quantum Gates on Individually-Addressed Atomic Qubits Subject to Noisy Transverse Motion
Authors:
M. Cetina,
L. N. Egan,
C. A. Noel,
M. L. Goldman,
A. R. Risinger,
D. Zhu,
D. Biswas,
C. Monroe
Abstract:
Individual trapped atomic qubits represent one of the most promising technologies to scale quantum computers, owing to their negligible idle errors and the ability to implement a full set of reconfigurable gate operations via focused optical fields. However, the fidelity of quantum gate operations can be limited by weak confinement of the atoms transverse to the laser. We present measurements of t…
▽ More
Individual trapped atomic qubits represent one of the most promising technologies to scale quantum computers, owing to their negligible idle errors and the ability to implement a full set of reconfigurable gate operations via focused optical fields. However, the fidelity of quantum gate operations can be limited by weak confinement of the atoms transverse to the laser. We present measurements of this effect by performing individually-addressed entangling gates in chains of up to 25 trapped atomic ions that are weakly confined along the chain axis. We present a model that accurately describes the observed decoherence from the residual heating of the ions caused by noisy electric fields. We propose to suppress these effects through the use of ancilla ions interspersed in the chain to sympathetically cool the qubit ions throughout a quantum circuit.
△ Less
Submitted 13 July, 2020;
originally announced July 2020.
-
Training of Quantum Circuits on a Hybrid Quantum Computer
Authors:
D. Zhu,
N. M. Linke,
M. Benedetti,
K. A. Landsman,
N. H. Nguyen,
C. H. Alderete,
A. Perdomo-Ortiz,
N. Korda,
A. Garfoot,
C. Brecque,
L. Egan,
O. Perdomo,
C. Monroe
Abstract:
Generative modeling is a flavor of machine learning with applications ranging from computer vision to chemical design. It is expected to be one of the techniques most suited to take advantage of the additional resources provided by near-term quantum computers. We implement a data-driven quantum circuit training algorithm on the canonical Bars-and-Stripes data set using a quantum-classical hybrid m…
▽ More
Generative modeling is a flavor of machine learning with applications ranging from computer vision to chemical design. It is expected to be one of the techniques most suited to take advantage of the additional resources provided by near-term quantum computers. We implement a data-driven quantum circuit training algorithm on the canonical Bars-and-Stripes data set using a quantum-classical hybrid machine. The training proceeds by running parameterized circuits on a trapped ion quantum computer, and feeding the results to a classical optimizer. We apply two separate strategies, Particle Swarm and Bayesian optimization to this task. We show that the convergence of the quantum circuit to the target distribution depends critically on both the quantum hardware and classical optimization strategy. Our study represents the first successful training of a high-dimensional universal quantum circuit, and highlights the promise and challenges associated with hybrid learning schemes.
△ Less
Submitted 31 October, 2019; v1 submitted 20 December, 2018;
originally announced December 2018.
