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

Towards exact algorithmic proofs of maximal mutually unbiased bases sets in arbitrary integer dimension

Santiago Cifuentes, Nicolás Ciancaglini, Guido Bellomo, Santiago Daniel Figueira, Ariel Bendersky

Published Sep 21, 2023• 0 citations
arXivHTMLPDF

Abstract

In this paper, we explore the concept of Mutually Unbiased Bases (MUBs) in discrete quantum systems. It is known that for dimensions $d$ that are powers of prime numbers, there exists a set of up to $d+1$ bases that form an MUB set. However, the maximum number of MUBs in dimensions that are not powers of prime numbers is not known. To address this issue, we introduce three algorithms based on First-Order Logic that can determine the maximum number of bases in an MUB set without numerical approximation. Our algorithms can prove this result in finite time, although the required time is impractical. Additionally, we present a heuristic approach to solve the semi-decision problem of determining if there are $k$ MUBs in a given dimension $d$. As a byproduct of our research, we demonstrate that the maximum number of MUBs in any dimension can be achieved with definable complex parameters, computable complex parameters, and other similar fields.

DOI
10.48550/arxiv.2309.12399

Related papers

A gap for the maximum number of mutually unbiased bases

Mihály Weiner

A collection of pairwise mutually unbiased bases (in short: MUB) in d>1 dimensions may consist of at most d+1 bases. Such "complete" collections are known to exists in C^d when d is a power of a prime. However, in general little is known about the maximal number N(d) of bases that a collection of MUBs in C^d can have. In this work it is proved that a collection of d MUBs in C^d can be always completed. Hence N(d) cannot be d and when d>1 we have a dichotomy: either N(d)=d+1 (so that there exists a complete collection of MUBs), or N(d)\leq d-1. In the course of the proof an interesting new characterization is given for a linear subspace of M_d(C) to be a subalgebra.

arXiv:0902.0635•Feb 4, 2009•4 citations

A gap for the maximum number of mutually unbiased bases

Mihály Weiner

A collection of pairwise mutually unbiased bases (in short: MUB) in d > 1 d>1 dimensions may consist of at most d + 1 d+1 bases. Such “complete” collections are known to exist in C d \mathbb {C}^d when d d is a power of a prime. However, in general, little is known about the maximum number N ( d ) N(d) of bases that a collection of MUB in C d \mathbb {C}^d can have. In this work it is proved that a collection of d d MUB in C d \mathbb {C}^d can always be completed. Hence N ( d ) ≠ d N(d)\neq d , and when d > 1 d>1 we have a dichotomy: either N ( d ) = d + 1 N(d)=d+1 (so that there exists a complete collection of MUB) or N ( d ) ≤ d − 1 N(d)\leq d-1 . In the course of the proof an interesting new characterization is given for a linear subspace of

Proceedings of the American Mathematical Society•Jan 23, 2013•35 citations

There is no generalization of known formulas for mutually unbiased bases

Claude Archer

In a quantum system having a finite number N of orthogonal states, two orthonormal bases {ai} and {bj} are called mutually unbiased if all inner products ⟨ai∣bj⟩ have the same modulus 1∕N. This concept appears in several quantum information problems. The number of pairwise mutually unbiased bases is at most N+1 and various constructions of such N+1 bases have been found when N is a power of a prime number. We study families of formulas that generalize these constructions to arbitrary dimensions using finite rings. We then prove that there exists a set of N+1 mutually unbiased bases described by such formulas, if and only if N is a power of a prime number.

arXiv:quant-ph/0312204•Journal of Mathematical Physics•Feb 1, 2005•83 citations

The Mutually Unbiased Bases Revisited

Monique Combescure

