Schubitopes 不是 Ehrhart 正的
Schubitopes are not Ehrhart positive
AI总结:
该研究针对 Monical 等人关于 Schubitopes 是 Ehrhart 正的猜想,通过 ChatGPT 中的 GPT-5.6 Sol Pro 找到反例,证明 Schubitopes 并非 Ehrhart 正的。
AI中文摘要:
Schubitopes 是一类广义置换多面体,作为 Schubert 多项式与 GL_n 的 Demazure 特征标的牛顿多面体出现。Monical、Tokcan 和 Yong 猜想 Schubitopes 是 Ehrhart 正的,我们给出该猜想的反例:一个 Schubitope 的 Ehrhart 多项式单项式展开中存在负系数,该例子是通过 ChatGPT 中的 GPT-5.6 Sol Pro 发现的。
英文摘要:
Schubitopes are a family of generalized permutahedra arising as the Newton polytopes of both Schubert polynomials and Demazure characters of $\mathrm{GL}_n$. Monical, Tokcan, and Yong conjectured that Schubitopes are Ehrhart positive. We exhibit a counterexample to this conjecture, a Schubitope whose Ehrhart polynomial contains a negative coefficient in its monomial expansion. This example was found using GPT-5.6 Sol Pro in ChatGPT.