Conjugacy Class Averages and Sidorenko's Conjecture
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.15368
curl -X POST /api/v1/records/arxiv/2606.15368/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.15368/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'