QNFO Papers

Quick read · plain language

Why Big Quantum Computers May Stay Impossible

A plain-language version of “BQP_physical: Bounding Universal Quantum Computation under Correlated Noise and Causality Constraints”

3 min readNo jargon, no mathematicsPhysics

The short version

This paper asks whether huge quantum computers could ever be built. It adds three real-world problems to the usual theory. The results suggest that breaking common internet codes with such machines lies outside what physics allows.

What quantum computers promise

Ordinary computers use bits that are either zero or one. Quantum computers use qubits that can be both at once. This could let them solve some problems very fast. One famous example is breaking the codes that protect internet messages. But building a big enough machine has proven very hard. The paper looks at why.

Three hard limits

The paper focuses on three problems that big machines would face.

First, signals take time to move. A machine with millions of qubits might need to be ten metres across. Light needs time to cross that distance. In a deep calculation, the waiting time adds up.

Second, errors grow faster than expected. Small errors happen in each basic operation. But errors can also link pairs of qubits together. As qubits are added, this linked error grows quickly. It soon overwhelms the error-fixing methods.

Third, fixing errors itself takes time. The time spent on error correction eats into the time available before qubits lose their quantum state.

What the paper does

The authors define a new class called what quantum computers can do in the real world. This is like the usual theory of what quantum computers can do, but with the three hard limits built in. They then work out what this means for real numbers.

For a ten-metre machine doing a thousand-step calculation, the signal delay alone uses up much of the allowed time. The linked error problem is worse. With the assumed error rates, even one qubit already hits the error limit. With a looser error budget, the machine could perhaps have about ten qubits. For a code-breaking machine needing ten thousand qubits, the total error goes above one. This means error correction fails completely.

The paper also tries splitting the machine into ten smaller modules. This helps but still leaves the error above the failure point.

What this does not show

The paper does not prove that big quantum computers are impossible forever. It uses specific assumed numbers for error rates, how long qubits keep their state, and machine size. Better materials could extend how long qubits keep their state. Three-dimensional packing could cut signal delays. The linked error rate might vary across the machine rather than staying uniform. The paper treats these as open questions.

The authors also note that their way of adding up errors is simple. It ignores higher-order effects that might matter.

How the claim could be tested

The paper states what would prove it wrong. Someone would need to show an operation that keeps working even when parts fail, using more than ten qubits, with linked errors below a certain rate, and total error in the final result below a set level, while respecting signal delay limits. A test on a hundred-qubit machine measuring the linked error rate would be a good first step.

Words used here

qubit
the basic unit of a quantum computer, like a bit but able to be in multiple states at once
coherence time
how long a qubit keeps its quantum state before random noise destroys it
fault tolerance
the ability of a system to keep working even when parts fail
gate
a basic operation in a quantum or ordinary computer
circuit depth
how many steps a calculation takes from start to finish

Learn more in plain language

This plain-language version was written by an AI model from the text of the paper and checked against plain-language rules: everyday words, no mathematics, no unexplained names. It leaves details out and can still be wrong; the paper is the source of record. To report a problem, open the paper, select the passage and choose Report.

For specialists: the technical digest, quoted from the paper

In the paper's words

Universal gate‑based quantum computers promise exponential speed‑ups for problems such as integer factorisation, yet commercial‑scale devices remain absent. The gap originates from physical limits that are not captured by the abstract class BQP. We formalise a new class BQP_physical that incorporates three concrete constraints: (i) finite signal‑propagation latency across macroscopic processor dimensions, (ii) a correlated‑error floor that grows with qubit count, and (iii) a coherence‑time budget consumed by quantum error correction.

The abstract, verbatim; every line below is quoted from the text.

What it claims

that any Shor‑scale processor with N≈10⁴ qubits exceeds the fault‑tolerance threshold under realistic correlated‑error and latency parameters—would be falsified by an experimental demonstration of a fault‑tolerant logical operation on a processor with N>10 qubits, a measured correlated‑error coefficient α < 10^-6, and a total logical error per operation below 10^-3 while respecting the latency bound. Conversely, observation of a correlated‑error floor α ≥ 10^-5 for such a processor would reinforce the claim.

