[論文レビュー] Absorption Probabilities for the Two-Barrier Quantum Walk

Eric Bach, Lev Borisov|arXiv (Cornell University)|Jan 27, 2009

Quantum Computing Algorithms and Architecture参考文献 3被引用数 6

ひとこと要約

本稿では、有限整数格子上の2バリアHadamaru量子ウォークにおける吸収確率の明示的閉形式式を導出し、Watrousによる $ p_1^{(n)} $ の線形分数型再帰に関する予想を解消した。母関数と留数計算を用いて、$ A = 2 + \sqrt{2} $、$ B = 2 - \sqrt{2} $ とおくとき、$ p_j^{(n)} = \frac{\sqrt{2}}{4} \frac{(A^{n-j} - B^{n-j})(A^{j-1} + B^{j-1})}{A^{n-1} + B^{n-1}} $ を証明した。これは、内部の初期位置から出発する場合、左バリアでの吸収確率が約35.35%であることを示し、古典的ランダムウォークとは顕著に異なる。

ABSTRACT

Let p_j^(n) be the probability that a Hadamard quantum walk, started at site j on the integer lattice {0,...,n}, is absorbed at 0. We give an explicit formula for p_j^(n). Our formula proves a conjecture of John Watrous, concerning an empirically observed linear fractional recurrence relation for the numbers p_1^(n).

研究の動機と目的

• 0 と $ n $ に吸収バリアを持つ $ \{0, \dots, n\} $ 上のHadamard量子ウォークが初期位置 $ j $ から出発したとき、0 で吸収される確率 $ p_j^{(n)} $ の正確な閉形式式を導出すること。
• Watrousが提起した予想、すなわち $ p_1^{(n)} $ が線形分数型再帰 $ p_1^{(n)} = \frac{1 + 2p_1^{(n-1)}}{2 + 2p_1^{(n-1)}} $ を満たすことの証明。
• 吸収確率の観察された数値的パターン、特に列および対角線における線形分数型再帰、および行における線形再帰の解明。
• 大きな $ n $ に対して、内部の初期位置 $ j = \alpha n $ から出発する場合、吸収確率が $ \frac{\sqrt{2}}{4} \approx 0.35355 $ に収束することを示し、古典的ウォークと比較して量子ウォークの空間的分布がより一様であることを強調すること。

提案手法

• 著者たちは、経路数の母関数アプローチを用い、符号は連続する「L」移動（LLブロック）の数に基づく $ f_j^{(n)}(z) $ を定義する。
• 再帰関係を導出し、$ f_1^{(n)} = z \frac{1 - 2z f_1^{(n-1)}}{1 - z f_1^{(n-1)}} $ および $ j \geq 2 $ に対して $ f_j^{(n)} = f_{j-1}^{(n-1)}(f_1^{(n)} - 2z) $ を得、母関数の再帰的計算を可能にする。
• 吸収確率は複素変数の経路積分により計算される：$ p_j^{(n)} = \frac{1}{2\pi i} \int_{|z|=1/\sqrt{2}} |f_j^{(n)}(z)|^2 z^{-1} dz $、これは留数理論を用いて評価される。
• 重要なステップとして、母関数を有理関数 $ r_k(t) $ の形に表現し、$ t = -1/2 $ における留数を計算することで、$ r_k(-1/2) = \frac{A^k - B^k}{2^{k+1/2}} $ の代入により最終的な公式が得られる。
• 結果antと判別式の境界を用いた留数の数値近似に基づく数値的手法により、$ n=20 $ までで正確な有理数値 $ p_j^{(n)} $ を計算し、正確性と効率性を保証する。
• 代数的整数の性質とガロア理論の性質を活用して、積分が有理数を返すことを証明し、数値精度が正確な値の同定に十分であることを示した。

実験結果

リサーチクエスチョン

• RQ1 2バリアHadamaru量子ウォークにおける吸収確率 $ p_j^{(n)} $ の正確な閉形式式は何か？
• RQ2 実験的に観察された再帰 $ p_1^{(n)} = \frac{1 + 2p_1^{(n-1)}}{2 + 2p_1^{(n-1)}} $ はすべての $ n \geq 2 $ に対して成り立つのか？ もし成り立つならば、その理由は何か？
• RQ3 $ n \to \infty $ のとき、特に内部初期位置 $ j = \alpha n $ における吸収確率はどのように振る舞うか？
• RQ4 観察された列および対角線における線形分数型再帰の背後にある組合せ論的または代数的構造は何か？

主な発見

• 吸収確率の正確な公式は $ p_j^{(n)} = \frac{\sqrt{2}}{4} \frac{(A^{n-j} - B^{n-j})(A^{j-1} + B^{j-1})}{A^{n-1} + B^{n-1}} $ であり、$ A = 2 + \sqrt{2} $、$ B = 2 - \sqrt{2} $ とおくと、$ n \geq 1 $、$ 1 \leq j \leq n $ に対して有効である。
• 再帰 $ p_1^{(n)} = \frac{1 + 2p_1^{(n-1)}}{2 + 2p_1^{(n-1)}} $ はすべての $ n \geq 2 $ に対して厳密に成立し、Watrousの予想が裏付けられた。
• 極限 $ \lim_{n \to \infty} p_1^{(n)} = \frac{1}{\sqrt{2}} \approx 0.7071 $ が導出され、左バリアでの吸収確率が $ 1/\sqrt{2} $ に近づくことが示された。
• 内部初期位置 $ j = \alpha n $ から出発する場合、0 での吸収確率は $ \frac{\sqrt{2}}{4} \approx 0.35355 $ に収束し、古典的ランダムウォークと比較して空間的分布がより一様であることを示している。
• 吸収確率は行方向に線形再帰を満たす：$ 1 \leq j \leq n-3 $ に対して $ p_j^{(n)} - 7p_{j+1}^{(n)} + 7p_{j+2}^{(n)} - p_{j+3}^{(n)} = 0 $。
• 結果antと判別式の境界を用いた留数の数値近似に基づく手法により、$ n=20 $ までで正確な有理数値 $ p_j^{(n)} $ を高効率かつ高精度に計算可能である。