---
title: Regularized Relative Entropy of Resource
url: https://www.emergentmind.com/topics/regularized-relative-entropy-of-resource
type: topic
---

# Regularized Relative Entropy of Resource

The regularized relative entropy of resource is a fundamental asymptotic quantity in quantum resource theories, unifying diverse operational tasks such as state conversion, hypothesis testing, and resource cost rates. It arises by regularizing the quantum relative entropy between a state and the set of resource-free states, capturing the optimal per-copy distinguishability and conversion rates in the many-copy limit. This measure is central to entanglement, coherence, asymmetry, thermodynamic, and computational resource theories, and admits rigorous operational meanings in both static and dynamical (channel) settings.

## 1. Formal Definition and Core Properties

Given a closed convex set of “free” states $\mathcal F$ (such as separable states in entanglement theory), the single-copy relative entropy of resource for a state $\rho$ is
\[
D_R(\rho) := \inf_{\sigma\in\mathcal F} D(\rho\|\sigma),
\]
where $D(\rho\|\sigma) = \operatorname{Tr}[\rho(\log\rho - \log\sigma)]$ is the Umegaki quantum relative entropy, defined for $\operatorname{supp}(\rho)\subseteq \operatorname{supp}(\sigma)$ and $+\infty$ otherwise [2507.05696]. The regularized version is
\[
D_R^\infty(\rho) := \lim_{n\to\infty} \frac{1}{n} D_R(\rho^{\otimes n}) = \lim_{n\to\infty} \frac{1}{n} \inf_{\sigma^{(n)}\in\mathcal F_n} D\left(\rho^{\otimes n} \| \sigma^{(n)}\right),
\]
where $\mathcal F_n$ is the free set on $n$-copy systems, typically closed under tensor products and convex combinations [1708.00381, 1210.3181].

Key properties:
- **Monotonicity**: $D_R(\rho)$ and $D_R^\infty(\rho)$ are non-increasing under free operations (completely positive trace-preserving maps that map free states to free states) [1708.00381].
- **Faithfulness**: $D_R^\infty(\rho)>0$ if and only if $\rho$ is not free; zero if and only if $\rho\in\mathcal F$ [0904.2705].
- **Convexity**: Both $D_R$ and $D_R^\infty$ are convex as functions of the state.
- **Additivity**: $D_R^\infty(\rho)$ is in general subadditive: $D_R(\rho\otimes\tau) \leq D_R(\rho) + D_R(\tau)$. Additivity holds ($D_R^\infty(\rho)=D_R(\rho)$) under specific optimizer conditions [2507.05696].

## 2. Resource-Theoretic and Operational Interpretation

The regularized relative entropy of resource is operationally the unique monotone quantifying the asymptotic cost/rate of state transformations in a wide class of quantum resource theories [1708.00381, 1010.1030]. In the context of catalytic resource theories—which allow the use of free ancillary systems as catalysts and free unitaries—it quantifies the minimal per-copy rate of “free noise” or randomness required to erase or create the resource content of $\rho$ [1708.00381]. Explicitly, the minimum randomness rate $R_{\mathrm{optimal}}$ required to erase the resource in $n$ copies of $\rho$ is
\[
R_{\mathrm{optimal}} = D_R^\infty(\rho).
\]

Moreover, $D_R^\infty(\rho)$ governs the optimal hypothesis testing error exponents for discrimination between $\rho^{\otimes n}$ and all $\sigma^{(n)}\in\mathcal F_n$, and characterizes asymptotic interconvertibility of resources [1210.3181, 2507.05696].

## 3. Additivity, Approximation, and Efficient Computation

Additivity of $D_R$ under tensor products is a critical criterion for determining whether single-shot or regularized quantities are operationally relevant:
\[
D_R^\infty(\rho) = D_R(\rho) \quad \text{if and only if} \quad D_R(\rho\otimes\tau) = D_R(\rho) + D_R(\tau) \ \forall \tau.
\]
[2507.05696] gives necessary and sufficient conditions for this additivity in terms of the optimizer $\sigma^* = \arg\min_{\sigma\in\mathcal F} D(\rho\|\sigma)$: a “twirled overlap” criterion that requires
\[
\sup_{t\in\mathbb{R}}\,\sup_{\tau\in\mathcal F}\; \operatorname{Tr}\!\left[\tau\,\sigma^{*-\frac{1}{2}(1+it)}\,\rho\,\sigma^{*-\frac{1}{2}(1-it)}\right] \leq 1.
\]
Failure of this condition requires full regularization to compute asymptotic rates.

Efficient numerical approximation of regularized relative entropy is enabled under structural assumptions: convexity, compactness, permutation invariance, tensor-product closure, and polar-set closure [2502.15659]. For sets of states or channels satisfying these, quantum relative entropy programs (QREPs)—generalized semidefinite or conic programming formulations—can approximate $D_R^\infty$ within any prescribed additive error in polynomial time, leveraging symmetry-reduction and Schur–Weyl dualities.

## 4. Asymptotic Continuity and Faithfulness

