[論文レビュー] Six combinatorial clases of maximal convex tropical polyhedra

Andrea Jiménez, M. J. de la Puente|arXiv (Cornell University)|May 18, 2012

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

ひとこと要約

この論文は、4×4のゼロ対角行列を用いて、3次元トロピカル幾何における最大凸トロピカル四面体を6つの組合せ的クラスに分類する。このような四面体は固定されたfベクトル(20,30,12)と面多角形分布を持つことが示され、行列の2×2小行列式が辺長、最大性、および組合せ的型を決定する。主な貢献は、以前の研究で見逃されていた6つの異なるクラスの同定であり、特に頂点推移的でない構造を強調し、正12面体が組合せ的型としてありえないことを示している。

ABSTRACT

In this paper we bring together tropical linear algebra and convex 3-dimensional bodies. We show how certain convex 3-dimensional bodies having 20 vertices and 12 facets can be encoded in a $4 imes 4$ integer zero-diagonal matrix $A$. A tropical tetrahedron is the set of points in $\R^3$ tropically spanned by four given tropically non-coplanar points. It is a near-miss Johnson solid. The coordinates of the points are arranged as the columns of a $4 imes 4$ real matrix $A$ and the tetrahedron is denoted $\spann(A)$. We study tropical tetrahedra which are convex and maximal, computing the extremals of $\spann(A)$ and the length (tropical or Euclidean) of its edges. Then, we classify convex maximal tropical tetrahedra, combinatorially. There are six classes, up to symmetry and chirality. Only one class contains symmetric solids and only one contains chiral ones. In the way, we show that the combinatorial type of the regular dodecahedron does not occur here. We also prove that convex maximal tropical tetrahedra are not vertex-transitive, in general. We give families of examples, circulant matrices providing examples for two classes. A crucial role is played by the $2 imes 2$ minors of $A$.

研究の動機と目的

• 対称性およびねじれを除く全組合せ的型が異なる最大凸トロピカル四面体を、\mathbb{R}^3 において分類すること。
• 以前の研究で5つの組合せ的型とされたものの、特に面多角形分布と正12面体の欠如に関する曖昧さを解消すること。
• 凸で最大のトロピカル四面体が一般に頂点推移的でないことを、明示的な反例を用いて示すこと。
• 生成行列Aの2×2小行列式が、トロピカル四面体の辺長、直線型、および最大性をどのように決定するかを特定すること。

提案手法

• 4つのトロピカル的に非同一平面上にある点の座標を、対角成分が0の4×4実行列Aの列に符号化する。
• Aの2×2小行列式を用いて、点のペア間のトロピカル辺長を計算し、直線L_{ij} の型を特定する。
• タイプ・ベクトルと多角形ベクトルを用いて組合せ的型を分類する。多角形ベクトルは四角形、五角形、六角形の面の数を指定する。
• タイプ情報と直線配置を用いて、\operatorname{span}(A) の極値点を計算し、凸性と最大性を検証する。
• 巡回行列および反巡回行列を用いて具体例を構成し、特に隣接する六角形面を持つクラス3を実現する。
• 極値点における局所的構成を分析することで非頂点推移性を検証する。例として頂点\underline{123} および \underline{4} を取り上げる。

実験結果

リサーチクエスチョン

• RQ1 \mathbb{R}^3 における最大凸トロピカル四面体の組合せ的型は、対称性およびねじれを除いていくつ存在するか？
• RQ2 fベクトルが(20,30,12)である正12面体の組合せ的型は、最大凸トロピカル四面体において現れる可能性があるか？
• RQ3 なぜ以前の研究では6つの組合せ的型のうち1つ、特にタイプ・ベクトル(3,2,1)と多角形ベクトル(0,2,8,2)を持つ型が見逃されたのか？
• RQ4 最大凸トロピカル四面体は常に頂点推移的であるか、それとも局所的構成がこの対称性を破る可能性があるか？
• RQ5 生成行列Aの2×2小行列式は、\operatorname{span}(A) の幾何学的および組合せ的構造をどのように決定するか？

主な発見

• \mathbb{R}^3 における最大凸トロピカル四面体の組合せ的型は、対称性およびねじれを除いて正確に6つ存在し、以前の5つの型との主張を是正する。
• すべての最大凸トロピカル四面体のfベクトルは(20,30,12)であり、面多角形分布は(0,2,8,2)、(0,3,6,3)、または(0,4,4,4)に限定される。
• 正12面体の組合せ的型は、この文脈では現れない。なぜならその面分布は、許容される多角形ベクトルのいずれとも一致しないからである。
• タイプ・ベクトル(3,2,1)で隣接する六角形面を2つ持つクラス3は、以前の研究で欠落しており、頂点推移性に対する反例を提供する。
• 例20における頂点\underline{123} の構成では12個の極値点が集まるが、これは奇数生成点における一般則（10個の極値点）に反する。これにより非頂点推移性が証明される。
• 例20における六角形面の角度ベクトルは\langle 90^\circ, \alpha, \beta, 90^\circ, \alpha, \beta \rangleであり、\alpha \simeq 125^\circ 16'、\beta \simeq 35^\circ 16' で、六角形として期待される720^\circ に合計する。