[Jump to code hierarchy]

\(t\)-design

Alternative names: Quadrature, Cubature, Averaging set.

Description

A code whose codewords are uniformly distributed in a way that is useful for determining averages of polynomials over the code's underlying space \(X\). In that way, the codewords form an approximation of the space. A code is a design on \(X\) of strength \(t\), i.e., a \(t\)-design on \(X\), if the average of any polynomial of degree up to \(t\) over its codewords is equal to the uniform average over all of \(X\).

As such, a design can be used to determine the average of degree-\(\leq t\) polynomials \(p\) over \(X\), \begin{align} \int_{X}\textnormal{d}xp(x)={\textstyle \frac{1}{|D|}}\sum_{x\in D}p(x)~, \tag*{(1)}\end{align} where the integral is over \(X\) (given some measure \(d x\)), while the sum is over the design \(D\subset X\). A weighted design is a design for which each term \(p(x)\) in the above sum must be multiplied by a weight \(w(x)\) in order to be equal to the left-hand side. The most well-known examples of weighted designs are exact Gaussian quadrature or cubature formulas for integration over the reals [1–5], \(X = \mathbb{R}^n\) (with appropriate measure); these tend to be weighted designs.

Fixed-weight codewords of a binary code can form a design on \(X\) being a Johnson space \(J^n_w\), i.e., the space of length-\(n\) binary strings of weight \(w\). Such a design is called a combinatorial design (a.k.a. block design or covering design) [6], which includes Steiner systems as a special case. Designs on the full space of binary strings (Hamming space) are called orthogonal arrays.

More generally, designs exist when \(X\) is \(q\)-ary Hamming space, ordered Hamming space [7,8], \(q\)-Johnson space [9,10] (where they are called subspace designs), a sphere [11] (where they are called spherical designs), or a compact connected two-point homogeneous space [12–14] (the sphere or the real, complex, quaternionic, or octonionic projective spaces [15]).

Complex projective designs are designs on the space of all quantum states [16–18]. Symmetric informationally complete quantum measurements (SIC-POVMs) [16,19] and mutually unbiased bases (MUBs) [20–25] are important examples of such designs. A limit of infinite dimensions yields rigged designs or, more colloquially, continuous-variable (CV) designs [26], which can be used as operator-valued measures for the space of bosonic quantum states (i.e., Schwartz space over the reals).

Designs also exist on groups. Designs on the unitary (projective unitary) group are called strong unitary (unitary) designs [27–30], while \(t\)-designs on the permutation group are called permutation \(t\)-designs [31] (a.k.a. \(t\)-wise independent permutations).

Other notable designs include torus designs [32,33], simplex designs [34–37], Grassmanian designs [38–40], quantum-channel designs [41], and designs on vertex operator algebras (a.k.a. conformal designs) [42]. Existence has been proven for combinatorial designs [43–47], subspace designs [48,49], as well as designs on continuous topological spaces [50–52].

Notes

See books [1,53] for tables of various designs.

