[논문 리뷰] Kazhdan-Lusztig polynomials for the Hermitian symmetric pair $(B_N,A_{N-1})$

Keiichi Shigechi|arXiv (Cornell University)|2014. 12. 21.

Advanced Combinatorial Mathematics참고 문헌 12인용 수 8

한 줄 요약

이 논문은 비균일 히드로크 파arameter를 가진 헤르미션 대칭 쌍 $(B_N, A_{N-1})$ 에 대해 카즈한–류스트리그 다항식 $P_{\alpha,\beta}^{\pm}$ 를 계산하기 위한 조합적 규칙을 제시한다. 이는 비틀린 스트립과 비틀린 페로르 다이어그램에서의 다이어그램적 쌓기 규칙을 사용한다. 이는 보의 이진 트리 알고리즘을 일반화하며, 비틀린 스트립 구성, 이진 트리 레이블링, 연결 패턴 사이의 전단사 관계를 수립하여, 생성 함수 $Q^{\pm}_{\alpha,\beta}$ 가 카즈한–류스트리그 다항식 $P^{\pm}_{\alpha,\beta}$ 와 동일하다는 것을 증명한다.

ABSTRACT

We provide combinatorial rules to compute Kazhdan--Lusztig polynomials for the Hermitian symmetric pair $(B_N,A_{N-1})$ when the Hecke algebra has unequal parameters. They are obtained by filling regions delimited by paths with ballot strips. We also extend the binary tree algorithm introduced by Lascoux and Schützenberger to our case.

연구 동기 및 목표

• 비균일 매개변수 케이스에서 헤르미션 대칭 쌍 $(B_N, A_{N-1})$ 에 대해 파라보릭 카즈한–류스트리그 다항식 $P^{\pm}_{\alpha,\beta}$ 를 통합된 조합적 프레임워크로 계산하는 것.
• 라스코우–슐츠너거의 이진 트리 알고리즘과 보의 알고리즘을 $B_N$ 유형의 비균일 매개변수 설정으로 확장하는 것.
• 비틀린 스트립 구성, 이진 트리 레이블링, 연결 패턴 사이의 전단사 관계를 수립하여 $P^{\pm}_{\alpha,\beta}$ 의 직접 계산을 가능하게 하는 것.
• 비틀린 스트립 쌓기 방식으로 정의된 생성 함수 $Q^{\pm}_{\alpha,\beta}$ 가 카즈한–류스트리그 다항식 $P^{\pm}_{\alpha,\beta}$ 와 동일하다는 것을 증명하는 것.

제안 방법

• 비틀린 스트립을 도입하여, $S_N^C / S_N$ 코셋 공간 내 경로 구성의 일반화로 사용하며, 비틀린 페로르 다이어그램에서 특정 쌓기 규칙(규칙 I 및 규칙 II)을 적용한다.
• 비틀린 스트립의 가중치를 경로 및 레이블링 구조에서 유도하여, 비틀린 다이어그램 $\lambda(\beta)/\lambda(\alpha)$ 에서의 비틀린 스트립 쌓기 방식으로 생성 함수 $Q^{\pm}_{\alpha,\beta}$ 를 정의한다.
• 비틀린 스트립 구성, 이진 트리 레이블링, 경로 $\alpha < \beta$ 에 대응하는 연결 패턴 사이의 전단사 대응 관계를 수립하며, 이때 가중치가 유지됨을 보인다.
• 생성 함수 $Q^{\pm}_{\alpha,\beta}$ 의 역전관계를 이용하여 $R$-다항식의 표준 재귀식과 연결함으로써, 카즈한–류스트리그 이론과의 일관성을 확보한다.
• 이진 트리 레이블링과 비틀린 스트립 구성 간의 가중치 보존 사상으로 비균일 매개변수 설정으로의 이진 트리 알고리즘 일반화를 수행한다.
• 카즈한–류스트리그 기저의 인수분해 성질을 활용하여, 가중치 보존 전단사와 함께 $Q^{\pm}_{\alpha,\beta} = P^{\pm}_{\alpha,\beta}$ 를 증명한다.

실험 결과

연구 질문

• RQ1 비균일 히드로크 매개변수를 가진 헤르미션 대칭 쌍 $(B_N, A_{N-1})$ 에서 카즈한–류스트리그 다항식 $P^{\pm}_{\alpha,\beta}$ 는 어떻게 조합적으로 계산할 수 있는가?
• RQ2 비틀린 스트립은 $P^{\pm}_{\alpha,\beta}$ 의 구조를 어떻게 표현하는가? 그리고 이는 경로 구성과 연결 패턴과 어떻게 관련이 있는가?
• RQ3 보와 라스코우–슐츠너거의 이진 트리 알고리즘은 비균일 매개변수 설정의 $B_N$ 유형으로 어떻게 일반화할 수 있는가?
• RQ4 비틀린 스트립 구성, 이진 트리 레이블링, 연결 패턴 사이에 생성 함수 가중치를 보존하는 직접적인 전단사 관계가 존재하는가?
• RQ5 비틀린 스트립 쌓기 방식으로 정의된 생성 함수 $Q^{\pm}_{\alpha,\beta}$ 는 카즈한–류스트리그 다항식 $P^{\pm}_{\alpha,\beta}$ 와 일치하는가?

주요 결과

• 비틀린 페로르 다이어그램에서 비틀린 스트립 쌓기 방식으로 정의된 생성 함수 $Q^{\pm}_{\alpha,\beta}$ 는 비균일 매개변수를 가진 헤르미션 대칭 쌍 $(B_N, A_{N-1})$ 에 대해 카즈한–류스트리그 다항식 $P^{\pm}_{\alpha,\beta}$ 와 동일하다는 것이 증명되었다.
• 비틀린 스트립 구성, 이진 트리 레이블링, 연결 패턴 사이의 전단사 관계가 수립되었으며, 이는 가중치를 유지한다.
• 이진 트리 알고리즘이 비균일 매개변수 설정으로 일반화되었으며, 매개변수가 동일할 경우 보의 원래 알고리즘을 복원한다.
• 이진 트리나 연결 패턴에서의 레이블 가중치는 정확히 해당 비틀린 스트립 구성의 가중치와 일치하여 생성 함수의 일관성을 보장한다.
• 카즈한–류스트리그 기저의 인수분해 성질이 비틀린 스트립 구성과 쌓기 규칙을 통해 명시적으로 유지되고 실현된다.
• 경로 다이어그램, 비틀린 스트립, 연결 패턴을 사용하여 $P^{\pm}_{\alpha,\beta}$ 를 직접적으로, 시각적으로, 계산 가능하게 하는 알고리즘이 제시되었으며, 이는 이전 연구를 비균일 매개변수로 확장한다.