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 …

Locally checkable problems in rooted trees

A Balliu, S Brandt, D Olivetti, J Studený… - Proceedings of the …, 2021 - dl.acm.org
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 …

On the hardness of finding balanced independent sets in random bipartite graphs

W Perkins, Y Wang - Proceedings of the 2024 Annual ACM-SIAM …, 2024 - SIAM
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 …

Borel Vizing's theorem for graphs of subexponential growth

A Bernshteyn, A Dhawan - Proceedings of the American Mathematical …, 2025 - ams.org
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 …

The landscape of distributed complexities on trees and beyond

C Grunau, V Rozhoň, S Brandt - … of the 2022 ACM Symposium on …, 2022 - dl.acm.org
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 …

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 …

Efficient classification of locally checkable problems in regular trees

A Balliu, S Brandt, YJ Chang, D Olivetti… - arxiv preprint arxiv …, 2022 - arxiv.org
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 …

On homomorphism graphs

S Brandt, YJ Chang, J Grebík, C Grunau… - … of Mathematics, Pi, 2024 - cambridge.org
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 …

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 …

Distributed graph problems through an automata-theoretic lens

YJ Chang, J Studený, J Suomela - International Colloquium on Structural …, 2021 - Springer
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 …