[논문 리뷰] On bases of tropical Plücker functions

В. И. Данилов, Alexander V. Karzanov외 1명|ArXiv.org|2007. 12. 24.

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.

연구 동기 및 목표

• 공간 $\mathcal{T}$에서 타로픽 플루커 함수의 집합 $\mathcal{T}$에 대해 제약 사상 $\mathcal{T} \to \mathbb{R}^\mathcal{B}$가 전단사가 되게 하는 유한한 기저 $\mathcal{B} \subseteq B$를 구성하는 것, 여기서 $B = B_m^{m'}(a)$는 절단된 상자이다.
• 기저에 대한 제약을 통해 $\mathcal{T}$ 내의 하위모듈라, 왜하위모듈라, 이산 볼록 함수를 특성화하는 것.
• 타로픽 플루커 함수의 값이 비기저 점에서 계수 집합 \{-1, 0, 1, 2\}을 갖는 타로픽 로렌트 다항식으로 주어짐을 보여주는 타로픽 로렌트 현상의 타로픽 유사체를 확립하는 것.
• 기본 플루커 관계를 불리안 도메인 이외의 영역, 특히 정수 상자와 그 절단 영역으로 일반화하고, TP3 및 TP4 관계를 통해 타로픽 플루커 함수를 정의하는 것.

제안 방법

• 타로픽(최대-합) 대수 하에서 고전적 플루커 관계를 일반화한 TP3 및 TP4 관계를 통해 $ℤ^n$ 내의 절단된 상자 $B_m^{m'}(a) \subseteq \mathbb{Z}^n$에서 타로픽 플루커 함수를 정의한다.
• 지원의 크기가 1인 벡터인 흐린 간격 $\operatorname{Int}(a)$의 개념을 도입하고, 이를 일반 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}}$에 대한 기여도는 0이 되므로, 로렌트성질이 보장됨을 확립한다.
• 아핀 변환과 볼록성을 사용하여, 공간 $\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)$는 타로픽 로렌트 다항식으로 주어진다: $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\}$이다.
• 타로픽 단항식 표현에서의 계수 $h_{\mathcal{F}}(I)$는 절댓값으로 2 이내로 제한되며, 정규 흐름의 집합 $\Phi_{[x]}^{\text{reg}}$는 지수 합 $\beta_{\mathcal{F}} = 0$을 보장하여 로렌트성질에 필수적이다.
• 정규 흐름 내의 경로는 하위격자 $\Gamma_1 \cup \cdots \cup \Gamma_n$ 내에서 굽힘이 일어날 수 없으며, 모든 굽힘에 의한 $\beta_{\mathcal{F}}$에 대한 기여도의 총합은 0이므로, 이는 $\beta_{\mathcal{F}} = 0$을 의미한다.
• 공간 $\mathcal{T}(B(a))$는 흐린 간격의 집합 $\operatorname{Int}(a)$에 대해 타로픽 로렌트성질을 갖는다. 즉, 모든 함수 값은 기저 값에 대한 타로픽 다항식으로 표현되며, 계수는 제한되어 있다.
• 하위모듈라, 왜하위모듈라, 이산 볼록 함수의 특성화는 기저 $\operatorname{Int}(a)$에 대한 제약을 통해 달성되며, 이는 이러한 함수류에 대한 조합적 기준을 제공한다.