Drop impact: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>ChrisGualtieri
m Checkwiki + General Fixes using AWB
 
en>Magioladitis
m Replace unicode entity nbsp for character [NBSP] (or space) per WP:NBSP + other fixes, replaced: → (9) using AWB (10331)
 
Line 1: Line 1:
'''Linear Optical Quantum Computing''' or '''Linear Optics Quantum Computation''' ('''''LOQC''''') is a paradigm of [[quantum computer|universal quantum computation]]. LOQC uses photons as information carriers, mainly uses [[linear optics|linear optical]] elements including [[beam splitter]]s, [[phase shift module|phase shifters]], and [[mirrors]] to process quantum information, and uses photon detectors and quantum memories to detect and store [[quantum information]].<ref name="Adami1999">{{cite journal | title=Quantum computation with linear optics | author1=Adami, C. | author2=Cerf, N. J. | journal=Quantum Computing and Quantum Communications | year=1999 | pages=391–401 | publisher=Springer | doi=10.1007/3-540-49208-9_36 | series=Lecture Notes in Computer Science | isbn=978-3-540-65514-5 | volume=1509}}</ref><ref name="Knill2001">{{cite journal | title=A scheme for efficient quantum computation with linear optics | author1=Knill, E. | journal=Nature | year=2001 | volume=409 | pages=46–52 | author2=Laflamme, R. | author3=Milburn, G. J. | publisher=Nature Publishing Group | doi=10.1038/35051009 | pmid=11343107 | issue=6816}}</ref><ref name="Kok2007">{{cite journal | title=Linear optical quantum computing with photonic qubits | author=Kok, P. | journal=Rev. Mod. Phys. | year=2007 | volume=79 | pages=135–174 | author2=Munro, W. J. | author3=Nemoto, K. | author4=Ralph, T. C. | author5=Dowling, J. P. | author6=Milburn, G. J. | publisher=American Physical Society | doi=10.1103/RevModPhys.79.135}}</ref>
Dancer or Choreographer Rusty Broadbent from Big Trout Lake, has hobbies including dogs, property developers in singapore condo launch; [http://www.excellentrenewable.com/?option=com_k2&view=itemlist&task=user&id=45870 mouse click the next webpage], and crocheting. Finds the globe an interesting place having spent 9 days at Archaeological Site of Olympia.
 
== Overview of linear optical quantum computation ==
 
Although there are many other implementations for '''[[quantum information processing]]''' ('''''QIP''''') and computation, [[quantum optics|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, [[quantum encryption|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 gate]]s. 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.<ref name="Lloyd2003">{{cite journal | title=Quantum computation over continuous variables | author=Lloyd, S. | journal=Quantum Information with Continuous Variables | year=2003 | pages=9–17 | author2=Braunstein, S. L. | publisher=Springer | bibcode=1999PhRvL..82.1784L | volume=82 | doi=10.1103/PhysRevLett.82.1784 | issue=8}}</ref>  The universality of 1- and 2-bit [[quantum gate|gates]] to implement arbitrary quantum computation has been proven.<ref>{{Cite journal
| doi = 10.1103/PhysRevA.51.1015
| volume = 51
| issue = 2
| pages = 1015–1022
| last = DiVincenzo
| first = David P.
| title = Two-bit gates are universal for quantum computation
| journal = Physical Review A
| accessdate = 2014-01-25
| date = 1995-02-01
| url = http://link.aps.org/doi/10.1103/PhysRevA.51.1015
}}</ref><ref>{{Cite journal
| doi = 10.1098/rspa.1995.0065
| issn = 1471-2946
| volume = 449
| issue = 1937
| pages = 669–677
| last = Deutsch
| first = David
| first2 = Adriano
| last2 = Barenco
| first3 = Artur
| last3 = Ekert
| title = Universality in Quantum Computation
| journal = Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences
| accessdate = 2014-01-25
| date = 1995-06-08
| url = http://rspa.royalsocietypublishing.org/content/449/1937/669
}}</ref><ref>{{Cite journal
| doi = 10.1098/rspa.1995.0066
| issn = 1471-2946
| volume = 449
| issue = 1937
| pages = 679–683
| last = Barenco
| first = Adriano
| title = A Universal Two-Bit Gate for Quantum Computation
| journal = Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences
| accessdate = 2014-01-25
| date = 1995-06-08
| url = http://rspa.royalsocietypublishing.org/content/449/1937/679
}}</ref><ref>{{Cite journal
| doi = 10.1103/PhysRevLett.75.346
| volume = 75
| issue = 2
| pages = 346–349
| last = Lloyd
| first = Seth
| title = Almost Any Quantum Logic Gate is Universal
| journal = Physical Review Letters
| accessdate = 2014-01-25
| date = 1995-07-10
| url = http://link.aps.org/doi/10.1103/PhysRevLett.75.346
}}</ref> Up to <math>N\times N</math> unitary matrix (<math>U(N)</math>) operations can be realized by only using mirrors, beam splitters and phase shifters<ref>{{Cite journal
| doi = 10.1103/PhysRevLett.73.58
| volume = 73
| issue = 1
| pages = 58–61
| last = Reck
| first = Michael
| first2 = Anton
| last2 = Zeilinger
| first3 = Herbert J.
| last3 = Bernstein
| first4 = Philip
| last4 = Bertani
| title = Experimental realization of any discrete unitary operator
| journal = Physical Review Letters
| accessdate = 2014-01-25
| date = 1994-07-04
| url = http://link.aps.org/doi/10.1103/PhysRevLett.73.58
}}</ref> (footnote: it is also a starting point of [[Boson sampling]] and [[Computational complexity theory|computational complexity]] analysis for LOQC). It points out that each <math>U(N)</math> operator with <math>N</math> inputs and <math>N</math> outputs can be constructed  via <math>\mathcal{O}(N^2)</math> 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 interferometer]]s with phase shifts to implement arbitrary [[operator (physics)|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 light|coherent]] (classical) light input produces a coherent light output; a superposition of quantum states input yields a [[nonclassical light|quantum light state]] output.<ref name="Kok2007" /> 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 gate|controlled-NOT]] and other operations.<ref>{{Cite journal
| doi = 10.1103/PhysRevLett.62.2124
| volume = 62
| issue = 18
| pages = 2124–2127
| last = Milburn
| first = G. J.
| title = Quantum optical Fredkin gate
| journal = Physical Review Letters
| accessdate = 2014-01-25
| date = 1989-05-01
| url = http://link.aps.org/doi/10.1103/PhysRevLett.62.2124
}}</ref><ref>{{Cite journal
| doi = 10.1080/09500340408230417
| issn = 0950-0340
| volume = 51
| issue = 8
| pages = 1211–1222
| last = Hutchinson
| first = G. D.
| first2 = G. J.
| last2 = Milburn
| title = Nonlinear quantum optical computing via measurement
| journal = Journal of Modern Optics
| accessdate = 2014-01-25
| date = 2004
| url = http://www.tandfonline.com/doi/abs/10.1080/09500340408230417
}}</ref> It was believed that adding nonlinearity to the linear optical network was sufficient to realize efficient quantum computation.<ref>{{Cite journal
| doi = 10.1016/0375-9601(92)90201-V
| issn = 0375-9601
| volume = 167
| issue = 3
| pages = 255–260
| last = Lloyd
| first = Seth
| title = Any nonlinear gate, with linear gates, suffices for computation
| journal = Physics Letters A
| accessdate = 2014-01-25
| date = 1992-07-20
| url = http://www.sciencedirect.com/science/article/pii/037596019290201V
}}</ref> 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.<ref name="Knill2001" /> 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 (quantum computing)|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.<ref name="Kok2007" /> 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 [[photodetector]]s, which falls into the category of [[Non-deterministic Turing machine|non-deterministic quantum computation]]. It is based on a non-linear sign shift between two qubits that uses two ancilla photons and post-selection.<ref>{{Cite journal
| doi = 10.1137/S0097539795293639
| issn = 0097-5397
| volume = 26
| issue = 5
| pages = 1524–1540
| last = Adleman
| first = Leonard M.
| first2 = Jonathan
| last2 = DeMarrais
| first3 = Ming-Deh A.
| last3 = Huang
| title = Quantum Computability
| journal = SIAM Journal on Computing
| accessdate = 2014-01-26
| date = 1997-10
| url = http://epubs.siam.org/doi/abs/10.1137/S0097539795293639
}}</ref> 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<ref>{{Cite journal
| doi = 10.1103/PhysRevLett.70.1895
| volume = 70
| issue = 13
| pages = 1895–1899
| last = Bennett
| first = Charles H.
| first2 = Gilles
| last2 = Brassard
| first3 = Claude
| last3 = Crépeau
| first4 = Richard
| last4 = Jozsa
| first5 = Asher
| last5 = Peres
| first6 = William K.
| last6 = Wootters
| title = Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
| journal = Physical Review Letters
| accessdate = 2014-01-26
| date = 1993-03-29
| url = http://link.aps.org/doi/10.1103/PhysRevLett.70.1895
}}</ref><ref name="Gottesman1999">{{Cite journal
| doi = 10.1038/46503
| issn = 0028-0836
| volume = 402
| issue = 6760
| pages = 390–393
| last = Gottesman
| first = Daniel
| first2 = Isaac L.
| last2 = Chuang
| title = Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations
| journal = Nature
| accessdate = 2014-01-26
| date = 1999-11-25
| url = http://www.nature.com/nature/journal/v402/n6760/abs/402390a0.html
}}</ref> 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.
<!--If there is a brief summary about advantages and disadvantages compared to other implementation methods, that would be great! -->
 
