Hybrid Oscillator-Qubit Quantum Processors: Instruction Set Architectures, Abstract Machine Models, and Applications

Abstract

Quantum computing with discrete variable (DV, qubit) hardware is approaching the large scales necessary for computations beyond the reach of classical computers. However, important use cases such as quantum simulations of physical models containing bosonic modes, and quantum error correction are challenging for DV-only systems. Separately, hardware containing native continuous-variable (CV, oscillator) systems has received attention as an alternative approach, yet the universal control of such systems is non-trivial. In this work, we show that hybrid CV-DV hardware offers a great advantage in meeting these challenges, offering a powerful computational paradigm that inherits the strengths of both DV and CV processors. We provide a pedagogical introduction to CV-DV systems and the multiple abstraction layers needed to produce a full software stack connecting applications to hardware. We present a variety of new hybrid CV-DV compilation techniques, algorithms, and applications, including the extension of quantum signal processing concepts to CV-DV systems and strategies to simulate systems of interacting spins, fermions, and bosons. To facilitate the development of hybrid CV-DV processor systems, we introduce formal Abstract Machine Models and Instruction Set Architectures -- essential abstractions that enable developers to formulate applications, compile algorithms, and explore the potential of current and future hardware for realizing fault-tolerant circuits, modules, and processors. Hybrid CV-DV quantum computations are beginning to be performed in superconducting, trapped ion, and neutral atom platforms, and large-scale experiments are set to be demonstrated in the near future. We present a timely and comprehensive guide to this relatively unexplored yet promising approach to quantum computation and providing an architectural backbone to guide future development.

Extensively reorganized and revised as a tutorial for submission to PRX Quantum, new references and various minor edits throughout. 163 pages, 52 figures, 714 references

References in corpus (263)

