-
Borel Combinatorics of Abelian Group Actions
Authors:
Su Gao,
Steve Jackson,
Edward Krohne,
Brandon Seward
Abstract:
We study the free part of the Bernoulli action of $\mathbb{Z}^n$ for $n\geq 2$ and the Borel combinatorics of the associated Schreier graphs. We construct orthogonal decompositions of the spaces into marker sets with various additional properties. In general, for Borel graphs $Γ$ admitting weakly orthogonal decompositions, we show that $χ_B(Γ)\leq 2χ(Γ)-1$ under some mild assumptions. As a consequ…
▽ More
We study the free part of the Bernoulli action of $\mathbb{Z}^n$ for $n\geq 2$ and the Borel combinatorics of the associated Schreier graphs. We construct orthogonal decompositions of the spaces into marker sets with various additional properties. In general, for Borel graphs $Γ$ admitting weakly orthogonal decompositions, we show that $χ_B(Γ)\leq 2χ(Γ)-1$ under some mild assumptions. As a consequence, we deduce that the Borel chromatic number for $F(2^{\mathbb{Z}^n})$ is $3$ for all $n\geq 2$. Weakly orthogonal decompositions also give rise to Borel unlayered toast structures. We also construct orthogonal decompositions of $F(2^{\mathbb{Z}^2})$ with strong topological regularity, in particular with all atoms homeomorphic to a disk. This allows us to show that there is a Borel perfect matching for $F(2^{\mathbb{Z}^n})$ for all $n\geq 2$ and that there is a Borel lining of $F(2^{\mathbb{Z}^2})$.
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
Minimal subdynamics and minimal flows without characteristic measures
Authors:
Joshua Frisch,
Brandon Seward,
Andy Zucker
Abstract:
Given a countable group $G$ and a $G$-flow $X$, a measure $μ\in P(X)$ is called characteristic if it is $\mathrm{Aut}(X, G)$-invariant. Frisch and Tamuz asked about the existence of a minimal $G$-flow, for any group $G$, which does not admit a characteristic measure. We construct for every countable group $G$ such a minimal flow. Along the way, we are motivated to consider a family of questions we…
▽ More
Given a countable group $G$ and a $G$-flow $X$, a measure $μ\in P(X)$ is called characteristic if it is $\mathrm{Aut}(X, G)$-invariant. Frisch and Tamuz asked about the existence of a minimal $G$-flow, for any group $G$, which does not admit a characteristic measure. We construct for every countable group $G$ such a minimal flow. Along the way, we are motivated to consider a family of questions we refer to as minimal subdynamics: Given a countable group $G$ and a collection of infinite subgroups $\{Δ_i: i\in I\}$, when is there a faithful $G$-flow for which every $Δ_i$ acts minimally?
△ Less
Submitted 9 March, 2022;
originally announced March 2022.
-
Borel asymptotic dimension and hyperfinite equivalence relations
Authors:
Clinton Conley,
Steve Jackson,
Andrew Marks,
Brandon Seward,
Robin Tucker-Drob
Abstract:
A long standing open problem in the theory of hyperfinite equivalence relations asks if the orbit equivalence relation generated by a Borel action of a countable amenable group is hyperfinite. In this paper we prove that this question always has a positive answer when the acting group is polycyclic, and we obtain a positive answer for all free actions of a large class of groups including the lampl…
▽ More
A long standing open problem in the theory of hyperfinite equivalence relations asks if the orbit equivalence relation generated by a Borel action of a countable amenable group is hyperfinite. In this paper we prove that this question always has a positive answer when the acting group is polycyclic, and we obtain a positive answer for all free actions of a large class of groups including the lamplighter group and all virtually solvable groups having finite Prüfer rank. This marks the first time that a group of exponential volume-growth has been verified to have this property. In obtaining this result we introduce a new tool for studying Borel equivalence relations by extending Gromov's notion of asymptotic dimension to the Borel setting. We show that countable Borel equivalence relations of finite Borel asymptotic dimension are hyperfinite, and more generally we prove under a mild compatibility assumption that increasing unions of such equivalence relations are hyperfinite. As part of our main theorem, we prove for a large class of solvable groups that all of their free Borel actions have finite Borel asymptotic dimension (and finite dynamic asymptotic dimension in the case of a continuous action on a zero-dimensional space). We also provide applications to Borel chromatic numbers, Borel and continuous Folner tilings, topological dynamics, and $C^*$-algebras.
△ Less
Submitted 21 November, 2022; v1 submitted 14 September, 2020;
originally announced September 2020.
-
Bernoulli shifts with bases of equal entropy are isomorphic
Authors:
Brandon Seward
Abstract:
We prove that if $G$ is a countably infinite group and $(L, λ)$ and $(K, κ)$ are probability spaces having equal Shannon entropy, then the Bernoulli shifts $G \curvearrowright (L^G, λ^G)$ and $G \curvearrowright (K^G, κ^G)$ are isomorphic. This extends Ornstein's famous isomorphism theorem to all countably infinite groups. Our proof builds on a slightly weaker theorem by Lewis Bowen in 2011 that r…
▽ More
We prove that if $G$ is a countably infinite group and $(L, λ)$ and $(K, κ)$ are probability spaces having equal Shannon entropy, then the Bernoulli shifts $G \curvearrowright (L^G, λ^G)$ and $G \curvearrowright (K^G, κ^G)$ are isomorphic. This extends Ornstein's famous isomorphism theorem to all countably infinite groups. Our proof builds on a slightly weaker theorem by Lewis Bowen in 2011 that required both $λ$ and $κ$ have at least $3$ points in their support. We furthermore produce finitary isomorphisms in the case where both $L$ and $K$ are finite.
△ Less
Submitted 21 May, 2018;
originally announced May 2018.
-
The Koopman representation and positive Rokhlin entropy
Authors:
Brandon Seward
Abstract:
In a prior paper, the author generalized the classical factor theorem of Sinai to actions of arbitrary countably infinite groups. In the present paper, we use this theorem and the techniques of its proof in order to study connections between positive entropy phenomena and the Koopman representation. Following the line of work initiated by Hayes for sofic entropy, we show in a certain precise manne…
▽ More
In a prior paper, the author generalized the classical factor theorem of Sinai to actions of arbitrary countably infinite groups. In the present paper, we use this theorem and the techniques of its proof in order to study connections between positive entropy phenomena and the Koopman representation. Following the line of work initiated by Hayes for sofic entropy, we show in a certain precise manner that all positive entropy must come from portions of the Koopman representation that embed into the left-regular representation. By combining this result with the generalized factor theorem of the previous paper, we conclude that for actions having completely positive outer entropy, the Koopman representation must be isomorphic to the countable direct sum of the left-regular representation. This generalizes a theorem of Dooley--Golodets for countable amenable groups. As a final consequence, we observe that actions with completely positive outer entropy must be mixing, and when the group is non-amenable they must be strongly ergodic and have spectral gap. We also prove generalizations of these results that apply relative to sub-$σ$-algebras and apply to non-free actions.
△ Less
Submitted 14 April, 2018;
originally announced April 2018.
-
Positive entropy actions of countable groups factor onto Bernoulli shifts
Authors:
Brandon Seward
Abstract:
We prove that if a free ergodic action of a countably infinite group has positive Rokhlin entropy (or, less generally, positive sofic entropy) then it factors onto all Bernoulli shifts of lesser or equal entropy. This extends to all countably infinite groups the well-known Sinai factor theorem from classical entropy theory.
We prove that if a free ergodic action of a countably infinite group has positive Rokhlin entropy (or, less generally, positive sofic entropy) then it factors onto all Bernoulli shifts of lesser or equal entropy. This extends to all countably infinite groups the well-known Sinai factor theorem from classical entropy theory.
△ Less
Submitted 21 May, 2019; v1 submitted 14 April, 2018;
originally announced April 2018.
-
Continuous Combinatorics of Abelian Group Actions
Authors:
Su Gao,
Steve Jackson,
Edward Krohne,
Brandon Seward
Abstract:
This paper develops techniques which are used to answer a number of questions in the theory of equivalence relations generated by continuous actions of abelian groups. The methods center around the construction of certain specialized hyper-aperiodic elements, which produce compact subflows with useful properties. For example, we show that there is no continuous $3$-coloring of the Cayley graph on…
▽ More
This paper develops techniques which are used to answer a number of questions in the theory of equivalence relations generated by continuous actions of abelian groups. The methods center around the construction of certain specialized hyper-aperiodic elements, which produce compact subflows with useful properties. For example, we show that there is no continuous $3$-coloring of the Cayley graph on $F(2^{\mathbb{Z}^2})$, the free part of the shift action of $\mathbb{Z}^2$ on $2^{\mathbb{Z}^2}$. With earlier work of the authors this computes the continuous chromatic number of $F(2^{\mathbb{Z}^2})$ to be exactly $4$. Combined with marker arguments for the positive directions, our methods allow us to analyze continuous homomorphisms into graphs, and more generally equivariant maps into subshifts of finite type. We present a general construction of a finite set of "tiles" for $2^{\mathbb{Z}^n}$ (there are $12$ for $n=2$) such that questions about the existence of continuous homomorphisms into various structures reduce to finitary combinatorial questions about the tiles. This tile analysis is used to deduce a number of results about $F(2^{\mathbb{Z}^n})$.
△ Less
Submitted 4 April, 2023; v1 submitted 10 March, 2018;
originally announced March 2018.
-
Krieger's finite generator theorem for actions of countable groups III
Authors:
Andrei Alpeev,
Brandon Seward
Abstract:
We continue the study of Rokhlin entropy, an isomorphism invariant for probability-measure-preserving actions of countable groups introduced in Part I. In this paper we prove a non-ergodic finite generator theorem and use it to establish sub-additivity and semi-continuity properties of Rokhlin entropy. We also obtain formulas for Rokhlin entropy in terms of ergodic decompositions and inverse limit…
▽ More
We continue the study of Rokhlin entropy, an isomorphism invariant for probability-measure-preserving actions of countable groups introduced in Part I. In this paper we prove a non-ergodic finite generator theorem and use it to establish sub-additivity and semi-continuity properties of Rokhlin entropy. We also obtain formulas for Rokhlin entropy in terms of ergodic decompositions and inverse limits. Finally, we clarify the relationship between Rokhlin entropy, sofic entropy, and classical Kolmogorov--Sinai entropy. In particular, using Rokhlin entropy we give a new proof of the fact that ergodic actions with positive sofic entropy have finite stabilizers.
△ Less
Submitted 21 February, 2020; v1 submitted 26 May, 2017;
originally announced May 2017.
-
Folner tilings for actions of amenable groups
Authors:
Clinton T. Conley,
Steve Jackson,
David Kerr,
Andrew Marks,
Brandon Seward,
Robin Tucker-Drob
Abstract:
We show that every probability-measure-preserving action of a countable amenable group G can be tiled, modulo a null set, using finitely many finite subsets of G ("shapes") with prescribed approximate invariance so that the collection of tiling centers for each shape is Borel. This is a dynamical version of the Downarowicz--Huczek--Zhang tiling theorem for countable amenable groups and strengthens…
▽ More
We show that every probability-measure-preserving action of a countable amenable group G can be tiled, modulo a null set, using finitely many finite subsets of G ("shapes") with prescribed approximate invariance so that the collection of tiling centers for each shape is Borel. This is a dynamical version of the Downarowicz--Huczek--Zhang tiling theorem for countable amenable groups and strengthens the Ornstein--Weiss Rokhlin lemma. As an application we prove that, for every countably infinite amenable group G, the crossed product of a generic free minimal action of G on the Cantor set is Z-stable.
△ Less
Submitted 14 January, 2018; v1 submitted 3 April, 2017;
originally announced April 2017.
-
Hyperfiniteness and Borel combinatorics
Authors:
Clinton Conley,
Steve Jackson,
Andrew Marks,
Brandon Seward,
Robin Tucker-Drob
Abstract:
We study the relationship between hyperfiniteness and problems in Borel graph combinatorics by adapting game-theoretic techniques introduced by Marks to the hyperfinite setting. We compute the possible Borel chromatic numbers and edge chromatic numbers of bounded degree acyclic hyperfinite Borel graphs and use this to answer a question of Kechris and Marks about the relationship between Borel chro…
▽ More
We study the relationship between hyperfiniteness and problems in Borel graph combinatorics by adapting game-theoretic techniques introduced by Marks to the hyperfinite setting. We compute the possible Borel chromatic numbers and edge chromatic numbers of bounded degree acyclic hyperfinite Borel graphs and use this to answer a question of Kechris and Marks about the relationship between Borel chromatic number and measure chromatic number. We also show that for every $d > 1$ there is a $d$-regular acyclic hyperfinite Borel bipartite graph with no Borel perfect matching. These techniques also give examples of hyperfinite bounded degree Borel graphs for which the Borel local lemma fails, in contrast to the recent results of Csóka, Grabowski, Máthé, Pikhurko, and Tyros.
Related to the Borel Ruziewicz problem, we show there is a continuous paradoxical action of $(\mathbb{Z}/2\mathbb{Z})^{*3}$ on a Polish space that admits a finitely additive invariant Borel probability measure, but admits no countably additive invariant Borel probability measure. In the context of studying ultrafilters on the quotient space of equivalence relations under $\mathrm{AD}$, we also construct an ultrafilter $U$ on the quotient of $E_0$ which has surprising complexity. In particular, Martin's measure is Rudin-Kiesler reducible to $U$.
We end with a problem about whether every hyperfinite bounded degree Borel graph has a witness to its hyperfiniteness which is uniformly bounded below in size.
△ Less
Submitted 7 November, 2016;
originally announced November 2016.
-
Weak containment and Rokhlin entropy
Authors:
Brandon Seward
Abstract:
We define a new notion of weak containment for joinings, and we show that this notion implies an inequality between relative Rokhlin entropies. This leads to new upper bounds to Rokhlin entropy. We also use this notion to study how Pinsker algebras behave under direct products, and we study the Rokhlin entropy of restricted actions of finite-index subgroups.
We define a new notion of weak containment for joinings, and we show that this notion implies an inequality between relative Rokhlin entropies. This leads to new upper bounds to Rokhlin entropy. We also use this notion to study how Pinsker algebras behave under direct products, and we study the Rokhlin entropy of restricted actions of finite-index subgroups.
△ Less
Submitted 30 May, 2017; v1 submitted 22 February, 2016;
originally announced February 2016.
-
Cost, $\ell^2$-Betti numbers and the sofic entropy of some algebraic actions
Authors:
Damien Gaboriau,
Brandon Seward
Abstract:
In 1987, Ornstein and Weiss discovered that the Bernoulli $2$-shift over the rank two free group factors onto the seemingly larger Bernoulli $4$-shift. With the recent creation of an entropy theory for actions of sofic groups (in particular free groups), their example shows the surprising fact that entropy can increase under factor maps. In order to better understand this phenomenon, we study a na…
▽ More
In 1987, Ornstein and Weiss discovered that the Bernoulli $2$-shift over the rank two free group factors onto the seemingly larger Bernoulli $4$-shift. With the recent creation of an entropy theory for actions of sofic groups (in particular free groups), their example shows the surprising fact that entropy can increase under factor maps. In order to better understand this phenomenon, we study a natural generalization of the Ornstein--Weiss map for countable groups. We relate the increase in entropy to the cost and to the first $\ell^2$-Betti number of the group. More generally, we study coboundary maps arising from simplicial actions and, under certain assumptions, relate $\ell^2$-Betti numbers to the failure of the Juzvinski{\uı} addition formula. This work is built upon a study of entropy theory for algebraic actions. We prove that for actions on profinite groups via continuous group automorphisms, topological sofic entropy is equal to measure sofic entropy with respect to Haar measure whenever the homoclinic subgroup is dense. For algebraic actions of residually finite groups we find sufficient conditions for the sofic entropy to be equal to the supremum exponential growth rate of periodic points.
△ Less
Submitted 26 June, 2017; v1 submitted 8 September, 2015;
originally announced September 2015.
-
Forcing constructions and countable Borel equivalence relations
Authors:
Su Gao,
Steve Jackson,
Edward Krohne,
Brandon Seward
Abstract:
We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply the nonexistence of Borel complete sections with certain features.
We prove a number of results about countable Borel equivalence relations with forcing constructions and arguments. These results reveal hidden regularity properties of Borel complete sections on certain orbits. As consequences they imply the nonexistence of Borel complete sections with certain features.
△ Less
Submitted 26 March, 2015;
originally announced March 2015.
-
Krieger's finite generator theorem for actions of countable groups II
Authors:
Brandon Seward
Abstract:
We continue the study of Rokhlin entropy, an isomorphism invariant for probability-measure-preserving actions of countable groups introduced in the previous paper. We prove that every free ergodic action with finite Rokhlin entropy admits generating partitions which are almost Bernoulli, strengthening the theorem of Abért--Weiss that all free actions weakly contain Bernoulli shifts. We then use th…
▽ More
We continue the study of Rokhlin entropy, an isomorphism invariant for probability-measure-preserving actions of countable groups introduced in the previous paper. We prove that every free ergodic action with finite Rokhlin entropy admits generating partitions which are almost Bernoulli, strengthening the theorem of Abért--Weiss that all free actions weakly contain Bernoulli shifts. We then use this result to study the Rokhlin entropy of Bernoulli shifts. Under the assumption that every countable group admits a free ergodic action of positive Rokhlin entropy, we prove that: (i) the Rokhlin entropy of a Bernoulli shift is equal to the Shannon entropy of its base; (ii) Bernoulli shifts have completely positive Rokhlin entropy; and (iii) Gottschalk's surjunctivity conjecture and Kaplansky's direct finiteness conjecture are true.
△ Less
Submitted 7 April, 2019; v1 submitted 14 January, 2015;
originally announced January 2015.
-
Krieger's finite generator theorem for actions of countable groups I
Authors:
Brandon Seward
Abstract:
For an ergodic probability-measure-preserving action $G \curvearrowright (X, μ)$ of a countable group $G$, we define the Rokhlin entropy $h_G^{\mathrm{Rok}}(X, μ)$ to be the infimum of the Shannon entropies of countable generating partitions. It is known that for free ergodic actions of amenable groups this notion coincides with classical Kolmogorov--Sinai entropy. It is thus natural to view Rokhl…
▽ More
For an ergodic probability-measure-preserving action $G \curvearrowright (X, μ)$ of a countable group $G$, we define the Rokhlin entropy $h_G^{\mathrm{Rok}}(X, μ)$ to be the infimum of the Shannon entropies of countable generating partitions. It is known that for free ergodic actions of amenable groups this notion coincides with classical Kolmogorov--Sinai entropy. It is thus natural to view Rokhlin entropy as a close analogue to classical entropy. Under this analogy we prove that Krieger's finite generator theorem holds for all countably infinite groups. Specifically, if $h_G^{\mathrm{Rok}}(X, μ) < \log(k)$ then there exists a generating partition consisting of $k$ sets.
△ Less
Submitted 7 April, 2019; v1 submitted 14 May, 2014;
originally announced May 2014.
-
Borel structurability on the 2-shift of a countable group
Authors:
Brandon Seward,
Robin D. Tucker-Drob
Abstract:
We show that for any infinite countable group $G$ and for any free Borel action $G \curvearrowright X$ there exists an equivariant class-bijective Borel map from $X$ to the free part $\mathrm{Free}(2^G)$ of the $2$-shift $G \curvearrowright 2^G$. This implies that any Borel structurability which holds for the equivalence relation generated by $G \curvearrowright \mathrm{Free}(2^G)$ must hold a for…
▽ More
We show that for any infinite countable group $G$ and for any free Borel action $G \curvearrowright X$ there exists an equivariant class-bijective Borel map from $X$ to the free part $\mathrm{Free}(2^G)$ of the $2$-shift $G \curvearrowright 2^G$. This implies that any Borel structurability which holds for the equivalence relation generated by $G \curvearrowright \mathrm{Free}(2^G)$ must hold a fortiori for all equivalence relations coming from free Borel actions of $G$. A related consequence is that the Borel chromatic number of $\mathrm{Free}(2^G)$ is the maximum among Borel chromatic numbers of free actions of $G$. This answers a question of Marks. Our construction is flexible and, using an appropriate notion of genericity, we are able to show that in fact the generic $G$-equivariant map to $2^G$ lands in the free part. As a corollary we obtain that for every $ε> 0$, every free pmp action of $G$ has a free factor which admits a $2$-piece generating partition with Shannon entropy less than $ε$. This generalizes a result of Danilenko and Park.
△ Less
Submitted 17 February, 2014;
originally announced February 2014.
-
Every action of a non-amenable group is the factor of a small action
Authors:
Brandon Seward
Abstract:
It is well known that if $G$ is a countable amenable group and $G \curvearrowright (Y, ν)$ factors onto $G \curvearrowright (X, μ)$, then the entropy of the first action must be greater than or equal to the entropy of the second action. In particular, if $G \curvearrowright (X, μ)$ has infinite entropy, then the action $G \curvearrowright (Y, ν)$ does not admit any finite generating partition. On…
▽ More
It is well known that if $G$ is a countable amenable group and $G \curvearrowright (Y, ν)$ factors onto $G \curvearrowright (X, μ)$, then the entropy of the first action must be greater than or equal to the entropy of the second action. In particular, if $G \curvearrowright (X, μ)$ has infinite entropy, then the action $G \curvearrowright (Y, ν)$ does not admit any finite generating partition. On the other hand, we prove that if $G$ is a countable non-amenable group then there exists a finite integer $n$ with the following property: for every probability-measure-preserving action $G \curvearrowright (X, μ)$ there is a $G$-invariant probability measure $ν$ on $n^G$ such that $G \curvearrowright (n^G, ν)$ factors onto $G \curvearrowright (X, μ)$. For many non-amenable groups, $n$ can be chosen to be $4$ or smaller. We also obtain a similar result with respect to continuous actions on compact spaces and continuous factor maps.
△ Less
Submitted 3 July, 2014; v1 submitted 4 November, 2013;
originally announced November 2013.
-
Locally Nilpotent Groups and Hyperfinite Equivalence Relations
Authors:
Scott Schneider,
Brandon Seward
Abstract:
A long standing open problem in the theory of hyperfinite equivalence relations asks if the orbit equivalence relation generated by a Borel action of a countable amenable group is hyperfinite. In this paper we show that this question has a positive answer when the acting group is locally nilpotent. This extends previous results obtained by Gao-Jackson for abelian groups and by Jackson-Kechris-Louv…
▽ More
A long standing open problem in the theory of hyperfinite equivalence relations asks if the orbit equivalence relation generated by a Borel action of a countable amenable group is hyperfinite. In this paper we show that this question has a positive answer when the acting group is locally nilpotent. This extends previous results obtained by Gao-Jackson for abelian groups and by Jackson-Kechris-Louveau for finitely generated nilpotent-by-finite groups. Our proof is based on a mixture of coarse geometric properties of locally nilpotent groups together with an adaptation of the Gao-Jackson machinery.
△ Less
Submitted 19 October, 2013; v1 submitted 27 August, 2013;
originally announced August 2013.
-
Arbitrarily Large Residual Finiteness Growth
Authors:
Khalid Bou-Rabee,
Brandon Seward
Abstract:
The residual finiteness growth of a group quantifies how well approximated the group is by its finite quotients. In this paper, we construct groups with arbitrarily large residual finiteness growth. We also demonstrate a new relationship between residual finiteness growth and some decision problems in groups, which we apply to our new groups.
The residual finiteness growth of a group quantifies how well approximated the group is by its finite quotients. In this paper, we construct groups with arbitrarily large residual finiteness growth. We also demonstrate a new relationship between residual finiteness growth and some decision problems in groups, which we apply to our new groups.
△ Less
Submitted 5 April, 2013;
originally announced April 2013.
-
Ergodic actions of countable groups and finite generating partitions
Authors:
Brandon Seward
Abstract:
We prove that if an ergodic action of a countable group on a probability space admits a generating partition having finite Shannon entropy then it admits a finite generating partition.
We prove that if an ergodic action of a countable group on a probability space admits a generating partition having finite Shannon entropy then it admits a finite generating partition.
△ Less
Submitted 26 June, 2012;
originally announced June 2012.
-
Finite entropy actions of free groups, rigidity of stabilizers, and a Howe-Moore type phenomenon
Authors:
Brandon Seward
Abstract:
We study a notion of entropy for probability measure preserving actions of finitely generated free groups, called f-invariant entropy, introduced by Lewis Bowen. In the degenerate case, the f-invariant entropy is negative infinity. In this paper we investigate the qualitative consequences of having finite f-invariant entropy. We find three main properties of such actions. First, the stabilizers oc…
▽ More
We study a notion of entropy for probability measure preserving actions of finitely generated free groups, called f-invariant entropy, introduced by Lewis Bowen. In the degenerate case, the f-invariant entropy is negative infinity. In this paper we investigate the qualitative consequences of having finite f-invariant entropy. We find three main properties of such actions. First, the stabilizers occurring in factors of such actions are highly restricted. Specifically, the stabilizer of almost every point must be either trivial or of finite index. Second, such actions are very chaotic in the sense that, when the space is not essentially countable, every non-identity group element acts with infinite Kolmogorov--Sinai entropy. Finally, we show that such actions display behavior reminiscent of the Howe--Moore property. Specifically, if the action is ergodic then there is an integer n such that for every non-trivial normal subgroup K the number of K-ergodic components is at most n. Our results are based on a new formula for f-invariant entropy.
△ Less
Submitted 13 January, 2015; v1 submitted 23 May, 2012;
originally announced May 2012.
-
A subgroup formula for f-invariant entropy
Authors:
Brandon Seward
Abstract:
We study a measure entropy for finitely generated free group actions called f-invariant entropy. The f-invariant entropy was developed by Lewis Bowen and is essentially a special case of his measure entropy theory for actions of sofic groups. In this paper we relate the f-invariant entropy of a finitely generated free group action to the f-invariant entropy of the restricted action of a subgroup.…
▽ More
We study a measure entropy for finitely generated free group actions called f-invariant entropy. The f-invariant entropy was developed by Lewis Bowen and is essentially a special case of his measure entropy theory for actions of sofic groups. In this paper we relate the f-invariant entropy of a finitely generated free group action to the f-invariant entropy of the restricted action of a subgroup. We show that the ratio of these entropies equals the index of the subgroup. This generalizes a well known formula for the Kolmogorov--Sinai entropy of amenable group actions. We then extend the definition of f-invariant entropy to actions of finitely generated virtually free groups. We also obtain a numerical virtual measure conjugacy invariant for actions of finitely generated virtually free groups.
△ Less
Submitted 25 June, 2012; v1 submitted 22 February, 2012;
originally announced February 2012.
-
Group Colorings and Bernoulli Subflows
Authors:
Su Gao,
Steve Jackson,
Brandon Seward
Abstract:
In this paper we study the dynamics of Bernoulli flows and their subflows over general countable groups from the symbolic and topological perspectives. We study free subflows (subflows in which every point has trivial stabilizer), minimal subflows, disjointness of subflows, the problem of classifying subflows up to topological conjugacy, and the differences in dynamical behavior between pairs of p…
▽ More
In this paper we study the dynamics of Bernoulli flows and their subflows over general countable groups from the symbolic and topological perspectives. We study free subflows (subflows in which every point has trivial stabilizer), minimal subflows, disjointness of subflows, the problem of classifying subflows up to topological conjugacy, and the differences in dynamical behavior between pairs of points which disagree on finitely many coordinates. We call a point hyper aperiodic if the closure of its orbit is a free subflow and we call it minimal if the closure of its orbit is a minimal subflow.
We prove that the set of all (minimal) hyper aperiodic points is always dense but also meager and null. By employing notions and ideas from descriptive set theory, we study the complexity of the sets of hyper aperiodic points and of minimal points and completely determine their descriptive complexity. In doing this we introduce a new notion of countable flecc groups and study their properties. We obtain a dichotomy for the complexity of classifying free subflows up to topological conjugacy. For locally finite groups the topological conjugacy relation for all (free) subflows is hyperfinite and nonsmooth. For nonlocally finite groups the relation is Borel bireducible with the universal countable Borel equivalence relation.
A primary focus of the paper is to develop constructive methods for the notions studied. To construct hyper aperiodic points, a fundamental method of construction of multi-layer marker structures is developed with great generality. Variations of the fundamental method are used in many proofs in the paper, and we expect them to be useful more broadly in geometric group theory. As a special case of such marker structures, we study the notion of ccc groups and prove the ccc-ness for countable nilpotent, polycyclic, residually finite, locally finite groups and for free products.
△ Less
Submitted 2 January, 2012;
originally announced January 2012.
-
Burnside's Problem, spanning trees, and tilings
Authors:
Brandon Seward
Abstract:
In this paper we study geometric versions of Burnside's Problem and the von Neumann Conjecture. This is done by considering the notion of a translation-like action. Translation-like actions were introduced by Kevin Whyte as a geometric analogue of subgroup containment. Whyte proved a geometric version of the von Neumann Conjecture by showing that a finitely generated group is non-amenable if and o…
▽ More
In this paper we study geometric versions of Burnside's Problem and the von Neumann Conjecture. This is done by considering the notion of a translation-like action. Translation-like actions were introduced by Kevin Whyte as a geometric analogue of subgroup containment. Whyte proved a geometric version of the von Neumann Conjecture by showing that a finitely generated group is non-amenable if and only if it admits a translation-like action by any (equivalently every) non-abelian free group. We strengthen Whyte's result by proving that this translation-like action can be chosen to be transitive when the acting free group is finitely generated. We furthermore prove that the geometric version of Burnside's Problem holds true. That is, every finitely generated infinite group admits a translation-like action by $\Z$. This answers a question posed by Whyte. In pursuit of these results we discover an interesting property of Cayley graphs: every finitely generated infinite group $G$ has some Cayley graph having a regular spanning tree. This regular spanning tree can be chosen to have degree 2 (and hence be a bi-infinite Hamiltonian path) if and only if $G$ has finitely many ends, and it can be chosen to have any degree greater than 2 if and only if $G$ is non-amenable. We use this last result to then study tilings of groups. We define a general notion of polytilings and extend the notion of MT groups and ccc groups to the setting of polytilings. We prove that every countable group is poly-MT and every finitely generated group is poly-ccc.
△ Less
Submitted 5 November, 2011; v1 submitted 6 April, 2011;
originally announced April 2011.
-
Generalizing Magnus' characterization of free groups to some free products
Authors:
Khalid Bou-Rabee,
Brandon Seward
Abstract:
A residually nilpotent group is \emph{$k$-parafree} if all of its lower central series quotients match those of a free group of rank $k$. Magnus proved that $k$-parafree groups of rank $k$ are themselves free. In this note we mimic this theory with finite extensions of free groups, with an emphasis on free products of the cyclic group $C_p$, for $p$ an odd prime. We show that for $n \leq p$ Magnus…
▽ More
A residually nilpotent group is \emph{$k$-parafree} if all of its lower central series quotients match those of a free group of rank $k$. Magnus proved that $k$-parafree groups of rank $k$ are themselves free. In this note we mimic this theory with finite extensions of free groups, with an emphasis on free products of the cyclic group $C_p$, for $p$ an odd prime. We show that for $n \leq p$ Magnus' characterization holds for the $n$-fold free product $C_p^{*n}$ within the class of finite-extensions of free groups. Specifically, if $n \leq p$ and $G$ is a finitely generated, virtually free, residually nilpotent group having the same lower central series quotients as $C_p^{*n}$, then $G \cong C_p^{*n}$. We also show that such a characterization does not hold in the class of finitely generated groups. That is, we construct a rank 2 residually nilpotent group $G$ that shares all its lower central series quotients with $\ffp$, but is not $\ffp$.
△ Less
Submitted 16 April, 2011; v1 submitted 1 April, 2010;
originally announced April 2010.