[논문 리뷰] The numerical range of some periodic tridiagonal operators is the convex hull of the numerical ranges of two finite matrices

Benjamín A. Itzá‐Ortiz, Rubén A. Martı́nez-Avendaño외 1명|arXiv (Cornell University)|2021. 03. 02.

Matrix Theory and Algorithms참고 문헌 17인용 수 2

한 줄 요약

이 논문은 a₁ = 1 이고 시퀀스 a₂a₃⋯aₙa₀가 팰린드롬일 조건 하에 특정한 (n+1)-주기 삼중대각 연산자의 수치 범위의 폐포가 두 개의 유한한 (n+1)×(n+1) 삼중대각 행렬의 수치 범위의 볼록결합임을 증명한다. n+1가 홀수일 경우, 행렬의 크기가 (n/2 + 1)×(n/2 + 1)로 단순화되어 무한차원 연산자의 수치 범위에 대한 명시적인 유한 특성화를 제공한다.

ABSTRACT

In this paper we prove a conjecture stated by the first two authors establishing the closure of the numerical range of a certain class of $n+1$-periodic tridiagonal operators as the convex hull of the numerical ranges of two tridiagonal $(n+1) imes (n+1)$ matrices. Furthermore, when $n+1$ is odd, we show that the size of such matrices simplifies to $\frac{n}{2}+1$.

연구 동기 및 목표

• 문헌 [12]의 추측 3.7를 해결하는 것: 주기적 삼중대각 연산자의 수치 범위의 폐포가 두 유한 행렬의 볼록결합임을 제안한다.
• 특정 대칭성 및 주기성 조건 하에서 이러한 연산자의 수치 범위에 대한 명시적 행렬 표현을 제공하는 것.
• 주기 길이 n+1가 홀수일 경우, 행렬 크기를 (n+1)×(n+1)에서 (n/2 + 1)×(n/2 + 1)로 줄여 수치 범위의 특성화를 단순화하는 것.
• Kippenhahn 다항식과 행렬 분해를 이용하여 무한삼중대각 연산자의 수치 범위에 대한 유한하고 계산 가능한 표현을 수립하는 것.
• 특히 기호 행렬과 볼록결합을 포함한 주기적 삼중대각 연산자의 수치 범위에 관한 이전 결과들을 일반화하고 정밀화하는 것.

제안 방법

• 계수 a와 c가 주기적일 때 ℓ²(N₀)에서 정의된 (n+1)-주기 삼중대각 연산자 T(a,0,c)를 정의하며, 이때 a₁ = 1 이고 시퀀스 a₂a₃⋯aₙa₀는 팰린드롬임을 가정한다.
• 연산자와 관련된 Kippenhahn 다항식 P(t,x,y)를 사용하여, det(tI - cosθ Re(T) - sinθ Im(T))의 최대 실근을 통해 수치 범위를 특성화한다.
• Kippenhahn 다항식 P(t,x,y)를 연산자의 구조에서 유도된 삼중대각 행렬의 네 개의 행렬식 곱으로 인수분해한다.
• B₊와 B₋라는 두 개의 (n+1)×(n+1) 삼중대각 행렬을 식별하여, 이들의 Kippenhahn 다항식이 인수분해와 일치함을 보이고, 따라서 수치 범위가 W(B₊)와 W(B₋)의 볼록결합임을 증명한다.
• n+1가 홀수일 경우, B₊와 B₋에서 유도된 두 개의 (n/2 + 1)×(n/2 + 1) 행렬의 수치 범위의 볼록결합임을 보여줌으로써 표현을 추가로 단순화한다.
• 계수 시퀀스의 대칭성과 팰린드롬 구조를 활용하여 행렬 B₊와 B₋의 원소에 대한 명시적 표현을 유도한다.

실험 결과

연구 질문

• RQ1 어떤 조건 하에 (n+1)-주기 삼중대각 연산자의 수치 범위의 폐포가 두 개의 유한 행렬의 수치 범위의 볼록결합이 되는가?
• RQ2 주기 길이 n+1가 홀수일 경우, 이러한 연산자의 수치 범위가 오직 두 개의 유한 행렬로 특성화될 수 있는가?
• RQ3 계수 시퀀스의 팰린드롬 대칭성이 수치 범위의 구조와 그 유한 행렬 표현에 어떤 영향을 미치는가?
• RQ4 무한 연산자의 Kippenhahn 다항식과 그 수치 범위를 나타내는 유한 행렬의 Kippenhahn 다항식 사이의 정확한 관계는 무엇인가?
• RQ5 추가적인 대칭성(예: 홀수 주기)이 존재할 경우, 유한 행렬의 크기를 줄일 수 있으며, 만약 가능하면 얼마나 줄일 수 있는가?

주요 결과

• a₁ = 1 이고 시퀀스 a₂a₃⋯aₙa₀가 팰린드롬일 조건 하에 (n+1)-주기 삼중대각 연산자 T(a,0,c)의 수치 범위의 폐포는 두 개의 (n+1)×(n+1) 삼중대각 행렬 B₊와 B₋의 수치 범위의 볼록결합이다.
• n+1가 홀수일 경우, T(a,0,c)의 수치 범위는 두 개의 (n/2 + 1)×(n/2 + 1) 삼중대각 행렬의 수치 범위의 볼록결합이며, 이는 행렬 크기를 크게 줄인다.
• B₊와 B₋는 계수 a와 c로부터 명시적으로 구성되며, 원소는 |c_j + a_{j+1}|, |c_j - a_{j+1}|, 그리고 c_{n-j+1}과 a_{n-j+2}를 포함한 대칭 표현으로 정의된다.
• 무한 연산자의 Kippenhahn 다항식은 B₊, B₋ 및 그들의 부분행렬의 Kippenhahn 다항식의 곱으로 인수분해되며, 이는 볼록결합 구조를 확인한다.
• a = (0,1,0,0,…,0) 및 c = (1,1,1,…,1)인 예시에서는 수치 범위가 두 개의 (n/2 + 1)×(n/2 + 1) 행렬의 볼록결합이며, B₊와 B₋는 삼중대각 구조에서 ±1, 1, √2를 원소로 가진다.
• 결과는 [12]의 추측 3.7를 확인하며, 무한차원 연산자의 수치 범위에 대한 유한하고 계산 가능한 표현을 제공하여 명시적 분석과 시각화를 가능하게 한다.