[论文解读] Ramsey Theory for Words over an Infinite Alphabet

Vassiliki Farmaki|ArXiv.org|Apr 13, 2009

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

一句话总结

本文通过引入'ω-定位词'和由递增整数序列主导的'ω-词'，建立了无限字母表上词的完整划分Ramsey理论，实现了对经典Ramsey理论定理的强推广。关键贡献在于引入了函数支配条件，使无限字母表设定下恢复了Ramsey型结果，推广了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.

研究动机与目标

• 开发无限字母表上词的全面划分Ramsey理论。
• 通过引入递增序列(k_n)的函数支配条件，克服经典Ramsey结果在字母表无限时的失效问题。
• 将Hindman、van der Waerden以及Milliken-Taylor划分定理等经典定理推广至无限字母表。
• 利用ω-定位词和Schreier族，将Ramsey型与Nash-Williams型划分定理扩展至所有可数序数。
• 通过特定拓扑中的Baire性质，表征无限有序变量ω-定位词序列的完全Ramsey族。

提出的方法

• 引入ω-定位词作为从ℕ的有限子集到无限字母表Σ = {α₁, α₂, ...}的函数，其取值受支配序列(k_n)限制。
• 定义由(k_n)主导的ω-词和ω-定位词，其中位置n的每个符号取自{α₁, ..., α_{k_n}}。
• 应用Schreier族和序数索引族(ξ-Schreier序列)，将Ramsey型定理推广至所有可数序数。
• 在拓扑𝒯_E中使用拓扑方法，表征无限序列的变量ω-定位词的完全Ramsey族。
• 应用'独立'与'约化'序列的概念，构造典范形式并证明划分定理。
• 通过定理4.2的递归构造，推导出在染色序列族中同色子结构的存在性。

实验结果

研究问题

• RQ1 在适当放松有限性条件的前提下，能否将有限字母表上词的经典Ramsey型定理扩展至无限字母表？
• RQ2 字母表和词构造的何种结构条件可使无限字母表设定下恢复划分定理？
• RQ3 如何利用Schreier族和序数索引族，将Ramsey型结果扩展至无限字母表设定下的所有可数序数？
• RQ4 无限有序变量ω-定位词序列的完全Ramsey族的拓扑表征是什么？
• RQ5 在该框架下，Milliken-Taylor定理与van der Waerden定理在多大程度上可同时推广至半群？

主要发现

• 本文在函数支配条件下，证明了无限字母表上ω-定位词的划分定理，推广了Bergelson-Blass-Hindman在有限字母表下的结果。
• 本文建立了Hindman与van der Waerden划分定理在半群上的同时推广，推广了Hindman与Strauss的结果。
• 对每个可数序数ξ，本文利用ξ-Schreier序列的ω-定位词，证明了半群的多维划分定理。
• 本文证明了无限有序变量ω-定位词序列的Nash-Williams型划分定理，推广了Carlson与Bergelson-Blass-Hindman的结果。
• 本文通过拓扑𝒯_E中的Baire性质，表征了完全Ramsey族，为Ramsey行为提供了拓扑判据。
• 该理论强推广了block-Ramsey定理与Beiglböck关于交换半群的划分定理，统一了多个经典结果。