[논문 리뷰] Wave function for $GL(n,\mathbb{R})$ hyperbolic Sutherland model II. Dual Hamiltonians

S. Kharchev, S. Khoroshkin|arXiv (Cornell University)|2021. 08. 11.

Algebraic structures and combinatorial models참고 문헌 8인용 수 4

한 줄 요약

이 논문은 $GL(n,\mathbb{R})$ 하이퍼볼릭 수더랜드 모델의 파동함수에 대한 이중스펙트럴 이중성(dual spectral duality)을 증명함으로써, 파동함수의 멜린-바른스 적분 표현이 이중 루이젠라르스-맥도널드 차분 연산자에 대한 스펙트럴 방정식을 만족함을 보였다. 주요 결과는 파동함수가 임의의 결합 상수 $g>1$를 가진 이러한 이중 해밀토니안에 대해 스펙트럴 문제를 해결한다는 것이며, 이는 기존의 원래 수더랜드 해밀토니안의 알려진 스펙트럴 성질을 일반화한 것이다.

ABSTRACT

Recently we found Mellin-Barnes integrals, representing the wave function for $GL(n,\mathbb{R})$ hyperbolic Sutherland model. In present paper, we establish bispectral properties of this wave function with respect to dual Ruijesenaars-Macdonald operators.

연구 동기 및 목표

• 임의의 결합 상수 $g>0$를 가진 $GL(n,\mathbb{R})$ 하이퍼볼릭 수더랜드 모델의 파동함수에 대한 이중스펙트럴 성질을 확립하기 위해.
• 멜린-바른스 적분 파동함수가 이중 루이젠라르스-맥도널드 차분 연산자에 대한 스펙트럴 방정식을 만족함을 보여주기 위해.
• 기존의 수더랜드 해밀토니안에 대한 알려진 스펙트럴 이중성의 범위를, 루이젠라르스-맥도널드 연산자로 정의된 이중 해밀토니안 시스템으로 확장하기 위해.
• 파동함수의 $x$-변수와 $\lambda$-변수 양쪽에서의 해석적 구조를 명확히 하기 위해, 해석적 계속성과 대칭성 성질을 포함하여.

제안 방법

• 파동함수는 $\mathbb{R}^{n(n-1)/2}$ 위에서의 멜린-바른스 적분 $\Phi^{(g)}_{\lambda_1,\ldots,\lambda_n}(x_1,\ldots,x_n)$ 과 $\prod_{j<k}\operatorname{sh}^{g}|x_j - x_k|$의 곱으로 표현되며, integrand에 감마 함수가 포함되어 있다.
• 이중 해밀토니안 $\mathcal{H}_r^{(g)}(\lambda_1,\ldots,\lambda_n)$은 $\lambda_i$에 대해 $+2$의 이동을 포함하는 루이젠라르스-맥도널드 차분 연산자로 정의되며, 인덱스의 부분집합에 대한 곱과 $\lambda_i - \lambda_j$의 유리함수를 포함한다.
• 스펙트럴 방정식은 $\mathcal{H}_r^{(g)}\Psi^{(g)}_{\lambda_1,\ldots,\lambda_n} = e_r(e^{2x_1},\ldots,e^{2x_n})\Psi^{(g)}_{\lambda_1,\ldots,\lambda_n}$임을 보여줌으로써 검증되며, 여기서 $e_r$는 $r$번째 기본 대칭 다항식이다.
• 해석적 계속성을 사용하여 파동함수를 허수 $\lambda_i$에서 실수 이동을 가진 차분 연산자로 확장함으로써, 일반화된 의미에서 스펙트럴 관계가 유지됨을 보장한다.
• 핵심 항등식의 증명은 대칭 유리함수의 합에 대한 재귀적 항등식에 기반하며, 귀납법과 잔류물 분석을 통해 증명되며, 극 $u_i = v_a$에서 잔류물이 0이 됨을 보인다.
• 이 방법은 체랄리크, 누오미, 쇼라이시 등이 이전에 확립한 이중스펙트럴 문제의 결과를 비정수 결합 상수 $g>1$의 경우로 일반화한다.

실험 결과

연구 질문

• RQ1 GL(n,\mathbb{R}) 하이퍼볼릭 수더랜드 모델의 멜린-바른스 적분 파동함수는 이중 루이젠라르스-맥도널드 차분 연산자에 대한 스펙트럴 방정식을 만족하는가?
• RQ2 기존의 수더랜드 해밀토니안에서의 이중스펙트럴 이중성은 임의의 결합 상수 $g>1$를 가진 이중 해밀토니안 시스템으로 확장될 수 있는가?
• RQ3 파동함수의 스펙트럴 성질은 $\lambda$-매개변수와 차분 연산자의 이동에서의 해석적 계속성에 따라 어떻게 행동하는가?
• RQ4 파동함수의 적분 표현과 $\lambda$-공간에서의 루이젠라르스-맥도널드 연산자 사이의 정확한 관계는 무엇인가?
• RQ5 이중 해밀토니안은 $x_k$의 순열에 대한 파동함수의 대칭성을 유지하는가?

주요 결과

• 파동함수 $\Psi^{(g)}_{\lambda_1,\ldots,\lambda_n}(x_1,\ldots,x_n)$은 멜린-바른스 적분으로 정의되며, 모든 $r=1,\ldots,n$과 $g>1$에 대해 스펙트럴 방정식 $\mathcal{H}_r^{(g)}\Psi^{(g)}_{\lambda_1,\ldots,\lambda_n} = e_r(e^{2x_1},\ldots,e^{2x_n})\Psi^{(g)}_{\lambda_1,\ldots,\lambda_n}$을 만족한다.
• 파동함수는 $\mathbb{R}^n \subset \mathbb{C}^n$를 중심으로 한 스트립 영역에서 해석적이며, 실수 이동을 가진 $\lambda_i$로의 해석적 계속성이 가능하여, 차분 연산자와의 스펙트럴 관계를 일반화된 의미에서 유지할 수 있다.
• 이중 해밀토니안 $\mathcal{H}_r^{(g)}$는 $T_{\lambda_i}f(\lambda_i) = f(\lambda_i + 2)$로 정의되는 루이젠라르스-맥도널드 차분 연산자이며, 파동함수의 $\lambda$-매개변수에 작용한다.
• 파동함수는 원래 수더랜드 스펙트럴 방정식을 또한 만족한다: $H_1^{(g)}\Psi = (\sum_p \lambda_p)\Psi$ 및 $H_2^{(g)}\Psi = -\sum_p \lambda_p^2 \Psi$, 이는 $H_r^{(g)}$와 $\mathcal{H}_r^{(g)}$ 양쪽에 대해 이중스펙트럴 이중성이 성립함을 확인한다.
• 핵심 항등식의 증명은 잔류물 분석과 대칭성에 기반하며, 대칭 유리함수의 차가 항등적으로 0이 됨을 보여주며, 이는 귀납법에 의해 모든 $n$에 대해 항등식이 성립함을 의미한다.
• 파동함수의 $x_k$ 순열에 대한 불변성은 유지되며, 이중 연산자는 $\lambda$-매개변수에 작용함으로써, $x$-스펙트럼 문제와 $\lambda$-스펙트럼 문제 사이의 완전한 이중스펙트럴 이중성을 확립한다.