Pith. sign in

REVIEW 4 major objections 4 minor 30 references

A Survey of Bargmann Invariants: Geometric Foundations and Applications

T0 review · 4 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For every order n≥3, the set of all nth-order Bargmann invariants over any Hilbert-space dimension is exactly the set of nth powers of points in a regular n-gon, already attained by qubit states, with a convex boundary given by an explicit

desk verdict The survey's main theorem is undercut by a polar-coordinate error (missing 1/n); the compilation around it is still readable and may be repairable. read the letter →

arxiv 2601.01858 v2 pith:WMZ4U6L2 submitted 2026-01-05 quant-ph math-phmath.FAmath.MP

Lin Zhang , Bing Xie This is my paper · ORCID
classification quant-phmath-phmath.FAmath.MP
keywords BargmanninvariantscirculantGrammatricesregularn-gonqubitsaturationlocalunitaryequivalenceentanglementdetectionquantumimaginaritycycletest
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This survey sets out to prove that the admissible values of nth-order Bargmann invariants — the gauge-invariant products of overlaps around a cycle of quantum states — form a single, dimension-independent convex set. The main theorem identifies that set with the nth powers of the regular n-gon inscribed in the unit circle, whose boundary is the polar curve r_n(θ)e^{iθ} = cos^n(π/n) sec^n(θ−π/n) e^{iθ}. It further proves that pure-state and mixed-state invariants give the same set, and that qubits alone produce every admissible value. If true, this resolves the previously open convexity question for B_n, supplies explicit bounds on the real and imaginary parts, and underpins operational uses: invariants can be estimated directly by a cycle-test circuit, they witness quantum imaginarity, they classify two-qubit local unitary equivalence, and a small subset of them detects entanglement without full state tomography.

What carries the argument

The load-bearing object is the circulant Gram matrix: an n×n Gram matrix whose rows are cyclic shifts of the first row. The paper proves that the set Q_n of possible first off-diagonal entries z_1 of such matrices is exactly the regular n-gon P_n, and that B_n|circ = {z^n : z ∈ P_n}. The main theorem then shows B_n = B_n|circ, so the whole admissible set reduces to a rank-one cyclic structure; the explicit polar boundary of B_n|circ is derived from the sides of P_n and is attained by a one-parameter family of qubit states.

What would settle it

Choose n=3 and numerically sample many triples of random states in dimension d=3, computing z=Tr(ρ1ρ2ρ3) directly, and check whether every z lies within the region bounded by the polar curve r_3(θ)e^{iθ}=cos^3(π/3) sec^3(θ−π/3)e^{iθ}; a single sampled point outside that region, or a point inside it produced only in dimension 3 and never by qubits, would contradict the theorem. A more targeted test would compare the actual convex hull of B_3(2) with the claimed boundary curve.

Watch

Extended reading notes

Core claim

The central claim is a complete geometric characterization of the set B_n of all nth-order Bargmann invariants. For every integer n≥3 the paper proves B_n^◦(d)=B_n^•(d)=B_n(d)=B_n(2)=B_n for all d≥2, and that B_n = B_n|circ, where B_n|circ is the set of nth powers of points in the regular n-gon with vertices at the nth roots of unity. Consequently B_n is convex, and its boundary is the explicit polar curve r_n(θ)e^{iθ}=cos^n(π/n) sec^n(θ−π/n)e^{iθ}. The paper also shows that a corollary rectangular bound on the imaginary part holds, and that this geometric fact feeds into applications: a cycle-test circuit estimates Re and Im of the invariants, the invariants serve as witnesses of quantum im

Load-bearing premise

The proof that the whole closed convex set B_n lies inside the qubit set B_n(2) relies on the fact that the boundary curve is attained by a one-parameter qubit family, but boundary attainment alone does not force the interior into B_n(2) unless B_n(2) is already known to be convex or star-shaped, and that convexity is part of what is being proved.

Editorial extensions

