The Dirichlet spectrum with respect to $L_1$ norm is $\left[\frac12,1\right]$

技術的要約：$L^1$ ノルムに関するディリクレ・スペクトラム

問題設定
本論文は、$\mathbb{R}^2$ 上のノルム $F$ に随伴するディリクレ・スペクトラム $D[F]$ を調査している。無理数 $\alpha$ に対して、ディリクレ定数 $d_F(\alpha)$ は、単位球に関して格子 $\Lambda_\alpha(t) = \text{diag}(t^{-1}, t) \begin{pmatrix} 1 & 0 \\ -\alpha & 1 \end{pmatrix} \mathbb{Z}^2$ の第1次逐次最小値として定義される。正規化されたディリクレ定数は、$\delta_F(\alpha) = \Delta_F \cdot (d_F(\alpha))^2$ で与えられる（ここで $\Delta_F$ は単位球の臨界決定係数である）。ディリクレ・スペクトラム $D[F]$ は、すべての $\alpha \in \mathbb{R} \setminus \mathbb{Q}$ に対するこのような値 $\delta_F(\alpha)$ の集合である。

古典的なディリクレ・スペクトラム（$L^\infty$ ノルムに関連するもの）の構造は、離散的な点と連続的な「ホール・レイ（Hall's ray）」の両方を含む複雑なものであることが知られているが、他のノルムに関する構造については未解明な部分が多い。本論文は、特に $F^{[1]}(x, y) = |x| + |y|$ で定義される $L^1$ ノルムに焦点を当てている。中心となる問題は、正確な集合 $D[1] = \{ \delta_{F^{[1]}}(\alpha) : \alpha \in \mathbb{R} \setminus \mathbb{Q} \}$ を決定することである。

手法
著者は、ディオファントス近似、連分数、およびフラクタル幾何学を結びつける多段階の戦略を用いている。

1. ミンコフスキー・スペクトラムへの接続： 本論文は、$L^1$ ディリクレ・スペクトラムと、ミンコフスキー対角連分数（DCF）に関連するミンコフスキー・スペクトラム $M$ との間の直接的な関連性を確立している。$\delta_{F^{[1]}}(\alpha) = 2m(\alpha)$ であることが示されている。ここで $m(\alpha)$ は、集合 $\{(q, \|q\alpha\|)\}$ の下凸包の線形補間 $\mu_\alpha(t)$ を用いた $\limsup_{t \to \infty} t \mu_\alpha(t)$ によって定義されるミンコフスキー定数である。したがって、$D[1] = 2M$ となる。これにより、問題はミンコフスキー・スペクトラム $M$ の特徴付けへと還元される。

2. 関数による表現： モシチェヴィチン（Moshchevitin）の結果を利用して、$m(\alpha)$ は $\alpha$ の正則連分数展開の末尾に依存する2つの関数 $G(x,y)$ および $F(x,y)$ から導かれる値の $\limsup$ として表現される。関数 $F$ はルジャンドルの不等式を満たす連続する近似分数に対応し、$G$ は「スキップされた」近似分数に対応する。解析を容易にするため、著者は $F$ を正の実数上で定義された関数 $K(u,v)$ へと変換する変数変換を導入し、これにより境界の推定が簡略化される。

3. 和分解アルゴリズム： 最近発見されたアルゴリズム（[27] および [4] より）は、任意の無理数 $s \in (0,1)$ を、部分商が無限大に発散する2つの連分数 $\beta$ と $\gamma$ の和 $s = \beta + \gamma$ へと分解するものである。この分解により、特定の性質を持つ数の明示的な構成が可能となる。

4. $\alpha$ の明示的な構成： 特定の値 $m \in (1/4, 1/2)$ がスペクトラムに含まれることを証明するために、著者はターゲットとなる $s = 4m-1$ の分解に基づき、ブロックを連結することによって無理数 $\alpha$ を構成する。その構成手順は以下の通りである：

   • $\beta$ と $\gamma$ の部分商に基づくブロック $W_N = (b_N, \dots, b_1, 1, c_1, \dots, c_N)$ を作成する。
   • 中央の数字 '1' の挙動を孤立させるために、これらのブロックを大きな「セパレーター（分離子）」となる部分商 $d_j$ を用いて挿入する。
   • 得られた連分数に対して解析を行い、ミンコフスキー定数の $\limsup$ が、中央の「スキップされた」項（数字 1 に関連するもの）によって正確に決定され、他のすべてのカットでは厳密に小さな値になることを示す。

5. ハウスドルフ次元の解析： レベル集合 $\Theta_m = \{ \alpha : m(\alpha) = m \}$ に対して、著者は制限された部分商を持つ数の集合を埋め込むために、構成されたブロックを用いる。歪み（distortion）の議論と連分数柱（continued fraction cylinders）の性質を適用することで、これらの集合のハウスドルフ次元を推定する。

主要な結果

• 定理 1.1（主結果）： $L^1$ ノルムに対するディリクレ・スペクトラムは、以下の閉区間である：
  $$D[1] = \left[ \frac{1}{2}, 1 \right].$$
  これは、ミンコフスキー・スペクトラムが $M = [1/4, 1/2]$ であることと同値である。この結果は、$L^1$ ノルムにおいて、スペクトラムが対称ノルムとして理論的に可能な全範囲を占めていることを裏付けている（一般に $1/2 \le \delta_F(\alpha) \le 1$ であるため）。

• 定理 1.3（レベル集合の次元）： $m \in (1/4, 1/2)$ に対して、レベル集合 $\Theta_m$ は $1/2$ より大きいハウスドルフ次元を持つ。具体的には、$s = 4m-1$ かつ $A$ が十分に大きいとき、$\dim_H \Theta_m \ge \delta_A$ となる（ここで $\delta_A$ は部分商が $\ge A$ である数の集合の次元である）。

• 定理 7.3： $m \in (1/4, 1/2)$ に対して、$\dim_H \Theta_m < 1$ である。これは、これらのレベル集合が、ジェネリックなケース（$m=1/2$）がフル・ルベーグ測度を持つこととは異なることを示している。

• 定理 7.6： 端点のレベル集合の次元は、正確に $\dim_H \Theta_{1/4} = 1/2$ である。

• 系 7.7： $m$ が $1/4$ に上から近づくときの次元の極限は $1/2$ である。

意義と主張
本論文は、一次元のディオファントス・スペクトラムの構造を完全に記述した最初の例であると主張している。多次元のディリクレ・スペクトラムは近年、区間であることが示されているが、一次元の場合は通常より複雑である。$D[1]$ が閉区間であることを証明することにより、本研究は $L^1$ ノルムに関する構造を解決した。

さらに、本論文は、ミンコフスキー定数のレベル集合が（スペクトルの内部点において）フラクタル的な意味で「大きい」（次元 $> 1/2$）一方で、端点は異なる次元的特性を持つことを示している。その手法は、連分数連結による数の明示的な構成に依拠しており、ミンコフスキー定数の代数的性質と、それに関連する集合の幾何学的性質との間の溝を埋めるものである。

著者は、この結果が $L^1$ ノルムおよびミンコフスキー対角連フレの特定の性質に依存しており、さらなる調査なしに任意のノルムに対してこれらの構造的結果を一般化することを主張するものではないと述べている。本研究は、ミンコフスキー・スペクトラムに関するモシチェヴィチンによる問題への回答として提示されている。