arXiv++ Combinatorics

We develop a tensor-amplification framework for Sidorenko-type inequalities in graphon classes. The framework applies to any admissible class, meaning a class closed under tensor powers and normalized principal restrictions. These two closure properties isolate the structural input needed for the amplification arguments, while preserving natural positivity constraints such as the doubly nonnegative constraint. For every admissible class $\mathcal{C}$, we prove two transfer principles. First, equality cases regularize optimally: if a non-matching graph $H$ is $\mathcal{C}$-Sidorenko, then every equality case $t(H,W)=p(W)^{e(H)}$ with $W\in\mathcal{C}$ is regular. Consequently, relative forcing is equivalent to relative regular-forcing for every non-matching $\mathcal{C}$-Sidorenko graph. Second, in the range $v(H)\le e(H)$, ordinary $\mathcal{C}$-Sidorenko is equivalent, as a universal property over $\mathcal{C}$, to the spectral inequality $t(H,W)\ge ρ(W)^{2e(H)-v(H)}p(W)^{v(H)-e(H)}$ for every non-zero $W\in\mathcal{C}$. The spectral transfer is obtained from a Perron-biased tensor regularization theorem detecting the Perron spectral radius on the exponential scale. We also prove quantitative near-equality variants and apply the framework to doubly nonnegative graphons and bounded doubly nonnegative kernels. This yields spectral equivalences for Sidorenko-good graphs in the range $v(F)\le e(F)$, and identifies Sidorenko-good forcing with regular-KNRS forcing for non-matching Sidorenko-good graphs.

The Kohayakawa--Nagle--Rödl--Schacht conjecture predicts that locally dense graphs contain, asymptotically, at least as many homomorphic copies of any fixed graph as the random graph of the same edge density. We prove that every graph with at least one edge satisfies a natural $L^p$ relaxation of this conjecture in the graphon setting. More precisely, let $F$ be a graph with $m>0$ edges, and let $n$ be the number of non-isolated vertices of $F$. If $$ p\ge \binom {n}{2}/m, $$ then for every $ρ$-locally dense graphon $W$, $$ t(F,W^{\circ p})\ge ρ^{pm}. $$ Equivalently, if $$ W_F(\mathbf x)=\prod_{ij\in E(F)}W(x_i,x_j), $$ then $$ \|W_F\|_{L^p}\ge ρ^{e(F)}. $$ The proof is based on a Hölder uniformization over vertex relabellings, in the spirit of Conlon--Lee. We also prove a more general comparison principle with edge-transitive KNRS supergraphs, yielding sharper exponents whenever $F$ embeds into an edge-transitive KNRS graph. Finally, positive-semidefinite methods give theta-subdivision results: Sidorenko-good graphs are closed under arbitrary uniform theta-subdivisions; the non-uniform theta theorem of Im--Li--Liu admits a Sidorenko-good lift, under the same divisibility assumptions, after removing the parity restriction; and uniform theta-subdivisions of KNRS graphs are regular-KNRS.

Sidorenko's conjecture asserts that every bipartite graph has at least the expected homomorphism density in every graph of a given edge density. Motivated by Cayley-type formulations of Sidorenko-type inequalities, we study a two-sided correlation construction on finite groups. Let $Γ$ be a finite group and let $f:Γ\to\mathbb{R}$ be a real-valued function. We define a directed kernel on $Γ$ by $$\mathcal C_f(x,y)=|Γ|^{-1}\sum_{a_1,a_2\inΓ:\, xa_1=a_2y} f(a_1)f(a_2)=\mathbb{E}_{z\inΓ} f(x^{-1}z)f(zy^{-1}).$$ When $f=\mathbf{1}_A$, this is the normalized size of the intersection $xA\cap Ay$. We prove that, for every finite directed graph $F$, $$t(F,\mathcal C_f)\geq t(\overrightarrow{K_2},\mathcal C_f)^{e(F)}=(\mathbb{E}_{g\inΓ}f(g))^{2e(F)}.$$ Equivalently, if $W_f^\times(x,y)=f(xy)$ is the directed product Cayley kernel on $Γ$, then the directed $1$-subdivision of every finite directed graph satisfies the same homomorphism-density lower bound in $W_f^\times$.

Sidorenko's conjecture asserts that for every bipartite graph $H$ and every graph $G$, \[ t(H,G)\geq t(K_2,G)^{e(H)}. \] A result of Szegedy shows that, in order to prove the conjecture, it suffices to verify the corresponding inequality on a special family of highly symmetric bipartite Cayley type hosts arising from symmetric groups. Motivated by this reduction, we study Cayley type bipartite kernels associated with functions on finite groups and their conjugacy class averages. Our first result gives a reduction through conjugacy averaging: for a fixed bipartite graph $H$, if the $H$-density of each Cayley type host is at least the $H$-density of its conjugacy class average, then $H$ is strong Sidorenko, and hence Sidorenko. Our second result proves a Sidorenko-type inequality for 1-subdivision graphs on conjugacy-averaged Cayley kernels associated with arbitrary real-valued functions on finite groups.

Sidorenko's conjecture asserts that every bipartite graph $H$ has the property that, for any host graph $G$, the homomorphism density from $H$ to $G$ is asymptotically at least as large as in a quasirandom graph with the same edge density as $G$. While the conjecture remains still very open, Szegedy showed that it suffices to verify the inequality when the host graph is a Cayley graph over a finite group. In this paper, we prove that Sidorenko's conjecture holds for all even subdivisions of arbitrary graphs when the host graph is a Cayley graph over an abelian group. That is, if each edge of a graph is replaced by a path of even length (allowing different lengths for different edges), then the resulting graph satisfies the Sidorenko's inequality in any abelian Cayley host graph. Our approach reduces the homomorphism count to the evaluation of certain averages over solution sets of linear systems over finite abelian groups, and proceeds using Fourier-analytic techniques.

A $3$-uniform loose cycle, denoted by $C_t$, is a $3$-graph on $t$ vertices whose vertices can be arranged cyclically so that each hyperedge consists of three consecutive vertices, and any two consecutive hyperedges share exactly one vertex. The length of $C_t$ is the number of its hyperedges. We prove that for any $η>0$, there exists an $n_0=n_0(η)$ such that for any $n\geq n_0$ the following holds. Let $\mathcal{C}$ be a $3$-graph consisting of vertex-disjoint loose cycles $C_{n_1}, C_{n_2}, \ldots, C_{n_r}$ such that $\sum_{i=1}^{r}n_i=n$. Let $k$ be the number of loose cycles with odd lengths in $\mathcal{C}$. If $\mathcal{H}$ is a $3$-graph on $n$ vertices with minimum codegree at least $(n+2k)/4+ηn$, then $\mathcal{H}$ contains $\mathcal{C}$ as a spanning subhypergraph. The degree condition is approximately tight. This generalizes the result of Kühn and Osthus for loose Hamilton cycle and the result of Mycroft for loose cycle factors in $3$-graphs. Our proof relies on the regularity lemma and a transversal blow-up lemma recently developed by the first author and Staden.