Showing 1–50 of 72 results for author: Bowen, L

The Aldous--Lyons Conjecture I: Subgroup Tests

Authors: Lewis Bowen, Michael Chapman, Alexander Lubotzky, Thomas Vidick

Abstract: This paper, and its companion [BCV24], are devoted to a negative resolution of the Aldous--Lyons Conjecture [AL07, Ald07]. This conjecture, originated in probability theory, is well known (cf. [Gel18]) to be equivalent to the statement that every invariant random subgroup of the free group is co-sofic. We disprove this last statement. In this part we introduce subgroup tests. These tests are fin… ▽ More This paper, and its companion [BCV24], are devoted to a negative resolution of the Aldous--Lyons Conjecture [AL07, Ald07]. This conjecture, originated in probability theory, is well known (cf. [Gel18]) to be equivalent to the statement that every invariant random subgroup of the free group is co-sofic. We disprove this last statement. In this part we introduce subgroup tests. These tests are finite distributions over continuous functions from the space of subgroups of the free group to $\{0,1\}$. Subgroup tests provide a general framework in which one can study invariant random subgroups of the free group. Classical notions such as group soficity and group stability arise naturally in this framework. By the correspondence between subgroups of the free group and Schreier graphs, one can view subgroup tests as a property testing model for certain edge-labeled graphs. This correspondence also provides the connection to random networks. Subgroup tests have values, which are their asymptotic optimal expectations when integrated against co-sofic invariant random subgroups. Our first main result is that, if every invariant random subgroup of the free group is co-sofic, then one can approximate the value of a subgroup test up to any positive additive constant. Our second main result is an essentially value preserving correspondence between certain non-local games and subgroup tests. By composing this correspondence with a stronger variant of the reduction in MIP*=RE [JNV+21], proved in the companion paper [BCV24], we deduce that approximating the sofic value of a subgroup test is as hard as the Halting Problem, and in particular, undecidable. The combination of our two main results proves the existence of non co-sofic invariant random subgroups of the free group. △ Less

Submitted 31 July, 2024; originally announced August 2024.

Comments: 54 pages

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

Authors: Tim Austin, Lewis Bowen, Christopher Shriver

Abstract: 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 rand… ▽ More 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. △ Less

Submitted 23 April, 2024; v1 submitted 28 December, 2023; originally announced December 2023.

Comments: Version 2: improvements to Section 4

MSC Class: 37A35

Locally compact sofic entropy theory

Authors: Lewis Bowen

Abstract: This paper generalizes sofic entropy theory, in both the topological and measure-theory settings, to actions of locally compact groups. We prove invariance under topological and measure conjugacy of these entropies and establish the variational principle. This paper generalizes sofic entropy theory, in both the topological and measure-theory settings, to actions of locally compact groups. We prove invariance under topological and measure conjugacy of these entropies and establish the variational principle. △ Less

Submitted 4 November, 2023; originally announced November 2023.

Comments: Comments welcome!

Supplemental Transmission Aided Attenuation Correction for Quantitative Cardiac PET/MR

Authors: Mi-Ae Park, Vlad G. Zaha, Ramsey D. Badawi, Spencer L. Bowen

Abstract: Quantitative PET attenuation correction (AC) for combined cardiac PET/MR is a challenging problem. We propose and evaluate an AC approach that uses coincidences from a relatively weak and physically fixed sparse external source, in combination with that from the patient, to correct for PET attenuation based on physics principles alone. The low 30 ml volume of the source makes it easy to fill and p… ▽ More Quantitative PET attenuation correction (AC) for combined cardiac PET/MR is a challenging problem. We propose and evaluate an AC approach that uses coincidences from a relatively weak and physically fixed sparse external source, in combination with that from the patient, to correct for PET attenuation based on physics principles alone. The low 30 ml volume of the source makes it easy to fill and place, and the method does not use prior image data or attenuation map assumptions. Our supplemental transmission aided maximum likelihood reconstruction of attenuation and activity (sTX-MLAA) algorithm contains an attenuation map update that maximizes the likelihood of terms representing coincidences originating from tracer in the patient and a weighted expression of counts segmented from the external source alone. Both external source and patient scatter and randoms are fully corrected. We evaluated performance of sTX-MLAA compared to reference standard CT-based AC with FDG PET/CT phantom studies; including modeling a patient with myocardial inflammation. Through an ROI analysis we measured less than 5% bias in activity concentrations for PET images generated with sTX-MLAA relative to CT-AC. PET background variability (from noise and sparse sampling) was substantially reduced with sTX-MLAA compared to using coincidences segmented from the transmission source alone for AC. The study suggests that sTX-MLAA will produce PET images on PET/MR with quantification comparable to PET/CT results during human cardiac exams. △ Less

