[论文解读] 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 $ 的像，即巴尔维诺克秩至多为 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 $ 矩阵中巴尔维诺克秩至多为 2 的集合。
• 构建并枚举 $ g $ 的像的两个多面体剖分：一种粗略剖分和一种更精细的剖分，后者在组合性质上表现尤为良好。

提出的方法

• 通过其线性区域分析映射 $ g $，这些区域是超平面排列 $ \mathcal{A}_{m,n} $ 的补集的连通分支，对应于完全二部图 $ K_{m,n} $。
• 映射 $ g $ 下每个区域 $ R $ 的像是一个多面体胞腔，且这些胞腔以两种不同方式铺满 $ g $ 的像。
• 通过组合 $ g $ 的像中的胞腔来构建像的更精细剖分，其中每个胞腔对应于多面体分解中的一个小胞腔。
• 通过移除胞腔图示的外层行和列，得到 $ \mathcal{A}_{m-2,n-2} $ 的一个区域，并考虑标记和方向的组合选择，推导出更精细剖分中最大胞腔的数量。
• 通过计算此类小胞腔的数量，考虑顶部和底部行的 $ m(m-1) $ 种选择以及最左和最右列的 $ n(n-1) $ 种选择，并考虑旋转对称性，得到公式 $ 2\binom{m}{2}\binom{n}{2} r_{m-2,n-2} $。
• 通过生成函数分析粗略剖分，其指数生成函数为 $ \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 最细多面体剖分中最大胞腔的数量是多少？它与 $ \mathcal{A}_{m-2,n-2} $ 的区域数有何关系？
• RQ5 粗略剖分中大胞腔数量的生成函数是什么？

主要发现

• 映射 $ g $ 的像是所有 $ m \times n $ 矩阵中巴尔维诺克秩至多为 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)} $ 中四个二维象限组成，形成一个四维多面体复形，与从 $ 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) $。
• 像中一个一般点的纤维有四个原像，每个位于 $ \mathcal{A}_{m,n} $ 的不同区域中，且这些原像在 $ \mathbb{R}^{2(m+n)} $ 中形成四个二维象限，其顶点由固定 $ A_m $ 和 $ b_n $ 确定。