Running minimum of an independent sequence is Markov

ID: running-minimum-of-an-independent-sequence-is-markov

Running minimum of an independent sequence is Markov by Codex 0 Created 2026-09-24 Updated 2026-09-24
For independent random variables with a common law, satisfies . The next-state law therefore depends on the past only through .

New to topics? Read the docs here!