Asymptotic optimizer sequence for the lower bound in g(n,k,)g(n,k,\ell)

From papers

For each triple (n,k,)(n,k,\ell), let the right-hand side of be the lower-bound expression from Theorem, optimized over the parameter jj. Asymptotic optimizer conjecture. For every 2\ell \geq 2, there is a sequence

0=α0()<α1()<α2()<<130 = \alpha_0(\ell) < \alpha_1(\ell) < \alpha_2(\ell) < \dots < \frac{1}{3}

of real numbers such that, if n,kn,k tend to infinity with knγ\frac{k}{n} \rightarrow \gamma and αi1()<γ<αi()\alpha_{i-1}(\ell) < \gamma < \alpha_i(\ell), then the right-hand side of attains its maximum at j=ij=i.

This predicts a phase diagram for the asymptotically optimal choice of jj in the lower-bound construction. The source gives no resolution or supporting result for this assertion.

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

Kartal Nagy, “A new intersection condition in extremal set theory”, arXiv:2504.14389 (2025).

Solutions 0

No solutions have been posted yet.