Michael Foss-Feig

Helios: A 98-qubit trapped-ion quantum computer

Anthony Ransford [1], M. S. Allman, Jake Arkinstall [2,1], J. P. Campora, Samuel F. Cooper [1], Robert D. Delaney [1], Joan M. Dreiling [1], Brian Estey [1], Caroline Figgatt [1], Alex Hall [1], Ali A. Husain [3], Akhil Isanaka [1], Colin J. Kennedy [1], Nikhil Kotibhaskar [4], Ivaylo S. Madjarov [1], Karl Mayer [1], Alistair R. Milne [4], Annie J. Park [1], Adam P. Reed [1], Riley Ancona [1], Molly P. Andersen [5], Pablo Andres-Martinez [2], Will Angenent [2], Liz Argueta [1], Benjamin Arkin [1], Leonardo Ascarrunz [1], William Baker [1], Corey Barnes [1], John Bartolotta [1], Jordan Berg [1], Ryan Besand [1], Bryce Bjork [1], Matt Blain [5], Paul Blanchard [1], Robin Blume-Kohout [6], Matt Bohn [1,2], Agustin Borgna, Daniel Y. Botamanenko [1], Robert Boutelle [1], Natalie Brown [1], Grant T. Buckingham [1], Nathaniel Q. Burdick [3], William Cody Burton [1], Varis Carey [1], Christopher J. Carron [5], Joe Chambers [1], John Children [2], Victor E. Colussi [1], Steven Crepinsek [1], Andrew Cureton [1], Joe Davies [5], Daniel Davis [1], Matthew DeCross [1], David Deen [3], Conor Delaney [1], Davide DelVento [1], B. J. DeSalvo, Jason Dominy [1], Ross Duncan [7], Vanya Eccles [2], Alec Edgington [2], Neal Erickson [1], Stephen Erickson [1], Christopher T. Ertsgaard [5], Bruce Evans [1], Tyler Evans [1], Maya I. Fabrikant [1], Andrew Fischer [1], Cameron Foltz [1], Michael Foss-Feig [1], David Francois [1], Brad Freyberg [1], Charles Gao [1], Robert Garay [1], Jane Garvin [1], David M. Gaudiosi [1], Christopher N. Gilbreth [1], Josh Giles [1], Erin Glynn [1], Jeff Graves [1], Azure Hansen [1], David Hayes [1], Lukas Heidemann [2], Bob Higashi [5], Tyler Hilbun [1], Jordan Hines [6], Ariana Hlavaty [2], Kyle Hoffman [1], Ian M. Hoffman [1], Craig Holliman [7], Isobel Hooper [2], Bob Horning [5], James Hostetter [3], Daniel Hothem [8], Jack Houlton [1], Jared Hout [1], Ross Hutson [1], Ryan T. Jacobs [1], Trent Jacobs [1], Melf Johannsen [2], Jacob Johansen [1], Loren Jones [1], Sydney Julian [1], Ryan Jung [5], Aidan Keay [2], Todd Klein [5], Mark Koch [2], Ryo Kondo [1], Chang Kong [1], Asa Kosto [1], Alan Lawrence [2], David Liefer [1], Michelle Lollie [1], Dominic Lucchetti [1], Nathan K. Lysne [7], Christian Lytle [1], Callum MacPherson [2], Andrew Malm [1], Spencer Mather [1], Brian Mathewson [1], Daniel Maxwell [3], Lauren McCaffrey [1], Hannah McDougall [1], Robin Mendoza [1], Michael Mills [1], Richard Morrison [2], Louis Narmour [1], Nhung Nguyen [1], Lora Nugent [1], Scott Olson [5], Daniel Ouellette [5], Jeremy Parks [1], Zach Peters [1], Jessie Petricka [1], Juan M. Pino [1], Frank Polito [1], Matthias Preidl [5], Gabriel Price [1], Timothy Proctor [8], McKinley Pugh [1], Noah Ratcliff [1], Daisy Raymondson [1], Peter Rhodes [1], Conrad Roman [1], Craig Roy [2], Ciaran Ryan-Anderson [1], Fernando Betanzo Sanchez [2], George Sangiolo [2], Tatiana Sawadski [2], Andrew Schaffer [3], Peter Schow [1], Jon Sedlacek [3], Henry Semenenko [2], Peter Shevchuk [1], Susan Shore [5], Peter Siegfried [1], Kartik Singhal [1], Seyon Sivarajah [2], Thomas Skripka [1], Lucas Sletten [3], Ben Spaun [1], R. Tucker Sprenkle [1], Paul Stoufer [1], Mariel Tader [1], Stephen F. Taylor [3], Travis H. Thompson [2], Raanan Tobey [1], Anh Tran [1], Tam Tran [1], Grahame Vittorini [3], Curtis Volin [3], Jim Walker [1], Sam White [2], Douglas Wilson [2], Quinn Wolf [1], Chester Wringe [2], Kevin Young [8], Jian Zheng [1], Kristen Zuraski [1], Charles H. Baldwin [1], Alex Chernoguzov [1], John P. Gaebler [1], Steven J. Sanders [1], Brian Neyenhuis [1], Russell Stutz [1], Justin G. Bohnet [1]

Abstract

