[논문 리뷰] Two-Variable Compressions of Shifts, Toeplitz Operators, and Numerical Ranges

Kelly Bickel, Katie S. Quertermous외 1명|arXiv (Cornell University)|2026. 03. 09.

Holomorphic and Operator Theory인용 수 0

한 줄 요약

논문은 bidisk에서 rational inner function(RIFs)과 관련된 shift의 두 변수 축소를 연구하고, 그것들이 matrix-valued Toeplitz 연산자와 유닛리 동등하다는 것을 보이며 수치 범위가 RIFs를 결정하는지 여부를 탐구한다.

ABSTRACT

This paper studies two-variable compressions of shifts associated to rational inner functions on the bidisk; these generalize the classical compressions of the shift associated to finite Blasckhe products and are unitarily equivalent to one-variable, matrix-valued Toeplitz operators. This paper proves that a rational inner function is almost completely determined by these Toeplitz operator symbols but provides examples showing that (unlike in the one-variable case) rational inner functions are not determined by the numerical ranges of their compressed shifts. This paper also investigates related questions including methods of constructing these compressed-shift Toeplitz operators and when the associated numerical ranges are open and closed.

연구 동기 및 목표

• 일 변수 이동 축소 결과를 bidisk로 확장하여 두 변수 축소가 rational inner function(RIFs)을 어떻게 인코딩하는지 이해하려 한다.
• 두 변수 축소가 일 변수에서의 행렬-값 Toeplitz 연산자와 유닛리 동등하다는 것과 그 기호를 식별하려 한다.
• 수치 범위가 축소된 shift의 RIF를 어떻게 결정하는지 조사하고, 일 변수의 경우와의 차이를 강조한다.
• Agler 분해 및 model 공간 K_theta의 분해로부터 행렬 기호를 얻는 구성적 방법을 개발한다.
• 수치 범위의 열림/닫힘 여부 및 행렬 기호를 통한 표현의 고유성에 대한 미해결 문제를 탐구한다.

제안 방법

• Agler 분해를 이용하여 rational inner function을 bidisk model 공간 K_theta를 S1 ⊕ S2로 분해하고, 두 축소된 shift S_theta^1와 S_theta^2를 얻는다.
• S_theta^1이 기호 M_theta^1를 가진 행렬-값 Toeplitz 연산자 T_{M_theta^1}와 유닛리 동등하다는 것을 보이고, 이 기호는 닫힌 disk에서 연속이고 z2에 대해 유리함을 보인다.
• 대칭적 분해를 통해 S_theta^2와 그 기호 M_theta^2를 얻고, 불변 부분 공간의 선택된 기저 beta_i에 명시적으로 의존한다.
• S_{z1}^* 작용으로 beta2 기저에서 나온 h_ij 함수들로부터 M_theta^1의 원소를 표현하고, M_theta^1(τ)를 일 변수 제한 theta_τ와 연결하는 단위 동등성의 구성적 버전을 제시한다.
• (2,1) 차수의 명시 예에서 M_theta^1를 계산하고 M_theta^1(τ)의 고유값이 theta_τ의 영점을 재현함을 보인다.

실험 결과

연구 질문

• RQ1 theta가 unimodular한 상수배 phi와 같은지를 안내하는 M_theta^j 기호의 행렬 조건은 무엇인가?
• RQ2 j=1,2에 대해 수치 범위 W(S_theta^j)의 동일성은 두 RIF 간의 관계를 어떻게 제약하고, 일 변수의 고유성 현상이 어떤 형태로라도 회복되는가?
• RQ3 theta의 인수 구조에 따라 W(S_theta^j)가 열려 있는지 닫혀 있는지 여부는 어떻게 달라지는가?
• RQ4 Agler 분해 및 K_theta의 분해로부터 M_theta^1와 M_theta^2를 체계적으로 구성할 수 있는가, 이것이 theta에 어떤 반영을 주는가?
• RQ5 수치 범위가 이변 설정의 축소된 shift들로부터 어떤 차이를 만들어 내고 1변수 경우에 비해 RIF를 얼마나 구별하는가?

주요 결과

• Two-variable compressions of shifts associated to a rational inner function are unitarily equivalent to one-variable matrix-valued Toeplitz operators.
• The matrix-valued symbol M_theta^1 (and M_theta^2) encodes theta up to unitary equivalence, analogous to the one-variable M_B, and the eigenvalues of M_theta^1(τ) match zeros of theta restricted to slices.
• For degree (1,n) RIFs, S_theta^1 is unitarily equivalent to a scalar-valued Toeplitz operator and one can characterize its spectrum, numerical range, and numerical radius via Toeplitz theory.
• A constructive procedure using Agler decompositions yields M_theta^1 from a chosen S1 ⊕ S2 decomposition and a basis beta2 of S2 ⊖ z2 S2, with M_theta^1 entries determined by S_{z1}^* acting on basis elements.
• Two numerical ranges can be identical for distinct two-variable RIFs (e.g., certain degree (2,2) families) indicating W(S_theta^j) does not determine theta as in one-variable theory.
• openness/closedness of W(S_theta^j) is nuanced; conjectures suggest W(S_theta^j) tends to be closed when theta factors as a product in each variable, otherwise open, with partial results supporting this in specific cases.