[論文レビュー] Survey article: Seventy years of Salem numbers

Chris Smyth|arXiv (Cornell University)|Aug 1, 2014

Mathematical Dynamics and Fractals参考文献 102被引用数 14

ひとこと要約

本調査は、過去70年にわたりサリュム数の包括的な概説を提供し、基礎理論、構造的性質、力学系、ディオファントス近似、バーナウリ畳み込みにおける現代的応用を統合する。サリュム数は1より大きい代数的整数であり、その共役は逆数のペアを除き単位円上に位置し、最小多項式が自己双対的（回文係数）であると定義され、べき乗に関して閉じており、数体、擬アノソフ写像、バーナウリ畳み込みにおけるフーリエ減衰と深い関係を有する。

ABSTRACT

I survey results about, and recent applications of, Salem numbers.

研究の動機と目的

• 過去70年間にわたりサリュム数論における理論的および応用的発展を統合・拡張すること。
• サリュム数の構造的性質（最小多項式、共役の分布、べき乗に関する閉包性など）を明確化すること。
• 力学系、幾何学、調和解析などの広範な数学的分野とサリュム数を結びつけること。
• 特にバーナウリ畳み込みとスペクトル減衰の文脈における未解決問題と最近の進展を強調すること。
• 既存の教科書を補完し、トポロジーおよび解析における最近の応用に焦点を当てた統合的参考文献を提供すること。

提案手法

• サリュムの紀行[101]とクロネッカーの定理の古典的結果を用い、単位円上の共役分布によってサリュム数を定義・特徴付ける。
• ガロア理論および体拡大の議論を用いて、サリュム数が完全実体をもつ体の二次拡大を生成することを示す。
• 自己双対的多項式（回文係数）を、サリュム数の構成および同定における主要な構造的道具として用いる。
• バーナウリ畳み込み測度のフーリエ変換を分析し、ピゾ数およびサリュム数と関連付けて減衰性質を研究する。
• バフエトフ、ソロマック、ペレス–シュラーク–ソロマックの $ L^2 $-可積分性および $ \ell^p $-減衰に関する結果を用いる。
• コクセター系や曲面自己同型からの位相的・幾何的制約を適用し、サリュム数によって拡大率を評価する。

実験結果

リサーチクエスチョン

• RQ1 1より大きい実代数的整数がサリュム数であるための必要十分条件は何か？
• RQ2 特に完全実部分体および二次拡大の観点から、サリュム数が数体の構造にどのように関与するか？
• RQ3 擬アノソフ写像の力学的性質においてサリュム数は果たす役割は何か？また、拡大率の増大をどのように制限するか？
• RQ4 逆パラメータ $ 1/\lambda $ がサリュム数であるとき、バーナウリ畳み込み測度のフーリエ変換はどのように振る舞うか？
• RQ5 サリュムパラメータにおけるバーナウリ畳み込みのフーリエ減衰が、ピゾ数の場合に知られているように $ \log \xi $ の負のべき乗で有界化可能か？

主な発見

• サリュム数は、1より大きい実代数的整数であり、共役が $ \tau $ と $ \tau^{-1} $ を除きすべて単位円上にあり、最小多項式が自己双対的（回文係数）であると定義される。
• サリュム数の集合は、べき乗に関して閉じている：$ \tau $ がサリュム数であれば、すべての $ n \in \mathbb{N} $ に対して $ \tau^n $ もサリュム数である。
• 数体 $ K $ がサリュム数 $ \tau $ を含むための必要十分条件は、$ \mathbb{Q}(\alpha) $ が指数2の完全実部分体であり、$ \alpha = \tau + \tau^{-1} > 2 $ であり、$ \alpha $ の他のすべての共役が $ (-2,2) $ 内にあることである。
• 任意のサリュム数を含む数体 $ K $ に対して、$ K $ 内のすべてのサリュム数は、ある基本的サリュム数 $ \tau_1 $ のべき乗に限り、一致する。
• 擬アノソフ曲面自己同型の文脈において、最小拡大率は最小のサリュム数 $ \tau_{10} $ によって下から抑えられ、これは genus 5 でのみ等号が成立する。
• もし $ 1/\lambda $ がサリュム数であれば、フーリエ変換 $ \hat{\nu}_\lambda(\xi) $ はすべての $ \varepsilon > 0 $ に対して $ \limsup_{\xi \to \infty} |\hat{\nu}_\lambda(\xi)| \, |\xi|^\varepsilon = \infty $ を満たし、これは減衰が遅いことを示している。