---
title: E-Process in Sequential Inference
url: https://www.emergentmind.com/topics/e-process
type: topic
---

# E-Process in Sequential Inference

An e-process is a nonnegative adapted process whose value at every finite stopping time is an e-value, that is, a nonnegative random variable with null expectation at most \(1\). In discrete-time sequential inference, this optional-stopping formulation makes e-processes a canonical evidential object: thresholding an e-process at \(1/\alpha\) yields a level-\(\alpha\) sequential test, and recent work shows not only that every valid sequential test can be represented by thresholding some e-process, but also that asymptotically optimal tests can be aggregated into asymptotically log-optimal e-processes through WAIT constructions. A related asymptotic theory extends the concept to bi-indexed approximate processes \(E_{m,n}\) that recover e-process behavior only in the limit as an approximation parameter \(m\to\infty\) [2605.12720] [2604.19353].

## 1. Formal definition and probabilistic framework

The basic setting is a discrete-time filtered probability space
\[
(\Omega,\mathcal F,(\mathcal F_t)_{t\in\mathbb N_0}),
\]
with \(\mathbb N_0=\{0,1,2,\dots\}\), and a composite null hypothesis represented by a family \(\mathcal P\) of probability measures on \((\Omega,\mathcal F)\). A sequential test at level \(\alpha\) is a stopping time \(\tau_\alpha\) such that
\[
\sup_{P\in\mathcal P}P(\tau_\alpha<\infty)\le \alpha.
\]

An e-value is a nonnegative random variable \(E\ge 0\) satisfying
\[
\sup_{P\in\mathcal P}\mathbb E_P[E]\le 1.
\]
The sequential analogue is an e-process. In the discrete-time definition adopted in the recent optimality literature, a nonnegative adapted process \(M=(M_t)_{t\in\mathbb N_0}\) is a \(\mathcal P\)-e-process if
\[
\mathbb E_P[M_\sigma]\le 1
\quad\text{for every }P\in\mathcal P\text{ and every finite }(\mathcal F_t)\text{-stopping time }\sigma.
\]
Equivalently, \(M_\sigma\) is an e-value for every finite stopping time \(\sigma\).

Two technical features are emphasized in this formulation. First, an e-process may start at \(0\) and need not be strictly positive. Second, strict positivity can be imposed without changing asymptotic log-growth by the transformation
\[
M_t^{(\eta)}:=\eta+(1-\eta)M_t,\qquad \eta\in(0,1),
\]
since \(\mathbb E_P[M_\sigma^{(\eta)}]\le 1\) for every finite stopping time \(\sigma\), and if \(M_t\to\infty\), then the asymptotic quantity \(\frac1t\log M_t\) is unchanged [2605.12720].

## 2. Thresholding, Ville validity, and representation of sequential tests

The operational link between e-processes and testing is thresholding. For a \(\mathcal P\)-e-process \(M\) and \(\alpha\in(0,1)\), define
\[
T_\alpha(M):=\inf\{t\in\mathbb N_0:M_t\ge 1/\alpha\}.
\]
Ville’s inequality for nonnegative supermartingales then yields
\[
P(T_\alpha(M)<\infty)\le \alpha
\qquad\text{for all }P\in\mathcal P.
\]
Thus every e-process induces a family of level-\(\alpha\) sequential tests.

A complementary completeness statement goes in the opposite direction: every level-\(\alpha\) sequential test can be recovered by thresholding some e-process at \(1/\alpha\). At the level of Type-I validity, e-processes therefore form a complete representation of sequential tests. The statistical interpretation is that a sequential test is a stopping rule, whereas an e-process is a running evidence or capital process against the null; rejection occurs when the accumulated e-evidence reaches \(1/\alpha\).

This representational equivalence does not, by itself, impose any efficiency requirement. A test may be encoded by a crude process—for example, by an indicator-like construction that remains near \(0\) until the stopping time and then jumps—without having useful growth behavior under alternatives. The recent optimality theory is concerned precisely with when such representations can be made asymptotically efficient on the logarithmic scale [2605.12720].

## 3. Optimality notions for tests and e-processes

For a decreasing sequence of levels \(\alpha_k\downarrow 0\), it is standard to set
\[
b_k:=\log(1/\alpha_k),
\]
so that \(b_k\uparrow\infty\). Under an alternative distribution \(Q\) and benchmark information rate \(I\in(0,\infty)\), the strongest test optimality notion used in the recent converse theorem is the almost-sure first-order rate
\[
\frac{\tau_k}{b_k}\longrightarrow \frac{1}{I}
\qquad\text{almost surely under }Q.
\]
The same work distinguishes weaker notions: rate in probability, \(L^1(Q)\)-rate, and expectation-rate. The implications are asymmetric. Almost-sure rate implies in-probability rate; \(L^1\)-rate implies both in-probability rate and expectation optimality; expectation-rate alone is substantially weaker.

