[논문 리뷰] On random intersections of two convex bodies. Appendix to: "Isoperimetry of waists and local versus global asymptotic convex geometries" by R.Vershynin

Mark Rudelson, Roman Vershynin|arXiv (Cornell University)|2004. 04. 27.

Point processes and geometric inequalities인용 수 6

한 줄 요약

이 논문은 R^n 내 두 대칭 볼록체 K와 L의 무작위 교차 K ∩ UL에 대한 지름 상한을 이전의 지수적 요인 C^{n/k}에서 다항식 (n/k)^2로 개선한다. 이는 성공 확률을 1−e^{−n}에서 1−e^{−k}로 낮추는 대가로 이루어지며, 핵심 기여는 저차원 사영에서의 거리 엔트로피를 통제하는 새로운 커버링 보조정리이다. 이 보조정리는 고차원 공간에서 부피 및 기하학적 추론을 통해 더 강한 농도 상한을 가능하게 한다.

ABSTRACT

In the paper "Isoperimetry of waists and local versus global asymptotic convex geometries", it was proved that the existence of nicely bounded sections of two symmetric convex bodies K and L implies that the intersection of randomly rotated K and L is nicely bounded. In this appendix, we achieve a polynomial bound on the diameter of that intersection (in the ratio of the dimensions of the sections).

연구 동기 및 목표

• R^n 내 두 대칭 볼록체 K와 L의 무작위 교차 K ∩ UL에 대한 지름 상한을 정밀화하는 것.
• 이전 연구에서 사용된 지수적 요인 C^{n/k}을 다항식 상한 (n/k)^2로 대체하는 것.
• 개선된 상한을 달성하면서도 실패 확률을 1−e^{−n}에서 1−e^{−k}로 감소시키는 것.
• 낮은 차원 사영에 대해 적용 가능한 새로운 커버링 보조정리를 확립하여, 더 엄밀한 거리 엔트로피 추정을 가능하게 하는 것.
• 무작위 절단 및 교차에 대한 등주 및 渐近 볼록기하학 프레임워크 내에서 정량적 개선을 제공하는 것.

제안 방법

• 차수 n−k의 사영 P에 대해, K ⊇ δD 이고 PK ⊇ PD 를 만족하는 볼록체 K에 대해 N(D, 4K)를 상한으로 제시하는 새로운 커버링 보조정리(보조정리 2)를 도입한다.
• PD → R^n 으로의 리프팅 구조 f 를 정의하여 f(PD) ⊂ K 이고 (id−f)(PD) ⊂ E⊥ 가 되도록 하며, 여기서 E 는 P 의 범위이다.
• 부피적 추론을 적용하여, k차원 직교 컴플리먼트를 활용해 V ⊂ (1/δ + 1)K ∩ E⊥ 일 때 N(V, K) ≤ (C/δ)^k 를 유도한다.
• 서브multiplicativity를 통해 커버링 수 추정을 조합: N(PD, 2K) ≤ N(K + V, 2K) ≤ N(V, K) ≤ (C/δ)^k.
• 커버링 보조정리를 L + δ_L D 에 적용하여, 차수 ak의 사영에 대해 N(D, 4(L + δ_L D)) ≤ (C/δ_L)^{2ak} 를 유도한다.
• 보조정리 [V]의 보조정리 4.1과 조합하여, (1−δ_K−8δ_L)D ⊆ K + 8UL 이 고확률로 성립함을 도출한다.

실험 결과

연구 질문

• RQ1 볼록체의 무작위 교차에 대한 지수적 지름 상한 C^{n/k} 을 다항식 상한으로 대체할 수 있는가?
• RQ2 무작위 교차 추정에서 지름 상한의 품질과 실패 확률 사이의 상호 교환 관계는 무엇인가?
• RQ3 저차원 사영에서의 커버링 수를 어떻게 통제하여 농도 상한을 향상시킬 수 있는가?
• RQ4 볼록체의 사영 기하학적 구조는 무작위 교차 행동에 어떤 역할을 하는가?
• RQ5 고차원 渐近 볼록기하학에서 지수적 엔트로피 상한에 의존하는 것을 대체할 수 있는 새로운 커버링 보조정리를 구성할 수 있는가?

주요 결과

• 무작위 교차 K ∩ UL 의 지름은 확률 1−e^{−k} 이상으로 C(n/k)^2 이하로 유계임을 보였다. 이는 이전의 1−e^{−n} 보다 개선된 결과이다.
• t > C(n/k)^{Ca} 일 때, diam(K ∩ UL) > t(n/k) 일 확률은 (ct)^{-k/16} 이하로 유계이며, 이는 다항식 尾확률 감소를 보여준다.
• t = C_1(n/k) 로 설정하면 지름 상한은 C_1(n/k)^2 가 되고, 실패 확률는 (cC_1 n/k)^{-k/16} < e^{-k} 가 되며, 적절한 C_1 에 대해 성립한다.
• K ⊇ δD 이고, P 가 차수 n−k 이며 PK ⊇ PD 를 만족하는 조건 하에, 새로운 커버링 보조정리는 N(D, 4K) ≤ (C/δ)^{2k} 를 유도한다.
• δ_L = ε²k/(32n) 로 선택함으로써, (1−δ_K−8δ_L)D ⊆ K + 8UL 에 대한 포함의 반경 하한을 (ε²k)/(4n) 으로 확보한다.
• ε ≤ c_0(k/n)^{C_0 a} 일 때, 최종 확률 상한 1−(Cε)^{k/8} 이 달성되며, 이는 커버링 수 항목이 엔트로피 항목에 지배당하도록 보장한다.