Submitted 29 December, 2022; originally announced December 2022.

Comments: 10 pages, 8 figures

Entropy for actions of free groups under bounded orbit-equivalence

Authors: Lewis Bowen, Yuqing Frank Lin

Abstract: 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. 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. △ Less

Submitted 7 September, 2022; v1 submitted 15 January, 2022; originally announced January 2022.

Comments: This version fixes minor typos and errors

Locally compact sofic groups

Authors: Lewis Bowen, Peter Burton

Abstract: We introduce the notion of soficity for locally compact groups and list a number of open problems. We introduce the notion of soficity for locally compact groups and list a number of open problems. △ Less

Submitted 13 August, 2021; v1 submitted 16 June, 2021; originally announced June 2021.

Comments: Comments welcome! The new version corrects a few minor errors

A multiplicative ergodic theorem for von Neumann algebra valued cocycles

Authors: Lewis Bowen, Ben Hayes, Yuqing, Lin

Abstract: The classical Multiplicative Ergodic Theorem (MET) of Oseledets is generalized here to cocycles taking values in a semi-finite von Neumann algebra. This allows for a continuous Lyapunov distribution. The classical Multiplicative Ergodic Theorem (MET) of Oseledets is generalized here to cocycles taking values in a semi-finite von Neumann algebra. This allows for a continuous Lyapunov distribution. △ Less

Submitted 25 January, 2021; v1 submitted 23 June, 2020; originally announced June 2020.

Comments: This new version contains more examples, an appendix on diffuse von Neumann algebras and a glossary

A topological dynamical system with two different positive sofic entropies

Authors: Dylan Airey, Lewis Bowen, Frank Lin

Abstract: A sofic approximation to a countable group is a sequence of partial actions on finite sets that asymptotically approximates the action of the group on itself by left-translations. A group is sofic if it admits a sofic approximation. Sofic entropy theory is a generalization of classical entropy theory in dynamics to actions by sofic groups. However, the sofic entropy of an action may depend on a ch… ▽ More A sofic approximation to a countable group is a sequence of partial actions on finite sets that asymptotically approximates the action of the group on itself by left-translations. A group is sofic if it admits a sofic approximation. Sofic entropy theory is a generalization of classical entropy theory in dynamics to actions by sofic groups. However, the sofic entropy of an action may depend on a choice of sofic approximation. All previously known examples showing this dependence rely on degenerate behavior. This paper exhibits an explicit example of a mixing subshift of finite type with two different positive sofic entropies. The example is inspired by statistical physics literature on 2-colorings of random hyper-graphs. △ Less

Submitted 16 August, 2021; v1 submitted 19 November, 2019; originally announced November 2019.

Comments: This new version corrects a number of minor errors in the previous version

Flexible stability and nonsoficity

Authors: Lewis Bowen, Peter Burton

Abstract: A sofic group $G$ is said to be flexibly stable if every sofic approximation to $G$ can converted to a sequence of disjoint unions of Schreier graphs by modifying an asymptotically vanishing proportion of edges. We establish that if $\mathrm{PSL}_d(\mathbb{Z})$ is flexibly stable for some $d \geq 5$ then there exists a group which is not sofic. A sofic group $G$ is said to be flexibly stable if every sofic approximation to $G$ can converted to a sequence of disjoint unions of Schreier graphs by modifying an asymptotically vanishing proportion of edges. We establish that if $\mathrm{PSL}_d(\mathbb{Z})$ is flexibly stable for some $d \geq 5$ then there exists a group which is not sofic. △ Less

