[논문 리뷰] Fourier uniformity on subspaces

Ben Green, Tom Sanders|arXiv (Cornell University)|2015. 10. 29.

Mathematical Analysis and Transform Methods참고 문헌 1인용 수 5

한 줄 요약

이 논문은 임의의 부분집합 $ A \subset \mathbb{F}_2^n $에 대해, $ A $가 $ V $에서 $ \varepsilon $-균일한 성질을 가지는 유한한 codimension을 갖는 부분공간 $ V \leq \mathbb{F}_2^n $가 존재함을 증명한다. 여기서 $ A \cap V $의 비자명한 푸리에 계수들이 모두 작다는 뜻이다. 이 결과는 산술 정규화 보조정리와 거의 색칠에 대한 렘시 이론적 추론을 통해 증명되며, $ \mathbb{F}_3 $에서는 실패함을 보일 수 있는 반례를 통해 확인된다. 이 반례는 모든 비자명한 부분공간에서 푸리에 균일성에 대해 고정된 하한을 갖는다.

ABSTRACT

Let $\mathbb{F}$ be a fixed finite field, and let $A \subset \mathbb{F}^n$. It is a well-known fact that there is a subspace $V \leq \mathbb{F}^n$, $\mbox{codim} V \ll_δ 1$, and an $x$, such that $A$ is $δ$-uniform when restricted to $x + V$ (that is, all non-trivial Fourier coefficients of $A$ restricted to $x + V$ have magnitude at most $δ$). We show that if $\mathbb{F} = \mathbb{F}_2$ then it is possible to take $x = 0$; that is, $A$ is $δ$-uniform on a subspace $V \leq \mathbb{F}^n$. We give an example to show that this is not necessarily possible when $\mathbb{F} = \mathbb{F}_3$. ADDED July 2016: shortly after this paper appeared on the arxiv, F. Manners showed us a rather short argument he had found in 2013, giving a better bound for our main theorem. We do not, therefore, intend to publish this note. The example over $\mathbb{F}_3$ may still be of interest to some readers and so we will not withdraw the paper from the arxiv.

연구 동기 및 목표

• 집합 $ A \subset \mathbb{F}_2^n $이 고전적으로 알려진 것처럼 코스에 대해서만이 아니라 부분공간 $ V $에 대해서도 푸리에 $ \varepsilon $-균일성이 이루어질 수 있는지 여부를 규명하는 것.
• $ \mathbb{F}_2 $에서 고전적인 코스에 대한 푸리에 균일성 결과가 부분공간에 대한 균일성으로 확장되는지 조사하는 것.
• $ \mathbb{F}_3 $에서 이러한 부분공간에 대한 균일성이 성립하지 않음을, 푸리에 계수에 대한 통일된 하한을 갖는 반례를 구성하여 보여주는 것.
• $ \mathbb{F}_2^n $에서 $ (1-\eta) $-거의 색칠에 대한 렘시 이론적 결과를 확립하여 주요 균일성 결과를 뒷받침하는 것.

제안 방법

