[論文レビュー] Topological Resonances on Quantum Graphs

Yves Colin de Verdìère, Françoise Truc|arXiv (Cornell University)|Apr 6, 2016

Quantum chaos and dynamical systems参考文献 20被引用数 12

ひとこと要約

本稿は、リードを有する量子グラフ上の位相的共鳴を検討し、実軸に近い共鳴に注目する。共鳴のスペクトル的性質において二分法が成立する：タイプIグラフ（最大で1つの次数1頂点をもつ木）は、共鳴の虚部に正のグラフ不変量 h(G) > 0 によるスペクトルギャップを示す。一方、タイプIIグラフ（それ以外のすべて）は実軸に近い稠密な共鳴を示し、その漸近的密度は組合せ的不変量 d(G) によって支配される。主な結果は、無理数辺長の下で、実軸に近いεバンド内での共鳴数の下界として NG,⃗l(ε) ≥ Cε^{d(G)/2} が得られ、上界については同様の形の予想が提示されている。

ABSTRACT

In this paper, we try to put the results of Smilansky and al. on "Topological resonances" on a mathematical basis.A key role in the asymptotic of resonances near the real axis for Quantum Graphs is played by the set of metrics for which there exists compactly supported eigenfunctions. We give several estimateof the dimension of this semi-algebraic set, in particular in terms of the girth of the graph. The case oftrees is also discussed.

研究の動機と目的

• 量子グラフに接続されたリードを有する系において、実軸に近い共鳴の漸近的分布を分析すること。
• スペクトル的性質に基づき、グラフを二種類の位相的タイプに分類すること：タイプI（最大で1つの次数1頂点をもつ木）とタイプII（それ以外のすべて）。
• タイプIグラフに対して、正の不変量 h(G) によって定量化されるスペクトルギャップを確立し、タイプIIグラフにおける共鳴密度を特徴づけること。
• d(G) と呼ばれる組合せ的不変量を定義・研究し、頂点集合 V₀ で消える固有関数の集合の次元に関連付けること。
• 実軸に近いεバンド内での共鳴数 NG,⃗l(ε) に対する明確な漸近法則 NG,⃗l(ε) ∼ Cε^{d(G)/2} の予想を提示すること。

提案手法

• 研究では、頂点でキルホッフ条件、次数1頂点でノイマン条件を満たす測度グラフ上のラプラシアンを用いる。
• 共鳴は、下半平面へのリゾルベントのメロモルフィック続行の極として定義される。
• 著者らは、V₀ で消える固有関数をもつ有限グラフ上のラプラシアンに1が固有値となるトーラス上の点の集合 WG を導入し、スケーリングを除き一意な固有関数に対応する部分集合 W⁰G を定義する。
• 不変量 d(G) は d(G) = #E − 1 − dim(W⁰G) として定義され、スペクトル幾何学とグラフ位相の間の関係を結ぶ。
• 共鳴数関数 NG,⃗l(ε) は、K → ∞ のとき、0 ≤ σ ≤ K および −ε ≤ τ ≤ 0 の帯状領域内にある共鳴の数を測る。
• 解析は、半代数的幾何、摂動論、およびタルスキー＝ザイデンバーグの定理を用いて、固有値の軌跡の正則性を確立する。

実験結果

リサーチクエスチョン

• RQ1 量子グラフにリードを有する系において、実軸に近い共鳴にスペクトルギャップが存在するか否かを決定づける要因は何か？
• RQ2 グラフの位相的構造、特に最大で1つの次数1頂点をもつ木であるかどうかが、共鳴の漸近的分布に与える影響は何か？
• RQ3 無理数辺長が、実軸に近い共鳴の漸近的密度に果たす役割は何か？
• RQ4 共鳴密度 NG,⃗l(ε) は、幾何的および組合せ的不変量 d(G) および g(G) とどのように関係するか？
• RQ5 ε → 0 のとき、NG,⃗l(ε) に対して明確な漸近法則が存在するか？また、その形は Cε^{d(G)/2} と一致するか？

主な発見

• タイプIグラフ（最大で1つの次数1頂点をもつ木）に対しては、正のスペクトルギャップ h(G) > 0 が存在し、すべての共鳴が τ|L| ≤ −h(G) を満たす。ここで |L| はグラフの全長を表す。
• ギャップパラメータ h(G) はグラフの組合せ的構造の不変量であり、辺の縮約に対して h(G′) ≥ h(G) を満たす。
• 無理数辺長を有するタイプIIグラフに対しては、十分に小さい ε > 0 に対して NG,⃗l(ε) ≥ Cε^{d(G)/2} が成り立ち、C > 0 は計量に依存する。
• 不変量 d(G) は d(G) = #E − 1 − dim(W⁰G) として定義され、W⁰G は V₀ で消える非退化固有関数に対応するトーラス上の点の集合である。
• V₀ の任意の頂点にループがない場合、d(G) ≥ 1 が成り立ち、d(G) ≤ g(G) − 1 が成り立つ。ここで g(G) は、2つの次数1頂点を結ぶサイクルまたはパスに必要な頂点の最小数を表す。
• 本稿では、NG,⃗l(ε) ∼ Cε^{d(G)/2} として、ε → 0 のときの正確な漸近法則を予想し、小さなグラフにおける明示的計算を通じてその根拠を提示している。