[논문 리뷰] Topological indices on self-similar graphs generated by groups

Daniele D'Angeli, Stefan Hammer외 1명|arXiv (Cornell University)|2026. 03. 10.

Graph theory and applications인용 수 0

한 줄 요약

요약: 본 논문은 Schreier graphs of tree automaton groups (tree graph automata)의 직경, 완전 매칭, Tutte 다항식, Wiener/Szeged 지수를 cactus 구조를 활용해 명시적으로 도출한다.

ABSTRACT

In this paper, we determine precise formulas for the diameters, the number of perfect matchings, and the Tutte polynomials for an infinite family of finite graphs, namely the Schreier graphs of tree automaton groups, also called tree graph automata. This enables us to easily find the number of spanning trees, spanning forests, and an explicit form for the chromatic polynomials. In the second part of the paper, we provide the precise values for the Wiener and Szeged index of any tree graph automaton.

연구 동기 및 목표

• 자기유사한 Schreier graphs에서 그래프 지표의 위상적/조합적 연구를 동기화하고 수행한다.
• G가 트리인 경우 Gamma_n^G의 직경과 완전 매칭의 정확하고 닫힌 형식을 유도한다.
• Tutte 다항식을 계산하고 spanning_tree/forest 및 chromatic polynomial에 대한 이고로를 추론한다.
• tree graph automata에 대한 explicit Wiener 및 Szeged 지수를 얻는다.
• 그래프 지표와 기초 오토마톤/그룹 구조 사이의 관계를 탐구한다.

제안 방법

• tree-generated automata로부터 Gamma_n^G를 모델링하고, 이것들이 사이클 블록을 가진 bipartite cactus 그래프임을 보인다.
• diam(Gamma_n^G) = 2^{n+1} + d_G(2n-1) - 4n (Prop. 3.1)라는 직경 공식을 입증한다.
• G가 완전 매칭을 갖는 트리일 때 Gamma_n^G의 e-사이클 수를 세고 (Theorem 3.4) 완전 매칭의 수를 도출한다.
• Theorem 4.1에 따라 Gamma_n^G의 Tutte 다항식을 cactus 인자로 분해하여 계산하고, Corollary 4.2에서 spanning-tree/forest 및 chromatic polynomial의 값을 얻는다.
• Theorem 5.1, Theorem 5.7에 따라 Gamma_n^G의 explicit Wiener 및 Szeged 지수를 도출하고, k=|V(G)| 및 n에 따른 닫힌 형태를 제시한다.

실험 결과

연구 질문

• RQ1 G가 트리일 때 Gamma_n^G의 직경에 대한 정확한 닫힌 형식은 무엇인가?
• RQ2 주어진 트리 G에 대해 Gamma_n^G가 가지는 완전 매칭의 수는 얼마이며, G가 완전 매칭을 갖는지에 어떻게 의존하는가?
• RQ3 Tree graph automata에 대한 Gamma_n^G의 explicit Tutte polynomial T(Gamma_n^G, x, y)은 무엇이며, 그에 따른 corollaries(spanning trees, forests, chromatic polynomial)는 무엇인가?
• RQ4 Gamma_n^G의 닫힌 형태 Wiener 및 Szeged 지수는 무엇이며, 이를 기저 트리 G와 어떻게 관련되는가?
• RQ5 tree graph automata의 cactus 구조가 이러한 지수의 계산을 어떻게 단순화하는가?

주요 결과

• Diameter of Gamma_n^G is 2^{n+1} plus a term depending on the base tree: diam(Gamma_n^G)=2^{n+1}+d_G(2n-1)-4n.
• If G has a perfect matching, Gamma_n^G has 2^{(k)/(2(k-1))*(k^{n}-2k^{n-1}+1)} perfect matchings; otherwise, the number is 0, where k=|V(G)|.
• The Tutte polynomial of Gamma_n^G factors as a product over cycles (Theorem 4.1), enabling corollaries: number of spanning trees, number of forests, and chromatic polynomial are expressible via explicit formulas (Corollary 4.2).
• Explicit Wiener/Szeged indices are obtained: Sz(Gamma_n^G)=2W(Gamma_n^G) for tree G (Corollary 5.3); Theorem 5.1 provides a closed form for W(Gamma_n^G) in terms of k, n, and W(G).
• The dominant growth term for Wiener index is proportional to 2^{n} k^{2n}, with the leading coefficient depending only on k and W(G).