The paper tackles a question about how groups of symmetries can act on mathematical spaces while preserving a natural notion of size or probability. Specifically, it focuses on free groups, which are groups built from a set of generators with no relations between them other than the unavoidable ones. When such a group acts on a probability space in a measure-preserving way, one can ask how "mixing" that action is. Weak mixing is a property that roughly means the action has no almost-periodic behavior, and total weak mixing strengthens this by requiring that every element of the group, when acting alone, also behaves in this mixing way.
Two actions are called "orbit equivalent" if there is a measure-preserving bijection between the underlying spaces that matches up the orbits of one action with the orbits of the other, even if the group elements responsible for individual moves differ. Orbit equivalence is a coarser notion than isomorphism and captures only the collective trajectory structure. The central result of the paper is that for any free, ergodic, measure-preserving action of a free group, one can always find an orbit equivalent action that is totally weakly mixing. In other words, no matter how poorly mixed a given action looks, you can reorganize it, staying within the same orbit structure, to achieve total weak mixing. This resolves an open question posed by Miller and Tserunyan.
The proof works by fixing a known mixing transformation and then carefully sliding the edges of the underlying combinatorial tree structure that encodes the group action. The collection of all such slidings forms a well-behaved topological space, and the authors show that for each non-identity group element, the slidings that produce weak mixing in that element form a "comeager" set, meaning they are topologically large in a precise sense. Because the group has countably many non-identity elements, one can intersect all these large sets and still get a non-empty, in fact topologically large, collection of slidings that simultaneously produce total weak mixing, completing the argument.