[論文レビュー] Stationary measures for the three-state Grover walk with one defect in one dimension

Takako Endo, Hikari Kawai+1 more|arXiv (Cornell University)|Aug 26, 2016

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

ひとこと要約

本稿では、生成関数法を用いて固有値問題を解くことで、原点に1つの欠陥を有する1次元3状態グローバー量子ウォークの定常測度を導出する。定常測度と時間平均極限測度の直接的な対応関係を確立し、特定のパラメータ選択のもとで、定常測度が正規化係数を除き極限測度と一致することを示し、2状態ウォークの既知の結果を3状態系へ拡張する。

ABSTRACT

We obtain stationary measures for the one-dimensional three-state Grover walk with one defect by solving the corresponding eigenvalue problem. We clarify a relation between stationary and limit measures of the walk.

研究の動機と目的

• 整数格子上に原点に1つの欠陥を有する3状態グローバー量子ウォークの定常測度を導出すること。
• 量子ウォークにおける定常測度と時間平均極限測度の関係を明確化すること。
• 空間非一様性を有する3状態グローバーウォークモデルへ、2状態量子ウォークに関する先行結果を拡張すること。
• 対称性条件（例：α = γ、β = 0、β = (α+γ)/2）の下での定常測度の明示的解析的表現を提供すること。
• 均一でない設定を超えて、量子ウォークにおける定常測度の理解を一般化すること。

提案手法

• 原点に欠陥を有する3状態グローバーウォークの時間発展演算子の固有値問題を解くこと。
• 生成関数法を用いて各サイトにおける振幅ベクトルの閉形式解を導出すること。
• グローバー行列と欠陥行列 U₀ = ωU_G（ω = e^{iθ}）のユニタリ構造を用い、空間非一様性をモデル化すること。
• 固有値 λ = 1 および λ = -1 に基づく解の分類を行い、x ≥ 1、x = 0、x ≤ -1 における振幅プロファイルを分析すること。
• 振幅ベクトルの ℓ²-ノルムの二乗として定常測度を導出し、θ および対称性パラメータに明示的な依存関係を示すこと。
• 特定の初期条件のもとでパラメータを一致させることで、定常測度と極限測度の等価性を確立し、定常測度が長時間挙動の代理として有効であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 原点に1つの欠陥を有する3状態グローバーウォークの定常測度を、どのように解析的に導出できるか？
• RQ2 欠陥パラメータ θ と空間的位置 x の関数として、定常測度の関数的形はどのように表されるか？
• RQ3 この空間非一様性を有する量子ウォークモデルにおいて、定常測度と時間平均極限測度の間に直接的な対応関係があるか？
• RQ4 対称性条件（例：α = γ、β = 0）が定常測度の構造にどのように影響を与えるか？
• RQ5 λ = -1 の場合に、定常測度を明示的に構成でき、既知の極限測度と関連づけられるか？

主な発見

• λ = 1 の場合、定常測度は μ(x) = |α|² × [ (13−12cosθ)(2/m₁ + m₂/m₃) + 1 ] |θₛ|²ˣ（x ≠ 0）で与えられ、|θₛ|² = (37 + 12cosθ ± 20√6 cos(θ/2)) / (13−12cosθ)² であり、μ(0) = 2|α|² である。
• θ = 0 の場合（すなわち均一グローバーウォーク）、α = ±(2−√6)˜α のとき、定常測度は時間平均極限測度と一致し、既知の結果と整合的であることが確認される。
• λ = -1 かつ α = γ の場合、定常測度は μ(x) = (6|α|²)/(5−3cosθ) × (3cos²θ−3cosθ+2)（x ≠ 0）、μ(0) = (6|α|²)(3−2cosθ)/(5−3cosθ）で与えられる。
• λ = -1 かつ β = 0 の場合、定常測度は μ(x) = 2|α|² × (2−cosθ)（x ≠ 0）、μ(0) = 2|α|² に簡略化される。
• β = (α+γ)/2 かつ β ≠ 0 の場合、定常測度は μ(x) = 6|α|²（x ≥ 1）、μ(0) = (5/4)(|α|² + |γ|²) + (1/4)(αγ̄ + ᾱγ)、μ(x) = 6|γ|²（x ≤ -1）で与えられる。
• 本稿では、特定のパラメータ一致のもとで、定常測度と時間平均極限測度の明確な数学的同等性を確立し、定常測度が長時間挙動の代理として有効であることを検証した。