Cited by 2,904Quantum Information and CryptographyQuantum Computing Algorithms and ArchitectureSemiconductor Quantum Structures and Devices

The DOI matches its Crossref record; 243 of the 243 references it cites were found in a registry or an index; 22 of the 151 sources its claims cite were checked for support.

Linear optical quantum computing with photonic qubits

Open access

Abstract

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.

Overview

AI snapshot

Written from the paper’s full text.

TL;DR

This review explains how linear optics, single-photon sources, and photon counting can in principle enable scalable quantum computing via the Knill-Laflamme-Milburn protocol and its successors. It surveys probabilistic optical gates, cluster-state and circuit-based improvements, realistic component errors, and error-correction thresholds for linear optical quantum computing.

Key findings

  • The KLM protocol showed that scalable quantum computing is possible with single photons, linear optical elements, and projective measurements, but its original resource overhead is prohibitively large.
  • Probabilistic optical gates have been demonstrated and improved: the KLM nonlinear sign gate succeeds with probability \(p_{\rm NS}=1/4\), Ralph et al.’s version with \(p'_{\rm NS}=(3-\sqrt{2})/7\), Knill’s CZ gate with \(2/27\), and several CNOT experiments with success probabilities \(1/4\), \(1/9\), and \(1/4\), with reported errors or fidelities such as approximately 21% error, approximately 84% fidelity, and 81% fidelity for generated entanglement.
  • Cluster-state and fusion-based protocols reduce resource requirements: type-I and type-II fusion gates succeed with probability \(p=1/2\), and circuit-based parity encoding can implement universal gates with >99% success probability using about \(10^2\) operations.
  • Fault-tolerance studies give thresholds such as detector loss up to 50% correctable in cluster states, combined detector/source/memory efficiencies \(\eta>55\%\) in a circuit-based model, and scalable cluster-state computing for loss probability \(\gamma<3\times10^{-3}\) and depolarising probability \(\epsilon<10^{-4}\) with a 23-qubit code.

Methods

  • Review article synthesizing theoretical and experimental work on linear optical quantum computing, with emphasis on the KLM protocol, its improvements, and error correction.
  • No new primary data are reported; the paper reviews and compares protocols and cites experimental demonstrations of two-qubit gates, single-photon sources, detectors, and memories.
  • Main analysis covers linear optical elements, N-port interferometers, qubit encodings, probabilistic gates, teleportation-based scaling, cluster-state and circuit-based architectures, realistic component errors, and fault-tolerant thresholds.

Limitations

  • Stated: the review restricts discussion to single-photon implementations of quantum information processors and excludes continuous-variable optical quantum information processing; squeezing is excluded as a resource except for generating single photons.
  • Stated: practical LOQC faces probabilistic gates, photon loss, detector inefficiency, imperfect single-photon sources, mode mismatching, lossy optical switches, and the need for quantum memories.
  • Evident: as a review, it does not present new experimental results, and several fault-tolerance thresholds rely on simplified noise models whose parameters are not all directly measurable quantities.

Model-written summary. Check it against the paper before relying on it.

Integrity signals

Registry

Crossref · 10.1103/revmodphys.79.135

Cites

243 of 243 references verified0 citation errors · 0 not checkable

Statistics

Nothing to recompute.

Verification

Claims the paper makes

22 of 151 cited sources checked · 8 supported · 1 flagged · accuracy not yet measured

Show all 171 claims

  • It may state two separate claims as one. 91
  • Probably not a substantial claim. 81
  • The quote only partly states this claim. 5
160 of 160
  • The paper relies on this without support.

    Photons do not naturally interact with each other.

    “The downside is that photons do not naturally interact with each other, and in order to apply two-qubit quantum gates such interactions are essential.”
    “Physically, the reason why we cannot construct deterministic two-qubit gates in the polarisation and dual-rail representation, is that photons do not interact with each other.”
  • The paper relies on this without support.

    The losses in the Hofmann et al. one-sided cavity system are negligible.

    “The losses in this system are negligible.”
  • The paper relies on this without support.

    Quantum information stored in a photon tends to stay there, so photons are potentially free from decoherence.

    “Quantum computing with linear quantum optics, the subject of this review, has the advantage that the smallest unit of quantum information (the photon) is potentially free from decoherence: The quantum information stored in a photon tends to stay there.”
  • The paper relies on this without support.

    Building a quantum computer requires both single-qubit operations and two-qubit operations.

    “In order to build a quantum computer, we need both single-qubit operations as well as two-qubit operations.”
  • The authors state this as an assumption.

    The detectors used in the KLM NS gate are perfect photon-number discriminating detectors.

    “measured with perfect photon-number discriminating detectors”
  • The authors state this as an assumption.

    The input mode for the Rudolph-Pan gate is horizontally polarised.

    “Assume that the input mode is horizontally polarised.”
  • The paper relies on this without support.

    The CZ gate is part of the Clifford group.

    “Since the CZ gate is part of the Clifford group”
  • The paper relies on this without support.

    Single-qubit rotations and CNOT gates are sufficient for universal computation.

    “It is well known that such gates are sufficient for universal computation.”
  • The paper relies on this without support.

    Quantum mechanics is linear.

    “Linearity of quantum mechanics ensures”
  • The paper relies on this without support.

    A fault-tolerant threshold exists such that making the error probability ε smaller than it enables scalable quantum computing.

    “We can achieve scalable quantum computing by making ǫ smaller than the faulttolerant threshold.”
  • The paper relies on this without support.

    A linear optical CZ gate in the dual-rail/polarisation qubit representation is inherently probabilistic.

    “since a linear optical CZ gate in our qubit representation is inherently probabilistic.”
  • The authors state this as an assumption.

    The KLM scheme assumes that photon sources, mode matching of optical circuits, and photon counting are all perfect.

    “However, this assumes that the photon sources, the mode matching of the optical circuits, and the photon counting are all perfect.”
  • The authors state this as an assumption.

    Quantum memories are needed for LOQC.

    “In addition, we will address an assumption that has received little attention thus far: the need for quantum memories.”
  • The authors state this as an assumption.

    In the model of a non-ideal single-photon source, the failure output results in a vacuum state.

    “where we assumed that the failure output results in a vacuum state.”
  • The authors state this as an assumption.

    In the cluster-state photon-loss correction, all stabiliser eigenvalues are +1.

    “(we will assume that all eigenvalues are +1).”
  • The authors state this as an assumption.

    In the circuit-based model analysis, bucket detectors have a certain detection efficiency η and a negligible dark count rate.

    “We therefore assume that we have bucket detectors with a certain detection efficiency η and a negligible dark count rate.”
  • The authors state this as an assumption.

    In the type-II fusion gate analysis, photon sources are perfect.

    “(we assume perfect sources).”
  • The authors state this as an assumption.

    Every parity qubit is encoded with the same number of photons n.

    “We assumed that every parity qubit is encoded with the same number of photons n, but this is not necessary.”
  • The authors state this as an assumption.

    In Dawson et al.'s model, any two single-photon qubits in the computation can serve as the inputs of the fusion gate.

    “Furthermore, it is assumed that any two single-photon qubits in the computation can serve as the inputs of the fusion gate.”
  • The authors state this as an assumption.

    In Dawson et al.'s model, the classical computation needed to control cluster state computing is sufficiently fast.

    “Finally, the classical computation needed to control the cluster state computing is taken to be sufficiently fast.”
  • The authors state this as an assumption.

    In the high-fidelity four-photon GHZ scheme, the Bell-pair source creates a state of the form p_s|0><0| + (1-p_s)|Ψ-><Ψ-|, where |Ψ-> is the two-photon polarization singlet state.

    “Assume that the Bell-pair source creates a state of the form p s |0 0| + (1p s )|Ψ -Ψ -|, where |Ψ -is the twophoton polarization singlet state.”
  • The authors state this as an assumption.

    In the deterministic polarisation-flip detection scheme, perfectly efficient detectors (not necessarily photon-number resolving) are available.

    “If we assume the availability of perfectly efficient detectors (not necessarily photon-number resolving), deterministic polarisation-flip detection for distributing entanglement can be achieved (Kalamidas 2004).”
  • The authors state this as an assumption.

    In the single-qubit error correction circuit, passive optical elements do not induce additional noise.

    “Here, we assume that these passive optical elements do not induce additional noise.”
23 of 23

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

Self-check

Percentages, sums and reported differences re-computed from the paper’s own numbers.

Each contradiction between two passages listed here was confirmed by an independent check.

  • Beam-splitter reflectivity conflicts with the stated convention

    Minor

    The paper defines reflectivity as R = sin2θ. For cos θ2 = 1/√3, reflectivity is 2/3, not 331⁄3%; 331⁄3% is the transmission coefficient.

  • The stated first-level CZ success probability does not exceed 95%

    Minor

    Using the stated f = 1/4 in Eq. (43) gives F_Z ≈ 0.1346. The quoted first-level concatenation formula then gives F_Z1 ≈ 0.0383 and a CZ success probability of (1 − F_Z1)2 ≈ 92.5%, not better than 95%.

  • The stated time unit does not make the frequencies integers

    Minor

    From the paper's expressions, ωn = cnπ/L. Measuring time in units of πL/c would give a dimensionless frequency of nπ2, not n; the required time unit is L/(πc).

3 of 3

Citations

Cites

Flagged first, then by citations

Show all 231 references

Research works printed but not linked: 3

  1. Beveratos, A., 2002, Eur. Phys. J. D, 18, 191
  2. Cinelli, C., 2005, Laser Phys., 15, 124
  3. Yamamoto, Y., 1988, Proceedings of the 3rd Asia-Pacific Physics Conference

Cited by

Sorted by citations

Items 101–200 of 2,904

Metadata

Authors
Kok, P., Munro, W. J., Nemoto, K., Ralph, T. C., Dowling, J. P., & Milburn, G. J.
Affiliations
  • University of Oxford (GB)
  • National Institute of Informatics (JP)
  • The University of Queensland (AU)
  • Louisiana State University (US)
Venue
Reviews of Modern Physics
Published
2007-01-24
Volume
79
Issue
1
Pages
135-174
ISSN
  • 0034-6861 (ISSN-L)
  • 1539-0756
OpenAlex
W1514675880
Cited by
2,904
References
231
Citations by year
2026: 157 · 2025: 217 · 2024: 213 · 2023: 190 · 2022: 179 · 2021: 189 · 2020: 186 · 2019: 164 · 2018: 161 · 2017: 132 · 2016: 163 · 2015: 156 · 2014: 136 · 2013: 128 · 2012: 112
FWCI
57.24
Type
journal article
Language
en
Open access
Locations
  • Reviews of Modern Physics (publishedVersion)
  • arXiv (Cornell University) (submittedVersion)
  • OakTrust (Texas A&M University Libraries) (submittedVersion)
  • arXiv (Cornell University)
Funders
  • Japan Society for the Promotion of Science
  • Army Research Office
Topics
  • Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Quantum Information and Cryptography
  • Physical Sciences › Computer Science › Artificial Intelligence › Quantum Computing Algorithms and Architecture
  • Physical Sciences › Physics and Astronomy › Atomic and Molecular Physics, and Optics › Semiconductor Quantum Structures and Devices
Keywords
linear optical quantum computing, photonic qubits, photon counting, projective measurement, two-qubit gates, scalability, experimental implementation, error correction

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

A language model drew the claims from the paper on 2026-11-10, under version 3 of the claim definition (model deepseek-v4.1-flash, prompt extract-v3).

A second model labelled each claim on 2026-11-10 (model jev-1.13-20260917, definition revision gold-guideline-v0.2).

Cited sources are checked with a language model’s help (gpt-6-sol).

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review