[論文レビュー] On the generation of sequential unitary gates from continuous time Schrodinger equations driven by external fields

Claudio Altafini|ArXiv.org|Mar 2, 2002

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

本稿では、シュレーディンガー方程式における連続時間制御場を、SU(N) 上の指数座標を介して離散的量子ゲートに直接写像するフレームワークを提案する。Wei-Norman 公式を用いて、マグナス展開と積の指数関数的パラメータ化を関連づける。主な貢献は、制御摂動下でのゲートダイナミクスを解析的に追跡可能な微分形式を提供することであり、標準座標が機能しなくなる特異的領域（singular loci）においても、陰伏的方程式を用いてダイナミクスが制御可能であることを示している。

ABSTRACT

In all the various proposals for quantum computers, a common feature is that the quantum circuits are expected to be made of cascades of unitary transformations acting on the quantum states. A framework is proposed to express these elementary quantum gates directly in terms of the control inputs entering into the continuous time forced Schrodinger equation.

研究の動機と目的

• シュレーディンガー方程式に従う連続時間量子ダイナミクスと、量子計算の離散的ゲートモデルを統合すること。
• 外部場からの物理的制御入力を直接、基本的量子ゲートに表現すること。
• SU(N) 上の指数座標を用いて、制御摂動下でのユニタリ進化を追跡する微分的フレームワークを提供すること。
• Wei-Norman 公式の特異性を分析し、座標チャートが失敗する場合でもダイナミクスが制御可能であることを示すこと。

提案手法

• マグナス展開（連続時間進化）と積の指数関数的分解（離散的ゲート）を結びつけるために、Wei-Norman 公式を用いる。
• 系の時間発展を、SU(N) 上の指数座標として表し、角度 γ₁, γ₂, γ₃ でパラメータ化する。
• 制御場 u₁, u₂, u₃ と γ-パラメータの変化率を結ぶ非線形微分方程式系を導出する。
• ヤコビ行列 Ξ がランク落ちする特異的領域 Σ を特定する。この領域では指数座標が定義されなくなる。
• 方程式 (5) を用いた陰伏的ダイナミクスを適用し、特異性を越えての進化を継続させ、制御能力を維持する。
• リー代数の構造定数を用いて、SU(2) および SU(3) システムにおける Wei-Norman 変換を体系的に計算する。

実験結果

リサーチクエスチョン

• RQ1 シュレーディンガー方程式における連続時間制御場を、回路モデルの離散的量子ゲートに体系的に写像する方法は何か？
• RQ2 Wei-Norman 公式は、マグナス展開とユニタリ進化の積の指数関数的表現をどのように結びつけるか？
• RQ3 指数座標チャートにおける特異性は、可制御性および状態進化にどのように影響するか？
• RQ4 標準パラメータ化が失敗する特異的領域を越えて、ダイナミクスを解析的に追跡できるか？
• RQ5 自由ハミルトニアンと制御場は、重ね合わせ状態の相対位相および分布にどの程度影響を及ぼすか？

主な発見

• Wei-Norman 公式は、連続時間ダイナミクスと離散的量子ゲートの間の微分的リンクを提供し、制御入力をゲートパラメータに直接写像可能である。
• パラメータ空間における特異的領域 Σ は、ヤコビ行列 Ξ がランクを失う点に対応し、指数座標が定義されなくなる。
• 特異性が存在しても、ダイナミクスは陰伏的方程式（例：式 5）に従い、u₁ と u₂ を用いた制御が継続可能である。
• 特異的状況下では、自由ハミルトニアンは重ね合わせ状態に相対位相シフトしか引き起こさず、制御場が非観測部分空間から系を脱出可能である。
• 非自明な重ね合わせ状態に対して、γ-不変性部分群 Hγ(|ψ₀⟩) から系を駆動可能であり、完全な可制御性が保証される。
• 本手法により、非滑らかなパラメータ空間領域においても、動的摂動や場の不確実性によるゲート変動を解析的にモニタリング可能である。