Monotones from multi-invariants: the Coxeter classification

Abstract

Multi-invariants are multiplicative polynomial invariants of multipartite pure states under local unitaries. They yield entanglement monotones when their contraction graphs satisfy edge-convexity. We classify all connected edge-convex multi-invariants. Up to duplication of entire edge-colour families, their contraction graphs are precisely the standard edge-labelled Cayley graphs of finite Coxeter systems. Necessity follows by identifying edge-reflecting graphs with Coxeter Cayley graphs. For sufficiency, we prove vertex-convexity of parabolic quotients and lift their matrices by induction. This covers all classical and exceptional families. For the largest quotients, $E_8/D_7$ and $H_4/A_3$, wall symmetry reduces the matrices to exact positivity tests over $\mathbb{Q}$ and $\mathbb{Q}(\sqrt{5})$.

arXiv commentSubstantially expanded revision. Includes a complete proof of the Coxeter classification of connected edge-convex multi-invariants, including all exceptional cases. Exact verification code and data are provided as ancillary files