---
title: Fixed-Point Resource Theories
url: https://www.emergentmind.com/topics/fixed-point-resource-theories
type: topic
---

# Fixed-Point Resource Theories

Searching arXiv for the cited paper and the related imaginarity reference to ensure current, citable metadata.
tool unavailable
Fixed-point resource theories are a family of quantum resource theories in which the free operations are defined by a fixed-point condition on a designated free set of states. In the formulation developed in "Revisiting the Role of State Texture in Gate Identification and Fixed-Point Resource Theories" [2602.22496], the framework arises from a reconsideration of a gate-identification protocol for distinguishing controlled-NOT gates from single-qubit-only gates in universal quantum circuits using randomized input states, a protocol previously connected to the resource of state texture. The paper shows that a more general fidelity-based formulation succeeds for nearly all laboratory bases, extends the construction from single resourceless states to convex free sets via a convex-roof construction, and introduces a family of fixed-point resource theories encompassing fixed-point instances of state texture, genuine coherence, purity, and athermality [2602.22496].

## 1. Origin in state texture and gate identification

The immediate motivation for the fixed-point framework is a protocol for identifying controlled-NOT (CNOT) gates versus single-qubit-only gates in universal quantum circuits using randomized input states. That protocol had been shown to be intimately connected to the quantum resource of state texture. The 2026 analysis revisits that setting and demonstrates that a more general fidelity-based formulation succeeds for nearly all laboratory bases [2602.22496].

Within the same development, a broader family of quantum resource theories is considered, where a distinct resource theory can be defined for each choice of reference pure state. The paper states that this establishes core resource-theoretic requirements without the computational shortcut offered by the "grand sum" employed in the original formulation of state texture. It further remarks that proving monotonicity of the fidelity-based lower bound for arbitrary single-state or convex free sets does not rely on any "grand-sum" shortcut, but only on fidelity monotonicity and fixed-point conditions [2602.22496].

This suggests that the role of state texture in the original gate-identification problem is not treated as an isolated phenomenon. Rather, it is embedded into a more general fixed-point paradigm in which operational discrimination tasks and resource quantification are linked through fidelity to a convex set of resourceless states.

## 2. Formal specification of the framework

A fixed-point resource theory is specified by three ingredients [2602.22496].

First, there is a convex free set
\[
\mathcal{F}_0 \subset \mathcal{D}(\mathcal{H})
\]
of density operators that contain exactly the resourceless states. In particular, all pure states in \(\mathcal{F}_0\) are taken to be mutually orthogonal.

Second, there is a family of completely positive trace-preserving maps, interpreted as free operations, such that every free state is a fixed point:
\[
\forall \sigma \in \mathcal{F}_0:\qquad \Lambda(\sigma)=\sigma.
\]

Third, there is a resource monotone
\[
M:\mathcal{D}(\mathcal{H})\to \mathbb{R}_{\ge 0}
\]
satisfying the usual axioms:
- nonnegativity, \(M(\rho)\ge 0\) for all \(\rho\), and \(M(\rho)=0\) iff \(\rho\in\mathcal{F}_0\);
- closure / convexity, with \(\mathcal{F}_0\) convex and closed;
- weak monotonicity, \(M(\Lambda(\rho))\le M(\rho)\) for every free \(\Lambda\).

The framework therefore differs from resource theories defined only by preservation of a free set. Here the stronger requirement is literal pointwise invariance of every free state under every free operation. That fixed-point condition is the structural feature from which the subsequent fidelity-based monotonicity result follows.

## 3. Structure of free operations

In a basis that diagonalizes \(\mathcal{F}_0\), each free operation admits a Kraus decomposition
\[
\Lambda(\rho)=\sum_n K_n \rho K_n^\dagger
\]
with Kraus operators of block form
\[
K_n=
\begin{pmatrix}
\mathrm{diag}(\alpha_{1,n},\ldots,\alpha_{m,n}) & T_n\\
0 & L_n
\end{pmatrix},
\]
where
\[
m=\dim \mathrm{Span}\{\text{pure states in }\mathcal{F}_0\}.
\]
The matrices \(T_n\) and \(L_n\) permit only transitions out of the resourceful subspace [2602.22496].

