Pith. sign in

REVIEW 4 minor 2 cited by

Bargmann invariants and local unitary equivalence

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

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

Pith's one-line read For dimension three and above, local unitary Bargmann invariants do not determine local unitary equivalence.

desk verdict Explicit counterexamples show Bargmann invariants don't classify LU orbits for two qudits of dimension ≥3; the proof is sound, with only terse presentation to polish. read the letter →

arxiv 2607.16878 v1 pith:MPOB7BLF submitted 2026-07-18 quant-ph math.OA

Minghui Ma , Rui Shi This is my paper · ORCID
classification quant-phmath.OA MSC 81P4581P4015A30
keywords Bargmanninvariantslocalunitaryequivalencetwo-quditstatesquantumstatepartialtracesrank-oneprojectionsorbitsmixed-stateentanglement
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

The paper proves that the natural set of numbers called local unitary Bargmann invariants is not enough to distinguish two-qudit states up to local unitary transformations. For every dimension n≥3, the authors construct two density matrices on C^n⊗C^n that share all the same local unitary Bargmann invariants yet are not locally unitarily equivalent. This answers a question posed in the recent literature, which had conjectured that these invariants might be complete. The construction relies on states built from rank-one projections, arranged so that both partial traces are scalar, and on a tensor-flip automorphism that produces the second state from the first. The result means that any complete set of local unitary invariants for mixed states must contain information beyond these algebraic traces.

What carries the argument

The construction uses rank-one projections P_1,P_2 and Q_1,Q_2 chosen so that P_1P_2=0 while Q_1 and Q_2 do not commute, then assembles ρ_AB = P_1⊗B_1 + P_2⊗B_2 + I⊗B_3 with B_i defined from Q_1,Q_2 so that both partial traces are scalar multiples of the identity. The tensor-flip automorphism, which swaps the two tensor factors, supplies the global unitary W that relates ρ_AB to σ_AB. Lemma 2.4 is the technical heart: it says that if such a σ were locally unitarily equivalent to ρ, the projections appearing in the two expressions would have to satisfy incompatible commutation relations, forcing a contradiction.

What would settle it

Find four rank-one projections E1, E2, E'1, E'2 in M_3(C) such that E1E2=0, E'1 and E'2 do not commute, and both E'1 and E'2 lie in span{I, E1, E2}; such a quadruple would disprove the key subcase of Lemma 2.4 and invalidate the main counterexample.

Watch

Extended reading notes

Core claim

The central discovery is a family of counterexamples: for each n≥3 there are density matrices ρ_AB and σ_AB on C^n⊗C^n and a global unitary W such that σ_AB = Wρ_ABW*, σ_A⊗I_n = W(ρ_A⊗I_n)W*, and I_n⊗σ_B = W(I_n⊗ρ_B)W*, yet no local unitary U⊗V maps ρ_AB to σ_AB. Because equality of all local unitary Bargmann invariants is equivalent to the existence of such a W—a classical invariant-theory result the paper cites—this shows the invariants are not complete for n≥3. The counterexamples are built by choosing rank-one projections P_1,P_2 that are orthogonal and Q_1,Q_2 that do not commute, forming ρ_AB from tensor products with matrices made from Q_1,Q_2 so that both partial traces are scalar, a

Load-bearing premise

The counterexample rests on the unproved assertion in Lemma 2.4 that two rank-one projections lying in the three-dimensional span of the identity and two mutually orthogonal rank-one projections must commute; if this assertion were false, the argument that the constructed states are not locally unitarily equivalent would break.

Editorial extensions

If this is right

  • For any local dimension n≥3, the local unitary Bargmann invariants do not form a complete set of invariants for local unitary orbits; additional invariants are required.
  • The incompleteness extends to rectangular bipartite systems C^m⊗C^n whenever the greatest common divisor of m and n is at least 3 (as noted in Remark 2.7).
  • For pure states, the situation is different: the paper's Proposition 2.9 shows that local unitary Bargmann invariants do determine local unitary equivalence, so the failure is specific to mixed states.
  • For n≥4, the paper provides a simplified explicit example (Example 2.8) using projections of ranks 1 and 2, making the counterexample easier to verify.
  • The result closes a proposed problem in the literature and shifts attention to finding alternative complete descriptions of local unitary orbits in higher dimensions.