We report on Quantinuum Helios, a 98-qubit trapped-ion quantum processor based on the quantum charge-coupled device (QCCD) architecture. Helios features $^{137}$Ba$^{+}$ hyperfine qubits, all-to-all connectivity enabled by a rotatable ion storage ring connecting two quantum operation regions by a junction, speed improvements from parallelized operations, and a new software stack with real-time compilation of dynamic programs. Averaged over all operational zones in the system, we achieve average infidelities of $2.5(1)\times10^{-5}$ for single-qubit gates, $7.9(2)\times10^{-4}$ for two-qubit gates, and $4.8(6)\times10^{-4}$ for state preparation and measurement, none of which are fundamentally limited and likely able to be improved. These component infidelities are predictive of system-level performance in both random Clifford circuits and random circuit sampling, the latter demonstrating that Helios operates well beyond the reach of classical simulation and establishes a new frontier of fidelity and complexity for quantum computers.

Certified randomness amplification by dynamically probing remote random quantum states

Minzhao Liu [1], Pradeep Niroula [1], Matthew DeCross [2], Cameron Foreman [3], Wen Yu Kon [1], Ignatius William Primaatmaja [1,2], M. S. Allman, J. P. Campora, Akhil Isanaka [2], Kartik Singhal [2], Omar Amer [1], Shouvanik Chakrabarti [1], Kaushik Chakraborty [1], Samuel F. Cooper [2], Robert D. Delaney [2], Joan M. Dreiling [2], Brian Estey [2], Caroline Figgatt [2], Cameron Foltz [2], John P. Gaebler [2], Alex Hall [2], Zichang He [1], Craig A. Holliman [4], Travis S. Humble [5], Shih-Han Hung [6], Ali A. Husain [7], Yuwei Jin [1], Fatih Kaleoglu [1], Colin J. Kennedy [2], Nikhil Kotibhaskar [3], Nathan K. Lysne [4], Ivaylo S. Madjarov [2], Michael Mills [2], Alistair R. Milne [3], Kevin Milner [3], Louis Narmour [2], Sivaprasad Omanakuttan [1], Annie J. Park [2], Michael A. Perlin [1], Adam P. Reed [2], Chris N. Self [8], Matthew Steinberg [1], David T. Stephen [2], Joseph Sullivan [1], Alex Chernoguzov [2], Florian J. Curchod [8], Anthony Ransford [2], Justin G. Bohnet [2], Brian Neyenhuis [2], Michael Foss-Feig [2], Rob Otter [1], Ruslan Shaydulin [1]

Abstract

Cryptography depends on truly unpredictable numbers, but physical sources emit biased or correlated bits. Quantum mechanics enables the amplification of imperfect randomness into nearly perfect randomness, but prior demonstrations have required physically co-located, loophole-free Bell tests, constraining the feasibility of remote operation. Here we realize certified randomness amplification across a network by dynamically probing large, entangled quantum states on Quantinuum's 98-qubit Helios trapped-ion quantum processor. Our protocol is secure even if the remote device acts maliciously or is compromised by an intercepting adversary, provided the samples are generated quickly enough to preclude classical simulation of the quantum circuits. We stream quantum gates in real time to the quantum processor, maintain quantum state coherence for $\approx 0.9$ seconds, and then reveal the measurement bases to the quantum processor only milliseconds before measurement. This limits the time for classical spoofing to 30 ms and constrains the location of hypothetical adversaries to a $4{,}500$ km radius. We achieve a fidelity of 0.586 on random circuits with 64 qubits and 276 two-qubit gates, enabling the amplification of realistic imperfect randomness with a low entropy rate into nearly perfect randomness.

Superconducting pairing correlations on a trapped-ion quantum computer

Etienne Granet [1], Sheng-Hsuan Lin [1], Kevin Hémery, Reza Haghshenas [2], Pablo Andres-Martinez [3], David T. Stephen [2], Anthony Ransford [2], Jake Arkinstall [3,2], M. S. Allman, Pete Campora [2], Samuel F. Cooper [2], Robert D. Delaney [2], Joan M. Dreiling [2], Brian Estey [2], Caroline Figgatt [2], Cameron Foltz [2], John P. Gaebler [2], Alex Hall [2], Ali Husain [4], Akhil Isanaka [2], Colin J. Kennedy [2], Nikhil Kotibhaskar [5], Ivaylo S. Madjarov [2], Michael Mills [2], Alistair R. Milne [5], Annie J. Park [2], Adam P. Reed [2], Brian Neyenhuis [2], Justin G. Bohnet [2], Michael Foss-Feig [2], Andrew C. Potter [2], Ramil Nigmatullin [3], Mohsin Iqbal [1], Henrik Dreyer [1]

Abstract

The Fermi-Hubbard model is the starting point for the simulation of many strongly correlated materials, including high-temperature superconductors, whose modelling is a key motivation for the construction of quantum simulation and computing devices. However, the detection of superconducting pairing correlations has so far remained out of reach, both because of their off-diagonal character - which makes them inaccessible to local density measurements - and because of the difficulty of preparing superconducting states. Here, we report measurement of significant pairing correlations in three different regimes of Fermi-Hubbard models simulated on Quantinuum's Helios trapped-ion quantum computer. Specifically, we measure non-equilibrium pairing induced by an electromagnetic field in the half-filled square lattice model, d-wave pairing in an approximate ground state of the checkerboard Hubbard model at $1/6$-doping, and s-wave pairing in a bilayer model relevant to nickelate superconductors. These results show that a quantum computer can reliably create and probe physically relevant states with superconducting pairing correlations, opening a path to the exploration of superconductivity with quantum computers.

