[論文レビュー] On similarity classes of well-rounded sublattices of $\mathbb Z^2$

Lenny Fukshansky|ArXiv.org|Aug 12, 2007

Mathematical Dynamics and Fractals参考文献 21被引用数 4

ひとこと要約

この論文は、原始的ピタゴラス数の三つ組を用いてℤ²の整形式な部分格子の類似性類を分類し、非可換かつ無限生成のモノイドを形成することを証明する。各類似性類に対してゼータ関数を定義し、ℤ[i]のデデキンドゼータ関数と関連付ける。また、ヘキサゴナル格子に急速に収束するようなこのような格子の列を構成し、最適な円充填密度を達成する。

ABSTRACT

A lattice is called well-rounded if its minimal vectors span the corresponding Euclidean space. In this paper we study the similarity classes of well-rounded sublattices of ${\mathbb Z}^2$. We relate the set of all such similarity classes to a subset of primitive Pythagorean triples, and prove that it has structure of a noncommutative infinitely generated monoid. We discuss the structure of a given similarity class, and define a zeta function corresponding to each similarity class. We relate it to Dedekind zeta of ${\mathbb Z}[i]$, and investigate the growth of some related Dirichlet series, which reflect on the distribution of well-rounded lattices. Finally, we construct a sequence of similarity classes of well-rounded sublattices of ${\mathbb Z}^2$, which gives good circle packing density and converges to the hexagonal lattice as fast as possible with respect to a natural metric we define.

研究の動機と目的

• ℤ²の整形式な部分格子の類似性類をすべて分類し、原始的ピタゴラス数の三つ組と関連付けること。
• これらの類似性類の代数的構造を分析し、非可換かつ無限生成のモノイドを形成することを示すこと。
• 各類似性類に付随するゼータ関数を定義し、それらをℤ[i]のデデキンドゼータ関数と関連付けること。
• ℝ²におけるすべての整形式な格子の集合の中で、これらの類似性類の分布を調査すること。
• ヘキサゴナル格子に高い充填密度と高速収束を達成するように、ℤ²の整形式な部分格子の列を構成すること。

提案手法

• p² + r² = q² を満たす原始的ピタゴラス数の三つ組 (p, r, q) を用いて、ℤ²の整形式な部分格子をパラメータ表示すること。
• 直交変換とスケーリングの幾何的作用を用いて格子の類似性を定義し、分類を単位円上の有理点に還元すること。
• 各類似性類に対して、行列式および二乗最小値のディリクレ級数から導かれるゼータ関数 W_d(s) と W_m(s) を定義すること。
• ディオファントス近似の技法を適用し、ピタゴラス数から得られる有理点が単位円上で等分布することを示すこと。
• 有理数のファレイ列の順序付けを用いて類似性類に順序を導入し、ℝ²におけるすべてのWR格子の空間における等分布を証明すること。
• 自然な距離計測のもとで、ヘキサゴナル格子に収束する類似性類の列を構成し、最大の円充填密度を達成すること。

実験結果

リサーチクエスチョン

• RQ1 ℤ²の整形式な部分格子の類似性類の集合はどのようにパラメータ化され、どのような代数的構造を形成するか？
• RQ2 各類似性類に付随するゼータ関数の解析的性質は何か？また、ℤ[i]のデデキンドゼータ関数とどのように関連するか？
• RQ3 ℝ²におけるすべての整形式な格子の集合の中で、ℤ²の整形式な部分格子の類似性類はどのように分布するか？
• RQ4 ヘキサゴナル格子に高い円充填密度と高速収束を達成するように、ℤ²の整形式な部分格子の列を構成できるか？
• RQ5 定義された距離計測のもとで、類似性類の列がヘキサゴナル格子にどの程度の速度で近づくか？

主な発見

• ℤ²の整形式な部分格子の類似性類の集合は、原始的ピタゴラス数の三つ組の部分集合と一対一対応し、非可換かつ無限生成のモノイドを形成する。
• 各類似性類に付随するゼータ関数は、ℜ(s) > 1 で正則であり、ℤ[i]のデデキンドゼータ関数と関連している。全ゼータ関数 ζ_WR(ℤ²)(s) は s = 1 にちょうど二階の極を持つ。
• 論文で構成された類似性類の列は、O(1/q) のオーダーでヘキサゴナル格子に収束し、最適な円充填密度を達成する。
• ℤ²の整形式な部分格子の類似性類の集合は、ℝ²におけるすべての類似性類の整形式な格子の空間において等分布しており、その等分布は単位円上の有理点のファレイ列の順序付けによって誘導される。
• 単位円上の任意の点（ただし (±1,0) や (0,±1) を除く）に対して、距離が 2√2/q で有界となるような、ピタゴラス数から得られる無限個の有理点が存在する。これは有効なディオファントス近似を示している。
• この結果は有理楕円に対しても拡張可能であり、楕円上の任意の点は、楕円上の有理点によって誤差が 2√2·max{a,b}/q で有界となるように近似可能である。