Related papers: Borel Circle Squaring
The cut pseudo-metric on the space of graph limits induces an equivalence relation. The quotient space obtained by collapsing each equivalence class to a point is a metric space with appealing analytic properties. We show that the…
We give a partial answer to an important open problem in descriptive set theory, the Decomposability Conjecture for Borel functions on an analytic subset of a Polish space to a separable metrizable space. Our techniques employ deep results…
We prove a purely Borel/measureless version of Dowker's ratio ergodic theorem, from which we derive a strengthening of Dowker's original theorem with a precise identification of the limit of local ergodic ratios. This is done by…
We use the measurable Hall's theorem due to Cie\'sla and Sabok to prove that (i) if two measurable sets $A,B \subset \mathbb{R}^d$ of the same measure are bounded remainder sets with respect to a given irrational $d$-dimensional vector…
We extend the Becker--Kechris topological realization and change-of-topology theorems for Polish group actions in several directions. For Polish group actions, we prove a single result that implies the original Becker--Kechris theorems, as…
Let $V$ be a plane smooth cubic curve over a finitely generated field $k.$ The Mordell-Weil theorem for $V$ states that there is a finite subset $P\subset V(k)$ such that the whole $V(k)$ can be obtained from $P$ by drawing secants and…
We consider a large family of theories of equivalence relations, each with finitely many classes, and assuming the existence of an $\omega$-Erdos cardinal, we determine which of these theories are Borel complete. We develop machinery,…
We present the effective version of the theorem about turning Borel sets in Polish spaces into clopen sets while preserving the Borel structure of the underlying space. We show that under some conditions the emerging parameters can be…
The main result of this note, Theorem 2, is the following: a Borel measure on the space of infinite Hermitian matrices, that is invariant under the action of the infinite unitary group and that admits well-defined projections onto the…
A weighted sums of squares decomposition of positive Borel measurable functions on a bounded Borel subset of the Euclidean space is obtained via duality from the spectral theorem for tuples of commuting self-adjoint operators. The analogous…
We investigate when a Borel graph admits a (Borel or measurable) orientation with outdegree bounded by $k$ for various cardinals $k$. We show that for a p.m.p. graph $G$, a measurable orientation can be found when $k$ is larger than the…
We characterize having Borel isomorphism relation among some weakly minimal trivial theories, namely the examples of families of finite equivalence relations from recent joint work with Laskowski, and tame expansions of…
The mixed Christoffel-Minkowski problem asks for necessary and sufficient conditions for a Borel measure on the Euclidean unit sphere to be the mixed area measure of some convex bodies, one of which, appearing multiple times, is free and…
We discuss the Borel Tukey ordering on cardinal invariants of the continuum. We observe that this ordering makes sense for a larger class of cardinals than has previously been considered. We then provide a Borel version of a large portion…
Let $G$ be a connected semi-simple group defined over and algebraically closed field, $T$ a fixed Cartan, $B$ a fixed Borel containing $T$, $S$ a set of simple reflections associated to the simple positive roots corresponding to $(T,B)$,…
In this paper, we test and extend a proposal of Gu, Pei, and Zhang for an application of decomposition to three-dimensional theories with one-form symmetries and to quantum K theory. The theories themselves do not decompose, but, OPEs of…
When does Borel's theorem on free subgroups of semisimple groups generalize to other groups? We initiate a systematic study of this question and find positive and negative answers for it. In particular, we fully classify fundamental groups…
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…
We develop several combinatorial models that are useful in the study of the $SL_n$-variety $\mathcal{X}$ of complete quadrics. Barred permutations parameterize the fixed points of the action of a maximal torus $T$ of $SL_n$, while…
We show a general decomposition theorem in Baer *-rings. As a consequence the vast majority of decompositions known in the algebra of bounded Hilbert space operators are generalized to Baer *-rings. There are also results which are new in…