-
Quantum computational advantage with constant-temperature Gibbs sampling
Authors:
Thiago Bergamaschi,
Chi-Fang Chen,
Yunchao Liu
Abstract:
A quantum system coupled to a bath at some fixed, finite temperature converges to its Gibbs state. This thermalization process defines a natural, physically-motivated model of quantum computation. However, whether quantum computational advantage can be achieved within this realistic physical setup has remained open, due to the challenge of finding systems that thermalize quickly, but are classical…
▽ More
A quantum system coupled to a bath at some fixed, finite temperature converges to its Gibbs state. This thermalization process defines a natural, physically-motivated model of quantum computation. However, whether quantum computational advantage can be achieved within this realistic physical setup has remained open, due to the challenge of finding systems that thermalize quickly, but are classically intractable. Here we consider sampling from the measurement outcome distribution of quantum Gibbs states at constant temperatures, and prove that this task demonstrates quantum computational advantage. We design a family of commuting almost-local Hamiltonians (parent Hamiltonians of shallow quantum circuits) and prove that they rapidly converge to their Gibbs states under the standard physical model of thermalization (as a continuous-time quantum Markov chain). On the other hand, we show that no polynomial time classical algorithm can sample from the measurement outcome distribution by reducing to the classical hardness of sampling from noiseless shallow quantum circuits. The key step in the reduction is constructing a fault-tolerance scheme for shallow IQP circuits against input noise.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
On Split-State Quantum Tamper Detection and Non-Malleability
Authors:
Thiago Bergamaschi,
Naresh Goud Boddu
Abstract:
Tamper-detection codes (TDCs) and non-malleable codes (NMCs) are now fundamental objects at the intersection of cryptography and coding theory. Both of these primitives represent natural relaxations of error-correcting codes and offer related security guarantees in adversarial settings where error correction is impossible. While in a TDC, the decoder is tasked with either recovering the original m…
▽ More
Tamper-detection codes (TDCs) and non-malleable codes (NMCs) are now fundamental objects at the intersection of cryptography and coding theory. Both of these primitives represent natural relaxations of error-correcting codes and offer related security guarantees in adversarial settings where error correction is impossible. While in a TDC, the decoder is tasked with either recovering the original message or rejecting it, in an NMC, the decoder is additionally allowed to output a completely unrelated message.
In this work, we study quantum analogs of one of the most well-studied adversarial tampering models: the so-called split-state tampering model. In the $t$-split-state model, the codeword (or code-state) is divided into $t$ shares, and each share is tampered with "locally". Previous research has primarily focused on settings where the adversaries' local quantum operations are assisted by an unbounded amount of pre-shared entanglement, while the code remains unentangled, either classical or separable.
We construct quantum TDCs and NMCs in several $\textit{resource-restricted}$ analogs of the split-state model, which are provably impossible using just classical codes. In particular, against split-state adversaries restricted to local (unentangled) operations, local operations and classical communication, as well as a "bounded storage model" where they are limited to a finite amount of pre-shared entanglement. We complement our code constructions in two directions. First, we present applications to designing secret sharing schemes, which inherit similar non-malleable and tamper-detection guarantees. Second, we discuss connections between our codes and quantum encryption schemes, which we leverage to prove singleton-type bounds on the capacity of certain families of quantum NMCs in the split-state model.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
Pauli Manipulation Detection codes and Applications to Quantum Communication over Adversarial Channels
Authors:
Thiago Bergamaschi
Abstract:
We introduce and explicitly construct a quantum code we coin a "Pauli Manipulation Detection" code (or PMD), which detects every Pauli error with high probability. We apply them to construct the first near-optimal codes for two tasks in quantum communication over adversarial channels. Our main application is an approximate quantum code over qubits which can efficiently correct from a number of (wo…
▽ More
We introduce and explicitly construct a quantum code we coin a "Pauli Manipulation Detection" code (or PMD), which detects every Pauli error with high probability. We apply them to construct the first near-optimal codes for two tasks in quantum communication over adversarial channels. Our main application is an approximate quantum code over qubits which can efficiently correct from a number of (worst-case) erasure errors approaching the quantum Singleton bound. Our construction is based on the composition of a PMD code with a stabilizer code which is list-decodable from erasures.
Our second application is a quantum authentication code for "qubit-wise" channels, which does not require a secret key. Remarkably, this gives an example of a task in quantum communication which is provably impossible classically. Our construction is based on a combination of PMD codes, stabilizer codes, and classical non-malleable codes (Dziembowski et al., 2009), and achieves "minimal redundancy" (rate $1-o(1)$).
△ Less
Submitted 12 June, 2024; v1 submitted 13 April, 2023;
originally announced April 2023.
-
Approaching the Quantum Singleton Bound with Approximate Error Correction
Authors:
Thiago Bergamaschi,
Louis Golowich,
Sam Gunn
Abstract:
It is well known that no quantum error correcting code of rate $R$ can correct adversarial errors on more than a $(1-R)/4$ fraction of symbols. But what if we only require our codes to *approximately* recover the message? We construct efficiently-decodable approximate quantum codes against adversarial error rates approaching the quantum Singleton bound of $(1-R)/2$, for any constant rate $R$. More…
▽ More
It is well known that no quantum error correcting code of rate $R$ can correct adversarial errors on more than a $(1-R)/4$ fraction of symbols. But what if we only require our codes to *approximately* recover the message? We construct efficiently-decodable approximate quantum codes against adversarial error rates approaching the quantum Singleton bound of $(1-R)/2$, for any constant rate $R$. Moreover, the size of the alphabet is a constant independent of the message length and the recovery error is exponentially small in the message length. Central to our construction is a notion of quantum list decoding and an implementation involving folded quantum Reed-Solomon codes.
△ Less
Submitted 19 December, 2022;
originally announced December 2022.
-
Improved Product-state Approximation Algorithms for Quantum Local Hamiltonians
Authors:
Thiago Bergamaschi
Abstract:
The ground state energy and the free energy of Quantum Local Hamiltonians are fundamental quantities in quantum many-body physics, however, it is QMA-Hard to estimate them in general. In this paper, we develop new techniques to find classical, additive error product-state approximations for these quantities on certain families of Quantum $k$-Local Hamiltonians. Namely, those which are either dense…
▽ More
The ground state energy and the free energy of Quantum Local Hamiltonians are fundamental quantities in quantum many-body physics, however, it is QMA-Hard to estimate them in general. In this paper, we develop new techniques to find classical, additive error product-state approximations for these quantities on certain families of Quantum $k$-Local Hamiltonians. Namely, those which are either dense, have low threshold rank, or are defined on a sparse graph that excludes a fixed minor, building on the methods and the systems studied by Brandão and Harrow, Gharibian and Kempe, and Bansal, Bravyi and Terhal.
We present two main technical contributions. First, we discuss a connection between product-state approximations of local Hamiltonians and combinatorial graph property testing. We develop a series of weak Szemerédi regularity lemmas for $k$-local Hamiltonians, built on those of Frieze and Kannan and others. We use them to develop constant time sampling algorithms, and to characterize the `vertex sample complexity' of the Local Hamiltonian problem, in an analog to a classical result by Alon, de la Vega, Kannan and Karpinski. Second, we build on the information-theoretic product-state approximation techniques by Brandão and Harrow, extending their results to the free energy and to an asymmetric graph setting. We leverage this structure to define families of algorithms for the free energy at low temperatures, and new algorithms for certain sparse graph families.
△ Less
Submitted 16 October, 2022;
originally announced October 2022.
-
Demonstration of tunable three-body interactions between superconducting qubits
Authors:
Tim Menke,
William P. Banner,
Thomas R. Bergamaschi,
Agustin Di Paolo,
Antti Vepsäläinen,
Steven J. Weber,
Roni Winik,
Alexander Melville,
Bethany M. Niedzielski,
Danna Rosenberg,
Kyle Serniak,
Mollie E. Schwartz,
Jonilyn L. Yoder,
Alán Aspuru-Guzik,
Simon Gustavsson,
Jeffrey A. Grover,
Cyrus F. Hirjibehedin,
Andrew J. Kerman,
William D. Oliver
Abstract:
Nonpairwise multi-qubit interactions present a useful resource for quantum information processors. Their implementation would facilitate more efficient quantum simulations of molecules and combinatorial optimization problems, and they could simplify error suppression and error correction schemes. Here we present a superconducting circuit architecture in which a coupling module mediates 2-local and…
▽ More
Nonpairwise multi-qubit interactions present a useful resource for quantum information processors. Their implementation would facilitate more efficient quantum simulations of molecules and combinatorial optimization problems, and they could simplify error suppression and error correction schemes. Here we present a superconducting circuit architecture in which a coupling module mediates 2-local and 3-local interactions between three flux qubits by design. The system Hamiltonian is estimated via multi-qubit pulse sequences that implement Ramsey-type interferometry between all neighboring excitation manifolds in the system. The 3-local interaction is coherently tunable over several MHz via the coupler flux biases and can be turned off, which is important for applications in quantum annealing, analog quantum simulation, and gate-model quantum computation.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
Distinguishing multi-spin interactions from lower-order effects
Authors:
Thomas R. Bergamaschi,
Tim Menke,
William P. Banner,
Agustin Di Paolo,
Steven J. Weber,
Cyrus F. Hirjibehedin,
Andrew J. Kerman,
William D. Oliver
Abstract:
Multi-spin interactions can be engineered with artificial quantum spins. However, it is challenging to verify such interactions experimentally. Here we describe two methods to characterize the $n$-local coupling of $n$ spins. First, we analyze the variation of the transition energy of the static system as a function of local spin fields. Standard measurement techniques are employed to distinguish…
▽ More
Multi-spin interactions can be engineered with artificial quantum spins. However, it is challenging to verify such interactions experimentally. Here we describe two methods to characterize the $n$-local coupling of $n$ spins. First, we analyze the variation of the transition energy of the static system as a function of local spin fields. Standard measurement techniques are employed to distinguish $n$-local interactions between up to five spins from lower-order contributions in the presence of noise and spurious fields and couplings. Second, we show a detection technique that relies on time dependent driving of the coupling term. Generalizations to larger system sizes are analyzed for both static and dynamic detection methods, and we find that the dynamic method is asymptotically optimal when increasing the system size. The proposed methods enable robust exploration of multi-spin interactions across a broad range of both coupling strengths and qubit modalities.
△ Less
Submitted 24 November, 2021;
originally announced November 2021.
-
Simulated Quantum Annealing is Efficient on the Spike Hamiltonian
Authors:
Thiago Bergamaschi
Abstract:
In this work we study the convergence of a classical algorithm called Simulated Quantum Annealing (SQA) on the Spike Hamiltonian, a specific toy model Hamiltonian for quantum-mechanical tunneling introduced by [FGG02]. This toy model Hamiltonian encodes a simple bit-symmetric cost function f in the computational basis, and is used to emulate local minima in more complex optimization problems. In p…
▽ More
In this work we study the convergence of a classical algorithm called Simulated Quantum Annealing (SQA) on the Spike Hamiltonian, a specific toy model Hamiltonian for quantum-mechanical tunneling introduced by [FGG02]. This toy model Hamiltonian encodes a simple bit-symmetric cost function f in the computational basis, and is used to emulate local minima in more complex optimization problems. In previous work [CH16] showed that SQA runs in polynomial time in much of the regime of spikes that QA does, pointing to evidence against an exponential speedup through tunneling. In this paper we extend their analysis to the remaining polynomial regime of energy gaps of the spike Hamiltonian, to show that indeed QA presents no exponential speedup with respect to SQA on this family of toy models.
△ Less
Submitted 30 November, 2020;
originally announced November 2020.
