Abstract:A bstract Recent years have seen a surprising connection between the physics of scattering amplitudes and a class of mathematical objects — the positive Grassmannian, positive loop Grassmannians, tree and loop Amplituhedra — which have been loosely referred to as “positive geometries”. The connection between the geometry and physics is provided by a unique differential form canonically determined by the property of having logarithmic singularities (only) on all the boundaries of the space, with residues on each boundary given by the canonical form on that boundary. The structures seen in the physical setting of the Amplituhedron are both rigid and rich enough to motivate an investigation of the notions of “positive geometries” and their associated “canonical forms” as objects of study in their own right, in a more general mathematical setting. In this paper we take the first steps in this direction. We begin by giving a precise definition of positive geometries and canonical forms, and introduce two general methods for finding forms for more complicated positive geometries from simpler ones — via “triangulation” on the one hand, and “push-forward” maps between geometries on the other. We present numerous examples of positive geometries in projective spaces, Grassmannians, and toric, cluster and flag varieties, both for the simplest “simplex-like” geometries and the richer “polytope-like” ones. We also illustrate a number of strategies for computing canonical forms for large classes of positive geometries, ranging from a direct determination exploiting knowledge of zeros and poles, to the use of the general triangulation and push-forward methods, to the representation of the form as volume integrals over dual geometries and contour integrals over auxiliary spaces. These methods yield interesting representations for the canonical forms of wide classes of positive geometries, ranging from the simplest Amplituhedra to new expressions for the volume of arbitrary convex polytopes.

Nicely structured positive bases with maximal cosine measure

A deterministic algorithm to compute the cosine measure of a finite positive spanning set

Using orthogonally structured positive bases for constructing positive $k$-spanning sets with cosine measure guarantees

The cosine measure relative to a subspace

Polynomial bases: positivity and Schur multiplication

Positive positive-definite functions and measures on locally compact abelian groups

On the Cardinality of Positively Linearly Independent Sets

A normal form for bases of finite-dimensional vector spaces

Positive geometries and canonical forms

Mutually unbiased bases as a commuting polynomial optimisation problem

Conditions for the existence of positive operator valued measures

Mutually Unbiased Bases in Composite Dimensions -- A Review

From "Dirac combs" to Fourier-positivity

On optimal bases for multiscale PDEs and Bayesian homogenization

The Exponential Nature and Positivity

Mutually unbiased bases: polynomial optimization and symmetry

On bi-continuous cosine families

The Pentagonal Inequality

A new description of orthogonal bases