[논문 리뷰] Universality of vector sequences and universality of Tverberg partitions

Attila Pór|arXiv (Cornell University)|2018. 05. 18.

Advanced Combinatorial Mathematics참고 문헌 7인용 수 9

한 줄 요약

이 논문은 유클리드 공간에서 벡터 수열과 Tverberg 분할에 대한 보편성 정리들을 수립한다. 임의의 차원 $d$, 부분 수의 수 $r$, 길이 $n$에 대해, 일반 위치에 있는 $\mathbb{R}^d$ 내의 충분히 긴 점 수열은 각 부분이 $r$개의 색상 클래스에서 최대 한 개의 점씩 포함하는 레인보우 분할—즉, 각 색상 클래스에서 최대 한 점씩 포함하는 분할—을 정확히 갖는 부분 수열을 포함한다. 핵심 결과는 선형 변환을 통해 Rosenthal의 $q$-증가 수열에 대한 보조정리를 고차원 벡터 수열로 확장함으로써 Tverberg 분할의 보편성을 확보한다.

ABSTRACT

A result of Rosenthal says that for every $q>1$ and $n \in \mathbb{N}$ there is $N \in \mathbb{N}$ such that every sequence of $N$ distinct positive numbers contains, after a suitable translation and possible multiplication by $-1$, a subsequence $a_1,\ldots,a_n$ that is either $q$-increasing (that is, $a_{i+1}>qa_i$ for all $i$) or $1/q$-decreasing ($a_{i+1}

연구 동기 및 목표

• 차원 $d>1$ 에서 $q$-가짜기하 벡터 수열에 대한 보편성 정리를 수립하여, 일차원에서의 Rosenthal의 보조정리를 고차원으로 일반화한다.
• 일반 위치에 있는 $\mathbb{R}^d$ 내 점 수열에 대해 Tverberg 분할의 특정 유형—특히 레인보우 분할—이 보편적임을 증명한다.
• 임의의 $d$와 $r$에 대해, $\mathbb{R}^d$ 내에서 충분히 긴 점 수열은 길이 $n = (r-1)(d+1)+1$ 인 부분 수열을 포함하며, 그 Tverberg 분할은 정확히 레인보우 분할이다.
• 선형 변환과 레이즈머 이론적 접근을 사용하여, 사전에 정해진 분할 구조를 갖는 이러한 보편 부분 수열을 구성한다.
• Radon 분할(일반적인 Tverberg 분할의 특수 케이스, $r=2$일 때)의 보편성을 일반적인 $r \geq 2$ 및 임의의 $d$로 확장한다.

제안 방법

• 모든 $q>1$, $d>1$, $n$에 대해, $N = N(d,n,q)$ 가 존재하여, 일반 위치에 있는 $d$차원 수열 중 길이 $N$인 수열은 비특이 행렬 $T$에 의한 선형 변환 후에 $q$-가짜기하 수열이 되는 부분 수열을 포함한다. 이 $T$는 하삼각행렬로 선택할 수 있다.
• 모든 좌표 쌍 $s \neq t$ 에 대해 비율 $\frac{{}_{t}a}{{}_{s}a}$ 또는 $\frac{{}_{s}a}{{}_{t}a}$ 가 $q$-증가하는 수열을 $q$-가짜기하 수열로 정의한다.
• 레이즈머 이론적 기법을 적용하여, 적절한 선형 변환 후에 $q$-가짜기하 수열이 되는 부분 수열을 찾는다. 이는 이러한 수열이 좌표 비율에서 $q$-증가 부분 수열을 포함하기 때문이다.
• 블록 $B_s = \{(s-1)(r-1)+1, \dots, s(r-1)+1\}$ 의 구조를 기반으로 하는 재귀 알고리즘을 사용하여 색상 클래스 내 점의 분포를 분석하고, Tverberg 분할이 레인보우임을 보장한다.
• 그리디 알고리즘에서 $z$-좌표의 위치를 나타내는 행렬 $G$ 에 대한 지배성 논증을 사용하여, 다양한 구성에서 입력 요소의 일관된 배치를 확보한다.
• 초과 수와 밀수 수 있는 요소를 기반으로 한 재귀적 구성 기반으로, 보편 Tverberg 분할을 찾는 문제를, 변환된 벡터 수열 내 초우세 $q$-증가 부분 수열의 존재로 환원한다.

실험 결과

연구 질문

• RQ1 일차원에서 Rosenthal의 $q$-증가 수열에 대한 보조정리를 고차원으로 일반화하는 $d$차원 벡터 수열에 대한 보편성 성질이 존재하는가?
• RQ2 Tverberg 분할의 구조는 $\mathbb{R}^d$ 내에서 $r \geq 2$ 에 대해 보편적일 수 있는가? 특히, 충분히 긴 수열이 정확히 레인보우 Tverberg 분할을 갖는 부분 수열을 포함하는가?
• RQ3 벡터 수열의 선형 변환 후에 $q$-가짜기하 부분 수열이 나오는 정확한 조건은 무엇이며, 이를 보편적 구성에 어떻게 활용할 수 있는가?
• RQ4 블록 $B_s$ 의 재귀적 구조와 색상 클래스 내 초과 수 개념을 어떻게 사용하여 Tverberg 분할이 레인보우임을 보장할 수 있는가?
• RQ5 모멘트 곡선 구성은 Radon 분할에 대한 유일한 보편적 구성인가? 이는 고차원 $r$ 에 대해 일반화될 수 있는가?

주요 결과

• 모든 $q>1$, $d>1$, $n$ 에 대해, $N = N(d,n,q)$ 가 존재하여, 일반 위치에 있는 $d$차원 수열 중 길이 $N$인 수열은 비특이 행렬 $T$에 의한 선형 변환 후에 길이 $n$인 부분 수열이 $q$-가짜기하가 되며, 이 $T$는 하삼각행렬로 선택할 수 있다.
• $q$-가짜기하 수열 성질은 $d$차원 벡터 수열에 대해 보편적이며, 이는 $d=1$ 에서의 Rosenthal의 보조정리를 고차원으로 일반화한 것이다.
• 모든 $d$와 $r$ 에 대해, 일반 위치에 있는 $\mathbb{R}^d$ 내에서 충분히 긴 점 수열은 길이 $n = (r-1)(d+1)+1$ 인 부분 수열을 포함하며, 그 Tverberg 분할은 정확히 레인보우 분할이다.
• 레인보우 분할—각 부분이 $r$개의 색상 클래스에서 최대 한 점씩 포함하는 분할—은 $r \geq 2$ 및 $d \geq 1$ 에서의 보편 Tverberg 분할이며, 기존의 모멘트 곡선 상에서의 교차 Radon 분할의 보편성과 일반화된다.
• Tverberg 분할이 다양한 구성에서 유지되도록, 부분 수열의 분할 구조를 나타내는 행렬 $G$ 내 $z$-항목의 일관된 배치를 유지하는 재귀적 알고리즘에 기반한다.
• 변환된 벡터 수열 내 초우세 $q$-증가 부분 수열의 존재는 보편 Tverberg 분할의 존재를 보장하며, 이는 레이즈머 이론적 기법을 통해 필요한 길이 $n$을 확보할 수 있다.