Maximum number of mutually unbiased bases

Problem

For each integer $d\geq2$, determine the maximum number $\mu(d)$ of pairwise mutually unbiased orthonormal bases of $\mathbb C^d$. Two orthonormal bases $\mathcal B_r=\{|e_i^{(r)}\rangle\}_{i=1}^{d}$ and $\mathcal B_s=\{|e_j^{(s)}\rangle\}_{j=1}^{d}$ are mutually unbiased when

\begin{equation} \bigl|\langle e_i^{(r)}|e_j^{(s)}\rangle\bigr|^2=\frac1d \qquad\text{for every }i,j\in\{1,\ldots,d\}. \tag{1} \end{equation}

Thus the extremal quantity defined by Eq. (1) is

\begin{equation} \mu(d):=\max\left\{m:\text{there exist $m$ orthonormal bases of $\mathbb C^d$ that are pairwise mutually unbiased}\right\}. \tag{2} \end{equation}

Determine Eq. (2) in the non-prime-power regime, in particular for $d\in\{6,10,12,14,15\}$.

Source

Krüger and Werner explicitly pose determination of the maximum number of mutually unbiased bases in arbitrary dimension; McNulty and Weigert retain the composite-dimensional cases as open [KW05], [MW26].

Progress

Reports do not certify correctness or automatically change the problem's status. Progress policy.

The universal dimension bound is $\mu(d)\leq d+1$, and finite-field constructions attain it whenever $d$ is a prime power. Hence $\mu(d)=d+1$ throughout the prime-power regime [WF89], [KR04].
If $d=\prod_r p_r^{a_r}$ is the prime-power factorization, tensor products give $\mu(d)\geq1+\min_r p_r^{a_r}$. Moreover, any family of $d$ mutually unbiased bases extends to $d+1$ bases. Consequently $\mu(6)\in\{3,4,5,7\}$; in particular, six bases cannot be maximal [KR04], [Wei13].
Numerical searches support $\mu(6)=3$, while symmetry-reduced semidefinite hierarchies provide convergent certificate frameworks. These works do not exclude a fourth arbitrary complex basis [BH07], [GP24], [MW26].
OpenAI reports a computer-assisted proof that $\mu(6)=3$, excluding four arbitrary complex mutually unbiased bases (Theorem 1.1, p. 3) [OAI26]. The exclusion relies on the binary64 arithmetic and compiler conditions in Appendix A and the complete verification pipeline described in Section 7.5.

Comment

The reported result addresses $d=6$ only; it does not determine Eq. (2) in other non-prime-power dimensions, including $d\in\{10,12,14,15\}$. This broader record remains Unsolved. The earlier dimension-six milestone of constructing four bases or excluding seven is subsumed by determining the exact maximum and is therefore retained here rather than as a separate problem [HRZ22].

References

[WF89]: W. K. Wootters and B. D. Fields, “Optimal State-Determination by Mutually Unbiased Measurements,” Annals of Physics 191, 363–381 (1989).DOI
[KR04]: A. Klappenecker and M. Rötteler, “Constructions of Mutually Unbiased Bases,” in Finite Fields and Applications, LNCS 2948, 137–144 (Springer, 2004).DOI arXiv
[Wei13]: M. Weiner, “A Gap for the Maximum Number of Mutually Unbiased Bases,” Proceedings of the American Mathematical Society 141, 1963–1969 (2013).DOI arXiv
[BH07]: P. Butterley and W. Hall, “Numerical Evidence for the Maximum Number of Mutually Unbiased Bases in Dimension Six,” Physics Letters A 369, 5–8 (2007).DOI arXiv
[GP24]: S. Gribling and S. Polak, “Mutually Unbiased Bases: Polynomial Optimization and Symmetry,” Quantum 8, 1318 (2024).DOI arXiv
[MW26]: D. McNulty and S. Weigert, “Mutually Unbiased Bases in Composite Dimensions—A Review,” Quantum 10, 2051 (2026).DOI arXiv
[KW05]: O. Krüger and R. F. Werner (eds.), “Some Open Problems in Quantum Information Theory,” arXiv:quant-ph/0504166 (2005).DOI arXiv
[HRZ22]: P. Horodecki, Ł. Rudnicki, and K. Życzkowski, “Five Open Problems in Quantum Information Theory,” PRX Quantum 3, 010101 (2022).DOI arXiv
[OAI26]: OpenAI, “The maximum number of mutually unbiased bases in dimension six,” OpenAI Math Release preprint, 24 September 2026. manuscript (release version).link

Maximum number of mutually unbiased bases

Problem

Source

Progress

Comment

References

Cite this problem

BibTeX

Plain text

Problem

Source

Progress

Comment

References

Related problems