七行、尺寸三十盒子中拉伸Littlewood-Richardson多项式系数正性的有限覆盖
A finite cover for coefficient positivity of stretched Littlewood-Richardson polynomials in the seven-row, size-thirty box
中文总结 AI 辅助
本文通过有限覆盖论证，结合精确枚举和Ehrhart计算，证明了七行、尺寸三十内所有拉伸Littlewood-Richardson多项式系数的非负性。
中文摘要 AI 辅助
我们给出了一个有限覆盖论证，用于证明所有分区长度至多为七且外部尺寸至多为三十的拉伸Littlewood-Richardson多项式的普通单项式系数的非负性。显式约简留下358,952个剩余三元组。计算部分包括精确有限枚举、局部约简检查和有理Ehrhart多项式计算。其三个命名依赖项在下面精确陈述，与它们所建立的数学蕴含关系分开。
英文摘要
We give a finite cover argument for nonnegativity of the ordinary monomial coefficients of every stretched Littlewood-Richardson polynomial with partition lengths at most seven and outer size at most thirty. Explicit reductions leave 358,952 residual triples. The computational part consists of exact finite enumeration, local reduction checks and rational Ehrhart polynomial computations. Its three named dependencies are stated precisely below, separately from the mathematical implication they establish.
