Weighted State t-Designs

• Weighted state t-designs are finite ensembles of quantum pure states with weights that reproduce the t-th Haar moments, bridging harmonic analysis and quantum information.
• They provide a rigorous framework for applications like state tomography, SIC-POVMs, and mutually unbiased bases through explicit constructions via projective toric designs and finite group methods.
• Recent advances include nearly tight weighted 2-designs and a channel-theoretic reformulation that links minimal design size with the entanglement breaking rank of quantum channels.

Weighted state $t$-designs are finite ensembles of pure quantum states whose discrete $t$-th moments reproduce the Haar moment on complex projective space. In dimension $d$, a weighted ensemble $\{(|\psi_i\rangle,w_i)\}$, with $w_i\ge 0$ and $\sum_i w_i=1$, is a weighted state $t$-design when

$$\sum_i w_i \,\big(|\psi_i\rangle\!\langle\psi_i|\big)^{\otimes t} \;=\; \int_{\mathbb{CP}^{d-1}} \big(|\psi\rangle\!\langle\psi|\big)^{\otimes t}\, d\mu_{\rm Haar}(\psi) \;=\; \frac{P_{\mathrm{sym}^{(t)}}}{\binom{d+t-1}{t}},$$

where $P_{\mathrm{sym}^{(t)}}$ is the projector onto the totally symmetric subspace of $(\mathbb{C}^d)^{\otimes t}$. This notion organizes exact Haar-moment quadrature on $t$0, links directly to SIC-POVMs and unions of MUBs in the case $t$1, and has recently been expanded by projective toric constructions, weighted minimality results, and explicit nearly tight weighted 2-designs in every dimension (Iosue et al., 2023, Iverson et al., 2021, Jasper et al., 24 Jan 2025).

1. Moment identities and equivalent characterizations

In the complex projective setting, weighted state $t$2-designs and weighted projective $t$3-designs are the same object described in two equivalent languages. On the unit sphere $t$4, a finite family of unit vectors $t$5 with weights $t$6 is a weighted projective $t$7-design if

$t$8

where $t$9 is the orthogonal projection onto $d$0. Equivalently, the design reproduces the average of every polynomial in $d$1, and in integral form one has

$d$2

The unweighted case is recovered by setting $d$3 (Iverson et al., 2021).

A second characterization is through the weighted $d$4-frame potential

$d$5

A weighted ensemble is a $d$6-design if and only if this equals the Haar value

$d$7

For $d$8,

$d$9

with $\{(|\psi_i\rangle,w_i)\}$0 the swap operator on $\{(|\psi_i\rangle,w_i)\}$1 (Iosue et al., 2023, Iverson et al., 2021, Jasper et al., 24 Jan 2025).

Recent work also uses an equivalent unnormalized convention for $\{(|\psi_i\rangle,w_i)\}$2, requiring

$\{(|\psi_i\rangle,w_i)\}$3

so that $\{(|\psi_i\rangle,w_i)\}$4. This is simply a rescaling of the normalized convention by the factor $\{(|\psi_i\rangle,w_i)\}$5 (Jasper et al., 24 Jan 2025).

2. Tightness, weighted minimality, and cardinality bounds

For complex projective 2-designs, the sharp cardinality threshold is $\{(|\psi_i\rangle,w_i)\}$6. If $\{(|\psi_i\rangle,w_i)\}$7 is an unweighted projective 2-design, then $\{(|\psi_i\rangle,w_i)\}$8, with equality precisely when $\{(|\psi_i\rangle,w_i)\}$9 is equiangular. In that equality case, $w_i\ge 0$0 is a tight projective 2-design, or SIC-POVM, characterized by

$w_i\ge 0$1

The weighted analogue is equally rigid: every weighted projective 2-design in $w_i\ge 0$2 has size at least $w_i\ge 0$3, and if equality holds then the weights are all equal. Thus weighted tightness coincides with the unweighted tight case (Iverson et al., 2021).

For general dimensions, existence is known without achieving tightness. A weighted projective 2-design of size $w_i\ge 0$4 exists for each $w_i\ge 0$5, via Carathéodory’s theorem applied to the convex cone spanned by rank-1 symmetric projectors in $w_i\ge 0$6 (Iverson et al., 2021). More recent constructions improve this substantially: if $w_i\ge 0$7 denotes the minimal cardinality of a weighted complex projective 2-design in $w_i\ge 0$8, then

$w_i\ge 0$9

