[論文レビュー] Salem Numbers and Growth Series of Some Hyperbolic Graphs

Laurent Barthold, Tullio Ceccherini‐Silberstein|arXiv (Cornell University)|Mar 1, 2002

Geometric and Algebraic Topology参考文献 10被引用数 13

ひとこと要約

本稿は、双曲平面におけるm角形タイル張りから得られるl正則な双曲的グラフの成長系列の分母が、逆数サリーム多項式であることを確立し、その成長率がサリーム数であることを示している。さらに、これらの分母が本質的に既約であることを証明し、定数K、R、およびλ < 1を用いて成長系列の係数に対する指数的上限と下限を導出している。

ABSTRACT

Extending the analogous result of Cannon and Wagreich for the fundamental groups of surfaces, we show that, for the l-regular graphs $$\mathcal{X}_{\ell ,m} $$ associated to regular tessellations of the hyperbolic plane by m-gons, the denominators of the growth series (which are rational and were computed by Floyd and Plotnick) are reciprocal Salem polynomials. As a consequence, the growth rates of these graphs are Salem numbers. We also prove that these denominators are essentially irreducible (they have a factor of X + 1 when m ≡ 2 mod 4; and when l = 3 and m ≡ 4 mod 12, for instance, they have a factor of X 2 − X + 1). We then derive some regularity properties for the coefficients f n of the growth series: they satisfy Kλ n − R < f n < Kλ n + R for some constants K, R < 0, λ < 1.

研究の動機と目的

• 表面群に関するCannonおよびWagreichの結果を、双曲平面におけるm角形タイル張りから得られる双曲的l正則グラフへと拡張すること。
• FloydおよびPlotnickが事前に計算した成長系列の分母の代数的構造を分析すること。
• これらの分母が逆数サリーム多項式であることを確立し、その結果として成長率がサリーム数であることを示すこと。
• これらの分母の既約性に関する性質を調査し、特定のモジュラー条件の下で、特定の円分因子を同定すること。
• 成長系列の係数の正規性に関する性質を導出し、指数的上限および下限を含むものとする。

提案手法

• 双曲平面におけるm角形タイル張りから得られるl正則グラフXℓ,mの既知の有理的成長系列を利用する。
• これらの有理的成長系列の分母多項式を分析し、FloydおよびPlotnickによるそれらの閉形式表現に関する結果を活用する。
• 逆数多項式およびサリーム数の性質を適用して、分母が逆数サリーム多項式であることを示す。
• 代数的数論を用いて、分母が本質的に既約であることを証明し、特定の円分因子（例：m ≡ 2 mod 4のときX+1、l=3およびm≡4 mod 12のときX²−X+1）を同定する。
• 定数K、R、およびλ < 1を用いて、成長系列の係数fₙに対する境界を導出する。
• 形式的べき級数および母関数の技法を適用し、すべてのnに対して不等式Kλⁿ − R < fₙ < Kλⁿ + Rが成り立つことを確立する。

実験結果

リサーチクエスチョン

• RQ1 l正則な双曲的グラフXℓ,mの成長系列の分母は、逆数サリーム多項式か？
• RQ2 これらの分母の既約性はどのような性質を示し、lおよびmに関する特定のモジュラー条件の下で、特定の円分因子を含むか？
• RQ3 成長系列の係数fₙは、定数K、R、λ < 1を用いた一様な指数的境界Kλⁿ − R < fₙ < Kλⁿ + R を満たすか？
• RQ4 これらの結果は、CannonおよびWagreichによる表面群の成長に関する知見を、双曲的タイル張りグラフへとどのように一般化するか？
• RQ5 この文脈において、成長率がサリーム数であるという事実の代数的意義は何か？

主な発見

• Xℓ,mグラフの成長系列の分母は逆数サリーム多項式であり、その結果として成長率がサリーム数であることが示された。
• 分母は本質的に既約であり、m ≡ 2 mod 4のときX+1が因子として含まれる。
• l = 3およびm ≡ 4 mod 12のとき、分母は因子X² − X + 1を含む。
• 成長系列の係数fₙは、ある定数K、R、およびλ < 1を用いて、不等式Kλⁿ − R < fₙ < Kλⁿ + R を満たす。
• これらの双曲的グラフの成長率は、逆数サリーム多項式構造のおかげで、超越数、具体的にはサリーム数である。
• 本研究の結果は、CannonおよびWagreichによる表面群の成長に関する知見を、双曲的タイル張りから得られるl正則グラフのより広いクラスへと一般化している。