[论文解读] A new ultrafilter proof of Van der Waerden's theorem

Mauro Di Nasso|arXiv (Cornell University)|Mar 4, 2026

Limits and Structures in Graph Theory被引用 0

一句话总结

这篇论文给出一个关于范德瓦尔登定理的简短超滤基证明，利用超滤在 N 的紧空间中的代数，避免使用极小超滤或幺元超滤。

ABSTRACT

We present a new short proof of Van der Waerden's Theorem about the existence of arbitrarily long monochromatic arithmetic progressions. The proof uses algebra in the compact space of ultrafilters $β\N$, but contrarily to the other existing proofs, neither minimal nor idempotent ultrafilters are involved.

研究动机与目标

• 通过超滤来动机化并建立模式与算术级数的分区常规性框架。
• 提供一种在 (βN, ⊕) 上的新的基于超滤的归纳证明，且不使用极小或幺元超滤。
• 将组合分区陈述与超滤见证概念联系起来，用于算术级数。

提出的方法

• 在 N 和 N×N 上定义并使用超滤工具，包括张量积和伪和。
• 对算术级数长度 ℓ 进行归纳方案，并通过超滤构造见证。
• 利用引理 1.3 将存在 ℓ 项级数与在 N×N 上满足 T_j(W) 相等的超滤联系起来。
• 从 U^s⊕ 和 V^(·)⊕ 构造超滤 Z_s，并应用鸽笼原理找到一个共同颜色。
• 证明通过在经过精心选择的超滤中元素之和得到 a 与 d，使得 a, a+d, ..., a+ℓd 落在同一颜色中。

实验结果

研究问题

• RQ1 能否在不依赖极小或幺元超滤的情况下，从超滤方法推导出范德瓦尔登定理？
• RQ2 如何将 βN 中的张量积和伪和组织起来，以见证给定长度的单色算术级数？
• RQ3 在 N×N 上的归纳性超滤构造是否比现有证明更简洁？
• RQ4 哪些结构性超滤性质足以保证任意长的单色级数？

主要发现

• 得到一个新的简短的超滤证明范德瓦尔登定理，且不使用极小或幺元超滤。
• 在 ℓ 的归纳框架中，利用 N×N 上的超滤来见证假设并推导 ℓ+1 项级数。
• βN 中的张量和伪和操作被组织起来，通过组合-超滤论证来产生单色级数。
• 通过显式和与 ψ_j 映射，从 N×N 上的超滤到单色级数的Constructive 路径得以建立。