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

kkk-fold unbiased measurements and maximal incompatibility

Sébastien Designolle, Máté Farkas

quant-phSubmitted Sep 17, 2026• Announced Sep 18, 2026• 0 citations
arXivHTMLPDF

Abstract

Mutually unbiased bases capture perfect complementarity between two quantum measurements. Extensions beyond pairwise unbiasedness have been proposed, but essentially no non-trivial higher-order constructions are known. We introduce $k$-fold unbiased measurements ($k$-UMs), extending the $k$-fold unbiased bases notion of [arXiv:1706.04446] from rank-one basis measurements to arbitrary-rank projective measurements, and show that this higher-rank setting supports a much richer theory. We develop the notions of algebraic and spectral $k$-UMs and prove that they coincide for rank-one measurements and triples of measurements (3-UMs). We establish strong no-go results for higher-order rank-one constructions and three-outcome 3-UMs, but obtain infinitely many higher-rank triples using Hadamard matrices and Clifford algebras. We then give these structures an exact operational interpretation in terms of measurement incompatibility. For 3-UMs with any number of outcomes, we determine their generalised incompatibility robustness exactly and construct an explicit joint measurement for their noisy versions at the compatibility threshold. Finally, we implement the symmetry reduction of the sum-of-squares hierarchy recently introduced in [New J. Phys. 28, 064509 (2026)] and give numerical evidence that the noise thresholds arising from the $k$-UM analysis may characterise the asymptotic behaviour of this hierarchy. In particular, with very high precision, we numerically show that our constructed four-outcome 3-UMs are among the most incompatible triples of four-outcome measurements.

Comments
10+14 pages, 3 tables. Comments are welcome!

Related papers

Mutually Unbiased Measurements, Hadamard Matrices, and Superdense Coding

Máté Farkas, Jędrzej Kaniewski, Ashwin Nayak

Mutually unbiased bases (MUBs) are highly symmetric bases on complex Hilbert spaces, and the corresponding rank-1 projective measurements are ubiquitous in quantum information theory. In this work, we study a recently introduced generalisation of MUBs called mutually unbiased measurements (MUMs). These measurements inherit the essential property of complementarity from MUBs, but the Hilbert space dimension is no longer required to match the number of outcomes. This operational complementarity property renders MUMs highly useful for device-independent quantum information processing. It has been shown that MUMs are strictly more general than MUBs. In this work we provide a complete proof of the characterisation of MUMs that are direct sums of MUBs. We then construct new examples of MUMs that are not direct sums of MUBs. A crucial technical tool for this construction is a correspondence with quaternionic Hadamard matrices, which allows us to map known examples of such matrices to MUMs that are not direct sums of MUBs. Furthermore, we show that—in stark contrast with MUBs—the number of MUMs for a fixed outcome number is unbounded. Next, we focus on the use of MUMs in quantum communication. We demonstrate how any pair of MUMs with$d$outcomes defines a$d$-dimensional superdense coding protocol. Using MUMs that are not direct sums of MUBs, we disprove a recent conjecture due to Nayak and Yuen on the rigidity of superdense coding, for infinitely many dimensions. The superdense coding protocols arising in the refutation reveal how shared entanglement may be used in a manner heretofore unknown.

arXiv:2204.11886•IEEE Transactions on Information Theory•Apr 24, 2023•7 citations

Mutually unbiased bases: common states, completion, and extension obstructions

Hao-Yu Sun

Which pure states give uniform outcomes in several mutually unbiased measurements, and when can they form another measurement basis? We distinguish common unbiased states, their orthonormal completion, and further extension. For a displayed phase-deformed Fourier pair in dimension $2m$, a clock symmetry and skew antiunitary complete every prescribed common unbiased state to an explicit orthonormal basis. In dimension six, an amplitude-profile obstruction proves strong unextendibility of a given mutually unbiased triple when its original third-basis rays are invariant under the ternary clock. We give an exact nonproduct example and an application to a companion whose columns are localized at single Fourier frequencies. For every exact Hadamard matrix in a specified closed entrywise neighborhood of a fixed reference matrix, the coordinate and Hadamard bases have exactly 48 common unbiased rays but no third measurement basis, with a quantitative lower bound on the squared Gram defect of every six-column candidate. We also study auxiliary complex equations for common states, retaining algebraic multiplicities. For a flat unitary of order six with all $3\times3$ minors nonzero, the projective ray scheme is finite; each singular two-minor contributes two reduced isolated boundary points, and the affine coordinate algebra is finite-dimensional over $\mathbb{C}$. In every order, a critical-algebra identity preserves multiplicities; in dimension six it gives finiteness for a fixed phase fibre. Specialization over a discrete valuation ring controls complete reciprocal-orthogonal collections. A nonphysical Tao/Potts collection separates algebraic from physical solutions. These results do not determine the global maximum number of mutually unbiased bases or classify all triples.

