[論文レビュー] On the Removal Lemma for Linear Systems over Abelian Groups

Daniel Král͏̌, Oriol Serra+1 more|arXiv (Cornell University)|Jun 21, 2011

Limits and Structures in Graph Theory参考文献 13被引用数 4

ひとこと要約

この論文は、有限アーベル群上の整数線形系へ除去補題を拡張し、$Ax = b$ の解の数が $o(n^{m-k})$ であり、$k$-番目の行列式因子 $d_k(A)$ が群の位数 $n$ と互いに素である場合、各変数集合から $o(n)$ 個の要素を削除することで、すべての解を除去できることを示している。この結果は、有限体上での先行研究を一般化し、色付き超グラフの除去補題に依存している。

ABSTRACT

In this paper we present an extension of the removal lemma to integer linear systems over abelian groups. We prove that, if the $k$--determinantal of an integer $(k imes m)$ matrix $A$ is coprime with the order $n$ of a group $G$ and the number of solutions of the system $Ax=b$ with $x_1\in X_1,..., x_m\in X_m$ is $o(n^{m-k})$, then we can eliminate $o(n)$ elements in each set to remove all these solutions. This is a follow-up of our former paper 'A Removal Lemma for Systems of Linear Equations over Finite Fields' arXiv:0809.1846v1, which dealt with the case of finite fields.

研究の動機と目的

• 有限体から一般の有限アーベル群へ線形系の除去補題を一般化すること。
• この広い設定において除去補題が成り立つ正確な条件、特に $k$-番目の行列式因子 $d_k(A)$ に関与する条件を特定すること。
• $\gcd(n, d_k(A)) = 1$ のとき、$o(n^{m-k})$ の解が存在するならば、各集合から $o(n)$ 個の要素を削除するだけですべての解を消去できることを確立すること。
• 制限付き系と拡張を用いて、標準 $n$-巡回行列からの結果を一般線形系へ移すための枠組みを提供すること。

提案手法

• 著者たちは制限付き線形系を定義し、解構造を保ったまま標準 $n$-巡回行列への拡張を構築する。
• 系の解集合を、変数と方程式を頂点とし、色付きエッジで表す色付き $k$-一様超グラフに関連付ける。
• 構築された色付き超グラフに超グラフ除去補題を適用し、解超グラフのすべてのコピーを消去する小さなエッジ集合を同定する。
• 元の系と拡張系の間で解の間の全単射を確立し、拡張系における要素の削除が元の集合における削除に対応することを保証する。
• スミス標準形と行列式因子の性質を活用して、変換下でも $\gcd(n, d_k(A)) = 1$ の条件が保たれることを保証する。
• 構成により、拡張系における削除された要素を補助変数に影響しないように選べるため、元の系における解なし性質が保たれる。

実験結果

リサーチクエスチョン

• RQ1 行列 $A$ と群 $G$ に対して、線形系の除去補題が有限体から一般の有限アーベル群へ拡張される条件は何か？
• RQ2 行列 $A$ がフルランクでない場合でも、$d_k(A)$ が $|G|$ と互いに素であれば、除去補題は一般化可能か？
• RQ3 $\gcd(n, d_k(A)) = 1$ のとき、$Ax = b$ の解の数は解空間の構造とどのように関係するか？
• RQ4 互いに素性条件なしで除去補題を一般アーベル群へ拡張可能か？その場合、どのような修正が必要か？

主な発見

• 変数 $x_i \in X_i$ に対する $Ax = b$ の解の数が $o(n^{m-k})$ であり、$\gcd(n, d_k(A)) = 1$ であるならば、各 $X_i$ から $o(n)$ 個の要素を削除することで、すべての解を除去できる。
• この結果は、$k$-番目の行列式因子 $d_k(A)$ が群の位数 $n$ と互いに素であるという条件下で成り立ち、このとき系は期待される解数 $n^{m-k}$ を持つことが保証される。
• 解が色付き超エッジに対応する色付き超グラフモデルへの還元に依存しており、これにより超グラフ除去補題の適用が可能になる。
• 重要な技術的ステップとして、解構造を保ちつつ変数集合を制御可能な標準 $n$-巡回行列への元の系の拡張を構築することである。
• この方法により、拡張系における削除された要素を非本質的変数に限定でき、元の系における解なし性質が保たれる。
• 論文は、$\delta$ の境界の性質が変更されない限り、互いに素性条件を簡単に取り除くことはできないことを示している。このとき $\delta$ は行列の成分に依存するようになり、次元と $\epsilon$ のみに依存するものではなくなる。