[論文レビュー] Heat kernel-zeta function relationship coming from the classical moment problem

Miguel Tierz, E. Elizalde|ArXiv.org|Dec 20, 2001

Spectral Theory in Mathematical Physics参考文献 6被引用数 3

ひとこと要約

本稿は、古典的モーメント問題を用いて、熱核とスペクトルゼータ関数の新しい関係を確立し、一般条件下で離散的ゼータ関数値が状態密度と分配関数のモーメントを完全に決定することを示している。主な結果は、ゼータ関数の特異性が熱核の構造を規定することであり、標準的な漸近展開を超えて、ゼータ関数のデータから熱核を完全に再構成できることを示している。

ABSTRACT

By using ideas and strong results borrowed from the classical moment problem, we show how -under very general conditions- a discrete number of values of the spectral zeta function (associated generically with a non-decreasing sequence of numbers, and not necessarily with an operator) yields all the moments corresponding to the density of states, as well as those of the partition function of the sequence (the two basic quantities that are always considered in a quantum mechanical context). This goes beyond the well known expression of the small-t asymptotic expansion of the heat kernel of an operator in terms of zeta function values. The precise result for a given situation depends dramatically on the singularity structure of the zeta function. The different specific situations that can appear are discussed in detail, using seminal results from the zeta function literature. Attention is paid to formulations involving zeta functions with a non-standard pole structure (as those arising in noncommutative theories and others). Finally, some misuses of the classical moment problem are pointed out.

研究の動機と目的

• 標準的な漸近展開を超えて、熱核とスペクトルゼータ関数の間の厳密な関係を確立すること。
• 微分作用素でない場合でさえも、離散的ゼータ関数値が状態密度と分配関数のすべてのモーメントを符号化することを示すこと。
• ゼータ関数の特異性構造が熱核の再構成にどのように影響するかを分析すること。
• 量子力学的および非可換な文脈において、モーメント問題が決定的または不決定的である条件を明確にすること。
• 理論物理学におけるモーメント問題の誤用、特に再結合と一意性に関する誤解を是正すること。

提案手法

• Mellin変換を用いて、熱核 K(t) とゼータ関数 ζ(s) を関係づけ、ζ(s) = 1/Γ(s) ∫₀^∞ t^{s-1}K(t)dt とする。
• 古典的HamburgerおよびStieltjesのモーメント問題の結果を応用し、離散的ゼータ関数値から K(t) を再構成する。
• Carlemanの基準および階乗成長の上限（例：|Eₙ| ≤ CRⁿn! または CRⁿ(2n)!) を用いて、モーメント問題の決定性を判定する。
• ゼータ関数の極と留数が、特に非可換理論などの非標準的状況において、熱核の再構成に果たす役割を分析する。
• 対数項および極の寄与を扱うために、コーシーの積分路と主値正則化を用いる。
• 標準的と非標準的な極構造（例：擬微分作用素から生じるもの）を有するゼータ関数の挙動を比較する。

実験結果

リサーチクエスチョン

• RQ1 微分作用素の可微分性とは無関係に、正の整数におけるゼータ関数の離散的値から、熱核全体を再構成できるか？
• RQ2 ゼータ関数の特異性構造は、状態密度および分配関数のモーメント構造にどのように影響するか？
• RQ3 ゼータ関数に関連するモーメント問題が決定的または不決定的である条件は何か？ その影響は物理的解釈にどう現れるか？
• RQ4 モーメントの階乗成長に関する標準的仮定が一意性を示唆するが、その程度は何か？ また、反例は存在するか？
• RQ5 古典的モーメント問題の枠組みは、量子場理論における発散級数の再結合における曖昧さをどのように解消するか？

主な発見

• ゼータ関数の正の整数における離散的値が、モーメント問題が決定的である限り、分配関数および状態密度のすべてのモーメントを一意に決定する。
• Hamburgerのモーメント問題は、モーメントが CRⁿn! より速く成長しない場合に決定的であり、Stieltjes問題は CRⁿ(2n)! より速く成長しない場合に決定的である。
• ゼータ関数の特異性、特に極と対数項は、熱核の漸近的およびグローバル構造を直接制御する。
• 本手法は微分作用素に限らず、非可換幾何学からの一般の数列に対しても、ゼータ関数の解析的構造に依存するだけで適用可能である。
• Carlemanの基準により、∑γ₂ₙ⁻¹ᐟ²ₙ = ∞ ならば、Hamburger問題において一意性が保証される十分条件が得られる。
• 本稿は、物理学におけるモーメント問題の誤用を是正し、特に急速な成長が不決定性を意味すると誤って信じられている事例において、それでも決定的である可能性を示している。