Fermionic dynamics on a trapped-ion quantum computer beyond exact classical simulation

Faisal Alam, Jan Lukas Bosse, Ieva Čepaitė, Adrian Chapman, Laura Clinton, Marcos Crichigno, Elizabeth Crosson, Toby Cubitt, Charles Derby, Oliver Dowinton, Norhan Eassa, Paul K. Faehrmann, Steve Flammia, Brian Flynn, Filippo Maria Gambetta, Raúl García-Patrón, Max Hunter-Gordon, Glenn Jones, Abhishek Khedkar, Joel Klassen, Michael Kreshchuk, Edward Harry McMullan, Lana Mineh, Ashley Montanaro, Caterina Mora, John J. L. Morton, Alberto Nocera, Dhrumil Patel, Pete Rolph, Raul A. Santos, James R. Seddon, Evan Sheridan, Wilfrid Somogyi, Marika Svensson, Niam Vaishnav, Sabrina Yue Wang, Gethin Wright, Eli Chertkov, Henrik Dreyer, Michael Foss-Feig

Abstract

Simulation of the time-dynamics of fermionic many-body systems has long been predicted to be one of the key applications of quantum computers. Such simulations -- for which classical methods are often inaccurate -- are critical to advancing our knowledge and understanding of quantum chemistry and materials, underpinning a wide range of fields, from biochemistry to clean-energy technologies and chemical synthesis. However, the performance of all previous digital quantum simulations of fermions has been matched by classical methods, and it has thus far remained unclear whether near-term, intermediate-scale quantum hardware could offer any computational advantage in this area. Here, we implement an efficient quantum simulation algorithm on Quantinuum's System Model H2 trapped-ion quantum computer for the time dynamics of a 56-qubit system that is too complex for exact classical simulation. We focus on the periodic spinful 2D Fermi-Hubbard model and present evidence of spin-charge separation, where the elementary electron's charge and spin decouple. In the limited cases where ground truth is available through exact classical simulation, we find that it agrees with the results we obtain from the quantum device. Employing long-range Wilson operators to study deconfinement of the effective gauge field between spinons and the effective potential between charge carriers, we find behaviour that differs from predictions made by classical tensor network methods. Our results herald the use of quantum computing for simulating strongly correlated electronic systems beyond the capacity of classical computing.

Observation of a Fault Tolerance Threshold with Concatenated Codes

Grace M. Sommers [1], Michael Foss-Feig [2], David Hayes [2], David A. Huse [1], Michael J. Gullans [3]

Abstract

We introduce a fault-tolerant protocol for code concatenation of a generalized Shor code using a butterfly network architecture with high noise thresholds and low ancilla overhead to allow implementation on current devices. We develop a probability passing decoder using tensor networks that applies Bayesian updates to the marginal error probabilities after each layer of checks, achieving a state preparation threshold of $e_c \approx 0.089$ for erasure errors, and $\approx 0.015$ for unheralded noise. We implement our state preparation protocol on ion-trap hardware with added noise to demonstrate the threshold behavior in a real quantum device. We further theoretically test the performance of our scheme as a quantum memory and for universal quantum computation through the preparation of low-noise magic states for state distillation and $T$-gate injection.

Certified randomness using a trapped-ion quantum processor

Minzhao Liu [1,3,4], Ruslan Shaydulin [1], Pradeep Niroula [1], Matthew DeCross [2], Shih-Han Hung [5,6], Wen Yu Kon [1], Enrique Cervero-Martín, Kaushik Chakraborty [1], Omar Amer [1], Scott Aaronson [5], Atithi Acharya [1], Yuri Alexeev [3], K. Jordan Berg [2], Shouvanik Chakrabarti [1], Florian J. Curchod [7], Joan M. Dreiling [2], Neal Erickson [2], Cameron Foltz [2], Michael Foss-Feig [2], David Hayes [2], Travis S. Humble [8], Niraj Kumar [1], Jeffrey Larson [9], Danylo Lykov [1,3], Michael Mills [2], Steven A. Moses [2], Brian Neyenhuis [2], Shaltiel Eloul [1], Peter Siegfried [2], James Walker [2], Charles Lim [1], Marco Pistoia [1]

Abstract

While quantum computers have the potential to perform a wide range of practically important tasks beyond the capabilities of classical computers, realizing this potential remains a challenge. One such task is to use an untrusted remote device to generate random bits that can be certified to contain a certain amount of entropy. Certified randomness has many applications but is fundamentally impossible to achieve solely by classical computation. In this work, we demonstrate the generation of certifiably random bits using the 56-qubit Quantinuum H2-1 trapped-ion quantum computer accessed over the internet. Our protocol leverages the classical hardness of recent random circuit sampling demonstrations: a client generates quantum "challenge" circuits using a small randomness seed, sends them to an untrusted quantum server to execute, and verifies the server's results. We analyze the security of our protocol against a restricted class of realistic near-term adversaries. Using classical verification with measured combined sustained performance of $1.1\times10^{18}$ floating-point operations per second across multiple supercomputers, we certify $71,313$ bits of entropy under this restricted adversary and additional assumptions. Our results demonstrate a step towards the practical applicability of today's quantum computers.

