Quantum random walks on d-regular graphs with Haar-random coin operators

技術要約：Haarランダムなコイン演算子を用いたd-正則グラフ上の量子ランダムウォーク

問題提起
本論文は、$d$-正則な無向連結単純グラフ上における離散時間量子ランダムウォーク（QRW）を調査している。標準的なQRWは、干渉を誘起するために固定されたユニタリ・コイン演算子（例：アダマールまたはグローバー）を利用し、古典的なランダムウォーク（$\sigma^2 \propto t$）とは異なる弾道的拡散（$\sigma^2 \propto t^2$）を示す。オープン量子ウォークは、デコヒーレンスを導入することで通常、古典的な拡散挙動へと回帰する。本研究が扱うのは、特定の変種である。そこでは、コイン演算子が固定されるのではなく、各反復においてHaar測度に関してユニタリ群 $U(d)$ 上の一様分布から独立に抽出される。中心となる問いは、この「Haarランダム」なコインがダイナミクスにどのように影響するか、すなわち、結果として得られる平均チャネルが完全な脱分極（初期状態情報の消失）をもたらすのか、あるいは特定の構造によって初期状態情報の保持が可能であるのかという点である。

手法
著者らは、$\mathbb{C}^d \otimes \mathbb{C}^N$ のバイパータイト・ヒルベルト空間上にウォークを構成する。ここで、$d$ はコイン空間（グラフの次数）を表し、$N$ は頂点空間を表す。

1. モデルの定義: ウォークは、ユニタリ演算子 $\hat{U} = \Lambda_S (\hat{C} \otimes \hat{I}_N)$ の反復として定義される。ここで $\Lambda_S$ は、グラフのエッジ・ラベル付け関数 $w(j, v)$ によって決定される制御シフト演算子であり、$\hat{C}$ はコイン演算子である。
2. Haarランダム・コイン: 固定された $\hat{C}$ の代わりに、コイン演算子 $\hat{V}$ は各ステップ $t$ において $U(d)$ 上のHaar測度 $\mu_H$ から独立に選択される。
3. 平均チャネル: システムを解析するために、著者らはコイン演算子の分布にわたる量子チャネルの期待値を計算する。任意の演算子 $O$ に対して $E_{U \in \mu_H}[U O U^\dagger] = \frac{\text{tr}(O)}{d} \hat{I}_d$ であるという性質を用いて、平均量子チャネル $\bar{E}_{SV}$ を導出する。このチャネルは、コイン部分空間を脱分極させる一方で、頂点部分空間に対して確率的なシフトを適用するように作用する。
4. スペクトル解析: 著者らは、平均チャネルの超演算子のスペクトル、特に固定点（固有値1）および周期2の軌道（固有値 -1）を分析する。これについて、サイクルグラフ、ハイパーキューブ、および一般的な有限アーベル群のケイリーグラフのケースについて検討を行う。
5. 分散の推定: アンサンブルとしてのこれらのウォークの頂点位置の分散を推定し、拡散挙動を決定する。

主要な貢献と結果

• 脱分極 vs 情報保持: 平均チャネル $\bar{E}_{SV}$ は、コイン部分空間に対して脱分極チャネルとして作用し、コイン空間内のコヒーレンスを事実上破壊する。その結果、アンサンブルとしてのウォークの頂点位置分布は、公平なコイン（またはバランスの取れた$d$面ダイス）を用いた古典的なランダムウォークに類似した挙動を示し、分散が時間とともに線形に増大する拡散的拡散（$\sigma^2 \propto t$）を示す。
• 非エルゴード性: 主要な発見は、平均チャネルが非エルゴード的であることである。典型的なデコヒーレントなチャネルは一意の固定点（最大混合状態）に収束するが、このチャネルは密度演算子の空間に複数の固定点を持つ。独立な固定点の数は、頂点数 $N$（またはケイリーグラフの場合は群の位数）に等しい。
• 初期状態情報の持続: コイン部分空間が脱分極されているにもかかわらず、本論文は、頂点部分空間における測定が多くの反復後であっても初期量子状態に関する情報を明らかにできることを示している。
  • サイクルおよびハイパーキューブグラフ: これらの特定のグラフ（アーベル群のケイリーグラフ）において、初期状態が特定のフーリエ基底状態（例：サイクルにおける $|k\rangle_F$ と $|k + N/2\rangle_F$、またはハイパーキューブにおける $|\tilde{0}\rangle_F$ と $|\tilde{1}\rangle_F$）の重ね合わせである場合、密度行列の非対角項が持続することを示す。
  • 固有値 -1: チャネルが固有値 $-1$ を持つ固有状態を持つ場合に、情報は持続する。これは、アーベル群のケイリーグラフにおいて、すべての非単位元が偶数次の元である場合にのみ発生する。このような場合、非対角項は減衰するのではなく振動（周期2の軌道）し、頂点測定を通じて初期の重ね合わせの角度を回収することが可能となる。
  • 相関測定: 固有値の絶対値が厳密に1未満であるケース（周期2の軌道が存在しない場合）においても、著者らは、頂点位置の分布は一様性に近づくものの、頂点ペア間の相関の測定によって初期の重ね合わせ角 $\theta$ を依然として明らかにできると論じている。これは、チャネルが頂点基底ではなくフーリエ基達においてデフェージング（位相緩和）を起こしているためである。
• 分散の挙動: 本論文は、初期に局在化した状態に対して、Haarランダム・ウォークの頂点位置測定の分散が反復回数に対して線形に増加すること（$\sigma^2 \sim t$）を計算しており、これはコヒーレントなQRWとは異なる、アンサンブルとしての古典的拡散挙リズムの回復を確認するものである。

意義と主張
本論文は、このモデルが、一方のサブシステム（コイン）が強烈に摂動を受けた（脱分極された）高温度のリザーバーのような環境によって強く影響を受ける、二部構成の強相互作用系の具体的な例として機能すると主張している。

著者らは、デコヒーレンスによって導入されたデコヒーレンスのために、これらのウォークは量子探索アルゴリズムには有用ではない（それらはコヒーレントな状態の弾道的拡散に依存するため）と明言している。むしろ、本研究の意義は以下の点にある：

1. 強烈に摂動を受けたサブシステムを持つ量子系を理解するための理論的枠組みを提供すること。
2. 特定の分布を通じたユニタリ量子プロセスから、いかにして古典的なランダムウォークの挙動（拡散）が創発するかを示すこと。
3. 「デコヒーレンス」が特定の部分空間におけるものであっても、グローバルなチャネルが非エルゴード的であり、かつ特定のスペクトル特性（固有値 -1 または特定のデフェージング構造）を持つ場合、初期状態情報の完全な喪失を必ずしも意味しないことを実証すること。

本研究は、新しい実験的ハードウェアや、ノイズの多い量子システムをモデリングすること以外の即時的な実用的応用を提案することなく、解析的手法（平均チャネル、アーベル群上のフーリエ解析）を用いた理論的探究として提示されている。