Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userBorel Circle Squaring
97
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We give a completely constructive solution to Tarskis 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$.
rate research
Read More
Laczkovich proved that if bounded subsets $A$ and $B$ of $R^k$ have the same non-zero Lebesgue measure and the box dimension of the boundary of each set is less than $k$, then there is a partition of $A$ into finitely many parts that can be translated to form a partition of $B$. Here we show that it can be additionally required that each part is both Baire and Lebesgue measurable. As special cases, this gives measurable and translation-on
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.
We investigate interactions between Ramsey theory, topological dynamics, and model theory. We introduce various Ramsey-like properties for first order theories and characterize them in terms of the appropriate dynamical properties of the theories in question (such as [extreme] amenability of a theory or some properties of the associated Ellis semigroups). Then we relate them to profiniteness and triviality of the Ellis groups of first order theories. In particular, we find various criteria for [pro]finiteness and for triviality of the Ellis group of a given theory from which we obtain wide classes of examples of theories with [pro]finite or trivial Ellis groups. As an initial motivation, we note that profiniteness of the Ellis group of a theory implies that the Kim-Pillay Galois group of this theory is also profinite, which in turn is equivalent to the equality of the Shelah and Kim-Pillay strong types. We also find several concrete examples illustrating the lack of implications between some fundamental properties. In the appendix, we give a full computation of the Ellis group of the theory of the random hypergraph with one binary and one 4-ary relation. This example shows that the assumption of NIP in the version of Newelskis conjecture for amenable theories (proved in [16]) cannot be dropped.
We develop general machinery to cast the class of potential canonical Scott sentences of an infinitary sentence $Phi$ as a class of structures in a related language. From this, we show that $Phi$ has a Borel complete expansion if and only if $S_infty$ divides $Aut(M)$ for some countable model $Mmodels Phi$. Using this, we prove that for theories $T_h$ asserting that ${E_n}$ is a countable family of cross cutting equivalence relations with $h(n)$ classes, if $h(n)$ is uniformly bounded then $T_h$ is not Borel complete, providing a converse to Theorem~2.1 of cite{LU}.
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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
