Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0710.1502 · Quantum Information and Computation

Efficient 2-designs from bases exist

Gary McConnell, D. Gross

Published Sep 1, 2008• 9 citations
arXivHTMLPDF

Abstract

We show that in a complex $d$-dimensional vector space, one can find O(d) bases whose elements form a 2-design. Such vector sets generalize the notion of a maximal collection of mutually unbiased bases (MUBs). MUBs have many applications in quantum information theory (e.g.\ in state tomography, cloning, or cryptography) -- however it is suspected that maximal sets exist only in prime-power dimensions. Our construction offers an efficient alternative for general dimensions. The findings are based on a framework recently established, which reduces the construction of such bases to the combinatorial problem of finding certain highly nonlinear functions between abelian groups.

DOI
10.26421/qic8.8-9-4

Related papers

Mutually Unbiased Bases are Complex Projective 2-Designs

Andreas Klappenecker, Martin Roetteler

Mutually unbiased bases (MUBs) are a primitive used in quantum information processing to capture the principle of complementarity. While constructions of maximal sets of d+1 such bases are known for systems of prime power dimension d, it is unknown whether this bound can be achieved for any non-prime power dimension. In this paper we demonstrate that maximal sets of MUBs come with a rich combinatorial structure by showing that they actually are the same objects as the complex projective 2-designs with angle set {0,1/d}. We also give a new and simple proof that symmetric informationally complete POVMs are complex projective 2-designs with angle set {1/(d+1)}.

arXiv:quant-ph/0502031•Feb 4, 2005•2 citations

Weighted complex projective 2-designs from bases: Optimal state determination by orthogonal measurements

Aidan Roy, A. J. Scott

We introduce the problem of constructing weighted complex projective 2-designs from the union of a family of orthonormal bases. If the weight remains constant across elements of the same basis, then such designs can be interpreted as generalizations of complete sets of mutually unbiased bases, being equivalent whenever the design is composed of d+1 bases in dimension d. We show that, for the purpose of quantum state determination, these designs specify an optimal collection of orthogonal measurements. Using highly nonlinear functions on Abelian groups, we construct explicit examples from d+2 orthonormal bases whenever d+1 is a prime power, covering dimensions d=6, 10, and 12, for example, where no complete sets of mutually unbiased bases have thus far been found.

arXiv:quant-ph/0703025•Journal of Mathematical Physics•Jul 1, 2007•75 citations

Mutually unbiased bases, spherical designs, and frames

Andreas Klappenecker, Martin Roetteler

The principle of complementarity lies at the heart of quantum mechanics. In finite dimensional quantum systems this principle is captured by pairs of observables which are given by mutually unbiased bases (MUBs). Two orthonormal bases B and C of Cd are mutually unbiased if |<b|c>|2 = 1/d holds for all vectors b ∈ B and c ∈ C. This implies that whenever we are given a vector from one of these bases and perform a measurement with respect to any other of the bases, then there is no information gained from this measurement. A basic question about MUBs is how many of them can be found in a given dimension d. While constructions of maximal sets of d+1 such bases are known for system of prime power dimension d, it is unknown whether this bound can be achieved for any non-prime power dimension. We review the known constructions of MUBs and demonstrate that maximal sets of MUBs come with a rich combinatorial structure by showing that they actually are the same objects as the complex projective 2-designs with angle set {0,1/d}. Furthermore, we address the problem of constructing positive operator-valued measures (POVMs) in finite dimension d consisting of d2 operators of rank one which have an inner product equal to uniform or very close to uniform. This is motivated by the related question of constructing symmetric informationally complete POVMs (SIC-POVMs) for which the inner products are perfectly uniform. We also give a simple proof of the fact that symmetric informationally complete POVMs are complex projective 2-designs with angle set {1/(d+1)}. Moreover, we show that MUBs and SIC-POVMs form uniform tight frames in Cd.

Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE•Aug 18, 2005•24 citations

Mutually unbiased bases are complex projective 2-designs

Andreas Klappenecker, Martin Rötteler

