[論文レビュー] An effective solution to convex $1$-body $N$-representability

Federico Castillo, Jean‐Philippe Labbé+4 more|arXiv (Cornell University)|May 13, 2021

Advanced Chemical Physics Studies被引用数 7

ひとこと要約

本稿では、固定スペクトルをもつ混合量子状態における凸1体N表現可能性問題を、対称的ポリトープとスウィープポリトープを用いて包括的に解決する。一般化された排他原理を線形不等式として導出する。主な貢献は、一般化されたパウリ制約を回避するため、スペクトルの非ゼロ成分に基づいて階層的にスペクトル制約を符号化する2つの新しいポリトープ族—ラインアップポリトープ—の同定である。

ABSTRACT

From a geometric point of view, Pauli's exclusion principle defines a hypersimplex. This convex polytope describes the compatibility of $1$-fermion and $N$-fermion density matrices, therefore it coincides with the convex hull of the pure $N$-representable $1$-fermion density matrices. Consequently, the description of ground state physics through $1$-fermion density matrices may not necessitate the intricate pure state generalized Pauli constraints. In this article, we study the generalization of the $1$-body $N$-representability problem to ensemble states with fixed spectrum $\mathbf{w}$, in order to describe finite-temperature states and distinctive mixtures of excited states. By employing ideas from convex analysis and combinatorics, we present a comprehensive solution to the corresponding convex relaxation, thus circumventing the complexity of generalized Pauli constraints. In particular, we adapt and further develop tools such as symmetric polytopes, sweep polytopes, and Gale order. For both fermions and bosons, generalized exclusion principles are discovered, which we determine for any number of particles and dimension of the $1$-particle Hilbert space. These exclusion principles are expressed as linear inequalities satisfying hierarchies determined by the non-zero entries of $\mathbf{w}$. The two families of polytopes resulting from these inequalities are part of the new class of so-called lineup polytopes.

研究の動機と目的

• 固定スペクトルをもつ混合状態への1体N表現可能性問題の一般化を図り、有限温度および励起状態系の記述を可能にする。
• 一般化されたパウリ制約の計算複雑性を回避するため、凸緩和フレームワークを構築する。
• フェルミ粒子およびボソンに対して、線形的で階層的であり、スペクトルの非ゼロ成分によって決定される普遍的な排他原理を導出する。
• 1体密度行列のスペクトル制約を捕える新しいクラスのポリトープ—ラインアップポリトープ—を導入し、その特徴を明らかにする。
• 対称的かつ置換不変な凸幾何学を通じて、シュール＝ホーンの定理とパウリの排他原理を混合状態へと統一的かつ拡張的に展開する。

提案手法

• 固定スペクトル制約下での1体縮約密度行列の凸包をモデル化するために、対称的ポリトープとスウィープポリトープを用いる。
• ギャール順序と置換不変幾何学を用いて、フェルミ的およびボソン的状態から生じるスペクトルポリトープの構造を分析する。
• 占有ベクトルとrラインアップを定義し、単粒子状態の配置から、得られるポリトープの頂点および面を体系的に生成する。
• サポート関数と法フラヌ技術を用いてポリトープを特徴付け、その面を定義する不等式を導出する。
• フェルミ的およびボソン的配置集合に対して、閾値イデアルの概念を導入し、排他制約の階層を分析する。
• スペクトル制約を階層的に符号化するrラインアップの凸包として、ラインアップポリトープ $\mathsf{L}_{r,\bm{w}}(\mathbf{V})$ を構築する。

実験結果

リサーチクエスチョン

• RQ1 純粋状態を超えて、固定スペクトルをもつ混合状態への1体N表現可能性問題をどのように一般化できるか？
• RQ2 フェルミ的およびボソン的混合状態の1体縮約密度行列のスペクトルを特徴付ける最小の線形不等式の集合は何か？
• RQ3 混合状態の排他原理は、一般化されたパウリ制約およびシュール＝ホーンの定理とどのように関係するか？
• RQ4 N表現可能な混合状態のスペクトル制約から生じる新しいクラスのポリトープは何か？そして、それらの幾何学的構造はいかなるものか？
• RQ5 組合せ論的および凸幾何学的ツールを用いて、スペクトルの非ゼロ成分から、スペクトル制約の階層を体系的に導出できるか？

主な発見

• 著者らは、固定スペクトル $\bm{w}$ をもつN表現可能な混合状態の1体スペクトルを特徴付ける、新しいポリトープ族—ラインアップポリトープ—を同定した。フェルミ粒子およびボソンの両者に適用可能である。
• フェルミ粒子の場合、スペクトルポリトープ $\mathsf{Σ}^{\mathrm{f}}(\bm{w},N,d)$ は、フェルミ的配置集合 $\mathbf{Fer}(N,d)$ の$r$-ラインアップの凸包として示され、$\bm{w}$ の非ゼロ成分によって階層的に順序付けられた制約を持つ。
• ボソンの場合、スペクトルポリトープ $\mathsf{Σ}^{\mathrm{b}}(\bm{w},N,d)$ は同様に、ボソン的配置集合 $\mathbf{Bos}(N,d)$ の$r$-ラインアップの凸包として特徴付けられ、類似した階層的排他原理を持つ。
• 一般化された排他原理は、ラインアップポリトープの法フラヌから導かれる線形不等式として表現され、階層は $\bm{w}$ の非ゼロ成分の数によって決定される。
• 一般化されたパウリ制約を計算する必要を避け、対称的およびスウィープポリトープ技術を用いて直接1体スペクトルの凸包を構築することで、解決策が得られる。
• このフレームワークにより、パウリの排他原理とシュール＝ホーンの定理が、凸幾何学を通じてより広範な文脈へと統一的かつ拡張的に展開される。