Showing 1–19 of 19 results for author: Marks, A

Hausdorff dimension and countable Borel equivalence relations

Authors: Andrew Marks, Dino Rossegger, Theodore Slaman

Abstract: We show that if $E$ is a countable Borel equivalence relation on $\mathbb{R}^n$, then there is a closed subset $A \subset [0,1]^n$ of Hausdorff dimension $n$ so that $E \restriction A$ is smooth. More generally, if $\leq_Q$ is a locally countable Borel quasi-order on $2^ω$ and $g$ is any gauge function of lower order than the identity, then there is a closed set $A$ so that $A$ is an antichain in… ▽ More We show that if $E$ is a countable Borel equivalence relation on $\mathbb{R}^n$, then there is a closed subset $A \subset [0,1]^n$ of Hausdorff dimension $n$ so that $E \restriction A$ is smooth. More generally, if $\leq_Q$ is a locally countable Borel quasi-order on $2^ω$ and $g$ is any gauge function of lower order than the identity, then there is a closed set $A$ so that $A$ is an antichain in $\leq_Q$ and $H^g(A) > 0$. △ Less

Submitted 29 October, 2024; originally announced October 2024.

MSC Class: 03E15; 28A78

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)

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.

Comments: Corrected a typo in the proof of Theorem 4.8

On a question of Slaman and Steel

Authors: Adam Day, Andrew Marks

Abstract: We consider an old question of Slaman and Steel: whether Turing equivalence is an increasing union of Borel equivalence relations none of which contain a uniformly computable infinite sequence. We show this question is deeply connected to problems surrounding Martin's conjecture, and also in countable Borel equivalence relations. In particular, if Slaman and Steel's question has a positive answer,… ▽ More We consider an old question of Slaman and Steel: whether Turing equivalence is an increasing union of Borel equivalence relations none of which contain a uniformly computable infinite sequence. We show this question is deeply connected to problems surrounding Martin's conjecture, and also in countable Borel equivalence relations. In particular, if Slaman and Steel's question has a positive answer, it implies there is a universal countable Borel equivalence which is not uniformly universal, and that there is a $(\equiv_T,\equiv_m)$-invariant function which is not uniformly invariant on any pointed perfect set. △ Less

Submitted 31 March, 2020; originally announced April 2020.

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.

Scott Ranks of Classifications of the Admissibility Equivalence Relation

Authors: William Chan, Matthew Harrison-Trainor, Andrew Marks

Abstract: Let $\mathscr{L}$ be a recursive language. Let $S(\mathscr{L})$ be the set of $\mathscr{L}$-structures with domain $ω$. Let $Φ: {}^ω2 \rightarrow S(\mathscr{L})$ be a $Δ_1^1$ function with the property that for all $x,y \in {}^ω2$, $ω_1^x = ω_1^y$ if and only if $Φ(x) \approx_{\mathscr{L}} Φ(y)$. Then there is some $x \in {}^ω2$ so that $\mathrm{SR}(Φ(x)) = ω_1^x + 1$. Let $\mathscr{L}$ be a recursive language. Let $S(\mathscr{L})$ be the set of $\mathscr{L}$-structures with domain $ω$. Let $Φ: {}^ω2 \rightarrow S(\mathscr{L})$ be a $Δ_1^1$ function with the property that for all $x,y \in {}^ω2$, $ω_1^x = ω_1^y$ if and only if $Φ(x) \approx_{\mathscr{L}} Φ(y)$. Then there is some $x \in {}^ω2$ so that $\mathrm{SR}(Φ(x)) = ω_1^x + 1$. △ Less

Submitted 3 December, 2017; originally announced December 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.

Comments: Minor revisions. Final version

Journal ref: Mathematische Annalen 371 (2018), 663-683

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

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.

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

Baire measurable paradoxical decompositions via matchings

Authors: Andrew Marks, Spencer Unger

