Showing 1–10 of 10 results for author: Weilacher, F

Separating complexity classes of LCL problems on grids

Authors: Katalin Berlow, Anton Bernshteyn, Clark Lyons, Felix Weilacher

Abstract: We study the complexity of locally checkable labeling (LCL) problems on $\mathbb{Z}^n$ from the point of view of descriptive set theory, computability theory, and factors of i.i.d. Our results separate various complexity classes that were not previously known to be distinct and serve as counterexamples to a number of natural conjectures in the field. We study the complexity of locally checkable labeling (LCL) problems on $\mathbb{Z}^n$ from the point of view of descriptive set theory, computability theory, and factors of i.i.d. Our results separate various complexity classes that were not previously known to be distinct and serve as counterexamples to a number of natural conjectures in the field. △ Less

Submitted 6 May, 2025; v1 submitted 29 January, 2025; originally announced January 2025.

Comments: 36 pp., 5 figures

Measurable Regular Subgraphs

Authors: Matt Bowen, Clinton T. Conley, Felix Weilacher

Abstract: We show that every $d$-regular bipartite Borel graph admits a Baire measurable $k$-regular spanning subgraph if and only if $d$ is odd or $k$ is even. This gives the first example of a locally checkable coloring problem which is known to have a Baire measurable solution on Borel graphs but not a computable solution on highly computable graphs. We also prove the analogous result in the measure sett… ▽ More We show that every $d$-regular bipartite Borel graph admits a Baire measurable $k$-regular spanning subgraph if and only if $d$ is odd or $k$ is even. This gives the first example of a locally checkable coloring problem which is known to have a Baire measurable solution on Borel graphs but not a computable solution on highly computable graphs. We also prove the analogous result in the measure setting for hyperfinite graphs. △ Less

Submitted 18 August, 2024; originally announced August 2024.

MSC Class: 03E15; 05C70

Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index

Authors: Anton Bernshteyn, Felix Weilacher

Abstract: 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 notion of hyperfiniteness, asymptotic separation index is well-suited for combinatorial applications in the Borel setting. The main result of this paper is a Borel version of the Lovász Local Lemma -- a powerful general-pur… ▽ More 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 notion of hyperfiniteness, asymptotic separation index is well-suited for combinatorial applications in the Borel setting. The main result of this paper is a Borel version of the Lovász Local Lemma -- a powerful general-purpose tool in probabilistic combinatorics -- under a finite asymptotic separation index assumption. As a consequence, we show that locally checkable labeling problems that are solvable by efficient randomized distributed algorithms admit Borel solutions on bounded degree Borel graphs with finite asymptotic separation index. From this we derive a number of corollaries, for example a Borel version of Brooks's theorem for graphs with finite asymptotic separation index. △ Less

Submitted 7 March, 2025; v1 submitted 28 August, 2023; originally announced August 2023.

Computable vs Descriptive Combinatorics of Local Problems on Trees

Authors: Felix Weilacher

Abstract: We study the position of the computable setting in the "common theory of locality" developed in arXiv:2106.02066 and arXiv:2204.09329 for local problems on $Δ$-regular trees, $Δ\in ω$. We show that such a problem admits a computable solution on every highly computable $Δ$-regular forest if and only if it admits a Baire measurable solution on every Borel $Δ$-regular forest. We also show that if suc… ▽ More We study the position of the computable setting in the "common theory of locality" developed in arXiv:2106.02066 and arXiv:2204.09329 for local problems on $Δ$-regular trees, $Δ\in ω$. We show that such a problem admits a computable solution on every highly computable $Δ$-regular forest if and only if it admits a Baire measurable solution on every Borel $Δ$-regular forest. We also show that if such a problem admits a computable solution on every computable maximum degree $Δ$ forest then it admits a continuous solution on every maximum degree $Δ$ Borel graph with appropriate topological hypotheses, though the converse does not hold. △ Less

Submitted 13 August, 2022; originally announced August 2022.

Comments: 16 pages

MSC Class: 05C15 (Primary) 03E15; 03D45

Journal ref: J. symb. log. 89 (2024) 1835-1849

Descriptive Combinatorics, Computable Combinatorics, and ASI Algorithms

Authors: Long Qian, Felix Weilacher

Abstract: We introduce new types of local algorithms, which we call "ASI Algorithms", and use them to demonstrate a link between descriptive and computable combinatorics. This allows us to unify arguments from the two fields, and also sometimes to port arguments from one field to the other. As an example, we generalize a computable combinatorics result of Kierstead and use it to get within one color of the… ▽ More We introduce new types of local algorithms, which we call "ASI Algorithms", and use them to demonstrate a link between descriptive and computable combinatorics. This allows us to unify arguments from the two fields, and also sometimes to port arguments from one field to the other. As an example, we generalize a computable combinatorics result of Kierstead and use it to get within one color of the Baire measurable analogue of Vizing's Theorem. We also improve Kierstead's result for multigraphs along the way. △ Less

