Matrix-product state skeletons in Onsager-integrable quantum chains

本論文は、自由フェルミオン模型から相互作用のある$N$状態のオナゲル可積分なカイラルクロック鎖へと、高密度な行列積状態（MPS）スケルトンの概念を拡張し、ギャップのある領域において高密度なスケルトンを形成し、かつ特定のスペクトルセクターにおける厳密な固有状態として機能するMPSを構成することで、秩序パラメータの閉形式による計算を可能にし、オナゲル代数を通じて新たな励起状態を明らかにしている。

要約

量子鎖（小さな磁石がさまざまな方向を向くことができる、一列に並んだ磁石の列）の振る舞いを表す、広大で複雑な風景を想像してみてください。物理学者はこの風景を「相図（フェーズ・ダイアグラム）」と呼んでいます。この風景のある領域では、磁石は穏やかで予測可能な状態に落ち着きます（「ギャップのある」領域）。別の領域では、磁石は混沌とし、激しく変動しています（「ギャップレス」な領域）。

何十年もの間、科学者たちはこの風景の穏やかな部分を完璧な精度でマッピングすることに苦労してきました。彼らには磁石の状態を近似するための強力なツールがありますが、それらのツールはぼやけた写真のようなものです。全体的なイメージは捉えられていますが、細部を見落としてしまいます。

イモージェン・キャンプとニック・G・ジョーンズによるこの論文は、この風景を鮮明に見るための新しい方法を紹介しています。彼らは、特定の量子鎖の穏やかな領域を貫く、隠れた「骨格（スケルトン）」を発見しました。

「骨格」のアナロジー

相図を密な森だと考えてみてください。通常、森を理解するためには、ぼやけた写真に基づいて木々がどのような様子かを推測しなければなりません。

著者たちは、この森の中を走る、特別で完全にクリアな経路を見つけ出しました。これらの経路はMPSスケルトンです。

• 経路： これらの特定の経路に沿って、量子磁石は「行列積状態（Matrix-Product State: MPS）」というツールを用いて数学的に完璧な精度で記述できる状態に落ち着きます。それは、まるで森の地面の、高精細な3D設計図を持っているようなものです。
• 密度： これらの経路は非常に数多く、かつ密に配置されているため、そこからほんのわずかな一歩も離れることはありません。もしランダムな地点での森の様子を知りたいなら、そのすぐ隣に、ほぼ完璧な答えを与えてくれる経路を見つけることができます。

単純なものから複雑なものへ

以前は、科学者たちはこれら（完璧な設計図）を「自由フェルミオン」モデルに対してのみ描くことができました。これらは、各磁石が独立して動く、相互作用のない単純な玩具のようなモデルです。

この論文は、この能力を相互作用するシステムへと拡張したという点で画期的な成果です。これらのシステムでは、磁石は互いに影響を及ぼし合います。つまり、一つの磁石の状態が隣接する磁石に影響を与えるのです。これは、静かに立っている人々の部屋から、全員が複雑な会話をしている部屋へと移行するようなものです。著者たちは、このノイズの多い相互作用の世界においても、会話が厳格で解けるパターンに従う、これらの隠れた、完全に計算可能な経路（骨格）が依然として存在することを示しました。

「オンスァーガー」の鍵

彼らが研究した特定の量子鎖は、「カイラル・クロック・モデル」と呼ばれます。これらのモデルは、「オンスァーガー代数」として知られる一連の数学的規則に従うという点で特殊です。

著者たちは、この代数をマスターキーのように使用しました。彼らは、もし量子鎖の「材料」（方程式における係数）を特定の数学的な形状（完全平方式）に配置すれば、システムが解ける状態を解錠できることを示しました。

• レシピ： もし材料を特定の方法で混ぜ合わせれば（数学的に、ある多項式が完全平方式であれば）、完璧に解ける「基底状態」（最もエネルギーが低く安定した状態）が得られることを見出しました。
• 励起状態： 彼らは最も穏やかな状態を見つけただけではありません。これら経路に沿った、少しエネルギーが高い状態である「励起状態」のセットも、完璧に解けることを発見しました。これは、建物の床だけでなく、一階へと続く完璧に定義された階段を見つけたようなものです。

読者が得られる意味

