Conjectured constrained moment-matching lower bound in the interpolation regime

Let pp be the norm parameter, let L1L\geq 1 be the number of matched moments, and let Mp(ϵ,L)M_p(\epsilon,L) be the constrained moment-matching quantity. For ϵ\epsilon satisfying

0<ϵ1L,0<\epsilon\lesssim \frac{1}{L},

Constrained moment-matching lower-bound conjecture.

Mp1/p(ϵ,L){ϵp/2L1p/2if 1p<2,ϵ2k/pL12k/pif 2k<p<2(k+1) with kZ+.M_p^{1/p}(\epsilon,L)\gtrsim \begin{cases} \dfrac{\epsilon^{p/2}}{L^{1-p/2}} & \text{if } 1\leq p<2,\\ \dfrac{\epsilon^{2k/p}}{L^{1-2k/p}} & \text{if } 2k<p<2(k+1)\text{ with }k\in\mathbb{Z}_+. \end{cases}

Such a bound would yield lower bounds on the critical separation for non-smooth p\ell_p-norm testing in the interpolation regime. The conjecture is presented as the missing constrained moment-matching lower bound and is not established in the supplied text.

Sources & referencesView supporting material

Primary source

Lucas Kania, Tudor Manole, Larry Wasserman and Sivaraman Balakrishnan, “Testing Imprecise Hypotheses”, arXiv:2510.20717 (2026).

Additional references

10 papers in this index state this conjecture (2013–2025). The statement above is taken from the most recent of them; the others are arXiv:2510.04647, arXiv:2411.10987, arXiv:2303.03606, arXiv:2204.05932, arXiv:2010.01511, arXiv:1910.12107, arXiv:1903.10631, arXiv:1808.04948, arXiv:1310.8441.

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.