[论文解读] Perfect matroids over hyperfields

Nathan Bowler, Rudi Pendavingh|arXiv (Cornell University)|Aug 9, 2019

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

一句话总结

本文引入了在嚴謹超域上的完美擬陣，證明在這些超域上的弱擬陣自動為強擬陣，這是因為向量與共向量之間的正交性。本文建立了推廣 oriented 和賦值擬陣的向量公理，並展示來自賦值域或域上導子的賦值擬陣的殘留擬陣自然地作為嚴謹斜超域上的擬陣出現。

ABSTRACT

We investigate valuated matroids with an additional algebraic structure on their residue matroids. We encode the structure in terms of representability over stringent hyperfields. A hyperfield $H$ is {\em stringent} if $a\boxplus b$ is a singleton unless $a=-b$, for all $a,b\in H$. By a construction of Marc Krasner, each valued field gives rise to a stringent hyperfield. We show that if $H$ is a stringent skew hyperfield, then the vectors of any weak matroid over $H$ are orthogonal to its covectors, and we deduce that weak matroids over $H$ are strong matroids over $H$. Also, we present vector axioms for matroids over stringent skew hyperfields which generalize the vector axioms for oriented matroids and valuated matroids.

研究动机与目标

• 將不同的擬陣類別——oriented、賦值與代數擬陣——透過超域在統一框架下統合。
• 證明在嚴謹斜超域上的弱擬陣必為強擬陣，這是因為向量與共向量的正交性。
• 將 oriented 與賦值擬陣的向量公理推廣至嚴謹超域上的擬陣。
• 證明來自賦值域或導子的賦值擬陣的殘留擬陣可表示於特定的嚴謹超域上。
• 提供一個標準代數結構（透過 Krasner 的構造），以捕捉擬陣 flock 中殘留擬陣之間的相容性。

提出的方法

• 使用 Krasner 的構造，從賦值域或 Ore 環構造嚴謹斜超域，確保超和僅在元素為加法逆元時非單元。
• 透過對 oriented 與賦值擬陣向量公理的推廣，定義超域上的擬陣。
• 證明在嚴謹斜超域上的弱擬陣之向量與其共向量正交，進而暗示強擬陣結構。
• 構造超域之間（例如 ℝ, 𝕊, ℝ{t}, ℝ_ℚ 等）的函子交換圖，以連結 tropic 多面體、實現與殘留擬陣。
• 將理論應用於代數擬陣與導子，透過從 Ore 環 L[T,σ] 構造超域 L^σ，證明 M(K,x) 與 D(K,x) 為單一 L^σ-擬陣的基礎與殘留擬陣。
• 使用前推與殘留映射，連結 tropic 多面體與符號 Bergman 與，將複雜結果簡化為圖形的交換性。

实验结果

研究问题

• RQ1 來自賦值域或導子的賦值擬陣的殘留擬陣能否由單一超域上的代數結構捕捉？
• RQ2 在何種條件下，超域上的弱擬陣會成為強擬陣？哪些結構性質會強制此結果？
• RQ3 是否存在適用於嚴謹超域上擬陣的 oriented 與賦值擬陣向量公理之推廣？
• RQ4 嚴謹超域上擬陣的殘留擬陣與經典擬陣類別（如代數或 oriented 擬陣）之間有何關係？
• RQ5 擬陣 flock 的相容性結構能否透過單一嚴謹超域上的表示來編碼？

主要发现

• 在嚴謹斜超域上的弱擬陣總是強擬陣，這是因為向量與共向量的正交性。
• 嚴謹超域上擬陣的向量公理推廣了 oriented 與賦值擬陣的公理，提供了統一的內部特徵化。
• 嚴謹超域上擬陣的殘留擬陣同構於弱表示的基礎擬陣，且超域完整捕捉了其結構。
• 對於具有 K-導子的域 $L$，共向量擬陣 $D(K,x)$ 為左 $L^{ ho}$-擬陣的殘留擬陣，其中 $L^{ ho}$ 是從 Ore 環 $L[T, ho]$ 構造的嚴謹斜超域。
• 超域函子圖形的交換性暗示 tropic 多面體與符號 Bergman 與的構造相容，使複雜結果簡化為函子恆等式。
• 透過 Krasner 方法從 $L[T, ho]$ 構造 $L^{ ho}$，提供了一種標準方式，將代數擬陣及其導子對應物在單一超域框架下表示。