[논문 리뷰] LCLs Beyond Bounded Degrees

G. H. SCHMID|arXiv (Cornell University)|2026. 02. 02.

Advanced Graph Theory Research인용 수 0

한 줄 요약

이 논문은 유한 차수 트리에서의 로컬로 확인 가능한 라벨링(LCL)에 대한 다항 간격(gap) 결과가 차수가 무한대로 커질 때 제한 없이 적용될 수 없고 Locally Finite Labelings(LFLs)로 제한해야 한다는 것을 보이며, 이후 LFL이 차수가 무한대로 증가하는 트리에서도 다항 간격 현상을 회복한다는 것을 증명한다.

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로 점진적으로 확인 반경을 낮춘다.
• 가상 트리를 사용하여 무한한 차수 트리의 유한한 표현과 펌핑 주장을 적용해 분석을 한정한다.
• 트리에서 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 복잡도는 어떤 정수 k>=1에 대해 Theta(n^{1/k}) 또는 O(log n)이다(정리 2).
• 모든 LFL은 노드-에지 확인 가능 LFL로 해를 구하는 데서의 가능성이나 LOCAL 복잡도를 바꾸지 않고도 서로 변환될 수 있다(정리 3).
• 무한 차수 트리의 경계 동작을 포착하는 데 충분한 유한한 가상 트리 집합이 존재하며, 펌핑/독립 클래스 분석을 통해 다항 간격 주장을 가능하게 한다.
• 반경 감소(반경 1로의 감소)와 가지 증명으로 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.