Source author record

Lewis Bowen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.DS math.GR math.OA math.PR math.GT math.MG

Catalog footprint

Research overview

33works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2025arXiv

Algebraic dynamical systems from LDPC codes satisfy a strong negation of the weak Pinsker property

We construct an explicit algebraic example of a subshift of finite type over a group $Γ$ with an invariant Markov measure which has completely positive sofic entropy (with respect to `most' sofic approximations) and yet does not have a direct Bernoulli factor, because its model spaces shatter into exponentially many clusters of sub-exponential size. The example and its analysis are related to random low-density parity-check (LDPC) codes.

preprint2022arXiv

Entropy for actions of free groups under bounded orbit-equivalence

The $f$ -invariant is a notion of entropy for probability-measure-preserving actions of free groups. We show it is invariant under bounded orbit-equivalence.

preprint2021arXiv

Sofic homological invariants and the Weak Pinsker Property

A probability-measure-preserving transformation has the Weak Pinsker Property (WPP) if for every $ε>0$ it is measurably conjugate to the direct product of a transformation with entropy $<ε$ and a Bernoulli shift. In a recent breakthrough, Tim Austin proved that every ergodic transformation satisfies this property. Moreover, the natural analog for amenable group actions is also true. By contrast, this paper provides a counterexample in which the group $Γ$ is a non-abelian free group and the notion of entropy is sofic entropy. The counterexample is a limit of hardcore models on random regular graphs. In order to prove that it does not have the WPP, this paper introduces new measure conjugacy invariants based on the growth of homology of the model spaces of the action. The main result is obtained by showing that any action with the WPP has subexponential homology growth in dimension $0$ , while the counterexample has exponential homology growth in dimension $0$ .

preprint2018arXiv

Invariant random subgroups of semidirect products

We study invariant random subgroups (IRSs) of semidirect products $G = A \rtimes Γ$ . In particular, we characterize all IRSs of parabolic subgroups of $\mathrm{SL}_d(\mathbb{R})$ , and show that all ergodic IRSs of $\mathbb{R}^d \rtimes \mathrm{SL}_d(\mathbb{R})$ are either of the form $\mathbb{R}^d \rtimes K$ for some IRS of $\mathrm{SL}_d(\mathbb{R})$ , or are induced from IRSs of $Λ\rtimes \mathrm{SL}(Λ)$ , where $Λ< \mathbb{R}^d$ is a lattice.

preprint2016arXiv

Equivalence relations that act on bundles of hyperbolic spaces

Consider a measured equivalence relation acting on a bundle of hyperbolic metric spaces by isometries. We prove that every aperiodic hyperfinite subequivalence relation is contained in a {\em unique} maximal hyperfinite subequivalence relation. We classify elements of the full group according to their action on fields on boundary measures (extending earlier results of Kaimanovich), study the existence and residuality of different types of elements and obtain an analogue of Tits' alternative.

preprint2016arXiv

Zero entropy is generic

Dan Rudolph showed that for an amenable group $Γ$ , the generic measure-preserving action of $Γ$ on a Lebesgue space has zero entropy. Here this is extended to nonamenable groups. In fact, the proof shows that every action is a factor of a zero entropy action! This uses the strange phenomena that in the presence of nonamenability, entropy can increase under a factor map. The proof uses Seward's recent generalization of Sinai's Factor Theorem, the Gaboriau-Lyons result and my theorem that for every nonabelian free group, all Bernoulli shifts factor onto each other.

preprint2015arXiv

Characteristic random subgroups of geometric groups and free abelian groups of infinite rank

We show that if $G$ is a non-elementary word hyperbolic group, mapping class group of a hyperbolic surface or the outer automorphism group of a nonabelian free group then $G$ has $2^{\aleph_0}$ many continuous ergodic invariant random subgroups. If $G$ is a nonabelian free group then $G$ has $2^{\aleph_0}$ many continuous $G$ -ergodic characteristic random subgroups. We also provide a complete classification of characteristic random subgroups of free abelian groups of countably infinite rank and elementary $p$ -groups of countably infinite rank.

preprint2015arXiv

Integrable orbit equivalence rigidity for free groups

It is shown that every accessible group which is integrable orbit equivalent to a free group is virtually free. Moreover, we also show that any integrable orbit-equivalence between finitely generated groups extends to their end compactifications.

preprint2015arXiv

Mean convergence of Markovian spherical averages for measure-preserving actions of the free group

Mean convergence of Markovian spherical averages is established for a measure-preserving action of a finitely-generated free group on a probability space. We endow the set of generators with a generalized Markov chain and establish the mean convergence of resulting spherical averages in this case under mild nondegeneracy assumptions on the stochastic matrix $Π$ defining our Markov chain. Equivalently, we establish the triviality of the tail sigma-algebra of the corresponding Markov operator. This convergence was previously known only for symmetric Markov chains, while the conditions ensuring convergence in our paper are inequalities rather than equalities, so mean convergence of spherical averages is established for a much larger class of Markov chains.

preprint2015arXiv

Rigid actions have zero entropy

Rigid actions have zero Rokhlin entropy and nonpositive sofic entropy. Because rigidity is a stable orbit-equivalence invariant, this provides the first example of an essentially free, ergodic, probability-measure-preserving action of the free group that has nonpositive sofic entropy and any essentially free action stably-orbit-equivalent to it also has nonpositive sofic entropy.

preprint2015arXiv

Simple and large equivalence relations

We construct ergodic discrete probability measure preserving equivalence relations $\cR$ that has no proper ergodic normal subequivalence relations and no proper ergodic finite-index subequivalence relations. We show that every treeable equivalence relation satisfying a mild ergodicity condition and cost $>1$ surjects onto every countable group with ergodic kernel. Lastly, we provide a simple characterization of normality for subequivalence relations and an algebraic description of the quotient.

preprint2014arXiv

Invariant random subgroups of the free group

Let $G$ be a locally compact group. A random closed subgroup with conjugation-invariant law is called an {\em invariant random subgroup} or IRS for short. We show that each nonabelian free group has a large "zoo" of IRS's. This contrasts with results of Stuck-Zimmer which show that there are no non-obvious IRS's of higher rank semisimple Lie groups with property (T).

preprint2014arXiv

Property (T) and the Furstenberg Entropy of Nonsingular Actions

We establish a new characterization of property (T) in terms of the Furstenberg entropy of nonsingular actions. Given any generating measure $μ$ on a countable group $G$ , A. Nevo showed that a necessary condition for $G$ to have property (T) is that the Furstenberg $μ$ -entropy values of the ergodic, properly nonsingular $G$ -actions are bounded away from zero. We show that this is also a sufficient condition.

preprint2013arXiv

Amenable equivalence relations and the construction of ergodic averages for group actions

We present a general new method for constructing pointwise ergodic sequences on countable groups, which is applicable to amenable as well as to non-amenable groups and treats both cases on an equal footing. The principle underlying the method is that both cases can be viewed as instances of the general ergodic theory of amenable equivalence relations.

preprint2013arXiv

Cheeger constants and $L^2$ -Betti numbers

We prove the existence of positive lower bounds on the Cheeger constants of manifolds of the form $X/Γ$ where $X$ is a contractible Riemannian manifold and $Γ<\Isom(X)$ is a discrete subgroup, typically with infinite co-volume. The existence depends on the $L^2$ -Betti numbers of $Γ$ , its subgroups and of a uniform lattice of $\Isom(X)$. As an application, we show the existence of a uniform positive lower bound on the Cheeger constant of any manifold of the form $\H^4/Γ$ where $\H^4$ is real hyperbolic 4-space and $Γ<\Isom(\H^4)$ is discrete and isomorphic to a subgroup of the fundamental group of a complete finite-volume hyperbolic 3-manifold. Via Patterson-Sullivan theory, this implies the existence of a uniform positive upper bound on the Hausdorff dimension of the conical limit set of such a $Γ$ when $Γ$ is geometrically finite. Another application shows the existence of a uniform positive lower bound on the zero-th eigenvalue of the Laplacian of $\H^n/Γ$ over all discrete free groups $Γ<\Isom(\H^n)$ whenever $n\ge 4$ is even (the bound depends on $n$ ). This extends results of Phillips-Sarnak and Doyle who obtained such bounds for $n\ge 3$ when $Γ$ is a finitely generated Schottky group.

preprint2013arXiv

Entropy theory for sofic groupoids I: the foundations

This is the first part in a series in which sofic entropy theory is generalized to class-bijective extensions of sofic groupoids. Here we define topological and measure entropy and prove invariance. We also establish the variational principle, compute the entropy of Bernoulli shift actions and answer a question of Benjy Weiss pertaining to the isomorphism problem for non-free Bernoulli shifts. The proofs are independent of previous literature.

preprint2013arXiv

Invariant random subgroups of the lamplighter group

Let $G$ be one of the lamplighter groups $({\mathbb{Z}/p\bz})^n\wr\mathbb{Z}$ and $\Sub(G)$ the space of all subgroups of $G$ . We determine the perfect kernel and Cantor-Bendixson rank of $\Sub(G)$. The space of all conjugation-invariant Borel probability measures on $\Sub(G)$ is a simplex. We show that this simplex has a canonical Poulsen subsimplex whose complement has only a countable number of extreme points. If $F$ is a finite group and $Γ$ an infinite group which does not have property $(T)$ then the conjugation-invariant probability measures on $\Sub(F\wrΓ)$ supported on $\oplus_ΓF$ also form a Poulsen simplex.

preprint2013arXiv

Random walks on random coset spaces with applications to Furstenberg entropy

We determine the range of Furstenberg entropy for stationary ergodic actions of nonabelian free groups by an explicit construction involving random walks on random coset spaces.

preprint2013arXiv

von-Neumann and Birkhoff ergodic theorems for negatively curved groups

We prove maximal inequalities for concentric ball and spherical shell averages on a general Gromov hyperbolic group, in arbitrary probability preserving actions of the group. Under an additional condition, satisfied for example by all groups acting isometrically and properly discontinuously on CAT(-1) spaces, we prove a pointwise ergodic theorem with respect to a sequence of probability measures supported on concentric spherical shells.

preprint2013arXiv

Weak density of orbit equivalence classes of free group actions

It is proven that the orbit-equivalence class of any essentially free probability-measure-preserving action of a free group $G$ is weakly dense in the space of actions of $G$ .

preprint2012arXiv

A horospherical ratio ergodic theorem for actions of free groups

We prove a ratio ergodic theorem for amenable equivalence relations satisfying a strong form of the Besicovich covering property. We then use this result to study general non-singular actions of non-abelian free groups and establish a ratio ergodic theorem for averages along horospheres.

preprint2012arXiv

A Juzvinski\uı Addition Theorem for Finitely Generated Free Groups Actions

The classical Juzvinskiĭ Addition Theorem states that the entropy of an automorphism of a compact group decomposes along invariant subgroups. Thomas generalized the theorem to a skew-product setting. Using L. Bowen's f-invariant we prove the addition theorem for actions of finitely generated free groups on skew-products with compact totally disconnected groups or compact Lie groups (correcting an error from [Bo10c]) and discuss examples.

preprint2012arXiv

Corrigendum to "Nonabelian free group actions: Markov processes, the Abramov- Rohlin formula and Yuzvinskii's formula"

We correct an error in the proof of the Rohlin-Abramov addition formula for free group actions and point out errors in the proof of Yuzvinskii's addition formula. It is not known if the latter are fixable.

preprint2012arXiv

The type and stable type of the boundary of a Gromov hyperbolic group

Consider an ergodic non-singular action $Γ\cc B$ of a countable group on a probability space. The type of this action codes the asymptotic range of the Radon-Nikodym derivative, also called the {\em ratio set}. If $Γ\cc X$ is a pmp (probability-measure-preserving) action, then the ratio set of the product action $Γ\cc B\times X$ is contained in the ratio set of $Γ\cc B$. So we define the {\em stable ratio set} of $Γ\cc B$ to be the intersection over all pmp actions $Γ\cc X$ of the ratio sets of $Γ\cc B\times X$. By analogy, there is a notion of {\em stable type} which codes the stable ratio set of $Γ\cc B$. This concept is crucially important for the identification of the limit in pointwise ergodic theorems established by the author and Amos Nevo. Here, we establish a general criteria for a nonsingular action of a countable group on a probability space to have stable type $III_λ$ for some $λ>0$ . This is applied to show that the action of a non-elementary Gromov hyperbolic group on its boundary with respect to a quasi-conformal measure is not type $III_0$ and, if it is weakly mixing, then it is not stable type $III_0$ .

preprint2011arXiv

Every countably infinite group is almost Ornstein

We say that a countable discrete group $G$ is {\em almost Ornstein} if for every pair of standard non-two-atom probability spaces $(K,κ), (L,λ)$ with the same Shannon entropy, the Bernoulli shifts $G \cc (K^G,κ^G)$ and $G \cc (L^G,λ^G)$ are isomorphic.

preprint2011arXiv

Harmonic models and spanning forests of residually finite groups

We prove a number of identities relating the sofic entropy of a certain class of non-expansive algebraic dynamical systems, the sofic entropy of the Wired Spanning Forest and the tree entropy of Cayley graphs of residually finite groups. We also show that homoclinic points and periodic points in harmonic models are dense under general conditions.

preprint2011arXiv

On a co-induction question of Kechris

This note answers a question of Kechris: if $H<G$ is a normal subgroup of a countable group $G$ , $H$ has property MD and $G/H$ is amenable and residually finite then $G$ also has property MD. Under the same hypothesis we prove that for any action $a$ of $G$ , if $b$ is a free action of $G/H$ , and $b_G$ is the induced action of $G$ then $\CInd_H^G(a|H) \times b_G$ weakly contains $a$ . Moreover, if $H<G$ is any subgroup of a countable group $G$ , and the action of $G$ on $G/H$ is amenable, then $\CInd_H^G(a|H)$ weakly contains $a$ whenever $a$ is a Gaussian action.

preprint2011arXiv

Pointwise ergodic theorems beyond amenable groups

We prove pointwise and maximal ergodic theorems for probability measure preserving (p.m.p.) actions of any countable group, provided it admits an essentially free, weakly mixing amenable action of stable type $III_1$ . We show that this class contains all irreducible lattices in connected semisimple Lie groups without compact factors. We also establish similar results when the stable type is $III_λ$ , $0 < λ< 1$ , under a suitable hypothesis. Our approach is based on the following two principles. First, we show that it is possible to generalize the ergodic theory of p.m.p. actions of amenable groups to include p.m.p. amenable equivalence relations. Second, we show that it is possible to reduce the proof of ergodic theorems for p.m.p. actions of a general group to the proof of ergodic theorems in an associated p.m.p. amenable equivalence relation, provided the group admits an amenable action with the properties stated above.

preprint2011arXiv

Sofic entropy and amenable groups

In previous work, I introduced a measure-conjugacy invariant for sofic group actions called sofic entropy. Here it is proven that the sofic entropy of an amenable group action equals its classical entropy. The proof uses a new measure-conjugacy invariant called upper-sofic entropy and a theorem of Rudolph and Weiss for the entropy of orbit-equivalent actions relative to the orbit change $σ$ -algebra.

preprint2010arXiv

An Isometry Between Measure Homology and Singular Homology

In Thurston's notes, he gives two different definitions of the Gromov norm (also called simplicial volume) of a manifold and states that they are equal but does not prove it. Gromov proves it in the special case of hyperbolic manifolds as a consequence of his proof that simplicial volume is proportional to volume. We give a proof for all differentiable manifolds. This version corrects a few typos in an earlier version and formally proves the theorem for differentiable manifolds rather than locally finite simplicial complexes (but very few actual changes have been made).

preprint2010arXiv

Geometric covering arguments and ergodic theorems for free groups

We present a new approach to the proof of ergodic theorems for actions of free groups based on geometric covering and asymptotic invariance arguments. Our approach can be viewed as a direct generalization of the classical geometric covering and asymptotic invariance arguments used in the ergodic theory of amenable groups. We use this approach to generalize the existing maximal and pointwise ergodic theorems for free group actions to a large class of geometric averages which were not accessible by previous techniques. Some applications of our approach to other groups and other problems in ergodic theory are also briefly discussed.

preprint2010arXiv

Orbit equivalence, coinduced actions and free products

The following result is proven. Let $G_1 \cc^{T_1} (X_1,μ_1)$ and $G_2 \cc^{T_2} (X_2,μ_2)$ be orbit-equivalent, essentially free, probability measure preserving actions of countable groups $G_1$ and $G_2$ . Let $H$ be any countable group. For $i=1,2$ , let $Γ_i = G_i *H$ be the free product. Then the actions of $Γ_1$ and $Γ_2$ coinduced from $T_1$ and $T_2$ are orbit-equivalent. As an application, it is shown that if $Γ$ is a free group, then all nontrivial Bernoulli shifts over $Γ$ are orbit-equivalent.

preprint2008arXiv

Free Groups in Lattices

Let G be any locally compact, unimodular, metrizable group. The main result of this paper, roughly stated, is that if F<G is any finitely generated free group and Γ< G any lattice, then up to a small perturbation and passing to a finite index subgroup, F is a subgroup of Γ. If G/Γis noncompact then we require additional hypotheses that include G=SO(n,1).

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Lewis Bowen

Research overview

Is this your work?

33 publications

Algebraic dynamical systems from LDPC codes satisfy a strong negation of the weak Pinsker property

Entropy for actions of free groups under bounded orbit-equivalence

Sofic homological invariants and the Weak Pinsker Property

Invariant random subgroups of semidirect products

Equivalence relations that act on bundles of hyperbolic spaces

Zero entropy is generic

Characteristic random subgroups of geometric groups and free abelian groups of infinite rank

Integrable orbit equivalence rigidity for free groups

Mean convergence of Markovian spherical averages for measure-preserving actions of the free group

Rigid actions have zero entropy

Simple and large equivalence relations

Invariant random subgroups of the free group

Property (T) and the Furstenberg Entropy of Nonsingular Actions

Amenable equivalence relations and the construction of ergodic averages for group actions

Cheeger constants and $L^2$ -Betti numbers

Entropy theory for sofic groupoids I: the foundations

Invariant random subgroups of the lamplighter group

Random walks on random coset spaces with applications to Furstenberg entropy

von-Neumann and Birkhoff ergodic theorems for negatively curved groups

Weak density of orbit equivalence classes of free group actions

A horospherical ratio ergodic theorem for actions of free groups

A Juzvinski\uı Addition Theorem for Finitely Generated Free Groups Actions

Corrigendum to "Nonabelian free group actions: Markov processes, the Abramov- Rohlin formula and Yuzvinskii's formula"

The type and stable type of the boundary of a Gromov hyperbolic group

Every countably infinite group is almost Ornstein

Harmonic models and spanning forests of residually finite groups

On a co-induction question of Kechris

Pointwise ergodic theorems beyond amenable groups

Sofic entropy and amenable groups

An Isometry Between Measure Homology and Singular Homology

Geometric covering arguments and ergodic theorems for free groups

Orbit equivalence, coinduced actions and free products

Free Groups in Lattices

See the researcher in context

Building this map preview

Lewis Bowen

Research overview

Is this your work?

33 publications

Algebraic dynamical systems from LDPC codes satisfy a strong negation of the weak Pinsker property

Entropy for actions of free groups under bounded orbit-equivalence

Sofic homological invariants and the Weak Pinsker Property

Invariant random subgroups of semidirect products

Equivalence relations that act on bundles of hyperbolic spaces

Zero entropy is generic

Characteristic random subgroups of geometric groups and free abelian groups of infinite rank

Integrable orbit equivalence rigidity for free groups

Mean convergence of Markovian spherical averages for measure-preserving actions of the free group

Rigid actions have zero entropy

Simple and large equivalence relations

Invariant random subgroups of the free group

Property (T) and the Furstenberg Entropy of Nonsingular Actions

Amenable equivalence relations and the construction of ergodic averages for group actions

Cheeger constants and L2L^2L2-Betti numbers

Entropy theory for sofic groupoids I: the foundations

Invariant random subgroups of the lamplighter group

Random walks on random coset spaces with applications to Furstenberg entropy

von-Neumann and Birkhoff ergodic theorems for negatively curved groups

Weak density of orbit equivalence classes of free group actions

A horospherical ratio ergodic theorem for actions of free groups

A Juzvinski\uı Addition Theorem for Finitely Generated Free Groups Actions

Corrigendum to "Nonabelian free group actions: Markov processes, the Abramov- Rohlin formula and Yuzvinskii's formula"

The type and stable type of the boundary of a Gromov hyperbolic group

Every countably infinite group is almost Ornstein

Harmonic models and spanning forests of residually finite groups

On a co-induction question of Kechris

Pointwise ergodic theorems beyond amenable groups

Sofic entropy and amenable groups

An Isometry Between Measure Homology and Singular Homology

Geometric covering arguments and ergodic theorems for free groups

Orbit equivalence, coinduced actions and free products

Free Groups in Lattices

See the researcher in context

Building this map preview

Cheeger constants and $L^2$ -Betti numbers