[논문 리뷰] Hessian valuations.

Andrea Colesanti, Monika Ludwig외 1명|arXiv (Cornell University)|2017. 11. 27.

Point processes and geometric inequalities참고 문헌 17인용 수 7

한 줄 요약

이 논문은 ℝⁿ에서 볼록 함수에 대한 새로운 연속 측도의 클래스를 도입한다. 이 측도는 함수의 값, 위치, 기울기의 연속 함수 ζ와 함수의 헤시안 행렬의 i번째 기본 대칭 다항식을 포함하는 적분을 통해 정의된다. ζ에 대해 적절한 조건을 만족할 경우, 이러한 측도는 볼록하고 강력한 함수에 대해 이동과 회전에 대해 불변임을 보여준다.

ABSTRACT

A new class of continuous valuations on the space of convex functions on $\mathbb{R}^n$ is introduced. On smooth convex functions, they are defined for $i=0,\dots,n$ by \begin{equation*} u\mapsto \int_{\mathbb{R}^n} \zeta(u(x),x, abla u(x))\,[\operatorname{D}^2 u(x)]_i\,{ m d} x \end{equation*} where $\zeta\in C(\mathbb{R} imes\mathbb{R}^n imes\mathbb{R}^n)$ and $[\operatorname{D}^2 u]_i$ is the $i$th elementary symmetric function of the eigenvalues of the Hessian matrix, $\operatorname{D}^2 u$, of $u$. Under suitable assumptions on $\zeta$, these valuations are shown to be invariant under translations and rotations on convex and coercive functions.

연구 동기 및 목표

• ℝⁿ에서 볼록 함수의 공간에 대한 새로운 연속 측도의 클래스를 정의하기.
• 헤시안 행렬과 그 기본 대칭 다항식을 사용하여 이러한 측도를 특성화하기.
• 볼록하고 강력한 함수에 대해 이동과 회전에 대해 불변임을 확립하기.
• 헤시안 기반 구성 방식을 통해 측도 이론을 볼록 함수의 설정으로 확장하기.

제안 방법

• 함수 D²u의 고유값에 대한 i번째 기본 대칭 다항식을 사용하여 매끄러운 볼록 함수에 대한 측도를 정의한다.
• ℝⁿ 위에서 ζ(u(x), x, ∇u(x))와 [D²u(x)]_i의 곱을 적분하여 측도를 구성한다. 여기서 ζ는 ℝ × ℝⁿ × ℝⁿ에서 정의된 연속 함수이다.
• 적분이 잘 정의되도록 ζ가 적절한 연속성 및 성장 조건을 만족하도록 요구한다.
• 이 조건들이 만족될 경우, 측도가 볼록 함수 공간에서 연속임을 증명한다.
• 이동에 대한 불변성을 입증하기 위해 x ↦ x + a에 대한 변환에서도 함수 형태가 유지됨을 보인다.
• 직교 변환에 의한 도메인의 변형에서도 표현식이 변화하지 않음을 확인하여, 회전에 대한 불변성을 확립한다.

실험 결과

연구 질문

• RQ1 함수의 헤시안 행렬을 사용하여 볼록 함수에 대한 측도를 어떻게 구성할 수 있는가?
• RQ2 함수 ζ에 대해 어떤 조건이 결과 측도의 연속성과 불변성을 보장하는가?
• RQ3 이러한 측도는 ℝⁿ에서 이동과 회전 양쪽에 대해 불변이 될 수 있는가?
• RQ4 헤시안 고유값의 i번째 기본 대칭 다항식은 이러한 측도를 정의하는 데 어떤 역할을 하는가?
• RQ5 이러한 측도는 볼록하고 강력한 함수의 더 넓은 클래스로 어떻게 확장될 수 있는가?

주요 결과

• ζ가 적절한 연속성 및 성장 조건을 만족할 경우, 제안된 측도는 ℝⁿ에서 볼록 함수 공간에서 잘 정의되고 연속적이다.
• 측도는 이동에 대해 불변이며, 이는 함수가 공간에서 이동되어도 값이 변화하지 않음을 의미한다.
• 측도는 회전에 대해 불변이며, 도메인의 직교 변환에 대해서도 값이 유지된다.
• 이 구성은 헤시안 고유값의 i번째 기본 대칭 다항식에 의존하며, 이는 곡률 유형의 적분을 일반화한다.
• 이 프레임워크는 헤시안 기반 함수형을 통해 측도 이론을 볼록 함수로 확장한다.
• 결과는 볼록하고 강력한 함수에 대해 성립하며, 적분 수렴성과 함수형의 극한에 대한 안정성을 보장한다.