== 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.
 
DiVincenzo's criteria for quantum computation and QIP<ref name="DiVincenzo1998">{{cite journal | title=Quantum information is physical | author=DiVincenzo, D. | journal=Superlattices and Microstructures | year=1998 | volume=23 | pages=419–432 | author2=Loss, D. | doi=10.1006/spmi.1997.0520 | issue=3–4}}</ref><ref name="DiVincenzo2000">{{cite journal | title=The Physical Implementation of Quantum Computation | author=Divincenzo, D. P. | journal=Fortschritte der Physik | year=2000 | volume=48 | pages=771–783 | bibcode=2000ForPh..48..771D | doi=10.1002/1521-3978(200009)48:9/11<771::AID-PROP771>3.0.CO;2-E | issue=9–11}}</ref> give that a system for QIP should satisfy at least the following requirements:
# a scalable physical system with well characterized qubits,
# the ability to initialize the state of the qubits to a simple fiducial state, such as <math>|000\cdots\rangle</math>,
# 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.<ref name="Kok2007" /> 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
<math>\alpha |0\rangle + \beta|1\rangle</math> is a [[quantum superposition|superposition state]] with probability <math>|\alpha|^2</math> of being in the <math>|0\rangle</math> state and probability <math>|\beta|^2</math> of being in the <math>|1\rangle</math> state, where <math>|\alpha|^2+|\beta|^2=1</math> is the normalization condition. The states <math>|0\rangle</math> and <math>|1\rangle</math> could correspond to 0-photon and 1-photon in a given mode channel. In general, there could be <math>|n\rangle, n=0,1,2,\cdots</math> photon states for existing <math>n</math>-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 comminucation 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 <math>|01\rangle _{VH}\equiv |0\rangle _V |1\rangle _H</math> means a state with 0 photon in mode <math>V</math> (could be the "vertical" polarization channel) and 1 photon in the mode <math>H</math> (could be the "horizontal" polarization channel). This is a two-qubit case, as two independent modes are used.
 