• Quantum phase transition from a superfluid to a Mott insulator in a gas of ultracold atoms
• Charge insensitive qubit design derived from the Cooper pair box
• Variational Quantum Algorithms
• Surface codes: Towards practical large-scale quantum computation
• Quantum computational advantage using photons
• Circuit Quantum Electrodynamics
• Noisy intermediate-scale quantum (NISQ) algorithms
• Coupling Superconducting Qubits via a Cavity Bus
• Optical Quantum Computing
• Quantum computing with trapped ions
• Predicting Many Properties of a Quantum System from Very Few Measurements
• Cost Function Dependent Barren Plateaus in Shallow Parametrized Quantum Circuits
• The Variational Quantum Eigensolver: a review of methods and best practices
• Randomized Benchmarking of Quantum Gates
• Universal computation by quantum walk
• Quantum random access memory
• Quantum Simulation of Antiferromagnetic Spin Chains in an Optical Lattice
• Universal Quantum Computation with Continuous-Variable Cluster States
• Resolving photon number states in a superconducting circuit
• Programmable Quantum Simulations of Spin Systems with Trapped Ions
• Quantum technologies with hybrid systems
• Simulating Hamiltonian dynamics with a truncated Taylor series
• Semiconductor Spin Qubits
• Amplification and squeezing of quantum noise with a tunable Josephson metamaterial
• Quantum Error Mitigation
• Approaching Unit Visibility for Control of a Superconducting Qubit with Dispersive Readout
• Quantum Simulators: Architectures and Opportunities
• Demonstration of multi-qubit entanglement and algorithms on a programmable neutral atom quantum computer
• High-fidelity parallel entangling gates on a neutral atom quantum computer
• A Theory of Trotter Error
• The Hubbard Model
• Qubit-photon interactions in a cavity: Measurement induced dephasing and number splitting
• Real-time quantum error correction beyond break-even
• A quantum-enhanced search for dark matter axions
• Experimental Test of Quantum Jarzynski Equality with a Trapped Ion System
• Mathematical Foundation of Quantum Annealing
• Bloch vectors for qudits
• Complete universal quantum gate set approaching fault-tolerant thresholds with superconducting qubits
• Quantum Tomography via Compressed Sensing: Error Bounds, Sample Complexity, and Efficient Estimators
• Digital quantum simulation of fermionic models with a superconducting circuit
• The Future of Quantum Computing with Superconducting Qubits
• A Race Track Trapped-Ion Quantum Processor
• Quantum Simulation for High Energy Physics
• A No-Go Theorem for Gaussian Quantum Error Correction
• Architectures for a quantum random access memory
• Quantum Non-demolition Detection of Single Microwave Photons in a Circuit
• Blueprint for a Scalable Photonic Fault-Tolerant Quantum Computer
• Building a fault-tolerant quantum computer using concatenated cat codes
• Non-Gaussian Quantum States and Where to Find Them
• Complete methods set for scalable ion trap quantum information processing
• Generating Entangled Microwave Radiation Over Two Transmission Lines
• Cooling a single atom in an optical tweezer to its quantum ground state
• Quantum harmonic oscillator state synthesis by reservoir engineering
• Digital quantum simulation of spin models with circuit quantum electrodynamics
• Is there evidence for exponential quantum advantage in quantum chemistry?
• Quantum Computer Systems for Scientific Discovery
• Perspective: Toward large-scale fault-tolerant universal photonic quantum computing
• High-fidelity gates with mid-circuit erasure conversion in a metastable neutral atom qubit
• Using Sideband Transitions for Two-Qubit Operations in Superconducting Circuits
• Arbitrarily accurate composite pulses
• Quantum homodyne tomography of a two-photon Fock state
• Strongly-Correlated Electron-Photon Systems
• Erasure conversion for fault-tolerant quantum computing in alkaline earth Rydberg atom arrays
• Gate Set Tomography
• Bosonic quantum error correction codes in superconducting quantum circuits
• More on Supersymmetric and 2d Analogs of the SYK Model
• Searching for Dark Matter with a Superconducting Qubit
• Beating the break-even point with a discrete-variable-encoded logical qubit
• QuantumNAS: Noise-Adaptive Search for Robust Quantum Circuits
• Fast Universal Control of an Oscillator with Weak Dispersive Coupling to a Qubit
• Non-Abelian Topological Order and Anyons on a Trapped-Ion Processor
• Magic state distillation in all prime dimensions using quantum Reed-Muller codes
• Protecting a Bosonic Qubit with Autonomous Quantum Error Correction
• Gaussian Boson Sampling with Pseudo-Photon-Number Resolving Detectors and Quantum Computational Advantage
• Realization of a fractional quantum Hall state with ultracold atoms
• Efficient phase-factor evaluation in quantum signal processing
• ScaffCC: Scalable Compilation and Analysis of Quantum Programs
• Ground state preparation and energy estimation on early fault-tolerant quantum computers via quantum eigenvalue transformation of unitary matrices
• Quantum information processing with bosonic qubits in circuit QED
• Quantum Algorithms for Simulating the Lattice Schwinger Model
• Towards Scalable Bosonic Quantum Error Correction
• Quantum Error Correction with the Gottesman-Kitaev-Preskill Code
• Theory of quantum system certification: a tutorial
• Quantum error mitigation as a universal error-minimization technique: applications from NISQ to FTQC eras
• Quantum Control of the Hyperfine Spin of a Cs Atom Ensemble
• Tensor Network Algorithms: a Route Map
• Model-Free Quantum Control with Reinforcement Learning
• Hierarchy of topological order from finite-depth unitaries, measurement and feedforward
• Observing emergent hydrodynamics in a long-range quantum magnet
• Demonstration of a quantum nondemolition sum gate
• Quantum Circuits assisted by LOCC: Transformations and Phases of Matter
• Strong coupling theory for the Jaynes-Cummings-Hubbard model
• Algorithms for quantum simulation at finite energies
• Analog quantum error correction with encoding a qubit into an oscillator
• Scalable measures of magic resource for quantum computers
• First-order sidebands in circuit QED using qubit frequency modulation
• Factoring 2048-bit RSA Integers in 177 Days with 13436 Qubits and a Multimode Memory
• A Compact Fermion to Qubit Mapping
• Diffraction limited optics for single atom manipulation
• Hardware-efficient quantum error correction via concatenated bosonic qubits
• Superconducting cavity qubit with tens of milliseconds single-photon coherence time
• Non-Gaussian states for continuous variable quantum computation via Gaussian maps
• Deterministic protocol for mapping a qubit to coherent state superpositions in a cavity
• Spin-motion entanglement and state diagnosis with squeezed oscillator wavepackets
• Stabilization of Finite-Energy Gottesman-Kitaev-Preskill States
• Fermionic quantum processing with programmable neutral atom arrays
• Computer-inspired Quantum Experiments
• Robust preparation of Wigner-negative states with optimized SNAP-displacement sequences
• Low overhead fault-tolerant quantum error correction with the surface-GKP code
• Efficient simulation scheme for a class of quantum optics experiments with non-negative Wigner representation
• Repeat-until-success cubic phase gate for universal continuous-variable quantum computation
• Quarter-Flux Hofstadter Lattice in Qubit-Compatible Microwave Cavity Array
• Universal Gate Set for Continuous-Variable Quantum Computation with Microwave Circuits
• Quantum Error Correction with Metastable States of Trapped Ions Using Erasure Conversion
• Quantum control of a cat-qubit with bit-flip times exceeding ten seconds
• Provably accurate simulation of gauge theories and bosonic systems
• Experimental Gaussian Boson Sampling
• Erasure qubits: Overcoming the $T_1$ limit in superconducting circuits
• High threshold codes for neutral atom qubits with biased erasure errors
• Dual-rail encoding with superconducting cavities
• Optimized pulse shapes for a resonator-induced phase gate
• One hundred second bit-flip time in a two-photon dissipative oscillator
• Deterministic constant-depth preparation of the AKLT state on a quantum processor using fusion measurements
• Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing
• Resilience of quantum random access memory to generic noise
• Observation of two-mode squeezing in a traveling wave parametric amplifier
• Direct observation of geometric phase in dynamics around a conical intersection
• Resources for bosonic quantum computational advantage
• Demonstrating a long-coherence dual-rail erasure qubit using tunable transmons
• Measurement of Ion Motional Heating Rates over a Range of Trap Frequencies and Temperatures
• Efficient Fully-Coherent Quantum Signal Processing Algorithms for Real-Time Dynamics Simulation
• Quantum Error Correction of Qudits Beyond Break-even
• Tripartite Genuine Non-Gaussian Entanglement in Three-Mode Spontaneous Parametric Downconversion
• Fermion-qudit quantum processors for simulating lattice gauge theories with matter
• $N$-body interactions between trapped ion qubits via spin-dependent squeezing
• Certification of non-Gaussian states with operational measurements
• Scalable and Programmable Phononic Network with Trapped Ions
• Demonstration of three- and four-body interactions between trapped-ion spins
• Realization of fractional quantum Hall state with interacting photons
• On the energy landscape of symmetric quantum signal processing
• Exponential quantum speedup in simulating coupled classical oscillators
• Qudit Quantum Computation in the Jaynes-Cummings Model
• Scalable and Parallel Tweezer Gates for Quantum Computing with Long Ion Strings
• Experimental simulation of open quantum system dynamics via Trotterization
• Universal control of a bosonic mode via drive-activated native cubic interactions
• Classical algorithm for simulating experimental Gaussian boson sampling
• Theory of robust multi-qubit non-adiabatic gates for trapped-ions
• High-fidelity parametric beamsplitting with a parity-protected converter
• Constant-depth preparation of matrix product states with adaptive quantum circuits
• Two-qubit logic between distant spins in silicon
• Engineering Quantum States of a Nano-Resonator via a Simple Auxiliary System
• Conceptual understanding through efficient inverse-design of quantum optical experiments
• Path-Independent Quantum Gates with Noisy Ancilla
• Dissipative stabilization of squeezing beyond 3 dB in a microwave mode
• The squeezed Kerr oscillator: spectral kissing and phase-flip robustness
• Measuring Arbitrary Physical Properties in Analog Quantum Simulation
• Heating of a trapped ion induced by dielectric materials
• Encoding qubits in multimode grid states
• Randomizing multi-product formulas for Hamiltonian simulation
• Programmable quantum simulations of bosonic systems with trapped ions
• Quantum Entropy and Central Limit Theorem
• Gradient Ascent Pulse Engineering with Feedback
• Squeezing and multimode entanglement of surface acoustic wave phonons
• Quantum computation and simulation with vibrational modes of trapped ions
• Quantum error correction with dissipatively stabilized squeezed cat qubits
• Confinement and Mott transitions of dynamical charges in 1D lattice gauge theories
• Finite Rate QLDPC-GKP Coding Scheme that Surpasses the CSS Hamming Bound
• Resource-Efficient Quantum Computing by Breaking Abstractions
• Observation of wave-packet branching through an engineered conical intersection
• Stabilizing a Bosonic Qubit using Colored Dissipation
• Energy-constrained discrimination of unitaries, quantum speed limits and a Gaussian Solovay-Kitaev theorem
• An atomic boson sampler
• Robust and Deterministic Preparation of Bosonic Logical States in a Trapped Ion
• On the complexity of quantum partition functions
• Classical shadow tomography for continuous variables quantum systems
• Simulating Chemistry on Bosonic Quantum Devices
• Erasure-cooling, control, and hyper-entanglement of motion in optical tweezers
• State preparation by shallow circuits using feed forward
• Gaussian conversion protocols for cubic phase state generation
• Implementing any Linear Combination of Unitaries on Intermediate-term Quantum Computers
• Exact solution for the quantum and private capacities of bosonic dephasing channels
• Penning micro-trap for quantum computing
• Seeking a quantum advantage with trapped-ion quantum simulations of condensed-phase chemical dynamics
• Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
• Introduction to Quantum Error Correction and Fault Tolerance
• Multivariable quantum signal processing (M-QSP): prophecies of the two-headed oracle
• Electric-field noise from carbon-adatom diffusion on a Au(110) surface: first-principles calculations and experiments
• Efficient Product Formulas for Commutators and Applications to Quantum Simulation
• Measuring the Loschmidt amplitude for finite-energy properties of the Fermi-Hubbard model on an ion-trap quantum computer
• Creation and transfer of non-classical states of motion using Rydberg dressing of atoms in a lattice
• Universal hybrid quantum computing in trapped ions
• Two mode coupling in a single ion oscillator via parametric resonance
• The quantum phase transition and correlations in the multi-spin-boson model
• Data centers with quantum random access memory and quantum networks
• Trapped-Ion Quantum Simulation of Electron Transfer Models with Tunable Dissipation
• Probing finite-temperature observables in quantum simulators of spin systems with short-time dynamics
• Conditional not displacement: fast multi-oscillator control with a single qubit
• Vibronic coupling in energy transfer dynamics and two-dimensional electronic-vibrational spectra
• Stable factorization for phase factors of quantum signal processing
• Systems Architecture for Quantum Random Access Memory
• High-Fidelity Magic-State Preparation with a Biased-Noise Architecture
• Holomorphic representation of quantum computations
• Unconditional preparation of squeezed vacuum from Rabi interactions
• LDPC-cat codes for low-overhead quantum computing in 2D
• Noisy Qudit vs Multiple Qubits : Conditions on Gate Efficiency for Enhancing Fidelity
• Continuous-variable error correction for general Gaussian noises
• Tailoring fusion-based error correction for high thresholds to biased fusion failures
• Quantum spherical codes
• Derivative Pricing using Quantum Signal Processing
• Numerical Gate Synthesis for Quantum Heuristics on Bosonic Quantum Processors
• Experimental demonstration of Gaussian boson sampling with displacement
• Entanglement-enabled advantage for learning a bosonic random displacement channel
• Design of quantum optical experiments with logic artificial intelligence
• Shaping photons: quantum computation with bosonic cQED
• Coherent coupling and non-destructive measurement of trapped-ion mechanical oscillators
• Driven Multiphoton Qubit-Resonator Interactions
• Exact $k$-body representation of the Jaynes-Cummings interaction in the dressed basis: Insight into many-body phenomena with light
• Observation of a finite-energy phase transition in a one-dimensional quantum simulator
• Error mitigation on a near-term quantum photonic device
• Transcoherent states: Optical states for maximal generation of atomic coherence
• Low-depth simulations of fermionic systems on square-grid quantum hardware
• Optimal control transport of neutral atoms in optical tweezers at finite temperature
• Controlling NMR spin systems for quantum computation
• Closest lattice point decoding for multimode Gottesman-Kitaev-Preskill codes
• Multi-frequency control and measurement of a spin-7/2 system encoded in a transmon qudit
• Photon-Number-Dependent Hamiltonian Engineering for Cavities
• Qubit-oscillator concatenated codes: decoding formalism & code comparison
• Bosonic Quantum Error Correction with Neutral Atoms in Optical Dipole Traps
• Continuous-variable quantum state designs: theory and applications
• Classical simulation of non-Gaussian bosonic circuits
• Quantum control of continuous systems via nonharmonic potential modulation
• Two-qubit operations for finite-energy Gottesman-Kitaev-Preskill encodings
• Energy-dependent barren plateau in bosonic variational quantum circuits
• High-Fidelity Transport of Trapped-Ion Qubits in a Multi-Layer Array
• Sufficient condition for universal quantum computation using bosonic circuits
• Stabilizing the Laughlin state of light: dynamics of hole fractionalization
• Demonstrating efficient and robust bosonic state reconstruction via optimized excitation counting
• Toward hybrid quantum simulations with qubits and qumodes on trapped-ion platforms
• Universal unitary transfer of continuous-variable quantum states into a few qubits
• Toward Mixed Analog-Digital Quantum Signal Processing: Quantum AD/DA Conversion and the Fourier Transform
• Suppression of Bogoliubov momentum pairing and emergence of non-Gaussian correlations in ultracold interacting Bose gases
• Optimal encoding of oscillators into more oscillators
• Good Gottesman-Kitaev-Preskill codes from the NTRU cryptosystem
• QRAM: A Survey and Critique
• Beyond transcoherent states: Field states for effecting optimal coherent rotations on single or multiple qubits
• Benchmarking bosonic modes for quantum information with randomized displacements
• Quantum error cancellation in photonic systems -- undoing photon losses
• Single-shot Quantum Signal Processing Interferometry
• Synthetic high angular momentum spin dynamics in a microwave oscillator
• Block encoding bosons by signal processing
• Infinite-Dimensional Programmable Quantum Processors
• Digital homodyne and heterodyne detection for stationary bosonic modes
• Algebraic structure of path-independent quantum control
• Qumode transfer between continuous and discrete variable devices
• Modular quantum signal processing in many variables
• Improved autonomous error correction using variable dissipation in small logical qubit architectures
• Sequential quantum simulation of spin chains with a single circuit QED device
• Simulating electronic structure on bosonic quantum computers
• Deciding finiteness of bosonic dynamics with tunable interactions
• Bosonic randomized benchmarking with passive transformations
• Covariant operator bases for continuous variables
• Error-mitigated Geometric Quantum Control over an Oscillator
• ZX Graphical Calculus for Continuous-Variable Quantum Processes

Cited by in corpus (15)

• Quantum squeezing amplification with a weak Kerr nonlinear oscillator
• Preparation of conditionally-squeezed states in qubit-oscillator systems
• Scalable Quantum Computational Science: A Perspective from Block-Encodings and Polynomial Transformations
• Phase-Space Topology in a Single-Atom Synthetic Dimension
• Engineering Non-Gaussian Bosonic Gates through Quantum Signal Processing
• Factoring an integer with three oscillators and a qubit
• Quantum science with arrays of metastable helium-3 atoms
• Bootstrap Embedding for Interacting Electrons in Phonon Coherent-state Mean Field
• Quantum Signal Processing and Quantum Singular Value Transformation on $U(N)$
• Digital-Analog Quantum Simulation and Computing: A Perspective on Past and Future Developments
• Principles of Optics in the Fock Space: Scalable Manipulation of Giant Quantum States
• Gate-Based Microwave Quantum Repeater Via Grid-State Encoding
• High-Fidelity Controlled-Phase Gate for Binomial Codes via Geometric Phase Engineering
• Single-shot conditional displacement gate between a trapped atom and traveling light
• Optimal Displacement Sensing with Spin-Dependent Squeezed States