AI 中文总结
该研究证明了四维带状体的对数次模型不等式，扩展了三维相关结果，提出任意维度带状体的该类不等式猜想，归约后揭示了带状体混合体积、拟阵理论与实代数几何的关联。
AI 中文摘要
我们证明了四维欧氏空间中带状体的对数次模型不等式，扩展了Fradelizi、Madiman、Meyer和Zvavitch的三维结果。更一般地，我们猜想任意维度带状体都存在对数次模型不等式，该不等式可通过坐标投影体积、混合体积给出多种等价形式，统一了多个几何视角。我们将该猜想不等式归约为多项式不等式，其变量与超立方体顶点关联，系数编码0/1单形体积，此归约揭示了带状体混合体积、拟阵理论与实代数几何间的意外联系。
英文摘要
We prove a log-submodularity-type inequality for zonoids in $\mathbb{R}^4$, extending the three-dimensional result of Fradelizi, Madiman, Meyer, and Zvavitch. More generally, we conjecture a log-submodularity-type inequality for zonoids in arbitrary dimension. This inequality admits several equivalent formulations in terms of volumes of coordinate projections as well as in terms of mixed volumes, thereby unifying several geometric perspectives. We reduce the conjectured inequality to a polynomial inequality whose variables are associated with the vertices of a hypercube and whose coefficients encode the volumes of 0/1 simplices. This reduction reveals unexpected connections between mixed volumes of zonoids, matroid theory, and real algebraic geometry.
Comments24 pages