Cousins

  • Barnes-Wall (BW) lattice— BW lattices support Grassmanian 6-designs [39].
  • Kerdock code— Kerdock codes correspond to cluster states, and the corresponding Clifford-group automorphisms of this set form a particular group [54] that is a unitary 2-design [55]. As such, cluster states form complex projective 2-designs. These are useful in matrix-vector multiplication [56].
  • Coherent-state constellation code— Coherent-state constellation codes consisting of points from a Gaussian quadrature rule can be concatenated with quantum polar codes to achieve the Gaussian coherent information of the thermal noise channel [57,58].
  • Number-phase code— Pegg-Barnett phase states undergoing Kerr evolution, together with Fock states, form a rigged 2-design for a single mode [26].
  • Bosonic code— Gaussian states, under a particular measure, do not form rigged two-designs [59].
  • Gottesman-Kitaev-Preskill (GKP) code— GKP states on \(n\) modes and their displaced versions for all possible lattices form a rigged 2-design for all \(n\) [60].
  • Haar-random qubit code— Approximating the random projections through \(t\)-designs is necessary in order to make the protocol practical. Replacing with random Clifford gates is especially convenient since the Clifford group forms a unitary 2-design and produces stabilizer codes.
  • Local Haar-random circuit qubit code— Local Haar-random circuits of polynomial depth form approximate unitary designs [61].
  • Qubit stabilizer code— Stabilizer states on \(n\) qubits form complex projective 3-designs [62], while the Clifford group is a unitary 3-design [63,64]. The \([[4,2,2]]\) code obstructs the Clifford group from being a 4-design [65].
  • Kitaev surface code— Unitary \(t\)-designs can be generated via coherent errors, syndrome extraction, and correction [66].
  • Modular-qudit stabilizer code— Stabilizer states on \(n\) prime-dimensional qubits form complex projective 2-designs [62], while the prime-qudit Clifford group is a unitary 2-design [67].
  • Galois-qudit stabilizer code— Stabilizer states on \(n\) Galois qubits form complex projective 2-designs [68].
  • Twisted \(1\)-group code— Twisted unitary \(t\)-groups [69] generalize the idea of unitary \(t\)-groups [70–72], which are subgroups of the unitary group that form unitary \(t\)-designs.

Member of code lists

Primary Hierarchy

Classical Domain
Error-correcting code (ECC)
Block code
Parents
Block code
\(t\)-design
Children
Sharp configuration
Sharp configurations attain a universal bound expressed in terms of the minimal distance, the number of distances between codewords, and the strength of the design formed by the codewords.
Orthogonal array (OA)Perfect binary MDS GRS
Orthogonal arrays are designs on Hamming space \(GF(q)^n\) (a.k.a. the Hamming association scheme) [6,13,73][12; Exam. 1]; see also Ref. [74].
Subspace designCombinatorial design
Subspace designs are designs on a space of fixed-weight \(q\)-ary strings (a.k.a. \(q\)-Johnson association scheme) [73].
Spherical design
Spherical designs are designs on real or complex spheres.

References

