arXiv++ Combinatorics

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)$.

Let $K \subseteq \mathbb{R}^d$ be a convex body and let $\mathbf{w} \in \operatorname{int}(K)$ be an interior point of $K$. The coefficient of asymmetry $\operatorname{ca}(K,\mathbf{w}) := \min\{ λ\geq 1 : \mathbf{w} - K \subseteq λ(K - \mathbf{w}) \}$ has been studied extensively in the realm of Hensley's conjecture on the maximal volume of a $d$-dimensional lattice polytope that contains a fixed positive number of interior lattice points. We study the coefficient of asymmetry for lattice zonotopes, i.e., Minkowski sums of line segments with integer endpoints. Our main result gives the existence of an interior lattice point whose coefficient of asymmetry is bounded above by an explicit constant in $Θ(d \log\log d)$, for any lattice zonotope that has an interior lattice point. Our work is both inspired by and feeds on Wills' lonely runner conjecture from Diophantine approximation: we make intensive use of a discrete version of this conjecture, and reciprocally, we reformulate the lonely runner conjecture in terms of the coefficient of asymmetry of a zonotope.

Lonely Runner Conjecture, proposed by Jörg M. Wills and so nomenclatured by Luis Goddyn, has been an object of interest since it was first conceived in 1967 : Given positive integers $k$ and $n_1,n_2,\ldots,n_k$ there exists a positive real number $t$ such that the distance of $t\cdot n_j$ to the nearest integer is at least $\frac{1}{k+1}$, $\forall~~1\leq j\leq k$. In a recent article Beck, Hosten and Schymura described the Lonely Runner polyhedron and provided a polyhedral approach to identifying families of lonely runner instances. We revisit the Lonely Runner polyhedron and highlight some new families of instances satisfying the conjecture. In addition, we relax the sufficiency of existence of an integer point in the Lonely Runner polyhedron to prove the conjecture. Specifically, we propose that it suffices to show the existence of a lattice point of certain superlattices of the integer lattice in the Lonely Runner polyhedron.

Let $M$ be a set of positive integers. We study the maximal density $μ(M)$ of the sets of nonnegative integers $S$ whose elements do not differ by an element in $M$. In 1973, Cantor and Gordon established a formula for $μ(M)$ for $|M|\leq 2$. Since then, many researchers have worked upon the problem and found several partial results in the case $|M|\geq 3$, including some results in the case, $M$ is an infinite set. In this paper, we study the maximal density problem for the families $M=\{a,a+1,2a+1,n\}$ and $M=\{a,a+1,2a+1,3a+1,n\}$, where $a$ and $n$ are positive integers. In most of the cases, we find bounds for the parameter \textit{kappa}, denoted by $κ(M)$, which actually serves as a lower bound for $μ(M)$. The parameter $κ(M)$ has already got its importance due to its rich connection with the problems such as the "lonely runner conjecture" in Diophantine approximations and coloring parameters such as "circular coloring" and "fractional coloring" in graph theory.

The Lonely Runner Conjecture asserts that if $n$ runners with distinct constant speeds run on the unit circle $\mathbb{R}/\mathbb{Z}$ starting from $0$ at time $0$, then each runner will at some time $t>0$ be lonely in the sense that she/he will be separated by a distance at least $1/n$ from all the others at time $t$. In investigating the size of $t$, we show that an upper bound for $t$ in terms of a certain number of rounds (which, in the case where the lonely runner is static, corresponds to the number of rounds of the slowest non-static runner) is equivalent to a covering problem in dimension $n-2$. We formulate a conjecture regarding this covering problem and prove it to be true for $n=3,4,5,6$. Then, we use our method of proof to demonstrate that the Lonely Runner Conjecture with Free Starting Positions is satisfied for $n=3,4$. Finally, we show that the so-called gap of loneliness in one round (with respect to the Lonely Runner Conjecture), where we have $m+1$ runners including one static runner, is bounded from below by $1/(2m-1)$ for all integer $m\geq 2$.

