Lee-Yang theorems for $q$-deformed oscillators and doubly-scaled SYK

理論物理学の広大な風景の中に、粒子間の相互作用の規則が固定されているのではなく、ランダムな分布から引き出される「無秩序系（disordered systems）」と呼ばれるクラスの系が存在します。想像してみてください。部屋の中に人々が溢れており、見知らぬ人同士のペアごとに、握手の仕方のルールが異なる、ランダムに割り当てられたルールを持っている状況を。その部屋全体の振る舞いは、この混沌としたつながりの網から立ち上がってきます。このような系の最も有名な例の一つが、サッチデフ・イェ・キタエフ（Sachdev-Ye-Kitaev）モデルであり、これは多くの相互作用する部分を含む複雑な量子系がどのように振る舞うかを研究するために用いられる数学的構成物です。これらの系を理解することは極めて重要です。なぜなら、これらはブラックホールの性質、ストレンジメタルの挙動、そして量子情報がどのように処理されるかの根本的な限界を探求するための、簡略化された実験室として機能するからです。これらの系を研究する上での中心的な問いは、水が氷に凍るような、状態の突然かつ劇的な変化である「相転移」が起こるかどうかです。この問いに答えるために、科学者たちは「分配関数」と呼ばれる特定の数学的対象に注目します。これは系の熱力学的性質を知るためのマスターキーとして機能します。もしこの関数の零点（値がゼロになる点）が、複素平面上の特定の領域に存在する場合、それは系が安定しているのか、あるいは相変化の瀬戸際にあるのかを明らかにします。

数十年にわたり、「リー＝ヤン特性（Lee-Yang property）」として知られる強力な概念が、物理学者のこの探索を導いてきました。この概念は、特定の種類の物理系において、分配関数の零点はバラバラに散らばっているのではなく、複素平面上の単一の直線上に閉じ込められていることを示唆しています。これが起こる場合、その系は有限の温度において相転移を起こさないことが保証され、その振る舞いは滑らかで予測可能なものとなります。この特性は、すべての原子が隣接する原子と整列する磁石のような、多くの「秩序系」については証明されていますが、サッチデフ・イェ・キタエフ・モデルのような「無秩序系」については、依然として謎のままです。相互作用のランダム性が数学を非常に困難なものにしており、このモデルの分配関数の零点を理解しようとするこれまでの試みは、近似やシミュレーションに頼っており、厳密な証明を提供することはできませんでした。

最近の研究において、プリンストン大学のアーポン・バス、およびシッダント・ミドハの研究者たちは、特定の領域である「二重スケーリング極限（doubly-scaled limit）」において、サッチデフ・イェ・キタエフ・モデルに関するこの長年のパズルをついに解きました。彼らは、この無秩序系の分配関数が、より単純な秩序系と同じように優雅な秩序を持って振る舞うことを、特に系が無限に大きくなる熱力学的極限において証明しました。具体的には、この極限において分配関数のすべての零点が正確に虚軸上に位置することを示し、この結果は、無限の大きさに近づく際に、この系が有限の温度において相転移を起こさないことを裏付けています。この発見は単なる数学的な好奇心ではありません。それは、なぜこれらの複雑な量子系が計算上扱いやすいのか、つまり、固有のランダム性にもかかわらず、なぜアルゴリズムが効率的にそれらをシミュレートできるのかを説明する、厳密な基礎を提供するものです。

この結論に達するために、著者らは、複雑なサッチデフ・イェ・キタエフ・モデルに直接取り組むことはしませんでした。代わりに、彼らは「q変形オシレーター（q-deformed oscillator）」と呼ばれる、より単純で関連した数学的対象に目を向けました。このオシレーターは、粒子の生成と消滅の規則が、パラメータ「q」によってわずかに修正された、簡略化された量子系です。このqは、変形の程度を制御します。qが1のとき、系は標準的なボソンとして振る舞います。qがマイナス1のとき、それはフェルミオンとして振る舞います。そして、その中間の値では、無秩序系の本質的な特徴を捉えた中間領域を占めます。研究者たちは、このオシレーターの「真空分配関数（vacuum partition function）」、すなわち系が空の状態であるときの状態を記述する特定の数学的表現に焦点を当てました。彼らは、この表現もまたリー＝ヤン特性、つまりその零点がすべて純虚数であることを証明することを目指しました。

