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:1408.5169

Constructions of complex equiangular lines from mutually unbiased bases

Jonathan Jedwab, Amy Wiebe

Published Aug 21, 2014• 2 citations
arXivHTMLPDF

Abstract

A set of vectors of equal norm in $\mathbb{C}^d$ represents equiangular lines if the magnitudes of the Hermitian inner product of every pair of distinct vectors in the set are equal. The maximum size of such a set is $d^2$, and it is conjectured that sets of this maximum size exist in $\mathbb{C}^d$ for every $d \geq 2$. We take a combinatorial approach to this conjecture, using mutually unbiased bases (MUBs) in the following 3 constructions of equiangular lines: (1) adapting a set of $d$ MUBs in $\mathbb{C}^d$ to obtain $d^2$ equiangular lines in $\mathbb{C}^d$, (2) using a set of $d$ MUBs in $\mathbb{C}^d$ to build $(2d)^2$ equiangular lines in $\mathbb{C}^{2d}$, (3) combining two copies of a set of $d$ MUBs in $\mathbb{C}^d$ to build $(2d)^2$ equiangular lines in $\mathbb{C}^{2d}$. For each construction, we give the dimensions $d$ for which we currently know that the construction produces a maximum-sized set of equiangular lines.

DOI
10.48550/arxiv.1408.5169

Related papers

Regular structures of lines in complex spaces

Mahdad Khatirinejad Fard

We study the properties of regular structures of lines, such as equiangular sets of lines and mutually unbiased bases (MUBs) in a general setting that includes real, complex and quaternionic spaces. We formulate a common generalization of several results in real and complex spaces that also hold in the quaternionic space. A set of lines is called equiangular if the angle between each pair is the same. A set of MUBs is a collection of orthonormal bases such that the angle between vectors from different bases is constant. Regular structures of lines have been studied in several fields such as digital communication, quantum computing, discrete mathematics and analysis. Our new concept of a multipartite equiangular set of lines is a common generalization of equiangular lines and MUBs. We prove a bound on the size of such set of lines, which generalizes the well-known absolute upper bounds. The existence of d + 1 MUBs in Cd is only known for prime power dimensions. We study sets of d + 1 MUBs that are the union of a standard basis and an orbit of the Weyl-Heisenberg group. As an example, we construct such MUBs in prime power dimensions. We also show connections between spherical 2-designs and other structures of lines. Fiducial vectors have been widely used to construct large sets of equiangular lines. A complex vector is fiducial if its orbit under a Weyl-Heisenberg group is an equiangular set of d2 lines. We give a new characterization of fiducial vectors, one that simplifies and significantly reduces the number of equations that must be solved to find a fiducial vector. We consider some possible classes of fiducial vectors and prove several nonexistence results. For example, using our new characterization we prove that the construction of fiducial vectors in small prime dimensions by Appleby (2005) essentially does not generalize. Finally, we give some methods for constructing equiangular sets of lines in complex and quaternionic spaces. We also find numerical fiducial vectors with high precision in Cd , d ≤ 21.

•Jan 1, 2008•9 citations

Equiangular Vectors Approach to Mutually Unbiased Bases

M. Kibler

Two orthonormal bases in the d-dimensional Hilbert space are said to be unbiased if the square modulus of the inner product of any vector of one basis with any vector of the other equals 1 d. The presence of a modulus in the problem of finding a set of mutually unbiased bases constitutes a source of complications from the numerical point of view. Therefore, we may ask the question: Is it possible to get rid of the modulus? After a short review of various constructions of mutually unbiased bases in Cd, we show how to transform the problem of finding d + 1 mutually unbiased bases in the d-dimensional space Cd (with a modulus for the inner product) into the one of finding d(d+1) vectors in the d2-dimensional space Cd2 (without a modulus for the inner product). The transformation from Cd to Cd2 corresponds to the passage from equiangular lines to equiangular vectors. The transformation formulas are discussed in the case where d is a prime number.

Entropy•May 8, 2013•5 citations

Constructions of Mutually Unbiased Bases

Andreas Klappenecker, Martin Roetteler

Two orthonormal bases B and B' of a d-dimensional complex inner-product space are called mutually unbiased if and only if ||^2=1/d holds for all b in B and b' in B'. The size of any set containing (pairwise) mutually unbiased bases of C^d cannot exceed d+1. If d is a power of a prime, then extremal sets containing d+1 mutually unbiased bases are known to exist. We give a simplified proof of this fact based on the estimation of exponential sums. We discuss conjectures and open problems concerning the maximal number of mutually unbiased bases for arbitrary dimensions.

