首页/论文/2206.09189

arXiv 2206.091892022-06math.CO

有限 matroid 的列表着色数：塞缪尔的结果推广

List Chromatic Number of Finitary Matroids: A Generalization of Seymour's Result

Eötvös University of Budapest（布达佩斯厄特沃什大学）

Tamás Csernák

备注：: New version, significantly improved containing new results

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

AI总结：

本文研究了无限无环有限 matroid 的列表着色数，证明其与常规着色数相同，扩展了塞缪尔的结果。

摘要：

塞缪尔证明了无环有限 matroid 的着色数和列表着色数是相同的。在本文中，我们证明了对于无限、无环的有限 matroid，同样成立这一陈述。

英文摘要：

Seymour proved that the chromatic numbers and the list chromatic numbers of loop-free finite matroids are the same. In this paper we prove the same statement for infinite, loop-free finitary matroids.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

近似有限拟阵

Nearly Finitary Matroids

本文通过引入近有限拟阵的新定义来研究近有限拟阵，并证明了其各种性质。2010年，Bruhn等人提出了一个关于无穷拟阵的公理系统，本文使用这个公理系统。在第二章中，我们回顾了历史背景和动机，总结了我们的主要结果。在第三章中，我们定义了拟阵谱的概念。此外，我们证明了一个近有限拟阵的谱可以大于任何固定的有限大小。我们还给出了一个例子，拟阵的无限大的频谱是不是近有限的。假设存在一个拟阵是近有限的但不是$k$ -近有限的，我们构造了一类拟阵是近有限的但不是$k$ -近有限的.我们还证明了有限秩拟阵是可并的。在第四章中，我们将引入近有限化的概念。我们还给出了一个例子，几乎有限的独立系统，是不是$k$ -几乎有限的。这个独立系统不是拟阵。在第5章中，我们将讨论Psi-拟阵并介绍一个可能的推广。此外，我们研究这些新的拟阵，寻找一个例子，几乎有限拟阵是不是$k$ -几乎有限的。我们还没有找到这样的例子。在第六章中，我们将讨论薄和拟阵，并考虑我们的问题仅限于这类拟阵。我们的结果的动机是开放的问题，是否每个几乎有限拟阵是$k$ -几乎有限的一些$k$。

2019-06-12math.CO

一个非$k$-近有限的近有限拟阵

A Nearly Finitary Matroid that is not $k$-Nearly Finitary

该研究针对$k$-近有限拟阵类是否真包含于近有限拟阵类的问题，通过构造反例给出肯定回答，证明存在对任意自然数$k$都非$k$-近有限的近有限拟阵。

2024-12-11math.CO

无限拟阵并

Infinite matroid union

我们考虑的问题，确定是否两个无限拟阵的并是一个拟阵。引入了有限拟阵的一个超类--近有限拟阵，并证明了两个近有限拟阵的并是近有限拟阵。另一方面，我们证明了两个任意无穷拟阵的并不一定是拟阵。事实上，我们表明（在一个弱的附加假设下），近有限拟阵基本上是最大的一类拟阵，其中一个可以有一个工会定理。然后，我们将有限拟阵的基填充定理推广到有限族的余有限拟阵。这反过来，产生一个拟阵证明树包装结果的无限图形由于迪斯特尔和Tutte。

2012-07-09math.CO

关于无穷拟阵的交

On the intersection of infinite matroids

我们证明了Nash-Williams的无穷拟阵交猜想蕴含了Aharoni和Berger最近证明的无穷Menger定理。我们证明了这个猜想是正确的，只要一个拟阵是近有限的，第二个是对偶的近有限拟阵，近有限拟阵形成一个超类的有限拟阵。特别是，这证明了无限拟阵相交猜想的有限圈拟阵的2-连通，局部有限图只有有限数量的顶点不相交射线。

2012-07-09math.CO

形式化 Seymour 矩阵分解定理的蓝图

A Blueprint for the Formalization of Seymour's Matroid Decomposition Theorem

Institute of Science and Technology Austria（奥地利科学技术研究所）；University of Trento（特伦托大学）

本文提出通过完全单模表示模块化地形式化正则矩阵体结构，证明正则性在合并操作下保持不变，并为图、余图和 R_{10} 矩阵体建立正则性。

2026-01-03math.CO

关于Seymour分解定理

On Seymour's Decomposition Theorem

