Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:quant-ph/0504108 · Journal of Optics B Quantum and Semiclassical Optics

An algebraic approach to linear-optical schemes for deterministic quantum computing

Paolo Aniello, Ruben Coen-Cagli

Published Nov 22, 2005• 13 citations
arXivHTMLPDF

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/analyser.

DOI
10.1088/1464-4266/7/12/038

Related papers

Deterministic Linear Optics Quantum Computation with Single Photon Qubits

Nadav Yoran, Benni Reznik

We suggest an efficient scheme for quantum computation with linear optical elements, where the qubits are encoded in single photon states. The scheme reduces the resources required per logical gate by several orders of magnitude, compared to an earlier proposal of Knill, Laflamme, and Milburn, while the resource overhead per gate is independent of the length of the computation. A central feature of the scheme, enabling these improvements, is the prior construction of a "linked" photon state designed according to the particular quantum circuit one wishes to process. Once this state has been successfully prepared, the computation is pursued deterministically by a sequence of teleportation steps.

arXiv:quant-ph/0303008•Physical Review Letters•Jul 17, 2003•138 citations

Experimental Implementation of Efficient Linear Optics Quantum Computation

Gerard J Milburn, Timothy C. Ralph, Andrew G. White

One of the earliest proposals for implementing quantum computation was based on encoding each qubit in two optical modes, each containing exactly one photon. However, it is extremely difficult to unitarily couple two optical modes containing few photons. In 2001, Knill, Laflamme, and Milburn (KLM) found a way to circumvent this restriction and implement efficient quantum computation using only passive linear optics, photodetectors, and single photon sources. This efficient linear optical quantum computing (LOQC) is distinct from other linear optical schemes that are not efficiently scalable. The technological requirements for even the simplest gates in the KLM proposal initially seemed out of reach. However, Ralph, White, Munro and Milburn soon showed that, in principle, demonstrations of key gates and techniques could be achieved with current technology. The objective of the research undertaken in this project was to produce, in three years, a prototype two-qubit gate for photons using the KLM linear optics quantum computation approach, and to develop a blue-print for a multiple qubit device that might be implemented over a longer time scale. A non-deterministic two-qubit gate was demonstrated that operates with high fidelity. A number of key tasks were demonstrated using this gate, and several theoretical investigations of short, medium, and longer term issues for the LOQC approach were successfully completed.

•Nov 25, 2004•0 citations

No-go theorem for passive single-rail linear optical quantum computing

Lian-Ao Wu, Philip John Walther, Daniel A. Lidar

Photonic quantum systems are among the most promising architectures for quantum computers. It is well known that for dual-rail photons effective non-linearities and near-deterministic non-trivial two-qubit gates can be achieved via the measurement process and by introducing ancillary photons. While in principle this opens a legitimate path to scalable linear optical quantum computing, the technical requirements are still very challenging and thus other optical encodings are being actively investigated. One of the alternatives is to use single-rail encoded photons, where entangled states can be deterministically generated. Here we prove that even for such systems universal optical quantum computing using only passive optical elements such as beam splitters and phase shifters is not possible. This no-go theorem proves that photon bunching cannot be passively suppressed even when extra ancilla modes and arbitrary number of photons are used. Our result provides useful guidance for the design of optical quantum computers.

Scientific Reports•Mar 6, 2013•16 citations

No-go theorem for passive single-rail linear optical quantum computing

Lian-Ao Wu, Philip John Walther, Daniel A. Lidar

Photonic quantum systems are among the most promising architectures for quantum computers. It is well known that for dual-rail photons effective non-linearities and near-deterministic non-trivial two-qubit gates can be achieved via the measurement process and by introducing ancillary photons. While in principle this opens a legitimate path to scalable linear optical quantum computing, the technical requirements are still very challenging and thus other optical encodings are being actively investigated. One of the alternatives is to use single-rail encoded photons, where entangled states can be deterministically generated. Here we prove that even for such systems universal optical quantum computing using only passive optical elements such as beam splitters and phase shifters is not possible. This no-go theorem proves that photon bunching cannot be passively suppressed even when extra ancilla modes and arbitrary number of photons are used. Our result provides useful guidance for the design of optical quantum computers.

arXiv:1107.4646•Jul 23, 2011•0 citations

Efficient linear optics quantum computation

Gerard J Milburn, Timothy C. Ralph, Andrew G. White +2 more

Two qubit gates for photons are generally thought to require exotic materials with huge optical nonlinearities. We show here that, if we accept two qubit gates that only work conditionally, single photon sources, passive linear optics and particle detectors are sufficient for implementing reliable quantum algorithms. The conditional nature of the gates requires feed-forward from the detectors to the optical elements. Without feed forward, non-deterministic quantum computation is possible. We discuss one proposed single photon source based on the surface acoustic wave guiding of single electrons.

