[論文レビュー] Constructing physically intuitive graph invariants

Terry Rudolph|ArXiv.org|Jun 11, 2002

Semantic Web and Ontologies被引用数 29

ひとこと要約

本稿では、相互作用するキュービット系をモデル化することで、物理的に直感的なグラフ不変量を構築する新規手法を提案する。特に、多励起状態、特に二励起状態のエネルギー準位スペクトルが、高次元のグラフ不変量を生み出す。頂点ラベルの入れ替えに対して物理的観測量が不変であることに着目し、これらの高次ハミルトニアン行列の固有値は、同型でないグラフ（例：図2の5頂点グラフAとB）を区別できる、強力で物理的根拠を持つ不変量として機能する。

ABSTRACT

In this brief note I try to give a simple example of where physical intuition about a collection of interacting qubits can lead to the construction of "natural" versions of what are, generically, quite abstract mathematical objects - in this case graph invariants. This note is written primarily for physicists who do not want to go through the painful process of trying to understand Ed Witten's vastly more complicated construction of physically intuitive knot invariants, but who'd like some idea of how physical intuition can play a role in such things.

研究の動機と目的

• 量子系からの物理的直感が、標準的なスペクトル不変量を超える新しい強力なグラフ不変量を生成できることを示すこと。
• 隣接行列の固有値が同型でないグラフを区別できないという限界を補うために、多励起状態から導かれる高次不変量を導入すること。
• 二励起状態におけるエネルギー準位のずれといった、物理的に観測可能な量が頂点ラベルの入れ替えに対して不変であり、したがって強固なグラフ不変量を形成することを示すこと。
• 従来のグラフ理論であまり活用されていないが、固有ベクトルや高次スペクトルデータが、グラフ不変量にどのように寄与するかを強調すること。
• 物理学がグラフ理論における新しい数学的ツールの創出を促す、双方向的相互作用の可能性を示すこと、特に自己同型群やスペクトル性質の研究において。

提案手法

• グラフの隣接行列によって定義される相互作用項を有する、励起数を保存するハミルトニアンを用いて、N 個の相互作用するキュービット系をモデル化する。
• n 個の頂点の組（n-タプル）を用いて行および列をインデックス化することで、高次行列 $G^{(n)}$ を構築する。行列要素は、2つのn-タプルがちょうど2つの位置で異なる場合にのみ非ゼロとなり、その値は対応する頂点ペアの元の隣接行列要素である。
• n-励起状態のハミルトニアンブロック（例：二励起状態では $G^{(2)}$）の固有値をグラフ不変量として用いる。これらは物理的に測定可能であり、頂点ラベルの置換に対して不変である。
• これらの高次不変量が、隣接行列スペクトルが同一であるグラフ（例：図2の5頂点グラフAとB）を区別できることを実証する。
• 自由ハミルトニアンを組み込むことでラプラシアン行列への拡張を図り、類似した高次ラプラシアン不変量を導出する。
• 5頂点グラフにおけるレベル2行列 $G^{(2)}$ が、自身が新たなグラフの隣接行列であることに着目し、スペクトルグラフ理論を再帰的に適用可能にする。

実験結果

リサーチクエスチョン

• RQ1 相互作用するキュービットの量子多体系における物理的観測量が、標準的なスペクトル不変量を超える、より強力な新しいグラフ不変量を生み出せるか？
• RQ2 二励起状態のハミルトニアンブロックの固有値が、隣接行列スペクトルでは区別できない同型でないグラフをどの程度まで区別できるか？
• RQ3 高次ハミルトニアンの固有ベクトルが、現在のグラフ理論であまり活用されていないが、どのようにグラフ不変量に寄与するか？
• RQ4 物理的原理に基づいて高次行列を構築することは、元の隣接行列やラプラシアン行列から導かれる不変量よりも強力な不変量を生み出せるか？
• RQ5 グラフの自己同型群の物理的意味は、その量子多体系ハミルトニアンのスペクトル性質とどのように関係するか？

主な発見

• グラフAのレベル2行列 $A^{(2)}$ の固有値は $\{-\sqrt{6},[-\sqrt{2}]^{3},[0]^{2},[\sqrt{2}]^{3},\sqrt{6}\}$ であり、グラフBの $B^{(2)}$ の固有値は $\{-2\sqrt{2},-2,[0]^{6},2,2\sqrt{2}\}$ である。両者とも隣接行列固有値が同一であるが、固有値の差異により同型でないことが証明された。
• 隣接行列 $G$ から構築されたレベル2行列 $G^{(2)}$ は、自身が新たなグラフの隣接行列であるため、再帰的なスペクトル解析が可能である。
• $n$-励起状態ハミルトニアンブロックの固有値は、キュービットのラベル付けに依存しないため、物理的置換不変性を反映し、グラフ不変量として成立する。
• この手法は、従来のグラフ理論であまり注目されていないが、量子系では物理的に意味を持つ元の隣接行列の固有ベクトルを自然に組み込む。
• 自由ハミルトニアンを含めることで、ラプラシアン行列への一般化が可能となり、同様の高次不変量が得られ、より強い区別能力を有する可能性を秘める。
• 熱的状態における放射スペクトル、遷移率、エンタングルメント測度といった物理的量は、すべてラベルの入れ替えに対して不変であり、新たなクラスのグラフ不変量を形成する。