[논문 리뷰] The Sandpile Group of a Cone Over a Bi-Coconut Tree

Dorian Smith|arXiv (Cornell University)|2026. 02. 20.

Advanced Graph Theory Research인용 수 0

한 줄 요약

논문은 이중 코코넛 나무의 원뿔에 대한 확장 트리 수와 모래더미 그룹 구조를 계산하고, 코코넛 트리에 대한 이전 연구를 일반화하며, 잎이 무한히 늘어나면서도 순환적 모래더미 그룹을 갖는 나무의 가족을 보여준다.

ABSTRACT

The sandpile group of a connected graph is a finite abelian group whose cardinality is the number of spanning trees in the graph. We compute the spanning tree number and sandpile group structure for the cone over a bi-coconut tree, generalizing work of Reiner and Smith on the cone over a coconut tree. We also answer one of their questions, by exhibiting a family of trees whose sandpile groups are all cyclic but their number of leaves grows without bound.

연구 동기 및 목표

• 이중 코코넛 나무의 원뿔 모양이 확장 트리 수와 모래더미 그룹 구조를 어떻게 결정하는지 조사한다.
• 코코넛 트리에 대한 원뿔의 이전 결과를 이중 코코넛 트리 패밀리로 일반화한다.
• 확장 트리 수 및 모래더미 그룹 분해에 대한 명시적 수식과 생성 함수를 제공한다.
• 모래더미 그룹의 생성자에 관한 오픈 질문과 원뿔 그래프의 생성자 존재 여부 및 많은 잎을 가지는 트리에 대한 질문에 답한다.

제안 방법

• bi-coconut 트리 T(p,s1,s2)를 한쪽 끝에 s1개의 잎이 있고 다른 쪽 끝에 s2개의 잎이 있는 경로로 정의한다."
• Fibonacci 형 보조 수열 b_n^(s1)와 도출된 t(p,s1,s2)를 통해 Cone(T(p,s1,s2))의 확장 트리 수 tau를 계산한다.
• 잎들로부터의 생성자(Theorem 1.6)와 행렬 기반 Smith 정규 형태 접근(M, M', M'')을 사용하여 Cone(T(p,s1,s2))의 모래더미 그룹 구조 K(Cone(T(p,s1,s2)))를 도출한다.
• 생성 함수 기법을 사용하여 t(p,s1,s2)의 일반적인 생성함수를 얻는다.
• p mod 3 및 s1, s2의 짝수/홀수에 따라 명시적인 그룹 분해를 얻기 위해 특수화한다(Theorem 1.3).
• 이전 연구의 Cone(CT(p,s))에 대한 보조정리와 정리들을 이용하여 확장 트리 수를 관련짓고 재귀 관계를 확립한다(Lemmas 1.5, Theorem 1.4, Theorem 1.6).
• mu(Cone(T_p)) = 1이고 잎의 수 ell(T_p)가 증가하는 T_p를 구성하여 문제에 대답한다(Theorem 1.7).

실험 결과

연구 질문

• RQ1 이중 코코넛 트리의 원뿔이 확장 트리 수와 모래더미 그룹 구조에 어떤 영향을 미치는가?
• RQ2 토입된 p 변수에서 Cone(T(p,s1,s2))의 확장 트리 수 tau와 그 생성 함수의 명시적 형태는 무엇인가?
• RQ3 Cone(T(p,s1,s2))의 모래더미 그룹 K(Cone(T(p,s1,s2)))은 무엇이며 p mod 3 및 s1, s2의 짝수/홀수에 따라 어떻게 달라지는가?
• RQ4 잎의 수가 무한대로 증가하는 동안 순환 모래더미 그룹 생성자를 갖는 나무를 구성할 수 있는가?

주요 결과

• tau(Cone(T(p,s1,s2))) = t(p,s1,s2) with t defined as 2^(s2-1)(2b_{2p-3}^{(s1)} + s2 b_{2p-4}^{(s1)}).
• The ordinary generating function in p is sum_{p>=1} t(p,s1,s2) x^{p-1} = 2^{s1+s2-1} (4 + 2(s1+s2)(1-x) + s1 s2 x) / (1 - 3x + x^2).
• The sandpile group for Cone(T(p,s1,s2)) is, depending on p mod 3 and parity of s1,s2, is one of: Z2^{s1+s2-2} ⊕ Z_a; Z2^{s1+s2-3} ⊕ Z_{2a}; or Z2^{s1+s2-4} ⊕ Z4 ⊕ Z_a, where a = 2^{1-s1}(2 b_{2p-3} + s2 b_{2p-4}) = t(p,s1,s2)/2^{s1+s2-2} and b_n are defined by a Fibonacci-type recurrence with initial conditions b_{-2}=2^{s1}, b_{-1}=2^{s1-1}(s1+2).
• The generating function result implies symmetry of t(p,s1,s2) in s1 and s2.
• Theorem 1.7 provides a family T_p with mu(Cone(T_p)) = 1 while the number of leaves ell(T_p) = p grows without bound.
• The work extends Reiner and Smith's results on cones over coconut trees to bi-coconut trees and resolves questions about cyclic sandpile groups with unbounded leaves.