[論文レビュー] Topological indices on self-similar graphs generated by groups

Daniele D'Angeli, Stefan Hammer+1 more|arXiv (Cornell University)|Mar 10, 2026

Graph theory and applications被引用数 0

ひとこと要約

この論文は、 Schreier グラフの直系群（木構造の自動機グループ、木グラフ自動機）に対する直径、完全マッチング、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 グラフに現れるトポロジー/組み合わせ的指標を動機づけて研究する。
• G が木であるとき Gamma_n^G の直径と完全マッチングの精密な閉形式公式を導出する。
• Gamma_n^G の Tutte 多項式を計算し、広域木/森林および染色多項式に関する推論を導出する。
• tree graph automata に対する explicit Wiener および Szeged 指標の公式を取得する。
• グラフ指標と基盤となる自動機/グループ構造との関係を探る。

提案手法

• 木生成オートマからの Schreier グラフ Gamma_n^G をモデル化し、これらがサイクルブロックを持つ二部グラフ的な cactus グラフであることを示す。
• diam(Gamma_n^G) = 2^{n+1} + d_G(2n-1) - 4n (Prop. 3.1) の直径公式を証明する。
• Gamma_n^G の e-サイクルを数え、木 G が完全マッチングを持つ/持たない場合の完全マッチングの個数を定理 3.4 で導出する。
• cactus 分解を用いて Gamma_n^G の Tutte 多項式を計算し(定理 4.1)、広がり木/森林の数と染色多項式を推定する(系列 Corollary 4.2)。
• Gamma_n^G の Explicit Wiener および Szeged 指標を導出し、Sz(Gamma_n^G)=2W(Gamma_n^G) を示し、k=|V(G)| および n に依存する閉形式を定理 5.1, 定理 5.7 で示す。

実験結果

リサーチクエスチョン

• RQ1 G が木であるとき Gamma_n^G の直径の幾何的に閉じた形は何か？
• RQ2 木 G に対して Gamma_n^G はいくつの完全マッチングを持つのか、G が完全マッチングを持つかどうかにどう依存するか？
• RQ3 木グラフ自動機に対する Gamma_n^G の明示的 Tutte 多項式 T(Gamma_n^G, x, y) は何か、どんな系（広がり木/森林、染色多項式）の推定が得られるか？
• RQ4 Gamma_n^G の閉形式 Wiener および Szeged 指標は何か、基盤となる木 G とどう関係するか？
• RQ5 木 graph automata の cactus 構造はこれらの指標の計算をどのように単純化するか？

主な発見

• Gamma_n^G の直径は 2^{n+1} に、基盤木に依存する項 d_G(2n-1) - 4n を加えた形である: diam(Gamma_n^G)=2^{n+1}+d_G(2n-1)-4n。
• G が完全マッチングを持つ場合、Gamma_n^G は 2^{(k)/(2(k-1))*(k^{n}-2k^{n-1}+1)} の完全マッチングを持つ；持たない場合は 0、ここで k=|V(G)|。
• Gamma_n^G の Tutte 多項式はサイクルごとに分解できる（定理 4.1）、従って広がり木/森林の数および染色多項式は明示的な式で表現できる（系統 4.2）。
• 明示的な Wiener/Szeged 指標を得る: Sz(Gamma_n^G)=2W(Gamma_n^G) は木 G に対して成り立つ（系 5.3 の系；定理 5.1 は W(Gamma_n^G) の k, n, W(G) に依存する閉形式を与える）。
• Wiener 指数の支配的成長項は 2^{n} k^{2n} に比例し、先導係数は k と W(G) のみで決まる。