An Algebraic Approach to Linear-Optical Schemes for Deterministic Quantum Computing

Abstract

Linear-Optical Passive (LOP) devices and photon counters are sufficient to implement universal quantum computation with single photons, and particular schemes have already been proposed. In this paper we discuss the link between the algebraic structure of LOP transformations and quantum computing. We first show how to decompose the Fock space of N optical modes in finite-dimensional subspaces that are suitable for encoding strings of qubits and invariant under LOP transformations (these subspaces are related to the spaces of irreducible unitary representations of U(N)). Next we show how to design in algorithmic fashion LOP circuits which implement any quantum circuit deterministically. We also present some simple examples, such as the circuits implementing a CNOT gate and a Bell-State Generator/Analyzer.

new version with minor modifications

References in corpus (2)

• Deterministic Controlled-NOT gate for single-photon two-qubit quantum logic
• Conditional sign flip via teleportation

Cited by in corpus (7)

• SU(1,1) symmetry of multimode squeezed states
• A method to determine which quantum operations can be realized with linear optics with a constructive implementation recipe
• Multiple photon Hamiltonian in linear quantum optical networks
• Quasiprobability methods for multimode conditional optical gates
• Optimal approximation to unitary quantum operators with linear optics
• Engineering multiphoton states for linear optics computation
• Schwinger Representation for the Symmetric Group: Two explicit constructions for the Carrier Space