Abstract:Toric $t$-designs, or equivalently $t$-designs on the diagonal subgroup of the unitary group, are sets of points on the torus over which sums reproduce integrals of degree $t$ monomials over the full torus. Motivated by the projective structure of quantum mechanics, we develop the notion of $t$-designs on the projective torus, which have a much more restricted structure than their counterparts on full tori. We provide various new constructions of toric and projective toric designs and prove bounds on their size. We draw connections between projective toric designs and a diverse set of mathematical objects, including difference and Sidon sets from the field of additive combinatorics, symmetric, informationally complete positive operator valued measures and complete sets of mutually unbiased bases (MUBs) from quantum information theory, and crystal ball sequences of certain root lattices. Using these connections, we prove bounds on the maximal size of dense $B_t \bmod m$ sets. We also use projective toric designs to construct families of quantum state designs. In particular, we construct families of (uniformly-weighted) quantum state $2$-designs in dimension $d$ of size exactly $d(d+1)$ that do not form complete sets of MUBs, thereby disproving a conjecture concerning the relationship between designs and MUBs (Zhu 2015). We then propose a modification of Zhu's conjecture and discuss potential paths towards proving this conjecture. We prove a fundamental distinction between complete sets of MUBs in prime-power dimensions versus in dimension $6$ (and, we conjecture, in all non-prime-power dimensions), the distinction relating to group structure of the corresponding projective toric design. Finally, we discuss many open questions about the properties of these projective toric designs and how they relate to other questions in number theory, geometry, and quantum information.

Bier spheres and toric topology

The characterization of $(n-1)$-spheres with $n+4$ vertices having maximal Buchstaber number

Real toric manifolds associated with chordal nestohedra

Simplicial vs. cubical spheres, polyhedral products and the Nevo-Petersen conjecture

Spherical Complexes Attached to Symplectic Lattices

Intersection cohomology of type-A toric varieties

Graph invariants and Betti numbers of real toric manifolds

Toric wedge induction and toric lifting property for piecewise linear spheres with a few vertices

Link Bundles and Intersection Spaces of Complex Toric Varieties

Toric sheaves and polyhedra

Cohomology Rings of Toric Bundles and the Ring of Conditions

Five tori in $S^4$

A Categorification of Morelli’s Theorem

The toric ring of one dimensional simplicial complexes

Homology of torus spaces with acyclic proper faces of the orbit space

Projective toric designs, quantum state designs, and mutually unbiased bases

The Burau representation and shapes of polyhedra

Cohomology operations for moment-angle complexes and resolutions of Stanley-Reisner rings

Structures associated with the Borromean rings complement in the Poincaré ball

Numerical invariants of normed matrix factorizations

On Toric Generators in the Unitary and Special Unitary Bordism Rings