[논문 리뷰] Covering lattice points by subspaces

Imre Bárány, Gergely Harcos외 2명|arXiv (Cornell University)|2001. 02. 04.

Point processes and geometric inequalities인용 수 8

한 줄 요약

이 논문은 원점에 대해 대칭인 n차원 볼록체 내의 모든 정수 격자점들을 덮기 위해 필요한 최소한의 진부분공간 수에 대해 날카운 점 渐近 경계를 확립한다. G. Halász가 제기한 문제를 해결하며, 반지름 r인 구 내에서 n개씩 선형독립인 격자점의 최대 개수는 Θ(r^{n/(n-1)})임을 증명하고, 이러한 점들에 의해 생성되는 서로 다른 (n−1)-차원 부분공간의 수가 Θ(r^{n(n−1)})임을 보인다.

ABSTRACT

We find tight estimates for the minimum number of proper subspaces needed to cover all lattice points in an n-dimensional convex body symmetric about the origin. We also find the order of magnitude of the number of (n-1)-dimensional subspaces induced by the lattice points in a large n-dimensional ball centered at the origin.

연구 동기 및 목표

• 원점에 대해 대칭인 n차원 볼록체 내의 모든 격자점들을 덮기 위해 필요한 최소한의 진부분공간 수를 결정하는 것.
• G. Halász가 반지름 r인 구 내에서 n개씩 선형독립인 격자점의 최대 개수에 관해 제기한 문제를 해결하는 것.
• rB^n 내의 격자점들에 의해 생성되는 서로 다른 (n−1)-차원 부분공간의 수를 분석하고, 그 점점 증가하는 비율을 확립하는 것.
• 일般 위치에 있는 격자점들의 집합의 최대 크기 h(C)에 대한 날카운 추정치와, C 내의 격자점들을 덮는 데 필요한 부분공간의 최소 수 g(C)에 대한 추정치를 제공하는 것.

제안 방법

• 볼록체 C의 연속 최소값 λ_i를 도입하고, 이를 g(C)와 h(C)를 유계화하는 핵심 매개변수로 사용한다.
• C의 폴라와 동형인 체적에 대해, 정수 벡터에 수직인 부분공간을 기반으로 하는 구성적 방법을 적용하여 g(C)를 유계화한다.
• 작은 소수 체 위에서의 사영 공간 구성법을 사용하여 h(C)에 대한 하한을 유도하고, Erdős의 극한 집합 구성법과 결합한다.
• 격자기하학에서 부피와 행렬식 추정치를 활용하여 부분공간과 그 교차부분 내의 격자점 수를 유계화한다.
• 기하확률과 평균화 추론 기법을 적용하여 H_r 내의 각 초평면당 평균 격자점 수를 분석한다.
• 부분공간으로 덮는 것과 초평면 내 격자점 분포 사이의 이중성 관계를 이용하여 점점 증가하는 추정치를 도출한다.

실험 결과

연구 질문

• RQ1 원점에 대해 대칭인 n차원 볼록체 내의 모든 격자점들을 덮기 위해 필요한 최소한의 진부분공간 수는 무엇인가?
• RQ2 반지름 r인 구 rB^n에서 선택할 수 있는 n개씩 선형독립인 격자점의 최대 개수는 얼마인가?
• RQ3 rB^n 내의 격자점들에 의해 생성될 수 있는 서로 다른 (n−1)-차원 부분공간의 수는 몇 개인가?
• RQ4 이러한 부분공간의 수의 점점 증가하는 비율은 반지름 r과 차원 n에 어떻게 관련되어 있는가?
• RQ5 g(C)와 h(C)에 대한 경계는 C의 연속 최소값에 의해 표현될 수 있으며, 그 경계는 얼마나 날카로운가?

주요 결과

• rB^n 내에서 n개씩 선형독립인 격자점의 최대 개수는 O(r^{n/(n-1)})이며, 이 경계는 날카롭다.
• rB^n 내의 격자점들에 의해 생성되는 서로 다른 (n−1)-차원 부분공간의 수는 Θ(r^{n(n−1)})이며, 이에 대한 명시적 상수는 오직 n에만 의존한다.
• H_r 내의 이러한 초평면들 각각에 대한 평균 격자점 수는 오직 n에만 의존하는 상수로 유계화되어 있다.
• 연속 최소값 λ_n ≤ 1을 만족할 경우, g(C)와 h(C)에 대한 경계는 n에 따라 상수 인자만을 포함한 날카로운 경계이다.
• λ_n = 1인 체들에 대해서는, 연속 최소값만으로는 g(C) 또는 h(C)를 상수 인자까지 결정할 수 없으며, 반례를 통해 이를 보였다.
• 아핀 불변성에 의해 결과는 정수 격자 Z^n 이외의 일반적인 n차원 격자로도 확장된다.