Digital quantum magnetism on a trapped-ion quantum computer

Reza Haghshenas, Eli Chertkov, Michael Mills, Wilhelm Kadow, Sheng-Hsuan Lin, Yi-Hsiang Chen, Chris Cade, Ido Niesen, Tomislav Begušić, Manuel S. Rudolph, Cristina Cirstoiu, Kevin Hemery, Conor Mc Keever, Michael Lubasch, Etienne Granet, Charles H. Baldwin, John P. Bartolotta, Matthew Bohn, Justin J. Burau, Julia Cline, Matthew DeCross, Joan M. Dreiling, Cameron Foltz, David Francois, John P. Gaebler, Christopher N. Gilbreth, Johnnie Gray, Dan Gresh, Alex Hall, Aaron Hankin, Azure Hansen, Nathan Hewitt, Craig A. Holliman, Ross B. Hutson, Mohsin Iqbal, Nikhil Kotibhaskar, Elliot Lehman, Dominic Lucchetti, Ivaylo S. Madjarov, Karl Mayer, Alistair R. Milne, Steven A. Moses, Brian Neyenhuis, Gunhee Park, Abigail R. Perry, Boris Ponsioen, Michael Schecter, Peter E. Siegfried, David T. Stephen, Bruce G. Tiemann, Maxwell D. Urmey, James Walker, Andrew C. Potter, David Hayes, Garnet Kin-Lic Chan, Frank Pollmann, Michael Knap, Henrik Dreyer, Michael Foss-Feig

Abstract

Digital quantum matter -- realized when discrete quantum gates approximate continuous time evolution -- is susceptible to heating into chaotic, structureless states. If digitization errors are adequately suppressed, a long-lived transient regime of approximately energy-conserving dynamics can be observed on gate-based quantum computers. Conservation of energy, in turn, enables the exploration of a wide variety of complex behaviors observed in equilibrium systems, ranging from the nontrivial microscopic origins of thermalization itself to the stabilization of effective models hosting exotic emergent properties. Here, we use Quantinuum's system model H2 quantum computer to simulate digitized dynamics of the quantum Ising model, suppressing digitization errors well enough to observe thermalization on timescales that severely challenge classical simulation methods. Relaxation of an inhomogeneous state reveals an emergent hydrodynamics due to approximate energy conservation, and we compute the associated diffusion constant. By reprogramming our simulations to take place on a triangular lattice with periodic boundary conditions, we observe thermalization consistent with emergent gauge and topological constraints resulting from lattice frustration. Our results were enabled by continued advances in two-qubit gate quality (native partial entangler fidelities of $99.94(1)\%$), and establish digital quantum computers as powerful tools for studying (effectively) continuous-time dynamics.

Fully optimised variational simulation of a dynamical quantum phase transition on a trapped-ion quantum computer

Lesley Gover [1], Vinul Wimalaweera [1], Fariha Azad [1], Matthew DeCross [2], Michael Foss-Feig [2,1], Andrew G. Green

Abstract

We time-evolve a translationally invariant quantum state on the Quantinuum H1-1 trapped-ion quantum processor, studying the dynamical quantum phase transition of the transverse field Ising model. This physics requires a delicate cancellation of phases in the many-body wavefunction and presents a tough challenge for current quantum devices. We follow the dynamics using a quantum circuit matrix product state ansatz, optimised for the time-evolution using a fidelity cost function. Sampling costs are mitigated by using the measured values of this circuit as stochastic corrections to a simple classical extrapolation of the ansatz parameters. Our results demonstrate the feasibility of variational quantum time-evolution and reveal a hitherto hidden simplicity of the evolution of the transverse-field Ising model through the dynamical quantum phase transition.

Laser cooling trapped-ion crystal modes beyond the Lamb-Dicke regime

John P. Bartolotta [1], Brian Estey [1], Michael Foss-Feig [1], David Hayes [1], Christopher N. Gilbreth [1]

Abstract

Laser cooling methods for trapped ions are most commonly studied at low energies, i.e., in the Lamb-Dicke regime. However, ions in experiments are often excited to higher energies for which the Lamb-Dicke approximation breaks down. Here we construct a non-perturbative, semiclassical method for predicting the energy-dependent cooling dynamics of trapped-ion crystals with potentially many internal levels and motional modes beyond the Lamb-Dicke regime. This method allows accurate and efficient modeling of a variety of interesting phenomena, such as the breakdown of EIT cooling at high energies and the simultaneous cooling of multiple high-temperature modes. We compare its predictions both to fully-quantum simulations and to experimental data for a broadband EIT cooling method on a Raman $S$-$D$ transition in $^{138}$Ba${^+}$. We find the method can accurately predict cooling rates over a wide range of energies relevant to trapped ion experiments. Our method complements fully quantum models by allowing for fast and accurate predictions of laser-cooling dynamics at much higher energy scales.

Robustness of near-thermal dynamics on digital quantum computers