Submitted 27 September, 2019; v1 submitted 5 June, 2019; originally announced June 2019.

Comments: Improvements made based on referee's comments

MSC Class: 20F69; 20G20; 20G40

Failure of the $L^1$ pointwise ergodic theorem for $\mathrm{PSL}_2(\mathbb{R})$

Authors: Lewis Bowen, Peter Burton

Abstract: Amos Nevo established the pointwise ergodic theorem in $L^p$ for measure-preserving actions of $\mathrm{PSL}_2(\mathbb{R})$ on probability spaces with respect to ball averages and every $p>1$. This paper shows by explicit example that Nevo's Theorem cannot be extended to $p=1$. Amos Nevo established the pointwise ergodic theorem in $L^p$ for measure-preserving actions of $\mathrm{PSL}_2(\mathbb{R})$ on probability spaces with respect to ball averages and every $p>1$. This paper shows by explicit example that Nevo's Theorem cannot be extended to $p=1$. △ Less

Submitted 1 August, 2019; v1 submitted 4 January, 2019; originally announced January 2019.

Comments: 4 figures added

Sofic homological invariants and the Weak Pinsker Property

Authors: Lewis Bowen

Abstract: 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, t… ▽ More 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$. △ Less

Submitted 9 February, 2021; v1 submitted 21 July, 2018; originally announced July 2018.

Comments: The latest version corrects a small number of errors over the previous version. Paper recently accepted to Amer. J. Math

Superrigidity, measure equivalence, and weak Pinsker entropy

Authors: Lewis Bowen, Robin Tucker-Drob

Abstract: We show that the class $\mathscr{B}$, of discrete groups which satisfy the conclusion of Popa's Cocycle Superrigidity Theorem for Bernoulli actions, is invariant under measure equivalence. We generalize this to the setting of discrete p.m.p. groupoids, and as a consequence we deduce that any nonamenable lattice in a product of two noncompact, locally compact second countable groups, must belong to… ▽ More We show that the class $\mathscr{B}$, of discrete groups which satisfy the conclusion of Popa's Cocycle Superrigidity Theorem for Bernoulli actions, is invariant under measure equivalence. We generalize this to the setting of discrete p.m.p. groupoids, and as a consequence we deduce that any nonamenable lattice in a product of two noncompact, locally compact second countable groups, must belong to $\mathscr{B}$. We also introduce a measure-conjugacy invariant called Weak Pinsker entropy and show that, if G is a group in the class $\mathscr{B}$, then Weak Pinsker entropy is an orbit-equivalence invariant of every essentially free p.m.p. action of G. △ Less

Submitted 6 June, 2021; v1 submitted 9 May, 2018; originally announced May 2018.

Comments: This new version adds more context in the introduction and fixes minor typos

MSC Class: 37A20

A brief introduction to sofic entropy theory

Authors: Lewis Bowen

Abstract: Sofic entropy theory is a generalization of the classical Kolmogorov-Sinai entropy theory to actions of large class of non-amenable groups called sofic groups. This is a short introduction with a guide to the literature. Sofic entropy theory is a generalization of the classical Kolmogorov-Sinai entropy theory to actions of large class of non-amenable groups called sofic groups. This is a short introduction with a guide to the literature. △ Less

Submitted 25 November, 2017; v1 submitted 6 November, 2017; originally announced November 2017.

Finitary random interlacements and the Gaboriau-Lyons problem

Authors: Lewis Bowen

Abstract: The von Neumann-Day problem asks whether every non-amenable group contains a non-abelian free group. It was answered in the negative by Ol'shanskii in the 1980s. The measurable version (formulated by Gaboriau-Lyons) asks whether every non-amenable measured equivalence relation contains a non-amenable treeable subequivalence relation. This paper obtains a positive answer in the case of arbitrary Be… ▽ More The von Neumann-Day problem asks whether every non-amenable group contains a non-abelian free group. It was answered in the negative by Ol'shanskii in the 1980s. The measurable version (formulated by Gaboriau-Lyons) asks whether every non-amenable measured equivalence relation contains a non-amenable treeable subequivalence relation. This paper obtains a positive answer in the case of arbitrary Bernoulli shifts over a non-amenable group, extending work of Gaboriau-Lyons. The proof uses an approximation to the random interlacement process by random multistep of geometrically-killed random walk paths. There are two applications: (1) the Gaboriau-Lyons problem for actions with positive Rokhlin entropy admits a positive solution, (2) for any non-amenable group, all Bernoulli shifts factor onto each other. △ Less