For $x$ real, let $ \{ x \}$ be the fractional part of $x$ (i.e. $\{x\} = x - \lfloor x \rfloor $). The lonely runner conjecture can be stated as follows: for any $n$ positive integers $ v_1 < v_2 < \dots < v_n $ there exists a real number $t$ such that $ 1/(n+1) \le \{ v_i t\} \le n/(n+1) $ for $ i = 1, \dots, n$. In this paper we prove that if $ ε>0 $ and $n$ is sufficiently large (relative to $ε$) then such a $t$ exists for any collection of positive integers $ v_1 < v_2 < \dots < v_n$ such that $ v_n < (2-ε)n$. This is an approximate version of a natural next step for the study of the lonely runner conjecture suggested by Tao. The key ingredient in our proof is a result on coprime mappings. Let $A$ and $B$ be sets of integers. A bijection $ f:A \to B$ is a coprime mapping if $ a $ and $f(a)$ are coprime for every $ a \in A$. We show that if $A,B \subset [n]$ are intervals of length $2m$ where $ m = e^{ Ω({(\log\log n)}^2)}$ then there exists a coprime mapping from $A$ to $B$. We do not believe that this result is sharp.

We are concerned with the computational problem of determining the covering radius of a rational polytope. This parameter is defined as the minimal dilation factor that is needed for the lattice translates of the correspondingly dilated polytope to cover the whole space. As our main result, we describe a new algorithm for this problem, which is simpler, more efficient and easier to implement than the only prior algorithm of Kannan (1992). Motivated by a variant of the famous Lonely Runner Conjecture, we use its geometric interpretation in terms of covering radii of zonotopes, and apply our algorithm to prove the first open case of three runners with individual starting points.

We introduce a sharpened version of the well-known Lonely Runner Conjecture of Wills and Cusick. Given a real number $x$, let $\Vert x \Vert$ denote the distance from $x$ to the nearest integer. For each set of positive integer speeds $v_1, \ldots, v_n$, we define the associated maximum loneliness to be $\text{ML}(v_1, \ldots, v_n)=\max_{t \in \mathbb{R}}\min_{1 \leq i \leq n} \Vert tv_i \Vert$. The Lonely Runner Conjecture asserts that $\text{ML}(v_1, \ldots, v_n) \geq 1/(n+1)$ for all choices of $v_1, \ldots, v_n$. If the Lonely Runner Conjecture is true, then the quantity $1/(n+1)$ is the best possible, for there are known equality cases with $\text{ML}(v_1, \ldots, v_n)=1/(n+1)$. A natural but (to our knowledge) hitherto unasked question is: If $v_1, \ldots, v_n$ satisfy the Lonely Runner Conjecture but are not an equality case, must $\text{ML}(v_1, \ldots, v_n)$ be uniformly bounded away from $1/(n+1)$? We conjecture that, contrary to what one might expect, this question has an affirmative answer that reflects an underlying rigidity of the problem. More precisely, we conjecture that for each choice of $v_1, \ldots, v_n$, we have either $\text{ML}(v_1, \ldots, v_n)=s/(ns+1)$ for some $s \in \mathbb{N}$ or $\text{ML}(v_1, \ldots, v_n) \geq 1/n$. Our main results are: confirming this stronger conjecture for $n \leq 3$; and confirming it for $n=4$ and $n=6$ in the case where one speed is much faster than the rest. We also obtain a number of related results.

In this paper we study the distribution of boundary points of expansion. As an application, we say something about the lonely runner problem. We show that given $k$ runners $\mathcal{S}_i$ round a unit circular track with the condition that at some time $||\mathcal{S}_i-\mathcal{S}_{i+1}||=||\mathcal{S}_{i+1}-\mathcal{S}_{i+2}||$ for all $i=1,2\ldots,k-2$, then at that time we have \begin{align}||\mathcal{S}_{i+1}-\mathcal{S}_i||>\frac{\mathcal{D}(n)π}{k-1}\nonumber \end{align}for all $i=1,\ldots, k-1$ and where $\mathcal{D}(n)>0$ is a constant depending on the degree of a certain polynomial of degree $n$. In particular, we show that given at most eight $\mathcal{S}_i$~($i=1,2,\ldots, 8$) runners running round a unit circular track with distinct constant speed and the additional condition $||\mathcal{S}_i-\mathcal{S}_{i+1}||=||\mathcal{S}_{i+1}-\mathcal{S}_{i+2}||$ for all $1\leq i\leq 6$ at some time $s>1$, then at that time their mutual distance must satisfy the lower bound\begin{align}||\mathcal{S}_{i}-\mathcal{S}_{i+1}||>\fracπ{7C\sqrt{3}}\nonumber \end{align}for some constant $C>0$ for all $1\leq i \leq 7$.

