Conjectured interpolation formula for triangle-free subgraphs of random hypergraphs

For an integer r4r\geq 4 and a constant xx with 0xr0\leq x\leq r, let Gn,prG^r_{n,p} be the random rr-graph on nn vertices in which each rr-set is present independently with probability pp, set p=nr+xp=n^{-r+x}, and define

fr(x)=limnlognE[ex(Gn,pr,Tr)],f_r(x)=\lim_{n\to\infty}\log_n\mathbb{E}[\operatorname{ex}(G^r_{n,p},T^r)],

where TrT^r is the loose triangle and ex(Gn,pr,Tr)\operatorname{ex}(G^r_{n,p},T^r) is the maximum number of edges in a TrT^r-free subgraph of Gn,prG^r_{n,p}.

Interpolation conjecture. For 32<x4\frac{3}{2}<x\leq 4,

fr(x)=3x+35.f_r(x)=\frac{3x+3}{5}.

The conjecture proposes that the upper bound obtained from the paper's container argument is the true value in the intermediate range. The theorem quoted immediately before it gives matching values for 0x320\leq x\leq\frac{3}{2} and 4<xr4<x\leq r, but leaves this interval bounded rather than determined.

Sources & referencesView supporting material

Primary source

Jiaxi Nie, Sam Spiro and Jacques Verstraete, “Triangle-free Subgraphs of Hypergraphs”, arXiv:2004.10992 (2020).

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.