[1]
Stroud, Arthur H. Approximate calculation of multiple integrals. Prentice Hall, 1971.
[2]
R. Cools, “Constructing cubature formulae: the science behind the art”, Acta Numerica 6, 1 (1997) DOI
[3]
R. Cools, “An encyclopaedia of cubature formulas”, Journal of Complexity 19, 445 (2003) DOI
[4]
F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, “Digital Library of Mathematical Functions”, (2019) DOI
[5]
E. Bannai, E. Bannai, M. Hirao, and M. Sawa, “Cubature formulas in numerical analysis and Euclidean tight designs”, European Journal of Combinatorics 31, 423 (2010) DOI
[6]
Delsarte, Philippe. "An algebraic approach to the association schemes of coding theory." Philips Res. Rep. Suppl. 10 (1973): vi+-97.
[7]
W. J. Martin and D. R. Stinson, “Association Schemes for Ordered Orthogonal Arrays and (T, M, S)-Nets”, Canadian Journal of Mathematics 51, 326 (1999) DOI
[8]
A. Barg and P. Purkayastha, “Bounds on ordered codes and orthogonal arrays”, (2009) arXiv:cs/0702033
[9]
Cameron, Peter J. "Generalisation of Fisher’s inequality to fields with more than one element." Combinatorics, London Math. Soc. Lecture Note Ser 13 (1973): 9-13.
[10]
V. Guruswami and C. Xing, “List decoding reed-solomon, algebraic-geometric, and gabidulin subcodes up to the singleton bound”, Proceedings of the forty-fifth annual ACM symposium on Theory of Computing 843 (2013) DOI
[11]
P. Delsarte, J. M. Goethals, and J. J. Seidel, “Spherical codes and designs”, Geometriae Dedicata 6, 363 (1977) DOI
[12]
P. Delsarte and V. I. Levenshtein, “Association schemes and coding theory”, IEEE Transactions on Information Theory 44, 2477 (1998) DOI
[13]
V. I. Levenshtein, “Universal bounds for codes and designs,” in Handbook of Coding Theory 1, eds. V. S. Pless and W. C. Huffman. Amsterdam: Elsevier, 1998, pp.499-648.
[14]
H. Cohn, A. Kumar, and G. Minton, “Optimal simplices and codes in projective spaces”, Geometry & Topology 20, 1289 (2016) arXiv:1308.3188 DOI
[15]
H.-C. Wang, “Two-Point Homogeneous Spaces”, The Annals of Mathematics 55, 177 (1952) DOI
[16]
J. M. Renes, R. Blume-Kohout, A. J. Scott, and C. M. Caves, “Symmetric informationally complete quantum measurements”, Journal of Mathematical Physics 45, 2171 (2004) arXiv:quant-ph/0310075 DOI
[17]
A. Ambainis and J. Emerson, “Quantum t-designs: t-wise independence in the quantum world”, (2007) arXiv:quant-ph/0701126
[18]
I. Bengtsson and K. Życzkowski, Geometry of Quantum States (Cambridge University Press, 2017) DOI
[19]
Zauner, G. (1999). Grundzüge einer nichtkommutativen Designtheorie. Ph. D. dissertation, PhD thesis.
[20]
A. Klappenecker and M. Roetteler, “Constructions of Mutually Unbiased Bases”, (2003) arXiv:quant-ph/0309120
[21]
A. Klappenecker and M. Roetteler, “Mutually Unbiased Bases are Complex Projective 2-Designs”, (2005) arXiv:quant-ph/0502031
[22]
A. J. Scott, “Optimizing quantum process tomography with unitary2-designs”, Journal of Physics A: Mathematical and Theoretical 41, 055308 (2008) arXiv:0711.1017 DOI
[23]
T. DURT, B.-G. ENGLERT, I. BENGTSSON, and K. ŻYCZKOWSKI, “ON MUTUALLY UNBIASED BASES”, International Journal of Quantum Information 08, 535 (2010) arXiv:1004.3348 DOI
[24]
H. Zhu, “Mutually unbiased bases as minimal Clifford covariant 2-designs”, Physical Review A 91, (2015) arXiv:1505.01123 DOI
[25]
D. McNulty and S. Weigert, “Mutually Unbiased Bases in Composite Dimensions -- A Review”, (2024) arXiv:2410.23997
[26]
J. T. Iosue, K. Sharma, M. J. Gullans, and V. V. Albert, “Continuous-Variable Quantum State Designs: Theory and Applications”, Physical Review X 14, (2024) arXiv:2211.05127 DOI
[27]
C. Dankert, “Efficient Simulation of Random Quantum States and Operators”, (2005) arXiv:quant-ph/0512217
[28]
C. Dankert, R. Cleve, J. Emerson, and E. Livine, “Exact and approximate unitary 2-designs and their application to fidelity estimation”, Physical Review A 80, (2009) arXiv:quant-ph/0606161 DOI
[29]
D. Gross, K. Audenaert, and J. Eisert, “Evenly distributed unitaries: On the structure of unitary designs”, Journal of Mathematical Physics 48, (2007) arXiv:quant-ph/0611002 DOI
[30]
T. Schuster, J. Haferkamp, and H.-Y. Huang, “Random unitaries in extremely low depth”, (2025) arXiv:2407.07754
[31]
W. T. Gowers, “An Almost m-wise Independent Random Permutation of the Cube”, Combinatorics, Probability and Computing 5, 119 (1996) DOI
[32]
G. Kuperberg, “Numerical cubature from Archimedes’ hat-box theorem”, (2004) arXiv:math/0405366
[33]
J. T. Iosue, T. C. Mooney, A. Ehrenberg, and A. V. Gorshkov, “Projective toric designs, quantum state designs, and mutually unbiased bases”, Quantum 8, 1546 (2024) arXiv:2311.13479 DOI
[34]
P. C. Hammer, O. J. Marlowe, and A. H. Stroud, “Numerical Integration Over Simplexes and Cones”, Mathematical Tables and Other Aids to Computation 10, 130 (1956) DOI
[35]
P. C. Hammer and A. H. Stroud, “Numerical Integration Over Simplexes”, Mathematical Tables and Other Aids to Computation 10, 137 (1956) DOI
[36]
M. S. BALADRAM, “On Explicit Construction of Simplex <i>t</i>-designs”, Interdisciplinary Information Sciences 24, 181 (2018) DOI
[37]
W. F. Guthrie, “NIST/SEMATECH e-Handbook of Statistical Methods (NIST Handbook 151)”, (2020) DOI
[38]
C. Bachoc, E. Bannai, and R. Coulangeon, “Codes and designs in Grassmannian spaces”, Discrete Mathematics 277, 15 (2004) DOI
[39]
C. Bachoc, “Designs, groups and lattices”, (2007) arXiv:0712.1939
[40]
A. Breger, M. Ehler, M. Gräf, and T. Peter, “Cubatures on Grassmannians: Moments, Dimension Reduction, and Related Topics”, Applied and Numerical Harmonic Analysis 235 (2017) arXiv:1705.02978 DOI
[41]
J. Czartowski and K. Życzkowski, “Quantum Pushforward Designs”, (2025) arXiv:2412.09672
[42]
G. Hoehn, “Conformal Designs based on Vertex Operator Algebras”, (2007) arXiv:math/0701626
[43]
P. Keevash, “The existence of designs”, (2024) arXiv:1401.3665
[44]
L. Teirlinck, “Non-trivial t-designs without repeated blocks exist for all t”, Discrete Mathematics 65, 301 (1987) DOI
[45]
S. Glock, D. Kühn, A. Lo, and D. Osthus, “The existence of designs via iterative absorption: hypergraph \(F\)-designs for arbitrary \(F\)”, (2020) arXiv:1611.06827
[46]
P. Keevash, “The existence of designs II”, (2018) arXiv:1802.05900
[47]
P. Keevash, “A short proof of the existence of designs”, (2024) arXiv:2411.18291
[48]
A. Fazeli, S. Lovett, and A. Vardy, “Nontrivial t-designs over finite fields exist for all t”, Journal of Combinatorial Theory, Series A 127, 149 (2014) DOI
[49]
P. Keevash, A. Sah, and M. Sawhney, “The existence of subspace designs”, (2023) arXiv:2212.00870
[50]
P. D. Seymour and T. Zaslavsky, “Averaging sets: A generalization of mean values and spherical designs”, Advances in Mathematics 52, 213 (1984) DOI
[51]
I. Z. Pesenson and D. Geller, “Cubature formulas and discrete fourier transform on compact manifolds”, (2011) arXiv:1111.5900
[52]
D. M. Kane, “Small Designs for Path Connected Spaces and Path Connected Homogeneous Spaces”, (2012) arXiv:1112.4900
[53]
C. J. Colbourn and J. H. Dinitz, editors , Handbook of Combinatorial Designs (Chapman and Hall/CRC, 2006) DOI
[54]
A. Calderbank, P. Cameron, W. Kantor, and J. Seidel, “Z\({}_{\text{4}}\) -Kerdock Codes, Orthogonal Spreads, and Extremal Euclidean Line-Sets”, Proceedings of the London Mathematical Society 75, 436 (1997) DOI
[55]
T. Can, N. Rengaswamy, R. Calderbank, and H. D. Pfister, “Kerdock Codes Determine Unitary 2-Designs”, IEEE Transactions on Information Theory 66, 6104 (2020) arXiv:1904.07842 DOI
[56]
T. Fuchs, D. Gross, F. Krahmer, R. Kueng, and D. G. Mixon, “Sketching with Kerdock’s crayons: Fast sparsifying transforms for arbitrary linear maps”, (2021) arXiv:2105.05879
[57]
F. Lacerda, J. M. Renes, and V. B. Scholz, “Coherent-state constellations and polar codes for thermal Gaussian channels”, Physical Review A 95, (2017) arXiv:1603.05970 DOI
[58]
F. Lacerda, J. M. Renes, and V. B. Scholz, “Coherent state constellations for Bosonic Gaussian channels”, 2016 IEEE International Symposium on Information Theory (ISIT) 2499 (2016) DOI
[59]
R. Blume-Kohout and P. S. Turner, “The Curious Nonexistence of Gaussian 2-Designs”, Communications in Mathematical Physics 326, 755 (2014) arXiv:1110.1042 DOI
[60]
J. Conrad, J. T. Iosue, A. G. Burchards, and V. V. Albert, “Continuous-variable designs and design-based shadow tomography from random lattices”, (2025) arXiv:2412.17909
[61]
F. G. S. L. Brandão, A. W. Harrow, and M. Horodecki, “Local Random Quantum Circuits are Approximate Polynomial-Designs”, Communications in Mathematical Physics 346, 397 (2016) arXiv:1208.0692 DOI
[62]
R. Kueng and D. Gross, “Qubit stabilizer states are complex projective 3-designs”, (2015) arXiv:1510.02767
[63]
H. Zhu, “Multiqubit Clifford groups are unitary 3-designs”, Physical Review A 96, (2017) arXiv:1510.02619 DOI
[64]
Z. Webb, “The Clifford group forms a unitary 3-design”, (2016) arXiv:1510.02769
[65]
H. Zhu, R. Kueng, M. Grassl, and D. Gross, “The Clifford group fails gracefully to be a unitary 4-design”, (2016) arXiv:1609.08172
[66]
Z. Cheng, E. Huang, V. Khemani, M. J. Gullans, and M. Ippoliti, “Emergent unitary designs for encoded qubits from coherent errors and syndrome measurements”, (2024) arXiv:2412.04414
[67]
M. A. Graydon, J. Skanes-Norman, and J. J. Wallman, “Clifford groups are not always 2-designs”, (2021) arXiv:2108.04200
[68]
H. F. Chau, “Unconditionally Secure Key Distribution in Higher Dimensions by Depolarization”, IEEE Transactions on Information Theory 51, 1451 (2005) arXiv:quant-ph/0405016 DOI
[69]
E. Kubischta and I. Teixeira, “Quantum Codes from Twisted Unitary t -Groups”, Physical Review Letters 133, (2024) arXiv:2402.01638 DOI
[70]
R. M. Guralnick and P. H. Tiep, “Decompositions of Small Tensor Powers and Larsen’s Conjecture”, (2005) arXiv:math/0502080
[71]
A. Roy and A. J. Scott, “Unitary designs and codes”, Designs, Codes and Cryptography 53, 13 (2009) arXiv:0809.3813 DOI
[72]
E. Bannai, G. Navarro, N. Rizo, and P. H. Tiep, “Unitary t-groups”, (2018) arXiv:1810.02507
[73]
Ph. Delsarte, “Hahn Polynomials, Discrete Harmonics, andt-Designs”, SIAM Journal on Applied Mathematics 34, 157 (1978) DOI
[74]
G. Kuperberg, S. Lovett, and R. Peled, “Probabilistic existence of regular combinatorial structures”, (2017) arXiv:1302.4295
Page edit log

Your contribution is welcome!

on github.com (edit & pull request)— see instructions

edit on this site

Zoo Code ID: t-designs

Cite as:
“\(t\)-design”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2024. https://errorcorrectionzoo.org/c/t-designs
BibTeX:
@incollection{eczoo_t-designs, title={\(t\)-design}, booktitle={The Error Correction Zoo}, year={2024}, editor={Albert, Victor V. and Faist, Philippe}, url={https://errorcorrectionzoo.org/c/t-designs} }
Share via:
Twitter | Mastodon |  | E-mail
Permanent link:
https://errorcorrectionzoo.org/c/t-designs

Cite as:

“\(t\)-design”, The Error Correction Zoo (V. V. Albert & P. Faist, eds.), 2024. https://errorcorrectionzoo.org/c/t-designs

Github: https://github.com/errorcorrectionzoo/eczoo_data/edit/main/codes/classical/properties/block/universally_optimal/t-designs.yml.