무한 변수에서의 맥도날드 연산자와 새로운 대칭 함수

초록

이 논문은 무한히 많은 변수 $x_1,x_2,\dots$와 두 파라미터 $q,t$를 갖는 맥도날드 대칭함수를 고유함수로 하는 서로 가환하는 연산자 군을 구축한다. 연산자는 $N\to\infty$ 한계에서 정규화된 맥도날드 연산자를 취해 정의되며, 전력합 변수 $p_n$에 대한 미분 연산자 형태를 가진다. 저자들은 맥도날드 재생산 커널을 이용해 연산자의 심볼을 계산하고, 이를 홀-라이트필드 대칭함수로 전개한다. 또한 맥도날드 함수에 대한 기본 상승·하강 연산자를 명시적으로 제시한다.

상세 분석

본 연구는 기존의 유한 변수에 대한 맥도날드 연산자 $D_N$를 무한 변수 체계로 확장하는 방법론을 제시한다. $D_N$는 대칭 다항식 공간 $\Lambda_N$ 위에서 작용하며, $q$‑차와 $t$‑차의 두 파라미터에 의존하는 차분 연산자이다. 저자들은 $D_N$를 $N$에 대한 적절한 정규화(주로 $t^{\binom N2}$와 같은 스케일링) 후, $N\to\infty$ 극한을 취함으로써 무한 차원 대칭 함수 공간 $\Lambda$ 위의 연산자 $\mathcal D$를 정의한다. 이 과정에서 전력합 변수 $p_n=\sum_{i\ge1}x_i^n$를 기본 좌표로 삼아, $\mathcal D$를 $p_n$에 대한 무한 차수 미분 연산자로 표현한다.

핵심 기술은 맥도날드 재생산 커널 $K(x,y)=\prod_{i,j}\frac{(tx_i y_j;q)\infty}{(x_i y_j;q)\infty}$의 심볼을 계산하는 것이다. 커널은 $\Lambda\otimes\Lambda$에 대한 완전한 이중성 구조를 제공하며, 연산자 $\mathcal D$의 작용을 $K$와의 내적 형태로 전환한다. 이를 통해 $\mathcal D$의 심볼을 $q,t$에 대한 유리함수 형태로 명시하고, 특히 $t\to0$ 한계에서 Hall‑Littlewood 함수 $P_\lambda(x;t)$와 직접적인 연관성을 보인다.

또한 저자들은 $\mathcal D$의 고유값이 맥도날드 다항식 $M_\lambda(x;q,t)$의 파라미터화된 라벨 $\lambda$에 의해 완전히 결정된다는 점을 증명한다. 고유값은 $\sum_i q^{\lambda_i} t^{N-i}$와 같은 간단한 형태로 나타나며, 이는 기존 유한 $N$ 경우와 일치한다.

마지막으로, 연산자 $\mathcal D$를 이용해 기본 상승 연산자 $E^+$와 하강 연산자 $E^-$를 정의한다. 이 연산자들은 각각 $M_\lambda$를 $\lambda$의 한 박스 추가·제거에 대응시키며, $q$와 $t$에 대한 가중치를 정확히 보존한다. 이러한 step operator는 맥도날드 함수의 구조적 이해와 계산적 구현에 큰 도움을 준다. 전체적으로 본 논문은 무한 차원 대칭 함수 이론에 새로운 도구를 제공하고, 기존의 차분·미분 연산자 사이의 교량 역할을 수행한다.