-
Counterdiabatic Driving with Performance Guarantees
Authors:
Jernej Rudi Finžgar,
Simone Notarnicola,
Madelyn Cain,
Mikhail D. Lukin,
Dries Sels
Abstract:
Counterdiabatic (CD) driving has the potential to speed up adiabatic quantum state preparation by suppressing unwanted excitations. However, existing approaches either require intractable classical computations or are based on approximations which do not have performance guarantees. We propose and analyze a non-variational, system-agnostic CD expansion method and analytically show that it converge…
▽ More
Counterdiabatic (CD) driving has the potential to speed up adiabatic quantum state preparation by suppressing unwanted excitations. However, existing approaches either require intractable classical computations or are based on approximations which do not have performance guarantees. We propose and analyze a non-variational, system-agnostic CD expansion method and analytically show that it converges exponentially quickly in the expansion order. In finite systems, the required resources scale inversely with the spectral gap, which we argue is asymptotically optimal. To extend our method to the thermodynamic limit and suppress errors stemming from high-frequency transitions, we leverage finite-time adiabatic protocols. In particular, we show that a time determined by the quantum speed limit is sufficient to prepare the desired ground state, without the need to optimize the adiabatic trajectory. Numerical tests of our method on the quantum Ising chain show that our method can outperform state-of-the-art variational CD approaches.
△ Less
Submitted 5 March, 2025; v1 submitted 3 March, 2025;
originally announced March 2025.
-
Probing topological matter and fermion dynamics on a neutral-atom quantum computer
Authors:
Simon J. Evered,
Marcin Kalinowski,
Alexandra A. Geim,
Tom Manovitz,
Dolev Bluvstein,
Sophie H. Li,
Nishad Maskara,
Hengyun Zhou,
Sepehr Ebadi,
Muqing Xu,
Joseph Campo,
Madelyn Cain,
Stefan Ostermann,
Susanne F. Yelin,
Subir Sachdev,
Markus Greiner,
Vladan Vuletić,
Mikhail D. Lukin
Abstract:
Quantum simulations of many-body systems are among the most promising applications of quantum computers. In particular, models based on strongly-correlated fermions are central to our understanding of quantum chemistry and materials problems, and can lead to exotic, topological phases of matter. However, due to the non-local nature of fermions, such models are challenging to simulate with qubit de…
▽ More
Quantum simulations of many-body systems are among the most promising applications of quantum computers. In particular, models based on strongly-correlated fermions are central to our understanding of quantum chemistry and materials problems, and can lead to exotic, topological phases of matter. However, due to the non-local nature of fermions, such models are challenging to simulate with qubit devices. Here we realize a digital quantum simulation architecture for two-dimensional fermionic systems based on reconfigurable atom arrays. We utilize a fermion-to-qubit mapping based on Kitaev's model on a honeycomb lattice, in which fermionic statistics are encoded using long-range entangled states. We prepare these states efficiently using measurement and feedforward, realize subsequent fermionic evolution through Floquet engineering with tunable entangling gates interspersed with atom rearrangement, and improve results with built-in error detection. Leveraging this fermion description of the Kitaev spin model, we efficiently prepare topological states across its complex phase diagram and verify the non-Abelian spin liquid phase by evaluating an odd Chern number. We further explore this two-dimensional fermion system by realizing tunable dynamics and directly probing fermion exchange statistics. Finally, we simulate strong interactions and study dynamics of the Fermi-Hubbard model on a square lattice. These results pave the way for digital quantum simulations of complex fermionic systems for materials science, chemistry, and high-energy physics.
△ Less
Submitted 30 January, 2025;
originally announced January 2025.
-
Derandomized shallow shadows: Efficient Pauli learning with bounded-depth circuits
Authors:
Katherine Van Kirk,
Christian Kokail,
Jonathan Kunjummen,
Hong-Ye Hu,
Yanting Teng,
Madelyn Cain,
Jacob Taylor,
Susanne F. Yelin,
Hannes Pichler,
Mikhail Lukin
Abstract:
Efficiently estimating large numbers of non-commuting observables is an important subroutine of many quantum science tasks. We present the derandomized shallow shadows (DSS) algorithm for efficiently learning a large set of non-commuting observables, using shallow circuits to rotate into measurement bases. Exploiting tensor network techniques to ensure polynomial scaling of classical resources, ou…
▽ More
Efficiently estimating large numbers of non-commuting observables is an important subroutine of many quantum science tasks. We present the derandomized shallow shadows (DSS) algorithm for efficiently learning a large set of non-commuting observables, using shallow circuits to rotate into measurement bases. Exploiting tensor network techniques to ensure polynomial scaling of classical resources, our algorithm outputs a set of shallow measurement circuits that approximately minimizes the sample complexity of estimating a given set of Pauli strings. We numerically demonstrate systematic improvement, in comparison with state-of-the-art techniques, for energy estimation of quantum chemistry benchmarks and verification of quantum many-body systems, and we observe DSS's performance consistently improves as one allows deeper measurement circuits. These results indicate that in addition to being an efficient, low-depth, stand-alone algorithm, DSS can also benefit many larger quantum algorithms requiring estimation of multiple non-commuting observables.
△ Less
Submitted 25 December, 2024;
originally announced December 2024.
-
Quantum adiabatic optimization with Rydberg arrays: localization phenomena and encoding strategies
Authors:
Lisa Bombieri,
Zhongda Zeng,
Roberto Tricarico,
Rui Lin,
Simone Notarnicola,
Madelyn Cain,
Mikhail D. Lukin,
Hannes Pichler
Abstract:
Quantum adiabatic optimization seeks to solve combinatorial problems using quantum dynamics, requiring the Hamiltonian of the system to align with the problem of interest. However, these Hamiltonians are often incompatible with the native constraints of quantum hardware, necessitating encoding strategies to map the original problem into a hardware-conformant form. While the classical overhead asso…
▽ More
Quantum adiabatic optimization seeks to solve combinatorial problems using quantum dynamics, requiring the Hamiltonian of the system to align with the problem of interest. However, these Hamiltonians are often incompatible with the native constraints of quantum hardware, necessitating encoding strategies to map the original problem into a hardware-conformant form. While the classical overhead associated with such mappings is easily quantifiable and typically polynomial in problem size, it is much harder to quantify their overhead on the quantum algorithm, e.g., the transformation of the adiabatic timescale. In this work, we address this challenge on the concrete example of the encoding scheme proposed in [Nguyen et al., PRX Quantum 4, 010316 (2023)], which is designed to map optimization problems on arbitrarily connected graphs into Rydberg atom arrays. We consider the fundamental building blocks underlying this encoding scheme and determine the scaling of the minimum gap with system size along adiabatic protocols. Even when the original problem is trivially solvable, we find that the encoded problem can exhibit an exponentially closing minimum gap. We show that this originates from a quantum coherent effect, which gives rise to an unfavorable localization of the ground-state wavefunction. On the QuEra Aquila neutral atom machine, we observe such localization and its effect on the success probability of finding the correct solution to the encoded optimization problem. Finally, we propose quantum-aware modifications of the encoding scheme that avoid this quantum bottleneck and lead to an exponential improvement in the adiabatic performance. This highlights the crucial importance of accounting for quantum effects when designing strategies to encode classical problems onto quantum platforms.
△ Less
Submitted 18 April, 2025; v1 submitted 7 November, 2024;
originally announced November 2024.
-
Fault-tolerant compiling of classically hard IQP circuits on hypercubes
Authors:
Dominik Hangleiter,
Marcin Kalinowski,
Dolev Bluvstein,
Madelyn Cain,
Nishad Maskara,
Xun Gao,
Aleksander Kubica,
Mikhail D. Lukin,
Michael J. Gullans
Abstract:
Realizing computationally complex quantum circuits in the presence of noise and imperfections is a challenging task. While fault-tolerant quantum computing provides a route to reducing noise, it requires a large overhead for generic algorithms. Here, we develop and analyze a hardware-efficient, fault-tolerant approach to realizing complex sampling circuits. We co-design the circuits with the appro…
▽ More
Realizing computationally complex quantum circuits in the presence of noise and imperfections is a challenging task. While fault-tolerant quantum computing provides a route to reducing noise, it requires a large overhead for generic algorithms. Here, we develop and analyze a hardware-efficient, fault-tolerant approach to realizing complex sampling circuits. We co-design the circuits with the appropriate quantum error correcting codes for efficient implementation in a reconfigurable neutral atom array architecture, constituting what we call a fault-tolerant compilation of the sampling algorithm. Specifically, we consider a family of $[[2^D , D, 2]]$ quantum error detecting codes whose transversal and permutation gate set can realize arbitrary degree-$D$ instantaneous quantum polynomial (IQP) circuits. Using native operations of the code and the atom array hardware, we compile a fault-tolerant and fast-scrambling family of such IQP circuits in a hypercube geometry, realized recently in the experiments by Bluvstein et al. [Nature 626, 7997 (2024)]. We develop a theory of second-moment properties of degree-$D$ IQP circuits for analyzing hardness and verification of random sampling by mapping to a statistical mechanics model. We provide evidence that sampling from hypercube IQP circuits is classically hard to simulate and analyze the linear cross-entropy benchmark (XEB) in comparison to the average fidelity. To realize a fully scalable approach, we first show that Bell sampling from degree-$4$ IQP circuits is classically intractable and can be efficiently validated. We further devise new families of $[[O(d^D),D,d]]$ color codes of increasing distance $d$, permitting exponential error suppression for transversal IQP sampling. Our results highlight fault-tolerant compiling as a powerful tool in co-designing algorithms with specific error-correcting codes and realistic hardware.
△ Less
Submitted 7 March, 2025; v1 submitted 29 April, 2024;
originally announced April 2024.
-
Correlated decoding of logical algorithms with transversal gates
Authors:
Madelyn Cain,
Chen Zhao,
Hengyun Zhou,
Nadine Meister,
J. Pablo Bonilla Ataides,
Arthur Jaffe,
Dolev Bluvstein,
Mikhail D. Lukin
Abstract:
Quantum error correction is believed to be essential for scalable quantum computation, but its implementation is challenging due to its considerable space-time overhead. Motivated by recent experiments demonstrating efficient manipulation of logical qubits using transversal gates (Bluvstein et al., Nature 626, 58-65 (2024)), we show that the performance of logical algorithms can be substantially i…
▽ More
Quantum error correction is believed to be essential for scalable quantum computation, but its implementation is challenging due to its considerable space-time overhead. Motivated by recent experiments demonstrating efficient manipulation of logical qubits using transversal gates (Bluvstein et al., Nature 626, 58-65 (2024)), we show that the performance of logical algorithms can be substantially improved by decoding the qubits jointly to account for error propagation during transversal entangling gates. We find that such correlated decoding improves the performance of both Clifford and non-Clifford transversal entangling gates, and explore two decoders offering different computational runtimes and accuracies. In particular, by leveraging the deterministic propagation of stabilizer measurement errors through transversal Clifford gates, we find that correlated decoding enables the number of noisy syndrome extraction rounds between these gates to be reduced from $O(d)$ to $O(1)$ in Clifford circuits, where $d$ is the code distance. We verify numerically that this approach substantially reduces the space-time cost of deep logical Clifford circuits. These results demonstrate that correlated decoding provides a major advantage in early fault-tolerant computation, as realized in recent experiments, and further indicate it has considerable potential to reduce the space-time cost in large-scale logical algorithms.
△ Less
Submitted 7 April, 2025; v1 submitted 5 March, 2024;
originally announced March 2024.
-
Logical quantum processor based on reconfigurable atom arrays
Authors:
Dolev Bluvstein,
Simon J. Evered,
Alexandra A. Geim,
Sophie H. Li,
Hengyun Zhou,
Tom Manovitz,
Sepehr Ebadi,
Madelyn Cain,
Marcin Kalinowski,
Dominik Hangleiter,
J. Pablo Bonilla Ataides,
Nishad Maskara,
Iris Cong,
Xun Gao,
Pedro Sales Rodriguez,
Thomas Karolyshyn,
Giulia Semeghini,
Michael J. Gullans,
Markus Greiner,
Vladan Vuletic,
Mikhail D. Lukin
Abstract:
Suppressing errors is the central challenge for useful quantum computing, requiring quantum error correction for large-scale processing. However, the overhead in the realization of error-corrected ``logical'' qubits, where information is encoded across many physical qubits for redundancy, poses significant challenges to large-scale logical quantum computing. Here we report the realization of a pro…
▽ More
Suppressing errors is the central challenge for useful quantum computing, requiring quantum error correction for large-scale processing. However, the overhead in the realization of error-corrected ``logical'' qubits, where information is encoded across many physical qubits for redundancy, poses significant challenges to large-scale logical quantum computing. Here we report the realization of a programmable quantum processor based on encoded logical qubits operating with up to 280 physical qubits. Utilizing logical-level control and a zoned architecture in reconfigurable neutral atom arrays, our system combines high two-qubit gate fidelities, arbitrary connectivity, as well as fully programmable single-qubit rotations and mid-circuit readout. Operating this logical processor with various types of encodings, we demonstrate improvement of a two-qubit logic gate by scaling surface code distance from d=3 to d=7, preparation of color code qubits with break-even fidelities, fault-tolerant creation of logical GHZ states and feedforward entanglement teleportation, as well as operation of 40 color code qubits. Finally, using three-dimensional [[8,3,2]] code blocks, we realize computationally complex sampling circuits with up to 48 logical qubits entangled with hypercube connectivity with 228 logical two-qubit gates and 48 logical CCZ gates. We find that this logical encoding substantially improves algorithmic performance with error detection, outperforming physical qubit fidelities at both cross-entropy benchmarking and quantum simulations of fast scrambling. These results herald the advent of early error-corrected quantum computation and chart a path toward large-scale logical processors.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
Circumventing superexponential runtimes for hard instances of quantum adiabatic optimization
Authors:
Benjamin F. Schiffer,
Dominik S. Wild,
Nishad Maskara,
Madelyn Cain,
Mikhail D. Lukin,
Rhine Samajdar
Abstract:
Classical optimization problems can be solved by adiabatically preparing the ground state of a quantum Hamiltonian that encodes the problem. The performance of this approach is determined by the smallest gap encountered during the evolution. Here, we consider the maximum independent set problem, which can be efficiently encoded in the Hamiltonian describing a Rydberg atom array. We present a gener…
▽ More
Classical optimization problems can be solved by adiabatically preparing the ground state of a quantum Hamiltonian that encodes the problem. The performance of this approach is determined by the smallest gap encountered during the evolution. Here, we consider the maximum independent set problem, which can be efficiently encoded in the Hamiltonian describing a Rydberg atom array. We present a general construction of instances of the problem for which the minimum gap decays superexponentially with system size, implying a superexponentially large time to solution via adiabatic evolution. The small gap arises from locally independent choices, which cause the system to initially evolve and localize into a configuration far from the solution in terms of Hamming distance. We investigate remedies to this problem. Specifically, we show that quantum quenches in these models can exhibit signatures of quantum many-body scars, which in turn, can circumvent the superexponential gaps. By quenching from a suboptimal configuration, states with a larger ground state overlap can be prepared, illustrating the utility of quantum quenches as an algorithmic tool.
△ Less
Submitted 22 June, 2023;
originally announced June 2023.
-
Quantum speedup for combinatorial optimization with flat energy landscapes
Authors:
Madelyn Cain,
Sambuddha Chattopadhyay,
Jin-Guo Liu,
Rhine Samajdar,
Hannes Pichler,
Mikhail D. Lukin
Abstract:
Designing quantum algorithms with a speedup over their classical analogs is a central challenge in quantum information science. Motivated by recent experimental observations of a superlinear quantum speedup in solving the Maximum Independent Set problem on certain unit-disk graph instances [Ebadi et al., Science 376, 6598 (2022)], we develop a theoretical framework to analyze the relative performa…
▽ More
Designing quantum algorithms with a speedup over their classical analogs is a central challenge in quantum information science. Motivated by recent experimental observations of a superlinear quantum speedup in solving the Maximum Independent Set problem on certain unit-disk graph instances [Ebadi et al., Science 376, 6598 (2022)], we develop a theoretical framework to analyze the relative performance of the optimized quantum adiabatic algorithm and a broad class of classical Markov chain Monte Carlo algorithms. We outline conditions for the quantum adiabatic algorithm to achieve a quadratic speedup on hard problem instances featuring flat low-energy landscapes and provide example instances with either a quantum speedup or slowdown. We then introduce an additional local Hamiltonian with no sign problem to the optimized adiabatic algorithm to achieve a quadratic speedup over a wide class of classical simulated annealing, parallel tempering, and quantum Monte Carlo algorithms in solving these hard problem instances. Finally, we use this framework to analyze the experimental observations.
△ Less
Submitted 7 July, 2023; v1 submitted 22 June, 2023;
originally announced June 2023.
-
Computing solution space properties of combinatorial optimization problems via generic tensor networks
Authors:
Jin-Guo Liu,
Xun Gao,
Madelyn Cain,
Mikhail D. Lukin,
Sheng-Tao Wang
Abstract:
We introduce a unified framework to compute the solution space properties of a broad class of combinatorial optimization problems. These properties include finding one of the optimum solutions, counting the number of solutions of a given size, and enumeration and sampling of solutions of a given size. Using the independent set problem as an example, we show how all these solution space properties…
▽ More
We introduce a unified framework to compute the solution space properties of a broad class of combinatorial optimization problems. These properties include finding one of the optimum solutions, counting the number of solutions of a given size, and enumeration and sampling of solutions of a given size. Using the independent set problem as an example, we show how all these solution space properties can be computed in the unified approach of generic tensor networks. We demonstrate the versatility of this computational tool by applying it to several examples, including computing the entropy constant for hardcore lattice gases, studying the overlap gap properties, and analyzing the performance of quantum and classical algorithms for finding maximum independent sets.
△ Less
Submitted 23 September, 2022; v1 submitted 7 May, 2022;
originally announced May 2022.
-
Quantum Optimization of Maximum Independent Set using Rydberg Atom Arrays
Authors:
Sepehr Ebadi,
Alexander Keesling,
Madelyn Cain,
Tout T. Wang,
Harry Levine,
Dolev Bluvstein,
Giulia Semeghini,
Ahmed Omran,
Jinguo Liu,
Rhine Samajdar,
Xiu-Zhe Luo,
Beatrice Nash,
Xun Gao,
Boaz Barak,
Edward Farhi,
Subir Sachdev,
Nathan Gemelke,
Leo Zhou,
Soonwon Choi,
Hannes Pichler,
Shengtao Wang,
Markus Greiner,
Vladan Vuletic,
Mikhail D. Lukin
Abstract:
Realizing quantum speedup for practically relevant, computationally hard problems is a central challenge in quantum information science. Using Rydberg atom arrays with up to 289 qubits in two spatial dimensions, we experimentally investigate quantum algorithms for solving the Maximum Independent Set problem. We use a hardware-efficient encoding associated with Rydberg blockade, realize closed-loop…
▽ More
Realizing quantum speedup for practically relevant, computationally hard problems is a central challenge in quantum information science. Using Rydberg atom arrays with up to 289 qubits in two spatial dimensions, we experimentally investigate quantum algorithms for solving the Maximum Independent Set problem. We use a hardware-efficient encoding associated with Rydberg blockade, realize closed-loop optimization to test several variational algorithms, and subsequently apply them to systematically explore a class of graphs with programmable connectivity. We find the problem hardness is controlled by the solution degeneracy and number of local minima, and experimentally benchmark the quantum algorithm's performance against classical simulated annealing. On the hardest graphs, we observe a superlinear quantum speedup in finding exact solutions in the deep circuit regime and analyze its origins.
△ Less
Submitted 18 February, 2022;
originally announced February 2022.
-
Inelastic neutron scattering study of the anisotropic $S = 1$ spin chain [Ni(HF$_2$)(3-Clpyridine)$_4$]BF$_4$
Authors:
Daniel M. Pajerowski,
Jamie L. Manson,
Jacek Herbrych,
Jesper Bendix,
Andrey P. Podlesnyak,
John M. Cain,
Mark W. Meisel
Abstract:
[Ni(HF$_2$)(3-Clpyridine)$_4$]BF$_4$ (NBCT) is a one-dimensional, $S = 1$ spin chain material that shows no magnetic neutron Bragg peaks down temperatures of 0.1 K. Previous work identified NBCT to be in the Haldane phase and near a quantum phase transition as a function of $D/J$ to the large-$D$ quantum paramagnet phase (QPM), where $D$ is the axial single-ion anisotropy and $J$ is the intrachain…
▽ More
[Ni(HF$_2$)(3-Clpyridine)$_4$]BF$_4$ (NBCT) is a one-dimensional, $S = 1$ spin chain material that shows no magnetic neutron Bragg peaks down temperatures of 0.1 K. Previous work identified NBCT to be in the Haldane phase and near a quantum phase transition as a function of $D/J$ to the large-$D$ quantum paramagnet phase (QPM), where $D$ is the axial single-ion anisotropy and $J$ is the intrachain superexchange. Herein, inelastic neutron scattering results are presented on partially deuterated, $^{11}$B enriched NBCT polycrystalline samples in zero magnetic field and down to temperatures of 0.3 K. Comparison to density matrix renormalization group calculations yields $D/J = 1.51$ and a significant rhombic single-ion anisotropy $E$ ($E/D \approx 0.03$, $E/J \approx 0.05$). These $D$, $J$, and $E$ values place NBCT in the large-$D$ QPM phase but precipitously near a quantum phase transition to a long-range ordered phase.
△ Less
Submitted 23 January, 2020;
originally announced January 2020.
-
Engineered spatial inversion symmetry breaking in an oxide heterostructure built from isosymmetric room-temperature magnetically ordered components
Authors:
J. Alaria,
P. Borisov,
M. S. Dyer,
T. D. Manning,
S. Lepadatu,
M. G. Cain,
E. D. Mishina,
N. E. Sherstyuk,
N. A. Ilyin,
J. Hadermann,
D. Lederman,
J. B. Claridge,
M. J. Rosseinsky
Abstract:
The oxide heterostructure [(YFeO$_3$)$_5$(LaFeO$_3$)$_5$]$_{40}$, which is magnetically ordered and piezoelectric at room temperature, has been constructed from two weak ferromagnetic AFeO$_3$ perovskites with different A cations using RHEED-monitored pulsed laser deposition. The polarisation arises through the removal of inversion centres present within the individual AFeO$_3$ components. This sy…
▽ More
The oxide heterostructure [(YFeO$_3$)$_5$(LaFeO$_3$)$_5$]$_{40}$, which is magnetically ordered and piezoelectric at room temperature, has been constructed from two weak ferromagnetic AFeO$_3$ perovskites with different A cations using RHEED-monitored pulsed laser deposition. The polarisation arises through the removal of inversion centres present within the individual AFeO$_3$ components. This symmetry reduction is a result of combining ordering on the A site, imposed by the periodicity of the grown structure, with appropriate orientations of the octahedral tilting characteristic of the perovskite units themselves, according to simple symmetry-controlled rules. The polarisation is robust against A site interdiffusion between the two layers which produces a sinusoidally modulated occupancy that retains the coupling of translational and point symmetries required to produce a polar structure. Magnetization and magneto-optical Kerr rotation measurements show that the heterostructure's magnetic structure is similar to that of the individual components. Evidence of the polarity was obtained from second harmonic generation and piezoelectric force microscopy measurements. Modeling of the piezoresponse allows extraction of $d_{33}$ (approximately 10 pC/N) of the heterostructure, which is in agreement with DFT calculations.
△ Less
Submitted 27 November, 2013;
originally announced November 2013.
