[논문 리뷰] Refined dual Grothendieck polynomials, integrability, and the Schur measure

Kohei Motegi, Travis Scrimshaw|arXiv (Cornell University)|2020. 12. 30.

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

한 줄 요약

이 논문은 분할 함수가 정밀화된 이중 고티엔드이크 다항식과 일치하는 정점 모델을 구성하며, 단항식을 교차하지 않는 격자 경로로 해석한다. 적분 가능한 체계 기법을 사용하여 정밀화된 자코비–트루디 공식을 증명하고, 새로운 리틀우드 및 카우치–리틀우드 항등식을 수립하며, 확률적 및 대수적 방법을 통해 다항식을 최종 통과 퍼질러진 모형(Last-Passage Percolation, LPP)과 슈어 과정(Schur process)과 연결한다.

ABSTRACT

We construct a vertex model whose partition function is a refined dual Grothendieck polynomial, where the states are interpreted as nonintersecting lattice paths. Using this, we show refined dual Grothendieck polynomials are multi-Schur functions and give a number of identities, including a Littlewood and Cauchy(-Littlewood) identity. We then refine Yeliussizov's connection between dual Grothendieck polynomials and the last passage percolation (LPP) stochastic process discussed by Johansson. By refining algebraic techniques of Johansson, we show Jacobi-Trudi formulas for skew refined dual Grothendieck polynomials conjectured by Grinberg and recover a relation between LPP and the Schur process due to Baik and Rains. Lastly, we extend our vertex model techniques to show some identities for refined Grothendieck polynomials, including a Jacobi-Trudi formula.

연구 동기 및 목표

• 비자명한 격자 경로(nonintersecting lattice paths, NILP)를 사용하여, 분할 함수가 정밀화된 이중 고티엔드이크 다항식이 되는 정점 모델을 구축한다.
• 적분 가능한 체계 기법을 통해 정밀화된 이중 고티엔드이크 다항식에 대한 리틀우드 및 카우치–리틀우드 항등식의 정밀화된 형태를 증명한다.
• 확률적 및 대수적 기법을 통해 정밀화된 이중 고티엔드이크 다항식을 최종 통과 퍼질러진 모형(LPP)과 슈어 과정(Schur process)과 연결한다.
• 정점 모델 프레임워크를 확장하여, 자코비–트루디 공식을 포함한 정밀화된 고티엔드이크 다항식에 대한 새로운 항등식을 유도한다.
• 스스로 분해와 적분 가능성에 기반하여 정밀화된 이중 고티엔드이크 다항식이 다중 슈어 함수임을 보인다.

제안 방법

• 비자명한 격자에서 다섯 정점 모델을 구성하여 상태가 교차하지 않는 격자 경로(NILP)에 대응되도록 하며, 정밀화된 이중 고티엔드이크 다항식의 단항식을 표현한다.
• 정밀화된 이중 고티엔드이크 다항식의 슈어 분해를 사용하여 분할 함수를 역 평면 분할의 합으로 해석한다.
• 양–바이어거 방정식과 전이 행렬 기법을 포함한 적분 가능한 체계 기법을 적용하여 항등식과 구조 공식을 도출한다.
• 요한슨의 LPP에 대한 자코비–트루디 공식의 대수적 증명을 정밀화하기 위해 매개변수 $\mathbf{t} = (t_1, \dots, t_{\ell-1})$ 를 도입하여 $\beta$-경우를 일반화한다.
• 청–리–류크 항등식을 사용하여 정밀화된 이중 고티엔드이크 다항식이 라스카우의 의미에서 다중 슈어 함수임을 보인다.
• LPP 모형과 역 평면 분할 사이의 확률적 이분사적 사상(probabilistic bijection)을 수립하여, 공동 확률 $P(\mathbf{G}(n) = \lambda)$ 를 정규화 인자까지 고려한 $g_\lambda(\mathbf{x}; \mathbf{t})$ 와 연결한다.

실험 결과

연구 질문

• RQ1 정밀화된 이중 고티엔드이크 다항식은 적분 가능한 정점 모델의 분할 함수로 표현될 수 있는가?
• RQ2 정밀화된 이중 고티엔드이크 다항식에 대해 리틀우드 및 카우치–리틀우드 항등식의 정밀화된 형태는 무엇인가?
• RQ3 최종 통과 퍼질러진 모형과 슈어 과정 사이의 연결 고리를 매개변수 $\mathbf{t}$ 를 포함한 정밀화된 설정으로 어떻게 확장할 수 있는가?
• RQ4 정밀화된 이중 고티엔드이크 다항식은 다중 슈어 함수로 해석될 수 있으며, 이는 슈어 분해와 어떻게 관련되는가?
• RQ5 적분 가능한 체계와 정밀화된 대수적 기법을 통해 비틀린 형태(skew shapes)에 대한 역 자코비–트루디 공식을 어떻게 도출할 수 있는가?

주요 결과

• 스스로 분해와 적분 가능성 기법을 통해 정밀화된 이중 고티엔드이크 다항식 $g_\lambda(\mathbf{x}; \mathbf{t})$ 가 다중 슈어 함수임을 보였다.
• 정점 모델과 적분 가능한 체계 프레임워크를 사용하여 직선 형태에 대한 자코비–트루디 공식의 새로운 증명을 확보하였다.
• 리틀우드 및 카우치–리틀우드 항등식의 정밀화된 형태가 수립되었으며, 아마노프–예루시즈보프 및 예루시즈보프의 이전 결과를 확장하였다.
• LPP 모형에서의 공동 확률 $P(\mathbf{G}(n) = \lambda)$ 는 전체 정규화 인자까지 고려한 $g_\lambda(\mathbf{x}; \mathbf{t})$ 와 동일시됨을 확인하였다.
• 정점 모델 구성 과정을 통해 정밀화된 이중 고티엔드이크 다항식에 새로운 대칭성이 드러났다.
• 요한슨의 증명에 영감을 얻은 정밀화된 대수적 기법을 통해 비틀린 형태 $g_{\lambda/\mu}(\mathbf{x}; \mathbf{t})$ 에 대한 역 자코비–트루디 공식을 증명하였으며, 김 및 아마노프–예루시즈보프의 최근 결과를 독립적으로 확인하였다.