[논문 리뷰] On the Removal Lemma for Linear Systems over Abelian Groups

Daniel Král͏̌, Oriol Serra외 1명|arXiv (Cornell University)|2011. 06. 21.

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$-순환 행렬로의 확장을 구성하는 것이다.
• 이 방법은 확장된 시스템에서 제거된 원소를 비핵심 변수에 국한시킬 수 있어, 원래 시스템에서의 해가 없는 성질을 유지한다.
• 논문은 공약수 조건을 쉽게 제거할 수 없으며, 이 경우 bound $\delta$의 성질이 변하여 더 이상 매트릭스의 차원과 $\epsilon$에만 의존하지 않고 행렬 원소에 의존하게 된다는 것을 보여준다.