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

Product Weyl--Heisenberg covariant mutually unbiased bases and extremal non-stabilizerness

Bogdan S. Damski, Rafał Bistroń, Diego Ponterio, Jakub Czartowski, Karol Życzkowski

quant-phSubmitted Mar 16, 2026• Announced Mar 17, 2026• 0 citations• Revised Oct 7, 2026 (v2)
v1 · Mar 16, 2026v2 · Oct 7, 2026
arXivHTMLPDF

Abstract

Discrete structures in product Hilbert spaces are investigated. For monopartite systems of size $d$ one relies on the Weyl--Heisenberg group $WH(d)$, while in the case of composite Hilbert spaces with the local dimensions $d_i$ we identify designs covariant with respect to the product group, $\bigotimes_i WH(d_i)$. In analogy with magic -- a quantity attaining its maximum for states fiducial with respect to $WH(d)$ -- we introduce a similar quantifier of {\sl product magic}, defined with respect to the product group. The maximum of this quantity over all equimodular vectors yields fiducial states that generate $d = \prod_i d_i$ \textit{a priori} isoentangled mutually unbiased bases (MUBs), which, when supplemented by the identity, form their complete set. Such fiducial states are explicitly constructed in all prime-power dimensions $d = p^n$ with $p\ge 3$. The result for $p\ge 5$ extends the construction of Klappenecker and R{ö}tteler, whereas for $p=3$ it is mathematically distinct and is based on Galois rings. The global maximum of the quantifier of product magic for $d=2^3$ yields fiducial states corresponding to the symmetric informationally complete (SIC) generalized measurement of Hoggar. Our approach feeds into a unifying perspective in which highly symmetric quantum designs emerge from fiducial states with extremal properties via structured group-orbit constructions.

Related papers

Group frames via magic states with applications to SIC-POVMs and MUBs

Lingxuan Feng, Shunlong Luo

Abstract We connect magic (non-stabilizer) states, symmetric informationally complete positive operator valued measures (SIC-POVMs), and mutually unbiased bases (MUBs) in the context of group frames, and study their interplay. Magic states are quantum resources in the stabilizer formalism of quantum computation. SIC-POVMs and MUBs are fundamental structures in quantum information theory with many applications in quantum foundations, quantum state tomography, and quantum cryptography, etc. In this work, we study group frames constructed from some prominent magic states, and further investigate their applications. Our method exploits the orbit of discrete Heisenberg–Weyl group acting on an initial fiducial state. We quantify the distance of the group frames from SIC-POVMs and MUBs, respectively. As a simple corollary, we reproduce a complete family of MUBs of any prime dimensional system by introducing the concept of MUB fiducial states, analogous to the well-known SIC-POVM fiducial states. We present an intuitive and direct construction of MUB fiducial states via quantum T-gates, and demonstrate that for the qubit system, there are twelve MUB fiducial states, which coincide with the H-type magic states. We compare MUB fiducial states and SIC-POVM fiducial states from the perspective of magic resource for stabilizer quantum computation. We further pose the challenging issue of identifying all MUB fiducial states in general dimensions.

Communications in Theoretical Physics•Sep 11, 2024•11 citations

Explicit constructions of mutually unbiased bases via Hadamard matrices

Jean-Christophe Pain

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.

quant-pharXiv:2604.02234•Apr 3, 2026•0 citations

Sharply covariant mutually unbiased bases

Huangjun Zhu

Mutually unbiased bases (MUB) are an elusive discrete structure in Hilbert spaces. Many (complete sets of) MUB are group covariant, but little is known whether they can be sharply covariant in the sense that the generating groups can have order equal to the total number of basis states, that is, $d(d+1)$ for MUB in dimension $d$. Sharply covariant MUB, if they exist, would be most appealing from both theoretical and practical point of view. Since stabilizer MUB subsume almost all MUB that have ever been constructed, it is of fundamental interest to single out those candidates that are sharply covariant. We show that, quite surprisingly, only two stabilizer MUB are sharply covariant, and the conclusion still holds even if antiunitary transformations are taken into account. Our study provides valuable insight on the symmetry of stabilizer MUB, which may have implications for a number of research topics in quantum information and foundations. In addition, it exposes a sharp contrast between MUB and another elusive discrete structure known as symmetric informationally complete measurements (SICs), all known examples of which are sharply covariant.

