[논문 리뷰] Translation invariant quadratic forms in dense sets

Eugen Keil|arXiv (Cornell University)|2013. 08. 30.

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

한 줄 요약

이 논문은 17개 이상의 변수를 가진 이동 불변 이차형식에 대해 정량적 밀도 증가 결과를 확립하며, 로스의 3항 등차수열 정리가 이차 설정으로 확장된다. 푸리에 분석, 제약 이론, 균일성 노름, 밀도 증가 방법을 결합하여, {1, ..., N}의 조밀한 부분집합이 이러한 형식의 비자명한 해를 갖지 않으면서 크기가 최대 C_Q N (log log N)^(-c) 이하임을 증명한다. 여기서 c는 형식이나 변수의 수에 따라 달라지지 않는다.

ABSTRACT

We generalize Roth's theorem on three term arithmetic progressions to translation invariant quadratic forms in at least 17 variables. We use Fourier-analysis, restriction theory, uniformity norms and Roth's density increment method to show quantitative estimates for subsets of the integers without any non-trivial solutions.

연구 동기 및 목표

• 정수의 조밀한 부분집합에서 3항 등차수열에 대한 로스의 정리를 이동 불변 이차형식으로 일반화한다.
• 이러한 이차방정식의 비자명한 해가 없는 {1, ..., N}의 부분집합 크기에 대한 정량적 상한을 설정한다.
• 구우어스, 그린, 류의 방법을 비선형 설정으로 확장하기 위해 푸리에 분석 및 제약 이론 기법을 사용한다.
• C_Q N (log log N)^(-c)에서의 지수 c 가 이차형식 Q와 변수의 수 s에 따라 달라지지 않음을 보인다.
• 소수와 같은 구조적 집합에서 해의 점근적 수를 세는 데의 기초를 마련한다. 이는 선형 이론을 넘어서는 것이다.

제안 방법

• 균일성 노름과 푸리에 분석 기법을 사용하여 로스의 밀도 증가 방법을 이차형식에 적응시킨다.
• 원주법의 주요 호/소호 분해를 사용하여 지수합을 제어하기 위해 제약 이론을 적용한다.
• 주요 호 근사와의 차이의 제곱과의 L^∞-노름을 연결하기 위해 사영 항등식을 사용한다.
• 웨일 부등식을 사용하여 소호에서의 지수합을 유계로 제한하며, Q ≥ N^{1/2} 이고 Q가 N의 작은 거듭제곱일 경우 O(N^{1+ε} Q^{-1/2})의 결과를 얻는다.
• 카우치-슈바르츠와 하우스도르프-영 부등식을 사용하여 생성함수의 산술적 및 해석적 부분의 L^p 노름을 제어한다.
• 모멘트 추정과 헬더 부등식을 사용하여 생성함수의 L^r-노름을 유계로 제한하며, 최종적인 L^p 유계를 이끌어낸다.

실험 결과

연구 질문

• RQ1 로스의 3항 등차수열 정리는 이동 불변 이차형식을 가진 조밀한 집합으로 확장될 수 있는가?
• RQ2 이동 불변 이차형식의 비자명한 해가 없는 {1, ..., N}의 부분집합 크기에 대한 최적의 정량적 상한은 무엇인가?
• RQ3 밀도 유계에서의 지수 c 는 이차형식 Q와 변수의 수 s 에 따라 달라지지 않는가?
• RQ4 선형 방정식에 사용된 방법들이 이차형식의 비선형적 구조를 다루는 데 적응 가능한가?
• RQ5 이러한 기법을 사용하여 소수와 같은 구조적 집합에서 이차형식의 해에 대한 점근적 수를 유도할 수 있는가?

주요 결과

• 모든 이동 불변 이차형식이 s ≥ 17개의 변수를 가지며 실수 해가 비특이적이라면, {1, ..., N}의 비자명한 해가 없는 부분집합의 크기는 어떤 c > 0 과 C_Q > 0 에 대해 C_Q N (log log N)^(-c) 이하이다.
• 유계에서의 지수 c 는 이차형식 Q 와 변수의 수 s 에 따라 달라지지 않으며, 이는 변수의 수 s 에 따라 의존하는 기법들에 비해 상당한 개선이다.
• 대부분의 경우 s ≥ 10 에서도 결과가 성립하며, s ≥ 17 은 더 정교한 분석을 통해 향상시킬 수 있는 최악의 경우 유계이다.
• 증명은 푸리에 분석, 제약 이론, 균일성 노름, 밀도 증가 방법의 조합을 사용하여 지수합을 제어하고 유계를 도출한다.
• 이 방법은 소수와 같은 구조적 집합에서 해의 점근적 수를 세는 데의 확장이 가능하며, 순수하게 덧셈 조합론적 방법으로는 접근할 수 없는 분야이다.
• 핵심적인 기술적 혁신은 생성함수의 L^r-노름을 제어하기 위해 모멘트 추정과 사영 항등식을 사용하여 최종 유계에 도달하는 것이다.