Submitted 5 March, 2019; v1 submitted 29 July, 2017; originally announced July 2017.

Comments: This version includes a proof that the FRI converges to the RI in distribution as T-> infinity. Also the proof of the hardest part of the main theorem has been simplified (following suggestions by an anonymous reviewer). And some unnecessary hypotheses in the main theorem have been removed

The SeaQuest Spectrometer at Fermilab

Authors: SeaQuest Collaboration, C. A. Aidala, J. R. Arrington, C. Ayuso, B. M. Bowen, M. L. Bowen, K. L. Bowling, A. W. Brown, C. N. Brown, R. Byrd, R. E. Carlisle, T. Chang, W. -C. Chang, A. Chen, J. -Y. Chen, D. C. Christian, X. Chu, B. P. Dannowitz, M. Daugherity, M. Diefenthaler, J. Dove, C. Durandet, L. El Fassi, E. Erdos, D. M. Fox , et al. (73 additional authors not shown)

Abstract: The SeaQuest spectrometer at Fermilab was designed to detect oppositely-charged pairs of muons (dimuons) produced by interactions between a 120 GeV proton beam and liquid hydrogen, liquid deuterium and solid nuclear targets. The primary physics program uses the Drell-Yan process to probe antiquark distributions in the target nucleon. The spectrometer consists of a target system, two dipole magnets… ▽ More The SeaQuest spectrometer at Fermilab was designed to detect oppositely-charged pairs of muons (dimuons) produced by interactions between a 120 GeV proton beam and liquid hydrogen, liquid deuterium and solid nuclear targets. The primary physics program uses the Drell-Yan process to probe antiquark distributions in the target nucleon. The spectrometer consists of a target system, two dipole magnets and four detector stations. The upstream magnet is a closed-aperture solid iron magnet which also serves as the beam dump, while the second magnet is an open aperture magnet. Each of the detector stations consists of scintillator hodoscopes and a high-resolution tracking device. The FPGA-based trigger compares the hodoscope signals to a set of pre-programmed roads to determine if the event contains oppositely-signed, high-mass muon pairs. △ Less

Submitted 9 February, 2019; v1 submitted 29 June, 2017; originally announced June 2017.

Report number: FERMILAB-PUB-17-209-E

All properly ergodic Markov chains over a free group are orbit equivalent

Authors: Lewis Bowen

Abstract: Previous work showed that all Bernoulli shifts over a free group are orbit-equivalent. This result is strengthened here by replacing Bernoulli shifts with the wider class of properly ergodic countable state Markov chains over a free group. A list of related open problems is provided. Previous work showed that all Bernoulli shifts over a free group are orbit-equivalent. This result is strengthened here by replacing Bernoulli shifts with the wider class of properly ergodic countable state Markov chains over a free group. A list of related open problems is provided. △ Less

Submitted 28 June, 2017; originally announced June 2017.

Comments: Comments and questions welcome!

The space of stable weak equivalence classes of measure-preserving actions

Authors: Lewis Bowen, Robin Tucker-Drob

Abstract: The concept of (stable) weak containment for measure-preserving actions of a countable group $Γ$ is analogous to the classical notion of (stable) weak containment of unitary representations. If $Γ$ is amenable then the Rokhlin lemma shows that all essentially free actions are weakly equivalent. However if $Γ$ is non-amenable then there can be many different weak and stable weak equivalence classes… ▽ More The concept of (stable) weak containment for measure-preserving actions of a countable group $Γ$ is analogous to the classical notion of (stable) weak containment of unitary representations. If $Γ$ is amenable then the Rokhlin lemma shows that all essentially free actions are weakly equivalent. However if $Γ$ is non-amenable then there can be many different weak and stable weak equivalence classes. Our main result is that the set of stable weak equivalence classes naturally admits the structure of a Choquet simplex. For example, when $Γ=\mathbb{Z}$ this simplex has only a countable set of extreme points but when $Γ$ is a nonamenable free group, this simplex is the Poulsen simplex. We also show that when $Γ$ contains a nonabelian free group, this simplex has uncountably many strongly ergodic essentially free extreme points. △ Less

