[논문 리뷰] Volumes of subset Minkowski sums and the Lyusternik region

M.F. Barthe, Mokshay Madiman|arXiv (Cornell University)|2021. 12. 13.

Point processes and geometric inequalities인용 수 1

한 줄 요약

이 논문은 ℝᵈ 내 M개의 컴팩트 집합의 미ン코프스키 부분합의 모든 가능한 부피의 집합인 루스테르니크 영역을 조사하며, 보브코프 등(2011)이 제기한 분수 슈퍼덧셈성 추측이 1차원에서 성립함을 증명한다. 또한 동차성과 볼록성의 논증을 통해 부피 함수를 분수 슈퍼덧셈성과 연결함으로써 모든 차원에서 성립하는 추측의 변형을 확립한다.

ABSTRACT

We begin a systematic study of the region of possible values of the volumes of Minkowski subset sums of a collection of $M$ compact sets in $\mathbb{R}^d$, which we call the Lyusternik region, and make some first steps towards describing it. Our main result is that a fractional generalization of the Brunn-Minkowski-Lyusternik inequality conjectured by Bobkov et al. (2011) holds in dimension 1. Even though Fradelizi et al. (2016) showed that it fails in general dimension, we show that a variant does hold in any dimension.

연구 동기 및 목표

• ℝᵈ 내 M개의 컴팩트 집합의 미ン코프스키 부분합의 모든 가능한 부피의 집합인 루스테르니크 영역을 체계적으로 연구하기 위해.
• 보브코프 등(2011)이 처음으로 제기한 컴팩트 집합에 대한 부피 함수 |·|¹ᐟᵈ에 대한 분수 슈퍼덧셈성 추측의 타당성을 조사하기 위해.
• 특히 1차원에서 이 추측이 참임을 보여주며, 저차원에서의 성립 여부를 확인하기 위해.
• 모든 차원에서 성립하는 추측의 변형을 확립하여, 지수 없이 부피 함수 자체가 분수 슈퍼덧셈성임을 보여주기 위해.
• 분수 슈퍼덧셈성과 집합 함수의 연장 가능성 및 협력 게임 이론(특히 본다레바-셰플리 정리) 간의 연결 고리를 설정하기 위해.

제안 방법

• ℝᵈ 내 M개의 컴팩트 집합의 미ン코프스키 부분합에 대한 부피 함수의 상을 (d, M)-루스테르니크 영역 Λd(M)로 정의한다.
• 분수 슈퍼덧셈성의 개념을 사용한다: T ⊆ [M]에 대해 1T = ∑ᵢ βᵢ1Sᵢ (βᵢ ≥ 0) 이면 f(T) ≥ ∑ᵢ βᵢf(Sᵢ), 여기서 f(S) = |∑ᵢ∈S Ai|.
• 부피 함수의 분수 슈퍼덧셈성이 ℝ₊ᴹ 위의 1-동차 볼록 함수의 존재성과 동치임을 증명한다.
• 본다레바-셰플리 정리를 통해 분수 슈퍼덧셈성과 협력 게임 이론에서 핵이 비어 있지 않은 조건 간의 동치성을 확립한다.
• 부분집합의 숏렉스 순서를 사용하여 루스테르니크 영역를 매개변수화하고 1차원에서의 그 구조를 분석한다.
• 1차원의 구조적 특성을 활용하여 명시적 부피 비교와 볼록성 논증을 통해 d = 1일 때 전체 분수 슈퍼덧셈성 추측을 증명한다.

실험 결과

연구 질문

• RQ1 ℝᵈ 내 M개의 컴팩트 집합에 대한 부피 함수 |·|¹ᐟᵈ에 대한 분수 슈퍼덧셈성 추측이 1차원에서 성립하는가?
• RQ2 만약 그렇지 않다면, 고차원에서 성립하는 추측의 변형은 무엇인가?
• RQ3 부피 함수 |∑ᵢ∈S Ai|는 ℝ₊ᴹ 위로 1-동차 볼록 함수로 연장될 수 있는가? 이는 루스테르니크 영역에 어떤 의미를 갖는가?
• RQ4 ℝᵈ 내 M개의 컴팩트 집합에 대해 루스테르니크 영역 Λd(M)의 기하학적 및 대수적 구조는 무엇인가?
• RQ5 분수 슈퍼덧셈성은 협력 게임 이론에서의 핵 조건과 정보 이론의 엔트로피 파워 부등식과 어떻게 관련이 있는가?

주요 결과

• 보브코프 등(2011)이 제기한 분수 슈퍼덧셈성 추측은 1차원에서 성립함을 증명하여, ℝ¹ 내 컴팩트 집합에 대해 |∑ᵢ∈S Ai|¹ᐟᵈ 가 분수 슈퍼덧셈성임을 보였다.
• 모든 차원에서 성립하는 추측의 변형이 존재한다: 지수 없이 부피 함수 |∑ᵢ∈S Ai| 자체가 분수 슈퍼덧셈성임을 보였다.
• 루스테르니크 영역 Λd(M)는 νA : 2[M] → ℝ₊이며 νA(∅) = 0, νA(S) = |∑ᵢ∈S Ai| 를 만족하는 모든 함수의 집합으로서, ℝ²ᴹ 내의 컴팩트 부분집합임을 특성화하였다.
• 부피 함수의 분수 슈퍼덧셈성은 ℝ₊ᴹ 위로의 1-동차 볼록 함수의 존재성과 동치이며, 기하 함수와 볼록 해석학 간의 깊은 연결 고리를 확립하였다.
• 본다레바-셰플리 정리에 의해, 분수 슈퍼덧셈성은 ∑ᵢ ti = |∑ᵢ∈[M] Ai| 이고, 모든 S ⊆ [M]에 대해 ∑ᵢ∈S ti ≥ |∑ᵢ∈S Ai| 를 만족하는 탈출 가능한 할당 벡터 t ∈ ℝ₊ᴹ 의 존재성과 동치임을 보였다.
• 1차원에서의 증명은 컴팩트 집합의 1차원적 구조와 구간의 미ン코프스키 합이 다시 구간이 되는 사실에 기반하며, 명시적 부피 비교와 브룬-미크로프스키 부등식의 가장 단순한 형태를 사용하였다.