{"id":"arxiv/2607.04620","url":"https://arxiv.org/abs/2607.04620","tags":["math.PR"],"score":0,"title":"The Exact Ville Identity: From the Absorbing Case to the General Law with an Application to E-Values","domain":"math.PR","source":"arxiv","authors":["Victor H. de la Pena","Michael J. Klass"],"reviews":0,"subject":"math.PR","summary":"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,…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-06","reactions":{}}