1. 推測ではなく正確な答え： 相互作用する膨大なクラスの量子システムに対して、著者たちは今や、近似ではなく、そのシステムの正確な状態を書き下すことができます。
2. 未来への地図： これらの「骨格」の経路は非常に密度が高いため、これらの穏やかな領域におけるあらゆるシステムの振る舞いを近似するための強力な手法を提供します。特定の量子鎖がどのように振る舞うかを知りたい場合、そのすぐ近くにある「骨格」の経路を見つけ、それをほぼ完璧な推定値として使用することができます。
3. 相関に関する新しいツール： この論文はまた、この手法を用いて「無秩序パラメータ（disorder parameter）」（システムがいかに無秩序であるかを測る指標）と呼ばれる特定の特性を計算しています。彼らは、これら相互作用するシステムにおいて、この特性のクリーンで閉じた形式の公式を見出しました。これは、より単純な非相互作用のケースでは既に知られていたことです。

彼らが「行わなかった」こと

論文が実際に主張していることに基づいて記述することが重要です：

• 彼らは、これをまだ現実世界の臨床用途や特定の量子コンピュータに適用してはいません。
• 彼らは、相図全体を解明したと主張しているわけではありません。彼らは、特定の固定点（fixed points）の周囲にある「ギャップのある（穏やかな）」領域に焦点を絞っています。
• 彼らは、風景のすべての地点に正確な解があるとは主張していません。あくまで、解が十分に密集しており、あらゆる地点を非常に良く近似できるということを述べています。

要約すると、著者たちは複雑な量子世界への「完璧にクリアな窓」を作り上げました。窓の外の世界は依然として複雑ですが、これらの窓は非常に数多く、かつ近接しているため、私たちは今、かつてないほどの明晰さで全体の姿を見ることができるようになったのです。

技術概要

技術要約：Onsager可積分量子鎖における行列積状態（MPS）スケルトン

問題提起
可積分性は、特定のハミルトニアンの解析的な洞察を提供する一方で、行列積状態（MPS）は、ギャップを持つ1次元系の基底状態を近似するための強力なツールを提供しますが、これら二つの概念の交わり、特に自由フェルミオンモデルを超えた領域については、依然として十分に探索されていません。先行研究では、自由フェルミオン鎖（具体的にはBDIおよびAIIIクラス）において、厳密なMPS基底状態を持つハミルトニアンの集合が、相図内に「高密度なスケルトン（dense skeleton）」を形成することが確立されています。このスケルトンは、厳密に解けるモデルの列を用いることで、一般的な基底状態を解析的に近似することを可能にします。しかし、$N$状態のOnsager可積分なカイラルクロックモデル（$N > 2$）のような相互作用系については、そのようなMPSスケルトンの存在や構造は未知でした。課題は、Onsager可積分モデルは関数方程式を通じて厳密な解を持つものの、その基底状態は一般に厳密なMPSではないこと、また、$N > 2$ の場合の相図は、$N=2$ の場合とは異なり、広がりのあるギャップレス領域を含むことです。

手法
著者らは、ハミルトニアンの族 $H_A[\{t_m\}, N] = \sum_m t_m A_m$ を調査しています。ここで、$A_m$ は$N$状態カイラルクロック鎖上で作用するOnsager代数の生成子です。コアとなる手法は以下の通りです：

1. 代数的構成： Onsager代数の関係式と、ピボット手順（$A_m$ によって生成されるユニタリ変換）を利用して、スケルトン上の一般的なハミルトニアンを、既知の基底状態を持つ固定点ハミルトニアン（$A_k$）へと写像します。
2. 多項式による特徴付け： ハミルトニアンに関連付けられたローラン多項式 $f(z) = \sum t_m z^m$ を定義します。著者らは、この族の中で $f(z) = \pm z^p g(z)^2$ （ただし $g(z)$ は多項式）を満たす部分集合を特定しました。この条件は、$N=2$ の自由フェルミオンのスケルトン条件を一般化したものです。
3. 反復的MPO変換： 固定点ハミルトニアンの基底状態（$| \psi_p \rangle$）に対し、一連の行列積演算子（MPO） $M(k) = \exp(\mp \beta_k A_{p+k})$ を適用することで、厳密な固有状態を構成します。パラメータ $\beta_k$ は、アルゴリズム的手順（Schur-Cohnアルゴリズムと同一）を用いて $g(z)$ の係数から導出されます。
4. スペクトル解析： 構成された固有状態が真の基底状態となる領域を決定するために、変換されたハミルトニアンのスペクトルを分析します。これには、スペクトルギャップおよび単位円上における $f(z)$ の零点の挙動の検討が含まれます。

