Optical quantum computation was limited to a few photon applications such as quantum cryptography and partial teleportation until 2001. Then the possibility of performing arbitrary logic conditional on certain detection outcomes was introduced by Knill, Laflamme and Milburn ( Nature 2001 409 46). Simple circuits consisting of single photon sources, entangled pair sources, linear optical elements and high efficiency photon counting detectors can be used to develop probabilistic two-photon logic gates. Initially such gates show a low probability of success but can approach the success rate of deterministic (non-linear) logic at the cost of added complexity. These developments have led to the emergence of a novel field of research aimed at improving the efficiency of linear logic and developing the efficient sources and detectors for its implementation. This topical issue of Journal of Optics B: Quantum and Semiclassical Optics is devoted to recent advances in this field. Key to all linear optics gates is the interference effect between separate photons that have no previous history. In this issue we include the first experiment to show such an effect (Rarity et al ), on which many later experiments are based. These interference effects can then be used to entangle separate pairs of particles into higher order entangled states (Zou et al 2005 J. Opt. B: Quantum Semiclass. Opt. 7 119–121) and also to establish entanglement between matter qubits (Kok et al ). Quantum dot single photon sources suitable for linear optics quantum logic are discussed in the paper by Unitt et al while a waveguide source of pair photons is presented by Ducci et al . The difficulties in scaling linear optics quantum computing arise from the low success probabilities of the gates. Introducing a small amount of non-linearity could allow unit efficiency gates to be designed (Munro et al ) while large non-linearities generated by the collective effects in EIT could be used to implement a wide variety of quantum logic functions (Petrosyan). The development of algorithms suitable for optical implementation is addressed by Ellinas et al . Key contributors to this issue are collaborating in the project IST:38864 RAMBOQ which has a primary goal of developing linear optics computation tools and techniques.
Optical quantum computation was limited to a few photon applications such as quantum cryptography and partial teleportation until 2001. Then the possibility of performing arbitrary logic conditional on certain detection outcomes was introduced by Knill, Laflamme and Milburn ( Nature 2001 409 46). Simple circuits consisting of single photon sources, entangled pair sources, linear optical elements and high efficiency photon counting detectors can be used to develop probabilistic two-photon logic gates. Initially such gates show a low probability of success but can approach the success rate of deterministic (non-linear) logic at the cost of added complexity. These developments have led to the emergence of a novel field of research aimed at improving the efficiency of linear logic and developing the efficient sources and detectors for its implementation. This topical issue of Journal of Optics B: Quantum and Semiclassical Optics is devoted to recent advances in this field. Key to all linear optics gates is the interference effect between separate photons that have no previous history. In this issue we include the first experiment to show such an effect (Rarity et al ), on which many later experiments are based. These interference effects can then be used to entangle separate pairs of particles into higher order entangled states (Zou et al 2005 J. Opt. B: Quantum Semiclass. Opt. 7 119–121) and also to establish entanglement between matter qubits (Kok et al ). Quantum dot single photon sources suitable for linear optics quantum logic are discussed in the paper by Unitt et al while a waveguide source of pair photons is presented by Ducci et al . The difficulties in scaling linear optics quantum computing arise from the low success probabilities of the gates. Introducing a small amount of non-linearity could allow unit efficiency gates to be designed (Munro et al ) while large non-linearities generated by the collective effects in EIT could be used to implement a wide variety of quantum logic functions (Petrosyan). The development of algorithms suitable for optical implementation is addressed by Ellinas et al . Key contributors to this issue are collaborating in the project IST:38864 RAMBOQ which has a primary goal of developing linear optics computation tools and techniques.
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.
Photonics is a promising architecture for the realisation of quantum information processing, since the two-photon interaction, or non-linearity, necessary to build logical gates can efficiently be realised by the use of interference with ancillary photons and detection 1 Knill, E, Laflamme, R and Milburn, GJ. 2001. Nature, 409: 46–52. [Crossref], [PubMed], [Web of Science ®] , [Google Scholar]. Although single-photon sources and detectors are pivotal in realisations of such systems, clear guidelines for the required performance of realistic systems are yet to be defined. We present our detailed numerical simulation of several quantum optics circuits including sources and detectors all represented in multi-dimensional Fock-spaces, which allows us to obtain experimentally realistic performance bounds for these devices. In addition, the single-photon source based on switched parametric down-conversion is studied, which in principle could reach the required performance. Three approaches for implementing the switching hierarchy of the photons are simulated, and their anticipated performance is obtained. Our results define the bar for the optical devices needed to achieve the first level of linear-optics quantum computing outside the coincidence basis.
Linear optics with photon counting is a prominent candidate for practical quantum computing. The protocol by Knill, Laflamme, and Milburn [2001, Nature (London) 409, 46] explicitly demonstrates that efficient scalable quantum computing with single photons, linear optical elements, and projective measurements is possible. Subsequently, several improvements on this protocol have started to bridge the gap between theoretical scalability and practical implementation. The original theory and its improvements are reviewed, and a few examples of experimental two-qubit gates are given. The use of realistic components, the errors they induce in the computation, and how these errors can be corrected is discussed.
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.
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.
One of the main problems that optical quantum computing has to overcome is the efficient construction of two-photon gates. Theoretically these gates can be realized using Kerr-nonlinearities, but the techniques involved are experimentally very difficult. We therefore employ linear optics with projective measurements to generate these non-linearities. The downside is that the measurement-induced nonlinearities achieved with linear optics are less versatile and the success rate can be quite low. This project is mainly the result of a literature study but also a theoretical work on the physics behind quantum optical multiports which is essential for realizing two-photon gates. By applying different postcorrection techniques we increase the probability of success in a modifed non-linear sign shift gate which is foundational for the two photon controlled-NOT gate. We prove that it's not possible to correct the states by only using a single beam splitter. We show that it might be possible to increase the probability of success using a more complex setup with at least two error-correcting beam splitters.