[論文レビュー] Localization of discrete-time quantum walks on a half line via the CGMV method

Norio Konno, Etsuo Segawa|arXiv (Cornell University)|Aug 30, 2010

Quantum Computing Algorithms and Architecture参考文献 17被引用数 4

ひとこと要約

本稿では、単位円上の直交ローラン多項式から導かれるCMV行列のスペクトル解析に基づくCGMV法を、半直線上の離散時間量子ウォークにおける局在化の研究に適用する。局在化の必要十分条件を、量子コインと初期状態に依存する形で確立し、均一な木構造上の量子ウォークの定常分布を新たな方法で導出することで、先行研究の結果をより体系的なスペクトル的手法により確認する。

ABSTRACT

We study discrete-time quantum walks on a half line by means of spectral analysis. Cantero et al. [1] showed that the CMV matrix, which gives a recurrence relation for the orthogonal Laurent polynomials on the unit circle [2], expresses the dynamics of the quantum walk. Using the CGMV method introduced by them, the name is taken from their initials, we obtain the spectral measure for the quantum walk. As a corollary, we give another proof for localization of the quantum walk on homogeneous trees shown by Chisaki et al. [3].

研究の動機と目的

• スペクトル理論を用いて、半直線上の離散時間量子ウォークにおける局在化を分析すること。
• 量子コインと初期状態に依存する、局在化の必要十分条件を確立すること。
• CGMV法を用いて、均一な木構造上の量子ウォークの定常分布を再導出すること。
• 非一様な設定において、従来の経路数え上げ法やフーリエ解析と比較して、CGMV法の効率性と一般性を示すこと。

提案手法

• 量子ウォークの時間発展演算子と、単位円上の直交ローラン多項式を介して関連づけられるCMV行列を結びつけるCGMV法を用いる。
• CMV行列のスペクトル理論を応用し、量子ウォークのユニタリ時間発展演算子に関連するスペクトル測度を計算する。
• 2種類の量子ウォーク（タイプI：原点に自己ループを有する、タイプII：特定のベルブリュニパラメータを有する）について、スペクトル測度および対応するローラン多項式を導出する。
• カラテオドリ関数と母関数を用いて、極限分布および局在化確率を計算する。
• ベルブリュニパラメータ列に依存して、量子ウォークのダイナミクスを分類する：ノンオッド（タイプI）およびノンイーブン（タイプII）。
• スペクトル測度における点質量と、量子ウォークにおける局在化の出現を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 一般の量子コインと初期状態を有する半直線上の離散時間量子ウォークにおいて、局在化の必要十分条件は何か？
• RQ2 CGMV法を用いることで、均一な木構造のような複雑なグラフ上の量子ウォークの定常分布を体系的に導出できるか？
• RQ3 CMV行列のスペクトル測度が、半直線上の量子ウォークにおける局在化をどのように決定づけるか？
• RQ4 非一様な量子ウォークモデルにおいて、CGMV法は経路数え上げ法やフーリエ変換法と比較して、どの程度効率的で一般性があるか？
• RQ5 κ-正則木構造上の量子ウォークの定常分布を、経路数え上げやフーリエ変換を用いずに、スペクトル的手法によって再導出できるか？

主な発見

• タイプIの量子ウォークでは、パラメータaの実部が非ゼロであり、かつ組み合わせαe^{iφ/2} + βe^{-iφ/2}ν_I(a)が非ゼロであるときに限り、局在化が発生する。ここでν_I(a)は量子コインと位相パラメータに依存する。
• タイプIIの量子ウォークでは、局在化は量子コインにのみ依存する：ベルブリュニパラメータb = x + iyが(x + 1/2)^2 + y^2 > (1/2)^2を満たすとき、かつそのときに限り、局在化が発生する。初期状態とは無関係である。
• κ-正則木構造上の量子ウォークの定常分布は、P(Y_t^κ = x) = C(κ) × (1/κ-1)^x（x > 0）として導出され、C(κ)はケースAでは0、ケースBでは((κ-2)/(κ-1))^2である。これにより先行研究の結果が確認された。
• タイプIのウォークの極限測度は、|αe^{iφ/2} + βe^{-iφ/2}ν_I(a)|^2を含む閉形式の式で与えられ、コインパラメータと初期状態に明示的な依存関係を示す。
• CGMV法により、カラテオドリ関数を介して極限分布の全容を直接計算可能となり、経路数え上げやフーリエ逆変換の複雑さを回避できる。
• この手法は、特に非一様または構造的特徴を持つ設定（木構造や半直線など）において、局在化および極限測度を統一的に分析するフレームワークを提供する。