A composite generalization of Ville's martingale theorem

03/09/2022
by   Johannes Ruf, et al.
0

We provide a composite version of Ville's theorem that an event has zero measure if and only if there exists a martingale which explodes to infinity when that event occurs. This is a classic result connecting measure-theoretic probability to the sequence-by-sequence game-theoretic probability, recently developed by Shafer and Vovk. Our extension of Ville's result involves appropriate composite generalizations of martingales and measure-zero events: these are respectively provided by “e-processes”, and a new inverse-capital outer measure. We then develop a novel line-crossing inequality for sums of random variables which are only required to have a finite first moment, which we use to prove a composite version of the strong law of large numbers (SLLN). This allows us to show that violation of the SLLN is an event of outer measure zero in this setting and that our e-process explodes to infinity on every such violating sequence, while this is provably not achievable with a martingale.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/11/2022

Information in probability: Another information-theoretic proof of a finite de Finetti theorem

We recall some of the history of the information-theoretic approach to d...
research
04/08/2023

De Finetti's Theorem and Related Results for Infinite Weighted Exchangeable Sequences

De Finetti's theorem, also called the de Finetti-Hewitt-Savage theorem, ...
research
08/20/2020

Generalizing the de Finetti–Hewitt–Savage theorem

The original formulation of de Finetti's theorem says that an exchangeab...
research
07/05/2019

On the Glivenko-Cantelli theorem for the functional empirical process using associated sequences

Using a general strong law of large number proved by Sangare and Lo in ...
research
01/10/2022

Decision Trees with Soft Numbers

In the classical probability in continuous random variables there is no ...
research
09/05/2019

Predictive distributions that mimic frequencies over a restricted subdomain (expanded preprint version)

A predictive distribution over a sequence of N+1 events is said to be "f...
research
08/13/2017

An interactive version of Lovász local lemma: Arthur and Merlin implement Moser's algorithm

Assume we are given (finitely many) mutually independent variables and (...

Please sign up or login with your details

Forgot password? Click here to reset