Positive dyadic density for rational weighted binary expansions

技術的要約：有理重み付き二進展開における正のダイアディック密度

問題設定
本論文は、無限集合 $S \subseteq \mathbb{N}$ に対して $\eta_S = \sum_{n \in S} n 2^{-n}$ と表される重み付き二進級数の無理数性を取り扱う。具体的には、数列 $a_n$ が成長条件 $a_n/n \to \infty$ を満たす場合に、級数 $\sum_{n \ge 1} a_n 2^{-a_n}$ は必ず無理数になるかという「エルデシュ問題260」を調査している。

これまでの研究では、より強い仮定（例えば $a_{n+1} - a_n \to \infty$ であるエルデシュの結果や、$\limsup (a_{n+1}-a_n)/\log a_{n+1} = \infty$ であるボアウェインとローリングの結果）の下で無理数性が確立されていた。しかし、$a_n/n \to \infty$ という条件は、大域的な疎性（$\# \{n : a_n \le X\} = o(X)$）のみを保証するものである。これは、局所的に極めて不規則な隙間のパターン（短い隙間のクラスターを含む）を許容してしまうため、従来の標準的な漸化式による判定法では排除できなかった。核心となる困難さは、大域的に疎な数列であっても、標準的な漸化式の基準を回避するような複雑な短間隔のパターンを含み得る点にある。

手法および証明戦略
本論文は、より強力な局所的結果を証明する。すなわち、もし $\eta_S$ が有理数ならば、$S$ はあらゆる十分に大きなダイアディック・ブロック $(X, 2X]$ において正の割合を占めなければならない（正のダイアディック密度）。

証明は背理法による。$\eta_S = P/Q \in \mathbb{Q}$ であり、かつあるダイアディック・ブロックが疎である（すなわち、$S$ が $(X, 2X]$ 内で低い密度を持つ）と仮定する。この議論は、有理数の「テイル（末尾）」の算術的性質と、隙間のパターンの組合せ論的な計数を組み合わせるものである。

1. 整数のキャリー（繰り上がり）漸化式： 有理性は、級数の「テイル」が線形なサイズ境界 $0 \le R_N \le Q(N+2)$ を満たす非負整数キャリー $R_N$ によって、漸化式 $R_{N+1} = 2R_N - Q(N+1)d_{N+1}$ を満たすことを意味する。
2. 疎なブロックの下限： もしダイアディック・ブロックが疎であれば、支持点の間の隙間は大きくなる。著者らは、「ウィンドウ・スレッショルド・ペア」$(k, T)$ を定義する。ここで $k$ は連続する隙間のウィンドウを固定し、$T$ は閾値である。また、ウィンドウの幅が $T$ をどれだけ超過しているかを表す「積分超過量（integrated excess）」$y(k, T)$ を定義する。疎なブロックは、多くのウィンドウが大きな超過量を持つことを強制し、総積分超過量の下限を確立する。
3. 組合せ論的な上限： 著者らは、大きな超過量を持つウィンドウの構造を分析する。
   • 接頭辞の選択： 各大きな超過量を持つウィンドウに対して、一意な「初期の長い接頭辞（initial long prefix）」の隙間を孤立させる。
   • 格子共線性： キャリー漸化式を用いることで、頻出する接頭辞パターンの出現が、$(x, R_x)$ 平面上のアフィン直線上に整列しなければならないこと（格子の共線性）を示す。
   • 傾きの力学： これらの直線に沿った正規化された傾き $\mu = K/(QH)$ の進化は、写像 $\mu \mapsto 2^g \mu - 1$ によって支配される。著者らは分析を以下の2つの領域に分割する。
     • 内部傾き ($0 < \mu < 1$)： 傾きは有界に保たれる。著者らは、傾きの既約分母が最終的に特定の奇数 $q$ に安定することを示す。彼らは隙間の数列を「対数的ブロック」に分割し、エントロピー境界とファレー（Farey）分離を用いて、そのような出現回数が少ないことを示す。
     • 外部傾き ($\mu \notin [0, 1]$)： 傾きが $[0, 1]$ を外れると、共有される隙みの単語の幅に対して、その区間からの距離は指数関数的に増大する。この指数関数的な分離により、アフィン直線上の有効な整数パラメータの数は厳しく制限される。
4. 矛盾： 組合せ論的分析により、疎なブロック仮定から導かれる下限よりも漸近的に小さい、総積分超過量の上限が得られる。この矛盾により、$\eta_S$ が有理数であるならば、疎なダイアディック・ブロックは存在し得ないことが証明される。

主要な貢献および結果

• 定理 1.1 (正のダイアディック密度)： $S$ が無限集合であり、$\eta_S = P/Q \in \mathbb{Q}$ （既約分数）であるとき、十分に大きなダイアディック・スケール $X = 2^L$ に対して、定数 $c_{dens}(Q) > 0$ が存在して以下を満たす：
  $$A_S(2X) - A_S(X) \ge c_{dens}(Q) X$$
  ここで $A_S(X)$ は $S$ の計数関数である。これは、有理性が単なる部分列上だけでなく、あらゆる大きなダイアディック・ブロックにおいて一様な正の密度を強制することを確立している。

• 系 1.2 (エルデシュ問題260の解決)： $a_1 < a_2 < \dots$ が $a_n/n \to \infty$ を満たすならば、$\sum_{n \ge 1} a_n 2^{-a_n}$ は無理数である。

  • 理由： $a_n/n \to \infty$ という条件は $A_S(X) = o(X)$ を意味し、これは有理性に要求される正の密度の下限と矛盾する。

• 手法的な革新： 本論文は、特別な「例外的な」大きな隙間を必要とせずに、任意の短間隔と長間隔の混合を扱うための、「重なり合う隙間ウィンドウ（overlapping gap windows）」と「積分超過量」を用いた手法を導入している。これは、キャリーの線形境界と格子点のアフィン幾何学の相互作用を利用して、隙間パターンの出現を計数するものである。

意義および主張
本論文は、局所的な密度による障害を特定することで、エルデシュ問題260を解決したと主張している。この結果は、大きな隙間の部分列の存在に依存しない点で、従来の無理数判定基準よりも強力である。なぜなら、有理性がダイアディック・ブロック内でのいかなる局所的な疎性とも両立しないことを示しているからである。

著者らは、彼らの手法が、重み付き二進級数の特定の算術構造（分母の2のべき乗と分子の線形重み）に特化していることを明記している。彼らは、他の基数や他の重み列に対する一般的な解、あるいは $c_{dens}(Q)$ の存在を超えたより鋭い定量的密度則を提供することを目的としていない。証明は、深い超越数論を用いるのではなく、キャリーの漸化式に対する構造的な制約を利用した、初等的ではあるが複雑な算術および組合せ論的推定に基づいている。