[論文レビュー] Perfect matroids over hyperfields

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

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

ひとこと要約

本稿では、厳密なハイパーフィールド上の完全マトロイドを導入し、そのようなハイパーフィールド上の弱マトロイドが、ベクトルとコベクトルの直交性により自動的に強い構造を持つことを示す。これにより、向き付きマトロイドおよび値付きマトロイドのベクトル公理を一般化した公理系を構築し、値付き体や体上の微分から得られる値付きマトロイドの剰余マトロイドが、自然に厳密なスカラー非可換ハイパーフィールド上のマトロイドとして現れることを示している。

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.

研究の動機と目的

• 異なるマトロイドクラス—向き付き、値付き、代数的マトロイド—をハイパーフィールドを用いた共通の枠組みで統一すること。
• ベクトルとコベクトルの直交性により、厳密なスカラー非可換ハイパーフィールド上の弱マトロイドが常に強いマトロイド構造を持つことの証明。
• 向き付きおよび値付きマトロイドのベクトル公理を、厳密なハイパーフィールド上のマトロイドに一般化すること。
• 値付き体や微分から得られる値付きマトロイドの剰余マトロイドが、特定の厳密なハイパーフィールド上で表現可能であることを示すこと。
• マトロイドの群（flocks）における剰余マトロイドの整合性構造を、Krasnerの構成による標準的な代数的構造で捉えること。

提案手法

• 値付き体やOre環から、Krasnerの構成を用いて厳密なスカラー非可換ハイパーフィールドを構築し、和集合が加法的逆元でない限り単集合となるように保証する。
• 向き付きおよび値付きマトロイドの公理を一般化したベクトル公理を用いて、ハイパーフィールド上のマトロイドを定義する。
• 厳密なスカラー非可換ハイパーフィールド上の弱マトロイドのベクトルが、それらのコベクトルと直交することを証明し、強いマトロイド構造が必然的に生じることを示す。
• ハイパーフィールド（例：ℝ, 𝕊, ℝ{t}, ℝ_ℚ, など）の間の函手の可換図式を構成し、トロピカル化、実現、および剰余マトロイドを関連付ける。
• 代数的マトロイドおよび微分に理論を適用し、Ore環 $L[T, ho]$ から $L^{ ho}$ を構成することで、$M(K,x)$ および $D(K,x)$ が同一の $L^{ ho}$-マトロイドの基底マトロイドおよび剰余マトロイドとして現れることを示す。
• プッシュフォワード写像および剰余写像を用いて、トロピカル化と符号付きBergmanファンを関連付け、複雑な結果を函手的恒等式への還元によって簡略化する。

実験結果

リサーチクエスチョン

• RQ1 値付き体や微分から得られる値付きマトロイドの剰余マトロイドは、単一のハイパーフィールド上の代数的構造で捉えられるか？
• RQ2 ハイパーフィールド上の弱マトロイドが強いマトロイド構造を持つための条件は何か？また、どのような構造的性質がこれを強制するか？
• RQ3 向き付きおよび値付きマトロイドのベクトル公理を、厳密なハイパーフィールド上のマトロイドに一般化できるか？
• RQ4 厳密なハイパーフィールド上のマトロイドの剰余マトロイドは、代数的マトロイドや向き付きマトロイドといった古典的マトロイドクラスとどのように関係するか？
• RQ5 マトロイドの群における整合性構造は、単一の厳密なハイパーフィールド上での表現によって符号化可能か？

主な発見

• 厳密なスカラー非可換ハイパーフィールド上の弱マトロイドは、ベクトルとコベクトルの直交性により、常に強いマトロイド構造を持つ。
• 厳密なハイパーフィールド上のマトロイドのベクトル公理は、向き付きおよび値付きマトロイドの公理を一般化し、統一的な内部的特徴付けを提供する。
• 厳密なハイパーフィールド上のマトロイドの剰余マトロイドは、弱表現の基底マトロイドと同型であり、ハイパーフィールドがその完全な構造を捉えている。
• 体 $L$ に $K$-微分が存在するとき、コベクトルのマトロイド $D(K,x)$ は、Ore環 $L[T, ho]$ から構成された厳密なスカラー非可換ハイパーフィールド $L^{ ho}$ 上の左 $L^{ ho}$-マトロイドの剰余マトロイドとして現れる。
• ハイパーフィールド函手の図式の可換性により、トロピカル化と符号付きBergmanファンの構成が整合しており、複雑な結果が函手的恒等式に還元される。
• $L[T, ho]$ からKrasnerの方法を用いて $L^{ ho}$ を構成することで、代数的マトロイドおよびその微分的対応物が、単一のハイパーフィールド枠組み内で標準的に表現可能である。