Geometry of effective field theory positivity cones

Positivity bounds are theoretical constraints on the Wilson coefficients of an effective field theory. These bounds emerge from the requirement that a given effective field theory must be the low-energy limit of a relativistic quantum theory that satisfies the fundamental principles of unitarity, locality, and causality. The task of deriving these bounds can be reformulated as the geometric problem of finding the extremal representation of a closed convex cone~$\mathcal C_W$. More precisely, in the presence of multiple particle flavors, the forward-limit positivity cone $\mathcal C_W$ consists of all positive semi-definite tensors in $W =\left\{ S \in \mathrm{Sym}^2 (\mathrm{Sym}^2\, V^*)\oplus \mathrm{Sym}^2 \left({\Lambda}^2 V^*\right) : \tau S = S \right\} \subset \mathrm{Sym}^2(V^*\otimes V^*)$, where $\tau$ denotes transposition in the second and fourth tensor factor and $V\cong\mathbb{R}^n$, where $n$ is the number of flavors. In this work, we solve this question up to three flavors, i.e.~$n=3$, proving a full classification of all extremal elements in these cases. We furthermore study the implications of our findings, deriving the full positivity bounds for amplitudes with and without additional symmetries. In the cases with additional symmetries that we consider, we find that the so-called elastic bounds are sufficient to give rise to the full positivity bounds.