Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2605.07405

Commutativity from a single Bargmann invariant equality

Rafael Wagner, Ernesto F. Galvão

quant-phSubmitted May 8, 2026• Announced May 11, 2026• 0 citations
arXivHTMLPDF

Abstract

Noncommutativity of states and observables is a fundamental signature of quantum theory, and a minimal requirement for nonclassicality. We provide a universal necessary and sufficient condition for pairwise commutativity of quantum states $ρ_1$ and $ρ_2$: they commute if and only if $\mathrm{tr}(ρ_1^2ρ_2^2) = \mathrm{tr}(ρ_1 ρ_2 ρ_1 ρ_2)$. For qubits the identity simplifies to an equality between polynomials of purities and of the two-state overlap $\mathrm{tr}(ρ_1ρ_2)$. These multivariate traces (known as Bargmann invariants) are directly measurable, allowing commutativity tests that bypass full state tomography. We point out possible applications to the analysis of POVM simulability and partial photonic distinguishability.

Comments
5+4 pages, no figures. Comments are welcome!

Related papers

A Survey of Bargmann Invariants: Geometric Foundations and Applications

Lin Zhang, Bing Xie

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.

quant-pharXiv:2601.01858•Jan 6, 2026•0 citations

Measuring relational information between quantum states, and applications

Michał Oszmaniec, Daniel J. Brod, Ernesto F. Galvão

The geometrical arrangement of a set of quantum states can be completely characterized using relational information only. This information is encoded in the pairwise state overlaps, as well as in Bargmann invariants of higher degree written as traces of products of density matrices. We describe how to measure Bargmann invariants using suitable generalizations of the SWAP test. This allows for a complete and robust characterization of the projective-unitary invariant properties of any set of pure or mixed states. As applications, we describe basis-independent tests for linear independence, coherence, and imaginarity. We also show that Bargmann invariants can be used to characterize multi-photon indistinguishability.

arXiv:2109.10006•Sep 21, 2021•3 citations

Measuring relational information between quantum states, and applications

Michał Oszmaniec, Daniel J. Brod, Ernesto F. Galvão

Abstract The geometrical arrangement of a set of quantum states can be completely characterized using relational information only. This information is encoded in the pairwise state overlaps, as well as in Bargmann invariants of higher degree written as traces of products of density matrices. We describe how to measure Bargmann invariants using suitable generalizations of the SWAP test. This allows for a complete and robust characterization of the projective-unitary invariant properties of any set of pure or mixed states. As applications, we describe basis-independent tests for linear independence, coherence, and imaginarity. We also show that Bargmann invariants can be used to characterize multi-photon indistinguishability.

New Journal of Physics•Jan 1, 2024•32 citations

Elementary characterization of Bargmann invariants

Sagar Silva Pratapsi, João Gouveia, Leonardo Novo +1 more

Bargmann invariants, also known as multivariate traces of quantum states $\mathrm{Tr}({\ensuremath{\rho}}_{1}{\ensuremath{\rho}}_{2}\ensuremath{\cdots}{\ensuremath{\rho}}_{n})$, are unitary invariant quantities used to characterize weak values, Kirkwood-Dirac quasiprobabilities, out-of-time-order correlators, and geometric phases. Here we give a complete characterization of the set ${B}_{n}$ of complex values that $n\mathrm{th}$-order invariants can take, resolving some recently proposed conjectures. We show that ${B}_{n}$ is equal to the range of invariants arising from pure states described by Gram matrices of circulant form. We show that both ranges are equal to the $n\mathrm{th}$ power of the complex unit $n$-gon and are therefore convex, which provides a simple geometric intuition. Finally, we show that any Bargmann invariant of order $n$ is realizable using either qubit states or circulant qutrit states.

arXiv:2506.17132•Physical Review A•Sep 16, 2025•2 citations

Bargmann Scenarios

Rafael Wagner

Considerable effort has been devoted to developing techniques for witnessing and characterizing quantum resources that emerge from collective properties of a set of states. In this context, Bargmann invariants play a central role: they witness coherence and related resources, and underpin important applications. In this work, we introduce a unified formalism that fully characterizes and organizes the capability of Bargmann invariants to witness different manifestations of coherence in sets of states. It is formulated around the construction of Bargmann scenarios, which specify relevant tuples of Bargmann invariants, and Bargmann polytopes, which bound the values that said invariants can have when the states are incoherent. We study their basic geometry, connect them to existing formalisms, and illustrate their physical relevance. Our construction opens new opportunities for the certification of quantum devices and lays the path toward a full quantum resource theory based entirely on multivariate traces of states.

quant-pharXiv:2604.18833•Apr 22, 2026•0 citations

Bargmann-invariant framework for local unitary equivalence and entanglement

Lin Zhang, Bing Xie, Yuan-Hong Tao

