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

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

16x340x2+41x16=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](¸β)if β[x,1]}ρ(S2,1,(Gn)){s(β)if β[0,y](¸β)if β[y,1/4](β)if β[1/4,1/2](˚β)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.

Sources & referencesView supporting material

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.