[논문 리뷰] A connection between matchings and removal in abelian groups

James Aaronson|arXiv (Cornell University)|2016. 12. 13.

Limits and Structures in Graph Theory참고 문헌 7인용 수 3

한 줄 요약

이 논문은 순환군에서의 덧셈 매칭의 최대 크기(삼색합자유집합)와 유한 아벨군, 특히 순환군에서의 그린의 산술적 제거 보조정리의 경계 사이의 연결 고리를 설정한다. 포크와 라보스의 기법을 응용하여, 덧셈 매칭에 대한 다항식 또는 초지수적 경계가 존재할 경우, 이에 상응하는 초지수적 경계가 제거 정리에 적용되며, 매칭 밀도와 제거 효율성을 제어하는 함수 f와 g를 포함한 명시적인 정량적 상호작용이 존재함을 보여준다.

ABSTRACT

In a finite abelian group $G$, define an additive matching to be a collection of triples $(x_i, y_i, z_i)$ such that $x_i + y_j + z_k = 0$ if and only if $i = j = k$. In the case that $G = \mathbb{F}_2^n$, Kleinberg, building on work of Croot-Lev-Pach and Ellenberg-Gijswijt, proved a polynomial upper bound on the size of an additive matching. Fox and Lovász used this to deduce polynomial bounds on Green's arithmetic removal lemma in $\mathbb{F}_2^n$. If $G$ is taken to be an arbitrary finite abelian group, the questions of bounding the size of an additive matching and giving bounds for Green's arithmetic removal lemma are much less well understood. In this note, we adapt the methods of Fox and Lovász to prove that, provided we can assume a sufficiently strong bound on the size of an additive matching in cyclic groups, a similar bound should hold in the case of removal.

연구 동기 및 목표

• 순환군에서의 덧셈 매칭 최대 밀도와 그린의 산술적 제거 정리의 경계 사이의 정량적 연결 고리를 확립하기 위해.
• F₂ⁿ에서의 제거에 대한 다항식 경계를 일반 유한 아벨 군, 특히 Z/NZ로 확장하기 위해, 매칭 크기 제약 조건을 사용하기 위해.
• 덧셈 매칭 밀도의 감쇠 속도에 기반하여 초지수적 제거 경계를 달성할 수 있는 조건을 체계화하기 위해.
• 소수 차수 군에서의 포크-라보스 방법을 일반 순환군으로 일반화하기 위해, 축소와 구조 분석을 통해.
• 제거 경계가 매칭 크기 경계를 유도함을 보여주는 역관계를 확인함으로써 연결 고리의 날카로움을 확인하기 위해.

제안 방법

• 포크와 라보스의 푸리에 분석 및 조합적 프레임워크를 순환군에 적용하여, 덧셈 매칭 밀도를 핵심 매개변수로 사용하기 위해.
• 탐욕적인 삼각형 패킹 추론을 사용하여 입력 집합 A, B, C에서 서로소인 삼각형의 큰 집합을 식별함으로써, εN 개 이하의 원소 제거로는 모든 삼각형을 제거할 수 없음을 보장하기 위해.
• 삼각형의 구조를 유지하면서 일반 Z/NZ 문제를 소수 차수 군으로 축소하기 위해, 2M ≈ N인 소수 N을 선택하고 N 모듈로의 축소 사상 사용하기 위해.
• 그룹 내에서 삼각형을 형성하는 원소의 수와 덧셈 매칭의 밀도에 기반하여 집합 X, Y, Z의 크기를 제한하기 위해 레마 2.1을 적용하기 위해.
• Z/NZ에서 덧셈 매칭의 최대 밀도를 제한하는 함수 f(N)과 δ(삼각형 밀도)와 ε(제거 비용) 사이의 상호작용을 제어하는 함수 g(ρ)를 사용하기 위해.
• 탐욕적인 삼각형 패킹과 매칭 밀도 가정을 결합하고 f와 g의 단조성 조건을 적용하여 핵심 부등식 ε ≲ g(δ)√f(1/(g(δ)δ))를 유도하기 위해.

실험 결과

연구 질문

• RQ1 Z/NZ에서 덧셈 매칭의 밀도에 대해 어떤 조건이면 그린의 산술적 제거 정리에 강력한 경계를 이끌어낼 수 있는가?
• RQ2 최대 매칭 밀도 f(N)의 감쇠 속도는 δ에 대한 최선의 제거 경계 ε에 어떻게 영향을 미치는가?
• RQ3 F_p^n에 대한 포크-라보스 방법을 일반적인 유한 아벨 군, 특히 순환군으로 확장할 수 있는가?
• RQ4 덧셈 매칭 크기와 아벨 군에서 삼각형 제거의 효율성 사이의 정량적 관계는 무엇인가?
• RQ5 제거 경계가 매칭 크기 경계를 유도하는 역관계가 존재하는가?

주요 결과

• 논문은 Z/NZ에서 덧셈 매칭의 최대 밀도가 f(N)으로 유계일 경우, 제거 정리 경계가 ε ≲ g(δ)√f(1/(g(δ)δ))임을 증명한다. 이는 적절한 함수 g에 대해 성립한다.
• 베렌드 유형의 경계 f(N) ≲ exp(−c√log N)를 가정할 경우, 논문은 ε ≲ exp(−c₁√log(1/δ))임을 보이며, 이는 타워 타입 경계보다 초지수적 개선을 이룬다.
• 더 약한 가정 f(N) ≲ log⁻²⁻ᵞN (γ > 0)을 가정할 경우, 경계는 ε ≲ log(1/δ)⁻ᴼ⁽¹⁾로 변형되며, 이는 다항식 타입의 제거 비용을 나타낸다.
• 증명의 반복적 추론이 성립하기 위해 수렴 조건 ∑ᵢ 1/g(2⁻ⁱ) ≤ 1/4가 필수적이며, 이 조건이 실패할 경우 비자명한 경계를 도출할 수 없다는 것을 의미한다.
• 방법은 소수 N ≈ 2M에 대한 모듈로 축소를 통해 소수 차수 군에서 일반 순환군으로 일반화되며, 삼각형의 구조를 유지함으로써 결과의 확장을 가능하게 한다.
• 역관계가 확립되었으며, 제거 경계가 ε ≲ f(1/δ)임을 유도할 경우, 덧셈 매칭의 밀도는 f(N)을 초과할 수 없음을 보여주며, 이는 연결 고리의 날카로움을 확인한다.