[論文レビュー] Fourier uniformity on subspaces

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

Mathematical Analysis and Transform Methods参考文献 1被引用数 5

ひとこと要約

本稿では、任意の部分集合 $ A \subset \mathbb{F}_2^n $ に対して、$ A $ が $ V $ 上で $ \varepsilon $-一様になるような、有界な余次元をもつ部分空間 $ 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 $ が、古典的に知られているコセット $ x+V $ のみではなく、部分空間 $ 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 $ を見つける。
• 密度が $ A $ のコセット $ x+W $ に依存するように、$ X \cong \mathbb{F}_2^m $ という商空間上に色分け $ 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 $ の2通りのケースを処理する：$ 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 $ に対して、$ \varepsilon > 0 $ に対し、余次元が $ \varepsilon $ に依存する有界な部分空間 $ V \leq \mathbb{F}_2^n $ が存在し、$ A $ が $ V $ 上でフーリエ $ \varepsilon $-一様になるだろうか？
• RQ2 $ \mathbb{F}_2 $ 上で、コセットにおけるフーリエ一様性の古典的結果が、部分空間における一様性に拡張可能だろうか？
• RQ3 $ \mathbb{F}_3 $ や奇数の特徴を持つ任意の体では、このような部分空間における一様性に根本的な障害があるだろうか？
• RQ4 $ \mathbb{F}_2^n $ におけるほぼ色分けに関するラマージュ的結果を用いて、フーリエ挙動が一様な部分空間を構成できるだろうか？
• RQ5 部分空間 $ V $ の余次元が $ \varepsilon $ に対してどのように依存するかの定量的関係は何か？そして、タワー型の境界を超えて改善可能だろうか？

主な発見

• 任意の $ A \subset \mathbb{F}_2^n $ と $ \varepsilon > 0 $ に対して、$ \operatorname{codim} V \ll_\varepsilon 1 $ となる部分空間 $ V \leq \mathbb{F}_2^n $ が存在し、$ A $ は $ V $ 上で $ \varepsilon $-一様である。
• 余次元の境界は $ \varepsilon^{-1} $ のタワー型であるが、これは現在知られている最良の境界であり、著者らはこれがおそらく最適でないことを指摘している。
• この結果は $ \mathbb{F}_3 $ 上では成り立たない：任意の非自明な部分空間 $ V $ に対して、$ A \subset \mathbb{F}_3^n $ のフーリエ一様性が $ \sqrt{3}/6 $ 以上に下界を持つような集合 $ A $ が存在する。
• $ \mathbb{F}_3 $ 上の反例は、初期のゼロブロックに続いて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 $ のときにはこの和が消える。