Trace preservation and the fixed-point condition impose
\[
\sum_n |\alpha_{i,n}|^2 = 1 \qquad (i=1,\ldots,m)
\]
and
\[
\sum_n T_n^\dagger\, \mathrm{diag}(\alpha_{i,n}) = 0.
\]

The paper identifies this block-diagonal construction of fixed-point free operations as the novel technique of the work, referring to it as Eq. (11) in the paper. Its significance is twofold. Formally, it characterizes the admissible free dynamics compatible with exact invariance of the free set. Conceptually, it provides a single operator-level template under which multiple basis-dependent resource theories can be organized [2602.22496].

## 4. Fidelity-based quantification and weak monotonicity

The fidelity between states \(\rho\) and \(\sigma\) is defined as
\[
F(\rho,\sigma)=\mathrm{Tr}\,\sqrt{\sqrt{\rho}\,\sigma\,\sqrt{\rho}}.
\]
The associated fidelity-based resource quantifier is
\[
R_F(\rho)=1-\max_{\sigma\in\mathcal{F}_0}F(\rho,\sigma).
\]

For fixed-point resource theories, this quantity satisfies weak monotonicity under free operations:
\[
R_F(\Lambda(\rho))\le R_F(\rho).
\]
The proof proceeds exactly through the fixed-point property and Uhlmann-fidelity monotonicity [2602.22496]:

1. For every \(\sigma\in\mathcal{F}_0\), \(\Lambda(\sigma)=\sigma\).
2. Uhlmann’s fidelity is monotonic under CPTP maps:
   \[
   F(\Lambda(\rho),\Lambda(\sigma))\ge F(\rho,\sigma).
   \]
3. Hence
   \[
   F(\Lambda(\rho),\sigma)=F(\Lambda(\rho),\Lambda(\sigma))\ge F(\rho,\sigma).
   \]
4. Maximizing over \(\sigma\in\mathcal{F}_0\) yields
   \[
   \max_\sigma F(\Lambda(\rho),\sigma)\ge \max_\sigma F(\rho,\sigma),
   \]
   and therefore
   \[
   R_F(\Lambda(\rho))\le R_F(\rho).
   \]

This is presented as Theorem 1 in the paper. A common misconception in resource-theoretic constructions is that a fidelity-based expression automatically inherits all stronger monotonicity properties once weak monotonicity is established. The fixed-point analysis does not support that inference. It proves weak monotonicity for \(R_F\), but a different behavior emerges for the convex-roof logarithmic measure.

## 5. Convex-roof logarithmic measure and failure of strong monotonicity

For each pure state \(|\psi_i\rangle\), let
\[
\sigma_i^*=\arg\max_{\sigma\in\mathcal{F}_0}F(|\psi_i\rangle\langle\psi_i|,\sigma).
\]
The convex-roof logarithmic measure is then defined by
\[
R_{CR}(\rho)
=
\inf_{\rho=\sum_i p_i |\psi_i\rangle\langle\psi_i|}
\sum_i p_i
\bigl[-\ln F(|\psi_i\rangle\langle\psi_i|,\sigma_i^*)\bigr].
\]

The paper shows that \(R_{CR}\) need not satisfy strong monotonicity [2602.22496]. The explicit construction uses a \(D\)-dimensional free set
\[
\mathcal{F}_0=\{|1\rangle\langle 1|\}
\]
and a pure input state
\[
|\tau\rangle
=
\sqrt{a}\,|1\rangle
+
\sqrt{\frac{1-a}{D-1}}
\sum_{k=2}^D |k\rangle,
\qquad \frac12 \le a <1.
\]
A two-Kraus free operation \(\{K_1,K_2\}\), diagonal in the computational basis, is chosen so that outcome 1 acts as a filter that boosts the overlap with the resourceful subspace and outcome 2 projects onto \(|1\rangle\). Explicitly,
\[
K_1=\mathrm{diag}\!\left(\sqrt{\frac{1-a}{a(D-1)}},1,1,\ldots,1\right),
\qquad
K_2=\sqrt{I-K_1^\dagger K_1}.
\]

