[論文レビュー] Some applications of W. Rudin's inequality to problems of combinatorial number theory

Ilya D. Shkredov|arXiv (Cornell University)|Feb 9, 2010

Limits and Structures in Graph Theory参考文献 26被引用数 7

ひとこと要約

この論文は、W. Rudinの穴だらけの級数に関する不等式を組合せ的数論へと拡張し、特定の行列の固有値を用いた新規な作用素理論的枠組みを導入することで、分離集合上の指数和に対する鋭い評価を得た。これはM.-C. Changの結果を $L^{l+1}$-ノルムへ一般化し、畳み込みの双対版を証明することで、誤差項に対数的改善を伴う分離集合上での畳み込みの $L^2$-ノルムに対する新たな推定値を導いた。

ABSTRACT

In the paper we obtain some new applications of well--known W. Rudin's theorem concerning lacunary series to problems of combinatorial number theory. We generalize a result of M.-C. Chang on L_2 (L)-norm of Fourier coefficients of a set (here L is a dissociated set), and prove a dual version of the theorem. Our main instrument is computing of eigenvalues of some operators.

研究の動機と目的

• 分離集合上での指数和の $L_2$-ノルムに関するM.-C. Changの評価を、$l \geq 2$ に対してより高い $L^{l+1}$-ノルムへ一般化すること。
• 分離集合上での複数回の畳み込みの $L^2$-ノルムを評価する一般化された不等式の双対版を確立すること。
• 作用素行列 $\mathrm{T}^\varphi_\psi$ および $\mathrm{S}^\varphi_\psi$ の固有値に基づくスペクトル枠組みを、中心的な解析的道具として開発すること。
• 極値例の構成と漸近的最適性の検証により、新たな評価の鋭さを証明すること。

提案手法

• 有限アーベル群上の関数に作用する作用素の族 $\mathrm{T}^\varphi_\psi$ および $\mathrm{S}^\varphi_\psi$ を導入し、特性関数のフーリエ変換から得られる核を用いる。
• パーサバルの等式およびホルダーの不等式を用いて、これらの作用素のスペクトル的性質、特に最大固有値 $\mu_1$ を特徴付ける。
• Rudinの不等式を作用素 $\mathrm{T}^\varphi_\Lambda$ のスペクトルノルムの観点から再定式化し、$L^p$-ノルムの同値性を固有値の評価と結びつける。
• スペクトル評価を応用して、指数和および畳み込みに関する新たな不等式を導出し、誤差項として $\log(1/\delta)$ または $\log N$ という対数因子を鍵とする。
• 作用素枠組みにおける双対性と対称性を用いて、畳み込みの主不等式の双対版を導出する。
• 特に $l=2$ および $|S| \leq N/2$ の場合に、評価が漸近的にタイトであることを示す例の構成により、鋭さを検証する。

実験結果

リサーチクエスチョン

• RQ1 Rudinの不等式は、$l \geq 2$ に対して分離集合上での指数和の $L^{l+1}$-ノルムへ拡張可能か？
• RQ2 分離集合上での複数回の畳み込みの $L^2$-ノルムを評価する一般化された不等式の双対形式は存在するか？
• RQ3 作用素 $\mathrm{T}^\varphi_\Lambda$ のスペクトル的性質は、その背後にある集合 $\Lambda$ の組合せ的構造とどのように関係するか？
• RQ4 新たな評価の鋭さは何か？ また、どのパrameter領域で既知の極値構成と一致するか？
• RQ5 誤差項に現れる対数因子は改善可能か、あるいは最適か？

主な発見

• 本論文は、Changの $L_2$-ノルム評価の鋭い一般化を証明した：$\sum_{\xi \in \Lambda} \left| \sum_{x \in S} e^{2\pi i \xi \cdot x} \right|^{l+1} \leq C_2 |S| \left( \sum_{\xi \neq 0} \left| \sum_{x \in S} e^{2\pi i \xi \cdot x} \right|^{2l} \right)^{1/2} \log^{1/2}(1/\delta)$（$l \geq 2$、$C_2 > 0$ は絶対定数）。
• 双対版が確立された：$\sum_{x \in \Lambda} (S_1 * \cdots * S_l)^2(x) \ll C_3 \frac{|S_l|}{N} \left( \sum_{\xi} \prod_{j=1}^{l-1} |\widehat{S}_j(\xi)|^2 \right) \log N$。任意の分離集合 $\Lambda$ および任意の集合 $S_j$ に対して成立する。
• $l=2$ の場合に評価が鋭いことが示された。具体的には、$\sum_{x \in \Lambda} (S_1 * S_2)^2(x) \ll |S_1||S_2| \log(\min\{|S_1|,|S_2|\})$ であり、既知の極値的挙動と一致する。
• 集合 $S_1 = \cdots = S_{l-1} = S$ で $|S|^{2l-2} \leq \sum_{x \neq 0} |\widehat{S}(x)|^{2l-2}$ を満たす場合、評価は $\sum_{x \in \Lambda} ((S*_{l-2}S)*S_l)^2(x) \ll \frac{l|S_l|}{N} \left( \sum_{x \neq 0} |\widehat{S}(x)|^{2l-2} \right) \log |S|$ に簡略化される。
• 系3.8は、すべての $x \in \Lambda$ に対して $S_1 * S_2(x) \geq r$ が成り立つならば、$|\Lambda| \ll r^{-2} |S_1||S_2| \log(\min\{|S_1|,|S_2|\})$ が成り立つことを示し、和集合における分離集合のサイズに対する定量的上界を与える。
• 本論文は、特に $r$ が大きい場合に、対数因子が最適であることを示した。$r$ が小さい場合には、確率的サンプリングにより補完的な評価 $|\Lambda| \ll |S| r^{-1/2} \log^{1/2}|S|$ を正の確率で得られることを示した。