arXiv:quant-ph/0309120•Sep 15, 2003•86 citations

On the Maximal Number of Real Mutually Unbiased Bases

Paweł Wocjan

In this note I point out that (1) pairs of real mutually unbiased bases (i.e., orthonormal bases of R^d) can only exist in dimensions 2 or d where d is a multiple of 4 and that (2) triples of real mutually unbiased bases can only exist for dimensions d that are also squares. For the case d=2^{2m} the maximal number of real MUBs is given by (d+2)/2 (this follows from known results on extremal euclidean line-sets). In the case d=s^2 where s is an even number that is not a power of 2, we have the lower bound N_MOLS(s)+2, where N_MOLS(s) denotes the maximal number of mutually orthogonal Latin square of order s, provided that there exists a Hadamard matrix of size s. It is not known how good this bound is. Moreover, I observe that the question of deciding if there always two real MUBs is equivalent to the Hadamard conjecture.

•Feb 3, 2005•1 citation

On mutually unbiased bases

Rahim Taghikhani

Two orthonormal bases in the complex space of dimension d, are said to be mutually unbiased if the square of the magnitude of the inner product of any vector from one basis with any vector in other basis is equal to the reciprocal of the dimension d. Mutually unbiased bases are used for optimal state determination of mixed quantum states. It is known that in any dimension d, the number of mutually unbiased bases is at most d+1. Ivanovic found a complete set of mutually unbiased bases for prime dimensions. His construction was generalized by Wootters and Fields for prime power dimensions. There is a strong connection between maximally commuting bases of orthogonal unitary matrices and mutually unbiased bases. Based on this connection, there exits a constructive proof of the existence of a complete set of mutually unbiased bases for prime power dimensions. This thesis is an exploration on construction of mutually unbiased bases.

•Aug 26, 2013•1 citation

On the Existence of Algebraic Equiangular Lines

Igor Van Loo, Frédérique Oggier

We consider real and complex equiangular lines, generated by unit vectors. We show that, for an arbitrary dimension $d$, if there exists a set of $d^2$ equiangular unit vectors in $\mathbb{C}^d$, then there must exist a set of $d^2$ equiangular unit vectors with all of their coefficients in a number field. This result is motivated by the question of constructing SIC-POVMs in quantum physics and conjectures around them. We discuss applications of our techniques to the case of real equiangular lines and consequences of the above results.

