이중 에델만 그린 계수의 양성 조합 공식

초록

람·리·시모조노가 정의한 이중 스탠리 대칭함수의 이중 슈어 전개 계수인 이중 에델만-그린 계수가 양수임을 기하학적으로 증명했으나, 조합적 증명은 없었다. 저자들은 버멀프 파이프드림(bumpless pipedream)과 브루트 순서의 증가 사슬을 이용해 이 계수를 직접 계산하는 조합적 공식과 그 양성을 제공한다.

상세 분석

본 논문은 이중 스탠리 대칭함수 F_w(x‖y)의 이중 슈어 전개 계수 j_{w λ}(y) 에 대한 조합적 해석을 제시한다. 기존의 LLS 정리와 Anderson의 정밀 양성(각 차이형 (y_i−y_j) 의 종류별 차수 제한)은 등변 기하학과 로컬라이제이션을 통해 얻어졌지만, 이를 순수히 순열과 격자 타일링으로 설명하는 방법은 없었다. 저자들은 먼저 LLS가 제시한 버멀프 파이프드림(BPD) 모델을 활용한다. BPD는 격자 ℤ×ℤ 위에 6가지 기본 타일을 배치해 파이프가 서로 교차하지 않도록 하는 구조이며, 각 타일에 부여된 가중치 (x_i−y_j) 의 곱이 해당 파이프드림의 기여가 된다. 핵심 아이디어는 BPD를 두 차례 절단해 보다 작은 조각으로 분해하는 것이다. 첫 번째는 “수평 절단”(horizon cut)으로, 전체 파이프드림을 상반평면 H↑ 와 하반평면 H↓ 으로 나눈다. 하반평면에 대해 σ∈S⁻(비내림 순열)와 w∈S_ℤ 에 의해 정의된 LBPD(σ,w) 집합을 도입하고, 그 생성함수 S^↓_{σ,w}(x;y) 를 연구한다. 이때 LLS와 Anderson이 요구하는 양성 형태가 나타나는지 확인하기 위해 ω₁이라는 변수 교환 사상을 이용해 유형 1, 2, 3 차이형을 교환·보존한다. 두 번째 절단은 “대각선 절단”(diagonal cut)으로, H↓ 내의 삼각 영역 A={0<i<j}와 사다리꼴 영역 A’={0<i, j≤i} 으로 분리한다. 이 절단은 경계조건 γ (파이프가 오른쪽·위쪽 경계에서 어떻게 들어오는가)를 정의하고, 각 γ 에 대해 BPD(γ) 집합을 얻는다. 여기서 중요한 점은 A 위의 BPD는 이미 유형 1 차이형만을 포함하는 가중치 곱을 제공하므로, 최종 목표인 유형 3 차이형만을 포함하는 식을 얻기 위해서는 γ 에 대응하는 “증가 사슬”(increasing chain) 모델을 도입한다. Sottile이 정의한 브루트 순서의 증가 사슬은 순열 u→w 사이의 최소 상승 사슬을 의미하며, 각 단계마다 지정된 정수 α_i 에 따라 가중치 wt_n^α 가 부여된다. 저자들은 BPD(γ)와 증가 사슬 집합 C(U,W,α) 사이에 명시적인 전단사(bijection)를 구축하고, 이를 통해
\