Finite reflection groups and graph norms

From MaRDI portal
Publication:2362589




Abstract: Given a graph H on vertex set 1,2,cdots,n and a function f:[0,1]2ightarrowmathbbR, define �egin{align*} |f|_{H}:=leftvertint prod_{ijin E(H)}f(x_i,x_j)dmu^{|V(H)|} ightvert^{1/|E(H)|}, end{align*} where mu is the Lebesgue measure on [0,1]. We say that H is norming if |cdot|H is a semi-norm. A similar notion |cdot|r(H) is defined by |f|r(H):=||f||H and H is said to be weakly norming if |cdot|r(H) is a norm. Classical results show that weakly norming graphs are necessarily bipartite. In the other direction, Hatami showed that even cycles, complete bipartite graphs, and hypercubes are all weakly norming. We demonstrate that any graph whose edges percolate in an appropriate way under the action of a certain natural family of automorphisms is weakly norming. This result includes all previously known examples of weakly norming graphs, but also allows us to identify a much broader class arising from finite reflection groups. We include several applications of our results. In particular, we define and compare a number of generalisations of Gowers' octahedral norms and we prove some new instances of Sidorenko's conjecture.




Cited in
(41)








This page was built for publication: Finite reflection groups and graph norms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2362589)