-
A note on the ineffectiveness of the regularity lemma for bounded degree graphs
Authors:
Clark Lyons,
Grigory Terlov,
Zoltán Vidnyánszky
Abstract:
We show that for any $Δ\geq 3$, there is no bound computable from $(\varepsilon, r)$ on the size of a graph required to approximate a graph of maximum degree at most $Δ$ up to $\varepsilon$ error in $r$-neighborhood statistics. This provides a negative answer to a question posed by Lovász. Our result is a direct consequence of the recent celebrated work of Bowen, Chapman, Lubotzky, and Vidick, whi…
▽ More
We show that for any $Δ\geq 3$, there is no bound computable from $(\varepsilon, r)$ on the size of a graph required to approximate a graph of maximum degree at most $Δ$ up to $\varepsilon$ error in $r$-neighborhood statistics. This provides a negative answer to a question posed by Lovász. Our result is a direct consequence of the recent celebrated work of Bowen, Chapman, Lubotzky, and Vidick, which refutes the Aldous--Lyons conjecture.
△ Less
Submitted 9 May, 2025;
originally announced May 2025.
-
From descriptive to distributed
Authors:
Jan Grebík,
Zoltán Vidnyánszky
Abstract:
In the past couple of years a rich connection has been found between the fields of descriptive set theory and distributed computing. Frequently, and less surprisingly, finitary algorithms can be adopted to the infinite setting, resulting in theorems about infinite, definable graphs. In this survey, we take a different perspective and illustrate how results and ideas from descriptive set theory pro…
▽ More
In the past couple of years a rich connection has been found between the fields of descriptive set theory and distributed computing. Frequently, and less surprisingly, finitary algorithms can be adopted to the infinite setting, resulting in theorems about infinite, definable graphs. In this survey, we take a different perspective and illustrate how results and ideas from descriptive set theory provide new insights and techniques to the theory of distributed computing. We focus on the two classical topics from graph theory, vertex and edge colorings. After summarizing the up-to-date results from both areas, we discuss the adaptation of Marks' games method to the LOCAL model of distributed computing and the development of the multi-step Vizing's chain technique, which led to the construction of the first non-trivial distributed algorithms for Vizing colorings. We provide a list of related open problems to complement our discussion. Finally, we describe an efficient deterministic distributed algorithm for Brooks coloring on graphs of subexponential growth.
△ Less
Submitted 21 February, 2025;
originally announced February 2025.
-
Complexity of Linear Equations and Infinite Gadgets
Authors:
Jan Grebík,
Zoltán Vidnyánszky
Abstract:
We investigate the descriptive set-theoretic complexity of the solvability of a Borel family of linear equations over a finite field. Answering a question of Thornton, we show that this problem is already hard, namely $Σ^1_2$-complete. This implies that the split between easy and hard problems is at a different place in the Borel setting than in the case of the CSP Dichotomy.
We investigate the descriptive set-theoretic complexity of the solvability of a Borel family of linear equations over a finite field. Answering a question of Thornton, we show that this problem is already hard, namely $Σ^1_2$-complete. This implies that the split between easy and hard problems is at a different place in the Borel setting than in the case of the CSP Dichotomy.
△ Less
Submitted 10 January, 2025;
originally announced January 2025.
-
Hyperfiniteness on Topological Ramsey Spaces
Authors:
Balázs Bursics,
Zoltán Vidnyánszky
Abstract:
We investigate the behavior of countable Borel equivalence relations (CBERs) on topological Ramsey spaces. First, we give a simple proof of the fact that every CBER on $[\mathbb{N}]^{\mathbb{N}}$ is hyperfinite on some set of the form $[A]^{\mathbb{N}}$. Using the idea behind the proof, we show the analogous result for every topological Ramsey space.
We investigate the behavior of countable Borel equivalence relations (CBERs) on topological Ramsey spaces. First, we give a simple proof of the fact that every CBER on $[\mathbb{N}]^{\mathbb{N}}$ is hyperfinite on some set of the form $[A]^{\mathbb{N}}$. Using the idea behind the proof, we show the analogous result for every topological Ramsey space.
△ Less
Submitted 2 December, 2024;
originally announced December 2024.
-
Hyper-hyperfiniteness and complexity
Authors:
Joshua Frisch,
Forte Shinko,
Zoltan Vidnyanszky
Abstract:
We show that if there exists a countable Borel equivalence relation which is hyper-hyperfinite but not hyperfinite then the complexity of hyperfinite countable Borel equivalence relations is as high as possible, namely, $Σ^1_2$-complete.
We show that if there exists a countable Borel equivalence relation which is hyper-hyperfinite but not hyperfinite then the complexity of hyperfinite countable Borel equivalence relations is as high as possible, namely, $Σ^1_2$-complete.
△ Less
Submitted 24 September, 2024;
originally announced September 2024.
-
FIID homomorphisms and entropy inequalities
Authors:
Endre Csoka,
Zoltan Vidnyanszky
Abstract:
We investigate the existence of FIID homomorphisms from regular trees to finite graphs. Using entropy inequalities we show that there are graphs with arbitrarily large chromatic number to which there is no FIID homomorphism from a 3-regular tree.
We investigate the existence of FIID homomorphisms from regular trees to finite graphs. Using entropy inequalities we show that there are graphs with arbitrarily large chromatic number to which there is no FIID homomorphism from a 3-regular tree.
△ Less
Submitted 29 October, 2024; v1 submitted 13 July, 2024;
originally announced July 2024.
-
The CSP Dichotomy, the Axiom of Choice, and Cyclic Polymorphisms
Authors:
Tamás Kátay,
László Márton Tóth,
Zoltán Vidnyánszky
Abstract:
We study Constraint Satisfaction Problems (CSPs) in an infinite context. We show that the dichotomy between easy and hard problems -- established already in the finite case -- presents itself as the strength of the corresponding De Bruijin-Erdős-type compactness theorem over ZF. More precisely, if $\mathcal{D}$ is a structure, let $K_\mathcal{D}$ stand for the following statement: for every struct…
▽ More
We study Constraint Satisfaction Problems (CSPs) in an infinite context. We show that the dichotomy between easy and hard problems -- established already in the finite case -- presents itself as the strength of the corresponding De Bruijin-Erdős-type compactness theorem over ZF. More precisely, if $\mathcal{D}$ is a structure, let $K_\mathcal{D}$ stand for the following statement: for every structure $\mathcal{X}$ if every finite substructure of $\mathcal{X}$ admits a solution to $\mathcal{D}$, then so does $\mathcal{X}$. We prove that if $\mathcal{D}$ admits no cyclic polymorphism, and thus it is NP-complete by the CSP Dichotomy Theorem, then $K_\mathcal{D}$ is equivalent to the Boolean Prime Ideal Theorem (BPI) over ZF. Conversely, we also show that if $\mathcal{D}$ admits a cyclic polymorphism, and thus it is in P, then $K_\mathcal{D}$ is strictly weaker than BPI.
△ Less
Submitted 29 October, 2024; v1 submitted 30 September, 2023;
originally announced October 2023.
-
Ramsey, expanders, and Borel chromatic numbers
Authors:
Jan Grebík,
Zoltán Vidnyánszky
Abstract:
We construct bounded degree acyclic Borel graphs with large Borel chromatic number using a graph arising from Ramsey theory and limits of expander sequences.
We construct bounded degree acyclic Borel graphs with large Borel chromatic number using a graph arising from Ramsey theory and limits of expander sequences.
△ Less
Submitted 3 May, 2022;
originally announced May 2022.
-
Deterministic Distributed algorithms and Descriptive Combinatorics on Δ-regular trees
Authors:
Sebastian Brandt,
Yi-Jun Chang,
Jan Grebík,
Christoph Grunau,
Václav Rozhoň,
Zoltán Vidnyánszky
Abstract:
We study complexity classes of local problems on regular trees from the perspective of distributed local algorithms and descriptive combinatorics. We show that, surprisingly, some deterministic local complexity classes from the hierarchy of distributed computing exactly coincide with well studied classes of problems in descriptive combinatorics. Namely, we show that a local problem admits a contin…
▽ More
We study complexity classes of local problems on regular trees from the perspective of distributed local algorithms and descriptive combinatorics. We show that, surprisingly, some deterministic local complexity classes from the hierarchy of distributed computing exactly coincide with well studied classes of problems in descriptive combinatorics. Namely, we show that a local problem admits a continuous solution if and only if it admits a local algorithm with local complexity $O(\log^* n)$, and a Baire measurable solution if and only if it admits a local algorithm with local complexity $O(\log n)$.
△ Less
Submitted 20 April, 2022;
originally announced April 2022.
-
Ramsey and Hypersmoothness
Authors:
Zoltán Vidnyánszky
Abstract:
Combining canonization results of Prömel-Voigt, Mathias, and Soare, we provide a new, natural example of an $F_σ$ equivalence relation that is not hypersmooth.
Combining canonization results of Prömel-Voigt, Mathias, and Soare, we provide a new, natural example of an $F_σ$ equivalence relation that is not hypersmooth.
△ Less
Submitted 9 February, 2022;
originally announced February 2022.
-
On Homomorphism Graphs
Authors:
Sebastian Brandt,
Yi-Jun Chang,
Jan Grebík,
Christoph Grunau,
Václav Rozhoň,
Zoltán Vidnyánszky
Abstract:
We introduce a new type of examples of bounded degree acyclic Borel graphs and study their combinatorial properties in the context of descriptive combinatorics, using a generalization of the determinacy method of Marks. The motivation for the construction comes from the adaptation of this method to the LOCAL model of distributed computing. Our approach unifies the previous results in the area, as…
▽ More
We introduce a new type of examples of bounded degree acyclic Borel graphs and study their combinatorial properties in the context of descriptive combinatorics, using a generalization of the determinacy method of Marks. The motivation for the construction comes from the adaptation of this method to the LOCAL model of distributed computing. Our approach unifies the previous results in the area, as well as produces new ones. In particular, we show that for $Δ>2$ it is impossible to give a simple characterization of acyclic $Δ$-regular Borel graphs with Borel chromatic number at most $Δ$: such graphs form a $\mathbfΣ^1_2$-complete set. This implies a strong failure of Brooks'-like theorems in the Borel context.
△ Less
Submitted 29 April, 2024; v1 submitted 5 November, 2021;
originally announced November 2021.
-
Realizations of countable Borel equivalence relations
Authors:
Joshua Frisch,
Alexander Kechris,
Forte Shinko,
Zoltán Vidnyánszky
Abstract:
We study topological realizations of countable Borel equivalence relations, including realizations by continuous actions of countable groups, with additional desirable properties. Some examples include minimal realizations on any perfect Polish space, realizations as $K_σ$ relations, and realizations by continuous actions on the Baire space. We also consider questions related to realizations of sp…
▽ More
We study topological realizations of countable Borel equivalence relations, including realizations by continuous actions of countable groups, with additional desirable properties. Some examples include minimal realizations on any perfect Polish space, realizations as $K_σ$ relations, and realizations by continuous actions on the Baire space. We also consider questions related to realizations of specific important equivalence relations, like Turing and arithmetical equivalence. We focus in particular on the problem of realization by continuous actions on compact spaces and more specifically subshifts. This leads to the study of properties of subshifts, including universality of minimal subshifts, and a characterization of amenability of a countable group in terms of subshifts. Moreover we consider a natural universal space for actions and equivalence relations and study the descriptive and topological properties in this universal space of various properties, like, e.g., compressibility, amenability or hyperfiniteness.
△ Less
Submitted 12 December, 2023; v1 submitted 25 September, 2021;
originally announced September 2021.
-
Zero-dimensional $σ$-homogeneous spaces
Authors:
Andrea Medini,
Zoltán Vidnyánszky
Abstract:
All spaces are assumed to be separable and metrizable. Ostrovsky showed that every zero-dimensional Borel space is $σ$-homogeneous. Inspired by this theorem, we obtain the following results: assuming $\mathsf{AD}$, every zero-dimensional space is $σ$-homogeneous; assuming $\mathsf{AC}$, there exists a zero-dimensional space that is not $σ$-homogeneous; assuming $\mathsf{V=L}$, there exists a coana…
▽ More
All spaces are assumed to be separable and metrizable. Ostrovsky showed that every zero-dimensional Borel space is $σ$-homogeneous. Inspired by this theorem, we obtain the following results: assuming $\mathsf{AD}$, every zero-dimensional space is $σ$-homogeneous; assuming $\mathsf{AC}$, there exists a zero-dimensional space that is not $σ$-homogeneous; assuming $\mathsf{V=L}$, there exists a coanalytic zero-dimensional space that is not $σ$-homogeneous. Along the way, we introduce two notions of hereditary rigidity, and give alternative proofs of results of van Engelen, Miller and Steel. It is an open problem whether every analytic zero-dimensional space is $σ$-homogeneous.
△ Less
Submitted 17 July, 2023; v1 submitted 16 July, 2021;
originally announced July 2021.
-
Local Problems on Trees from the Perspectives of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics
Authors:
Sebastian Brandt,
Yi-Jun Chang,
Jan Grebík,
Christoph Grunau,
Václav Rozhoň,
Zoltán Vidnyánszky
Abstract:
We study connections between distributed local algorithms, finitary factors of iid processes, and descriptive combinatorics in the context of regular trees.
We extend the Borel determinacy technique of Marks coming from descriptive combinatorics and adapt it to the area of distributed computing. Using this technique, we prove deterministic distributed $Ω(\log n)$-round lower bounds for problems…
▽ More
We study connections between distributed local algorithms, finitary factors of iid processes, and descriptive combinatorics in the context of regular trees.
We extend the Borel determinacy technique of Marks coming from descriptive combinatorics and adapt it to the area of distributed computing. Using this technique, we prove deterministic distributed $Ω(\log n)$-round lower bounds for problems from a natural class of homomorphism problems. Interestingly, these lower bounds seem beyond the current reach of the powerful round elimination technique responsible for all substantial locality lower bounds of the last years. Our key technical ingredient is a novel ID graph technique that we expect to be of independent interest.
We prove that a local problem admits a Baire measurable coloring if and only if it admits a local algorithm with local complexity $O(\log n)$, extending the classification of Baire measurable colorings of Bernshteyn. A key ingredient of the proof is a new and simple characterization of local problems that can be solved in $O(\log n)$ rounds. We complement this result by showing separations between complexity classes from distributed computing, finitary factors, and descriptive combinatorics. Most notably, the class of problems that allow a distributed algorithm with sublogarithmic randomized local complexity is incomparable with the class of problems with a Borel solution.
We hope that our treatment will help to view all three perspectives as part of a common theory of locality, in which we follow the insightful paper of [Bernshteyn -- arXiv 2004.04905].
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
Tall $F_σ$ subideals of tall analytic ideals
Authors:
Jan Grebík,
Zoltán Vidnyánszky
Abstract:
Answering a question of Hrušák, we show that every analytic tall ideal on $ω$ contains an $F_σ$ tall ideal. We also give an example of an $F_σ$ tall ideal without a Borel selector.
Answering a question of Hrušák, we show that every analytic tall ideal on $ω$ contains an $F_σ$ tall ideal. We also give an example of an $F_σ$ tall ideal without a Borel selector.
△ Less
Submitted 28 September, 2020;
originally announced September 2020.
-
Haar-positive closed subsets of Haar-positive analytic sets
Authors:
Márton Elekes,
Márk Poór,
Zoltán Vidnyánszky
Abstract:
We show that every non-Haar-null analytic subset of $\mathbb{Z}^ω$ contains a non-Haar-null closed subset. Moreover, we also prove that the codes of Haar-null analytic subsets, and, consequently, closed Haar-null sets in the Effros Borel space of $\mathbb{Z}^ω$ form a $\mathbfΔ^1_2$ set.
We show that every non-Haar-null analytic subset of $\mathbb{Z}^ω$ contains a non-Haar-null closed subset. Moreover, we also prove that the codes of Haar-null analytic subsets, and, consequently, closed Haar-null sets in the Effros Borel space of $\mathbb{Z}^ω$ form a $\mathbfΔ^1_2$ set.
△ Less
Submitted 15 March, 2020;
originally announced March 2020.
-
On the existence of small antichains for definable quasi-orders
Authors:
Raphaël Carroy,
Benjamin D. Miller,
Zoltán Vidnyánszky
Abstract:
We generalize Kada's definable strengthening of Dilworth's
characterization of the class of quasi-orders admitting an antichain of
a given finite cardinality.
We generalize Kada's definable strengthening of Dilworth's
characterization of the class of quasi-orders admitting an antichain of
a given finite cardinality.
△ Less
Submitted 15 February, 2020;
originally announced February 2020.
-
Minimal definable graphs of definable chromatic number at least three
Authors:
Raphael Carroy,
Benjamin D. Miller,
David Schrittesser,
Zoltan Vidnyanszky
Abstract:
We show that there is a Borel graph on a standard Borel space of Borel chromatic number three that admits a Borel homomorphism to every analytic graph on a standard Borel space of Borel chromatic number at least three. Moreover, we characterize the Borel graphs on standard Borel spaces of vertex-degree at most two with this property, and show that the analogous result for digraphs fails.
We show that there is a Borel graph on a standard Borel space of Borel chromatic number three that admits a Borel homomorphism to every analytic graph on a standard Borel space of Borel chromatic number at least three. Moreover, we characterize the Borel graphs on standard Borel spaces of vertex-degree at most two with this property, and show that the analogous result for digraphs fails.
△ Less
Submitted 23 November, 2019; v1 submitted 19 June, 2019;
originally announced June 2019.
-
On the existence of large antichains for definable quasi-orders
Authors:
Benjamin D. Miller,
Zoltán Vidnyánszky
Abstract:
We generalize Harrington-Marker-Shelah's Dilworth-style characterization of the existence of non-empty perfect antichains to co-analytic quasi-orders, establish the analogous theorem at the next definable cardinal, and consider generalizations beyond the first level of the projective hierarchy.
We generalize Harrington-Marker-Shelah's Dilworth-style characterization of the existence of non-empty perfect antichains to co-analytic quasi-orders, establish the analogous theorem at the next definable cardinal, and consider generalizations beyond the first level of the projective hierarchy.
△ Less
Submitted 27 August, 2018;
originally announced August 2018.
-
The structure of random automorphisms of the rational numbers
Authors:
Udayan B. Darji,
Márton Elekes,
Kende Kalina,
Viktor Kiss,
Zoltán Vidnyánszky
Abstract:
In order to understand the structure of the "typical" element of an automorphism group, one has to study how large the conjugacy classes of the group are. For the case when typical is meant in the sense of Baire category, Truss proved that there is a co-meagre conjugacy class in Aut(Q, <), the automorphism group of the rational numbers. Following Dougherty and Mycielski we investigate the measure…
▽ More
In order to understand the structure of the "typical" element of an automorphism group, one has to study how large the conjugacy classes of the group are. For the case when typical is meant in the sense of Baire category, Truss proved that there is a co-meagre conjugacy class in Aut(Q, <), the automorphism group of the rational numbers. Following Dougherty and Mycielski we investigate the measure theoretic dual of this problem, using Christensen's notion of Haar null sets. We give a complete description of the size of the conjugacy classes of Aut(Q, <) with respect to this notion. In particular, we show that there exist continuum many non-Haar null conjugacy classes, illustrating that the random behaviour is quite different from the typical one in the sense of Baire category.
△ Less
Submitted 16 August, 2018;
originally announced August 2018.
-
The structure of random automorphisms of the random graph
Authors:
Udayan B. Darji,
Márton Elekes,
Kende Kalina,
Viktor Kiss,
Zoltán Vidnyánszky
Abstract:
We give a complete description of the size of the conjugacy classes of the automorphism group of the random graph with respect to Christensen's Haar null ideal. It is shown that every non-Haar null class contains a translated copy of a nonempty portion of every compact set and that there are continuum many non-Haar null conjugacy classes. Our methods also yield a new proof of an old result of Trus…
▽ More
We give a complete description of the size of the conjugacy classes of the automorphism group of the random graph with respect to Christensen's Haar null ideal. It is shown that every non-Haar null class contains a translated copy of a nonempty portion of every compact set and that there are continuum many non-Haar null conjugacy classes. Our methods also yield a new proof of an old result of Truss.
△ Less
Submitted 18 August, 2018;
originally announced August 2018.
-
A Haar meager set that is not strongly Haar meager
Authors:
Márton Elekes,
Donát Nagy,
Márk Poór,
Zoltán Vidnyánszky
Abstract:
Following Darji, we say that a Borel subset $B$ of an abelian Polish group $G$ is Haar meager if there is a compact metric space $K$ and a continuous function $f : K \to G$ such that the preimage of the translate, $f^{-1}(B+g)$ is meager in $K$ for every $g \in G$. The set $B$ is called strongly Haar meager if there is a compact set $C \subseteq G$ such that $(B+g) \cap C$ is meager in $C$ for eve…
▽ More
Following Darji, we say that a Borel subset $B$ of an abelian Polish group $G$ is Haar meager if there is a compact metric space $K$ and a continuous function $f : K \to G$ such that the preimage of the translate, $f^{-1}(B+g)$ is meager in $K$ for every $g \in G$. The set $B$ is called strongly Haar meager if there is a compact set $C \subseteq G$ such that $(B+g) \cap C$ is meager in $C$ for every $g \in G$. The main open problem in this area is Darji's question asking whether these two notions are the same. Even though there have been several partial results suggesting a positive answer, in this paper we construct a counterexample. More specifically, we construct a $G_δ$ set in $\mathbb{Z}^ω$ that is Haar meager but not strongly Haar meager. We also show that no $F_σ$ counterexample exists, hence our result is optimal.
△ Less
Submitted 20 January, 2019; v1 submitted 29 June, 2018;
originally announced June 2018.
-
Embeddability on functions: order and chaos
Authors:
Raphaël Carroy,
Yann Pequignot,
Zoltán Vidnyánszky
Abstract:
We study the quasi-order of topological embeddability on definable functions between Polish zero-dimensional spaces. We first study the descriptive complexity of this quasi-order restricted to the space of continuous functions. Our main result is the following dichotomy: the embeddability quasi-order restricted to continuous functions from a given compact space to another is either an analytic com…
▽ More
We study the quasi-order of topological embeddability on definable functions between Polish zero-dimensional spaces. We first study the descriptive complexity of this quasi-order restricted to the space of continuous functions. Our main result is the following dichotomy: the embeddability quasi-order restricted to continuous functions from a given compact space to another is either an analytic complete quasi-order or a well-quasi-order. We then turn to the existence of maximal elements with respect to embeddability in a given Baire class. It is proved that the class of continuous functions is the only Baire class to admit a maximal element. We prove that no Baire class admits a maximal element, except for the class of continuous functions which admits a maximum element.
△ Less
Submitted 22 February, 2018;
originally announced February 2018.
-
Infinite monochromatic sumsets for colourings of the reals
Authors:
Péter Komjáth,
Imre Leader,
Paul A. Russell,
Saharon Shelah,
Dániel T. Soukup,
Zoltán Vidnyánszky
Abstract:
N. Hindman, I. Leader and D. Strauss proved that it is consistent that there is a finite colouring of $\mathbb R$ so that no infinite sumset $X+X=\{x+y:x,y\in X\}$ is monochromatic. Our aim in this paper is to prove a consistency result in the opposite direction: we show that, under certain set-theoretic assumptions, for any $c:\mathbb R\to r$ with $r$ finite there is an infinite…
▽ More
N. Hindman, I. Leader and D. Strauss proved that it is consistent that there is a finite colouring of $\mathbb R$ so that no infinite sumset $X+X=\{x+y:x,y\in X\}$ is monochromatic. Our aim in this paper is to prove a consistency result in the opposite direction: we show that, under certain set-theoretic assumptions, for any $c:\mathbb R\to r$ with $r$ finite there is an infinite $X\subseteq \mathbb R$ so that $c$ is constant on $X+X$.
△ Less
Submitted 2 January, 2019; v1 submitted 20 October, 2017;
originally announced October 2017.
-
A complexity problem for Borel graphs
Authors:
Stevo Todorčević,
Zoltán Vidnyánszky
Abstract:
We show that there is no simple (e.g. finite or countable) basis for Borel graphs with infinite Borel chromatic number. In fact, it is proved that the closed subgraphs of the shift graph on $[\mathbb{N}]^{<\mathbb{N}}$ with finite (or, equivalently, $\leq 3$) Borel chromatic number form a $\mathbfΣ^1_2$-complete set. This answers a question of Kechris and Marks and strengthens several earlier resu…
▽ More
We show that there is no simple (e.g. finite or countable) basis for Borel graphs with infinite Borel chromatic number. In fact, it is proved that the closed subgraphs of the shift graph on $[\mathbb{N}]^{<\mathbb{N}}$ with finite (or, equivalently, $\leq 3$) Borel chromatic number form a $\mathbfΣ^1_2$-complete set. This answers a question of Kechris and Marks and strengthens several earlier results.
△ Less
Submitted 26 May, 2021; v1 submitted 13 October, 2017;
originally announced October 2017.
-
The structure of random automorphisms of countable structures
Authors:
Udayan B. Darji,
Márton Elekes,
Kende Kalina,
Viktor Kiss,
Zoltán Vidnyánszky
Abstract:
In order to understand the structure of the `typical' element of an automorphism group, one has to study how large the conjugacy classes of the group are. When typical is meant in the sense of Baire category, a complete description of the size of the conjugacy classes has been given by Kechris and Rosendal. Following Dougherty and Mycielski we investigate the measure theoretic dual of this problem…
▽ More
In order to understand the structure of the `typical' element of an automorphism group, one has to study how large the conjugacy classes of the group are. When typical is meant in the sense of Baire category, a complete description of the size of the conjugacy classes has been given by Kechris and Rosendal. Following Dougherty and Mycielski we investigate the measure theoretic dual of this problem, using Christensen's notion of Haar null sets. When typical means random, that is, almost every with respect to this notion of Haar null sets, the behavior of the automorphisms is entirely different from the Baire category case.
In this paper, we generalize the theorems of Dougherty and Mycielski about $S_\infty$ to arbitrary automorphism groups of countable structures isolating a new model theoretic property, the Cofinal Strong Amalgamation Property. As an application we show that a large class of automorphism groups can be decomposed into the union of a meager and a Haar null set.
△ Less
Submitted 12 November, 2018; v1 submitted 22 May, 2017;
originally announced May 2017.
-
The structure of random homeomorphisms
Authors:
Udayan B. Darji,
Márton Elekes,
Kende Kalina,
Viktor Kiss,
Zoltán Vidnyánszky
Abstract:
In order to understand the structure of the "typical" element of a homeomorphism group, one has to study how large the conjugacy classes of the group are. When typical means generic in the sense of Baire category, this is well understood, see e.g. the works of Glasner and Weiss, and Kechris and Rosendal. Following Dougherty and Mycielski we investigate the measure theoretic dual of this problem, u…
▽ More
In order to understand the structure of the "typical" element of a homeomorphism group, one has to study how large the conjugacy classes of the group are. When typical means generic in the sense of Baire category, this is well understood, see e.g. the works of Glasner and Weiss, and Kechris and Rosendal. Following Dougherty and Mycielski we investigate the measure theoretic dual of this problem, using Christensen's notion of Haar null sets. When typical means random, that is, almost every with respect to this notion of Haar null sets, the behaviour of the homeomorphisms is entirely different from the generic case. For $\text{Homeo}^+([0,1])$ we describe the non-Haar null conjugacy classes and also show that their union is co-Haar null, for $\text{Homeo}^+(\mathbb{S}^1)$ we describe the non-Haar null conjugacy classes, and for $\mathcal{U}(\ell^2)$ we show that, apart from the classes of the multishifts, all conjugacy classes are Haar null. As an application we affirmatively answer the question whether these groups can be written as the union of a meagre and a Haar null set.
△ Less
Submitted 16 August, 2018; v1 submitted 4 May, 2017;
originally announced May 2017.
-
Almost disjoint refinements and mixing reals
Authors:
Barnabás Farkas,
Yurii Khomskii,
Zoltán Vidnyánszky
Abstract:
We investigate families of subsets of $ω$ with almost disjoint refinements in the classical case as well as with respect to given ideals on $ω$. More precisely, we study the following topics and questions:
1) Examples of projective ideals.
2) We prove the following generalization of a result due to J. Brendle: If $V\subseteq W$ are transitive models, $ω_1^W\subseteq V$,…
▽ More
We investigate families of subsets of $ω$ with almost disjoint refinements in the classical case as well as with respect to given ideals on $ω$. More precisely, we study the following topics and questions:
1) Examples of projective ideals.
2) We prove the following generalization of a result due to J. Brendle: If $V\subseteq W$ are transitive models, $ω_1^W\subseteq V$, $\mathcal{P}(ω)\cap V\not = \mathcal{P}(ω)\cap W$, and $\mathcal{I}$ is an analytic or coanalytic ideal coded in $V$, then there is an $\mathcal{I}$-almost disjoint refinement ($\mathcal{I}$-ADR) of $\mathcal{I}^+\cap V$ in $W$, that is, a family $\{A_X:X\in\mathcal{I}^+\cap V\}\in W$ such that (i) $A_X\subseteq X$, $A_X\in \mathcal{I}^+$ for every $X$ and (ii) $A_X\cap A_Y\in\mathcal{I}$ for every distinct $X$ and $Y$.
3) The existence of perfect $\mathcal{I}$-almost disjoint ($\mathcal{I}$-AD) families, and the existence of a "nice" ideal $\mathcal{I}$ on $ω$ with the property: Every $\mathcal{I}$-AD family is countable but $\mathcal{I}$ is nowhere maximal.
4) The existence of $(\mathcal{I},\text{Fin})$-almost disjoint refinements of families of $\mathcal{I}$-positive sets in the case of everywhere meager (e.g. analytic or coanalytic) ideals. We prove a positive result under Martin's Axiom.
5) Connections between classical properties of forcing notions and adding mixing reals (and mixing injections), that is, a (one-to-one) function $f:ω\toω$ such that $|f[X]\cap Y|=ω$ for every $X,Y\in [ω]^ω\cap V$.
△ Less
Submitted 19 October, 2015;
originally announced October 2015.
-
Naively Haar null sets in Polish groups
Authors:
Márton Elekes,
Zoltán Vidnyánszky
Abstract:
Let $(G,\cdot)$ be a Polish group. We say that a set $X \subset G$ is Haar null if there exists a universally measurable set $U \supset X$ and a Borel probability measure $μ$ such that for every $g, h \in G$ we have $μ(gUh)=0$. We call a set $X$ naively Haar null if there exists a Borel probability measure $μ$ such that for every $g, h \in G$ we have $μ(gXh)=0$.
Generalizing a result of Elekes a…
▽ More
Let $(G,\cdot)$ be a Polish group. We say that a set $X \subset G$ is Haar null if there exists a universally measurable set $U \supset X$ and a Borel probability measure $μ$ such that for every $g, h \in G$ we have $μ(gUh)=0$. We call a set $X$ naively Haar null if there exists a Borel probability measure $μ$ such that for every $g, h \in G$ we have $μ(gXh)=0$.
Generalizing a result of Elekes and Steprāns, which answers the first part of Problem FC from Fremlin's list, we prove that in every abelian Polish group there exists a naively Haar null set that is not Haar null.
△ Less
Submitted 10 August, 2015;
originally announced August 2015.
-
Characterization of order types of pointwise linearly ordered families of Baire class 1 functions
Authors:
Márton Elekes,
Zoltán Vidnyánszky
Abstract:
In the 1970s M. Laczkovich posed the following problem: Let $\mathcal{B}_1(X)$ denote the set of Baire class $1$ functions defined on an uncountable Polish space $X$ equipped with the pointwise ordering. \[\text{Characterize the order types of the linearly ordered subsets of $\mathcal{B}_1(X)$.} \]The main result of the present paper is a complete solution to this problem.
We prove that a linear…
▽ More
In the 1970s M. Laczkovich posed the following problem: Let $\mathcal{B}_1(X)$ denote the set of Baire class $1$ functions defined on an uncountable Polish space $X$ equipped with the pointwise ordering. \[\text{Characterize the order types of the linearly ordered subsets of $\mathcal{B}_1(X)$.} \]The main result of the present paper is a complete solution to this problem.
We prove that a linear order is isomorphic to a linearly ordered family of Baire class $1$ functions iff it is isomorphic to a subset of the following linear order that we call $([0,1]^{<ω_1}_{\searrow 0},<_{altlex})$, where $[0,1]^{<ω_1}_{\searrow 0}$ is the set of strictly decreasing transfinite sequences of reals in $[0, 1]$ with last element $0$, and $<_{altlex}$, the so called \emph{alternating lexicographical ordering}, is defined as follows: if $(x_α)_{α\leq ξ}, (x'_α)_{α\leq ξ'} \in [0,1]^{<ω_1}_{\searrow 0}$, and $δ$ is the minimal ordinal where the two sequences differ then we say that \[ (x_α)_{α\leq ξ} <_{altlex} (x'_α)_{α\leq ξ'} \iff (δ\text{ is even and } x_δ<x'_δ) \text{ or } (δ\text{ is odd and } x_δ>x'_δ). \] Using this characterization we easily reprove all the known results and answer all the known open questions of the topic.
△ Less
Submitted 26 November, 2016; v1 submitted 30 October, 2014;
originally announced October 2014.
-
Ranks on the Baire class $ξ$ functions
Authors:
Márton Elekes,
Viktor Kiss,
Zoltán Vidnyánszky
Abstract:
In 1990 Kechris and Louveau developed the theory of three very natural ranks on the Baire class $1$ functions. A rank is a function assigning countable ordinals to certain objects, typically measuring their complexity. We extend this theory to the case of Baire class $ξ$ functions, and generalize most of the results from the Baire class 1 case. We also show that their assumption of the compactness…
▽ More
In 1990 Kechris and Louveau developed the theory of three very natural ranks on the Baire class $1$ functions. A rank is a function assigning countable ordinals to certain objects, typically measuring their complexity. We extend this theory to the case of Baire class $ξ$ functions, and generalize most of the results from the Baire class 1 case. We also show that their assumption of the compactness of the underlying space can be eliminated. As an application, we solve a problem concerning the so called solvability cardinals of systems of difference equations, arising from the theory of geometric decompositions. We also show that certain other very natural generalizations of the ranks of Kechris and Louveau surprisingly turn out to be bounded in $ω_1$. Finally, we prove a general result showing that all ranks satisfying some natural properties coincide for bounded functions.
△ Less
Submitted 12 June, 2015; v1 submitted 22 June, 2014;
originally announced June 2014.
-
Unions of regular polygons with large perimeter-to-area ratio
Authors:
Viktor Kiss,
Zoltán Vidnyánszky
Abstract:
T. Keleti asked, whether the ratio of the perimeter and the area of a finite union of unit squares is always at most 4. In this paper we present an example where the ratio is greater than 4. We also answer the analogous question for regular triangles negatively and list a number of open problems.
T. Keleti asked, whether the ratio of the perimeter and the area of a finite union of unit squares is always at most 4. In this paper we present an example where the ratio is greater than 4. We also answer the analogous question for regular triangles negatively and list a number of open problems.
△ Less
Submitted 22 June, 2014; v1 submitted 21 February, 2014;
originally announced February 2014.
-
Haar null sets without $G_δ$ hulls
Authors:
Márton Elekes,
Zoltán Vidnyánszky
Abstract:
Let $G$ be an abelian Polish group, e.g. a separable Banach space. A subset $X \subset G$ is called Haar null (in the sense of Christensen) if there exists a Borel set $B \supset X$ and a Borel probability measure $μ$ on $G$ such that $μ(B+g)=0$ for every $g \in G$. The term shy is also commonly used for Haar null, and co-Haar null sets are often called prevalent.
Answering an old question of My…
▽ More
Let $G$ be an abelian Polish group, e.g. a separable Banach space. A subset $X \subset G$ is called Haar null (in the sense of Christensen) if there exists a Borel set $B \supset X$ and a Borel probability measure $μ$ on $G$ such that $μ(B+g)=0$ for every $g \in G$. The term shy is also commonly used for Haar null, and co-Haar null sets are often called prevalent.
Answering an old question of Mycielski we show that if $G$ is not locally compact then there exists a Borel Haar null set that is not contained in any $G_δ$ Haar null set. We also show that $G_δ$ can be replaced by any other class of the Borel hierarchy, which implies that the additivity of the $σ$-ideal of Haar null sets is $ω_1$.
The definition of a generalised Haar null set is obtained by replacing the Borelness of $B$ in the above definition by universal measurability. We give an example of a generalised Haar null set that is not Haar null, more precisely we construct a coanalytic generalised Haar null set without a Borel Haar null hull. This solves Problem GP from Fremlin's problem list. Actually, all our results readily generalise to all Polish groups that admit a two-sided invariant metric.
△ Less
Submitted 2 May, 2014; v1 submitted 30 December, 2013;
originally announced December 2013.
-
Transfinite inductions producing coanalytic sets
Authors:
Zoltán Vidnyánszky
Abstract:
A. Miller proved the consistent existence of a coanalytic two-point set, Hamel basis and MAD family. In these cases the classical transfinite induction can be modified to produce a coanalytic set. We generalize his result formulating a condition which can be easily applied in such situations. We reprove the classical results and as a new application we show that in $V=L$ there exists an uncountabl…
▽ More
A. Miller proved the consistent existence of a coanalytic two-point set, Hamel basis and MAD family. In these cases the classical transfinite induction can be modified to produce a coanalytic set. We generalize his result formulating a condition which can be easily applied in such situations. We reprove the classical results and as a new application we show that in $V=L$ there exists an uncountable coanalytic subset of the plane that intersects every $C^1$ curve in a countable set.
△ Less
Submitted 4 January, 2014; v1 submitted 19 September, 2012;
originally announced September 2012.
