[논문 리뷰] A Note on Touching Cones and Faces

Stephan Weis|arXiv (Cornell University)|2010. 10. 14.

Point processes and geometric inequalities참고 문헌 9인용 수 11

한 줄 요약

이 논문은 유한차원 유클리드 공간 내 볼록 집합에 대한 '접촉 원뿔' 개념을 도입하고 분석하며, 볼록 몰입체의 폴라르의 면 레이스와 원래 몰입체의 접촉 원뿔 레이스 사이에 새로운 등순서 레이스 동형사상이 존재함을 증명한다. 주요 기여는 정리 8.3이며, 이는 양의 헐러 연산자가 폴라르 몰입체의 면에서 원래 몰입체의 접촉 원뿔로 가는 등순서 레이스 동형사상을 유도함을 증명하며, 노출 면과 정규 원뿔 사이의 고전적 반순서 대칭성의 일반화를 제공한다.

ABSTRACT

We study touching cones of a (not necessarily closed) convex set in a finitedimensional real Euclidean vector space and we draw relationships to other concepts in Convex Geometry. Exposed faces correspond to normal cones by an antitone lattice isomorphism. Poonems generalize the former to faces and the latter to touching cones, these extensions are non-isomorphic, though. We study the behavior of these lattices under projections to affine subspaces and intersections with affine subspaces. We prove a theorem that characterizes exposed faces by assumptions about touching cones. For a convex body K the notion of conjugate face adds an isotone lattice isomorphism from the exposed faces of the polar body to the normal cones of K. This extends to an isomorphism between faces and touching cones.

연구 동기 및 목표

• 볼록 집합에 대한 접촉 원뿔 개념을 형식화하고 연구함으로써, 노출 면과 정규 원뿔 사이의 고전적 대칭성을 확장한다.
• 접촉 원뿔의 레이스 이론적 구조와 면, 정규 원뿔, 폴라르 대칭성과의 관계를 조사한다.
• 볼록 몰입체의 폴라르의 면 레이스와 몰입체 자체의 접촉 원뿔 레이스 사이에 새로운 동형사상을 수립한다.
• 아핀 사영과 교차에 의한 이러한 구조들의 행동을 명확히 하고, 노출 면을 접촉 원뿔을 통해 특성화한다.

제안 방법

• 레이스 이론을 사용하여 볼록 집합, 면, 정규 원뿔, 접촉 원뿔의 순서 구조를 분석한다.
• 폴라르 몰입체의 면에서 원래 몰입체의 접촉 원뿔로 매핑하는 중심 도구로 양의 헐러 연산자(poss)를 도입한다.
• 노출 면과 정규 원뿔 사이의 반순서 동형사상(고전적 대칭성)을 기반으로 접촉 원뿔으로의 확장에 활용한다.
• 아핀 부분공간 위의 사영과 교차 연산을 적용하여 정규 원뿔과 접촉 원뿔의 역할을 비교한다.
• 양의 헐러 연산자가 폴라르 몰입체의 면 레이스와 원래 몰입체의 접촉 원뿔 레이스 사이에 등순서 레이스 동형사상을 유도함을 증명한다.
• 민코프스키의 정리와 카라테오도리의 정리를 활용하여 면이나 정규 원뿔을 표현하기 위해 필요한 원자 또는 코원자의 수에 대한 경계를 유도한다.

실험 결과

연구 질문

• RQ1 접촉 원뿔은 어떻게 정규 원뿔을 일반화하며, 볼록 집합의 레이스 구조에서 어떤 역할을 하는가?
• RQ2 노출 면과 정규 원뿔 사이의 고전적 반순서 동형사상은 모든 면과 접촉 원뿔을 포함하는 더 넓은 대칭성으로 확장될 수 있는가?
• RQ3 볼록 집합의 사영과 교차와 그 접촉 원뿔 및 면의 행동 간의 관계는 무엇인가?
• RQ4 어떤 조건에서 면은 관련된 접촉 원뿔을 통해 코원자의 교차로 특성화될 수 있는가?
• RQ5 양의 헐러 연산자는 폴라르 몰입체의 면 레이스와 원래 몰입체의 접촉 원뿔 레이스 사이에 어떤 관계를 맺는가?

주요 결과

• 정리 8.3에 의해, 양의 헐러 연산자는 볼록 몰입체 $K^{\bullet}$의 면 레이스와 원래 볼록 몰입체 $K$의 접촉 원뿔 레이스 $\mathcal{T}(K)$ 사이에 등순서 레이스 동형사상을 유도한다.
• 이 동형사상은 노출 면과 정규 원뿔 사이의 고전적 반순서 대칭성을 모든 면과 접촉 원뿔을 포함하는 더 넓은 대칭성으로 확장한다.
• 이 동형사상은 원점이 내부에 포함된 최소 두 점을 가진 임의의 볼록 몰입체 $K$에 대해 성립하며, 아핀 임bedding을 통해 원점 조건을 제거하여 확장할 수 있다.
• 접촉 원뿔의 구조는 7.3번 비고에서 언급한 바와 같이 $\mathbb{E} \setminus \{0\}$를 접촉 원뿔의 상대 내부로 분할한다.
• 정리 8.4는 모든 부분면이 노출된 조건 하에, $K$의 임의의 진노출 면 $F$가 최대 $\dim(F)+1$개의 노출 면 레이스 원자들의 상한으로 표현될 수 있음을 보여준다.
• 정리 8.5는 임의의 진정규 원뿔 $N$이 최대 $\dim(F_{\perp}(K,N))+1$개의 정규 원뿔 레이스 코원자의 교차로 표현될 수 있음을 증명하며, 특히 입방체의 정사각형 면의 정규 벡터의 경우 등호가 성립한다.