트위스티드 체레딕 연산자 고유함수 생성

본 논문은 Ding‑Iohara‑Miki(DIM) 대수의 (1,a) 레이와 연관된 새로운 다입자 적분가능 시스템을 연구한다. 먼저 DIM 대수의 생성원 e_{(p,r)} 를 2차원 격자상의 점으로 해석하고, 수직 레이 (0,1) 가 루이젠베르크‑슈넬러(RS) 해밀토니안을, 수평 레이 (1,0) 가 그 대칭을 제공함을 상기한다. Miki 자동동형 O_h, O_v 를 적용하면 (‑1,a) 레이가 생성되며, 이 레이에 대응하는 해밀토니안 H^{(a)}_k 은 각 입자 i 에 대한 트위스티드 체레딕 연산자 C_i^{(a)} 의 k 제곱합으로 표현된다: H^{(a)}_k = Σ_i (C_i^{(a)})^k. a=1 일 때 C_i^{(a)} 은 기존 체레딕 연산자 C_i 로 환원되고, 이 경우 고유함수는 비대칭 마코프니코프 다항식 E_{wλ} 로 알려져 있다. 논문은 먼저 체레딕 연산자와 Demazure‑Lusztig 연산자 T_i, 순환 연산자 π 의 정의와 기본 관계식(Hecke 대수, 교환 관계 등)을 정리한다. 특히 C_i 를 R_{i,j} 연산자의 곱과 q^{D_i} 로 구성하고, B = T_{n‑1}…T_1 로 정의해 전위 연산자를 만든다. 이러한 연산자들은 (5)–(11)식에 따라 서로 교환하거나 변환되며, 이는 트위스티드 연산자 C_i^{(a)} 도 동일하게 만족한다. 다음으로 비대칭 마코프니코프 다항식 E_α 의 삼각 전개식 (20)을 제시하고, 정규화와 직교성을 통해 계수 C_{αβ} 를 결정한다. B 연산자의 작용 (21)과 Knop‑Sahi 재귀식 (22)를 이용해 E_α 의 구조적 성질을 파악한다. 이러한 성질은 a>1 인 트위스티드 경우에도 그대로 유지된다. 트위스티드 고유함수는 두 단계로 구성된다. 첫 단계는 “ground state” Ω^{(a)}_m(x) 로, t = q^{‑m} 일 때 다항식 형태의 트위스티드 Baker‑Akhiezer 함수이다. 이는 x_i^{a} 변수에 대한 다항식이며, 차수 d₀ = N(N‑1)/2·(a‑1)·m 을 가진다. a=1 일 때는 Ω^{(1)}_m = 1 으로 단순화된다. 두 번째 단계는 이 ground state 위에 비대칭 구조를 올려 만든 비대칭 트위스티드 마코프니코프 다항식 E^{(a)}_α 로, 식 (25)–(28)에서 정의된다. 여기서 Λ_i^{(a)} 은 기존 고유값에 q^{a‑1}·t^{2(1‑a)} 를 곱한 형태이며, 기본 다항식 Ξ^{(a)}_α = ∏_i x_i^{aα_i} q^{α_i(α_i‑1)/2a}·Ω^{(a)}(q^{α_i}x_i) 로 정의된다. 모든 E^{(a)}_α 은 Ξ^{(a)}_β (β≤α) 의 선형 결합으로 표현되며, 계수 F_{α,β}(x) 는 a 에 독립적이다. 구체적인 예시로 n=3, a=2 경우를 제시해 각 α 에 대한 E^{(a)}_α 를 직접 계산하고, 삼각 구조와 계수의 형태를 확인한다. 또한, 비대칭 고유함수를 적절히 가중합하면 대칭 고유함수, 즉 DIM 해밀토니안 H^{(a)}_k 의 고유상태를 얻을 수 있음을 보인다. 이는 기존 RS‑계에서 비대칭 마코프니코프 다항식을 합쳐 대칭 Macdonald 다항식을 얻는 과정과 완전히 유사하다. 마지막으로 저자는 Maple 기반 구현 파일을 부록에 제공한다. 이 스크립트는 C_i^{(a)} 와 T_i 의 작용을 자동화하고, 비대칭 및 대칭 트위스티드 마코프니코프 다항식을 생성한다. 이를 통해 실용적인 계산이 가능함을 강조한다. 전체적으로 본 연구는 DIM 대수와 DAHA(구면 대칭 알제브라) 사이의 깊은 연관성을 트위스티드 체레딕 연산자를 매개로 새롭게 조명한다. Kirillov‑Noumi 연산자와의 정확한 관계는 아직 미확인이며, 향후 연구 과제로 남겨두었다.