[논문 리뷰] Boolean product polynomials and Schur-positivity

Louis J. Billera, Sara Billey외 1명|arXiv (Cornell University)|2018. 06. 08.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 3

한 줄 요약

이 논문은 불리안 곱 다항식—0–1 벡터에 대한 부분집합 합의 곱으로 정의된 대칭 다항식—의 슈어-양성(positive)을 증명한다. 이를 위해 퓌르타인-라자르펠트 양성에 기반해 벡터 번들의 총 체르누 클래스와 연결함으로써 이루어진다. 주요 결과는 이러한 모든 다항식, 특히 두 알파벳으로 확장된 형태까지 포함하여, 슈어 함수로 전개할 때 비음수 정수 계수를 가짐을 보여, 대칭 함수 이론과 초평면 배치 이론에서 오랫동안 남아 있던 문제를 해결한다.

ABSTRACT

We study a family of symmetric polynomials that we refer to as the Boolean product polynomials. The motivation for studying these polynomials stems from the computation of the characteristic polynomial of the real matroid spanned by the nonzero vectors in $\mathbb{R}^n$ all of whose coordinates are either $0$ or $1$. To this end, one approach is to compute the zeros of the Boolean product polynomials over finite fields. The zero loci of these polynomials cut out hyperplane arrangements known as resonance arrangements, which show up in the context of double Hurwitz polynomials. By relating the Boolean product polynomials to certain total Chern classes of vector bundles, we establish their Schur-positivity by appealing to a result of Pragacz relying on earlier work on numerical positivity by Fulton-Lazarsfeld. Subsequently, we study a two-alphabet version of these polynomials from the viewpoint of Schur-positivity. As a special case of these polynomials, we recover symmetric functions first studied by Désarménien and Wachs in the context of descents in derangements.

연구 동기 및 목표

• 정의된 (n,k)-번째 불리안 곱 다항식 $B_{n,k}(X)$의 슈어-양성 증명—여기서 $B_{n,k}(X)$는 $[n]$의 $k$-원소 부분집합 $S$에 대해 모든 부분집합 합 $X_S = \sum_{i \in S} x_i$의 곱으로 정의된다.
• 이 결과를 두 알파벳 버전인 $\mathcal{P}_{j,k}(X,Y)$로 확장하여, $X$의 $j$-부분집합과 $Y$의 $k$-부분집합에 대해 $X_S + Y_T$의 합으로 이루어진 다항식을 정의하고, 양변에 대해 슈어-양성을 증명한다.
• 이러한 다항식을 공진화 배열, 최소 균형 집합, 초평면 배열의 영역과 같은 기하학적·조합적 대상과 연결한다.
• 표현 이론과의 연결 고리를 탐색하며, $\mathfrak{S}_n$-모듈의 프로베니우스 특성치와 고차 리 모듈에 대한 연결을 다룬다.
• 조합적 해석을 탐색하며, 포지트로이드와 $\sum_{k=0}^n \frac{n!}{k!}$ 수열과의 연결 고리를 다루고, 로빈슨-셰네스테드 알고리즘의 잠재적 일반화를 제안한다.

제안 방법

• 벡터 번들의 방법을 사용: $B_{n,k}(X)$를 질량 $n$인 벡터 번들 $\mathcal{E}$의 외적 거듭제곱 $\bigwedge^k \mathcal{E}$의 총 체르누 클래스로 해석한다. 여기서 체르누 루트는 $x_1, \dots, x_n$이다.
• 프라카지의 정수적 양성 정리 적용—이를 통해 전역적으로 생성된 벡터 번들의 총 체르누 클래스는 슈어-양성임을 보장한다.
• 두 알파벳으로의 일반화: $\mathcal{P}_{j,k}(X,Y) = \prod_{|S|=j, |T|=k} (X_S + Y_T)$로 정의하며, 이는 $e_p(\bigwedge^j \mathcal{E} \otimes \bigwedge^k \mathcal{F})$로 표현된다.
• 이 다항식이 $\mathfrak{S}_n \times \mathfrak{S}_m$-모듈의 프로베니우스 특성치임을 이용하고, 슈어-양성 정리들을 적용하여 슈어 함수의 곱으로 전개됨을 유도한다.
• 기존의 대칭 함수 항등식, 예를 들어 $\mathcal{P}_{1,1}(X,Y) = \prod_{i,j} (x_i + y_j)$에 대한 쌍대 코시 항등식을 연결하여 조합적 해석의 동기를 제공한다.
• 유한체 방법을 사용하여 $B_n(X)$의 영점의 위치를 공진화 배열과 연결하고, 이 배열의 영역은 최대 비균형 집합과 일반화된 지연 함수를 세는 데 기여한다.

실험 결과

연구 질문

• RQ1 모든 $n$과 $k \leq n$에 대해 불리안 곱 다항식 $B_{n,k}(X)$는 슈어-양성인가?
• RQ2 벡터 번들과 체르누 클래스를 포함한 기하학적 방법을 통해 $B_{n,k}(X)$의 슈어-양성을 확립할 수 있는가?
• RQ3 두 알파벳 일반화인 $\mathcal{P}_{j,k}(X,Y)$ 역시 양변에 대해 슈어-양성 대칭 함수를 유도하는가?
• RQ4 차원이 $\sum_{k=0}^n \frac{n!}{k!}$인 프로베니우스 특성치 $B_{n,n-1}(X;1)$의 조합적 또는 표현론적 의미는 무엇인가?
• RQ5 슈어-양성을 설명할 수 있는 조합적 규칙, 예를 들어 일반화된 로빈슨-셰네스테드 삽입 알고리즘은 존재하는가?

주요 결과

• ($n,k$)-번째 불리안 곱 다항식 $B_{n,k}(X)$는 슈어-양성이다: $B_{n,k}(X) = \sum_{\lambda} \kappa_{\lambda}^{(n,k)} s_\lambda(X)$ 이며 $\kappa_{\lambda}^{(n,k)} \in \mathbb{Z}_{\geq 0}$.
• 전체 불리안 곱 다항식 $B_n(X) = \prod_{k=1}^n B_{n,k}(X)$ 역시 슈어-양성이며, 이는 전체 공진화 배열으로의 결과 확장이다.
• 두 알파벳 다항식 $\mathcal{P}_{j,k}(X,Y)$는 양변에 대해 슈어-양성이다: $\mathcal{P}_{j,k}(X,Y) = \sum_{\lambda,\mu} a_{\lambda\mu} s_\lambda(X)s_\mu(Y)$ 이며 $a_{\lambda\mu} \in \mathbb{Z}_{\geq 0}$.
• 일반화된 $q=1$일 때, 프로베니우스 특성치 $B_{n,n-1}(X;1)$는 차원 $\sum_{k=0}^n \frac{n!}{k!}$인 $\mathbb{C}\mathfrak{S}_n$-모듈을 나타내며, 이는 $[n]$ 위의 포지트로이드를 세는 데 기여한다.
• $\mathcal{P}_{1,1}(X,Y) = \prod_{i=1}^n \prod_{j=1}^m (x_i + y_j)$는 쌍대 코시 항등식을 통해 슈어-양성임을 보이며, 일반화의 기초 사례로 기능한다.
• 이 작업은 불리안 곱 다항식과 고차 리 모듈 사이에 잠재적 연결 고리를 시사하며, $B_{n,n-1}(X)$가 부분분할 $\lambda$에서 크기가 1인 부분이 없는 경우에 대해 $\mathrm{Lie}_\lambda(V)$의 프로베니우스 특성치의 합과 일치함을 보여준다.