[논문 리뷰] Generalization of Klain's Theorem to Minkowski Symmetrization of compact sets and related topics

Jacopo Ulivelli|arXiv (Cornell University)|2020. 07. 08.

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

한 줄 요약

이 논문은 R^n 내의 컴팩트 집합에 대한 민코프스키 대칭화와 파이버 대칭화로 Klain의 수렴 정리의 일반화를 시도하며, 유한한 부분공간 가족에 대한 대칭화 수열이 대칭한 극한으로 수렴함을 증명한다. 주요 기여는 경계 조건이 약간의 조건을 만족할 경우 수렴성과 등幂성 성질을 확립함으로써, 볼록체에서의 결과를 일반 컴팩트 집합으로 확장하는 것이다.

ABSTRACT

We shall prove a convergence result relative to sequences of Minkowski symmetrals of general compact sets. In particular, we investigate the case when this process is induced by sequences of subspaces whose elements belong to a finite family, following the path marked by Klain in [13], and the generalizations in [4] and [2]. We prove an analogue result for Fiber symmetrization of a specific class of compact sets. The idempotency for symmetrization of this family of sets is investigated, leading to a simple generalization of a result from Klartag [14] regarding the approximation of a ball through a finite number of symmetrizations, and generalizing an approximation result in [9]

연구 동기 및 목표

• 일반 컴팩트 집합에 대한 반복 민코프스키 및 파이버 대칭화의 수렴성을 조사하며, 볼록체에서 알려진 결과를 확장한다.
• 볼록체와는 달리 컴팩트 집합 설정에서 등幂성 및 대칭성 성질이 실패할 수 있는 병리적 현상을 다룬다.
• 비볼록 컴팩트 집합에서 시작하더라도 대칭화 수열이 볼록이고 대칭적인 극한으로 수렴할 조건을 설정한다.
• Klartag의 구를 유한한 대칭화로 근사하는 결과를 경계 정규성 조건 하에서 컴팩트 집합 클래스로 일반화한다.
• 특히 대칭화 등幂성과 관련하여, 컴팩트 집합의 덧셈과 그 경계 간의 관계를 규명한다.

제안 방법

• 등급 대칭화 분석을 볼록 케이스로 환원하기 위해 등급 대칭화 수열과 등급 이sov의 평균을 비교한다.
• 민코프스키 대칭화가 항등사상과 반사 사상의 평균임을 이용하여, 볼록체에서의 수렴성 전이 결과를 컴팩트 집합으로 확장한다.
• 파이버 대칭화가 볼록성을 유지하고, 볼록 케이스 결과를 통해 수렴성을 보장하기 위해 ∂conv(C) ⊆ C 조건을 도입한다.
• 연결된 경계와 포함관계가 없는 조건 하에서 K + L = ∂K + ∂L 를 증명하며, 이는 등幂성 결과의 기초가 된다.
• 정리 1.4의 경계합 등식을 적용하여 MHK = MH∂K 를 보이고, 비초평면 부분공간에 대해 파이버 대칭화로 확장한다.
• 이미 알려진 볼록체에 대한 수렴 정리(예: Klain, Bianchi 등)를 conv(C)에 적용하여 ∂conv(C) ⊆ C 를 만족하는 C에 대해 수렴성을 유도한다.

실험 결과

연구 질문

• RQ1 일반 컴팩트 집합에 대해 유한한 부분공간 가족에 대한 민코프스키 대칭화 수열이 수렴하는 조건은 무엇인가?
• RQ2 볼록체에 대해 알려진 대칭화 수열의 수렴성이, 볼록 hull의 경계를 포함하는 컴팩트 집합으로 확장될 수 있는가?
• RQ3 두 컴팩트 집합의 민코프스키 합과 그 경계의 합 간의 관계는 무엇이며, 특히 두 집합의 경계가 연결되어 있을 경우 어떻게 되는가?
• RQ4 ∂conv(C) ⊆ C 를 만족하는 컴팩트 집합 C에 대한 파이버 대칭화 수열은 수렴하는가? 그리고 극한은 conv(C)의 파이버 대칭화와 같은가?
• RQ5 컴팩트 집합 설정에서 대칭화 과정이 볼록성 또는 등幂성을 어느 정도 유지하는가?

주요 결과

• 모든 컴팩트 집합 C ∈ C^n 에 대해 conv(C) = K 이고 ∂conv(C) ⊆ C 를 만족할 경우, 유한한 부분공간 가족에 대한 민코프스키 대칭화 수열은 K에 대해 수렴할 경우와 동일한 극한으로 수렴한다.
• ∂conv(K) ⊆ K 를 만족하는 컴팩트 집합 K에 대해, 차원 ≤ n−2 인 유한한 부분공간 가족에 대한 파이버 대칭화 수열은 볼록 극한으로 수렴하며, 이 극한은 conv(K)의 파이버 대칭화와 같다.
• 경계가 연결되어 있고, K의 어떤 이동체도 다른 집합의 반사체에 엄격히 포함되지 않을 경우, 컴팩트 집합 K의 민코프스키 대칭화 MHK 는 K의 경계에만 의존하며, 특히 MHK = MH∂K 이다.
• 차원 ≤ n−2 인 부분공간에 대한 파이버 대칭화의 경우, ∂conv(C) ⊆ C 를 만족하는 컴팩트 집합 C의 대칭화는 볼록이며, conv(C)의 대칭화와 같다. 단, 부분공간이 초평면이 아닐 경우에 한한다.
• Klartag의 구를 유한한 민코프스키 대칭화로 근사하는 결과를 ∂conv(K) ⊆ K 를 만족하는 컴팩트 집합 K로 일반화하며, O(log 1/ε) 번의 대칭화 이후 (1−ε)w(K)B^n ⊂ ˜K ⊂ (1+ε)w(K)B^n 임을 보였다.
• 경계가 연결되어 있고, 이동체 간에 엄격한 포함관계가 없을 경우, 컴팩트 집합 K, L 에 대해 K + L = ∂K + ∂L 가 성립하며, 이는 등幂성 및 수렴성 증명의 핵심 도구이다.