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

Uniformly Stable Minimal Weyl--Heisenberg Measurements Approaching the SIC Benchmark

Xiuwu Zhu, Yu Wang

quant-phcs.ITSubmitted Aug 12, 2026• Announced Aug 13, 2026• 0 citations
arXivHTMLPDF

Abstract

Informational completeness (IC) guarantees that an inverse exists, not that it is statistically well conditioned. For minimal rank-one Weyl--Heisenberg (WH) measurements, covariance makes the nonidentity projector-Gram spectrum proportional to the fiducial's ambiguity intensities, with eigenvalues \(d|χ_φ(u)|^2\), turning stability into an explicit worst-direction design problem; write \(λ\) for its smallest nonidentity eigenvalue. Haar fiducials are IC almost surely while \(\mathbb E[λ^{-1}]=\infty\), and an explicit geometric family used to establish balanced informationally complete measurements in every dimension has a normalized spectral floor bounded above by an exponentially decaying envelope. We then construct a hierarchy of minimal measurements. A cyclic family with exactly \(d^2\) outcomes in every integer dimension has floors \(Θ(d^{-3})\) for odd \(d\) and \(Θ(d^{-5})\) for even \(d\); a finite-field family for \(q=2^m\) obeys the uniform bound \(λ\ge4/9\). Our main result treats every prime-power dimension of characteristic \(p\ge5\). A balanced one-coordinate perturbation repairs the zero ambiguity axis of a cubic Alltop state, gives an attained floor uniformly bounded below by a positive constant, and confines the entire nonidentity spectrum to \([L_q,U_q]\) with \(U_q/L_q\to1\). Its SIC-normalized minimum tends to one, and \(λ(φ_q)/Λ_q^\star\to1\) for the global finite-field WH max--min optimum \(Λ_q^\star\), without assuming SIC existence. The complete spectrum determines the exact finite-sample Hilbert--Schmidt error of canonical linear inversion at \(I/d\), while its lower edge controls local Fisher efficiency and canonical-shadow bounds.

Related papers

A simple realization of Weyl-Heisenberg covariant measurements

Sachin Gupta, Matthew B. Weiss

Informationally complete (IC) measurements are fundamental tools in quantum information processing, yet their physical implementation remains challenging. By the Naimark extension theorem, an IC measurement may be realized by a von Neumann measurement on an extended system after a suitable interaction. In this work, we elaborate on a simple algorithm for realizing Naimark extensions for rank-one Weyl-Heisenberg covariant informationally complete measurements in arbitrary finite dimensions. Exploiting Weyl-Heisenberg covariance, we show that the problem reduces to determining a $d \times d$ unitary from which the full $d^2 \times d^2$ unitary interaction can be constructed. The latter unitary enjoys a block-circulant structure which allows e.g., for an elegant optical implementation. We illustrate the procedure with explicit calculations for qubit, qutrit, and ququart SIC-POVMs. Finally, we show that from another point of view, this method amounts to preparing an ancilla system according to a so-called fiducial state, followed by a generalized Bell-basis measurement on the system and ancilla. These results provide a straightforward framework for implementing informationally complete measurements in the laboratory suitable for both qubit and qudit based systems.

quant-pharXiv:2512.22111•Dec 29, 2025•0 citations

SIC-POVMS AND MUBS: GEOMETRICAL RELATIONSHIPS IN PRIME DIMENSION

D. M. Appleby

The paper concerns Weyl-Heisenberg covariant SIC-POVMs (symmetric informationally complete positive operator valued measures) and full sets of MUBs (mutually unbiased bases) in prime dimension. When represented as vectors in generalized Bloch space a SIC-POVM forms a d 2 − 1 dimensional regular simplex (d being the Hilbert space dimension). By contrast, the generalized Bloch vectors representing a full set of MUBs form d + 1 mutually orthogonal d − 1 dimensional regular simplices. In this paper we show that, in the Weyl-Heisenberg case, there are some simple geometrical relationships between the single SIC-POVM simplex and the d + 1 MUB simplices. We go on to give geometrical interpretations of the minimum uncertainty states introduced by Wootters and Sussman, and by Appleby, Dang and Fuchs, and of the fiduciality condition given by Appleby, Dang and Fuchs. 1

•Dec 4, 2012•40 citations

Global Minimax Readout of a Qubit Direction

Abbas Taherpour, Amirhossein Taherpour, Tamer Khattab

