The complexity of Gottesman-Kitaev-Preskill states

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 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}}_{\kappa ,\Delta }⟩$. Here ${\kappa }^{-2}$ is the variance of the envelope and ${\Delta }^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 $(\kappa ,\Delta )$ to the state $|{\mathsf{GKP}}_{\kappa ,\Delta }⟩$. The size of our circuit is linear in $(\log 1/\kappa ,\log 1/\Delta )$. 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.

arXiv comment85 pages, 12 figures

References in corpus (28)

• Encoding a qubit in an oscillator
• The Real Symplectic Groups in Quantum Mechanics and Optics
• Fault-Tolerant Measurement-Based Quantum Computing with Continuous-Variable Cluster States
• Dispersive regime of circuit QED: photon-dependent qubit dephasing and relaxation rates
• Fast Universal Control of an Oscillator with Weak Dispersive Coupling to a Qubit
• Fault-tolerant bosonic quantum error correction with the surface-GKP code
• All-Gaussian universality and fault tolerance with the Gottesman-Kitaev-Preskill code
• High-threshold fault-tolerant quantum computation with analog quantum error correction
• Maximal Violation of Bell Inequalities using Continuous Variables Measurements
• Quantum Error Correction with the Toric-GKP Code
• Generating Grid States From Schrödinger Cat States without Post-Selection
• Single-Mode Displacement Sensor
• Encoding a Qubit into a Cavity Mode in Circuit-QED using Phase Estimation
• Encoding an oscillator into many oscillators
• Distributed quantum sensing enhanced by continuous-variable error correction
• Fault-tolerant preparation of approximate GKP states
• Energy-constrained diamond norms and their use in quantum information theory
• Hardware-Encoding Grid States in a Non-Reciprocal Superconducting Circuit
• Enhanced noise resilience of the surface-GKP code via designed bias
• Proposal for a loophole-free violation of Bell inequalities with a set of single photons and homodyne measurements
• Advances in Bosonic Quantum Error Correction with Gottesman-Kitaev-Preskill Codes: Theory, Engineering and Applications
• Twirling and Hamiltonian Engineering via Dynamical Decoupling for GKP Quantum Computing
• Formalism for the solution of quadratic Hamiltonians with large cosine terms
• Gottesman-Kitaev-Preskill state preparation using periodic driving
• Bosonic Quantum Error Correction with Neutral Atoms in Optical Dipole Traps
• Classical simulation of non-Gaussian bosonic circuits
• Dissipative protection of a GKP qubit in a high-impedance superconducting circuit driven by a microwave frequency comb
• Enhancing distributed sensing with imperfect error correction