[論文レビュー] A bilinear version of Bogolyubov's theorem

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

Limits and Structures in Graph Theory参考文献 8被引用数 1

ひとこと要約

この論文は、F_p 上の有限次元ベクトル空間において、ボゴリューボフの定理の双線形版を確立し、交互に方向を変えて繰り返し畳み込みを行うと、結果として得られる集合内に構造的集合が現れることを示している—具体的には、双アフィン写像によって定義される双線形ボーラー多様体である。主な結果は、F_p^n × F_p^n の中で密度 c の部分集合 A に対して、3回の畳み込みを経た結果 A^(3) が、部分空間の積と、codimension が 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 の零点集合として双線形ボーラー多様体を定義する。
• 3段階の畳み込みを適用：まず y 方向に、次に x 方向に2回、その後 y 方向に2回。
• フーリエ解析的手法を用い、特に定理4の系を用いたスペクトル制限と大スペクトルの概念を用いる。
• 各行と各列に対してボーゴリューボフの議論を繰り返し適用し、構造的部分空間を抽出する。
• フーリエ変換の恒等式（補題7）を用い、指示関数のスペクトルとコセット構造との関係を確立する。
• 部分空間と多様体の構造を統合し、A^(3) が (U × V) ∩ BL を含むことを示す。ここで codimension は有界である。

実験結果

リサーチクエスチョン

• RQ1 ボーゴリューボフの定理における和集合のシンデティック性は、有限体における双線形設定に拡張可能か？
• RQ2 双線形設定におけるボーラー集合の自然な類似物は何か？ そして畳み込みを用いてどのように構成できるか？
• RQ3 交互に方向を変えて繰り返し畳み込むことで、F_p^n × F_p^n の稠密な集合にどのように双線形構造が生成されるか？
• RQ4 初期密度に依存する双線形ボーラー多様体のcodimensionにどのような上限を設定できるか？
• RQ5 この双線形構造を用いて、ガウアーズ U^4 範囲の定量的逆定理を証明できるか？

主な発見

• 任意の密度 c の部分集合 A ⊂ F_p^n × F_p^n に対して、三重畳み込み集合 A^(3) は、部分空間 U と V および双線形ボーラー多様体 BL の形 (U × V) ∩ BL を含む。
• U, V, BL のcodimension は 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 が部分空間であっても、同じcodimensionの上限が成り立つ。これは補題2で示されている。