For e-processes, the corresponding efficiency criterion is logarithmic growth under an alternative. If \(E=(E_t)\), its log-growth rate under \(Q\) is the limit, when it exists,
\[
\lim_{t\to\infty}\frac{1}{t}\log E_t.
\]
If this limit equals \(I(Q)\), the process is log-optimal under \(Q\). More generally, for \(\rho\in[0,1]\), an e-process is \(\rho\)-log-efficient if the rate equals \(\rho I(Q)\).

Threshold tests inherit these growth properties. If \(E\) is nondecreasing, finite-valued, and satisfies
\[
\frac{\log E_t}{t}\to L
\]
almost surely or in probability under \(Q\), then its threshold times
\[
T_\alpha(E):=\inf\{t\in\mathbb N_0:E_t\ge 1/\alpha\}
\]
satisfy
\[
\frac{T_\alpha(E)}{\log(1/\alpha)}\to \frac{1}{L}
\]
with the same mode of convergence. This gives one direction of optimality transfer: log-optimal e-processes yield asymptotically optimal sequential tests. The converse direction is subtler and depends on explicit aggregation constructions.

A major nuance is that expectation optimality alone does not control aggregated growth. An appendix counterexample constructs tests with
\[
\frac{\mathbb E_Q[\tau_k]}{b_k}\to \frac{1}{I}
\]
but without convergence in probability of \(\tau_k/b_k\); the associated aggregate then has a random limiting log-rate \(\rho I/Y\) for a nondegenerate random variable \(Y\), rather than a deterministic limit [2605.12720].

## 4. WAIT e-processes and the converse optimality theorem

The main constructive device is the WAIT e-process, where WAIT stands for **Weighted Aggregates of Indicators of stopping Times**. Let \(\tau_k=\tau_{\alpha_k}\) be level-\(\alpha_k\) sequential tests satisfying
\[
\sup_{P\in\mathcal P}P(\tau_k<\infty)\le \alpha_k,
\]
and choose nonnegative weights \(w_k\ge 0\), not all zero, subject to the budget constraint
\[
\sum_{k=1}^\infty w_k\alpha_k\le 1.
\]
The associated aggregate is
\[
M_t:=\sum_{k=1}^\infty w_k\,\mathbf 1\{\tau_k\le t\}.
\]

This process is nondecreasing, starts at \(0\), and is a valid \(\mathcal P\)-e-process. The proof is direct:
\[
\mathbb E_P[M_\sigma]
=\sum_k w_k P(\tau_k\le \sigma)
\le \sum_k w_k\alpha_k
\le 1
\]
for every finite stopping time \(\sigma\). The deterministic object governing its asymptotic growth is the cumulative weight profile
\[
W(x):=\sum_{k:b_k\le x}w_k.
\]
Under the budget constraint, one always has \(W(x)\le e^x\), so whenever
\[
\frac{\log W(x)}{x}\to \rho,
\]
necessarily \(\rho\le 1\).

The central theorem states that if the tests have almost-sure rate \(I\) under an alternative \(Q\),
\[
\frac{\tau_k}{b_k}\to \frac1I
\qquad Q\text{-a.s.,}
\]
and the profile satisfies \(W(x)\to\infty\) and
\[
\frac{\log W(x)}{x}\to \rho\in[0,1],
\]
then the WAIT aggregate obeys
\[
\frac1t\log M_t\to \rho I
\qquad Q\text{-a.s.}
\]
This yields the converse to the earlier thresholding direction: asymptotically optimal tests can be aggregated into asymptotically log-optimal e-processes. When the profile is full-rate, \(\rho=1\), the WAIT process is log-optimal. The proof is based on a pathwise sandwich that compares \(M_t(\omega)\) to \(W(It/(1\pm\varepsilon))\) up to finite additive constants [2605.12720].

## 5. Weight schedules, profile design, and explicit rates

The WAIT theorem reduces growth design to the choice of levels \((\alpha_k)\) and weights \((w_k)\). In the unweighted case \(w_k\equiv 1\), the relevant profile becomes
\[
N(x):=\#\{k:b_k\le x\},
\]
and if
\[
\frac{\log N(x)}{x}\to \rho,
\]
then the counting process
\[
B_t:=\sum_{k=1}^\infty \mathbf 1\{\tau_k\le t\}
\]
satisfies \(\frac1t\log B_t\to \rho I\).

