Invariant Algebras of Low-Rank Neutrino Matter Flows: Krylov-Plücker Invariants, the $3+1$ Toric Ring, and Controlled Deformations

技術要約：低ランク・ニュートリノ物質フローの不変代数

問題提起
物質中におけるニュートリノ振動は、フレーバー基底において、物質ポテンシャルによる低次元の加法的変形を受けるハミルトニアンによって支配される。質量基底におけるスペクトル応答（固有値および混合ベクトル）は複雑で非線形な挙動を示す一方で、フレーバー基底による記述は初等的な平行移動である。先行研究では、標準的な3世代または3+1系のような特定のシナリオにおいて、特定の物質不変量（例：Toshev関係、KTY恒等式、Harrison-Scott不変量）や局所的な超越基底が特定されている。しかし、以下の3つの構造的な問いが未解決のまま残されていた：

1. 既知のランク1の場合を超えて、任意の低ランクの物質ポテンシャルに対して不変量を支配する一般的な定理は存在するか？
2. 代数的に独立な局所座標の集合と、大域的な多項式不変環を、特に物理的に関連のある層（strata）における有理再構成に関して、どのように区別すべきか？
3. 独立に変容する対角成分ポテンシャル、非対角の非標準相互作用（NSI）、および放射補正といった現実的な拡張は、これらの不変量の存在と構造にどのように系統的な影響を与えるのか？

手法
本論文は、物質不変量を、フレーバー基底のハミルトニアン空間に対する2つの可換な作用の共通核として扱う統一的な代数的枠組みを開発する：

1. フレーバー再位相化（Flavor Rephasing）: 複素化されたフレーバー再位相化トーラス $T_f \cong (\mathbb{C}^\times)^n / \mathbb{C}^\times$ の作用。
2. 物質平行移動（Matter Translation）: 物質スプリアン $P_A$ によって指定される方向への加法的平行移動。

著者は、不変代数を、再位相不変環と平行移動微分作用素 $D_A$ の核の共通部分として定式化する。解析は、スペクトル退化時における正則性を確保するために複素座標環上で進行し、後に物理的な観測量に対してエルミート実形式へと制限される。

主要な数学的ツール：

• トーリック幾何学（Toric Geometry）: フレーバーグラフ上の有向サイクルによって生成される半群代数として、非対角成分の不変環をモデル化する。
• クリロフ部分空間（Krylov Subspaces）: ハミルトニアンと物質スプリアンからブロック・クリロフ行を構成し、外積共変量を特定する。
• プルベッカー座標（Plücker Coordinates）: これらの共変量のスペクトル・プルバックを解析し、因数分解の性質を決定する。
• 制御理論（Control Theory）: 特定の変形下での可観測行列の不変性を証明するために、出力注入（output injection）の概念を利用する。

主要な貢献および結果

1. 対角物質フローの一般構造
$\ell$ 次元の空間 $W$ をスパンする $k$ 個の独立なトレースレス対角物質方向について、本論文は不変代数が以下のテンソル積に分解することを証明する：
$$\mathcal{I}_{n,W}^{\text{diag}} \cong \mathbb{C}[d_1, \dots, d_{n-1-\ell}] \otimes \mathbb{C}[z_{\alpha\beta} | \alpha \neq \beta]^{T_f}$$
ここで、第1因子は影響を受けない対角線形形式を表し、第2因子は再位相不変な非対角サイクル代数である。クリール次元は $n(n-1) - \ell$ として導出される。この結果は、固定組成の物質、独立に変容する密度、およびフレーバー非普遍的な放射補正を統一する。

2. 低ランク・クリロフ・プルベッカー不変量
共通の実効的サポートがランク $r$（スカラーシフト後）を持つ物質方向について、著者はブロック・クリロフ行列 $K_q$ を構成する。彼らは、$K_q$ の行の外積が物質フローに沿って一定であることを証明する。

• ランク1: $r=1$ のとき、極大小行列式は既知のヴァンデルモンド因数分解を与え、KTY関係のような既知の恒等式を回収する。
• 高ランク ($r \ge 2$): 本論文は「分離不能（no-separation）」定理を確立する。正方ケース $n=qr$（$q, r \ge 2$）において、クリロフ行列式のスペクトル・プルバックは、普遍的に分離されたプルベッカー・スペクトル因数分解（すなわち、プルベッカー項とスペクトル多項式の積として書けること）を持たない。さらに、いかなるペアの固有値差も普遍的な除因子にはならない。
• 4×4、ランク2の分類: 物理的に中心的な3+1系（$n=4, r=2$）に対する完全な分類を提供する。行列式は一般的なプルベッカー層（stratum）上では既約であるが、特定のプルベッカー座標が消滅する境界層において因数分解されるか、あるいは他の層において恒等的に消滅する（マトロイド基底パッキングの失敗）。

