Threshold (1+ε)/n for Ω(n) distance reconstruction
Informal conjecture on sharp threshold for linear-proportion reconstruction · arXiv:2301.11019
Status solved high confidence
The conjecture that $p=(1+\varepsilon)/n$ is the sharp threshold for the existence of a reconstructible set of size $\Omega(n)$ has been resolved by Zakharov (2026, arXiv:2604.09176), which proves that for every $\varepsilon>0$, with high probability there exists a reconstructible subset $U$ of the giant component $C$ of the 2-core satisfying $|U|=|V(C)|(1-o(1))$ when $p=(1+\varepsilon)/n$, establishing the conjectured threshold and in fact giving a stronger quantitative bound.
Cited literature (1)
-
Proves that for every $\varepsilon>0$ with $\varepsilon=\omega(1/\ln n)$, when $p=(1+\varepsilon)/n$, whp there exists a reconstructible subset of the giant 2-core component of size $(1-o(1))|V(C)|$, confirming the conjectured sharp threshold $p=(1+\varepsilon)/n$ for linear-proportion reconstruction.
Reviewer notes. The paper arXiv:2401.01882 (Barnes, Petr, Portier, Randall Shaw, Sergeev, 2024) addresses higher-dimensional reconstruction at a different threshold and is not directly related to this conjecture. The resolving paper arXiv:2604.09176 also requires $\varepsilon=\omega(1/\ln n)$, so there may remain a thin regime near $\varepsilon\to 0$ not fully covered.
Context
Theorem 1.2a is proved with constant 42, i.e., $p \geq 42/n$ suffices. The authors note in footnote 2 that the best their methods could give is $9/n$, and they believe the true threshold is $(1+\varepsilon)/n$, with further discussion deferred to Section 4 on open problems.
Notes. Appears in footnote 2 as an informal belief. Section 4 (open problems) is not present in the extracted text, so additional conjectures from that section may be missing.
Source paper
Reconstructing a point set from a random subset of its pairwise distances
António Girão, Freddie Illingworth, Lukas Michel, Emil Powierski, Alex Scott · 2023-01-26
https://arxiv.org/abs/2301.11019
PDF source