Unitarily Residual Measures

• Unitarily Residual Measures are mathematical constructs designed to capture invariant spectral properties while isolating the irreversible, dissipative aspects of quantum dynamics.
• They reduce operator analysis to comparisons of ordered eigenvalue spectra, enabling the use of classical divergence measures to quantify non-unitary behavior.
• Their applications include operator measure reduction, invariant measure classification in infinite-dimensional spaces, and resource quantification of quantum non-classicality.

Unitarily residual measures are a class of mathematical constructs designed to capture quantities that are invariant or robust under unitary transformations, with the principal aim of isolating or quantifying the non-unitary, dissipative, or classically irreducible content of operators or quantum states. Originally motivated by problems in open quantum systems, invariant theory, and matrix analysis, these measures formalize the idea of “quotienting out” the effects of reversible (unitary) transformations in favor of the residual structure that is immune to such changes. Unitarily residual measures appear across several settings: as divergences quantifying the non-unitary part of quantum evolution, as criteria for reducibility of matrix-valued measures under unitary transformations, as invariant statistics for classifying infinite-dimensional measures, and as measures of quantumness of ensembles based on commutator norms.

1. Unitary Equivalence Classes and Quotient Structures

Consider the space $M_n^{(2)}$ of $n \times n$ Hermitian operators on a finite-dimensional Hilbert space. A key construction is the equivalence relation under unitary conjugation:

$$A \sim B \iff \exists U \text{ unitary s.t. } B = UAU^{\dagger}.$$

Each equivalence class $[A] := \{UAU^\dagger \mid U \text{ unitary}\}$ is completely determined by the (unordered) spectrum of $A$, since unitary conjugation preserves eigenvalues. Imposing a canonical ordering (e.g., ascending), the quotient set $M_n^{(2)}/\sim$ is isomorphic to the convex cone $\mathbb{R}^n_{\uparrow}$ of real $n$-component vectors in non-decreasing order. Addition and scaling of equivalence classes correspond to entry-wise operations in the space of ordered spectra. This spectrum-based quotient underpins the definition of unitarily residual measures by reducing operator properties to invariant quantities on the space of eigenvalue distributions (Nishiyama et al., 2024).

2. Unitarily Residual Divergences in Open Quantum Systems

Traditional quantum divergences (such as quantum relative entropy, trace distance, or Bures angle) are nonzero even for states related by a unitary transformation, failing to reflect the genuinely non-unitary, dissipative aspects of open quantum evolution. To extract only the irreversibility, define the unitarily residual (or quotient) divergence for density matrices $\rho, \sigma \in \mathcal{M}_D$ as:

$$\widetilde d\big([\rho],\,[\sigma]\big) = \min_{U,V\;\text{unitary}}\, d(U\rho U^\dagger, V\sigma V^\dagger).$$

Unitary invariance of $n \times n$0 ensures this reduces to a minimization over unitary orbits that aligns the spectral content of $n \times n$1 and $n \times n$2:

$n \times n$3

for ascending-ordered eigenvalue vectors $n \times n$4 and $n \times n$5. For standard choices of $n \times n$6, this construction yields classical divergences between spectra, as summarized in the table:

Quantum Divergence $n \times n$7	Unitarily Residual $n \times n$8
Trace distance $n \times n$9	Total variation: $$A \sim B \iff \exists U \text{ unitary s.t. } B = UAU^{\dagger}.$$0
Bures angle $$A \sim B \iff \exists U \text{ unitary s.t. } B = UAU^{\dagger}.$$1	Bhattacharyya: $$A \sim B \iff \exists U \text{ unitary s.t. } B = UAU^{\dagger}.$$2
Quantum relative entropy $$A \sim B \iff \exists U \text{ unitary s.t. } B = UAU^{\dagger}.$$3	KL divergence: $$A \sim B \iff \exists U \text{ unitary s.t. } B = UAU^{\dagger}.$$4
Petz-Rényi, sandwiched Rényi	Classical Rényi on spectra

These divergences are zero whenever the states are unitarily related, and strictly quantify only irreversible, dissipative separation (Nishiyama et al., 2024).

3. Fundamental Properties and Operational Implications

Unitarily residual measures inherit fundamental structural properties:

• Unitary invariance: Strict invariance under global or local unitary conjugation of arguments.
• Monotonicity under CPTP maps: If $$A \sim B \iff \exists U \text{ unitary s.t. } B = UAU^{\dagger}.$$5 for any CPTP map $$A \sim B \iff \exists U \text{ unitary s.t. } B = UAU^{\dagger}.$$6, then $$A \sim B \iff \exists U \text{ unitary s.t. } B = UAU^{\dagger}.$$7 is monotonic under induced stochastic maps on spectra, satisfying the data processing inequality.
• Convexity: If the original divergence $$A \sim B \iff \exists U \text{ unitary s.t. } B = UAU^{\dagger}.$$8 is convex in an argument, so is $$A \sim B \iff \exists U \text{ unitary s.t. } B = UAU^{\dagger}.$$9 on the quotient.
• Reduction to classical measures: When the density operators commute, $[A] := \{UAU^\dagger \mid U \text{ unitary}\}$0 collapses to the classical divergence on their shared eigenvalues.