Submitted 15 October, 2017; v1 submitted 9 May, 2017; originally announced May 2017.

Comments: there are only a few minimal changes between this version and the previous

Examples in the entropy theory of countable group actions

Authors: Lewis Bowen

Abstract: Kolmogorov-Sinai entropy is an invariant of measure-preserving actions of the group of integers that is central to classification theory. There are two recently developed invariants, sofic entropy and Rokhlin entropy, that generalize classical entropy to actions of countable groups. These new theories have counterintuitive properties such as factor maps that increase entropy. This survey article f… ▽ More Kolmogorov-Sinai entropy is an invariant of measure-preserving actions of the group of integers that is central to classification theory. There are two recently developed invariants, sofic entropy and Rokhlin entropy, that generalize classical entropy to actions of countable groups. These new theories have counterintuitive properties such as factor maps that increase entropy. This survey article focusses on examples, many of which have not appeared before, that highlight the differences and similarities with classical theory. △ Less

Submitted 27 December, 2018; v1 submitted 20 April, 2017; originally announced April 2017.

Comments: 130 pages. A large number of minor errors corrected from the previous version

Journal ref: Ergod. Th. Dynam. Sys. 40 (2020) 2593-2680

Invariant random subgroups of semidirect products

Authors: Ian Biringer, Lewis Bowen, Omer Tamuz

Abstract: 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… ▽ More 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. △ Less

Submitted 2 May, 2018; v1 submitted 3 March, 2017; originally announced March 2017.

Comments: 16 pages

Zero entropy is generic

Authors: Lewis Bowen

Abstract: 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 rec… ▽ More 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. △ Less

Submitted 19 May, 2016; v1 submitted 8 March, 2016; originally announced March 2016.

Comments: Comments welcome!

Integrable orbit equivalence rigidity for free groups

Authors: Lewis Bowen

Abstract: 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. 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. △ Less

Submitted 31 December, 2015; originally announced January 2016.

Comments: 9 pages. Comments welcome!

Hyperbolic geometry and pointwise ergodic theorems

Authors: Lewis Bowen, Amos Nevo

Abstract: We establish pointwise ergodic theorems for a large class of natural averages on simple Lie groups of real-rank-one, going well beyond the radial case considered previously. The proof is based on a new approach to pointwise ergodic theorems, which is independent of spectral theory. Instead, the main new ingredient is the use of direct geometric arguments in hyperbolic space. We establish pointwise ergodic theorems for a large class of natural averages on simple Lie groups of real-rank-one, going well beyond the radial case considered previously. The proof is based on a new approach to pointwise ergodic theorems, which is independent of spectral theory. Instead, the main new ingredient is the use of direct geometric arguments in hyperbolic space. △ Less

Submitted 28 October, 2017; v1 submitted 30 September, 2015; originally announced September 2015.

Comments: Editorial changes only, some references added and typos corrected. No change in the main results and their proofs

MSC Class: 37A15; 51M10; 53C23

von Neumann's problem and extensions of non-amenable equivalence relations

Authors: Lewis Bowen, Daniel Hoff, Adrian Ioana

Abstract: The goals of this paper are twofold. First, we generalize the result of Gaboriau and Lyons [GL07] to the setting of von Neumann's problem for equivalence relations, proving that for any non-amenable ergodic probability measure preserving (pmp) equivalence relation $\mathcal{R}$, the Bernoulli extension over a non-atomic base space $(K, κ)$ contains the orbit equivalence relation of a free ergodic… ▽ More The goals of this paper are twofold. First, we generalize the result of Gaboriau and Lyons [GL07] to the setting of von Neumann's problem for equivalence relations, proving that for any non-amenable ergodic probability measure preserving (pmp) equivalence relation $\mathcal{R}$, the Bernoulli extension over a non-atomic base space $(K, κ)$ contains the orbit equivalence relation of a free ergodic pmp action of $\mathbb{F}_2$. Moreover, we provide conditions which imply that this holds for any non-trivial probability space $K$. Second, we use this result to prove that any non-amenable unimodular locally compact second countable group admits uncountably many free ergodic pmp actions which are pairwise not von Neumann equivalent (hence, pairwise not orbit equivalent). △ Less

