---
title: Sidorenko’s Conjecture in Extremal Graph Theory
url: https://www.emergentmind.com/topics/sidorenko-s-conjecture
type: topic
---

# Sidorenko’s Conjecture in Extremal Graph Theory

Searching arXiv for recent and foundational papers on Sidorenko's conjecture.
Sidorenko’s conjecture is a central conjecture in extremal graph theory and graph limits asserting that for every bipartite graph $H$, the homomorphism density of $H$ into a host graph or graphon is minimized, at fixed edge density, by the quasirandom host. In graphon form, for a symmetric measurable $W:[0,1]^2\to[0,1]$, it states
$$
t_H(W)\ge t_{K_2}(W)^{e(H)},
$$
and in finite-graph form, for a graph $G$ with edge density $p$,
$$
t_H(G)\ge p^{e(H)}.
$$
Equivalently, the Erdős–Rényi random graph asymptotically minimizes the number of $H$-homomorphisms among graphs of the same edge density [1310.4383]. The conjecture is only formulated for bipartite $H$; the analogous universal inequality fails outside the bipartite setting [2606.15368].

## 1. Formulations and basic meaning

Sidorenko’s conjecture has two standard equivalent formulations. For a bipartite graph $H=(A\cup B,E(H))$ and a bounded, non-negative, symmetric, measurable function $h:[0,1]^2\to\mathbb{R}_{\ge 0}$, the analytic form is
$$
\int_{[0,1]^{|V(H)|}} \prod_{(i,j)\in E(H)} h(x_i,y_j)\,d\mu^{|V(H)|}
\ge
\left(\int_{[0,1]^2} h(x,y)\,d\mu^2\right)^{|E(H)|}.
$$
In graphon language, if
$$
t_H(W)=\int_{[0,1]^{|V(H)|}} \prod_{uv\in E(H)} W(x_u,x_v)\,d\mathbf{x},
\qquad
t_{K_2}(W)=\int_{[0,1]^2} W(x,y)\,dx\,dy,
$$
then the conjecture is precisely $t_H(W)\ge t_{K_2}(W)^{e(H)}$ [1310.4383].

For finite graphs, with
$$
t_H(G)=\frac{\mathrm{hom}(H,G)}{|V(G)|^{|V(H)|}},
$$
Sidorenko’s conjecture is
$$
t_H(G)\ge t_{K_2}(G)^{e(H)},
\qquad\text{equivalently}\qquad
\mathrm{hom}(H,G)\ge |V(G)|^{|V(H)|}\,t_{K_2}(G)^{e(H)}.
$$
Since $\mathbb{E}[\mathrm{hom}(H,G(n,p))]=|V(G)|^{|V(H)|}p^{e(H)}$, the conjecture says that among graphs with fixed edge density, the Erdős–Rényi model asymptotically minimizes the $H$-homomorphism count [1310.4383].

This perspective places the conjecture at the interface of extremal combinatorics, quasirandomness, and graph limits. In the graphon setting, the constant graphon is the conjectured minimizer. In the finite setting, the conjecture predicts that edge correlations cannot reduce the density of a fixed bipartite pattern below the independent-edge benchmark [1004.4236].

## 2. Historical position and verified classes

The conjecture is attributed to Sidorenko and, in a closely related form, to Erdős and Simonovits [1107.1153]. The paper literature summarized here records several classical verified families: paths, trees, even cycles, complete bipartite graphs, bipartite graphs with at most four vertices on one side, and hypercubes [1310.4383]. The hypercube case was established via norming-graph methods, while trees and cycles admit more classical Hölder- and Cauchy–Schwarz-type proofs [1004.4236].

A major exact result concerns bipartite graphs with a universal vertex on one side. If $H=(V_1,V_2,E)$ is bipartite and some vertex of $V_1$ is adjacent to all vertices of $V_2$, then $H$ satisfies Sidorenko’s conjecture [1004.4236]. This class was later rederived by a short logarithmic-calculus argument, and the same framework proved the forcing conjecture for such graphs when they are not trees [1107.1153].

Approximate forms are also known. If $H$ is bipartite with width $w(H)$, then
$$
t_H(G)\ge t_{K_2}(G)^{e(H)+w(H)},
$$
with equality of exponents when $w(H)=0$, i.e. precisely in the universal-vertex case [1004.4236]. This gives a uniform lower bound for all bipartite graphs, but it is weaker than the full conjecture whenever $w(H)>0$.

The landscape of verified classes has continued to expand through structural decomposition results, product theorems, subdivision theorems, local graphon inequalities, and reductions to highly symmetric hosts [1510.06533]. At the same time, the paper literature repeatedly emphasizes that the conjecture remains very open, and even small regular bipartite graphs such as $K_{5,5}\setminus C_{10}$ historically served as benchmark unknown cases [1310.4383].

## 3. Structural methods: tree-arrangeability, tree decompositions, and biregularity

