-
From Tarski's plank problem to simultaneous approximation
Authors:
Andrey B. Kupavskii,
János Pach
Abstract:
A {\em slab} (or plank) of width $w$ is a part of the $d$-dimensional space that lies between two parallel hyperplanes at distance $w$ from each other. It is conjectured that any slabs $S_1, S_2,\ldots$ whose total width is divergent have suitable translates that altogether cover $\mathbb{R}^d$. We show that this statement is true if the widths of the slabs, $w_1, w_2,\ldots$, satisfy the slightly…
▽ More
A {\em slab} (or plank) of width $w$ is a part of the $d$-dimensional space that lies between two parallel hyperplanes at distance $w$ from each other. It is conjectured that any slabs $S_1, S_2,\ldots$ whose total width is divergent have suitable translates that altogether cover $\mathbb{R}^d$. We show that this statement is true if the widths of the slabs, $w_1, w_2,\ldots$, satisfy the slightly stronger condition $\limsup_{n\rightarrow\infty}\frac{w_1+w_2+\ldots+w_n}{\log(1/w_n)}>0$. This can be regarded as a converse of Bang's theorem, better known as Tarski's plank problem.
We apply our results to a problem on simultaneous approximation of polynomials. Given a positive integer $d$, we say that a sequence of positive numbers $x_1\le x_2\le\ldots$ {\em controls} all polynomials of degree at most $d$ if there exist $y_1, y_2,\ldots\in\mathbb{R}$ such that for every polynomial $p$ of degree at most $d$, there exists an index $i$ with $|p(x_i)-y_i|\leq 1.$ We prove that a sequence has this property if and only if $\sum_{i=1}^{\infty}\frac{1}{x_i^d}$ is divergent. This settles an old conjecture of Makai and Pach.
△ Less
Submitted 20 July, 2016; v1 submitted 25 November, 2015;
originally announced November 2015.
-
On random subgraphs of Kneser and Schrijver graphs
Authors:
Andrey Borisovich Kupavskii
Abstract:
A Kneser graph $KG_{n,k}$ is a graph whose vertices are in one-to-one correspondence with $k$-element subsets of $[n],$ with two vertices connected if and only if the corresponding sets do not intersect. A famous result due to Lovász states that the chromatic number of a Kneser graph $KG_{n,k}$ is equal to $n-2k+2$. In this paper we study the chromatic number of a random subgraph of a Kneser graph…
▽ More
A Kneser graph $KG_{n,k}$ is a graph whose vertices are in one-to-one correspondence with $k$-element subsets of $[n],$ with two vertices connected if and only if the corresponding sets do not intersect. A famous result due to Lovász states that the chromatic number of a Kneser graph $KG_{n,k}$ is equal to $n-2k+2$. In this paper we study the chromatic number of a random subgraph of a Kneser graph $KG_{n,k}$ as $n$ grows. A random subgraph $KG_{n,k}(p)$ is obtained by including each edge of $KG_{n,k}$ with probability $p$. For a wide range of parameters $k = k(n), p = p(n)$ we show that $χ(KG_{n,k}(p))$ is very close to $χ(KG_{n,k}),$ a.a.s. differing by at most 4 in many cases. Moreover, we obtain the same bounds on the chromatic numbers for the so-called Schrijver graphs, which are known to be vertex-critical induced subgraphs of Kneser graphs.
△ Less
Submitted 13 October, 2015; v1 submitted 2 February, 2015;
originally announced February 2015.
-
Proof of Schur's conjecture in $\mathbb R^d$
Authors:
Andrey B. Kupavskii,
Alexandr Polyanskii
Abstract:
In this paper we prove Schur's conjecture in $\mathbb R^d$, which states that any diameter graph $G$ in the Euclidean space $\mathbb R^d$ on $n$ vertices may have at most $n$ cliques of size $d$. We obtain an analogous statement for diameter graphs with unit edge length on a sphere $S^d_r$ of radius $r>1/\sqrt 2$. The proof rests on the following statement, conjectured by F. Morić and J. Pach: giv…
▽ More
In this paper we prove Schur's conjecture in $\mathbb R^d$, which states that any diameter graph $G$ in the Euclidean space $\mathbb R^d$ on $n$ vertices may have at most $n$ cliques of size $d$. We obtain an analogous statement for diameter graphs with unit edge length on a sphere $S^d_r$ of radius $r>1/\sqrt 2$. The proof rests on the following statement, conjectured by F. Morić and J. Pach: given two unit regular simplices $Δ_1,Δ_2$ on $d$ vertices in $\mathbb R^d$, either they share $d-2$ vertices, or there are vertices $v_1\in Δ_1,v_2\in Δ_2$ such that $\|v_1-v_2\|>1$. The same holds for unit simplices on a $d$-dimensional sphere of radius greater than $1/\sqrt 2$.
△ Less
Submitted 2 March, 2016; v1 submitted 15 February, 2014;
originally announced February 2014.