Physically, these measures isolate the irreversibility in open quantum system evolution, quantifying entropy production, dissipation, and the spectrum-changing portion of quantum dynamics beyond any reversible (Hamiltonian) evolution (Nishiyama et al., 2024).

4. Unitary Reducibility of Matrix-Valued Measures

Unitarily residuality arises in the context of the reducibility of matrix-valued (operator-valued) measures. For a positive semi-definite, matrix-valued measure $[A] := \{UAU^\dagger \mid U \text{ unitary}\}$1 on a Borel space, reducibility to smaller blocks is equivalent to the existence of a constant invertible matrix $[A] := \{UAU^\dagger \mid U \text{ unitary}\}$2 such that $[A] := \{UAU^\dagger \mid U \text{ unitary}\}$3 is block diagonal. If $[A] := \{UAU^\dagger \mid U \text{ unitary}\}$4 can be chosen as a unitary, the measure is called unitarily reducible. The algebraic criterion for unitarily residual equivalence (i.e., when every reduction can be performed via a unitary conjugation) is

$[A] := \{UAU^\dagger \mid U \text{ unitary}\}$5

where $[A] := \{UAU^\dagger \mid U \text{ unitary}\}$6 is the Hermitian part of the commutant algebra $[A] := \{UAU^\dagger \mid U \text{ unitary}\}$7 of $[A] := \{UAU^\dagger \mid U \text{ unitary}\}$8. In this case, all possible equivalence transformations are exhausted by unitary (orthogonal) ones, leaving only residual block structure determined by Hermitian symmetries (Koelink et al., 2015).

Concrete examples include matrix-weighted polynomial families with symmetries dictated by groups such as $[A] := \{UAU^\dagger \mid U \text{ unitary}\}$9 and their quantum analogues. The existence and structure of the commutant determine the maximal block-diagonalization achievable by unitary means, and the absence of further non-unitary reducibility is a manifestation of unitarily residuality.

5. Ergodic and Invariant Measures on Infinite-Dimensional Spaces

In the study of unitarily invariant measures on spaces such as the cone $A$0 of infinite positive-definite Hermitian matrices, unitarily residuality plays a critical role in classification and decomposition theorems. The ergodic U($A$1)-invariant measures are classified by spectral parameters $A$2, with the measure uniquely determined by the sequence of spectral data up to unitary conjugation. The ergodic decomposition for the infinite-dimensional inverse Wishart measure isolates residual structure: the law of the positive spectral parameters $A$3 forms a determinantal point process on $A$4 with explicit Bessel-type correlation kernel, and all negative and Gaussian parts vanish due to support and moment conditions. The measure is thereby captured entirely by its unitarily residual (spectrum-based) parameters (Assiotis, 2019).

6. Unitarily Residual Quantumness and Resource Measures

The concept of unitarily residuality underpins commutator-based quantifiers of non-classicality in quantum ensembles. Given an ensemble $A$5, define

$A$6

for any unitary similarity invariant norm $A$7. $A$8 vanishes if and only if all members of the ensemble commute (i.e., are jointly unitarily diagonalizable), realizing the classical residual content. As such, $A$9 quantifies the genuinely quantum, unitarily non-removable, portion of an ensemble’s structure. Operationally, these measures characterize ensemble quantumness, decoherence, and state discrimination hardness, all rooted in their invariance under unitary transformations (Qi et al., 2018).

7. Applications and Significance in Quantum Information Science

Unitarily residual measures provide a rigorous framework for:

• Quantifying irreversible and dissipative effects in open quantum systems, distinct from reversible (unitary) dynamics (Nishiyama et al., 2024).
• Classifying reducibility of operator measures and identifying residual, unitarily irreducible structures in algebraic settings (Koelink et al., 2015).
• Decomposing and parametrizing invariant measures in infinite-dimensional matrix spaces, where spectral data—immune to unitary rotations—govern measure-theoretic structure (Assiotis, 2019).
• Defining resource measures for ensemble quantumness, coherence, and entanglement that remain stable under all unitary operations (Qi et al., 2018).

These unitarily residual perspectives unify and connect classical and quantum thermodynamic frameworks, spectral theory, and the resource-theoretic characterization of quantum correlations, offering spectrum-based, operationally meaningful quantities that serve as natural invariants in diverse mathematical and physical contexts.