If
\[
\rho_j = \frac{K_j |\tau\rangle\langle\tau| K_j^\dagger}{p_j}
\]
denotes the postselected pure state for outcome \(j\) with probability \(p_j\), then for suitable choices of \(a\) and \(D\),
\[
p_1 R_{CR}(\rho_1)+p_2 R_{CR}(\rho_2) > R_{CR}(|\tau\rangle\langle\tau|).
\]
Thus \(R_{CR}\) fails the strong-monotonicity condition
\[
\sum_j p_j R_{CR}(\rho_j)\le R_{CR}(\rho).
\]

This is Theorem 2 of the paper. The result is significant because it separates two frequently conflated notions: weak monotonicity of a state functional under the overall free channel, and strong monotonicity under selective free operations conditioned on Kraus outcomes. In the fixed-point setting, the former is guaranteed for the fidelity lower bound, whereas the latter can fail for the convex-roof logarithmic extension.

## 6. Recovery of established resource theories

By appropriate choice of the free set \(\mathcal{F}_0\), the fixed-point formalism recovers several familiar resources [2602.22496].

For imaginarity, with
\[
\mathcal{F}_{\mathrm{Imag}}=\{\sigma\ \text{real in a fixed basis}\},
\]
a pure state \(|\psi\rangle\) has
\[
R_F(|\psi\rangle)=-\ln \lambda_{\max}[\mathrm{Re}(|\psi\rangle\langle\psi|)],
\]
where \(\lambda_{\max}\) picks out the largest eigenvalue of the real part. Mixed-state imaginarity follows by convex roof. The paper explicitly associates this case with Ref. Wu et al. 2021.

For coherence in a fixed basis, or speakable coherence, with
\[
\mathcal{F}_{\mathrm{Coh}}=\{\text{diagonal density matrices in a fixed basis}\},
\]
a pure state
\[
|\psi\rangle=\sum_i \psi_i |i\rangle
\]
satisfies
\[
R_F(|\psi\rangle)=-\ln \max_i |\psi_i|^2.
\]
Its single-qubit convex-roof extension can be solved analytically by noting that the function
\[
f(x)=-\ln\!\left[\frac{1+|n_z|}{2}\right]
\]
is convex and applying Jensen’s lemma.

For purity, where the resource is deviation from the maximally mixed state, the free set is
\[
\mathcal{F}_{\mathrm{Pur}}=\left\{\frac{I}{d}\right\},
\]
and one recovers the usual geometric measure of purity:
\[
R_F(\rho)=1-F\!\left(\rho,\frac{I}{d}\right)=1-\frac{1}{d}\mathrm{Tr}\sqrt{\rho}.
\]

For athermality, the free set is the Gibbs state
\[
\mathcal{F}_{\mathrm{Th}}=
\left\{
\tau \equiv \frac{e^{-\beta H}}{\mathrm{Tr}\,e^{-\beta H}}
\right\},
\]
with
\[
R_F(\rho)=1-F(\rho,\tau),
\]
and its convex-roof extension quantifies thermodynamic work potential.

All of these satisfy the fixed-point condition
\[
\Lambda(\sigma)=\sigma \qquad \text{for } \sigma\in\mathcal{F}_0
\]
under physically motivated free operations, such as energy-preserving maps for athermality [2602.22496]. A plausible implication is that the fixed-point framework is less a single resource theory than a unifying template for resource theories whose free states are intended to remain exactly invariant under the admissible dynamics.

Source: https://www.emergentmind.com/topics/fixed-point-resource-theories