[논문 리뷰] On similarity classes of well-rounded sublattices of $\mathbb Z^2$

Lenny Fukshansky|ArXiv.org|2007. 08. 12.

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) 를 정의한다. 이들은 행렬식과 제곱된 최소값에 대한 딜리클레 급수로부터 유도된다.
• 디오판틴 근사 기법을 적용하여, 피타고라스 삼중항에서 유도된 유리점들이 단위 원 위에 등분포함을 보인다.
• 유리수의 페어리 수열 순서를 이용해 유사성 군집에 순서를 도입하고, ℝ² 내 모든 잘린 격자에서의 등분포를 증명한다.
• 자연적 거리 척도 하에 정삼각 격자로 수렴하는 유사성 군집의 수열을 구성하며, 이는 최대 원판 포장 밀도를 달성한다.

실험 결과

연구 질문

• 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 이내의 오차로 근사함을 보인다.