---
title: Microcanonical Optimal E-Variable
url: https://www.emergentmind.com/topics/microcanonical-optimal-e-variable
type: topic
---

# Microcanonical Optimal E-Variable

Searching arXiv for the cited papers to ground the article and citations.
A microcanonical optimal e-variable is an optimal e-variable under hard structural constraints, interpreted in analogy with microcanonical ensembles in statistical physics, where quantities are fixed rather than optimized only in expectation. In the contemporary e-variable literature, this notion has two closely related realizations. First, it denotes a growth-rate optimal e-variable subject to constraints such as boundedness, quantization, fixed moments, or local differential privacy; in this sense, the phrase itself is not used explicitly in “Optimal e-variables under constraints,” but the paper identifies exactly this optimize-under-hard-constraints problem and shows that the solution is often obtained by transforming the unconstrained optimal likelihood ratio [2604.21680]. Second, it denotes a growth-rate optimal e-variable for microcanonical maximum entropy models, where sufficient statistics are fixed exactly and the resulting model is uniform on the constraint surface [2509.01064].

## 1. E-variables, evidence, and log-growth optimality

An e-variable for a null hypothesis \(H_0\) is a nonnegative random variable \(E(X)\) satisfying
\[
\sup_{P_0 \in H_0} \mathbb{E}_{P_0}[E] \le 1.
\]
Its realized value is an e-value. By Markov’s inequality,
\[
P_0(E \ge 1/\alpha) \le \alpha
\]
for all \(P_0 \in H_0\), so thresholding at \(1/\alpha\) yields a level-\(\alpha\) test. In sequential settings, one works with e-processes, that is, nonnegative supermartingales under the null, which preserve validity under continuous monitoring and optional stopping [2604.21680].

The canonical optimality criterion for e-variables is expected logarithmic growth. In the simple-vs-simple case with densities \(p_0,p_1\), the likelihood ratio
\[
L(X) = \frac{p_1(X)}{p_0(X)}
\]
is valid under \(P_0\) and maximizes \(\mathbb{E}_{P_1}[\log E]\) among all e-variables. In composite settings, one passes to worst-case log-growth:
\[
\sup_{E\in\mathcal{E}(\mathcal{P}_0)} \inf_{P_1\in\mathcal{P}_1}\mathbb{E}_{P_1}[\log E].
\]
When a least favorable distribution pair \((P_0^*,P_1^*)\) exists, the canonical growth-rate optimal e-variable is the likelihood ratio \(L^* = dP_1^*/dP_0^*\) [2604.21680].

A complementary general result is the numeraire e-variable. For an arbitrary composite null \(\mathcal{P}\) and point alternative \(\mathsf{Q}\), there exists a strictly positive e-variable \(X^*\) such that
\[
\mathbb{E}_{\mathsf{Q}}[X/X^*] \le 1
\quad \text{for every e-variable } X.
\]
Hence
\[
\mathbb{E}_{\mathsf{Q}}\!\left[\log \frac{X}{X^*}\right] \le 0,
\]
so \(X^*\) is log-optimal. The same construction induces a sub-probability measure \(\mathsf{P}^*\) via \(d\mathsf{P}^*/d\mathsf{Q}=1/X^*\), connecting log-optimal e-variables to reverse information projection [2402.18810].

## 2. The microcanonical viewpoint

The microcanonical interpretation arises when admissible e-variables are restricted by hard structural conditions. “Optimal e-variables under constraints” studies four such classes: local differential privacy, quantization, boundedness, and bounded convex integral constraints. The paper explicitly interprets this as analogous to a microcanonical viewpoint, because the admissible class is restricted by almost-sure range constraints, discrete support, or hard integral restrictions rather than by unconstrained optimization over all e-variables [2604.21680].

This perspective is also natural on the hypothesis side. “E-variables for hypotheses generated by constraints” defines
\[
\mathcal{P}(\Phi)
=
\Big\{
\mu\in\mathcal{P}_1 :
\int |f|\,d\mu < \infty
\text{ and }
\int f\,d\mu \le 0
\text{ for all } f\in\Phi
\Big\},
\]
so null classes are generated by measurable expectation constraints. Equality constraints are encoded by including both \(f\) and \(-f\) in \(\Phi\). This makes microcanonical hypotheses—fixed energy, fixed conserved quantities, or hard support restrictions—instances of constraint-generated hypotheses [2504.02974].

