Bargmann Invariants in Quantum Mechanics

• Bargmann invariants are gauge and unitary invariant polynomial functions that cyclically combine quantum state overlaps to encode geometric phases and resource measures.
• They possess explicit algebraic and geometric structures, with their values forming convex sets determined by cyclic products and roots of unity.
• Operationally, these invariants facilitate robust quantification of phenomena like CP violation, entanglement, and coherence, measurable via ancilla-assisted protocols.

Bargmann invariants are a family of gauge-invariant, unitary-invariant polynomial functions of pure or mixed quantum states. They play a fundamental role in geometric, structural, and resource-theoretic aspects of quantum mechanics, particularly in relation to geometric phases, local unitary classification, quantum information resource quantifiers, and quantum measurements.

1. Definition and Fundamental Properties

Given a collection of non-orthogonal pure state vectors $\{|\psi_j\rangle\}_{j=1}^n$ in a complex Hilbert space $\mathcal{H}$, the $n$th-order Bargmann invariant is defined by the cyclic product

$$\Delta_n(\psi_1, \psi_2, \ldots, \psi_n) = \langle \psi_1|\psi_2\rangle\, \langle \psi_2|\psi_3\rangle\, \cdots\, \langle \psi_n|\psi_1\rangle,$$

or, equivalently, in ray-space notation,

$$\Delta_n = \operatorname{Tr}\left(|\psi_1\rangle\langle\psi_1|\, |\psi_2\rangle\langle\psi_2|\, \cdots\, |\psi_n\rangle\langle\psi_n|\right).$$

Under individual phase transformations $|\psi_j\rangle \mapsto e^{i\alpha_j}|\psi_j\rangle$, each overlap acquires a compensating phase so that $\Delta_n$ is projectively gauge-invariant (Zhang et al., 5 Jan 2026, Pramanick et al., 2020).

For mixed states, Bargmann invariants generalize to the multivariate trace: $$\Delta_n(\rho_1, \ldots, \rho_n) = \operatorname{Tr}(\rho_1 \rho_2 \cdots \rho_n),$$ with invariance under simultaneous conjugation $\rho_j \mapsto U\rho_j U^\dagger$. This construction yields the foundation for all unitary-invariant polynomial functions on tuples of quantum states (Pratapsi et al., 20 Jun 2025, Azado et al., 4 Aug 2025).

2. Geometric and Kähler Structure

The argument of the Bargmann invariant encodes a geometric (Pancharatnam–Berry) phase associated with cyclic evolution of quantum states. For a closed path $C$ in projective Hilbert space, the geometric phase is

$\gamma_g[C] = -\arg \Delta_n.$

For $n=3$, $\arg \Delta_3$ is precisely minus the symplectic area (Fubini–Study area) of the geodesic triangle in complex projective space $\mathrm{CP}^{N-1}$ spanned by $$[|\psi_1\rangle],\ [|\psi_2\rangle],\ [|\psi_3\rangle]$$: $\arg \Delta_3 = - \int_\Delta \omega,$ where $\omega$ is the Fubini–Study Kähler form (Ferraz et al., 2022, Akhilesh et al., 2019).

Via the Majorana representation, any $N$-level pure state is represented as a totally symmetric state of $N-1$ qubits. For three such states, the argument of the third-order invariant decomposes: $$\arg \Delta_3(\psi_1, \psi_2, \psi_3) = -\frac{1}{2}\sum_{i=1}^{N-1} \Omega_i,$$ where $\Omega_i$ is the solid angle of the spherical triangle on the Bloch sphere traced out by the $i$th set of Majorana stars associated with the three states (Ferraz et al., 2022, Akhilesh et al., 2019). This geometric structure directly interlinks Bargmann invariants with quantum holonomy, geometric phase, and group-theoretic invariants.

3. Algebraic Structure, Numerical Range, and Explicit Characterization

The set of possible values of $n$th-order Bargmann invariants, denoted $B_n$, is completely characterized and shown to be convex, dimension-independent, and attainable by either qubit or circulant Gram matrix constructions: $B_n = \{z^n \mid z \in \mathcal{P}_n\},$ where $\mathcal{P}_n$ is the convex hull of the $n$th roots of unity in the complex plane (Pratapsi et al., 20 Jun 2025, Xu, 16 Jun 2025, Zhang et al., 2024, Li et al., 2024). For every $n$ and $d \ge 2$, the numerical range of all physically realizable Bargmann invariants coincides with this set, and explicit parametrizations of the boundary are available: $$r_n(\theta) = \cos^n\left(\frac{\pi}{n}\right)\sec^n\left(\frac{\theta-\pi}{n}\right)\,,\quad z = r_n(\theta)e^{i\theta},\ \theta\in[0,2\pi).$$ A table of low-dimensional cases is as follows:

