[논문 리뷰] Existence and uniqueness of the $L^1$-Karcher mean

Yongdo Lim, Miklós Pálfia|arXiv (Cornell University)|2017. 03. 13.

Mathematical Inequalities and Applications참고 문헌 4인용 수 5

한 줄 요약

이 논문은 힐버트 공간에서 양의 연산자 쿠션의 $L^1$-보렐 확률측도에 대해 $L^1$-카르커 평균의 존재성과 유일성을 증명한다. 이는 상대 연산자 엔트로피와 크란달-리게트 이산화 기반의 비선형 미분방정식 프레임워크를 사용한다. 주요 기여는 파워 평균이 카르커 평균으로의 노름 수렴과 연속 시간 트로터-카토 곱공식을 증명함으로써, 비선형 연산자 평균으로의 대수의 법칙을 확장하는 것이다.

ABSTRACT

We extend the domain of the Karcher mean $Λ$ of positive operators on a Hilbert space to $L^1$-Borel probability measures on the cone of positive operators equipped with the Thompson part metric. We establish existence and uniqueness of $Λ$ as the solution of the Karcher equation and develop a nonlinear ODE theory for the relative operator entropy in the spirit of Crandall-Liggett, such that the solutions of the Karcher equation are stationary solutions of the ODE, and all generated solution curves enjoy the exponential contraction estimate. This is possible despite the facts that the Thompson metric is non-Euclidean, non-differentiable, non-commutative as a metric space as well as non-separable, and the positive cone is non-locally compact as a manifold. As further applications of the ODE approach, we prove the norm convergence conjecture of the power means of positive operators to the Karcher mean, and a Trotter-Kato product formula for the nonlinear semigroups explicitly expressed by compositions of two-variable geometric means. This can be regarded as a nonlinear continuous-time version of the law of large numbers.

연구 동기 및 목표

• 힐베르트 공간에서 양의 연산자 쿠션 위의 $L^1$-보렐 확률측도에 대해 유한한 양의 연산자 튜플에서의 카르커 평균을 확장한다.
• 비유클리드적이고, 미분 가능하지 않으며, 국소적으로 컴act하지 않은 구조를 가진 공간에서도 $L^1$-설정에서 카르커 방정식의 해의 존재성과 유일성을 확립한다.
• 상대 연산자 엔트로피를 기반으로 한 비선형 미분방정식 이론을 개발하여, 카르커 평균을 정적 해로 갖는다.
• 파워 평균이 카르커 평균으로 수렴함을 증명함으로써 이전의 강한 연산자 수렴 결과를 강화한다.
• empirical 측도와 비선형 족집게를 통해 연속 시간 트로터-카토 곱공식을 유도하여, 비선형 대수의 법칙을 정의한다.

제안 방법

• 연산자 유사성의 로그를 포함하는 적분 방정식으로 카르커 방정식을 수식화한다: $\int_{\mathbb{P}} \log(X^{-1/2} A X^{-1/2}) \, d\mu(A) = 0$.
• 테오픈 메트릭에서의 엄격한 수축성을 보장하는 테오픈 메트릭에서의 비선형 해석적 연산자 $J_\lambda^\mu(X) := \Lambda\left(\frac{\lambda}{\lambda+1}\mu + \frac{1}{\lambda+1}\delta_X\right)$를 사용하여 해를 구성한다.
• 비유클리드 메트릭 공간에서 크란달-리게트 이론을 적용하여, 미분방정식 $\dot{X}(t) = \int_{\mathbb{P}} \log_{X(t)} A \, d\mu(A)$ 의 연속적 해 곡선으로의 이산적 방법의 수렴을 증명한다.
• 지수 수축: $d_\infty(\gamma(t), \eta(t)) \leq e^{-t} d_\infty(\gamma(0), \eta(0))$ 를 확립하여 정적 점과 해의 안정성의 유일성을 보장한다.
• 카르커 방정식의 프레셰 미분 분석을 통해 $t \to 0^+$ 일 때 파워 평균 $P_t$ 가 $\Lambda(\mu)$ 로의 노름 수렴을 증명한다.
• empirical 측도 $\mu_n$ 를 통해 연속 시간 트로터-카토 공식을 도출하여, 컴팩트 시간 간격에서 족집게 $S^{\mu_n}(t) \to S^\mu(t)$ 의 거의 확실한 균일 수렴을 보인다.

실험 결과

연구 질문

• RQ1 티플메트릭 하에서 양의 쿠션 위의 $L^1$-보렐 확률측도로의 카르커 평균은 유일하게 연장 가능한가?
• RQ2 상대 연산자 엔트로피를 기반으로 한 비선형 미분방정식 이론을 개발하여 카르커 평균을 정적 해로 갖을 수 있는가?
• RQ3 파워 평균 $P_t(\omega, \mathbb{A})$ 가 카르커 평균 $\Lambda(\omega, \mathbb{A})$ 로 수렴하는 것이 강한 연산자 위상 외에도 노름 수렴인가?
• RQ4 empirical 측도와 비선형 족집게를 통해 연속 시간 대수의 법칙을 카르커 평균에 대해 확립할 수 있는가?
• RQ5 $L^1$-와서르스탄 메트릭과 해석적 수축의 역할은 국소적으로 컴팩트하지 않고, 미분 가능하지 않은 메트릭 공간에서 존재성과 유일성을 보장하는 데 어떤가?

주요 결과

• 모든 $\mu \in \mathcal{P}^1(\mathbb{P})$ 에 대해 카르커 평균 $\Lambda(\mu)$ 가 존재하고 유일하며, 적분 카르커 방정식 $\int_{\mathbb{P}} \log(X^{-1/2} A X^{-1/2}) \, d\mu(A) = 0$ 을 만족한다.
• 해는 비선형 미분방정식 $\dot{X}(t) = \int_{\mathbb{P}} \log_{X(t)} A \, d\mu(A)$ 의 유일한 정적 점이며, 해석적 수축 $J_\lambda^\mu$ 를 사용한 백워드 오일러 스킴으로 구성된다.
• 미분방정식의 해는 지수 수축 추정: $d_\infty(\gamma(t), \eta(t)) \leq e^{-t} d_\infty(\gamma(0), \eta(0))$ 을 만족하며, 이는 정적 점과 해의 안정성의 유일성을 보여준다.
• 파워 평균 $P_t(\omega, \mathbb{A})$ 는 $t \to 0^+$ 일 때 카르커 평균 $\Lambda(\omega, \mathbb{A})$ 로 노름 수렴하며, [19]에서 제기된 추측을 확인한다.
• empirical 측도의 족집게 $S^{\mu_n}(t)$ 는 컴팩트 간격에서 거의 확실하고 균일하게 $S^\mu(t)$ 로 수렴하며, 카르커 평균에 대한 연속 시간 대수의 법칙을 도출한다.
• 연속 시간 트로터-카토 곱공식이 성립한다: $\lim_{n \to \infty} \lim_{m \to \infty} (F^{\mu_n}_{t/m})^m = S^\mu(t)$, 여기서 $F^{\mu_n}_\rho$ 는 이변량 기하 평균의 조합이다.