Regularized Quantum Hoeffding Anti-divergence

• Regularized quantum Hoeffding anti-divergence is a key asymptotic measure that quantifies how quickly the type-I error converges to one when the type-II error decays beyond a relative-entropy threshold.
• It is defined via block-normalized limits of Rényi divergences, capturing the behavior of correlated quantum states and underpinning strong converse exponents in hypothesis testing.
• The framework extends to composite hypotheses by optimizing over sets of states using convex-optimization techniques, thereby bridging classical and quantum error analysis.

Regularized quantum Hoeffding anti-divergence is the asymptotic quantity that governs the strong converse side of asymmetric quantum hypothesis testing: when the type-II error is constrained to decay at a rate beyond the relevant relative-entropy threshold, the type-I error necessarily converges to $1$, and the anti-divergence gives the exponential rate of that convergence. In the correlated-state setting, it is defined from regularized Rényi divergences, i.e. block-normalized limits over many-body states rather than single-copy quantities, and for broad classes of quantum and classical correlated models it coincides with the strong converse exponent (Mosonyi et al., 2014). In later work on composite and correlated hypotheses specified by sets of states, a set-valued regularized quantum Hoeffding anti-divergence was defined and shown to provide a lower bound on the strong converse exponent, extending the framework beyond singleton i.i.d. hypotheses (Fang, 18 Aug 2025).

1. Operational meaning in asymmetric quantum hypothesis testing

The underlying task is binary quantum hypothesis testing between two sequences of quantum states, written in the source material as $\{p_n\}$ and $\{o_n\}$, where the states may be correlated rather than i.i.d. The asymptotic question is the trade-off between type-I and type-II error probabilities as the blocklength $n$ grows. The direct region concerns rates $r < D(p\|o)$, while the strong converse region concerns rates $r > D(p\|o)$, where attempts to force the type-II error to decay too fast compel the type-I error to approach $1$ (Mosonyi et al., 2014).

For a prescribed rate $r > D(p\|o)$, the strong converse exponent is given in the source material by

$$sc(r \mid p \| o) := \inf \left\{ -\liminf_{n \to \infty} \frac{1}{n} \log (1 - \alpha_n(T_n)) : \limsup_{n \to \infty} -\frac{1}{n}\log \beta_n(T_n) < -r \right\},$$

with $\alpha_n(T_n)$ and $\{p_n\}$0 denoting the type-I and type-II errors of a test $\{p_n\}$1. Its operational interpretation is explicit: it quantifies how fast the probability of correct acceptance of the null decays once the type-II exponent is pushed beyond the Stein threshold (Mosonyi et al., 2014).

The same operational picture persists for set-valued hypotheses. For stable sequences of convex compact sets $\{p_n\}$2 and $\{p_n\}$3, the regularized relative entropy $\{p_n\}$4 acts as the boundary between the Hoeffding and strong-converse regimes. For $\{p_n\}$5, a nontrivial type-I exponent is achievable; for $\{p_n\}$6, type-I error must converge to $\{p_n\}$7, with rate lower bounded by the regularized quantum Hoeffding anti-divergence (Fang, 18 Aug 2025).

2. Definition from regularized Rényi divergences

For correlated sequences, regularization is essential. The regularized Rényi divergence is defined by the block limit

$\{p_n\}$8

and the source material stresses that this blockwise limit is critical in the presence of correlations such as those arising on spin chains (Mosonyi et al., 2014).

On the strong-converse side, the relevant noncommutative Rényi quantity is the sandwiched, or minimal, Rényi divergence for $\{p_n\}$9,

$\{o_n\}$0

Using its regularization over blocks, the regularized quantum Hoeffding anti-divergence for sequences is written in the source material as

$\{o_n\}$1

and the main result identifies this quantity with the strong converse exponent under the paper’s assumptions (Mosonyi et al., 2014).

A related representation given in the same source is

$\{o_n\}$2

where

$\{o_n\}$3

This emphasizes that the anti-divergence is a regularized transform of an asymptotic Rényi generating function (Mosonyi et al., 2014).

For sets of states, the later framework introduces two equivalent finite-$\{o_n\}$4 extensions. One is the supremum of state-wise anti-divergences,

