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:quant-ph/0410120 · Open Systems & Information Dynamics

Mutually Unbiased Bases and the Complementarity Polytope

Ingemar Bengtsson, Åsa Ericsson

Published May 31, 2005• 53 citations
arXivHTMLPDF

Abstract

A complete set of N + 1 mutually unbiased bases (MUBs) forms a convex polytope in the N2 - 1 dimensional space of N × N Hermitian matrices of unit trace. As a geometrical object such a polytope exists for all values of N, while it is unknown whether it can be made to lie within the body of density matrices unless N = pk, where p is prime. We investigate the polytope in order to see if some values of N are geometrically singled out. One such feature is found: It is possible to select N2 facets in such a way that their centers form a regular simplex if and only if there exists an affine plane of order N. Affine planes of order N are known to exist if N = pk; perhaps they do not exist otherwise. However, the link to the existence of MUBs — if any — remains to be found.

DOI
10.1007/s11080-005-5721-3

Related papers

MUBS, POLYTOPES, AND FINITE GEOMETRIES 1

Ingemar Bengtsson

A complete set of N+1 mutually unbiased bases (MUBs) exists in Hilbert spaces of dimension N = p^k, where p is a prime number. They mesh naturally with finite affine planes of order N, that exist when N = p^k. The existence of MUBs for other values of N is an open question, and the same is true for finite affine planes. I explore the question whether the existence of complete sets of MUBs is directly related to the existence of finite affine planes. Both questions can be shown to be geometrical questions about a convex polytope, but not in any obvious way the same question.

•Jan 1, 2004•25 citations

MUBs, Polytopes, and Finite Geometries

Ingemar Bengtsson

A complete set of N + 1 mutually unbiased bases (MUBs) exists in Hilbert spaces of dimension N = pk, where p is a prime number. They mesh naturally with finite affine planes of order N, that exist when N = pk. The existence of MUBs for other values of N is an open question, and the same is true for finite affine planes. I explore the question whether the existence of complete sets of MUBs is directly related to the existence of finite affine planes. Both questions can be shown to be geometrical questions about a convex polytope, but not in any obvious way the same question.

arXiv:quant-ph/0406174•AIP conference proceedings•Jan 1, 2005•15 citations

Characterizing the generalized complementarity polytope with extractable information from MUBs

Gautam Sharma

Complementarity polytope is a geometric structure that exists in N2-1 dimensional space for an N dimensional Hilbert space. The existence of N + 1 mutually unbiased bases(MUBs) is possible, if such a polytope can be shown to be a subset of density matrices, which is a very difficult task. With the hope of simplifying this task, we have shown in this work that, the complementarity polytope can be characterized by the total extractable information from N+1 MUBs. We also demonstrate that t less than (N+1) number of MUBs also form a polytope that exists in t(N-1) dimensional space, which we refer to as generalized complementarity polytope. The generalized complementarity polytope can also be characterized by total extractable information from t MUBs.

arXiv:2109.00507•Sep 1, 2021•0 citations

Mutually Unbiased Bases and Orthogonal Latin Squares -- version 3

Stefan Joka

In this paper, we prove that the existence of a complete set of mutually unbiased bases (MUBs) in N-dimensional Hilbert space implies the existence of a complete set of mutually orthogonal Latin squares (MOLSs) of order N. In particular, we prove that a complete set of MUBs does not exist in dimension six (the first dimension which is not a power of prime).

quant-pharXiv:2511.03537•Nov 6, 2025•0 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

ON MUTUALLY UNBIASED BASES

Thomas Durt, Berthold‐Georg Englert, Ingemar Bengtsson +1 more

Mutually unbiased bases for quantum degrees of freedom are central to all theoretical investigations and practical exploitations of complementary properties. Much is known about mutually unbiased bases, but there are also a fair number of important questions that have not been answered in full as yet. In particular, one can find maximal sets of N + 1 mutually unbiased bases in Hilbert spaces of prime-power dimension N = p M , with p prime and M a positive integer, and there is a continuum of mutually unbiased bases for a continuous degree of freedom, such as motion along a line. But not a single example of a maximal set is known if the dimension is another composite number (N = 6, 10, 12,…). In this review, we present a unified approach in which the basis states are labeled by numbers 0, 1, 2, …, N - 1 that are both elements of a Galois field and ordinary integers. This dual nature permits a compact systematic construction of maximal sets of mutually unbiased bases when they are known to exist but throws no light on the open existence problem in other cases. We show how to use the thus constructed mutually unbiased bases in quantum-informatics applications, including dense coding, teleportation, entanglement swapping, covariant cloning, and state tomography, all of which rely on an explicit set of maximally entangled states (generalizations of the familiar two–q-bit Bell states) that are related to the mutually unbiased bases. There is a link to the mathematics of finite affine planes. We also exploit the one-to-one correspondence between unbiased bases and the complex Hadamard matrices that turn the bases into each other. The ultimate hope, not yet fulfilled, is that open questions about mutually unbiased bases can be related to open questions about Hadamard matrices or affine planes, in particular the notorious existence problem for dimensions that are not a power of a prime. The Hadamard-matrix approach is instrumental in the very recent advance, surveyed here, of our understanding of the N = 6 situation. All evidence indicates that a maximal set of seven mutually unbiased bases does not exist — one can find no more than three pairwise unbiased bases — although there is currently no clear-cut demonstration of the case.

