Linear optical quantum computing

It was believed that adding nonlinearity to the linear optical network was sufficient to realize efficient quantum computation.[12] 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 optical tools.[2] 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 optical elements.[3]

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.[13] 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[14][15] 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.

The more limited boson sampling model was suggested and analyzed by Aaronson and Arkhipov in 2013.[16] It is not believed to be universal,[16] but can still solve problems that are believed to be beyond the ability of classical computers, such as the boson sampling problem. On Dec 3 2020 a team led by Chinese Physicist Pan Jianwei (潘建伟) & Lu Chaoyang (陆朝阳) from University of Science and Technology of China in Hefei, Anhui Province submitted their results to Science in which they solved a problem that is virtually unassailable by any classical computer; thereby proving Quantum supremacy of their photon-based quantum computer called Jiu Zhang Quantum Computer (九章量子计算机).[17] The boson sampling problem was solved in 200 seconds, they estimated that China's Sunway TaihuLight Supercomputer would take 2.5 billion years to solve - a quantum advantage of around 10^14. Jiu Zhang was named in honor of China's oldest surviving mathematical text (Jiǔ zhāng suàn shù) The Nine Chapters on the Mathematical Art [18]

A qubit is one of the fundamental QIP units. A qubit state which can be represented by ${\displaystyle \alpha |0\rangle +\beta |1\rangle }$ is a superposition state which, if measured in the orthonormal basis ${\displaystyle \{|0\rangle ,|1\rangle \}}$, has probability ${\displaystyle |\alpha |^{2}}$ of being in the ${\displaystyle |0\rangle }$ state and probability ${\displaystyle |\beta |^{2}}$ of being in the ${\displaystyle |1\rangle }$ state, where ${\displaystyle |\alpha |^{2}+|\beta |^{2}=1}$ is the normalization condition. An optical mode is a 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 of light which can be picked out with linear optical elements, various frequencies, or a combination of the two cases above.

In the KLM protocol, each of the photons is usually in one of two modes, and the modes are different between the photons (the possibility that a mode is occupied by more than one photon is zero). This is not the case only during implementations of controlled quantum gates such as CNOT. When the state of the system is as described, the photons can be distinguished, since they are in different modes, and therefore a qubit state can be represented using a single photon in two modes, vertical (V) and horizontal (H): for example, ${\displaystyle |0\rangle \equiv |0,1\rangle _{VH}}$ and ${\displaystyle |1\rangle \equiv |1,0\rangle _{VH}}$. It is common to refer to the states defined via occupation of modes as Fock states.

In boson sampling, photons are not distinguished, and therefore cannot directly represent the qubit state. Instead, we represent the qudit state of the entire quantum system by using the Fock states of ${\displaystyle M}$ modes which are occupied by ${\displaystyle N}$ indistinguishable single photons (this is a ${\displaystyle {\tbinom {M+N-1}{M}}}$-level quantum system).

To prepare a desired multi-photon quantum state for LOQC, a single-photon state is first required. Therefore, non-linear optical elements, such as single-photon generators and some optical modules, will be employed. For example, optical parametric down-conversion can be used to conditionally generate the ${\displaystyle |1\rangle \equiv |1,0\rangle _{VH}}$ state in the vertical polarization channel at time ${\displaystyle t}$ (subscripts are ignored for this single qubit case). By using a conditional single-photon source, the output state is guaranteed, although this may require several attempts (depending on the success rate). A joint multi-qubit state can be prepared in a similar way. In general, an arbitrary quantum state can be generated for QIP with a proper set of photon sources.

To achieve universal quantum computing, LOQC should be capable of realizing a complete set of universal gates. This can be achieved in the KLM protocol but not in the boson sampling model.

Ignoring error correction and other issues, the basic principle in implementations of elementary quantum gates using only mirrors, beam splitters and phase shifters is that by using these linear optical elements, one can construct any arbitrary 1-qubit unitary operation; in other words, those linear optical elements support a complete set of operators on any single qubit.

The unitary matrix associated with a beam splitter ${\displaystyle \mathbf {B} _{\theta ,\phi }}$ is:

${\displaystyle U(\mathbf {B} _{\theta ,\phi })={\begin{bmatrix}\cos \theta &-e^{i\phi }\sin \theta \\e^{-i\phi }\sin \theta &\cos \theta \end{bmatrix}}}$,

