[論文レビュー] Strongly Cospectral Vertices

Chris Godsil, Jamie Smith|arXiv (Cornell University)|Sep 23, 2017

Graph theory and applications参考文献 7被引用数 34

ひとこと要約

本稿では、隣接行列の各固有空間への標準基底ベクトルの射影が等しいか、符号のみ異なることを特徴とする、グラフにおける強コスペクトル頂点の概念を導入し、発展させる。強コスペクトル頂点は連続的量子ウォークにおける完全な状態転送に不可欠であり、特徴付け、構成法、自己同型および有理関数との関係を示し、きれいな状態転送が強コスペクトル性を示すことを示している。

ABSTRACT

Two vertices $a$ and $b$ in a graph $X$ are cospectral if the vertex-deleted subgraphs $X\setminus a$ and $X\setminus b$ have the same characteristic polynomial. In this paper we investigate a strengthening of this relation on vertices, that arises in investigations of continuous quantum walks. Suppose the vectors $e_a$ for $a$ in $V(X)$ are the standard basis for $\mathbb{R}^{V(X)}$. We say that $a$ and $b$ are strongly cospectral if, for each eigenspace $U$ of $A(X)$, the orthogonal projections of $e_a$ and $e_b$ are either equal or differ only in sign. We develop the basic theory of this concept and provide constructions of graphs with pairs of strongly cospectral vertices. Given a continuous quantum walk on on a graph, each vertex determines a curve in complex projective space. We derive results that show tht the closer these curves are, the more "similar" the corresponding vertices are.

研究の動機と目的

• 強コスペクトル頂点という概念を形式化し、スペクトルグラフ理論におけるコスペクトルの強化版として研究すること。
• 強コスペクトル性と連続的量子ウォーク（特に完全およびきれいな状態転送）との関係を確立すること。
• 強コスペクトル頂点対をもつグラフの特徴付けと構成法を提供すること。
• 強コスペクトル性の組合せ論的意味、特に自己同型および均等分割との関係を探索すること。
• 量子状態軌道間の距離とスペクトル類似性・コスペクトル性を結びつける定量的境界を導出すること。

提案手法

• 各スペクトル射影子 $ E_r $ に対して $ E_r e_a = /pm E_r e_b $ を満たすことで強コスペクトル性を定義し、射影が符号を除いて一致することを保証する。
• 隣接行列 $ A = extstyleigoplus_r heta_r E_r $ のスペクトル分解を用いて、量子発展 $ U(t) = extstyleigoplus_r e^{it heta_r} E_r $ を分析する。
• 連続的量子ウォークをモデル化するためのユニタリ発展 $ D_a(t) = U(t) D_a U(-t) $ を適用し、状態軌道間の距離 $ Vert D_a(t) - D_b Vert $ を分析する。
• 特性多項式を含む有理関数、たとえば $ rac{ ho(X ackslash egin{Bmatrix}a,backslash ight)}{ ho(X,t)} $ を用いて、強コスペクトル対を特徴付ける。
• 行列 $ A $ の最小多項式の判別式 $ D $ を用い、$ D^2 ext{M}_X $ が整数行列であることを示し、頂点射影の差の下界を得る。
• コーシー＝シュワルツの不等式とトレース推定を用いて $ |U(t)_{a,b}| $ を境界付け、スペクトル忠実度および頂点類似性と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 グラフ内の2頂点がいつ強コスペクトルと呼ばれるか。
• RQ2 強コスペクトル性は連続的量子ウォークにおける完全およびきれいな状態転送とどのように関係するか。
• RQ3 木やウォーク正則グラフなどの特定のグラフ族において、強コスペクトル頂点を構成可能か。
• RQ4 強コスペクトル性とグラフの自己同型との関係は何か。
• RQ5 量子状態軌道間の距離に、強コスペクトル性を保証する定量的閾値が存在するか。

主な発見

• 頂点 $ a $ と $ b $ 間で完全な状態転送が発生するならば、すべてのスペクトル射影子 $ E_r $ に対して $ E_r e_a = /pm E_r e_b $ を満たすため、$ a $ と $ b $ は強コスペクトルであることが示された。
• 頂点 $ a $ から $ b $ へきれいな状態転送が発生するならば、軌道距離 $ Vert D_a(t) - D_b Vert $ を任意に小さくできるため、$ a $ と $ b $ は強コスペクトルである。
• 最小多項式の判別式に依存するある $ heta $ に対して $ Vert D_a(t) - D_b Vert < heta $ ならば、$ a $ と $ b $ は強コスペクトルである。
• 強コスペクトル頂点は $ ext{tr}(E_r D_a) = ext{tr}(E_r D_b) $ を満たし、かつ $ (E_r)_{a,b} \neq 0 $ となるのは、射影が符号を除いて一致する場合に限る。
• $ Vert D_a(t) - D_b Vert < heta $ かつ $ heta < D^{-2} $ ならば、$ a $ と $ b $ は強コスペクトルである。ここで $ D $ は最小多項式の判別式である。
• ある定数 $ heta $ が存在し、$ Vert D_a(t) - D_b Vert < heta $ ならば $ a $ と $ b $ は強コスペクトルである。この $ heta $ はコスペクトル性の閾値よりも著しく小さい。