The study of Mutually Unbiased Bases continues to be developed vigorously, and presents several challenges in the Quantum Information Theory. Two orthonormal bases in $\mathbb C^d, B {and} B'$ are said mutually unbiased if $\forall b\in B, b'\in B'$ the scalar product $b\cdot b'$ has modulus $d^{-1/2}$. In particular this property has been introduced in order to allow an optimization of the measurement-driven quantum evolution process of any state $ψ\in \mathbb C^d$ when measured in the mutually unbiased bases $B\_{j} {of} \mathbb C^d$. At present it is an open problem to find the maximal umber of mutually Unbiased Bases when $d$ is not a power of a prime number. \noindent In this article, we revisit the problem of finding Mutually Unbiased Bases (MUB's) in any dimension $d$. The method is very elementary, using the simple unitary matrices introduced by Schwinger in 1960, together with their diagonalizations. The Vandermonde matrix based on the $d$-th roots of unity plays a major role. This allows us to show the existence of a set of 3 MUB's in any dimension, to give conditions for existence of more than 3 MUB's for $d$ even or odd number, and to recover the known result of existence of $d+1$ MUB's for $d$ a prime number. Furthermore the construction of these MUB's is very explicit. As a by-product, we recover results about Gauss Sums, known in number theory, but which have apparently not been previously derived from MUB properties.

arXiv:quant-ph/0605090•May 10, 2006•4 citations

Efficient Identification the Inequivalence of Mutually Unbiased Bases via Finite Operators

Jianxin Song, Zhen-Peng Xu, Changliang Ren

The structural characterization of high-dimensional mutually unbiased bases (MUBs) by classifying MUBs subsets remains a major open problem. The existing methods not only fail to conclude on the exact classification, but also are severely limited by computational resources and suffer from the numerical precision problem. Here we introduce an operational approach to identify the inequivalence of MUBs subsets, which has less time complexity and entirely avoids the computational precision issues. For arbitrary MUBs subsets of $k$ elements in any prime dimension, this method yields a universal analytical upper bound for the amount of MUBs equivalence classes. By applying this method through simple iterations, we further obtain tighter classification upper bounds for any prime dimension $d\leq 37$. Crucially, the comparison of these upper bounds with existing lower bounds successfully determines the exact classification for all MUBs subsets in any dimension $d \leq 17$. We further extend this method to the case that the dimension is a power of prime number. This general and scalable framework for the classification of MUBs subsets sheds new light on related applications.

quant-pharXiv:2512.04543•Dec 5, 2025•0 citations

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
In this paper, we explore the concept of Mutually Unbiased Bases (MUBs) in discrete quantum systems. It is known that for dimensions ddd that are powers of prime numbers, there exists a set of up to d+1d+1d+1 bases that form an MUB set. However, the maximum number of MUBs in dimensions that are not powers of prime numbers is not known. To address this issue, we introduce three algorithms based on First-Order Logic that can determine the maximum number of bases in an MUB set without numerical approximation. Our algorithms can prove this result in finite time, although the required time is impractical. Additionally, we present a heuristic approach to solve the semi-decision problem of determining if there are kkk MUBs in a given dimension ddd. As a byproduct of our research, we demonstrate that the maximum number of MUBs in any dimension can be achieved with definable complex parameters, computable complex parameters, and other similar fields.
A collection of pairwise mutually unbiased bases (in short: MUB) in d>1 dimensions may consist of at most d+1 bases. Such "complete" collections are known to exists in C^d when d is a power of a prime. However, in general little is known about the maximal number N(d) of bases that a collection of MUBs in C^d can have. In this work it is proved that a collection of d MUBs in C^d can be always completed. Hence N(d) cannot be d and when d>1 we have a dichotomy: either N(d)=d+1 (so that there exists a complete collection of MUBs), or N(d)\leq d-1. In the course of the proof an interesting new characterization is given for a linear subspace of M_d(C) to be a subalgebra.
A collection of pairwise mutually unbiased bases (in short: MUB) in d > 1 d>1 dimensions may consist of at most d + 1 d+1 bases. Such “complete” collections are known to exist in C d \mathbb {C}^d when d d is a power of a prime. However, in general, little is known about the maximum number N ( d ) N(d) of bases that a collection of MUB in C d \mathbb {C}^d can have. In this work it is proved that a collection of d d MUB in C d \mathbb {C}^d can always be completed. Hence N ( d ) ≠ d N(d)\neq d , and when d > 1 d>1 we have a dichotomy: either N ( d ) = d + 1 N(d)=d+1 (so that there exists a complete collection of MUB) or N ( d ) ≤ d − 1 N(d)\leq d-1 . In the course of the proof an interesting new characterization is given for a linear subspace of
In a quantum system having a finite number N of orthogonal states, two orthonormal bases {ai} and {bj} are called mutually unbiased if all inner products ⟨ai∣bj⟩ have the same modulus 1∕N. This concept appears in several quantum information problems. The number of pairwise mutually unbiased bases is at most N+1 and various constructions of such N+1 bases have been found when N is a power of a prime number. We study families of formulas that generalize these constructions to arbitrary dimensions using finite rings. We then prove that there exists a set of N+1 mutually unbiased bases described by such formulas, if and only if N is a power of a prime number.
The study of Mutually Unbiased Bases continues to be developed vigorously, and presents several challenges in the Quantum Information Theory. Two orthonormal bases in Cd,BandB′\mathbb C^d, B {and} B'Cd,BandB′ are said mutually unbiased if ∀b∈B,b′∈B′\forall b\in B, b'\in B'∀b∈B,b′∈B′ the scalar product b⋅b′b\cdot b'b⋅b′ has modulus d−1/2d^{-1/2}d−1/2. In particular this property has been introduced in order to allow an optimization of the measurement-driven quantum evolution process of any state ψ∈Cdψ\in \mathbb C^dψ∈Cd when measured in the mutually unbiased bases B_jofCdB\_{j} {of} \mathbb C^dB_jofCd. At present it is an open problem to find the maximal umber of mutually Unbiased Bases when ddd is not a power of a prime number. \noindent In this article, we revisit the problem of finding Mutually Unbiased Bases (MUB's) in any dimension ddd. The method is very elementary, using the simple unitary matrices introduced by Schwinger in 1960, together with their diagonalizations. The Vandermonde matrix based on the ddd-th roots of unity plays a major role. This allows us to show the existence of a set of 3 MUB's in any dimension, to give conditions for existence of more than 3 MUB's for ddd even or odd number, and to recover the known result of existence of d+1d+1d+1 MUB's for ddd a prime number. Furthermore the construction of these MUB's is very explicit. As a by-product, we recover results about Gauss Sums, known in number theory, but which have apparently not been previously derived from MUB properties.
The structural characterization of high-dimensional mutually unbiased bases (MUBs) by classifying MUBs subsets remains a major open problem. The existing methods not only fail to conclude on the exact classification, but also are severely limited by computational resources and suffer from the numerical precision problem. Here we introduce an operational approach to identify the inequivalence of MUBs subsets, which has less time complexity and entirely avoids the computational precision issues. For arbitrary MUBs subsets of kkk elements in any prime dimension, this method yields a universal analytical upper bound for the amount of MUBs equivalence classes. By applying this method through simple iterations, we further obtain tighter classification upper bounds for any prime dimension d≤37d\leq 37d≤37. Crucially, the comparison of these upper bounds with existing lower bounds successfully determines the exact classification for all MUBs subsets in any dimension d≤17d \leq 17d≤17. We further extend this method to the case that the dimension is a power of prime number. This general and scalable framework for the classification of MUBs subsets sheds new light on related applications.
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.