Reading between the lines

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

  • A likely lesson is that any complete set of local unitary invariants for mixed states must encode the tensor-product structure more delicately than the partial-trace data used in the Bargmann triple.
  • The counterexample is a finite-dimensional analogue of classical operator-algebra phenomena where global equivalence of direct sums does not imply local equivalence; this paper gives a concrete quantum-information instance that may be used to test similar conjectures in other settings.
  • One could test whether the failure persists for states of restricted rank or fixed entanglement structure; the paper's examples use full-rank states after normalization, so it is open whether low-rank states are also resistant to this invariant set.
  • A practical extension is to search numerically for the smallest pair of states that are distinguishable only by invariants beyond the Bargmann set, which could guide the construction of practical nonlocal-basis detectors.
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

0 major / 4 minor

Summary. The paper studies local unitary (LU) equivalence of bipartite quantum states on C^n ⊗ C^n and asks whether the local unitary Bargmann invariants—the Bargmann invariants of the triple (ρ_AB, ρ_A⊗I_n, I_n⊗ρ_B)—form a complete set of LU orbit invariants. The authors answer this negatively for every n ≥ 3. Their main result, Theorem 2.6, explicitly constructs two states ρ_AB, σ_AB with maximally mixed marginals and a global unitary W such that σ_AB = W ρ_AB W*, σ_A⊗I = W(ρ_A⊗I)W*, and I⊗σ_B = W(I⊗ρ_B)W*, hence the two states have identical local unitary Bargmann invariants, while σ_AB and ρ_AB are not locally unitarily equivalent. The construction uses rank-one projections, a shift by a multiple of the identity to normalize, and Sakai's flip automorphism. The paper also proves in Proposition 2.9 that for pure bipartite states, the same conditions do force local unitary equivalence, so the incompleteness is specific to mixed states.

Significance. If correct, the paper resolves an open problem posed by Zhang and Xie [15, Section 8.2] and gives a clean negative answer to the completeness of local unitary Bargmann invariants for n ≥ 3. This is a useful and nontrivial contribution. The construction is explicit and self-contained, with no free parameters and no circularity; the use of the flip automorphism and the normalization by adding the identity are elegant and make the counterexample robust. The paper also identifies a positive result for pure states, which helps delimit the boundary of the phenomenon. The main proof is sound, and the only weaknesses are terse justifications at a few local steps.

minor comments (4)
  1. [§2, Lemma 2.4, dim A = 3 case] The proof states 'It follows that E'_1E'_2 = E'_2E'_1' without justification. The assertion is true because span{I, E1, E2} is commutative: E1E2 = E2E1 = 0, E1^2 = E1, and E2^2 = E2. Since this step closes the contradiction in the 3-dimensional case, the authors should spell out this one-line reason explicitly.
  2. [§2, Proposition 2.9] The final step 'From this, it is routine to see that σ_AB and ρ_AB are locally unitarily equivalent' is too terse. Given that the paper's main result is a non-LU construction, this positive pure-state claim deserves a short proof: the two marginal equations force W to map the Schmidt subspaces span{e_j⊗f_l : l} and span{e_l⊗f_j : l} to the corresponding primed subspaces, so W acts as U⊗V on the Schmidt subspace. This is especially pertinent when Schmidt coefficients are degenerate.
  3. [§2, Theorem 2.6] The bound ∥ρ_AB∥ ≤ 2n+2 is asserted without derivation. It is correct—for instance B1 and B2 have norm at most n−1 and B3 has norm at most 2—but a one-line justification would make the normalization step fully transparent.
  4. [§2, Example 2.8] The linear independence of {Q1, P2, I_n} is stated compactly. Since this is needed for the application of Lemma 2.3, a brief explanation (rank arguments for αQ1 + βI_n) would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the counterexample is constructed from scratch and verified directly.

full rationale

