[論文レビュー] A tropical morphism related to the hyperplane arrangement of the complete bipartite graph

Federico Ardila|ArXiv.org|Apr 16, 2004

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

ひとこと要約

この論文は、統計的モデルのトロピカル幾何における応用をもつ、$ g: \mathbb{R}^{2(m+n)} \to \mathbb{R}^{m \times n} $ で定義されるトロピカル準同型写像 $ g_{ij} = \min(a_i + b_j, A_i + B_j) $ を研究する。写像 $ g $ の像、Barvinokランクが2以下の行列の集合は、2つの多面体的分割を持つことが示され、後者の分割には $ 2\binom{m}{2}\binom{n}{2} r_{m-2,n-2} $ 個の最大次元セルが存在する。ここで $ r_{m-2,n-2} $ は超平面配置 $ \mathcal{A}_{m-2,n-2} $ の領域数である。これは像の最も細かい分割の組合せ的数え上げを提供する。

ABSTRACT

We undertake a combinatorial study of the piecewise linear map g : R^{2m+2n} --> R^{mn} which assigns to the four vectors a, A in R^m and b, B in R^n the m by n matrix given by g_{ij} = min (a_i + b_j, A_i+B_j). This map arises naturally in Pachter and Sturmfels's work on the tropical geometry of statistical models. The image of g has been a subject of recent interest; it is the positive part of the tropical algebraic variety which parameterizes n-tuples of points on a tropical line in m-space. The domains of linearity of g are the regions of the real hyperplane arrangement A_{m,n}, corresponding to the complete bipartite graph K_{m,n}. We explain how the images of (some of) the regions provide two polyhedral subdivisions of the image of g, one of which is a refinement of the other. The finer subdivision is particularly nice enumeratively: it has 2 {m \choose 2} {n \choose 2} r_{m-2,n-2} maximum-dimensional cells, where r_{m-2,n-2} is the number of regions of the arrangement A_{m-2,n-2}.

研究の動機と目的

• トロピカル統計モデルの幾何における応用をもつ、$ g: \mathbb{R}^{2(m+n)} \to \mathbb{R}^{m \times n} $ で定義される、$ g_{ij} = \min(a_i + b_j, A_i + B_j) $ である、分岐線形写像の組合せ的構造を分析すること。
• 写像 $ g $ の線形領域、すなわち完全二部グラフ $ K_{m,n} $ に関連する実超平面配置 $ \mathcal{A}_{m,n} $ の領域を特定すること。
• これらの領域の像が、写像 $ g $ の像をどのように分解するかを調査すること。ここで、写像 $ g $ の像は、$ m \times n $ 行列のうち、Barvinokランクが2以下の集合である。
• 像の2つの多面体的分割を構成し、特に組合せ的に良好な性質を示す、細分化された分割を記述すること。

提案手法

• 写像 $ g $ は、その線形領域を通じて分析され、これは完全二部グラフ $ K_{m,n} $ に関連する超平面配置 $ \mathcal{A}_{m,n} $ の補集合の連結成分に一致する。
• 超平面配置 $ \mathcal{A}_{m,n} $ の各領域 $ R $ における $ g $ の像は多面体的セルをなし、これらが $ g $ の像を2通りの方法で敷き詰めることを示した。
• 細分化された像の分割は、$ g $ の像に由来するセルをグループ化することで構成され、それぞれのセルは多面体的分解における小さなセルに対応する。
• 細分化された分割における最大セル数は、セル図の外側の行と列を除くことで得られる。これにより、$ \mathcal{A}_{m-2,n-2} $ の領域が得られ、ラベル付けと回転対称性の組合せ的選択を考慮する。
• 公式 $ 2\binom{m}{2}\binom{n}{2} r_{m-2,n-2} $ は、上部と下部の行に $ m(m-1) $ 種類、左端と右端の列に $ n(n-1) $ 種類の選択肢を考慮し、回転対称性を補正することで得られる。
• 粗い分割は母関数を用いて分析され、大セル数の指数型母関数は $ \frac{1}{2}(xX + yY) + \frac{2XY + X^2(e^x - 1) + Y^2(e^y - 1)}{2(e^x + e^y - e^{x+y})} $ として得られる。ここで $ X = x(e^y - y - 1) $、$ Y = y(e^x - x - 1) $ である。

実験結果

リサーチクエスチョン

• RQ1 トロピカル準同型写像 $ g $ の線形領域は、$ K_{m,n} $ に関連する超平面配置 $ \mathcal{A}_{m,n} $ とどのように関係しているか。
• RQ2 写像 $ g $ の像の構造は何か。また、$ \mathcal{A}_{m,n} $ の領域の像は、この像をどのように分解するか。
• RQ3 写像 $ g $ の像は多面体的複体に分割可能か。もし可能であれば、その分割の組合せ的性質は何か。
• RQ4 写像 $ g $ の像の最も細かい多面体的分割における最大セル数は何か。また、これは $ \mathcal{A}_{m-2,n-2} $ の領域数とどのように関係しているか。
• RQ5 粗い分割における大セル数の母関数は何か。

主な発見

• 写像 $ g $ の像は、$ m \times n $ 行列のうち、Barvinokランクが2以下の集合であり、$ m \times n $ 行列の $ 3 \times 3 $ 小行列式によって生成されるイデアルのトロピカル代数的多様体の正の部分である。
• 像の洗練された多面体的分割には、正確に $ 2\binom{m}{2}\binom{n}{2} r_{m-2,n-2} $ 個の最大次元セルが存在する。ここで $ r_{m-2,n-2} $ は超平面配置 $ \mathcal{A}_{m-2,n-2} $ の領域数である。
• 洗練された分割における各小さなセルは、$ \mathcal{A}_{m-2,n-2} $ の一意な領域に対応し、外側の行と列のラベル付けと回転対称性の補正という追加の組合せ的選択が伴う。
• 像の一般点の逆像は、$ \mathbb{R}^{2(m+n)} $ 内に4つの2次元の象限から成る4次元の多面体的複体を形成する。これは、次元が $ 2m + 2n $ から $ 2m + 2n - 4 $ に予想通りに低下するのと整合する。
• 粗い分割における像の母関数は $ \sum_{m,n \geq 0} \text{large}_{m,n} \frac{x^m}{m!} \frac{y^n}{n!} = \frac{1}{2}(xX + yY) + \frac{2XY + X^2(e^x - 1) + Y^2(e^y - 1)}{2(e^x + e^y - e^{x+y})} $ として与えられ、ここで $ X = x(e^y - y - 1) $、$ Y = y(e^x - x - 1) $ である。
• 一般点のファイバーには4つの逆像が存在し、それぞれが $ \mathcal{A}_{m,n} $ の異なる領域に位置する。これらの逆像は、$ \mathbb{R}^{2(m+n)} $ 内に4つの2次元の象限を形成する。頂点は $ A_m $ と $ b_n $ を固定することで決定される。