Eli Chertkov [1], Yi-Hsiang Chen [1], Michael Lubasch [2], David Hayes [1], Michael Foss-Feig [1]

Abstract

Understanding the impact of gate errors on quantum circuits is crucial to determining the potential applications of quantum computers, especially in the absence of large-scale error-corrected hardware. We put forward analytical arguments, corroborated by extensive numerical and experimental evidence, that Trotterized quantum circuits simulating the time-evolution of systems near thermal equilibrium are substantially more robust to both quantum gate errors and Trotter (discretization) errors than is widely assumed. In Quantinuum's trapped-ion computers, the weakly entangling gates that appear in Trotterized circuits can be implemented natively, and their error rate is smaller when they generate less entanglement; from benchmarking, we know that the error for a gate $\exp[-i (Z\otimes Z) τ]$ decreases roughly linearly with $τ$, up to a small offset at $τ= 0$. We provide extensive evidence that this scaling, together with the robustness of near-thermal dynamics to both gate and discretization errors, facilitates substantial improvements in the achievable accuracy of Trotterized dynamics on near-term quantum computers. We make heavy use of a new theoretical tool -- a statistical ensemble of random product states that approximates a thermal state, which can be efficiently prepared with low noise on quantum computers. We outline how the random product state ensemble can be used to predict, optimize, and design Hamiltonian simulation experiments on near-thermal quantum systems.

Progress in Trapped-Ion Quantum Simulation

Michael Foss-Feig [1], Guido Pagano [2], Andrew C. Potter [3], Norman Y. Yao [4]

Abstract

Trapped ions offer long coherence times and high fidelity, programmable quantum operations, making them a promising platform for quantum simulation of condensed matter systems, quantum dynamics, and problems related to high-energy physics. We review selected developments in trapped-ion qubits and architectures and discuss quantum simulation applications that utilize these emerging capabilities. This review emphasizes developments in digital (gate-based) quantum simulations that exploit trapped-ion hardware capabilities, such as flexible qubit connectivity, selective mid-circuit measurement, and classical feedback, to simulate models with long-range interactions, explore non-unitary dynamics, compress simulations of states with limited entanglement, and reduce the circuit depths required to prepare or simulate long-range entangled states.

Non-Abelian Topological Order and Anyons on a Trapped-Ion Processor

Mohsin Iqbal [1], Nathanan Tantivasadakarn [2], Ruben Verresen [3], Sara L. Campbell [4], Joan M. Dreiling [4], Caroline Figgatt [4], John P. Gaebler [4], Jacob Johansen [4], Michael Mills [4], Steven A. Moses [4], Juan M. Pino [4], Anthony Ransford [4], Mary Rowe [4], Peter Siegfried [4], Russell P. Stutz [4], Michael Foss-Feig [4], Ashvin Vishwanath [3], Henrik Dreyer [1]

Abstract

Non-Abelian topological order (TO) is a coveted state of matter with remarkable properties, including quasiparticles that can remember the sequence in which they are exchanged. These anyonic excitations are promising building blocks of fault-tolerant quantum computers. However, despite extensive efforts, non-Abelian TO and its excitations have remained elusive, unlike the simpler quasiparticles or defects in Abelian TO. In this work, we present the first unambiguous realization of non-Abelian TO and demonstrate control of its anyons. Using an adaptive circuit on Quantinuum's H2 trapped-ion quantum processor, we create the ground state wavefunction of $D_4$ TO on a kagome lattice of 27 qubits, with fidelity per site exceeding $98.4\%$. By creating and moving anyons along Borromean rings in spacetime, anyon interferometry detects an intrinsically non-Abelian braiding process. Furthermore, tunneling non-Abelions around a torus creates all 22 ground states, as well as an excited state with a single anyon -- a peculiar feature of non-Abelian TO. This work illustrates the counterintuitive nature of non-Abelions and enables their study in quantum devices.

Topological Order from Measurements and Feed-Forward on a Trapped Ion Quantum Computer

Mohsin Iqbal [1], Nathanan Tantivasadakarn [2], Thomas M. Gatterman [3], Justin A. Gerber [3], Kevin Gilmore [3], Dan Gresh [3], Aaron Hankin [3], Nathan Hewitt [3], Chandler V. Horst [3], Mitchell Matheny [3], Tanner Mengle [3], Brian Neyenhuis [3], Ashvin Vishwanath [4], Michael Foss-Feig [3], Ruben Verresen [4], Henrik Dreyer [1]

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 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.

Qubit-reuse compilation with mid-circuit measurement and reset

Matthew DeCross [1], Eli Chertkov [1], Megan Kohagen [1], Michael Foss-Feig [1]

Abstract

A number of commercially available quantum computers, such as those based on trapped-ion or superconducting qubits, can now perform mid-circuit measurements and resets. In addition to being crucial for quantum error correction, this capability can help reduce the number of qubits needed to execute many types of quantum algorithms by measuring qubits as early as possible, resetting them, and reusing them elsewhere in the circuit. In this work, we introduce the idea of qubit-reuse compilation, which takes as input a quantum circuit and produces as output a compiled circuit that requires fewer qubits to execute due to qubit reuse. We present two algorithms for performing qubit-reuse compilation: an exact constraint programming optimization model and a greedy heuristic. We introduce the concept of dual circuits, obtained by exchanging state preparations with measurements and vice versa and reversing time, and show that optimal qubit-reuse compilation requires the same number of qubits to execute a circuit as its dual. We illustrate the performance of these algorithms on a variety of relevant near-term quantum circuits, such as one-dimensional and two-dimensional time-evolution circuits, and numerically benchmark their performance on the quantum adiabatic optimization algorithm (QAOA) applied to the MaxCut problem on random three-regular graphs. To demonstrate the practical benefit of these techniques, we experimentally realize an 80-qubit QAOA MaxCut circuit on the 20-qubit Quantinuum H1-1 trapped ion quantum processor using qubit-reuse compilation algorithms.