If this is right

  • The admissible set of nth-order Bargmann invariants is independent of Hilbert-space dimension, so any valid tuple in any dimension has its invariant inside one fixed convex set.
  • The convexity of B_n and the explicit boundary curve resolve the previously open convexity problem and give quantitative bounds: the real part is at least −cos^n(π/n) and the imaginary part is at most cos^n(π/n) sec^{n−1}(π/(2(n−1))).
  • Two N-tuples of pure states are projectively unitarily equivalent iff all their Bargmann n-products agree, and at most (N−1)² such invariants suffice to determine the orbit.
  • For two qubits, a complete set of 18 local unitary Bargmann invariants discriminates local unitary orbits, and a subset of seven invariants yields an entanglement criterion without full state tomography.
  • A cycle-test circuit directly estimates both the real and imaginary parts of any nth-order Bargmann invariant, with sample complexity determined by a standard concentration bound.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because qubits already saturate the set, the geometry of B_n is insensitive to the dimension of the underlying Hilbert space; this suggests that a numerical search over triples of random qudit states should find no invariants outside the predicted polar curve, and such a search would be a cheap direct test of the theorem.
  • The explicit boundary curve invites a non-tomographic witness: if an experimentally estimated invariant falls outside B_n, that alone certifies either a faulty state preparation or a nonquantum description, giving a robust device-independent-style test.
  • The gap in the qubit-saturation step suggests a cleaner proof would first establish that B_n(2) is star-shaped or convex on its own; showing that directly would remove the only unstated assumption in the chain.
  • The paper leaves open which concrete n-tuples attain the maximal imaginary part τ_n; a natural next step is to describe those extremal configurations, which would be useful for designing optimal imaginarity witnesses.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper surveys Bargmann invariants—unitary-invariant cyclic products of quantum states—and aims to characterize the admissible sets B_n^o(d), B_n^•(d), and B_n. Its central route is to introduce the subset B_n|circ generated by circulant Gram matrices, prove B_n = B_n|circ, identify B_n|circ with {z^n : z ∈ P_n} where P_n is the regular n-gon with n-th roots-of-unity vertices, prove convexity of B_n|circ, and then conclude a complete classification: B_n^o(d)=B_n^•(d)=B_n(2)=B_n|circ=B_n, with explicit boundary polar equation. The paper also presents cycle-test circuits for estimating Bargmann invariants, imaginarity witnesses, LU-orbit invariants for two qubits, and an entanglement criterion via partial-transpose moments.

Significance. If Theorem 5.4 were established, it would resolve a stated open problem about convexity of the set of Bargmann invariants and reduce the universal set to qubit-saturated, explicitly described region. The paper provides useful operational material, particularly the cycle-test circuits and the translation of two-qubit entanglement detection into a small set of LU Bargmann invariants. The survey is partly self-contained and contains several checkable proofs, including the polygon identification in Theorem 4.1 and the probability calculation in Proposition 7.2. However, the central geometric proof contains a concrete polar-coordinate error, and two load-bearing claims are asserted without adequate argument. The main characterization is therefore not currently established by the manuscript.