Mutually unbiased bases (MUBs) are a primitive used in quantum information processing to capture the principle of complementarity. While constructions of maximal sets of d+1 such bases are known for system of prime power dimension d, it is unknown whether this bound can be achieved for any non-prime power dimension. In this paper we demonstrate that maximal sets of MUBs come with a rich combinatorial structure by showing that they actually are the same objects as the complex projective 2-designs with angle set {0, 1/d}. We also give a new and simple proof that symmetric informationally complete POVMs are complex projective 2-designs with angle set {1/(d+1)}

IEEE International Symposium on Information Theory (ISIT)•Jan 1, 2005•134 citations

Generalized Numerical Construction of MUBs: A Group Theoretical Investigation

B. Gültekin, S. B. Samuel, Z. Gedik

Mutually Unbiased Bases (MUBs) constitute a fundamental geometric structure in quantum theory, known for providing an optimal measurement scheme for quantum state tomography. In prime and prime-power dimensions, analytical constructions of maximal sets of MUBs are well-known and standard construction relies on the Weyl-Heisenberg (WH) group and finite fields. In non-prime-power dimensions, on the other hand, the existence of such maximal sets remains an open question. We present a generalized numerical method of constructing MUBs without any reliance on \textit{a priori} group structure or specific algebraic frameworks. Formulating the problem at the level of Gram matrix, we reduce the search for complete sets of d+1 MUBs to a phase space optimisation problem. We use the fact that the MUB Gram matrix is a projection matrix, and the third- and fourth-order trace constraints are necessary and sufficient conditions for a projection matrix. We further develop a classification framework based on third-order Bargmann invariants and automorphism groups, allowing us to probe the underlying algebraic and geometric structure of the resulting configurations. Numerical applications of this method in dimensions $3$, $4$, and $5$ demonstrate that all numerically constructed solutions are mutually isomorphic, are isolated points in phase space, and possess automorphism groups that coincide exactly with the Clifford group, the normalizer of the WH group. In the lowest non-prime-power dimension $6$ where the existence of a complete set remains open, our numerical search yields no solution. However, for incomplete sets of solutions, our search finds no set of four MUBs, but it yields several inequivalent triples, which we classify and whose neighbourhood we then investigate.

quant-pharXiv:2604.04164•Journal of Physics A Mathematical and Theoretical•Apr 7, 2026•0 citations

Weighted complex projective 2-designs from bases: optimal state determination by orthogonal measurements

Roy, A, Scott, A J

We introduce the problem of constructing weighted complex projective 2-designs from the union of a family of orthonormal bases. If the weight remains constant across elements of the same basis, then such designs can be interpreted as generalizations of complete sets of mutually unbiased bases, being equivalent whenever the design is composed of d+1 bases in dimension d. We show that, for the purpose of quantum state determination, these designs specify an optimal collection of orthogonal measurements. Using highly nonlinear functions on abelian groups, we construct explicit examples from d+2 orthonormal bases whenever d+1 is a prime power, covering dimensions d=6, 10, and 12, for example, where no complete sets of mutually unbiased bases have thus far been found.

