[논문 리뷰] Rigidity, graphs and Hausdorff dimension

Nikolaos Chatzikonstantinou, Alex Iosevich외 2명|arXiv (Cornell University)|2017. 08. 20.

Computational Geometry and Mesh Generation참고 문헌 17인용 수 6

한 줄 요약

이 논문은 $ s_k < d $ 인 비자명한 차원 임계값을 설정하여, $ \mathbb{R}^d $ 의 컴acts 집합 $ E $ 가 하우스도르프 차원이 $ s_k $ 초과일 경우, 그래프 $ G $ 에서 지정된 거리 조건을 갖는 $ G $-프레임워크의 동치류 집합의 $ m $-차원 하우스도르프 측도가 양이 되도록 보장한다. 증명은 조합적 그래프 강성, 위상적 구조, 그리고 프로스트만 측도와 컨볼루션 추정을 포함하는 해석 기법을 결합한다.

ABSTRACT

For a compact set $E \subset \mathbb R^d$ and a connected graph $G$ on $k+1$ vertices, we define a $G$-framework to be a collection of $k+1$ points in $E$ such that the distance between a pair of points is specified if the corresponding vertices of $G$ are connected by an edge. We regard two such frameworks as equivalent if the specified distances are the same. We show that in a suitable sense the set of equivalences of such frameworks naturally embeds in ${\mathbb R}^m$ where $m$ is the number of "essential" edges of $G$. We prove that there exists a threshold $s_k

연구 동기 및 목표

• 하우스도르프 차원이 $ s_k < d $ 인 날카로운 임계값을 결정하여, $ E \subset \mathbb{R}^d $ 의 차원이 $ s_k $ 를 초과할 경우 $ G $-프레임워크 동치류의 $ m $-차원 하우스도르프 측도가 양이 되도록 보장한다.
• 그래프 이론적 표현을 통해 거리 제약 조건을 표현함으로써 팔코너 거리 추측을 2점에서 $ (k+1) $-점 프레임워크로 일반화한다.
• 필수 간선 수 $ m $ 에 해당하는 $ \mathbb{R}^m $ 에 동치류를 매립함으로써 그래프 강성, 기하 측도 이론, 차원 임계값 간의 연결 고리를 설정한다.
• 최소 무한소 강성 그래프의 경우, 거리 함수가 등급변환에 대해 국소 미분동형사상을 유도함으로써 측도 이론적 분석이 가능하다는 것을 증명한다.

제안 방법

• $ k+1 $ 개의 점을 갖는 프레임워크를 $ m $ 개의 간선을 갖는 유한 그래프 $ G_{k+1,m} $ 를 사용해 표현한다. 여기서 간선은 지정된 쌍별 거리에 대응한다.
• $ G $-프레임워크를 거리 함수 $ f_{G_{k+1,m}}(\bm{x}) = (|x^i - x^j|)_{ij \in E(G)} $ 를 통해 $ \mathbb{R}^d $ 내의 $ (k+1) $-튜플로 정의한다.
• 강성 이론을 사용하여 등급변환에 대해 동치류를 $ \mathbb{R}^m $ 에 매립한다. 여기서 $ m $ 은 필수 간선의 수이다.
• 지수 $ s > \frac{d+1}{2} $ 를 갖는 프로스트만 측도 $ \mu $ 를 $ E $ 에 적용하여 푸리에 변환의 감쇠를 제어하고, 표면 측도와의 컨볼루션의 $ L^1 $-노름을 유계롭게 한다.
• 모리파이어 기법과 약한-* 수렴을 적용하여 측도를 근사하고, $ \| \sigma_t^\epsilon * \mu \|_{L^1(\mu)} \leq C_t $ 를 통해 거리 집합의 크기를 제어한다.
• 커버링 추론을 통해 차원 임계값을 설정한다: $ s < d - \frac{{d \choose 2}}{k} $ 이면, $ \mathcal{H}^{dk - {d \choose 2}}(\Delta(G_{k+1,m}, E_q^{k+1})) \to 0 $ 이며 $ q \to \infty $ 일 때 성립하여, 임계값 $ s_k $ 를 유도한다.

실험 결과

연구 질문

• RQ1 하우스도르프 차원이 $ s_k < d $ 인 최소 임계값은 무엇인가? 이때 $ \dim_H(E) > s_k $ 이면 $ \mathbb{R}^d $ 내에서 $ G $-프레임워크 동치류의 $ m $-차원 하우스도르프 측도가 양이 되는가?
• RQ2 특히 최소 무한소 강성에 기반한 그래프 강성은, 필수 간선 수 $ m $ 과 동일한 $ \mathbb{R}^m $ 에 프레임워크 동치류를 매립시키는 데 어떻게 기여하는가?
• RQ3 조합적, 위상적, 해석적 방법의 융합을 통해 팔코너 거리 추측을 2점에서 $ (k+1) $-점 프레임워크로 일반화할 수 있는가?
• RQ4 프로스트만 조건 $ \mu(B(x,r)) \leq C r^s $ 는 푸리에 변환의 감쇠를 제어하고 컨볼루션 노름의 균일한 유계성을 보장하는 데 어떤 역할을 하는가?
• RQ5 하우스도르프 차원이 $ s_k $ 를 초과할 경우, $ G $-프레임워크 집합의 $ m $-차원 하우스도르프 콘텐츠는 언제 양이 되는가?

주요 결과

• 논문은 $ s_k < d $ 인 비자명한 임계값을 설정하여, $ \dim_H(E) > s_k $ 이면 $ G $-프레임워크 동치류 집합의 $ m $-차원 하우스도르프 측도가 양이 된다는 것을 보였다.
• 최소 무한소 강성 그래프 $ G_{k+1,m} $ 의 경우, 필수 간선 수는 $ m = dk - {d \choose 2} $ 이며, 이 프레임워크는 등급변환에 대해 국소 미분동형사상을 유도한다.
• $ s < d - \frac{{d \choose 2}}{k} $ 이면, $ q \to \infty $ 일 때 $ m $-차원 하우스도르프 콘텐츠 $ \mathcal{H}^{dk - {d \choose 2}}(\Delta(G_{k+1,m}, E_q^{k+1})) $ 는 0으로 수렴하며, 이는 $ s_k = d - \frac{{d \choose 2}}{k} $ 가 임계 임계값임을 시사한다.
• 증명은 지수 $ s > \frac{d+1}{2} $ 를 갖는 프로스트만 측도 $ \mu $ 를 $ E $ 에 적용하여, 정적 위상 추정을 통해 $ \| \sigma_t^\epsilon * \mu \|_{L^1(\mu)} \leq C_t $ 를 보장한다.
• 모리파이어 $ \phi^\epsilon $ 와 약한-* 수렴을 사용함으로써, 근사 측도 $ \nu^\epsilon = \phi^\epsilon * \nu $ 가 원래 측도 $ \nu $ 에 수렴함을 보장하여 측도 이론적 극한을 제어할 수 있다.
• 핵심 부등식 $ \mathcal{H}^{dk - {d \choose 2}}(\Delta(G_{k+1,m}, E_q^{k+1})) \lesssim q^{-\frac{d}{s}(dk - {d \choose 2})} \cdot q^{dk} \to 0 $ 이 $ s < d - \frac{{d \choose 2}}{k} $ 일 때 성립하며, 이는 임계값을 증명한다.