6
大学数学基礎解説
文献あり

グリーン・タオの定理2 証明の流れ

708
1

こんにちは,itouです.今回はグリーン・タオの定理(著:関真一朗)(郎ではなく朗!)第2章の解説の続きです.前回の記事は こちら .

グリーン・タオの定理に至るまで

前回示したグラハム・ロスチャイルドの定理の特殊な場合であるファン・デル・ヴァルデンの定理とは以下の命題でした.(正確にはグラハム・ロスチャイルドの定理のd=1の場合が有限版ファン・デル・ヴァルデンの定理で,これがファン・デル・ヴァルデンの定理に同値)

ファン・デル・ヴァルデンの定理

正整数全体の集合を有限個の部分集合に分割するとき,それらのうち少なくとも一つの部分集合は任意の長さの等差数列を含む.(ただし分割と呼ぶときはどの部分集合も共通部分が空集合である)

そしてファン・デル・ヴァルデンの定理は等差数列がどの部分集合に含まれているか教えてくれないという欠点があるのでした.この欠点を克服するための拡張がセメレディの定理です.

上密度

AZ>0における上密度d(A)
d(A)=lim supN(A[N])N
とする.

lim supは上極限のこと.

セメレディの定理

AZ>0d(A)>0を満たすとき,Aは任意の等差数列を含む.

セメレディの定理は任意の長さの等差数列を含むための十分条件を与えてくれるという意味でファン・デル・ヴァルデンの定理の拡張になっています.さらなる拡張も紹介しましょう.

バナッハ上密度

AZ>0における上密度d(A)
d(A)=lim supNmaxhZ>0(A([N]+h))N
とする.

バナッハ上密度版セメレディの定理

AZ>0d(A)>0を満たすとき,Aは任意の等差数列を含む.

バナッハ上密度と上密度について,一般にd(A)d(A)です.そのため任意の長さの等差数列を含むための十分条件がさらに緩くなっています.

しかし残念ながら,d(P)=0なのです!素数の集合とはそれほどに疎なのです.つまりバナッハ上密度版セメレディの定理からグリーン・タオの定理を導くことはできません.しかし,ここまでの流れを見れば,「よい密度」を定義してやればよいと予測されます.それが擬ランダム測度(第5章)です.

さらにもう1つ紹介します.

有限版セメレディの定理

正整数kと実数0<δ1に対して,正整数kが存在して,以下が成立する.NNST(k,δ)を満たす任意の整数Nに対して,AδNであるような集合A[N]は長さkの等差数列を含む.

有限版セメレディの定理
バナッハ上密度版セメレディの定理
セメレディの定理

という関係があるので有限版から考えたいということです.
なお,グリーン・タオの定理は素数セメレディの定理においてA=Pとしたものですが,

有限版素数セメレディの定理
素数セメレディの定理
グリーン・タオの定理

という関係です.

さて,本書ではAPラムゼー問題をd次元に一般化して議論が進んでいきます.

星座

SZdの有限部分集合とする.aZdおよびlZ>0を用いて
a+lS={a+ls:sS}
と表されるZdの部分集合を「形状がSであるような星座」といい,「S星座」と略す.部分集合AZdが「Zdの任意の有限部分集合に対してAS星座を少なくとも1つ含む」という条件を満たすとき,「AZdにおける任意の形状の星座を含む」という.

星座はグラハム・ロスチャイルドの定理に登場した等差数列の一般化とは異なる方向への一般化であることに注意して下さい.(星座という訳はロマンチックですね)

この多次元の等差数列,改め星座についても同様の定理が成り立ちます.

AZdZd における上密度

AZdZd における上密度dZd(A)
dZd(A)=limNsup(A[N,N]d)[N,N]d
とする.

多次元セメレディの定理

AZddZd(A)>0を満たすとき,AZdにおける任意の形状の星座を含む.

AZdZd におけるバナッハ上密度

AZdZd におけるバナッハ上密度dZd(A)
dZd(A)=lim supNmaxhZd(A([N]d+h))Nd
とする.

バナッハ上密度版多次元セメレディの定理

AZddZd(A)>0を満たすとき,AZdにおける任意の形状の星座を含む.

有限版多次元セメレディの定理

Zdの部分集合Sと実数0<δ1に対して,正整数NMST(d,S,δ)が存在して,以下が成立する.NNMST(d,S,δ)を満たす任意の整数Nに対して,AδNdであるような集合A[N]dS星座を含む.

以上述べた7つの定理のうち最も強いのが有限版多次元セメレディの定理です.さらに有限版多次元セメレディの定理はハイパーグラフ除去補題によって示されます.実際は

ハイパーグラフ除去補題
多次元コーナー定理
有限版多次元セメレディの定理

という流れで示されます.
次回はこの流れを特殊化したもの,

三角形除去補題
アイタイ・セメレディの定理(コーナー定理ともいう)
ロスの定理

を三角形除去補題を認めた上で見ていきましょう.

感想

次回からグラフの話をします.離散数学初めてやるかも

謝辞

  ここまで読んで下さりありがとうございました。誤り等の指摘よろしくお願いいたします。

参考文献

[1]
関 真一朗, グリーン・タオの定理, 朝倉書店, 2023, 31~45
投稿日:2024414
更新日:2024416
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

itou
itou
148
13530
数学勉強中. https://twitter.com/G7UOMb0Zd8V7LdP

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. グリーン・タオの定理に至るまで
  2. 参考文献