[논문 리뷰] Duality of non-exposed faces

Stephan Weis|arXiv (Cornell University)|2011. 07. 12.

Point processes and geometric inequalities참고 문헌 13인용 수 5

한 줄 요약

이 논문은 정규 원뿔과 면 및 촉각 원뿔 사이의 갈로아 연결을 사용하여 볼록체 내 비노출 면에 대한 이중성 이론을 수립한다. 비노출 면의 쌍대 면은 특이하다(부분 정규 원뿔이 불완전함), 그리고 이는 평면 볼록체에서 혼합 및 자유 모서리로 특성화되며, 볼록체 쌍의 비노출 점에 대한 완전한 이중성 프레임워크를 제공한다.

ABSTRACT

Given any polar pair of convex bodies we study its conjugate face maps and we characterize conjugate faces of non-exposed faces in terms of normal cones. The analysis is carried out using the positive hull operator which defines lattice isomorphisms linking three Galois connections. One of them assigns conjugate faces between the convex bodies. The second and third Galois connection is defined between the touching cones and the faces of each convex body separately. While the former is well-known, we introduce the latter in this article for any convex set in any finite dimension. We demonstrate our results about conjugate faces with planar convex bodies and planar self-dual convex bodies, for which we also include constructions.

연구 동기 및 목표

• 볼록체 쌍의 극대 쌍대체에서 정규 원뿔을 사용하여 비노출 면의 이중성 구조를 특성화하는 것.
• 촉각 원뿔과 볼록집합의 면 사이에 갈로아 연결을 수립하여, 일반적인 유한차원 볼록집합에 대한 새로운 이중성 프레임워크를 제안하는 것.
• 비노출 면의 쌍대 면이 특이하다는 것을 증명하는 것, 즉 정규 원뿔의 차원이 2 이상임을 의미한다.
• 대칭적 접합을 통해 이중 볼록체를 조합하여 비노출 점이 없는 평면 자기이중 볼록체를 체계적으로 구성하는 것.
• 이론을 양자 정보 및 볼록대수기하학에 적용하여 정보 측정치의 불연속성과 행렬식 다양체를 연구하는 데 기여하는 것.

제안 방법

• 양의 헐 연산자를 사용하여, 이중 볼록체 사이, 그리고 각 볼록체의 촉각 원뿔과 면 사이의 세 개의 갈로아 연결을 연결하는 격자 동형사상을 정의한다.
• 볼록집합의 촉각 원뿔과 면 사이에 새로운 갈로아 연결을 도입하여, 임의의 유한차원에서 유효한 일반적인 이론을 제안한다.
• 비노출 면에 쌍대 면 사상(conjugate face map)을 적용하여, 이들이 이중체에서 혼합 또는 자유 모서리에 대응함을 보여준다.
• 지지 함수와 반경 함수를 사용하여 단위 구면을 통해 이중 볼록체의 경계를 매개변수화한다.
• Ro의 보조정리 16.5.2를 적용하여 볼록 hull의 이중체를 계산하고, 이중체 및 자기이중체의 명시적 구성이 가능하게 한다.
• 카라테오도리의 정리를 적용하여 단위 원주 위의 밀도 있는 집합의 볼록 hull이 비노출 점이 없고 컴act임을 증명한다.

실험 결과

연구 질문

• RQ1 볼록체의 비노출 면은 그 극대 이중체의 면과 쌍대 면 사상(conjugate face map)을 통해 어떻게 관련되어 있는가?
• RQ2 쌍대 볼록체 쌍에서 비노출 면의 쌍대 면은 어떤 기하학적 및 위상수학적 성질을 갖는가?
• RQ3 비노출 점이 없는 평면 자기이중 볼록체는 체계적으로 구성할 수 있으며, 그 존재를 보장하는 조건은 무엇인가?
• RQ4 불완전한 정규 원뿔은 특이 면과 어떻게 관련되어 있으며, 평면 볼록체에서 어떻게 묘사할 수 있는가?
• RQ5 혼합 및 자유 모서리는 2차원 볼록집합에서 비노출 점의 이중성에 어떤 역할을 하는가?

주요 결과

• 비노출 점의 집합에서 평면 볼록체의 쌍대 면 사상은 그 극대 이중체의 혼합 및 자유 모서리 집합으로의 전사 사상으로 제한된다.
• 비노출 면의 쌍대 면은 특이하다. 즉, 정규 원뿔의 차원이 2 이상이며, 이러한 면들은 불완전한 정규 원뿔로 완전히 특성화된다.
• 비노출 점이 없는 평면 볼록체의 모든 모서리는 다각형이며, 이러한 볼록체는 이중 볼록체를 직선을 따라 대칭적으로 접합하여 구성할 수 있다.
• 평면 볼록체에서 불완전한 정규 원뿔은 혼합 또는 자유 모서리에 대응하며, 기하학적으로 경계가 접선과 원뿔적 행동을 동시에 보이는 점으로 묘사된다.
• 비노출 점이 없는 자기이중 볼록체는 존재하며, 원본 볼록체가 대칭축 상에 부드러운 극단점이 있을 경우, 그 볼록체와 그 이중체를 직선을 기준으로 조합하여 구성할 수 있다.
• 예제 5.5는 비노출 점이 존재하지 않도록 단위 원주 위의 밀도 있고 대칭적인 부분집합의 볼록 hull을 취하여, 무한히 많은 다각형 모서리를 가진 자기이중 볼록체를 구성한다.