Prime-dimensional stabilizer 3-design conjecture

About 2 years old · traced to

Let dd be prime, let D=dnD=d^n, and let Stab(n,d)\mathrm{Stab}(n,d) denote the ensemble of stabilizer states. The source considers its shadow norm ∥Stab(n,d)∥sh\|\mathrm{Stab}(n,d)\|_{\mathrm{sh}}. Prime-dimensional stabilizer 3-design conjecture.

∥Stab(n,d)∥sh=D+1D+d(2d−1−dD).\|\mathrm{Stab}(n,d)\|_{\mathrm{sh}}=\frac{D+1}{D+d}\left(2d-1-\frac{d}{D}\right).

For d=2d=2, the lower bound is known to be attained because stabilizer states form a 3-design; the conjecture proposes equality for every prime local dimension. The source gives no resolution for odd primes.

References

Primary source

Huangjun Zhu, Chengsi Mao and Changhao Yi, “Third moments of qudit Clifford orbits and 3-designs based on magic orbits”, arXiv:2410.13575 (2024).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.