[논문 리뷰] Löwner's Theorem in several variables

Miklós Pálfia|arXiv (Cornell University)|2014. 05. 20.

Mathematical Inequalities and Applications참고 문헌 37인용 수 8

한 줄 요약

이 논문은 루벨의 고전적 정리의 다변수 비가환 일반화를 수립하며, 몇몇 변수에 대한 연산자 단조 함수를 자유 함수로서 특성화한다. 이러한 함수들은 상부 연산자 다우스페이스에서 상부 연산자 半공간으로 해석적 계속성을 가지며, 비가환 위상수학, 행렬 볼록성 및 LMI를 사용하여 새로운 적분 공식을 유도한다. 이 공식은 텐서곱 연산자 대수에서 선형 행렬 펜슬의 셔르 보조행렬의 조건부 기댓값으로서 연산자 단조 및 볼록 자유 함수를 표현하며, 이는 Karcher 평균을 포함한 이러한 평균들에 대한 최초의 폐형 표현을 제공한다.

ABSTRACT

In this paper we establish a multivariable non-commutative generalization of Löwner's classical theorem from 1934 characterizing operator monotone functions as real functions admitting analytic continuation mapping the upper complex half-plane into itself. The non-commutative several variable theorem proved here characterizes several variable operator monotone functions, not assumed to be free analytic or even continuous, as free functions that admit free analytic continuation mapping the upper operator poly-halfspace into the upper operator halfspace over an arbitrary Hilbert space. We establish a new abstract integral formula for them using non-commutative topology, matrix convexity and LMIs. The formula represents operator monotone and operator concave free functions as a conditional expectation of a Schur complement of a linear matrix pencil on a tensor product operator algebra. This formula is new even in the one variable case. The results can be applied to any of the various multivariable operator means that has been constructed in the last three decades or so, including the Karcher mean. Thus we obtain an explicit, closed formula for these operator means of several positive operators.

연구 동기 및 목표

• 1934년 루벨의 연산자 단조 함수에 관한 정리를 다변수 비가환 설정으로 확장하기 위해.
• 사전에 해석적 또는 연속성을 가정하지 않고, 여러 개의 비가환 변수에서 연산자 단조인 자유 함수를 특성화하기 위해.
• 비가환 위상수학과 행렬 볼록성을 사용하여, 연산자 단조 및 연산자 볼록 자유 함수의 새로운 적분 표현 공식을 유도하기 위해.
• 선형 행렬 펜슬의 셔르 보조행렬을 통한 조건부 기댓값으로 다변수 연산자 평균, 특히 Karcher 평균을 포함한 폐형 표현을 제공하기 위해.
• 유계 연산자 튜플에서 상부 연산자 다우스페이스로의 강한 연산자 연속성과 자유 해석적 계속성을 확립하기 위해.

제안 방법

• 상부 연산자 다우스페이스 Π^k에서 자유 함수를 정의하고 분석하기 위해 비가환 위상수학과 자유 함수 이론을 사용하기 위해.
• 행렬 볼록성과 선형 행렬 부등식(LMI)을 적용하여 연산자 단조 함수의 정의역과 치역을 특성화하기 위해.
• 선형 행렬 펜슬의 셔르 보조행렬의 조건부 기댓값으로서 연산자 단조 및 볼록 자유 함수를 표현하는 새로운 적분 공식을 유도하기 위해.
• 도메인 내 열린 볼 내에서 균일 수렴과 해석적 계속성을 보장하기 위해 비가환 멱급수 전개를 활용하기 위해.
• 유계 실수 구간을 (0, ∞)로 매핑하기 위해 모비우스 변환을 사용하여 해석적 계속성을 위해 양의 정부호 경우로 축소하기 위해.
• 강한 연산자 연속성과 유한 랭크 연산자에 의한 근사화를 활용하여 결과를 분리 가능에서 비분리 가능 힐버트 공간으로 확장하기 위해.

실험 결과

연구 질문

• RQ1 해석적 성질을 사전에 가정하지 않고, 루벨의 고전적 일변수 연산자 단조성 정리를 여러 비가환 연산자 변수로 일반화할 수 있는가?
• RQ2 다수의 비가환 변수에서 연산자 단조이면서 상부 연산자 다우스페이스로 자유 해석적 계속성을 가지는 자유 함수의 정확한 특성은 무엇인가?
• RQ3 비가환 분석과 행렬 부등식을 사용하여 다변수 연산자 단조 및 볼록 자유 함수에 대한 폐형 적분 표현을 도출할 수 있는가?
• RQ4 이러한 표현을 어떻게 활용하여 기존의 다변수 연산자 평균, 예를 들어 Karcher 평균을 반복적인 수치적 방법 없이 직접적으로 분석적으로 계산할 수 있는가?
• RQ5 조건부 기댓값과 선형 행렬 펜슬의 셔르 보조행렬은 비가환 연산자 대수적 설정에서 이러한 함수를 표현하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 상부 연산자 다우스페이스 Π^k에서 상부 연산자 半공간 Π로 해석적 계속성을 가지는 자유 함수로서 다변수 연산자 단조 함수의 완전한 특성화를 수립한다.
• 연산자 단조 및 연산자 볼록 자유 함수를 텐서곱 연산자 대수에서 선형 행렬 펜슬의 셔르 보조행렬의 조건부 기댓값으로 표현하는 새로운 적분 공식이 도출된다.
• 이 공식은 비분리 가능 힐버트 공간을 포함한 모든 힐버트 공간에서 유효하며, 유한 랭크 연산자에 의한 근사화를 통한 강한 연산자 연속성에 의해 증명된다.
• 표현은 다양한 매개변수 설정에서도 일관되며, 비가환 멱급수 수렴을 통해 전체 정의역으로 균일하게 확장됨이 입증된다.
• 이 방법은 Karcher 평균과 같은 다변수 연산자 평균을 반복적인 수치적 방법(예: 경사 하강법 또는 뉴턴 유사 방법)을 피하는 직접적이고 폐형의 방식으로 계산할 수 있게 한다.
• 이전의 양의 실부를 가지는 자유 해석 함수에 관한 연구를 일반화하며, 비가환 해석학에서 연산자 평균을 위한 반복적이지 않은 분석적 프레임워크를 제공한다.