[论文解读] 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$，在 $ ^d$ 中处于一般位置的任意足够长的点列，均包含一个子序列，其Tverberg划分恰好为彩虹划分——即每个部分中每种颜色类至多包含一个点。关键结果通过线性变换将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$ 中 $q$-伪几何向量序列的普遍性定理（$d>1$），将Rosenthal引理由 $d=1$ 推广至高维。
• 证明在一般位置的 $ ^d$ 点列中，特定类型的Tverberg划分——即彩虹划分——具有普遍性。
• 证明对于任意 $d$ 和 $r$，任意足够长的 $ ^d$ 中点列均包含一个长度为 $n = (r-1)(d+1)+1$ 的子序列，其Tverberg划分恰好为彩虹划分。
• 利用线性变换与Ramsey理论论证，构造具有指定划分结构的此类普遍子序列。
• 将Radon划分（$r=2$ 时Tverberg划分的特例）的普遍性推广至任意 $r \geq 2$ 和任意 $d$。

提出的方法

• 证明对任意 $q>1$、$d>1$ 和 $n$，存在 $N = N(d,n,q)$，使得任意长度为 $N$ 的 $ ^d$ 中一般位置的序列，均包含一个子序列，经可逆矩阵 $T$ 的线性变换后变为 $q$-伪几何序列，且该 $T$ 可被选为下三角矩阵。
• 将 $q$-伪几何序列定义为：对任意坐标对 $s \neq t$，比值 $\frac{{}_{t}a}{{}_{s}a}$ 或 $\frac{{}_{s}a}{{}_{t}a}$ 为 $q$-递增。
• 应用Ramsey理论技术，寻找经适当线性变换后变为 $q$-伪几何的子序列，利用此类序列在坐标比值中包含 $q$-递增子序列的性质。
• 基于块 $B_s = \{(s-1)(r-1)+1, \dots, s(r-1)+1\}$ 的结构，使用递归算法分析点在颜色类中的分布，确保Tverberg划分为彩虹划分。
• 在贪心算法中对编码 $z$-坐标位置的矩阵 $G$ 使用支配性论证，确保不同配置下条目的一致性放置。
• 将寻找普遍Tverberg划分的问题约化为在变换后的向量序列中存在超支配性 $q$-递增子序列的问题，利用过剩计数与可推送元素的递归构造实现。

实验结果

研究问题

• RQ1 是否存在 $d$-维向量序列的普遍性质，可推广Rosenthal在 $d=1$ 时对 $q$-递增序列的引理？
• RQ2 在 $ ^d$ 中 $r \geq 2$ 时，Tverberg划分的结构能否实现普遍性？具体而言，是否任意足够长的序列均保证包含一个恰好具有彩虹Tverberg划分的子序列？
• RQ3 在何种条件下，向量序列的线性变换可产生 $q$-伪几何子序列？该条件如何用于构造普遍配置？
• RQ4 如何利用块 $B_s$ 的递归结构与颜色类中的过剩概念，确保Tverberg划分为彩虹划分？
• RQ5 时刻曲线配置是否为Radon划分的唯一普遍配置？该结论能否推广至更高 $r$？

主要发现

• 对任意 $q>1$、$d>1$ 和 $n$，存在 $N = N(d,n,q)$，使得任意长度为 $N$ 的 $ ^d$ 中一般位置的序列，均包含一个长度为 $n$ 的子序列，经可逆矩阵 $T$ 的线性变换后变为 $q$-伪几何序列，且该 $T$ 可被选为下三角矩阵。
• 作为 $d$-维向量序列的性质，$q$-伪几何性具有普遍性，将Rosenthal引理由 $d=1$ 推广至高维。
• 对任意 $d$ 和 $r$，任意足够长的 $ ^d$ 中一般位置的点列，均包含一个长度为 $n = (r-1)(d+1)+1$ 的子序列，其Tverberg划分恰好为彩虹划分。
• 彩虹划分——即每个部分中每种 $r$ 种颜色类至多包含一个点——是 $r \geq 2$ 且 $d \geq 1$ 时的唯一普遍Tverberg划分，推广了已知的时刻曲线上交错Radon划分的普遍性。
• 证明依赖于一种递归算法，该算法在编码划分结构的矩阵 $G$ 中保持 $z$-条目的一致放置，确保Tverberg划分在不同配置下保持不变。
• 在变换后的向量序列中存在超支配性 $q$-递增子序列，可保证普遍Tverberg划分的存在，且通过Ramsey理论论证可实现所需长度 $n$。