Generation of Universal Linear Optics by Any Beamsplitter
arXiv:1310.6718 · doi:10.1103/PhysRevA.89.062316
Abstract
In 1994, Reck et al. showed how to realize any unitary transformation on a single photon using a product of beamsplitters and phaseshifters. Here we show that any single beamsplitter that nontrivially mixes two modes, also densely generates the set of unitary transformations (or orthogonal transformations, in the real case) on the single-photon subspace with m>=3 modes. (We prove the same result for any two-mode real optical gate, and for any two-mode optical gate combined with a generic phaseshifter.) Experimentally, this means that one does not need tunable beamsplitters or phaseshifters for universality: any nontrivial beamsplitter is universal for linear optics. Theoretically, it means that one cannot produce "intermediate" models of linear optical computation (analogous to the Clifford group for qubits) by restricting the allowed beamsplitters and phaseshifters: there is a dichotomy; one either gets a trivial set or else a universal set. No similar classification theorem for gates acting on qubits is currently known. We leave open the problem of classifying optical gates that act on three or more modes.
14 pages; edited Lemma 3.3 and updated references. Results are unchanged
References in corpus (4)
- Instantaneous non-local computation of low T-depth quantum circuits
- Classical simulation of commuting quantum computations implies collapse of the polynomial hierarchy
- Both Toffoli and Controlled-NOT need little help to do universal quantum computation
- On the characterization of the SU(3)-subgroups of type C and D
Cited by in corpus (29)
- Microwave photonics with superconducting quantum circuits
- Interference of Identical Particles from Entanglement to Boson-Sampling
- Robust architecture for programmable universal unitaries
- Random bosonic states for robust quantum metrology
- Classical simulation of photonic linear optics with lost particles
- Sampling arbitrary photon-added or photon-subtracted squeezed states is in the same complexity class as boson sampling
- Classical simulation of linear optics subject to nonuniform losses
- Coincidence Landscapes for Three-Channel Linear Optical Networks
- Universality of single qudit gates
- Universal extensions of restricted classes of quantum operations
- Criteria for universality of quantum gates
- Heavy tails and pruning in programmable photonic circuits
- Number-Theoretic Characterizations of Some Restricted Clifford+T Circuits
- Tomography of a multimode quantum black box
- Two photons on an atomic beam-splitter: nonlinear scattering and induced correlations
- The Classification of Clifford Gates over Qubits
- Linear optics only allows every possible quantum operation for one photon or one port
- Space-time dual quantum Zeno effect: Interferometric engineering of open quantum system dynamics
- How to check universality of quantum gates?
- A method to determine which quantum operations can be realized with linear optics with a constructive implementation recipe
- No-go theorems for photon state transformations in quantum linear optics
- Double-slit interferometry as a lossy beam splitter
- Gate-based quantum simulation of Gaussian bosonic circuits on exponentially many modes
- Optimal approximation to unitary quantum operators with linear optics
- Superselection rules and bosonic quantum computational resources
- Advancing Quantum Networking: Some Tools and Protocols for Ideal and Noisy Photonic Systems
- Finding eigenvectors with a quantum variational algorithm
- Nonlocal control of the quantum state of light
- The Computational Power of Non-interacting Particles