The paper's central claim—that local unitary Bargmann invariants do not determine local unitary orbits for n≥3—is supported by an explicit counterexample (Theorem 2.6), not by fitting or renaming. The construction fixes specific projectors P1,P2,Q1,Q2 and builds ρ_AB and σ_AB = Φ(ρ_AB) via Sakai's flip (Lemma 2.5); the W-relations in Theorem 2.6 are then verified directly, and non-local-unitary-equivalence is derived from Lemma 2.4, which is an independent algebraic lemma about rank-one projections. No quantity is fitted to data, no 'prediction' is extracted from the objects being classified, and the only external inputs (Kadison–Ringrose Lemma 2.3, Procesi's theorem, Sakai's flip) are standard results cited for framing or elementary use. The terse step in Lemma 2.4's dim A=3 subcase ('It follows that E'_1 E'_2 = E'_2 E'_1') is an unproved but correct consequence of E1 and E2 being orthogonal rank-one projections, so the span is commutative; this is a brevity gap, not circularity. There is also no author self-citation: the cited works [15] and [16] are by L. Zhang and B. Xie, not by the present authors Ma and Shi. Overall, the derivation chain is self-contained and no circular reduction is present.

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

No fitted constants, no invented physical entities. The construction uses standard facts (inner automorphisms of matrix algebras, linear-independence lemma, existence of projections with prescribed commutation relations) and one tersely justified linear-algebra claim (Lemma 2.4, dim A=3) that is true for m≥3 but not proven in the text.

assumptions (6)
  • standard math Every automorphism of M_{n^2}(C) is inner; the flip A⊗B ↦ B⊗A is therefore implemented by a unitary W.
    Used in Lemma 2.5 to obtain the intertwiners W of Theorem 2.6.
  • standard math Lemma 2.3 (Kadison-Ringrose): if {A_j} are linearly independent and Σ A_j⊗B_j=0 then each B_j=0.
    Used twice: Lemma 2.4 and Example 2.8.
  • domain assumption For m≥3, two rank-one projections lying in span{I,E1,E2}, with E1,E2 orthogonal rank-one projections, commute.
    Invoked without proof in Lemma 2.4 (dim A=3); true but unstated, and it is the load-bearing step in that case.
  • standard math Rank-one projections P1,P2 with P1P2=0 and Q1,Q2 with Q1Q2≠Q2Q1 exist in M_n(C) for every n≥3.
    Needed to instantiate Example 2.2 and Theorem 2.6.
  • domain assumption The norm bound ||ρ_AB||≤2n+2 for the constructed self-adjoint matrix, so ρ_AB+(2n+2)I⊗I is positive.
    Used in Theorem 2.6 to produce valid density matrices by normalization; the bound is plausible and true but not derived in the text.
  • standard math Procesi's theorem: traces of words separate unitary orbits of Hermitian tuples (cited [13]).
    Used in the introduction to frame the equivalent W-formulation of the Zhang-Xie problem; the counterexample itself verifies the invariant equality directly.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Bargmann invariants and local unitary equivalence." pith.science (2026). https://pith.science/paper/MPOB7BLF

@misc{pith2026260716878,
  author       = {Pith},
  title        = {Pith review of: Bargmann invariants and local unitary equivalence},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MPOB7BLF}},
  note         = {Machine review of arXiv:2607.16878}
}
abstract

In this paper, we study the local unitary equivalence of quantum states on $\mathbb{C}^n\otimes\mathbb{C}^n$, which is an important notion in quantum information theory. For the case $n=2$, the local unitary orbits of two-qubit states are completely determined by their local unitary Bargmann invariants. We show that the local unitary Bargmann invariants do not form a complete set of invariants of local unitary orbits for $n\geqslant 3$, which negatively answers a problem proposed by L. Zhang and B. Xie.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Kaplansky's second test problem in operator algebras

    math.FA 2026-07 conditional novelty 7.0 of 10

    Kaplansky's second test problem on similarity is solved affirmatively for operators with property (J) in type I_n von Neumann algebras, for all type I_n with n≤3, and for Banach-algebra elements with essentially finit...

  2. Revisiting the invariant ring of two-qubit mixed states

    quant-ph 2026-07 conditional novelty 2.0 of 10

    The paper reproduces, with more computational detail, the known Molien series and 21-generator invariant ring for two-qubit mixed states under local unitary equivalence.

Reference graph

Works this paper leans on