A tensor network discriminator architecture for classification of quantum data on quantum computers

Michael L. Wall [1], Paraj Titum [1], Gregory Quiroz [1], Michael Foss-Feig [2], Kaden R. A. Hazzard [3]

Abstract

We demonstrate the use of matrix product state (MPS) models for discriminating quantum data on quantum computers using holographic algorithms, focusing on classifying a translationally invariant quantum state based on $L$ qubits of quantum data extracted from it. We detail a process in which data from single-shot experimental measurements are used to optimize an isometric tensor network, the tensors are compiled into unitary quantum operations using greedy compilation heuristics, parameter optimization on the resulting quantum circuit model removes the post-selection requirements of the isometric tensor model, and the resulting quantum model is inferenced on either product state or entangled quantum data. We demonstrate our training and inference architecture on a synthetic dataset of six-site single-shot measurements from the bulk of a one-dimensional transverse field Ising model (TFIM) deep in its antiferromagnetic and paramagnetic phases. We experimentally evaluate models on Quantinuum's H1-2 trapped ion quantum computer using entangled input data modeled as translationally invariant, bond dimension 4 MPSs across the known quantum phase transition of the TFIM. Using linear regression on the experimental data near the transition point, we find predictions for the critical transverse field of $h=0.962$ and $0.994$ for tensor network discriminators of bond dimension $χ=2$ and $χ=4$, respectively. These predictions compare favorably with the known transition location of $h=1$ despite training on data far from the transition point. Our techniques identify families of short-depth variational quantum circuits in a data-driven and hardware-aware fashion and robust classical techniques to precondition the model parameters, and can be adapted beyond machine learning to myriad applications of tensor networks on quantum computers, such as quantum simulation and error correction.

Holographic simulation of correlated electrons on a trapped ion quantum processor

Daoheng Niu [1], Reza Haghshenas [2], Yuxuan Zhang [1,3], Michael Foss-Feig, Garnet Kin-Lic Chan [2], Andrew C. Potter [4]

Abstract

We develop holographic quantum simulation techniques to prepare correlated electronic ground states in quantum matrix product state (qMPS) form, using far fewer qubits than the number of orbitals represented. Our approach starts with a holographic technique to prepare a compressed approximation to electronic mean-field ground-states, known as fermionic Gaussian matrix product states (GMPS), with a polynomial reduction in qubit- and (in select cases gate-) resources compared to existing techniques. Correlations are then introduced by augmenting the GMPS circuits in a variational technique which we denote GMPS+X. We demonstrate this approach on Quantinuum's System Model H1 trapped-ion quantum processor for 1$d$ models of correlated metal and Mott insulating states. Focusing on the $1d$ Fermi-Hubbard chain as a benchmark, we show that GMPS+X methods faithfully capture the physics of correlated electron states, including Mott insulators and correlated Luttinger liquid metals, using considerably fewer parameters than problem-agnostic variational circuits.

Holographic dynamics simulations with a trapped ion quantum computer

Eli Chertkov [2], Justin Bohnet, David Francois, John Gaebler, Dan Gresh, Aaron Hankin, Kenny Lee, Ra'anan Tobey, David Hayes, Brian Neyenhuis, Russell Stutz, Andrew C. Potter [3], 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 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.

Entanglement from tensor networks on a trapped-ion QCCD quantum computer

Michael Foss-Feig [1], Stephen Ragole [1], Andrew Potter [2], Joan Dreiling [1], Caroline Figgatt [1], John Gaebler [1], Alex Hall [1], Steven Moses [1], Juan Pino [1], Ben Spaun [1], Brian Neyenhuis [1], David Hayes [1]

Abstract

The ability to selectively measure, initialize, and reuse qubits during a quantum circuit enables a mapping of the spatial structure of certain tensor-network states onto the dynamics of quantum circuits, thereby achieving dramatic resource savings when using a quantum computer to simulate many-body systems with limited entanglement. We experimentally demonstrate a significant benefit of this approach to quantum simulation: In addition to all correlation functions, the entanglement structure of an infinite system -- specifically the half-chain entanglement spectrum -- is conveniently encoded within a small register of "bond qubits" and can be extracted with relative ease. Using a trapped-ion QCCD quantum computer equipped with selective mid-circuit measurement and reset, we quantitatively determine the near-critical entanglement entropy of a correlated spin chain directly in the thermodynamic limit and show that its phase transition becomes quickly resolved upon expanding the bond-qubit register.

Holographic quantum algorithms for simulating correlated spin systems

Michael Foss-Feig, David Hayes, Joan M. Dreiling, Caroline Figgatt, John P. Gaebler, Steven A. Moses, Juan M. Pino, Andrew C. Potter [2]

