REVIEW 1 major objections 3 minor 3 references
Pauli Matrices: A Triple of Accardi Complementary Observables
T0 review · 1 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For two Pauli spin observables, Accardi complementarity is exactly orthogonality of their label directions in $\mathbb{R}^3$.
desk verdict Theorem 3.3 is correct and the qubit picture is clean, but the §4 claim that the result generalizes to every su(2) irrep is false for spin 1. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The defining object is the real-linear unitary isomorphism $\Sigma:\mathbb{R}^3\to \mathrm{su}(2)$, $\Sigma(\alpha)=\alpha\cdot\sigma=\alpha_1\sigma_1+\alpha_2\sigma_2+\alpha_3\sigma_3$, which carries the Euclidean inner product to the normalized Hilbert\textendash Schmidt trace. The load-bearing identities are the spectral projections $E_{\alpha\cdot\sigma}(\{+1\})=(I+\alpha\cdot\sigma)/2$ and $E_{\alpha\cdot\sigma}(\{-1\})=(I-\alpha\cdot\sigma)/2$, together with $\operatorname{tr}((\alpha\cdot\sigma)(\beta\cdot\sigma))=\langle\alpha,\beta\rangle$. These let the author translate the trace equality over all Borel subsets into four elementary computations on the sign outcomes; the non-trivial cases force $\langle\alpha,\beta\rangle=0$ exactly. The normalized trace $\operatorname{tr}$ is what makes the spectrum of every unit Pauli matrix carry the symmetric Bernoulli measure.
What would settle it
Take $\alpha=(1,0,0)$ and $\beta=(1,1,0)/\sqrt2$; then $\langle\alpha,\beta\rangle=1/\sqrt2$, and the paper's formula gives $\operatorname{tr}(E_{\alpha\cdot\sigma}(\{+1\})E_{\beta\cdot\sigma}(\{+1\}))=(1+1/\sqrt2)/4$, which is not $\mu_B(\{+1\})^2=1/4$, so the pair is not complementary. Repeating the same trace with $\beta=(0,1,0)$ gives $1/4$ for all four sign pairs, confirming the claimed orthogonality criterion.
Extended reading notes
Core claim
The central discovery is Theorem 3.3: for $\alpha,\beta\in S^2$, the observables $\alpha\cdot\sigma$ and $\beta\cdot\sigma$ are Accardi complementary if and only if $\langle\alpha\cdot\sigma,\beta\cdot\sigma\rangle = \langle\alpha,\beta\rangle = 0$. Here complementarity is defined through the equality $\operatorname{tr}(E_A(S_1)E_B(S_2)) = \mu_B(S_1)\mu_B(S_2)$ for all Borel subsets of $\mathbb{R}$, where $\mu_B$ is the symmetric Bernoulli measure on $\{-1,+1\}$ and $E_A,E_B$ are the spectral measures; this is the paper's formalization of 'finding a value of $A$ gives no information about a later value of $B$. Since $\Sigma(\alpha)=\alpha\cdot\sigma$ is a unitary isomorphism from $\mathbb{R}^3$ to $\mathrm{su}(2)$ with the normalized Hilbert\textendash Schmidt inner product, the calculation reduces the condition to orthogonality of the labeling directions. The proof computes all four spectral cases from the projections $E_{\alpha\cdot\sigma}(\{\pm1\})=(I\pm\alpha\cdot\sigma)/2$, using $\operatorname{tr}((\alpha\cdot\sigma)(\beta\cdot\sigma))=\langle\alpha,\beta\rangle$.
Load-bearing premise
The result hinges on applying the Accardi definition with the normalized trace and the symmetric Bernoulli measure, so that the single-outcome probability is fixed at $1/2$; altering this normalization would change the predicted condition from orthogonality to a different dot product.
Editorial extensions
If this is right
- Every orthonormal basis $\{\alpha,\beta,\gamma\}$ of $\mathbb{R}^3$ gives a mutually Accardi-complementary triple $\{\alpha\cdot\sigma,\beta\cdot\sigma,\gamma\cdot\sigma\}$; the standard Pauli triple $\{\sigma_1,\sigma_2,\sigma_3\}$ is the simplest example.
- No subset of the unit sphere in $\mathrm{su}(2)$ with four or more elements can be Accardi complementary, so the property is genuinely binary in this setting.
- Accardi complementarity is a property of binary type: checking all pairs decides the whole set, and the paper provides the first examples of finite triples with the property.
- Under the normalized trace, the spectral law of every unit Pauli observable is the symmetric Bernoulli measure, the maximum-entropy measure on $\{-1,+1\}$; complementarity therefore coincides with each single observable having maximally uncertain outcomes.
Reading between the lines
- The trace-computation method used here suggests a general criterion for finite-spectrum observables in any Hilbert space: a pair is Accardi complementary exactly when their spectral projections are orthogonal in the trace inner product, connecting the notion to mutually unbiased bases.
- The paper's concluding remark expects the result to hold in irreducible representations of $\mathrm{su}(2)$ of any spin; a proof would need to settle on the uniform spectral measure on the $2j+1$ eigenvalues, and the $j=1/2$ case computed here would be the first step.
- A practical single-qubit test follows immediately: make a sequence of Stern\textendash Gerlach measurements along two axes; if the conditional statistics of the second measurement are perfectly flat regardless of the first outcome, the axes are orthogonal.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper adapts Accardi's definition of complementary observables to the unit sphere of su(2), identified with traceless Hermitian 2x2 matrices. Its main result, Theorem 3.3, states that for unit vectors α,β ∈ R^3, the Pauli observables α·σ and β·σ are Accardi complementary if and only if ⟨α,β⟩ = 0, equivalently if and only if they are orthogonal in the normalized Hilbert-Schmidt inner product. Corollaries show that any orthonormal triple is mutually Accardi complementary and that no subset of the unit sphere with four or more elements is. A concluding remark asserts without proof that the result generalizes to every irreducible representation of su(2).
Significance. The paper gives a clean, explicit, and correct finite-dimensional analogue of Accardi's position-momentum complementarity. The proof is elementary and complete: the spectral projections are computed explicitly, and all cases in Theorem 3.3 are checked. The equivalence between Accardi complementarity and orthogonality in the fundamental representation is a nice result that gives a precise mathematical formulation of the standard spin-1/2 statement that orthogonal spin measurements carry no mutual information. The paper is self-contained and appropriately short. The only substantive flaw is the unproved and, as stated, false generalization to higher spin in Section 4; the qubit theorem itself is sound.
major comments (1)
- [Section 4, Concluding Remarks] The assertion that "Theorem 3.3 clearly should generalize to any irreducible representation of su(2)" is false in the natural extension to spin 1. In the three-dimensional irrep, take A = J_z and B = J_x, with normalized trace and uniform spectral measure μ({m}) = 1/3 on {-1,0,1}. The spectral projections satisfy tr(P_0^z P_0^x) = 0 because the m = 0 eigenvectors of J_z and J_x are orthogonal, whereas μ({0})^2 = 1/9, so condition (3.1) fails for an orthogonal pair. This remark should be removed or replaced by a correct statement specifying for which representations the equivalence does or does not hold.
minor comments (3)
- [Section 2] The notation su(2) is used for the real vector space of traceless Hermitian 2x2 matrices. This is not the standard Lie algebra su(2), which consists of traceless skew-Hermitian matrices, although the space considered is isomorphic to i·su(2). Please state this convention explicitly to avoid confusion.
- [Proposition 3.1] The formulas for ψ+α and ψ−α have apparent singularities at α3 = −1 and α3 = +1, respectively. The text says these are removable, but the limiting forms are not given; adding them would make the statement fully explicit.
- [First page, affiliation] The city of the author's affiliation is printed as "Guanajato"; the correct spelling is "Guanajuato".
Circularity Check
No significant circularity: Theorem 3.3 is derived directly from the stated definitions and standard Pauli-matrix identities.
full rationale
The paper's central claim is Theorem 3.3, which is proved by direct computation. Definition 3.1 fixes Accardi complementarity using the normalized trace and the symmetric Bernoulli measure; Theorem 3.2 derives the spectral projections as (I ± α·σ)/2; Proposition 3.2 checks that tr(E_α·σ(S)) = μ_B(S); and Theorem 3.3 then computes the four singleton cases, reducing the condition to (1 ± ⟨α,β⟩)/4 = 1/4, i.e., ⟨α,β⟩ = 0. The trace identities used, tr(α·σ) = 0 and tr((α·σ)(β·σ)) = ⟨α,β⟩, are established in Eqs. (2.1)-(2.2) from the Pauli algebra rather than imported from prior work. No parameter is fitted, no data subset is predicted, and no load-bearing conclusion is obtained from a self-citation. The only external inputs are Accardi's definition, which serves as the premise, and Accardi's position-momentum theorem, which only motivates the definition and is not used in the proof. The final remark that the result 'clearly should generalize' to any irreducible representation of su(2) is an unproved conjecture and not part of the derivation; even if it is false as a mathematical statement, that is a correctness and scope issue, not circularity. The normalized trace is an explicitly stated convention of the framework, so the dependence of the equivalence on that normalization is definitional rather than a hidden fit.
Assumptions & free parameters
assumptions (3)
- standard math The spectral theorem for Hermitian matrices and the functional calculus via Lagrange interpolation
- standard math The map α ↦ α·σ is a unitary isomorphism from (R^3, dot product) to (su(2), normalized Hilbert-Schmidt inner product)
- domain assumption Accardi's definition of complementary observables is taken as the starting point, with normalized trace as state and symmetric Bernoulli measure as reference measure
Cite this review
Pith. "Pith review of Pauli Matrices: A Triple of Accardi Complementary Observables." pith.science (2026). https://pith.science/paper/FEWULJLY
@misc{pith2026190803828,
author = {Pith},
title = {Pith review of: Pauli Matrices: A Triple of Accardi Complementary Observables},
year = {2026},
howpublished = {\url{https://pith.science/paper/FEWULJLY}},
note = {Machine review of arXiv:1908.03828}
}
abstract
The definition due to Accardi of a pair of complementary observables is adapted to the context of the Lie algebra $ su(2) $. We show that the pair of Pauli matrices $ A,B $ associated to the unit directions $ \alpha $ and $ \beta $ in $ \mathbb{R}^{3} $ are Accardi complementary if and only if $ \alpha $ and $ \beta $ are orthogonal if and only if $ A $ and $ B $ are orthogonal. In particular, any pair of the standard triple of Pauli matrices is complementary.
Reference graph
Works this paper leans on
-
[1]
L. Accardi, Some Trends and Problems in Quantum Probability , in: Quan- tum Probability and Applications to the Quantum Theory of Ir reversible Processes, Eds., Accardi, L., Frigerio, A. and Gorini, V., L ecture Notes in Mathematics, Vol. 1055, Springer-Verlag, Berlin, 1984, pp . 1–19
work page 1984
-
[2]
L. Accardi and Y.G. Lu, Complementarity and Stochastic Independence , in: Analysis and Operator Theory, Eds. T.A. Rassias and V.A. Zagrebov, Springer, 2019, pp. 1–33
work page 2019
-
[3]
G. Cassinelli and V. Varadarajan, On Accardi’s Notion of Complementary Observables, Inf. Dim. Anal. Quantum Prob. Rel. Top. 5 (2002) 135–144. 6
work page 2002
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.