[논문 리뷰] Total positivity, Grassmannians, and networks

Alexander Postnikov|ArXiv.org|2006. 09. 27.

Advanced Combinatorial Mathematics참고 문헌 30인용 수 498

한 줄 요약

이 논문은 평면 유도 네트워크, 전체 양성성, 그리고 그라스만만의 조합론 사이의 깊은 연결 고리를 확립한다. 경계 측정을 통한 전체 비음성 그라스만만에 대한 매개변수화를 도입하고, 이러한 측정이 비음성 그라스만만 세포로 이루어진 셀룰러 분해를 이룬다는 것을 증명하며, $\Gamma$-다이어그램, 장식된 순열, 교차하는 스트랜드 다이어그램 등의 여러 조합 모델을 제공한다. 이들 사이에는 명시적인 이항관계와 수량 공식이 존재한다.

ABSTRACT

The aim of this paper is to discuss a relationship between total positivity and planar directed networks. We show that the inverse boundary problem for these networks is naturally linked with the study of the totally nonnegative Grassmannian. We investigate its cell decomposition, where the cells are the totally nonnegative parts of the matroid strata. The boundary measurements of networks give parametrizations of the cells. We present several different combinatorial descriptions of the cells, study the partial order on the cells, and describe how they are glued to each other.

연구 동기 및 목표

• 평면 유도 네트워크와 경계 측정을 이용한 전체 비음성 그라스만만 사이의 대응 관계 수립.
• 경계 측정 사상의 상이 전체 비음성 그라스만만 $Gr_{kn}^{\mathrm{tnn}}$임을 규명.
• 매트로이드 계층과 비음성 그라스만만 세포를 이용한 $Gr_{kn}^{\mathrm{tnn}}$의 조합적 세포 분해 제공.
• 경계 측정을 유지하는 네트워크의 변환, 예를 들어 게이지 불변성과 간선 방향 전환을 기술.
• 비음성 그라스만만 세포의 수를 세고, 장식된 순열, $\Gamma$-다이어그램, 초평면 배열과의 관계를 규명.

제안 방법

• 평면 네트워크에서 그라스만만 $Gr_{kn}$으로의 경계 측정 사상 $\mathit{Meas}$를 정의하며, 여기서 $M_{ij}$는 소스 $b_i$에서 싱크 $b_j$로 가는 모든 경로의 간선 가중치의 곱의 합이다.
• 유도 순환을 포함한 네트워크를 다룰 수 있도록 루프 제거 보행과 비틀림 지수 개념을 도입하여, 경계 측정이 뺄셈 없는 유리 함수로 유지되도록 보장한다.
• $\Gamma$-다이어그램—유한한 양의 정수로 이루어진 양의 정사각형에 0과 1을 채우되, $\Gamma$-성질을 만족하는 것—을 사용해 비음성 그라스만만 세포 $S_{\mathcal{M}}^{\mathrm{tnn}}$를 매개변수화한다.
• 그라스만 네클스와 원형 브뤼허 순서를 통해 $\Gamma$-다이어그램과 장식된 순열 사이의 이항관계를 수립한다.
• 게이지 변환과 정사각형 이동 등의 변환을 적용하여 동일한 경계 측정을 갖는 서로 다른 네트워크를 연결한다.
• 플라빅 네트워크(평면 이분 그래프)를 구성하고, 교차하는 스트랜드 다이어그램을 사용하여 세포 분해를 모델링하고 그 접합 구조를 연구한다.

실험 결과

연구 질문

• RQ1 평면 유도 네트워크에서 그라스만만으로의 경계 측정 사상의 상은 무엇인가?
• RQ2 전체 비음성 그라스만만은 어떻게 세포로 분해되며, 이러한 세포를 매개변수화하는 조합적 대상은 무엇인가?
• RQ3 네트워크의 어떤 변환이 경계 측정을 유지하며, 측정값으로부터 네트워크를 어떻게 재구성할 수 있는가?
• RQ4 Gr_{kn}^{\mathrm{tnn}} 내의 비음성 그라스만만 세포의 수는 얼마이며, 장식된 순열과 같은 조합적 불변량과 어떻게 관련되는가?
• RQ5 다양한 조합 모델(예: $\Gamma$-다이어그램, 룩 배치, 초평면 배열)이 동일한 객체의 클래스를 수량화하는 데 사용될 수 있는가?

주요 결과

• 경계 측정 사상 $\mathit{Meas}$의 상은 정확히 전체 비음성 그라스만만 $Gr_{kn}^{\mathrm{tnn}}$이며, 고정된 조합적 구조를 가진 네트워크의 상은 비음성 그라스만만 세포 $S_{\mathcal{M}}^{\mathrm{tnn}}$가 된다.
• Gr_{kn}^{\mathrm{tnn}} 내의 비음성 그라스만만 세포의 수는 형상 $\lambda \subseteq (n-k)^k$인 $\Gamma$-다이어그램의 수와 같으며, 이 수는 주어진 반초출 집합을 가진 장식된 순열의 수와도 같다.
• 크기 $n$인 장식된 순열의 총 수는 $N_n = \sum_{k=0}^n N_{kn}$이며, $N_0 = 1$을 만족하는 재귀식 $N_n = n \cdot N_{n-1} + 1$을 만족하며, 지수 생성함수 $\sum_{n \geq 0} N_n \frac{x^n}{n!} = \frac{e^x}{1-x}$를 가진다.
• 비음성 세포의 차원에 대한 생성함수는 $N_{kn}(q) = \sum_D q^{|D|}$이며, 여기서 합은 형상 $\lambda \subseteq (n-k)^k$인 $\Gamma$-다이어그램 $D$에 대해 이루어지며, $|D|$는 다이어그램 내 1의 개수이다.
• $\Gamma$-다이어그램의 삼각형 형상 $\lambda = (n,n-1,\dots,1)$에서 모서리 상자에 1이 없는 경우와 순열 $S_n$ 사이에 이항관계가 존재하며, 이러한 다이어그램의 수는 $n!$과 같다.
• 세포 $\Omega_\lambda$ 내의 비음성 세포의 수는 $\lambda$ 위의 투톤 배치 수, 왜곡된 형상 $\kappa_\lambda$ 위의 룩 배치 수, 초평면 배열 $A_{w_\lambda}$의 영역 수, 그리고 브뤼허 간격 $[e, w_\lambda]$ 내의 원소 수와 같으며, 이는 깊은 조합적 동치를 보여준다.