The lonely runner conjecture, now over fifty years old, concerns the following problem. On a unit length circular track, consider $m$ runners starting at the same time and place, each runner having a different constant speed. The conjecture asserts that each runner is lonely at some point in time, meaning distance at least $1/m$ from the others. We formulate a function field analogue, and give a positive answer in some cases in the new setting.

The lonely runner conjecture of Wills and Cusick, in its most popular formulation, asserts that if $n$ runners with distinct constant speeds run around a unit circle ${\bf R}/{\bf Z}$ starting at a common time and place, then each runner will at some time be separated by a distance of at least $\frac{1}{n+1}$ from the others. In this paper we make some remarks on this conjecture. Firstly, we can improve the trivial lower bound of $\frac{1}{2n}$ slightly for large $n$, to $\frac{1}{2n} + \frac{c \log n}{n^2 (\log\log n)^2}$ for some absolute constant $c>0$; previous improvements were roughly of the form $\frac{1}{2n} + \frac{c}{n^2}$. Secondly, we show that to verify the conjecture, it suffices to do so under the assumption that the speeds are integers of size $n^{O(n^2)}$. We also obtain some results in the case when all the velocities are integers of size $O(n)$.

Fix a set $D$ of positive integers. We study the maximum density $μ(D)$ of sequences of integers in which the separation between any two terms does not fall in $D$. The $D$-sets considered in this article are of the form $\{1,j,k\}$. The closely related function $κ(D)$, the parameter involved in the "lonely runner conjecture," is also investigated. Exact values of $κ(D)$ and $μ(D)$ are found for some families of $D=\{1,j,k\}$. We prove that the boundary conditions in two earlier results of Haralambis are sharp. Consequently, our results declaim two conjectures posted recently, and extend some results by Gupta.

The goal of this paper is twofold; first, show the equivalence between certain problems in geometry, such as view-obstruction and billiard ball motions, with the estimation of covering radii of lattice zonotopes. Second, we will estimate upper bounds of said radii by virtue of the Flatness Theorem. These problems are similar in nature with the famous lonely runner conjecture.

We study the \emph{Lonely Runner Conjecture}, conceived by Jörg M.~Wills in the 1960's: Given positive integers $n_1, n_2, \dots, n_k$, there exists a positive real number $t$ such that for all $1 \le j \le k$ the distance of $t \, n_j$ to the nearest integer is at least $\frac{ 1 }{ k+1 }$. Continuing a view-obstruction approach by Cusick and recent work by Henze and Malikiosis, our goal is to promote a polyhedral \emph{ansatz} to the Lonely Runner Conjecture. Our results include geometric proofs of some folklore results that are only implicit in the existing literature, a new family of affirmative instances defined by the parities of the speeds, and geometrically motivated conjectures whose resolution would shed further light on the Lonely Runner Conjecture.

The Lonely Runner Conjecture was posed independently by Wills and Cusick and has many applications in different mathematical fields, such as diophantine approximation. This well-known conjecture states that for any set of runners running along the unit circle with constant different speeds and starting at the same point, there is a moment where all of them are far enough from the origin. We study the correlation among the time that runners spend close to the origin. By means of these correlations, we improve a result of Chen on the gap of loneliness and we extend an invisible runner result of Czerwinski and Grytczuk. In the last part, we introduce dynamic interval graphs to deal with a weak version of the conjecture thus providing some new results.

A detailed survey of the Lonely Runner Conjecture and its connection between Diophantine approximation and View-obstruction problems.

In this work we tried to prove the lonely runner conjecture also known as the view obstruction problem.

Suppose that $k$ runners having different constant speeds run laps on a circular track of unit length. The Lonely Runner Conjecture states that, sooner or later, any given runner will be at distance at least $1/k$ from all the other runners. We prove that, with probability tending to one, a much stronger statement holds for random sets in which the bound $1/k$ is replaced by \thinspace $1/2-\varepsilon $. The proof uses Fourier analytic methods. We also point out some consequences of our result for colouring of random integer distance graphs.

Suppose $k+1$ runners having nonzero constant speeds run laps on a unit-length circular track starting at the same time and place. A runner is said to be lonely if she is at distance at least $1/(k+1)$ along the track to every other runner. The lonely runner conjecture states that every runner gets lonely. The conjecture has been proved up to six runners ($k\le 5$). A formulation of the problem is related to the regular chromatic number of distance graphs. We use a new tool developed in this context to solve the first open case of the conjecture with seven runners.