{"id":"arxiv/2606.15368","url":"https://arxiv.org/abs/2606.15368","tags":["math.CO","math.GR"],"score":0,"title":"Conjugacy Class Averages and Sidorenko's Conjecture","domain":"math.CO","source":"arxiv","authors":["Yuqi Zhao"],"reviews":0,"subject":"math.CO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-13","reactions":{}}