The exact value conjecture for the combinatorial exceptional-point constant

From papers

Let δK\delta_{\mathcal K} denote the universal constant for the paper's combinatorial formulation, whose associated statement is denoted by Kδ\mathcal K_\delta. The preceding proposition shows that if

(2δ)3+(2δ)2+2δ>1,(2\delta)^3+(2\delta)^2+2\delta>1,

then there is a counterexample to Kδ\mathcal K_\delta.

Exact value conjecture. The universal constant δK\delta_{\mathcal K} is the only real root of

(2δ)3+(2δ)2+2δ=1.(2\delta)^3+(2\delta)^2+2\delta=1.

The conjecture asserts optimality of the construction giving the upper bound δK<0.2719\delta_{\mathcal K}<0.2719; the paper's proof supplies the counterexamples and upper bound, while the matching optimality remains open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Andras Szenes, “Exceptional points for Lebesgue's density theorem on the real line”, arXiv:math/0702432 (2007).

Solutions 0

No solutions have been posted yet.