Metric results for dyadic approximation on the middle-third Cantor set

技術要約：中3分の1カントール集合における二進近似の計量結果

問題設定
本論文は、フラクタルの上でのディオファントス近似の問題、特に中3分の1カントール集合 $C$ に焦点を当てて扱う。研究対象となるのは、集合 $W_2(\tau)$ である。これは、$n \in \mathbb{N}$ に対して $\|2^n x\| < n^{-\tau}$ を満たす点 $x \in [0, 1]$ の集まりである（ここで $\|\cdot\|$ は最も近い整数への距離を表す）。著者らは、この集合の測度を、カントール・ルベーグ測度 $\mu$（$\gamma = \log 2 / \log 3$ である $\gamma$ 次ハウスドルフ測度の $C$ への制限）に関して調査している。

本研究の中心となるのは、ヴェラーニ（Velani）に帰せられる予想であり、それは $\mu(W_2(\tau))$ に関するゼロ一則を提示している。すなわち、$\tau > 1$ ならば測度は 0 であり、$0 < \tau \le 1$ ならば 1 であるべきであるというものである。この予想は、その完全な一般性においては未解決のままであるが、先行研究では部分的な結果が確立されている。具体的には、Allen, Baker, Chow, および Yu [1] は、$\tau > \approx 1.552$ の場合の零集合ケースを証明した。また、Baker [3] は、$0 < \tau \le 0.01$ の場合の全測度ケースを証明した。この問題の困難さは、数 $C$ に含まれる数の 2 進展開と 3 進展開の両方が構造化されているわけではないという点に由来する。これは、Furstenberg の $\times 2, \times 3$ 予想に関連する原理である。しかし、この独立性に関する現在の定量的理解は限られている。

手法
著者らは、[1] および [3] で開発された手法に基づき、フーリエ解析的アプローチを採用している。この分野における主要な障害は、カントール・ルベーグ測度 $\mu$ が大域的なフーリエ減衰を欠いていること（すなわち、$|\xi| \to \infty$ のとき $|\hat{\mu}(\xi)|$ が 0 に収束しないこと）である。先行研究は、すべての $n$ に対して（あるいは非常に小さな集合を除いて）$|\hat{\mu}(h2^n)|$ が多項式的に減衰することを確立した Baker の補題 [3] に依拠していた。

本論文における主要な手法上の革新は、数列 $h2^n$ に沿った $\mu$ のフーリエ係数の部分和に関する精密な評価を確立することである。具体的には、著者らは $\sum |\hat{\mu}(h2^n)|$ および $\sum |\hat{\mu}(h2^n)|^2$ の和に関する一様評価を証明している。これらの評価は、3 進冪に対する 2 の冪乗の剰余の分布、特に 3 進付値を利用した数論的性質を用いて導出されている。

核となる技術的ツールは以下の通りである：

1. 新しいフーリエ評価： $\sum_{n=1}^N |\hat{\mu}(h2^n)|^2 \ll N^{1-\gamma}$ および $\sum_{n=1}^N |\hat{\mu}(h2^n)| \ll N^{(1-\gamma)/2}$ が、$h \in \mathbb{Z} \setminus \{0\}$ において一様に成り立つことを証明すること。
2. 平滑化と積分評価： ジャクソンの不等式を利用して、縮小するターゲットの指示関数の滑らかな近似を構成する。これらを新しいフーリエ評価と組み合わせることで、計数関数の一次および二次モーメントに関する境界を導出する。
3. ボレル・カンテリの議論： モーメントの境界を適用し、ボレル・カンテリの補題を通じてゼロ一則を確立する。

主要な貢献と結果
本論文は、ヴェラーニの予想における収束および発散の部分に対して改善された境界を提供している：

1. 零の部分（収束）： 著者らは、$\tau > \frac{1}{\gamma} - \frac{1-\gamma}{3-\gamma} \approx 1.429$ のとき $\mu(W_2(\tau)) = 0$ であることを証明した。これは、Allen, Baker, Chow, および Yu [1] による従来の最良の結果である $\tau > \approx 1.552$ を改善している。
2. 全測度の部分（発散）： 著者らは、$0 < \tau < \frac{\gamma}{12} \approx 0.052$ のとき $\mu(W_2(\tau)) = 1$ であることを証明した。これは、Baker [3] による従来の最良の結果である $\tau \le 0.01$ を改善している。
3. 一般的な計数結果： 全測度の部分について、著者らはより強力な計数結果（定理 1.4）を確立している。任意の数列 $(x_n) \in [0, 1]$ および $0 < \tau < \gamma/12$ に対して、$\mu$-ほとんどすべての $x \in C$ について次が成立する：
   $$\lim_{N \to \infty} \frac{\#\{1 \le n \le N : \|2^n x - x_n\| < n^{-\tau}\}}{2 \sum_{n=1}^N n^{-\tau}} = 1.$$
   これは、Baker の結果を非同次な設定および任意の数列へと一般化したものである。
4. 欠損数字集合への拡張： 本手法は、欠損数字集合 $K_{b,D}$（$b$ は素数、$D$ は数字集合）上の自己相似測度に対するより広いクラスへと拡張される。定理 1.7 は、確率ベクトルと基数に依存する閾値 $\kappa$ を持つ同様の計数結果を提供している。

意義と主張
本論文の主要な貢献は、[1] および [3] のメカニズムで使用されるフーリエ入力の洗練にあると著者らは主張している。数列 $h2^n$ に沿ったフーリエ係数の部分和（具体的には $L^1$ および $L^2$ 境界）に関するより鋭い評価を確立することで、著者らはヴェラーニの予想の既知の閾値を、予想される値である $\tau = 1$ に近づけることができた。

著者らは、彼らのアプローチが中3分の1カントール集合という特定のケースを超えて、自己相似測量へのロバスト性を示すように、欠損数字集合上の自己相似測度へと一般化可能であることを明示している。彼らは、これらの結果が重要な進展を意味する一方で、予想である $0.052 \le \tau \le 1.429$ の範囲については依然として未解決であることを認めている。本研究は、新しい応用や実験的枠組みを提案するものではなく、あくまでフラクタル上の計量的ディオファントス近似の理論的理解を進展させることに焦点を当てている。