-
Factoring an integer with three oscillators and a qubit
Authors:
Lukas Brenner,
Libor Caha,
Xavier Coiteux-Roy,
Robert Koenig
Abstract:
A common starting point of traditional quantum algorithm design is the notion of a universal quantum computer with a scalable number of qubits. This convenient abstraction mirrors classical computations manipulating finite sets of symbols, and allows for a device-independent development of algorithmic primitives. Here we advocate an alternative approach centered on the physical setup and the assoc…
▽ More
A common starting point of traditional quantum algorithm design is the notion of a universal quantum computer with a scalable number of qubits. This convenient abstraction mirrors classical computations manipulating finite sets of symbols, and allows for a device-independent development of algorithmic primitives. Here we advocate an alternative approach centered on the physical setup and the associated set of natively available operations. We show that these can be leveraged to great benefit by sidestepping the standard approach of reasoning about computation in terms of individual qubits. As an example, we consider hybrid qubit-oscillator systems with linear optics operations augmented by certain qubit-controlled Gaussian unitaries. The continuous-variable (CV) Fourier transform has a native realization in such systems in the form of homodyne momentum measurements. We show that this fact can be put to algorithmic use. Specifically, we give a polynomial-time quantum algorithm in this setup which finds a factor of an $n$-bit integer $N$. Unlike Shor's algorithm, or CV implementations thereof based on qubit-to-oscillator encodings, our algorithm relies on the CV (rather than discrete) Fourier transform. The physical system used is independent of the number $N$ to be factored: It consists of a single qubit and three oscillators only.
△ Less
Submitted 17 December, 2024;
originally announced December 2024.
-
The complexity of Gottesman-Kitaev-Preskill states
Authors:
Lukas Brenner,
Libor Caha,
Xavier Coiteux-Roy,
Robert Koenig
Abstract:
We initiate the study of state complexity for continuous-variable quantum systems. Concretely, we consider a setup with bosonic modes and auxiliary qubits, where available operations include Gaussian one- and two-mode operations, single- and two-qubit operations, as well as qubit-controlled phase-space displacements. We define the (approximate) complexity of a bosonic state by the minimum size of…
▽ More
We initiate the study of state complexity for continuous-variable quantum systems. Concretely, we consider a setup with bosonic modes and auxiliary qubits, where available operations include Gaussian one- and two-mode operations, single- and two-qubit operations, as well as qubit-controlled phase-space displacements. We define the (approximate) complexity of a bosonic state by the minimum size of a circuit that prepares an $L^1$-norm approximation to the state. We propose a new circuit which prepares an approximate Gottesman-Kitaev-Preskill (GKP) state $|\mathsf{GKP}_{κ,Δ}\rangle$. Here $κ^{-2}$ is the variance of the envelope and $Δ^2$ is the variance of the individual peaks. We show that the circuit accepts with constant probability and -- conditioned on acceptance -- the output state is polynomially close in $(κ,Δ)$ to the state $|\mathsf{GKP}_{κ,Δ}\rangle$. The size of our circuit is linear in $(\log 1/κ,\log 1/Δ)$. To our knowledge, this is the first protocol for GKP-state preparation with fidelity guarantees for the prepared state. We also show converse bounds, establishing that the linear circuit-size dependence of our construction is optimal. This fully characterizes the complexity of GKP states.
△ Less
Submitted 25 October, 2024;
originally announced October 2024.
-
A colossal advantage: 3D-local noisy shallow quantum circuits defeat unbounded fan-in classical circuits
Authors:
Libor Caha,
Xavier Coiteux-Roy,
Robert Koenig
Abstract:
We present a computational problem with the following properties: (i) Every instance can be solved with near-certainty by a constant-depth quantum circuit using only nearest-neighbor gates in 3D even when its implementation is corrupted by noise. (ii) Any constant-depth classical circuit composed of unbounded fan-in AND, OR, as well as NOT gates, i.e., an AC0-circuit, of size smaller than a certai…
▽ More
We present a computational problem with the following properties: (i) Every instance can be solved with near-certainty by a constant-depth quantum circuit using only nearest-neighbor gates in 3D even when its implementation is corrupted by noise. (ii) Any constant-depth classical circuit composed of unbounded fan-in AND, OR, as well as NOT gates, i.e., an AC0-circuit, of size smaller than a certain subexponential, fails to solve a uniformly random instance with probability greater than a certain constant. Such an advantage against unbounded fan-in classical circuits was previously only known in the noise-free case or without locality constraints. We overcome these limitations, proposing a quantum advantage demonstration amenable to experimental realizations. Subexponential circuit-complexity lower bounds have traditionally been referred to as exponential. We use the term colossal since our fault-tolerant 3D architecture resembles a certain Roman monument.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Single-shot decoding of good quantum LDPC codes
Authors:
Shouzhen Gu,
Eugene Tang,
Libor Caha,
Shin Ho Choe,
Zhiyang He,
Aleksander Kubica
Abstract:
Quantum Tanner codes constitute a family of quantum low-density parity-check (LDPC) codes with good parameters, i.e., constant encoding rate and relative distance. In this article, we prove that quantum Tanner codes also facilitate single-shot quantum error correction (QEC) of adversarial noise, where one measurement round (consisting of constant-weight parity checks) suffices to perform reliable…
▽ More
Quantum Tanner codes constitute a family of quantum low-density parity-check (LDPC) codes with good parameters, i.e., constant encoding rate and relative distance. In this article, we prove that quantum Tanner codes also facilitate single-shot quantum error correction (QEC) of adversarial noise, where one measurement round (consisting of constant-weight parity checks) suffices to perform reliable QEC even in the presence of measurement errors. We establish this result for both the sequential and parallel decoding algorithms introduced by Leverrier and Zémor. Furthermore, we show that in order to suppress errors over multiple repeated rounds of QEC, it suffices to run the parallel decoding algorithm for constant time in each round. Combined with good code parameters, the resulting constant-time overhead of QEC and robustness to (possibly time-correlated) adversarial noise make quantum Tanner codes alluring from the perspective of quantum fault-tolerant protocols.
△ Less
Submitted 11 April, 2024; v1 submitted 21 June, 2023;
originally announced June 2023.
-
Single-qubit gate teleportation provides a quantum advantage
Authors:
Libor Caha,
Xavier Coiteux-Roy,
Robert Koenig
Abstract:
Gate-teleportation circuits are arguably among the most basic examples of computations believed to provide a quantum computational advantage: In seminal work [Quantum Inf. Comput., 4(2):134--145], Terhal and DiVincenzo have shown that these circuits elude simulation by efficient classical algorithms under plausible complexity-theoretic assumptions. Here we consider possibilistic simulation [Phys.…
▽ More
Gate-teleportation circuits are arguably among the most basic examples of computations believed to provide a quantum computational advantage: In seminal work [Quantum Inf. Comput., 4(2):134--145], Terhal and DiVincenzo have shown that these circuits elude simulation by efficient classical algorithms under plausible complexity-theoretic assumptions. Here we consider possibilistic simulation [Phys. Rev. A 106, 062430 (2022)], a particularly weak form of this task where the goal is to output any string appearing with non-zero probability in the output distribution of the circuit. We show that even for single-qubit Clifford-gate-teleportation circuits this simulation problem cannot be solved by constant-depth classical circuits with bounded fan-in gates. Our results are unconditional and are obtained by a reduction to the problem of computing the parity, a well-studied problem in classical circuit complexity.
△ Less
Submitted 29 November, 2024; v1 submitted 28 September, 2022;
originally announced September 2022.
-
Twisted hybrid algorithms for combinatorial optimization
Authors:
Libor Caha,
Alexander Kliesch,
Robert Koenig
Abstract:
Proposed hybrid algorithms encode a combinatorial cost function into a problem Hamiltonian and optimize its energy by varying over a set of states with low circuit complexity. Classical processing is typically only used for the choice of variational parameters following gradient descent. As a consequence, these approaches are limited by the descriptive power of the associated states.
We argue th…
▽ More
Proposed hybrid algorithms encode a combinatorial cost function into a problem Hamiltonian and optimize its energy by varying over a set of states with low circuit complexity. Classical processing is typically only used for the choice of variational parameters following gradient descent. As a consequence, these approaches are limited by the descriptive power of the associated states.
We argue that for certain combinatorial optimization problems, such algorithms can be hybridized further, thus harnessing the power of efficient non-local classical processing. Specifically, we consider combining a quantum variational ansatz with a greedy classical post-processing procedure for the MaxCut-problem on $3$-regular graphs. We show that the average cut-size produced by this method can be quantified in terms of the energy of a modified problem Hamiltonian. This motivates the consideration of an improved algorithm which variationally optimizes the energy of the modified Hamiltonian. We call this a twisted hybrid algorithm since the additional classical processing step is combined with a different choice of variational parameters. We exemplify the viability of this method using the quantum approximate optimization algorithm (QAOA), giving analytic lower bounds on the expected approximation ratios achieved by twisted QAOA. These show that the necessary non-locality of the quantum ansatz can be reduced compared to the original QAOA: We find that for levels $p=2,\ldots, 6$, the level $p$ can be reduced by one while roughly maintaining the expected approximation ratio. This reduces the circuit depth by $4$ and the number of variational parameters by $2$.
△ Less
Submitted 1 March, 2022;
originally announced March 2022.
-
Quantum Potts Models on the Sierpiński Pyramid
Authors:
Roman Krčmár,
Mária Zelenayová,
Jozef Genzor,
Libor Caha,
Peter Rapčan,
Tomotoshi Nishino,
Andrej Gendiar
Abstract:
Phase transition of the two- and three-state quantum Potts models on the Sierpiński pyramid are studied by means of a tensor network framework, the higher-order tensor renormalization group method. Critical values of the transverse magnetic field and the magnetic exponent $β$ are evaluated. Despite the fact that the Hausdorff dimension of the Sierpiński pyramid is exactly two $( = \log_2^{~} 4)$,…
▽ More
Phase transition of the two- and three-state quantum Potts models on the Sierpiński pyramid are studied by means of a tensor network framework, the higher-order tensor renormalization group method. Critical values of the transverse magnetic field and the magnetic exponent $β$ are evaluated. Despite the fact that the Hausdorff dimension of the Sierpiński pyramid is exactly two $( = \log_2^{~} 4)$, the obtained critical properties show that the effective dimension is lower than two.
△ Less
Submitted 19 June, 2025; v1 submitted 21 March, 2020;
originally announced March 2020.
-
The pair-flip model: a very entangled translationally invariant spin chain
Authors:
Libor Caha,
Daniel Nagaj
Abstract:
Investigating translationally invariant qudit spin chains with a low local dimension, we ask what is the best possible tradeoff between the scaling of the entanglement entropy of a large block and the inverse-polynomial scaling of the spectral gap. Restricting ourselves to Hamiltonians with a "rewriting" interaction, we find the pair-flip model, a family of spin chains with nearest neighbor, trans…
▽ More
Investigating translationally invariant qudit spin chains with a low local dimension, we ask what is the best possible tradeoff between the scaling of the entanglement entropy of a large block and the inverse-polynomial scaling of the spectral gap. Restricting ourselves to Hamiltonians with a "rewriting" interaction, we find the pair-flip model, a family of spin chains with nearest neighbor, translationally invariant, frustration-free interactions, with a very entangled ground state and an inverse-polynomial spectral gap. For a ground state in a particular invariant subspace, the entanglement entropy across a middle cut scales as $\log n$ for qubits (it is equivalent to the XXX model), while for qutrits and higher, it scales as $\sqrt{n}$. Moreover, we conjecture that this particular ground state can be made unique by adding a small translationally-invariant perturbation that favors neighboring letter pairs, adding a small amount of frustration, while retaining the entropy scaling.
△ Less
Submitted 18 May, 2018;
originally announced May 2018.
-
Shorter unentangled proofs for Ground State Connectivity
Authors:
Libor Caha,
Daniel Nagaj,
Martin Schwarz
Abstract:
Can one considerably shorten a proof for a quantum problem by using a protocol with a constant number of unentangled provers? We consider a frustration-free variant of the QCMA-complete Ground State Connectivity (GSCON) problem for a system of size n with a proof of superlinear-size. We show that we can shorten this proof in QMA(2): there exists a two-copy, unentangled proof with length of order n…
▽ More
Can one considerably shorten a proof for a quantum problem by using a protocol with a constant number of unentangled provers? We consider a frustration-free variant of the QCMA-complete Ground State Connectivity (GSCON) problem for a system of size n with a proof of superlinear-size. We show that we can shorten this proof in QMA(2): there exists a two-copy, unentangled proof with length of order n, up to logarithmic factors, while the completeness-soundness gap of the new protocol becomes a small inverse polynomial in n.
△ Less
Submitted 20 December, 2017;
originally announced December 2017.
-
The Feynman-Kitaev computer's clock: bias, gaps, idling and pulse tuning
Authors:
Libor Caha,
Zeph Landau,
Daniel Nagaj
Abstract:
We present a collection of results about the clock in Feynman's computer construction and Kitaev's Local Hamiltonian problem. First, by analyzing the spectra of quantum walks on a line with varying endpoint terms, we find a better lower bound on the gap of the Feynman Hamiltonian, which translates into a less strict promise gap requirement for the QMA-complete Local Hamiltonian problem. We also tr…
▽ More
We present a collection of results about the clock in Feynman's computer construction and Kitaev's Local Hamiltonian problem. First, by analyzing the spectra of quantum walks on a line with varying endpoint terms, we find a better lower bound on the gap of the Feynman Hamiltonian, which translates into a less strict promise gap requirement for the QMA-complete Local Hamiltonian problem. We also translate this result into the language of adiabatic quantum computation. Second, introducing an idling clock construction with a large state space but fast Cesaro mixing, we provide a way for achieving an arbitrarily high success probability of computation with Feynman's computer with only a logarithmic increase in the number of clock qubits. Finally, we tune and thus improve the costs (locality, gap scaling) of implementing a (pulse) clock with a single excitation.
△ Less
Submitted 4 July, 2018; v1 submitted 20 December, 2017;
originally announced December 2017.
-
Criticality without frustration for quantum spin-1 chains
Authors:
Sergey Bravyi,
Libor Caha,
Ramis Movassagh,
Daniel Nagaj,
Peter Shor
Abstract:
Frustration-free (FF) spin chains have a property that their ground state minimizes all individual terms in the chain Hamiltonian. We ask how entangled the ground state of a FF quantum spin-s chain with nearest-neighbor interactions can be for small values of s. While FF spin-1/2 chains are known to have unentangled ground states, the case s=1 remains less explored. We propose the first example of…
▽ More
Frustration-free (FF) spin chains have a property that their ground state minimizes all individual terms in the chain Hamiltonian. We ask how entangled the ground state of a FF quantum spin-s chain with nearest-neighbor interactions can be for small values of s. While FF spin-1/2 chains are known to have unentangled ground states, the case s=1 remains less explored. We propose the first example of a FF translation-invariant spin-1 chain that has a unique highly entangled ground state and exhibits some signatures of a critical behavior. The ground state can be viewed as the uniform superposition of balanced strings of left and right parentheses separated by empty spaces. Entanglement entropy of one half of the chain scales as log(n)/2 + O(1), where n is the number of spins. We prove that the energy gap above the ground state is polynomial in 1/n. The proof relies on a new result concerning statistics of Dyck paths which might be of independent interest.
△ Less
Submitted 16 November, 2012; v1 submitted 26 March, 2012;
originally announced March 2012.
