Abstract: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: coming from the area of analysis of randomized processes, (c) descriptive combinatorics: coming from the area of combinatorics and measure theory. In particular, we study locally checkable labellings in grid graphs from all three perspectives. Most of our results are for the perspective (b) where we prove time hierarchy theorems akin to those known in the field (a) [Chang, Pettie FOCS 2017]. This approach that borrows techniques from the fields (a) and (c) implies a number of results about possible complexities of finitary factor solutions. Among others, it answers three open questions of [Holroyd et al. Annals of Prob. 2017] or the more general question of [Brandt et al. PODC 2017] who asked for a formal connection between the fields (a) and (b). In general, we hope that our treatment will help to view all three perspectives as a part of a common theory of locality, in which we follow the insightful paper of [Bernshteyn 2020+] .

What problem does this paper attempt to address?

The problem that this paper attempts to solve lies in exploring and establishing the connections among three different fields: distributed local algorithms, finite factors of stochastic processes, and descriptive combinatorics. Specifically, the authors studied Locally Checkable Problems (LCLs) observed from these three different perspectives on grid graphs and attempted to understand the complexity of these problems through the combination of these perspectives. ### Main Contributions of the Paper 1. **Establishing Connections among Different Fields**: - The paper shows how to apply the techniques in the field of distributed computing to the finite factors of stochastic processes and descriptive combinatorics, revealing the profound connections among these fields. - By introducing the concept of "Toast construction", the paper provides a unified method to understand and solve problems in these fields. 2. **Classification Theorems**: - The paper proves multiple classification theorems about Uniform Local Algorithms (ULOCAL), for example: - \( \text{ULOCAL}(o(\log^* \frac{1}{\varepsilon}))=\text{LOCAL}(O(1)) \) - \( \text{LOCAL}(O(\log^* n)) = \text{ULOCAL}(O(\log^* \frac{1}{\varepsilon}))=\text{CONTINUOUS} \) - \( \text{ULOCAL}(o(d^{-1}\sqrt{\frac{1}{\varepsilon}}))=\text{ULOCAL}(O(\log^* \frac{1}{\varepsilon})) \) 3. **Complexity of Specific Problems**: - The paper explores the complexity of multiple specific problems (such as vertex 3 - coloring, edge 4 - coloring, perfect matching, etc.) in the ULOCAL model and gives the optimal complexity of these problems. 4. **Toast Construction**: - The paper formally defines the Toast construction and proves some general results about these constructions. These results are helpful for applying the methods in descriptive combinatorics to uniform local algorithms, thus solving some specific problems. ### Complexity Analysis of Specific Problems - **Vertex 3 - Coloring**: The paper proves that the complexity of the vertex 3 - coloring problem in the ULOCAL model is \( O(\log^* \frac{1}{\varepsilon}) \), and this complexity is optimal. - **Edge 4 - Coloring**: The paper proves that the edge 4 - coloring problem also has a complexity of \( O(\log^* \frac{1}{\varepsilon}) \) in the ULOCAL model. - **Perfect Matching**: The paper proves that the perfect matching problem also has a complexity of \( O(\log^* \frac{1}{\varepsilon}) \) in the ULOCAL model. ### Conclusion Through these contributions, the paper not only establishes the connections among distributed computing, stochastic processes, and descriptive combinatorics but also provides new tools and methods for the research in these fields. These results are helpful for a deeper understanding of the complexity of locally checkable problems and provide new directions for future research.

Local Problems on Grids from the Perspective of Distributed Algorithms, Finitary Factors, and Descriptive Combinatorics

Combinatorial and Asymptotical Results on the Neighborhood Grid

Distributed Algorithms, the Lovász Local Lemma, and Descriptive Combinatorics

Editor’s Note: Special Section on Computing and Combinatorics

Local Verifications in Distributed Data Structures

Invitation to Local Algorithms

A Tight Lower Bound for 3-Coloring Grids in the Online-LOCAL Model

On Local Distributed Sampling and Counting

On Derandomizing Local Distributed Algorithms

The Topology of Local Computing in Networks

What Can Be Sampled Locally?

Low-Degree Testing Over Grids

$k$-local Graphs

Local Algorithms for Hierarchical Dense Subgraph Discovery

A Structural Theorem for Local Algorithms with Applications to Coding, Testing, and Verification

Graph structure via local occupancy

Locally common graphs

Local problems in trees across a wide range of distributed models

Local Distributed Decision

Shared Randomness Helps with Local Distributed Problems

The Distributed Complexity of Locally Checkable Labeling Problems Beyond Paths and Trees