The structure of interval orders with no infinite antichain
Pouzet, Zaguia · math.CO · 2026-09-05 · 原文
We prove that if G=(V,E) is a nonprime graph with either no infinite independent set or no infinite clique, then every vertex of G belongs to a maximal strong module distinct from V. In particular, G admits a Gallai decomposition. As a consequence, we obtain that every interval order P with no infinite antichain admits a Gallai decomposition. That is, P is a lexicographical sum of interval orders distinct from P indexed by either a chain, an antichain, or a prime interval order. Next, we prove that every prime interval order with no infinite antichain is at most countable and does not embed a copy of the chain of rational numbers. Finally, for each countable ordinal α, we construct a well-quasi-ordered prime interval order P_α whose chain of maximal antichains has Hausdorff rank α.
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
We prove that if G=(V,E) is a nonprime graph with either no infinite independent set or no infinite clique, then every vertex of G belongs to a maximal strong module distinct from V.
In particular, G admits a Gallai decomposition.
2. 领域脉络
本文类目：math.CO，属于其所在研究脉络的最新进展。
3. 机制拆解
As a consequence, we obtain that every interval order P with no infinite antichain admits a Gallai decomposition.
That is, P is a lexicographical sum of interval orders distinct from P indexed by either a chain, an antichain, or a prime interval order.
Next, we prove that every prime interval order with no infinite antichain is at most countable and does not embed a copy of the chain of rational numbers.
4. 证据与数字
摘要未给出量化结果——留意原文的实验与数据。
5. 反例与边界
摘要未声明局限与反例——这是需要警惕的信号，精读时先问边界。
6. 跨领域连接与意外收获
思考本文机制能否迁移到你正在跟进的问题。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。