Submitted 16 June, 2022; originally announced June 2022.

Comments: 20 pages

MSC Class: 05C70 (Primary) 03E15; 03D45

Definable Kőnig theorems

Authors: Matt Bowen, Felix Weilacher

Abstract: Let $X$ be a Polish space with Borel probability measure $μ,$ and let $G$ be a Borel graph on $X$ with no odd cycles and maximum degree $Δ(G).$ We show that the Baire measurable edge chromatic number of $G$ is at most $Δ(G)+1$, and if $G$ is $μ$-hyperfinite then the $μ$-measurable edge chromatic number obeys the same bound. More generally, we show that $G$ has Borel edge chromatic number at most… ▽ More Let $X$ be a Polish space with Borel probability measure $μ,$ and let $G$ be a Borel graph on $X$ with no odd cycles and maximum degree $Δ(G).$ We show that the Baire measurable edge chromatic number of $G$ is at most $Δ(G)+1$, and if $G$ is $μ$-hyperfinite then the $μ$-measurable edge chromatic number obeys the same bound. More generally, we show that $G$ has Borel edge chromatic number at most $Δ(G)$ plus its asymptotic separation index. △ Less

Submitted 19 December, 2021; originally announced December 2021.

Comments: 6 pages

MSC Class: 03E15; 05C70

Borel Edge Colorings for Finite Dimensional Groups

Authors: Felix Weilacher

Abstract: We study the potential of Borel asymptotic dimension, a tool introduced recently in arXiv:2009.06721, to help produce Borel edge colorings of Schreier graphs generated by Borel group actions. We find that it allows us to recover the classical bound of Vizing in certain cases, and also use it to exactly determine the Borel edge chromatic number for free actions of abelian groups. We study the potential of Borel asymptotic dimension, a tool introduced recently in arXiv:2009.06721, to help produce Borel edge colorings of Schreier graphs generated by Borel group actions. We find that it allows us to recover the classical bound of Vizing in certain cases, and also use it to exactly determine the Borel edge chromatic number for free actions of abelian groups. △ Less

Submitted 29 April, 2021; originally announced April 2021.

MSC Class: 03E15

Borel Vizing's Theorem for 2-Ended Groups

Authors: Felix Weilacher

Abstract: We show that Vizing's Theorem holds in the Borel context for graphs induced by actions of 2-ended groups, and ask whether it holds more generally for everywhere two ended Borel graphs. We show that Vizing's Theorem holds in the Borel context for graphs induced by actions of 2-ended groups, and ask whether it holds more generally for everywhere two ended Borel graphs. △ Less

Submitted 29 January, 2021; originally announced January 2021.

MSC Class: 03E15

Descriptive Chromatic Numbers of Locally Finite and Everywhere Two Ended Graphs

Authors: Felix Weilacher

Abstract: We construct Borel graphs which settle several questions in descriptive graph combinatorics. These include "Can the Baire measurable chromatic number of a locally finite Borel graph exceed the usual chromatic number by more than one?" and "Can marked groups with isomorphic Cayley graphs have Borel chromatic numbers for their shift graphs which differ by more than one?" We also provide a new bound… ▽ More We construct Borel graphs which settle several questions in descriptive graph combinatorics. These include "Can the Baire measurable chromatic number of a locally finite Borel graph exceed the usual chromatic number by more than one?" and "Can marked groups with isomorphic Cayley graphs have Borel chromatic numbers for their shift graphs which differ by more than one?" We also provide a new bound for Borel chromatic numbers of graphs whose connected components all have two ends. △ Less

Submitted 5 April, 2020; originally announced April 2020.

Comments: 14 pages, 2 figures

MSC Class: 03E15

Marked Groups with Isomorphic Cayley Graphs but Different Borel Combinatorics

Authors: Felix Weilacher

Abstract: We construct pairs of marked groups with isomorphic Cayley graphs but different Borel chromatic numbers for the free parts of their shift graphs. This answers a question of Kechris and Marks. We also show that these graphs have different Baire measurable and measure chromatic numbers, answering analogous versions of the question. We construct pairs of marked groups with isomorphic Cayley graphs but different Borel chromatic numbers for the free parts of their shift graphs. This answers a question of Kechris and Marks. We also show that these graphs have different Baire measurable and measure chromatic numbers, answering analogous versions of the question. △ Less

Submitted 30 May, 2019; v1 submitted 6 October, 2018; originally announced October 2018.