arXiv:1503.00003•Feb 27, 2015•7 citations

Generalized Numerical Construction of MUBs: A Group Theoretical Investigation

B. Gültekin, S. B. Samuel, Z. Gedik

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.

quant-pharXiv:2604.04164•Journal of Physics A Mathematical and Theoretical•Apr 7, 2026•0 citations

Mutually unbiased bases as minimal Clifford covariant 2-designs

Huangjun Zhu

Mutually unbiased bases (MUBs) are interesting for various reasons. The most attractive example of (a complete set of) MUBs is the one constructed by Ivanovi\ifmmode \acute{c}\else \'{c}\fi{} as well as Wootters and Fields, which is referred to as the canonical MUB. Nevertheless, little is known about anything that is unique to this MUB. We show that the canonical MUB in any prime power dimension is uniquely determined by an extremal orbit of the (restricted) Clifford group except in dimension 3, in which case the orbit defines a special symmetric informationally complete measurement (SIC), known as the Hesse SIC. Here the extremal orbit is the orbit with the smallest number of pure states. Quite surprisingly, this characterization does not rely on any concept that is related to bases or unbiasedness. As a corollary, the canonical MUB is the unique minimal 2-design covariant with respect to the Clifford group except in dimension 3. In addition, these MUBs provide an infinite family of highly symmetric frames and positive-operator-valued measures (POVMs), which are of independent interest.

arXiv:1505.01123•Physical Review A•Jun 30, 2015•24 citations

Maximally symmetric stabilizer MUBs in even prime-power dimensions

Claudio Carmeli, Jussi Schultz, Alessandro Toigo

One way to construct a maximal set of mutually unbiased bases (MUBs) in a prime-power dimensional Hilbert space is by means of finite phase-space methods. MUBs obtained in this way are covariant with respect to some subgroup of the group of all affine symplectic phase-space transformations. However, this construction is not canonical: as a consequence, many different choices of covariance subgroups are possible. In particular, when the Hilbert space is 2n dimensional, it is known that covariance with respect to the full group of affine symplectic phase-space transformations can never be achieved. Here we show that in this case there exist two essentially different choices of maximal subgroups admitting covariant MUBs. For both of them, we explicitly construct a family of 2n covariant MUBs. We thus prove that, contrary to the odd dimensional case, maximally covariant MUBs are very far from being unique in even prime-power dimensions.

