Abstract:Let $\|x\|$ be the absolute distance from $x$ to the nearest integer. For a set of distinct positive integral speeds $v_1, \ldots, v_n$, we define its maximum loneliness to be
$$\text{ML}(v_1,\ldots,v_n) = \max_{t \in \mathbb{R}}\min_{1 \leq i \leq n} \|tv_i\|$$
The Loneliness Spectrum Conjecture, recently proposed by Kravitz, asserts that
$$\exists s \in \mathbb{N}, \text{ML}(v_1,\ldots,v_n) = \frac{s} {sn + 1} \text{ or } \text{ML}(v_1,\ldots,v_n) \ge \frac{1}{n}$$
We disprove the Loneliness Spectrum Conjecture for $n = 4$ and propose an alternative conjecture. We confirm the amended conjecture for $n = 4$ if any pair of speeds share a common factor of at least $3$ and also prove some related results.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the modification and verification of the "Loneliness Spectrum Conjecture". Specifically, the main objectives of the paper include:
1. **Negating the original conjecture**: The paper first negates the original "Loneliness Spectrum Conjecture" proposed by Kravitz through counter - examples. For the case of \(n = 4\), the author found specific counter - examples, such as \(ML(8, 3, 11, 19)=\frac{7}{30}\), which indicates that the original conjecture does not hold in some cases.
2. **Proposing the amended conjecture**: Based on the study of counter - examples and the support of experimental data, the author proposes an amended "Loneliness Spectrum Conjecture". The new conjecture is in the form:
\[
\exists s, k\in\mathbb{N}, k\leq n,\quad ML(v_1,\ldots,v_n)=\frac{s}{ns + k}\quad\text{or}\quad ML(v_1,\ldots,v_n)\geq\frac{1}{n}
\]
3. **Verifying the amended conjecture**: The paper further verifies the correctness of the amended conjecture under certain specific conditions. For example, when any pair of speeds share a common factor of at least 3, the amended conjecture holds for \(n = 4\).
### Formula Explanation
- **Maximum loneliness value**: Defined as
\[
ML(v_1,\ldots,v_n)=\max_{t\in\mathbb{R}}\min_{1\leq i\leq n}\|t v_i\|
\]
where \(\|x\|\) represents the absolute distance from \(x\) to the nearest integer.
- **Amended conjecture**: For any positive integers \(v_1,\ldots,v_n\), either there exist \(s, k\in\mathbb{N}\) and \(k\leq n\) such that
\[
ML(v_1,\ldots,v_n)=\frac{s}{ns + k}
\]
or
\[
ML(v_1,\ldots,v_n)\geq\frac{1}{n}
\]
### Contribution of the Paper
The main contribution of the paper lies in negating the original conjecture through specific counter - examples and proposing a more reasonable amended conjecture. In addition, the paper also proves the correctness of the amended conjecture in some special cases through a series of mathematical tools and techniques (such as pre - jump techniques, the pigeonhole principle, etc.), providing a theoretical basis for further research.