[論文レビュー] On the detailed structure of quantum control landscape for fast single qubit phase-shift gate generation

Б. О. Волков, Alexander Pechen|arXiv (Cornell University)|Apr 28, 2022

Quantum Information and Cryptography参考文献 38被引用数 4

ひとこと要約

この論文は、高速な単一キュービット位相シフトゲート生成における量子制御ランドスケープを分析し、臨界なサドル点におけるヘッセ行列の固有構造に注目している。正確な正の固有値および負の固有値の数を計算し、その大きさの推定値も提示しており、従来の証明を大幅に簡略化し、この臨界点付近での最適化の難易度の理解を深めている。

ABSTRACT

In this work, we study the detailed structure of quantum control landscape for the problem of single-qubit phase shift gate generation on the fast time scale. In previous works, the absence of traps for this problem was proven on various time scales. A special critical point which was known to exist in quantum control landscapes was shown to be either a saddle or a global extremum, depending on the parameters of the control system. However, in the case of saddle the numbers of negative and positive eigenvalues of Hessian at this point and their magnitudes have not been studied. At the same time, these numbers and magnitudes determine the relative ease or difficulty for practical optimization in a vicinity of the critical point. In this work, we compute the numbers of negative and positive eigenvalues of Hessian at this saddle point and moreover, give estimates on magnitude of these eigenvalues. We also significantly simplify our previous proof of the theorem about this saddle point of the Hessian [Theorem~3 in B.O.~Volkov, O.V.~Morzhin, A.N.~Pechen, J.~Phys.~A: Math. Theor. {\bf 54}, 215303 (2021)].

研究の動機と目的

• 高速な単一キュービット位相シフトゲート生成における臨界サドル点付近の量子制御ランドスケープの詳細な構造を分析すること。
• このサドル点におけるヘッセ行列の正の固有値および負の固有値の正確な数を特定すること。
• 局所最適化の難易度に影響を与えるこれらの固有値の大きさを推定すること。
• Volkovら（2021年）が以前に確立したヘッセ行列の固有値性質に関する証明を著しく簡略化すること。
• 非グローバル極値付近の制御ランドスケープの幾何学的複雑性を定量化することで、実用的な量子制御を支援すること。

提案手法

• 2準位量子系に対する時間に依存する制御場 f(t) ∈ L²([0,T]; ℝ) による駆動を伴うシュレーディンガー方程式を用いる。
• 制御目的を、|Tr(U_T^f W†)|²/4 のフィデリティを最大化することとして定式化する。ここで W はターゲットの位相シフトゲートである。
• ヘッセ行列の臨界点 f₀ = 0 における解析は、関連する線形作用素 K のスペクトル理論を用いる。
• ヘッセ行列の固有値は、関数 h(t) に対するストゥーム＝リウヴィル型の境界値問題を解くことで導出され、双曲線関数および三角関数を含む超越方程式が得られる。
• パrameter空間 (φ_W, T) を D₁, D₂, D₃, D₄, D₂′′, D₂′′′ に分割し、それぞれの領域で固有値の存在および重複度を特定する。
• x cot φ_W = coth(Tx) や -x tan φ_W = tanh(Tx) などの方程式の根から、固有値の大きさの推定値を導出する。

実験結果

リサーチクエスチョン

• RQ1 高速な単一キュービット位相シフトゲート生成における臨界サドル点 f₀ = 0 におけるヘッセ行列の正の固有値および負の固有値の数は何か？
• RQ2 これらの固有値の大きさは、ゲート位相 φ_W および遷移時間 T にどのように依存するか？
• RQ3 どのパrameter領域 (φ_W, T) においてヘッセ行列の固有値が非退化であり、それらはどのように変化するか？
• RQ4 Volkov ら（2021年）の先行研究に比べ、f₀ におけるヘッセ行列の固有値構造に関する証明を著しく簡略化できるか？
• RQ5 固有値の数および大きさは、このサドル点付近での最適化の実用的難易度にどのように影響するか？

主な発見

• 臨界点 f₀ = 0 におけるヘッセ行列は、D₃領域では正しく1つの負の固有値と1つの正の固有値を有し、非退化サドル点に対応する。
• D₁, D₂′′, および D₂′′′ の領域では、ヘッセ行列は1つの正の固有値と負の固有値を有さず、f₀ がサドル点であることを確認する。
• 正の固有値の大きさは μ′₀ = 1/(1 + a₀²) < 1 で有界であり、ここで a₀ は x cot φ_W = coth(Tx) の正の解である。
• D₂′′′ では、正の固有値は μ′₁ = 1/(1 + a′₁²) < 1 であり、a′₁ は -x tan φ_W = tanh(Tx) を満たす。
• 本論文は、ヘッセ行列の固有値構造に関する証明を簡略化し、Volkov ら（2021年）の元の議論の複雑さを低減している。
• 結果として、f₀ 付近での最適化の相対的難易度が定量化され、ランドスケープが明確に定義された低次元の不安定多様体を持つことが示された。