设$\mathcal M$是一类在子式和同构下闭的拟阵.设$N$是$\mathcal M$中的拟阵，具有精确的$k$ -分离$(A, B)$ .我们说$N$是具有$(A, B)$作为诱导子的$\mathcal M$的$k$分解子，如果每个具有$N$作为子式的拟阵$M\in \mathcal M$具有$k$分离$(X, Y)$使得$A\subseteq X$和$B\subseteq Y$ . Seymour [3，9.1]证明了一个拟阵$N$是一个排除子类的$k$ -分解子，如果这个类中的所有3-连通拟阵$M$都满足一定的条件，其中$|E(M)-E(N)|\le 2$ .我们重新解释西摩定理的连接功能，并给出一个检查表，更容易实现，因为减少了情况检查。

2014-03-30math.CO

更多相关论文收起更多论文

有限拟阵约束下的可数Menger定理

Countable Menger theorem with finitary matroid constraints on the ingoing edges

我们提出了一个加强的可数Menger定理（边缘版本）的R。阿哈罗尼设$ D=(V,A) $是一个具有$ s\neq t\in V $的可数有向图，$\mathcal{M}=\bigoplus_{v\in V}\mathcal{M}_v $是$ A $上的拟阵，其中$ \mathcal{M}_v $是$ D=(V,A) $的进入边上的有限拟阵.我们证明了存在一个边不相交的$ s \rightarrow t $路径系统$ \mathcal{P} $，使得路径的联合边集是$ \mathcal{M} $独立的，并且存在一个$ C \subseteq A $，该$ C \subseteq A $由来自$ \mathcal{P} $的每个元素的一个边组成，其中$ \mathsf{span}_{\mathcal{M}}(C) $覆盖$ D $中的所有$ s\rightarrow t $路径。

2017-04-30math.CO

无限拟阵的有限连通性

Finite connectivity in infinite matroids

我们引入了一个无限拟阵的连通性函数，其性质类似于有限拟阵的连通性函数，如子模性和对偶下的不变性。作为一个应用程序，我们使用它来扩展Tutte的连接定理有限和上有限拟阵。

2011-01-28math.CO

有限与余有限拟阵混合族的基划分

Base partition for mixed families of finitary and cofinitary matroids

本文证明了有限与余有限拟阵混合族满足康托尔-伯恩斯坦型基划分定理，并指出该定理对任意拟阵族不成立与ZFC公理相对一致。

2020-07-10math.CO

无限拟阵的环划分

Circuit-partition of infinite matroids

本文为Komjáth等人关于有限匹配可扩展拟阵环划分的紧致性定理提供了简短证明，并推广了Thomassen猜想，证明了有限二元有向拟阵划分为有向环的充要条件。

2025-09-16math.CO

Seymour定理的正则拟阵组合方向——形式化验证

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified

本文在Lean 4中形式化验证了Seymour定理的正则拟阵组合方向，开发了相关矩阵与拟阵库，适用于有限秩且底集可能无限的情形。

2025-09-24cs.LOmath.CO

图中的无限拟阵

Infinite matroids in graphs

它最近已被证明，无限拟阵可以公理化的方式是非常相似的有限拟阵，并允许对偶。这在以前被认为是不可能的，因为有限的无限拟阵必须有非有限的拟阵。在本文中，我们说明了新的理论展示其影响的循环和债券拟阵的无限图。我们还描述了它们的代数圈拟阵，即其回路是有限圈和双射线的拟阵，并确定了它们的代数圈。最后，我们给出了拟阵可表示的一个充分条件。在这个意义上，哪些图拟阵是可表示的仍然是一个悬而未决的问题。

2012-07-10math.CO

有限仿射定向拟阵

Finitary affine oriented matroids

本文开创仿射定向拟阵的公理化研究，建立子式、重定向等基本概念，证明有限情形下的可剥壳性，并利用群作用与多重Tutte多项式推广环面排列的计数性质。

2024-04-06math.ATmath.CO

无穷拟阵的公理

Axioms for infinite matroids

我们给出了具有对偶的非有限无限拟阵的公理化基础，包括独立集、基、圈、闭包和秩。这就完成了对1966年Rado问题的解决。

2013-02-23math.CO

模四点线拟阵

Matroids with a modular 4-point line

Seymour的一个结果暗示了任何具有模三点线的三连通拟阵都是二元的。我们证明了一个类似的特征3-连通拟阵模4点线。我们证明了这样的拟阵在GF（3）或GF（4）上是可表示的，或者有一个$F_7$ -子式和一个$(F_7^-)$ -或$(F_7^-)^*$ -子式.

2014-03-24math.CO

拟阵交与打包/覆盖猜想在有限拟阵类中成立

Matroid intersection and packing/covering conjectures are true in the class of finitary matroids