Submitted 7 October, 2017; v1 submitted 5 September, 2015; originally announced September 2015.

Comments: This version corrects a few minor errors and expands the introduction

Rigid actions have zero entropy

Authors: Lewis Bowen

Abstract: 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. 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. △ Less

Submitted 30 July, 2015; v1 submitted 28 July, 2015; originally announced July 2015.

Comments: This paper was been withdrawn due to an error in the proof. Specifically, Lemma 4.3 is incorrect. See Ioana-Vaes's paper for a counterexample

Simple and large equivalence relations

Authors: Lewis Bowen

Abstract: 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 char… ▽ More 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. △ Less

Submitted 9 August, 2015; v1 submitted 17 July, 2015; originally announced July 2015.

Comments: Comments welcome! This new version includes expanded reference to previous work of Stefaan Vaes which constructs equivalence relations without finite extensions or ergodic finite index sub relations. Also I shortened the paper by removing my construction with Pierre-Emmanuel Caprace since Stefaan's constructions are based on the same principles

Equivalence relations that act on bundles of hyperbolic spaces

Authors: Lewis Bowen

Abstract: 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 exist… ▽ More 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. △ Less

Submitted 9 December, 2016; v1 submitted 8 June, 2015; originally announced June 2015.

Comments: this version is the final version

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

Authors: Lewis Bowen, Alexander Bufetov, Olga Romaskevich

Abstract: 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. Equivalen… ▽ More 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. △ Less

Submitted 6 February, 2015; originally announced February 2015.

Comments: 14 pages. Comments welcome!

Property (T) and the Furstenberg Entropy of Nonsingular Actions

Authors: Lewis Bowen, Yair Hartman, Omer Tamuz

Abstract: 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… ▽ More 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. △ Less

Submitted 30 June, 2014; v1 submitted 17 June, 2014; originally announced June 2014.

Comments: 10 pages

Journal ref: Proc. Amer. Math. Soc. 144 (2016), 31-39

Generic Stationary Measures and Actions

Authors: Lewis Bowen, Yair Hartman, Omer Tamuz

Abstract: Let $G$ be a countably infinite group, and let $μ$ be a generating probability measure on $G$. We study the space of $μ$-stationary Borel probability measures on a topological $G$ space, and in particular on $Z^G$, where $Z$ is any perfect Polish space. We also study the space of $μ$-stationary, measurable $G$-actions on a standard, nonatomic probability space. Equip the space of stationary meas… ▽ More Let $G$ be a countably infinite group, and let $μ$ be a generating probability measure on $G$. We study the space of $μ$-stationary Borel probability measures on a topological $G$ space, and in particular on $Z^G$, where $Z$ is any perfect Polish space. We also study the space of $μ$-stationary, measurable $G$-actions on a standard, nonatomic probability space. Equip the space of stationary measures with the weak* topology. When $μ$ has finite entropy, we show that a generic measure is an essentially free extension of the Poisson boundary of $(G,μ)$. When $Z$ is compact, this implies that the simplex of $μ$-stationary measures on $Z^G$ is a Poulsen simplex. We show that this is also the case for the simplex of stationary measures on $\{0,1\}^G$. We furthermore show that if the action of $G$ on its Poisson boundary is essentially free then a generic measure is isomorphic to the Poisson boundary. Next, we consider the space of stationary actions, equipped with a standard topology known as the weak topology. Here we show that when $G$ has property (T), the ergodic actions are meager. We also construct a group $G$ without property (T) such that the ergodic actions are not dense, for some $μ$. Finally, for a weaker topology on the set of actions, which we call the very weak topology, we show that a dynamical property (e.g., ergodicity) is topologically generic if and only if it is generic in the space of measures. There we also show a Glasner-King type 0-1 law stating that every dynamical property is either meager or residual. △ Less

