Abstract:Bosonic qubits are a promising route to building fault-tolerant quantum computers on a variety of physical platforms. Studying the performance of bosonic qubits under realistic gates and measurements is challenging with existing analytical and numerical tools. We present a novel formalism for simulating classes of states that can be represented as linear combinations of Gaussian functions in phase space. This formalism allows us to analyze and simulate a wide class of non-Gaussian states, transformations and measurements. We demonstrate how useful classes of bosonic qubits -- Gottesman-Kitaev-Preskill (GKP), cat, and Fock states -- can be simulated using this formalism, opening the door to investigating the behaviour of bosonic qubits under Gaussian channels and measurements, non-Gaussian transformations such as those achieved via gate teleportation, and important non-Gaussian measurements such as threshold and photon-number detection. Our formalism enables simulating these situations with levels of accuracy that are not feasible with existing methods. Finally, we use a method informed by our formalism to simulate circuits critical to the study of fault-tolerant quantum computing with bosonic qubits but beyond the reach of existing techniques. Specifically, we examine how finite-energy GKP states transform under realistic qubit phase gates; interface with a CV cluster state; and transform under non-Clifford T gate teleportation using magic states. We implement our simulation method as a part of the open-source Strawberry Fields Python library.

Classical simulation and quantum resource theory of non-Gaussian optics

Classical simulation of non-Gaussian fermionic circuits

Classical simulation of non-Gaussian bosonic circuits

Gaussian quantum resource theories

Complexity of Gaussian quantum optics with a limited number of non-linearities

Simulation of quantum optics by coherent state decomposition

Resource theory of non-Gaussian operations

Operational Resource Theory of Continuous-Variable Nonclassicality

Sufficient Conditions for Efficient Classical Simulation of Quantum Optics

Simulating lossy and partially distinguishable quantum optical circuits: theory, algorithms and applications to experiment validation and state preparation

Classical variational simulation of the Quantum Approximate Optimization Algorithm

Fast simulation of bosonic qubits via Gaussian functions in phase space

Resources for Bosonic Quantum Computational Advantage

Spiral-wave Dynamics Depends Sensitively on nhomogeneities in Mathematical Models of Ventricular Tissue

Neural-network states for the classical simulation of quantum computing

Ultrafast Variational Simulation of Non-trivial Quantum States with Long Range Interactions

Implementing arbitrary multi-mode continuous-variable quantum gates with fixed non-Gaussian states and adaptive linear optics

Quantifying nonclassicality and entanglement of Gaussian states

Efficient Classical Simulation of Noisy Quantum Computation

Theory of Variational Quantum Simulation