3. グローバルな標準3+1トーリック環
標準的な固定組成3+1系について、非対角代数は完全4頂点グラフのトーリック・サイクル環として特定される。

• 生成元: 最小生成集合は20個の単項式からなる：6個の2サイクル（エッジ係数）、8個の有向三角形、および6個の有向四角形。
• 関係式: 関係式のイデアルは、高さ11の素な二項トーリックイデアルであり、55個の二項式からなる一意な最小マルコフ基底によって生成される。
• 局所 vs グローバル: 一般に引用される「11個の不変量」は、特定のエッジ係数が非ゼロである稠密な開集合上で有効な局所座標系を構成するが、グローバルな多項式生成集合にはなり得ないことを本論文は示している。具体的には、四角形不変量はエッジ係数による除算なしには三角形からグローバルに再構成できない（エッジ係数が物理的層で消失する可能性があるため）。
• CP構造: CP保存のグローバルな基準を提示する：すべての4つの三角形ペアおよびすべての3つの四角形ペアの虚部が消滅することである。また、弦のない四角形サポートにおいて、三角形の位相だけではCP対称性の破れを検出するには不十分であることを示す。
• 特異性: 物理的な商（quotient）は、ハミルトニアンのサポートグラフが連結である場合に限り滑らかである。非連結なサポートグラフは、商における特異な層に対応する。

4. 制御された変形およびNSI
本フレームワークは、異なる種類の物質変形を区別する：

• 対角補正: これらは対角消滅部分空間を回転させるが、非対角サイクル代数とそのシジジー（syzygies）は全く変化させない。
• 結合された非対角NSI: もし非対角NSIが対角アンカーに結合されている場合、不変代数は正確な「シア（shear）」を受ける（定理VIII.1）。元のサイクル生成元は、トーリック構造とシジジーを維持する「ドレスト（dressed）」生成元に置き換わる。
• 独立な非対角NSI: もしNSI方向が独立に変容する場合、それは新たな平行移動方向として作用する。これは、不変環の次元を不連続に減少させる（微小な結合であっても）。また、元のサイクルが新しい核の中に偶然存在しない限り、元のサイクルの正確な不変性を破壊する。
• 放射補正: これらは、フローの方向を回転させる対角変形として扱われる。これらは非対角サイクル代数を保持するが、物質サポートの実効ランクを上昇させる可能性があり、それによって（たとえフローが1次元のままであっても）特殊なスペクトル因数分解（ヴァンデルモンド形式のような）を破壊する可能性がある。

意義および主張
本論文は、ニュートリノ物理学においてしばしば混同される3つの異なる概念の間の厳密な代数的分離を提供すると主張している：

1. 第一積分（First Integrals）: 特定の軌道に沿って一定である量。
2. グローバル多項式不変量（Global Polynomial Invariants）: 全体的な代数商上で正則な量。
3. スペクトル因数分解（Spectral Factorization）: 混合項と固有値項の単一の積へと因数分解するというより強い性質。

著者は、厳密な不変量の存在は局所的なハミルトニアン族の性質であり、スペクトル因数分解の存在とは別物であることを強調している。本フレームワークは、なぜToshev関係のような恒等式が物質ポテンシャルの特定のランクやサポートに対して敏感である一方で、基礎となるサイクル代数が堅牢であるのかを明確にする。本研究は、特定の制限された補正クラス（例：特定の因数分解形式を要求するもの）に起因する障害と、多項式不変量の非存在との違いを明確にすることで、NSI解析のための正確な代数的入力を提供する。

本論文は、その範囲を有限次元のエルミート伝搬ハミルトニアンに限定しており、非エルミート崩壊、デコヒーレンス、集団的自己相互作用、および完全な実験的感度予測は対象外としている。また、一般化された質量順序の縮退を解決したりUV完備性を提供したりすることを目的とするものではなく、低次元のアフィン幾何学の範囲内で、有効パラメータの非線形応答を整理するものである。