• 산술 정규화 보조정리를 적용하여, $ \mathbb{F}_2^n $의 양의 밀도를 갖는 $ x \in \mathbb{F}_2^n $에 대해 $ A $가 $ x+W $에서 $ \varepsilon $-균일한 부분공간 $ W \leq \mathbb{F}_2^n $를 찾는다.
• 코스 $ x+W $에서 $ A $의 밀도에 기반하여, $ X \cong \mathbb{F}_2^m $인 몫공간 $ \tilde{X} $ 위에 색칠 $ c: \tilde{X} \to \{0, \dots, r\} $를 정의하며, $ r \sim \varepsilon^{-1} $이다.
• 렘시 이론적 결과를 사용하여 선형적으로 독립인 벡터 $ x_1, \dots, x_d \in \mathbb{F}_2^m $를 찾는다. 이들에 대해 모든 비어 있지 않은 합 $ \sum_{i \in I} x_i $가 같은 색을 가지며, 이는 해당 코스에서 $ A $의 밀도가 일정하다는 것을 의미한다.
• 최종 부분공간 $ V = W + \langle x_1, \dots, x_d \rangle $를 구성하고, 평균화와 직교성의 성질을 이용하여 $ 1_A \mu_V $의 푸리에 변환값이 $ V^\perp $에서 균일하게 작다는 것을 보인다.
• $ r \notin V^\perp $인 두 경우를 다룬다: $ r \notin W^\perp $이면 코스에서의 균일성을 사용하고, $ r \in W^\perp \setminus V^\perp $이면 $ I \subset [d] $에 대한 합에서 상쇄 효과를 이용한다.
• $ r \notin V^\perp $이면 어떤 $ i $에 대해 $ r \cdot x_i = 1 $이므로 $ \prod_{i=1}^d (1 + (-1)^{r \cdot x_i}) = 0 $이 되어 푸리에 합에서 상쇄 효과가 발생함을 이용한다.

실험 결과

연구 질문

• RQ1 모든 부분집합 $ A \subset \mathbb{F}_2^n $에 대해, $ \operatorname{codim} V \ll_\varepsilon 1 $인 부분공간 $ V \leq \mathbb{F}_2^n $가 존재하여 $ A $가 $ V $에서 푸리에 $ \varepsilon $-균일성이 이루어지는가?
• RQ2 필드가 $ \mathbb{F}_2 $일 때, 고전적인 코스에 대한 푸리에 균일성 결과가 부분공간에 대한 균일성으로 확장되는가?
• RQ3 $ \mathbb{F}_3 $나 홀수 특성의 체에서는 이러한 부분공간에 대한 균일성에 본질적인 장애가 존재하는가?
• RQ4 $ \mathbb{F}_2^n $에서의 거의 색칠에 대한 렘시 이론적 결과를 사용하여 균일한 푸리에 행동을 갖는 부분공간을 구성할 수 있는가?
• RQ5 부분공간 $ V $의 codimension이 $ \varepsilon $에 대해 어떤 정량적 의존성을 가지며, 이는 타워 유형의 상한을 초월하여 향상될 수 있는가?

주요 결과

• 모든 $ A \subset \mathbb{F}_2^n $과 $ \varepsilon > 0 $에 대해, $ \operatorname{codim} V \ll_\varepsilon 1 $인 부분공간 $ V \leq \mathbb{F}_2^n $가 존재하여 $ A $는 $ V $에서 $ \varepsilon $-균일하다.
• codimension에 대한 상한은 $ \varepsilon^{-1} $에 대해 타워 유형이지만, 현재까지 알려진 바 중에서 최선이며, 저자들이 이는 아마도 최적은 아닐 것이라고 언급한다.
• 결과는 $ \mathbb{F}_3 $에서는 성립하지 않음: 모든 비자명한 부분공간 $ V $에 대해, $ A \subset \mathbb{F}_3^n $의 푸리에 균일성은 $ \sqrt{3}/6 $ 이상으로 하한이 존재한다.
• $ \mathbb{F}_3 $에서의 반례는 초기 0 블록 다음에 1이 오는 집합을 정의하여 구성되며, 이는 모든 비자명한 부분공간에서 푸리에 계수의 허수부가 고정됨을 보장한다.
• 증명은 $ \mathbb{F}_2^n $에서 $ (1-\eta) $-거의 $ r $-색칠에 대한 렘시 이론적 결과에 기반하며, 기저의 모든 비어 있지 않은 합에서 단색 구성요소가 보장된다.
• 최종적으로 $ V $에서의 푸리에 균일성은 코스에 대한 평균화와 합 $ \sum_{I \subset [d]} (-1)^{r \cdot \sum_{i \in I} x_i} $의 상쇄 효과를 결합함으로써 달성되며, 이 합은 $ r \notin V^\perp $이면 0이 된다.