[논문 리뷰] Analytic and Probabilistic Problems in Discrete Geometry

Gergely Ambrus|arXiv (Cornell University)|2019. 07. 11.

Point processes and geometric inequalities참고 문헌 40인용 수 19

한 줄 요약

이 학위논문은 해석적, 확률적, 조합적 방법을 사용하여 이산기하학의 두 핵심 문제를 해결한다. 복소해석학을 활용해 2차원에서 강한 극화 문제를 증명하고, 텐서화 및 존 유형 정리들을 통해 이를 고차원으로 확장하며, 정규직교 기저가 유일한 극값 구성임을 보인다. 확률기하학에서는 랜덤 삼각형 내에서 가장 긴 볼록 체인의 기대 길이가 점 渐진적으로 $\alpha n^{1/3}$임을 증명하고, 강한 농도 및 극한 형태 결과를 확립한다.

ABSTRACT

The thesis concentrates on two problems in discrete geometry, whose solutions are obtained by analytic, probabilistic and combinatoric tools. The first chapter deals with the strong polarization problem. This states that for any sequence $u_1,\dots, u_n$ of norm 1 vectors in a real Hilbert space $\mathscr H$, there exists a unit vector $v \in \mathscr H$, such that $$ \sum \frac{1}{\langle u_i, v angle^2} \leq n^2. $$ The 2-dimensional case is proved by complex analytic methods. For the higher dimensional extremal cases, we prove a tensorisation result that is similar to F. John's theorem about characterisation of ellipsoids of maximal volume. From this, we deduce that the only full dimensional locally extremal system is the orthonormal system. We also obtain the same result for the weaker, original polarization problem. The second chapter investigates a problem in probabilistic geometry. Take $n$ independent, uniform random points in a triangle $T$. Convex chains between two fixed vertices of $T$ are defined naturally. Let $L_n$ denote the maximal size of a convex chain. We prove that the expectation of $L_n$ is asymptotically $α\, n^{1/3}$, where $α$ is a constant between 1.5 and 3.5 -- we conjecture that the correct value is 3. We also prove strong concentration results for $L_n$, which, in turn, imply a limit shape result for the longest convex chains.

연구 동기 및 목표

• 해석적 및 기하학적 도구를 사용하여 실 힐버트 공간에서 강한 극화 문제를 해결하는 것.
• 극화 문제에 대한 극값 벡터 체계를 특성화하여, 정규직교 기저가 유일한 전차원 극값 구성임을 보이는 것.
• i.i.d. 균일 난수 점 $n$개를 포함하는 삼각형 내에서 가장 긴 볼록 체인의 점 渐진적 행동을 분석하는 것.
• 가장 긴 볼록 체인의 길이에 대해 강한 농도 및 극한 형태 결과를 확립하는 것.
• 점 渐진적 수렴 $\mathbb{E}[L_n] \sim \alpha n^{1/3}$에서 상수 $\alpha$의 수치적 조사로 $\alpha = 3$을 추측하는 것.

제안 방법

• 2차원에서 강한 극화 문제를 증명하기 위해 복소해석적 기법, 특히 등진동 함수를 사용한다.
• 프리드리히 존의 정리와 유사한 텐서화 추론을 적용하여 결과를 고차원으로 확장한다.
• 문제를 그램 행렬의 역고유벡터와 연결하기 위해 선형대수적 변환을 활용한다.
• 원래 극화 추측과 강한 극화 추측 간의 차이에 대한 기하학적 해석을 도출한다.
• 확률적 농도 부등식을 적용하여 $L_n$ 이 평균 주위에 빠르게 농도함을 보인다.
• 공간적 및 길이 기반의 잘라내기 전략을 사용한 $O(n^2)$ 알고리즘을 활용해 랜덤 점 집합에서 가장 긴 볼록 체인을 시뮬레이션한다.

실험 결과

연구 질문

• RQ1 힐베르트 공간 내 단위 벡터 $u_i$와 단위 벡터 $v$에 대해 $\sum_{i=1}^n \frac{1}{\langle u_i, v \rangle^2}$ 의 최적 경계는 무엇인가?
• RQ2 극화 문제에서 극값을 이루는 벡터 체계는 무엇이며, 정규직교 기저가 전차원 극값 구성에서 유일한가?
• RQ3 i.i.d. 균일 난수 점 $n$개를 포함하는 삼각형의 두 꼭짓점 사이에서 가장 긴 볼록 체인의 기대 길이 $\mathbb{E}[L_n]$ 의 점 渐진적 성장률은 무엇인가?
• RQ4 $L_n$ 이 평균 주위에 얼마나 농도되어 있으며, 가장 긴 볼록 체인에 대해 극한 형태가 나타나는가?
• RQ5 점 渐진적 수렴 $\mathbb{E}[L_n] \sim \alpha n^{1/3}$ 에서 상수 $\alpha$ 의 수치적 값은 무엇이며, $\alpha = 3$ 인가?

주요 결과

• 2차원에서 강한 극화 문제는 등진동 함수를 포함한 복소해석적 기법을 통해 증명되었다.
• 고차원에서 강한 극화 문제에 대해 전차원 국소 극값 체계로 유일하게 존재하는 것은 정규직교 기저이다.
• 가장 긴 볼록 체인의 기대 길이는 $\mathbb{E}[L_n] \sim \alpha n^{1/3}$ 를 만족하며, $\alpha \in [1.5, 3.5]$ 이고, 수치적 증거는 $\alpha = 3$ 을 지지한다.
• 랜덤 변수 $L_n$ 은 강한 농도를 보이며, $\gamma \geq 1$ 에 대해 $\mathbb{P}(|L_n - \mathbb{E}[L_n]| > b) < n^{-\gamma^2/14}$ 이다.
• 시뮬레이션 결과 $n^{-1/3}\mathbb{E}[L_n]$ 이 $n$ 에 따라 증가하며, $n = 10^6$ 에서는 $2.976$ 에 도달하여 $\alpha \approx 3$ 을 지지한다.
• $L_n$ 의 분포는 매우 농도되어 있으며, $n = 10^6$ 에서도 표준편차가 작고, 가장 긴 체인들은 폭 $O(n^{-1/3})$ 의 좁은 이웃에 집중되어 있다.