We determine the exact worst-direction Fisher-information cost of using a parameter-independent readout to estimate an unknown qubit direction at known Bloch-vector length $η$. Every fixed-local architecture, including recorded classical randomization, heterogeneous single-copy measurements, and arbitrary outcome spaces, reduces exactly to a zero-barycenter probability measure on the Bloch ball. For every full-rank qubit and every trace-balanced spectral Fisher loss, the resulting minimax problem is rigid: the unique optimal aggregate design is the spin-coherent Haar positive-operator-valued measure (POVM). For $N$ copies, inverse-Fisher $A$ loss has the exact value $2/[Nf(η)]$, where $ f(η)= \frac{2η-(1-η^2)\log[(1+η)/(1-η)]}{4η}$. This uniqueness has an immediate finite-readout consequence. No finite-support measurement attains the unrestricted mixed-state optimum, while at the smallest globally regular support the tetrahedral symmetric informationally complete (SIC) measurement is uniquely $A$- and $D$-minimax, with exact worst-direction values. Relaxing the fixed-readout constraint separates the asymptotic resources: one-way local operations and classical communication (LOCC), unrestricted LOCC, and separable measurements have $A$-loss coefficient $4/η^2$, whereas collective measurements attain $2(1+η)/η^2$. We further classify the rigidity conditions for unequal contrasts and show that Haar uniqueness survives at the nonregular pure-state endpoint.

quant-pharXiv:2608.16840•Aug 18, 2026•0 citations

Symmetric Informationally-Complete Quantum States as Analogues to Orthonormal Bases and Minimum-Uncertainty States

D. M. Appleby, Hoan Bui Dang, Christopher A. Fuchs

Recently there has been much effort in the quantum information community to prove (or disprove) the existence of symmetric informationally complete (SIC) sets of quantum states in arbitrary finite dimension. This paper strengthens the urgency of this question by showing that if SIC-sets exist: (1) by a natural measure of orthonormality, they are as close to being an orthonormal basis for the space of density operators as possible; and (2) in prime dimensions, the standard construction for complete sets of mutually unbiased bases and Weyl-Heisenberg covariant SIC-sets are intimately related: The latter represent minimum uncertainty states for the former in the sense of Wootters and Sussman. Finally, we contribute to the question of existence by conjecturing a quadratic redundancy in the equations for Weyl-Heisenberg SIC-sets.

arXiv:0707.2071•Entropy•Mar 14, 2014•78 citations

Galois automorphisms of a symmetric measurement

Symmetric Informationally Complete Positive Operator Valued Measures (usually referred to as SIC-POVMs or simply as SICs) have been constructed in every dimension $\le 67$. However, a proof that they exist in every finite dimension has yet to be constructed. In this paper we examine the Galois group of SICs covariant with respect to the Weyl-Heisenberg group (or WH SICs as we refer to them). The great majority (though not all) of the known examples are of this type. Scott and Grassl have noted that every known exact WH SIC is expressible in radicals (except for dimension $3$ which is exceptional in this and several other respects), which means that the corresponding Galois group is solvable. They have also calculated the Galois group for most known exact examples. The purpose of this paper is to take the analysis of Scott and Grassl further. We first prove a number of theorems regarding the structure of the Galois group and the relation between it and the extended Clifford group. We then examine the Galois group for the known exact fiducials and on the basis of this we propose a list of nine conjectures concerning its structure. These conjectures represent a considerable strengthening of the theorems we have actually been able to prove. Finally we generalize the concept of an anti-unitary to the concept of a $g$-unitary, and show that every WH SIC fiducial is an eigenvector of a family of $g$-unitaries (apart from dimension 3).

Quantum Information and Computation•May 1, 2013•17 citations

Galois Automorphisms of a Symmetric Measurement

D. M. Appleby, Hulya Yadsan-Appleby, Gerhard Zauner

