Quantitative trace-reconstruction bounds with a uniform decoder

What OpenAI claims

At every fixed deletion probability in (0,1), reconstructing an arbitrary length-n binary string requires n^{Ω(log log n)} independent traces, ruling out polynomial-sample reconstruction. A uniform decoder achieves quasipolynomial sample and running-time bounds for known fixed rational retention probabilities. When the deletion probability is at most n^-ε for fixed ε > 0, both bounds become polynomial in the input and parameter encoding. (Lean)

Papers (3)

1. Uniform quasipolynomial-time trace reconstruction

   5 October 2026 · Preprint, not peer reviewed · PDF

   We give a uniform algorithm that reconstructs every binary string from independent deletion traces when its length and rational retention probability are known. For each fixed retention probability, both the number of traces and the bit complexity are quasipolynomial in the string length. More generally, we give an explicit sample bound uniform over all rational retention probabilities, with running time polynomial in the sample budget and the binary input length. If the deletion probability is at most n^-ε for fixed ε > 0, the sample and running-time bounds are polynomial. Reconstruction succeeds with probability at least 2/3 for each input string.

2. A latest-anchor induction with spectrally compact masks for worst-case trace reconstruction

   5 October 2026 · Preprint, not peer reviewed · PDF

   We give an improved worst-case sample bound for reconstructing a string from independent deletion traces, with its length and retention probability known. For each fixed retention probability, the number of traces is quasipolynomial: the logarithm of the sample budget is O((log n)³(1+log log(2n))⁶). If the deletion probability is at most n^-ε for fixed ε > 0, polynomially many traces suffice. These bounds apply to binary strings and to strings of general symbols observed exactly. They concern sample complexity and do not assert an efficient reconstruction algorithm or matching optimality.

3. Quantitative lower bounds for trace reconstruction

   24 September 2026 · Preprint, not peer reviewed · PDF

   Exact worst-case reconstruction of a binary word from independent deletion traces requires n^{Ω(log log n)} samples for every fixed deletion probability q ∈ (0,1), even with unrestricted computation and any fixed positive success probability. This gives a negative answer to the polynomial-sample question for binary trace reconstruction. More generally, when q³ log n → ∞, we prove a lower bound of n^{c log(q3 log n)} samples for every fixed 0 < c < 1/(4 log 2). Here q is the known deletion probability, and all logarithms are natural.

Status

Preprint. The papers have not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.