[論文レビュー] Gap Distributions in Circle Packings

Zeév Rudnick, Xin Zhang|arXiv (Cornell University)|Sep 10, 2015

Mathematical Dynamics and Fractals参考文献 10被引用数 5

ひとこと要約

本稿は、反射によって生成される円パッキングにおける固定された円上の接点間の最近接距離の分布を、幾何学的および自動形式の技法を用いて研究する。共形的に不変な極限的ギャップ分布の存在を証明し、それは連続的かつ区分的滑らかであり、レベル反発を示す。特に、アポロニウス・9型やその他のパッキングに関して、モビウス変換のパrameter空間における面積計算により、明示的な公式が導出される。

ABSTRACT

We determine the distribution of nearest neighbour spacings between the tangencies to a fixed circle in a class of circle packings generated by reflections. We use a combination of geometric tools and the theory of automorphic forms.

研究の動機と目的

• 反射によって生成される無限円パッキング内の固定された円上における接点の局所的統計的分布を理解すること。
• 曲率の上限を大きくする際に、これらの接点間の最近接距離が極限分布に収束するかどうかを特定すること。
• この極限分布が共形的に不変であり、基本円上の弧の選択に依存しないことを確立すること。
• 特にアポロニウス・9型、アポロニウス・3型、および古典的アポロニウス・パッキングを含む特定のクラスの円パッキングについて、ギャップ分布の明示的形を計算すること。
• 極限ギャップ分布が0から離れてサポートされること、つまり強いレベル反発を示していることを証明すること。

提案手法

• 著者たちは、コーエッブ＝アンドレーエーヴ＝サーストンの円パッキング定理を用い、リーマン球面の有限三角形分割を、互いに交わらない内部と三角形の隙間を持つ円パッキングとして実現する。
• 双対的な曲線三角形の隙間における反射の群を用いて無限パッキングを生成し、リーマン球面上で作用する離散群を形成する。
• 固定された基本円上の接点の分布は、弧に制限して曲率がT以下の接点の数を数えることで分析され、Tに比例して線形に増加することが示される。
• ギャップ分布は、平均ギャップに対する正規化された間隔数として定義され、均質な力学および自動形式の技法を用いてT → ∞における極限を研究する。
• 明示的な公式は、特にモビウス変換のパrameter空間における領域の面積計算により導出される。特に、群が円のペアに作用する様子を用いる。
• 極限分布の共形不変性は、SL(2,ℂ)に属するモビウス変換の下での不変性を示すことにより証明され、群が円のペアに推移的に作用することを応用する。

実験結果

リサーチクエスチョン

• RQ1 反射によって生成される円パッキングにおける固定された円上の接点間の最近接距離の分布は、曲率の上限を大きくするに従い、極限分布に収束するか？
• RQ2 この極限ギャップ分布は、パッキングおよび基本円のモビウス変換に対して共形的に不変か？
• RQ3 アポロニウス・9型やアポロニウス・3型などの特定の円パッキングについて、極限ギャップ分布の明示的関数形は何か？
• RQ4 極限ギャップ分布はレベル反発を示すか、すなわち0から離れてサポートされているか？
• RQ5 反射群の幾何的および力学的性質は、接点の統計的分布とどのように関係しているか？

主な発見

• 曲率 ≤ T である固定された円上の接点の数はTに比例して線形に増加し、接点が円上に一様に分布していることを確認する。
• 極限ギャップ分布F(s)は存在し、連続的かつ区分的滑らかであり、原子を持たず、0に近い部分にサポートを持たない。これは強いレベル反発を示している。
• 極限ギャップ分布は共形的に不変である。これは、パッキングおよび基本円全体に対するモビウス変換の下でも変わらないことを意味する。
• アポロニウス・9型パッキングでは、密度関数F′(s)がパrameter空間における面積の和として明示的に計算され、曲率およびモビウス変換パラメータに関連する(c,d)座標における不等式で定義される領域を含む。
• 分布はF(s) = (8/(√5 + 1)) × (m(Z₁(s)) + m(Z₃(s)) + m(Z₄(s))) として表され、m(⋅)はパrameter空間内の特定の領域のLebesgue測度を表す。
• 結果はハールの定理（ファレイ数列に関する）を一般化し、古典的アポロニウス・パッキングの場合は均一ギャップ分布が特殊ケースとして回復される。