Abstract

We present a suite of "holographic" quantum algorithms for efficient ground-state preparation and dynamical evolution of correlated spin-systems, which require far-fewer qubits than the number of spins being simulated. The algorithms exploit the equivalence between matrix-product states (MPS) and quantum channels, along with partial measurement and qubit re-use, in order to simulate a $D$-dimensional spin system using only a ($D$-1)-dimensional subset of qubits along with an ancillary qubit register whose size scales logarithmically in the amount of entanglement present in the simulated state. Ground states can either be directly prepared from a known MPS representation, or obtained via a holographic variational quantum eigensolver (holoVQE). Dynamics of MPS under local Hamiltonians for time $t$ can also be simulated with an additional (multiplicative) ${\rm poly}(t)$ overhead in qubit resources. These techniques open the door to efficient quantum simulation of MPS with exponentially large bond-dimension, including ground-states of 2D and 3D systems, or thermalizing dynamics with rapid entanglement growth. As a demonstration of the potential resource savings, we implement a holoVQE simulation of the antiferromagnetic Heisenberg chain on a trapped-ion quantum computer, achieving within $10(3)\%$ of the exact ground-state energy of an infinite chain using only a pair of qubits.

A stroboscopic approach to trapped-ion quantum information processing with squeezed phonons

Wenchao Ge [1,2,3], Brian C. Sawyer [4], Joseph W. Britton [1], Kurt Jacobs [1,5,6], Michael Foss-Feig [1,7,8], John J. Bollinger [9]

Abstract

In trapped-ion quantum information processing, interactions between spins (qubits) are mediated by collective modes of motion of an ion crystal. While there are many different experimental strategies to design such interactions, they all face both technical and fundamental limitations to the achievable coherent interaction strength. In general, obtaining strong interactions and fast gates is an ongoing challenge. Here, we extend previous work [Phys. Rev. Lett. 112, 030501 (2019)] and present a general strategy for enhancing the interaction strengths in trapped-ion systems via parametric amplification of the ions' motion. Specifically, we propose a stroboscopic protocol using alternating applications of parametric amplification and spin-motion coupling. In comparison with the previous work, we show that the current protocol can lead to larger enhancements in the coherent interaction that increase exponentially with the gate time.

Trapped Ion Quantum Information Processing with Squeezed Phonons

Wenchao Ge [1,2,3], Brian Sawyer, Joe Britton, Kurt Jacobs [1,4,5,6], John Bollinger, Michael Foss-Feig [1,7,8]

Abstract

Trapped ions offer a pristine platform for quantum computation and simulation, but improving their coherence remains a crucial challenge. Here, we propose and analyze a new strategy to enhance the coherent interactions in trapped ion systems via parametric amplification of the ions' motion--by squeezing the collective motional modes (phonons), the spin-spin interactions they mediate can be significantly enhanced. We illustrate the power of this approach by showing how it can enhance collective spin states useful for quantum metrology, and how it can improve the speed and fidelity of two-qubit gates in multi-ion systems, important ingredients for scalable trapped ion quantum computation. Our results are also directly relevant to numerous other physical platforms in which spin interactions are mediated by bosons.

A solvable family of driven-dissipative many-body systems

Michael Foss-Feig [1,2,3], Jeremy T. Young [2], Victor V. Albert [4], Alexey V. Gorshkov [2,3], Mohammad F. Maghrebi [5,2,3]

Abstract

Exactly solvable models have played an important role in establishing the sophisticated modern understanding of equilibrium many-body physics. And conversely, the relative scarcity of solutions for non-equilibrium models greatly limits our understanding of systems away from thermal equilibrium. We study a family of non-equilibrium models, some of which can be viewed as dissipative analogues of the transverse-field Ising model, in that an effectively classical Hamiltonian is frustrated by dissipative processes that drive the system toward states that do not commute with the Hamiltonian. Surprisingly, a broad and experimentally relevant subset of these models can be solved efficiently in any number of spatial dimensions. We leverage these solutions to prove a no-go theorem on steady-state phase transitions in a many-body model that can be realized naturally with Rydberg atoms or trapped ions, and to compute the effects of decoherence on a canonical trapped-ion-based quantum computation architecture.

Quantum spin dynamics and entanglement generation with hundreds of trapped ions

Justin G. Bohnet, Brian C. Sawyer, Joseph W. Britton, Michael L. Wall [3], Ana Maria Rey [4], Michael Foss-Feig [5], John J. Bollinger

Abstract

Quantum simulation of spin models can provide insight into complex problems that are difficult or impossible to study with classical computers. Trapped ions are an established platform for quantum simulation, but only systems with fewer than 20 ions have demonstrated quantum correlations. Here we study non-equilibrium, quantum spin dynamics arising from an engineered, homogeneous Ising interaction in a two-dimensional array of $^9$Be$^+$ ions in a Penning trap. We verify entanglement in the form of spin-squeezed states for up to 219 ions, directly observing 4.0$\pm$0.9 dB of spectroscopic enhancement. We also observe evidence of non-Gaussian, over-squeezed states in the full counting statistics. We find good agreement with ab-initio theory that includes competition between entanglement and decoherence, laying the groundwork for simulations of the transverse-field Ising model with variable-range interactions, for which numerical solutions are, in general, classically intractable.