where ${\displaystyle \theta }$ and ${\displaystyle \phi }$ are determined by the reflection amplitude ${\displaystyle r}$ and the transmission amplitude ${\displaystyle t}$ (relationship will be given later for a simpler case). For a symmetric beam splitter, which has a phase shift ${\displaystyle \phi ={\frac {\pi }{2}}}$ under the unitary transformation condition ${\displaystyle |t|^{2}+|r|^{2}=1}$ and ${\displaystyle t^{*}r+tr^{*}=0}$, one can show that

${\displaystyle 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}}}$,

which is a rotation of the single qubit state about the ${\displaystyle x}$-axis by ${\displaystyle 2\theta =2\cos ^{-1}(|t|)}$ in the Bloch sphere.

A mirror is a special case where the reflecting rate is 1, so that the corresponding unitary operator is a rotation matrix given by

${\displaystyle R(\theta )={\begin{bmatrix}\cos \theta &-\sin \theta \\\sin \theta &\cos \theta \\\end{bmatrix}}}$.

For most cases of mirrors used in QIP, the incident angle ${\displaystyle \theta =45^{\circ }}$.

Similarly, a phase shifter operator ${\displaystyle \mathbf {P} _{\phi }}$ associates with a unitary operator described by ${\displaystyle U(\mathbf {P} _{\phi })=e^{i\phi }}$, or, if written in a 2-mode format

${\displaystyle 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}}}$,

which is equivalent to a rotation of ${\displaystyle -\phi }$ about the ${\displaystyle z}$-axis.

Since any two ${\displaystyle SU(2)}$ rotations along orthogonal rotating axes can generate arbitrary rotations in the Bloch sphere, one can use a set of symmetric beam splitters and mirrors to realize an arbitrary ${\displaystyle SU(2)}$ operators for QIP. The figures below are examples of implementing a Hadamard gate and a Pauli-X-gate (NOT gate) by using beam splitters (illustrated as rectangles connecting two sets of crossing lines with parameters ${\displaystyle \theta }$ and ${\displaystyle \phi }$) and mirrors (illustrated as rectangles connecting two sets of crossing lines with parameter ${\displaystyle R(\theta )}$).

Implementation of a Hadamard gate with a beam splitter and a mirror. Quantum circuit is on the top part.

Implementation of a Pauli-X gate (NOT gate) with a beam splitter. Quantum circuit is on the top part.

In the above figures, a qubit is encoded using two mode channels (horizontal lines): ${\displaystyle \left\vert 0\right\rangle }$ represents a photon in the top mode, and ${\displaystyle \left\vert 1\right\rangle }$ represents a photon in the bottom mode.

The advantage of the KLM protocol over the boson sampling model is that while the KLM protocol is a universal model, boson sampling is not believed to be universal. On the other hand, it seems that the scalability issues in boson sampling are more manageable than those in the KLM protocol.

In boson sampling only a single measurement is allowed, a measurement of all the modes at the end of the computation. The only scalability problem in this model arises from the requirement that all the photons arrive at the photon detectors within a short-enough time interval and with close-enough frequencies.[16]

In the KLM protocol, there are non-deterministic quantum gates, which are essential for the model to be universal. These rely on gate teleportation, where multiple probabilistic gates are prepared offline and additional measurements are performed mid-circuit. Those two factors are the cause for additional scalability problems in the KLM protocol.

In the KLM protocol the desired initial state is one in which each of the photons is in one of two modes, and the possibility that a mode is occupied by more than one photon is zero. In boson sampling, however, the desired initial state is specific, requiring that the first ${\displaystyle N}$ modes are each occupied by a single photon[16] (${\displaystyle N}$ is the number of photons and ${\displaystyle M\geq N}$ is the number of modes) and all the other states are empty.

Another, earlier model which relies on the representation of several qubits by a single photon is based on the work of C. Adami and N. J. Cerf.[1] By using both the location and the polarization of photons, a single photon in this model can represent several qubits; however, as a result, CNOT-gate can only be implemented between the two qubits represented by the same photon.

The figures below are examples of making an equivalent Hadamard-gate and CNOT-gate using beam splitters (illustrated as rectangles connecting two sets of crossing lines with parameters ${\displaystyle \theta }$ and ${\displaystyle \phi }$) and phase shifters (illustrated as rectangles on a line with parameter ${\displaystyle \phi }$).

Implementation of Hadamard-gate on a "location" qubit with a beam splitter and phase shifters. Quantum circuit is on the top part.

Implementation of Controlled-NOT-gate with a beam splitter. Quantum circuit is on the top part.

In the optical realization of the CNOT gate, the polarization and location are the control and target qubit, respectively.