Quantum Information and Computation•Dec 1, 2001•14 citations

Efficient Linear Optics Quantum Computation

Emanuel H. Knill, Raymond Laflamme, Gerard J Milburn

We investigate the computational power of passive and active linear optical elements and photo-detectors. We show that single photon sources, passive linear optics and photo-detectors are sufficient for implementing reliable quantum algorithms. Feedback from the detectors to the optical elements is required for this implementation. Without feedback, non-deterministic quantum computation is possible. A single photon source sufficient for quantum computation can be built with an active linear optical element (squeezer) and a photo-detector. The overheads associated with using only linear optics appear to be sufficiently low to make quantum computation based on our proposal a viable alternative.

arXiv:quant-ph/0006088•Jun 20, 2000•28 citations
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/analyser.
We suggest an efficient scheme for quantum computation with linear optical elements, where the qubits are encoded in single photon states. The scheme reduces the resources required per logical gate by several orders of magnitude, compared to an earlier proposal of Knill, Laflamme, and Milburn, while the resource overhead per gate is independent of the length of the computation. A central feature of the scheme, enabling these improvements, is the prior construction of a "linked" photon state designed according to the particular quantum circuit one wishes to process. Once this state has been successfully prepared, the computation is pursued deterministically by a sequence of teleportation steps.
One of the earliest proposals for implementing quantum computation was based on encoding each qubit in two optical modes, each containing exactly one photon. However, it is extremely difficult to unitarily couple two optical modes containing few photons. In 2001, Knill, Laflamme, and Milburn (KLM) found a way to circumvent this restriction and implement efficient quantum computation using only passive linear optics, photodetectors, and single photon sources. This efficient linear optical quantum computing (LOQC) is distinct from other linear optical schemes that are not efficiently scalable. The technological requirements for even the simplest gates in the KLM proposal initially seemed out of reach. However, Ralph, White, Munro and Milburn soon showed that, in principle, demonstrations of key gates and techniques could be achieved with current technology. The objective of the research undertaken in this project was to produce, in three years, a prototype two-qubit gate for photons using the KLM linear optics quantum computation approach, and to develop a blue-print for a multiple qubit device that might be implemented over a longer time scale. A non-deterministic two-qubit gate was demonstrated that operates with high fidelity. A number of key tasks were demonstrated using this gate, and several theoretical investigations of short, medium, and longer term issues for the LOQC approach were successfully completed.
Photonic quantum systems are among the most promising architectures for quantum computers. It is well known that for dual-rail photons effective non-linearities and near-deterministic non-trivial two-qubit gates can be achieved via the measurement process and by introducing ancillary photons. While in principle this opens a legitimate path to scalable linear optical quantum computing, the technical requirements are still very challenging and thus other optical encodings are being actively investigated. One of the alternatives is to use single-rail encoded photons, where entangled states can be deterministically generated. Here we prove that even for such systems universal optical quantum computing using only passive optical elements such as beam splitters and phase shifters is not possible. This no-go theorem proves that photon bunching cannot be passively suppressed even when extra ancilla modes and arbitrary number of photons are used. Our result provides useful guidance for the design of optical quantum computers.
Photonic quantum systems are among the most promising architectures for quantum computers. It is well known that for dual-rail photons effective non-linearities and near-deterministic non-trivial two-qubit gates can be achieved via the measurement process and by introducing ancillary photons. While in principle this opens a legitimate path to scalable linear optical quantum computing, the technical requirements are still very challenging and thus other optical encodings are being actively investigated. One of the alternatives is to use single-rail encoded photons, where entangled states can be deterministically generated. Here we prove that even for such systems universal optical quantum computing using only passive optical elements such as beam splitters and phase shifters is not possible. This no-go theorem proves that photon bunching cannot be passively suppressed even when extra ancilla modes and arbitrary number of photons are used. Our result provides useful guidance for the design of optical quantum computers.
Two qubit gates for photons are generally thought to require exotic materials with huge optical nonlinearities. We show here that, if we accept two qubit gates that only work conditionally, single photon sources, passive linear optics and particle detectors are sufficient for implementing reliable quantum algorithms. The conditional nature of the gates requires feed-forward from the detectors to the optical elements. Without feed forward, non-deterministic quantum computation is possible. We discuss one proposed single photon source based on the surface acoustic wave guiding of single electrons.
We investigate the computational power of passive and active linear optical elements and photo-detectors. We show that single photon sources, passive linear optics and photo-detectors are sufficient for implementing reliable quantum algorithms. Feedback from the detectors to the optical elements is required for this implementation. Without feedback, non-deterministic quantum computation is possible. A single photon source sufficient for quantum computation can be built with an active linear optical element (squeezer) and a photo-detector. The overheads associated with using only linear optics appear to be sufficiently low to make quantum computation based on our proposal a viable alternative.