[논문 리뷰] Popular progression differences in vector spaces II

Jacob Fox, Huy Tuan Pham|arXiv (Cornell University)|2017. 08. 28.

Limits and Structures in Graph Theory인용 수 5

한 줄 요약

이 논문은 유한체 위의 벡터 공간에서 일반적인 진행 차이에 대해 필요한 차원의 타워 높이를 결정하며, β = α³/2 및 p ≥ 19일 때 이는 Θ((log p) log log(1/α))임을 보여준다. 산술 정규성과 조밀도 증가 추론을 사용하여 날카러운 경계를 확립함으로써, nₚ(α, β)의 점근적 구조는 상수와 p에 의존하는 덧셈 인자까지 정확히 밝혀내었다.

ABSTRACT

Green used an arithmetic analogue of Szemerédi's celebrated regularity lemma to prove the following strengthening of Roth's theorem in vector spaces. For every $α>0$, $β

연구 동기 및 목표

• F_p^n의 밀도가 α인 부분집합이 공차 d가 최소 β 이상의 밀도를 갖는 세 항 등차수열을 포함하기 위해 필요한 최소 차원 nₚ(α, β)의 점근적 성장률을 결정하는 것.
• 유한체 위의 벡터 공간에서 그린의 산술 정규성 렘마를 기반으로 한 로스 정리의 강화판을 개선하는 것.
• nₚ(α, β)가 α, β, 그리고 p에 어떻게 의존하는지 분석하며, 특히 β가 랜덤 기준 α³에 가까울 경우에 초점을 맞추는 것.
• α와 β의 다양한 영역에서 nₚ(α, β)의 타워 높이에 대한 날카러운 상한과 하한을 확립하는 것.

제안 방법

• F_p^n의 조밀한 부분집합의 구조를 분석하고 세 항 등차수열의 일반적인 공차 d를 식별하기 위해 그린의 산술 정규성 렘마를 사용한다.
• 차이 d에 대한 평균을 취하고, 해당 차이를 갖는 3-AP의 수를 최대화하는 d를 선택하는 방식으로 조밀도 증가 추론을 적용한다.
• 차원에 대한 재귀적 귀납을 사용하여 문제를 n에서 n−1로 축소시키며, 일반적인 방향 d를 따라 잘라내어 초평면에 속하지 않는 d를 사용한다.
• 성장하는 차원과 조밀도 매개변수를 제어하기 위해 r_i, u_i, m_i, R_i의 계층적 상수들을 도입하고 분석한다.
• 로바슈의 국소 렘마와 수정 방법을 포함한 확률론적 및 극한 조합 도구를 사용하여 m차원 부분공간을 갖지 않는 집합의 크기를 제한한다.
• 슈어 부등식과 A_{p,r}의 크기 추정을 사용하여 |A_{p,r}|의 하한을 도출하고, 연속된 계층에서의 조밀도 감소를 제어한다.

실험 결과

연구 질문

• RQ1 p ≥ 19 및 β = α³/2일 때, F_p^n의 밀도가 α인 부분집합이 공차 d가 최소 β 이상의 밀도를 갖는 세 항 등차수열을 포함하기 위해 필요한 최소 차원 nₚ(α, β)의 점근적 성장률은 무엇인가?
• RQ2 nₚ(α, β)의 타워 높이가 소수 p와 매개변수 α, β에 어떻게 의존하는가? 특히 β가 랜덤 기준 α³에 가까울 경우에 대해 어떻게 되는가?
• RQ3 일반적인 진행 차이에 대해 필요한 차원의 상한과 하한을 상수와 p에 의존하는 덧셈 인자까지 정확하게 맞출 수 있는가?
• RQ4 α와 β의 상대적 크기에 따라 극한 구성에서 나타나는 구조적 차이점은 무엇이며, 이는 필요한 차원에 어떤 영향을 미치는가?
• RQ5 하한에서의 지수 상수 3이 최적인지, 아니면 더 강력한 조밀도 증가 또는 정규성 추론을 통해 개선할 수 있는가?

주요 결과

• p ≥ 19 및 β = α³/2일 때, 필요한 차원 nₚ(α, β)는 높이가 Θ((log p) log log(1/α))인 2의 타워이다.
• nₚ(α, β)의 타워 높이는 α와 β의 다양한 영역에서 변하며, 상한과 하한을 구하기 위해 서로 다른 추론이 필요하다.
• 상한 구축은 일반적인 차이 d를 선택하는 조밀도 증가 추론을 사용하며, 이는 차원을 재귀적으로 감소시킨다.
• 하한은 조밀도를 계층 간 유지하는 재귀적 구성으로 확립되며, 타워 높이가 상수와 p에 의존하는 덧셈 인자까지 정확히 날카로운 것으로 밝혀진다.
• 논문은 r(n,m), 즉 F_3^n에서 m차원 애핀 부분공간을 갖지 않는 최대 부분집합의 크기의 상한을 r(n,m) ≤ (1+o(1))N^{1−C^{−m}} (C ≈ 13.901)로 증명한다.
• 하한 구성은 r(n,m) ≥ N^{1−(m+1)3^{−m}}을 제공하며, 이는 하한에서 지수 상수 3이 무작위 또는 단순한 확률적 방법으로는 향상될 수 없음을 보여준다.