Linear optical quantum computing or linear optics quantum computation (LOQC), also photonic quantum computing (PQC), is a paradigm of quantum computation, allowing (under certain conditions, described below) universal quantum computation. LOQC uses photons as information carriers, mainly uses linear optical elements, or optical instruments (including reciprocal mirrors and waveplates) to process quantum information, and uses photon detectors and quantum memories to detect and store quantum information.^[1][2][3]

Overview

Although there are many other implementations for quantum information processing (QIP) and quantum computation, optical quantum systems are prominent candidates, since they link quantum computation and quantum communication in the same framework. In 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.^[4]

The universality of 1- and 2-bit gates to implement arbitrary quantum computation has been proven.^[5][6][7][8] Up to ${\displaystyle N\times N}$ unitary matrix operations (${\displaystyle U(N)}$) can be realized by only using mirrors, beam splitters and phase shifters^[9] (this is also a starting point of boson sampling and of computational complexity analysis for LOQC). It points out that each ${\displaystyle U(N)}$ operator with ${\displaystyle N}$ inputs and ${\displaystyle N}$ outputs can be constructed via ${\displaystyle {\mathcal {O}}(N^{2})}$ 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 terms 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 optical elements (beam splitters, mirrors and phase shifters, in this case) preserve 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.^[3] Due to this reason, people usually use single photon source case to analyze the effect of linear optical 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 a scalability problem for LOQC, since nonlinear operations are hard to implement, which can increase the complexity of operators and hence can increase the resources required to realize a given computational function. One way to solve this problem is to bring 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.^[10][11]

KLM protocol

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.

Boson sampling

The more limited boson sampling model was suggested and analyzed by Aaronson and Arkhipov in 2010.^[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 (潘建伟) and 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 supremacy 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]

Ingredients

DiVincenzo's criteria for quantum computation and QIP^[19][20] give that a universal system for QIP should satisfy at least the following requirements:

1. a scalable physical system with well characterized qubits,
2. the ability to initialize the state of the qubits to a simple fiducial state, such as ${\displaystyle |000\cdots \rangle }$,
3. long relevant decoherence times, much longer than the gate operation time,
4. a "universal" set of quantum gates (this requirement cannot be satisfied by a non-universal system),
5. a qubit-specific measurement capability;
   if the system is also aiming for quantum communication, it should also satisfy at least the following two requirements:
6. the ability to interconvert stationary and flying qubits, and
7. the ability to faithfully 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.^[3] The following sections mainly focus on the implementations of quantum information preparation, readout, manipulation, scalability and error corrections, in order to discuss the advantages and disadvantages of LOQC as a candidate for QIP

Qubits and modes

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 qubit 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).

State preparation

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.

Implementations of elementary quantum gates

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 $$Zdroj:https://en.wikipedia.org?pojem=Linear_optical_quantum_computing
Text je dostupný za podmienok Creative Commons Attribution/Share-Alike License 3.0 Unported; prípadne za ďalších podmienok. Podrobnejšie informácie nájdete na stránke Podmienky použitia.