Showing 1–9 of 9 results for author: Marks, A S

One-ended spanning subforests and treeability of groups

Authors: Clinton T. Conley, Damien Gaboriau, Andrew S. Marks, Robin D. Tucker-Drob

Abstract: We show that several new classes of groups are measure strongly treeable. In particular, finitely generated groups admitting planar Cayley graphs, elementarily free groups, and the group of isometries of the hyperbolic plane and all its closed subgroups. This provides the first examples of one-ended nonamenable groups which are measure strongly treeable. In higher dimensions, we also prove a dicho… ▽ More We show that several new classes of groups are measure strongly treeable. In particular, finitely generated groups admitting planar Cayley graphs, elementarily free groups, and the group of isometries of the hyperbolic plane and all its closed subgroups. This provides the first examples of one-ended nonamenable groups which are measure strongly treeable. In higher dimensions, we also prove a dichotomy that the fundamental group of a closed aspherical $3$-manifold is either amenable or has strong ergodic dimension $2$. Our main technical tool is a method for finding measurable treeings of Borel planar graphs by constructing one-ended spanning subforests in their planar dual. Our techniques for constructing one-ended spanning subforests also give a complete classification of the locally finite pmp graphs which admit Borel a.e.\ one-ended spanning subforests. △ Less

Submitted 2 June, 2025; v1 submitted 15 April, 2021; originally announced April 2021.

Comments: Added section 5.5 on measure free factors, and other small corrections. 46 pages, 2 x 2 figures

MSC Class: 37A20 (03E15; 22F10; 05C10)

Measurable realizations of abstract systems of congruences

Authors: Clinton T. Conley, Andrew S. Marks, Spencer T. Unger

Abstract: An abstract system of congruences describes a way of partitioning a space into finitely many pieces satisfying certain congruence relations. Examples of abstract systems of congruences include paradoxical decompositions and $n$-divisibility of actions. We consider the general question of when there are realizations of abstract systems of congruences satisfying various measurability constraints. We… ▽ More An abstract system of congruences describes a way of partitioning a space into finitely many pieces satisfying certain congruence relations. Examples of abstract systems of congruences include paradoxical decompositions and $n$-divisibility of actions. We consider the general question of when there are realizations of abstract systems of congruences satisfying various measurability constraints. We completely characterize which abstract systems of congruences can be realized by nonmeager Baire measurable pieces of the sphere under the action of rotations on the $2$-sphere. This answers a question of Wagon. We also construct Borel realizations of abstract systems of congruences for the action of $\mathsf{PSL}_2(\mathbb{Z})$ on $\mathsf{P}^1(\mathbb{R})$. The combinatorial underpinnings of our proof are certain types of decomposition of Borel graphs into paths. We also use these decompositions to obtain some results about measurable unfriendly colorings. △ Less

Submitted 16 January, 2020; v1 submitted 12 March, 2019; originally announced March 2019.

Comments: minor corrections

Journal ref: Forum of Mathematics, Sigma 8 (2020) e10

Distance from marker sequences in locally finite Borel graphs

Authors: Clinton T. Conley, Andrew S. Marks

Abstract: We show that a locally finite Borel graph is nonsmooth if and only if it admits marker sequences which are "far" from every point. Our proof uses the Galvin-Prikry theorem and the Glimm-Effros dichotomy. We show that a locally finite Borel graph is nonsmooth if and only if it admits marker sequences which are "far" from every point. Our proof uses the Galvin-Prikry theorem and the Glimm-Effros dichotomy. △ Less

Submitted 18 November, 2018; originally announced November 2018.

Borel Circle Squaring

Authors: Andrew S. Marks, Spencer T. Unger

Abstract: We give a completely constructive solution to Tarski's circle squaring problem. More generally, we prove a Borel version of an equidecomposition theorem due to Laczkovich. If $k \geq 1$ and $A, B \subseteq \mathbb{R}^k$ are bounded Borel sets with the same positive Lebesgue measure whose boundaries have upper Minkowski dimension less than $k$, then $A$ and $B$ are equidecomposable by translations… ▽ More We give a completely constructive solution to Tarski's circle squaring problem. More generally, we prove a Borel version of an equidecomposition theorem due to Laczkovich. If $k \geq 1$ and $A, B \subseteq \mathbb{R}^k$ are bounded Borel sets with the same positive Lebesgue measure whose boundaries have upper Minkowski dimension less than $k$, then $A$ and $B$ are equidecomposable by translations using Borel pieces. This answers a question of Wagon. Our proof uses ideas from the study of flows in graphs, and a recent result of Gao, Jackson, Krohne, and Seward on special types of witnesses to the hyperfiniteness of free Borel actions of $\mathbb{Z}^d$. △ Less

Submitted 12 June, 2017; v1 submitted 17 December, 2016; originally announced December 2016.

Comments: Minor typos corrected

MSC Class: 03E15; 05C21; 37A20; 52B45

Journal ref: Ann. of Math. 186 (2017), 581-605

Topological generators for full groups of hyperfinite pmp equivalence relations

Authors: Andrew S. Marks

