[论文解读] Infinite Matroids and Determinacy of Games

Nathan Bowler, Johannes Carmesin|arXiv (Cornell University)|Jan 25, 2013

Advanced Graph Theory Research参考文献 14被引用 9

一句话总结

本论文通过无限博弈的决定性构造了一类新的无限拟阵，表明若图中某些端点集合在博弈论意义上是决定性的，则相应的 $Ψ$-树构成一个拟阵的基。关键贡献在于建立了集合论决定性与无限拟阵存在性之间的联系，解决了Diestel和Pott提出的问题，并为良拟序猜想的自然推广提供了反例。

ABSTRACT

Solving a problem of Diestel and Pott, we construct a large class of infinite matroids. These can be used to provide counterexamples against the natural extension of the Well-quasi-ordering-Conjecture to infinite matroids and to show that the class of planar infinite matroids does not have a universal matroid. The existence of these matroids has a connection to Set Theory in that it corresponds to the Determinacy of certain games. To show that our construction gives matroids, we introduce a new very simple axiomatization of the class of countable tame matroids.

研究动机与目标

• 解决Diestel和Pott提出的问题：在局部有限图中，$Ψ$-树是否构成拟阵的基。
• 建立无限博弈决定性与无限拟阵存在性之间的联系。
• 构造一大类无限拟阵，作为良拟序猜想向无限拟阵自然推广的反例。
• 证明平面无限拟阵类不具有通用拟阵。

提出的方法

• 基于一种简单、博弈论的刻画，提出可数纯拟阵的新公理化体系。
• 将局部有限图的结构建模为有限拟阵的树，其中每个节点对应一个有限拟阵，边编码粘合信息。
• 在该拟阵树上定义圈博弈，玩家轮流选择移动以构建无限路径；若该路径对应于指定集合 $Ψ$ 中的一个端点，则先手获胜。
• 利用此类博弈的决定性——特别是当集合 $Ψ$ 为Borel集或在博弈论意义上决定时——作为保证存在以 $Ψ$-树为基的拟阵的充分条件。
• 应用拓扑与集合论工具，包括从康托空间 $2^\mathbb{N}$ 到自身的连续单射映射，以确保拟阵构造中所需的闭包与分离性质。
• 通过大小为 $2^{\aleph_0}$ 的良序递归构造集合 $Ψ_n$，确保任一先前 $Ψ_i$ 的连续像均不包含于后续的 $Ψ_{n+1}$ 中，从而在拟阵结构中保持独立性。

实验结果

研究问题

• RQ1 在局部有限图的端点集合 $Ψ$ 满足何种条件时，$Ψ$-树构成拟阵的基？
• RQ2 无限拟阵的存在性能否与无限博弈的决定性相联系？
• RQ3 平面无限拟阵类是否具有通用拟阵？
• RQ4 良拟序猜想向无限拟阵的自然推广是否可保持，抑或存在反例？
• RQ5 选择公理在构造此类拟阵中起何种作用？在较弱假设（如博弈决定性）下是否仍可实现该构造？

主要发现

• 论文通过确保集合 $Ψ$ 满足相关博弈为决定性，从而保证以 $Ψ$-树为基的拟阵存在，构造了一大类无限拟阵。
• 该构造为良拟序猜想向无限拟阵的自然推广提供了反例，表明无限拟阵在极小化关系下并非良拟序。
• 证明平面无限拟阵类不具有通用拟阵，即不存在单个平面拟阵能嵌入该类中的所有其他拟阵。
• 此类拟阵的存在性等价于某些博弈的决定性，从而在无限组合数学与集合论之间建立了深刻联系。
• 论文提出了可数纯拟阵的新且简洁的公理化体系，有助于在无限情形下验证拟阵公理。
• 通过递归构造集合 $Ψ_n$，确保任一先前 $Ψ_i$ 的连续像均不包含于 $Ψ_{n+1}$，这对保持所构造拟阵的独立性与结构至关重要。