Sufficient condition for universal quantum computation using bosonic circuits

Abstract

Continuous-variable bosonic systems stand as prominent candidates for implementing quantum computational tasks. While various necessary criteria have been established to assess their resourcefulness, sufficient conditions have remained elusive. We address this gap by focusing on promoting circuits that are otherwise simulatable to computational universality. The class of simulatable, albeit non-Gaussian, circuits that we consider is composed of Gottesman-Kitaev-Preskill (GKP) states, Gaussian operations, and homodyne measurements. Based on these circuits, we first introduce a general framework for mapping a continuous-variable state into a qubit state. Subsequently, we cast existing maps into this framework, including the modular and stabilizer subsystem decompositions. By combining these findings with established results for discrete-variable systems, we formulate a sufficient condition for achieving universal quantum computation. Leveraging this, we evaluate the computational resourcefulness of a variety of states, including Gaussian states, finite-squeezing GKP states, and cat states. Furthermore, our framework reveals that both the stabilizer subsystem decomposition and the modular subsystem decomposition (of position-symmetric states) can be constructed in terms of simulatable operations. This establishes a robust resource-theoretical foundation for employing these techniques to evaluate the logical content of a generic continuous-variable state, which can be of independent interest.

arXiv comment31 pages, 14 figures

References in corpus (61)

• Quantum information with continuous variables
• Gaussian Quantum Information
• Bell nonlocality
• Quantum Coherence as a Resource
• Encoding a qubit in an oscillator
• Universal Quantum Computation with ideal Clifford gates and noisy ancillas
• Quantum Resource Theories
• Quantum computation over continuous variables
• Universal Quantum Computation with Continuous-Variable Cluster States
• Quantum Computational Supremacy
• Continuous variable quantum information: Gaussian states and beyond
• Quantum computation with optical coherent states
• Dynamically protected cat-qubits: a new paradigm for universal quantum computation
• Confining the state of light to a quantum manifold by engineered two-photon loss
• The Resource Theory of Stabilizer Computation
• Macroscopically distinct quantum superposition states as a bosonic code for amplitude damping
• The Kerr-Cat Qubit: Stabilization, Readout, and Gates
• Positive Wigner functions render classical simulation of quantum computation efficient
• Efficient Classical Simulation of Continuous Variable Quantum Information Processes
• Application of a resource theory for magic states to fault-tolerant quantum computing
• The Real Symplectic Groups in Quantum Mechanics and Optics
• Encoding a qubit in a trapped-ion mechanical oscillator
• Magic state distillation with low overhead
• Quantum Computing with Continuous-Variable Clusters
• Fault-tolerant linear optical quantum computing with small-amplitude coherent states
• Stabilizer Rényi entropy
• Resource theory of quantum non-Gaussianity and Wigner negativity
• Reversible transformations from pure to mixed states, and the unique measure of information
• Magic State Distillation: Not as Costly as You Think
• Kochen-Specker Contextuality
• Convex resource theory of non-Gaussianity
• All-Gaussian universality and fault tolerance with the Gottesman-Kitaev-Preskill code
• Progress towards practical qubit computation using approximate Gottesman-Kitaev-Preskill codes
• Quantum computing with rotation-symmetric bosonic codes
• Generation of optical Schrödinger cat states in intense laser-matter interactions
• Protecting a Bosonic Qubit with Autonomous Quantum Error Correction
• Coherent oscillations inside a quantum manifold stabilized by dissipation
• All-optical generation of states for "Encoding a qubit in an oscillator"
• Generating Grid States From Schrödinger Cat States without Post-Selection
• Improved magic states distillation for quantum universality
• Implementation of a quantum cubic gate by adaptive non-Gaussian measurement
• Quantifying quantum speedups: improved classical simulation from tighter magic monotones
• Stellar representation of non-Gaussian quantum states
• Non-Gaussian states for continuous variable quantum computation via Gaussian maps
• A unified framework for magic state distillation and multi-qubit gate-synthesis with reduced resource cost
• What can quantum optics say about computational complexity theory?
• Robust preparation of Wigner-negative states with optimized SNAP-displacement sequences
• Efficient simulation scheme for a class of quantum optics experiments with non-negative Wigner representation
• Low overhead fault-tolerant quantum error correction with the surface-GKP code
• Modular Bosonic Subsystem Codes
• Building a large-scale quantum computer with continuous-variable optical technologies
• Cost-Reduced All-Gaussian Universality with the Gottesman-Kitaev-Preskill Code: Resource-Theoretic Approach to Cost Analysis
• Nonlinear feedforward enabling quantum computation
• Quantum information processing in phase space: A modular variables approach
• Quantifying Qubit Magic Resource with Gottesman-Kitaev-Preskill Encoding
• Gaussian conversion protocols for cubic phase state generation
• Efficient simulatability of continuous-variable circuits with large Wigner negativity
• Subsystem analysis of continuous-variable resource states
• Efficient simulation of Gottesman-Kitaev-Preskill states with Gaussian circuits
• The vacuum provides quantum advantage to otherwise simulatable architectures
• The Zak transform: a framework for quantum computation with the Gottesman-Kitaev-Preskill code

Cited by in corpus (9)

• Hybrid Oscillator-Qubit Quantum Processors: Instruction Set Architectures, Abstract Machine Models, and Applications
• Classical simulation of non-Gaussian bosonic circuits
• Superselection rules and bosonic quantum computational resources
• Tessellation codes: encoded quantum gates by geometric rotation
• Nonlinear stochastic and quantum motion from Coulomb forces
• Sequential information theoretic protocols in continuous variable systems
• Resourcefulness of non-classical continuous-variable quantum gates
• Linear-optical protocols for mitigating and suppressing noise in bosonic systems
• Classical algorithms for measurement-adaptive Gaussian circuits