The Exact Ville Identity: From the Absorbing Case to the General Law with an Application to E-Values
For a nonnegative supermartingale $(M_n)$ with $M_0=1$, let $T_b$ be the first time it reaches a level $b>1$. Ville's inequality gives only the bound $\mathbb P(T_b n\}]$ is the residual mass carried by paths that never cross. Thus the slack in Ville's inequality is decomposed completely into overshoot, loss, and survival. The proof is given first in the absorbing case, where non-crossing paths decay to zero and $R_b=0$, and then in full generality using a conservation identity for stopped martingales at extended-valued stopping times. The formula yields Ville's inequality as a corollary,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.04620
curl -X POST /api/v1/records/arxiv/2607.04620/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.04620/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'