[논문 리뷰] BC_n-symmetric polynomials

Eric M. Rains|ArXiv.org|2001. 12. 04.

Advanced Combinatorial Mathematics참고 문헌 20인용 수 4

한 줄 요약

이 논문은 옥운코프의 보간 다항식과 쿠른바인의 직교 다항식을 공유하는 $q$-차분 연산자에 의해 연구함으로써 $BC_n$-대칭 다항식에 대한 초함수적 접근을 제안한다. 이를 통해 브랜치 규칙, 피에리 항등식, 일반화된 $q$-사얼슈츠 공식 등 새로운 항등식을 도출하여 맥도널드의 추측과 고전적 대칭 공간에 관련된 새로운 적분 추측을 증명한다.

ABSTRACT

We consider two important families of BC_n-symmetric polynomials, namely Okounkov's interpolation polynomials and Koornwinder's orthogonal polynomials. We give a family of difference equations satisfied by the former, as well as generalizations of the branching rule and Pieri identity, leading to a number of multivariate q-analogues of classical hypergeometric transformations. For the latter, we give new proofs of Macdonald's conjectures, as well as new identities, including an inverse binomial formula and several branching rule and connection coefficient identities. We also derive families of ordinary symmetric functions that reduce to the interpolation and Koornwinder polynomials upon appropriate specialization. As an application, we consider a number of new integral conjectures associated to classical symmetric spaces.

연구 동기 및 목표

• 이중 아핀 히브레 아르바이트 이론을 피하고 고전적 초함수적 프레임워크를 $BC_n$-대칭 다항식에 적용한다.
• 평가 대칭성과 이항 공식을 이용해 쿠른바인 다항식에 대한 맥도널드의 추측을 증명한다.
• 보간 다항식을 분석함으로써 브랜치 규칙, 연결 계수, 역 이항 공식 등의 새로운 항등식을 유도한다.
• 보간 다항식과 쿠른바인 다항식으로 특수화되는 대칭 함수를 구성하고, 이들이 비대칭 맥도널드 다항식과 어떻게 연결되는지 밝힌다.
• 고전적 대칭 공간, 예를 들어 $O(2n)/O(n)\times O(n)$ 및 $Sp(2n)/U(n)$과 관련된 새로운 적분 추측을 수립하고 탐색한다.

제안 방법

• 공유하는 $q$-차분 연산자의 공동 고유함수로 보간 다항식 $\bar{P}^{*(n)}_{\lambda}$를 정의하며, 추가로 $\lambda \not\subset \mu$ 이면 $\bar{P}^{*(n)}_{\lambda}(\mu) = 0$ 임을 만족하는 성질을 갖는다.
• 옥운코프의 이항 공식을 사용하여 쿠른바인 다항식을 보간 다항식의 선형 조합으로 표현하며, 계수는 $\genfrac{[}{]}{0.0pt}{}{\lambda}{\mu}_{q,t,s} = \frac{\bar{P}^{*(n)}_{\mu}(\lambda;q,t,st^{1-n})}{\bar{P}^{*(n)}_{\mu}(\mu;q,t,st^{1-n})}$ 로 정의된다.
• 이항 공식에 차분 방정식을 적용하여 브랜치 규칙과 피에리 항등식의 다변수 버전을 도출함으로써 고전적 초함수 변환의 다변수 $q$-해석을 이끌어낸다.
• 쌍대 대칭성: $\genfrac{[}{]}{0.0pt}{}{\lambda}{\mu}_{q,t,s} = \genfrac{[}{]}{0.0pt}{}{\lambda^{\prime}}{\mu^{\prime}}_{t,q,1/\sqrt{qt}s}$ 를 확립하고 역 이항 공식을 도출한다.
• 이론을 적용하여 케일러-쿠른바인 및 다변수 $q$-라카흐 내적에 대해 케일러-쿠른바인 다항식의 직교성을 애드조인팅 연산자를 통해 증명한다.
• 특수화된 맥도널드 다항식과 $q$-기호를 사용하여 대칭 공간에 대한 추측적 적분 평가를 수립하며, 비대칭 분할에 대해 영이 되는 조건을 포함한다.

실험 결과

연구 질문

• RQ1 맥도널드의 추측을 대칭 다항식에 대해 초함수적 접근을 통해 재증명할 수 있는가?
• RQ2 $BC_n$-대칭 보간 다항식이 만족하는 구조적 항등식(예: 브랜치 규칙, 연결 계수)은 무엇인가?
• RQ3 브랜치 피에리 항등식에서 다변수 $q$-해석의 고전적 초함수 항등식(예: 사얼슈츠, 워튼)을 도출할 수 있는가?
• RQ4 어떤 대칭 함수가 보간 다항식과 쿠른바인 다항식으로 특수화되며, 이들은 비대칭 맥도널드 다항식과 어떻게 관련되는가?
• RQ5 직교 및 라그랑주 대칭 공간에 대해 가능한 적분 평가의 형태는 무엇이며, 그 비영이 되기 위한 조건은 무엇인가?

주요 결과

• 브랜치 피에리 항등식을 통해 다변수 $q$-해석의 사얼슈츠 합공식의 새로운 다변수 $q$-해석을 증명하며, 이는 이항 계수로 표현된다.
• 이항 계수에 대한 쌍대 대칭성: $\genfrac{[}{]}{0.0pt}{}{\lambda}{\mu}_{q,t,s} = \genfrac{[}{]}{0.0pt}{}{\lambda^{\prime}}{\mu^{\prime}}_{t,q,1/\sqrt{qt}s}$ 를 확립하여 보간 다항식의 비자명한 대칭성을 제공한다.
• 역 이항 공식을 도출하여 보간 다항식을 쿠른바인 다항식의 전개로 표현할 수 있다.
• 이론은 쿠른바인 다항식의 연결 계수 공식을 도출하며, 나스랄라-라하먼 적분 표현을 일반화한다.
• $O(2n)/O(n)\times O(n)$ 및 $Sp(2n)/U(n)$와 같은 대칭 공간에 대해, 분할이 각각 $2\mu$ 또는 $\mu^2$ 형태일 때에만 비영이 되는 조건을 포함하는 적분 평가에 대한 추측을 수립한다.
• 비영인 적분에 대한 명시적 표현을 $q$-기호를 통해 제공하며, 예를 들어 $\frac{(-1)^{\vert\mu\vert}C^{-}_{\mu}(q;q^{2},t)C^{+}_{\mu}(a^{2}b^{2}T^{2}/t^{3};q^{2},t)\cdots}{C^{-}_{\mu}(t;q^{2},t)\cdots}$ 와 같이 표현되며, 이는 $q$-기호로 분해됨을 확인한다.