[논문 리뷰] On the Littlewood problem modulo a prime

Ben Green, Sergeĭ Konyagin|ArXiv.org|2006. 01. 23.

Limits and Structures in Graph Theory참고 문헌 4인용 수 5

한 줄 요약

이 논문은 실수 계수 함수 $ f $ 가 $ \mathbb{Z}/p\mathbb{Z} $ 위에서 정의되어 평균이 0이고 푸리에 변환의 $ \ell^1 $-노름이 정규화된 조건 하에서, $ f $ 의 점별 절댓값의 최소값이 $ O((\log \log p / \log p)^{1/3}) $ 이하임을 증명함으로써 리틀우드 문제의 모듈러 해석을 해결한다. 이 결과는 조밀한 부분집합의 특성함수의 푸리에 변환의 $ \ell^1 $-노름에 대한 강력한 양적 경계를 이끌어내며, 소수 모듈로에서 큰 집합의 이동에 따른 교차 크기 분포에 관한 굴러스의 질문을 해결한다.

ABSTRACT

Let p be a prime, and let f : Z/pZ -> R be a function with average value 0 and ||f||_A <= 1, where ||f||_A denotes the algebra norm (L^1 norm of the Fourier transform). Then f(x) is small for some x, specifically min_x |f(x)| is no more than O(log p)^{-1/3 + eps}. One should think of f as being ``approximately continuous''; our result is then an ``approximate intermediate value theorem''. As an immediate consequence we show that if B in Z/pZ is a set of cardinality (p-1)/2 then the algebra norm ||1_B||_A is >> (log p)^{1/3 - eps}. This gives a result on a ``mod p'' analogue of Littlewood's well-known problem concerning the smallest possible L^1-norm of the Fourier transform of a set of n integers. Another application is to answer a question of Gowers. If B in Z/pZ is a set of size (p-1)/2 then there is some x in Z/pZ such that the intersection of B with B + x has cardinality within o(p) of p/4.

연구 동기 및 목표

• 푸리에 변환의 $ \ell^1 $-노름이 작을 조건을 만족하는 $ \mathbb{Z}/p\mathbb{Z} $ 위의 함수에 대해 점별 최소값에 대한 양적 경계를 설정함으로써, 약간의 중간값 정리의 근사적 형태를 이루는 것을 목적으로 한다.
• 정수 집합 위에서 지수합의 최소 $ L^1 $-노름에 관한 리틀우드 추측의 모듈러 해석을, $ \mathbb{Z}/p\mathbb{Z} $ 위에서 특성함수의 푸리에 변환의 $ \ell^1 $-노름을 연구함으로써 해결하는 것.
• $ \mathbb{Z}/p\mathbb{Z} $ 내에서 크기가 $ \lfloor p/2 \rfloor $ 인 부분집합 $ A \subseteq \mathbb{Z}/p\mathbb{Z} $ 에 대해 $ |A \cap (A+x)| $ 의 교차 크기 분포에 관한 굴러스의 질문을 해결함. 이를 통해 어떤 $ x $ 에 대해 이 값이 $ p/4 $ 에 가까워짐을 보임.
• 조밀한 부분집합의 특성함수의 푸리에 변환의 $ \ell^1 $-노름에 하한을 구함으로써, 기존의 자명한 경계를 향상시키고 고전적 조화 분석 문제와 연결함.

제안 방법

• 주요 결과는 $ \mathbb{Z}/p\mathbb{Z} \to [0,1] $ 인 함수 $ f $ 를 구성함으로써 도출되며, 이 함수는 평균이 $ 1/2 $ 이고 $ \|f * f^\circ - 1/4\|_\infty \gg 1/(\log p \log \log p) $ 를 만족한다. 이는 확률론적 및 컨볼루션 기반 기법을 사용한다.
• 각 원소가 독립적으로 확률 $ f(x) $ 로 포함되는 랜덤 부분집합 $ B \subseteq \mathbb{Z}/p\mathbb{Z} $ 을 선택하고, $ B $ 와 $ 1_B * 1_B^\circ $ 의 크기에서의 편차를 제어하기 위해 허프딩 부등식을 적용한다.
• 랜덤 집합 $ B $ 는 $ O(p^{2/3}) $ 개의 원소를 추가하거나 제거함으로써 결정적으로 수정되어 정확히 $ \lfloor p/2 \rfloor $ 개의 원소를 가진 집합 $ A $ 를 얻는다. 이로써 $ \|1_A - 1_B\|_2 \leq 2p^{-1/6} $ 가 성립한다.
• $ \ell^2 $-변형에 대한 컨볼루션의 안정성을 레미마를 통해 제어함으로써, 최종 집합 $ A $ 가 원하는 교차 크기 집중 성질을 만족함을 보장한다.
• 의존적인 랜덤 변수 $ X_y X_{y-x} $ 에 대해 허프딩 부등식을 적용하기 위해 인덱스 집합을 세 개의 독립적인 가족으로 분할한다.
• 함수 $ f $ 는 자신과 반사된 함수의 컨볼루션 값이 $ 1/4 $ 에서 멀리 떨어져 있음을 보장하며, 이러한 함수의 존재성은 확률적 방법과 코믈로스 추측에 관한 결과를 통해 증명된다.

