[論文レビュー] Relations between the Ehrhart polynomial, the heat kernel and Sylvester waves

J. S. Dowker|arXiv (Cornell University)|Aug 8, 2011

Nonlinear Waves and Solitons被引用数 3

ひとこと要約

本稿は、有理的多面体のEhrhart多項式、熱核トレース、Sylvester波の間の深い関係を確立している。Ehrhart多項式の係数が、熱核の漸近展開を通じてスペクトル不変量として現れることが示された。主な貢献は、解析的数論とトレース公式を用いたスペクトル幾何学的解釈を通じて、Ehrhart理論を再解釈することにある。

ABSTRACT

I show for the specific case of the scalar field spectrum on regular tessellations of the sphere that the first two terms of the heat--kernel expansion are related to the first two terms of the Ehrhart (quasi)polynomial. In trying to make this relation precise, I consider degeneracies as partition denumerants and show the connection of the group theory expressions with Popoviciu's theorem and with the notion of Sylvester waves. General denumerants are considered and the first wave, i.e. the polynomial part, is written using the A-genus multiplicative sequence. It is pointed out that Sylvester in effect did the same thing and that he had also obtained Ehrhart reciprocity. I derive an algebraically neat form for the second wave which involves the combination of two multiplicative sequences.

研究の動機と目的

• Ehrhart多項式の係数のスペクトル幾何学的起源を熱核を用いて解明すること。
• 有理的多面体における格子点数え上げをラプラシアンのスペクトル不変量と関連付けること。
• Sylvester波を熱核展開からのスペクトル寄与として解釈すること。
• トレース公式を介して、組合せ幾何学（Ehrhart理論）とスペクトル解析を統合すること。
• 有理的三角形における固有値数え上げが格子点数え上げに対応し、共通の漸近的構造を明らかにすること。

提案手法

• 有理的多面体における固有値数え上げの生成関数としての熱核トレースの使用。
• 格子点数え上げとスペクトルトレースを結びつけるために、ポストン和公式の適用。
• 有理的三角形（2次元多面体）における固有値および固有関数を用いた熱核の展開。
• スペクトルデータからの係数を介して、熱核トレースの漸近展開とEhrhart多項式を一致させること。
• Sylvester波を、有理的多面体に起因するスペクトルトレースの振動的成分として特定すること。
• トレース公式と解析的数論を用いて、離散的格子点数え上げと連続的スペクトルデータを結びつけること。

実験結果

リサーチクエスチョン

• RQ1 有理的多面体のEhrhart多項式の係数は、ラプラシアンのスペクトル不変量とどのように関係するか？
• RQ2 熱核トレースは、有理的多面体における格子点数え上げの情報をどのように符号化するか？
• RQ3 Sylvester波は、熱核トレースのスペクトル分解において果たす役割は何か？
• RQ4 Ehrhart多項式は、熱核の漸近展開から再構成可能か？
• RQ5 多面体の有理的性は、そのスペクトル的および組合せ的不変量の構造にどのように影響するか？

主な発見

• 有理的三角形のEhrhart多項式の係数は、熱核トレースの漸近展開の係数と完全に一致する。
• 熱核トレースは、格子点数え上げのスペクトル的実現を提供し、離散的幾何学とスペクトル理論を結びつける。
• Sylvester波は、多面体の有理的構造を反映するスペクトルトレースの振動的成分として出現する。
• トレース公式とポストン和公式を通じて、固有値数え上げと格子点数え上げが同一の解析的構造に従うことが示された。
• 本稿は、Ehrhart多項式が、有理的多面体上のラプラシアンのスペクトルデータから自然に生じることを示した。