[논문 리뷰] Tiling the integer lattice with translated sublattices

Maciej Borodzik, Danny Nguyen외 1명|arXiv (Cornell University)|2013. 06. 11.

Quasicrystal Structures and Properties참고 문헌 8인용 수 3

한 줄 요약

이 논문은 생성함수와 본트랴긴 쌍대성을 사용하여 정수 격자 $\mathbb{Z}^d$를 이동된 부분격자로 테일링하는 데 필요한 필수 및 충분 조건을 확립하는 문자 기반 프레임워크를 개발한다. 두 차원에서 어떤 격자 테일링이라도 이동 성질을 가져야 한다는 것을 증명한다—즉, 적어도 두 개의 부분격자가 동일한 부분격자의 이동이어야 한다—이로써 $d=2$의 경우 오랫동안 열려 있던 열린 문제를 해결한다. 핵심 기여는 이중군과 잔여 조건을 통해 이러한 모든 테일링을 특징짓는 단위근을 포함하는 문자 공식이다.

ABSTRACT

When $\mathbb{Z}^d$ is represented as a finite disjoint union of translated integer sublattices, the translated sublattices must possess some special properties. Such a representation is called a \emph{lattice tiling}. We develop a theoretical framework, based on multiple residues and dual groups, to provide a set of necessary and sufficient conditions for such a lattice tiling to exist. We also investigate the question of when a lattice tiling must possess at least two translated sublattices which are translates of one another.

연구 동기 및 목표

• 유한한 이산적 합집합으로 이루어진 이동된 정수 부분격자의 조합이 $\mathbb{Z}^d$를 테일링할 수 있는 필요 및 충분 조건을 확립하기.
• 이러한 테일링이 적어도 두 개의 부분격자가 동일한 부분격자의 이동임을 포함해야 하는 경우(이동 성질)를 연구하기.
• $d=2$에서 이동 성질이 없는 격자 테일링이 존재할 수 있는지 여부를 해결하기.
• 부분격자 테일링 문제를 위한 생성함수와 문자 이론에 기반한 분석 도구를 개발하기.

제안 방법

• 부분격자와 그 토러스 $\mathbb{T}^d$ 상의 문자에 관련된 생성함수를 사용한다.
• 다변수 복소함수의 잔여 계산을 적용하여 문자 공식을 도출한다.
• 테일링 조건을 특징짓기 위해 부분격자 몫군의 이중군(Pontryagin 이중군) 개념을 도입한다.
• 유한 순서의 문자와 그 순서를 사용하여 부분격자 구조를 분석한다.
• 문자 공식 유도: 모든 유한 순서의 문자 $\chi_{\mathbf{z}}$에 대해 $\sum_{k=1}^n \frac{\chi_{\mathbf{z}}(\mathbf{v}_k)}{\det \mathcal{L}_k} = 0$.
• 대부분의 수론과 다항식의 나눗셈(예: 최소 원분 다항식)을 사용하여 이동 성질을 위반하는 가정 하에 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 유한한 이산적 합집합으로 이루어진 이동된 부분격자가 $\mathbb{Z}^d$를 테일링할 수 있는 필요 및 충분 조건은 무엇인가?
• RQ2 모든 차원 $d$ 에서, 어떤 조건에서 격자 테일링이 반드시 이동 성질을 가져야 하는가?
• RQ3 $d=2$에서 이동 성질이 없는 격자 테일링이 존재하는가?
• RQ4 기본 격자 테일링에서 부분격자의 행렬식에 대한 나눗셈 제약 조건은 무엇인가?

주요 결과

• 격자 테일링 $\mathbb{Z}^d$가 존재하는 것은 유한 순서의 모든 문자 $\chi_{\mathbf{z}}$에 대해 문자 공식 $\sum_{k=1}^n \frac{\chi_{\mathbf{z}}(\mathbf{v}_k)}{\det \mathcal{L}_k} = 0$ 이 성립할 때에만 가능하다.
• 테일링에서 최대 행렬식을 가진 부분격자가 순환적이라면, 테일링은 반드시 이동 성질을 가져야 한다.
• 두 차원에서 모든 격자 테일링은 반드시 이동 성질을 가져야 하며, 반례는 존재하지 않는다.
• 부분격자의 행렬식에 의해 나누어지는 소수 거듭제곱 $p^r$은 적어도 다른 하나의 부분격자의 행렬식에도 같은 거듭제곱으로 나누어져야 한다.
• 만약 어떤 부분격자가 다중도 $e_k^\mathbf{z}$가 $p^r$으로 나누어진다면, 다른 부분격제도 $e_k^\mathbf{z}$가 $p^r$으로 나누어져야 하며, 이는 구조적 대칭성을 보장한다.
• $d=2$에서 이동 성질의 증명은 $\mathbb{Z}[x]$에서의 다항식 나눗셈과 원분 다항식의 성질을 활용한 모순에 기반한다.