so $\sum_i w_i=1$0. This establishes explicit nearly tight weighted 2-designs in every dimension (Jasper et al., 24 Jan 2025).

Projective toric designs introduce a separate family of lower bounds. If $\sum_i w_i=1$1 is a finite projective toric $\sum_i w_i=1$2-design, then

$\sum_i w_i=1$3

where $\sum_i w_i=1$4 is the crystal ball number in the root lattice $\sum_i w_i=1$5,

$\sum_i w_i=1$6

For even $\sum_i w_i=1$7, minimal projective toric designs are forced to be uniformly weighted (Iosue et al., 2023).

3. Projective toric designs and the lift to quantum state designs

A central structural development is the use of the diagonal subgroup of the unitary group. The maximal torus of $\sum_i w_i=1$8 is $\sum_i w_i=1$9, and the projective torus is the quotient

$t$0

where the embedded diagonal copy of $t$1 accounts for global phase. Projective toric monomials have equal degree and conjugate degree and lift to exponentials of the form

$t$2

A measure space $t$3 is a $t$4 $t$5-design if, for all $t$6,

$t$7

and the Haar integral equals $t$8 precisely when the multisets $t$9 and $$\sum_i w_i \,\big(|\psi_i\rangle\!\langle\psi_i|\big)^{\otimes t} \;=\; \int_{\mathbb{CP}^{d-1}} \big(|\psi\rangle\!\langle\psi|\big)^{\otimes t}\, d\mu_{\rm Haar}(\psi) \;=\; \frac{P_{\mathrm{sym}^{(t)}}}{\binom{d+t-1}{t}},$$0 coincide, and $$\sum_i w_i \,\big(|\psi_i\rangle\!\langle\psi_i|\big)^{\otimes t} \;=\; \int_{\mathbb{CP}^{d-1}} \big(|\psi\rangle\!\langle\psi|\big)^{\otimes t}\, d\mu_{\rm Haar}(\psi) \;=\; \frac{P_{\mathrm{sym}^{(t)}}}{\binom{d+t-1}{t}},$$1 otherwise (Iosue et al., 2023).

The connection to weighted state $$\sum_i w_i \,\big(|\psi_i\rangle\!\langle\psi_i|\big)^{\otimes t} \;=\; \int_{\mathbb{CP}^{d-1}} \big(|\psi\rangle\!\langle\psi|\big)^{\otimes t}\, d\mu_{\rm Haar}(\psi) \;=\; \frac{P_{\mathrm{sym}^{(t)}}}{\binom{d+t-1}{t}},$$2-designs is through a factorization of the Fubini–Study measure. With $$\sum_i w_i \,\big(|\psi_i\rangle\!\langle\psi_i|\big)^{\otimes t} \;=\; \int_{\mathbb{CP}^{d-1}} \big(|\psi\rangle\!\langle\psi|\big)^{\otimes t}\, d\mu_{\rm Haar}(\psi) \;=\; \frac{P_{\mathrm{sym}^{(t)}}}{\binom{d+t-1}{t}},$$3 the probability simplex, define

$$\sum_i w_i \,\big(|\psi_i\rangle\!\langle\psi_i|\big)^{\otimes t} \;=\; \int_{\mathbb{CP}^{d-1}} \big(|\psi\rangle\!\langle\psi|\big)^{\otimes t}\, d\mu_{\rm Haar}(\psi) \;=\; \frac{P_{\mathrm{sym}^{(t)}}}{\binom{d+t-1}{t}},$$4

where

$$\sum_i w_i \,\big(|\psi_i\rangle\!\langle\psi_i|\big)^{\otimes t} \;=\; \int_{\mathbb{CP}^{d-1}} \big(|\psi\rangle\!\langle\psi|\big)^{\otimes t}\, d\mu_{\rm Haar}(\psi) \;=\; \frac{P_{\mathrm{sym}^{(t)}}}{\binom{d+t-1}{t}},$$5

The pullback of the Fubini–Study measure factorizes as

$$\sum_i w_i \,\big(|\psi_i\rangle\!\langle\psi_i|\big)^{\otimes t} \;=\; \int_{\mathbb{CP}^{d-1}} \big(|\psi\rangle\!\langle\psi|\big)^{\otimes t}\, d\mu_{\rm Haar}(\psi) \;=\; \frac{P_{\mathrm{sym}^{(t)}}}{\binom{d+t-1}{t}},$$6