Symmetric Informationally Complete Positive Operator Valued Measures (usually referred to as SIC-POVMs or simply as SICS) have been constructed in every dimension up to 67. However, a proof that they exist in every finite dimension has yet to be constructed. In this paper we examine the Galois group of SICs covariant with respect to the Weyl-Heisenberg group (or WH SICs as we refer to them). The great majority (though not all) of the known examples are of this type. Scott and Grassl have noted that every known exact WH SIC is expressible in radicals (except for dimension 3 which is exceptional in this and several other respects), which means that the corresponding Galois group is solvable. They have also calculated the Galois group for most known exact examples. The purpose of this paper is to take the analysis of Scott and Grassl further. We first prove a number of theorems regarding the structure of the Galois group and the relation between it and the extended Clifford group. We then examine the Galois group for the known exact fiducials and on the basis of this we propose a list of nine conjectures concerning its structure. These conjectures represent a considerable strengthening of the theorems we have actually been able to prove. Finally we generalize the concept of an anti-unitary to the concept of a g-unitary, and show that every WH SIC fiducial is an eigenvector of a family of g-unitaries (apart from dimension 3).

arXiv:1209.1813•Sep 9, 2012•7 citations
Informational completeness (IC) guarantees that an inverse exists, not that it is statistically well conditioned. For minimal rank-one Weyl--Heisenberg (WH) measurements, covariance makes the nonidentity projector-Gram spectrum proportional to the fiducial's ambiguity intensities, with eigenvalues (d|χ_φ(u)|^2), turning stability into an explicit worst-direction design problem; write (λ) for its smallest nonidentity eigenvalue. Haar fiducials are IC almost surely while (\mathbb E[λ^{-1}]=\infty), and an explicit geometric family used to establish balanced informationally complete measurements in every dimension has a normalized spectral floor bounded above by an exponentially decaying envelope. We then construct a hierarchy of minimal measurements. A cyclic family with exactly (d^2) outcomes in every integer dimension has floors (Θ(d^{-3})) for odd (d) and (Θ(d^{-5})) for even (d); a finite-field family for (q=2^m) obeys the uniform bound (λ\ge4/9). Our main result treats every prime-power dimension of characteristic (p\ge5). A balanced one-coordinate perturbation repairs the zero ambiguity axis of a cubic Alltop state, gives an attained floor uniformly bounded below by a positive constant, and confines the entire nonidentity spectrum to ([L_q,U_q]) with (U_q/L_q\to1). Its SIC-normalized minimum tends to one, and (λ(φ_q)/Λ_q^\star\to1) for the global finite-field WH max--min optimum (Λ_q^\star), without assuming SIC existence. The complete spectrum determines the exact finite-sample Hilbert--Schmidt error of canonical linear inversion at (I/d), while its lower edge controls local Fisher efficiency and canonical-shadow bounds.
Informationally complete (IC) measurements are fundamental tools in quantum information processing, yet their physical implementation remains challenging. By the Naimark extension theorem, an IC measurement may be realized by a von Neumann measurement on an extended system after a suitable interaction. In this work, we elaborate on a simple algorithm for realizing Naimark extensions for rank-one Weyl-Heisenberg covariant informationally complete measurements in arbitrary finite dimensions. Exploiting Weyl-Heisenberg covariance, we show that the problem reduces to determining a d×dd \times dd×d unitary from which the full d2×d2d^2 \times d^2d2×d2 unitary interaction can be constructed. The latter unitary enjoys a block-circulant structure which allows e.g., for an elegant optical implementation. We illustrate the procedure with explicit calculations for qubit, qutrit, and ququart SIC-POVMs. Finally, we show that from another point of view, this method amounts to preparing an ancilla system according to a so-called fiducial state, followed by a generalized Bell-basis measurement on the system and ancilla. These results provide a straightforward framework for implementing informationally complete measurements in the laboratory suitable for both qubit and qudit based systems.
The paper concerns Weyl-Heisenberg covariant SIC-POVMs (symmetric informationally complete positive operator valued measures) and full sets of MUBs (mutually unbiased bases) in prime dimension. When represented as vectors in generalized Bloch space a SIC-POVM forms a d 2 − 1 dimensional regular simplex (d being the Hilbert space dimension). By contrast, the generalized Bloch vectors representing a full set of MUBs form d + 1 mutually orthogonal d − 1 dimensional regular simplices. In this paper we show that, in the Weyl-Heisenberg case, there are some simple geometrical relationships between the single SIC-POVM simplex and the d + 1 MUB simplices. We go on to give geometrical interpretations of the minimum uncertainty states introduced by Wootters and Sussman, and by Appleby, Dang and Fuchs, and of the fiduciality condition given by Appleby, Dang and Fuchs. 1
We determine the exact worst-direction Fisher-information cost of using a parameter-independent readout to estimate an unknown qubit direction at known Bloch-vector length ηηη. Every fixed-local architecture, including recorded classical randomization, heterogeneous single-copy measurements, and arbitrary outcome spaces, reduces exactly to a zero-barycenter probability measure on the Bloch ball. For every full-rank qubit and every trace-balanced spectral Fisher loss, the resulting minimax problem is rigid: the unique optimal aggregate design is the spin-coherent Haar positive-operator-valued measure (POVM). For NNN copies, inverse-Fisher AAA loss has the exact value 2/[Nf(η)]2/[Nf(η)]2/[Nf(η)], where $ f(η)= \frac{2η-(1-η^2)\log[(1+η)/(1-η)]}{4η}$. This uniqueness has an immediate finite-readout consequence. No finite-support measurement attains the unrestricted mixed-state optimum, while at the smallest globally regular support the tetrahedral symmetric informationally complete (SIC) measurement is uniquely AAA- and DDD-minimax, with exact worst-direction values. Relaxing the fixed-readout constraint separates the asymptotic resources: one-way local operations and classical communication (LOCC), unrestricted LOCC, and separable measurements have AAA-loss coefficient 4/η24/η^24/η2, whereas collective measurements attain 2(1+η)/η22(1+η)/η^22(1+η)/η2. We further classify the rigidity conditions for unequal contrasts and show that Haar uniqueness survives at the nonregular pure-state endpoint.
Recently there has been much effort in the quantum information community to prove (or disprove) the existence of symmetric informationally complete (SIC) sets of quantum states in arbitrary finite dimension. This paper strengthens the urgency of this question by showing that if SIC-sets exist: (1) by a natural measure of orthonormality, they are as close to being an orthonormal basis for the space of density operators as possible; and (2) in prime dimensions, the standard construction for complete sets of mutually unbiased bases and Weyl-Heisenberg covariant SIC-sets are intimately related: The latter represent minimum uncertainty states for the former in the sense of Wootters and Sussman. Finally, we contribute to the question of existence by conjecturing a quadratic redundancy in the equations for Weyl-Heisenberg SIC-sets.
Symmetric Informationally Complete Positive Operator Valued Measures (usually referred to as SIC-POVMs or simply as SICs) have been constructed in every dimension ≤67\le 67≤67. However, a proof that they exist in every finite dimension has yet to be constructed. In this paper we examine the Galois group of SICs covariant with respect to the Weyl-Heisenberg group (or WH SICs as we refer to them). The great majority (though not all) of the known examples are of this type. Scott and Grassl have noted that every known exact WH SIC is expressible in radicals (except for dimension 333 which is exceptional in this and several other respects), which means that the corresponding Galois group is solvable. They have also calculated the Galois group for most known exact examples. The purpose of this paper is to take the analysis of Scott and Grassl further. We first prove a number of theorems regarding the structure of the Galois group and the relation between it and the extended Clifford group. We then examine the Galois group for the known exact fiducials and on the basis of this we propose a list of nine conjectures concerning its structure. These conjectures represent a considerable strengthening of the theorems we have actually been able to prove. Finally we generalize the concept of an anti-unitary to the concept of a ggg-unitary, and show that every WH SIC fiducial is an eigenvector of a family of ggg-unitaries (apart from dimension 3).
Symmetric Informationally Complete Positive Operator Valued Measures (usually referred to as SIC-POVMs or simply as SICS) have been constructed in every dimension up to 67. However, a proof that they exist in every finite dimension has yet to be constructed. In this paper we examine the Galois group of SICs covariant with respect to the Weyl-Heisenberg group (or WH SICs as we refer to them). The great majority (though not all) of the known examples are of this type. Scott and Grassl have noted that every known exact WH SIC is expressible in radicals (except for dimension 3 which is exceptional in this and several other respects), which means that the corresponding Galois group is solvable. They have also calculated the Galois group for most known exact examples. The purpose of this paper is to take the analysis of Scott and Grassl further. We first prove a number of theorems regarding the structure of the Galois group and the relation between it and the extended Clifford group. We then examine the Galois group for the known exact fiducials and on the basis of this we propose a list of nine conjectures concerning its structure. These conjectures represent a considerable strengthening of the theorems we have actually been able to prove. Finally we generalize the concept of an anti-unitary to the concept of a g-unitary, and show that every WH SIC fiducial is an eigenvector of a family of g-unitaries (apart from dimension 3).