Numbers it reports

  1. Using a processor dimension of 10 m, a per‑gate error target of $10^{-3}$, a correlated‑error coefficient of $10^{-5}$ per qubit pair, and a typical superconducting gate duration of 20 ns, we derive (a) a total propagation latency of $33~\mu\text{s}$ for a depth‑$10^{3}$ circuit, (b) a maximal viable qubit count of approximately 10 when the logical error budget is relaxed to $10^{-2}$, and (c) a logical error probability exceeding 1 for a Shor‑scale processor with $N=10^{4}$ qubits.

    from Abstract
  2. Gate duration : The 20 ns gate time reflects superconducting qubits; other platforms (e.g., trapped ions) have longer gates, worsening the QEC budget.

    from 6.1 Limitations
  3. Observation of $p_{\text{corr}} \lt 10^{-6}$ with 95 % confidence would falsify the current bound; observation of $p_{\text{corr}} \ge 10^{-5}$ would reinforce it.

    from 7. Practical Implications and Engineering Pathways
  4. (e) Projected cost and performance bounds (projection) Assuming a modular architecture with ten modules each containing 1000 qubits, the cryogenic infrastructure cost scales as $$ C \approx 10 \times 5~\text{M\$} = 50~\text{M\$}, $$ where $5~\text{M\$}$ per module is derived from current dilution‑refrigerator pricing (projection).

    from 7. Practical Implications and Engineering Pathways
  5. Even if we cap the probability at 1, the effective error per logical operation is 100 %, rendering error correction impossible.

    from 4.6 Large‑Scale Shor Scenario ($N = 10^{4}$)
  6. (c) Minimal next experiment A de‑risking experiment consists of fabricating a modest 100‑qubit processor with 1 mm inter‑qubit spacing, performing simultaneous randomized benchmarking on all qubits, and extracting the correlated‑error probability $p_{\text{corr}}$.

    from 7. Practical Implications and Engineering Pathways

How it is done

  1. Using a processor dimension of 10 m, a per‑gate error target of $10^{-3}$, a correlated‑error coefficient of $10^{-5}$ per qubit pair, and a typical superconducting gate duration of 20 ns, we derive (a) a total propagation latency of $33~\mu\text{s}$ for a depth‑$10^{3}$ circuit, (b) a maximal viable qubit count of approximately 10 when the logical error budget is relaxed to $10^{-2}$, and (c) a logical error probability exceeding 1 for a Shor‑scale processor with $N=10^{4}$ qubits.

    from Abstract
  2. Physical realizability of quantum dynamical models has been studied in the context of linear quantum optics. [1] proves that for a class of passive optical components the strict bounded‑real property guarantees physical realizability and provides a low‑frequency error bound for approximations.

    from 2. Background and Related Work
  3. We formalise BQP_physical as the set of decision problems solvable by a uniform family of quantum circuits $\{C_n\}$ that satisfy three explicit resource bounds.

    from 3. Methods
  4. Each physical gate has an independent error probability $p$.

    from 3.2 Correlated‑Error Floor Model

What would falsify it

  1. The central claim—that any Shor‑scale processor with $N\approx10^{4}$ qubits exceeds the fault‑tolerance threshold under realistic correlated‑error and latency parameters—would be falsified by an experimental demonstration of a fault‑tolerant logical operation on a processor with $N\gt 10$ qubits, a measured correlated‑error coefficient $\alpha \lt 10^{-6}$, and a total logical error per operation below $10^{-3}$ while respecting the latency bound.

    from 6.2 Falsifiability
  2. Discussion of falsifiability, limitations, and engineering pathways (Sections 6–7).

    from 1. Introduction
  3. Observation of $p_{\text{corr}} \lt 10^{-6}$ with 95 % confidence would falsify the current bound; observation of $p_{\text{corr}} \ge 10^{-5}$ would reinforce it.

    from 7. Practical Implications and Engineering Pathways

Where the claim stops

  1. Assumption of uniform correlated coefficient $\alpha$ : Real devices may exhibit spatially varying noise; the model treats $\alpha$ as constant.

    from 6.1 Limitations
  2. Processor geometry : The linear dimension $L = 10~\text{m}$ is a simplifying assumption; three‑dimensional integration could reduce $\tau_{\text{prop}}$.

    from 6.1 Limitations
  3. Error‑budget linearisation : The total logical error is approximated as a simple sum of independent, correlated, and latency terms, neglecting higher‑order interactions.

    from 6.1 Limitations

Where to read

  1. Abstract186 words · 1 min
  2. 1. Introduction349 words · 2 min
  3. 2. Background and Related Work278 words · 1 min
  4. 3. Methods327 words · 1 min
  5. 4. Analysis651 words · 3 min
  6. 5. Results107 words · 1 min
  7. 6. Discussion225 words · 1 min
  8. 7. Practical Implications and Engineering Pathways356 words · 2 min
  9. 8. Conclusion92 words · 1 min
  10. Provenance and AI Involvement225 words · 1 min

Read from the paper itself: 25 sections, 2,887 words. Nothing in this digest is written by a model; a line that is not a sentence of the paper is not shown. Have a specific question? Ask this paper.

The full text · Ask the whole corpus