major comments (4)
  1. [§4.2, Eq. (4.10)] Eq. (4.10) is not the polar equation of the curve in Eq. (4.6). A boundary point of B_n|circ is w = (t+(1−t)ω_n)^n. Writing z = t+(1−t)ω_n = ρ e^{iφ}, the line through 1 and ω_n has ρ = cos(π/n) sec(φ − π/n). Since w = z^n has polar angle θ = nφ and radius ρ^n, the correct boundary is r(θ) = cos^n(π/n) sec^n(θ/n − π/n), not cos^n(π/n) sec^n(θ − π/n). The missing factor 1/n is decisive: for n=3, Eq. (4.10) at θ=π gives −1, but −1 ∉ B_3|circ because its cube roots e^{iπ/3}, −1, e^{i5π/3} do not lie in P_3. The concavity computation in Theorem 4.2 is therefore performed for the wrong curve, so the proof that B_n|circ is convex does not go through. Since Theorem 5.2 uses convexity/star-shapedness and Theorem 5.4(iv)–(v) relies on the same polar equation, these conclusions are not established by the manuscript.
  2. [§5, Prop. 5.3] The inference 'Based on this result, we see that B_n ⊂ B_n(2)' is not justified. The qubit family (5.5) attains points on the boundary curve of B_n|circ (or of the claimed curve), but this does not imply that the interior of the convex set B_n|circ is contained in B_n(2). Inclusion of the interior would require B_n(2) to be convex or star-shaped with respect to 0; that is part of what is being proved in Theorem 5.4(v). Thus the argument is circular. The statement B_n(d)=B_n(2) for all d needs a separate proof.
  3. [§5, Theorem 5.4(i)] The equality B_n^◦(d)=B_n^•(d) is listed as part of Theorem 5.4 with the proof 'follows immediately from the preceding sections,' but no argument appears in Sections 3–5. In general, a mixed-state Bargmann invariant is a convex combination of pure-state values, so B_n^•(d) ⊆ conv(B_n^◦(d)); equality requires showing B_n^◦(d) is convex. This is a central claim and cannot be treated as an immediate corollary of the later statements as written.
  4. [§6, Eqs. (6.5)–(6.6)] The envelope derivations reproduce the same defective polar expression. For example, for n=3 the selected root r = cos^3(π/3) sec^3(θ − π/3) takes the impossible value −1 at θ=π, so it cannot be the boundary of a subset of the unit disk. The elimination of the parameter t must be redone using the correct phase relation θ = nφ (or by explicitly treating θ as the preimage angle). Since Theorem 6.3 is presented as an alternative characterization of ∂B_n^◦(d), this is a load-bearing gap.
minor comments (4)
  1. [§3, Prop. 3.2] The joint density in Eq. (3.7) is incorrectly normalized. For Haar-distributed unit vectors in C^d, f(z) = (d−1)/π (1−|z|^2)^{d−2}; the factor 1/(d−1) in the paper is off by (d−1)^2. The marginal (3.8) is also wrong for d=2. The support argument used later does not depend on the exact density, but the proposition as stated is false.
  2. [Throughout] There are several small typographical issues: 'ranked-one' should be 'rank-one', Ref. [2] has 'theoreem', Ref. [7] has 'characeterization', and Algorithm 2 refers to P_{2,n}((12...n)) without defining the subscript notation consistently with Eq. (7.5).
  3. [§7, Algorithms 1–2] The description of the controlled cyclic permutation in Algorithms 1 and 2 would benefit from the explicit definition of P_{2,n}((12...n)) and a statement of which registers it acts on; currently it relies on the surrounding text.
  4. [§8, Thms. 8.11 and 8.13] The proofs of the two-qubit LU-invariant completeness and the entanglement inequality are deferred entirely to Ref. [29]. For a survey this is acceptable, but the paper should clearly mark these as results quoted from previous work rather than as proven here.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the central derivation is self-contained.

full rationale

The paper's main derivation chain is presented with proofs in the text rather than reduced to its inputs by construction. The characterization Q_n = P_n (Theorem 4.1) is proved directly via convexity and half-plane arguments; B_n ⊆ B_n|circ (Theorem 5.2) is proved by rephasing a tuple, applying the circulant quantum channel, using AM-GM, and then scaling inside the convex set B_n|circ; and B_n = B_n(2) is supported by an explicit one-parameter qubit family in Prop. 5.3. Although Theorems 4.2 and Prop. 5.3 are credited to the authors' earlier [28], the proofs are reproduced in the present paper, so those citations are attributions rather than load-bearing reductions. The explicitly delegated proofs of the two-qubit LU criterion and PT-moment entanglement inequality (Theorems 8.11 and 8.13, delegated to [29]) concern applications and do not feed into the central B_n characterization. There is no fitted parameter renamed as a prediction, no uniqueness theorem imported from the authors, and no ansatz smuggled in via citation. The substantive issues in the paper—the apparent missing 1/n in the secant argument of Eq. (4.10) and the logically incomplete step from boundary attainment to B_n ⊂ B_n(2) in Prop. 5.3—are correctness gaps, not circularity.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central geometric theorem is derived from standard invariant theory and convex geometry; no empirical fitting is involved. Some application theorems import unproved algebraic facts from prior papers, including the authors' own [29].

