Smorodinsky’s conjecture on rank-one mixing

Abstract

We prove Smorodinsky’s conjecture: the rank-one transformation, obtained by adding staircases whose heights increase consecutively by one, is mixing.