Peter Pfaffelhuber

collaborators

3 papers

math.PR2026

A small noise approximation for Muller's Ratchet

Carola Sophia Heinzel, Peter Pfaffelhuber, Anton Wakolbinger

We consider an infinite system of SDEs with Fleming-Viot noise indexed by $k = 0, 1, 2, \dots$ , whose parameters $I^\pm, I^»$ , and $I^½$ are the (deleterious) selection coefficient, the (uni-…

math.PR2026

Optimal strategies in the all-heads coin game

Peter Pfaffelhuber

We study a sequential coin-flipping game: a player starts with $n$ ~coins, each heads with probability~ $p$ , and in each round flips all remaining coins and must set aside at least o…

math.PR2025

Formalization of Brownian motion in Lean

Brownian motion is a building block in modern probability theory. In this paper, we describe a formalization of Brownian motion using the Lean theorem prover. We build on the exist…