严格双曲多项式的广义Lax猜想
The Generalized Lax Conjecture for Strictly Hyperbolic Polynomials
首次发表
浏览论文内容
中文总结 AI 辅助
该论文报告了AI系统证明严格双曲多项式的双曲锥为谱面体，从而在一般情形下确立了广义Lax猜想，但完整猜想仍开放。
中文摘要 AI 辅助
我们报告了一个由人工智能系统发现的证明，针对以下陈述：每个严格双曲多项式的双曲锥都是谱面体。这确立了广义Lax猜想在一般情形下的成立，而完整猜想仍未解决。
英文摘要
We report a proof found by an artificial intelligence system for the following statement: The hyperbolicity cone of every strictly hyperbolic polynomial is spectrahedral. This establishes the generalized Lax conjecture for the generic case, while the full conjecture remains open.
发表机构
- TU Dresden（德累斯顿工业大学）
- University of Innsbruck（因斯布鲁克大学）
机构由 AI 辅助整理，请以论文原文为准。
