技術的要約：$p$ 進および $t$ 進リトロー・コンジェクチャーにおける例外集合の正の対数ハウスドルフ測度

1. 問題設定

本論文は、ディオファントス近似における二つの主要な予想、すなわち $p$ 進リトロー・コンジェクチャー（$p$-adic Littlewood conjecture） および $t$ 進リトロー・コンジェクチャー（$t$-adic Littlewood conjecture） に関連する例外集合の計量的な性質を扱っている。

• $p$ 進リトロー・コンジェクチャー： ド・マタンとテュリエによって導入された。すべての実数 $x \in \mathbb{R}$ と素数 $p$ に対して、次式が成り立つと仮定している：
  $$\liminf_{q \to \infty} q |q|_p \|qx\| = 0,$$
  ここで、$| \cdot |_p$ は正規化された $p$ 進絶対値であり、$\| \cdot \|$ は最も近い整数への距離である。
• $t$ 進リトロー・コンジェクチャー： 有限体 $\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$ は分数部分を表す。

反例が存在する場合、それらは有界近似数（badly approximable numbers）の集合に属することが知られているが、この集合のルベーグ測度はゼロである。さらに、アインスィドラー、カトク、リンデンシュトラウス、およびクラインブロックによる先行研究により、これらの例外集合のハウスドルフ次元はゼロであることが確立されている。本論文が取り組む中心的な問いは、「もしこれらの例外集合が非空であるならば、それらはより微細な計量的意味において、どの程度『大きい』のか？」 という点である。具体的には、著者らは、次元がゼロの場合に標準的な冪乗則の測度よりも感度の高い、対数ハウスドルフ測度に関してその大きさを調査している。

2. 手法

著者らは、例外集合のハウスドルフ測度の下界を導出するために、力学系理論、記号力学系、および 質量分布原理 を組み合わせた手法を用いている。

2.1 力学的定式化

問題は、特定の力学写像の軌道として再定式化される：

• $p$ 進の場合、写像は円周 $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ 上の $T_p(y) = py \pmod 1$ である。例外集合 $E_p$ は、反例の軌道閉包 $F_p(x)$ と関連している。
• $t$ 進の場合、写像はローラン級数の空間 $I_q = t^{-1}\mathbb{F}_q[[t^{-1}]]$ 上の一側左シフト $T$ である。例外集合 $E_q^{(t)}$ は、軌道閉包 $K(\Theta)$ を通じて分析される。

2.2 一様ディオファントス評価

核心となる技術的なステップは、反例の軌道のすべての点に対する近似の質の一様な下限を確立することである。

• $m_p(x) > 0$ である反例 $x$ について、著者らは、軌道の閉包に含まれるすべての $y$ とすべての整数 $q$ に対して、量 $q|q|_p \|qy\|$ が正の定数 $\beta$ によって下から抑えられることを証明している。
• 同様に、$t$ 進の場合も、任意の反例 $\Theta$ の軌道に対して一様な下限 $c$ が確立される。

2.3 回帰時間とシリンダーの分離

これらの一様なディオファントス下限は、記号表現（底数 $p$ の展開またはローラン級数の係数）における**回帰時間（return times）**への制約へと翻訳される。

• 補題 2.7（回帰時間）： ある点 $y$ とそのイテレート $T^d y$ が、次数 $n$ の同じシリンダーに属する場合、シフト $d$ は $n < d + \text{const}$ を満たさなければならない。
• これは、写像によるシリンダーの逆像が、十分な回数のイテレーションの後では**互いに素（disjoint）**であることを意味する。この分離により、軌道の質量が小さな区間に過度に集中することを防いでいる。

2.4 質量分布原理

著者らは、軌道閉包上に支持される不変ボレル確率測度（経験的測度の弱極限を用いて）を構成する。シリンダーの互いに素な性質と一様な下限を組み合わせることで、直径 $r$ の任意の集合 $U$ に対する測度の上限を導出する：
$$\mu(U) \lesssim \frac{1}{\log(1/r)}.$$
質量分布原理（補題 2.1）を適用することで、この $\mu(U)$ の上限は、ゲージ関数 $h(r) = 1/\log(1/r)$ に関するハウスドルフ測度の下限を意味する。

