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.

Rectangular shrinking targets for $\mathbb{Z}^m$ actions on tori: well and badly approximable systems

Shrinking targets on square-tiled surfaces

Quantitative shrinking target properties for rotations and interval exchanges

Modified shrinking target problem for Matrix Transformations of Tori

Shrinking targets and eventually always hitting points for interval maps

A truncated second main theorem for algebraic tori with moving targets and applications

Badly approximable grids and k-divergent lattices

Shrinking targets versus recurrence: the quantitative theory

The Shrinking Target Problem for Nonautonomous Dynamical Systems Corresponding to Cantor Series Expansion over Formal Laurent Series

Brauer-Siegel for Arithmetic Tori and lower bounds for Galois orbits of special points

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

On shrinking targets for linear expanding and hyperbolic toral endomorphisms

Rigidity of non-maximal torus actions, unipotent quantitative recurrence, and Diophantine approximations

An application of lattice points counting to shrinking target problems

Geometric realizations of birational transformations via $\mathbb{C}^*$-actions

On Fixed-Point Sets of $\Z_2$-Tori in Positive Curvature

On actions of tori and quaternionic tori on products of spheres

Quantitative reduction theory and unlikely intersections

Torsion Limits and Riemann-Roch Systems for Function Fields and Applications

Constructing bounded remainder sets and cut-and-project sets which are bounded distance to lattices, II

Complexity of Robust Orbit Problems for Torus Actions and the abc-conjecture