Source-led research library · evidence through 2026-07-28

Quantum Computing Atlas

A source-led, machine-readable research library for quantum computing concepts, hardware, error correction, algorithms, limitations, and near-term applications. It favours explicit scope, primary sources, and comparative evidence over technology narratives.

First edition · 12 source-bounded claims

Claim records

12

Verified sources

10

Concept records

12

Evidence labels

Established result

A published result, standard construction, or authoritative definition. The label does not imply that every practical implementation challenge is solved.

Active research

An important open engineering or scientific question with no field-wide resolution.

Claim ledger · 12

claims.json ↗
qc-001Established result

A qubit is a quantum information carrier whose state can be prepared, transformed, and measured; it is not simply a classical bit with two labels.

Quantum states can be put into superpositions and correlated through entangling operations, but measurement yields classical outcomes.

Limits of this claim

This statement does not imply that every quantum task is faster than a classical one.

Read claim record →
qc-002Established result

Superconducting circuits, trapped ions, neutral atoms, photonics, and semiconductor spins are distinct hardware approaches with different engineering trade-offs.

They differ in how qubits are made, controlled, connected, and measured, so raw qubit counts alone are not comparable performance measures.

Limits of this claim

This Atlas does not rank platforms or treat the list as exhaustive.

Read claim record →
qc-003Established result

Noise and imperfect operations limit the depth and reliability of computations performed directly on physical qubits.

Errors accumulate as circuits execute, which is why device performance requires more context than a qubit count.

Limits of this claim

Error behaviour is hardware-, operation-, and workload-dependent; this is not a single universal error-rate claim.

Read claim record →
qc-004Established result

Quantum error correction protects logical quantum information by distributing it across multiple physical qubits and repeatedly extracting error information.

The goal is to make logical failure less likely than failure of the underlying components, while preserving the computation.

Limits of this claim

Encoding introduces substantial qubit, control, decoding, and time overhead.

Read claim record →
qc-005Established result

Below-threshold surface-code memory performance has been experimentally reported, but it is not yet a demonstration of general-purpose fault-tolerant quantum computing.

The reported experiments show logical-memory error suppression as code distance grows under defined conditions; scalable logical computation remains further work.

Limits of this claim

This claim describes a particular experimental result and must not be generalized to all platforms or complete algorithms.

Read claim record →
qc-006Established result

Shor’s algorithm gives polynomial-time quantum algorithms for integer factorization and discrete logarithms on a suitable quantum computer.

This is why large-scale fault-tolerant quantum computing matters for some public-key cryptography.

Limits of this claim

The algorithm does not establish that a current device can break deployed cryptographic systems, nor does it apply to all cryptography.

Read claim record →
qc-007Established result

Grover’s search algorithm provides a quadratic query-speedup for unstructured search in its oracle model.

It is often described as reducing a search from order N queries to order square-root N queries.

Limits of this claim

The oracle model, data loading, error correction, and classical alternatives matter in any real application.

Read claim record →
qc-008Established result

Simulating quantum physical systems is a foundational motivation for quantum computers.

Quantum devices may represent some quantum dynamics more naturally than classical digital simulation.

Limits of this claim

A motivation is not a blanket claim of practical advantage for every chemistry or materials task.

Read claim record →
qc-009Established result

Random-circuit sampling experiments demonstrate control over specific computational tasks, not a general-purpose application advantage.

The 2019 superconducting experiment benchmarked a prescribed sampling task against then-available classical methods.

Limits of this claim

Classical simulation methods and comparisons evolve; this claim does not use the experiment as evidence for broad commercial utility.

Read claim record →
qc-010Active research

Whether a NISQ device delivers a durable, practically relevant advantage for a specific real-world workload remains an active research question.

Evidence must compare an end-to-end quantum workflow with the best relevant classical methods under stated accuracy and cost constraints.

Limits of this claim

This is not a claim that no near-term advantage will occur; it records an unresolved evidential and engineering question.

Read claim record →
qc-011Active research

The physical resources, decoding, control, and integration needed for useful large-scale fault-tolerant computation remain active engineering and research problems.

Surface codes supply a framework, but complete systems must coordinate many layers and achieve application-specific logical performance.

Limits of this claim

Resource estimates depend on target algorithms, code choices, hardware error models, and architectural assumptions.

Read claim record →
qc-012Established result

Claims about quantum applications require task-specific comparisons to credible classical baselines.

An algorithmic speedup, a hardware demonstration, and a useful end-to-end application are different evidence categories.

Limits of this claim

This Atlas does not publish performance leaderboards or commercial forecasts.

Read claim record →

Concept library

All concepts →

Qubit

A controllable two-level quantum system used to represent quantum information.

Concept record →

Quantum circuit

An ordered sequence of operations and measurements acting on qubits.

Concept record →

Hardware modality

A physical platform used to create, control, couple, and measure qubits, such as superconducting circuits or trapped ions.

Concept record →

Noise and decoherence

Unwanted interactions, control imperfections, and measurement errors that alter quantum information.

Concept record →

Source library

All sources →

authoritative report · verified

Quantum Information Science

NASA · 2025

Authoritative public orientation on quantum information science and its research context.

Source record →

primary paper · verified

Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer

Peter W. Shor · 1995

Primary source for the factoring and discrete-logarithm algorithm.

Source record →

primary paper · verified

A Fast Quantum Mechanical Algorithm for Database Search

Lov K. Grover · 1996

Primary source for amplitude-amplification search.

Source record →

primary paper · verified

Simulating physics with computers

Richard P. Feynman · 1982

Foundational source for quantum simulation as a motivation for quantum computation.

Source record →