Local problems on grids from the perspective of distributed algorithms, finitary factors, and descriptive combinatorics
J Grebík, V Rozhoň - Advances in Mathematics, 2023 - Elsevier
We present an intimate connection among the following fields:(a) distributed local
algorithms: coming from the area of computer science,(b) finitary factors of iid processes …
algorithms: coming from the area of computer science,(b) finitary factors of iid processes …
Locally checkable problems in rooted trees
Consider any locally checkable labeling problem Π in rooted regular trees: there is a finite
set of labels Σ, and for each label χ x Σ we specify what are permitted label combinations of …
set of labels Σ, and for each label χ x Σ we specify what are permitted label combinations of …
On the hardness of finding balanced independent sets in random bipartite graphs
We consider the algorithmic problem of finding large balanced independent sets in sparse
random bipartite graphs, and more generally the problem of finding independent sets with …
random bipartite graphs, and more generally the problem of finding independent sets with …
Borel Vizing's theorem for graphs of subexponential growth
We show that every Borel graph $ G $ of subexponential growth has a Borel proper edge-
coloring with $\Delta (G)+ 1$ colors. We deduce this from a stronger result, namely that an …
coloring with $\Delta (G)+ 1$ colors. We deduce this from a stronger result, namely that an …
The landscape of distributed complexities on trees and beyond
We study the local complexity landscape of locally checkable labeling (LCL) problems on
constant-degree graphs with a focus on complexities below log* n. Our contribution is …
constant-degree graphs with a focus on complexities below log* n. Our contribution is …
One-ended spanning trees and definable combinatorics
M Bowen, A Poulin, J Zomback - Transactions of the American …, 2024 - ams.org
Let $(X,\tau) $ be a Polish space with Borel probability measure $\mu $, and $ G $ a locally
finite one-ended Borel graph on $ X $. We show that $ G $ admits a Borel one-ended …
finite one-ended Borel graph on $ X $. We show that $ G $ admits a Borel one-ended …
Efficient classification of locally checkable problems in regular trees
We give practical, efficient algorithms that automatically determine the asymptotic distributed
round complexity of a given locally checkable graph problem in the $[\Theta (\log n),\Theta …
round complexity of a given locally checkable graph problem in the $[\Theta (\log n),\Theta …
On homomorphism graphs
We introduce new types of examples of bounded degree acyclic Borel graphs and study
their combinatorial properties in the context of descriptive combinatorics, using a …
their combinatorial properties in the context of descriptive combinatorics, using a …
Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index
A Bernshteyn, F Weilacher - arxiv preprint arxiv:2308.14941, 2023 - arxiv.org
Asymptotic separation index is a parameter that measures how easily a Borel graph can be
approximated by its subgraphs with finite components. In contrast to the more classical …
approximated by its subgraphs with finite components. In contrast to the more classical …
Distributed graph problems through an automata-theoretic lens
The locality of a graph problem is the smallest distance T such that each node can choose
its own part of the solution based on its radius-T neighborhood. In many settings, a graph …
its own part of the solution based on its radius-T neighborhood. In many settings, a graph …