$\{o_n\}$5

with

$\{o_n\}$6

The other is defined directly from the set-valued sandwiched Rényi divergence,

$\{o_n\}$7

where

$\{o_n\}$8

For convex compact sets, Lemma 11 states that these two definitions coincide, and Lemma 12 gives the regularized asymptotic form

$\{o_n\}$9

with

$n$0

These formulas make the set-based regularization explicit (Fang, 18 Aug 2025).

3. Two general routes to equality with the strong converse exponent

The 2014 analysis develops two distinct approaches to proving that the strong converse exponent equals the regularized Hoeffding anti-divergence for correlated states. The first route assumes a factorization property for both state sequences. The second route assumes existence and differentiability of the regularized sandwiched Rényi divergences in the Rényi parameter for $n$1 (Mosonyi et al., 2014).

Under the differentiability route, Theorem IV.5 states that if for every $n$2 the limit defining $n$3 exists and $n$4 is differentiable, then for all $n$5,

$n$6

The source material lists Markov chains, finitely correlated states, and temperature states of non-interacting fermions and bosons as examples to which this approach applies, while the abstract highlights temperature states of non-interacting fermionic lattice systems and classical irreducible Markov chains (Mosonyi et al., 2014).

Under the factorization-property route, Theorem IV.13 states that if both $n$7 and $n$8 satisfy the factorization property, then for all $n$9,

$r < D(p\|o)$0

The abstract gives temperature states of translation-invariant finite-range interactions on a spin chain as typical examples. This route is tailored to correlated many-body systems in which block tensor products control the full sequence up to $r < D(p\|o)$1-independent multiplicative factors (Mosonyi et al., 2014).

These two methods are structurally different. One exploits a quasi-product structure; the other relies on regularized Rényi smoothness. A plausible implication is that the anti-divergence is robust under different kinds of correlation, provided the asymptotic Rényi theory remains sufficiently regular.

4. Set-valued and composite extensions

The set-valued extension treats each hypothesis as a sequence of sets $r < D(p\|o)$2, thereby encompassing composite, adversarial, and correlated testing scenarios. The framework assumes stable sequences of convex compact sets, with stability understood as closure under tensor products, and the regularized anti-divergence is formulated by optimizing over the hardest pairs in the sets or, equivalently for convex compact sets, by inserting the set Rényi divergence into the $r < D(p\|o)$3-optimization (Fang, 18 Aug 2025).

The main strong-converse statement in this setting is Theorem 14: $r < D(p\|o)$4 where $r < D(p\|o)$5 is the minimal worst-case type-I error under the constraint that the worst-case type-II error is at most $r < D(p\|o)$6. The paper therefore provides a lower bound on the strong converse exponent in terms of the regularized quantum Hoeffding anti-divergence, rather than the equality statement available for the correlated singleton sequences treated in the earlier work (Fang, 18 Aug 2025).

The same source emphasizes a sharp transition at the regularized relative entropy. For $r < D(p\|o)$7, the regularized Hoeffding divergence governs the achievable type-I exponent. For $r < D(p\|o)$8, the anti-divergence governs the exponential approach of type-I error to $r < D(p\|o)$9. This refines the generalized quantum Stein’s lemma for composite correlated hypotheses (Fang, 18 Aug 2025).

Framework	Structural assumptions	Asymptotic anti-divergence statement
Correlated state sequences $r > D(p\|o)$0	Factorization property, or existence and differentiability of regularized sandwiched Rényi divergences	$r > D(p\|o)$1
Stable sequences of convex compact sets $r > D(p\|o)$2	Stability under tensor products; convex compactness for minimax equalities	$r > D(p\|o)$3

A common misconception is that composite generalization merely replaces single states by worst-case pairs without changing the asymptotic structure. The set-based theory shows that regularization, stability, and minimax equivalences are central, and that the strongest available conclusion in the cited work is a lower bound in the strong converse regime rather than a universal exact formula (Fang, 18 Aug 2025).

5. Explicit models and computable instances

