[论文解读] Computing The Extension Complexities of All 4-Dimensional 0/1-Polytopes

Michael L. Oelze, Arnaud Vandaele+1 more|arXiv (Cornell University)|Jun 18, 2014

graph theory and CDMA systems参考文献 6被引用 5

一句话总结

本文通过改进扩展形式的下界和上界，计算了所有4维0/1-多面体的扩展复杂度，证明了每个此类多面体都存在一个最小尺寸的扩展，且该扩展本身也是一个0/1-多面体。作者为全部202个仿射等价类提供了完整的扩展复杂度列表和几何构造，表明所有最小扩展均保持强结构特性，包括扩展的顶点与其投影之间存在一一对应关系。

ABSTRACT

We present slight refinements of known general lower and upper bounds on sizes of extended formulations for polytopes. With these observations we are able to compute the extension complexities of all 0/1-polytopes up to dimension 4. We provide a complete list of our results including geometric constructions of minimum size extensions for all considered polytopes. Furthermore, we show that all of these extensions have strong properties. In particular, one of our computational results is that every 0/1-polytope up to dimension 4 has a minimum size extension that is also a 0/1-polytope.

研究动机与目标

• 计算每个4维0/1-多面体的扩展复杂度，为扩展形式的未来研究提供基础参考。
• 确定维度不超过4的0/1-多面体的最小尺寸扩展是否自身也是0/1-多面体，以解决关于有理扩展的一个开放问题。
• 为全部202个4维0/1-多面体的仿射等价类提供最小扩展的显式几何构造。
• 通过几何与组合技术改进扩展复杂度的一般下界和上界，以实现高效计算。
• 建立扩展复杂度的计算基准，或可为高维多面体及半定扩展的未来研究提供参考。

提出的方法

• 通过保持整数性与顶点对应关系等理想性质的几何构造，改进了已知的扩展复杂度的一般下界和上界。
• 应用Yannakakis定理，将扩展复杂度的计算转化为松弛矩阵的非负秩，利用双重描述法实现高效矩阵计算。
• 使用polymake和自定义脚本计算0/1-多面体的松弛矩阵，从而实现可处理的非负秩计算。
• 开发了矩形覆盖界的一种组合优化方法，以在保持计算可行性的同时提高下界。
• 对202个4维0/1-多面体的仿射等价类进行了全面计算，通过匹配下界与上界以确认精确的扩展复杂度。
• 验证了所有最小扩展均为0/1-多面体，并且在扩展的顶点与其投影之间存在一一对应关系。

实验结果

研究问题

• RQ1 所有维度不超过4的0/1-多面体是否都存在一个自身也是0/1-多面体的最小尺寸扩展？
• RQ2 能否通过改进的几何与组合技术，高效计算0/1-多面体的紧致下界与上界？
• RQ3 在维度≤4的0/1-多面体中，最小扩展的顶点与其投影之间是否存在一一对应关系？
• RQ4 所有4维0/1-多面体（按仿射等价）的扩展复杂度完整列表是什么？
• RQ5 本研究的结果能否作为计算4维中半定扩展复杂度的基础？

主要发现

• 所有4维0/1-多面体的扩展复杂度均已计算完成，结果涵盖全部202个仿射等价类。
• 维度不超过4的所有0/1-多面体的最小尺寸扩展本身也都是0/1-多面体，证实了强结构特性。
• 在每个最小扩展中，扩展的顶点与其投影之间均存在一一对应关系。
• 4维超立方体（顶点集为{0,1}^4）的扩展复杂度为12，与它的面数一致。
• 本文为全部202个类提供了最小扩展的显式几何构造，包括4维中可能存在的16,384个0/1-多面体。
• 结果表明，简单的几何构造足以实现最优扩展复杂度，且在4维中无需进一步复杂的界限。