[论文解读] Representing some non-representable matroids

Rudi Pendavingh, Stefan H. M. van Zwam|TU/e Research Portal (Eindhoven University of Technology)|Jun 15, 2011

Advanced Topics in Algebra参考文献 24被引用 6

一句话总结

本文引入了斜部分域作为部分域的推广，以实现对非可表示拟阵（特别是四元数等非交换结构上的拟阵）的表示。它将塔特的链群框架推广至斜部分域，证明了四元数幺模拟阵的广义矩阵树定理，并表明域上的多重线性表示对应于可逆矩阵的斜部分域表示。

ABSTRACT

We extend the notion of representation of a matroid to algebraic structures that we call skew partial fields. Our definition of such representations extends Tutte's definition, using chain groups. We show how such representations behave under duality and minors, we extend Tutte's representability criterion to this new class, and we study the generator matrices of the chain groups. An example shows that the class of matroids representable over a skew partial field properly contains the class of matroids representable over a skew field. Next, we show that every multilinear representation of a matroid can be seen as a representation over a skew partial field. Finally we study a class of matroids called quaternionic unimodular. We prove a generalization of the Matrix Tree theorem for this class.

研究动机与目标

• 通过引入斜部分域，将拟阵可表示性理论扩展至交换域之外，从而实现对在任何斜域上均不可表示的拟阵的表示。
• 将塔特的链群方法推广至非交换代数，避免依赖行列式，从而实现在非交换环上的表示。
• 建立域上拟阵的多重线性表示与可逆矩阵的斜部分域表示之间的对应关系。
• 为四元数幺模拟阵类证明广义矩阵树定理，从而通过柯西-比内型公式实现基的计数。
• 研究在斜部分域（特别是四元数幺模斜部分域）上可表示的拟阵的结构与算法性质。

提出的方法

• 将斜部分域定义为一对 (R, G)，其中 R 是一个非交换环，G 是 R× 中包含 -1 的乘法子群，从而推广交换部分域。
• 使用斜部分域上的链群定义拟阵表示，将塔特的链群框架推广至非交换设置。
• 利用链群性质和广义的类似行列式映射 δ，建立斜部分域上表示的对偶性与初等子式行为。
• 证明每个域 F 上拟阵的多重线性表示均与斜部分域 (M(n,F), ⟨GL(n,F) ∩ det⁻¹({±1})⟩) 上的表示一一对应。
• 将四元数幺模斜部分域 (QU) 定义为单位根与正则部分域的推广，其基本元素构成连续的四元数集合。
• 证明矩阵在 QU 斜部分域上的广义柯西-比内公式，从而实现通过 δ(AA†) = ∑_B δ(A[X,B]A[X,B]†) 计算基的数量。

实验结果

研究问题

• RQ1 能否通过一种保留组合完整性的非交换代数结构，将拟阵可表示性扩展至斜域之外？
• RQ2 每个域 F 上拟阵的多重线性表示是否都对应于该域上可逆矩阵的斜部分域表示？
• RQ3 能否为在四元数幺模斜部分域上可表示的拟阵建立广义矩阵树定理？
• RQ4 四元数幺模斜部分域的基本元素集合是否有限？是否可使用这些元素的有限子集表示所有 QU 拟阵？
• RQ5 能否将类似行列式的映射 δ 扩展至非交换环，以在拟阵的基计数中保持柯西-比内恒等式？

主要发现

• 在斜部分域上可表示的拟阵类严格扩展了在斜域上可表示的拟阵类，如第 3.5 小节中的具体例子所示。
• 每个域 F 上拟阵的多重线性表示与斜部分域 (M(n,F), ⟨GL(n,F) ∩ det⁻¹({±1})⟩) 上的表示之间存在双射关系，建立了深刻的代数对应。
• 对于四元数幺模斜部分域，基本元素集合是无限的，由实部为 1/2 且范数为 1 的四元数组成，推广了交换部分域的有限基本集合。
• 广义矩阵树定理对 QU 拟阵成立：δ(AA†) = ∑_B δ(A[X,B]A[X,B]†)，其中 δ 为类似行列式的映射，从而可通过柯西-比内型恒等式实现基的计数。
• 广义矩阵树定理的证明依赖于 AA† 中所有非零元素的可逆性，这一性质在斜域上成立，但需在一般斜部分域上仔细推广。
• 2-一致拟阵是否属于 QU 拟阵类的猜想仍为开放问题，但若该猜想为真，则可推出 2-一致拟阵中基的计数存在多项式时间算法。