[论文解读] Algebraic Matroids with Graph Symmetry

Franz J. Király, Zvi Rosen+1 more|arXiv (Cornell University)|Jan 1, 2014

Polynomial and algebraic computation参考文献 26被引用 14

一句话总结

本文利用交换代数技术，为代数拟阵引入了电路多项式，并为具有对称性的拟阵（例如行、列、转置对称）开发了组合不变量。该研究统一了代数与对称拟阵结构，实现了在框架刚性、低秩矩阵填充和行列式簇问题中对拟阵秩与电路多项式的全新刻画。

ABSTRACT

This paper studies the properties of two kinds of matroids: (a) algebraic matroids and (b) finite and infinite matroids whose ground set have some canonical symmetry, for example row and column symmetry and transposition symmetry. For (a) algebraic matroids, we expose cryptomorphisms making them accessible to techniques from commutative algebra. This allows us to introduce for each circuit in an algebraic matroid an invariant called circuit polynomial, generalizing the minimal polynomial in classical Galois theory, and studying the matroid structure with multivariate methods. For (b) matroids with symmetries we introduce combinatorial invariants capturing structural properties of the rank function and its limit behavior, and obtain proofs which are purely combinatorial and do not assume algebraicity of the matroid; these imply and generalize known results in some specific cases where the matroid is also algebraic. These results are motivated by, and readily applicable to framework rigidity, low-rank matrix completion and determinantal varieties, which lie in the intersection of (a) and (b) where additional results can be derived. We study the corresponding matroids and their associated invariants, and for selected cases, we characterize the matroidal structure and the circuit polynomials completely.

研究动机与目标

• 建立代数拟阵与交换代数结构之间的同构关系，使代数技术可用于拟阵分析。
• 将电路多项式定义为伽罗瓦理论中最小多项式的推广，以适用于代数拟阵。
• 引入组合不变量，以捕捉在不假设代数性的情况下对称拟阵中秩函数的行为与极限性质。
• 在框架刚性与低秩矩阵填充等应用中，统一代数与对称拟阵理论的洞察。
• 在代数与对称性质兼具的特定情况下，完全刻画拟阵结构与电路多项式。

提出的方法

• 利用交换代数推导同构关系，将代数拟阵与多项式理想及代数独立性联系起来。
• 将电路多项式定义为与代数拟阵中电路相关联的最小多项式，推广经典伽罗瓦理论中的不变量。
• 引入对称性不变的组合不变量，以描述在行、列和转置对称等典型对称性下秩函数的行为。
• 采用纯组合证明方法分析拟阵秩与极限行为，且不依赖于代数性假设。
• 结合代数与对称拟阵工具，研究行列式簇与低秩矩阵填充问题。
• 使用多元代数方法分析并刻画对称代数环境下电路多项式与拟阵结构。

实验结果

研究问题

• RQ1 如何在代数拟阵中定义电路多项式，并将其用作伽罗瓦理论中最小多项式的推广？
• RQ2 哪些组合不变量能够捕捉具有行、列和转置对称等典型对称性的拟阵中秩函数及其极限行为？
• RQ3 具有代数结构的对称拟阵如何为框架刚性与低秩矩阵填充问题提供新见解？
• RQ4 所提出的不变量与技术在拟阵同时具备代数与对称性质的情况下，如何推广已知结果？
• RQ5 在特定对称代数拟阵情况下，能否完全刻画拟阵结构与电路多项式？

主要发现

• 成功将电路多项式定义为最小多项式的推广，为代数拟阵中电路提供了代数不变量。
• 建立了代数拟阵与交换代数结构之间的同构关系，使代数技术可应用于拟阵问题。
• 引入了描述对称拟阵中秩函数行为与极限的组合不变量，且无需假设代数性。
• 所提方法为对称拟阵的结构性质提供了纯组合证明，推广了特定情况下的已有结果。
• 代数与对称拟阵结构的交集使得在特定情况下能够完全刻画拟阵秩与电路多项式。
• 所开发的不变量与结构刻画直接支持框架刚性、低秩矩阵填充与行列式簇问题的应用。