quant-pharXiv:2603.09128•Journal of Algebra and Its Applications•Mar 11, 2026•0 citations
A set of vectors of equal norm in Cd\mathbb{C}^dCd represents equiangular lines if the magnitudes of the Hermitian inner product of every pair of distinct vectors in the set are equal. The maximum size of such a set is d2d^2d2, and it is conjectured that sets of this maximum size exist in Cd\mathbb{C}^dCd for every d≥2d \geq 2d≥2. We take a combinatorial approach to this conjecture, using mutually unbiased bases (MUBs) in the following 3 constructions of equiangular lines: (1) adapting a set of ddd MUBs in Cd\mathbb{C}^dCd to obtain d2d^2d2 equiangular lines in Cd\mathbb{C}^dCd, (2) using a set of ddd MUBs in Cd\mathbb{C}^dCd to build (2d)2(2d)^2(2d)2 equiangular lines in C2d\mathbb{C}^{2d}C2d, (3) combining two copies of a set of ddd MUBs in Cd\mathbb{C}^dCd to build (2d)2(2d)^2(2d)2 equiangular lines in C2d\mathbb{C}^{2d}C2d. For each construction, we give the dimensions ddd for which we currently know that the construction produces a maximum-sized set of equiangular lines.
We study the properties of regular structures of lines, such as equiangular sets of lines and mutually unbiased bases (MUBs) in a general setting that includes real, complex and quaternionic spaces. We formulate a common generalization of several results in real and complex spaces that also hold in the quaternionic space. A set of lines is called equiangular if the angle between each pair is the same. A set of MUBs is a collection of orthonormal bases such that the angle between vectors from different bases is constant. Regular structures of lines have been studied in several fields such as digital communication, quantum computing, discrete mathematics and analysis. Our new concept of a multipartite equiangular set of lines is a common generalization of equiangular lines and MUBs. We prove a bound on the size of such set of lines, which generalizes the well-known absolute upper bounds. The existence of d + 1 MUBs in Cd is only known for prime power dimensions. We study sets of d + 1 MUBs that are the union of a standard basis and an orbit of the Weyl-Heisenberg group. As an example, we construct such MUBs in prime power dimensions. We also show connections between spherical 2-designs and other structures of lines. Fiducial vectors have been widely used to construct large sets of equiangular lines. A complex vector is fiducial if its orbit under a Weyl-Heisenberg group is an equiangular set of d2 lines. We give a new characterization of fiducial vectors, one that simplifies and significantly reduces the number of equations that must be solved to find a fiducial vector. We consider some possible classes of fiducial vectors and prove several nonexistence results. For example, using our new characterization we prove that the construction of fiducial vectors in small prime dimensions by Appleby (2005) essentially does not generalize. Finally, we give some methods for constructing equiangular sets of lines in complex and quaternionic spaces. We also find numerical fiducial vectors with high precision in Cd , d ≤ 21.
Two orthonormal bases in the d-dimensional Hilbert space are said to be unbiased if the square modulus of the inner product of any vector of one basis with any vector of the other equals 1 d. The presence of a modulus in the problem of finding a set of mutually unbiased bases constitutes a source of complications from the numerical point of view. Therefore, we may ask the question: Is it possible to get rid of the modulus? After a short review of various constructions of mutually unbiased bases in Cd, we show how to transform the problem of finding d + 1 mutually unbiased bases in the d-dimensional space Cd (with a modulus for the inner product) into the one of finding d(d+1) vectors in the d2-dimensional space Cd2 (without a modulus for the inner product). The transformation from Cd to Cd2 corresponds to the passage from equiangular lines to equiangular vectors. The transformation formulas are discussed in the case where d is a prime number.
Two orthonormal bases B and B' of a d-dimensional complex inner-product space are called mutually unbiased if and only if ||^2=1/d holds for all b in B and b' in B'. The size of any set containing (pairwise) mutually unbiased bases of C^d cannot exceed d+1. If d is a power of a prime, then extremal sets containing d+1 mutually unbiased bases are known to exist. We give a simplified proof of this fact based on the estimation of exponential sums. We discuss conjectures and open problems concerning the maximal number of mutually unbiased bases for arbitrary dimensions.
In this note I point out that (1) pairs of real mutually unbiased bases (i.e., orthonormal bases of R^d) can only exist in dimensions 2 or d where d is a multiple of 4 and that (2) triples of real mutually unbiased bases can only exist for dimensions d that are also squares. For the case d=2^{2m} the maximal number of real MUBs is given by (d+2)/2 (this follows from known results on extremal euclidean line-sets). In the case d=s^2 where s is an even number that is not a power of 2, we have the lower bound N_MOLS(s)+2, where N_MOLS(s) denotes the maximal number of mutually orthogonal Latin square of order s, provided that there exists a Hadamard matrix of size s. It is not known how good this bound is. Moreover, I observe that the question of deciding if there always two real MUBs is equivalent to the Hadamard conjecture.
Two orthonormal bases in the complex space of dimension d, are said to be mutually unbiased if the square of the magnitude of the inner product of any vector from one basis with any vector in other basis is equal to the reciprocal of the dimension d. Mutually unbiased bases are used for optimal state determination of mixed quantum states. It is known that in any dimension d, the number of mutually unbiased bases is at most d+1. Ivanovic found a complete set of mutually unbiased bases for prime dimensions. His construction was generalized by Wootters and Fields for prime power dimensions. There is a strong connection between maximally commuting bases of orthogonal unitary matrices and mutually unbiased bases. Based on this connection, there exits a constructive proof of the existence of a complete set of mutually unbiased bases for prime power dimensions. This thesis is an exploration on construction of mutually unbiased bases.
We consider real and complex equiangular lines, generated by unit vectors. We show that, for an arbitrary dimension ddd, if there exists a set of d2d^2d2 equiangular unit vectors in Cd\mathbb{C}^dCd, then there must exist a set of d2d^2d2 equiangular unit vectors with all of their coefficients in a number field. This result is motivated by the question of constructing SIC-POVMs in quantum physics and conjectures around them. We discuss applications of our techniques to the case of real equiangular lines and consequences of the above results.