[論文レビュー] On the removal lemma for linear configurations in finite abelian groups

Lluís Vena|arXiv (Cornell University)|May 9, 2015

Limits and Structures in Graph Theory参考文献 18被引用数 3

ひとこと要約

本稿では、有限アーベル群における線形配置に組合せ的除去補題を一般化するためのハイパーグラフベースの表現フレームワークを導入する。方程式系をハイパーグラフとしてモデル化することで、著者らは有限アーベル群間の準同型写像に関する除去補題を確立し、同一の行列式条件のもとで、少数の要素を削除することで配置を除去可能であることを証明した。この結果は、等差数列や置換パターンへの応用を含む。

ABSTRACT

We present a general framework to represent discrete configuration systems using hypergraphs. This representation allows one to transfer combinatorial removal lemmas to their analogues for configuration systems. These removal lemmas claim that a system without many configurations can be made configuration-free by removing a few of its constituent elements. As applications of this approach we give, an alternative proof of the removal lemma for permutations by Cooper, a general version of a removal lemma for linear systems in finite abelian groups, an interpretation of the mentioned removal lemma in terms of subgroups, and an alternative proof of the counting version of the multidimensional Szemerédi theorem in abelian groups with generalizations.

研究の動機と目的

• 離散的配置系をハイパーグラフを用いて表現する一般枠組みを構築すること。
• グラフおよびハイパーグラフからの組合せ的除去補題を、有限アーベル群における線形方程式系へと拡張すること。
• 有限アーベル群における準同型写像系に対して、互いに素な行列式条件の下で除去補題を確立すること。
• 既知の結果（例えば置換の除去補題や多次元ゼメレディの定理）の代替的証明を提供すること。
• 表現可能なハイパーグラフ系を通じて、離散的組合せ的構造と代数的群論的配置を結びつけること。

提案手法

• 頂点が群の元に対応し、辺が解のタプルを表すハイパーグラフとして、線形配置系を表現する。
• 表現可能性の概念を用いて、有限アーベル群上の連立一次方程式系とハイパーグラフ配置を結びつける。
• 構築されたハイパーグラフ表現にハイパーグラフ除去補題（定理11）を適用し、除去結果を導出する。
• 線形方程式系の解の除去問題を、ハイパーグラフにおける辺の除去問題に還元し、ハイパーグラフモデルの正則性および数え上げ的性質を活用する。
• 有限アーベル群間の準同型写像の構造を活用して、特にクラスタ分割と辺彩色を用いて表現可能な系を定義・分析する。
• 非自明な変数を分離し、解の数を定数倍の要因で保ちながら、コアなハイパーグラフ表現にシステムを簡略化する変換を導入する。

実験結果

リサーチクエスチョン

• RQ1 組合せ的除去補題は、ハイパーグラフから有限アーベル群における線形方程式系へ一般化可能か？
• RQ2 線形系の定義行列に対して、どのような代数的条件が有限アーベル群における除去補題の成立を保証するか？
• RQ3 置換の除去補題は、ハイパーグラフ表現フレームワークを通じて再構成可能か？
• RQ4 多次元ゼメレディの定理は、アーベル群におけるハイパーグラフ論的解釈を有するか？
• RQ5 有限アーベル群間の準同型写像の構造は、表現可能なハイパーグラフ系を介してどのように符号化され、分析可能か？

主な発見

• 係数行列の最大行列式が群の位数と互いに素である限り、有限アーベル群における線形方程式系に対して除去補題が確立される。
• 解の数が δ|G|^{m-1} 未満である場合、各変数集合から高々 ε|G| 個の要素を削除することで、解の数を 0 にできる。
• このフレームワークにより、置換の除去補題の代替的証明が得られ、ハイパーグラフ表現を用いてクーパーの結果を再現する。
• この手法により、アーベル群における多次元ゼメレディの定理の数え上げ版に対する新たな証明が得られ、任意の有限アーベル群への一般化が可能となる。
• ハイパーグラフ表現は、解の数を定数倍の要因で保ち、ハイパーグラフからの除去補題を代数的配置系へと移行可能である。
• 構成法により非自明な変数を分離し、コアなハイパーグラフ系に簡略化可能であり、削除操作に対しても解の構造が維持される。