Kaleidoscope of quantum phases in a long-range interacting spin-1 chain

Zhe-Xuan Gong, Mohammad F. Maghrebi, Anzi Hu, Michael Foss-Feig, Phillip Richerme, Christopher Monroe, Alexey V. Gorshkov

Abstract

Motivated by recent trapped-ion quantum simulation experiments, we carry out a comprehensive study of the phase diagram of a spin-1 chain with XXZ-type interactions that decay as $1/r^α$, using a combination of finite and infinite-size DMRG calculations, spin-wave analysis, and field theory. In the absence of long-range interactions, varying the spin-coupling anisotropy leads to four distinct phases: a ferromagnetic Ising phase, a disordered XY phase, a topological Haldane phase, and an antiferromagnetic Ising phase. If long-range interactions are antiferromagnetic and thus frustrated, we find primarily a quantitative change of the phase boundaries. On the other hand, ferromagnetic (non-frustrated) long-range interactions qualitatively impact the entire phase diagram. Importantly, for $α\lesssim3$, long-range interactions destroy the Haldane phase, break the conformal symmetry of the XY phase, give rise to a new phase that spontaneously breaks a $U(1)$ continuous symmetry, and introduce an exotic tricritical point with no direct parallel in short-range interacting spin chains. We show that the main signatures of all five phases found could be observed experimentally in the near future.

Topological phases with long-range interactions

Zhe-Xuan Gong, Mohammad F. Maghrebi, Anzi Hu, Michael L. Wall, Michael Foss-Feig, Alexey V. Gorshkov

Abstract

Topological phases of matter are primarily studied in systems with short-range interactions. In nature, however, non-relativistic quantum systems often exhibit long-range interactions. Under what conditions topological phases survive such interactions, and how they are modified when they do, is largely unknown. By studying the symmetry-protected topological phase of an antiferromagnetic spin-1 chain with $1/r^α$ interactions, we show that two very different outcomes are possible, depending on whether or not the interactions are frustrated. While non-frustrated long-range interactions can destroy the topological phase for $α\lesssim3$, the topological phase survives frustrated interactions for all $α>0$. Our conclusions are based on strikingly consistent results from large-scale matrix-product-state simulations and effective-field-theory calculations, and we expect them to hold for more general interacting spin systems. The models we study can be naturally realized in trapped-ion quantum simulators, opening the prospect for experimental investigation of the issues confronted here.

Quantum correlations and entanglement in far-from-equilibrium spin systems

Kaden R. A. Hazzard [1], Mauritz van den Worm [2], Michael Foss-Feig [3], Salvatore R. Manmana [4], Emanuele Dalla Torre [5], Tilman Pfau, Michael Kastner [7,2], Ana Maria Rey [1]

Abstract

By applying complementary analytic and numerical methods, we investigate the dynamics of spin-$1/2$ XXZ models with variable-range interactions in arbitrary dimensions. The dynamics we consider is initiated from uncorrelated states that are easily prepared in experiments, and can be equivalently viewed as either Ramsey spectroscopy or a quantum quench. Our primary focus is the dynamical emergence of correlations and entanglement in these far-from-equilibrium interacting quantum systems: we characterize these correlations by the entanglement entropy, concurrence, and squeezing, which are inequivalent measures of entanglement corresponding to different quantum resources. In one spatial dimension, we show that the time evolution of correlation functions manifests a non-perturbative dynamic singularity. This singularity is characterized by a universal power-law exponent that is insensitive to small perturbations. Explicit realizations of these models in current experiments using polar molecules, trapped ions, Rydberg atoms, magnetic atoms, and alkaline-earth and alkali atoms in optical lattices, along with the relative merits and limitations of these different systems, are discussed.

Dynamical quantum correlations of Ising models on an arbitrary lattice and their resilience to decoherence

Michael Foss-Feig, Kaden R A Hazzard, John J Bollinger, Ana Maria Rey, Charles W Clark

Abstract

Ising models, and the physical systems described by them, play a central role in generating entangled states for use in quantum metrology and quantum information. In particular, ultracold atomic gases, trapped ion systems, and Rydberg atoms realize long-ranged Ising models, which even in the absence of a transverse field can give rise to highly non-classical dynamics and long-range quantum correlations. In the first part of this paper, we present a detailed theoretical framework for studying the dynamics of such systems driven (at time t=0) into arbitrary unentangled non-equilibrium states, thus greatly extending and unifying the work of Ref. [1]. Specifically, we derive exact expressions for closed-time-path ordered correlation functions, and use these to study experimentally relevant observables, e.g. Bloch vector and spin-squeezing dynamics. In the second part, these correlation functions are then used to derive closed-form expressions for the dynamics of arbitrary spin-spin correlation functions in the presence of both T_1 (spontaneous spin relaxation/excitation) and T_2 (dephasing) type decoherence processes. Even though the decoherence is local, our solution reveals that the competition between Ising dynamics and T_1 decoherence gives rise to an emergent non-local dephasing effect, thereby drastically amplifying the degradation of quantum correlations. In addition to identifying the mechanism of this deleterious effect, our solution points toward a scheme to eliminate it via measurement-based coherent feedback.