16 extracted references · cited by 2 Pith papers

  1. [1]

    Bercovici.Three test problems for quasisimilarity.Canad

    H. Bercovici.Three test problems for quasisimilarity.Canad. J. Math. 39 (1987), no. 4, 880–892. MR0915020

    1987

  2. [2]

    Choi.Completely positive linear maps on complex matrices.Linear Algebra Appl

    M. Choi.Completely positive linear maps on complex matrices.Linear Algebra Appl. 10 (1975), 285–290. MR0376726

    1975

  3. [3]

    Davidson, D

    K. Davidson, D. Herrero.The Jordan form of a bitriangular operator.J. Funct. Anal. 94 (1990), no. 1, 27–73. MR1077544

    1990

  4. [4]

    Jamio lkowski.Linear transformations which preserve trace and positive semidefiniteness of operators.Rep

    A. Jamio lkowski.Linear transformations which preserve trace and positive semidefiniteness of operators.Rep. Mathematical Phys. 3 (1972), no. 4, 275–278. MR0342537

    1972

  5. [5]

    Jiang.Similarity classification of Cowen-Douglas operators.Canad

    C. Jiang.Similarity classification of Cowen-Douglas operators.Canad. J. Math. 56 (2004), no. 4, 742–775. MR2074045

    2004

  6. [6]

    N. Jing, S. Fei, M. Li, X. Li-Jost, T. Zhang.Local unitary invariants of generic multiqubit states.Phys. Rev. A 92, 022306 (2015). DOI: 10.1103/PhysRevA.92.022306

    doi:10.1103/physreva.92.022306 2015

  7. [7]

    Kadison, J

    R. Kadison, J. Ringrose.Fundamentals of the theory of operator algebras, II.Advanced theory. Academic Press, Orlando, FL, 1986. MR0859186

    1986

  8. [8]

    Kadison, I

    R. Kadison, I. Singer.Three test problems in operator theory.Pacific J. Math. 7 (1957), 1101–

    1957

Show all 16 references
  1. [9]

    Kaplansky.Infinite abelian groups.University of Michigan Press, Ann Arbor, MI, 1954

    I. Kaplansky.Infinite abelian groups.University of Michigan Press, Ann Arbor, MI, 1954. v+91 pp. MR0065561

    1954

  2. [10]

    Kraus.Local unitary equivalence and entanglement of multipartite pure states.Phys

    B. Kraus.Local unitary equivalence and entanglement of multipartite pure states.Phys. Rev. A (3) 82 (2010), no. 3, 032121, 14 pp. MR2771999 10 MINGHUI MA AND RUI SHI

    2010

  3. [11]

    Marcoux, H

    L. Marcoux, H. Radjavi, S. Troscheit, Y. Zhang.Stability relations for Hilbert space operators and a problem of Kaplansky.Math. Z. 308 (2024), no. 3, Paper No. 39, 46 pp. MR4803020

    2024

  4. [12]

    Makhlin.Nonlocal properties of two-qubit gates and mixed states, and the optimization of quantum computations.Quantum Inf

    Y. Makhlin.Nonlocal properties of two-qubit gates and mixed states, and the optimization of quantum computations.Quantum Inf. Process. 1 (2002), no. 4, 243–252. MR1964348

    2002

  5. [13]

    Procesi.The invariant theory ofn×nmatrices.Advances in Math

    C. Procesi.The invariant theory ofn×nmatrices.Advances in Math. 19 (1976), no. 3, 306–381. MR0419491

    1976

  6. [14]

    Sakai.Automorphisms and tensor products of operator algebras.Amer

    S. Sakai.Automorphisms and tensor products of operator algebras.Amer. J. Math. 97 (1975), no. 4, 889–896. MR0390787

    1975

  7. [15]

    Zhang, B

    L. Zhang, B. Xie.A Survey of Bargmann Invariants: Geometric Foundations and Application. 2026, arXiv:2601.01858

    2026

  8. [16]

    Zhang, B

    L. Zhang, B. Xie, Y. Tao.Bargmann-invariant framework for local unitary equivalence and entanglement.Phys. Rev. A 112 (2025), no. 5, Paper No. 052426, 28 pp. MR5002102 Minghui Ma, School of Mathematical Sciences, Dalian University of Technol- ogy, Dalian, 116024, China Email a...

    2025

Pith tools

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