-
The computational power of random quantum circuits in arbitrary geometries
Authors:
Matthew DeCross,
Reza Haghshenas,
Minzhao Liu,
Enrico Rinaldi,
Johnnie Gray,
Yuri Alexeev,
Charles H. Baldwin,
John P. Bartolotta,
Matthew Bohn,
Eli Chertkov,
Julia Cline,
Jonhas Colina,
Davide DelVento,
Joan M. Dreiling,
Cameron Foltz,
John P. Gaebler,
Thomas M. Gatterman,
Christopher N. Gilbreth,
Joshua Giles,
Dan Gresh,
Alex Hall,
Aaron Hankin,
Azure Hansen,
Nathan Hewitt,
Ian Hoffman
, et al. (27 additional authors not shown)
Abstract:
Empirical evidence for a gap between the computational powers of classical and quantum computers has been provided by experiments that sample the output distributions of two-dimensional quantum circuits. Many attempts to close this gap have utilized classical simulations based on tensor network techniques, and their limitations shed light on the improvements to quantum hardware required to frustra…
▽ More
Empirical evidence for a gap between the computational powers of classical and quantum computers has been provided by experiments that sample the output distributions of two-dimensional quantum circuits. Many attempts to close this gap have utilized classical simulations based on tensor network techniques, and their limitations shed light on the improvements to quantum hardware required to frustrate classical simulability. In particular, quantum computers having in excess of $\sim 50$ qubits are primarily vulnerable to classical simulation due to restrictions on their gate fidelity and their connectivity, the latter determining how many gates are required (and therefore how much infidelity is suffered) in generating highly-entangled states. Here, we describe recent hardware upgrades to Quantinuum's H2 quantum computer enabling it to operate on up to $56$ qubits with arbitrary connectivity and $99.843(5)\%$ two-qubit gate fidelity. Utilizing the flexible connectivity of H2, we present data from random circuit sampling in highly connected geometries, doing so at unprecedented fidelities and a scale that appears to be beyond the capabilities of state-of-the-art classical algorithms. The considerable difficulty of classically simulating H2 is likely limited only by qubit number, demonstrating the promise and scalability of the QCCD architecture as continued progress is made towards building larger machines.
△ Less
Submitted 21 June, 2024; v1 submitted 4 June, 2024;
originally announced June 2024.
-
Benchmarking logical three-qubit quantum Fourier transform encoded in the Steane code on a trapped-ion quantum computer
Authors:
Karl Mayer,
Ciarán Ryan-Anderson,
Natalie Brown,
Elijah Durso-Sabina,
Charles H. Baldwin,
David Hayes,
Joan M. Dreiling,
Cameron Foltz,
John P. Gaebler,
Thomas M. Gatterman,
Justin A. Gerber,
Kevin Gilmore,
Dan Gresh,
Nathan Hewitt,
Chandler V. Horst,
Jacob Johansen,
Tanner Mengle,
Michael Mills,
Steven A. Moses,
Peter E. Siegfried,
Brian Neyenhuis,
Juan Pino,
Russell Stutz
Abstract:
We implement logically encoded three-qubit circuits for the quantum Fourier transform (QFT), using the [[7,1,3]] Steane code, and benchmark the circuits on the Quantinuum H2-1 trapped-ion quantum computer. The circuits require multiple logical two-qubit gates, which are implemented transversally, as well as logical non-Clifford single-qubit rotations, which are performed by non-fault-tolerant stat…
▽ More
We implement logically encoded three-qubit circuits for the quantum Fourier transform (QFT), using the [[7,1,3]] Steane code, and benchmark the circuits on the Quantinuum H2-1 trapped-ion quantum computer. The circuits require multiple logical two-qubit gates, which are implemented transversally, as well as logical non-Clifford single-qubit rotations, which are performed by non-fault-tolerant state preparation followed by a teleportation gadget. First, we benchmark individual logical components using randomized benchmarking for the logical two-qubit gate, and a Ramsey-type experiment for the logical $T$ gate. We then implement the full QFT circuit, using two different methods for performing a logical control-$T$, and benchmark the circuits by applying it to each basis state in a set of bases that is sufficient to lower bound the process fidelity. We compare the logical QFT benchmark results to predictions based on the logical component benchmarks.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Fault-Tolerant One-Bit Addition with the Smallest Interesting Colour Code
Authors:
Yang Wang,
Selwyn Simsek,
Thomas M. Gatterman,
Justin A. Gerber,
Kevin Gilmore,
Dan Gresh,
Nathan Hewitt,
Chandler V. Horst,
Mitchell Matheny,
Tanner Mengle,
Brian Neyenhuis,
Ben Criger
Abstract:
Fault-tolerant operations based on stabilizer codes are the state of the art in suppressing error rates in quantum computations. Most such codes do not permit a straightforward implementation of non-Clifford logical operations, which are necessary to define a universal gate set. As a result, implementations of these operations must either use error-correcting codes with more complicated error corr…
▽ More
Fault-tolerant operations based on stabilizer codes are the state of the art in suppressing error rates in quantum computations. Most such codes do not permit a straightforward implementation of non-Clifford logical operations, which are necessary to define a universal gate set. As a result, implementations of these operations must either use error-correcting codes with more complicated error correction procedures or gate teleportation and magic states, which are prepared at the logical level, increasing overhead to a degree that precludes near-term implementation. In this work, we implement a small quantum algorithm, one-qubit addition, fault-tolerantly on the Quantinuum H1-1 quantum computer, using the [[8,3,2]] colour code. By removing unnecessary error-correction circuits and using low-overhead techniques for fault-tolerant preparation and measurement, we reduce the number of error-prone two-qubit gates and measurements to 36. We observe arithmetic errors with a rate of $\sim 1.1 \times 10^{-3}$ for the fault-tolerant circuit and $\sim 9.5 \times 10^{-3}$ for the unencoded circuit.
△ Less
Submitted 18 September, 2023;
originally announced September 2023.
-
Evidence of Scaling Advantage for the Quantum Approximate Optimization Algorithm on a Classically Intractable Problem
Authors:
Ruslan Shaydulin,
Changhao Li,
Shouvanik Chakrabarti,
Matthew DeCross,
Dylan Herman,
Niraj Kumar,
Jeffrey Larson,
Danylo Lykov,
Pierre Minssen,
Yue Sun,
Yuri Alexeev,
Joan M. Dreiling,
John P. Gaebler,
Thomas M. Gatterman,
Justin A. Gerber,
Kevin Gilmore,
Dan Gresh,
Nathan Hewitt,
Chandler V. Horst,
Shaohan Hu,
Jacob Johansen,
Mitchell Matheny,
Tanner Mengle,
Michael Mills,
Steven A. Moses
, et al. (4 additional authors not shown)
Abstract:
The quantum approximate optimization algorithm (QAOA) is a leading candidate algorithm for solving optimization problems on quantum computers. However, the potential of QAOA to tackle classically intractable problems remains unclear. Here, we perform an extensive numerical investigation of QAOA on the low autocorrelation binary sequences (LABS) problem, which is classically intractable even for mo…
▽ More
The quantum approximate optimization algorithm (QAOA) is a leading candidate algorithm for solving optimization problems on quantum computers. However, the potential of QAOA to tackle classically intractable problems remains unclear. Here, we perform an extensive numerical investigation of QAOA on the low autocorrelation binary sequences (LABS) problem, which is classically intractable even for moderately sized instances. We perform noiseless simulations with up to 40 qubits and observe that the runtime of QAOA with fixed parameters scales better than branch-and-bound solvers, which are the state-of-the-art exact solvers for LABS. The combination of QAOA with quantum minimum finding gives the best empirical scaling of any algorithm for the LABS problem. We demonstrate experimental progress in executing QAOA for the LABS problem using an algorithm-specific error detection scheme on Quantinuum trapped-ion processors. Our results provide evidence for the utility of QAOA as an algorithmic component that enables quantum speedups.
△ Less
Submitted 2 June, 2024; v1 submitted 4 August, 2023;
originally announced August 2023.
-
Probing critical states of matter on a digital quantum computer
Authors:
Reza Haghshenas,
Eli Chertkov,
Matthew DeCross,
Thomas M. Gatterman,
Justin A. Gerber,
Kevin Gilmore,
Dan Gresh,
Nathan Hewitt,
Chandler V. Horst,
Mitchell Matheny,
Tanner Mengle,
Brian Neyenhuis,
David Hayes,
Michael Foss-Feig
Abstract:
Although quantum mechanics underpins the microscopic behavior of all materials, its effects are often obscured at the macroscopic level by thermal fluctuations. A notable exception is a zero-temperature phase transition, where scaling laws emerge entirely due to quantum correlations over a diverging length scale. The accurate description of such transitions is challenging for classical simulation…
▽ More
Although quantum mechanics underpins the microscopic behavior of all materials, its effects are often obscured at the macroscopic level by thermal fluctuations. A notable exception is a zero-temperature phase transition, where scaling laws emerge entirely due to quantum correlations over a diverging length scale. The accurate description of such transitions is challenging for classical simulation methods of quantum systems, and is a natural application space for quantum simulation. These quantum simulations are, however, not without their own challenges \textemdash~representing quantum critical states on a quantum computer requires encoding entanglement of a large number of degrees of freedom, placing strict demands on the coherence and fidelity of the computer's operations. Using Quantinuum's H1-1 quantum computer, we address these challenges by employing hierarchical quantum tensor-network techniques, creating the ground state of the critical transverse-field Ising chain on 128-sites with sufficient fidelity to extract accurate critical properties of the model. Our results suggest a viable path to quantum-assisted tensor network contraction beyond the limits of classical methods.
△ Less
Submitted 3 May, 2023; v1 submitted 2 May, 2023;
originally announced May 2023.
-
Experimental demonstration of the advantage of adaptive quantum circuits
Authors:
Michael Foss-Feig,
Arkin Tikku,
Tsung-Cheng Lu,
Karl Mayer,
Mohsin Iqbal,
Thomas M. Gatterman,
Justin A. Gerber,
Kevin Gilmore,
Dan Gresh,
Aaron Hankin,
Nathan Hewitt,
Chandler V. Horst,
Mitchell Matheny,
Tanner Mengle,
Brian Neyenhuis,
Henrik Dreyer,
David Hayes,
Timothy H. Hsieh,
Isaac H. Kim
Abstract:
Adaptive quantum circuits employ unitary gates assisted by mid-circuit measurement, classical computation on the measurement outcome, and the conditional application of future unitary gates based on the result of the classical computation. In this paper, we experimentally demonstrate that even a noisy adaptive quantum circuit of constant depth can achieve a task that is impossible for any purely u…
▽ More
Adaptive quantum circuits employ unitary gates assisted by mid-circuit measurement, classical computation on the measurement outcome, and the conditional application of future unitary gates based on the result of the classical computation. In this paper, we experimentally demonstrate that even a noisy adaptive quantum circuit of constant depth can achieve a task that is impossible for any purely unitary quantum circuit of identical depth: the preparation of long-range entangled topological states with high fidelity. We prepare a particular toric code ground state with fidelity of at least $76.9\pm 1.3\%$ using a constant depth ($d=4$) adaptive circuit, and rigorously show that no unitary circuit of the same depth and connectivity could prepare this state with fidelity greater than $50\%$.
△ Less
Submitted 6 February, 2023;
originally announced February 2023.
-
Topological Order from Measurements and Feed-Forward on a Trapped Ion Quantum Computer
Authors:
Mohsin Iqbal,
Nathanan Tantivasadakarn,
Thomas M. Gatterman,
Justin A. Gerber,
Kevin Gilmore,
Dan Gresh,
Aaron Hankin,
Nathan Hewitt,
Chandler V. Horst,
Mitchell Matheny,
Tanner Mengle,
Brian Neyenhuis,
Ashvin Vishwanath,
Michael Foss-Feig,
Ruben Verresen,
Henrik Dreyer
Abstract:
Quantum systems evolve in time in one of two ways: through the Schrödinger equation or wavefunction collapse. So far, deterministic control of quantum many-body systems in the lab has focused on the former, due to the probabilistic nature of measurements. This imposes serious limitations: preparing long-range entangled states, for example, requires extensive circuit depth if restricted to unitary…
▽ More
Quantum systems evolve in time in one of two ways: through the Schrödinger equation or wavefunction collapse. So far, deterministic control of quantum many-body systems in the lab has focused on the former, due to the probabilistic nature of measurements. This imposes serious limitations: preparing long-range entangled states, for example, requires extensive circuit depth if restricted to unitary dynamics. In this work, we use mid-circuit measurement and feed-forward to implement deterministic non-unitary dynamics on Quantinuum's H1 programmable ion-trap quantum computer. Enabled by these capabilities, we demonstrate for the first time a constant-depth procedure for creating a toric code ground state in real-time. In addition to reaching high stabilizer fidelities, we create a non-Abelian defect whose presence is confirmed by transmuting anyons via braiding. This work clears the way towards creating complex topological orders in the lab and exploring deterministic non-unitary dynamics via measurement and feed-forward.
△ Less
Submitted 30 August, 2023; v1 submitted 3 February, 2023;
originally announced February 2023.
-
Characterizing a non-equilibrium phase transition on a quantum computer
Authors:
Eli Chertkov,
Zihan Cheng,
Andrew C. Potter,
Sarang Gopalakrishnan,
Thomas M. Gatterman,
Justin A. Gerber,
Kevin Gilmore,
Dan Gresh,
Alex Hall,
Aaron Hankin,
Mitchell Matheny,
Tanner Mengle,
David Hayes,
Brian Neyenhuis,
Russell Stutz,
Michael Foss-Feig
Abstract:
At transitions between phases of matter, physical systems can exhibit universal behavior independent of their microscopic details. Probing such behavior in quantum many-body systems is a challenging and practically important problem that can be solved by quantum computers, potentially exponentially faster than by classical computers. In this work, we use the Quantinuum H1-1 quantum computer to rea…
▽ More
At transitions between phases of matter, physical systems can exhibit universal behavior independent of their microscopic details. Probing such behavior in quantum many-body systems is a challenging and practically important problem that can be solved by quantum computers, potentially exponentially faster than by classical computers. In this work, we use the Quantinuum H1-1 quantum computer to realize a quantum extension of a simple classical disease spreading process that is known to exhibit a non-equilibrium phase transition between an active and absorbing state. Using techniques such as qubit-reuse and error avoidance based on real-time conditional logic (utilized extensively in quantum error correction), we are able to implement large instances of the model with $73$ sites and up to $72$ circuit layers, and quantitatively determine the model's critical properties. This work demonstrates how quantum computers capable of mid-circuit resets, measurements, and conditional logic enable the study of difficult problems in quantum many-body physics: the simulation of open quantum system dynamics and non-equilibrium phase transitions.
△ Less
Submitted 14 November, 2022; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Implementing Fault-tolerant Entangling Gates on the Five-qubit Code and the Color Code
Authors:
C. Ryan-Anderson,
N. C. Brown,
M. S. Allman,
B. Arkin,
G. Asa-Attuah,
C. Baldwin,
J. Berg,
J. G. Bohnet,
S. Braxton,
N. Burdick,
J. P. Campora,
A. Chernoguzov,
J. Esposito,
B. Evans,
D. Francois,
J. P. Gaebler,
T. M. Gatterman,
J. Gerber,
K. Gilmore,
D. Gresh,
A. Hall,
A. Hankin,
J. Hostetter,
D. Lucchetti,
K. Mayer
, et al. (12 additional authors not shown)
Abstract:
We compare two different implementations of fault-tolerant entangling gates on logical qubits. In one instance, a twelve-qubit trapped-ion quantum computer is used to implement a non-transversal logical CNOT gate between two five qubit codes. The operation is evaluated with varying degrees of fault tolerance, which are provided by including quantum error correction circuit primitives known as flag…
▽ More
We compare two different implementations of fault-tolerant entangling gates on logical qubits. In one instance, a twelve-qubit trapped-ion quantum computer is used to implement a non-transversal logical CNOT gate between two five qubit codes. The operation is evaluated with varying degrees of fault tolerance, which are provided by including quantum error correction circuit primitives known as flagging and pieceable fault tolerance. In the second instance, a twenty-qubit trapped-ion quantum computer is used to implement a transversal logical CNOT gate on two [[7,1,3]] color codes. The two codes were implemented on different but similar devices, and in both instances, all of the quantum error correction primitives, including the determination of corrections via decoding, are implemented during runtime using a classical compute environment that is tightly integrated with the quantum processor. For different combinations of the primitives, logical state fidelity measurements are made after applying the gate to different input states, providing bounds on the process fidelity. We find the highest fidelity operations with the color code, with the fault-tolerant SPAM operation achieving fidelities of 0.99939(15) and 0.99959(13) when preparing eigenstates of the logical X and Z operators, which is higher than the average physical qubit SPAM fidelities of 0.9968(2) and 0.9970(1) for the physical X and Z bases, respectively. When combined with a logical transversal CNOT gate, we find the color code to perform the sequence--state preparation, CNOT, measure out--with an average fidelity bounded by [0.9957,0.9963]. The logical fidelity bounds are higher than the analogous physical-level fidelity bounds, which we find to be [0.9850,0.9903], reflecting multiple physical noise sources such as SPAM errors for two qubits, several single-qubit gates, a two-qubit gate and some amount of memory error.
△ Less
Submitted 3 August, 2022;
originally announced August 2022.
-
Theory of mirror benchmarking and demonstration on a quantum computer
Authors:
Karl Mayer,
Alex Hall,
Thomas Gatterman,
Si Khadir Halit,
Kenny Lee,
Justin Bohnet,
Dan Gresh,
Aaron Hankin,
Kevin Gilmore,
Justin Gerber,
John Gaebler
Abstract:
A new class of protocols called mirror benchmarking was recently proposed to measure the system-level performance of quantum computers. These protocols involve circuits with random sequences of gates followed by mirroring, that is, inverting each gate in the sequence. We give a simple proof that mirror benchmarking leads to an exponential decay of the survival probability with sequence length, und…
▽ More
A new class of protocols called mirror benchmarking was recently proposed to measure the system-level performance of quantum computers. These protocols involve circuits with random sequences of gates followed by mirroring, that is, inverting each gate in the sequence. We give a simple proof that mirror benchmarking leads to an exponential decay of the survival probability with sequence length, under the uniform noise assumption, provided the twirling group forms a 2-design. The decay rate is determined by a quantity that is a quadratic function of the error channel, and for certain types of errors is equal to the unitarity. This result yields a new method for estimating the coherence of noise. We present data from mirror benchmarking experiments run on the Honeywell System Model H1. This data constitutes a set of performance curves, indicating the success probability for random circuits as a function of qubit number and circuit depth.
△ Less
Submitted 1 June, 2023; v1 submitted 23 August, 2021;
originally announced August 2021.
-
Realization of real-time fault-tolerant quantum error correction
Authors:
C. Ryan-Anderson,
J. G. Bohnet,
K. Lee,
D. Gresh,
A. Hankin,
J. P. Gaebler,
D. Francois,
A. Chernoguzov,
D. Lucchetti,
N. C. Brown,
T. M. Gatterman,
S. K. Halit,
K. Gilmore,
J. Gerber,
B. Neyenhuis,
D. Hayes,
R. P. Stutz
Abstract:
Correcting errors in real time is essential for reliable large-scale quantum computations. Realizing this high-level function requires a system capable of several low-level primitives, including single-qubit and two-qubit operations, mid-circuit measurements of subsets of qubits, real-time processing of measurement outcomes, and the ability to condition subsequent gate operations on those measurem…
▽ More
Correcting errors in real time is essential for reliable large-scale quantum computations. Realizing this high-level function requires a system capable of several low-level primitives, including single-qubit and two-qubit operations, mid-circuit measurements of subsets of qubits, real-time processing of measurement outcomes, and the ability to condition subsequent gate operations on those measurements. In this work, we use a ten qubit QCCD trapped-ion quantum computer to encode a single logical qubit using the $[[7,1,3]]$ color code, first proposed by Steane~\cite{steane1996error}. The logical qubit is initialized into the eigenstates of three mutually unbiased bases using an encoding circuit, and we measure an average logical SPAM error of $1.7(6) \times 10^{-3}$, compared to the average physical SPAM error $2.4(8) \times 10^{-3}$ of our qubits. We then perform multiple syndrome measurements on the encoded qubit, using a real-time decoder to determine any necessary corrections that are done either as software updates to the Pauli frame or as physically applied gates. Moreover, these procedures are done repeatedly while maintaining coherence, demonstrating a dynamically protected logical qubit memory. Additionally, we demonstrate non-Clifford qubit operations by encoding a logical magic state with an error rate below the threshold required for magic state distillation. Finally, we present system-level simulations that allow us to identify key hardware upgrades that may enable the system to reach the pseudo-threshold.
△ Less
Submitted 15 July, 2021;
originally announced July 2021.
-
Holographic dynamics simulations with a trapped ion quantum computer
Authors:
Eli Chertkov,
Justin Bohnet,
David Francois,
John Gaebler,
Dan Gresh,
Aaron Hankin,
Kenny Lee,
Ra'anan Tobey,
David Hayes,
Brian Neyenhuis,
Russell Stutz,
Andrew C. Potter,
Michael Foss-Feig
Abstract:
Quantum computers have the potential to efficiently simulate the dynamics of many interacting quantum particles, a classically intractable task of central importance to fields ranging from chemistry to high-energy physics. However, precision and memory limitations of existing hardware severely limit the size and complexity of models that can be simulated with conventional methods. Here, we demonst…
▽ More
Quantum computers have the potential to efficiently simulate the dynamics of many interacting quantum particles, a classically intractable task of central importance to fields ranging from chemistry to high-energy physics. However, precision and memory limitations of existing hardware severely limit the size and complexity of models that can be simulated with conventional methods. Here, we demonstrate and benchmark a new scalable quantum simulation paradigm--holographic quantum dynamics simulation--which uses efficient quantum data compression afforded by quantum tensor networks along with opportunistic mid-circuit measurement and qubit reuse to simulate physical systems that have far more quantum degrees of freedom than can be captured by the available number of qubits. Using a Honeywell trapped ion quantum processor, we simulate the non-integrable (chaotic) dynamics of the self-dual kicked Ising model starting from an entangled state of $32$ spins using at most $9$ trapped ion qubits, obtaining excellent quantitative agreement when benchmarking against dynamics computed directly in the thermodynamic limit via recently developed exact analytical techniques. These results suggest that quantum tensor network methods, together with state-of-the-art quantum processor capabilities, enable a viable path to practical quantum advantage in the near term.
△ Less
Submitted 19 May, 2021;
originally announced May 2021.