[论文解读] Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. VI. The Curious Case of Two-Sided Discontinuous Functions

Matthias Köppe, Yuan Zhou|arXiv (Cornell University)|May 12, 2016

Geometric and Algebraic Topology参考文献 10被引用 8

一句话总结

本文构建了一个在1-行Gomory–Johnson无限群问题中具有两面不连续分段线性极小有效函数的构造，该函数并非极端函数，但无法表示为其他分段线性极小有效函数的凸组合。本文提出了一种针对受限类分段微周期扰动的计算算法，揭示了有效函数空间中一种新颖的结构性行为。

ABSTRACT

We construct a two-sided discontinuous piecewise linear minimal valid function for the 1-row Gomory--Johnson model which is not extreme, but which is not a convex combination of other piecewise linear minimal valid functions. The new function only admits piecewise microperiodic perturbations. We present an algorithm for computations with a restricted class of such perturbations.

研究动机与目标

• 研究1-行Gomory–Johnson无限群问题中极小有效函数的结构，超越极端函数的范畴。
• 识别并构造一个非极端但无法表示为其他分段线性极小有效函数凸组合的极小有效函数。
• 分析此类函数所容许的扰动性质，特别关注分段微周期结构。

提出的方法

• 在1-行Gomory–Johnson模型中构造一个非极端的两面不连续分段线性极小有效函数。
• 表征该函数所容许的扰动，表明其仅限于分段微周期形式。
• 开发一种专用于此类特定扰动类计算的算法。
• 利用函数不连续点与斜率的结构，推导出容许扰动的约束条件。
• 利用微周期性性质，分析该函数在无限群问题背景下非极端性的成因。

实验结果

研究问题

• RQ1 是否存在一个极小有效函数是非极端的，但无法表示为其他分段线性极小有效函数的凸组合？
• RQ2 两面不连续的极小有效函数可容许哪些类型的扰动？
• RQ3 分段微周期性如何约束此类函数及其扰动的结构？
• RQ4 分析不连续极小有效函数扰动所需的计算框架是什么？
• RQ5 此类函数的存在是否挑战了无限群问题中极小有效函数的分类体系？

主要发现

• 所构造的极小有效函数并非极端函数，因其容许非平凡扰动。
• 尽管非极端，该函数无法表示为其他分段线性极小有效函数的凸组合。
• 该函数唯一容许的扰动为分段微周期形式，表明其扰动空间高度受限。
• 已开发出一种算法，可有效处理此类受限扰动类的计算。
• 该结果揭示了无限群问题中一种新的结构性现象，挑战了凸组合分解作为分类工具的完备性。