실험 결과

연구 질문

• RQ1 실수 계수 함수 $ f $ 가 $ \mathbb{Z}/p\mathbb{Z} $ 위에서 정의되어 $ \mathbb{E}[f] = 0 $ 이고 $ \|\widehat{f}\|_1 \leq 1 $ 이면, $ \min_x |f(x)| $ 의 최소 가능한 값은 얼마인가?
• RQ2 $ \mathbb{Z}/p\mathbb{Z} $ 내에서 크기가 $ \lfloor p/2 \rfloor $ 인 부분집합의 특성함수의 푸리에 변환의 $ \ell^1 $-노름에 대해 비자명한 하한을 구할 수 있는가?
• RQ3 모든 부분집합 $ A \subseteq \mathbb{Z}/p\mathbb{Z} $ 가 크기 $ \lfloor p/2 \rfloor $ 를 가질 때, 어떤 이동 $ x $ 가 존재하여 $ \big{|} |A \cap (A+x)| - p/4 \big{|} = o(p) $ 가 성립하는가?
• RQ4 $ \mathbb{Z}/p\mathbb{Z} $ 내의 집합에 대해 푸리에 변환의 $ \ell^1 $-노름이 리틀우드 문제의 고전적 $ \log n $ 경계와 어떻게 비교되는가?
• RQ5 중간값 유형 경계의 오차 항에 포함된 $ \log \log p $ 요소를 개선할 수 있으며, 코믈로스 추측은 이 과정에서 어떤 역할을 하는가?

주요 결과

• 주요 결과는 임의의 실수 계수 함수 $ f: \mathbb{Z}/p\mathbb{Z} \to \mathbb{R} $ 가 $ \mathbb{E}[f] = 0 $ 과 $ \|\widehat{f}\|_1 \leq 1 $ 을 만족할 때, $ \min_x |f(x)| = O\big{(}(\log \log p / \log p)^{1/3}\big{)} $ 라는 것을 보여준다.
• 이 경계는 로그 인자에 대해 최적이며, $ \min |f(x)| \gg 1/\log p $ 를 만족하는 함수의 구성은 이 경계가 $ O(1/\log p) $ 이하로 향상될 수 없음을 보여준다.
• 결과적으로, 크기가 $ \lfloor p/2 \rfloor $ 인 부분집합 $ A \subseteq \mathbb{Z}/p\mathbb{Z} $ 에 대해 특성함수의 푸리에 변환의 $ \ell^1 $-노름은 $ \|\widehat{1_A}\|_1 \gg (\log p / \log \log p)^{1/3} $ 를 만족한다.
• 논문은 굴러스의 질문을 해결함으로써, 임의의 이러한 $ A $ 에 대해 어떤 $ x \in \mathbb{Z}/p\mathbb{Z} $ 가 존재하여 $ \big{|} |A \cap (A+x)| - p/4 \big{|} = O\big{(} p (\log \log p / \log p)^{1/3} \big{)} $ 라는 것을 증명한다.
• 이 결과는 임의의 집합 $ A, B \subseteq \mathbb{Z}/p\mathbb{Z} $ 에 대해 밀도가 각각 $ \alpha, \beta $ 라고 할 때 일반화되며, 어떤 $ x $ 에 대해 $ \big{|} |A \cap (B+x)| - \alpha\beta p \big{|} = O\big{(} p (\log \log p / \log p)^{1/3} \big{)} $ 라는 것을 보여준다.
• 샌더스의 최근 연구는 주요 정리의 오차 항을 $ O((\log p)^{-1/2 + \epsilon}) $ 으로 개선하여 현재 경계가 최적이 아닐 수 있음을 시사한다.