Lower bounds for the Hausdorff dimension of expressible sets

技術的サマリー：表現可能集合のハウスドルフ次元の下限

問題の定義
本論文は、「表現可能集合」のハウスドルフ次元を調査する。表現可能集合とは、次の形式の級数で構成される実数の集合として定義される：
$$x = \sum_{n=1}^{\infty} \frac{1}{d_n a_n}$$
ここで、$(a_n)_{n=1}^{\infty}$ は実数の列（「底」）であり、$(d_n)_{n=1}^{\infty}$ は特定の集合 $D_n$ から選択された自然数の列（「桁」）である。

中心的な問題は、このような和に関する既知の無理数性および超越性の結果と、それらが生成する集合の測度論的性質との間の隔たりを扱うものである。Erdős（1975 年）および Hančl による先行研究は、これらの和が無理数またはリウヴィル数となるための条件を確立した。具体的には、数列 $a_n$ が十分に速く成長する場合（例えば $\limsup a_n^{1/2^n} = \infty$）、得られる数は無理数となる。さらに成長が速ければ、それらはリウヴィル数（ハウスドルフ次元がゼロの集合）となる。しかし、成長条件が中間的な場合、または桁 $d_n$ に制限が課された場合に何が起きるかは不明であった。著者らは、これらの集合のハウスドルフ次元に対する正の下限を確立することを目的としており、これにより特定の成長条件の下で、これらの集合が非リウヴィル数（および潜在的に非超越数）を含むことを証明する。

手法
著者らは幾何学的な構成アプローチを採用し、表現可能集合を一般化されたカンター集合としてモデル化している。その戦略は以下の通りである：

1. カンター集合の構成：級数を数値体系として捉え、$a_n$ を底、$d_n$ を桁として扱う。集合 $K(A, (D_n))$ は、区間を反復的に分割することによって構成される。
2. ギャップの分析：一般化されたカンター集合のハウスドルフ次元に関する既知の下限定理（Falconer に基づく定理 1）を適用するために、著者らは各レベル $n$ において部分区間の間に「ギャップ」が存在することを保証しなければならない。これには、隣接する部分和の差が、級数の最大可能な尾部和よりも厳密に大きいことを証明する必要がある。
3. 定量的見積もり：著者らは、各レベルにおけるギャップの大きさ（$\varepsilon_n$）に対する明示的な下限と、部分区間の数（$m_n$）に対する上限を導き出す。これらの見積もりを次元の公式に代入する：
   $$\dim_H(C) \ge \limsup_{n \to \infty} \frac{\log(m_1 \cdots m_n)}{-\log(m_{n+1} \varepsilon_{n+1})}$$
4. 成長の分類：分析は、数列 $a_n$ の成長率に基づいて 3 つの場合に分類される：
   • 幾何学的成長（$a_n = b^n$）。
   • 二重指数関数的成長（$a_n \approx 2^{N^n}$）。
   • より緩やかな二重指数関数的成長（$a_n \approx N^{2^n}$）。

主要な貢献と結果

• 定理 2（幾何学的成長）：$b > 4$ であり、桁が有限集合 $D_n = \{1, \dots, K\}$ に制限され、かつ $K^2 < b$ となるような数列 $a_n = b^n$ に対して、著者らは以下を証明する：
  $$\dim_H(K) \ge \frac{\log(K)}{\log(b)}$$
  この結果は、底 $b$ が桁集合のサイズに対して十分に大きければ、桁を制限することで次元が完全（区間）から正の値に減少しうることを示している。

• 定理 3（二重指数関数的成長）：$a_n = 2^{N^n f(n)}$ として成長し、桁集合 $D_n$ に関する特定の制約を満たす数列に対して、著者らは以下の下限を確立する：
  $$\dim_H(K) \ge \frac{s}{(N-1)(N-s)}$$
  ここで、$s$ と $N$ は底と桁集合の成長率に関連するパラメータである。

• 定理 4（より緩やかな二重指数関数的成長）：$a_n = N^{2^n f(n)}$ として成長する数列に対して、以下の下限が導かれる：
  $$\dim_H(K) \ge \frac{s}{2-s}$$
  注目すべきは、この下限は底のパラメータ $N$ に依存しないことである。これは、$N$ が増加するにつれて下限が減少する定理 3 と対照的である。

• 系 5（Erdős の基準の鋭さ）：著者らはこれらの結果を整数列に適用する。ある $t \in \mathbb{N}$ に対して $\limsup_{n \to \infty} a_n^{1/t^n} < \infty$ である場合、表現可能集合 $K(A)$ は $U^*$ 数（リウヴィル数を含むクラス）でない数を含むことを示す。$U^*$ 数の集合のハウスドルフ次元がゼロであるため、これは集合 $K(A)$ がリウヴィル数でない数を含むことを意味する。これにより、リウヴィル数を生成するための Erdős の条件が鋭いことが確認される。成長条件を緩和すると、非リウヴィル数を含む正の次元を持つ集合が得られる。

意義と主張
本論文は、制限された桁を持つ表現可能集合のハウスドルフ次元に対する最初の正の下限を提供すると主張している。主な意義は、急速に成長する数列に対して「リウヴィル」性が普遍的ではないことを示す点にあり、むしろそれは特定の成長率と桁集合のサイズに決定的に依存する点にある。

著者らは明示的に、彼らの結果が Erdős の 1976 年の構成が、以前考えられていたよりも弱い成長条件の下で非リウヴィル数を生成することを示していると述べている。彼らは、これらの下限が正である一方で、これら特定の集合に対する上限がまだ計算されていないため、最適ではないと疑っていると指摘している。論文は、定理 2 における制約 $K^2 < b$ の除去と、これらの集合に対する上限の計算を未解決問題として特定することで結論付けている。この研究は新たな応用を提案するものではなく、特定の級数展開によって定義される数の測度論的性質に関する理論的理解を精緻化するものである。