Measure of set imaginarity

AI summary

Overview

Research area: Quantum resource theory, specifically the resource theory of set imaginarity — the basis-independent "imaginary-ness" of a family (set) of quantum states — with a focus on qubit (two-level) systems.

Technical level: Advanced. The paper assumes fluency in density operators, quantum channels, Kraus representations, the Bloch sphere, and axiomatic resource-theory definitions.

Scope (one sentence): The paper identifies the free operations of qubit set imaginarity, builds an axiomatic framework for set-imaginarity measures (SIMs), and constructs and tests concrete qubit measures built from third-order Bargmann invariants.

What This Paper Is About

A set of quantum states is "set imaginarity free" if a single unitary can make every state in the set real with respect to one common basis; otherwise the set possesses set imaginarity as a resource. While earlier work (notably Li et al., Ref. [60]) showed that Bargmann invariants can detect set imaginarity, the class of operations that can never create it — the free operations — had not been characterized, and no axiomatic definition of a set-imaginarity measure existed. This paper fills both gaps for qubits: it pins down the free operations, proposes axioms for SIMs (plus the refined notions of unified and complete SIMs), and constructs explicit measures that are checked against those axioms.

Key Contributions

1. Characterization of free operations (Theorem 1). For qubit sets, the free operations of set imaginarity are exactly the common unital operations together with the common planarized but nonunital operations. A "planarized" operation is one whose image of the Bloch ball lies in a plane containing the center I/2 (including degenerate images of rank(T) = 1 or rank(T) = 0).
2. An axiomatic framework for set-imaginarity measures. A SIM must satisfy (SI1) vanishing on set-imaginarity-free sets, (SI2) invariance under common unitaries, and (SI3) monotonicity under free operations; a unified SIM additionally satisfies set monotonicity (SI4) under inclusion of sets, and a complete SIM additionally satisfies superadditivity (SI5) for disjoint sets. Strong superadditivity is labelled (SI6).
3. Two concrete qubit SIMs from three-state Bargmann invariants. The paper constructs two measures from the Bargmann invariants of three-state subsets, proving that one is a unified SIM and the other satisfies the stronger requirements of a complete SIM. (The explicit definition of the second measure lies in the portion of the text that is truncated here, so it is not reproduced.)
4. Reassessment and repair of robustness. The previously introduced robustness of set imaginarity is shown to be a valid SIM for qubits but neither unified nor complete; an improved robustness-type measure is proposed and rigorously proven to be a complete qubit SIM.

Main Findings

• Free states are planar sets. For qubits, a set is set imaginarity free exactly when its Bloch vectors lie in a plane defined by a great circle of the Bloch sphere (building on Corollary III.7 of Ref. [60]). Any pair of states is always set imaginarity free, so the paper assumes n ≥ 3 throughout; the set of free sets is not convex in general.
• Triplet invariant equals a determinant. For three qubit states, |Im Tr(ρ₁ρ₂ρ₃)| = (1/4)|det(r₁, r₂, r₃)| in terms of Bloch vectors, which is the technical lever behind the free-operation theorem.
• Unital operations cannot increase the invariant. When c = 0 (equivalently, the channel is unital), ‖T‖ ≤ 1 and hence |det T| ≤ 1, so the triplet invariant is non-increasing.
• Nonunital operations with full-rank T are excluded. If c ≠ 0 and rank(T) = 3, coplanar input triples can be mapped to triples with det(r₁′, r₂′, r₃′) = (1 − α − β)ε² det(u, v, c) ≠ 0, so such operations create set imaginarity.
• The rank-2 borderline depends on c. If rank(T) = 2 and c lies in the range R(T), every coplanar input triple maps to a coplanar output triple (the determinant is (1 − α − β) det(T r₁, T r₂, c) = 0), so the operation is free; if c ∉ R(T), a coplanar triple can be sent to a non-coplanar one.
• Low-rank maps are always free. If rank(T) ⩽ 1, then det(T r₁, T r₂, c) = 0 for all c, so the operation is free.
• Operations must be common, not individual. If a family of free operations {ℰᵢ} acts with a different operation on each state, set imaginarity can be created: using the phase-flip channel with p = 1/2 on one state of a free triplet yields |Im Tr(ρ₁′ρ₂′ρ₃′)| = √2/16 > 0 while the input value was 0.
• The naive n-th order invariant fails. The quantity |Im Tr(ρ₁ρ₂⋯ρₙ)| is not a valid SIM: a four-state set with Bloch vectors (1,0,0), (0,1,0), (0,0,1), (−1/2,0,−1/2) gives 0, while its three-state subset gives 1/4, violating set monotonicity.
• I_max is unified but not complete. The measure I_max(ρ→) = max over 1 ⩽ i < j < k ⩽ n of |Im Tr(ρᵢρⱼρₖ)| satisfies (SI1)–(SI4). A counterexample with Bloch vectors (1,0,0), (0,1,0), (0,0,1) against (1/2,0,0), (0,1/2,0), (0,0,1/2) gives I_max(ρ→) = 1/4, I_max(σ→) = 1/32, I_max(ρ→ ∪ σ→) = 1/4 and I_max(ρ→ ∩ σ→) = 0, violating (SI5). A second counterexample with six-element sets sharing (1/4,0,0), (0,1/4,0), (0,0,1/4) gives I_max(ρ→) = 1/4, I_max(σ→) = 1/32, I_max(ρ→ ∪ σ→) = 1/4 and I_max(ρ→ ∩ σ→) = 1/256, violating (SI6).
• Some individual-state axioms have no set analogue. The paper shows there is no counterpart of direct-sum additivity for SIMs, and that probabilistic monotonicity and convexity are meaningless in general because outcome probabilities pᵢⱼ depend on the state ρᵢ within the set.
• Permutation invariance. Although a concrete SIM may be written with an ordered list, the value depends only on the set, since |Im Tr(ρ₁ρ₂⋯ρₙ)| = |Im Tr(ρₙρₙ₋₁⋯ρ₁)|.

