[论文解读] On bases of tropical Plücker functions

В. И. Данилов, Alexander V. Karzanov+1 more|ArXiv.org|Dec 24, 2007

Algebraic structures and combinatorial models参考文献 16被引用 5

一句话总结

本文在 $√{n}$ 中的截断整数方盒上建立了热带普吕弗函数的基础，证明了此类函数完全由其在特定有限点集（即基）上的取值唯一确定，并进一步表明这些函数满足系数在 \{-1, 0, 1, 2\} 范围内的热带洛朗性质。关键贡献在于通过模糊区间与正规流的显式分段线性表达式，构造性地刻画了热带普吕弗函数空间。

ABSTRACT

We consider functions $f:B o\Rset$ that obey tropical analogs of classical Plücker relations on minors of a matrix. The most general set $B$ that we deal with in this paper is of the form $\{x\in \Zset^n\colon 0\le x\le a, m\le x_1+...+x_n\le m'\}$ (a rectangular integer box ``truncated from below and above''). We construct a basis for the set $\Tscr$ of tropical Plücker functions on $B$, a subset $\Bscr\subseteq B$ such that the restriction map $\Tscr o\Rset^\Bscr$ is bijective. Also we characterize, in terms of the restriction to the basis, the classes of submodular, so-called skew-submodular, and discrete concave functions in $\Tscr$, discuss a tropical analogue of the Laurentness property, and present other results.

研究动机与目标

• 在截断方盒 $B = B_m^{m'}(a)$ 上，构造一个有限基 $\mathcal{B} \subseteq B$，使得空间 $\mathcal{T}$ 的热带普吕弗函数的限制映射 $\mathcal{T} \to \mathbb{R}^\mathcal{B}$ 是双射。
• 通过其在基上的限制，刻画空间 $\mathcal{T}$ 内的次模函数、斜次模函数与离散凹函数。
• 建立热带洛朗现象的类比，证明非基点上热带普吕弗函数的取值由系数在 \{-1, 0, 1, 2\} 范围内的热带洛朗多项式给出。
• 将经典普吕弗关系推广至非布尔域，特别是整数方盒及其截断域，并通过 TP3 与 TP4 关系定义热带普吕弗函数。

提出的方法

• 通过 TP3 与 TP4 关系在截断方盒 $B_m^{m'}(a) \subseteq \mathbb{Z}^n$ 上定义热带普吕弗函数，这些关系在热带（最大-加法）代数下推广了经典普吕弗关系。
• 引入模糊区间 $\operatorname{Int}(a)$ 的概念，即满足 $|\operatorname{supp}(y)| = 1$ 的 $\mathbb{Z}^n$ 中的向量，并将其用作表达一般 TP 函数的基。
• 在网格图 $\Gamma_{N,N}$ 中使用正规流 $\mathcal{F} \in \Phi_{[x]}^{\text{reg}}$ 的概念，以参数化表达 $x \notin \operatorname{Int}(a)$ 时 $f(x)$ 的热带洛朗单项式。
• 证明：对每个 $x \in B(a) \setminus \operatorname{Int}(a)$，有 $f(x) = \max_{\mathcal{F} \in \Phi_{[x]}^{\text{reg}}} \sum_{I \in \operatorname{Int}_N} h_{\mathcal{F}}(I) f(\#(I))$，其中 $h_{\mathcal{F}}(I)$ 为 \{-1, 0, 1, 2\} 中的系数。
• 证明：在正规流中，任何路径在子网格 $\Gamma_i$ 内部均不能发生转向，且对指数 $\beta_{\mathcal{F}}$ 的总贡献为零，从而确保洛朗性质。
• 通过仿射变换与凸性，证明空间 $\mathcal{T}(B(a))$ 相对于 $\operatorname{Int}(a)$ 具有热带洛朗性质。

实验结果

研究问题

• RQ1 在截断方盒 $B_m^{m'}(a)$ 中，是否存在一个最小点集，使得任意热带普吕弗函数在该集合上的取值能唯一确定其在整个定义域上的取值？
• RQ2 如何通过函数在基上的取值来刻画热带普吕弗函数空间中次模、斜次模与离散凹函数的特征？
• RQ3 在方盒 $B(a)$ 上，热带普吕弗函数空间是否满足热带洛朗现象的类比？若是，其热带洛朗多项式表达式中的系数有无界？
• RQ4 经典普吕弗关系能否推广至非布尔域，如整数方盒与截断方盒？其结果函数空间的结构特性是什么？
• RQ5 在网格图 $\Gamma_{N,N}$ 中，正规流在表达基集外热带普吕弗函数取值时起到何种作用？

主要发现

• 在方盒 $B(a)$ 上的热带普吕弗函数空间 $\mathcal{T}(B(a))$ 允许一个有限基 $\mathcal{B} = \operatorname{Int}(a)$，使得限制映射 $\mathcal{T} \to \mathbb{R}^{\mathcal{B}}$ 是双射。
• 对任意 $x \in B(a) \setminus \operatorname{Int}(a)$，有 $f(x) = \max_{\mathcal{F} \in \Phi_{[x]}^{\text{reg}}} \sum_{I \in \operatorname{Int}_N} h_{\mathcal{F}}(I) f(\#(I))$，其中 $h_{\mathcal{F}}(I) \in \{-1, 0, 1, 2\}$，即 $f(x)$ 为一个热带洛朗多项式。
• 在热带单项式表达式中，系数 $h_{\mathcal{F}}(I)$ 的绝对值有界于 2，且正规流集合 $\Phi_{[x]}^{\text{reg}}$ 确保指数和 $\beta_{\mathcal{F}} = 0$，这对洛朗性质至关重要。
• 在正规流中，任何路径均不能在子网格 $\Gamma_1 \cup \cdots \cup \Gamma_n$ 内部发生转向，且所有转向对 $\beta_{\mathcal{F}}$ 的总贡献为零，从而推出 $\beta_{\mathcal{F}} = 0$。
• 空间 $\mathcal{T}(B(a))$ 相对于模糊区间集合 $\operatorname{Int}(a)$ 具有热带洛朗性质，即所有函数取值均可表示为基取值的热带多项式，且系数有界。
• 通过函数在基 $\operatorname{Int}(a)$ 上的限制，实现了对 $\mathcal{T}$ 中次模、斜次模与离散凹函数的刻画，从而为这些函数类提供了组合判别准则。