主要な貢献および結果

• 相互作用モデルにおけるMPSスケルトンの存在： 本論文は、$N > 2$ のカイラルクロックモデルにおいて、$f(z) = \pm z^p g(z)^2$ を満たすハミルトニアンが、固定点生成子 $A_k$ を囲むギャップ領域内で、厳密なMPS基底状態（または励起状態）を持つことを示しています。これは、相互作用のあるOnsager可積分モデルの族において、MPSスケルトンを初めて特定したものです。
• 厳密な固有状態の構成（結果1）： $f(z) = \pm z^p g(z)^2$ を満たす任意のハミルトニアンに対し、著者らは厳密な固有状態 $|\phi\rangle = M(d)\dots M(1) |\psi_p^\pm\rangle$ を構成します。係数から導かれる $b_k$ が $|b_k| \neq 1$ を満たす場合、この状態は有限のボンド次元を持つ厳密なMPSとなります。
• 基底状態の特定（結果2）： 構成された固有状態は、固定点ハミルトニアン $A_k$ とギャップのある経路で接続されたギャップ領域の和として定義される集合 $S$ 内において、厳密な基底状態であることが証明されます。これらの領域の外側（ギャップレスセクター）では、この状態は固有状態ではありますが、もはや基底状態ではありません。
• スケルトンの密度（結果3）： スケルトン上のハミルトニアンの集合は、ギャップ領域 $S$ 内で高密度です。$S$ 内の任意の一般的なハミルトニアンについて、その基底状態エネルギー密度は、スケルトン上のハミルトニアンの列によって任意に良く近似することができます。これは、相互作用のあるOnsager可積分鎖における基底状態を近似するための解析的なアプローチを提供します。
• 励起状態（結果4）： 著者らは、ゼロでない運動量セクターにおける低エネルギー状態に対応する、厳密なMPS励起状態の集合を特定しました。これらは基底状態と同様に構成されますが、固定点ハミルトニアンの特定の励起セクターに対して作用します。
• 無秩序パラメータの計算： 応用として、著者らはスケルトン上の特定の相互作用モデル（$H = A_0 + 2aA_1 + a^2A_2$）における無秩序パラメータの閉じた形式の表現を導出し、既知の $N=2$ のIsingの場合の結果を任意の偶数 $N$ へと一般化しました。

意義と主張
本論文は、相互作用のあるOnsager可積分系において、MPSスケルトンを部分的に「露出（expose）」させることを主張しており、この概念を自由フェルミオンクラスから相互作用のあるカイラルクロックモデルへと拡張しています。その意義は以下の点にあります：

1. 解析的近似： 相互作用のあるモデルのギャップ領域において、厳密に解けるMPS状態の高密度な集合を用いることで、数値的なMPS最適化やベテ・アンザッツによる対角化を回避して、基底状態を近似する手法を提供すること。
2. 代数的普遍性： 得られた結果の多くが、特定の表現ではなく主にOnsager代数の代数的構造に依存していることを強調しており、他のOnsager可積分ハミルトニアンへの適用可能性を示唆していること。
3. 固有ベクトルへの新しい視点： これらのモデルを解くために通常用いられる複雑な関数方程式から大きく切り離された、MPS固有状態の直接的な構成法を提供し、相互作用のあるカイラルクロック鎖の固有ベクトル構造に対する新しい視点を与えること。

著者らは、その範囲について謙虚な姿勢を保っており、$f(z) = \pm z^p g(z)^2$ という条件は厳密なMPS基底状態のための十分条件ではあるが、必ずしも必要条件ではないこと、また、この構成法はギャップが閉じる点や係数が発散するような測度ゼロの点を除外していることを述べています。また、スケルトンは $S$ の領域内で高密度であるが、相境界（特にギャップレス領域）自体はこの手法によって完全に特徴付けられるものではないことも指摘しています。