무한 변수에서의 Sekiguchi‑Debiard 연산자와 Jack 대칭 함수

초록

저자들은 유한 변수에 대해 정의된 Sekiguchi‑Debiard 연산자를 변수 수 N→∞ 로 보정하여 무한 변수 버전을 구축한다. 파워합 변수 pₙ을 이용해 이 연산자를 미분 연산자로 표현하고, Jack 재생산 커널을 통해 그 기호(symbol)를 계산한다. 결과는 무한 개의 보소닉 입자를 갖는 양자 Calogero‑Sutherland 모델의 집합 변수 형태의 상호 교환 가능한 해밀토니안 계층을 제공하며, Jack 대칭 함수에 대한 명시적 시프트 연산자도 얻는다.

상세 분석

본 논문은 Jack 대칭 함수가 고유함수인 일련의 상호 교환 가능한 미분 연산자를 무한 변수 체계로 확장하는 방법을 제시한다. 기존의 Sekiguchi‑Debiard 연산자는 N개의 변수 x₁,…,x_N에 대해 정의되며, Jack 다항식 J_λ^{(α)}(x₁,…,x_N) 를 고유함수로 갖는다. 이 연산자는 파라미터 α와 변수 수 N에 의존하는 정규화 상수를 포함하고, 서로 다른 차수의 연산자들이 서로 교환(commute)한다는 중요한 대수적 성질을 가진다. 저자들은 N→∞ 한계에서 연산자를 직접적으로 취하면 발산 문제가 발생함을 지적하고, 이를 해결하기 위해 연산자를 적절히 재정규화한다. 구체적으로, 각 연산자를 N에 대한 다항식 형태로 전개한 뒤, 최고 차항을 제거하고 남은 부분을 N이 무한대로 갈 때의 한계값으로 정의한다. 이렇게 얻어진 연산자는 무한 개의 파워합 변수 p_n = Σ_{i≥1} x_i^n 로만 표현될 수 있다.

파워합 변수는 대칭 함수 이론에서 기본적인 좌표계이며, 미분 연산자는 ∂/∂p_n 형태로 나타난다. 저자들은 Jack 재생산 커널 K^{(α)}(x;y) = Π_{i,j} (1 - x_i y_j)^{-1/α} 를 이용해 연산자의 기호(symbol)를 계산한다. 기호는 연산자를 다항식 형태의 함수와 그 미분 연산자 사이의 쌍대 관계로 정의되며, 이는 푸아송 구조와 유사한 대수적 구조를 드러낸다. 구체적으로, 연산자 A_k (k≥1)는 기호 σ(A_k) = Σ_{n₁,…,n_k≥1} c_{n₁,…,n_k} p_{n₁}…p_{n_k} 로 표현되고, 계수 c_{n₁,…,n_k}는 Jack 커널의 전개에서 얻어진 조합적 인수와 α에 대한 다항식으로 구성된다. 이러한 기호 계산은 무한 변수 상황에서도 수렴성을 보장하도록 설계되었으며, 결과적으로 A_k는 완전한 대칭 함수 공간 S에 대해 잘 정의된 선형 연산자가 된다.

이러한 연산자들의 교환성은 무한 차원의 Heisenberg 대수와 유사한 구조를 형성한다. 특히,