assumptions (5)
  • standard math For a compact group K acting on a real vector space V, K-invariant polynomials separate the orbits: v=Π_g u iff p_n(v)=p_n(u) for all invariant homogeneous polynomials p_n.
    Used in Prop 2.8 and Theorem 8.8 to connect trace invariants with unitary orbits; cited to [22].
  • standard math Schur-Weyl duality: the commutant of U(d) on (C^d)^{⊗n} is spanned by permutation operators P_{d,n}(π).
    Used in the proof of Prop 2.8 to expand invariant polynomials into products of Bargmann invariants; cited to [26].
  • standard math Procesi's theorem: traces of words of length at most d^2 generate the ring of polynomial invariants under simultaneous conjugation.
    Used in Theorem 8.8 to bound the degree of complete invariants; cited to [19].
  • domain assumption The 18 LU Bargmann invariants generate the same subalgebra as Makhlin's 18 invariants, and det(ρ^Γ) can be expressed in terms of 7 of those invariants.
    The proof of Theorems 8.11 and 8.13 is not given in this text; the paper explicitly refers to Ref [29] for the algebraic computation.
  • domain assumption For a generic N-tuple of density matrices, the common stabilizer inside U(d)/U(1) is trivial, so the orbit has dimension d^2−1.
    Used in Theorem 8.8's dimension count to obtain (N−1)(d^2−1) independent invariants; asserted without proof.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A Survey of Bargmann Invariants: Geometric Foundations and Applications." pith.science (2026). https://pith.science/paper/WMZ4U6L2

@misc{pith2026260101858,
  author       = {Pith},
  title        = {Pith review of: A Survey of Bargmann Invariants: Geometric Foundations and Applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WMZ4U6L2}},
  note         = {Machine review of arXiv:2601.01858}
}
read the original abstract

Bargmann invariants, a class of unitary-invariant quantities arising from the overlaps of quantum state vectors, provide a profound and unifying framework for understanding the relative geometry of the projective Hilbert space. This survey offers a comprehensive overview of their theoretical characterization and practical applications, with particular emphasis on recent progress in determining the full structure of their admissible set. The core of this review demonstrates how these invariants serve as a powerful tool for characterizing the intrinsic geometry of the space of quantum states, leading to applications in determining local unitary equivalence and constructing a complete set of polynomial invariants for mixed states. On the operational side, we review the cycle-test quantum circuit for the direct estimation of Bargmann invariants without full state tomography, and demonstrate their utility in witnessing quantum imaginary, discriminating local unitary equivalence, and detecting entanglement via partial-transpose moments---with explicit complete invariant sets provided for two-qubit systems. By connecting fundamental geometric classification with experimentally feasible estimation protocols,this survey establishes Bargmann invariants as indispensable probes of the relational, noncommutative, and geometric structure of quantum states, and identifies key open problems for multipartite high-dimensional systems and for quantum resource theories.

Figures

Figures reproduced from arXiv: 2601.01858 by the authors.