Abstract: We show that every locally finite bipartite Borel graph satisfying a strengthening of Hall's condition has a Borel perfect matching on some comeager invariant Borel set. We apply this to show that if a group acting by Borel automorphisms on a Polish space has a paradoxical decomposition, then it admits a paradoxical decomposition using pieces having the Baire property. This strengthens a theorem o… ▽ More We show that every locally finite bipartite Borel graph satisfying a strengthening of Hall's condition has a Borel perfect matching on some comeager invariant Borel set. We apply this to show that if a group acting by Borel automorphisms on a Polish space has a paradoxical decomposition, then it admits a paradoxical decomposition using pieces having the Baire property. This strengthens a theorem of Dougherty and Foreman who showed that there is a paradoxical decomposition of the unit ball in $\mathbb{R}^3$ using Baire measurable pieces. We also obtain a Baire category solution to the dynamical von Neumann-Day problem: if $a$ is a nonamenable action of a group on a Polish space $X$ by Borel automorphisms, then there is a free Baire measurable action of $\mathbb{F}_2$ on $X$ which is Lipschitz with respect to $a$. △ Less

Submitted 23 November, 2015; v1 submitted 7 January, 2015; originally announced January 2015.

Comments: Minor revisions

Journal ref: Adv. Math. 289 (2016), 397-410

A determinacy approach to Borel combinatorics

Authors: Andrew Marks

Abstract: We introduce a new method, involving infinite games and Borel determinacy, which we use to answer several well-known questions in Borel combinatorics. We introduce a new method, involving infinite games and Borel determinacy, which we use to answer several well-known questions in Borel combinatorics. △ Less

Submitted 1 June, 2015; v1 submitted 13 April, 2013; originally announced April 2013.

Comments: Minor corrections and some reorganization of section 4

Journal ref: J. Amer. Math. Soc. 29 (2016), 579-600

Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations

Authors: Andrew Marks, Theodore Slaman, John Steel

Abstract: There is a fascinating interplay and overlap between recursion theory and descriptive set theory. A particularly beautiful source of such interaction has been Martin's conjecture on Turing invariant functions. This longstanding open problem in recursion theory has connected to many problems in descriptive set theory, particularly in the theory of countable Borel equivalence relations. In this pa… ▽ More There is a fascinating interplay and overlap between recursion theory and descriptive set theory. A particularly beautiful source of such interaction has been Martin's conjecture on Turing invariant functions. This longstanding open problem in recursion theory has connected to many problems in descriptive set theory, particularly in the theory of countable Borel equivalence relations. In this paper, we shall give an overview of some work that has been done on Martin's conjecture, and applications that it has had in descriptive set theory. We will present a long unpublished result of Slaman and Steel that arithmetic equivalence is a universal countable Borel equivalence relation. This theorem has interesting corollaries for the theory of universal countable Borel equivalence relations in general. We end with some open problems, and directions for future research. △ Less

Submitted 14 November, 2012; v1 submitted 8 September, 2011; originally announced September 2011.

Comments: Corrected typos

Journal ref: Lecture Notes in Logic 43, Cambridge University Press, 2016, 200-219

Minimal Betti Numbers

Authors: Christopher Dodd, Andrew Marks, Victor Meyerson, Ben Richert

Abstract: We give conditions for determining the extremal behavior for the (graded) Betti numbers of squarefree monomial ideals. For the case of non-unique minima, we give several conditions which we use to produce infinite families, exponentially growing with dimension, of Hilbert functions which have no smallest (graded) Betti numbers among squarefree monomial ideals and all ideals. For the case of uniq… ▽ More We give conditions for determining the extremal behavior for the (graded) Betti numbers of squarefree monomial ideals. For the case of non-unique minima, we give several conditions which we use to produce infinite families, exponentially growing with dimension, of Hilbert functions which have no smallest (graded) Betti numbers among squarefree monomial ideals and all ideals. For the case of unique minima, we give two families of Hilbert functions, one with exponential and one with linear growth as dimension grows, that have unique minimal Betti numbers among squarefree monomial ideals. △ Less

Submitted 9 January, 2007; v1 submitted 21 April, 2006; originally announced April 2006.

MSC Class: 13F55; 13D02