2.5 明示的な構成（奇数標数）

奇数標数の体上の $t$ 進コンジェクチャーについては、**ライとスプランク（Lai and Sprang）**による明示的な反例構成を利用して、結果を精緻化している。この構成により、異なるスケールにおける集合の「分岐」をより精密に分析することが可能となり、より高い指数を持つより強いゲージ関数が得られる。

3. 主要な貢献と結果

3.1 $p$ 進リトロー・コンジェクチャーの結果

定理 2.2： もし例外集合 $E_p$ が非空であれば、任意の $x \in E_p$ に対して、軌道閉包 $F_p(x)$ はゲージ $h_1(r) = 1/\log(1/r)$ に関して正の対数ハウスドルフ測度を持つ。

• 系 2.3： したがって、$E_p$ が非空であれば、それは連続体の濃度を持つ。
• 系 2.4： $E_p$ の対数ハウスドルフ次元は少なくとも 1 である（$\dim_{\log} E_p \ge 1$）。

著者らは、これはアインスィドラーらによるハウスドルフ次元ゼロの結果と矛盾しないことを指摘している。なぜなら、ある集合は次元がゼロであっても、対数ゲージに関しては正の測度を持ち得るからである。

3.2 $t$ 進リトロー・コンジェクチャーの結果

定理 3.1： 任意の素数冪 $q$ に対して、もし例外集合 $E_q^{(t)}$ が非空であれば、以下のことが成立する：

1. 任意の反例の軌道閉包は、正の $h_1$ 測度を持つ。
2. 例外集合 $E_q^{(t)}$ 全体は、無限の $h_1$ 測度を持つ。
3. $E_q^{(t)}$ は連続体の濃度を持ち、対数次元は少なくとも 1 である。

定理 3.2（奇数 $q$ に対するより強い結果）： 奇数標数の場合のライとスプランクの構成を用いることで、著者らは著しく強力な結果を証明している。$A_q = \frac{q-1}{2} \log_2(q-1)$ とする。

• $0 < H_{h_{A_q}}(C_q) < \infty$ を満たす部分集合 $C_q \subset E_q^{(t)}$ が存在する。ここで $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. 意義と主張

本論文は、既存の「次元」に関する結果を補完するものとして、リトロー・コンジェクチャーに「計量的」な観点からアプローチしていると主張している。

• 反例の「小ささ」の精緻化： 従来の作業は、もし反例が存在するならば、それらはハウスドルフ次元ゼロの集合を形成することを示したが、本論文は、そのような集合が「あまりに小さすぎる」ことはないことを示している。具体的には、それらは可算集合ではなく、対数ゲージの下で正の（あるいは無限の）測度を持たなければならない。
• 濃度： これらの結果は、非空な例外集合は必ず連続体の濃度を持つことを決定的に確立している。
• 証明への潜在的な経路： 著者らは、コンジェクチャー自体を証明するための潜在的な戦略を示唆している。もし、特定のゲージ $h$ に関して（上限的手法を用いて）例外集合がゼロの測度を持つことを証明でき、同時に、非空性が同じゲージ $h$ に関して正の（あるいは無限の）測度を持つことを（下限的手法を用いて）同時に証明できれば、その集合は空集合であると強制されることになる。本論文は、対数ゲージに関する必要な下限のメカニズムを提供している。
• 最適性： 著者らは、自らの結果をあくまで下限を示すものとして控えめに位置づけている。そして、これらの境界（例えば、ゲージにおける指数 $A$ を大きくすることなど）を強化できるか、あるいは古典的なリトロー・コンジェクチャーについても同様の結果が成り立つかという問いを投げかけている。

要約すると、本論文は、$p$ 進および $t$ 進リトロー・コンジェクチャーの例外集合が、もし存在するならば、対数ハウスドルフ測度の意味において計量的に実質的なものであり、連続体の濃度と特定の対数次元の下限を持つことを確立している。