Abstract: We give an elementary proof that there are two topological generators for the full group of every aperiodic hyperfinite probability measure preserving Borel equivalence relation. Our proof explicitly constructs topological generators for the orbit equivalence relation of the irrational rotation of the circle, and then appeals to Dye's theorem and a Baire category argument to conclude the general c… ▽ More We give an elementary proof that there are two topological generators for the full group of every aperiodic hyperfinite probability measure preserving Borel equivalence relation. Our proof explicitly constructs topological generators for the orbit equivalence relation of the irrational rotation of the circle, and then appeals to Dye's theorem and a Baire category argument to conclude the general case. △ Less

Submitted 26 June, 2016; originally announced June 2016.

Uniformity, Universality, and Computability Theory

Authors: Andrew S Marks

Abstract: We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of countable groups. We begin by investigating the notion of uniform universality, first proposed by Montalbán, Reimann and Slaman. This notion is a strengthened f… ▽ More We prove a number of results motivated by global questions of uniformity in computability theory, and universality of countable Borel equivalence relations. Our main technical tool is a game for constructing functions on free products of countable groups. We begin by investigating the notion of uniform universality, first proposed by Montalbán, Reimann and Slaman. This notion is a strengthened form of a countable Borel equivalence relation being universal, which we conjecture is equivalent to the usual notion. With this additional uniformity hypothesis, we can answer many questions concerning how countable groups, probability measures, the subset relation, and increasing unions interact with universality. For many natural classes of countable Borel equivalence relations, we can also classify exactly which are uniformly universal. We also show the existence of refinements of Martin's ultrafilter on Turing invariant Borel sets to the invariant Borel sets of equivalence relations that are much finer than Turing equivalence. For example, we construct such an ultrafilter for the orbit equivalence relation of the shift action of the free group on countably many generators. These ultrafilters imply a number of structural properties for these equivalence relations. △ Less

Submitted 22 March, 2017; v1 submitted 6 June, 2016; originally announced June 2016.

Comments: 61 Pages

Journal ref: J. Math. Logic 17 (2017) no 1

Jump operations for Borel graphs

Authors: Adam R. Day, Andrew S. Marks

Abstract: We investigate the class of bipartite Borel graphs organized by the order of Borel homomorphism. We show that this class is unbounded by finding a jump operator for Borel graphs analogous to a jump operator of Louveau for Borel equivalence relations. The proof relies on a non-separation result for iterated Frechet ideals and filters due to Debs and Saint Raymond. We give a new proof of this fact u… ▽ More We investigate the class of bipartite Borel graphs organized by the order of Borel homomorphism. We show that this class is unbounded by finding a jump operator for Borel graphs analogous to a jump operator of Louveau for Borel equivalence relations. The proof relies on a non-separation result for iterated Frechet ideals and filters due to Debs and Saint Raymond. We give a new proof of this fact using effective descriptive set theory. We also investigate an analogue of the Friedman-Stanley jump for Borel graphs. This analogue does not yield a jump operator for bipartite Borel graphs. However, we use it to answer a question of Kechris and Marks by showing that there is a Borel graph with no Borel homomorphism to a locally countable Borel graph, but each of whose connected components has a countable Borel coloring. △ Less

Submitted 8 April, 2016; originally announced April 2016.

Journal ref: J. Symb. Log 82 (2018), 13-28

Brooks's theorem for measurable colorings

Authors: Clinton T. Conley, Andrew S. Marks, Robin Tucker-Drob

Abstract: We generalize Brooks's theorem to show that if $G$ is a Borel graph on a standard Borel space $X$ of degree bounded by $d \geq 3$ which contains no $(d+1)$-cliques, then $G$ admits a $μ$-measurable $d$-coloring with respect to any Borel probability measure $μ$ on $X$, and a Baire measurable $d$-coloring with respect to any compatible Polish topology on $X$. The proof of this theorem uses a new tec… ▽ More We generalize Brooks's theorem to show that if $G$ is a Borel graph on a standard Borel space $X$ of degree bounded by $d \geq 3$ which contains no $(d+1)$-cliques, then $G$ admits a $μ$-measurable $d$-coloring with respect to any Borel probability measure $μ$ on $X$, and a Baire measurable $d$-coloring with respect to any compatible Polish topology on $X$. The proof of this theorem uses a new technique for constructing one-ended spanning subforests of Borel graphs, as well as ideas from the study of list colorings. We apply the theorem to graphs arising from group actions to obtain factor of IID $d$-colorings of Cayley graphs of degree $d$, except in two exceptional cases. △ Less

Submitted 31 May, 2016; v1 submitted 13 January, 2016; originally announced January 2016.

Comments: Minor corrections

Journal ref: Forum of Math., Sigma, 4, 2016, E16

The universality of polynomial time Turing equivalence

Authors: Andrew S. Marks

Abstract: We show that polynomial time Turing equivalence and a large class of other equivalence relations from computational complexity theory are universal countable Borel equivalence relations. We then discuss ultrafilters on the invariant Borel sets of these equivalence relations which are related to Martin's ultrafilter on the Turing degrees. We show that polynomial time Turing equivalence and a large class of other equivalence relations from computational complexity theory are universal countable Borel equivalence relations. We then discuss ultrafilters on the invariant Borel sets of these equivalence relations which are related to Martin's ultrafilter on the Turing degrees. △ Less

Submitted 31 May, 2016; v1 submitted 13 January, 2016; originally announced January 2016.

Comments: Minor corrections