=== State preparation ===
 
To prepare a desired quantum state for LOQC, usually a single-photon state, [[single photon sources|single-photon generators]] and some optical modules will be employed. For example, [[Spontaneous parametric down-conversion|optical parametric down-conversion]] can be used to conditionally generate the <math>|1\rangle</math> state in the vertical polarization channel at time <math>t</math> (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.<ref name="Knill2001" />
<!--a picture is needed here-->
 
=== 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,<ref name="Knill2001" /> 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.<ref name="Knill2001" />
<!--a picture is needed here-->
 
=== 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]] wikipedia page 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.<ref name="Adami1999" /> 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 <math>SU(2)</math> operators. For example, the unitary matrix associated with a beam splitter <math>\mathbf{B}_{\theta,\phi}</math> is
 
:<math> U(\mathbf{B}_{\theta,\phi})
=\begin{bmatrix}
\cos \theta & -e^{i\phi}\sin \theta \\
e^{-i\phi} \sin \theta & \cos \theta \end{bmatrix}\,,</math>
 
where <math>\theta</math> and <math>\phi</math> are determined by the [[Reflection coefficient|reflection amplitude]] <math>r</math> and the [[transmission coefficient|transmission amplitude]] <math>t</math> (relationship will be given later for a simpler case). For a symmetric beam splitter, which has a phase shift <math>\phi=\frac{\pi}{2}</math> under the unitary transformation condition <math>|t|^2+|r|^2=1</math> and <math>t^*r+tr^*=0</math>, one can show that
 
