技术摘要：$p$ 进与 $t$ 进 Littlewood 猜想中例外集的正对数 Hausdorff 测度

1. 问题陈述

本文研究了与两个主要的丢番图逼近猜想——$p$ 进 Littlewood 猜想和 $t$ 进 Littlewood 猜想——相关的例外集的度量性质。

• $p$ 进 Littlewood 猜想： 由 de Mathan 和 Teulié 提出，该猜想断言对于每个实数 $x \in \mathbb{R}$ 和素数 $p$，
  $$\liminf_{q \to \infty} q |q|_p \|qx\| = 0,$$
  其中 $| \cdot |_p$ 是归一化的 $p$ 进绝对值，$\| \cdot \|$ 是到最近整数的距离。
• $t$ 进 Littlewood 猜想： 一个在有限域 $\mathbb{F}_q$ 上的函数域类似物，断言对于每个形式劳伦兹级数 $\Theta \in \mathbb{F}_q((t^{-1}))$，
  $$\inf_{0 \neq Q \in \mathbb{F}_q[t]} |Q| |Q|_t |\langle Q\Theta \rangle| = 0,$$
  其中 $|Q| = q^{\deg Q}$，$|Q|_t = q^{-v_t(Q)}$，且 $\langle \cdot \rangle$ 表示分数部分。

已知如果反例存在，它们必然属于坏近似数集，而该集合的勒贝格测度为零。此外，Einsiedler, Katok, Lindenstrauss 和 Kleinbock 先前的研究结果表明，这些例外集的 Hausdorff 维数为零。本文探讨的核心问题是：如果这些例外集非空，它们在更精细的度量意义下有多“大”？ 具体而言，作者研究了它们相对于对数 Hausdorff 测度的规模，这种测度比标准的幂律测度对维数为零的情况更为敏感。

2. 方法论

作者结合使用动力系统理论、符号动力学和质量分布原理来推导例外集之 Hausdorff 测度的下界。

2.1 动力学表述

该问题被重新表述为特定动力学映射轨道的性质：

• 对于 $p$ 进情况，映射为圆周 $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ 上的 $T_p(y) = py \pmod 1$。例外集 $E_p$ 与反例的轨道闭包 $F_p(x)$ 相关。
• 对于 $t$ 进情况，映射是单侧左移 $T$ 在空间 $I_q = t^{-1}\mathbb{F}_q[[t^{-1}]]$ 上的作用。例外集 $E_q^{(t)}$ 通过轨道闭包 $K(\Theta)$ 进行分析。

2.2 一致丢番图估计

一个核心技术步骤是为反例轨道闭包中的所有点建立关于逼近质量的一致下界。

• 如果 $x$ 是一个满足 $m_p(x) > 0$ 的反例，作者证明对于 $x$ 的轨道闭包中的所有 $y$，以及所有整数 $q$，量 $q|q|_p \|qy\|$ 的下界为一个正常数 $\beta$。
• 类似地，对于 $t$ 进情况，为任何反例 $\Theta$ 的轨道建立了一个一致下界 $c$。

2.3 回归时间与柱集分离

这些一致的丢番图界限被转化为在符号表示（基于 $p$ 进制展开或劳伦兹级数系数）中关于回归时间的约束。

• 引理 2.7（回归时间）： 如果一个点 $y$ 及其迭代 $T^d y$ 落入同一个 $n$ 阶柱集（cylinder）中，则位移 $d$ 必须满足 $n < d + \text{const}$。
• 这意味着在足够多次迭代后，该映射下的柱集原像在空间上是两两不交的。这种分离防止了轨道的质量过度集中在微小的区间上。

2.4 质量分布原理

作者构造了支撑在轨道闭包上的不变 Borel 概率测度（利用经验测度的弱极限）。通过结合原像的不交性与一致界限，作者推导出了任何直径为 $r$ 的集合 $U$ 的测度上界：
$$\mu(U) \lesssim \frac{1}{\log(1/r)}.$$
应用质量分布原理（引理 2.1），该测度上界意味着关于测度函数 $h(r) = 1/\log(1/r)$ 的下界。

2.5 显式构造（奇特征）

对于奇特征下的 $t$ 进猜想，作者利用 Lai 和 Sprang 的显式反例构造来完善其结果。该构造允许对不同尺度下的集合“分支”进行更精确的分析，从而得到具有更高指数的更强测度函数。

3. 关键贡献与结果

3.1 $p$ 进 Littlewood 猜想的结果

定理 2.2： 若例外集 $E_p$ 非空，则对于任何 $x \in E_p$，其轨道闭包 $F_p(x)$ 关于测度函数 $h_1(r) = 1/\log(1/r)$ 具有正对数 Hausdorff 测度。

• 推论 2.3： 因此，如果 $E_p$ 非空，则其基数等于连续统。
• 推论 2.4： $E_p$ 的对数 Hausdorff 维数至少为 1（$\dim_{\log} E_p \ge 1$）。

作者指出，这并不与 Einsiedler 等人的零 Hausdorff 维数结果相矛盾，因为一个集合可以具有零维数，但在对数测度下具有正测度。

3.2 $t$ 进 Littlewood 猜想的结果

定理 3.1： 对于任何素数幂 $q$，如果例外集 $E_q^{(t)}$ 非空，则：

1. 任何反例的轨道闭包具有正的 $h_1$-测度。
2. 整个例外集 $E_q^{(t)}$ 具有无限 $h_1$-测度。
3. $E_q^{(t)}$ 的基数等于连续统，且对数维数至少为 1。

定理 3.2（针对奇数 $q$ 的更强结果）： 利用奇数 $q$ 下的 Lai-Sprang 构造，作者证明了一个显著更强的结论。令 $A_q = \frac{q-1}{2} \log_2(q-1)$。

• 存在一个子集 $C_q \subset E_q^{(t)}$，使得 $0 < H_{h_{A_q}}(C_q) < \infty$，其中 $h_{A_q}(r) = 1/(\log(1/r))^{A_q}$。
• 完整的例外集满足 $H_{h_{A_q}}(E_q^{(t)}) = \infty$。
• 这意味着 $\dim_{\log} E_q^{(t)} \ge A_q$。
• 注： 当 $q=3$ 时，$A_3=1$。当 $q \ge 5$ 时，$A_q > 1$。

特征 2： 文中指出，对于特征 2，指数为 1 的结论取决于反例的存在性，因为用于奇特征的特定构造无法直接应用。

4. 意义与主张

本文声称从“度量”视角切入，补充了现有的“维数”研究结果。

• 细化反例的“微小性”： 虽然之前的研究表明，如果反例存在，它们构成的集合 Hausdorff 维数为零，但本文证明了这类集合不会“过小”。具体而言，它们不能是可数集，并且必须在对数测度下具有正（或无限）测度。
• 基数： 结果明确确立了任何非空的例外集其基数必为连续统。
• 潜在证明路径： 作者提出了证明猜想本身的潜在策略。如果能够通过上界方法证明例外集对于特定测度函数 $h$ 的测度为零，同时又证明非空性蕴含了对于同一 $h$ 的正（或无限）测度，那么该集合将被迫为空集。本文提供了对数测度所需的下界机制。
• 最优性： 本文谦逊地将结果定位为下界。它提出了一个问题：是否可以加强这些界限（例如增加测度函数中的指数 $A$），或者类似的结论是否也适用于经典的 Littlewood 猜想。

总之，本文确立了 $p$ 进和 $t$ 进 Littlewood 猜想的例外集（如果存在）在对数 Hausdorff 测度意义下是具有实质性的，它们拥有无限基数，并具有特定的对数维数下界。