A zero-one law for linear transformations of Levy noise

Abstract

A Lévy noise on $\mathbb{R}^d$ assigns a random real "mass" $Π(B)$ to each Borel subset $B$ of $\mathbb{R}^d$ with finite Lebesgue measure. The distribution of $Π(B)$ only depends on the Lebesgue measure of $B$, and if $B_1, ..., B_n$ is a finite collection of pairwise disjoint sets, then the random variables $Π(B_1), ..., Π(B_n)$ are independent with $Π(B_1 \cup >... \cup B_n) = Π(B_1) + ... + Π(B_n)$ almost surely. In particular, the distribution of $Π\circ g$ is the same as that of $Π$ when $g$ is a bijective transformation of $\mathbb{R}^d$ that preserves Lebesgue measure. It follows from the Hewitt--Savage zero--one law that any event which is almost surely invariant under the mappings $Π\mapsto Π\circ g$ for every Lebesgue measure preserving bijection $g$ of $\mathbb{R}^d$ must have probability 0 or 1. We investigate whether certain smaller groups of Lebesgue measure preserving bijections also possess this property. We show that if $d \ge 2$, the Lévy noise is not purely deterministic, and the group consists of linear transformations and is closed, then the invariant events all have probability 0 or 1 if and only if the group is not compact.