quant-pharXiv:2610.12180•Oct 9, 2026•0 citations

Quantifying Measurement Incompatibility of Mutually Unbiased Bases

Sébastien Designolle, Paul Skrzypczyk, Florian Fröwis +1 more

Quantum measurements based on mutually unbiased bases are commonly used in quantum information processing, as they are generally viewed as being maximally incompatible and complementary. Here we quantify precisely the degree of incompatibility of mutually unbiased bases (MUB) using the notion of noise robustness. Specifically, for sets of k MUB in dimension d, we provide upper and lower bounds on this quantity. Notably, we get a tight bound in several cases, in particular for complete sets of k=d+1 MUB (using the standard construction for d being a prime power). On the way, we also derive a general upper bound on the noise robustness for an arbitrary set of quantum measurements. Moreover, we prove the existence of sets of k MUB that are operationally inequivalent, as they feature different noise robustness, and we provide a lower bound on the number of such inequivalent sets up to dimension 32. Finally, we discuss applications of our results for Einstein-Podolsky-Rosen steering.

arXiv:1805.09609•Physical Review Letters•Feb 6, 2019•77 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

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

Optimality of any pair of incompatible rank-one projective measurements for some nontrivial Bell inequality

Gabriel Pereira Alves, Jędrzej Kaniewski

Bell nonlocality represents one of the most striking departures of quantum mechanics from classical physics. It shows that correlations between spacelike separated systems allowed by quantum mechanics are stronger than those present in any classical theory. In a recent work [A. Tavakoli, M. Farkas, D. Rosset, J.-D. Bancal, and J. Kaniewski, Sci. Adv. 7, eabc3847 (2021)], a family of Bell functionals tailored to mutually unbiased bases (MUBs) was proposed. For these functionals, the maximal quantum violation is achieved if the two measurements performed by one of the parties are constructed out of MUBs of a fixed dimension. Here, we generalize this construction to an arbitrary incompatible pair of rank-one projective measurements. By constructing a new family of Bell functionals, we show that for any such pair there exists a Bell inequality that is maximally violated by this pair. Moreover, when investigating the robustness of these violations to noise, we demonstrate that the realization which is most robust to noise is not generated by MUBs.