•Mar 3, 2007•67 citations
We show that in a complex ddd-dimensional vector space, one can find O(d) bases whose elements form a 2-design. Such vector sets generalize the notion of a maximal collection of mutually unbiased bases (MUBs). MUBs have many applications in quantum information theory (e.g.\ in state tomography, cloning, or cryptography) -- however it is suspected that maximal sets exist only in prime-power dimensions. Our construction offers an efficient alternative for general dimensions. The findings are based on a framework recently established, which reduces the construction of such bases to the combinatorial problem of finding certain highly nonlinear functions between abelian groups.
Mutually unbiased bases (MUBs) are a primitive used in quantum information processing to capture the principle of complementarity. While constructions of maximal sets of d+1 such bases are known for systems of prime power dimension d, it is unknown whether this bound can be achieved for any non-prime power dimension. In this paper we demonstrate that maximal sets of MUBs come with a rich combinatorial structure by showing that they actually are the same objects as the complex projective 2-designs with angle set {0,1/d}. We also give a new and simple proof that symmetric informationally complete POVMs are complex projective 2-designs with angle set {1/(d+1)}.
We introduce the problem of constructing weighted complex projective 2-designs from the union of a family of orthonormal bases. If the weight remains constant across elements of the same basis, then such designs can be interpreted as generalizations of complete sets of mutually unbiased bases, being equivalent whenever the design is composed of d+1 bases in dimension d. We show that, for the purpose of quantum state determination, these designs specify an optimal collection of orthogonal measurements. Using highly nonlinear functions on Abelian groups, we construct explicit examples from d+2 orthonormal bases whenever d+1 is a prime power, covering dimensions d=6, 10, and 12, for example, where no complete sets of mutually unbiased bases have thus far been found.
The principle of complementarity lies at the heart of quantum mechanics. In finite dimensional quantum systems this principle is captured by pairs of observables which are given by mutually unbiased bases (MUBs). Two orthonormal bases B and C of Cd are mutually unbiased if |<b|c>|2 = 1/d holds for all vectors b ∈ B and c ∈ C. This implies that whenever we are given a vector from one of these bases and perform a measurement with respect to any other of the bases, then there is no information gained from this measurement. A basic question about MUBs is how many of them can be found in a given dimension d. While constructions of maximal sets of d+1 such bases are known for system of prime power dimension d, it is unknown whether this bound can be achieved for any non-prime power dimension. We review the known constructions of MUBs and demonstrate that maximal sets of MUBs come with a rich combinatorial structure by showing that they actually are the same objects as the complex projective 2-designs with angle set {0,1/d}. Furthermore, we address the problem of constructing positive operator-valued measures (POVMs) in finite dimension d consisting of d2 operators of rank one which have an inner product equal to uniform or very close to uniform. This is motivated by the related question of constructing symmetric informationally complete POVMs (SIC-POVMs) for which the inner products are perfectly uniform. We also give a simple proof of the fact that symmetric informationally complete POVMs are complex projective 2-designs with angle set {1/(d+1)}. Moreover, we show that MUBs and SIC-POVMs form uniform tight frames in Cd.
Mutually unbiased bases (MUBs) are a primitive used in quantum information processing to capture the principle of complementarity. While constructions of maximal sets of d+1 such bases are known for system of prime power dimension d, it is unknown whether this bound can be achieved for any non-prime power dimension. In this paper we demonstrate that maximal sets of MUBs come with a rich combinatorial structure by showing that they actually are the same objects as the complex projective 2-designs with angle set {0, 1/d}. We also give a new and simple proof that symmetric informationally complete POVMs are complex projective 2-designs with angle set {1/(d+1)}
Mutually Unbiased Bases (MUBs) constitute a fundamental geometric structure in quantum theory, known for providing an optimal measurement scheme for quantum state tomography. In prime and prime-power dimensions, analytical constructions of maximal sets of MUBs are well-known and standard construction relies on the Weyl-Heisenberg (WH) group and finite fields. In non-prime-power dimensions, on the other hand, the existence of such maximal sets remains an open question. We present a generalized numerical method of constructing MUBs without any reliance on \textit{a priori} group structure or specific algebraic frameworks. Formulating the problem at the level of Gram matrix, we reduce the search for complete sets of d+1 MUBs to a phase space optimisation problem. We use the fact that the MUB Gram matrix is a projection matrix, and the third- and fourth-order trace constraints are necessary and sufficient conditions for a projection matrix. We further develop a classification framework based on third-order Bargmann invariants and automorphism groups, allowing us to probe the underlying algebraic and geometric structure of the resulting configurations. Numerical applications of this method in dimensions 333, 444, and 555 demonstrate that all numerically constructed solutions are mutually isomorphic, are isolated points in phase space, and possess automorphism groups that coincide exactly with the Clifford group, the normalizer of the WH group. In the lowest non-prime-power dimension 666 where the existence of a complete set remains open, our numerical search yields no solution. However, for incomplete sets of solutions, our search finds no set of four MUBs, but it yields several inequivalent triples, which we classify and whose neighbourhood we then investigate.
We introduce the problem of constructing weighted complex projective 2-designs from the union of a family of orthonormal bases. If the weight remains constant across elements of the same basis, then such designs can be interpreted as generalizations of complete sets of mutually unbiased bases, being equivalent whenever the design is composed of d+1 bases in dimension d. We show that, for the purpose of quantum state determination, these designs specify an optimal collection of orthogonal measurements. Using highly nonlinear functions on abelian groups, we construct explicit examples from d+2 orthonormal bases whenever d+1 is a prime power, covering dimensions d=6, 10, and 12, for example, where no complete sets of mutually unbiased bases have thus far been found.