arXiv:1004.3348•International Journal of Quantum Information•Jun 1, 2010•727 citations
A complete set of N + 1 mutually unbiased bases (MUBs) forms a convex polytope in the N2 - 1 dimensional space of N × N Hermitian matrices of unit trace. As a geometrical object such a polytope exists for all values of N, while it is unknown whether it can be made to lie within the body of density matrices unless N = pk, where p is prime. We investigate the polytope in order to see if some values of N are geometrically singled out. One such feature is found: It is possible to select N2 facets in such a way that their centers form a regular simplex if and only if there exists an affine plane of order N. Affine planes of order N are known to exist if N = pk; perhaps they do not exist otherwise. However, the link to the existence of MUBs — if any — remains to be found.
A complete set of N+1 mutually unbiased bases (MUBs) exists in Hilbert spaces of dimension N = p^k, where p is a prime number. They mesh naturally with finite affine planes of order N, that exist when N = p^k. The existence of MUBs for other values of N is an open question, and the same is true for finite affine planes. I explore the question whether the existence of complete sets of MUBs is directly related to the existence of finite affine planes. Both questions can be shown to be geometrical questions about a convex polytope, but not in any obvious way the same question.
A complete set of N + 1 mutually unbiased bases (MUBs) exists in Hilbert spaces of dimension N = pk, where p is a prime number. They mesh naturally with finite affine planes of order N, that exist when N = pk. The existence of MUBs for other values of N is an open question, and the same is true for finite affine planes. I explore the question whether the existence of complete sets of MUBs is directly related to the existence of finite affine planes. Both questions can be shown to be geometrical questions about a convex polytope, but not in any obvious way the same question.
Complementarity polytope is a geometric structure that exists in N2-1 dimensional space for an N dimensional Hilbert space. The existence of N + 1 mutually unbiased bases(MUBs) is possible, if such a polytope can be shown to be a subset of density matrices, which is a very difficult task. With the hope of simplifying this task, we have shown in this work that, the complementarity polytope can be characterized by the total extractable information from N+1 MUBs. We also demonstrate that t less than (N+1) number of MUBs also form a polytope that exists in t(N-1) dimensional space, which we refer to as generalized complementarity polytope. The generalized complementarity polytope can also be characterized by total extractable information from t MUBs.
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 for quantum degrees of freedom are central to all theoretical investigations and practical exploitations of complementary properties. Much is known about mutually unbiased bases, but there are also a fair number of important questions that have not been answered in full as yet. In particular, one can find maximal sets of N + 1 mutually unbiased bases in Hilbert spaces of prime-power dimension N = p M , with p prime and M a positive integer, and there is a continuum of mutually unbiased bases for a continuous degree of freedom, such as motion along a line. But not a single example of a maximal set is known if the dimension is another composite number (N = 6, 10, 12,…). In this review, we present a unified approach in which the basis states are labeled by numbers 0, 1, 2, …, N - 1 that are both elements of a Galois field and ordinary integers. This dual nature permits a compact systematic construction of maximal sets of mutually unbiased bases when they are known to exist but throws no light on the open existence problem in other cases. We show how to use the thus constructed mutually unbiased bases in quantum-informatics applications, including dense coding, teleportation, entanglement swapping, covariant cloning, and state tomography, all of which rely on an explicit set of maximally entangled states (generalizations of the familiar two–q-bit Bell states) that are related to the mutually unbiased bases. There is a link to the mathematics of finite affine planes. We also exploit the one-to-one correspondence between unbiased bases and the complex Hadamard matrices that turn the bases into each other. The ultimate hope, not yet fulfilled, is that open questions about mutually unbiased bases can be related to open questions about Hadamard matrices or affine planes, in particular the notorious existence problem for dimensions that are not a power of a prime. The Hadamard-matrix approach is instrumental in the very recent advance, surveyed here, of our understanding of the N = 6 situation. All evidence indicates that a maximal set of seven mutually unbiased bases does not exist — one can find no more than three pairwise unbiased bases — although there is currently no clear-cut demonstration of the case.