Showing 1–50 of 67 results for author: Cubitt, T

Encodings of Observable Subalgebras

Authors: Maite Arcos, Harriet Apel, Toby Cubitt

Abstract: Simulating complex systems remains an ongoing challenge for classical computers, while being recognised as a task where a quantum computer has a natural advantage. In both digital and analogue quantum simulations the system description is first mapped onto qubits or the physical system of the analogue simulator by an encoding. Previously mathematical definitions and characterisations of encodings… ▽ More Simulating complex systems remains an ongoing challenge for classical computers, while being recognised as a task where a quantum computer has a natural advantage. In both digital and analogue quantum simulations the system description is first mapped onto qubits or the physical system of the analogue simulator by an encoding. Previously mathematical definitions and characterisations of encodings have focused on preserving the full physics of the system. In this work, we consider encodings that only preserve a subset of the observables of the system. We motivate that such encodings are best described as maps between formally real Jordan algebras describing the subset of observables. Our characterisation of encodings is general, but notably holds for maps between finite-dimensional and semisimple $C^{*}$-algebras. Fermionic encodings are a pertinent example where a mathematical characterisation was absent. Our work applies to encodings of the the full CAR algebra, but also to encodings of just the even parity sector, corresponding to the physically relevant fermionic operators. △ Less

Submitted 27 February, 2025; originally announced February 2025.

Fault-Resilience of Dissipative Processes for Quantum Computing

Authors: James Purcell, Abhishek Rajput, Toby Cubitt

Abstract: Dissipative processes have long been proposed as a means of performing computational tasks on quantum computers that may be intrinsically more robust to noise. In this work, we prove two main results concerning the error-resilience capabilities of two types of dissipative algorithms: dissipative ground state preparation in the form of the dissipative quantum eigensolver (DQE), and dissipative quan… ▽ More Dissipative processes have long been proposed as a means of performing computational tasks on quantum computers that may be intrinsically more robust to noise. In this work, we prove two main results concerning the error-resilience capabilities of two types of dissipative algorithms: dissipative ground state preparation in the form of the dissipative quantum eigensolver (DQE), and dissipative quantum computation (DQC). The first result is that under circuit-level depolarizing noise, a version of the DQE algorithm applied to the geometrically local, stabilizer-encoded Hamiltonians that arise naturally when fermionic Hamiltonians are represented in qubits, can suppress the additive error in the ground space overlap of the final output state exponentially in the code distance. This enables us to get closer to fault-tolerance for this task without the associated overhead. In contrast, for computation as opposed to ground state preparation, the second result proves that DQC is no more robust to noise than the standard quantum circuit model. △ Less

Submitted 27 February, 2025; originally announced February 2025.

Myths around quantum computation before full fault tolerance: What no-go theorems rule out and what they don't

Authors: Zoltán Zimborás, Bálint Koczor, Zoë Holmes, Elsi-Mari Borrelli, András Gilyén, Hsin-Yuan Huang, Zhenyu Cai, Antonio Acín, Leandro Aolita, Leonardo Banchi, Fernando G. S. L. Brandão, Daniel Cavalcanti, Toby Cubitt, Sergey N. Filippov, Guillermo García-Pérez, John Goold, Orsolya Kálmán, Elica Kyoseva, Matteo A. C. Rossi, Boris Sokolov, Ivano Tavernelli, Sabrina Maniscalco

Abstract: In this perspective article, we revisit and critically evaluate prevailing viewpoints on the capabilities and limitations of near-term quantum computing and its potential transition toward fully fault-tolerant quantum computing. We examine theoretical no-go results and their implications, addressing misconceptions about the practicality of quantum error mitigation techniques and variational quantu… ▽ More In this perspective article, we revisit and critically evaluate prevailing viewpoints on the capabilities and limitations of near-term quantum computing and its potential transition toward fully fault-tolerant quantum computing. We examine theoretical no-go results and their implications, addressing misconceptions about the practicality of quantum error mitigation techniques and variational quantum algorithms. By emphasizing the nuances of error scaling, circuit depth, and algorithmic feasibility, we highlight viable near-term applications and synergies between error mitigation and early fault-tolerant architectures. Our discussion explores strategies for addressing current challenges, such as barren plateaus in variational circuits and the integration of quantum error mitigation and quantum error correction techniques. We aim to underscore the importance of continued innovation in hardware and algorithmic design to bridge the gap between theoretical potential and practical utility, paving the way for meaningful quantum advantage in the era of late noisy intermediate scale and early fault-tolerant quantum devices. △ Less

Submitted 9 January, 2025; originally announced January 2025.

Comments: Comments welcome

Quantum Phase Estimation without Controlled Unitaries

Authors: Laura Clinton, Toby S. Cubitt, Raul Garcia-Patron, Ashley Montanaro, Stasja Stanisic, Maarten Stroeks

Abstract: In this work we demonstrate the use of adapted classical phase retrieval algorithms to perform control-free quantum phase estimation. We eliminate the costly controlled time evolution and Hadamard test commonly required to access the complex time-series needed to reconstruct the spectrum. This significant reduction of the number of coherent controlled-operations lowers the circuit depth and consid… ▽ More In this work we demonstrate the use of adapted classical phase retrieval algorithms to perform control-free quantum phase estimation. We eliminate the costly controlled time evolution and Hadamard test commonly required to access the complex time-series needed to reconstruct the spectrum. This significant reduction of the number of coherent controlled-operations lowers the circuit depth and considerably simplifies the implementation of statistical quantum phase estimation in near-term devices. This seemingly impossible task can be achieved by extending the problem that one wishes to solve to one with a larger set of input signals while exploiting natural constraints on the signal and/or the spectrum. We leverage well-established algorithms that are widely used in the context of classical signal processing, demonstrating two complementary methods to do this, vectorial phase retrieval and two-dimensional phase retrieval. We numerically investigate the feasibility of both approaches for estimating the spectrum of the Fermi-Hubbard model and discuss their resilience to inherent statistical noise. △ Less

Submitted 30 October, 2024; v1 submitted 28 October, 2024; originally announced October 2024.

Comments: 35 pages, 14 figures

Undecidability in Physics: a Review

Authors: Álvaro Perales-Eceiza, Toby Cubitt, Mile Gu, David Pérez-García, Michael M. Wolf

Abstract: The study of undecidability in problems arising from physics has experienced a renewed interest, mainly in connection with quantum information problems. The goal of this review is to survey this recent development. After a historical introduction, we first explain the necessary results about undecidability in mathematics and computer science. Then we briefly review the first results about undecida… ▽ More The study of undecidability in problems arising from physics has experienced a renewed interest, mainly in connection with quantum information problems. The goal of this review is to survey this recent development. After a historical introduction, we first explain the necessary results about undecidability in mathematics and computer science. Then we briefly review the first results about undecidability in physics which emerged mostly in the 80s and early 90s. Finally we focus on the most recent contributions, which we divide in two main categories: many body systems and quantum information problems. △ Less

Submitted 21 October, 2024; originally announced October 2024.

Comments: 77 pages, v1

Chaitin Phase Transition

Authors: James Purcell, Zhi Li, Toby Cubitt

Abstract: We construct a family of Hamiltonians whose phase diagram is guaranteed to have a single phase transition, yet the location of this phase transition is uncomputable. The Hamiltonians $H(φ)$ describe qudits on a two-dimensional square lattice with translationally invariant, nearest-neighbour interactions tuned by a continuous parameter $φ\in(0,1]$. For all $φ\in(0,1]$, $H(φ)$ is in one of two phase… ▽ More We construct a family of Hamiltonians whose phase diagram is guaranteed to have a single phase transition, yet the location of this phase transition is uncomputable. The Hamiltonians $H(φ)$ describe qudits on a two-dimensional square lattice with translationally invariant, nearest-neighbour interactions tuned by a continuous parameter $φ\in(0,1]$. For all $φ\in(0,1]$, $H(φ)$ is in one of two phases, one a gapless phase, the other a gapped phase. The phase transition occurs when $φ$ equals the Chaitin's constant $Ω$, a well-defined real number that encodes the Halting problem, and hence is uncomputable for Turing machines and undecidable for any consistent recursive axiomatization of mathematics. Our result implies that no general algorithm exists to determine the phase diagrams even under the promise that the phase diagram is exceedingly simple, and illustrates how uncomputable numbers may manifest in physical systems. △ Less

Submitted 3 October, 2024; originally announced October 2024.

Enhancing density functional theory using the variational quantum eigensolver

Authors: Evan Sheridan, Lana Mineh, Raul A. Santos, Toby Cubitt

Abstract: Quantum computers open up new avenues for modelling the physical properties of materials and molecules. Density Functional Theory (DFT) is the gold standard classical algorithm for predicting these properties, but relies on approximations of the unknown universal functional, limiting its general applicability for many fundamental and technologically relevant systems. In this work we develop a hybr… ▽ More Quantum computers open up new avenues for modelling the physical properties of materials and molecules. Density Functional Theory (DFT) is the gold standard classical algorithm for predicting these properties, but relies on approximations of the unknown universal functional, limiting its general applicability for many fundamental and technologically relevant systems. In this work we develop a hybrid quantum/classical algorithm called quantum enhanced DFT (QEDFT) that systematically constructs quantum approximations of the universal functional using data obtained from a quantum computer. We benchmark the QEDFT algorithm on the Fermi-Hubbard model, both numerically and on data from experiments on real quantum hardware. We find that QEDFT surpasses the quality of groundstate results obtained from Hartree-Fock DFT, as well as from direct application of conventional quantum algorithms such as VQE. Furthermore, we demonstrate that QEDFT works even when only noisy, low-depth quantum computation is available, by benchmarking the algorithm on data obtained from Google's quantum computer. We further show how QEDFT also captures quintessential properties of strongly correlated Mott physics for large Fermi-Hubbard systems using functionals generated on much smaller system sizes. Our results indicate that QEDFT can be applied to realistic materials and molecular systems, and has the potential to outperform the direct application of either DFT or VQE alone, without the requirement of large scale or fully fault-tolerant quantum computers. △ Less