arXiv:2112.07582•Physical Review A•Sep 23, 2022•3 citations
Mutually unbiased bases capture perfect complementarity between two quantum measurements. Extensions beyond pairwise unbiasedness have been proposed, but essentially no non-trivial higher-order constructions are known. We introduce kkk-fold unbiased measurements (kkk-UMs), extending the kkk-fold unbiased bases notion of [arXiv:1706.04446] from rank-one basis measurements to arbitrary-rank projective measurements, and show that this higher-rank setting supports a much richer theory. We develop the notions of algebraic and spectral kkk-UMs and prove that they coincide for rank-one measurements and triples of measurements (3-UMs). We establish strong no-go results for higher-order rank-one constructions and three-outcome 3-UMs, but obtain infinitely many higher-rank triples using Hadamard matrices and Clifford algebras. We then give these structures an exact operational interpretation in terms of measurement incompatibility. For 3-UMs with any number of outcomes, we determine their generalised incompatibility robustness exactly and construct an explicit joint measurement for their noisy versions at the compatibility threshold. Finally, we implement the symmetry reduction of the sum-of-squares hierarchy recently introduced in [New J. Phys. 28, 064509 (2026)] and give numerical evidence that the noise thresholds arising from the kkk-UM analysis may characterise the asymptotic behaviour of this hierarchy. In particular, with very high precision, we numerically show that our constructed four-outcome 3-UMs are among the most incompatible triples of four-outcome measurements.
Mutually unbiased bases (MUBs) are highly symmetric bases on complex Hilbert spaces, and the corresponding rank-1 projective measurements are ubiquitous in quantum information theory. In this work, we study a recently introduced generalisation of MUBs called mutually unbiased measurements (MUMs). These measurements inherit the essential property of complementarity from MUBs, but the Hilbert space dimension is no longer required to match the number of outcomes. This operational complementarity property renders MUMs highly useful for device-independent quantum information processing. It has been shown that MUMs are strictly more general than MUBs. In this work we provide a complete proof of the characterisation of MUMs that are direct sums of MUBs. We then construct new examples of MUMs that are not direct sums of MUBs. A crucial technical tool for this construction is a correspondence with quaternionic Hadamard matrices, which allows us to map known examples of such matrices to MUMs that are not direct sums of MUBs. Furthermore, we show that—in stark contrast with MUBs—the number of MUMs for a fixed outcome number is unbounded. Next, we focus on the use of MUMs in quantum communication. We demonstrate how any pair of MUMs withdddoutcomes defines addd-dimensional superdense coding protocol. Using MUMs that are not direct sums of MUBs, we disprove a recent conjecture due to Nayak and Yuen on the rigidity of superdense coding, for infinitely many dimensions. The superdense coding protocols arising in the refutation reveal how shared entanglement may be used in a manner heretofore unknown.
Which pure states give uniform outcomes in several mutually unbiased measurements, and when can they form another measurement basis? We distinguish common unbiased states, their orthonormal completion, and further extension. For a displayed phase-deformed Fourier pair in dimension 2m2m2m, a clock symmetry and skew antiunitary complete every prescribed common unbiased state to an explicit orthonormal basis. In dimension six, an amplitude-profile obstruction proves strong unextendibility of a given mutually unbiased triple when its original third-basis rays are invariant under the ternary clock. We give an exact nonproduct example and an application to a companion whose columns are localized at single Fourier frequencies. For every exact Hadamard matrix in a specified closed entrywise neighborhood of a fixed reference matrix, the coordinate and Hadamard bases have exactly 48 common unbiased rays but no third measurement basis, with a quantitative lower bound on the squared Gram defect of every six-column candidate. We also study auxiliary complex equations for common states, retaining algebraic multiplicities. For a flat unitary of order six with all 3×33\times33×3 minors nonzero, the projective ray scheme is finite; each singular two-minor contributes two reduced isolated boundary points, and the affine coordinate algebra is finite-dimensional over C\mathbb{C}C. In every order, a critical-algebra identity preserves multiplicities; in dimension six it gives finiteness for a fixed phase fibre. Specialization over a discrete valuation ring controls complete reciprocal-orthogonal collections. A nonphysical Tao/Potts collection separates algebraic from physical solutions. These results do not determine the global maximum number of mutually unbiased bases or classify all triples.
Quantum measurements based on mutually unbiased bases are commonly used in quantum information processing, as they are generally viewed as being maximally incompatible and complementary. Here we quantify precisely the degree of incompatibility of mutually unbiased bases (MUB) using the notion of noise robustness. Specifically, for sets of k MUB in dimension d, we provide upper and lower bounds on this quantity. Notably, we get a tight bound in several cases, in particular for complete sets of k=d+1 MUB (using the standard construction for d being a prime power). On the way, we also derive a general upper bound on the noise robustness for an arbitrary set of quantum measurements. Moreover, we prove the existence of sets of k MUB that are operationally inequivalent, as they feature different noise robustness, and we provide a lower bound on the number of such inequivalent sets up to dimension 32. Finally, we discuss applications of our results for Einstein-Podolsky-Rosen steering.
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.
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.
Bell nonlocality represents one of the most striking departures of quantum mechanics from classical physics. It shows that correlations between spacelike separated systems allowed by quantum mechanics are stronger than those present in any classical theory. In a recent work [A. Tavakoli, M. Farkas, D. Rosset, J.-D. Bancal, and J. Kaniewski, Sci. Adv. 7, eabc3847 (2021)], a family of Bell functionals tailored to mutually unbiased bases (MUBs) was proposed. For these functionals, the maximal quantum violation is achieved if the two measurements performed by one of the parties are constructed out of MUBs of a fixed dimension. Here, we generalize this construction to an arbitrary incompatible pair of rank-one projective measurements. By constructing a new family of Bell functionals, we show that for any such pair there exists a Bell inequality that is maximally violated by this pair. Moreover, when investigating the robustness of these violations to noise, we demonstrate that the realization which is most robust to noise is not generated by MUBs.