[論文レビュー] Ported Tutte Functions of Extensors and Oriented Matroids

Seth Chaiken|ArXiv.org|May 28, 2006

Matrix Theory and Algorithms参考文献 51被引用数 9

ひとこと要約

本稿は、外部代数を用いて双対化、縮約、ポート固有の操作を通じて Tutte 多項式を一般化する、ポート付きマトロイドおよび向き付けられたマトロイドのための新規な外部演算子に基づく Tutte 関数の定式化を提案する。主な貢献は、外部代数の文脈において符号を正しく修正した Tutte 方程式であり、これは電気回路の解を捉え、行列木定理とグラフにおけるキルホフの法則を一般化する。

ABSTRACT

The Tutte equations are ported (or set-pointed) when the equations F(N) = g_e F(N/e) + r_e F(N\e) are omitted for elements e in a distinguished set called ports. Solutions F can distinguish different orientations of the same matroid. A ported extensor with ground set is a decomposible element in the exterior algebra over a vector space with a given basis, called the ground set, containing a distinguished subset called ports. These can represent ported matroids and have analogous dualization, deletion and contraction operations. A ported extensor function is defined using dualization, port element renaming, exterior multiplication, and contraction of non-ports. We prove that this function satisfies a sign-corrected variant of the Tutte equations over exterior algebra. For non-ported unimodular, i.e., regular matroids, our function reduces to the basis generating function and for graphs the Laplacian (or Kirchhoff) determinant. In general, the function value, as an extensor, signifies the space of solutions to Kirchhoff's and Ohm's electricity equations after projection to the variables associated to the ports. Combinatorial interpretation of various determinants (the Plucker coordinates) generalize the matrix tree theorem and forest enumeration expressions for electrical resistance. The corank-nullity polynomial, basis expansions with activities, and a geometric lattice expansion generalize to ported Tutte functions of oriented matroids. The ported Tutte functions are parametrized, which raises the problem of how to generalize known characterizations of parameterized non-ported Tutte functions.

研究の動機と目的

• 外部代数を用いて、ポート付きマトロイドおよび向き付けられたマトロイドへの Tutte 多項式の一般化を実現すること。
• 外部演算子を用いて電気回路の解を統一的な代数的枠組みで捉える、代数的フレームワークを提供すること。
• 基底生成関数と行列木定理を、ポート付きグラフおよびユニモジュラー・マトロイドへと拡張すること。
• ポート付き Tutte 関数が電気回路におけるオームの法則やキルホフの法則といった物理法則とどのように関係するかを特定すること。
• コランク・ヌルティ度多項式、基底展開、幾何的ラティス展開を、ポート付き設定へと一般化すること。

提案手法

• 地面集合と一部のポートを区別するベクトル空間上の外部代数における分解可能要素として、ポート付き外部演算子を定義する。
• 双対化、ポート要素の名前変更、外部積、非ポート要素の縮約を用いて、ポート付き Tutte 関数を構築する。
• 外部代数における符号を正しく修正した Tutte 方程式を用い、可換環の演算の代わりに反交換的 wedge 積を用いる。
• 関数値を、キルホフの法則とオームの法則の解空間をポート変数に射影したものとしてエンコードする外部演算子として表現する。
• ポート辺を有するグラフにこの構成を適用し、外部演算子値が恒等行列を付加したラプラシアン行列に対応することを示す。
• プラüッカー座標と行列式を一般化し、森の列挙と電気的抵抗を組合せ論的に解釈する。

実験結果

リサーチクエスチョン

• RQ1 外部代数を用いて、区別されたポート集合を有するマトロイドへの Tutte 多項式の一般化はどのように可能か？
• RQ2 外部代数の枠組みにおいて、双対性と縮約が、ポート付き Tutte 関数を定義する上で果たす役割は何か？
• RQ3 電気回路におけるキルホフの法則とオームの法則の解は、どのようにポート付きマトロイドの外部演算子表現に対応するか？
• RQ4 この外部演算子アプローチを用いて、ユニモジュラー・マトロイドにポートを追加した場合、行列木定理と基底生成関数を拡張できるか？
• RQ5 コランク・ヌルティ度多項式、活動を伴う基底展開、幾何的ラティス展開は、どのようにポート付き設定へと一般化されるか？

主な発見

• 提案された外部演算子関数は、可換環ではなく外部代数における演算を用いた符号を正しく修正した Tutte 方程式を満たす。
• ポート集合が空であるユニモジュラー・マトロイドの場合、関数は基底生成関数に簡約され、グラフの場合にはラプラシアン行列の行列式に一致する。
• ポート辺を有するグラフにおいて、外部演算子値は、ポート電圧および電流変数への射影後にキルホフの法則とオームの法則の解空間をエンコードする。
• 恒等行列を付加したラプラシアン行列は、電気回路における外部演算子関数の値の具体的な例である。
• プラüッカー座標（部分行列の行列式）は、行列木定理を一般化し、電気的抵抗の組合せ論的解釈を提供する。
• すべてのパラメータが 1 の場合、ガウスの消去法とブロック行列演算により、外部演算子関数の計算量は多項式時間で実現可能である。