[논문 리뷰] A quasisymmetric function for matroids

Louis J. Billera, Ning Jia외 1명|arXiv (Cornell University)|2006. 06. 26.

Advanced Combinatorial Mathematics참고 문헌 19인용 수 5

한 줄 요약

이 논문은 고유한 기저에서 총 무게를 최소화하는 가중치 벡터의 분포를 캡처하는 새로운 쿼asi대칭 함수 불변량을 도입한다. 이는 매트로이드의 히프 알제브라에서 쿼아지대칭 함수로의 히프 대칭 준동형사상을 수립하고, 유리수 계수에서의 상사성(_surjectivity_)을 증명하며, 이 불변량이 이중성과 다면체 분해에 대해 단순하게 행동함을 보여, 비비어지지 않은 분해가 없는 매트로이드 기저 다면체를 식별하는 기준을 제공한다.

ABSTRACT

A new isomorphism invariant of matroids is introduced, in the form of a quasisymmetric function. This invariant (1) defines a Hopf morphism from the Hopf algebra of matroids to the quasisymmetric functions, which is surjective if one uses rational coefficients, (2) is a multivariate generating function for integer weight vectors that give minimum total weight to a unique base of the matroid, (3) is equivalent, via the Hopf antipode, to a generating function for integer weight vectors which keeps track of how many bases minimize the total weight, (4) behaves simply under matroid duality, (5) has a simple expansion in terms of P-partition enumerators, and (6) is a valuation on decompositions of matroid base polytopes. This last property leads to an interesting application: it can sometimes be used to prove that a matroid base polytope has no decompositions into smaller matroid base polytopes. Existence of such decompositions is a subtle issue arising in work of Lafforgue, where lack of such a decomposition implies the matroid has only a finite number of realizations up to projective equivalence.

연구 동기 및 목표

• 쿼아지대칭 함수를 사용하여 매트로이드의 새로운 동형 불변량을 정의한다.
• 이 불변량이 매트로이드 히프 알제브라에서 쿼아지대칭 함수의 히프 알제브라로의 히프 대칭 준동형사상임을 수립한다.
• 이 불변량이 매트로이드 기저 다면체 분해에 대해 평가 함수임을 보이며, 분해가 없는 다면체를 식별할 수 있도록 한다.
• 이 불변량을 $P$-분할 수를 연결하고, 쿼아지대칭 함수 대수에 대한 새로운 정수 기저를 제공한다.
• 라포르그의 유한 실현에 관한 연구를 통해 이 불변량이 매트로이드 실현을 연구하는 데 유용함을 보여준다.

제안 방법

• 매트로이드 $M$에 대해 $M$-일반적인 가중치 함수 $f:E\to\mathbb{P}$에 대한 생성함수로 쿼아지대칭 함수 $F(M,\mathbf{x})$를 정의한다. 여기서 $f$는 원소에 서로 다른 가중치를 할당하여 총 무게가 유일한 기저에서 최소화되도록 한다.
• 그리디 알고리즘이 절대적 가중치에 의존하지 않고 상대적 가중치에 의존하므로, 임의의 단어 $x_{i_1}^{\alpha_1}\cdots x_{i_k}^{\alpha_k}$의 계수($i_1 < \cdots < i_k$)가 조합 $\alpha$에만 의존하고 인덱스에 따라 달라지지 않음을 보여, $F(M,\mathbf{x})$의 쿼아지대칭성을 증명한다.
• 매트로이드 직합과 이중성과의 호환성을 보이고, $\mathcal{QS}ym$에 대한 새로운 기저 구성법을 사용하여 $\mathbb{Q}$ 위에서의 상사성을 증명함으로써, $F(M,\mathbf{x})$가 히프 대칭 준동형사상임을 수립한다.
• $F(M,\mathbf{x})$가 $P$-분할 수의 합으로 전개됨을 보이고, $Q_\sigma$로 정의된 순서집합을 통해 그 연결성을 밝힌다. 또한 $F(M,\mathbf{x})$의 항등원이 총 무게를 최소화하는 기저의 수를 세는 생성함수임을 보여준다.
• 기저 다면체 분해에 대해 $F(M,\mathbf{x})$가 평가 함수임을 증명한다. 즉, 다면체가 더 작은 매트로이드 기저 다면체들로 분해될 경우, $F(M,\mathbf{x})$는 분해에 대해 가법성을 만족한다. 따라서 $F(M,\mathbf{x})$가 기약적이라면, 다면체는 비자명한 분해를 가질 수 없다.
• 매트로이드의 구조를 이용하여 $\mathcal{QS}ym$에 대한 두 개의 새로운 $\mathbb{Z}$-기저인 $F(R_\sigma,\mathbf{x})$와 $F(Q_\sigma,\mathbf{x})$를 구성하고, $LU$-분해를 통해 이들이 단순한 모듈러 관계를 가짐을 보여준다.

