{"id":"arxiv/2606.23018","url":"https://arxiv.org/abs/2606.23018","tags":["math.CO"],"score":0,"title":"Sidorenko Inequalities for Two-Sided Group Correlation Kernels","domain":"math.CO","source":"arxiv","authors":["Yuqi Zhao"],"reviews":0,"subject":"math.CO","summary":"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$.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-22","reactions":{}}