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:1906.12291 · Physical Review Letters

Isoentangled Mutually Unbiased Bases, Symmetric Quantum Measurements, and Mixed-State Designs

Jakub Czartowski, Dardo Goyeneche, Markus Grassl, Karol Życzkowski

Published Mar 5, 2020• 24 citations
arXivHTMLPDF

Abstract

Discrete structures in Hilbert space play a crucial role in finding optimal schemes for quantum measurements. We solve the problem of whether a complete set of five isoentangled mutually unbiased bases exists in dimension four, providing an explicit analytical construction. The reduced density matrices of these 20 pure states forming this generalized quantum measurement form a regular dodecahedron inscribed in a sphere of radius sqrt[3/20] located inside the Bloch ball of radius 1/2. Such a set forms a mixed-state 2-design-a discrete set of quantum states with the property that the mean value of any quadratic function of density matrices is equal to the integral over the entire set of mixed states with respect to the flat Hilbert-Schmidt measure. We establish necessary and sufficient conditions mixed-state designs need to satisfy and present general methods to construct them. Furthermore, it is shown that partial traces of a projective design in a composite Hilbert space form a mixed-state design, while decoherence of elements of a projective design yields a design in the classical probability simplex. We identify a distinguished two-qubit orthogonal basis such that four reduced states are evenly distributed inside the Bloch ball and form a mixed-state 2-design.

DOI
10.1103/physrevlett.124.090503

Related papers

Bipartite quantum measurements with optimal single-sided distinguishability

Jakub Czartowski, Karol Życzkowski

We analyse orthogonal bases in a composite N×N Hilbert space describing a bipartite quantum system and look for a basis with optimal single-sided mutual state distinguishability. This condition implies that in each subsystem the N2 reduced states form a regular simplex of a maximal edge length, defined with respect to the trace distance. In the case N=2 of a two-qubit system our solution coincides with the elegant joint measurement introduced by Gisin. We derive explicit expressions of an analogous constellation for N=3 and provide a general construction of N2 states forming such an optimal basis in HN⊗HN . Our construction is valid for all dimensions for which a symmetric informationally complete (SIC) generalized measurement is known. Furthermore, we show that the one-party measurement that distinguishes the states of an optimal basis of the composite system leads to a local quantum state tomography with a linear reconstruction formula. Finally, we test the introduced tomographical scheme on a complete set of three mutually unbiased bases for a single qubit using two different IBM machines.

arXiv:2010.14868•Quantum•Apr 26, 2021•11 citations

Quantum conical designs

Matthew A. Graydon, D. M. Appleby

Abstract Complex projective t -designs, particularly sic s and full sets of mutually unbiased bases, play an important role in quantum information. We introduce a generalization which we call conical t -designs. They include arbitrary rank symmetric informationally complete measurements ( sim s) and full sets of arbitrary rank mutually unbiased measurements ( mum s). They are deeply implicated in the description of entanglement (as we show in a subsequent paper). Viewed in one way a conical two-design is a symmetric decomposition of a separable Werner state (up to a normalization factor). Viewed in another way it is a certain kind of polytope in the Bloch body. In the Bloch body picture sim s and full sets of mum s form highly symmetric polytopes (a single regular simplex in the one case; the convex hull of a set of orthogonal regular simplices in the other). We give the necessary and sufficient conditions for an arbitrary polytope to be what we call a homogeneous conical two-design. This suggests a way to search for new kinds of projective two-design.

arXiv:1507.05323•Journal of Physics A Mathematical and Theoretical•Jan 18, 2016•39 citations

Weighted complex projective 2-designs from bases: optimal state determination by orthogonal measurements

Roy, A, Scott, A J

We introduce the problem of constructing weighted complex projective 2-designs from the union of a family of orthonormal bases. If the weight remains constant across elements of the same basis, then such designs can be interpreted as generalizations of complete sets of mutually unbiased bases, being equivalent whenever the design is composed of d+1 bases in dimension d. We show that, for the purpose of quantum state determination, these designs specify an optimal collection of orthogonal measurements. Using highly nonlinear functions on abelian groups, we construct explicit examples from d+2 orthonormal bases whenever d+1 is a prime power, covering dimensions d=6, 10, and 12, for example, where no complete sets of mutually unbiased bases have thus far been found.

