[논문 리뷰] On the distribution of multiplicatively dependent vectors

Konyagin, Sergei V., Min Sha외 2명|arXiv (Cornell University)|2019. 03. 23.

Analytic Number Theory Research참고 문헌 22인용 수 4

한 줄 요약

이 논문은 실수 및 복소수 공간에서 곱셈적으로 종속된 벡터의 분포를 조사하며, 좌표가 밀도가 있고 거듭제곱에 대해 닫혀 있는 부분집합(예: ℚ 또는 수체)에서 온 경우, 이러한 벡터가 ℝⁿ 및 ℂⁿ에서 밀도가 있음을 증명한다. 비록 르베그 측도가 0이지만 이러한 집합들은 대수적 구조 덕분에 밀도가 있다. 논문은 정수환 ℤⁿ 및 허수 제곱수 체의 정수환과 같은 이산 케이스에서의 비정규성을 분석하기 위해 개선된 커버링 반경 개념을 도입한다.

ABSTRACT

In this paper, we study the distribution of multiplicatively dependent vectors. For example, although they have zero Lebesgue measure, they are everywhere dense both in $\mathbb{R}^n$ and $\mathbb{C}^n$. We also study this property in a more detailed manner by considering the covering radius of such vectors.

연구 동기 및 목표

• 좌표가 수체 또는 정수환에서 온 경우 ℝⁿ 및 ℂⁿ에서 곱셈적으로 종속된 벡터의 분포를 이해하는 것.
• 이러한 벡터가 르베그 측도가 0이지만 유클리드 공간에서 밀도가 있다는 보기에 모순되는 이유를 해결하는 것.
• 허수 제곱수 체 K에 대해 ℤⁿ 및 𝒪_K와 같은 이산 집합에서의 분포 비정규성을 분석하는 것.
• 이산 설정에서 이러한 벡터의 분포에 발생하는 간극을 측정하기 위해 개선된 커버링 반경 개념을 도입하는 것.

제안 방법

• ℝ 또는 ℂ의 밀도가 있고 거듭제곱에 대해 닫혀 있는 부분집합 S에 대해, 위상적 및 대수적 추론을 사용하여 ℝⁿ 및 ℂⁿ에서 𝒮ₙ(S)의 밀도를 증명한다.
• v₁^{k₁}⋯vₙ^{kₙ} = 1을 만족하는 정수 지수 벡터 (k₁,…,kₙ)를 통한 곱셈적 종속성의 구조를 사용한다.
• 소인수분해를 따라가는 구성적 경로 추적 방법을 적용하여 {-1,0,1} 범위의 작은 지수를 가진 비자명한 해를 찾는다.
• 예를 들어 (2, 2³, ..., 2^{3^{n-1}})와 같은 튜플을 사용하여 모든 집합이 밀도 있는 이미지를 갖지 않는다는 명백한 반례를 구성한다.
• 공간의 임의의 점에서 가장 가까운 곱셈적으로 종속된 벡터까지의 최대 거리를 측정하기 위해 개선된 커버링 반경 개념을 도입한다.
• 표준 밀도 성립이 실패하는 ℤⁿ 및 허수 제곱수 체의 정수환에서의 분포를 분석한다.

실험 결과

연구 질문

• RQ1 곱셈적으로 종속된 벡터의 집합이 ℝⁿ 또는 ℂⁿ에서 밀도가 되기 위한 조건은 무엇인가?
• RQ2 곱셈적으로 종속된 벡터는 르베그 측도가 0이지만 왜 여전히 ℝⁿ 및 ℂⁿ에서 밀도가 되는가?
• RQ3 정수환 ℤ 및 허수 제곱수 체의 정수환 𝒪_K에서 이러한 벡터의 분포가 어떻게 비정규적일 수 있는가?
• RQ4 개선된 커버링 반경 개념은 이산 설정에서 이러한 비정규성을 탐지하고 정량화할 수 있는가?
• RQ5 기초 집합의 거듭제곱에 대한 닫힘 성질이 결과 벡터 집합의 밀도를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 좌표가 ℚ인 곱셈적으로 종속된 벡터의 집합은 모든 n ≥ 2에 대해 ℝⁿ에서 밀도가 있다.
• 모든 수체 K에 대해 [K:ℚ] ≥ 2 이고 𝒪_K ∩ ℝ ≠ ℤ 이면, 𝒮ₙ(𝒪_K ∩ ℝ)는 ℝⁿ에서 밀도가 있다.
• K ⊊ ℝ 이고 [K:ℚ] ≥ 3 이면, 𝒮ₙ(K)는 ℂⁿ에서 밀도가 있다.
• 𝒮ₙ(ℤ)는 ℝⁿ에서 밀도가 아니며, 허수 제곱수 K에 대해 𝒮ₙ(𝒪_K)는 ℂⁿ에서 밀도가 아니다.
• 개선된 커버링 반경 개념은 𝒮ₙ(ℤ) 및 𝒮ₙ(𝒪_K)의 분포에서 심각한 비정규성을 드러낸다.
• 일부 집합에 대해 어떤 이웃에도 곱셈적으로 종속된 벡터가 존재하지 않는 명백한 튜플 (α₁,…,αₙ)이 ℝⁿ 또는 ℂⁿ에 존재하며, 이는 특정 집합에 대해 비밀도임을 증명한다.