[논문 리뷰] The Scaled Relative Graph of a Linear Operator

Richard Pates|arXiv (Cornell University)|2021. 06. 10.

Matrix Theory and Algorithms참고 문헌 8인용 수 4

한 줄 요약

이 논문은 선형 연산자의 스케일링된 상대 그래프(SRG)와 관련된 연산자의 수치 범위 사이의 직접적인 연결을 확립하여, SRG 성질을 분석하기 위해 수치 범위 이론을 활용할 수 있도록 한다. 주요 기여는 SRG의 벨트라미-클라인 사상이 볼록임을 보여주는 특성화이며, 힐데브랑트의 정리의 유사판이 성립함을 보이며, 실수 및 복소 힐버트 공간 내의 행렬과 미분 연산자에 대해 SRG 경계를 그릴 수 있도록 한다.

ABSTRACT

The scaled relative graph (SRG) of an operator is a subset of the complex plane. It captures several salient features of an operator, such as contractiveness, and can be used to reveal the geometric nature of many of the inequality based arguments used in the convergence analyses of fixed point iterations. In this paper we show that the SRG of a linear operator can be determined from the numerical range of a closely related linear operator. Furthermore we demonstrate that the SRG of a linear operator has a range of spectral and convexity properties, and satisfies an analogue of Hildebrant's theorem.

연구 동기 및 목표

• 고정점 반복의 수렴 분석을 포함한 맥락에서 선형 연산자를 분석하기 위한 기하학적 프레임워크를 개발하는 것.
• 특히 유한차원 및 무한차원 힐버트 공간에서 일반 선형 연산자의 SRG를 결정하는 데 도전하는 문제를 해결하는 것.
• 복소화를 활용하여 기존의 SRG 이론을 실수 힐버트 공간으로 확장하는 것.
• 행렬과 미분 연산자에 대해 SRG 경계를 계산하는 알고리즘을 제공하는 것.
• SRG의 볼록성 및 스펙트럼 성질을 확립하며, 힐데브랑트의 정리의 유사판을 포함하는 것.

제안 방법

• SRG는 모비우스 변환을 통해 변환된 연산자의 수치 범위와 관련되며, 특히 벨트라미-클라인 사상으로서 나타난다.
• 복소 힐버트 공간에서는 원래 연산자 T로부터 유도된 두 자기수반 연산자의 공동 수치 범위의 상으로서 SRG가 특징지어진다.
• 실수 힐버트 공간의 복소화를 사용하여 복소 연산자 이론을 적용함으로써, 복소 설정에서의 결과를 실수 설정으로 이전할 수 있도록 한다.
• 특히 두 헤르미트 형식의 공동 수치 범위에 대한 알려진 결과를 활용하여 SRG의 볼록성을 확립한다.
• SRG 경계 그림을 위한 알고리즘은 수치 범위 계산 기법을 변형하여 변환된 연산자에 적용한다.
• 벨트라미-클라인 사상 하에서 SRG의 스펙트럼 성질을 분석함으로써 힐데브랑트의 정리의 유사판을 유도한다.

실험 결과

연구 질문

• RQ1 선형 연산자의 SRG는 관련된 연산자의 수치 범위를 통해 완전히 특성화될 수 있는가?
• RQ2 SRG의 볼록성 성질은 무엇이며, 수치 범위와의 차이는 무엇인가?
• RQ3 표준 수치 범위 도구가 복소 공간에만 적용되므로, 실수 힐버트 공간 위의 연산자에 대해 SRG는 어떻게 계산할 수 있는가?
• RQ4 SRG는 수치 범위에 대한 힐데브랑트의 정리와 유사한 정리를 만족하는가?
• RQ5 기존의 수치 범위 알고리즘이 행렬과 미분 연산자에 대해 SRG 경계를 계산하는 데 적응 가능한가?

주요 결과

• 복소 힐버트 공간 위의 선형 연산자에 대해 SRG는 원래 연산자 T로부터 유도된 두 자기수반 연산자의 공동 수치 범위의 상으로서, 모비우스 변환에 의해 나타난다.
• SRG의 벨트라미-클라인 사상은 볼록하며, 차원이 2 이하일 경우를 제외한 모든 차원에서 볼록성이 유지되며, 이는 공동 범위가 타원적 성질을 띠기 때문이다.
• 힐데브랑트의 정리의 유사판이 SRG에 대해 성립하며, 이는 스펙트럼이 아닌 근사점 스펙트럼과 관련된 성질을 갖는다.
• 실수 힐버트 공간의 경우, 복소화를 통해 SRG를 계산할 수 있으며, 그 벨트라미-클라인 이미지는 차원이 2가 아니면 항상 볼록하다.
• 행렬 및 선형 미분 연산자에 대해 SRG의 경계는 변환된 연산자의 공동 수치 범위와의 연결을 활용하여 적응된 수치 범위 알고리즘을 통해 그릴 수 있다.
• 행렬의 SRG는 차원이 2보다 클 경우 볼록하며, 차원이 2일 경우 타원, 원, 직선 또는 점이 되며, 각각 경계가 볼록하다.