この証明への道のりは、抽象的な代数学と、組合せ論（計数と配置の研究）との間の架け橋となることを必要としました。彼らは、真空分配関数が、様々な累乗の変数から構築される式である「多項式の列」の極限として理解できることを発見しました。彼らが「q変形マッチング多項式」と呼んだこれらの多項式は、集合内の要素をペアにする方法を数えることで構築されますが、そこにはひねりがあります。図式的な表現において、2つのペアが互いに交差するたびに、そのカウントは変形パラメータによって重み付けされます。研究者たちは、パラメータがマイナス1から1の間にある場合、これらの多項式には驚くべき特性があることを証明しました。すなわち、すべての根が実数であるということです。これは、それ自体としても重要な結果であり、これらの図式のランダムな交差と、結果として得られる方程式の非常に構造化された幾何学的特性を結びつけるものです。

これらの多項式が「実根を持つ（real-rooted）」ことを確立することで、チームは複素解析の強力な定理を用いて、これらの多項式の極限――すなわち真空分配関数そのもの――が、その零点を特定の直線上に閉じ込めることを示すことができました。この場合、多項式の構成方法により、分配関数の零点は虚数線上に位置します。これにより、q変形オシレーターの分配関数は、その零点が虚軸から外れないという、長年の予想が正しいことが確認されました。さらに、彼らは実軸に最も近い零点の位置を正確に特定し、それが安全な距離に留まっていることを示しました。これは系の安定性を理解する上で極めて重要です。

この厳密な証明を手にした研究者たちは、その知見を元のサッチデフ・イェ・キタエフ・モデルへと結びつけました。彼らは、粒子数と相互作用の複雑さが特定の形で共に増大する二重スケーリング極限において、無秩序系の振る舞いがq変形オシレーターの振る舞いと区別できないことを示しました。これにより、彼らは結果を直接転用することができました。すなわち、オシレーターの分配関数がすべての零点を虚軸上に持つため、サッチデフ・イェ・キタエフ・モデルの分配関数も、熱力学的極限において同様の挙動を示すということです。これは、系が無限に大きくなるにつれて、分配関数がゼロにならない「零点フリー・ストリップ（zero-free strip）」を実軸の周囲に保持することを意味します。

この零点フリー・ストリップが持つ意味は、物理学とコンピュータサイエンスの両面において深遠です。サッチデフ・イェ・キタエフ・モデルの文脈では、これは熱力学的極限における有限の温度での相転移の不在を厳密に証明しており、これまでの数値的な観察や大規模な計算を裏付けるものです。重要な点として、これは漸近的な特性であることに注意が必要です。有限のシステムサイズ（例えば n=8, k=4 など）においては、分配関数は非ゼロの実部を持つ零点を持つ可能性があり、リー＝ヤン特性は系が無限に大きくなることで初めて現れることが示唆されます。より広く言えば、この結果は、なぜこれらの無秩序な量子系が効率的なシミュレーションに適しているのかを説明しています。熱力学的極限において実軸の広い領域の周囲に零点が存在しないことは、通常は問題解決を不可能にする特異点に遭遇することなく、標準的な数学的手法を用いて系の特性を計算できることを意味します。これは、近年のこれらの混沌とした量子系のシミュレーションにおけるアルゴリズムの成功を説明する、統一的な数学的原理を提供しています。

研究者たちはまた、彼らの知見の組合せ論的な帰結についても探究しました。多項式が実根を持つということは、図式の交差パターンを数える数値列に、特定の種類の滑らかさが存在することを意味します。この「対数凹性（log-concavity）」として知られる性質は、系が安定し、良好に振る舞うときによく現れる、自然界や数学における特性です。q変形モーメントに対してこの特性を証明することで、チームは量子物理学の背後にある組合せ論的構造に新たな理解の層を加えました。また、彼らはこの優雅な振る舞いが、変形パラメータがマイナス1から1の範囲に厳密に限定されていることも示しました。この範囲の外では、数学的構造が崩壊し、零点が線から逸脱し、安定性の喪失を知らせることになります。

要約すれば、本研究は、無秩序な量子系の数学的構造を理解するための重要な一歩となります。サッチデフ・イェ・キタエフ・モデルの分配関数が熱力学的極限においてリー＝ヤン特性を満たすことを証明することにより、著者らは、この系の安定性と計算上の扱いやすさに対する厳密な説明を提供しました。彼らは、組合せ論的な図式のランダムな交差と多項式の根の幾何学的な位置との間の深い繋がりを明らかにすることで、この成果を達成しました。すなわち、無秩序によって定義される系の中にさえ、無限の大きさに限れば物理を予測可能なものに保つ根本的な秩序が存在することを示したのです。この発見は、q変形オシレーターに関する特定の予想を解決するだけでなく、リー＝ヤン特性がこれまで考えられていたよりも量子物質におけるより普遍的な特徴である可能性を示唆しており、他の無秩序系を分析するための強力な新しいツールを提供しています。