One influential structural approach is tree-arrangeability. For a bipartite graph $H$ with bipartition $A\cup B$, write $\Lambda_u$ for the neighborhood of $u$. An independent set $U$ is $T$-arrangeable for a tree $T$ on $U$ if for every pair $u,v\in U$ the path $P$ from $u$ to $v$ satisfies
$$
\Lambda_u\cap\Lambda_v=\bigcap_{w\in P}\Lambda_w.
$$
If a bipartition exists with $A$ tree-arrangeable, then $H$ has Sidorenko’s property [1310.4383]. This covers, among other examples, complete bipartite graphs, the universal-vertex class, and graphs with two dominating neighborhood-maximal vertices on one side [1310.4383].

The same paper identifies tree-arrangeability with a specific tree-decomposition condition: $H$ is tree-arrangeable if and only if there is a tree decomposition whose bags are $\Lambda_a\cup\{a\}$ for $a\in A$ [1310.4383]. This links Sidorenko’s conjecture to tree decompositions and conditional independence structures resembling Markov random fields.

That perspective was generalized by strong tree decompositions and then by higher tree decompositions. Strongly tree-decomposable graphs were shown to satisfy Sidorenko’s conjecture via a branching-random-walk embedding and entropy argument [1510.06533]. Higher tree decompositions iterate this construction: a graph is $k$-strongly tree-decomposable if it admits a recursive tree decomposition with induced-forest overlaps and compatible lower-level decompositions, and every such graph satisfies Sidorenko’s conjecture [1805.02238].

A different reduction concerns the host rather than the pattern. It is enough to verify Sidorenko’s inequality on biregular bigraphons, meaning bigraphons with almost-everywhere constant left and right degree functions equal to the edge density [2108.06599]. That reduction was originally due to Szegedy; a later paper gave an elementary proof and used the same regularization ideas to derive further results, including reflective tree decompositions. A bigraph admitting a reflective tree decomposition with a core that weakly dominates each intersection graph is Sidorenko; this framework unifies strong tree decompositions and $N$-decompositions [2108.06599].

These approaches share a common pattern: they replace an arbitrary graph by a recursive assembly of pieces for which the entropy, conditional-expectation, or degree-profile calculations can be controlled. This suggests that much of the known positive theory is organized around decomposability of either the pattern or the host.

## 4. Analytic and probabilistic frameworks

A second major line of attack is analytic. The logarithmic calculus of Li and Szegedy uses Jensen’s inequality for $\ln$ and for $z\ln z$ to derive subgraph-density inequalities directly from graphon integrals [1107.1153]. In its simplest form it recovers the path inequalities behind the Blakley–Roy theorem, and it yields a concise proof for the universal-vertex class [1107.1153]. The same paper introduces a strengthened notion of smoothness for labeled subgraphs, shows that smoothness is stable under gluing, and derives new Sidorenko families called reflection trees [1107.1153].

Szegedy later developed an information-theoretic formulation. For finite graphs, if $T(H,G)$ denotes the uniform distribution on $\mathrm{Hom}(H,G)$ and $v(H,G)$ the uniform measure on all maps $V(H)\to V(G)$, then
$$
D(T(H,G)\|v(H,G))=-\log t_H(G),
$$
so Sidorenko’s conjecture becomes an entropy inequality. This framework builds witness measures by conditionally independent couplings and leads to the class of thick graphs, every one of which is Sidorenko [1406.6738]. The same paper extends the method to large classes of $k$-uniform hypergraphs, even though the naive hypergraph analogue of Sidorenko’s conjecture is false in general [1406.6738].

There is also a local analytic theory. Lovász proved a local form of Sidorenko’s conjecture: if a graphon $W$ is sufficiently close to the constant graphon, then every bipartite graph $F$ satisfies $t(F,W)\ge t(K_2,W)^{e(F)}$ [1004.3026]. One of the paper’s central inequalities states that if $F$ has girth $2r$ and minimum degree at least $2$, and is neither a cycle nor complete bipartite, then for signed graphons $U$,
$$
t(F,U)\le t(C_{2r},U)\,t(C_4,U)^{1/4},
$$
which is then used to control the signed expansion of $t(F,1+U)$ near the constant graphon [1004.3026].

A further analytic reduction uses symmetric hosts. Szegedy showed that it suffices to verify Sidorenko’s inequality on highly symmetric Cayley-type hosts; in particular, one may reduce to vertex-transitive and edge-transitive settings, and then to Cayley graphs [2507.15723]. More recently, a group-theoretic refinement showed that if, for a fixed bipartite graph $H$, the $H$-density of every Cayley-type host is at least the $H$-density of its conjugacy-class average, then $H$ is strong Sidorenko [2606.15368]. This reduction is conditional, but it organizes the problem around representation-theoretic positivity.

## 5. Product constructions, subdivisions, and recent expansions of the Sidorenko class

A major source of new examples comes from closure results. If $T$ is a tree and $H$ has Sidorenko’s property, then the Cartesian product $T\Box H$ also has Sidorenko’s property [1310.4383]. This implies that all $d$-dimensional grids with arbitrary side lengths satisfy Sidorenko’s conjecture [1310.4383]. A later result proved an analogous closure under product with even cycles: if $H$ is Sidorenko, then $H\Box C_{2k}$ is Sidorenko for every $k\ge2$ [1510.06533].

