[논문 리뷰] Problems and Conjectures in Matrix and Operator Inequalities

Katrien Audenaert, Fuad Kıttaneh|arXiv (Cornell University)|2012. 01. 25.

Mathematical Inequalities and Applications참고 문헌 25인용 수 10

한 줄 요약

이 논문은 분수거듭제곱과 유니터리 불변 노름의 함수해석적 성질에 중점을 두고, 행렬 및 연산자 부등식 분야의 체계적인 개방 문제들과 추측들을 정리하고 있다. 비가환성의 가역성, 보완적 부등식, 다항식의 기하학적 성질은 모두 행렬 형태로 다뤄지며, 주요 기여로는 D-동반 행렬과 순환 행렬을 사용한 세ンド프의 추측 재구성과, 노름 상한과 고유값 분포에 관한 해결되지 않은 질문들이 포함되어 있다.

ABSTRACT

We present a treasure trove of open problems in matrix and operator inequalities, of a functional analytic nature, and with various degrees of hardness.

연구 동기 및 목표

• 기능해석학 분야의 연구자들을 위해 행렬 및 연산자 부등식 분야에서 도전적인 개방 문제들을 종합적이면서도 선택적으로 정리하기 위해.
• 비가환성의 가역성 부등식이 오목 함수와 유니터리 불변 노름에 대해 타당하고 일반화 가능한지 조사하기 위해.
• 칸토로비치 형 상한을 초월한 보완적 부등식, 특히 다항식 이론과 행렬 이론에서 기하학적 해석을 가진 것들을 탐색하기 위해.
• 특히 세ンド프의 추측과 같은 고전적 다항식 기하학의 추측들을 D-동반 행렬과 순환 행렬과 같은 행렬 이론적 도구를 사용해 재구성하기 위해.
• 고유값 문제의 역문제에 대해 허미트 행렬, 정규 행렬, 고유값과 특이값이 사전에 지정된 압축 행렬에 대해 필요조건과 충분조건을 규명하기 위해.

제안 방법

• 양의 준정규 행렬과 정규 행렬의 스펙트럼 성질 및 유니터리 불변 노름을 활용하여 고전적 가역성 부등식을 일반화하기 위해.
• 스하텐 p-노름 이론과 특이값 이론을 적용하여 분수거듭제곱을 포함한 부등식을 분석하기 위해, 예를 들어 $||| |A+B|^p ||| \leq ||| |A|^p + |B|^p |||$ 는 $0 < p \leq 1$ 에 대해.
• D-동반 행렬 구조를 활용하여 다항식의 근과 그 도함수의 고유값 간의 관계를 설정함으로써 세ンド프의 추측을 재구성하기 위해.
• 순환 행렬의 구조를 이용하여 도함수의 근이 주변 부분행렬의 고유값으로서 새로운 특성화를 도출하기 위해.
• 함수해석학과 수치 범위 이론을 적용하여 $\|p(A)\|$ 의 상한을 $\sup\{|p(\mu)| : \mu \in W(A)\}$ 로 표현하기 위해, Crouzeix의 추측에서처럼.
• 유니터리 공역과 주요화 기법을 활용하여 $f(|A+B|)$ 와 $f(|A|)+f(|B|)$ 를 포함한 부등식을 탐색하며, 최적 상수 상한에 초점을 맞추기 위해.

실험 결과

연구 질문

• RQ1 모든 $A, B \in \mathbb{M}_n(\mathbb{C})$ 와 모든 음이 아닌 오목 함수 $f$ 에 대해, 주어진 유니터리 불변 노름에 대해 유일한 상수 $c$ 를 갖는 $|||f(|A+B|)||| \leq c \, |||f(|A|)+f(|B|)|||$ 가 성립하는가?
• RQ2 모든 양의 준정규 행렬 $A, B$ 와 $0 < p < 1$ 에 대해 $\sigma_i(A^p B^{1-p} + B^p A^{1-p}) \leq \sigma_i(A + B)$ 가 참인가?
• RQ3 모든 오목 함수 $f$ 에 대해, 단조성 조건 없이도 $|||f(A+B)||| \leq |||f(A) + f(B)|||$ 의 가역성 부등식을 일반화할 수 있는가?
• RQ4 정리 2의 조건 하에, 어떤 유니터리 $U, V$ 에 대해 $0 \leq f(A+B) - Uf(A)U^* \leq Vf(B)V^*$ 가 존재하는가?
• RQ5 모든 행렬 $A$ 와 다항식 $p$ 에 대해 $\|p(A)\| \leq k \sup\{|p(\mu)| : \mu \in W(A)\}$ 를 만족하는 최소 상수 $k$ 는 무엇인가?

주요 결과

• 모든 양의 준정규 행렬 $A, B$ 와 $0 < p \leq 1$ 에 대해, 어떤 유니터리 불변 노름에서도 $||| |A+B|^p ||| \leq ||| |A|^p + |B|^p |||$ 가 성립한다.
• 프로베니우스 노름의 경우, 이론적으로 최적 상수는 $c = \sqrt{(1 + \sqrt{2})/2} \approx 1.207$ 로 추측되었지만, 현재까지 알려진 최선의 상한은 $c = \sqrt{2}$ 이다.
• 세ンド프의 추측은 모든 $\lambda_i$ 가 단위 원판 내에 있을 때 D-동반 행렬 $D(I - J/n)$ 이 닫힌 단위 원판 내에 고유값을 가져야 한다는 것과 동치이다.
• 근이 $\lambda_i$ 인 다항식 $p(z)$ 의 도함수의 근은 고유값이 $\lambda_i$ 인 순환 행렬 $C$ 의 주변 부분행렬 $C'$ 의 고유값으로서 나타난다.
• $\sigma_i(A^p B^{1-p} + A^{1-p} B^p) \leq \sigma_i(A + B)$ 는 $p = 1/2$ 에서는 알려져 있으나, 일반적인 $p \in (0,1)$ 에 대해서는 열려있다.
• Crouzeix의 추측은 $\|p(A)\| \leq k \sup\{|p(\mu)| : \mu \in W(A)\}$ 를 만족하는 유일한 상수 $k$ 가 존재한다고 주장하며, 현재까지 알려진 최선의 상한은 $k = 2$ 로 추측된다.