The earlier work gives physically relevant correlated models in which the anti-divergence can be identified explicitly. For translation-invariant finite-range Gibbs states on a spin chain, the finite-volume Gibbs state is written as

$r > D(p\|o)$4

These states satisfy the factorization property, so Theorem IV.13 applies. Theorem V.2 states that for any two such Gibbs states at temperatures $r > D(p\|o)$5, and for any $r > D(p\|o)$6,

$r > D(p\|o)$7

This provides a direct strong-converse formula for a class of correlated thermal states (Mosonyi et al., 2014).

For translation-invariant quasi-free fermionic lattice states, the source material considers symbols $r > D(p\|o)$8 and $r > D(p\|o)$9 describing states $1$0 and $1$1. Under the assumptions $1$2, the regularized sandwiched Rényi divergences exist and are explicitly computable using generalized Szegő’s theorem for block Toeplitz operators. Theorem V.5 states that for all $1$3,

$1$4

where

$1$5

Here $1$6 and $1$7 are the symbols, i.e. Fourier transforms, of $1$8 and $1$9 (Mosonyi et al., 2014).

The same framework also recovers known results for classical i.i.d. models and irreducible Markov chains, as noted in Appendix D of the paper. This places the regularized quantum Hoeffding anti-divergence on a continuum from classical correlated processes to quantum many-body systems (Mosonyi et al., 2014).

6. Relation to other divergences and later developments

The anti-divergence sits within a broader split between the direct and strong-converse regimes. One later perspective proves that a “parent” quantum Rényi divergence obtained from an integral representation regularizes to the Petz Rényi divergence for $r > D(p\|o)$0 and to the sandwiched Rényi divergence for $r > D(p\|o)$1. The source explicitly notes that this split matches operational regimes: Petz governs error exponents for $r > D(p\|o)$2, while sandwiched governs strong converse exponents for $r > D(p\|o)$3 (Hirche et al., 2023).

A closely related operational observation is that, for $r > D(p\|o)$4, the regularized measured Rényi divergence and the regularized test-measured Rényi divergence both coincide with the sandwiched Rényi divergence, and sequences of two-outcome measurements suffice to attain the regularized value. For $r > D(p\|o)$5, by contrast, the regularized test-measured quantity is in general strictly smaller, even for commuting states. This asymmetry clarifies why sandwiched Rényi divergences appear naturally on the anti-divergence side of binary testing (Mosonyi et al., 2022).

Computationally, a convex-optimization-based divergence $r > D(p\|o)$6 for $r > D(p\|o)$7 has the property that its regularization equals the sandwiched Rényi divergence. That result yields a converging hierarchy of upper bounds on regularized sandwiched Rényi divergences for channels and is used to characterize the strong converse exponent for channel discrimination in terms of

$r > D(p\|o)$8

This suggests a computational route to strong-converse quantities structurally analogous to regularized Hoeffding anti-divergence (Fawzi et al., 2020).

The composite setting also shows that the governing divergence need not be invariant under changes in hypothesis structure. In a different composite Hoeffding problem, involving a thermal equilibrium state versus a probe state subject to unknown dephasing in the energy eigenbasis, the optimal Hoeffding exponent is given exactly by the reverse sandwiched Rényi divergence on a single copy. The source emphasizes that passing from simple to composite hypotheses can fundamentally change which quantum divergence determines the operational limit of discrimination (Hayashi et al., 4 May 2026).

A further extension allows an inconclusive outcome in hypothesis testing. There, anti-divergence quantities built from sandwiched Rényi divergences quantify the rate at which the probability of conclusive outcomes must decay when one targets error exponents beyond those achievable with vanishing inconclusiveness. This preserves the strong-converse character of anti-divergence, but in a postselected testing geometry (Ji et al., 8 Oct 2025).

Taken together, these developments support a precise picture. Regularized quantum Hoeffding anti-divergence is the canonical asymptotic quantity for the strong-converse side of asymmetric discrimination when regularized $r > D(p\|o)$9 Rényi theory is the relevant asymptotic language. What varies across frameworks is not the existence of a strong-converse object, but the structural assumptions under which it is exact, the level at which regularization must be performed, and the particular Rényi divergence that survives as the operationally controlling limit.