[논문 리뷰] A Generalization of Schur's $P$- and $Q$-Functions

Soichi Okada|arXiv (Cornell University)|2019. 04. 06.

Advanced Combinatorial Mathematics참고 문헌 17인용 수 5

한 줄 요약

이 논문은 다항식 수열을 이용한 슈어의 $P$- 및 $Q$-함수에 대한 일반화된 프레임워크를 제안하며, 매크도날의 제9변형을 대칭함수로 확장한다. 편안형과 선형대수학적 방법을 통해 코시형, 피에리형, 조제피아크–프라카즈–니모 공식과 같은 핵심 항등식을 수립하며, 고전적 루트 계열에 대한 슈어 $P$-함수, 이바노프의 팩터리얼 $P$-함수, $t=-1$ 할름–리틀우드 함수 등의 특수한 경우들을 통합한다.

ABSTRACT

We introduce and study a generalization of Schur's $P$-/$Q$-functions associated to a polynomial sequence, which can be viewed as ``Macdonald's ninth variation'' for $P$-/$Q$-functions. This variation includes as special cases Schur's $P$-/$Q$-functions, Ivanov's factorial $P$-/$Q$-functions and the $t=-1$ specialization of Hall--Littlewood functions associated to the classical root systems. We establish several identities and properties such as generalizations of Schur's original definition of Schur's $Q$-functions, Cauchy-type identity, Józefiak--Pragacz--Nimmo formula for skew $Q$-functions, and Pieri-type rule for multiplication.

연구 동기 및 목표

• 다항식 수열에 기반한 슈어의 $P$- 및 $Q$-함수에 대한 일반화된 프레임워크를 개발하여 매크도날의 제9변형을 확장한다.
• 스슈어 $P$-함수, 이바노프의 팩터리얼 $P$-함수, 고전적 루트 계열에 대한 $t=-1$ 할름–리틀우드 함수와 같은 알려진 특수한 경우들을 통합한다.
• 일반화된 $P$-함수에 대한 기본 항등식—코시형, 스케우함수 공식, 피에리 규칙—을 수립한다.
• 편안형과 행렬 항등식을 이용한 선형대수학적 기반을 제공하여, $P$-함수의 니모 타입 공식을 일반화한다.
• 이론을 쌍대 $P$-함수로 확장하고, 일반화된 슈어 함수와 그 쌍대함수를 포함하는 코시형 항등식을 증명한다.

제안 방법

• 다항식 평가로 구성된 왜곡대칭 행렬 $A(\boldsymbol{x})$와 행렬 $V^{\boldsymbol{Τ}}_{\boldsymbol{\nu}}(\boldsymbol{x})$를 포함하는 편안형 공식을 통해 일반화된 $P$-함수 $P^\boldsymbol{\frak{F}}_{\boldsymbol{\nu}}(\boldsymbol{x})$를 정의한다.
• 다항식 수열 $\boldsymbol{Τ} = \{f_d\}_{d=0}^\infty$를 $f_0(t) = 1$ 및 $\deg f_d = d$ 라고 정의하고, $d \geq 1$일 때 $f_d(0) = 0$인 경우 상수항이 없는 수열을 고려한다.
• 편안형 항등식, 특히 실베스터형 및 라플라스 전개 유사 공식을 적용하여 일반화된 $P$-함수의 구조적 성질을 도출한다.
• 일반화된 $P$-함수의 생성함수와 $\widetilde{B}(\boldsymbol{x};\boldsymbol{y})$ 및 $\widetilde{\Pi}(\boldsymbol{x};\boldsymbol{y})$를 포함하는 편안형 행렬식을 연결하여 코시형 항등식을 수립한다.
• 편안형 전개와 행렬 분해 기법을 사용하여 스케우 일반화된 $P$-함수에 대한 조제피아크–프라카즈–니모 공식을 유도한다.
• 일반화된 $P$-함수와 단일행 $P$-함수의 곱에 대한 피에리형 규칙을 증명하며, $P^\boldsymbol{Τ}_\lambda \cdot P^\boldsymbol{Τ}_{(k)}$를 이동된 분할을 가진 일반화된 $P$-함수들의 합으로 표현한다.

실험 결과

연구 질문