Several explicit schedules illustrate how profile design governs efficiency. With dyadic levels \(\alpha_k=2^{-k}\), one has \(b_k=k\log 2\), hence \(\log N(x)/x\to 0\); the resulting unweighted aggregate has log-rate \(0\). With power-law levels \(\alpha_k\propto k^{-(1+\varepsilon)}\), one gets \(b_k=(1+\varepsilon)\log k+O(1)\), so \(\log N(x)/x\to 1/(1+\varepsilon)\), giving log-growth rate \(I/(1+\varepsilon)\). By contrast, log-corrected schedules
\[
\alpha_k\propto \frac{1}{k(\log k)^p},\qquad p>1,
\]
satisfy \(b_k=\log k+p\log\log k+O(1)\) and \(b_k/\log k\to 1\); the corresponding unweighted process achieves the full rate \(I\). An iterated-log schedule of the form
\[
\alpha_k\propto \frac{1}{k\log k(\log\log k)^2}
\]
also attains full rate.

A notable weighted construction rescues the dyadic grid. For \(\alpha_k=2^{-k}\), choosing
\[
w_k=\frac{6}{\pi^2}\frac{2^k}{k^2}
\]
saturates the validity budget, since \(\sum_k w_k\alpha_k=1\), and produces a profile with \(\log W(x)/x\to 1\). The resulting weighted dyadic WAIT process is therefore a \(\mathcal P\)-e-process with
\[
\frac1t\log M_t\to I
\qquad Q\text{-a.s.,}
\]
showing that geometric level schedules need not be intrinsically suboptimal; the decisive factor is the cumulative weight profile rather than the level grid alone [2605.12720].

## 6. Asymptotic e-processes and approximate sequential validity

An asymptotic e-process is a bi-indexed process
\[
(E_{m,n})_{m,n\in\mathbb N}
\]
designed for settings in which exact e-variables are unavailable because of model misspecification, nuisance estimation, or other approximation error. Here \(m\) is an approximation index and \(n\) is the monitoring time. Because approximation error can accumulate over \(n\), validity is indexed by a monitoring horizon sequence \(r=(r_m)\).

The defining notion is uniform strong \(r\)-asymptotic validity. If \(\tau=(\tau_m)\) ranges over stopping-time sequences with \(\tau_m\le r_m\) almost surely under every null \(P\in\mathcal P\), then \(E\) is a uniformly strongly \(r\)-asymptotic e-process when
\[
\limsup_{m\to\infty}\sup_{P\in\mathcal P}\mathbb E_P[E_{m,\tau_m}]\le 1.
\]
This is the asymptotic counterpart of the optional-stopping definition of an exact e-process.

The corresponding asymptotic Ville inequality states that for every \(\alpha\in(0,1)\),
\[
\limsup_{m\to\infty}\sup_{P\in\mathcal P}
P\!\left(\sup_{n\in\{0,\dots,r_m\}}E_{m,n}\ge 1/\alpha\right)\le \alpha.
\]
Thus one obtains asymptotic anytime-validity, but only up to the horizon \(r_m\) permitted by the approximation quality.

A major structural tool is the asymptotic supermartingale property (ASP), defined through the conditional drift
\[
\delta_{m,n}:=\mathbb E_P[E_{m,n+1}\mid \mathcal F_{m,n}]-E_{m,n}.
\]
If for each fixed \(n\),
\[
\lim_{m\to\infty}\sup_{P\in\mathcal P}\mathbb E_P[(\delta_{m,n})^+]=0,
\]
and the process is asymptotically calibrated at time \(0\), then \(E\) is an \(r\)-asymptotic e-process for any horizon sequence satisfying
\[
\lim_{m\to\infty}\sup_{P\in\mathcal P}\mathbb E_P\!\left[\sum_{n=0}^{r_m-1}(\delta_{m,n})^+\right]=0.
\]
For cumulative-product constructions from approximate e-variables with per-step conditional excess bounded by \(d_m\to 0\), this reduces to the explicit requirement
\[
r_m d_m\to 0.
\]

The asymptotic theory also clarifies scope and limits. If \(E_{m,n}\to F_n\) in \(L_1\) uniformly in \(P\) for each fixed \(n\), then the existence of some diverging \(r_m\to\infty\) for which \(E\) is \(r\)-asymptotic is equivalent to the limit process \(F\) being an exact e-process. At the same time, not every asymptotic e-process has the ASP, just as not every exact e-process is a supermartingale. In particular, time-mixture constructions can define asymptotic e-processes whose limits are exact e-processes but not supermartingales. This shows that optional-stopping validity and supermartingale structure, while closely related, are not identical notions [2604.19353].

Source: https://www.emergentmind.com/topics/e-process