[論文レビュー] 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無限群問題における2面的不連続な区分線形最小有効関数を構築し、それが極端でないにもかかわらず、他の区分線形最小有効関数の凸結合として表現できないことを示している。また、制限されたクラスの区分的マイクロ周期的摂動に関する計算手法を導入し、有効関数の空間における新しい構造的挙動を明らかにした。

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モデルにおいて、極端でない2面的不連続な区分線形最小有効関数を構築する。
• その関数が許容する摂動を特徴づけ、それが区分的マイクロ周期的形態に制限されることを示す。
• この特定の摂動クラスに特化した計算手法を開発する。
• 関数の不連続点と勾配の構造を用いて、許容される摂動の制約を導出する。
• マイクロ周期性の性質を活用し、無限群問題の文脈における関数の非極端性を分析する。

実験結果

リサーチクエスチョン

• RQ1 最小有効関数が非極端であるにもかかわらず、他の区分線形最小有効関数の凸結合として書けないことはあり得るか？
• RQ2 2面的不連続な最小有効関数に許容される摂動の種類は何か？
• RQ3 区分的マイクロ周期性は、このような関数およびその摂動の構造をどのように制約するか？
• RQ4 不連続な最小有効関数の摂動を分析するための計算フレームワークは何か？
• RQ5 このような関数の存在は、無限群問題における最小有効関数の分類を再考させるか？

主な発見

• 構築された最小有効関数は、非自明な摂動を許容するため、極端でない。
• 極端でないにもかかわらず、他の区分線形最小有効関数の凸結合として表現できない。
• その関数に許容される摂動は、唯一、区分的マイクロ周期的形態に限られる。これは摂動空間が極めて制限されていることを示している。
• この制限された摂動クラスに対する有効な計算を可能にするアルゴリズムが開発された。
• この結果は、無限群問題において新しい構造的現象を明らかにし、凸結合による分類手法の完全性に疑問を呈する。