Abstract In quantum mechanics, mutually unbiased bases (MUBs) represent orthonormal bases (ONBs) that are as ‘far apart’ as possible, and their classification reveals rich underlying geometric structure. Given a complex inner product space, we construct the space of its ONBs as a discrete quotient of the complete flag manifold. We introduce a metric on this space, which corresponds to the ‘MUBness’ distance. This allows us to describe equivalence between sets of MUBs in terms of the geometry of this space. The subspace of bases that are unbiased with respect to the standard basis decomposes into orbits under a certain group action, and this decomposition corresponds to the classification of complex Hadamard matrices. More generally, we consider a list of k MUBs, that one wishes to extend. The candidates are points in the subspace comprising all bases which are unbiased with respect to the entire list. This space also decomposes into orbits under a group action, and we prove that points in distinct orbits yield inequivalent MUB lists. Thus, we generalize the relation between complex Hadamard matrices and MUBs. As an application, we identify new symmetries that reduce the parameter space of MUB triples in dimension 4 by a factor of 4.
Abstract In quantum mechanics, mutually unbiased bases (MUBs) represent orthonormal bases (ONBs) that are as ‘far apart’ as possible, and their classification reveals rich underlying geometric structure. Given a complex inner product space, we construct the space of its ONBs as a discrete quotient of the complete flag manifold. We introduce a metric on this space, which corresponds to the ‘MUBness’ distance. This allows us to describe equivalence between sets of MUBs in terms of the geometry of this space. The subspace of bases that are unbiased with respect to the standard basis decomposes into orbits under a certain group action, and this decomposition corresponds to the classification of complex Hadamard matrices. More generally, we consider a list of k MUBs, that one wishes to extend. The candidates are points in the subspace comprising all bases which are unbiased with respect to the entire list. This space also decomposes into orbits under a group action, and we prove that points in distinct orbits yield inequivalent MUB lists. Thus, we generalize the relation between complex Hadamard matrices and MUBs. As an application, we identify new symmetries that reduce the parameter space of MUB triples in dimension 4 by a factor of 4.
A pair of orthonormal bases are mutually unbiased (MU) if the inner products across all their elements have equal magnitude. In quantum mechanics, these bases represent observables that are complementary, i.e. a measurement of one observable implies maximal uncertainty about the possible outcome of a subsequent measurement of a second observable. MU bases have attracted interest in recent years because their properties seem to depend dramatically on the dimension d of the quantum system in hand. If the dimension is given by a prime or prime-power, the state space is known to accommodate a complete set of d+1 MU bases. However, for composite dimensions, such as d = 6, 10, 12, ..., complete sets seem to be absent and it is not understood why. In this thesis we carry out a comprehensive study of MU product bases in dimension six. In particular, we construct all MU bases in dimension six consisting of product states only. The exhaustive classification leads to several non-existence results. We also present a new construction of complex Hadamard matrices of composite order, which is a consequence of our work on MU product bases. Based on this construction we obtain several new isolated Hadamard matrices of Butson-type. \n
We present a detailed computational and algebraic study of Mutually Unbiased Bases (MUBs) in finite-dimensional Hilbert spaces, with a particular focus on dimensions 2, 3, 4, and the challenging case of 6. Starting from the Hadamard-phase parametrization, we derive explicit analytical conditions for mutual unbiasedness in dimension 4, providing a tractable system of trigonometric constraints on the phase parameters. We then explore a tensor-product construction via Pauli operators, highlighting the algebraic and group-theoretical origin of MUBs in two-qubit systems, and demonstrating how these constructions yield a complete set of 5 MUBs in dimension 4. Extending our approach, we investigate the Fourier-family method in dimension 6, where the absence of a prime-power structure imposes strong rigidity constraints and limits the known constructions to sets of 3 MUBs. We provide a systematic computational framework for testing candidate phase vectors, bridging the gap between analytical insight and numerical exploration. Finally, we generalize the discussion to arbitrary prime-power dimensions, emphasizing the role of finite-field structures, Heisenberg-Weyl operators, and discrete symmetries in generating complete sets of MUBs. Our work offers a transparent, line-by-line verification methodology, highlighting both the geometric and algebraic richness of MUBs, and clarifying why certain dimensions resist full analytical constructions. This study serves as a comprehensive resource for researchers seeking both theoretical understanding and practical construction of MUBs in quantum information science.
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.
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≤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≤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.
The connection between maximal sets of mutually unbiased bases (MUBs) in a prime-power dimensional Hilbert space and finite phase-space geometries is well known. In this article, we classify MUBs according to their degree of covariance with respect to the natural symmetries of a finite phase-space, which are the group of its affine symplectic transformations. We prove that there exist maximal sets of MUBs that are covariant with respect to the full group only in odd prime-power dimensional spaces, and in this case, their equivalence class is actually unique. Despite this limitation, we show that in dimension [Formula: see text] covariance can still be achieved by restricting to proper subgroups of the symplectic group, that constitute the finite analogues of the oscillator group. For these subgroups, we explicitly construct the unitary operators yielding the covariance.
Mutually unbiased bases (MUBs) describe quantum measurements for which certainty in one basis gives uniform outcomes in the others. Their maximum number remains unknown in dimensions that are not powers of a prime. We introduce an ansatz that, in many dimensions, allows us to construct more MUBs than have previously been found. Each basis in the ansatz consists of a diagonal phase matrix applied to a fixed unitary, which is a tensor product of Fourier matrices and, optionally, any real Hadamard matrix. This construction yields five MUBs in dimension 12, six in dimensions 48, 96, and 192, seven in dimensions 36 and 108, and ten in dimension 648. These bases can then be extended to exceed the tensor product bound, asymptotically, in every eighteenth dimension. Moreover, we show that Paley's real Hadamard matrix can be used to construct q+1 bases in dimension d=q(q+1) for every prime power q≡3(mod4). This count grows as d and cannot be exceeded by tensor products of smaller sets.