• RQ1 어떻게 다항식 수열 $\boldsymbol{Τ}$를 이용하여 슈어의 $P$- 및 $Q$-함수를 일반화할 수 있으며, 이들은 일반화된 슈어 함수로부터 어떤 성질을 물려받는가?
• RQ2 원래의 니모 타입 정의를 일반화하는 편안형 기반 공식은 무엇이며, 이는 스케우 및 쌍대 형태로 어떻게 확장되는가?
• RQ3 일반화된 $P$-함수에 대해 코시형 항등식을 수립할 수 있으며, 이는 쌍대 $P$-함수의 생성함수와 어떻게 관련되는가?
• RQ4 일반화된 $P$-함수와 단일행 $P$-함수의 곱의 구조는 무엇이며, 이는 고전적 피에리 규칙을 어떻게 일반화하는가?
• RQ5 이바노프의 팩터리얼 $P$-함수와 고전적 루트 계열에 대한 $t=-1$ 할름–리틀우드 함수와 같은 특수한 경우들은 이 일반화된 프레임워크의 어떤 특수한 예로 나타나는가?

주요 결과

• 일반화된 $P$-함수 $P^{\boldsymbol{Τ}}_{\lambda}(\boldsymbol{x})$는 $A(\boldsymbol{x})$와 $V^{\boldsymbol{Τ}}_{\lambda}(\boldsymbol{x})$를 포함하는 편안형 공식으로 정의되며, 부호는 $n + l$의 기수성에 따라 달라진다.
• 코시형 항등식이 수립된다: $\sum_{\lambda} P^{\boldsymbol{Τ}}_{\lambda}(\boldsymbol{x}) Q^{\boldsymbol{Τ}}_{\lambda}(\boldsymbol{y}) = \widetilde{\Pi}(\boldsymbol{x};\boldsymbol{y}) \widetilde{\Delta}(\boldsymbol{x}) \widetilde{\Delta}(\boldsymbol{y})$, 여기서 $Q^{\boldsymbol{Τ}}_{\lambda}$는 쌍대 $P$-함수이다.
• 스케우 일반화된 $P$-함수에 대한 조제피아크–프라카즈–니모 공식은 $P^{\boldsymbol{Τ}}_{\lambda/\mu}(\boldsymbol{x}) = \frac{1}{\Delta(\boldsymbol{x})} \operatorname{Pf} \begin{pmatrix} A(\boldsymbol{x}) & V^{\boldsymbol{Τ}}_{\lambda^{0}}(\boldsymbol{x}) \\ -{}^{t}\!V^{\boldsymbol{Τ}}_{\lambda^{0}}(\boldsymbol{x}) & O \end{pmatrix}$ 로 일반화되며, $\lambda^0$은 프로베누스 표기법에 의해 정의된다.
• 피에리형 규칙이 증명된다: $P^{\boldsymbol{Τ}}_{\lambda} \cdot P^{\boldsymbol{Τ}}_{(k)} = \sum_{\mu \to \lambda \text{ via } k} P^{\boldsymbol{Τ}}_{\mu}$, 여기서 합은 일반화된 구조에 부합하는 방식으로 $\lambda$에 상자를 추가하여 얻어진 분할 $\mu$들에 대해 이루어진다.
• 일반화된 $P$-함수는 $f_d(u) = u^d$일 때 슈어 $P$-함수를 회복하며, $f_d(u) = (u|\boldsymbol{a})^d$일 때 이바노프의 팩터리얼 $P$-함수를, 고전적 루트 계열에 대한 $t=-1$ 전문화에서 할름–리틀우드 함수를 회복한다.
• 증명에 사용된 편안형 항등식은 렘마들을 통해 검증되며, 이는 편안형 버전의 코시–바인 공식 및 라플라스 전개를 포함하며, $\operatorname{Pf}\widetilde{A}(\boldsymbol{x})$ 및 $\operatorname{Pf}\begin{pmatrix}\widetilde{A}(\boldsymbol{x})&\widetilde{B}(\boldsymbol{x};\boldsymbol{y})\\ -{}^{t}\!\widetilde{B}(\boldsymbol{x};\boldsymbol{y})&-\widetilde{A}(\boldsymbol{y})\end{pmatrix}$에 대한 명시적 공식이 제공된다.