Submitted 28 February, 2024; originally announced February 2024.

Security of quantum position-verification limits Hamiltonian simulation via holography

Authors: Harriet Apel, Toby Cubitt, Patrick Hayden, Tamara Kohler, David Pérez-García

Abstract: We investigate the link between quantum position-verification (QPV) and holography established in [MPS19] using holographic quantum error correcting codes as toy models. By inserting the "temporal" scaling of the AdS metric by hand via the bulk Hamiltonian interaction strength, we recover a toy model with consistent causality structure. This leads to an interesting implication between two topics i… ▽ More We investigate the link between quantum position-verification (QPV) and holography established in [MPS19] using holographic quantum error correcting codes as toy models. By inserting the "temporal" scaling of the AdS metric by hand via the bulk Hamiltonian interaction strength, we recover a toy model with consistent causality structure. This leads to an interesting implication between two topics in quantum information: if position-based verification is secure against attacks with small entanglement then there are new fundamental lower bounds for resources required for one Hamiltonian to simulate another. △ Less

Submitted 21 August, 2024; v1 submitted 17 January, 2024; originally announced January 2024.

Comments: (v2: updated presentation)

Journal ref: J. High Energ. Phys. 2024, 152 (2024)

Quantum Error Transmutation

Authors: Daniel Zhang, Toby Cubitt

Abstract: We introduce a generalisation of quantum error correction, relaxing the requirement that a code should identify and correct a set of physical errors on the Hilbert space of a quantum computer exactly, instead allowing recovery up to a pre-specified admissible set of errors on the code space. We call these quantum error transmuting codes. They are of particular interest for the simulation of noisy… ▽ More We introduce a generalisation of quantum error correction, relaxing the requirement that a code should identify and correct a set of physical errors on the Hilbert space of a quantum computer exactly, instead allowing recovery up to a pre-specified admissible set of errors on the code space. We call these quantum error transmuting codes. They are of particular interest for the simulation of noisy quantum systems, and for use in algorithms inherently robust to errors of a particular character. Necessary and sufficient algebraic conditions on the set of physical and admissible errors for error transmutation are derived, generalising the Knill-Laflamme quantum error correction conditions. We demonstrate how some existing codes, including fermionic encodings, have error transmuting properties to interesting classes of admissible errors. Additionally, we report on the existence of some new codes, including low-qubit and translation invariant examples. △ Less

Submitted 16 October, 2023; originally announced October 2023.

Comments: 16 pages, 3 figures

Dissipative Quantum Gibbs Sampling

Authors: Daniel Zhang, Jan Lukas Bosse, Toby Cubitt

Abstract: Systems in thermal equilibrium at non-zero temperature are described by their Gibbs state. For classical many-body systems, the Metropolis-Hastings algorithm gives a Markov process with a local update rule that samples from the Gibbs distribution. For quantum systems, sampling from the Gibbs state is significantly more challenging. Many algorithms have been proposed, but these are more complex tha… ▽ More Systems in thermal equilibrium at non-zero temperature are described by their Gibbs state. For classical many-body systems, the Metropolis-Hastings algorithm gives a Markov process with a local update rule that samples from the Gibbs distribution. For quantum systems, sampling from the Gibbs state is significantly more challenging. Many algorithms have been proposed, but these are more complex than the simple local update rule of classical Metropolis sampling, requiring non-trivial quantum algorithms such as phase estimation as a subroutine. Here, we show that a dissipative quantum algorithm with a simple, local update rule is able to sample from the quantum Gibbs state. In contrast to the classical case, the quantum Gibbs state is not generated by converging to the fixed point of a Markov process, but by the states generated at the stopping time of a conditionally stopped process. This gives a new answer to the long-sought-after quantum analogue of Metropolis sampling. Compared to previous quantum Gibbs sampling algorithms, the local update rule of the process has a simple implementation, which may make it more amenable to near-term implementation on suitable quantum hardware. This dissipative Gibbs sampler works for arbitrary quantum Hamiltonians, without any assumptions on or knowledge of its properties, and comes with certifiable precision and run-time bounds. We also show that the algorithm benefits from some measure of built-in resilience to faults and errors (``fault resilience''). Finally, we also demonstrate how the stopping statistics of an ensemble of runs of the dissipative Gibbs sampler can be used to estimate the partition function. △ Less

Submitted 19 September, 2023; v1 submitted 10 April, 2023; originally announced April 2023.

Comments: 20 pages, 15 Theorems etc. v3: Added result about fault resilience

Dissipative ground state preparation and the Dissipative Quantum Eigensolver

Authors: Toby S. Cubitt

Abstract: For any local Hamiltonian H, I construct a local CPT map and stopping condition which converges to the ground state subspace of H. Like any ground state preparation algorithm, this algorithm necessarily has exponential run-time in general (otherwise BQP=QMA), even for gapped, frustration-free Hamiltonians (otherwise BQP is in NP). However, this dissipative quantum eigensolver has a number of inter… ▽ More For any local Hamiltonian H, I construct a local CPT map and stopping condition which converges to the ground state subspace of H. Like any ground state preparation algorithm, this algorithm necessarily has exponential run-time in general (otherwise BQP=QMA), even for gapped, frustration-free Hamiltonians (otherwise BQP is in NP). However, this dissipative quantum eigensolver has a number of interesting characteristics, which give advantages over previous ground state preparation algorithms. - The entire algorithm consists simply of iterating the same set of local measurements repeatedly. - The expected overlap with the ground state subspace increases monotonically with the length of time this process is allowed to run. - It converges to the ground state subspace unconditionally, without any assumptions on or prior information about the Hamiltonian. - The algorithm does not require any variational optimisation over parameters. - It is often able to find the ground state in low circuit depth in practice. - It has a simple implementation on certain types of quantum hardware, in particular photonic quantum computers. - The process is immune to errors in the initial state. - It is inherently error- and noise-resilient, i.e. to errors during execution of the algorithm and also to faulty implementation of the algorithm itself, without incurring any computational overhead: the overlap of the output with the ground state subspace degrades smoothly with the error rate, independent of the algorithm's run-time. I give rigorous proofs of the above claims, and benchmark the algorithm on some concrete examples numerically. △ Less

Submitted 21 September, 2023; v1 submitted 21 March, 2023; originally announced March 2023.

Comments: 58 pages, 6 tables+figures, 58 theorems etc. v2: Small generalisations and clarifications of results; 63 pages, 5 tables+figures, 62 theorems etc

Fitting time-dependent Markovian dynamics to noisy quantum channels

Authors: Emilio Onorati, Tamara Kohler, Toby S. Cubitt

Abstract: Understanding how to characterise and mitigate errors is a key challenge in developing reliable quantum architecture for near-term applications. Recent work (arXiv:2103.17243) provides an efficient set of algorithms for analysing unknown noise processes requiring only tomographic snapshots of the quantum operator under consideration, without the need of any a-priori information on the noise model,… ▽ More Understanding how to characterise and mitigate errors is a key challenge in developing reliable quantum architecture for near-term applications. Recent work (arXiv:2103.17243) provides an efficient set of algorithms for analysing unknown noise processes requiring only tomographic snapshots of the quantum operator under consideration, without the need of any a-priori information on the noise model, nor necessitating a particular experimental setup. The only assumption made is that the observed channel can be approximated by a time-independent Markovian map, which is a typically reasonable framework when considering short time scales. In this note we lift the time-independent assumption, presenting an extension of the scheme now able to analyse noisy dynamics with time-dependent generators from a sequence of snapshots. We hence provide a diagnostic tool for a wider spectrum of instances while inheriting all the favourable features from the previous protocol. On the theoretical side, the problem of characterising time-dependent Markovian channels has been an open problem for many decades. This work gives an approach to tackle this characterisation problem rigorously. △ Less

Submitted 15 March, 2023; originally announced March 2023.

Comments: 15 pages. arXiv admin note: text overlap with arXiv:2103.17243

A mathematical framework for quantum Hamiltonian simulation and duality

Authors: Harriet Apel, Toby Cubitt

Abstract: Analogue Hamiltonian simulation is a promising near-term application of quantum computing and has recently been put on a theoretical footing. In Hamiltonian simulation, a physical Hamiltonian is engineered to have identical physics to another - often very different - Hamiltonian. This is qualitatively similar to the notion of duality in physics, whereby two superficially different theories are mat… ▽ More Analogue Hamiltonian simulation is a promising near-term application of quantum computing and has recently been put on a theoretical footing. In Hamiltonian simulation, a physical Hamiltonian is engineered to have identical physics to another - often very different - Hamiltonian. This is qualitatively similar to the notion of duality in physics, whereby two superficially different theories are mathematically equivalent in some precise sense. However, existing characterisations of Hamiltonian simulations are not sufficiently general to extend to all dualities in physics. In particular, they cannot encompass the important cases of strong/weak and high-temperature/low-temperature dualities. In this work, we give three physically motivated axiomatisations of duality, formulated respectively in terms of observables, partition functions and entropies. We prove that these axiomatisations are equivalent, and characterise the mathematical form that any duality satisfying these axioms must take. A building block in one of our results is a strengthening of earlier results on entropy-preserving maps to maps that are entropy-preserving up to an additive constant, which we prove decompose as a direct sum of unitary and anti-unitary components, which may be of independent mathematical interest. △ Less

Submitted 26 April, 2024; v1 submitted 25 August, 2022; originally announced August 2022.

Comments: 40 pages. v3: after peer review modifications

Journal ref: Annales Henri Poincaré, 1-48 (April 2024)

Towards near-term quantum simulation of materials

Authors: Laura Clinton, Toby Cubitt, Brian Flynn, Filippo Maria Gambetta, Joel Klassen, Ashley Montanaro, Stephen Piddock, Raul A. Santos, Evan Sheridan