:<math> U(\mathbf{B}_{\theta,\phi=\frac{\pi}{2}})
=\begin{bmatrix} t & r\\
r & t\end{bmatrix}
=\begin{bmatrix}
\cos \theta & -i\sin \theta \\
-i \sin \theta & \cos \theta \end{bmatrix}=\cos \theta \hat{I}-i \sin \theta \hat{\sigma}_x=e^{-i\theta\hat{\sigma}_x}\,,</math>
 
which is a rotation of the dual-rail qubit about the <math>x</math>-axis by <math>2\theta=2\cos^{-1}(|t|)</math> in the [[Bloch sphere]] with [[Pauli matrices|Pauli operator]] <math>\hat{\sigma}_x</math>.
 
A mirror is a special case that the reflecting rate is 1, so that the corresponding unitary operator is a [[rotation matrix]] given by
 
:<math>R(\theta) =
\begin{bmatrix}
\cos \theta & -\sin \theta \\
\sin \theta & \cos \theta \\
\end{bmatrix}\,.
</math>
 
For most cases of mirrors used in QIP, the [[Angle of incidence|incident angle]] <math>\theta=45^\circ</math>. Similarly, a phase shifter operator <math>\mathbf{P}_\phi</math> associates with a unitary operator described by <math>U(\mathbf{P}_\phi)=e^{i\phi}</math>, or, if written in a 2-qubit format
 
:<math> U(\mathbf{P}_{\phi})= \begin{bmatrix}
e^{i\phi} & 0 \\
0 & 1  \end{bmatrix}=\begin{bmatrix} e^{i\phi/2} & 0\\
0 & e^{-i\phi/2}\end{bmatrix} \text{(global phase ignored)}=e^{i\frac{\phi}{2} \hat{\sigma}_z}</math>,
 
