[论文解读] Positive integers: counterexample to W.M. Schmidt's conjecture

Nikolay Moshchevitin|arXiv (Cornell University)|Aug 22, 2011

Mathematical Dynamics and Fractals参考文献 2被引用 3

一句话总结

本文构造了对 W.M. Schmidt 在非齐次丢番图逼近中猜想的反例，表明对于某些在 ℤ 上线性无关的实数 α₁, α₂，逼近常数无法优于指数 σ ≈ 1.94696，从而否定了对任意 ε > 0 均可将界改进为 2−ε 的猜想。该结果通过在 R³ 中对具有受控丢番图性质的奇异向量进行归纳构造而实现。

ABSTRACT

We show that there exist real numbers $α_1,α_2$ linearly independent over $\mathbb{Z}$ together with 1 such that for every non-zero integer vector $(m_1,m_2)$ with $m_1\ge 0$ and $m_2\ge 0$ one has $||m_1α_1+m_2α_2|| \ge 2^{-300} (\max(m_1, m_2))^{-σ}$ with $σ= 1.94696^+$.

研究动机与目标

• 为否定 W.M. Schmidt 的猜想，即在非齐次丢番图逼近中，指数 2−ε 可替代 φ ≈ 1.618。
• 显式构造在 ℤ 上与 1 线性无关的实数 α₁, α₂，使得线性型 m₁α₁ + m₂α₂ 避免整数并满足特定下界。
• 确立逼近指数 σ = 1.94696⁺ 的精确阈值，表明 2−ε 无法实现。
• 通过奇异向量与 R³ 中受控几何与算术性质的归纳格生成，提供构造性证明。

提出的方法

• 对 ℤ³ 中的整数向量 mₙ 进行归纳构造，控制其欧氏范数 Mₙ 及投影 m̄ₙ = (m₁ₙ, m₂ₙ) 之间的夹角。
• 定义满足条件 (i)–(v) 的三维向量序列 mₙ，包括线性无关性、格的完备性，以及通过 Mₙ₊₁ ≥ 2¹⁰Mₙ 实现的范数增长。
• 利用一个基本引理，通过奇异向量技术确保所关联的实数 α₁, α₂ 在 ℤ 上与 1 线性无关。
• 构造 ℝ³ 中嵌套的球与仿射子空间序列，以定位满足所需丢番图界之整数向量。
• 应用角度与距离约束（例如 angle( m̄ₙ, ±eⱼ) ≥ 1/4），防止与坐标轴对齐并确保均匀分布。
• 使用方程 x⁴ − 2x² − 4x + 1 = 0 定义 σ = 1.94696⁺ 为最大实根，该根成为最终界中的临界指数。

实验结果

研究问题

• RQ1 Schmidt 定理中的指数 φ ≈ 1.618 是否可被改进为任意 ε > 0 的 2−ε，如其猜想所示？
• RQ2 是否存在一个严格小于 2 的临界指数 σ，使得对某些在 ℤ 上与 1 线性无关的 α₁, α₂，对所有满足 m₁, m₂ ≥ 0 的非负整数向量 (m₁, m₂)，均有 ||m₁α₁ + m₂α₂|| ≥ C / (max(m₁, m₂))σ 成立？
• RQ3 对于何种最优指数 σ，可对所有非负整数向量一致地从下方有界控制其到整数的距离？
• RQ4 能否通过 R³ 中的奇异向量与归纳格生成方法显式构造此类反例？
• RQ5 此类反例的存在是否意味着 Schmidt 原始指数 φ 是最优的？

主要发现

• 本文构造了在 ℤ 上与 1 线性无关的实数 α₁, α₂，使得对所有满足 m₁, m₂ ≥ 0 且 max(m₁, m₂) ≥ 2²⁰⁰ 的 (m₁, m₂) ∈ ℤ²，不等式 ||m₁α₁ + m₂α₂|| ≥ 1 / (2³⁰⁰ (max(m₁, m₂))σ) 成立。
• 指数 σ = 1.94696⁺ 是方程 x⁴ − 2x² − 4x + 1 = 0 的最大实根，且证明其为最优，即任何更小的指数均不足够。
• 该构造依赖于在 ℤ³ 中对具有受控范数、夹角与格完备性的整数向量进行归纳生成，以确保满足丢番图条件。
• 下界通过满足 Mₙ₊₁ ≥ 2¹⁰Mₙ 且 Mₙ₊₁ ≤ 2Hₙ 的向量序列 mₙ 实现，其中 Hₙ = Mₙ^{στ−1}/2⁹ 且 τ = (1 + σ²)/(2σ)。
• 该方法确保：对任意不位于连续 m̄ₙ 张成的平面内的整数向量 (m₁, m₂)，其值 |ζ| = |m₀ + m₁α₁ + m₂α₂| 的下界为 M⁻σ。
• 结果表明，Schmidt 的原始指数 φ 无法被任何 2−ε 替代，从而否定了该猜想。