{"id":"arxiv/2607.06545","url":"https://arxiv.org/abs/2607.06545","tags":["math.CO"],"score":0,"title":"A Higher-Order Clique Density Theorem","domain":"math.CO","source":"arxiv","authors":["Heng Li","Hong Liu","Yixiao Zhang"],"reviews":0,"subject":"math.CO","summary":"Reiher's clique density theorem determines the sharp lower envelope for the density of $K_r$ at fixed edge density. We prove a higher-order version in which the prescribed quantity is itself a clique density. For every $3\\le s<r$, we determine the minimum possible $K_r$-density among graphons with prescribed $K_s$-density. For $s\\ge3$ the constraint is genuinely nonlinear and leaves the edge density undetermined; nevertheless, on the positive range the sharp lower boundary is the classical multipartite edge-to-clique profile, reparametrised by $K_s$-density. We also prove stability on the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-07","reactions":{}}