[論文レビュー] Ramsey Theory for Words over an Infinite Alphabet

Vassiliki Farmaki|ArXiv.org|Apr 13, 2009

Limits and Structures in Graph Theory参考文献 15被引用数 4

ひとこと要約

本稿は、無限のアルファベット上の語に対して完全な分割ラマヌジャン理論を確立する。そのために『ω-配置語』と『ω-語』を導入し、整数の増加列によって支配されるものとして定義することで、ラマヌジャン理論の古典的定理の強力な拡張が可能になる。主な貢献は、無限のアルファベット設定でもラマヌジャン型の結果を回復させるための関数的支配条件であり、Bergelson-Blass-Hindman、Carlson、Furstenberg-Katznelsonの結果を一般化する。

ABSTRACT

A complete partition theory is presented for omega-located words (and omega-words), namely for located words over an infinite alphabet dominated by a fixed increasing sequence. This theory strengthens in an essential way the classical Carlson, Furstenberg-Katznelson, and Bergelson-Blass-Hindman partition theory for words over a finite alphabet. Consequences of this theory are strong simultaneous extensions of the classical Hindman, Milliken-Taylor partition theorem, and of a van der Waerden theorem for general semigroups, extending results of Hindman-Strauss and Beiglbock.

研究の動機と目的

• 無限のアルファベット上の語に対して包括的な分割ラマヌジャン理論を構築すること。
• アルファベットが無限である場合に古典的ラマヌジャン結果が成立しない問題を、増加列 (k_n) を用いた関数的支配条件の導入によって克服すること。
• Hindmanの定理、ヴァン・ダール・ワーデンの定理、およびミリケン＝テイラーの分割定理といった古典的定理を無限のアルファベットへ一般化すること。
• ω-配置語とシュライエル族を用いて、ラマヌジャン型およびナッシュ＝ウィリアムズ型の分割定理をすべての可算順序数へ拡張すること。
• 特定の位相におけるベール性質を用いて、無限の順序正しい変動的ω-配置語の列の完全ラマヌジャン族を特徴付けること。

提案手法

• 有限部分集合から無限のアルファベット Σ = {α₁, α₂, ...} への関数として定義されるω-配置語を導入し、支配列 (k_n) によって値が制限されることを規定する。
• 増加列 (k_n) によって支配されるω-語およびω-配置語を定義し、各位置 n における記号が {α₁, ..., α_{k_n}} から選ばれることを規定する。
• シュライエル族および順序数インデックス族 (ξ-シュライエル列) を用いて、すべての可算順序数へラマヌジャン型定理を一般化する。
• 位相 𝒯_E における位相的手法を用いて、変動的ω-配置語の無限列の完全ラマヌジャン族を特徴付ける。
• 『独立』および『短縮』列の概念を用いて、標準形を構成し、分割定理を証明する。
• 定理4.2による再帰的構成を用いて、彩色された列の族における同型部分構造の存在を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限アルファベット上の語に対する古典的ラマヌジャン型定理を、適切な有限性の緩和のもとで無限のアルファベットへ拡張できるか？
• RQ2 アルファベットおよび語の構成に関するどのような構造的条件が、無限のアルファベット設定における分割定理の回復を可能にするか？
• RQ3 シュライエル族および順序数インデックス族を用いて、無限のアルファベットの文脈でラマヌジャン型の結果をすべての可算順序数へどのように拡張できるか？
• RQ4 変動的ω-配置語の無限列の完全ラマヌジャン族の位相的特徴づけは何か？
• RQ5 この枠組みを通じて、ミリケン＝テイラーの定理とヴァン・ダール・ワーデンの定理を、半群の文脈で同時に拡張できる範囲はどの程度か？

主な発見

• 本稿は、関数的支配のもとで無限のアルファベット上のω-配置語に対する分割定理を証明し、Bergelson-Blass-Hindmanの有限アルファベットにおける結果を拡張する。
• Hindmanおよびヴァン・ダール・ワーデンの分割定理を半群に対して同時に拡張し、HindmanとStraussの結果を一般化する。
• 各可算順序数 ξ に対して、ω-配置語のξ-シュライエル列を用いた半群に対する多次元分割定理を証明する。
• 変動的ω-配置語の無限の順序正しい列に対して、ナッシュ＝ウィリアムズ型の分割定理を証明し、CarlsonおよびBergelson-Blass-Hindmanの結果を拡張する。
• 本稿は、完全ラマヌジャン族が位相 𝒯_E におけるベール性質を有するものとして特徴づけられることを示し、ラマヌジャン的挙動のための位相的基準を提供する。
• この理論により、ブロック・ラマヌジャン定理および可換半群に対するBeiglböckの分割定理の強力な拡張が得られ、複数の古典的結果が統合される。