[论文解读] A version of the proof for Peres-Schlag's theorem on lacunary sequences

Nikolay Moshchevitin|ArXiv.org|Aug 15, 2007

advanced mathematical theories被引用 7

一句话总结

本文通过避免使用概率术语的测度论方法，将Peres和Schlag关于间隙序列的丢番图逼近定理推广到多维情形，证明了存在实向量 $\alpha \in \mathbb{R}^d$，使得对所有 $j$ 有 $\max_{1\leq k\leq d} \|\alpha_k t_j\| \geq \frac{1}{2^{11}(M\log M)^{1/d}}$，并进一步推广至正交变换及复乘法序列。

ABSTRACT

We present a proof of a multidimensional version of Peres-Schlag's theorem on Diophantine approximations with lacunary sequences.

研究动机与目标

• 将Peres和Schlag关于间隙序列的一维结果推广至高维情形。
• 为由间隙序列导出的有理逼近同时逼近实数建立有效下界。
• 提供一种避免使用概率语言的证明，改用测度论论证而非Lovász局部引理。
• 将结果推广至正交变换及复乘法序列。
• 推导 $\theta^j\alpha$ 到复平面上高斯整数距离的有效定量界。

提出的方法

• 通过在每个 $a/t_j$ 周围取长度为 $\delta/t_j$ 的区间，定义逼近集 $E(j,\mathbf{a})$ 的 dyadic 覆盖，其中 $\delta = \frac{1}{2^{11}(M\log M)^{1/d}}$。
• 构造集合 $A_j \supseteq \bigcup_{\mathbf{a}} E(j,\mathbf{a}) \cap [0,1]^d$，作为边长为 $2^{-l_j}$ 的 dyadic 方块的并集，其中 $l_j = \lfloor \log_2(t_j/(2\delta)) \rfloor$。
• 利用测度估计证明 $\mu(A_j) \leq (16\delta)^d$，并定义 $\delta_1 = 2^{4d+1}\delta^d$，$h = \lceil 2^{3d}M\log M \rceil$。
• 证明关键的测度衰减引理：$\mu(A_{i+h} \cap \bigcap_{j\leq i} A_j^c) \leq \delta_1 \mu(\bigcap_{j\leq i} A_j^c)$，该结果依赖于间隙条件 $t_{j+1}/t_j \geq 1 + 1/M$。
• 通过归纳法建立交集 $\bigcap_{j\leq i} A_j^c$ 测度的下界，证明其在 $h$ 步前保持不低于其值的一半。
• 通过重新定义集合 $E'(j,\mathbf{a}) = S_j^{-1}E(j,\mathbf{a})$ 并调整参数以补偿旋转引起的形变，将方法推广至正交变换。

实验结果

研究问题

• RQ1 Peres和Schlag关于间隙序列的一维结果能否推广至 $\mathbb{R}^d$ 中的联合丢番图逼近？
• RQ2 对于固定的间隙序列 $\{t_j\}$，能否为所有 $j$ 建立 $\max_k \|\alpha_k t_j\|$ 的有效下界？
• RQ3 正交变换 $S_j$ 的存在如何影响逼近质量？是否仍能获得统一的下界？
• RQ4 该结果能否推广至复乘法序列 $\theta^j$（$|\theta| > 1$），以确保其到高斯整数的距离有下界？
• RQ5 该下界中的最优常数是多少？其随 $d$、$M$ 和 $\log M$ 如何变化？

主要发现

• 本文证明：对任意满足比值 $\geq 1 + 1/M$ 的间隙序列 $\{t_j\}$，存在 $\alpha \in \mathbb{R}^d$，使得对所有 $j$ 有 $\max_k \|\alpha_k t_j\| \geq \frac{1}{2^{11}(M\log M)^{1/d}}$。
• 该下界是有效且构造性的，即通过嵌套全测度集合的测度论归纳法证明了此类 $\alpha$ 的存在性。
• 对于正交变换 $S_j$，下界变为 $\|G_j\alpha\| \geq \frac{1}{2^{13}d(M\log M)^{1/d}}$，其中 $G_j = t_j S_j$，表明结果在旋转下具有鲁棒性。
• 推论将结果推广至复序列 $\theta^j$（$|\theta| > 1$），给出了其在上范数下到高斯整数距离的下界。
• 证明通过 dyadic 覆盖和测度衰减估计避免了概率术语，用直接的测度论归纳法替代了 Lovász 局部引理。
• 界中常数是显式的，可进一步优化，但当前形式已能确保对所有 $j$ 均成立的 $\alpha$ 满足所需的丢番图条件。