Norin–Turcotte exact random-cover conjecture
Norin–Turcotte exact random-cover conjecture
Let be a finite metric tree of total length , and let satisfy . Then there exists a probability distribution on -good ball covers of , with all ball radii in , such that the expected radius measure of the random cover is dominated by , where denotes the uniform probability measure on . Equivalently, if is the radius measure of a random cover , then as measures on .
Equivalent formulations 1
Other statements of this same problem, merged from separate entries. Each is equivalent to the statement above — proving any one settles them all.
Duality criterion for the exact radius budget
For a finite metric tree of length , a finite positive Borel measure on dominates the expected radius measure of a random -good ball cover if and only if for every finite positive Borel measure on ; it is enough to test finite atomic measures. Taking and gives a dual formulation of the conjecture.
Sources & referencesView supporting material
Primary source
Additional references
Progress summary
The original authors left this sharp covering question open, but an August 2026 preprint now claims a full proof that has not yet been independently verified.
Norin and Turcotte stated the exact random-cover conjecture as Conjecture 6.1 in their 2022 paper: for metric trees satisfying , a probability distribution on covers should attain the sharp expected budget.
Known results
- Norin and Turcotte (2022; published 2024) proved the asymptotic Burning Number Conjecture, .
- Norin and Turcotte (2022) established the exact random-cover statement for metric trees with at most three leaves.
- They identified the regime as an obstruction to the unrestricted formulation.
August 2026 claimed proof
An August 19, 2026 arXiv preprint claims the full conjecture, using fractional covers, compact rounding, balanced-matrix integrality, and duality; it also claims additional uniform radius regimes. This is an unrefereed claim, with no independent verification found.
Current status (as of August 2026): The conjecture has a claimed full proof in an unrefereed preprint, but remains unverified; the earlier published results cover only the asymptotic theorem and special tree classes.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.