•Mar 3, 2007•67 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

Weighted complex projective 2-designs from bases: Optimal state determination by orthogonal measurements

Aidan Roy, A. J. Scott

We introduce the problem of constructing weighted complex projective 2-designs from the union of a family of orthonormal bases. If the weight remains constant across elements of the same basis, then such designs can be interpreted as generalizations of complete sets of mutually unbiased bases, being equivalent whenever the design is composed of d+1 bases in dimension d. We show that, for the purpose of quantum state determination, these designs specify an optimal collection of orthogonal measurements. Using highly nonlinear functions on Abelian groups, we construct explicit examples from d+2 orthonormal bases whenever d+1 is a prime power, covering dimensions d=6, 10, and 12, for example, where no complete sets of mutually unbiased bases have thus far been found.

arXiv:quant-ph/0703025•Journal of Mathematical Physics•Jul 1, 2007•75 citations

Mutually unbiased bases, spherical designs, and frames

Andreas Klappenecker, Martin Roetteler

The principle of complementarity lies at the heart of quantum mechanics. In finite dimensional quantum systems this principle is captured by pairs of observables which are given by mutually unbiased bases (MUBs). Two orthonormal bases B and C of Cd are mutually unbiased if |<b|c>|2 = 1/d holds for all vectors b ∈ B and c ∈ C. This implies that whenever we are given a vector from one of these bases and perform a measurement with respect to any other of the bases, then there is no information gained from this measurement. A basic question about MUBs is how many of them can be found in a given dimension d. While constructions of maximal sets of d+1 such bases are known for system of prime power dimension d, it is unknown whether this bound can be achieved for any non-prime power dimension. We review the known constructions of MUBs and demonstrate that maximal sets of MUBs come with a rich combinatorial structure by showing that they actually are the same objects as the complex projective 2-designs with angle set {0,1/d}. Furthermore, we address the problem of constructing positive operator-valued measures (POVMs) in finite dimension d consisting of d2 operators of rank one which have an inner product equal to uniform or very close to uniform. This is motivated by the related question of constructing symmetric informationally complete POVMs (SIC-POVMs) for which the inner products are perfectly uniform. We also give a simple proof of the fact that symmetric informationally complete POVMs are complex projective 2-designs with angle set {1/(d+1)}. Moreover, we show that MUBs and SIC-POVMs form uniform tight frames in Cd.

Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE•Aug 18, 2005•24 citations
Discrete structures in Hilbert space play a crucial role in finding optimal schemes for quantum measurements. We solve the problem of whether a complete set of five isoentangled mutually unbiased bases exists in dimension four, providing an explicit analytical construction. The reduced density matrices of these 20 pure states forming this generalized quantum measurement form a regular dodecahedron inscribed in a sphere of radius sqrt[3/20] located inside the Bloch ball of radius 1/2. Such a set forms a mixed-state 2-design-a discrete set of quantum states with the property that the mean value of any quadratic function of density matrices is equal to the integral over the entire set of mixed states with respect to the flat Hilbert-Schmidt measure. We establish necessary and sufficient conditions mixed-state designs need to satisfy and present general methods to construct them. Furthermore, it is shown that partial traces of a projective design in a composite Hilbert space form a mixed-state design, while decoherence of elements of a projective design yields a design in the classical probability simplex. We identify a distinguished two-qubit orthogonal basis such that four reduced states are evenly distributed inside the Bloch ball and form a mixed-state 2-design.
We analyse orthogonal bases in a composite N×N Hilbert space describing a bipartite quantum system and look for a basis with optimal single-sided mutual state distinguishability. This condition implies that in each subsystem the N2 reduced states form a regular simplex of a maximal edge length, defined with respect to the trace distance. In the case N=2 of a two-qubit system our solution coincides with the elegant joint measurement introduced by Gisin. We derive explicit expressions of an analogous constellation for N=3 and provide a general construction of N2 states forming such an optimal basis in HN⊗HN . Our construction is valid for all dimensions for which a symmetric informationally complete (SIC) generalized measurement is known. Furthermore, we show that the one-party measurement that distinguishes the states of an optimal basis of the composite system leads to a local quantum state tomography with a linear reconstruction formula. Finally, we test the introduced tomographical scheme on a complete set of three mutually unbiased bases for a single qubit using two different IBM machines.
Abstract Complex projective t -designs, particularly sic s and full sets of mutually unbiased bases, play an important role in quantum information. We introduce a generalization which we call conical t -designs. They include arbitrary rank symmetric informationally complete measurements ( sim s) and full sets of arbitrary rank mutually unbiased measurements ( mum s). They are deeply implicated in the description of entanglement (as we show in a subsequent paper). Viewed in one way a conical two-design is a symmetric decomposition of a separable Werner state (up to a normalization factor). Viewed in another way it is a certain kind of polytope in the Bloch body. In the Bloch body picture sim s and full sets of mum s form highly symmetric polytopes (a single regular simplex in the one case; the convex hull of a set of orthogonal regular simplices in the other). We give the necessary and sufficient conditions for an arbitrary polytope to be what we call a homogeneous conical two-design. This suggests a way to search for new kinds of projective two-design.
We introduce the problem of constructing weighted complex projective 2-designs from the union of a family of orthonormal bases. If the weight remains constant across elements of the same basis, then such designs can be interpreted as generalizations of complete sets of mutually unbiased bases, being equivalent whenever the design is composed of d+1 bases in dimension d. We show that, for the purpose of quantum state determination, these designs specify an optimal collection of orthogonal measurements. Using highly nonlinear functions on abelian groups, we construct explicit examples from d+2 orthonormal bases whenever d+1 is a prime power, covering dimensions d=6, 10, and 12, for example, where no complete sets of mutually unbiased bases have thus far been found.
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.
We introduce the problem of constructing weighted complex projective 2-designs from the union of a family of orthonormal bases. If the weight remains constant across elements of the same basis, then such designs can be interpreted as generalizations of complete sets of mutually unbiased bases, being equivalent whenever the design is composed of d+1 bases in dimension d. We show that, for the purpose of quantum state determination, these designs specify an optimal collection of orthogonal measurements. Using highly nonlinear functions on Abelian groups, we construct explicit examples from d+2 orthonormal bases whenever d+1 is a prime power, covering dimensions d=6, 10, and 12, for example, where no complete sets of mutually unbiased bases have thus far been found.
The principle of complementarity lies at the heart of quantum mechanics. In finite dimensional quantum systems this principle is captured by pairs of observables which are given by mutually unbiased bases (MUBs). Two orthonormal bases B and C of Cd are mutually unbiased if |<b|c>|2 = 1/d holds for all vectors b ∈ B and c ∈ C. This implies that whenever we are given a vector from one of these bases and perform a measurement with respect to any other of the bases, then there is no information gained from this measurement. A basic question about MUBs is how many of them can be found in a given dimension d. While constructions of maximal sets of d+1 such bases are known for system of prime power dimension d, it is unknown whether this bound can be achieved for any non-prime power dimension. We review the known constructions of MUBs and demonstrate that maximal sets of MUBs come with a rich combinatorial structure by showing that they actually are the same objects as the complex projective 2-designs with angle set {0,1/d}. Furthermore, we address the problem of constructing positive operator-valued measures (POVMs) in finite dimension d consisting of d2 operators of rank one which have an inner product equal to uniform or very close to uniform. This is motivated by the related question of constructing symmetric informationally complete POVMs (SIC-POVMs) for which the inner products are perfectly uniform. We also give a simple proof of the fact that symmetric informationally complete POVMs are complex projective 2-designs with angle set {1/(d+1)}. Moreover, we show that MUBs and SIC-POVMs form uniform tight frames in Cd.