Abstract: Simulation of materials is one of the most promising applications of quantum computers. On near-term hardware the crucial constraint on these simulations is circuit depth. Many quantum simulation algorithms rely on a layer of unitary evolutions generated by each term in a Hamiltonian. This appears in time-dynamics as a single Trotter step, and in variational quantum eigensolvers under the Hamilton… ▽ More Simulation of materials is one of the most promising applications of quantum computers. On near-term hardware the crucial constraint on these simulations is circuit depth. Many quantum simulation algorithms rely on a layer of unitary evolutions generated by each term in a Hamiltonian. This appears in time-dynamics as a single Trotter step, and in variational quantum eigensolvers under the Hamiltonian variational ansatz as a single ansatz layer. We present a new quantum algorithm design for materials modelling where the depth of a layer is independent of the system size. This design takes advantage of the locality of materials in the Wannier basis and employs a tailored fermionic encoding that preserves locality. We analyse the circuit costs of this approach and present a compiler that transforms density functional theory data into quantum circuit instructions -- connecting the physics of the material to the simulation circuit. The compiler automatically optimises circuits at multiple levels, from the base gate level to optimisations derived from the physics of the specific target material. We present numerical results for materials spanning a wide structural and technological range. Our results demonstrate a reduction of many orders of magnitude in circuit depth over standard prior methods that do not consider the structure of the Hamiltonian. For example our results improve resource requirements for Strontium Vanadate (SrVO$_3$) from 864 to 180 qubits for a $3\times3\times3$ lattice, and the circuit depth of a single Trotter or variational layer from $7.5\times 10^8$ to depth $884$. Although this is still beyond current hardware, our results show that materials simulation may be feasible on quantum computers without necessarily requiring scalable, fault-tolerant quantum computers, provided quantum algorithm design incorporates understanding of the materials and applications. △ Less

Submitted 10 November, 2022; v1 submitted 30 May, 2022; originally announced May 2022.

Comments: 94 pages, 38 figures, 13 tables

Journal ref: Nature Communications 15, 211 (2024)

Phase Estimation of Local Hamiltonians on NISQ Hardware

Authors: Laura Clinton, Johannes Bausch, Joel Klassen, Toby Cubitt

Abstract: In this work we investigate a binned version of Quantum Phase Estimation (QPE) set out by [Somma 2019] and known as the Quantum Eigenvalue Estimation Problem (QEEP). Specifically, we determine whether the circuit decomposition techniques we set out in previous work, [Clinton et al 2020], can improve the performance of QEEP in the NISQ regime. To this end we adopt a physically motivated abstraction… ▽ More In this work we investigate a binned version of Quantum Phase Estimation (QPE) set out by [Somma 2019] and known as the Quantum Eigenvalue Estimation Problem (QEEP). Specifically, we determine whether the circuit decomposition techniques we set out in previous work, [Clinton et al 2020], can improve the performance of QEEP in the NISQ regime. To this end we adopt a physically motivated abstraction of NISQ device capabilities as in [Clinton et al 2020]. Within this framework, we find that our techniques reduce the threshold at which it becomes possible to perform the minimum two-bin instance of this algorithm by an order of magnitude. This is for the specific example of a two dimensional spin Fermi-Hubbard model. For example, given a $10\%$ acceptable error on a $3\times 3$ spin Fermi-Hubbard model, with a depolarizing noise rate of $10^{-6}$, we find that the phase estimation protocol of [Somma 2019] could be performed with a bin width of approximately $1/9$ the total spectral range at the circuit depth where traditional gate synthesis methods would yield a bin width that covers the entire spectral range. We explore possible modifications to this protocol and propose an application, which we call Randomized Quantum Eigenvalue Estimation Problem (rQeep). rQeep outputs estimates on the fraction of eigenvalues which lie within randomly chosen bins and upper bounds the total deviation of these estimates from the true values. One use case we envision for this algorithm is resolving density of states features of local Hamiltonians, such as spectral gaps. △ Less

Submitted 26 October, 2021; originally announced October 2021.

Computational Complexity of the Ground State Energy Density Problem

Authors: James D. Watson, Toby S. Cubitt

