[논문 리뷰] Some positive differences of products of Schur functions

François Bergeron, Peter R. W. McNamara|ArXiv.org|2004. 12. 14.

Advanced Combinatorial Mathematics참고 문헌 6인용 수 9

한 줄 요약

이 논문은 스체르-양성인 차이의 곱에 대한 스체르-양성성을 조사하며, 두 분할의 부분을 '틸드 연산자'를 통해 재분배할 경우 스체르-양성인 차이를 얻는다는 추측을 중심으로 한다. 저자들은 여러 중요한 경우에서 이 추측을 증명하고, 비틀린 형태로의 일반화를 제공하며, 조합적 구성과 상대 부분 크기 변화에 대한 포스 집합의 불변성에 의해 강력한 증거를 제시한다.

ABSTRACT

The product $s_μs_ν$ of two Schur functions is one of the most famous examples of a Schur-positive function, i.e. a symmetric function which, when written as a linear combination of Schur functions, has all positive coefficients. We ask when expressions of the form $s_λs_ρ- s_μs_ν$ are Schur-positive. This general question seems to be a difficult one, but a conjecture of Fomin, Fulton, Li and Poon says that it is the case at least when $λ$ and $ρ$ are obtained from $μ$ and $ν$ by redistributing the parts of $μ$ and $ν$ in a specific, yet natural, way. We show that their conjecture is true in several significant cases. We also formulate a skew-shape extension of their conjecture, and prove several results which serve as evidence in favor of this extension. Finally, we take a more global view by studying two classes of partially ordered sets suggested by these questions.

연구 동기 및 목표

• 형태 $ s_{\tau}s_{\rho} - s_{\nu}s_{\nu} $ 가 스체르-양성일 때를 조사하며, 특히 $ (\tau, \rho) $ 가 $ (\nu, \nu) $ 의 부분을 틸드 연산을 통해 재분배하여 유도될 경우를 중심으로 한다.
• Fomin-Fulton-Li-Poon 추측, 즉 모든 분할 $ \nu, \rho $ 에 대해 $ s_{\tilde{\nu}}s_{\tilde{\rho}} - s_{\nu}s_{\rho} $ 가 스체르-양성임을 여러 중요한 경우에서 증명함으로써 이를 뒷받침한다.
• 추측을 비틀린 스체르 함수로 확장하고, 비틀린 형태 일반화에 대한 부분적 결과를 증명함으로써 지지한다.
• 이러한 곱과 관련된 부분 순서 집합(포스 집합)의 구조를 탐구하며, 상대 부분 크기 변화에 대해 불변임을 드러내고, 카메라 복합체 분해를 제안한다.

제안 방법

• 스체르-양성성을 Littlewood-Richardson 계수 $ c^{\theta}_{\tau\rho} \triangleq c^{\theta}_{\nu\tau} $ 에 대한 부등식으로 해석하기 위해 Littlewood-Richardson 규칙을 사용하며, 문제를 반정규 Young 표준 채우기의 수를 세는 것으로 환원한다.
• 2분할 추측이 m분할 일반화를 암시함을 보이기 위해 '다시 칠하기' 논증을 적용함으로써 결과의 적용 범위를 넓힌다.
• 스체르-양성성의 엄격한 지배를 보이기 위해 Littlewood-Richardson 채우기 집합 간의 명시적 단사 사상(Injection)을 구성함으로써 포스 구조에서의 지배 관계를 증명한다. 예를 들어 $ D(k^m) $ 에서의 $ d_{r-1} < d_r $ 관계.
• 분할 $ \nu $ 와 관련된 포스 집합 $ D(\nu) $ 를 분석하며, 그 동형류가 절대값이 아니라 상대 부분 크기만에 의존함을 카메라 복합체 구조를 통해 보여준다.
• Jacobi-Trudi 항등식과 그 '폭발된' 변형(각 항목을 직사각형 스체르 함수 $ s_{(a^k)} $ 로 대체함)을 사용하여 새로운 스체르-양성 표현을 생성한다.
• p=3 일 때 degree 90 이하까지 폭발된 Jacobi-Trudi 행렬식의 스체르-양성성을 체계적으로 계산 검증하였지만, p=4 일 경우 단순한 경우에서 스체르-양성이 아님을 확인하였다.

실험 결과

연구 질문

• RQ1 분할 $ \nu, \rho $ 에 대해 $ (\tilde{\nu}, \tilde{\rho}) $ 가 틸드 연산으로부터 유도될 때, 차이 $ s_{\tilde{\nu}}s_{\tilde{\rho}} - s_{\nu}s_{\rho} $ 는 항상 스체르-양성인가?
• RQ2 Fomin-Fulton-Li-Poon 추측의 비틀린 형태 일반화는 성립하는가? 즉, $ m \to \text{even} $ 일 때 $ s_{\tilde{\nu}^1} \bar{s}_{\tilde{\nu}^2} \bar{\bar{...}}} s_{\tilde{\nu}^m} - s_{\nu^1} s_{\nu^2} \bar{\bar{...}}} s_{\nu^m} $ 는 스체르-양성인가?
• RQ3 다른 부분 크기 변화에 대해, 지배 순서에 의해 정의된 포스 집합 $ D(\nu) $ 는 어떤 구조적 성질을 보이는가?
• RQ4 '폭발된' Jacobi-Trudi 행렬식 $ \text{det}(s_{((\nu_i - i + j)^k)}) $ 는 언제 스체르-양성이며, 그 양성성은 무엇에 의해 결정되는가?

주요 결과

• 스체르-양성 추측, 즉 $ s_{\tilde{\nu}}s_{\tilde{\rho}} - s_{\nu}s_{\rho} $ 가 여러 중요한 경우에서 성립함을 입증하였다. 특히 직사각형 분할인 경우, 즉 $ \nu = k^a, \rho = k^b $ 이고 $ a \neq b $ 일 때 성립한다.
• 직사각형 분할 $ k^a $ 과 $ k^b $ 에 대해, $ a \neq b $ 일 때 차이 $ s_{k^a}s_{k^b} - s_{k^{a+1}}s_{k^{b-1}} $ 는 스체르-양성이며, 이는 쌍대 Jacobi-Trudi 항등식과 연결되어 있다.
• 분할 $ k^m $ 과 관련된 포스 집합 $ D(k^m) $ 는 길이 $ \floor{m/2} $ 의 체인과 동형이며, $ d_{r-1} < d_r $ 의 지배 순서는 LR채우기 집합 간의 명시적 단사 사상으로 증명된다.
• 포스 집합 $ D\left")(\nu) $ 는 상대 부분 크기 변화에 대해 불변이다. 예를 들어 $ x > a > b > c > d > 0 $ 일 때 $ D(x,a,b,c,d) $ 는 항상 고정된 포스 집합과 동형이다. 이는 분할 공간의 카메라 복합체 분해를 시사한다.
• 폭발된 Jacobi-Trudi 행렬식 $ \text{det}(s_{((\nu_i - i + j)^k)}) $ 는 모든 $ p \times p $ 행렬에 대해 $ p \neq 4 $ 일 때 스체르-양성이며, $ p=3 $ 일 때 degree 90 이하까지 검증되었지만, $ p=4 $ 일 경우 단순한 경우에서 스체르-양성이 아님을 확인하였다.
• 비틀린 형태 일반화 추측은 2분할 경우로부터 '다시 칠하기' 논증을 통해 유도되며, 논문 내 몇 가지 증명은 자연스럽게 $ m $-분할 경우로 확장된다.