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.

Generalized group designs: overcoming the 4-design-barrier and constructing novel unitary 2-designs in arbitrary dimensions

Explicit construction of exact unitary designs

On the Explicit Constructions of Certain Unitary T-Designs

Efficient Unitary T-designs from Random Sums

Multiqubit Clifford groups are unitary 3-designs

Unitary Designs from Random Symmetric Quantum Circuits

The Clifford Group Fails Gracefully to Be a Unitary 4-Design

Randomized Benchmarking Using Unitary t-Design for Average Fidelity Estimation of Practical Quantum Circuit

Efficient approximate unitary t-designs from partially invertible universal sets and their application to quantum speedup

Efficient unitary designs with a system-size independent number of non-Clifford gates

Approximate t-designs in generic circuit architectures

Approximate Unitary $k$-Designs from Shallow, Low-Communication Circuits

On computational complexity of unitary and state design properties

Designs from Local Random Quantum Circuits with SU(d) Symmetry

Clifford Group and Unitary Designs under Symmetry

Quantum Circuits for Exact Unitary T -Designs and Applications to Higher-Order Randomized Benchmarking

Efficient unitary designs and pseudorandom unitaries from permutations

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

Emergent unitary designs for encoded qubits from coherent errors and syndrome measurements

Unitary Designs of Symmetric Local Random Circuits