Search papers, labs, and topics across Lattice.
This paper explores the information flow in the trajectory space of nonnegative martingales, deriving exact variational identities applicable at arbitrary random times. The authors recover classical concentration inequalities while quantifying the information discarded by each, revealing that the slack can be expressed in distinct forms across three geometries. Notably, they introduce a "peeking penalty" associated with anticipation at random times, enhancing the understanding of martingale behavior in probabilistic settings.
The exact form of discarded information in concentration inequalities reveals hidden structures in martingale trajectories that can optimize probabilistic testing strategies.
Accounting for information flow on the path space of trajectories of a nonnegative martingale yields exact variational identities for it, even at arbitrary random times. This recovers the widely used classical concentration inequalities, from Ville to PAC-Bayes, and measures what each one discards. The tail a bound controls is itself a relative entropy, resolved by the chain rule into per-step conditional divergences. The discarded slack has an exact form in each of three geometries: a Gibbs tilt for the Azuma-Hoeffding and PAC-Bayes bounds, the crossing itself for Ville's and for pooled tests, and a dominating certificate for the $L^p$ maximal bound. That certificate's optional-stopping deficit resolves per step into Bregman divergences of the running maximum. On a path-time space, the same identity gains one factor that prices anticipation: an arbitrary random time carries an e-process ``peeking penalty.''The partition function can be read as a coalescent--a prefix-sharing probability of independent copies--and geometric mixtures of test martingales gain a pooling benefit for multi-model safe testing.