Figure 1
Figure 1. The graphs of boundary curves ∂Bn’s for n ∈ {3(blue), 4(brown), 5(cyan), 6(green), 7(orange), 8(purple), 9(red)}. The black curve is the unit circle. Here the horizontal axis means the real part x = Re Tr (ψ1 · · · ψn) and the vertical axis stands for the imaginary part y = Im Tr (ψ1 · · · ψn). Corollary 5.5 ([14, 29]). It holds that Bn ⊂ [PITH_FULL_IMAGE:figures/full_fig_p025_1.png] view at source ↗
Figure 2
Figure 2. The boundary curve ∂B ◦ n (d) as an envelope (ii) The boundary curve ∂B ◦ 4 (d) is the envelope of a family of curves r = f4(θ, t) with polar coordinate (r, θ), defined by F4(r, θ, t) := r [PITH_FULL_IMAGE:figures/full_fig_p029_2.png] view at source ↗
Figure 3
Figure 3. A quantum circuit, taken from [8], for measuring Bargmann invariants. Here ∆n(ϱ) := Tr (ρ1 · · · ρn) for ϱ = (ρ1, . . . , ρn). If U = 1, the circuit estimates Re[∆n(ϱ)] while U = diag(1, i), the circuit estimates Im[∆n(ϱ)]. (a) If U = 12, then |Ψ U f ⟩ = 1 2 |0⟩(|ψ1ψ2 · · · ψn⟩ + |ψnψ1ψ2 · · · ψn−1⟩) + 1 2 |1⟩(|ψ1ψ2 · · · ψn⟩ − |ψnψ1ψ2 · · · ψn−1⟩) The first qubit is measured and the probability of 0 is given by PU(… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 2 linked inside Pith

  1. [1]

    Azado, R

    P .C. Azado, R. Wagner, R. S. Barbosa, and E. F. Galvão, Measuring unitary invariants with the quantum switch, arXiv:2508.02345

    arXiv

  2. [2]

    Bargmann, Note on Wigner’s theoreem on symmetry operations, J

    V . Bargmann, Note on Wigner’s theoreem on symmetry operations, J. Math. Phys.5, 862- 868 (1964)

    1964

  3. [3]

    Bickel, P

    K. Bickel, P . Gorkin, T. Tran, Applications of envelopes, Complex Anal. Synerg.6, 2 (2020)

    2020

  4. [4]

    Chen, Some problems concerning quantum entanglement and uncertainty relations, M.D

    G. Chen, Some problems concerning quantum entanglement and uncertainty relations, M.D. Thesis, Hangzhou Dianzi University (2026)

    2026

  5. [5]

    Chien, Thec-numerical range of a rank one matrix, Applied Math

    M-T. Chien, Thec-numerical range of a rank one matrix, Applied Math. Lett.14, 167-170 (2001). 45

    2001

  6. [6]

    Chien, S

    M-T. Chien, S. Kirkland, C-K. Li, and H. Nakazato, Numerical ranges of cyclic shift matri- ces,678, 268-294 (2023)

    2023

  7. [7]

    Chien and S

    T-Y. Chien and S. Waldron, A characeterization of projective unitary equivalence of finite frames and applications, SIAM J. Discrete Math.30, 976 (2016)

    2016

  8. [8]

    Fernandes, and R

    C. Fernandes, and R. Wagner, L. Novo, and E.F. Galvão, Unitary-invariant witnesses of quantum imaginarity, Phys. Rev. Lett.133, 190201 (2024)

    2024

Show all 30 references
  1. [9]

    Gau, Proof of a conjecture on numerical ranges of weighted cyclic matrices, Lin

    H.L. Gau, Proof of a conjecture on numerical ranges of weighted cyclic matrices, Lin. Alg. App.682, 295-308 (2024)

    2024

  2. [10]

    Hiai and D

    F. Hiai and D. Petz, The semicircle law, free random variables and entropy, American Mathematical Society (2000)

    2000

  3. [11]

    Hoeffding, Probability inequalities for sums of bounded random variables, J

    W. Hoeffding, Probability inequalities for sums of bounded random variables, J. Amer. Stat. Association58, 13-30(1963)

    1963

  4. [12]

    Horn and C.R

    R.A. Horn and C.R. Johnson, Matrix Analysis, Cambridge University Press (2012)

    2012

  5. [13]

    Kadison and J.R

    R.V . Kadison and J.R. Ringrose, Fundamentals of the Theory of Operator Algebras. Volume I: Elementary Theory, Graduate Studies in Mathematics Vol 15, Amer. Math. Soc. (1997)

    1997

  6. [14]

    Li and Y

    M-S. Li and Y. Tan, Bargmann invariants for quantum imaginarity, Phys. Rev. A111, 022409 (2025)

    2025

  7. [15]

    M-S. Li, R. Wagner, and L. Zhang, Multi-state imaginarity and coherence in qubit systems, arXiv: 2507.14878

  8. [16]

    Mor-Yosef, S

    L. Mor-Yosef, S. Ubaru, L. Horesh, H. Avron, Multivariate trace estimation using quantum state space linear algebra, SIAM Journal on Matrix Analysis and Applications46, 1 (2025)

    2025

  9. [17]

    Oszmaniec, D

    M. Oszmaniec, D. J. Brod, and E. F. Galvão, Measuring relational information between quantum states, and applications, New. J. Phys.26,013053 (2024)

    2024

  10. [18]

    Pratapsi, J

    S.S. Pratapsi, J. Gouveia, L. Novo, and E.F. Galvão, Elementary characterization of Bargmann invariants, Phys. Rev. A112, 042421 (2025)

    2025

  11. [19]

    Procesi, The invariant theory ofn×nmatrices, Adv

    C. Procesi, The invariant theory ofn×nmatrices, Adv. Math.19, 306(1976)

    1976

  12. [20]

    Y. Quek, E. Kaur, M.M. Wilde, Multivariate trace estimation in constant quantum depth, Quantum8, 1220 (2024). 46

    2024

  13. [21]

    Simnacher, J

    T. Simnacher, J. Czartowski, K. Szyma ´ nski, and K. ˙Zyczkowski, Confident entanglement detection via the separable numerical range, Phys. Rev. A104, 042420 (2021)

    2021

  14. [22]

    Vrana, Group representations in entanglement theory, Ph.D

    P . Vrana, Group representations in entanglement theory, Ph.D. thesis, Budapest University of Technology and Economics, 2011

    2011

  15. [23]

    Wanger, Coherence and contextuality as quantum resources, Ph.D

    R. Wanger, Coherence and contextuality as quantum resources, Ph.D. Thesis arXiv:2511.16785

  16. [24]

    Xie and L

    B. Xie and L. Zhang, Circulant quantum channels and its applications, Braz. J. Phys. (2026)

    2026

  17. [25]

    Xu, Numerical ranges of Bargmann invariants, Phys

    J. Xu, Numerical ranges of Bargmann invariants, Phys. Lett. A565, 131091 (2026)

    2026

  18. [26]

    Zhang, Matrix integrals over unitary groups: An application of Schur-Weyl duality, arXiv:1408.3782

    L. Zhang, Matrix integrals over unitary groups: An application of Schur-Weyl duality, arXiv:1408.3782

    arXiv

  19. [27]

    Zhang, Dirac delta function of matrix argument, Int

    L. Zhang, Dirac delta function of matrix argument, Int. J. Theor. Phys.60, 2445-2472 (2021)

    2021

  20. [28]

    Zhang, B

    L. Zhang, B. Xie, and B. Li, Geometry of sets of Bargmann invariants, Phys. Rev. A111, 042417 (2025)

    2025

  21. [29]

    Zhang, B

    L. Zhang, B. Xie, and Y. Tao, Bargmann-invariant framework for local unitary equivalence and entanglement, Phys. Rev. A112, 052426 (2025)

    2025

  22. [30]

    Zhang and M-J

    L. Zhang and M-J. Zhao, Mixed-permutation channel with its application to estimate quan- tum coherence, Eur. Phys. J. Plus139, 38 (2024). 47

    2024

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.