[논문 리뷰] Completely strong superadditivity of generalized matrix functions

Minghua Lin, Suvrit Sra|arXiv (Cornell University)|2014. 10. 08.

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

한 줄 요약

이 논문은 일반화된 행렬 함수—예를 들어 행렬식과 영행렬식—이 양의 준정부호 블록 행렬의 코너에서 완전히 강한 초가역성(CSS)을 확립한다. 대칭 텐서 곱과 이러한 함수들의 완전한 양의 정부호성에 기반하여, 저자들은 고전적인 초가역성의 일반화이자 새로운 간결한 Thompson의 1961년 행렬식 부등식에 대한 증명을 제공하는 블록 행렬 부등식을 증명한다.

ABSTRACT

We prove that generalized matrix functions satisfy a block-matrix strong superadditivity inequality over the cone of positive semidefinite matrices. Our result extends a recent result of Paksoy-Turkmen-Zhang (V. Paksoy, R. Turkmen, F. Zhang, Inequalities of generalized matrix functions via tensor products, Electron. J. Linear Algebra 27 (2014) 332-341.). As an application, we obtain a short proof of a classical inequality of Thompson (1961) on block matrix determinants.

연구 동기 및 목표

• 일반화된 행렬 함수의 강한 초가역성을 블록 행렬으로 확장하여 완전히 강한 초가역성(CSS)의 개념을 도입하는 것.
• 행렬식과 영행렬식이 양의 준정부호 블록 행렬 위에서 CSS임을 확립하는 것.
• CSS 성질을 이용하여 Thompson의 1961년 행렬식 부등식에 대한 새로운 간결한 증명을 제공하는 것.
• 운영자 이론적 및 다중선형 대수 기법을 통해 이전의 초가역성 및 행렬식 부등식 결과들을 통합하고 일반화하는 것.

제안 방법

• 군의 특성에 따른 가중치 합으로 정의된 일반화된 행렬 함수 $ d_{χ}^{G}(A) $ 를 도입하여, 행렬식과 영행렬식을 일반화하는 것.
• 텐서 확장 하에서 블록별 매핑의 양의 정부호성을 요구하는, 블록 행렬 매핑에 대한 완전히 강한 초가역성(CSS)의 개념을 제안하는 것.
• 대칭 텐서 곱 공간 $ \mathcal{V}_{\chi}^{m}(G) $ 와 유도된 연산자 $ K(T) $ 를 사용하여 일반화된 행렬 함수를 텐서 공간 위의 선형 연산자로 표현하는 것.
• 매핑 $ K $ 가 양의 정부호성을 유지하고 곱셈을 보존함을 증명하여 블록 행렬 부등식을 가능하게 하는 것.
• 행렬 $ [K(A_{ij})] $ 가 블록 연산자 $ K(\bm{A}) $ 의 압축임을 보여주어 블록 행렬 구조와 연산자 부등식을 연결하는 것.
• CSS 부등식을 블록 행렬에 적용하여 핵심 결과인 $ \det_m(\bm{A}+\bm{B}) \geq \det_m(\bm{A}) + \det_m(\bm{B}) $ 를 도출하는 것. 이는 Thompson의 부등식을 함의한다.

실험 결과

연구 질문

• RQ1 완전한 양의 정부호성 하에서 일반화된 행렬 함수의 강한 초가역성이 블록 행렬으로까지 확장될 수 있는가?
• RQ2 모든 일반화된 행렬 함수가 양의 준정부호 블록 행렬 위에서 CSS 성질을 가질 수 있는가?
• RQ3 CSS 부등식이 Thompson의 1961년 행렬식 부등식에 대한 새로운 직접적 증명을 제공하는가?
• RQ4 대칭 텐서 곱 구성과 유도된 연산자 $ K(T) $ 는 초가역성의 블록 구조로의 확장을 어떻게 촉진하는가?
• RQ5 완전한 양의 정부호성은 일반화된 행렬 함수에 대한 블록 행렬 초가역성의 타당성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 행렬식과 영행렬식을 포함한 일반화된 행렬 함수는 양의 준정부호 블록 행렬의 코너에서 완전히 강한 초가역성(CSS)을 가진다.
• 모든 양의 준정부호 블록 행렬 $ \bm{A}, \bm{B} \in \mathbb{M}_m(\mathbb{M}_n) $ 에 대해 부등식 $ \operatorname{det}_m(\bm{A}+\bm{B}) \geq \operatorname{det}_m(\bm{A}) + \operatorname{det}_m(\bm{B}) $ 가 성립하며, 스칼라 블록과 같은 특정 경우에 등호가 성립한다.
• CSS 성질은 $ K(\bm{A}) $ 의 압축을 통해 증명되며, $ [K(A_{ij})] $ 가 블록 연산자 $ K(\bm{A}) $ 의 양의 준정부호 압축임을 보여준다.
• 이 증명 기법은 Thompson의 1961년 행렬식 부등식 $ \det \bm{A} \leq \det(\det_m(\bm{A})) $ 에 대한 새로운 간결한 유도를 가능하게 하며, 모든 양의 준정부호 블록 행렬에 대해 유효하다.
• 이 결과는 Paksoy-Turkmen-Zhang의 블록 초가역성 결과를 완전한 양의 정부호성 프레임워크로 일반화하여, 모든 일반화된 행렬 함수로 확장한다.
• CSS 부등식은 텐서 곱 임bedding 하에서도 유지되며, 블록 행렬 이론에서 고차원 행렬식 부등식을 증명하는 데 기초가 된다.