Research on quantum states often focuses on the correlation between nonlocal effects and local unitary invariants, among which local unitary equivalence plays a significant role in quantum state classification and resource theories. This paper focuses on the local unitary equivalence of multipartite quantum states in quantum information theory, aiming to determine a complete set of invariants that identify their local unitary orbits; these invariants are crucial for deriving polynomial invariants and describing the physical properties preserved under local unitary transformations. The study deeply explores the characterization of local unitary equivalence and the method of detecting entanglement using local unitary Bargmann invariants. Taking two-qubit systems as an example, it verifies the measurability of invariants that determine equivalence and establishes a connection between Makhlin fundamental invariants (a complete set of 18 local unitary invariants for two-qubit states) and local unitary Bargmann invariants. These Bargmann invariants, related to the traces of products of density operators and marginal states, can be measured through cycle tests (an extended form of swap tests).

arXiv:2412.17237•Physical Review A•Nov 13, 2025•1 citation
Noncommutativity of states and observables is a fundamental signature of quantum theory, and a minimal requirement for nonclassicality. We provide a universal necessary and sufficient condition for pairwise commutativity of quantum states ρ1ρ_1ρ1​ and ρ2ρ_2ρ2​: they commute if and only if tr(ρ12ρ22)=tr(ρ1ρ2ρ1ρ2)\mathrm{tr}(ρ_1^2ρ_2^2) = \mathrm{tr}(ρ_1 ρ_2 ρ_1 ρ_2)tr(ρ12​ρ22​)=tr(ρ1​ρ2​ρ1​ρ2​). For qubits the identity simplifies to an equality between polynomials of purities and of the two-state overlap tr(ρ1ρ2)\mathrm{tr}(ρ_1ρ_2)tr(ρ1​ρ2​). These multivariate traces (known as Bargmann invariants) are directly measurable, allowing commutativity tests that bypass full state tomography. We point out possible applications to the analysis of POVM simulability and partial photonic distinguishability.
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.
The geometrical arrangement of a set of quantum states can be completely characterized using relational information only. This information is encoded in the pairwise state overlaps, as well as in Bargmann invariants of higher degree written as traces of products of density matrices. We describe how to measure Bargmann invariants using suitable generalizations of the SWAP test. This allows for a complete and robust characterization of the projective-unitary invariant properties of any set of pure or mixed states. As applications, we describe basis-independent tests for linear independence, coherence, and imaginarity. We also show that Bargmann invariants can be used to characterize multi-photon indistinguishability.
Abstract The geometrical arrangement of a set of quantum states can be completely characterized using relational information only. This information is encoded in the pairwise state overlaps, as well as in Bargmann invariants of higher degree written as traces of products of density matrices. We describe how to measure Bargmann invariants using suitable generalizations of the SWAP test. This allows for a complete and robust characterization of the projective-unitary invariant properties of any set of pure or mixed states. As applications, we describe basis-independent tests for linear independence, coherence, and imaginarity. We also show that Bargmann invariants can be used to characterize multi-photon indistinguishability.
Bargmann invariants, also known as multivariate traces of quantum states $\mathrm{Tr}({\ensuremath{\rho}}_{1}{\ensuremath{\rho}}_{2}\ensuremath{\cdots}{\ensuremath{\rho}}_{n})$, are unitary invariant quantities used to characterize weak values, Kirkwood-Dirac quasiprobabilities, out-of-time-order correlators, and geometric phases. Here we give a complete characterization of the set Bn{B}_{n}Bn​ of complex values that nthn\mathrm{th}nth-order invariants can take, resolving some recently proposed conjectures. We show that Bn{B}_{n}Bn​ is equal to the range of invariants arising from pure states described by Gram matrices of circulant form. We show that both ranges are equal to the nthn\mathrm{th}nth power of the complex unit nnn-gon and are therefore convex, which provides a simple geometric intuition. Finally, we show that any Bargmann invariant of order nnn is realizable using either qubit states or circulant qutrit states.
Considerable effort has been devoted to developing techniques for witnessing and characterizing quantum resources that emerge from collective properties of a set of states. In this context, Bargmann invariants play a central role: they witness coherence and related resources, and underpin important applications. In this work, we introduce a unified formalism that fully characterizes and organizes the capability of Bargmann invariants to witness different manifestations of coherence in sets of states. It is formulated around the construction of Bargmann scenarios, which specify relevant tuples of Bargmann invariants, and Bargmann polytopes, which bound the values that said invariants can have when the states are incoherent. We study their basic geometry, connect them to existing formalisms, and illustrate their physical relevance. Our construction opens new opportunities for the certification of quantum devices and lays the path toward a full quantum resource theory based entirely on multivariate traces of states.
Research on quantum states often focuses on the correlation between nonlocal effects and local unitary invariants, among which local unitary equivalence plays a significant role in quantum state classification and resource theories. This paper focuses on the local unitary equivalence of multipartite quantum states in quantum information theory, aiming to determine a complete set of invariants that identify their local unitary orbits; these invariants are crucial for deriving polynomial invariants and describing the physical properties preserved under local unitary transformations. The study deeply explores the characterization of local unitary equivalence and the method of detecting entanglement using local unitary Bargmann invariants. Taking two-qubit systems as an example, it verifies the measurability of invariants that determine equivalence and establishes a connection between Makhlin fundamental invariants (a complete set of 18 local unitary invariants for two-qubit states) and local unitary Bargmann invariants. These Bargmann invariants, related to the traces of products of density operators and marginal states, can be measured through cycle tests (an extended form of swap tests).