arXiv:1610.01372•Journal of Mathematical Physics•Mar 1, 2017•0 citations
Discrete structures in product Hilbert spaces are investigated. For monopartite systems of size ddd one relies on the Weyl--Heisenberg group WH(d)WH(d)WH(d), while in the case of composite Hilbert spaces with the local dimensions did_idi​ we identify designs covariant with respect to the product group, ⨂iWH(di)\bigotimes_i WH(d_i)⨂i​WH(di​). In analogy with magic -- a quantity attaining its maximum for states fiducial with respect to WH(d)WH(d)WH(d) -- we introduce a similar quantifier of {\sl product magic}, defined with respect to the product group. The maximum of this quantity over all equimodular vectors yields fiducial states that generate d=∏idid = \prod_i d_id=∏i​di​ \textit{a priori} isoentangled mutually unbiased bases (MUBs), which, when supplemented by the identity, form their complete set. Such fiducial states are explicitly constructed in all prime-power dimensions d=pnd = p^nd=pn with p≥3p\ge 3p≥3. The result for p≥5p\ge 5p≥5 extends the construction of Klappenecker and R{ö}tteler, whereas for p=3p=3p=3 it is mathematically distinct and is based on Galois rings. The global maximum of the quantifier of product magic for d=23d=2^3d=23 yields fiducial states corresponding to the symmetric informationally complete (SIC) generalized measurement of Hoggar. Our approach feeds into a unifying perspective in which highly symmetric quantum designs emerge from fiducial states with extremal properties via structured group-orbit constructions.
Abstract We connect magic (non-stabilizer) states, symmetric informationally complete positive operator valued measures (SIC-POVMs), and mutually unbiased bases (MUBs) in the context of group frames, and study their interplay. Magic states are quantum resources in the stabilizer formalism of quantum computation. SIC-POVMs and MUBs are fundamental structures in quantum information theory with many applications in quantum foundations, quantum state tomography, and quantum cryptography, etc. In this work, we study group frames constructed from some prominent magic states, and further investigate their applications. Our method exploits the orbit of discrete Heisenberg–Weyl group acting on an initial fiducial state. We quantify the distance of the group frames from SIC-POVMs and MUBs, respectively. As a simple corollary, we reproduce a complete family of MUBs of any prime dimensional system by introducing the concept of MUB fiducial states, analogous to the well-known SIC-POVM fiducial states. We present an intuitive and direct construction of MUB fiducial states via quantum T-gates, and demonstrate that for the qubit system, there are twelve MUB fiducial states, which coincide with the H-type magic states. We compare MUB fiducial states and SIC-POVM fiducial states from the perspective of magic resource for stabilizer quantum computation. We further pose the challenging issue of identifying all MUB fiducial states in general dimensions.
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 (MUB) are an elusive discrete structure in Hilbert spaces. Many (complete sets of) MUB are group covariant, but little is known whether they can be sharply covariant in the sense that the generating groups can have order equal to the total number of basis states, that is, d(d+1)d(d+1)d(d+1) for MUB in dimension ddd. Sharply covariant MUB, if they exist, would be most appealing from both theoretical and practical point of view. Since stabilizer MUB subsume almost all MUB that have ever been constructed, it is of fundamental interest to single out those candidates that are sharply covariant. We show that, quite surprisingly, only two stabilizer MUB are sharply covariant, and the conclusion still holds even if antiunitary transformations are taken into account. Our study provides valuable insight on the symmetry of stabilizer MUB, which may have implications for a number of research topics in quantum information and foundations. In addition, it exposes a sharp contrast between MUB and another elusive discrete structure known as symmetric informationally complete measurements (SICs), all known examples of which are sharply covariant.
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 333, 444, and 555 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 666 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.
Mutually unbiased bases (MUBs) are interesting for various reasons. The most attractive example of (a complete set of) MUBs is the one constructed by Ivanovi\ifmmode \acute{c}\else \'{c}\fi{} as well as Wootters and Fields, which is referred to as the canonical MUB. Nevertheless, little is known about anything that is unique to this MUB. We show that the canonical MUB in any prime power dimension is uniquely determined by an extremal orbit of the (restricted) Clifford group except in dimension 3, in which case the orbit defines a special symmetric informationally complete measurement (SIC), known as the Hesse SIC. Here the extremal orbit is the orbit with the smallest number of pure states. Quite surprisingly, this characterization does not rely on any concept that is related to bases or unbiasedness. As a corollary, the canonical MUB is the unique minimal 2-design covariant with respect to the Clifford group except in dimension 3. In addition, these MUBs provide an infinite family of highly symmetric frames and positive-operator-valued measures (POVMs), which are of independent interest.
One way to construct a maximal set of mutually unbiased bases (MUBs) in a prime-power dimensional Hilbert space is by means of finite phase-space methods. MUBs obtained in this way are covariant with respect to some subgroup of the group of all affine symplectic phase-space transformations. However, this construction is not canonical: as a consequence, many different choices of covariance subgroups are possible. In particular, when the Hilbert space is 2n dimensional, it is known that covariance with respect to the full group of affine symplectic phase-space transformations can never be achieved. Here we show that in this case there exist two essentially different choices of maximal subgroups admitting covariant MUBs. For both of them, we explicitly construct a family of 2n covariant MUBs. We thus prove that, contrary to the odd dimensional case, maximally covariant MUBs are very far from being unique in even prime-power dimensions.