孤跑者谱系的结构

The structure of Lonely Runner spectra

摘要 Abstract

对于$(\mathbb{R}/\mathbb{Z})^n$的每个子环面$T$,记$D(T)$为$T$到点$(1/2,\ldots, 1/2)$的(最小)$L^\infty$-距离。第$n$个孤跑者谱系$\mathcal{S}(n)$被定义为当$T$遍历$(\mathbb{R}/\mathbb{Z})^n$中不包含在坐标超平面内的$1$维子环面时所取得的所有$D(T)$值的集合。孤跑者猜想预测$\mathcal{S}(n) \subseteq [0,1/2-1/(n+1)]$。我们不直接研究该猜想,而是探讨集合$\mathcal{S}(n)$的结构。本文的主要目的是证明$\mathcal{S}(n)$的累积点集恰好是$\mathcal{S}(n-1)$。

For each subtorus $T$ of $(\mathbb{R}/\mathbb{Z})^n$, let $D(T)$ denote the (infimal) $L^\infty$-distance from $T$ to the point $(1/2,\ldots, 1/2)$. The $n$-th Lonely Runner spectrum $\mathcal{S}(n)$ is defined to be the set of all values achieved by $D(T)$ as $T$ ranges over the $1$-dimensional subtori of $(\mathbb{R}/\mathbb{Z})^n$ that are not contained in the coordinate hyperplanes. The Lonely Runner Conjecture predicts that $\mathcal{S}(n) \subseteq [0,1/2-1/(n+1)]$. Rather than attack this conjecture, we study the structure of the sets $\mathcal{S}(n)$. The main purpose of this note is to show that the set of accumulation points of $\mathcal{S}(n)$ is precisely $\mathcal{S}(n-1)$.

孤跑者谱系的结构 - arXiv