English
Related papers

Related papers: Borel Order Dimension

200 papers

With a view to establishing measure theoretic approximation properties of Delone sets, we study a setup which arises naturally in the problem of averaging almost periodic functions along exponential sequences. In this setting, we establish…

Dynamical Systems · Mathematics 2019-08-19 Michael Baake , Alan Haynes

In this paper we study the Borel structure of the space of left-orderings $\mathrm{LO}(G)$ of a group $G$ modulo the natural conjugacy action, and by using tools from descriptive set theory we find many examples of countable left-orderable…

Group Theory · Mathematics 2022-10-04 Filippo Calderoni , Adam Clay

Let $G$ be a finite solvable group and let $\Delta(G)$ be the character degree graph of $G$. In this paper, we obtain the metric dimension of certain character degree graphs. Specifically, we calculate the metric dimension for a regular…

Group Theory · Mathematics 2024-11-26 Peter J. Cameron , G. Sivanesan , C. Selvaraj , T. Tamizh Chelvam , Jacob Laubacher

We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…

Logic · Mathematics 2025-05-06 Martina Iannella , Alberto Marcone , Luca Motto Ros , Vadim Weinstein

Let $F_{\omega_1}$ be the countable admissible ordinal equivalence relation defined on ${}^\omega 2$ by $x \ F_{\omega_1} \ y$ if and only if $\omega_1^x = \omega_1^y$. It will be shown that $F_{\omega_1}$ is classifiable by countable…

Logic · Mathematics 2016-02-01 William Chan

Every CSP(B) for a finite structure B is either in P or it is NP-complete but the proofs of the finite-domain CSP dichotomy by Andrei Bulatov and Dimitryi Zhuk not only show the computational complexity separation but also confirm the…

Logic in Computer Science · Computer Science 2024-02-27 Michal Wrona

We establish a connection between the $L^{q}$-spectrum of a Borel measure $\nu $ on the $m$-dimensional unit cube and the approximation order of Kolmogorov diameters of the unit sphere with respect to Sobolev norms in $L_{\nu }^{p}$. This…

Functional Analysis · Mathematics 2024-01-05 Marc Kesseböhmer , Aljoscha Niemann

Answering one of the main questions of [FHK14, Chapter 7], we show that there is a tight connection between the depth of a classifiable shallow theory $T$ and the Borel rank of the isomorphism relation $\cong^\kappa_T$ on its models of size…

Logic · Mathematics 2020-04-07 Francesco Mangraviti , Luca Motto Ros

For a finite partially ordered set we calculate the dimension of the variety of its subspace representations having fixed dimension vector. The dimension is given in terms of the Euler quadratic form associated with a partially ordered set,…

Representation Theory · Mathematics 2019-02-27 Claudia Cavalcante Fonseca , Kostiantyn Iusenko

We broaden the scope of quantum field theory by introducing a general class of discrete gauge theories that realize either topological order or fracton behavior across dimensions. We start from translation-invariant systems endowed with…

Strongly Correlated Electrons · Physics 2026-01-21 Guilherme Delfino , Claudio Chamon , Yizhi You

Extending work of Hochman, we study the almost-Borel structure, i.e., the nonatomic invariant probability measures, of symbolic systems and surface diffeomorphisms. We first classify Markov shifts and characterize them as strictly universal…

Dynamical Systems · Mathematics 2015-01-29 Mike Boyle , Jérôme Buzzi

We prove that for every Borel equivalence relation $E$, either $E$ is Borel reducible to $\mathbb{E}\_0$, or the family of Borel equivalence relations incompatible with $E$ has cofinal essential complexity. It follows that if $F$ is a Borel…

Logic · Mathematics 2014-12-31 John D. Clemens , Dominique Lecomte , Benjamin D. Miller

The notion of computable reducibility between equivalence relations on the natural numbers provides a natural computable analogue of Borel reducibility. We investigate the computable reducibility hierarchy, comparing and contrasting it with…

Logic · Mathematics 2019-02-06 Samuel Coskey , Joel David Hamkins , Russell Miller

Fix $n=1,2,3,\dots$ or $n=\omega$. We prove a dichotomy for Borel homomorphisms from the $n$-th Friedman-Stanley jump $=^{+n}$ to an equivalence relation $E$ which is classifiable by countable structures: if there is no reduction from…

Logic · Mathematics 2024-05-29 Assaf Shani

The present paper develops two concepts of pointwise differentiability of higher order for arbitrary subsets of Euclidean space defined by comparing their distance functions to those of smooth submanifolds. Results include that…

Differential Geometry · Mathematics 2019-04-11 Ulrich Menne

The aim of the present paper is to investigate the half-spaces in the convexity structure of all quasiorders on a given set and to use them in an alternative approach to classical order dimension. The main result states that linear orders…

Combinatorics · Mathematics 2009-02-17 Stephan Foldes , Jeno Szigeti

In this paper we consider coloring problems on graphs and other combinatorial structures on standard Borel spaces. Our goal is to obtain sufficient conditions under which such colorings can be made well-behaved in the sense of topology or…

Combinatorics · Mathematics 2023-07-19 Anton Bernshteyn

Let $\Gamma$ be a countable group and let $G$ be the Schreier graph of the free part of the Bernoulli shift of $\Gamma$ (with respect to some finite subset $F \subseteq \Gamma$). We show that the Borel fractional chromatic number of $G$ is…

Combinatorics · Mathematics 2022-03-25 Anton Bernshteyn

Larman showed that any closed subset of the plane with uncountable vertical cross-sections has aleph_1 disjoint Borel uniformizing sets. Here we show that Larman's result is best possible: there exist closed sets with uncountable…

Logic · Mathematics 2021-02-09 Howard Becker , Randall Dougherty

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…

Logic · Mathematics 2020-01-20 Adam R. Day , Andrew S. Marks