[논문 리뷰] Davis' Convexity Theorem and Extremal Ellipsoids

Matthias J. Weber, Hans-Peter Schröcker|arXiv (Cornell University)|2009. 07. 07.

Point processes and geometric inequalities참고 문헌 12인용 수 4

한 줄 요약

이 논문은 일반적인 크기 함수에 대해 최소 외접 타원체와 최대 내접 타원체의 유일성 조건을 설정하며, 변환된 고유값 함수에 대한 볼록성 및 오목성 기준을 사용한다. 최소 타원체의 경우 크기 함수와 반축 길이의 특정 거듭제곱 변환을 합성한 함수가 볼록할 때, 최대 타원체의 경우 오목할 때 유일성이 성립함을 증명한다. 특히 부피, 쿠르마스 적분, 호 길이에 대해 명시적인 결과를 제시한다.

ABSTRACT

We give a variety of uniqueness results for minimal ellipsoids circumscribing and maximal ellipsoids inscribed into a convex body. Uniqueness follows from a convexity or concavity criterion on the function used to measure the size of the ellipsoid. Simple examples with non-unique minimal or maximal ellipsoids conclude this article.

연구 동기 및 목표

• 주어진 볼록체에 대해 최소 외접 타원체와 최대 내접 타원체가 유일해지는 일반 조건을 설정하는 것.
• 클래식한 유일성 결과(예: 존의 정리)를 부피를 초월해 더 넓은 크기 함수의 범주로 확장하는 것.
• 크기 함수에 대한 유일성의 필요 및 충분 조건을, 변환된 고유값 함수의 볼록성 또는 오목성에 기반하여 규명하는 것.
• 비볼록성 또는 비오목성을 띠는 크기 함수에서는 극값 타원체가 유일하지 않을 수 있음을 보여주는 반례를 제시하는 것.
• 대칭 행렬 표현과 중간 타원체 구성 기법을 통해 이전의 극값 타원체 결과를 통합하고 일반화하는 것.

제안 방법

• 타원체를 대칭 양의 준정부호 행렬과 중심 벡터로 표현하며, 형태 $ (x - m)^T A (x - m) \leq 1 $ 을 사용한다.
• 행렬 $ A $ 의 순서된 고유값에 대해 크기 함수 $ f $ 를 정의하며, 연속성, 엄밀한 단조성, 대칭성을 요구한다.
• 데이비스의 볼록성 정리를 적용하기 위해, 최소 타원체의 경우 $ p = -1, -1/2 $, 최대 타원체의 경우 $ p = 1, 1/2 $ 에 대해 $ f \circ w^p $ 의 볼록성 또는 오목성을 분석한다.
• 비유일성이 성립할 경우를 모순으로 이끌기 위해, 두 후보 극값 타원체 사이의 행렬 보간을 통해 '중간 타원체' $ E_\lambda $ 를 구성한다.
• 고정된 중심 또는 축을 가진 타원체 분석을 단순화하기 위해 극좌표 분해와 동차 행렬 표현을 사용한다.
• 기하학적 및 해석적 기법을 활용하며, 반례 평가에 타원적 적분을 사용하여 크기 함수를 평가한다.

실험 결과

연구 질문

• RQ1 크기 함수 $ f $ 가 어떤 조건을 만족할 경우, 볼록체의 최소 외접 타원체가 유일해지는가?
• RQ2 크기 함수 $ f $ 가 부피가 아닐 경우, 최대 내접 타원체가 유일해지는 조건은 무엇인가? 특히 $ f $ 가 비볼록성 또는 비오목성을 띠는 경우에 대해 고려한다.
• RQ3 크기 함수가 볼록성 또는 오목성을 갖지 않을 경우, 극값 타원체의 비유일성이 발생할 수 있는가?
• RQ4 이러한 결과는 부피, 쿠르마스 적분, 호 길이에 대해 이전의 유일성 정리들을 어떻게 일반화하는가?
• RQ5 $ f \circ w^p $ 의 볼록성 또는 오목성이 극값 타원체의 유일성 보장에 어떤 역할을 하는가?

주요 결과

• 최소 외접 타원체는 $ f \circ w^{-1} $ 또는 $ f \circ w^{-1/2} $ 가 볼록할 경우에 유일하며, 이는 존의 정리를 부피를 초월해 일반화한다.
• 최대 내접 타원체는 $ f \circ w^{1} $ 이 오목할 경우 또는 $ f \circ w^{1/2} $ 가 오목하고 중심이 고정된 경우에 유일하다.
• 비볼록성 또는 비오목성을 띠는 크기 함수에서는 비유일성이 발생할 수 있다. 예를 들어, $ f(a,b) = \max\{a,b\} + 16\min\{a,b\} $ 인 경우, 정사각형의 꼭짓점을 통과하는 두 개의 서로 다른 타원체가 외접원보다 작다.
• 정삼각형의 경우, 최대 호 길이 내접 타원체는 유일하지 않다. 변에 따라 퇄형 타원체가 내접원보다 더 큰 호 길이를 가지며, $ f(E_s) = 2 > \pi/\sqrt{3} \approx 1.8138 $ 이다.
• 호 길이의 크기 함수는 제1종 완전 타원적 적분을 포함하며, 이 함수의 비오목성은 비유일성으로 이어진다.
• 중심이 고정되지 않은 일반적인 최대 내접 타원체의 경우, $ p = 1/2 $ 에 대해 유일성 결과는 여전히 열려있다.