01778nas a2200157 4500008004100000245006400041210006300105260001400168520129800182100001301480700002201493700001901515700002401534700002501558856003701583 2023 eng d00aImproved Digital Quantum Simulation by Non-Unitary Channels0 aImproved Digital Quantum Simulation by NonUnitary Channels c7/24/20233 a
Simulating quantum systems is one of the most promising avenues to harness the computational power of quantum computers. However, hardware errors in noisy near-term devices remain a major obstacle for applications. Ideas based on the randomization of Suzuki-Trotter product formulas have been shown to be a powerful approach to reducing the errors of quantum simulation and lowering the gate count. In this paper, we study the performance of non-unitary simulation channels and consider the error structure of channels constructed from a weighted average of unitary circuits. We show that averaging over just a few simulation circuits can significantly reduce the Trotterization error for both single-step short-time and multi-step long-time simulations. We focus our analysis on two approaches for constructing circuit ensembles for averaging: (i) permuting the order of the terms in the Hamiltonian and (ii) applying a set of global symmetry transformations. We compare our analytical error bounds to empirical performance and show that empirical error reduction surpasses our analytical estimates in most cases. Finally, we test our method on an IonQ trapped-ion quantum computer accessed via the Amazon Braket cloud platform, and benchmark the performance of the averaging approach.
1 aGong, W.1 aKharkov, Yaroslav1 aTran, Minh, C.1 aBienias, Przemyslaw1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2307.1302801610nas a2200157 4500008004100000245005000041210005000091260001300141490000800154520116900162100002401331700001901355700001901374700002201393856003701415 2023 eng d00aShadow process tomography of quantum channels0 aShadow process tomography of quantum channels c4/4/20230 v1073 aQuantum process tomography is a critical capability for building quantum computers, enabling quantum networks, and understanding quantum sensors. Like quantum state tomography, the process tomography of an arbitrary quantum channel requires a number of measurements that scale exponentially in the number of quantum bits affected. However, the recent field of shadow tomography, applied to quantum states, has demonstrated the ability to extract key information about a state with only polynomially many measurements. In this work, we apply the concepts of shadow state tomography to the challenge of characterizing quantum processes. We make use of the Choi isomorphism to directly apply rigorous bounds from shadow state tomography to shadow process tomography, and we find additional bounds on the number of measurements that are unique to process tomography. Our results, which include algorithms for implementing shadow process tomography enable new techniques including evaluation of channel concatenation and the application of channels to shadows of quantum states. This provides a dramatic improvement for understanding large-scale quantum systems.
1 aKunjummen, Jonathan1 aTran, Minh, C.1 aCarney, Daniel1 aTaylor, Jacob, M. uhttps://arxiv.org/abs/2110.0362901670nas a2200145 4500008004100000245008900041210006900130260001500199520119300214100002001407700001601427700001901443700002501462856003701487 2021 eng d00aClustering of steady-state correlations in open systems with long-range interactions0 aClustering of steadystate correlations in open systems with long c10/28/20213 aLieb-Robinson bounds are powerful analytical tools for constraining the dynamic and static properties of non-relativistic quantum systems. Recently, a complete picture for closed systems that evolve unitarily in time has been achieved. In experimental systems, however, interactions with the environment cannot generally be ignored, and the extension of Lieb-Robinson bounds to dissipative systems which evolve non-unitarily in time remains an open challenge. In this work, we prove two Lieb-Robinson bounds that constrain the dynamics of open quantum systems with long-range interactions that decay as a power-law in the distance between particles. Using a combination of these Lieb-Robinson bounds and mixing bounds which arise from "reversibility" -- naturally satisfied for thermal environments -- we prove the clustering of correlations in the steady states of open quantum systems with long-range interactions. Our work provides an initial step towards constraining the steady-state entanglement structure for a broad class of experimental platforms, and we highlight several open directions regarding the application of Lieb-Robinson bounds to dissipative systems.
1 aGuo, Andrew, Y.1 aLieu, Simon1 aTran, Minh, C.1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2110.1536801880nas a2200169 4500008004100000022001400041245006100055210006100116260001400177490000600191520140600197100001901603700001301622700001901635700001901654856003701673 2021 eng d a2691-339900aFaster Digital Quantum Simulation by Symmetry Protection0 aFaster Digital Quantum Simulation by Symmetry Protection c2/14/20210 v23 aSimulating the dynamics of quantum systems is an important application of quantum computers and has seen a variety of implementations on current hardware. We show that by introducing quantum gates implementing unitary transformations generated by the symmetries of the system, one can induce destructive interference between the errors from different steps of the simulation, effectively giving faster quantum simulation by symmetry protection. We derive rigorous bounds on the error of a symmetry-protected simulation algorithm and identify conditions for optimal symmetry protection. In particular, when the symmetry transformations are chosen as powers of a unitary, the error of the algorithm is approximately projected to the so-called quantum Zeno subspaces. We prove a bound on this approximation error, exponentially improving a recent result of Burgarth, Facchi, Gramegna, and Pascazio. We apply our technique to the simulations of the XXZ Heisenberg interactions with local disorder and the Schwinger model in quantum field theory. For both systems, our algorithm can reduce the simulation error by several orders of magnitude over the unprotected simulation. Finally, we provide numerical evidence suggesting that our technique can also protect simulation against other types of coherent, temporally correlated errors, such as the 1/f noise commonly found in solid-state experiments.
1 aTran, Minh, C.1 aSu, Yuan1 aCarney, Daniel1 aTaylor, J., M. uhttps://arxiv.org/abs/2006.1624801198nas a2200169 4500008004100000245006000041210005400101260001400155520069100169100001900860700002000879700002900899700002000928700002500948700001800973856003700991 2021 eng d00aThe Lieb-Robinson light cone for power-law interactions0 aLiebRobinson light cone for powerlaw interactions c3/29/20213 aThe Lieb-Robinson theorem states that information propagates with a finite velocity in quantum systems on a lattice with nearest-neighbor interactions. What are the speed limits on information propagation in quantum systems with power-law interactions, which decay as 1/rα at distance r? Here, we present a definitive answer to this question for all exponents α>2d and all spatial dimensions d. Schematically, information takes time at least rmin{1,α−2d} to propagate a distance~r. As recent state transfer protocols saturate this bound, our work closes a decades-long hunt for optimal Lieb-Robinson bounds on quantum information dynamics with power-law interactions.
1 aTran, Minh, C.1 aGuo, Andrew, Y.1 aBaldwin, Christopher, L.1 aEhrenberg, Adam1 aGorshkov, Alexey, V.1 aLucas, Andrew uhttps://arxiv.org/abs/2103.1582802331nas a2200181 4500008004100000245005200041210005200093260001300145300000700158490000700165520185000172100002302022700001302045700001902058700001802077700001702095856003702112 2021 eng d00aTheory of Trotter Error with Commutator Scaling0 aTheory of Trotter Error with Commutator Scaling c2/1/2021 a490 v113 aThe Lie-Trotter formula, together with its higher-order generalizations, provides a direct approach to decomposing the exponential of a sum of operators. Despite significant effort, the error scaling of such product formulas remains poorly understood. We develop a theory of Trotter error that overcomes the limitations of prior approaches based on truncating the Baker-Campbell-Hausdorff expansion. Our analysis directly exploits the commutativity of operator summands, producing tighter error bounds for both real- and imaginary-time evolutions. Whereas previous work achieves similar goals for systems with geometric locality or Lie-algebraic structure, our approach holds in general. We give a host of improved algorithms for digital quantum simulation and quantum Monte Carlo methods, including simulations of second-quantized plane-wave electronic structure, k-local Hamiltonians, rapidly decaying power-law interactions, clustered Hamiltonians, the transverse field Ising model, and quantum ferromagnets, nearly matching or even outperforming the best previous results. We obtain further speedups using the fact that product formulas can preserve the locality of the simulated system. Specifically, we show that local observables can be simulated with complexity independent of the system size for power-law interacting systems, which implies a Lieb-Robinson bound as a byproduct. Our analysis reproduces known tight bounds for first- and second-order formulas. Our higher-order bound overestimates the complexity of simulating a one-dimensional Heisenberg model with an even-odd ordering of terms by only a factor of 5, and is close to tight for power-law interactions and other orderings of terms. This suggests that our theory can accurately characterize Trotter error in terms of both asymptotic scaling and constant prefactor.
1 aChilds, Andrew, M.1 aSu, Yuan1 aTran, Minh, C.1 aWiebe, Nathan1 aZhu, Shuchen uhttps://arxiv.org/abs/1912.0885401561nas a2200169 4500008004100000245007300041210006900114260001300183490000800196520105300204100001901257700001701276700001301293700002301306700002501329856003701354 2020 eng d00aDestructive Error Interference in Product-Formula Lattice Simulation0 aDestructive Error Interference in ProductFormula Lattice Simulat c6/4/20200 v1243 aQuantum computers can efficiently simulate the dynamics of quantum systems. In this paper, we study the cost of digitally simulating the dynamics of several physically relevant systems using the first-order product formula algorithm. We show that the errors from different Trotterization steps in the algorithm can interfere destructively, yielding a much smaller error than previously estimated. In particular, we prove that the total error in simulating a nearest-neighbor interacting system of n sites for time t using the first-order product formula with r time slices is O(nt/r+nt3/r2) when nt2/r is less than a small constant. Given an error tolerance ε, the error bound yields an estimate of max{O(n2t/ε),O(n2t3/2/ε1/2)} for the total gate count of the simulation. The estimate is tighter than previous bounds and matches the empirical performance observed in Childs et al. [PNAS 115, 9456-9461 (2018)]. We also provide numerical evidence for potential improvements and conjecture an even tighter estimate for the gate count.
1 aTran, Minh, C.1 aChu, Su-Kuan1 aSu, Yuan1 aChilds, Andrew, M.1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/1912.1104702312nas a2200217 4500008004100000245006500041210006400106260001400170490000700184520168700191100001901878700001901897700002001916700002001936700002301956700001601979700001901995700002502014700001802039856003702057 2020 eng d00aHierarchy of linear light cones with long-range interactions0 aHierarchy of linear light cones with longrange interactions c5/29/20200 v103 aIn quantum many-body systems with local interactions, quantum information and entanglement cannot spread outside of a "linear light cone," which expands at an emergent velocity analogous to the speed of light. Yet most non-relativistic physical systems realized in nature have long-range interactions: two degrees of freedom separated by a distance r interact with potential energy V(r)∝1/rα. In systems with long-range interactions, we rigorously establish a hierarchy of linear light cones: at the same α, some quantum information processing tasks are constrained by a linear light cone while others are not. In one spatial dimension, commutators of local operators 〈ψ|[Ox(t),Oy]|ψ〉 are negligible in every state |ψ〉 when |x−y|≳vt, where v is finite when α>3 (Lieb-Robinson light cone); in a typical state |ψ〉 drawn from the infinite temperature ensemble, v is finite when α>52 (Frobenius light cone); in non-interacting systems, v is finite in every state when α>2 (free light cone). These bounds apply to time-dependent systems and are optimal up to subalgebraic improvements. Our theorems regarding the Lieb-Robinson and free light cones, and their tightness, also generalize to arbitrary dimensions. We discuss the implications of our bounds on the growth of connected correlators and of topological order, the clustering of correlations in gapped systems, and the digital simulation of systems with long-range interactions. In addition, we show that quantum state transfer and many-body quantum chaos are bounded by the Frobenius light cone, and therefore are poorly constrained by all Lieb-Robinson bounds.
1 aTran, Minh, C.1 aChen, Chi-Fang1 aEhrenberg, Adam1 aGuo, Andrew, Y.1 aDeshpande, Abhinav1 aHong, Yifan1 aGong, Zhe-Xuan1 aGorshkov, Alexey, V.1 aLucas, Andrew uhttps://arxiv.org/abs/2001.1150901333nas a2200157 4500008004100000245008800041210006900129260001400198520082100212100001901033700002301052700002001075700001801095700002501113856003701138 2020 eng d00aOptimal state transfer and entanglement generation in power-law interacting systems0 aOptimal state transfer and entanglement generation in powerlaw i c10/6/20203 aWe present an optimal protocol for encoding an unknown qubit state into a multiqubit Greenberger-Horne-Zeilinger-like state and, consequently, transferring quantum information in large systems exhibiting power-law (1/rα) interactions. For all power-law exponents α between d and 2d+1, where d is the dimension of the system, the protocol yields a polynomial speedup for α>2d and a superpolynomial speedup for α≤2d, compared to the state of the art. For all α>d, the protocol saturates the Lieb-Robinson bounds (up to subpolynomial corrections), thereby establishing the optimality of the protocol and the tightness of the bounds in this regime. The protocol has a wide range of applications, including in quantum sensing, quantum computing, and preparation of topologically ordered states.
1 aTran, Minh, C.1 aDeshpande, Abhinav1 aGuo, Andrew, Y.1 aLucas, Andrew1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2010.0293001772nas a2200169 4500008004100000245006700041210006600108260001300174490000800187520126400195100002001459700001901479700002301498700002501521700001901546856003701565 2020 eng d00aSignaling and Scrambling with Strongly Long-Range Interactions0 aSignaling and Scrambling with Strongly LongRange Interactions c7/8/20200 v1023 aStrongly long-range interacting quantum systems---those with interactions decaying as a power-law 1/rα in the distance r on a D-dimensional lattice for α≤D---have received significant interest in recent years. They are present in leading experimental platforms for quantum computation and simulation, as well as in theoretical models of quantum information scrambling and fast entanglement creation. Since no notion of locality is expected in such systems, a general understanding of their dynamics is lacking. As a first step towards rectifying this problem, we prove two new Lieb-Robinson-type bounds that constrain the time for signaling and scrambling in strongly long-range interacting systems, for which no tight bounds were previously known. Our first bound applies to systems mappable to free-particle Hamiltonians with long-range hopping, and is saturable for α≤D/2. Our second bound pertains to generic long-range interacting spin Hamiltonians, and leads to a tight lower bound for the signaling time to extensive subsets of the system for all α<D. This result also lower-bounds the scrambling time, and suggests a path towards achieving a tight scrambling bound that can prove the long-standing fast scrambling conjecture.
1 aGuo, Andrew, Y.1 aTran, Minh, C.1 aChilds, Andrew, M.1 aGorshkov, Alexey, V.1 aGong, Zhe-Xuan uhttps://arxiv.org/abs/1906.0266201697nas a2200169 4500008004100000245008100041210006900122260001500191520115700206100002001363700002301383700001901406700002001425700002001445700002501465856003701490 2019 eng d00aComplexity phase diagram for interacting and long-range bosonic Hamiltonians0 aComplexity phase diagram for interacting and longrange bosonic H c06/10/20193 aRecent years have witnessed a growing interest in topics at the intersection of many-body physics and complexity theory. Many-body physics aims to understand and classify emergent behavior of systems with a large number of particles, while complexity theory aims to classify computational problems based on how the time required to solve the problem scales as the problem size becomes large. In this work, we use insights from complexity theory to classify phases in interacting many-body systems. Specifically, we demonstrate a "complexity phase diagram" for the Bose-Hubbard model with long-range hopping. This shows how the complexity of simulating time evolution varies according to various parameters appearing in the problem, such as the evolution time, the particle density, and the degree of locality. We find that classification of complexity phases is closely related to upper bounds on the spread of quantum correlations, and protocols to transfer quantum information in a controlled manner. Our work motivates future studies of complexity in many-body systems and its interplay with the associated physical phenomena.
1 aMaskara, Nishad1 aDeshpande, Abhinav1 aTran, Minh, C.1 aEhrenberg, Adam1 aFefferman, Bill1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/1906.0417801741nas a2200205 4500008004100000245007000041210006900111260001500180490000600195520112800201100001901329700002001348700001301368700002401381700002201405700002301427700002301450700002501473856003701498 2019 eng d00aLocality and digital quantum simulation of power-law interactions0 aLocality and digital quantum simulation of powerlaw interactions c07/10/20190 v93 aThe propagation of information in non-relativistic quantum systems obeys a speed limit known as a Lieb-Robinson bound. We derive a new Lieb-Robinson bound for systems with interactions that decay with distance r as a power law, 1/rα. The bound implies an effective light cone tighter than all previous bounds. Our approach is based on a technique for approximating the time evolution of a system, which was first introduced as part of a quantum simulation algorithm by Haah et al. [arXiv:1801.03922]. To bound the error of the approximation, we use a known Lieb-Robinson bound that is weaker than the bound we establish. This result brings the analysis full circle, suggesting a deep connection between Lieb-Robinson bounds and digital quantum simulation. In addition to the new Lieb-Robinson bound, our analysis also gives an error bound for the Haah et al. quantum simulation algorithm when used to simulate power-law decaying interactions. In particular, we show that the gate count of the algorithm scales with the system size better than existing algorithms when α>3D (where D is the number of dimensions).
1 aTran, Minh, C.1 aGuo, Andrew, Y.1 aSu, Yuan1 aGarrison, James, R.1 aEldredge, Zachary1 aFoss-Feig, Michael1 aChilds, Andrew, M.1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/1808.0522501621nas a2200181 4500008004100000245007900041210006900120260001500189490000800204520106600212100001901278700002001297700002001317700001701337700002301354700002501377856003701402 2019 eng d00aLocality and Heating in Periodically Driven, Power-law Interacting Systems0 aLocality and Heating in Periodically Driven Powerlaw Interacting c2019/11/120 v1003 aWe study the heating time in periodically driven D-dimensional systems with interactions that decay with the distance r as a power-law 1/rα. Using linear response theory, we show that the heating time is exponentially long as a function of the drive frequency for α>D. For systems that may not obey linear response theory, we use a more general Magnus-like expansion to show the existence of quasi-conserved observables, which imply exponentially long heating time, for α>2D. We also generalize a number of recent state-of-the-art Lieb-Robinson bounds for power-law systems from two-body interactions to k-body interactions and thereby obtain a longer heating time than previously established in the literature. Additionally, we conjecture that the gap between the results from the linear response theory and the Magnus-like expansion does not have physical implications, but is, rather, due to the lack of tight Lieb-Robinson bounds for power-law interactions. We show that the gap vanishes in the presence of a hypothetical, tight bound.
1 aTran, Minh, C.1 aEhrenberg, Adam1 aGuo, Andrew, Y.1 aTitum, Paraj1 aAbanin, Dmitry, A.1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/1908.0277301296nas a2200157 4500008004100000245005600041210005600097260001500153520081900168100001900987700002801006700002101034700002601055700002001081856003701101 2018 eng d00aBell monogamy relations in arbitrary qubit networks0 aBell monogamy relations in arbitrary qubit networks c2018/01/093 aCharacterizing trade-offs between simultaneous violations of multiple Bell inequalities in a large network of qubits is computationally demanding. We propose a graph-theoretic approach to efficiently produce Bell monogamy relations in arbitrary arrangements of qubits. All the relations obtained for bipartite Bell inequalities are tight and leverage only a single Bell monogamy relation. This feature is unique to bipartite Bell inequalities, as we show that there is no finite set of such elementary monogamy relations for multipartite inequalities. Nevertheless, many tight monogamy relations for multipartite inequalities can be obtained with our method as shown in explicit examples.
1 aTran, Minh, C.1 aRamanathan, Ravishankar1 aMcKague, Matthew1 aKaszlikowski, Dagomir1 aPaterek, Tomasz uhttps://arxiv.org/abs/1801.0307101515nas a2200121 4500008004100000245006500041210006500106260001500171520113200186100001901318700001901337856003701356 2018 eng d00aBlind quantum computation using the central spin Hamiltonian0 aBlind quantum computation using the central spin Hamiltonian c2018/01/113 aBlindness is a desirable feature in delegated computation. In the classical setting, blind computations protect the data or even the program run by a server. In the quantum regime, blind computing may also enable testing computational or other quantum properties of the server system. Here we propose a scheme for universal blind quantum computation using a quantum simulator capable of emulating Heisenberg-like Hamiltonians. Our scheme is inspired by the central spin Hamiltonian in which a single spin controls dynamics of a number of bath spins. We show how, by manipulating this spin, a client that only accesses the central spin can effectively perform blind computation on the bath spins. Remarkably, two-way quantum communication mediated by the central spin is sufficient to ensure security in the scheme. Finally, we provide explicit examples of how our universal blind quantum computation enables verification of the power of the server from classical to stabilizer to full BQP computation.
1 aTran, Minh, C.1 aTaylor, J., M. uhttps://arxiv.org/abs/1801.0400612409nas a2200169 45000080041000002450055000412100055000963000047001514900008001985201188600206100002312092700002012115700001912135700002312154700002512177856003712202 2018 eng d00aDynamical phase transitions in sampling complexity0 aDynamical phase transitions in sampling complexity a12 pages, 4 figures. v3: published version0 v1213 aWe make the case for studying the complexity of approximately simulating (sampling) quantum systems for reasons beyond that of quantum computational supremacy, such as diagnosing phase transitions. We consider the sampling complexity as a function of time
A genuinely N-partite entangled state may display vanishing N-partite correlations measured for arbitrary local observables. In such states the genuine entanglement is noticeable solely in correlations between subsets of particles. A straightforward way to obtain such states for odd N is to design an “antistate” in which all correlations between an odd number of observers are exactly opposite. Evenly mixing a state with its antistate then produces a mixed state with no N-partite correlations, with many of them genuinely multiparty entangled. Intriguingly, all known examples of “entanglement without correlations” involve an odd number of particles. Here we further develop the idea of antistates, thereby shedding light on the different properties of even and odd particle systems. We conjecture that there is no antistate to any pure even-N-party entangled state making the simple construction scheme unfeasible. However, as we prove by construction, higher-rank examples of entanglement without correlations for arbitrary even N indeed exist. These classes of states exhibit genuine entanglement and even violate an N-partite Bell inequality, clearly demonstrating the nonclassical features of these states as well as showing their applicability for quantum information processing.
1 aTran, Minh, C.1 aZuppardo, Margherita1 ade Rosier, Anna1 aKnips, Lukas1 aLaskowski, Wieslaw1 aPaterek, Tomasz1 aWeinfurter, Harald uhttps://journals.aps.org/pra/abstract/10.1103/PhysRevA.95.06233101058nas a2200133 4500008004100000245007000041210006800111520062100179100001900800700002400819700001900843700002500862856003700887 2017 eng d00aLieb-Robinson bounds on n-partite connected correlation functions0 aLiebRobinson bounds on npartite connected correlation functions3 aLieb and Robinson provided bounds on how fast bipartite connected correlations can arise in systems with only short-range interactions. We generalize Lieb-Robinson bounds on bipartite connected correlators to multipartite connected correlators. The bounds imply that an n-partite connected correlator can reach unit value in constant time. Remarkably, the bounds also allow for an n-partite connected correlator to reach a value that is exponentially large with system size in constant time, a feature which stands in contrast to bipartite connected correlations. We provide explicit examples of such systems.
1 aTran, Minh, C.1 aGarrison, James, R.1 aGong, Zhe-Xuan1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/1705.0435504237nas a2200157 4500008004100000245006100041210005900102260001500161490000700176520377200183100001903955700002403974700001903998700002504017856003704042 2017 eng d00aLieb-Robinson bounds on n-partite connected correlations0 aLiebRobinson bounds on npartite connected correlations c2017/11/270 v963 aLieb and Robinson provided bounds on how fast bipartite connected correlations can arise in systems with only short-range interactions. We generalize Lieb-Robinson bounds on bipartite connected correlators to multipartite connected correlators. The bounds imply that an
Large quantum simulators, with sufficiently many qubits to be impossible to simulate classically, become hard to experimentally validate. We propose two tests of a quantum simulator with Heisenberg interaction in a linear chain of spins. In the first, we propagate half of a singlet state through a chain of spin with a ferromagnetic interaction and subsequently recover the state with an antiferromagnetic interaction. The antiferromagnetic interaction is intrinsic to the system while the ferromagnetic one can be simulated by a sequence of time-dependent controls of the antiferromagnetic interaction and Suzuki-Trotter approximations. In the second test, we use the same technique to transfer a spin singlet state from one end of a spin chain to the other. We show that the tests are robust against parametric errors in operation of the simulator and may be applicable even without error correction.
1 aWang, Yiping1 aTran, Minh, C.1 aTaylor, J., M. uhttps://arxiv.org/abs/1712.05282