Submitted 14 August, 2015; v1 submitted 9 May, 2014; originally announced May 2014.

Comments: To appear in the Transactions of the AMS, 49 pages

Journal ref: Trans. Amer. Math. Soc. 369 (2017), 4889-4929

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

Authors: Lewis Bowen, Rostislav Grigorchuk, Rostyslav Kravchenko

Abstract: 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 clas… ▽ More 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. △ Less

Submitted 30 May, 2015; v1 submitted 15 February, 2014; originally announced February 2014.

Comments: Comments welcome! This new version classifies automorphism-invariant random subspaces of a locally compact vector space over a finite field and computes finite marginals

Integrable measure equivalence for groups of polynomial growth

Authors: Tim Austin, with an Appendix by Lewis Bowen

Abstract: Bader, Furman and Sauer have introduced the notion of integrable measure equivalence for finitely-generated groups. This is the sub-equivalence relation of measure equivalence obtained by insisting that the relevant cocycles satisfy an integrability condition. They have used it to prove new classification results for hyperbolic groups. The present work shows that groups of polynomial growth are… ▽ More Bader, Furman and Sauer have introduced the notion of integrable measure equivalence for finitely-generated groups. This is the sub-equivalence relation of measure equivalence obtained by insisting that the relevant cocycles satisfy an integrability condition. They have used it to prove new classification results for hyperbolic groups. The present work shows that groups of polynomial growth are also quite rigid under integrable measure equivalence, in that if two such groups are equivalent then they must have bi-Lipschitz asymptotic cones. This will follow by proving that the cocycles arising from an integrable measure equivalence converge, albeit in a very weak sense, to bi-Lipschitz maps of asymptotic cones. △ Less

Submitted 24 November, 2014; v1 submitted 11 October, 2013; originally announced October 2013.

Comments: 34 pages [TDA Oct-22-13:] New references added [TDA Nov-6-11:] Added Appendix by Lewis Bowen. [v5:] Final version, corrected following referee report

MSC Class: 20F65 (primary); 37A20; 20E99; 51F99;

Weak density of orbit equivalence classes of free group actions

Authors: Lewis Bowen

Abstract: 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$. 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$. △ Less

Submitted 13 August, 2013; originally announced August 2013.

Comments: 16 pages. Comments welcome!

Cheeger constants and $L^2$-Betti numbers

Authors: Lewis Bowen

Abstract: 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 positiv… ▽ More 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. △ Less

Submitted 16 May, 2013; v1 submitted 24 March, 2013; originally announced March 2013.

Comments: Comments welcome. This new version corrects a few minor errors

Journal ref: Duke Math. J. 164, no. 3 (2015), 569-615

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

Authors: Lewis Bowen, Amos Nevo

Abstract: 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. 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. △ Less

Submitted 18 March, 2013; originally announced March 2013.

MSC Class: 37A15; 37A20; 22F10

von-Neumann and Birkhoff ergodic theorems for negatively curved groups

Authors: Lewis Bowen, Amos Nevo

Abstract: 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 s… ▽ More 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. △ Less

Submitted 17 March, 2013; originally announced March 2013.

MSC Class: 37A15; 37A20; 22F10

Entropy theory for sofic groupoids I: the foundations

Authors: Lewis Bowen

Abstract: 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… ▽ More 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. △ Less

Submitted 17 March, 2013; v1 submitted 6 October, 2012; originally announced October 2012.

Comments: (86 pages) Comments welcome! This new version corrects a number of minor errors in the previous one

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

Authors: Lewis Bowen

Abstract: 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 stab… ▽ More 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$. △ Less

Submitted 10 September, 2012; originally announced September 2012.

Comments: Comments welcome!

A horospherical ratio ergodic theorem for actions of free groups

Authors: Lewis Bowen, Amos Nevo

Abstract: 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. 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. △ Less

Submitted 15 July, 2012; originally announced July 2012.

Invariant random subgroups of the lamplighter group

