행렬 양방향 다항식과 비가환 AblowitzLadik 계층

이 논문은 행렬값 양방향 다항식과 비가환 Ablowitz‑Ladik 계층 사이의 깊은 연관성을 밝히는 데 목적을 둔다. 먼저, Adler‑van Moerbeke가 제시한 Toeplitz 격자(Toeplitz lattice)를 2D‑Toda 계층의 특수한 감소 형태로 재구성한다. 2D‑Toda는 두 개의 Lax 연산자 L₁, L₂와 무한 차원 시프트 행렬 Λ를 이용해 Zakharov‑Shabat 스펙트럼 문제의 호환 조건으로 정의되며, S₁·S₂‑분해를 통해 biorthogonal 다항식과 연결된다. 초기 행렬을 Toeplitz 형태 T(γ)라 두고, 시간 흐름에 따라 T(γ)·exp(ξ(t,Λ))·exp(−ξ(s,Λ⁻¹)) 형태가 유지됨을 보인다. 여기서 γ(z)=∑γₙzⁿ는 단위 원 위의 측정 함수의 모멘트 행렬이며, 이중선형 쌍 _M =∮ p(z)γ(z)q*(z)dz/(2πiz) 로 정의된다. 이 구조에서 양방향 다항식 p^{(1)}ₙ(z), p^{(2)}ₙ(z) 를 각각 S₁·χ(z), (S₂⁻¹)ᵀ·χ(z) 로 구성하고, 그 재귀식 p^{(1)}_{n+1}(z) ~p^{(2)}_{n+1}(z)= \begin{pmatrix}z & x_{n+1}\\ y_{n+1} & 1\end{pmatrix} p^{(1)}_n(z) ~p^{(2)}_n(z) 을 도출한다. 여기서 xₙ = p^{(1)}ₙ(0), yₙ = p^{(2)}ₙ(0) 은 반사계수이며, 이 재귀식은 Lax 연산자 Lₙ에 직접 삽입될 수 있다. 결과적으로 Lₙ의 시간 진화는 ∂_{t_i}Lₙ = M_{t_i,n+1}Lₙ - LₙM_{t_i,n},  ∂_{s_i}Lₙ = M_{s_i,n+1}Lₙ - LₙM_{s_i,n} 의 형태를 갖는 반이산 영곡률 방정식이 된다. 이는 원래 Ablowitz‑Ladik 계층이 사용한 2×2 Lax 쌍과 동일한 구조이며, 스펙트럼 파라미터의 단순 변환을 통해 서로 대응한다. 핵심적인 확장은 블록(행렬값) Toeplitz 행렬을 도입한 점이다. γ(z) 를 n×n 행렬값 급수로 두고, 좌·우 블록 Toeplitz 행렬 T_l(γ), T_r(γ) 를 정의한다. 이들에 대해 동일한 시간 흐름을 적용하면 ∂_{t_i}T_l = Λ^i T_l, ∂_{t_i}T_r = T_r Λ^{-i}, ∂_{s_i}T_l = -T_l Λ^{-i}, ∂_{s_i}T_r = -Λ^i T_r 가 성립한다. 여기서 Λ = T_r(z−1 I) 로 정의된 블록 시프트 행렬이다. 두 행렬에 대해 각각 S₁, Z₂‑분해를 가정하면, T_l = S₁⁻¹ S₂, T_r = Z₂ Z₁⁻¹, 이며 S₁, Z₂는 블록 하삼각, S₂, Z₁은 블록 상삼각이다. 이 분해를 바탕으로 블록 Lax 연산자들을 L^{(l)}_k = S₁ Λ S₁⁻¹,  L^{(r)}_k = Z₂ Λ⁻¹ Z₂⁻¹ 로 정의하고, 각각의 반사계수 x^{(l)}_k, y^{(r)}_k 등을 n×n 행렬로 도입한다. 그러면 두 개의 Lax 쌍이 서로 다른 방향(좌·우)에서 동일한 형태의 반이산 영곡률 방정식을 만족한다: ∂_τ L^{(l)}_k = M^{(l)}_{τ,k+1}L^{(l)}_k - L^{(l)}_k M^{(l)}_{τ,k},  ∂_τ L^{(r)}_k = L^{(r)}_k M^{(r)}_{τ,k+1} - M^{(r)}_{τ,k} L^{(r)}_k. M^{(l)}_{τ,k}, M^{(r)}_{τ,k}는 x^{(l)}_k, y^{(r)}_k 등을 포함하는 블록 행렬이며, 구체적인 형태는 논문에서 상세히 제시된다. 특히, 비가환 복소화된 이산 비선형 슈뢰딩거(NLS) 방정식이 두 Lax 쌍을 통해 도출된다. ∂_τ x^{(l)}_k = x^{(l)}_{k+1} - 2x^{(l)}_k + x^{(l)}_{k-1} - x^{(l)}_k y^{(r)}_k (x^{(l)}_{k+1}+x^{(l)}_{k-1}), ∂_τ y^{(r)}_k = -y^{(r)}_{k+1} + 2y^{(r)}_k - y^{(r)}_{k-1} + x^{(l)}_k y^{(r)}_k (y^{(r)}_{k+1}+y^{(r)}_{k-1}) 와 같은 형태가 얻어진다. 이는 기존 스칼라 Ablowitz‑Ladik 방정식을 행렬(다성분) 버전으로 일반화한 것으로, 비가환 Toda 계층과 정확히 대응한다는 점이 강조된다. 논문의 구조는 다음과 같다. 제2절에서는 2D‑Toda와 biorthogonal 다항식의 기본 관계를 정리하고, S₁·S₂‑분해와 biorthogonal 다항식 사이의 연결을 보여준다. 제3절에서는 Toeplitz 격자를 이용해 2D‑Toda를 축소하고, 그 결과를 통해 원래 Ablowitz‑Ladik 방정식의 반이산 영곡률 형태를 도출한다. 제4절에서는 블록 Toeplitz 행렬을 도입해 행렬값 일반화를 수행한다. 제5절에서는 행렬 양방향 다항식의 재귀 관계와 반사계수를 정의하고, 기존 문헌의 결과를 확장한다. 제6절에서는 블록 Lax 연산자를 이용해 비가환 Ablowitz‑Ladik 계층의 반이산 영곡률 방정식을 완전히 유도하고, 구체적인 비가환 이산 NLS 방정식을 제시한다. 결론적으로, 저자는 Toeplitz 격자를 통한 2D‑Toda → Ablowitz‑Ladik 변환을 명시적으로 증명하고, 이를 블록(행렬) 형태로 일반화함으로써 행렬 단위 원 위 양방향 다항식과 비가환 Ablowitz‑Ladik 계층 사이의 새로운 수학적 연결을 확립한다. 이 결과는 비가환 Toda 계층, 다성분 양자 격자 모델, 그리고 행렬값 양자역학 등 다양한 분야에 응용될 가능성을 열어준다.