{"id":"arxiv/2606.18321","url":"https://arxiv.org/abs/2606.18321","tags":["math.CO"],"score":0,"title":"Proofs of Two Conjectures of Alon on Subgraph Counts","domain":"math.CO","source":"arxiv","authors":["Peiru Kuang","Shuang Sun","Yan Wang","Jiasheng Zeng"],"reviews":0,"subject":"math.CO","summary":"All graphs considered are finite with no isolated vertices. Let $N(m,H)$ be the maximum number of subgraphs of a graph $G$ isomorphic to $H$, taken over all graphs $G$ with $m$ edges. Alon proved that $N(m,H)=Θ_H(m^{γ(H)})$, where $γ(H)=(|V(H)|+D(H))/2$ and $D(H)=\\max_{S\\subseteq V(H)}(|S|-|N_H(S)|)$, and conjectured [Conjecture 1, Isr. J. Math., 1986] that limit of $N(m,H)/m^{γ(H)}$ exists as $m\\to\\infty$. We prove this conjecture and identify the limit as $λ(H)=Λ(H)/|\\operatorname{Aut}(H)|$, where $Λ(H)$ is characterized by a variational problem over finite cores. We also resolve another…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-16","reactions":{}}