실험 결과

연구 질문

• RQ1 기저에서 총 무게를 최소화하는 유일한 기저를 가진 가중치 벡터의 분포를 캡처하는 매트로이드의 불변량으로서 쿼아지대칭 함수를 구성할 수 있는가?
• RQ2 이 쿼아지대칭 함수는 매트로이드 히프 알제브라에서 쿼아지대칭 함수의 히프 알제브라로의 히프 대칭 준동형사상인가? 그리고 유리수 계수에서 상사적인가?
• RQ3 이 불변량은 매트로이드 이중성과 히프 항등원에 대해 어떻게 행동하는가?
• RQ4 이 불변량은 $P$-분할 수의 합으로 표현될 수 있으며, 기존의 $\mathcal{QS}ym$ 기저와의 관계는 무엇인가?
• RQ5 이 불변량의 평가 함수 성질을 통해, 매트로이드 기저 다면체가 더 작은 매트로이드 기저 다면체들로의 비자명한 분해를 가질 수 있는지 탐지할 수 있는가?

주요 결과

• 쿼아지대칭 함수 $F(M,\mathbf{x})$는 잘 정의된 매트로이드의 동형 불변량이며, 총 무게가 유일한 기저에서 최소화되는 $M$-일반적인 가중치 함수에 대한 생성함수로 구성된다.
• 그리디 알고리즘이 절대적 가중치에 의존하지 않고 상대적 가중치에 의존하므로, 임의의 단어 $x_{i_1}^{\alpha_1}\cdots x_{i_k}^{\alpha_k}$($i_1 < \cdots < i_k$)의 계수는 조합 $\alpha$에만 의존하고 인덱스에 따라 달라지지 않으며, 이로 인해 $F(M,\mathbf{x})$는 쿼아지대칭이다.
• 매핑 $M \mapsto F(M,\mathbf{x})$는 매트로이드 히프 알제브라에서 $\mathcal{QS}ym$으로의 히프 대칭 준동형사상이며, 유리수 계수에서 상사적이다.
• 매트로이드 이중성에 대해 $F(M^*,\mathbf{x})$는 $F(M,\mathbf{x})$의 히프 항등원을 통해 얻어지며, 항등원은 총 무게를 최소화하는 기저의 수를 세는 생성함수를 제공한다.
• 함수 $F(M,\mathbf{x})$는 매트로이드 기저 다면체에 대해 평가 함수이다. 즉, 다면체가 더 작은 매트로이드 기저 다면체들로 분해될 경우, $F(M,\mathbf{x})$는 분해에 대해 가법성을 만족한다. 따라서 $F(M,\mathbf{x})$가 기약적이라면, 다면체는 그러한 분해를 가질 수 없다.
• 논문은 $\mathcal{QS}ym$에 대한 두 개의 새로운 $\mathbb{Z}$-기저인 $F(R_\sigma,\mathbf{x})$와 $F(Q_\sigma,\mathbf{x})$를 구성하고, 행렬 $A_n$이 $L_nU_n$으로 분해됨을 보여 $LU$-분해를 통해 이들이 단순한 모듈러 관계를 가짐을 보여준다.