A microcanonical optimal e-variable is therefore not merely any valid e-variable for such a null. It is a valid e-variable that is optimal relative to a specified criterion—typically worst-case expected log-growth, or more generally expected utility—within a constrained admissible class. This suggests a unifying interpretation: microcanonical optimality concerns evidence variables that are simultaneously safe under the null and extremal within a hard feasibility set [2604.21680].

## 3. Optimize-then-constrain

The central structural result is the optimize-then-constrain principle. Suppose \(\mathcal{P}_0,\mathcal{P}_1\) admit a least favorable distribution pair \((P_0^*,P_1^*)\), with canonical likelihood ratio
\[
L^*(X) = \frac{dP_1^*}{dP_0^*}(X).
\]
Let \(\mathcal{E}'(\mathcal{P}_0)\subset\mathcal{E}(\mathcal{P}_0)\) be a constrained class, such as bounded or quantized e-variables. The constrained growth-rate problem is
\[
\sup_{E\in\mathcal{E}'(\mathcal{P}_0)}
\inf_{P_1\in\mathcal{P}_1}
\mathbb{E}_{P_1}[\log E].
\]
Theorem 6.1 of [2604.21680] states that if the simple-vs-simple constrained optimizer for \((P_0^*,P_1^*)\) has the form
\[
E^*(X)=\psi(L^*(X))
\]
for some non-decreasing \(\psi\), then this same \(E^*\) is constrained GROW-optimal for the full composite problem, and
\[
\sup_{E\in\mathcal{E}'(\mathcal{P}_0)}
\inf_{P_1\in\mathcal{P}_1}\mathbb{E}_{P_1}[\log E]
=
\inf_{P_1\in\mathcal{P}_1}\mathbb{E}_{P_1}[\log E^*]
=
\mathbb{E}_{P_1^*}[\log E^*].
\]

The significance is precise. One first solves the unconstrained canonical problem by identifying the least favorable pair and its likelihood ratio. One then enforces the structural constraint by monotone post-processing of that likelihood ratio. The constrained problem does not require solving for a new least favorable distribution pair. In the terminology suggested by the paper’s interpretation, the microcanonical optimal e-variable is obtained by constraining the canonical one rather than by replacing it [2604.21680].

This principle also clarifies a frequent misconception. Structural constraints do not, in general, force a new minimax analysis at the level of hypotheses. Under the theorem’s monotonicity condition, the constrained optimum is a post-processing of the unconstrained optimum, not a fundamentally different object.

## 4. Explicit constrained constructions

The constrained optimizers studied in [2604.21680] are all monotone transforms of the unconstrained likelihood ratio. In that sense, they are explicit microcanonical optimal e-variables.

| Constraint class | Optimal form | Structural effect |
|---|---|---|
| Binary quantization | Thresholded step function of \(L\) | Discrete support |
| Bounded range \([c_1,c_2]\) | Clipped rescaled likelihood ratio | Hard range constraint |
| Convex integral constraint | Implicit monotone transform of \(L\) | Moment-like control |
| Binary-output LDP | Thresholded randomized mechanism on \(L\) | Channel/privacy constraint |

For binary quantization, the optimal constrained e-variable takes values in \(\{u_0,u_1\}\) and has the form
\[
E^*(X)=
\begin{cases}
u_1 & \text{if } L(X)>t^*,\\
u_0 & \text{if } L(X)\le t^*.
\end{cases}
\]
The levels and threshold satisfy
\[
u_1 = \frac{P_1(L(X)>t^*)}{P_0(L(X)>t^*)},
\qquad
u_0 = \frac{P_1(L(X)\le t^*)}{P_0(L(X)\le t^*)},
\]
and
\[
t^*=\frac{u_1-u_0}{\log u_1-\log u_0}.
\]
This is a genuine hard-level construction: the likelihood ratio determines which of two admissible e-values is assigned [2604.21680].

For boundedness, with \(c_1\le E\le c_2\) almost surely and \(0\le c_1\le 1\le c_2<\infty\), the unique optimizer is
\[
E^*(X)
=
\min\!\Big(c_2,\ \max\big(c_1,\ L(X)/\lambda^*\big)\Big),
\]
where \(\lambda^*>0\) is chosen so that \(\mathbb{E}_{P_0}[E^*]=1\). This is exactly a clipping operation applied to the canonical likelihood ratio. It is the clearest example of a microcanonical-style e-variable in the sense of an almost-sure hard bound [2604.21680].

For convex integral constraints, one maximizes \(\mathbb{E}_{P_1}[\log E]\) subject to
\[
\mathbb{E}_{P_0}[E]\le 1,
\qquad
\mathbb{E}_{P_0}[\phi(E)]\le C,
\]
where \(\phi\) is strictly convex and superlinear. The optimizer is unique and satisfies
\[
\frac{L}{E^*} = \lambda + \gamma\,\phi'(E^*)
\quad P_0\text{-a.s.}
\]
for some \(\lambda\in\mathbb{R}\) and \(\gamma\ge 0\). Hence \(E^*=\psi(L)\) for a strictly increasing \(\psi\). In the special case \(\phi(x)=x^2\),
\[
E^* = \frac{\sqrt{\lambda^2 + 8\gamma L} - \lambda}{4\gamma}.
\]
This is again a constrained variational transform of the canonical likelihood ratio [2604.21680].

Local differential privacy is a channel constraint rather than a moment or support constraint, but it fits the same logic. For binary outputs \(Y\in\{0,1\}\), the optimal \(\varepsilon\)-LDP mechanism thresholds the likelihood ratio:
\[
Q(1\mid x)=
\begin{cases}
\frac{e^\epsilon}{e^\epsilon+1} & \text{if } \frac{dP_1}{dP_0}(x)>t,\\
\frac{1}{e^\epsilon+1} & \text{if } \frac{dP_1}{dP_0}(x)\le t.
\end{cases}
\]
The resulting constrained e-variable is the likelihood ratio of the induced Bernoulli marginals. The paper emphasizes that this induced e-value can be written as a randomized post-processing of the unconstrained likelihood ratio [2604.21680].

## 5. Constraint-generated hypotheses and maximum entropy microcanonical models

Constraint-generated hypothesis theory gives a broad abstract characterization of microcanonical admissibility. For a null \(\mathcal{P}(\Phi)\), the set of all e-variables is
\[
\mathcal{E}(\mathcal{P})
=
\Big\{
h:\Omega\to[0,\infty]
\ \Big|\
h = 1 + f
\ \mathcal{P}\text{-q.s. for some } f\in\overline{\mathcal{C}^\Phi}
\Big\},
\]
where \(\mathcal{C}^\Phi=\mathrm{cone}(\Phi)-\mathcal{L}^\Phi_p\). For finitely generated hypotheses \(\Phi=\{g_1,\dots,g_d\}\), maximal e-variables are of the form
\[
E(x)=1+\sum_{i=1}^d \pi_i g_i(x),
\]
with \(\pi\in\mathbb{R}_+^d\) satisfying the nonnegativity constraint. Under the paper’s constraint qualification, every such function is maximal. The same framework yields existence and uniqueness of optimal e-variables under a large class of expected utility-based objective functions [2504.02974].

This abstract theory is realized concretely in “Testing maximum entropy models with e-values,” where both null and alternative are microcanonical maximum entropy models. For sufficient statistic \(\mathbf{c}(\mathbf{x})\), the microcanonical model is
\[
P_\textrm{mic}(\mathbf{x};\mathbf{c})=
\begin{cases}
\frac{1}{\Omega(\mathbf{c})}, & \text{if } \mathbf{c}(\mathbf{x})=\mathbf{c},\\
0, & \text{else},
\end{cases}
\]
with multiplicity
\[
\Omega(\mathbf{c})
=
\sum_{\mathbf{x}\,:\,\mathbf{c}(\mathbf{x})=\mathbf{c}} 1.
\]
For microcanonical null and alternative models equipped with priors \(W_0,W_1\) on sufficient statistics, the exact GRO e-variable is
\[
S^\text{GRO}_{\text{mic}}(\mathbf{x})
=
\frac{\Omega_0(\mathbf{c}_0(\mathbf{x}))}{\Omega_1(\mathbf{c}_1(\mathbf{x}))}
\frac{W_1(\mathbf{c}_1(\mathbf{x}))}{W_0^*(\mathbf{c}_0(\mathbf{x}))},
\]
where
\[
W_0^*(\mathbf{c}_0)
=
\sum_{\mathbf{x}\,:\,\mathbf{c}_0(\mathbf{x})=\mathbf{c}_0}\bar{P}_1(\mathbf{x}).
\]
Under Condition A, namely when there exists \(f:\mathcal{C}_1\to\mathcal{C}_0\) such that \(\mathbf{c}_0(\mathbf{x})=f(\mathbf{c}_1(\mathbf{x}))\), this simplifies to
\[
W_0^*(\mathbf{c}_0)
=
\sum_{\mathbf{c}_1\,:\,f(\mathbf{c}_1)=\mathbf{c}_0} W_1(\mathbf{c}_1).
\]
The paper also proves directly that
\[
\mathbb{E}_0[S^\text{GRO}_{\text{mic}}]=1
\quad \forall P_{\text{mic},0}\in\mathcal{M}_{\text{mic},0},
\]
and establishes that every microcanonical e-variable is automatically a canonical e-variable for the corresponding canonical model with the same sufficient statistic [2509.01064].

In this maximum-entropy setting, the term “microcanonical optimal e-variable” is literal rather than interpretive: it is the exact growth-rate optimal e-variable for testing one hard-constraint maximum entropy model against another.

## 6. Special cases, applications, and limits of the concept

The bounded-mean problem provides a particularly transparent microcanonical example. For testing the mean of a bounded random variable on \([a,b]\), every e-variable for the null \(\mathcal{P}=\{P:\mathbb{E}_P[X]=\mu_0\}\) is pointwise dominated by a coin-betting e-variable
\[
E_\alpha(x)=1+\alpha(x-\mu_0),
\qquad
\alpha\in I_{\mu_0}=[(\mu_0-b)^{-1},(\mu_0-a)^{-1}].
\]
For several composite alternatives, the GROW- and REGROW-optimal parameters are explicit. The paper interprets these constructions as “microcanonical” because optimization is carried out over all distributions with fixed mean and support; the least favorable alternatives are extreme distributions within that constrained set [2601.11347].

A second important example is conditioning in \(k\)-sample exponential-family tests. Let \(Z=\sum_{i=1}^k X_i\), where \(X_i\) are sufficient statistics. Under the null hypothesis that all samples share the same parameter, the conditional distribution of \(X^{k-1}\mid Z\) is independent of the common null parameter. The conditional likelihood ratio
\[
S_{\text{cond}}(X)
=
\frac{p_\mu(X^{k-1}\mid Z)}{p_{\mu_0}(X^{k-1}\mid Z)}
\]
is therefore an e-variable. The paper explicitly interprets conditioning on the sum of sufficient statistics as a microcanonical construction, and in the Gaussian location, Poisson, and Bernoulli cases this conditional e-variable coincides with the globally GRO e-variable [2303.00471].

The relation between microcanonical and canonical viewpoints is not purely terminological. In minimum-description-length comparisons of canonical and microcanonical models, microcanonical models always have higher likelihood but also higher complexity, so model choice is non-trivial and depends on the empirical values of the constraints. In the thermodynamic limit, the difference in description length per node vanishes for equivalent models but persists when ensembles are non-equivalent [2307.05645]. A plausible implication is that a microcanonical optimal e-variable should not be conflated with a universally superior evidence measure across canonical and microcanonical model classes; optimality is always relative to a specified null, alternative, and admissible class.

Two misconceptions are therefore best avoided. First, a microcanonical optimal e-variable is not just any e-variable defined on a hard-constrained hypothesis; it is an optimizer for a stated utility or log-growth criterion. Second, microcanonical structure does not imply that optimization must be redone from first principles each time a new hard constraint is imposed. The optimize-then-constrain theorem shows that, in many composite problems, the constrained optimum is a monotone post-processing of the unconstrained least-favorable likelihood ratio [2604.21680].

Under these interpretations, the subject has a coherent core. A microcanonical optimal e-variable is a valid evidence variable adapted to a hard feasibility set—exact sufficient statistics, bounded range, discrete values, moment restrictions, or privacy channels—and chosen so as to be extremal for a formal growth or utility criterion. The concept links least favorable distributions, likelihood-ratio optimality, reverse information projection, maximum entropy modeling, and safe sequential inference into a single constrained evidence framework [2402.18810].

Source: https://www.emergentmind.com/topics/microcanonical-optimal-e-variable