ZX Graphical Calculus for Continuous-Variable Quantum Processes
arXiv:2405.07246 · doi:10.1103/PhysRevResearch.7.033141
Abstract
Continuous-variable (CV) quantum information processing is a promising candidate for large-scale fault-tolerant quantum computation. However, analysis of CV quantum process relies mostly on direct computation of the evolution of operators in the Heisenberg picture, and the features of CV space has yet to be thoroughly investigated in an intuitive manner. One key ingredient for further exploration of CV quantum computing is the construction of a computational model that brings visual intuition and new tools for analysis. In this paper, we delve into a graphical computational model, inspired by a similar model for qubit-based systems called the ZX calculus, that enables the representation of arbitrary CV quantum process as a simple directed graph. We demonstrate the utility of our model as a graphical tool to comprehend CV processes intuitively by showing how equivalences between two distinct quantum processes can be proven as a sequence of diagrammatic transformations in certain cases. We also examine possible applications of our model, such as measurement-based quantum computing, characterization of Gaussian and non-Gaussian processes, and circuit optimization.
34 pages, 3 figures
References in corpus (51)
- Supplementary information for "Quantum supremacy using a programmable superconducting processor"
- Quantum computational advantage using photons
- Encoding a qubit in an oscillator
- Quantum computation over continuous variables
- Quantum teleportation between light and matter
- Time-Domain Multiplexed 2-Dimensional Cluster State: Universal Quantum Computing Platform
- Deterministic generation of a two-dimensional cluster state
- Efficient Classical Simulation of Continuous Variable Quantum Information Processes
- Real-time quantum error correction beyond break-even
- New class of quantum error-correcting codes for a bosonic mode
- Encoding a qubit in a trapped-ion mechanical oscillator
- A Schrodinger Cat Living in Two Boxes
- Interacting Quantum Observables: Categorical Algebra and Diagrammatics
- Indefinite Causal Order in a Quantum Switch
- Quantum amplification of mechanical oscillator motion
- Deterministic quantum teleportation between distant atomic objects
- Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
- Graphical calculus for Gaussian pure states
- High-threshold fault-tolerant quantum computation with analog quantum error correction
- Propagating Gottesman-Kitaev-Preskill states encoded in an optical oscillator
- Reducing T-count with the ZX-calculus
- Implementation of a quantum cubic gate by adaptive non-Gaussian measurement
- PyZX: Large Scale Automated Diagrammatic Reasoning
- Observation of squeezed light from one atom excited with two photons
- Programmable interference between two microwave quantum memories
- Continuous-variable gate teleportation and bosonic-code error correction
- The ZX calculus is a language for surface code lattice surgery
- There and back again: A circuit extraction tale
- Quantum Teleportation of Optical Quantum Gates
- Fault-tolerant quantum computation with static linear optics
- Hybrid quantum computation gate with trapped ion system
- General implementation of arbitrary nonlinear quadrature phase gates
- Operational quantum theory without predefined time
- The ZX-calculus is incomplete for quantum mechanics
- Experimental realization of a dynamic squeezing gate
- Nonlinear feedforward enabling quantum computation
- Quantum picturalism for topological cluster-state computing
- Making the stabilizer ZX-calculus complete for scalars
- Universal MBQC with generalised parity-phase interactions and Pauli measurements
- Quantum non-Gaussianity of multi-phonon states of a single atom
- Two mode coupling in a single ion oscillator via parametric resonance
- Techniques to Reduce -Parity-Phase Circuits, Motivated by the ZX Calculus
- Phase Operator Problem and Macroscopic Extension of Quantum Mechanics
- Quantum Nondemolition Gate Operations and Measurements in Real Time on Fluctuating Signals
- Infinite-dimensional Categorical Quantum Mechanics
- Tensor Network Rewriting Strategies for Satisfiability and Counting
- An approach to nonstandard quantum mechanics
- Diagrammatic Differentiation for Quantum Machine Learning
- The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
- The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality
- Quantum Field Theory in Categorical Quantum Mechanics