Bounded definition
A computation model built from single photons, linear optics, photodetection, ancillas, measurement, and feed-forward.
What the cited work establishes
The paper constructs a universal quantum-computation scheme using single-photon sources, linear optical elements, photodetectors, feed-forward, and ancilla resources.
The models, apparatus, protocols, datasets, and comparisons reported in A scheme for efficient quantum computation with linear optics.
Claims: urn:maha:claim:linear-optical-quantum-computation
What remains a separate question
Formal universality does not establish practical source efficiency, detector performance, loss tolerance, or resource cost.
A formal scheme does not establish deterministic component performance, integrated manufacturability, loss tolerance at scale, or economic utility.
Connected domain graph
Typed dependencies preserve publication state.
Only independently canonical records receive public links and relation statements. Draft graph topology remains private.
Physical and logical qubits
outbound connection · comparison
Photonic encodings distinguish physical carriers from protected logical information.
Claim ledger
Every proposition keeps its own evidence state.
The cited KLM construction shows that universal quantum computation is formally possible with linear optical components plus measurement-induced operations and resources.
- Scope
- The models, apparatus, protocols, datasets, and comparisons reported in A scheme for efficient quantum computation with linear optics.
- Boundary
- Formal universality does not establish practical source efficiency, detector performance, loss tolerance, or resource cost.
- Uncertainty
- No platform-independent uncertainty interval exists; numerical values remain attached to the source experiment or model and its stated assumptions.
- Replication
- This candidate records one bounded source package. Independent replications and contradictory measurements must be compiled as separate records before maturity is upgraded.
Primary sources
Citation, locator, rights, and boundary travel together.
Source 1 · Nature
A scheme for efficient quantum computation with linear optics
E. Knill, R. Laflamme, G. J. Milburn
- Exact locator
- Abstract; main construction; resource and error discussion.
- Establishes
- The paper constructs a universal quantum-computation scheme using single-photon sources, linear optical elements, photodetectors, feed-forward, and ancilla resources.
- Boundary
- A formal scheme does not establish deterministic component performance, integrated manufacturability, loss tolerance at scale, or economic utility.
- Rights basis
- citation with paraphrase · Maha paraphrases the source-level result and links to the version of record; no article passage is reproduced.