Integral fluctuation theorem as a martingale identity (non-equilibrium)

Non-equilibrium statistical-mechanics application of L0 martingale theory and optional-stopping. Entropy production Σ_t along a stochastic trajectory in a non-equilibrium steady state has an extremely strong probabilistic structure: the…