出典検証済みレベル 3
位相キックバック
位相キックバックとは、固有状態にあるターゲットに制御演算を適用すると、ターゲットは変化せず、代わりに固有値の位相が制御レジスタに刻み込まれる効果です。
どういう意味か
|ψ⟩がユニタリUの固有状態で、固有値がe^{iφ}だとしましょう。すなわちU|ψ⟩ = e^{iφ}|ψ⟩です。制御量子ビットを重ね合わせにして制御Uを適用すると、|0⟩の分岐は何もせず、|1⟩の分岐は因子e^{iφ}を獲得します。どちらの分岐でもターゲットは正確に|ψ⟩に戻るため、この位相をターゲットに帰属させることはできません — 位相は制御レジスタの相対位相として現れます：(|0⟩ + |1⟩)/√2が(|0⟩ + e^{iφ}|1⟩)/√2になります。情報がターゲットから制御へ「蹴り返された（キックバックされた）」のです。教科書の例では、XORオラクルの固有状態であるターゲット|−⟩ = (|0⟩ − |1⟩)/√2を使います：Uf|x⟩|−⟩ = (−1)^{f(x)}|x⟩|−⟩となり、補助量子ビットが終始|−⟩のままである間に、各入力分岐xが符号(−1)^{f(x)}を獲得します。これは関数値を振幅の符号に変換することであり、まさに干渉が作用できる形です。位相キックバックは、ドイチュ＝ジョザアルゴリズム、量子位相推定（したがってショアのアルゴリズム）、そしてグローバーのオラクルによるマーキング段階の動作の核心です。日常のたとえ
位相キックバックは遊園地の魔法のハンドスタンプのようなものです：友だち（補助量子ビット）があなたの代わりにゲートをくぐるのに、インクのスタンプは魔法のように友だちではなく「あなた」の手に現れます — そして友だちは出かけたときとまったく同じ姿で帰ってきます。答えは尋ねたレジスタに書き込まれ、助っ人は変わらないままです。
自然な形のまま完全に硬いバネを押すようなものです：バネ（固有状態）はまったく変形せず — 代わりに押した力があなた自身の手に返ってきます。固有状態は何も吸収せず、位相は制御側へ跳ね返るのです。
よくある誤解
- 位相はターゲット量子ビットには残りません — ターゲットは固有状態なので、入ったときとまったく同じ姿で演算を出ていきます。位相をターゲットに割り当てる帳簿づけは要点を外しています：物理的に意味のある変化は制御レジスタの相対位相です。
- 位相キックバックは新しい物理的相互作用でも因果律の破れでもありません — ただの線形性です：各制御分岐はユニタリ性の定めるとおりに発展し、スカラーである固有値の位相は、重ね合わせのある場所へ因子として括り出されるだけです。
- 制御が確定した基底状態にあればキックバックは見えません — 単一分岐の位相は物理的効果のないグローバル位相だからです。蹴り返された位相が測定可能な相対位相になるには、制御が重ね合わせになければなりません。
要点
- U|ψ⟩ = e^{iφ}|ψ⟩ならば、制御Uは(|0⟩ + |1⟩)|ψ⟩/√2を(|0⟩ + e^{iφ}|1⟩)|ψ⟩/√2に写します：位相は制御に載ります。
- 補助量子ビットを|−⟩にすると、XORオラクルはUf|x⟩|−⟩ = (−1)^{f(x)}|x⟩|−⟩として作用し、関数値を振幅の符号に変えます。
- 位相キックバックはオラクルの出力を、干渉が利用できる位相に変換します — ドイチュ＝ジョザ、位相推定、グローバーのマーキングの機関室です。
- この効果には、ターゲットが固有状態にあり、制御が重ね合わせにあることが必要です。
理解度チェック
入力レジスタが(|0⟩ + |1⟩)/√2にあり、補助量子ビットが|−⟩に準備された状態でXORオラクルUfを適用しました。その後、fに関する情報はどこに現れますか？
- A.補助量子ビットに — f = 1なら|+⟩に反転する
- B.入力レジスタの各分岐に相対符号(−1)^{f(x)}として現れ、補助量子ビットは|−⟩のまま
- C.どこにも現れない — 状態は変化しない
- D.オラクル内部の古典レジスタに
答えを見る
答え: B. 入力レジスタの各分岐に相対符号(−1)^{f(x)}として現れ、補助量子ビットは|−⟩のまま
理由: |−⟩はXOR作用の固有状態なので、Uf|x⟩|−⟩ = (−1)^{f(x)}|x⟩|−⟩となります。補助量子ビットは変化せず、入力レジスタの各分岐xが符号(−1)^{f(x)}を獲得します。これが位相キックバックです：関数値が、尋ねたレジスタに位相として刻まれるのです。
前提となる概念
一次資料: Nielsen & Chuang, Quantum Computation and Quantum Information (2010), doi:10.1017/CBO9780511976667
Graded 2026-07-10 (human sign-off): established — phase kickback as used in Deutsch–Jozsa and phase estimation per Nielsen & Chuang (2010) §1.4.3–§1.4.4 and §5.2, Preskill Ph219, and the IBM Qiskit Textbook chapter on phase kickback. Pending human grading.