Order $n$	Root Set $\mathcal{P}_n$ (polygon)	$B_n = \mathcal{P}_n^n$ (range)
2	Segment $[0,1]$	$[0,1]$
3	Equilateral triangle	Deltoid/“tear-drop” region
4	Square (diamond)	Astroid-like convex curve

All boundary and interior points are explicitly realizable with qubit tuples,

$$|\psi_k\rangle = \sin\varphi\,|0\rangle + e^{2\pi i k/n}\cos\varphi\,|1\rangle,$$

or with circulant qutrit tuples as convex combinations of roots (Pratapsi et al., 20 Jun 2025).

4. Operational Methods and Measurement Protocols

Bargmann invariants are directly accessible by quantum circuits employing controlled cyclic SWAP (“cycle test”) or quantum switch protocols. For pure or mixed states $\{\rho_j\}$,

$$\Delta_n(\rho_1,\dots,\rho_n) = \mathrm{Tr}(\rho_1 \cdots \rho_n)$$

can be measured using an ancilla-based protocol:

• Initialize the ancilla in $|+\rangle$ (for real part) or $|+_y\rangle$ (for imaginary part).
• Apply a controlled cyclic permutation of the system states (Fredkin or SWAP network).
• Measure the ancilla in the computational basis; outcome statistics correspond to the real/imaginary part of $\Delta_n$ (Azado et al., 4 Aug 2025, Zhang et al., 2024, Zhang et al., 5 Jan 2026).

Alternatively, Bargmann invariants of arbitrary order can be measured via a quantum switch, implementing indefinite causal order, or by deterministic simulation circuits involving Hadamard tests—enabling a universal primitive for extracting any unitary-invariant function on quantum state tuples (Azado et al., 4 Aug 2025).

5. Applications: Geometric Phases, Resources, and Entanglement

Geometric Phases and CP Violation: The geometric phase associated with a Bargmann invariant under cyclic evolution encapsulates crucial physical properties including CP-violating phases in flavor physics. In the context of Majorana neutrinos, both Dirac- and Majorana-type Bargmann invariants yield all rephasing-invariant CP-violating measures, with $\gamma_g = -\arg \Delta_n$ giving the physical CP phase (Pramanick et al., 2020).

Quantum Information Resources: Bargmann invariants underlie basis-independent quantification of quantum imaginarity (the “$i$-component” inherent in quantum states), magic (nonstabilizerness), contextuality, multipath interference, and basis-independent coherence measures (Li et al., 2024, Azado et al., 4 Aug 2025). The imaginary part of $B_n$ functions as a robust witness for quantum imaginarity and contextuality.

Entanglement and Local Unitary Equivalence: For multipartite or composite states, the set of all local-unitary Bargmann invariants (involving traces of products and partial traces) forms a complete set of polynomial invariants under local unitary transformations. For two-qubit states, all Makhlin’s invariants are polynomials in Bargmann invariants, and entanglement can be completely detected via inequalities involving a finite set of these invariants, which are efficiently measurable via cycle tests (Zhang et al., 2024, Zhang et al., 5 Jan 2026).

6. Extensions: Majorana Fermions and Recursive Parametrization

In systems where Majorana fermions are relevant (e.g., neutrino mixing with lepton-number violation), Bargmann invariants bifurcate into Dirac-type and Majorana-type, depending on the type of inner products used. Majorana-type invariants involve density operators mixing particles and anti-particles, with explicit dependence on relative Majorana phases. In the recursive parametrization of unitary mixing matrices, the minimal rephasing-invariant Bargmann invariant corresponds to either Dirac or Majorana CP phases, providing a hierarchy of invariants aligned with the structure of physical symmetries (Pramanick et al., 2020).

7. Gaussian States and Continuous Variables

For $n$-tuples of $m$-mode bosonic Gaussian states, Bargmann invariants admit a closed-form in terms of means and covariance matrices: $$\operatorname{tr}(\rho_1 \rho_2 \cdots \rho_n) = 2^{m(n-1)}\sqrt{\det M}\exp\left(-\frac{1}{2}\Lambda^T M^{-1}\Lambda\right),$$ with $M$ and $\Lambda$ determined by the covariances and displacements. In the Gaussian domain, the set of attainable values for $\operatorname{tr}(\rho_1 \cdots \rho_n)$ is a strict subset of the full convex region for general quantum states, with boundaries described by logarithmic spirals for pure-state families (Xu, 10 Aug 2025).

---

Bargmann invariants, through their algebraic, geometric, and operational characterizations, unify concepts across geometric phase theory, quantum state invariants, and quantum resource quantification. Their measurement is feasible via ancilla-assisted protocols, and their complete sets provide diagnostics for quantum symmetry, coherence, entanglement, and computational resources. The rigorous determination of their achievable ranges and their implementation in minimal-dimension systems establish them as foundational objects in modern quantum theory (Zhang et al., 5 Jan 2026, Xu, 16 Jun 2025, Zhang et al., 2024, Pratapsi et al., 20 Jun 2025, Xu, 10 Aug 2025, Pramanick et al., 2020).