Discrete structures in Hilbert space play a crucial role in finding optimal schemes for quantum measurements. We solve the problem whether a complete set of five iso-entangled mutually unbiased bases exists in dimension four, providing an explicit analytical construction. The reduced matrices of the 20 pure states forming this generalized quantum measurement form a regular dodecahedron inscribed in a sphere of radius 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. These peculiar constellations of density matrices constitute a class of generalized measurements with additional symmetries useful for the reconstruction of unknown quantum states. Furthermore, we show 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.
PACS numbers:Introduction.-Recent progress of the theory of quantum information triggered renewed interest in foundations of quantum mechanics. Problems related to measurements of an unknown quantum state attract particular interest. The powerful technique of state tomography [1,2], allowing one to recover all entries of a density matrix, can be considered as a generalized quantum measurement, determined by a suitable set of pure quantum states of a fixed size d. Notable examples include symmetric informationally complete measurements (SIC) [3,4] consisting of d 2 pure states, which form a regular simplex inscribed inside the set Ω d of all density matrices of size d, and complete sets of (d + 1) mutually unbiased bases (MUBs) [5] such that the overlap of any two vectors belonging to different bases is fixed.The above schemes are distinguished by the fact that they allow to maximize the information obtained from a measurement and minimize the uncertainty of the results obtained under the presence of errors in both state preparation and measurement stages [4,6]. Interestingly, it is still unknown, whether these configurations exist for an arbitrary dimension. In the case of SIC measurements analytical results were known in some dimensions up to d = 48, see [7] and references therein. More recently, a putative infinite family of SICs starting with dimensions d = 4, 8, 19, 48, 124, 323 has been constructed [8], while the general problem remains open. Nonetheless, numerical results suggest [7] that such configurations might exist in every finite dimension d. For MUBs explicit constructions are known in every prime power dimension d [5], and it is uncertain whether such a solution exists otherwise, in particular [9, 10] in dimension d = 6.When the dimension is a ...