[論文レビュー] Universality of vector sequences and universality of Tverberg partitions

Attila Pór|arXiv (Cornell University)|May 18, 2018

Advanced Combinatorial Mathematics参考文献 7被引用数 9

ひとこと要約

本稿は、ユークリッド空間におけるベクトル列およびTverberg分割の普遍性定理を確立する。任意の次元 $d$、部品数 $r$、長さ $n$ に対して、$\mathbb{R}^d$ 内の一般位置にある点列が十分に長い場合、その部分列は、各色クラスから高々1点ずつを含む「レインボーパーティション」—つまり、各部分集合に高々1点ずつが属するような分割—を正確に持つTverberg分割を含む。主な結果は、線形変換を用いてローゼンタールの $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$-擬幾何的ベクトル列の普遍性定理を確立し、$d=1$ の場合のローゼンタールの補題を高次元へ一般化すること。
• 一般位置にある $\mathbb{R}^d$ 内の点列に対して、Tverberg分割の型—特にレインボーパーティション—が普遍的であることを証明すること。
• 任意の $d$ および $r$ に対して、$\mathbb{R}^d$ 内の一般位置にある十分に長い点列は、長さ $n = (r-1)(d+1)+1$ の部分列を含み、そのTverberg分割が正確にレインボーパーティションであることを示すこと。
• 線形変換とラマヌジャン的考察を用いて、所望の分割構造を持つ普遍的部分列を構成すること。
• $r=2$ の場合の特別なケースであるRadon分割の普遍性を、一般の $r \geq 2$ および任意の $d$ へ拡張すること。

提案手法

• 任意の $q>1$、$d>1$、$n$ に対して、$N = N(d,n,q)$ が存在し、一般位置にある $d$ 次元の長さ $N$ の列が、可逆行列 $T$ を用いた線形変換により $q$-擬幾何的となる部分列を含むことを証明する。この $T$ は下三角行列としても選べる。
• $q$-擬幾何的列を、任意の異なる座標ペア $s \neq t$ に対して、比 $\frac{{}_{t}a}{{}_{s}a}$ または $\frac{{}_{s}a}{{}_{t}a}$ が $q$-増加である列として定義する。
• このような列が座標比における $q$-増加部分列を含むことを利用し、ラマヌジャン的技法を用いて、適切な線形変換の下で $q$-擬幾何的となる部分列を同定する。
• ブロック $B_s = \{(s-1)(r-1)+1, \dots, s(r-1)+1\}$ の構造に基づく再帰的アルゴリズムを用いて、色クラス内での点の分布を分析し、Tverberg分割がレインボー型であることを保証する。
• グリーディアルゴリズムにおける $z$-座標の位置を記録する行列 $G$ に対する優位性議論を用い、異なる構成においてもエントリの配置が一貫していることを保証する。
• 超優位な $q$-増加部分列の存在を、過剰数と押し出し可能な要素に基づく再帰的構成を用いて、普遍的Tverberg分割の存在に還元する。

実験結果

リサーチクエスチョン

• RQ1 次元 $d$ のベクトル列に対して、1次元におけるローゼンタールの $q$-増加列に関する補題を一般化する普遍的性質が存在するか？
• RQ2 $\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$ を用いた線形変換により $q$-擬幾何的となる長さ $n$ の部分列を含む。この $T$ は下三角行列としても選べる。
• $q$-擬幾何的であるという性質は、$d$ 次元のベクトル列に対して普遍的であり、$d=1$ の場合のローゼンタールの補題を高次元へ一般化する。
• 任意の $d$ および $r$ に対して、$\mathbb{R}^d$ 内の一般位置にある十分に長い点列は、長さ $n = (r-1)(d+1)+1$ の部分列を含み、そのTverberg分割が正確にレインボーパーティションである。
• 各部分集合に $r$ 個の色クラスから高々1点ずつを含むレインボーパーティションは、$r \geq 2$ および $d \geq 1$ に対して、唯一の普遍的Tverberg分割である。これは、既知のモーメント曲線上の交互配置Radon分割の普遍性を一般化する。
• Tverberg分割が異なる構成においても保存されるように、$z$-エントリの配置を一貫させるために、行列 $G$ に記録された分割構造を保持する再帰的アルゴリズムを用いる。
• 変換されたベクトル列に超優位な $q$-増加部分列が存在することは、普遍的Tverberg分割の存在を保証する。必要な長さ $n$ は、ラマヌジャン的考察によって達成可能である。