该研究证明了拟阵交猜想和打包/覆盖猜想在有限拟阵类中成立，主要利用非标准分析中的迭代非标准扩张技术，将无限拟阵嵌入超有限结构并转移结果。

2025-01-23math.COmath.LO

可数拟阵的Nash-Williams交猜想的证明

Proof of Nash-Williams' Intersection Conjecture for countable matroids

证明了如果$ M $和$ N $是公共可数边集$ E $上的有限拟阵，则它们允许公共独立集$I $，使得存在一个二分划$ E=E_{M}\cup E_{N} $，其中$ I\cap E_M $在$ M $中跨越$ E_M $，$ I\cap E_N $在$ N $中跨越$ E_N $.它在可数情形下肯定地回答了Nash-Williams的拟阵交猜想。

2021-04-04math.CO

有限性拟阵的希尔伯特多项式

Hilbert polynomials for finitary matroids

本文研究有限性拟阵上交换映射生成的轨道秩增长，证明其最终为多项式，并由此统一恢复 Khovanskii 和集增长定理、经典希尔伯特多项式与 Kolchin 多项式，同时给出微分域及单纯复形 Betti 数增长的新结果。

2024-12-19math.ACmath.COmath.LO

拟阵 Hall 条件下的有限可匹配性

Finite matchability under the matroidal Hall's condition

本文研究有限性拟阵间的匹配问题，证明 Aharoni–Ziv 的类 Hall 条件虽未必直接给出全局生成集，但能保证每个有限子集都被 M-独立集 N-张成。

2024-03-12math.CO

拟阵的列表着色与基交换性质

List coloring of matroids and base exchange properties

一个拟阵的着色是给它的基集的元素分配颜色。我们只限于适当的着色--那些相同颜色的元素形成一个独立集的着色。Seymour证明了一个$k$ -可着色拟阵也可以从任何大小为$k$的列表中着色。我们将这个定理推广到列表仍然具有固定大小但不一定相等的情况。对于任何固定大小的列表分配$\ell$，我们证明，如果一个拟阵是着色从一个特定的列表大小$\ell$，那么它是着色从任何列表大小$\ell$。这给出了一个显式的充要条件，使一个拟阵从任何固定大小的列表中可列表着色。作为一个应用，我们展示了如何使用我们的条件，以获得几个基地交换性质。

2014-12-10math.CO

chip-firing 与 $R_{10}$ 矩阵的沙堆群

Chip-Firing and the Sandpile Group of the $R_{10}$ Matroid

University of Michigan（密歇根大学）；University of Oregon（俄勒冈大学）

本文通过复数在五边形顶点上描述了 $R_{10}$ 矩阵的 chip-firing 动力学，并提供了 162 个等价类的代表集。

2025-10-29math.CO

拟阵的在线列表着色

On-line list coloring of matroids

若相同颜色的元素构成一个独立集，则称拟阵的染色是真的。Seymour的一个定理断言，一个k-可着色拟阵也可以从任何大小为k的列表中着色。本文将这一定理推广到在线情形。我们证明，着色的拟阵从大小为k的列表是可能的，即使在列表中的颜色的外观恢复颜色的颜色由对手，而我们的工作是分配一个颜色后，立即恢复。我们还证明了一个更一般的加权版本，我们的结果与不同大小的列表。由此得到了一般情况下拟阵列表可着色的一个简单的充要条件。我们使用的主要工具是多基交换性质，我们给出了一个简单的证明。

2013-02-10math.CO

通过格隔离顶点：具有全幺模面的多面体

Isolating a Vertex via Lattices: Polytopes with Totally Unimodular Faces

我们提出了一个几何方法去随机化的隔离引理Mulmuley，Vazirani和Vazirani。特别是，我们的方法产生一个准多项式家庭的权重，其中每个权重是一个整数和准多项式有界的，可以隔离任何0/1多面体的顶点，每个面位于一个仿射空间定义的一个完全么模矩阵。这包括完全么模约束给出的多面体，并推广了最近的去随机化的隔离引理的二分完美匹配和拟阵相交。我们证明了我们的结果相关联的一个格的多面体的每个面，并表明，如果有一个完全么模的核心矩阵，这个格，然后在3/2的最短向量的长度向量的数量是多项式有界的。这后一个几何事实的证明是组合的，并遵循一个多项式约束的电路数量的大小在3/2的最短电路在一个经常拟阵。这是本文的技术核心，依赖于西摩分解定理的一个变种。将Karger关于图的最小割数的一个有影响的结果推广到正则拟阵。

2018-05-07cs.CCcs.DSmath.CO