[論文レビュー] LCLs Beyond Bounded Degrees

G. H. SCHMID|arXiv (Cornell University)|Feb 2, 2026

Advanced Graph Theory Research被引用数 0

ひとこと要約

この論文は、境界次数木における局所的に検査可能なラベリング（LCL）に対する多項式ギャップ結果が、Locally Finite Labelings（LFLs）を制限なしで適用すると失敗することを示し、その後、LFLsが境界度のある木でも多項式ギャップ現象を回復することを証明します。

ABSTRACT

The study of Locally Checkable Labelings (LCLs) has led to a remarkably precise characterization of the distributed time complexities that can occur on bounded-degree trees. A central feature of this complexity landscape is the existence of gap results, which rule out large ranges of intermediate complexities. While it was initially hoped that these gaps might extend to more general graph classes, this has turned out not to be the case. In this work, we investigate a different direction: we remain in the class of trees, but allow arbitrarily large degrees. We focus on the \emph{polynomial regime} ($Θ(n^{1/k} \mid k \in \mathbb{N})$) and show that whether polynomial gap results persist in the unbounded-degree setting depends on how LCLs are generalized beyond bounded degrees. There already exists a complex construction that shows that the polynomial gaps also vanish for LCLs on unbounded degree trees. Rather than stopping at this negative result, we give a much simpler set of problems that already contradicts the existence of any polynomial gaps. The insight obtained from this cleaner construction is that for gap results to exist, we cannot allow problems to distinguish infinitely many cases. This guides us to a natural class of problems for which polynomial gap results can still be recovered. We introduce \emph{Locally Finite Labelings} (LFLs), which formalize the intuition that \emph{every node must fall into one of finitely many local cases}. Our main result shows that this restriction is sufficient to restore the polynomial gaps: for any LFL $Π$ on trees with unbounded degrees, the deterministic LOCAL complexity of $Π$ is either - $Θ(n^{1/k})$ for some integer $k \geq 1$, or - $O(\log n)$. Moreover, which case applies, and the corresponding value of $k$, can be determined solely from the description of $Π$.

研究の動機と目的

• bounded-degree木のLCLの研究動機付けを拡張する目的と、境界次数が大きい場合にギャップ結果が崩れる可能性を理解する。
• 境界次数設定で多項式時間のギャップを保持する自然な制限を特定する。
• 有限構成記述としてのLFLフレームワークを開発し、境界度を超える木にも適用可能で解析を保つ。

提案手法

• Locally Finite Labelings (LFLs) を導入し、必須または任意としてマークされたエッジを含む有限の構成集合を用いる。
• 解析のため半径を1に縮小させたノード-エッジ検査形式への同値性を示す。
• r から r-1 へ段階的に検査半径を低下させる twig 証明書を用いた半径縮小技法を開発する。
• 仮想木を用いて無限集合の境界挙動を有限に表現し、 pumping/独立クラス解析で解析を境界化する。
• 木上のLFLに対するギャップ定理を証明する：決定的LOCAL計算量はある整数 k>=1 に対して Theta(n^{1/k}) または O(log n) のいずれか。
• 既存のLCLギャップ結果と整合する構成的フレームワークを提供しつつ、境界度の拡張に対処する。

Figure 3: These three configurations suffice to encode the problem of computing a 3-colouring in unbounded degree graphs. The arrows identify the center nodes and the edged are dashed to identify them as optional edges (there are no required edges for this problem).

実験結果

リサーチクエスチョン

• RQ1 bounded-degree木に対して観察されたLCLの多項式ギャップ結果は、境界次数の木にも拡張可能か？
• RQ2 境界度の拡張により豊かな多項式ギャップの景観を許容する、あるいは禁じるLCLの一般化は何か？
• RQ3 Locally Finite Labelings（LFLs）は境界次数設定で多項式ギャップを保持するか、もしそうなら計算的にはどのように特徴づけられるか？
• RQ4 半径縮小とノード-エッジ検査形式をどのように活用してLCL技法をLFLへ伝搬できるか？
• RQ5 境界タイプと独立クラスはLFLの多項式時間ギャップを確立する上でどのような役割を果たすか？

主な発見

• 境界ラベル {0,1} の組み合わせで、無限次数木上における複雑さが Theta(n^{r})（0<r<=1）となる 4-検査可能問題が存在する（定理1）。
• Locally Finite LabelingsはLCLを無限次数へ一般化する一方、退屈な構成を防ぐ有限性条件を保持する。
• 木上のLFLに対して、決定的LOCAL計算量は Theta(n^{1/k})（ある整数 k>=1）か、または O(log n）である（定理2）。
• 任意のLFLはノード-エッジ検査可能なLFLへ変換可能で、可決性やLOCAL計算量を変えない（定理3）。
• 無限次数木における境界挙動を捉える有限集合の仮想木が十分であり、 pumping/独立クラス解析を通じて多項式ギャップを主張できる。
• 半径縮小（半径1への縮小）と twig 証明書を用いた技術的手法が、LCLスタイルのギャップ結果を境界度の拡張へ拡張する鍵である。

Figure 9: The new configuration $C_{2}^{\prime}$ that $u$ can use to convince $v$ that the output is consistent. The nodes in red are the subgraph that is required in order for $v$ in Figure 8 to be convinced of the correctness of the solution.