正則マトロイド

数学における正則マトロイド（せいそくマトロイド、テンプレート:Lang-en-short）とは、任意の体の上で 表現できるマトロイドのことである。

定義

マトロイドは、有限集合の部分集合族でいくつかの公理を満たすものと定義される。マトロイドに属する部分集合は独立集合（independent set）と呼ばれる。マトロイドを構成する方法の一つは、あるベクトル空間から有限個のベクトルを選び、それらの部分集合がマトロイドの意味で独立集合であるのは、それら（ベクトルの有限集合）がこのベクトル空間で線形独立であるとき、かつそのときに限ると定義することである。

この方法で構成される集合族は必ずマトロイドになるが、任意のマトロイドがこの方法で表現されるとは限らない。また、ベクトル空間の係数体を取り換えると、それに応じて構成されるマトロイドも変わり得る。

マトロイド $M$ が正則であるとは、どのような体 $F$ を選んでも、$M$ が $F$ 上のベクトル空間から上記の方法で構成できることを言う。

性質

マトロイドが正則であるとき、そのテンプレート:仮リンク、および任意のテンプレート:仮リンクもまた正則である。正則マトロイドの直和（direct sum） はまた正則マトロイドになる。

任意のテンプレート:仮リンク（および任意の補グラフ的マトロイド（co-graphic matroid、グラフ的マトロイドの双対マトロイドを指す））は正則である。逆に、任意の正則マトロイドは、1個以上のグラフ的マトロイドと、1個以上の補グラフ的マトロイドと、ある要素数10のグラフ的でも補グラフ的でもないマトロイドから、グラフ理論におけるテンプレート:仮リンクを一般化した接合操作によって得られる。

正則マトロイドの基の数は、グラフ的マトロイドに対するテンプレート:仮リンクを一般化した手法によって、対応する行列の行列式により計算できる。

特徴付け

テンプレート:仮リンク $U{}_4^2$ (the four-point line) は正則でない。このマトロイドは（それ以外の全ての体の上では可能であるにもかかわらず）二元体 GF(2) 上のベクトル空間では実現できない（テンプレート:仮リンクでない）からである。

テンプレート:仮リンクから導かれるマトロイド（階数3のマトロイドであって、7通りの点の三つ組が独立である）およびその双対マトロイドは、やはり正則でない。このマトロイドは GF(2) および任意の標数2 の体上で実現できるが、それ以外のどんな体上でも実現できない。

テンプレート:Harvtxt が示したように、これら3つの例は正則マトロイドの理論の基礎となる。任意の非正則マトロイドは、これら3つのマトロイドのうち少なくとも1つをマトロイドマイナーに持つ。よって、正則マトロイド全体は禁じられた3種、$U{}_4^2$・ファノ平面・その双対、をマトロイドマイナーに持たないマトロイド全体とちょうど一致する

マトロイドが正則であれば、明らかに2つの体、GF(2),GF(3) 上で実現されねばならない。この逆も真である。これら2つの体上で実現できるマトロイドは、正則マトロイドである。この結果は、これらの体上で実現できるマトロイドに対する不可能なマトロイドマイナーの特徴付けから得られるが、これはテンプレート:仮リンクによって体系化される一連の結果の一部である。

正則マトロイドは、全ユニモジュラ行列（全ての正方小行列式が 0, 1, −1 のいずれかにである正方行列）によって定義できるマトロイドである。ここでベクトル集合の実現は、行列の行集合を選ぶことにより行うものとする。このことから、正則マトロイドはときにユニモジュラマトロイドとも呼ばれる。正則マトロイドと全ユニモジュラ行列との等価性、および不可能なマトロイドマイナーによるそれらの特徴付けは、テンプレート:仮リンクによる深い結果であり、テンプレート:仮リンクを用いて最初に証明された。 テンプレート:Harvtxt は後に、不可能なマトロイドマイナーによる全ユニモジュラ行列の特徴付けの、より簡単な別証明を与えた。

アルゴリズム

独立性オラクルが与えられたとき、マトロイドが正則か否かを多項式時間で判定するアルゴリズムが存在する。