Pith. sign in

REVIEW 2 cited by

From descriptive to distributed

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2502.15347 v1 pith:4SDV6UK4 submitted 2025-02-21 math.LO cs.DCmath.CO

classification math.LOcs.DCmath.CO
keywords distributedtheorycomputingdescriptivealgorithmscoloringsgraphsinfinite
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

In the past couple of years a rich connection has been found between the fields of descriptive set theory and distributed computing. Frequently, and less surprisingly, finitary algorithms can be adopted to the infinite setting, resulting in theorems about infinite, definable graphs. In this survey, we take a different perspective and illustrate how results and ideas from descriptive set theory provide new insights and techniques to the theory of distributed computing. We focus on the two classical topics from graph theory, vertex and edge colorings. After summarizing the up-to-date results from both areas, we discuss the adaptation of Marks' games method to the LOCAL model of distributed computing and the development of the multi-step Vizing's chain technique, which led to the construction of the first non-trivial distributed algorithms for Vizing colorings. We provide a list of related open problems to complement our discussion. Finally, we describe an efficient deterministic distributed algorithm for Brooks coloring on graphs of subexponential growth.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Polynomial Hilbert-Schmidt stability of the lamplighter group

    math.GR 2026-07 conditional novelty 8.0 of 10 full

    The lamplighter group has stability radius growth ⪯ r^21 and stability rate ≥ cκ^70, giving the first explicit polynomial Hilbert–Schmidt stability bounds for an infinitely presented group.

  2. Distributed Colouring with 4/3 chi Colours for Hyperbolic Random Graphs

    cs.DS 2026-07 conditional novelty 7.0 of 10

    Hyperbolic random graphs can be coloured in the CONGEST model with (1+ε)κ, hence at most 4/3 χ, colours in O((log log n)^2) rounds a.a.s.

Pith tools