[論文レビュー] On the distribution of multiplicatively dependent vectors

Konyagin, Sergei V., Min Sha+2 more|arXiv (Cornell University)|Mar 23, 2019

Analytic Number Theory Research参考文献 22被引用数 4

ひとこと要約

本稿は、実空間および複素空間における乗法的依存ベクトルの分布を調査し、座標がℚや数体などの稠密かつ冪閉集合からとられる場合、このようなベクトルがℝⁿおよびℂⁿで稠密であることを証明する。リークベーゼ測度がゼロであるにもかかわらず、代数的構造のおかげでこれらの集合は稠密である。本稿では、ℤⁿ や虚二次体の整数環などの離散ケースにおける不規則性を分析するため、洗練された被覆半径を導入する。

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.

研究の動機と目的

• 座標が数体または整数環からとられる場合のℝⁿおよびℂⁿにおける乗法的依存ベクトルの分布を理解すること。
• これらのベクトルが零測度であるにもかかわらず、ユークリッド空間で稠密であるという表面的矛盾を解明すること。
• 虚二次体Kに対してℤⁿや𝒪_Kの離散的集合における分布の不規則性を分析すること。
• 離散的状況におけるこのようなベクトルの分布のギャップを定量化するため、洗練された被覆半径の概念を導入すること。

提案手法

• ℝまたはℂの稠密かつ冪閉部分集合Sに対して、𝒮ₙ(S)がℝⁿおよびℂⁿで稠密であることを、位相的および代数的議論を用いて証明する。
• 乗法的依存の構造を、v₁^{k₁}⋯vₙ^{kₙ} = 1を満たす整数指数ベクトル(k₁,…,kₙ)を介して用いる。
• 素因数分解に沿った構成的パスフォローアプローチを用い、{-1,0,1}内の小さい指数を持つ非自明な解を見つける。
• 例えば(2, 2³, ..., 2^{3^{n-1}})のようなタプルを用いて、すべての集合が稠密な像を与えるわけではないことを明示的に反例で示す。
• 空間内の任意の点から最も近い乗法的依存ベクトルまでの最大距離を測るため、洗練された被覆半径を導入する。
• 標準的な稠密性が失敗するℤⁿおよび虚二次体の整数環における分布を分析する。

実験結果

リサーチクエスチョン

• RQ1 乗法的依存ベクトルの集合がℝⁿまたはℂⁿで稠密であるための条件は何か？
• RQ2 乗法的依存ベクトルは測度ゼロであるにもかかわらず、なぜℝⁿおよびℂⁿで稠密であるのか？
• RQ3 ℤや虚二次体Kに対する𝒪_Kのような離散的環では、このようなベクトルの分布が不規則になるのはなぜか？
• RQ4 洗練された被覆半径の概念は、離散的状況におけるこれらの不規則性を検出し、定量化できるか？
• RQ5 基礎となる集合の冪閉性が、得られるベクトル集合の稠密性を決定づける役割を果たすのか？

主な発見

• 座標がℚにある乗法的依存ベクトルの集合は、すべてのn ≥ 2に対してℝⁿで稠密である。
• 任意の数体Kに対して[K:ℚ] ≥ 2であり、𝒪_K ∩ ℝ ≠ ℤであるとき、𝒮ₙ(𝒪_K ∩ ℝ)はℝⁿで稠密である。
• K ⊊ ℝであり、[K:ℚ] ≥ 3であるとき、𝒮ₙ(K)はℂⁿで稠密である。
• 𝒮ₙ(ℤ)はℝⁿで稠密ではなく、虚二次体Kに対して𝒮ₙ(𝒪_K)はℂⁿで稠密ではない。
• 洗練された被覆半径の概念により、𝒮ₙ(ℤ)および𝒮ₙ(𝒪_K)の分布における顕著な不規則性が明らかになった。
• ℝⁿまたはℂⁿ内の明示的なタプル(α₁,…,αₙ)が存在し、その任意の近傍に乗法的依存ベクトルが含まれないことを示すことで、特定の集合に対して非稠密性が証明された。