---
title: Bargmann Invariants in Quantum Mechanics
url: https://www.emergentmind.com/topics/bargmann-invariants
type: topic
---

# Bargmann Invariants in Quantum Mechanics

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 [2601.01858, 2012.09653].

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 [2506.17132, 2508.02345].

## 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 [2211.05692, 1908.03325].

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 [2211.05692, 1908.03325]. 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 [2506.17132, 2506.13266, 2412.09070, 2412.08022]. 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 [2506.17132].

## 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$ [2508.02345, 2412.17237, 2601.01858].

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 [2508.02345].

## 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 [2012.09653].

**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 [2412.08022, 2508.02345]. 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 [2412.17237, 2601.01858].

## 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 [2012.09653].

## 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 [2508.07155].

---

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 [2601.01858, 2506.13266, 2412.09070, 2506.17132, 2508.07155, 2012.09653].

Source: https://www.emergentmind.com/topics/bargmann-invariants