[論文レビュー] Universal Mixing of Quantum Walk on Graphs

William Carlson, A. Ford+4 more|ArXiv.org|Aug 4, 2006

Quantum Computing Algorithms and Architecture参考文献 10被引用数 5

ひとこと要約

本稿は、辺重み付きグラフ上の連続時間量子ウォークにおける普遍混合を調査し、重み付き完全多部グラフおよび重み付きクラウン（スターマッチ）が普遍混合であることを証明している。すなわち、重みの変更によって任意の頂点分布に到達可能なことが示された。主な結果として、重み付きクラウン $K_{1,n}$ は普遍混合であるだけでなく、一様混合であることも示され、一様混合を達成する極めてレアなグラフクラスに新たな一族が加わった。

ABSTRACT

We study the set of probability distributions visited by a continuous-time quantum walk on graphs. An edge-weighted graph G is universal mixing if the instantaneous or average probability distribution of the quantum walk on G ranges over all probability distributions on the vertices as the weights are varied over non-negative reals. The graph is uniform mixing if it visits the uniform distribution. Our results include the following: (a) All weighted complete multipartite graphs are instantaneous universal mixing. This is in contrast to the fact that no unweighted complete multipartite graphs are uniform mixing (except for the four-cycle). (b) The weighted claw or star graph is a minimally connected instantaneous universal mixing graph. In fact, as a corollary, the unweighted claw is instantaneous uniform mixing. This adds a new family of uniform mixing graphs to a list that so far contains only the hypercubes. (c) Any weighted graph is average almost-uniform mixing unless its spectral type is sublinear in the size of the graph. This provides a nearly tight characterization for average uniform mixing on circulant graphs. (d) No weighted graphs are average universal mixing. This shows that weights do not help to achieve average universal mixing, unlike the instantaneous case. Our proofs exploit the spectra of the underlying weighted graphs and path collapsing arguments.

研究の動機と目的

• 辺重みの変更によって頂点上の任意の確率分布に到達可能なグラフを同定すること。
• 非重み付きグラフと比較して、重み付きグラフが瞬間的または平均的普遍混合を達成できるかどうかを特定すること。
• ハイパーキューブなどの既知の結果を拡張し、一様混合を達成する新しいグラフ族を同定すること。
• 平均ほぼ一様混合のスペクトル的特徴付けを提供し、重み付きグラフでは平均的普遍混合が不可能であることを示すこと。

提案手法

• 重み付きグラフのスペクトル解析を用いて、量子ウォークの振幅および確率分布の時間発展を研究する。
• 文献[7]におけるパス圧縮技術を一般化し、完全多部グラフおよびクラウンにおける普遍混合を証明する。
• 時間平均遷移確率の極限を用いて、時間平均確率分布を分析する。
• グラフの隣接行列の異なる固有値の個数としてのスペクトル型 $\tau(G)$ を定義し、混合行動を特徴付ける。
• 恒等式 $\overline{p}_0 = \sum_{\lambda \in \text{Sp}(G)} B_\lambda^2$ を適用し、ここで $B_\lambda = \sum_{j:\lambda_j = \lambda} \beta_j$ であるとし、平均確率の上限を導出する。
• 平均確率が $1/\tau(G)$ 以上であるという事実を用い、$\tau(G)$ が $n$ に対して非線形である場合、平均的普遍混合が不可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 どの辺重み付きグラフが連続時間量子ウォークによって頂点上の任意の確率分布に到達可能か？
• RQ2 重み付きグラフは平均的普遍混合を達成できるか？もしそうでないなら、その理由は何か？
• RQ3 ハイパーキューブを超える新しい一様混合グラフ族は存在するか？
• RQ4 グラフのどのスペクトル的条件が平均ほぼ一様混合を保証するか？
• RQ5 $n \geq 4$ の重み付きパス $P_n$ は普遍混合であるか？この結果は重み付き木にどのような含意を持つのか？

主な発見

• すべての重み付き完全多部グラフは、瞬間的量子ウォークにおいて普遍混合である。これは非重み付きバージョンとは対照的であり、$K_{2,2}$ を除き、一様混合でない。
• 重み付きクラウン $K_{1,n}$ は最小連結であり、普遍混合である。系として、非重み付き $K_{1,n}$ は瞬間的に一様混合である。
• 巡回グラフでは、スペクトル型 $\tau(G)$ が $O(n)$ であれば、平均ほぼ一様混合が成立する。この条件はほぼタイトである。
• 重み付きグラフでは平均的普遍混合が達成不可能である。任意の頂点の平均確率は $1/\tau(G)$ 以上に下限づけられており、これはゼロから離れている。
• 平均ほぼ一様混合を達成するためには、スペクトル型 $\tau(G)$ が $\Omega(n)$ でなければならない。これはほぼタイトな特徴付けを提供する。
• 共通の混合時間を持つ2つの一様混合グラフのカルテジアン積もまた一様混合である。これにより、ハイパーキューブやクラウンといった既知の例から、新たな一様混合グラフを構成可能となる。