Profile conjecture for S2,1S_{2,1}-good graph sequences

Less than 1 year old · traced to

Let S2,1S_{2,1} be the relevant colored graph, and let an S2,1S_{2,1}-good sequence (Gn)(G_n) have limiting edge density β\beta and profile ρ(S2,1,(Gn))\rho(S_{2,1},(G_n)). Define the construction densities c(β)c(\beta), cc(β)cc(\beta), s(β)s(\beta), ℓ(β)\ell(\beta), and r(β)r(\beta) as in the preceding constructions. Let x∈(0,1)x\in(0,1) solve cc(x)=c(x)cc(x)=c(x), equivalently

16x3−40x2+41x−16=0,16x^3-40x^2+41x-16=0,

and let y∈(0,1/4)y\in(0,1/4) be a root of the degree-six polynomial determining when the optimum in s(β)s(\beta) occurs at x=0x=0. Profile conjecture. For every S2,1S_{2,1}-good sequence (Gn)(G_n),

cc(β)if β∈[0,x]c(β)if β∈[x,1]}≤ρ(S2,1,(Gn))≤{s(β)if β∈[0,y]c(β)if β∈[y,1/4]ell(β)if β∈[1/4,1/2]r(β)if β∈[1/2,1].\left.\begin{array}{ll}cc(\beta)&\text{if }\beta\in[0,x]\\c(\beta)&\text{if }\beta\in[x,1]\end{array}\right\}\leq\rho(S_{2,1},(G_n))\leq\begin{cases}s(\beta)&\text{if }\beta\in[0,y]\\c(\beta)&\text{if }\beta\in[y,1/4]\\ell(\beta)&\text{if }\beta\in[1/4,1/2]\\r(\beta)&\text{if }\beta\in[1/2,1].\end{cases}

This conjecture seeks the profile of S2,1S_{2,1} across edge densities by comparing explicit construction lower bounds with upper bounds from the listed constructions; the exact thresholds and the sharpness of the upper bounds remain open.

References

Primary source

József Balogh, Bernard Lidický, Dhruv Mubayi, Florian Pfender and Jan Volec, “Semi-Inducibility of some small graphs”, arXiv:2601.03433 (2026).

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.