Linear optical quantum computing
Linear Optical Quantum Computing or Linear Optics Quantum Computation (LOQC) is a paradigm of universal quantum computation. LOQC uses photons as information carriers, mainly uses linear optical elements including beam splitters, phase shifters, and mirrors to process quantum information, and uses photon detectors and quantum memories to detect and store quantum information.
- 1 Overview of linear optical quantum computation
- 2 Elements of LOQC
- 3 Improvements of KLM protocol
- 4 Integrated photonic circuits for LOQC
- 5 References and external links
Overview of linear optical quantum computation
Although there are many other implementations for quantum information processing (QIP) and computation, optical quantum systems are prominent candidates for QIP, since they link quantum computation and quantum communication in the same framework. Among the optical systems for quantum information processing, the unit of light in a given mode—or photon—is used to represent a qubit. Superpositions of quantum states can be easily represented, encrypted, transmitted and detected using photons. Besides, linear optical elements of optical systems may be the simplest building blocks to realize quantum operations and quantum gates. Each linear optical element equivalently applies a unitary transformation on a finite number of qubits. The system of finite linear optical elements constructs a network of linear optics, which can realize any quantum circuit diagram or quantum network based on the quantum circuit model. Quantum computing with continuous variables is also possible under the linear optics scheme. The universality of 1- and 2-bit gates to implement arbitrary quantum computation has been proven. Up to unitary matrix () operations can be realized by only using mirrors, beam splitters and phase shifters (footnote: it is also a starting point of Boson sampling and computational complexity analysis for LOQC). It points out that each operator with inputs and outputs can be constructed via linear optical elements. Based on the reason of universality and complexity, LOQC usually only uses mirrors, beam splitters, phase shifters and their combinations such as Mach-Zehnder interferometers with phase shifts to implement arbitrary quantum operators. If using a non-deterministic scheme, this fact also implies that LOQC could be resource-inefficient in the sense of the number of optical elements and time steps needed to implement a certain quantum gate or circuit, which is a major drawback of LOQC.
Operations via linear optics elements (beam splitters, mirrors and phase shifters, in this case) reserve the photon statistics of input light. For example, a coherent (classical) light input produces a coherent light output; a superposition of quantum states input yields a quantum light state output. Due to this reason, people usually use single photon source case to analyze the effect of linear optics elements and operators. Multi-photon cases can be implied through some statistical transformations.
An intrinsic problem in using photons as information carriers is that photons hardly interact with each other. This potentially causes the scalability problem of LOQC, since nonlinear operations are hard to implement which can increase the complexity of operators and hence can reduce the resources required to realize a given computational function. There are basically two ways to solve this problem. One is to bring in nonlinear devices into the quantum network. For instance, the Kerr effect can be applied into LOQC to make a single-photon controlled-NOT and other operations. It was believed that adding nonlinearity to the linear optical network was sufficient to realize efficient quantum computation. However, to implement nonlinear optical effects is a difficult task. In 2000, Knill, Laflamme and Milburn proved that it is possible to create universal quantum computers solely with linear optics tools. Their work has become known as the KLM scheme or KLM protocol, which uses linear optical elements, single photon sources and photon detectors as resources to construct a quantum computation scheme involving only ancilla resources, quantum teleportations and error corrections. It uses another way of efficient quantum computation with linear optical systems, and promotes nonlinear operations solely with linear optics elements. The detailed descriptions below will follow the KLM scheme and subsequent improvements upon the KLM scheme.
At its root, the KLM scheme induces an effective interaction between photons by making projective measurements with photodetectors, which falls into the category of non-deterministic quantum computation. It is based on a non-linear sign shift between two qubits that uses two ancilla photons and post-selection. It is also based on the demonstrations that the probability of success of the quantum gates can be made close to one by using entangled states prepared non-deterministically and quantum teleportation with single-qubit operations Otherwise, without a high enough success rate of a single quantum gate unit, it may require an exponential amount of computing resources. Meanwhile, the KLM scheme is based on the fact that proper quantum coding can reduce the resources for obtaining accurately encoded qubits efficiently with respect to the accuracy achieved, and can make LOQC fault-tolerant for photon loss, detector inefficiency and phase decoherence. As a result, LOQC can be robustly implemented through the KLM scheme with a low enough resource requirement to suggest practical scalability, making it as promising a technology for QIP as other known implementations.
Elements of LOQC
The basic building blocks for LOQC are introduced below. As discussed above, the KLM scheme will mainly be followed at first, and the next section will introduce improvements for LOQC that have been studied after KLM's proposal.
- a scalable physical system with well characterized qubits,
- the ability to initialize the state of the qubits to a simple fiducial state, such as ,
- long relevant decoherence times, much longer than the gate operation time,
- a "universal" set of quantum gates,
- a qubit-specific measurement capability; if the system is also aiming for quantum communication, it should also satisfy at least the following two requirements:
- the ability to interconvert stationary and flying qubits, and
- the ability faithfully to transmit flying qubits between specified location.
As a result of using photons and linear optical circuits, in general LOQC systems can easily satisfy conditions 3, 6 and 7. The following sections mainly focus on the implementations of quantum information preparation, readout, manipulation, scalability and error corrections, in order to show that LOQC is a good candidate for QIP.
Qubits and modes
A qubit is one of the fundamental QIP units. A qubit state which can be represented by is a superposition state with probability of being in the state and probability of being in the state, where is the normalization condition. The states and could correspond to 0-photon and 1-photon in a given mode channel. In general, there could be photon states for existing -photon cases. An optical mode is a physically distinguishable optical communication channel, which is usually labeled by subscripts of a quantum state. There are many ways to define distinguishable optical communication channels. For example, a set of modes could be different polarization channels of light which can be picked out with linear optics elements, various frequency channels, or a combination of the two cases above.To avoid losing generality, the discussion below does not limit itself to a particular instance of mode representation. A state written as means a state with 0 photon in mode (could be the "vertical" polarization channel) and 1 photon in the mode (could be the "horizontal" polarization channel). This is a two-qubit case, as two independent modes are used.
To prepare a desired quantum state for LOQC, usually a single-photon state, single-photon generators and some optical modules will be employed. For example, optical parametric down-conversion can be used to conditionally generate the state in the vertical polarization channel at time (subscripts are ignored for this single qubit case). By using conditional single-photon source the output state is guaranteed, although there is a cost associated with the success rate. A joint multi-qubit state can be prepared in a similar (possibly more sophisticated) way. In general, an arbitrary quantum state can be generated for QIP with a proper set of photon sources.
A right-pointed triangle is used to represent the state preparation operator in circuit digrams in this article, following KLM's convention.
State measurement/readout of KLM protocol
In the KLM protocol, a quantum state can be readout or measured using photon detectors along selected modes. If a photodetector detects a photon signal in a given mode, it means the corresponding mode state is a 1-photon state before measuring. As discussed in KLM's proposal, photon loss and detection efficiency dramatically influence the reliability of the measurement results. The corresponding failure issue and error correction methods will be described later.
A left-pointed triangle will be used in circuit diagrams to represent the state readout operator in this article.
Implementations of elementary quantum gates
To achieve universal quantum computing, LOQC should be capable of realizing a complete set of universal gates (please refer to the quantum gate article for the universality of quantum gates). The LOQC implementation of some basic quantum gates are shown here.
Ignoring error correction and other issues, implementations of elementary quantum gates using only mirrors, beam splitters and phase shifters have been summarized in some early publications. See, for example, Ref. The basic principle is that using these linear optics elements, one can construct an arbitrary (at least) 2-qubit unitary operation which links 2 or dual-rail qubits; in other words, those linear optical elements support a complete set of operators. For example, the unitary matrix associated with a beam splitter is
where and are determined by the reflection amplitude and the transmission amplitude (relationship will be given later for a simpler case). For a symmetric beam splitter, which has a phase shift under the unitary transformation condition and , one can show that
A mirror is a special case that the reflecting rate is 1, so that the corresponding unitary operator is a rotation matrix given by
For most cases of mirrors used in QIP, the incident angle . Similarly, a phase shifter operator associates with a unitary operator described by , or, if written in a 2-qubit format
which is equivalent to a rotation of about the -axis. Since any two rotations along orthogonal rotating axes can generate arbitrary rotations in the Bloch sphere, one can use a set of symmetric beam splitters and phase shifters to realize an arbitrary operators for QIP. The figures below are examples of making an equivalent H-gate and CNOT-gate using beam splitters (illustrated as rectangles connecting two sets of crossing lines with parameters and ) and phase shifters (illustrated as rectangles on a line with parameter ).
In the pictures showing the implementations of the quantum gates, each qubit is encoded using two mode channels (horizontal lines), such that represents a photon in the top mode, and represents the photon in the bottom mode. The control line is not shown in the optical realization of the CNOT gate.
In the KLM scheme, qubit manipulations are realized via a series of non-deterministic operations with increasing probability of success. The first improvement to this implementation that will be discussed is the nondeterministic conditional sign flip gate.
Implementation of nondeterministic conditional sign flip gate
An important element of the KLM scheme is the conditional sign flip or nonlinear sign flip gate (NS-gate) as shown in the figure below on the right. It gives a nonlinear phase shift on one mode conditioned on two ancilla modes.
In the picture on the right, the labels on the left of the bottom box indicate the modes. The output is accepted only if there is one photon in mode 2 and zero photons in mode 3 detected, where the ancilla modes 2 and 3 are prepared as the state. The subscript is the phase shift of the output, and is determined by the parameters of inner optical elements chosen. For case, the following parameters are used: , , , , , , and . For the case, the parameters can be chosen as , , , , , , and . Similarly, by changing the parameters of beam splitters and phase shifters, or by combining multiple NS gates, one can create various quantum gates. By sharing two ancilla modes, Knill invented the following controlled-Z gate (see the figure on the right) with success rate of 2/27.
The advantage of using NS gates is that the output can be guaranteed conditionally processed with some success rate which can be improved to nearly 1. Using the configuration as shown in the figure above on the right, the success rate of an NS gate is . To further improve successful rate and solve the scalability problem, one needs to use gate teleportation, described next.
Gates teleportation and near-deterministic gates
Given the use of non-deterministic quantum gates for LOQC, there may be only a very small probability that a circuit with gates with a single-gate success possibility of will work perfectly by running the circuit once. Therefore, the operations must on average be repeated on the order of times or such systems must be run in parallel. Either way, the required time or circuit resources scale exponentially. In 1999, Gottesman and Chuang pointed out that one can prepare the probabilistic gates offline from the quantum circuit by using quantum teleportation. The basic idea is that each probabilistic gate is prepared offline, and the successful event signal is teleported back to the quantum circuit. An illustration of quantum teleportation is given in the figure on the right. As can be seen, the quantum state in mode 1 is teleported to mode 3 through a Bell measurement and an entangled resource Bell state , where the state 1 may be regarded as prepared offline.
By using teleportation, many probabilistic gates may be prepared in parallel with -photon entangled states, sending a control signal to the output mode. Through using probabilistic gates in parallel offline, a success rate of can be obtained, which is close to 1 as becomes large. The number of gates needed to realize a certain accuracy scales polynomially rather than exponentially. In this sense, the KLM protocol is resource-efficient. One experiment using the KLM originally proposed controlled-NOT gate with four-photon input was demonstrated in 2011, and gave an average fidelity of . This result shows that the KLM proposal is feasible for quantum computing tasks.
Error detection and correction
As discussed above, the success probability of teleportation gates can be made arbitrarily close to 1 by preparing larger entangled states. However, the asymptotic approach to the probability of 1 is quite slow with respect to the photon number . A more efficient approach is to encode against gate failure (error) based on the well-defined failure mode of the teleporters. In the KLM protocol, the teleporter's failure can be diagnosed if zero or photons are detected. If the computing device can be encoded against accidental measurements of some certain number of photons, then it will be possible to correct gate failures and the probability of eventually successfully applying the gate will increase.
Many experimental trials using this idea has been carried out (see, for example, Refs). However, a large number of operations are still needed to achieve a success probability very close to 1. In order to promote linear optical quantum computing as a viable technology, more efficient quantum gates are needed. This is the subject of the next part.
Improvements of KLM protocol
There are many ways to improve the KLM protocol for LOQC and to make LOQC more promising. Below are some proposals from the review article Ref. and other subsequent articles:
- Using cluster states in optical quantum computing.
- The Yoran-Reznik protocol.
- The Nielsen protocol.
- The Browne-Rudolph protocol.
- Circuit-based optical quantum computing revisited.
- Using one-step deterministic multipartite entanglement purification with linear optics to generate entangled photon states.
Integrated photonic circuits for LOQC
In reality, assembling a whole bunch (possibly on the order of ) of beam splitters and phase shifters in an optical experimental table is challenging and unrealistic. To make LOQC functional, useful and compact, one solution is to miniaturize all linear optical elements, photon sources and photon detectors, and to integrate them onto a chip. If using a semiconductor platform, single photon sources and photon detectors can be easily integrated. To separate modes, there have been integrated arrayed waveguide grating (AWG) which are commonly used as optical (de)multiplexers in wavelength division multiplexed (WDM). In principle, beam splitters and other linear optical elements can also be miniaturized or replaced by equivalent nanophotonics elements. Some progress in these endeavors can be found in the literature, for example, Refs. In 2013, the first integrated photonic circuit for quantum information processing has been demonstrated using photonic crystal waveguide to realize the interaction between guided field and atoms.
- Adami, C.; Cerf, N. J. (1999). "Quantum computation with linear optics". Quantum Computing and Quantum Communications. Lecture Notes in Computer Science (Springer) 1509: 391–401. doi:10.1007/3-540-49208-9_36. ISBN 978-3-540-65514-5.
- Knill, E.; Laflamme, R.; Milburn, G. J. (2001). "A scheme for efficient quantum computation with linear optics". Nature (Nature Publishing Group) 409 (6816): 46–52. Bibcode:2001Natur.409...46K. doi:10.1038/35051009. PMID 11343107.
- Kok, P.; Munro, W. J.; Nemoto, K.; Ralph, T. C.; Dowling, J. P.; Milburn, G. J. (2007). "Linear optical quantum computing with photonic qubits". Rev. Mod. Phys. (American Physical Society) 79: 135–174. arXiv:quant-ph/0512071. Bibcode:2007RvMP...79..135K. doi:10.1103/RevModPhys.79.135.
- Lloyd, S.; Braunstein, S. L. (2003). "Quantum computation over continuous variables". Quantum Information with Continuous Variables (Springer) 82 (8): 9–17. arXiv:quant-ph/9810082. Bibcode:1999PhRvL..82.1784L. doi:10.1103/PhysRevLett.82.1784.
- DiVincenzo, David P. (1995-02-01). "Two-bit gates are universal for quantum computation". Physical Review A 51 (2): 1015–1022. arXiv:cond-mat/9407022. Bibcode:1995PhRvA..51.1015D. doi:10.1103/PhysRevA.51.1015. Retrieved 2014-01-25.
- Deutsch, David; Barenco, Adriano; Ekert, Artur (1995-06-08). "Universality in Quantum Computation". Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences 449 (1937): 669–677. arXiv:quant-ph/9505018. Bibcode:1995RSPSA.449..669D. doi:10.1098/rspa.1995.0065. ISSN 1471-2946. Retrieved 2014-01-25.
- Barenco, Adriano (1995-06-08). "A Universal Two-Bit Gate for Quantum Computation". Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences 449 (1937): 679–683. arXiv:quant-ph/9505016. Bibcode:1995RSPSA.449..679B. doi:10.1098/rspa.1995.0066. ISSN 1471-2946. Retrieved 2014-01-25.
- Lloyd, Seth (1995-07-10). "Almost Any Quantum Logic Gate is Universal". Physical Review Letters 75 (2): 346–349. Bibcode:1995PhRvL..75..346L. doi:10.1103/PhysRevLett.75.346. Retrieved 2014-01-25.
- Reck, Michael; Zeilinger, Anton; Bernstein, Herbert J.; Bertani, Philip (1994-07-04). "Experimental realization of any discrete unitary operator". Physical Review Letters 73 (1): 58–61. Bibcode:1994PhRvL..73...58R. doi:10.1103/PhysRevLett.73.58. Retrieved 2014-01-25.
- Milburn, G. J. (1989-05-01). "Quantum optical Fredkin gate". Physical Review Letters 62 (18): 2124–2127. Bibcode:1989PhRvL..62.2124M. doi:10.1103/PhysRevLett.62.2124. Retrieved 2014-01-25.
- Hutchinson, G. D.; Milburn, G. J. (2004). "Nonlinear quantum optical computing via measurement". Journal of Modern Optics 51 (8): 1211–1222. arXiv:quant-ph/0409198. Bibcode:2004JMOp...51.1211H. doi:10.1080/09500340408230417. ISSN 0950-0340. Retrieved 2014-01-25.
- Lloyd, Seth (1992-07-20). "Any nonlinear gate, with linear gates, suffices for computation". Physics Letters A 167 (3): 255–260. Bibcode:1992PhLA..167..255L. doi:10.1016/0375-9601(92)90201-V. ISSN 0375-9601. Retrieved 2014-01-25.
- Adleman, Leonard M.; DeMarrais, Jonathan; Huang, Ming-Deh A. (1997-10). "Quantum Computability". SIAM Journal on Computing 26 (5): 1524–1540. doi:10.1137/S0097539795293639. ISSN 0097-5397. Retrieved 2014-01-26. Check date values in:
- Bennett, Charles H.; Brassard, Gilles; Crépeau, Claude; Jozsa, Richard; Peres, Asher; Wootters, William K. (1993-03-29). "Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels". Physical Review Letters 70 (13): 1895–1899. Bibcode:1993PhRvL..70.1895B. doi:10.1103/PhysRevLett.70.1895. Retrieved 2014-01-26.
- Gottesman, Daniel; Chuang, Isaac L. (1999-11-25). "Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations". Nature 402 (6760): 390–393. arXiv:quant-ph/9908010. Bibcode:1999Natur.402..390G. doi:10.1038/46503. ISSN 0028-0836. Retrieved 2014-01-26.
- DiVincenzo, D.; Loss, D. (1998). "Quantum information is physical". Superlattices and Microstructures 23 (3–4): 419–432. arXiv:cond-mat/9710259. Bibcode:1998SuMi...23..419D. doi:10.1006/spmi.1997.0520.
- Divincenzo, D. P. (2000). "The Physical Implementation of Quantum Computation". Fortschritte der Physik 48 (9–11): 771–783. arXiv:quant-ph/0002077. Bibcode:2000ForPh..48..771D. doi:10.1002/1521-3978(200009)48:9/11<771::AID-PROP771>3.0.CO;2-E.
- Knill, E. (2002-11-14). "Quantum gates using linear optics and postselection". Physical Review A 66 (5): 052306. arXiv:quant-ph/0110144. Bibcode:2002PhRvA..66e2306K. doi:10.1103/PhysRevA.66.052306. Retrieved 2014-01-26.
- Okamoto, Ryo; O’Brien, Jeremy L.; Hofmann, Holger F.; Takeuchi, Shigeki (2011-06-21). "Realization of a Knill-Laflamme-Milburn controlled-NOT photonic quantum circuit combining effective optical nonlinearities". Proceedings of the National Academy of Sciences 108 (25): 10067–10071. arXiv:1006.4743. Bibcode:2011PNAS..10810067O. doi:10.1073/pnas.1018839108. ISSN 0027-8424. PMC 3121828. PMID 21646543. Retrieved 2014-01-26.
- O’Brien, J. L.; Pryde, G. J.; White, A. G.; Ralph, T. C. (2005-06-09). "High-fidelity Z-measurement error encoding of optical qubits". Physical Review A (APS) 71 (6): 060303. arXiv:quant-ph/0408064. Bibcode:2005PhRvA..71f0303O. doi:10.1103/PhysRevA.71.060303. Retrieved 2014-01-26.
- Hayes, A. J. F.; Gilchrist, A.; Myers, C. R.; Ralph, T. C. (2004-12-01). "Utilizing encoding in scalable linear optics quantum computing". Journal of Optics B: Quantum and Semiclassical Optics (IOP Publishing) 6 (12): 533. arXiv:quant-ph/0408098. Bibcode:2004JOptB...6..533H. doi:10.1088/1464-4266/6/12/008. ISSN 1464-4266. Retrieved 2014-01-26.
- Pittman, T. B.; Jacobs, B. C.; Franson, J. D. (2005-05-31). "Demonstration of quantum error correction using linear optics". Physical Review A (APS) 71 (5): 052332. arXiv:quant-ph/0502042. Bibcode:2005PhRvA..71e2332P. doi:10.1103/PhysRevA.71.052332. Retrieved 2014-01-26.
- Sheng, Y.-B.; Long, G. L.; Deng, F.-G. "One-step deterministic multipartite entanglement purification with linear optics". Physics Letters A 2012 (376): 314–319. doi:10.1016/j.physleta.2011.09.056.
- Gevaux, D (2008). "Optical quantum circuits: To the quantum level". Nature Photonics 2: 337–337. doi:10.1038/nphoton.2008.92.
- Politi, A.; Cryan, M. J.; Rarity, J. G.; Yu, S.; O'Brien, J. L. (2008). "Silica-on-silicon waveguide quantum circuits". Science 320: 646–649. doi:10.1126/science.1155441.
- Thompson, M. G.; Politi, A.; Matthews, J. C.; O'Brien, J. L. (2011). "Integrated waveguide circuits for optical quantum computing". IET circuits, devices & systems 5: 94–102. doi:10.1049/iet-cds.2010.0108.
- Goban, A.; Hung, C. -L.; Yu, S. -P.; Hood, J. D.; Muniz, J. A.; Lee, J. H.; Martin, M. J.; McClung, A. C. et al. (2013). "Atom-Light Interactions in Photonic Crystals". arXiv:1312.3446 [physics.optics].