which is equivalent to a rotation of <math>-\phi</math> about the <math>z</math>-axis. Since any two [[Special unitary group|<math>SU(2)</math> 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 <math>SU(2)</math> operators for QIP. The figures below are examples of making an equivalent [[quantum gate|H-gate]] and [[quantum gate|CNOT-gate]] using beam splitters (illustrated as rectangles connecting two sets of crossing lines with parameters <math>\theta</math> and <math>\phi</math>) and phase shifters (illustrated as rectangles on a line with parameter <math>\phi</math>).
 
{| class="wikitable"
| [[File:Linear optics H gate.svg|thumb|none|Implementation of H-gate with a beam splitter and phase shifters. [[Quantum circuit]] is on the top part.]]
| [[File:Linear optics CNOT gate.svg|thumb|none|Implementation of Controlled-NOT-gate with a beam splitter. [[Quantum circuit]] is on the top part.]]
|}
 
In the pictures showing the implementations of the quantum gates, each qubit is encoded using two mode channels (horizontal lines), such that <math>\left\vert0\right\rangle</math> represents a photon in the top mode, and <math>\left\vert1\right\rangle</math> 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.
 
[[File:NSGate.JPG|thumb|350px|right|Linear optics implementation of NS-gate. The elements framed in the box with dashed border is the linear optics implementation with three beam splitters and one phase shifter (see text for parameters). Modes 2 and 3 are 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 <math>|10\rangle_{2,3}</math> state. The subscript <math>x</math> is the phase shift of the output, and is determined by the parameters of inner optical elements chosen.<ref name="Knill2001" /> For <math>x=-1</math> case, the following parameters are used: <math>\theta_1=22.5^\circ</math>, <math>\phi_1=0^\circ</math>, <math>\theta_2=65.5302^\circ</math>, <math>\phi_2=0^\circ</math>, <math>\theta_3=-22.5^\circ</math>, <math>\phi_3=0^\circ</math>, and <math>\phi_4=180^\circ</math>. For the <math>x=e^{i\pi/2}</math> case, the parameters can be chosen as <math>\theta_1=36.53^\circ</math>, <math>\phi_1=88.24^\circ</math>, <math>\theta_2=62.25^\circ</math>, <math>\phi_2=-66.53^\circ</math>, <math> \theta_3=-36.53^\circ</math>, <math>\phi_3=-11.25^\circ</math>, and <math>\phi_4=102.24^\circ</math>. 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.<ref>{{Cite journal
| doi = 10.1103/PhysRevA.66.052306
| volume = 66
| issue = 5
| pages = 052306
| last = Knill
| first = E.
| title = Quantum gates using linear optics and postselection
| journal = Physical Review A
| accessdate = 2014-01-26
| date = 2002-11-14
| url = http://link.aps.org/doi/10.1103/PhysRevA.66.052306
}}</ref>
[[File:NSCZGate.JPG|thumb|400px|right|Linear optics implementation of Controlled-Z Gate with ancilla modes labelled as 2 and 3. <math>\theta=54.74^\circ</math> and <math>\theta'=17.63^\circ</math>.]]
 
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 a <math>x=-1</math> NS gate is <math>1/4</math>. 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 <math>p^N</math> that a circuit with <math>N</math> gates with a single-gate success possibility of <math>p</math> will work perfectly by running the circuit once. Therefore, the operations must on average be repeated on the order of <math>p^{-N}</math> times or <math>p^{-N}</math> 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]].<ref name="Gottesman1999" /> 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 state|Bell measurement]] and an entangled resource Bell state <math>|\Phi^+\rangle</math>, where the state 1 may be regarded as prepared offline.
 
[[File:Quantum teleportation circuit.svg|thumb|350px|Quantum circuit representation of quantum teleportation.]]
 
By using teleportation, many probabilistic gates may be prepared in parallel with <math>n</math>-photon [[entanglement|entangled states]], sending a control signal to the output mode. Through using <math>n</math> probabilistic gates in parallel offline, a success rate of <math>\frac{n^2}{(n+1)^2}</math> can be obtained, which is close to 1 as <math>n</math> 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 [[quantum gate|controlled-NOT gate]] with four-photon input was demonstrated in 2011,<ref>{{Cite journal
| doi = 10.1073/pnas.1018839108
| issn = 0027-8424
| volume = 108
| issue = 25
| pages = 10067–10071
| last = Okamoto
| first = Ryo
| first2 = Jeremy L.
| last2 = O’Brien
| first3 = Holger F.
| last3 = Hofmann
| first4 = Shigeki
| last4 = Takeuchi
| title = Realization of a Knill-Laflamme-Milburn controlled-NOT photonic quantum circuit combining effective optical nonlinearities
| journal = Proceedings of the National Academy of Sciences
| accessdate = 2014-01-26
| date = 2011-06-21
| url = http://www.pnas.org/content/108/25/10067
| pmid = 21646543
}}</ref> and gave an average fidelity of <math>F=0.82\pm 0.01</math>. 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 <math>n</math>. 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 <math>n+1</math> 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<ref>{{Cite journal
| doi = 10.1103/PhysRevA.71.060303
| volume = 71
| issue = 6
| pages = 060303
| last = O’Brien
| first = J. L.
| first2 = G. J.
| last2 = Pryde
| first3 = A. G.
| last3 = White
| first4 = T. C.
| last4 = Ralph
| title = High-fidelity Z-measurement error encoding of optical qubits
| journal = Physical Review A
| accessdate = 2014-01-26
| date = 2005-06-09
| url = http://link.aps.org/doi/10.1103/PhysRevA.71.060303
| publisher = APS
}}</ref><ref name="Hayes2004">{{Cite journal
| doi = 10.1088/1464-4266/6/12/008
| issn = 1464-4266
| volume = 6
| issue = 12
| pages = 533
| last = Hayes
| first = A. J. F.
| first2 = A.
| last2 = Gilchrist
| first3 = C. R.
| last3 = Myers
| first4 = T. C.
| last4 = Ralph
| title = Utilizing encoding in scalable linear optics quantum computing
| journal = Journal of Optics B: Quantum and Semiclassical Optics
| accessdate = 2014-01-26
| date = 2004-12-01
| url = http://iopscience.iop.org/1464-4266/6/12/008
| publisher= IOP Publishing
}}</ref><ref>{{Cite journal
| doi = 10.1103/PhysRevA.71.052332
| volume = 71
| issue = 5
| pages = 052332
| last = Pittman
| first = T. B.
| first2 = B. C.
| last2 = Jacobs
| first3 = J. D.
| last3 = Franson
| title = Demonstration of quantum error correction using linear optics
| journal = Physical Review A
| accessdate = 2014-01-26
| date = 2005-05-31
| url = http://link.aps.org/doi/10.1103/PhysRevA.71.052332
| publisher = APS
}}</ref>). 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.
<!--Demonstration of some other basic gates, teleportation functions and algorithms should be included, if anyone can do this!-->
 
== 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.<ref name="Kok2007" /> 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.<ref>Sheng, Y.-B.; Long, G. L. & Deng, F.-G. [http://www.sciencedirect.com/science/article/pii/S0375960111014034 "One-step deterministic multipartite entanglement purification with linear optics"], ''Physics Letters A'', 2012, 376, 314 - 319</ref>
 
== Integrated photonic circuits for LOQC ==
 
In reality, assembling a whole bunch (possibly on the order of <math>10^4</math><ref name="Hayes2004" />) 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 multiplexing|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.<ref>Gevaux, D. "Optical quantum circuits: To the quantum level", ''Nature Photonics'', Nature Publishing Group, 2008, 2, 337-337</ref><ref>Politi, A.; Cryan, M. J.; Rarity, J. G.; Yu, S. & O'Brien, J. L. "Silica-on-silicon waveguide quantum circuits", ''Science'', American Association for the Advancement of Science, 2008, 320, 646-649</ref><ref>Thompson, M. G.; Politi, A.; Matthews, J. C. & O'Brien, J. L. "Integrated waveguide circuits for optical quantum computing", ''IET circuits, devices & systems'', IET, 2011, 5, 94-102</ref> 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.<ref>{{cite arXiv|eprint=1312.3446|last1=Goban|first1=A.|last2=Hung|first2=C. -L.|last3=Yu|first3=S. -P.|last4=Hood|first4=J. D.|last5=Muniz|first5=J. A.|last6=Lee|first6=J. H.|last7=Martin|first7=M. J.|last8=McClung|first8=A. C.|last9=Choi|first9=K. S.|title=Atom-Light Interactions in Photonic Crystals|class=physics.optics|year=2013|last10=Chang|first10=D. E.|last11=Painter|first11=O.|last12=Kimble|first12=H. J.}}</ref>
 
<!--complexity analysis to be added-->
<!--More content is welcome to be added on entanglement generation/purification/distillation and realizing practical functions using present technologies.-->
 
== References and external links ==
 
{{Reflist}}
{{Quantum computing}}
 
[[Category:Quantum information science]]
[[Category:Quantum optics]]
[[Category:Quantum gates]]

Latest revision as of 10:31, 31 July 2014

Dancer or Choreographer Rusty Broadbent from Big Trout Lake, has hobbies including dogs, property developers in singapore condo launch; mouse click the next webpage, and crocheting. Finds the globe an interesting place having spent 9 days at Archaeological Site of Olympia.