REVIEW 2 major objections 6 minor 41 references
On the Bargmann invariants for quantum imaginarity
T0 review · 2 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read For each $n\ge 3$, the circulant Bargmann invariants are exactly the $n$-th powers of points in a regular $n$-gon.
desk verdict A correct-in-spirit complete characterization of circulant Bargmann invariants, with a repairable conjugation typo in the main proof. 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 central object is a Hermitian circulant Gram matrix $G_z=I+z_1C_n+\cdots+z_{n-1}C_n^{n-1}$, whose first row is $(1,z_1,\dots,\overline{z_1})$ after imposing conjugate symmetry on the circulant coefficients. Because the discrete Fourier matrix diagonalizes every circulant, the eigenvalues are $\lambda_k=\sum_{j=0}^{n-1} z_j\xi^{kj}$, so positive semidefiniteness is equivalent to all $\lambda_k\ge 0$. The parameter set $Z_n=\{z_1: \text{such a feasible circulant matrix exists}\}$ is then shown by the four-step argument to equal the regular polygon $P_n$, and the Bargmann invariant is exactly $z_1^n$.
What would settle it
Take $n=5$ and the point $z_1=0.9+0.8i$, which lies outside the regular pentagon $P_5$ because $0.9\cos(\pi/5)+0.8\sin(\pi/5)-\cos(\pi/5)>0$. Compute the smallest eigenvalue of the circulant Hermitian matrix $I+z_1C_5+\overline{z_1}C_5^4$; if it is nonnegative, then $z_1^5$ belongs to $\mathcal{B}_{5|\mathrm{circ}}$ but is not in $f_5(P_5)$, contradicting Theorem 1.
Extended reading notes
Core claim
On the paper's own terms, the message is: for every $n\ge 3$, the set $\mathcal{B}_{n|\mathrm{circ}}$ of Bargmann invariants produced by circulant Hermitian positive semidefinite Gram matrices with unit diagonal is not a complicated region but the polynomial image of a very simple one, namely $f_n(P_n)$, the $n$-th powers of the regular $n$-gon centered at the origin with one vertex at $1$. The proof identifies the feasible first-row entry $z_1$ with the polygon via four facts: $1$ is feasible, feasibility is invariant under multiplication by $\xi=e^{2\pi i/n}$, the feasible set is convex, and every feasible point lies on one side of the line through $1$ and $\xi$; together these force the feasible region to be exactly $P_n$. The paper further shows $\mathcal{B}_{n|\mathrm{circ}}\subseteq \mathcal{B}_{n,2}$, so qubits suffice to realize every circulant Bargmann invariant, and it determines the maximal imaginarity in the set, the real qubit interval, and the limit set $\mathcal{B}_{\infty,d}=S$.
Load-bearing premise
The load-bearing premise is that a Hermitian circulant matrix is determined by a conjugate-symmetric first row, $z_j=\overline{z_{n-j}}$; the paper's Appendix A states this equality without the conjugation, and Step 2 relies on the uncorrected version, so the written proof has a notational slip that the standard conjugate-symmetric form repairs.
Editorial extensions
If this is right
- Every Bargmann invariant from a circulant $n$-state Gram matrix with $n\ge 3$ has a qubit realization, so no higher-dimensional state space is needed for this family of invariants.
- The maximal imaginarity in $\mathcal{B}_{n|\mathrm{circ}}$ is $\cos^n(\pi/n)\cos^n(\pi/n-\theta^*)\sin(n\theta^*)$, giving a quantitative bound for witnessing imaginarity in circulant state families.
- The real Bargmann invariants inside $\mathcal{B}_{n|\mathrm{circ}}$ are exactly $[-\cos^n(\pi/n),1]$, and each is realized by real qubit states alone.
- The union over all lengths of all Bargmann invariant sets in any fixed dimension $d\ge 2$ collapses to the open unit disk together with the point $1$.
- For $n=3$ the paper reproduces the closed form of $\mathcal{B}_3$ and confirms that $\mathcal{B}_3=\mathcal{B}_{3|\mathrm{circ}}$.
Reading between the lines
- If the authors' conjecture $\mathcal{B}_n\subseteq \mathcal{B}_{n|\mathrm{circ}}$ holds for all $n$, then the entire Bargmann invariant set would also be described by the same polygon image; the paper only proves the weaker containment $\mathcal{B}_n\subseteq P_n$.
- A testable extension is to sample points numerically inside $\mathcal{B}_4$ and $\mathcal{B}_5$ and compare them with $f_4(P_4)$ and $f_5(P_5)$, which would give evidence on whether the circulant restriction is the whole story.
- The star-shapedness argument in Proposition 3 uses continuous interpolation between a state and an orthogonal state, which suggests a stronger path-connectedness property for each $\mathcal{B}_{n,d}$.
- Because real qubit invariants occupy exactly one interval, an experimental witness could certify imaginarity by finding a real Bargmann invariant below $-\cos^n(\pi/n)$, provided the open equality question for $\mathcal{B}_{n,2}\cap\mathbb{R}$ is settled.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies Bargmann invariants, i.e., traces of products of quantum states, as tools for witnessing basis-independent quantum imaginarity. Its central result (Theorem 1) characterizes the set Bn|circ of Bargmann invariants coming from circulant Gram matrices: for every n ≥ 3, Bn|circ = fn(Pn), where Pn is the regular n-gon centered at the origin with a vertex at 1 and fn(z) = z^n. This generalizes previously known results for n = 3 and n = 4. The paper also proves several properties of the full set Bn (multiplicative closure, star-shapedness, the inclusion Bn ⊆ Pn), shows that every element of Bn|circ can be realized in a qubit system (Theorem 2), characterizes real Bargmann invariants arising from real qubit states (Theorem 3), and determines the union B∞,d over all lengths as the open unit disk together with the point 1 (Theorem 4). The proofs are mostly self-contained and use standard linear algebra: Gram matrices, Fourier transforms, and Hadamard products.
Significance. If the results are correct, Theorem 1 provides a clean, complete description of the circulant Bargmann invariant set for all n, going beyond the n = 3 and n = 4 cases treated by Fernandes et al. The qubit realization theorem and the characterization of B∞,d are also valuable and are stated as explicit, falsifiable claims. The paper contains no fitted parameters or circular arguments; the derivations are from first principles. The main proofs are structurally sound in intent, but as written Appendix A contains a repeatedly missing conjugation that affects the proof of Theorem 1. Because this is the central result, the manuscript needs correction before publication, though the errors appear localized and repairable.
major comments (2)
- [Appendix A, definition of V_n and Step 2] A Hermitian circulant matrix with first column (1, z1, ..., z_{n-1}) satisfies z_j = \bar z_{n-j}, not z_j = z_{n-j}. The manuscript uses the latter condition in the definition of V_n and then asserts, in the remark before Eq. (A1), that z_j ξ^{kj} = z_{n-j} ξ^{k(n-j)}. This equality is false as written and the eigenvalue-realness of G_z is not demonstrated. With the conjugate-symmetric condition restored, the step is valid: \overline{z_{n-j} ξ^{k(n-j)}} = z_j ξ^{kj}, so the eigenvalues are real, and F z^ξ is a cyclic shift of F z, so F z^ξ ≥ 0 whenever F z ≥ 0. This repair is load-bearing because Steps 2 and 4, and hence the proof of Theorem 1, rely on it.
- [Appendix A, Step 4] The same missing conjugation affects Step 4. The condition should read z1 = \bar z_{n-1}, not z1 = z_{n-1}, and the vector b must satisfy b_{n-1} = \overline{b_1} with b_1 = -\cos(π/n) + i \sin(π/n) for Eq. (A3) to be equivalent to Re(b^T z) ≥ 0. As printed, the manuscript sets b_1 = b_{n-1}, and the displayed matrix for F^{-1} is actually F, so the derivation of a_k is internally inconsistent. The stated formula a_k = (2/n)[\cos(π/n) - \cos((2k+1)π/n)] is consistent with the corrected choices, which indicates the intended argument is clear, but the written equations do not support the half-plane inequality. Since Step 4 is essential for the inclusion Z_n ⊆ P_n in Theorem 1, this must be corrected.
minor comments (6)
- [Section II] The symbol B_{n,d} is defined twice, first for mixed states and then for pure states, without explicit supersession. Please use distinct notation or state clearly that the second definition replaces the first.
- [Section III, after Eq. (7)] The formula for I_n appears to be missing a division: it should read I_n = cos^n(π/n) sin(nθ_*)/cos^n(π/n − θ_*), consistent with the earlier expression I(z) = r^n sin nθ = cos^n(π/n) sin nθ / cos^n(π/n − θ).
- [Theorem 4 proof] In the proof of Theorem 4, the inclusion 'D_{r_n} ⊆ R_n' should be 'D_{r_n} ⊆ P_n'; the disk of radius cos(π/n) is the inradius of P_n. The symbol R_n is not defined elsewhere.
- [Theorem 3 proof] The proof establishes BR_{n,2} = [−cos^n(π/n), 1] but does not separately prove the asserted equality B_{n|circ} ∩ R = [−cos^n(π/n), 1]. This follows from Theorem 1 and the boundary parameterization of the edge of P_n, but it should be stated explicitly for the theorem as written.
- [Appendix A, Step 4] The displayed matrix for F^{-1} should be the conjugate Fourier matrix (1/n) \bar F; as printed it is F itself. This is part of the same typo cluster as the missing conjugation and should be fixed.
- [Throughout] There are several typographical slips, e.g., 'geometirc' in the proof of Theorem 4 and 'Theofore' in Appendix A, which should be corrected in a final pass.
Circularity Check
No circularity: the main characterization Bn|circ = fn(Pn) is derived from the Gram-matrix lemma and Fourier diagonalization of circulant matrices, with no fitted parameter or self-citation carrying the argument.
full rationale
The central derivation is self-contained. Theorem 1 is proved by defining Zn as the set of first entries z1 of positive-semidefinite Hermitian circulant matrices, defining Pn independently as a regular n-gon, and then proving Zn = Pn through four steps: the Fourier representation lambda = Fz >= 0, rotational invariance by multiplication by xi, convexity, and a separating half-plane inequality via an explicit nonnegative dual vector a^T = b^T F^{-1}. None of these steps identifies Pn with Bn|circ by construction; the equality Bn|circ = fn(Pn) is a derived consequence, not an input. The n=3 discussion compares with the external known characterization of B3 from Ref. [38] only after B3|circ is independently derived, and the reverse inclusion B3 subset of B3|circ is proved by an explicit determinant comparison, so the external result is not load-bearing in a circular way. There are no fitted parameters, no data subsets renamed as predictions, and no author self-citations supporting a uniqueness claim. Theorem 2 uses an explicit qubit construction and Proposition 3; Theorems 3 and 4 use independent interval and disk arguments. One non-circular defect should be flagged: Appendix A defines V_n by z_j = z_{n-j} and then asserts z_j xi^{kj} = z_{n-j} xi^{k(n-j)}; for a Hermitian circulant the defining condition should be z_j = conjugate(z_{n-j}). As printed, Step 2 is invalid, and Step 4's use of z1 = z_{n-1} should likewise read z1 = conjugate(z_{n-1}). With the conjugation restored the eigenvalue-realness argument and the rotational invariance step are correct. This is a localized mathematical typo and a correctness risk, not a circular reduction: the claimed result is not equivalent to its own inputs, and the proof is repairable independent of the conclusion.
Assumptions & free parameters
assumptions (4)
- standard math A Hermitian n x n matrix with unit diagonal is positive semidefinite if and only if it is the Gram matrix of n pure states in some dimension d >= 2 (Lemma 1, Ref [40]).
- standard math Hadamard product of positive semidefinite matrices is positive semidefinite.
- standard math Mean value theorem for continuous real-valued functions (Proposition 3).
- standard math The regular n-gon Pn with circumradius 1 has inradius cos(pi/n), so the disk of radius cos(pi/n) is contained in Pn (Theorem 4).
Cite this review
Pith. "Pith review of On the Bargmann invariants for quantum imaginarity." pith.science (2026). https://pith.science/paper/OCPDPY5Y
@misc{pith2026241208022,
author = {Pith},
title = {Pith review of: On the Bargmann invariants for quantum imaginarity},
year = {2026},
howpublished = {\url{https://pith.science/paper/OCPDPY5Y}},
note = {Machine review of arXiv:2412.08022}
}
abstract
The imaginary in quantum theory plays a crucial role in describing quantum coherence and is widely applied in quantum information tasks such as state discrimination, pseudorandomness generation, and quantum metrology. A recent paper by Fernandes et al. [C. Fernandes, R. Wagner, L. Novo, and E. F. Galv\~ao, Phys. Rev. Lett. 133, 190201 (2024) ] showed how to use the Bargmann invariant to witness the imaginarity of a set of quantum states. In this work, we delve into the structure of Bargmann invariants and their quantum realization in qubit systems. First, we present a characterization of special sets of Bargmann invariants (also studied by Fernandes et al. for a set of four states) for a general set of $n$ quantum states. Then, we study the properties of the relevant Bargmann invariant set $\mathcal{B}_n$ and its quantum realization in qubit systems. Our results provide new insights into the structure of Bargmann invariants, contributing to the advancement of quantum information techniques, particularly within qubit systems.
Figures
Figures from the paper (1 more)
Reference graph
Works this paper leans on
-
[1]
By the geometirc intuition of Fig
As lim n→∞ cosn π n = 1, there exists some n such that cosn π n > r.Let Drn = {z1 ∈ C | |z1| ≤rn = cos π n }. By the geometirc intuition of Fig. 2, we have Drn ⊆ Rn. Therefore, Drnn = {zn 1 | z1 ∈ Drn } ⊆ {zn 1 | z1 ∈ Rn} = Bn|circ. As r <cosn π n = rn n, we have z ∈ Drnn ⊆ Bn|circ ⊆ Bn,2 ⊆ Bn,d. Let c ∈ Bn,d. There existsΨ = (|ψ1⟩, |ψ2⟩, · · ·, |ψn⟩) ∈ P...
-
[2]
D. J. Griffiths,Introduction to Quantum Mechanics , 2nd ed. (Cambridge University Press, 2004)
work page 2004
-
[3]
G. Gibbons and H.-J. Pohle, Complex numbers, quantum mechanics and the beginning of time, Nuclear Physics B 410, 117 (1993)
work page 1993
-
[4]
Chitambar and G
E. Chitambar and G. Gour, Quantum resource theories, Rev. Mod. Phys.91, 025001 (2019)
2019
-
[5]
Baumgratz, M
T. Baumgratz, M. Cramer, and M. B. Plenio, Quantify- ing coherence, Phys. Rev. Lett.113, 140401 (2014)
2014
-
[6]
Streltsov, G
A. Streltsov, G. Adesso, and M. B. Plenio, Colloquium: Quantum coherence as a resource, Rev. Mod. Phys.89, 041003 (2017)
2017
-
[7]
J.DresselandA.N.Jordan,Significanceoftheimaginary part of the weak value, Phys. Rev. A85, 10.1103/phys- reva.85.012107 (2012)
doi:10.1103/phys- 2012
-
[8]
A. Hickey and G. Gour, Quantifying the imaginarity of quantummechanics,J.Phys.A:Math.Theor. 51,414009 (2018)
work page 2018
Show all 41 references
-
[9]
Kunjwal, M
R. Kunjwal, M. Lostaglio, and M. F. Pusey, Anomalous weak values and contextuality: Robustness, tightness, and imaginary parts, Phys. Rev. A100, 042116 (2019)
2019
-
[10]
W. K. Wootters, Entanglement Sharing in Real-Vector- Space Quantum Theory, Foundations of Physics42, 19 (2010)
2010
-
[11]
Aleksandrova, V
A. Aleksandrova, V. Borish, and W. K. Wootters, Real- vector-space quantum theory with a universal quantum bit, Phys. Rev. A87, 052106 (2013)
2013
-
[12]
McKague, M
M. McKague, M. Mosca, and N. Gisin, Simulating Quan- tum Systems Using Real Hilbert Spaces, Phys. Rev. Lett. 102, 020505 (2009)
2009
-
[13]
M. A. Nielsen and I. L. Chuang, Quantum Computa- tion and Quantum Information: 10th Anniversary Edi- tion (Cambridge University Press, 2010)
2010
-
[14]
Renou, D
M.-O. Renou, D. Trillo, M. Weilenmann, T. P. Le, A. Tavakoli, N. Gisin, A. Acin, and M. Navascues, Quan- tum theory based on real numbers can be experimentally falsified, Nature 600, 625 (2021)
2021
-
[15]
K.-D. Wu, T. V. Kondra, S. Rana, C. M. Scandolo, G.- Y. Xiang, C.-F. Li, G.-C. Guo, and A. Streltsov, Oper- ational resource theory of imaginarity, Phys. Rev. Lett. 126, 090401 (2021)
2021
-
[16]
Miller, Does quantum mechanics need imaginary num- bers?, Physics Today75, 14 (2022)
J. Miller, Does quantum mechanics need imaginary num- bers?, Physics Today75, 14 (2022)
2022
-
[17]
M.-C. Chen, C. Wang, F.-M. Liu, J.-W. Wang, C. Ying, Z.-X. Shang, Y. Wu, M. Gong, H. Deng, F.-T. Liang, Q. Zhang, C.-Z. Peng, X. Zhu, A. Cabello, C.-Y. Lu, and J.-W. Pan, Ruling out real-valued standard formalism of quantum theory, Phys. Rev. Lett.128, 040403 (2022)
2022
-
[18]
K.-D. Wu, T. V. Kondra, C. M. Scandolo, S. Rana, G.-Y. Xiang, C.-F. Li, G.-C. Guo, and A. Streltsov, Resource theory of imaginarity in distributed scenarios, Commu- nications Physics 7, 1 (2024)
2024
-
[19]
J. Yao, H. Chen, Y.-L. Mao, Z.-D. Li, and J. Fan, Proposals for ruling out real quantum theories in an entanglement-swapping quantum network with causally independent sources, Phys. Rev. A109, 012211 (2024)
2024
-
[20]
Zoratti, N
F. Zoratti, N. Dalla Pozza, M. Fanizza, and V. Giovan- netti, Agnostic dolinar receiver for coherent-state classi- fication, Phys. Rev. A104, 042606 (2021)
2021
-
[21]
de la Torre, M
G. de la Torre, M. J. Hoban, C. Dhara, G. Prettico, and A. Acín, Maximally nonlocal theories cannot be maxi- mally random, Phys. Rev. Lett.114, 160502 (2015)
2015
-
[22]
Giovannetti, S
V. Giovannetti, S. Lloyd, and L. Maccone, Quantum metrology, Phys. Rev. Lett.96, 010401 (2006)
2006
-
[23]
K.-D. Wu, T. V. Kondra, S. Rana, C. M. Scandolo, G.-Y. Xiang, C.-F. Li, G.-C. Guo, and A. Streltsov, Resource theory of imaginarity: Quantification and state conver- sion, Phys. Rev. A103, 032401 (2021)
2021
-
[24]
S. Xue, J. Guo, P. Li, M. Ye, and Y. Li, Quantification of resource theory of imaginarity, Quantum Information Processing 20, 383 (2021)
2021
-
[25]
N. Li, S. Luo, and Y. Sun, Brukner-zeilinger invariant information in the presence of conjugate symmetry, Phys. Rev. A 106, 032404 (2022)
2022
-
[26]
Q. Chen, T. Gao, and F. Yan, Measures of imaginarity and quantum state order, Science China Physics, Me- chanics & Astronomy66, 1 (2022)
2022
-
[27]
Xu, Quantifying the imaginarity of quantum states via 11 tsallis relative entropy, Physics Letters A 528, 130024 (2024)
J. Xu, Quantifying the imaginarity of quantum states via 11 tsallis relative entropy, Physics Letters A 528, 130024 (2024)
2024
-
[28]
X.Qi,Boundsforimaginarityofquantumsuperpositions, Laser Physics Letters20, 105210 (2023)
2023
-
[29]
Zhu, Hiding and masking quantum information in complex and real quantum mechanics, Phys
H. Zhu, Hiding and masking quantum information in complex and real quantum mechanics, Phys. Rev. Res. 3, 033176 (2021)
2021
-
[30]
Chen and Q
X. Chen and Q. Lei, Imaginarity of quantum chan- nels: Refinement and alternative, Physics Letters A530, 130129 (2025)
2025
-
[31]
Y. Fan, Z. Guo, Y. Liu, and H. Cao, Resource theory of kirkwood-dirac imaginarity, Physica Scripta99, 085115 (2024)
2024
-
[32]
Wei and S.-M
Z.-W. Wei and S.-M. Fei, Nonlocal advantages of quan- tum imaginarity, Phys. Rev. A110, 052202 (2024)
2024
-
[33]
Zhang and N
L. Zhang and N. Li, Can imaginarity be broadcast via real operations?, Commun. Theor. Phys. 76, 115104 (2024)
2024
-
[34]
B. Chen, X. Huang, and S.-M. Fei, On complementar- ity and distribution of imaginarity in finite dimensions, Results in Physics60, 107671 (2024)
2024
-
[35]
Xu, Imaginarity of gaussian states, Phys
J. Xu, Imaginarity of gaussian states, Phys. Rev. A108, 062203 (2023)
2023
-
[36]
Du and Z
S. Du and Z. Bai, Quantifying imaginarity in terms of pure-state imaginarity (2024), arXiv:2411.12215 [quant- ph]
2024 arXiv
-
[37]
Zhang, N
Z. Zhang, N. Li, and S. Luo, Broadcasting of imaginarity, Phys. Rev. A110, 052439 (2024)
2024
-
[38]
Oszmaniec, D
M. Oszmaniec, D. J. Brod, and E. F. Galvão, Measur- ing relational information between quantum states, and applications, New J. Phys.26, 013053 (2024)
2024
-
[39]
Fernandes, R
C. Fernandes, R. Wagner, L. Novo, and E. F. Galvão, Unitary-invariant witnesses of quantum imaginarity, Phys. Rev. Lett.133, 190201 (2024)
2024
-
[40]
Simon and N
R. Simon and N. Mukunda, Bargmann invariant and the geometry of the Güoy effect, Phys. Rev. Lett.70, 880 (1993)
1993
-
[41]
Chefles, R
A. Chefles, R. Jozsa, and A. Winter, On the existence of physical transformations between sets of quantum states, International Journal of Quantum Information02, 11–21 (2004)
2004
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.