Subdivisions form another robust family. Conlon, Kim, Lee, and Lee proved that subdivisions of certain graphs, including cliques, have Sidorenko’s property via locally dense counting and bounded-degree reduction [1510.06533]. Conlon and Lee later showed that for every bipartite graph $H$ with bipartition $A\cup B$, there exists an integer $p$ such that the blow-up $H_A^p$ obtained by gluing $p$ copies along $A$ is Sidorenko; in particular, $p=|A|!$ suffices [1809.01259]. Equivalently, every bipartite $H$ satisfies an $L^p$-version of Sidorenko’s conjecture for some $p$ [1809.01259].

Recent work sharpens the substitution picture. Replacing each edge of a graph by an even generalized theta graph yields a Sidorenko graph whenever the base graph satisfies the KNRS conjecture, and in particular replacing each edge of a complete graph by an even generalized theta graph is unconditionally Sidorenko [2408.03491]. The same paper proves Sidorenko for broad non-uniform edge replacements by even paths under a divisibility condition on the total numbers of paths of each length [2408.03491].

The abelian-Cayley-host setting gives an orthogonal generalization. Every even subdivision of an arbitrary graph satisfies Sidorenko’s inequality when the host is a Cayley graph over a finite abelian group [2507.15723]. The proof encodes cycle constraints by a circuit matrix and uses a Fourier expansion over $\ker L$; even lengths force Fourier coefficients to pair as nonnegative squares, so the principal character alone yields the lower bound [2507.15723]. In the abelian case, this recovers such examples as $C_6$ viewed as an even subdivision of $K_3$.

A recent non-abelian variant proves a Sidorenko-type inequality for 1-subdivision graphs on conjugacy-averaged Cayley kernels associated with arbitrary real-valued functions on finite groups [2606.15368]. Since even subdivisions can be realized as 1-subdivisions of other graphs, this gives a broad class of Sidorenko-type inequalities in conjugacy-averaged non-abelian settings [2606.15368].

## 6. Related viewpoints, obstructions, and open directions

Sidorenko’s conjecture has strong connections to quasirandomness. A bipartite graph $H$ is forcing if $t_{K_2}(G_n)\to p$ and $t_H(G_n)\to p^{e(H)}$ together imply that $(G_n)$ is quasirandom. Graphs with two universal vertices on one side are forcing [1004.4236], and Li–Szegedy proved the forcing conjecture for the universal-vertex class using logarithmic calculus [1107.1153]. This relation explains why the conjecture is often viewed as a lower-bound counterpart to quasirandomness characterization.

There is also a determinant and entropy viewpoint through homogeneous Gaussian Markov random fields. If $G$ is bipartite, then the differential entropy of any homogeneous GMRF on $G$ is at least $|E(G)|$ times the edge entropy plus $|V(G)|-2|E(G)|$ times the point entropy [1801.08425]. In determinant language this becomes
$$
\log T(G,\rho)\ge |E(G)|\log(1-\rho^2),
$$
where $T(G,\rho)$ is the maximum determinant of a covariance matrix with diagonal $1$ and edge correlations $\rho$ [1801.08425]. This inequality follows from Sidorenko for $G$ via a large deviation principle on high-dimensional spheres, but some determinant inequalities can also be proved for graphs not yet known to satisfy Sidorenko’s conjecture [1801.08425].

Another viewpoint concerns sums of squares. In the gluing-algebra framework, a Sidorenko inequality for $H$ would amount to nonnegativity of $H-(K_2)^{e(H)}$. However, some true Sidorenko inequalities cannot be certified by sums of squares. In particular, if $H$ is a trivial square, then $H-(K_2)^{e(H)}$ has no sums-of-squares certificate [2206.10058]. Computational work classified bipartite graphs on at most seven edges according to whether such a certificate exists, showing that the SoS obstruction goes beyond trivial squares [2206.10058].

Open problems remain abundant. The extension of the Cartesian product theorem beyond trees is explicitly identified as nontrivial because the current proof requires usable upper bounds on $|\mathrm{Hom}(T,G)|$ when a negative exponent appears [1310.4383]. The operation $\phi(H)$ on non-bipartite graphs, which reduces to $K_2\Box H$ in the bipartite case, leads to concrete questions such as whether $\phi(C_{2k+1})$ can have Sidorenko’s property; already $\phi(C_5)=K_{5,5}\setminus C_{10}$ is highlighted as a minimal unknown case in the older literature [1310.4383]. Recent symmetry-based approaches pose a different problem: to prove that conjugacy averaging cannot decrease $H$-density for broad classes of Cayley kernels, which would imply strong Sidorenko via reduction [2606.15368].

Taken together, these results suggest a conjectural picture in which Sidorenko’s property is stable under far more recursive decompositions, substitutions, and symmetry reductions than are currently proved. What remains missing is a general principle broad enough to subsume tree-arrangeability, higher tree decompositions, thick-graph constructions, biregular reductions, theta substitutions, and Cayley-host positivity within a single theorem.

Source: https://www.emergentmind.com/topics/sidorenko-s-conjecture