Analytic Approach to Quantum Control Using Quantum Signal Processing

技術要約：量子信号処理を用いた量子制御への解析的アプローチ

問題提起
本論文は、超伝導回路QEDやトラップイオン系のようなアーキテクチャの基礎となる、量子系（特に量子ビットと振動子のダイナミクス）に対する精密かつ堅牢な制御を実現するという課題に取り組んでいる。現在の量子制御手法の多くは、制御パルスの設計において、ヒューリスティックな総当たり最適化（例：勾配ベースの最適化器や機械学習）に大きく依存している。これらの手法は、厳密な誤差保証に欠け、解のランドスケープに関する洞察が限定的であり、計算負荷が高いという問題を抱えている。

具体的には、以下の2つの制御問題が特定されている：

1. カー相互作用の線形化： 回路QEDにおいて、トランスモン量子ビットとマイクロ波共振器の間の分散結合は、非線形なクロスカーおよび自己カー相互作用によって悪影響を受ける。これらは状態依存の位相蓄積を引き起こし、デフェージングやゲートエラーの原因となる。既存の緩和技術（例：Selective Number-dependent Arbitrary Phase (SNAP) ゲート）は、フォトン数の増加に伴い、スペクトル選択性や計算複雑性の面でスケーラビリティの問題に直面する。
2. 選択的なフォック状態操作： 標準的なボゾン演算子（生成・消滅演算子）およびジェーンズ・カミングス相互作用は、振動子の状態に対してグローバルに作用し、占有されたすべてのフォック準位を同時に結合させる。そのため、特定のフォック状態（例：$|r\rangle \to |r+1\rangle$）に対して選択的にフォトンを追加または除去できる一方で、他の重ね合わせ成分には影響を与えないユニタリ操作が必要とされている。これは、誤り訂正コードや特殊なボゾン状態の準備において極めて重要である。

手法：QSP-Control
著者らは、量子信号処理（QSP）アルゴリズムを量子制御に適応させた解析的フレームワークであるQSP-Controlを提案している。QSPは、通常、量子アルゴリズムにおいてユニタリ演算子の多項式近似を行うために用いられる手法である。

コアとなる手法は以下の通りである：

• フレームワークの定義： QSP-Controlは、信号演算子（2つのサブシステム、例えば量子ビットと振動子のネイティブな結合から生成されるもの）を、一方のサブシステム（量子ビット）に対するプログラム可能な回転と交互に組み合わせるプロトコルとして定義される。
• 一般化QSP (GQSP)： 著者らは、任意の $SU(2)$ 回転を許容することで標準的なQSPのパリティ制約を緩和したGQSPを利用している。これにより、複素係数を持つローラン多項式の近似が可能となり、制御タスクに必要な柔軟性が得られる。
• 多項式近似へのマッピング：
  • カー線形化： この問題は、GQSPを用いてターゲット関数（具体的にはフォック数の余弦関数）を近似することにマッピングされる。カー項を含むネイティブなハミルトニアンが信号演算子として機能し、量子ビットの回転が制御位相として機能する。目標は、非線形なカー項を抑制しながら、望ましい線形進化を近似する多項式を構築することである。
  • 選択的フォック状態操作： ジェーンズ・カミングス相互作用は、$\{|e, n\rangle, |g, n+1\rangle\}$ で張られる部分空間に作用する $2 \times 2$ ブロックへと分解される。この相互作用角はフォック数 $n$ に依存する。ジェーンズ・カミングス・ゲートと量子ビット回転を交互に組み合わせることで、システムはこれらの部分空間内でQSPを実装する。著者らは、特定のフォック準位をターゲットとし（例：$n \neq r$ の遷移を抑制し、$n=r$ の遷移を最大化する）、他のフォック成分を不変に保つような「ノッチフィルタ」として機能する多項式を設計する。

主な貢献と結果

1. カー相互作用の線形化：

   • 著者らは、非線形なクロスカー相互作用がQSP-Controlシーケンスを用いて効果的に線形化できることを実証した。
   • 誤差 $\epsilon$ およびフォックレベルのカットオフ $N_{cutoff}$、解像度に依存する因子 $w$ に対して、必要な回路深さの複雑さを以下のように導出した：
     $$d = O\left(\frac{1}{w} \log \left(\frac{N_{cutoff}}{\epsilon}\right)\right)$$
     これは、追加のハードウェアエンジニアリングを必要とせずに、カー誘起デフェージングを緩和するための、ヒューリスティックなパルス成形に代わる系統的かつ解析的な代替手段を提供する。

2. 選択的なフォック状態操作：

   • 著者らは、特定のフォック状態（$|r\rangle \to |r \pm 1\rangle$）を選択的に増減させつつ、他の占有されたフォック成分を不変に保つ演算子を構築した。
   • 逐次型アプローチ： 単一のフォック選択的演算子を逐次的に合成する手法が提示されており、その複雑さは操作する状態数 $N$ に対して線形にスケールする：$O(\frac{N}{\Delta} \log \frac{1}{\epsilon})$ （ここで $\Delta$ は最小スペクトル間隔）。
   • 指数関数的な改善： 著者らは、複数のフォック状態を同時に操作するために、単一のQSP多項式を用いるより効率的な構成を提案している。このアプローチは、以下の複雑度スケーリングを実現する：
     $$d = O\left(\frac{1}{\Delta} \log \frac{N}{\epsilon}\right)$$
     これは、逐次型アプローチと比較して、状態数 $N$ への依存性が線形ではなく対数的であるため、指数関数的な改善を意味する。

意義と主張
本論文は、ヒューリスティックおよび総当たり的な最適化手法に代わる、構造化された解析的なフレームワークを提供することを目的としている。QSPが持つ厳密な誤差保証と解析的な理解を活用することで、本研究は以下を実現する：

• 量子ビット・振動子ダイナミクスを制御するための系統的な設計手法。
• 量子制御問題を多項式近似タスクへとマッピングすることによる、解釈可能な視点。
• 超伝導および共振器QEDシステムにおける2つの重要な課題（カー非線形性の緩和、および精密で選択的なボゾンフォック状態の操作）に対する実用的な解決策。

著者らは、本フレームワークには強力な理論的保証があるものの、実用的な実装は、高い次数の多項式（これにより回路が深くなる）によって制限される可能性があり、量子ビットのコヒーレンス時間（$T_1, T_2$）や遷移のスペクトル分解能に制約を受ける可能性があると指摘している。本研究は、QSP-Controlが、量子アルゴリズムおよび多項式近似理論の観点から量子制御問題に取り組むための新たな道を切り開くものであることを示唆している。