Abstract: We study the complexity of finding the ground state energy density of a local Hamiltonian on a lattice in the thermodynamic limit of infinite lattice size. We formulate this rigorously as a function problem, in which we request an estimate of the ground state energy density to some specified precision; and as an equivalent promise problem, $\mathsf{GSED}$, in which we ask whether the ground state… ▽ More We study the complexity of finding the ground state energy density of a local Hamiltonian on a lattice in the thermodynamic limit of infinite lattice size. We formulate this rigorously as a function problem, in which we request an estimate of the ground state energy density to some specified precision; and as an equivalent promise problem, $\mathsf{GSED}$, in which we ask whether the ground state energy density is above or below specified thresholds. The ground state energy density problem is unusual, in that it concerns a single, fixed Hamiltonian in the thermodynamic limit, whose ground state energy density is just some fixed, real number. The only input to the computational problem is the precision to which to estimate this fixed real number, corresponding to the ground state energy density. Hardness of this problem for a complexity class therefore implies that the solutions to all problems in the class are encoded in this single number (analogous to Chaitin's constant in computability theory). This captures computationally the type of question most commonly encountered in condensed matter physics, which is typically concerned with the physical properties of a single Hamiltonian in the thermodynamic limit. We show that for classical, translationally invariant, nearest neighbour Hamiltonians on a 2D square lattice, $\mathsf{P}^{\mathsf{NEEXP}}\subseteq\mathsf{EXP}^{\mathsf{GSED}}\subseteq \mathsf{EXP}^{\mathsf{NEXP}}$, and for quantum Hamiltonians $\mathsf{P}^{\mathsf{NEEXP}}\subseteq\mathsf{EXP}^{\mathsf{GSED}}\subseteq \mathsf{EXP}^{\mathsf{QMA}_{EXP}}$. With some technical caveats on the oracle definitions, the $\mathsf{EXP}$ in some of these results can be strengthened to $\mathsf{PSPACE}$. We also give analogous complexity bounds for the function version of $\mathsf{GSED}$. △ Less

Submitted 11 July, 2021; originally announced July 2021.

Comments: Whilst preparing this paper for submission, we became aware of parallel work by Irani & Aharonov on similar topics. See their paper in the same arXiv listing as this one. 57 pages, 6 figures

Holographic duality between local Hamiltonians from random tensor networks

Authors: Harriet Apel, Tamara Kohler, Toby Cubitt

Abstract: The AdS/CFT correspondence realises the holographic principle where information in the bulk of a space is encoded at its border. We are yet a long way from a full mathematical construction of AdS/CFT, but toy models in the form of holographic quantum error correcting codes (HQECC) have replicated some interesting features of the correspondence. In this work we construct new HQECCs built from rando… ▽ More The AdS/CFT correspondence realises the holographic principle where information in the bulk of a space is encoded at its border. We are yet a long way from a full mathematical construction of AdS/CFT, but toy models in the form of holographic quantum error correcting codes (HQECC) have replicated some interesting features of the correspondence. In this work we construct new HQECCs built from random stabilizer tensors that describe a duality between models encompassing local Hamiltonians whilst exactly obeying the Ryu-Takayanagi entropy formula for all boundary regions. We also obtain complementary recovery of local bulk operators for any boundary bipartition. Existing HQECCs have been shown to exhibit these properties individually, whereas our mathematically rigorous toy models capture these features of AdS/CFT simultaneously, advancing further towards a complete construction of holographic duality. △ Less

Submitted 20 April, 2022; v1 submitted 25 May, 2021; originally announced May 2021.

Comments: 42 pages, 4 figures. v4: updated to published version, expanded introduction and new figure demonstrating simulation composition

Journal ref: J. High Energ. Phys. 2022, 52

A Note on the Second Spectral Gap Incompleteness Theorem

Authors: Toby S. Cubitt

Abstract: Pick a formal system. Any formal system. Whatever your favourite formal system is, as long as it's capable of reasoning about elementary arithmetic. The First Spectral Gap Incompleteness Theorem of [CPGW15] proved that there exist Hamiltonians whose spectral gap is independent of that system; your formal system is incapable of proving that the Hamiltonian is gapped, and equally incapable of provin… ▽ More Pick a formal system. Any formal system. Whatever your favourite formal system is, as long as it's capable of reasoning about elementary arithmetic. The First Spectral Gap Incompleteness Theorem of [CPGW15] proved that there exist Hamiltonians whose spectral gap is independent of that system; your formal system is incapable of proving that the Hamiltonian is gapped, and equally incapable of proving that it's gapless. In this note, I prove a Second Spectral Gap Incompleteness Theorem: I show how to explicitly construct, within the formal system, a concrete example of a Hamiltonian whose spectral gap is independent of that system. Just to be sure, I prove this result three times. Once with Gödel's help. Once with Zermelo and Fraenkel's help. And finally, doing away with these high-powered friends, I give a simple, direct argument which reveals the inherent self-referential structure at the heart of these results, by asking the Hamiltonian about its own spectral gap. △ Less

Submitted 20 May, 2021; originally announced May 2021.

Comments: 9 pages, 0 figures, 1 table spoon of humour

Fitting quantum noise models to tomography data

Authors: Emilio Onorati, Tamara Kohler, Toby S. Cubitt

Abstract: The presence of noise is currently one of the main obstacles to achieving large-scale quantum computation. Strategies to characterise and understand noise processes in quantum hardware are a critical part of mitigating it, especially as the overhead of full error correction and fault-tolerance is beyond the reach of current hardware. Non-Markovian effects are a particularly unfavourable type of no… ▽ More The presence of noise is currently one of the main obstacles to achieving large-scale quantum computation. Strategies to characterise and understand noise processes in quantum hardware are a critical part of mitigating it, especially as the overhead of full error correction and fault-tolerance is beyond the reach of current hardware. Non-Markovian effects are a particularly unfavourable type of noise, being both harder to analyse using standard techniques and more difficult to control using error correction. In this work we develop a set of efficient algorithms, based on the rigorous mathematical theory of Markovian master equations, to analyse and evaluate unknown noise processes. In the case of dynamics consistent with Markovian evolution, our algorithm outputs the best-fit Lindbladian, i.e., the generator of a memoryless quantum channel which best approximates the tomographic data to within the given precision. In the case of non-Markovian dynamics, our algorithm returns a quantitative and operationally meaningful measure of non-Markovianity in terms of isotropic noise addition. We provide a Python implementation of all our algorithms, and benchmark these on a range of 1- and 2-qubit examples of synthesised noisy tomography data, generated using the Cirq platform. The numerical results show that our algorithms succeed both in extracting a full description of the best-fit Lindbladian to the measured dynamics, and in computing accurate values of non-Markovianity that match analytical calculations. △ Less

Submitted 29 November, 2023; v1 submitted 31 March, 2021; originally announced March 2021.

Comments: published version, 36 + 24 pages, merging material from arXiv:2303.08936. Code available at: https://gitlab.com/TamaraKohler/non-markovianity

Journal ref: Quantum 7, 1197 (2023)

Uncomputably Complex Renormalisation Group Flows

Authors: James D. Watson, Emilio Onorati, Toby S. Cubitt

Abstract: Renormalisation group (RG) methods provide one of the most important techniques for analysing the physics of many-body systems, both analytically and numerically. By iterating an RG map, which "course-grains" the description of a many-body system and generates a flow in the parameter space, physical properties of interest can be extracted even for complex models. RG analysis also provides an expla… ▽ More Renormalisation group (RG) methods provide one of the most important techniques for analysing the physics of many-body systems, both analytically and numerically. By iterating an RG map, which "course-grains" the description of a many-body system and generates a flow in the parameter space, physical properties of interest can be extracted even for complex models. RG analysis also provides an explanation of physical phenomena such as universality. Many systems exhibit simple RG flows, but more complicated -- even chaotic -- behaviour is also known. Nonetheless, the structure of such RG flows can still be analysed, elucidating the physics of the system, even if specific trajectories may be highly sensitive to the initial point. In contrast, recent work has shown that important physical properties of quantum many-body systems, such as its spectral gap and phase diagram, can be uncomputable. In this work, we show that such undecidable systems exhibit a novel type of RG flow, revealing a qualitatively different and more extreme form of unpredictability than chaotic RG flows. In contrast to chaotic RG flows in which initially close points can diverge exponentially, trajectories under these novel uncomputable RG flows can remain arbitrarily close together for an uncomputable number of iterations, before abruptly diverging to different fixed points that are in separate phases. The structure of such uncomputable RG flows is so complex that it cannot be computed or approximated, even in principle. We give a mathematically rigorous construction of the block-renormalisation-group map for the original undecidable many-body system that appeared in the literature (Cubitt, Pérez-Garcia, Wolf, Nature 528, 207-211 (2015)). We prove that each step of this RG map is computable, and that it converges to the correct fixed points, yet the resulting RG flow is uncomputable. △ Less

Submitted 9 February, 2021; originally announced February 2021.

Comments: 88 pages, 11 figures

Journal ref: Nature Communications 13, 7618 (2022)

General conditions for universality of Quantum Hamiltonians

Authors: Tamara Kohler, Stephen Piddock, Johannes Bausch, Toby Cubitt

Abstract: Recent work has demonstrated the existence of universal Hamiltonians - simple spin lattice models that can simulate any other quantum many body system to any desired level of accuracy. Until now proofs of universality have relied on explicit constructions, tailored to each specific family of universal Hamiltonians. In this work we go beyond this approach, and completely classify the simulation abi… ▽ More Recent work has demonstrated the existence of universal Hamiltonians - simple spin lattice models that can simulate any other quantum many body system to any desired level of accuracy. Until now proofs of universality have relied on explicit constructions, tailored to each specific family of universal Hamiltonians. In this work we go beyond this approach, and completely classify the simulation ability of quantum Hamiltonians by their complexity classes. We do this by deriving necessary and sufficient complexity theoretic conditions characterising universal quantum Hamiltonians. Although the result concerns the theory of analogue Hamiltonian simulation - a promising application of near-term quantum technology - the proof relies on abstract complexity theoretic concepts and the theory of quantum computation. As well as providing simplified proofs of previous Hamiltonian universality results, and offering a route to new universal constructions, the results in this paper give insight into the origins of universality. For example, finally explaining the previously noted coincidences between families of universal Hamiltonian and classes of Hamiltonians appearing in complexity theory. △ Less

Submitted 2 February, 2022; v1 submitted 28 January, 2021; originally announced January 2021.

Comments: 22 pages. V2 - extended discussion, fixing typos

Translationally-Invariant Universal Quantum Hamiltonians in 1D

Authors: Tamara Kohler, Stephen Piddock, Johannes Bausch, Toby Cubitt

Abstract: Recent work has characterised rigorously what it means for one quantum system to simulate another, and demonstrated the existence of universal Hamiltonians -- simple spin lattice Hamiltonians that can replicate the entire physics of any other quantum many body system. Previous universality results have required proofs involving complicated `chains' of perturbative `gadgets'. In this paper, we deri… ▽ More Recent work has characterised rigorously what it means for one quantum system to simulate another, and demonstrated the existence of universal Hamiltonians -- simple spin lattice Hamiltonians that can replicate the entire physics of any other quantum many body system. Previous universality results have required proofs involving complicated `chains' of perturbative `gadgets'. In this paper, we derive a significantly simpler and more powerful method of proving universality of Hamiltonians, directly leveraging the ability to encode quantum computation into ground states. This provides new insight into the origins of universal models, and suggests a deep connection between universality and complexity. We apply this new approach to show that there are universal models even in translationally invariant spin chains in 1D. This gives as a corollary a new Hamiltonian complexity result, that the local Hamiltonian problem for translationally-invariant spin chains in one dimension with an exponentially-small promise gap is PSPACE-complete. Finally, we use these new universal models to construct the first known toy model of 2D--1D holographic duality between local Hamiltonians. △ Less

Submitted 25 October, 2021; v1 submitted 30 March, 2020; originally announced March 2020.

Comments: 31 pages. V2: extended overview of proof written to make paper clearer. This version of the article has been accepted for publication after peer review, but is not the version of record and does not reflect any post acceptance improvements. The version of record is available online at http://dx.doi.org/10.1007/s00023-021-01111-7

Mitigating Errors in Local Fermionic Encodings

Authors: Johannes Bausch, Toby Cubitt, Charles Derby, Joel Klassen

Abstract: Quantum simulations of fermionic many-body systems crucially rely on mappings from indistinguishable fermions to distinguishable qubits. The non-local structure of fermionic Fock space necessitates encodings that either map local fermionic operators to non-local qubit operators, or encode the fermionic representation in a long-range entangled code space. In this latter case, there is an unavoidabl… ▽ More Quantum simulations of fermionic many-body systems crucially rely on mappings from indistinguishable fermions to distinguishable qubits. The non-local structure of fermionic Fock space necessitates encodings that either map local fermionic operators to non-local qubit operators, or encode the fermionic representation in a long-range entangled code space. In this latter case, there is an unavoidable trade-off between two desirable properties of the encoding: low weight representations of local fermionic operators, and a high distance code space. Here it is argued that despite this fundamental limitation, fermionic encodings with low-weight representations of local fermionic operators can still exhibit error mitigating properties which can serve a similar role to that played by high code distances. In particular when undetectable errors correspond to "natural" fermionic noise. We illustrate this point explicitly for two fermionic encodings: the Verstraete-Cirac encoding, and an encoding appearing in concurrent work by Derby and Klassen. In these encodings many, but not all, single-qubit errors can be detected. However we show that the remaining undetectable single-qubit errors map to local, low-weight fermionic phase noise. We argue that such noise is natural for fermionic lattice models. This suggests that even when employing low-weight fermionic encodings, error rates can be suppressed in a similar fashion to high distance codes, provided one is willing to accept simulated natural fermionic noise in their simulated fermionic system. △ Less

Submitted 15 June, 2020; v1 submitted 16 March, 2020; originally announced March 2020.

Comments: 21 pages; v2: minor changes to intro and references

MSC Class: 81Q80; 81V70

Hamiltonian Simulation Algorithms for Near-Term Quantum Hardware

Authors: Laura Clinton, Johannes Bausch, Toby Cubitt

Abstract: The quantum circuit model is the de-facto way of designing quantum algorithms. Yet any level of abstraction away from the underlying hardware incurs overhead. In the era of near-term, noisy, intermediate-scale quantum (NISQ) hardware with severely restricted resources, this overhead may be unjustifiable. In this work, we develop quantum algorithms for Hamiltonian simulation "one level below" the c… ▽ More The quantum circuit model is the de-facto way of designing quantum algorithms. Yet any level of abstraction away from the underlying hardware incurs overhead. In the era of near-term, noisy, intermediate-scale quantum (NISQ) hardware with severely restricted resources, this overhead may be unjustifiable. In this work, we develop quantum algorithms for Hamiltonian simulation "one level below" the circuit model, exploiting the underlying control over qubit interactions available in principle in most quantum hardware implementations. We then analyse the impact of these techniques under the standard error model where errors occur per gate, and an error model with a constant error rate per unit time. To quantify the benefits of this approach, we apply it to a canonical example: time-dynamics simulation of the 2D spin Fermi-Hubbard model. We derive analytic circuit identities for efficiently synthesising multi-qubit evolutions from two-qubit interactions. Combined with new error bounds for Trotter product formulas tailored to the non-asymptotic regime and a careful analysis of error propagation under the aforementioned per-gate and per-time error models, we improve upon the previous best methods for Hamiltonian simulation by multiple orders of magnitude. By our calculations, for a 5$\mathbf\times$5 Fermi-Hubbard lattice we reduce the circuit depth from 800,160 to 1460 in the per-gate error model, or the circuit-depth-equivalent to 440 in the per-time error model. This brings Hamiltonian simulation, previously beyond reach of current hardware for non-trivial examples, significantly closer to being feasible in the NISQ era. △ Less

Submitted 26 August, 2021; v1 submitted 15 March, 2020; originally announced March 2020.

Comments: 63 pages, 21 figures, 3 tables. v2 includes full analysis of algorithm performance under second error model, and new numerical calculations of Trotter error bounds alongside previous analytic bounds v3 is final version

Journal ref: Nat Commun 12, 4989 (2021)

Uncomputability of Phase Diagrams

Authors: Johannes Bausch, Toby S. Cubitt, James D. Watson

Abstract: The phase diagram of a material is of central importance to describe the properties and behaviour of a condensed matter system. We prove that the general task of determining the quantum phase diagram of a many-body Hamiltonian is uncomputable, by explicitly constructing a one-parameter family of Hamiltonians for which this is the case. This work builds off recent results from Cubitt et al. and Bau… ▽ More The phase diagram of a material is of central importance to describe the properties and behaviour of a condensed matter system. We prove that the general task of determining the quantum phase diagram of a many-body Hamiltonian is uncomputable, by explicitly constructing a one-parameter family of Hamiltonians for which this is the case. This work builds off recent results from Cubitt et al. and Bausch et al., proving undecidability of the spectral gap problem. However, in all previous constructions, the Hamiltonian was necessarily a discontinuous function of its parameters, making it difficult to derive rigorous implications for phase diagrams or related condensed matter questions. Our main technical contribution is to prove undecidability of the spectral gap for a continuous, single-parameter family of translationally invariant, nearest-neighbour spin-lattice Hamiltonians on a 2D square lattice: $H(\varphi)$ where $\varphi\in \mathbb R$. As well as implying uncomputablity of phase diagrams, our result also proves that undecidability can hold for a set of positive measure of a Hamiltonian's parameter space, whereas previous results only implied undecidability on a zero measure set. △ Less

Submitted 2 February, 2021; v1 submitted 3 October, 2019; originally announced October 2019.

Comments: 63 pages, 6 figures

MSC Class: 03D35; 68Q17; 81V70; 82B26

Journal ref: Nature Communications 12, 452 (2021)

Toy Models of Holographic Duality between local Hamiltonians

Authors: Tamara Kohler, Toby Cubitt

Abstract: Holographic quantum error correcting codes (HQECC) have been proposed as toy models for the AdS/CFT correspondence, and exhibit many of the features of the duality. HQECC give a mapping of states and observables. However, they do not map local bulk Hamiltonians to local Hamiltonians on the boundary. In this work, we combine HQECC with Hamiltonian simulation theory to construct a bulk-boundary mapp… ▽ More Holographic quantum error correcting codes (HQECC) have been proposed as toy models for the AdS/CFT correspondence, and exhibit many of the features of the duality. HQECC give a mapping of states and observables. However, they do not map local bulk Hamiltonians to local Hamiltonians on the boundary. In this work, we combine HQECC with Hamiltonian simulation theory to construct a bulk-boundary mapping between local Hamiltonians, whilst retaining all the features of the HQECC duality. This allows us to construct a duality between models, encompassing the relationship between bulk and boundary energy scales and time dynamics. It also allows us to construct a map in the reverse direction: from local boundary Hamiltonians to the corresponding local Hamiltonian in the bulk. Under this boundary-to-bulk mapping, the bulk geometry emerges as an approximate, low-energy, effective theory living in the code-space of an (approximate) HQECC on the boundary. At higher energy scales, this emergent bulk geometry is modified in a way that matches the toy models of black holes proposed previously for HQECC. Moreover, the duality on the level of dynamics shows how these toy-model black holes can form dynamically. △ Less

Submitted 30 July, 2019; v1 submitted 21 October, 2018; originally announced October 2018.

Comments: 46 + 14 pages. v2: extended discussion. v3: extended introduction to make proof overview & main results more accessible, minor typos fixed

Journal ref: J. High Energy Phys. 2019:17 (2019)

History-state Hamiltonians are critical

Authors: Carlos E. González-Guillén, Toby S. Cubitt

Abstract: All Hamiltonian complexity results to date have been proven by constructing a local Hamiltonian whose ground state -- or at least some low-energy state -- is a "computational history state", encoding a quantum computation as a superposition over the history of the computation. We prove that all history-state Hamiltonians must be critical. More precisely, for any circuit-to-Hamiltonian mapping that… ▽ More All Hamiltonian complexity results to date have been proven by constructing a local Hamiltonian whose ground state -- or at least some low-energy state -- is a "computational history state", encoding a quantum computation as a superposition over the history of the computation. We prove that all history-state Hamiltonians must be critical. More precisely, for any circuit-to-Hamiltonian mapping that maps quantum circuits to local Hamiltonians with low-energy history states, there is an increasing sequence of circuits that maps to a growing sequence of Hamiltonians with spectral gap closing at least as fast as O(1/n) with the number of qudits n in the circuit. This result holds for very general notions of history state, and also extends to quasi-local Hamiltonians with exponentially-decaying interactions. This suggests that QMA-hardness for gapped Hamiltonians (and also BQP-completeness of adiabatic quantum computation with constant gap) either require techniques beyond history state constructions. Or gapped Hamiltonians cannot be QMA-hard (respectively, BQP-complete). △ Less

Submitted 15 October, 2018; originally announced October 2018.

Comments: 35 pages. See arXiv:1703.10133v2 for related results

Undecidability of the Spectral Gap in One Dimension

Authors: Johannes Bausch, Toby Cubitt, Angelo Lucia, David Perez-Garcia

Abstract: The spectral gap problem - determining whether the energy spectrum of a system has an energy gap above ground state, or if there is a continuous range of low-energy excitations - pervades quantum many-body physics. Recently, this important problem was shown to be undecidable for quantum spin systems in two (or more) spatial dimensions: there exists no algorithm that determines in general whether a… ▽ More The spectral gap problem - determining whether the energy spectrum of a system has an energy gap above ground state, or if there is a continuous range of low-energy excitations - pervades quantum many-body physics. Recently, this important problem was shown to be undecidable for quantum spin systems in two (or more) spatial dimensions: there exists no algorithm that determines in general whether a system is gapped or gapless, a result which has many unexpected consequences for the physics of such systems. However, there are many indications that one dimensional spin systems are simpler than their higher-dimensional counterparts: for example, they cannot have thermal phase transitions or topological order, and there exist highly-effective numerical algorithms such as DMRG - and even provably polynomial-time ones - for gapped 1D systems, exploiting the fact that such systems obey an entropy area-law. Furthermore, the spectral gap undecidability construction crucially relied on aperiodic tilings, which are not possible in 1D. So does the spectral gap problem become decidable in 1D? In this paper we prove this is not the case, by constructing a family of 1D spin chains with translationally-invariant nearest neighbour interactions for which no algorithm can determine the presence of a spectral gap. This not only proves that the spectral gap of 1D systems is just as intractable as in higher dimensions, but also predicts the existence of qualitatively new types of complex physics in 1D spin chains. In particular, it implies there are 1D systems with constant spectral gap and non-degenerate classical ground state for all systems sizes up to an uncomputably large size, whereupon they switch to a gapless behaviour with dense spectrum. △ Less

Submitted 12 June, 2020; v1 submitted 3 October, 2018; originally announced October 2018.

Comments: 7 figures

MSC Class: 03D35; 68Q17; 81V70

Journal ref: Phys. Rev. X 10, 031038 (2020)

Translationally invariant universal classical Hamiltonians

Authors: Tamara Kohler, Toby Cubitt

Abstract: Spin models are widely studied in the natural sciences, from investigating magnetic materials in condensed matter physics to studying neural networks. Previous work has demonstrated that there exist simple classical spin models that are universal: they can replicate -- in a precise and rigorous sense -- the complete physics of any other classical spin model, to any desired accuracy. However, all p… ▽ More Spin models are widely studied in the natural sciences, from investigating magnetic materials in condensed matter physics to studying neural networks. Previous work has demonstrated that there exist simple classical spin models that are universal: they can replicate -- in a precise and rigorous sense -- the complete physics of any other classical spin model, to any desired accuracy. However, all previously known universal models break translational invariance. In this paper we show that there exist translationally invariant universal models. Our main result is an explicit construction of a translationally invariant, 2D, nearest-neighbour, universal classical Hamiltonian with a single free parameter. The proof draws on techniques from theoretical computer science, in particular recent complexity theoretic results on tiling problems. Our results imply that there exists a single Hamiltonian which encompasses all classical spin physics, just by tuning a single parameter and varying the size of the lattice. We also prove that our construction is optimal in terms of the number of parameters in the Hamiltonian; there cannot exist a translationally invariant universal Hamiltonian with only the lattice size as a parameter. △ Less

Submitted 2 May, 2019; v1 submitted 4 July, 2018; originally announced July 2018.

Comments: 38 pages, 3 figures. v2: Extended discussion, simplified overview

Journal ref: J Stat Phys (2019). https://doi.org/10.1007/s10955-019-02295-3

Universal Quantum Hamiltonians

Authors: Toby Cubitt, Ashley Montanaro, Stephen Piddock

Abstract: Quantum many-body systems exhibit an extremely diverse range of phases and physical phenomena. Here, we prove that the entire physics of any other quantum many-body system is replicated in certain simple, "universal" spin-lattice models. We first characterise precisely what it means for one quantum many-body system to replicate the entire physics of another. We then show that certain very simple s… ▽ More Quantum many-body systems exhibit an extremely diverse range of phases and physical phenomena. Here, we prove that the entire physics of any other quantum many-body system is replicated in certain simple, "universal" spin-lattice models. We first characterise precisely what it means for one quantum many-body system to replicate the entire physics of another. We then show that certain very simple spin-lattice models are universal in this very strong sense. Examples include the Heisenberg and XY models on a 2D square lattice (with non-uniform coupling strengths). We go on to fully classify all two-qubit interactions, determining which are universal and which can only simulate more restricted classes of models. Our results put the practical field of analogue Hamiltonian simulation on a rigorous footing and take a significant step towards justifying why error correction may not be required for this application of quantum information technology. △ Less

Submitted 31 May, 2019; v1 submitted 18 January, 2017; originally announced January 2017.

Comments: 78 pages, 9 figures, 44 theorems etc. v2: Trivial fixes. v3: updated and simplified proof of Thm. 9; 82 pages, 47 theorems etc. v3: Small fix in proof of time-evolution lemma (this fix not in published version)

Journal ref: Proc. Natl. Acad. Sci. 115:38 p9497-9502 (2018)

Computability Theory of Closed Timelike Curves

Authors: Scott Aaronson, Mohammad Bavarian, Toby Cubitt, Sabee Grewal, Giulio Gueltrini, Ryan O'Donnell, Marien Raat

Abstract: We study the question of what is computable by Turing machines equipped with time travel into the past; i.e., with Deutschian closed timelike curves (CTCs) having no bound on their width or length. An alternative viewpoint is that we study the complexity of finding approximate fixed points of computable Markov chains and quantum channels of countably infinite dimension. Our main result is that t… ▽ More We study the question of what is computable by Turing machines equipped with time travel into the past; i.e., with Deutschian closed timelike curves (CTCs) having no bound on their width or length. An alternative viewpoint is that we study the complexity of finding approximate fixed points of computable Markov chains and quantum channels of countably infinite dimension. Our main result is that the complexity of these problems is precisely $Δ_2$, the class of languages Turing-reducible to the Halting problem. Establishing this as an upper bound for qubit-carrying CTCs requires recently developed results in the theory of quantum Markov maps. △ Less

Submitted 14 October, 2024; v1 submitted 18 September, 2016; originally announced September 2016.

Comments: 25 pages; v1 contained an erroneous proof of the main theorem (Theorem 10). A correction is given in Theorem 3.3

The Complexity of Translationally-Invariant Spin Chains with Low Local Dimension

Authors: Johannes Bausch, Toby Cubitt, Maris Ozols

Abstract: We prove that estimating the ground state energy of a translationally-invariant, nearest-neighbour Hamiltonian on a 1D spin chain is QMAEXP-complete, even for systems of low local dimension (roughly 40). This is an improvement over the best previously-known result by several orders of magnitude, and it shows that spin-glass-like frustration can occur in translationally-invariant quantum systems wi… ▽ More We prove that estimating the ground state energy of a translationally-invariant, nearest-neighbour Hamiltonian on a 1D spin chain is QMAEXP-complete, even for systems of low local dimension (roughly 40). This is an improvement over the best previously-known result by several orders of magnitude, and it shows that spin-glass-like frustration can occur in translationally-invariant quantum systems with a local dimension comparable to the smallest-known non-translationally-invariant systems with similar behaviour. While previous constructions of such systems rely on standard models of quantum computation, we construct a new model that is particularly well-suited for encoding quantum computation into the ground state of a translationally-invariant system. This allows us to shift the proof burden from optimizing the Hamiltonian encoding a standard computational model to proving universality of a simple model. Previous techniques for encoding quantum computation into the ground state of a local Hamiltonian allow only a linear sequence of gates, hence only a linear (or nearly linear) path in the graph of all computational states. We extend these techniques by allowing significantly more general paths, including branching and cycles, thus enabling a highly efficient encoding of our computational model. However, this requires more sophisticated techniques for analysing the spectrum of the resulting Hamiltonian. To address this, we introduce a framework of graphs with unitary edge labels. After relating our Hamiltonian to the Laplacian of such a unitary labelled graph, we analyse its spectrum by combining matrix analysis and spectral graph theory techniques. △ Less

Submitted 9 September, 2017; v1 submitted 5 May, 2016; originally announced May 2016.

Comments: 69 pages

MSC Class: 68Q17; 81V70; 68Q10

Journal ref: Ann. Henri Poincaré (2017) 18(11), 3449-3513

Comment on "On the uncomputability of the spectral gap"

Authors: Toby S. Cubitt, David Perez-Garcia, Michael M. Wolf

Abstract: The aim of this short note is to clarify some of the claims made in the comparison made in [S. Lloyd, On the uncomputability of the spectral gap, arXiv:1602.05924] between our recent result [T.S. Cubitt, D. Perez-Garcia, M.M. Wolf, Undecidability of the spectral gap, Nature 528, 207-211 (2015), arXiv:1502.04573] and his 1994 paper [S. Lloyd, Necessary and sufficient conditions for quantum computat… ▽ More The aim of this short note is to clarify some of the claims made in the comparison made in [S. Lloyd, On the uncomputability of the spectral gap, arXiv:1602.05924] between our recent result [T.S. Cubitt, D. Perez-Garcia, M.M. Wolf, Undecidability of the spectral gap, Nature 528, 207-211 (2015), arXiv:1502.04573] and his 1994 paper [S. Lloyd, Necessary and sufficient conditions for quantum computation, J. Mod. Opt. 41(12), 2503-2520 (1994)]. △ Less

Submitted 2 March, 2016; originally announced March 2016.

Universal Refocusing of Systematic Quantum Noise

Authors: Imdad S. B. Sardharwalla, Toby S. Cubitt, Aram W. Harrow, Noah Linden

Abstract: Refocusing of a quantum system in NMR and quantum information processing can be achieved by application of short pulses according to the methods of spin echo and dynamical decoupling. However, these methods are strongly limited by the requirement that the evolution of the system between pulses be suitably small. Here we show how refocusing may be achieved for arbitrary (but time-independent) evolu… ▽ More Refocusing of a quantum system in NMR and quantum information processing can be achieved by application of short pulses according to the methods of spin echo and dynamical decoupling. However, these methods are strongly limited by the requirement that the evolution of the system between pulses be suitably small. Here we show how refocusing may be achieved for arbitrary (but time-independent) evolution of the system between pulses. We first illustrate the procedure with one-qubit systems, and then generalize to $d$-dimensional quantum systems. We also give an application of this result to quantum computation, proving a new version of the Solovay-Kitaev theorem that does not require inverse gates. △ Less

Submitted 25 February, 2016; originally announced February 2016.

Report number: MIT/CTP-4772

Fundamental limitations in the purifications of tensor networks

Authors: G. De las Cuevas, T. S. Cubitt, J. I. Cirac, M. M. Wolf, D. Pérez-García

Abstract: We show a fundamental limitation in the description of quantum many-body mixed states with tensor networks in purification form. Namely, we show that there exist mixed states which can be represented as a translationally invariant (TI) matrix product density operator (MPDO) valid for all system sizes, but for which there does not exist a TI purification valid for all system sizes. The proof is bas… ▽ More We show a fundamental limitation in the description of quantum many-body mixed states with tensor networks in purification form. Namely, we show that there exist mixed states which can be represented as a translationally invariant (TI) matrix product density operator (MPDO) valid for all system sizes, but for which there does not exist a TI purification valid for all system sizes. The proof is based on an undecidable problem and on the uniqueness of canonical forms of matrix product states. The result also holds for classical states. △ Less

Submitted 8 July, 2016; v1 submitted 17 December, 2015; originally announced December 2015.

Comments: v1: 11 pages, 1 figure. v2: very minor changes. About to appear in Journal of Mathematical Physics

Journal ref: J. Math. Phys. 57, 071902 (2016)

Size-Driven Quantum Phase Transitions

Authors: Johannes Bausch, Toby S. Cubitt, Angelo Lucia, David Perez-Garcia, Michael M. Wolf

Abstract: Can the properties of the thermodynamic limit of a many-body quantum system be extrapolated by analysing a sequence of finite-size cases? We present a model for which such an approach gives completely misleading results: a translationally invariant, local Hamiltonian on a square lattice with open boundary conditions and constant spectral gap, which has a classical product ground state for all syst… ▽ More Can the properties of the thermodynamic limit of a many-body quantum system be extrapolated by analysing a sequence of finite-size cases? We present a model for which such an approach gives completely misleading results: a translationally invariant, local Hamiltonian on a square lattice with open boundary conditions and constant spectral gap, which has a classical product ground state for all system sizes smaller than a particular threshold size, but a ground state with topological degeneracy for all system sizes larger than this threshold. Starting from a minimal case with spins of dimension 6 and threshold lattice size 15 x 15, we show that the latter grows faster than any computable function with increasing local spin dimension. The resulting effect may be viewed as a new type of quantum phase transition that is driven by the size of the system rather than by an external field or coupling strength. We prove that the construction is thermally robust, opening the possibility that these effects are accessible to experimental observation. △ Less

Submitted 3 February, 2018; v1 submitted 17 December, 2015; originally announced December 2015.

Comments: 20 pages. Final version

MSC Class: 82B10

Journal ref: Proc Natl Acad Sci. 2018 Jan 2;115(1):19-23

Area law for fixed points of rapidly mixing dissipative quantum systems

Authors: Fernando G. S. L. Brandao, Toby S. Cubitt, Angelo Lucia, Spyridon Michalakis, David Perez-Garcia

Abstract: We prove an area law with a logarithmic correction for the mutual information for fixed points of local dissipative quantum system satisfying a rapid mixing condition, under either of the following assumptions: the fixed point is pure, or the system is frustration free. We prove an area law with a logarithmic correction for the mutual information for fixed points of local dissipative quantum system satisfying a rapid mixing condition, under either of the following assumptions: the fixed point is pure, or the system is frustration free. △ Less

Submitted 19 October, 2015; v1 submitted 11 May, 2015; originally announced May 2015.

Comments: 17 pages, 1 figure. Final version

Journal ref: J. Math. Phys. 56, 102202 (2015)

Quantum reverse hypercontractivity

Authors: Toby Cubitt, Michael Kastoryano, Ashley Montanaro, Kristan Temme

Abstract: We develop reverse versions of hypercontractive inequalities for quantum channels. By generalizing classical techniques, we prove a reverse hypercontractive inequality for tensor products of qubit depolarizing channels. We apply this to obtain a rapid mixing result for depolarizing noise applied to large subspaces, and to prove bounds on a quantum generalization of non-interactive correlation dist… ▽ More We develop reverse versions of hypercontractive inequalities for quantum channels. By generalizing classical techniques, we prove a reverse hypercontractive inequality for tensor products of qubit depolarizing channels. We apply this to obtain a rapid mixing result for depolarizing noise applied to large subspaces, and to prove bounds on a quantum generalization of non-interactive correlation distillation. △ Less

Submitted 5 October, 2015; v1 submitted 23 April, 2015; originally announced April 2015.

Comments: 14 pages; v2: minor corrections and clarifications, essentially published version

Journal ref: J. Math. Phys. 56, 102204 (2015)

Undecidability of the Spectral Gap (full version)

Authors: Toby Cubitt, David Perez-Garcia, Michael M. Wolf

Abstract: We show that the spectral gap problem is undecidable. Specifically, we construct families of translationally-invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining whether the system is gapped or gapless is an undecidable problem. This is true even with the promise that each Hamiltonian is either gapped or gapless in the stro… ▽ More We show that the spectral gap problem is undecidable. Specifically, we construct families of translationally-invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining whether the system is gapped or gapless is an undecidable problem. This is true even with the promise that each Hamiltonian is either gapped or gapless in the strongest sense: it is promised to either have continuous spectrum above the ground state in the thermodynamic limit, or its spectral gap is lower-bounded by a constant in the thermodynamic limit. Moreover, this constant can be taken equal to the local interaction strength of the Hamiltonian. △ Less

Submitted 26 July, 2022; v1 submitted 16 February, 2015; originally announced February 2015.

Comments: v1: 146 pages, 56 theorems etc, 15 figs. See shorter companion paper arXiv:1502.04135 for version omitting technical details. v2: Small fix to abstract wording. v3: Simplified and shortened parts of proof. 127p, 55 thms, 10 figs. v4: Minor intro edits. v5: Published version. Adds explanatory pseudo-code for all Turing Machines, and other presentational improvements. 150 pages, 55 thms, 13 figs

Journal ref: Forum of Mathematics, Pi , Volume 10 , 2022 , e14

Undecidability of the Spectral Gap (short version)

Authors: Toby Cubitt, David Perez-Garcia, Michael M. Wolf

Abstract: The spectral gap - the energy difference between the ground state and first excited state - is central to quantum many-body physics. Many challenging open problems, such as the Haldane conjecture, existence of gapped topological spin liquid phases, or the Yang-Mills gap conjecture, concern spectral gaps. These and other problems are particular cases of the general spectral gap problem: given a qua… ▽ More The spectral gap - the energy difference between the ground state and first excited state - is central to quantum many-body physics. Many challenging open problems, such as the Haldane conjecture, existence of gapped topological spin liquid phases, or the Yang-Mills gap conjecture, concern spectral gaps. These and other problems are particular cases of the general spectral gap problem: given a quantum many-body Hamiltonian, is it gapped or gapless? Here we prove that this is an undecidable problem. We construct families of quantum spin systems on a 2D lattice with translationally-invariant, nearest-neighbour interactions for which the spectral gap problem is undecidable. This result extends to undecidability of other low energy properties, such as existence of algebraically decaying ground-state correlations. The proof combines Hamiltonian complexity techniques with aperiodic tilings, to construct a Hamiltonian whose ground state encodes the evolution of a quantum phase-estimation algorithm followed by a universal Turing Machine. The spectral gap depends on the outcome of the corresponding Halting Problem. Our result implies that there exists no algorithm to determine whether an arbitrary model is gapped or gapless. It also implies that there exist models for which the presence or absence of a spectral gap is independent of the axioms of mathematics. △ Less

Submitted 20 July, 2018; v1 submitted 13 February, 2015; originally announced February 2015.

Comments: v2: published version. 7 pages, 3 figures. See long companion paper arXiv:1502.04573 (same title and authors) for full technical details. v3: Added supplementary material as ancilliary file (previously part of arXiv:1502.04573v2)

Journal ref: Nature 528, 207-211 (2015)

The Complexity of Divisibility

Authors: Johannes Bausch, Toby Cubitt

Abstract: We address two sets of long-standing open questions in probability theory, from a computational complexity perspective: divisibility of stochastic maps, and divisibility and decomposability of probability distributions. We prove that finite divisibility of stochastic maps is an NP-complete problem, and extend this result to nonnegative matrices, and completely-positive trace-preserving maps, i.e.… ▽ More We address two sets of long-standing open questions in probability theory, from a computational complexity perspective: divisibility of stochastic maps, and divisibility and decomposability of probability distributions. We prove that finite divisibility of stochastic maps is an NP-complete problem, and extend this result to nonnegative matrices, and completely-positive trace-preserving maps, i.e. the quantum analogue of stochastic maps. We further prove a complexity hierarchy for the divisibility and decomposability of probability distributions, showing that finite distribution divisibility is in P, but decomposability is NP-hard. For the former, we give an explicit polynomial-time algorithm. All results on distributions extend to weak-membership formulations, proving that the complexity of these problems is robust to perturbations. △ Less

Submitted 19 April, 2016; v1 submitted 26 November, 2014; originally announced November 2014.

Comments: 50 pages, 11 figures. Journal-accepted version

MSC Class: 60-08 (Primary); 81Q08; 68Q30 (Secondary) ACM Class: F.2.1; G.3; J.2

Journal ref: Linear Algebra and Its Applications, vol. 504 (2016), pp. 64-107

Rapid mixing and stability of quantum dissipative systems

Authors: Angelo Lucia, Toby S. Cubitt, Spyridon Michalakis, David Pérez-García

Abstract: The physics of many materials is modeled by quantum many-body systems with local interactions. If the model of the system is sensitive to noise from the environment, or small perturbations to the original interactions, it will not properly model the robustness of the real physical system it aims to describe, or be useful when engineering novel systems for quantum information processing. We show th… ▽ More The physics of many materials is modeled by quantum many-body systems with local interactions. If the model of the system is sensitive to noise from the environment, or small perturbations to the original interactions, it will not properly model the robustness of the real physical system it aims to describe, or be useful when engineering novel systems for quantum information processing. We show that local observables and correlation functions of local Liouvillians are stable to local perturbations if the dynamics is rapidly mixing and has a unique fixed point. No other condition is required. △ Less

Submitted 28 April, 2015; v1 submitted 27 September, 2014; originally announced September 2014.

Comments: 5 pages, 1 figure. Final version

Journal ref: Phys. Rev. A 91, 040302 (2015)

Unbounded number of channel uses are required to see quantum capacity

Authors: Toby Cubitt, David Elkouss, William Matthews, Maris Ozols, David Perez-Garcia, Sergii Strelchuk

Abstract: Transmitting data reliably over noisy communication channels is one of the most important applications of information theory, and well understood when the channel is accurately modelled by classical physics. However, when quantum effects are involved, we do not know how to compute channel capacities. The capacity to transmit quantum information is essential to quantum cryptography and computing, b… ▽ More Transmitting data reliably over noisy communication channels is one of the most important applications of information theory, and well understood when the channel is accurately modelled by classical physics. However, when quantum effects are involved, we do not know how to compute channel capacities. The capacity to transmit quantum information is essential to quantum cryptography and computing, but the formula involves maximising the coherent information over arbitrarily many channel uses. This is because entanglement across channel uses can increase the coherent information, even from zero to non-zero! However, in all known examples, at least to detect whether the capacity is non-zero, two channel uses already suffice. Maybe a finite number of channel uses is always sufficient? Here, we show this is emphatically not the case: for any n, there are channels for which the coherent information is zero for n uses, but which nonetheless have capacity. This may be a first indication that the quantum capacity is uncomputable. △ Less

Submitted 21 August, 2014; originally announced August 2014.

Comments: 11 pages, 1 figure

Journal ref: Nat. Commun. 6, 7739 (2015)

Simple universal models capture all classical spin physics

Authors: Gemma De las Cuevas, Toby S. Cubitt

Abstract: Spin models are used in many studies of complex systems---be it condensed matter physics, neural networks, or economics---as they exhibit rich macroscopic behaviour despite their microscopic simplicity. Here we prove that all the physics of every classical spin model is reproduced in the low-energy sector of certain `universal models'. This means that (i) the low energy spectrum of the univers… ▽ More Spin models are used in many studies of complex systems---be it condensed matter physics, neural networks, or economics---as they exhibit rich macroscopic behaviour despite their microscopic simplicity. Here we prove that all the physics of every classical spin model is reproduced in the low-energy sector of certain `universal models'. This means that (i) the low energy spectrum of the universal model reproduces the entire spectrum of the original model to any desired precision, (ii) the corresponding spin configurations of the original model are also reproduced in the universal model, (iii) the partition function is approximated to any desired precision, and (iv) the overhead in terms of number of spins and interactions is at most polynomial. This holds for classical models with discrete or continuous degrees of freedom. We prove necessary and sufficient conditions for a spin model to be universal, and show that one of the simplest and most widely studied spin models, the 2D Ising model with fields, is universal. △ Less

Submitted 14 June, 2016; v1 submitted 23 June, 2014; originally announced June 2014.

Comments: v1: 4 pages with 2 figures (main text) + 4 pages with 3 figures (supplementary info). v2: 12 pages with 3 figures (main text) + 35 pages with 6 figures (supplementary info) (all single column). v2 contains new results and major revisions (results for spin models with continuous degrees of freedom, explicit constructions, examples...). Close to published version. v3: minor typo corrected

Journal ref: Science 351, 1180-1183 (2016)

An Information-Theoretic Proof of the Constructive Commutative Quantum Lovász Local Lemma

Authors: Martin Schwarz, Toby S. Cubitt, Frank Verstraete

Abstract: The Quantum Lovász Local Lemma (QLLL) [AKS12] establishes non-constructively that any quantum system constrained by a local Hamiltonian has a zero-energy ground state, if the local Hamiltonian terms overlap only in a certain restricted way. In this paper, we present an efficient quantum algorithm to prepare this ground state for the special case of commuting projector terms. The related classical… ▽ More The Quantum Lovász Local Lemma (QLLL) [AKS12] establishes non-constructively that any quantum system constrained by a local Hamiltonian has a zero-energy ground state, if the local Hamiltonian terms overlap only in a certain restricted way. In this paper, we present an efficient quantum algorithm to prepare this ground state for the special case of commuting projector terms. The related classical problem has been open for more than 34 years. Our algorithm follows the breakthrough ideas of Moser's [Moser09] classical algorithm and lifts his information theoretic argument to the quantum setting. A similar result has been independently published by Arad and Sattath [AS13] recently. △ Less

Submitted 25 November, 2013; originally announced November 2013.

Comments: 7 pages, 9 pages appendix

Complexity classification of local Hamiltonian problems

Authors: Toby Cubitt, Ashley Montanaro

Abstract: The calculation of ground-state energies of physical systems can be formalised as the k-local Hamiltonian problem, which is the natural quantum analogue of classical constraint satisfaction problems. One way of making the problem more physically meaningful is to restrict the Hamiltonian in question by picking its terms from a fixed set S. Examples of such special cases are the Heisenberg and Ising… ▽ More The calculation of ground-state energies of physical systems can be formalised as the k-local Hamiltonian problem, which is the natural quantum analogue of classical constraint satisfaction problems. One way of making the problem more physically meaningful is to restrict the Hamiltonian in question by picking its terms from a fixed set S. Examples of such special cases are the Heisenberg and Ising models from condensed-matter physics. In this work we characterise the complexity of this problem for all 2-local qubit Hamiltonians. Depending on the subset S, the problem falls into one of the following categories: in P; NP-complete; polynomial-time equivalent to the Ising model with transverse magnetic fields; or QMA-complete. The third of these classes has been shown to be StoqMA-complete by Bravyi and Hastings. The characterisation holds even if S does not contain any 1-local terms; for example, we prove for the first time QMA-completeness of the Heisenberg and XY interactions in this setting. If S is assumed to contain all 1-local terms, which is the setting considered by previous work, we have a characterisation that goes beyond 2-local interactions: for any constant k, all k-local qubit Hamiltonians whose terms are picked from a fixed set S correspond to problems either in P; polynomial-time equivalent to the Ising model with transverse magnetic fields; or QMA-complete. These results are a quantum analogue of Schaefer's dichotomy theorem for boolean constraint satisfaction problems. △ Less

Submitted 27 March, 2016; v1 submitted 13 November, 2013; originally announced November 2013.

Comments: 50 pages; v5: essentially published version

Bounds on entanglement assisted source-channel coding via the Lovasz theta number and its variants

Authors: Toby Cubitt, Laura Mancinska, David Roberson, Simone Severini, Dan Stahlke, Andreas Winter

Abstract: We study zero-error entanglement assisted source-channel coding (communication in the presence of side information). Adapting a technique of Beigi, we show that such coding requires existence of a set of vectors satisfying orthogonality conditions related to suitably defined graphs $G$ and $H$. Such vectors exist if and only if $\vartheta(\overline{G}) \le \vartheta(\overline{H})$ where… ▽ More We study zero-error entanglement assisted source-channel coding (communication in the presence of side information). Adapting a technique of Beigi, we show that such coding requires existence of a set of vectors satisfying orthogonality conditions related to suitably defined graphs $G$ and $H$. Such vectors exist if and only if $\vartheta(\overline{G}) \le \vartheta(\overline{H})$ where $\vartheta$ represents the Lovász number. We also obtain similar inequalities for the related Schrijver $\vartheta^-$ and Szegedy $\vartheta^+$ numbers. These inequalities reproduce several known bounds and also lead to new results. We provide a lower bound on the entanglement assisted cost rate. We show that the entanglement assisted independence number is bounded by the Schrijver number: $α^*(G) \le \vartheta^-(G)$. Therefore, we are able to disprove the conjecture that the one-shot entanglement-assisted zero-error capacity is equal to the integer part of the Lovász number. Beigi introduced a quantity $β$ as an upper bound on $α^*$ and posed the question of whether $β(G) = \lfloor \vartheta(G) \rfloor$. We answer this in the affirmative and show that a related quantity is equal to $\lceil \vartheta(G) \rceil$. We show that a quantity $χ_{\textrm{vect}}(G)$ recently introduced in the context of Tsirelson's conjecture is equal to $\lceil \vartheta^+(\overline{G}) \rceil$. In an appendix we investigate multiplicativity properties of Schrijver's and Szegedy's numbers, as well as projective rank. △ Less

Submitted 7 August, 2014; v1 submitted 26 October, 2013; originally announced October 2013.

Comments: Fixed proof of multiplicativity; more connections to prior work in conclusion; many changes in exposition

Journal ref: IEEE Trans. Inf. Theory 60(11):7330-7344 (2014)

Stability of local quantum dissipative systems

Authors: Toby S. Cubitt, Angelo Lucia, Spyridon Michalakis, David Perez-Garcia

Abstract: Open quantum systems weakly coupled to the environment are modeled by completely positive, trace preserving semigroups of linear maps. The generators of such evolutions are called Lindbladians. In the setting of quantum many-body systems on a lattice it is natural to consider Lindbladians that decompose into a sum of local interactions with decreasing strength with respect to the size of their sup… ▽ More Open quantum systems weakly coupled to the environment are modeled by completely positive, trace preserving semigroups of linear maps. The generators of such evolutions are called Lindbladians. In the setting of quantum many-body systems on a lattice it is natural to consider Lindbladians that decompose into a sum of local interactions with decreasing strength with respect to the size of their support. For both practical and theoretical reasons, it is crucial to estimate the impact that perturbations in the generating Lindbladian, arising as noise or errors, can have on the evolution. These local perturbations are potentially unbounded, but constrained to respect the underlying lattice structure. We show that even for polynomially decaying errors in the Lindbladian, local observables and correlation functions are stable if the unperturbed Lindbladian has a unique fixed point and a mixing time which scales logarithmically with the system size. The proof relies on Lieb-Robinson bounds, which describe a finite group velocity for propagation of information in local systems. As a main example, we prove that classical Glauber dynamics is stable under local perturbations, including perturbations in the transition rates which may not preserve detailed balance. △ Less

Submitted 28 April, 2015; v1 submitted 19 March, 2013; originally announced March 2013.

Comments: 38 pages, 3 figures. Final version

Journal ref: Communications in Mathematical Physics: Volume 337, Issue 3 (2015), Page 1275-1315

Preparing topological PEPS on a quantum computer

Authors: Martin Schwarz, Toby S. Cubitt, Kristan Temme, Frank Verstraete, David Perez-Garcia

Abstract: Simulating of exotic phases of matter that are not amenable to classical techniques is one of the most important potential applications of quantum information processing. We present an efficient algorithm for preparing a large class of topological quantum states -- the G-injective Projected Entangled Pair States (PEPS) -- on a quantum computer. Important examples include the resonant valence bond… ▽ More Simulating of exotic phases of matter that are not amenable to classical techniques is one of the most important potential applications of quantum information processing. We present an efficient algorithm for preparing a large class of topological quantum states -- the G-injective Projected Entangled Pair States (PEPS) -- on a quantum computer. Important examples include the resonant valence bond (RVB) states, conjectured to be topological spin liquids. The runtime of the algorithm scales polynomially with the condition number of the PEPS projectors, and inverse-polynomially in the spectral gap of the PEPS parent Hamiltonian. △ Less

Submitted 16 November, 2012; originally announced November 2012.

Comments: 7 pages, 2 figures, REVTeX format

Journal ref: Physical Review A 88, 032321 (2013)

A constructive commutative quantum Lovasz Local Lemma, and beyond

Authors: Toby S. Cubitt, Martin Schwarz

Abstract: The recently proven Quantum Lovasz Local Lemma generalises the well-known Lovasz Local Lemma. It states that, if a collection of subspace constraints are "weakly dependent", there necessarily exists a state satisfying all constraints. It implies e.g. that certain instances of the kQSAT quantum satisfiability problem are necessarily satisfiable, or that many-body systems with "not too many" interac… ▽ More The recently proven Quantum Lovasz Local Lemma generalises the well-known Lovasz Local Lemma. It states that, if a collection of subspace constraints are "weakly dependent", there necessarily exists a state satisfying all constraints. It implies e.g. that certain instances of the kQSAT quantum satisfiability problem are necessarily satisfiable, or that many-body systems with "not too many" interactions are always frustration-free. However, the QLLL only asserts existence; it says nothing about how to find the state. Inspired by Moser's breakthrough classical results, we present a constructive version of the QLLL in the setting of commuting constraints, proving that a simple quantum algorithm converges efficiently to the required state. In fact, we provide two different proofs, one using a novel quantum coupling argument, the other a more explicit combinatorial analysis. Both proofs are independent of the QLLL. So these results also provide independent, constructive proofs of the commutative QLLL itself, but strengthen it significantly by giving an efficient algorithm for finding the state whose existence is asserted by the QLLL. We give an application of the constructive commutative QLLL to convergence of CP maps. We also extend these results to the non-commutative setting. However, our proof of the general constructive QLLL relies on a conjecture which we are only able to prove in special cases. △ Less

Submitted 27 November, 2013; v1 submitted 6 December, 2011; originally announced December 2011.

Comments: 43 pages, 2 conjectures, no figures; unresolved gap in the proof; see arXiv:1311.6474 or arXiv:1310.7766 for correct proofs of the symmetric case