that is, Lebesgue measure on $$\sum_i w_i \,\big(|\psi_i\rangle\!\langle\psi_i|\big)^{\otimes t} \;=\; \int_{\mathbb{CP}^{d-1}} \big(|\psi\rangle\!\langle\psi|\big)^{\otimes t}\, d\mu_{\rm Haar}(\psi) \;=\; \frac{P_{\mathrm{sym}^{(t)}}}{\binom{d+t-1}{t}},$$7 times Haar measure on $$\sum_i w_i \,\big(|\psi_i\rangle\!\langle\psi_i|\big)^{\otimes t} \;=\; \int_{\mathbb{CP}^{d-1}} \big(|\psi\rangle\!\langle\psi|\big)^{\otimes t}\, d\mu_{\rm Haar}(\psi) \;=\; \frac{P_{\mathrm{sym}^{(t)}}}{\binom{d+t-1}{t}},$$8. Consequently, if $$\sum_i w_i \,\big(|\psi_i\rangle\!\langle\psi_i|\big)^{\otimes t} \;=\; \int_{\mathbb{CP}^{d-1}} \big(|\psi\rangle\!\langle\psi|\big)^{\otimes t}\, d\mu_{\rm Haar}(\psi) \;=\; \frac{P_{\mathrm{sym}^{(t)}}}{\binom{d+t-1}{t}},$$9 is a $P_{\mathrm{sym}^{(t)}}$0 $P_{\mathrm{sym}^{(t)}}$1-design and $P_{\mathrm{sym}^{(t)}}$2 is a $P_{\mathrm{sym}^{(t)}}$3 $P_{\mathrm{sym}^{(t)}}$4-design, then the set of states $P_{\mathrm{sym}^{(t)}}$5 with product weights is a weighted complex-projective $P_{\mathrm{sym}^{(t)}}$6-design in dimension $P_{\mathrm{sym}^{(t)}}$7 (Iosue et al., 2023).

This factorized construction is important because it separates amplitudes and phases. A plausible implication is that exact quantum-state cubature can be built from simpler exact cubature rules on the simplex and on the projective torus, rather than directly on $P_{\mathrm{sym}^{(t)}}$8.

4. Explicit constructions from Sidon sets, Singer sets, and finite abelian groups

Projective toric designs admit several explicit families. For any $P_{\mathrm{sym}^{(t)}}$9,

$(\mathbb{C}^d)^{\otimes t}$0

is a $(\mathbb{C}^d)^{\otimes t}$1 $(\mathbb{C}^d)^{\otimes t}$2-design. For $(\mathbb{C}^d)^{\otimes t}$3 and a prime $(\mathbb{C}^d)^{\otimes t}$4, the set

$(\mathbb{C}^d)^{\otimes t}$5

with uniform weights is a $(\mathbb{C}^d)^{\otimes t}$6 2-design. Singer sets and more general $(\mathbb{C}^d)^{\otimes t}$7 sets provide denser constructions: if $(\mathbb{C}^d)^{\otimes t}$8 is a prime power, there exist $(\mathbb{C}^d)^{\otimes t}$9 2-designs of size $t$00, and more generally $t$01 $t$02-designs of size

$t$03

These constructions also imply the additive-combinatorial bound

$t$04

for a $t$05 set of size $t$06; for $t$07, this becomes $t$08, with equality for Singer’s construction when $t$09 is a prime power (Iosue et al., 2023).

A different but closely related construction yields weighted projective 2-designs directly from finite abelian groups. Let $t$10 be a finite abelian group and $t$11 a Sidon set. For each character $t$12, define $t$13 by

$t$14

and for each $t$15, define the standard basis vector $t$16 by $t$17. Then, with the unnormalized convention,

$t$18

if one chooses

$t$19

Under the normalized convention, all weights are scaled by $t$20. The resulting weighted projective 2-design in $t$21 has size

$t$22

Its structure has two layers: a harmonic layer of $t$23 vectors $t$24 and a coordinate layer of $t$25 basis vectors $t$26; weights are uniform within each layer but nonuniform across layers (Jasper et al., 24 Jan 2025).

Dense Sidon families produce explicit asymptotic bounds. The paper lists Erdős–Turán, Singer, Bose, Spence, and Hughes families, all with $t$27 near $t$28. Since subsets of Sidon sets remain Sidon, one may tune $t$29 to a target dimension. Combining Erdős–Turán with the Baker–Harman–Pintz estimate $t$30 yields

$t$31

while Singer and Bose recover the sharp families $t$32 and $t$33 under the stated prime-power hypotheses (Jasper et al., 24 Jan 2025).

