Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

A Survey of Bargmann Invariants: Geometric Foundations and Applications

Lin Zhang, Bing Xie

TL;DR

This survey develops Bargmann invariants $\Delta_n(\Psi)=\mathrm{Tr}(\rho_1\cdots\rho_n)$ as a unifying, geometric framework for quantum state spaces, linking geometric phases to informational geometry and unitary classifications. It introduces circulant Gram matrices and circulant quantum channels to characterize the full invariant set $\mathcal{B}_n$ and proves $\mathcal{B}_n=\mathcal{B}_n|_{\mathrm{circ}}$, with dimension-independence $\mathcal{B}_n(d)=\mathcal{B}_n(2)$ and a convex boundary described by $r_n(\theta)$. The work also provides practical estimation via the cycle test circuit and demonstrates applications to witnessing imaginarity, discriminating locally unitary orbits, and entanglement detection, highlighting the operational value of Bargmann invariants in quantum information. Overall, the paper connects invariant theory, geometric structure, and quantum-information tasks into a cohesive framework with concrete measurement strategies for near-term devices.

Abstract

Bargmann invariants, a class of gauge-invariant quantities arising from the overlaps of quantum state vectors, provide a profound and unifying framework for understanding the geometric structure of quantum mechanics. This survey offers a comprehensive overview of Bargmann invariants, with a particular focus on their role in shaping the informational geometry of the state space. 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. Furthermore, we explore their pivotal role in modern quantum information science, specifically in developing operational methods for entanglement detection without the need for full state tomography. By synthesizing historical context with recent advances, this survey aims to highlight Bargmann invariants not merely as mathematical curiosities, but as essential instruments for probing the relational and geometric features of quantum systems.

A Survey of Bargmann Invariants: Geometric Foundations and Applications

TL;DR

This survey develops Bargmann invariants as a unifying, geometric framework for quantum state spaces, linking geometric phases to informational geometry and unitary classifications. It introduces circulant Gram matrices and circulant quantum channels to characterize the full invariant set and proves , with dimension-independence and a convex boundary described by . The work also provides practical estimation via the cycle test circuit and demonstrates applications to witnessing imaginarity, discriminating locally unitary orbits, and entanglement detection, highlighting the operational value of Bargmann invariants in quantum information. Overall, the paper connects invariant theory, geometric structure, and quantum-information tasks into a cohesive framework with concrete measurement strategies for near-term devices.

Abstract

Bargmann invariants, a class of gauge-invariant quantities arising from the overlaps of quantum state vectors, provide a profound and unifying framework for understanding the geometric structure of quantum mechanics. This survey offers a comprehensive overview of Bargmann invariants, with a particular focus on their role in shaping the informational geometry of the state space. 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. Furthermore, we explore their pivotal role in modern quantum information science, specifically in developing operational methods for entanglement detection without the need for full state tomography. By synthesizing historical context with recent advances, this survey aims to highlight Bargmann invariants not merely as mathematical curiosities, but as essential instruments for probing the relational and geometric features of quantum systems.
Paper Structure (15 sections, 28 theorems, 129 equations, 2 figures, 2 algorithms)

This paper contains 15 sections, 28 theorems, 129 equations, 2 figures, 2 algorithms.

Table of Contents

  1. Introduction
  2. Joint equivalence
  3. Bargmann invariants
  4. Circulant matrices and its properties
  5. Circulant quantum channels and its properties
  6. Circulant Gram matrices
  7. Characterization of the set $\mathcal{B}_n|_{\mathrm{circ}}$
  8. Convexity of the set $\mathcal{B}_n|_{\mathrm{circ}}$
  9. Characterization of the equality $\mathcal{B}_n=\mathcal{B}_n|_{\mathrm{circ}}$
  10. An alternative characterization of $\mathcal{B}^\circ_n(d)$
  11. Bargmann invariant estimation in a quantum circuit
  12. Applications of Bargmann invariants
  13. Witnessing quantum imaginarity
  14. Discriminating locally unitary orbits via Bargmann invariant
  15. Entanglement detection via Bargmann invariant

Key Result

Proposition 2.1

If $\left\langle \cdot , \cdot\right\rangle$ is a definite inner product on a complex vector space $V$ and $\boldsymbol{u},\boldsymbol{v}\in V$, the following three conditions are equivalent:

Figures (2)

  • Figure 1: The graphs of boundary curves $\partial\mathcal{B}_n$'s for $n\in\{3(\text{blue}),4(\text{brown}),5(\text{cyan}), 6(\text{green}),7(\text{orange}),8(\text{purple}),9(\text{red})\}$. The black curve is the unit circle. Here the horizontal axis means the real part $x=\mathrm{Re}\mathop{\mathrm{Tr}}\nolimits_{}\left(\psi_1\cdots\psi_n\right)$ and the vertical axis stands for the imaginary part $y=\mathrm{Im}\mathop{\mathrm{Tr}}\nolimits_{}\left(\psi_1\cdots\psi_n\right)$.
  • Figure 2: The boundary curve $\partial\mathcal{B}^\circ_n(d)$ as an envelope

Theorems & Definitions (68)

  • Proposition 2.1: Kadison1997
  • proof
  • Proposition 2.2
  • proof
  • Definition 2.3: (Projective) unitary equivalence
  • Definition 2.4: Joint (projective) unitary equivalence
  • Definition 2.5: Gram matrix
  • Proposition 2.6: Chien2016
  • proof
  • Definition 2.7: Joint unitary similarity
  • ...and 58 more