統計的推定において、代数的多様性フレームワークは時間平均の代わりに代数群作用を用いることで、単一の観測から二次統計情報を抽出する。しかし、このフレームワークの中核課題である群選択問題は、これまで効率的な解法がなかった。M次元観測ベクトルが与えられ、その共分散構造が未知の場合、共分散に最も適合するスペクトル分解を持つ有限群を見つけることが目的である。対称群S_Mのすべての部分群を列挙するには指数時間が必要であり、現実的な問題サイズでは困難であった。
最近、Mitchell A. ThorntonがarXiv（論文ID: 2605.00834）に提出した論文では、この組合せ最適化問題を共分散行列のダブル・コミュテータから導かれる一般化固有値問題に帰着させることで、計算複雑度を多項式時間O(d^2M^2 + d^3)（dは生成元基底の次元）に低減できることを証明した。ダブル・コミュテータ行列の最小固有ベクトルは、閉形式で最適群生成器を直接構築し、反復最適化は不要である。この帰着は厳密であり、最適生成器が基底の張る空間に含まれる場合に限り、ダブル・コミュテータの最小固有値はゼロとなる。そうでない場合、その大きさは検証可能な最適性ギャップを提供する。
さらに、本論文はこの手法と独立成分分析（JADE法）、構造化行列近似問題、同時行列対角化との関連を確立し、ダブル・コミュテータ定式化が多項式時間、閉形式、検証可能性を同時に満たす唯一のアプローチであることを示している。この成果は、代数的多様性フレームワークの実用化への道を開き、信号処理や機械学習などの分野に重要な影響を与えることが期待される。論文は2026年4月4日に提出され、機械学習、計算複雑性、情報理論の分野にまたがる。