[논문 리뷰] A bilinear version of Bogolyubov's theorem

W. T. Gowers, Luka Milićević|arXiv (Cornell University)|2017. 12. 01.

Limits and Structures in Graph Theory참고 문헌 8인용 수 1

한 줄 요약

이 논문은 F_p의 유한차원 벡터 공간에서 보골리우보프의 정리의 이중선형 버전을 수립하며, 번갈아 가며 방향을 바꿔 반복적인 컨볼루션을 수행할 경우 결과 집합 내부에 구조적인 집합—특히 이중아핀 사상으로 정의된 이중선형 보르 집합—이 존재함을 보여준다. 주요 결과는 F_p^n × F_p^n의 조밀한 부분집합 A에 대해, 세 번의 컨볼루션 단계를 거친 후 A^(3)이 부분공간의 곱과 코드미니멈이 exp(O(log c^{-1})) 이하로 유계된 이중선형 보르 다양체를 포함함을 보이며, 여기서 c는 A의 조밀도이다.

ABSTRACT

A theorem of Bogolyubov states that for every dense set A A in Z N \mathbb {Z}_N we may find a large Bohr set inside A + A − A − A A+A-A-A . In this note, motivated by work on a quantitative inverse theorem for the Gowers U 4 U^4 norm, we prove a bilinear variant of this result for vector spaces over finite fields. Given a subset A ⊂ F p n × F p n A \subset \mathbb {F}^n_p imes \mathbb {F}^n_p , we consider two operations: one of them replaces each row of A A by the set difference of it with itself, and the other does the same for columns. We prove that if A A has positive density and these operations are repeated several times, then the resulting set contains a bilinear analogue of a Bohr set, namely the zero set of a biaffine map from F p n × F p n \mathbb {F}^n_p imes \mathbb {F}^n_p to an F p \mathbb {F}_p -vector space of bounded dimension. An almost identical result was proved independently by Bienvenu and Lê.

연구 동기 및 목표

• 유한체에서의 가군조합론에 대한 보골리우보프 정리의 이중선형 버전을 개발하기 위해.
• 가우어스 U^4 노름의 역정리 이론의 맥락에서 구조적 집합이 필요한 이유를 다루기 위해.
• 벡터 공간 F_p 위에서 선형에서 이중선형 설정으로 보골리우보프의 고전적 증명을 일반화하기 위해.
• 보르 집합의 자연스러운 이중선형 대체물—즉, 이중아핀 사상으로 정의된 이중선형 보르 다양체—를 규명하기 위해.

제안 방법

• 이중아핀 사상 β: F_p^n × F_p^n → F_p^k의 영집합으로서 이중선형 보르 다양체를 정의한다.
• 세 단계 컨볼루션 적용: 먼저 y-방향으로, 그 후 두 번 x-방향으로, 그 후 두 번 y-방향으로.
• 코어러르 4를 통한 스펙트럼 제한 및 푸리에 분석 기법을 사용한다.
• 보골리우보프의 증명을 반복적으로 행과 열에 적용하여 구조적 부분공간을 추출한다.
• 레마 7의 푸리에 변환 항등식을 사용하여 지시함수의 스펙트럼과 코스레트의 구조를 연결한다.
• 부분공간과 다양체의 구조를 결합하여 A^(3)이 (U × V) ∩ BL을 포함함을 보인다. 여기서 코드미니멈은 유계이다.

실험 결과

연구 질문

• RQ1 보골리우보프의 정리에서 합집합의 조밀성에 대한 결과를 유한체에서 이중선형 설정으로 확장할 수 있는가?
• RQ2 이중선형 설정에서 보르 집합의 자연스러운 대응체는 무엇이며, 어떻게 컨볼루션을 통해 구성할 수 있는가?
• RQ3 F_p^n × F_p^n에서 조밀한 집합에 대해 번갈아 가며 방향을 바꿔 반복적인 컨볼루션을 수행할 경우 어떤 방식으로 이중선형 구조가 생성되는가?
• RQ4 초기 조밀도에 대해 결과로 나오는 이중선형 보르 다양체의 코드미니멈에 대해 어떤 유계를 설정할 수 있는가?
• RQ5 이러한 이중선형 구조는 가우어스 U^4 노름에 대한 정량적 역정리 증명에 사용될 수 있는가?

주요 결과

• 임의의 조밀도 c인 A ⊂ F_p^n × F_p^n에 대해, 삼중 컨볼루션 집합 A^(3)은 부분공간 U와 V, 그리고 이중선형 보르 다양체 BL의 형태인 (U × V) ∩ BL을 포함한다.
• U, V, BL의 코드미니멈은 exp(O(log c^{-1})) 이하로 유계지며, 지수는 오직 조밀도 c에만 의존한다.
• 이중선형 보르 다양체 BL은 k = exp(O(log c^{-1})) 개의 이중아핀 사상 (x, y) ↦ x · α_i(y)로 정의되며, 여기서 α_i는 아핀 사상이다.
• 이러한 구성은 컨볼루션 이후 행과 열에 대해 보골리우보프의 증명을 반복적으로 적용하는 데 의존한다.
• 이 방법은 구조적 집합의 크기에 대한 하한을 제공한다: V의 큰 부분공간에 속하는 x에 대해, B_x · ∩ Y' 는 크기가 크며, 이는 다양체와의 비자명한 교차를 보장한다.
• 결과는 강건하다: Ax·과 A·y가 부분공간이어도 동일한 코드미니멈 유계가 유지되며, 이는 코로나리 2에서 보였다.