$D_R^\infty$ is asymptotically continuous: for any $\rho, \rho'$, if $\|\rho-\rho'\|_1\leq\epsilon$, then
\[
|D_R^\infty(\rho) - D_R^\infty(\rho')| \leq c\, \epsilon \log\frac{k}{\epsilon}
\]
with $c$ universal and $k$ the Hilbert space dimension [1210.3181]. This ensures stability under small perturbations of the state. $D_R^\infty$ is also strictly positive on every non-free (e.g., entangled) state, even in multipartite scenarios [0904.2705].

Restricted-measurement variants—where only a subset of quantum operations (e.g., LOCC, SEP) are permitted in the divergence definition—yield lower bounds to $D_R^\infty$ that remain faithful and nontrivial, providing strictly positive lower bounds for the resource content in all non-free states.

## 5. Role in Quantum Channel Resource Theories

The notion of regularized relative entropy generalizes to quantum channels, with significant subtleties [1807.05958, 1906.03517]. For a channel $\mathcal N$ and a convex, closed set of free channels $\mathcal F$, one defines several one-shot and asymptotic divergences. The primary version is
\[
D_F^{(\infty)}(\mathcal N) := \lim_{n\to\infty} \frac{1}{n} \min_{\mathcal M \in \mathcal F(A^{\otimes n} \to B^{\otimes n})} D\left(\mathcal N^{\otimes n} \| \mathcal M \right),
\]
where optimization runs over inputs and channels.

The regularized channel relative entropy satisfies strong monotonicity under free superchannels, asymptotic continuity, and an asymptotic equipartition property (AEP), paralleling the static (state) case [1906.03517]. It is operationally the exponent in Stein’s lemma for channel discrimination and quantifies the asymptotic dilution/distillation rates for dynamical resources such as entanglement and coherence of channels.

Multiple distinct channel divergence measures emerge in the channel context; for several of these, product-state regularization and “liberal smoothing” techniques guarantee existence, continuity, and AEP [1906.03517].

## 6. Extensions, Variants, and Limitations

In probabilistic or stochastic protocols, especially those with vanishing asymptotic success probability, the regularized relative entropy of resource can fail to capture the true asymptotic transformability, necessitating alternative monotones such as the regularized Hilbert projective (or “projective relative”) entropy [2209.03362]. In deterministic transformations, however, $D_R^\infty$ remains the definitive rate-limiting monotone.

Axiomatic studies establish that, under the basic requirements of monotonicity, normalization on classical distributions, weak additivity, and lower asymptotic continuity, the regularized relative entropy is the essentially unique asymptotic monotone (up to scale) [1010.1030].

Restricted-measurement and resource-theory-specific variants (e.g., relative entropy of entanglement, relative entropy of coherence) correspond precisely to the regularized quantity with respect to the appropriate free set [1210.3181, 0904.2705]. For certain state families (such as maximally entangled or pure bipartite states), analytic evaluation is possible and restricted-measurement versions collapse to the Shannon entropy of entanglement [1210.3181].

## 7. Examples and Applications

| Resource Theory          | Free Set $\mathcal F$                   | Operational Task Characterized by $D_R^\infty$                                                                        |
|-------------------------|------------------------------------------|------------------------------------------------------------------------------------------------------------------------|
| Entanglement            | Separable states                         | Rate of entanglement erasure or distillation under non-entangling or catalytic LOCC operations [1708.00381, 1210.3181] |
| Coherence               | Diagonal states in a fixed basis         | Cost of erasing coherence, coherence distillation rate                                                                 |
| Magic-State             | Stabilizer polytope                      | Optimal magic distillation rates [2507.05696]                                                                          |
| Channel entanglement    | Separable/PPT channels                   | Asymptotic discrimination, channel entanglement cost [1807.05958, 1906.03517]                                          |
| General resource theory | Arbitrary convex, compact $\mathcal F$   | General resource erasure, catalysis, cost, and asymptotic conversion                                                   |

Numerical methods based on QREPs can approximate $D_R^\infty$ efficiently for sets satisfying the requisite structure, and exhibit fast convergence in canonical resource theories. For instance, in the entanglement theory, using the Rains set as a relaxation of PPT or SEP can yield practical bounds for entanglement cost and distillation [2502.15659].

## References

- "Additivity of quantum relative entropies as a single-copy criterion" [2507.05696]
- "Efficient approximation of regularized relative entropies and applications" [2502.15659]
- "Quantifying resource in catalytic resource theory" [1708.00381]
- "Relative entropy and squashed entanglement" [1210.3181]
- "Relative Entropy of Entanglement and Restricted Measurements" [0904.2705]
- "Reverse Test and Characterization of Quantum Relative Entropy" [1010.1030]
- "Relative entropies of quantum channels with applications in resource theory" [1807.05958]
- "How to quantify a dynamical quantum resource" [1906.03517]
- "Overcoming entropic limitations on asymptotic state transformations through probabilistic protocols" [2209.03362]

Source: https://www.emergentmind.com/topics/regularized-relative-entropy-of-resource