Superstate Quantum Mechanics

技術要約：スーパー状態量子力学 (Superstate Quantum Mechanics: SQM)

問題提起
従来の量子力学 (TQM) では、状態は単一の二次制約（正規化）に従うヒルベルト空間内の単位長ベクトルとして定義される。定常問題は、二次的なエネルギー形式を最小化することから導かれる固有値問題であり、非定常問題は、これらのベクトルを線形シュレディンガー方程式を通じて進化させるものである。

しかし、物理学、機械学習、および人工知能における多くの実用的な問題は、単純なベクトルよりも豊かな構造（例えば、ユニタリ演算子や量子チャネルなど）を持つオブジェクトに対する最適化を必要とする。これらの問題は、多くの場合、複数の二次制約（例：ユニタリ条件 $U^\dagger U = I$）を満たす必要がある。また、写像演算子に関する二次形式であるフィデリティ（忠実度）関数を最適化する必要もある。これらは「量子逆問題」であり、観測された状態写像からシステム（例：ハミルトニアン）を再構成することを目的とする。半正定値計画法 (SDP) や勾配ベースの手法といった標準的な最適化手法は、統一された代数的構造を欠いているか、あるいは完全な解の階層を提供できないことが多い。本論文は、単一の正規化制約のみが存在する極限へとTQMを一般化し、直接的な量子力学のダイナミクスと逆再構成問題の間の溝を埋める、複数の二次制約を持つ状態で定義される状態を扱うための理論的枠組みの必要性に対処するものである。

手法
著者らは、「状態」が複数の二次制約に従うヒルベルト空間の要素として定義されるフレームワークであるスーパー状態量子力学 (SQM) を導入する。

1. 状態表現: 基本的な状態 $|\psi\rangle$ の代わりに、演算子、具体的にはユニタリ（または部分ユニタリ）行列 $U_{jk}$ として表現される。
2. 制約: システムは、部分等長条件 $G_{ij} = \sum_k U_{ik}U^*_{jk} = \delta_{ij}$ などの複数の二次制約に従う。
3. 目的関数: 「エネルギー」またはフィデリティ $F$ は、スーパーオペレーターテンソル $S_{jk;j'k'}$ を含む二次形式（または二つの二次形式のレイリー商）として定義される。
   • 純粋状態写像の場合、$S$ は観測データから構築される。
   • 最適化問題は、二次制約付き二次計画問題 (QCQP) として定式化される。
4. 代数的定式化: 複数の二次制約の下でのフィデリティ汎数に対するラグランジュ停留条件を適用することで、著者らは新しい代数方程式を導出する：
   $$S U = \lambda U$$
   ここで、$S$ はエルミート・スーパーオペレーター、$U$ は演算子状態であり、$\lambda$ はスカラーの固有値ではなく、エルミート行列（「固有行列」）である。
5. ダイナミクス: 論文では、ユニタリ演算子 $U(t)$ の非定常（時間依存）進化について、以下の2つの潜在的な形式を提案している：
   • 線形高次写像: $i\hbar \frac{\partial U}{\partial t} = S U$.
   • 非線形グロス・ピタエフスキー型 (GPE) 写像: $i\hbar \frac{\partial U}{\partial t} = \langle U | S | U \rangle U$.
   • および、両者の組み合わせ。

主な貢献

• 量子力学の一般化: SQMは、状態を複数の二次制約に従う演算子として扱うことでTQMを拡張し、単一の正規化制約のみが存在する極限においてTQMを還元する。
• 新しい代数的問題: 方程式 $SU = \lambda U$（ここで固有値は行列である）の導出。これは標準的な固有値問題を一般化し、量子逆問題のための標準的なシュレディンガー的定常方程式を提供する。
• 解の階層: このフレームワークは、解の階層（ペア $(U^{[s]}, \lambda^{[s]})$）を自然に生成する。「基底状態」は、フィデリティ（$\text{Tr}(\lambda)$）を最大化する解に対応する。
• 標準形と直交性: 著者らは、$\lambda$ が対角であり $U$ が単位行列となる標準基底を定義する。彼らは解の間の直交条件を検討し、TQMとは異なり、直交性が固有行列 $\lambda$ に依存することを指摘している。
• 2D量子回路: 論文では、時間進化が水平軸と垂直軸の両方に沿って起こる「2D量子回路」の概念モデルを導入している。これは、単なる状態ベクトルの進化ではなく、量子システム自体の進化を表す。これは、スーパーオペレーター $S$ の「二つのハミルトニアン近似」に関連している。
• 測定の解釈: SQMにおいては、「測定単位」はスカラーではなく、特定の量子システム構成の実現を表すエルミート行列（固有行列 $\lambda$）になり得ると、論文では推測している。

結果

• 代数的解法: 定常問題は、代数方程式 $SU = \lambda U$ を解くことに帰着される。解のフィデリティは $F = \text{Tr}(\lambda)$ で与えられる。
• 数値実装: 著者らは、フィデリティのグローバルな最大値を求めるための反復アルゴリズムを実装した既存のソフトウェア（文献 [48]）に言及している。このアルゴリズムは、各ステップにおいて複数の二次制約を簡略化された制約と線形制約に置き換え、階層の最初の解に対してグローバルな最大値へと収束する。
• 高次写像との接続: 「二つのハミルトニアン近似」($S_{jk;j'k'} \approx \lambda_{jj'}\delta_{kk'} + \delta_{jj'}\nu_{kk'}$) において、$U(t)$ の時間進化は、システムが二つの独立したユニタリ列を通じて進化する確立された高次量子写像を再現する。
• 古典的計算モデル: この理論は、チャネルが二次的である限り、チャネルを古典的計算モデルとして扱うことで、古典コンピュータ上で量子チャネルをシミュレートすることを可能にする。

意義と主張
論文は、SQMが量子逆問題、変分量子アルゴリズム、およびユニタリ演算子を伴う機械学習タスクのための統一された代数的フレームワークを提供すると主張している。問題を一般化された固有値問題として定式化することで、標準的な数値最適化よりも深い構造的理解を提供する。

著者らは、定常問題にはハミルトニアンや量子チャネルを再構成するための明確な応用がある一方で、非定常ダイナミクス（システムの進化そのもの）は推測の域を出ないことを強調している。彼らは、この「ダイナミクスのダイナミクス」を自然に実装する物理的プロセスを発見したと主張しているのではない。むしろ、SQMを、特に「状態」（モデル）に対する制約が自然に二次的である機械学習や人工知能における新しいクラスのアルゴリズムを開発するための理論的ツールとして位置づけている。この研究は、直接的な量子力学と逆量子力学の架け橋となり、同じテンソル $S$ がデータからのシステムの再構成と、そのシステムの潜在的な進化の両方を支配していることを示唆している。

最後に、現在の実装は実数行列に限定されていること、および解の階層の「状態密度」の研究は今後の課題であることを述べて締めくくっている。本研究は、逆問題の数値的観察によって動機付けられた解析的研究であり、イア・パブロヴナ・イパトヴァの思い出に捧げられている。