[논문 리뷰] Stratified $β$-numbers and traveling salesman in Carnot groups

Sean Li|arXiv (Cornell University)|2019. 02. 08.

Mathematical Dynamics and Fractals참고 문헌 14인용 수 5

한 줄 요약

이 논문은 캐노니컬 군에서 1-직선화 가능한 집합을 완전히 특성화할 수 있는 여행자 판사 정리의 틀을 제공하기 위해 보다 정교한 도구로 계층적 $\beta$-수를 도입한다. 군의 계층적 구조를 활용하고 직선 간의 '드리프트' 및 노름 행동에 대한 새로운 추정을 개발함으로써, 저자들은 어떤 캐노니컬 군에서도 유한 길이의 직선화 가능한 곡선이 존재하는 것은 계층적 $\beta$-에너지와 지름이 유한할 때이고 그때에만 성립함을 증명한다. 이는 이전 연구에서 존재하던 핵심적 격차를 해결한다.

ABSTRACT

We introduce a modified version of P. Jones's $β$-numbers for Carnot groups which we call {\it stratified $β$-numbers}. We show that an analogue of Jones's traveling salesman theorem on 1-rectifiability of sets holds for any Carnot group if we replace previous notions of $β$-numbers in Carnot groups with stratified $β$-numbers. As we generalize both directions of the traveling salesman theorem, we get a characterization of subsets of Carnot groups that lie on finite length rectifiable curves. Our proof expands upon previous analysis of the Hebisch-Sikora norm for Carnot groups. In particular, we find new estimates on the drift between almost parallel line segments that take advantage of the stratified $β$'s and also develop a Taylor expansion technique of the norm. We also give an example of a Carnot group for which a traveling salesman theorem based on the unmodified $β$-numbers must exhibit a gap between the necessary and sufficient directions.

연구 동기 및 목표

• 표준 $\beta$-수를 구조에 민감한 새로운 변형으로 대체함으로써 캐노니컬 군에서 완전한 여행자 판사 정리가 부족한 문제를 해결하는 것.
• 캐노니컬 군 내의 집합이 유한 길이의 직선화 가능한 곡선 위에 있을 조건을 필수적이고 충분한 조건으로 설정하는 것.
• 특히 수평 직선과 동차 노름에 중점을 두어, 캐노니컬 군의 비유클리드적이고 계층적인 구조에 맞는 기하학적 및 해석적 도구를 개발하는 것.
• 이전 결과에서 필수 조건과 충분 조건 사이의 격차를 메우며, 특히 헤이센베르크 군과 고계 캐노니컬 군에서의 적용을 중심으로 한다.

제안 방법

• 캐노니컬 군의 리 대칭 분해의 각 층에서 수평 직선과의 거리를 측정하는 계층적 $\beta$-수를 도입한다.
• 헤비시-시코라 노름을 사용하여 군 위에 동차 거리계를 정의함으로써, 거리와 확대의 정밀한 제어를 가능하게 한다.
• 계층적 $\beta$-수의 구조를 활용하여 거의 평행한 수평 선분 간의 '드리프트'에 대한 새로운 추정을 개발한다.
• 동차 노름에 타일러 전개 기법을 적용하여 거리 구조 내의 곡률 유사 효과를 분석한다.
• 집합을 근사하는 추상 그래프의 수열을 구성한 후, 변들을 준-볼록 곡선으로 대체하여 한계로의 직선화 가능한 곡선을 구축한다.
• 콤���트 근사에 대한 대각선화 추론을 사용하여 유한 길이의 한계 곡선을 추출한다.

실험 결과

연구 질문

• RQ1 일반적인 캐노니컬 군에서 $\beta$-수의 수정된 개념을 사용하여 완전한 여행자 판사 정리를 수립할 수 있는가?
• RQ2 캐노니컬 군 내에서 1-직선화 가능한 집합을 특성화하기 위한 적분 조건에서 $\beta$-수의 적절한 지수는 무엇인가?
• RQ3 왜 이전의 $\beta$-수 정의는 일부 캐노니컬 군, 특히 헤이센베르크 군에서 충분 조건을 도출하지 못하는가?
• RQ4 캐노니컬 군의 비유클리드 기하학적 성질을 어떻게 활용하여 $\beta$-수 추정에서 거리와 투영의 행동을 제어할 수 있는가?

주요 결과

• 저자들은 군의 확대에 대해 불변이며, 리 대칭 분해의 각 층의 기하학을 포착하는 계층적 $\beta$-수를 도입한다.
• 모든 캐노니컬 군에서, 집합이 유한 길이의 직선화 가능한 곡선 위에 있을 조건은 지름의 합과 계층적 $\beta$-수의 $s$-거듭제곱 적분의 합이 유한할 때이며, 여기서 $s$는 군의 스텝이다.
• 헤이센베르크 군에서는 충분 조건이 $p=4$여야 하며, 이는 필수 조건과 정확히 일치하므로 이전 연구에서 존재하던 격차를 완전히 메운다.
• 증명 과정에서, 공차 수준의 $\beta_{\text{strat}}^2$를 구에 대해 적분한 결과가 유클리드 경우에 사용된 카르레손 유형 적분과 동치임을 입증한다.
• 계층적 $\beta$-수를 활용하여 거의 평행한 수평 선분 간의 드리프트에 대한 새로운 추정이 유도되었으며, 이는 근사 곡선의 길이 제어에 필수적이다.
• 동차 노름의 타일러 전개를 통해 군 내에서 거리의 근사 오차를 정밀하게 제어할 수 있었으며, 이는 길이 추정에 있어 핵심적인 역할을 한다.