Authors: Lewis Bowen, Rostislav Grigorchuk, Rostyslav Kravchenko

Abstract: 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… ▽ More 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. △ Less

Submitted 2 September, 2013; v1 submitted 28 June, 2012; originally announced June 2012.

Comments: This version has new results: the determination of the perfect kernel of the space of subgroups and its Cantor-Bendixon rank and more general results on lamplighters

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

Authors: Lewis Bowen, Yonatan Gutman

Abstract: 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. 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. △ Less

Submitted 29 June, 2012; v1 submitted 28 June, 2012; originally announced June 2012.

Invariant random subgroups of the free group

Authors: Lewis Bowen

Abstract: 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). 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). △ Less

Submitted 14 April, 2014; v1 submitted 26 April, 2012; originally announced April 2012.

Comments: This is probably the final version. It fixes a few minor typos and provides a little more explanation than the previous version

A Juzvinskiĭ Addition Theorem for Finitely Generated Free Groups Actions

Authors: Lewis Bowen, Yonatan Gutman

Abstract: 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… ▽ More 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. △ Less

Submitted 8 August, 2012; v1 submitted 23 October, 2011; originally announced October 2011.

MSC Class: 37A35; 20E05

Harmonic models and spanning forests of residually finite groups

Authors: Lewis Bowen, Hanfeng Li

Abstract: 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. 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. △ Less

Submitted 21 August, 2011; originally announced August 2011.

Comments: Comments welcome!

On a co-induction question of Kechris

Authors: Lewis Bowen, Robin Tucker-Drob

Abstract: 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… ▽ More 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. △ Less

Submitted 2 August, 2011; v1 submitted 3 May, 2011; originally announced May 2011.

Comments: This is the final version

Every countably infinite group is almost Ornstein

Authors: Lewis Bowen

Abstract: 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. 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. △ Less

Submitted 9 June, 2011; v1 submitted 22 March, 2011; originally announced March 2011.

Comments: Comments welcome!

Pointwise ergodic theorems beyond amenable groups

Authors: Lewis Bowen, Amos Nevo

Abstract: 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… ▽ More 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. △ Less

Submitted 26 December, 2011; v1 submitted 13 March, 2011; originally announced March 2011.

Comments: This version contains substantial changes from the previous version: the last section on stable type criteria has been removed and the proof of the stable type III_lambda case has been added

MSC Class: 37A15; 28D15

Random walks on random coset spaces with applications to Furstenberg entropy

Authors: Lewis Bowen

Abstract: 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. 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. △ Less

Submitted 4 March, 2013; v1 submitted 29 August, 2010; originally announced August 2010.

Comments: A few minor corrections have been made since the previous version

MSC Class: 37A40; 37A15; 37A50; 60G10

Sofic entropy and amenable groups

Authors: Lewis Bowen

Abstract: 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 $σ$-algebr… ▽ More 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. △ Less

Submitted 25 March, 2011; v1 submitted 7 August, 2010; originally announced August 2010.

Comments: This new version corrects many errors from the previous version

MSC Class: 37A35

Geometric covering arguments and ergodic theorems for free groups

Authors: Lewis Bowen, Amos Nevo

Abstract: 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 ergodi… ▽ More 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. △ Less

Submitted 2 September, 2010; v1 submitted 25 December, 2009; originally announced December 2009.

Comments: In the second version one section was added, proving the pointwise ergodic theorems in L(1) for an amenable equivalence relation with finite invariant measure which posseses an asymptotically invariant sequence satisfying the doubling condition. This is a more abstract formulation of the argument used in the first version, and applies more broadly

MSC Class: 37A15; 37A30

Entropy for expansive algebraic actions of residually finite groups

Authors: Lewis Bowen

Abstract: We prove a formula for the sofic entropy of expansive principal algebraic actions of residually finite groups, extending recent work of Deninger and Schmidt. We prove a formula for the sofic entropy of expansive principal algebraic actions of residually finite groups, extending recent work of Deninger and Schmidt. △ Less

Submitted 25 September, 2009; originally announced September 2009.

Comments: 18 pages

MSC Class: 37A35