[논문 리뷰] Okounkov's BC-type interpolation Macdonald polynomials and their q=1 limit

Tom H. Koornwinder|arXiv (Cornell University)|2014. 08. 25.

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

한 줄 요약

이 논문은 문헌에서 이전에 간과되었던 $BC_n$-형식의 보간 잭 다항식을 도입하고 연구한다. 이는 $q$-해석의 극한을 통해 그 조합적 및 이항 공식을 유도함으로써 이루어진다. 이 논문은 두 변수의 쿠른워인더 다항식에 대해 새로운 명시적 공식을 수립하고, 매크도날드의 원래 공식과 다름없이 $BC_n$-형식의 자코비 다항식 계수에 대해 잭 다항식을 이용한 새로운 조합적 표현을 제시한다.

ABSTRACT

This paper surveys eight classes of polynomials associated with $A$-type and $BC$-type root systems: Jack, Jacobi, Macdonald and Koornwinder polynomials and interpolation (or shifted) Jack and Macdonald polynomials and their $BC$-type extensions. Among these the $BC$-type interpolation Jack polynomials were probably unobserved until now. Much emphasis is put on combinatorial formulas and binomial formulas for (most of) these polynomials. Possibly new results derived from these formulas are a limit from Koornwinder to Macdonald polynomials, an explicit formula for Koornwinder polynomials in two variables, and a combinatorial expression for the coefficients of the expansion of $BC$-type Jacobi polynomials in terms of Jack polynomials which is different from Macdonald's combinatorial expression. For these last coefficients in the two-variable case the explicit expression in Koornwinder & Sprinkhuizen (1978) is now obtained in a quite different way.

연구 동기 및 목표

• BC_n-형식의 보간 잭 다항식을 정의하고 체계적으로 연구하는 것—이는 이전에 문헌에서 관찰되지 않은 다항식의 종류이다.
• 기존의 $q$-다항식 이론에서 유도된 극한 과정을 통해 $BC_n$-형식의 보간 매크도날드 및 잭 다항식에 대한 조합적 및 이항 공식을 도출하는 것.
• 보간 다항식 기법을 사용하여 두 변수의 쿠른워인더 다항식에 대한 새로운 명시적 공식을 제공하는 것.
• 매크도날드의 공식과 다름없이 $BC_n$-형식의 자코비 다항식 전개 계수에 대해 잭 다항식을 이용한 새로운 조합적 표현을 제시하는 것.
• 이전에 알려진 결과들—예를 들어 두 변수의 $BC_2$-형식 자코비 다항식 공식—을 이항 및 보간 다항식에 기반한 새로운 통합적 프레임워크를 통해 재구성하고 재유도하는 것.

제안 방법

• $BC_n$-형식의 보간 잭 다항식을 $BC_n$-형식의 보간 매크도날드 다항식의 $q \to 1$ 극한으로 유도한다.
• 기존의 보간 매크도날드 다항식에 대한 알려진 조합 공식을 적용하여 $q=1$ 경우에 해당하는 유사한 공식을 도출한다.
• 보간 다항식을 포함하는 이항 공식을 사용하여 $BC_n$-형식의 자코비 다항식을 잭 다항식의 선형 조합으로 표현한다.
• 초함수 급수 표현(예: $_4\phi_3$ 및 $_4F_3$)을 사용하여 보간 다항식의 정규화 및 평가를 표현한다.
• 일반 공식을 두 변수의 경우($n=2$)로 특수화하여 쿠른워인더 다항식 및 $BC_2$-형식 자코비 다항식에 대한 명시적 표현을 도출한다.
• $q$-초함수에서 일반 초함수로의 극한 전환에 의존하여 $q$-다항식과 그 $q=1$ 대응항을 연결한다.

실험 결과

연구 질문

• RQ1 BC_n-형식의 보간 잭 다항식의 구조와 정의는 무엇이며, 왜 이전에 간과되었는가?
• RQ2 매크도날드의 표현과 다름없이 $BC_n$-형식의 자코비 다항식 전개 계수에 대해 잭 다항식을 이용한 새로운 조합적 공식을 도출할 수 있는가?
• RQ3 보간 다항식 기법을 사용하여 두 변수의 쿠른워인더 다항식에 대한 명시적 공식을 도출할 수 있는가?
• RQ4 보간 다항식에 대한 이항 공식이 $q=1$ 경우의 새로운 극한 공식과 증명을 어떻게 이끌어내는가?
• RQ5 기존의 두 변수 $BC_2$-형식 자코비 다항식 공식을 보간 및 이항 다항식에 기반한 새로운 체계적 프레임워크를 통해 재유도할 수 있는가?

주요 결과

• 논문은 $BC_n$-형식의 보간 잭 다항식을 새로운 다항식의 종류로 식별하고 정의하며, 이는 $BC_n$-형식의 보간 매크도날드 다항식의 $q \to 1$ 극한으로부터 도출된다.
• 매크도날드의 표현과 다름없이 $BC_n$-형식의 자코비 다항식 전개 계수에 대해 잭 다항식을 이용한 새로운 조합적 공식이 도출된다.
• 이항 공식과 극한 전환을 통해 두 변수의 쿠른워인더 다항식에 대한 명시적 공식이 확보되며, 이는 $n=2$에 대해 유효하다.
• $BC_n$-형식의 자코비 다항식에 대한 이항 공식이 두 변수의 경우에 명시적으로 평가되어, 이전에 쿠른워인더 및 스프링크후이젠(1978)에 의해 구한 $BC_2$-형식 자코비 다항식 공식의 새로운 유도를 이룬다.
• 이항 공식에서 새로운 극한 공식(8.4)과 기존 극한 공식(9.2)에 대한 새로운 증명이 도출되어, 보간 프레임워크의 유용성을 입증한다.
• 기존의 방법과는 완전히 다른 방법으로 두 변수의 $BC_2$-형식 자코비 다항식의 명시적 표현이 복구되어, 이 접근법의 강건성과 신선함을 확인한다.