-
Applications and resource estimates for open system simulation on a quantum computer
Authors:
Evgeny Mozgunov
Abstract:
We study applications of a fully controllable open system quantum simulator. A universal quantum computer can realize such a simulator, and some classical methods can also approximate it. We introduce two concrete computational problems, such that finding their solution would have direct scientific or industrial utility. The scientific utility is exemplified by a computation of nonequilibrium beha…
▽ More
We study applications of a fully controllable open system quantum simulator. A universal quantum computer can realize such a simulator, and some classical methods can also approximate it. We introduce two concrete computational problems, such that finding their solution would have direct scientific or industrial utility. The scientific utility is exemplified by a computation of nonequilibrium behavior of Ca$_3$Co$_2$O$_6$, which has been studied in the costly MagLab experiments. Specifically, an order of \$2M per material can be saved if an affordable quantum computer simulation is used to screen the materials before sending them to MagLab. For industrial utility, we develop a methodology that allows researchers of various backgrounds to estimate the economic value of an emerging technology consistently. We then apply our approach to the applications of materials with a Metal-Insulator Transition. These materials have not been used commercially yet, but many potential applications, including alternative transistors, neuromorphic computing, and smart windows, amount in total to \$20M for the entire material search performed on a quantum computer. We provide zeroth-order resource estimates for both algorithms on superconducting qubit hardware, finding that simulating long-lifetime nonequilibrium effects presents a new challenge for quantum simulators. Finally, we introduce planted solution problems and their obfuscated versions to test the capabilities of the future quantum device. The intended use of those problems is to match the size of application benchmarks so that solving one guarantees the ability to solve the other.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
Precision of quantum simulation of all-to-all coupling in a local architecture
Authors:
Evgeny Mozgunov
Abstract:
We present a simple 2d local circuit that implements all-to-all interactions via perturbative gadgets. We find an analytic relation between the values $J_{ij}$ of the desired interaction and the parameters of the 2d circuit, as well as the expression for the error in the quantum spectrum. For the relative error to be a constant $ε$, one requires an energy scale growing as $n^6$ in the number of qu…
▽ More
We present a simple 2d local circuit that implements all-to-all interactions via perturbative gadgets. We find an analytic relation between the values $J_{ij}$ of the desired interaction and the parameters of the 2d circuit, as well as the expression for the error in the quantum spectrum. For the relative error to be a constant $ε$, one requires an energy scale growing as $n^6$ in the number of qubits, or equivalently a control precision up to $ n^{-6}$. Our proof is based on the Schrieffer-Wolff transformation and generalizes to any hardware. In the architectures available today, $5$ digits of control precision are sufficient for $n=40,~ ε=0.1$. Comparing our construction, known as paramagnetic trees, to ferromagnetic chains used in minor embedding, we find that at chain length $>3$ the performance of minor embedding degrades exponentially with the length of the chain, while our construction experiences only a polynomial decrease.
△ Less
Submitted 5 February, 2023;
originally announced February 2023.
-
Dissipative Landau-Zener tunneling: crossover from weak to strong environment coupling
Authors:
X. Dai,
R. Trappen,
H. Chen,
D. Melanson,
M. A. Yurtalan,
D. M. Tennant,
A. J. Martinez,
Y. Tang,
E. Mozgunov,
J. Gibson,
J. A. Grover,
S. M. Disseler,
J. I. Basham,
S. Novikov,
R. Das,
A. J. Melville,
B. M. Niedzielski,
C. F. Hirjibehedin,
K. Serniak,
S. J. Weber,
J. L. Yoder,
W. D. Oliver,
K. M. Zick,
D. A. Lidar,
A. Lupascu
Abstract:
Landau-Zener (LZ) tunneling, describing transitions in a two-level system during a sweep through an anti-crossing, is a model applicable to a wide range of physical phenomena, such as atomic collisions, chemical reactions, and molecular magnets, and has been extensively studied theoretically and experimentally. Dissipation due to coupling between the system and environment is an important factor i…
▽ More
Landau-Zener (LZ) tunneling, describing transitions in a two-level system during a sweep through an anti-crossing, is a model applicable to a wide range of physical phenomena, such as atomic collisions, chemical reactions, and molecular magnets, and has been extensively studied theoretically and experimentally. Dissipation due to coupling between the system and environment is an important factor in determining the transition rates. Here we report experimental results on the dissipative LZ transition. Using a tunable superconducting flux qubit, we observe for the first time the crossover from weak to strong coupling to the environment. The weak coupling limit corresponds to small system-environment coupling and leads to environment-induced thermalization. In the strong coupling limit, environmental excitations dress the system and transitions occur between the dressed states. Our results confirm previous theoretical studies of dissipative LZ tunneling in the weak and strong coupling limits. Our results for the intermediate regime are novel and could stimulate further theoretical development of open system dynamics. This work provides insight into the role of open system effects on quantum annealing, which employs quantum tunneling to search for low-energy solutions to hard computational problems.
△ Less
Submitted 5 July, 2022;
originally announced July 2022.
-
Demonstration of long-range correlations via susceptibility measurements in a one-dimensional superconducting Josephson spin chain
Authors:
Daniel M. Tennant,
Xi Dai,
Antonio J. Martinez,
Robbyn Trappen,
Denis Melanson,
M A. Yurtalan,
Yongchao Tang,
Salil Bedkihal,
Rui Yang,
Sergei Novikov,
Jeffery A. Grover,
Steven M. Disseler,
James I. Basham,
Rabindra Das,
David K. Kim,
Alexander J. Melville,
Bethany M. Niedzielski,
Steven J. Weber,
Jonilyn L. Yoder,
Andrew J. Kerman,
Evgeny Mozgunov,
Daniel A. Lidar,
Adrian Lupascu
Abstract:
Spin chains have long been considered an effective medium for long-range interactions, entanglement generation, and quantum state transfer. In this work, we explore the properties of a spin chain implemented with superconducting flux circuits, designed to act as a connectivity medium between two superconducting qubits. The susceptibility of the chain is probed and shown to support long-range, cros…
▽ More
Spin chains have long been considered an effective medium for long-range interactions, entanglement generation, and quantum state transfer. In this work, we explore the properties of a spin chain implemented with superconducting flux circuits, designed to act as a connectivity medium between two superconducting qubits. The susceptibility of the chain is probed and shown to support long-range, cross chain correlations. In addition, interactions between the two end qubits, mediated by the coupler chain, are demonstrated. This work has direct applicability in near term quantum annealing processors as a means of generating long-range, coherent coupling between qubits.
△ Less
Submitted 9 November, 2021; v1 submitted 8 November, 2021;
originally announced November 2021.
-
Quantum adiabatic theorem for unbounded Hamiltonians with a cutoff and its application to superconducting circuits
Authors:
Evgeny Mozgunov,
Daniel A. Lidar
Abstract:
We present a new quantum adiabatic theorem that allows one to rigorously bound the adiabatic timescale for a variety of systems, including those described by unbounded Hamiltonians. Our bound is geared towards the qubit approximation of superconducting circuits, and presents a sufficient condition for remaining within the $2^n$-dimensional qubit subspace of a circuit model of $n$ qubits. The novel…
▽ More
We present a new quantum adiabatic theorem that allows one to rigorously bound the adiabatic timescale for a variety of systems, including those described by unbounded Hamiltonians. Our bound is geared towards the qubit approximation of superconducting circuits, and presents a sufficient condition for remaining within the $2^n$-dimensional qubit subspace of a circuit model of $n$ qubits. The novelty of this adiabatic theorem is that unlike previous rigorous results, it does not contain $2^n$ as a factor in the adiabatic timescale, and it allows one to obtain an expression for the adiabatic timescale independent of the cutoff of the infinite-dimensional Hilbert space of the circuit Hamiltonian. As an application, we present an explicit dependence of this timescale on circuit parameters for a superconducting flux qubit, and demonstrate that leakage out of the qubit subspace is inevitable as the tunnelling barrier is raised towards the end of a quantum anneal. We also discuss a method of obtaining a $2^n\times 2^n$ effective Hamiltonian that best approximates the true dynamics induced by slowly changing circuit control parameters.
△ Less
Submitted 5 December, 2022; v1 submitted 16 November, 2020;
originally announced November 2020.
-
Completely positive master equation for arbitrary driving and small level spacing
Authors:
Evgeny Mozgunov,
Daniel Lidar
Abstract:
Markovian master equations are a ubiquitous tool in the study of open quantum systems, but deriving them from first principles involves a series of compromises. On the one hand, the Redfield equation is valid for fast environments (whose correlation function decays much faster than the system relaxation time) regardless of the relative strength of the coupling to the system Hamiltonian, but is not…
▽ More
Markovian master equations are a ubiquitous tool in the study of open quantum systems, but deriving them from first principles involves a series of compromises. On the one hand, the Redfield equation is valid for fast environments (whose correlation function decays much faster than the system relaxation time) regardless of the relative strength of the coupling to the system Hamiltonian, but is notoriously non-completely-positive. On the other hand, the Davies equation preserves complete positivity but is valid only in the ultra-weak coupling limit and for systems with a finite level spacing, which makes it incompatible with arbitrarily fast time-dependent driving. Here we show that a recently derived Markovian coarse-grained master equation (CGME), already known to be completely positive, has a much expanded range of applicability compared to the Davies equation, and moreover, is locally generated and can be generalized to accommodate arbitrarily fast driving. This generalization, which we refer to as the time-dependent CGME, is thus suitable for the analysis of fast operations in gate-model quantum computing, such as quantum error correction and dynamical decoupling. Our derivation proceeds directly from the Redfield equation and allows us to place rigorous error bounds on all three equations: Redfield, Davies, and coarse-grained. Our main result is thus a completely positive Markovian master equation that is a controlled approximation to the true evolution for any time-dependence of the system Hamiltonian, and works for systems with arbitrarily small level spacing. We illustrate this with an analysis showing that dynamical decoupling can extend coherence times even in a strictly Markovian setting.
△ Less
Submitted 30 January, 2020; v1 submitted 2 August, 2019;
originally announced August 2019.
-
Spectral gaps of frustration-free spin systems with boundary
Authors:
Marius Lemm,
Evgeny Mozgunov
Abstract:
In quantum many-body systems, the existence of a spectral gap above the ground state has far-reaching consequences. In this paper, we discuss "finite-size" criteria for having a spectral gap in frustration-free spin systems and their applications. We extend a criterion that was originally developed for periodic systems by Knabe and Gosset-Mozgunov to systems with a boundary. Our finite-size criter…
▽ More
In quantum many-body systems, the existence of a spectral gap above the ground state has far-reaching consequences. In this paper, we discuss "finite-size" criteria for having a spectral gap in frustration-free spin systems and their applications. We extend a criterion that was originally developed for periodic systems by Knabe and Gosset-Mozgunov to systems with a boundary. Our finite-size criterion says that if the spectral gaps at linear system size $n$ exceed an explicit threshold of order $n^{-3/2}$, then the whole system is gapped. The criterion takes into account both "bulk gaps" and "edge gaps" of the finite system in a precise way. The $n^{-3/2}$ scaling is robust: it holds in 1D and 2D systems, on arbitrary lattices and with arbitrary finite-range interactions. One application of our results is to give a rigorous foundation to the folklore that 2D frustration-free models cannot host chiral edge modes (whose finite-size spectral gap would scale like $n^{-1}$).
△ Less
Submitted 3 May, 2019; v1 submitted 26 January, 2018;
originally announced January 2018.
-
Area law in the exact solution of many-body localized systems
Authors:
Evgeny Mozgunov
Abstract:
Many-body localization was proven under realistic assumptions by constructing a quasi-local unitary rotation that diagonalizes the Hamiltonian (Imbrie, 2016). A natural generalization is to consider all unitaries that have a similar structure. We bound entanglement for states generated by such unitaries, thus providing an independent proof of area law in eigenstates of many-body localized systems.…
▽ More
Many-body localization was proven under realistic assumptions by constructing a quasi-local unitary rotation that diagonalizes the Hamiltonian (Imbrie, 2016). A natural generalization is to consider all unitaries that have a similar structure. We bound entanglement for states generated by such unitaries, thus providing an independent proof of area law in eigenstates of many-body localized systems. An error of approximating the unitary by a finite-depth local circuit is obtained. We connect the defined family of unitaries to other results about many-body localization (Kim et al, 2014), in particular Lieb-Robinson bound. Finally we argue that any Hamiltonian can be diagonalized by such a unitary, given it has a slow enough logarithmic lightcone in its Lieb-Robinson bound.
△ Less
Submitted 27 August, 2017;
originally announced August 2017.
-
Local Master Equation for Small Temperatures
Authors:
Evgeny Mozgunov
Abstract:
We present a local Master equation for open system dynamics in two forms: Markovian and non-Markovian. Both have a wider range of validity than the Lindblad equation investigated by Davies. For low temperatures, they do not require coupling to be exponentially weak in the system size. If the state remains a low bond dimension Matrix Product State throughout the evolution, the local equation can be…
▽ More
We present a local Master equation for open system dynamics in two forms: Markovian and non-Markovian. Both have a wider range of validity than the Lindblad equation investigated by Davies. For low temperatures, they do not require coupling to be exponentially weak in the system size. If the state remains a low bond dimension Matrix Product State throughout the evolution, the local equation can be simulated in time polynomial in system size.
△ Less
Submitted 13 November, 2016;
originally announced November 2016.
-
Local gap threshold for frustration-free spin systems
Authors:
David Gosset,
Evgeny Mozgunov
Abstract:
We improve Knabe's spectral gap bound for frustration-free translation-invariant local Hamiltonians in 1D. The bound is based on a relationship between global and local gaps. The global gap is the spectral gap of a size-$m$ chain with periodic boundary conditions, while the local gap is that of a subchain of size $n<m$ with open boundary conditions. Knabe proved that if the local gap is larger tha…
▽ More
We improve Knabe's spectral gap bound for frustration-free translation-invariant local Hamiltonians in 1D. The bound is based on a relationship between global and local gaps. The global gap is the spectral gap of a size-$m$ chain with periodic boundary conditions, while the local gap is that of a subchain of size $n<m$ with open boundary conditions. Knabe proved that if the local gap is larger than the threshold value $1/(n-1)$ for some $n>2$, then the global gap is lower bounded by a positive constant in the thermodynamic limit $m\rightarrow \infty$. Here we improve the threshold to $\frac{6}{n(n+1)}$, which is better (smaller) for all $n>3$ and which is asymptotically optimal. As a corollary we establish a surprising fact about 1D translation-invariant frustration-free systems that are gapless in the thermodynamic limit: for any such system the spectral gap of a size-$n$ chain with open boundary conditions is upper bounded as $O(n^{-2})$. This contrasts with gapless frustrated systems where the gap can be $Θ(n^{-1})$. It also limits the extent to which the area law is violated in these frustration-free systems, since it implies that the half-chain entanglement entropy is $O(1/\sqrtε)$ as a function of spectral gap $ε$. We extend our results to frustration-free systems on a 2D square lattice.
△ Less
Submitted 30 November, 2015;
originally announced December 2015.
-
Excitation spectrum of a 2D long-range Bose-liquid with a supersymmetry
Authors:
E. V. Mozgunov,
M. V. Feigel'man
Abstract:
We have studied excitation spectrum of the specfic 2D model of strongly interacting Bose particles via map** of the many-body Schrodinger equation in imaginary time to the classical stochastic dynamics. In a broad range of coupling strength $α$ a roton-like spectrum is found, with the roton gap being extremely small in natural units. A single quantum phase transition between strongly correlated…
▽ More
We have studied excitation spectrum of the specfic 2D model of strongly interacting Bose particles via map** of the many-body Schrodinger equation in imaginary time to the classical stochastic dynamics. In a broad range of coupling strength $α$ a roton-like spectrum is found, with the roton gap being extremely small in natural units. A single quantum phase transition between strongly correlated supefluid and quantum Berezinsky crystal is found.
△ Less
Submitted 2 December, 2010;
originally announced December 2010.