Conjecture on optimal stability constants for 3-wise intersecting families

Let 0<p<10<p<1, let nn be a positive integer, and let p=(p,p,,p)(0,1)n{\bm p}=(p,p,\ldots,p)\in(0,1)^n. Let A\mathcal A be a 3-wise intersecting family, and let B\mathcal B be the corresponding star from the stability statement in the cited theorem. Write AB\mathcal A\triangle\mathcal B for the symmetric difference, and let ϵ\epsilon denote the parameter in that stability theorem. Let CpC_p be the constant appearing there.

Conjecture on optimal stability constants. There exists a constant CpC_p' such that the inequality in case (ii) of the theorem can be replaced by

μp(AB)<(Cp+o(1))ϵ,\mu_{\bm p}(\mathcal A\triangle\mathcal B)<(C_p'+o(1))\epsilon,

where CpCpC_p'\leq C_p and CpC_p' is increasing in pp for 12p<23\frac12\leq p<\frac23.

The conjecture seeks a sharper and more regular stability constant near p=12p=\frac12. The supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

Norihide Tokushige, “Application of hypergraph Hoffman's bound to intersecting families”, arXiv:2112.07965 (2021).

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.