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.
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, 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.
Bargmann invariants, multivariate traces of states, completely characterize any unitary-invariant property of a set of states. Unitary invariants enable the description of quantum resources such as basis-independent coherence and imaginarity, nonstabilizerness, and contextuality. We show that the quantum switch, a higher-order process featuring indefinite causal order, can be used to measure Bargmann invariants of arbitrary order. We also show how simple Hadamard test circuits can deterministically simulate an arbitrary unitary quantum switch. Our results establish a solid bridge between the theory and applications of unitary invariants and higher-order maps in quantum mechanics.
Quantum theory is traditionally formulated using complex numbers. This imaginarity of quantum theory has been quantified as a resource with applications in discrimination tasks, pseudorandomness generation, and quantum metrology. In the standard formulation, a quantum state is said to have "imaginarity" if the associated density matrix is not real-valued in a given, fixed basis. If instead we consider a set of states, it is possible to devise tests that guarantee imaginarity of some state in the set, independently of the basis chosen. Here we propose such basis-independent witnesses for imaginarity that rely on measurements of unitary-invariant properties of sets of states. For three pure states, we completely characterize the invariant values attainable by quantum theory, and give a partial characterization for four pure states. We show that simple pairwise overlap measurements suffice to witness imaginarity of sets of four states, but not for sets of three. Our witnesses are experimentally friendly, opening up a new path for measuring and using imaginarity as a resource.
Traditionally, the characterization of quantum resources has focused on individual quantum states. Recent literature, however, has increasingly explored the characterization of resources in states—ordered collections of states indexed by a varying parameter. In this work, we provide a unitary-invariant framework to pinpoint imaginarity and coherence in sets of qubit states: We prove that Bloch vectors must be coplanar to be imaginarity free and collinear to be incoherent, yielding exact rank-based tests of coherence and imaginarity and closed-form bounds for existing robustness quantifiers, all based on two-state overlaps only. We also show that the set of imaginarity-free multistates is not convex, and that third-order invariants completely characterize multistate imaginarity of single-qubits but not of higher-dimensional systems. As our main technical result, we show that Bargmann invariant of single-qubit states is determined (up to conjugation) by two-state overlaps. Beyond qubits, we give purity and system-agnostic coherence witnesses from equality constraints on higher-order invariants and connect our results to practical protocols—characterization of partial distinguishability, spin-chirality detection, and subchannel discrimination.
Set coherence is a basis-independent relational form of quantum coherence: a finite family of quantum states is set incoherent exactly when all its members are diagonal in one common basis. We determine how much low-order Bargmann data are needed to decide this property. For two states, second-order data are complete for qubits but fail for qutrits, while complete third-order data are sufficient for qutrits but fail already in dimension four. We then show that fourth-order, ordering-sensitive Bargmann invariants give the first universal pairwise criterion for set coherence. Applied to all unordered pairs, this criterion yields a complete test for arbitrary finite families. The result provides a low-order hierarchy connecting cyclic trace invariants with the noncommutativity that prevents a common incoherent basis.