Methodology in Plain English

The authors work entirely with qubits, where every state is described by a three-dimensional Bloch vector inside a sphere. A set of states is "free" (no imaginarity) precisely when all its Bloch vectors sit in a single plane through the sphere's center. Any quantum channel on a qubit acts on Bloch vectors by a matrix T plus a shift c, and the channel is unital exactly when c = 0.

The key move is to translate the abstract resource question into geometry. For three states, the imaginary part of the Bargmann invariant is one quarter of the determinant of the three Bloch vectors — a volume. So "does this channel create set imaginarity?" becomes "can this channel turn flat (coplanar) triples into non-flat ones?" The authors answer this case by case over the rank of T and the position of c, and they also build an explicit numerical example showing that applying different channels to different states can inflate the determinant from zero to a positive value.

With the free operations fixed, the authors then write down axioms any measure should obey, mirroring the unified/complete hierarchy known from multipartite entanglement measures. They test candidate measures by constructing small sets of states with chosen Bloch vectors and computing the measures exactly, producing explicit rational counterexamples that expose axiom violations. Finally, they re-examine the existing robustness measure, which minimizes an average single-state imaginarity over all unitaries, and propose an improved version proven to meet the complete-SIM requirements.

Why This Matters

The paper supplies the missing piece — a characterization of free operations — that any resource-theoretic quantification of set imaginarity depends on, and it gives the first axiomatic hierarchy (SIM, unified SIM, complete SIM) for measures of this resource. It also corrects the record: widely used candidate quantities, including the naive higher-order Bargmann invariant and the existing robustness measure, are shown to fail desirable axioms, while explicit replacements are provided and proven.

Potential applications (as cited by the paper):

• State discrimination, where imaginarity has been shown to provide advantages.
• Hiding and masking of quantum information.
• Quantum machine learning and quantum pseudorandomness.
• Multiparameter quantum metrology and linear-optical multiport interferometry.
• Kirkwood–Dirac quasiprobabilities and weak-value amplification.

Industry relevance: The paper itself makes no industry-specific claims and reports no experimental or hardware benchmarks. Its relevance is indirect: it strengthens the theoretical toolkit for basis-independent collective quantum effects, which bear on photonic interferometry, metrology and quantum-machine-learning protocols.

Future Directions

• Extend beyond qubits. The authors state explicitly that the precise form of free operations for qudit set imaginarity (d ≥ 3) remains unknown; they restrict to qubits for exactly this reason.
• Find the complete-SIM construction in general. Only the qubit case is settled; whether the three-state Bargmann-based constructions generalize to higher dimension is open.
• Clarify the axioms further. The paper notes that probabilistic monotonicity, convexity and direct-sum additivity have no meaningful set-level analogues, leaving open what the correct additional structural axioms should be.
• Compare measures systematically. With I_max shown to be unified but not complete, and the improved robustness proven complete, a broader classification of existing and new SIMs within the unified/complete hierarchy remains to be carried out.

Target Audience

Researchers in quantum information theory and quantum resource theory, particularly those working on imaginarity, coherence, and set-based (collective) resources; mathematical physicists interested in Bargmann invariants and Bloch-sphere geometry; and graduate students with a solid foundation in quantum channels and axiomatic resource theories who want a worked example of how free operations and resource measures are established from scratch.

Authors’ abstract

Recent studies have shown that Bargmann invariants provide effective detectors of set imaginarity. In this paper, we investigate set imaginarity as a quantum resource in qubit systems. By exploiting the structure of Bargmann invariants, we show that the free operations for qubit set imaginarity consist precisely of common unital operations and common planarized operations. Based on this characterization, we introduce an axiomatic framework for set-imaginarity measures (SIMs). In particular, we propose two refined notions, namely unified SIMs and complete SIMs, which allow a more fine-grained quantification of set imaginarity. To make these notions concrete, we construct two qubit SIMs from the Bargmann invariants of three-state subsets. We prove that one of them is a unified SIM, while the other satisfies the stronger requirements of a complete SIM. Furthermore, we revisit the robustness of set imaginarity previously introduced in the literature. We show that, although this robustness is a valid SIM for qubit systems, it is neither a unified SIM nor a complete SIM. To overcome this limitation, we propose an improved robustness-type measure and rigorously prove that it defines a complete qubit SIM.