[논문 리뷰] An application of the sum-product phenomenon to sets having no solutions of several linear equations

Ilya D. Shkredov|arXiv (Cornell University)|2016. 09. 21.

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

한 줄 요약

이 논문은 유한체에서의 합-곱 현상(sum-product phenomenon)을 적용하여, $\mathbb{F}_p$의 부분집합이 형태 $x_1 + a_jx_2 + b_jx_3 = b_j$의 다수의 선형 방정식을 피하는 경우의 크기 상한을 도출한다. 스펙트럼 방법과 교차 이론을 사용하여, 이러한 집합의 크기가 $\kappa < 3/20$일 때 $O(p / t^\kappa)$임을 증명하며, 기존의 상한을 향상시키고, 새로운 기법이 없이도 지수는 $1/3$을 초과할 수 없음을 보여준다. 이 결과는 비평균 집합, 공선 삼중항, 혼합 에너지 등에 응용된다.

ABSTRACT

We prove that for an arbitrary $κ\le \frac{1}{3}$ any subset of $\mathbf{F}_p$ avoiding $t$ linear equations with three variables has size less than $O(p/t^κ)$. We also find several applications to problems about so--called non--averaging sets, number of collinear triples and mixed energies.

연구 동기 및 목표

• 형태 $x_1 + a_jx_2 + b_jx_3 = b_j$의 비영인 계수를 가진 $t$개의 선형 방정식을 피하는 $\mathbb{F}_p$의 부분집합의 최대 크기를 결정하는 것.
• 합-곱 현상이 이러한 집합의 크기를 어떻게 제약하는지 분석하며, 특히 $t \to \infty$ 및 $p \to \infty$일 때의 경우를 조사하는 것.
• 다음과 같은 $t$개의 방정식을 피하는 집합의 크기에 대한 정량적 상한과 하한을 구하고, $t$에 대한 명시적인 지수를 도출하는 것.
• 비평균 집합, 카르테시안 곱에서의 공선 삼중항, 혼합 에너지 추정 등 애드티브 조합론 문제에 결과를 적용하는 것.

제안 방법

• 집합 $A \subseteq \mathbb{F}_p$의 스펙트럼을 큰 푸리에 계수를 통해 정의하여, 그의 덧셈적 및 곱셈적 구조를 분석하는 것.
• 문헌 [9]의 정밀한 교차 정리와 [1, 7, 10]의 확장 응용을 통해 선형 방정식의 해의 수를 제어하는 것.
• 스펙트럼 에너지 상한을 통해, 작은 집합 뿐 아니라 큰 집합 $A$에 대해서도 교차 결과를 확장하기 위해 쌍대 집합(spectrum)을 활용하는 것.
• 집합 $A$의 스펙트럼이 작은 곱셈 에너지를 가지며, 더 작은 곱셈 에너지를 가진 큰 부분집합을 포함함을 증명하는 것.
• 푸리에 계수에 대한 코시-슈와르츠 부등식과 피그혼링 원리(pigeonholing)를 사용하여 혼합 에너지 합의 기대값에서의 편차를 제한하는 것.
• 에너지 추정에서 오차 항을 제어하기 위해, 큰 계수에 제한된 푸리에 변환의 초위상 노름 $\|\widehat{A}\|'_{\infty}$를 포함하는 핵심 추정을 유도하는 것.

실험 결과

연구 질문

• RQ1 합-곱 현상은 $\mathbb{F}_p$에서 다수의 선형 방정식을 피하는 집합의 크기를 제한하는 데 사용될 수 있는가?
• RQ2 형태 $x_1 + a_jx_2 + b_jx_3 = b_j$의 $t$개의 방정식을 피하는 집합에 대해 $|A| = O(p / t^{\kappa})$를 만족하는 최적의 지수 $\kappa$는 무엇인가?
• RQ3 지수를 $\kappa = 1/3$을 초과하여 향상시킬 수 있으며, 이는 애드티브 조합론에 어떤 영향을 미치는가?
• RQ4 스펙트럼 성질, 예를 들어 스펙트럼의 크기와 곱셈 에너지 등은 집합이 선형 방정식을 피하는 데 어떻게 관련되는가?
• RQ5 이 방법을 큰 집합 $A$에 대해 혼합 에너지 $\sum_{x \in X} \mathsf{E}^+(A, xA)$를 추정하는 데로 확장할 수 있는가?

주요 결과

• 모든 $\kappa < 3/20$에 대해, $A \subseteq \mathbb{F}_p$가 서로 다른 비율 또는 고유 좌표를 가진 $t$개의 방정식 $x_1 + a_jx_2 + b_jx_3 = b_j$를 피한다면, $|A| = O(p / t^{\kappa})$임을 보였다.
• 형태 $x_1 + a_jx_2 + b_jx_3 = b_j$의 $t$개의 방정식을 피하는 집합을 크기 $\gg p / t^{1/2}$로 구성함으로써, 일부 경우에서 지수 $1/2$가 날카로운 상한임을 보여주었다.
• 모든 집합 $A \subseteq \mathbb{F}_p$의 스펙트럼은 작은 곱셈 에너지를 가지며, 더 작은 곱셈 에너지를 가진 큰 부분집합을 포함한다.
• $|A| \gtrsim p^{11/14}$일 때, 차원 비율 집합 $R[A]$의 크기는 $(1 - o(1))p$ 이상이며, 이는 비율의 거의 균일한 분포를 의미한다.
• 혼합 에너지에 대한 새로운 추정: $\left| \sum_{x \in X} \mathsf{E}^+(A, xA) - \frac{|X||A|^4}{p} \right| \lesssim \delta^{8/3} |X|^{1/2} p^3 \left( \frac{\|\widehat{A}\|'_{\infty}}{|A|} \right)^{2/3} $, 이는 $|X|$에 대한 조건을 만족할 경우 유효하다.
• $|A|$에 대한 상한은 $O(p / t^{1/3})$를 초과하여 향상시킬 수 없으며, 기존 기법의 자연스러운 한계로 $1/3$이 믿어지기 때문이다.