[论文解读] New representations of matroids and generalizations

Zur Izhakian, John Rhodes|arXiv (Cornell University)|Jan 1, 2011

Constraint Satisfaction and Optimization参考文献 24被引用 15

一句话总结

本文通过在有限半环（特别是布尔半环和超布尔半环）上引入拟阵和遗传集类的新表示方法，扩展了经典的基于域的表示理论。证明了任何可分解为域可表示分量的拟阵均具有布尔表示，且所有遗传集类均可进行超布尔表示，从而推广了经典可表示性理论。

ABSTRACT

We extend the notion of matroid representations by matrices over fields by considering new representations of matroids by matrices over finite semirings, more precisely over the boolean and the superboolean semirings. This idea of representations is naturally generalized to include hereditary collections (also known as abstract simplicial complexes). We show that a matroid that can be directly decomposed as matroids, each of which is representable over a field, has a boolean representation, and more generally that any arbitrary hereditary collection is superboolean-representable.

研究动机与目标

• 通过在有限半环（特别是布尔半环和超布尔半环）上引入表示方法，推广经典基于域的拟阵表示。
• 将可表示性的概念从拟阵扩展到更广泛的组合结构，包括遗传集类（抽象单纯复形）。
• 建立拟阵或遗传集类通过这些半环上的矩阵结构实现表示的条件。
• 研究拟阵分解为域可表示分量与布尔表示之间关系。

提出的方法

• 在布尔半环中定义拟阵的矩阵表示，其中加法为逻辑或，乘法为逻辑与。
• 将框架扩展至超布尔半环，该半环在保持组合性质的同时提供更精细的代数结构。
• 建立拟阵的独立集与这些半环上矩阵的行空间之间的对应关系。
• 利用拟阵分解为域可表示分量的概念，构造布尔矩阵表示。
• 证明所有遗传集类（包括抽象单纯复形）可通过结构分解与闭包性质获得超布尔矩阵表示。
• 应用半环理论中的代数技术，建立可表示性条件并证明对遗传操作的封闭性。

实验结果

研究问题

• RQ1 能否使用布尔半环上的矩阵表示那些可分解为域可表示拟阵的直和的拟阵？
• RQ2 遗传集类的结构与其在超布尔半环上的可表示性之间存在何种关系？
• RQ3 基于半环的表示如何推广经典的基于域的拟阵表示？
• RQ4 在何种条件下，拟阵可具有布尔表示，特别是当其被分解为域可表示部分时？
• RQ5 所有抽象单纯复形（即遗传集类）是否均可通过超布尔半环上的矩阵表示？

主要发现

• 任何可表示为域可表示拟阵直和的拟阵，均具有布尔矩阵表示。
• 所有遗传集类，包括抽象单纯复形，均可通过适当的矩阵构造实现超布尔表示。
• 布尔表示框架通过半环运算捕捉了可分解拟阵的组合独立性结构。
• 超布尔半环为遗传集类提供了通用的可表示性框架，推广了基于域的表示。
• 所提出的表示方法保持了原始结构的遗传性质，确保与组合闭包公理的一致性。
• 结果表明，与经典基于域的表示相比，基于半环的表示为拟阵与单纯复形理论提供了更广泛且更灵活的代数基础。