[논문 리뷰] Log concavity for matrix-valued functions and a matrix-valued Prékopa theorem

Hossein Raufi|arXiv (Cornell University)|2013. 11. 28.

Geometry and complex manifolds참고 문헌 6인용 수 9

한 줄 요약

이 논문은 복소미분기하학에서 영감을 얻어 행렬가중 함수에 대한 두 가지 유형의 로그 볼록성—Griffiths형 및 Nakano형—을 도입한다. 이는 행렬가중 메트릭의 곡률 조건을 통해 스칼라 로그 볼록성의 일반화이다. 가중 벡터가중 페일리-위너 정리와 직접 이미지 번들의 양성 조건을 이용하여, 행렬가중 Prékopa 정리를 증명한다: 볼록 집합 위에서 Nakano 로그 볼록인 행렬가중 함수의 적분은 여전히 Nakano 로그 볼록성을 유지한다. 이는 고전적 Prékopa 정리를 행렬 설정으로 확장한 것이다.

ABSTRACT

We give two different definitions of what it means for a matrix-valued function to be log concave, guided by similar notions in complex differential geometry. After discussing a few simple examples, we proceed to develop some of the basic properties associated with these new concepts. Finally, we prove a matrix-valued Prékopa theorem using a weighted, vector-valued Paley-Wiener theorem, and positivity properties of direct image bundles.

연구 동기 및 목표

• 복소미분기하학에서 영감을 얻어 행렬가중 함수에 대한 의미 있는 로그 볼록성 일반화를 정의하기 위해.
• 고전적 Prékopa 정리의 행렬가중 해석을 확립하여, 투영에 의한 볼록성 유지 조건을 확보하기 위해.
• 실수 설정에서 벡터 번들의 이론을 로그 볼록성 이론으로 확장하여, 복소기하학의 Griffiths 및 Nakano 곡률을 반영하기 위해.
• 볼록 집합 위에서 행렬가중 함수의 적분이 Nakano 로그 볼록성을 유지하는지 증명하기 위해.

제안 방법

• R^n 위에서 두 번 미분 가능하고 엄밀히 양의 정부호 헤르미트 행렬 함수인 행렬가중 메트릭을 정의한다.
• 행렬가중 함수에 대해 곡률 연산자 Θ_jk^g = ∂/∂x_k (g^{-1} ∂g/∂x_j) 를 도입한다.
• 모든 u ∈ C^r, v ∈ C^n 에 대해 ∑_{j,k} (Θ_jk^g u, u)_g v_j v̄_k ≤ 0 를 만족할 때, Griffiths 의미의 로그 볼록성을 정의한다.
• 모든 u_j ∈ C^r 에 대해 ∑_{j,k} (Θ_jk^g u_j, u_k)_g ≤ 0 를 만족할 때, Nakano 의미의 로그 볼록성을 정의한다.
• 가중 벡터가중 페일리-위너 정리와 직접 이미지 번들의 양성 조건을 이용하여, 행렬가중 Prékopa 정리를 증명한다.
• 원래 번들의 곡률 양성을 변환된 번들로 옮기기 위해 절단의 L^2 공간 간의 동형사상 수립.

실험 결과

연구 질문

• RQ1 복소기하학의 곡률 조건을 반영하는 적절한 행렬가중 로그 볼록성 일반화는 무엇인가?
• RQ2 고전적 Prékopa 정리는 로그 볼록성 유지 조건을 유지하면서 행렬가중 함수로 확장될 수 있는가?
• RQ3 행렬가중 함수의 Nakano 로그 볼록성이 볼록 집합 위에서의 적분 후에도 유지되는가?
• RQ4 행렬 설정에서 Griffiths 및 Nakano의 로그 볼록성 개념은 어떻게 관련되어 있으며, r=1일 때 스칼라 로그 볼록성으로 어떻게 축소되는가?

주요 결과

• 행렬가중 Prékopa 정리가 성립한다: g(y,t)가 t에 대해 Nakano 로그 볼록이면, 그 적분 ̃g(t) = ∫ g(y,t) dV(y) 도 t에 대해 Nakano 로그 볼록이다.
• 증명은 가중 벡터가중 페일리-위너 정리를 이용하여 적분을 푸리에 유사 연산자로 변환한다.
• 직접 이미지 번들의 양성 조건은 곡률 양성(즉, Nakano 로그 볼록성)이 적분 변환 동안 유지됨을 보장한다.
• K의 특성 함수를 증가하는 볼록 함수로 근사화함으로써 결과는 임의의 볼록 집합 위의 적분으로 확장된다.
• 보조정리 1.3은 φ가 볼록이고 Θ^A가 음의 정부호이면, g(y,t) = e^{-φ(y,t)} A(y) 형태의 함수는 Nakano 로그 볼록인 적분을 유도함을 보여준다.
• 행렬가중 곡률 연산자 Θ_jk^g 는 스칼라 로그 볼록성을 행렬 설정으로 일반화하기 위해 필요한 미분기하학적 구조를 포괄한다.