5. Uniform designs, MUBs, SICs, and counterexamples

The best-known unweighted projective 2-designs arise from SICs and complete sets of MUBs, but weighted and toric constructions show that these do not exhaust the landscape. A complete set of MUBs, when it exists, consists of $t$34 uniformly weighted states with overlap structure

$t$35

Projective toric geometry makes this equivalent to the existence of a uniformly weighted $t$36 2-design $t$37 of size $t$38 such that

$t$39

When such an $t$40 exists, concatenation with the simplex 2-design produces the standard uniform $t$41-state 2-design with MUB overlap structure (Iosue et al., 2023).

The simplex ingredient is explicit. Proposition 4.1 uses the $t$42 extremal points $t$43 and the centroid $t$44, with weights

$t$45

If $t$46 is a uniform $t$47 2-design of size $t$48 arising from a $t$49 set, and one concatenates only the centroid part with $t$50, then every resulting state has weight $t$51, and the total number of states is $t$52. This gives a uniformly weighted $t$53 2-design that need not satisfy the MUB overlap condition (Iosue et al., 2023).

That mechanism disproves Zhu’s 2015 conjecture asserting that any uniformly weighted quantum state 2-design in dimension $t$54 of size $t$55 is either a complete set of MUBs or a SIC. The counterexamples are explicit: choosing a Sidon set modulo $t$56 that yields a uniform $t$57 2-design violating (4.1) produces a uniform $t$58 2-design of size $t$59 that is not a complete set of MUBs. In dimension $t$60, the example

$t$61

yields the 12 states

$t$62

each with weight $t$63; this is a uniformly weighted $t$64 2-design but not a complete set of MUBs (Iosue et al., 2023).

SICs remain the minimal case. A SIC-POVM is a minimal $t$65 2-design with $t$66, uniform weights, and

$t$67

Projective toric methods produce almost-minimal designs of size $t$68, but do not resolve SIC existence in arbitrary dimension (Iosue et al., 2023).

6. Channel-theoretic reformulation, extensions, and open directions

Weighted projective 2-designs admit an exact reformulation in terms of quantum channels. Consider the depolarizing channel

$t$69

If $t$70 is transpose, then the scaled Choi matrix of $t$71 is

$t$72

The entanglement breaking rank $t$73 of a channel $t$74 is the smallest $t$75 for which $t$76 has a rank-1 Kraus decomposition

$t$77

The main equivalence is exact: the smallest weighted projective 2-design for $t$78 has size $t$79. Moreover,

$t$80

with equality if and only if there exists a tight projective 2-design, and

$t$81

whenever $t$82 is a prime power. Additional bounds include

$t$83

and

$t$84

This makes minimal weighted 2-design size a channel-theoretic invariant (Iverson et al., 2021).

The theory also extends beyond complex projective space. Over finite fields, projective 2-designs are defined through tight-frame conditions on $t$85 and on the symmetric square $t$86; the analogue of the lower bound remains $t$87, and explicit constructions achieving $t$88 points are obtained from Singer difference sets under stated congruence conditions (Iverson et al., 2021). In the quaternionic setting, every tight projective 2-design for $t$89 determines an equi-isoclinic tight fusion frame of

$t$90

subspaces of $t$91, each of dimension $t$92. Such tight quaternionic 2-designs are known only for $t$93 (Iverson et al., 2021).

Several open problems remain central. Zauner’s conjecture is equivalent to the statement that the minimal weighted size is always $t$94 (Iverson et al., 2021). For projective toric designs, the bound

$t$95

is conjectured tight for even $t$96 (Iosue et al., 2023). In dimension $t$97, exhaustive search shows that no group $t$98 2-design of size $t$99 satisfies the MUB phase condition (4.1), so any hypothetical complete set of MUBs in $d$00 must arise from a non-group projective toric design (Iosue et al., 2023). The 2025 Sidon-set construction, while nearly tight, cannot reach $d$01: any group containing a $d$02-point Sidon set must satisfy $d$03, forcing $d$04 (Jasper et al., 24 Jan 2025).

Weighted state $d$05-designs are therefore both a rigidity notion and a construction framework. They encode exact Haar-moment identities, interpolate between harmonic analysis and quantum information, support explicit algebraic constructions, and furnish optimal or near-optimal ensembles for tasks such as state tomography, average fidelity estimation, randomized benchmarking, and POVM design (Iverson et al., 2021, Jasper et al., 24 Jan 2025).