スパース最小二乗法における条件数バリア

本論文は、スパース最小二乗法における条件数問題を解析する。特に、ランダム化された厳密体積法に基づく小集合展開仮説の下で、スパース凸最適化における線形依存性を改善する多項式時間アルゴリズムが存在しないという予想を確立する。これは、最適化アルゴリズムの計算複雑性に関する理論的な限界を示すものである。

• スパース最小二乗法における条件数バリアに関する conjectured lower bound を確立。
• ランダム化された厳密体積小集合展開仮説に条件付きで、多項式時間アルゴリズムの限界を示す。
• 固定 $\gamma \in\n (0,1]$ に対し、特定の精度とスパース性の条件を満たすアルゴリズムの不存在を証明。
• 重み付き正則グラフ形式での証明。
• 証明は、Google内部で開発された自動化されたGeminiベースのエージェントシステムを使用して最初に得られた。