-
Steiner trees with infinitely many terminals on the sides of an angle
Authors:
Danila Cherkashin,
Emanuele Paolini,
Yana Teplitskaya
Abstract:
The Euclidean Steiner problem is the problem of finding a set $St$, with the shortest length, such that $St \cup A$ is connected, where $A$ is a given set in a Euclidean space. The solutions $St$ to the Steiner problem will be called Steiner sets while the set $A$ will be called input. Since every Steiner set is acyclic we call it Steiner tree in the case when it is connected. We say that a Steine…
▽ More
The Euclidean Steiner problem is the problem of finding a set $St$, with the shortest length, such that $St \cup A$ is connected, where $A$ is a given set in a Euclidean space. The solutions $St$ to the Steiner problem will be called Steiner sets while the set $A$ will be called input. Since every Steiner set is acyclic we call it Steiner tree in the case when it is connected. We say that a Steiner tree is indecomposable if it does not contain any Steiner tree for a subset of the input.
We are interested in finding the Steiner set when the input consists of infinitely many points distributed on two lines. In particular we would like to find a configuration which gives an indecomposable Steiner tree.
We consider a self-similar input, namely the set $A_{α,λ}$ of points with coordinates $(λ^{k-1}\cos α,$ $\pm λ^{k-1}\sin α)$, where $λ>0$ and $α>0$ are small fixed values. These points are distributed on the two sides of an angle of size $2α$ in such a way that the distances from the points to the vertex of the angle are in a geometric progression.
To our surprise, we show that in this case the solutions to the Steiner problem for $A_{α,λ}$, when $α$ and $λ$ are small enough, are always decomposable trees. More precisely, any Steiner tree for $A_{α,λ}$ is a countable union of Steiner trees, each one connecting 5 points from the input. By considering only a finite number of components we obtain many solutions to the Steiner problem for finite sets composed of $4k+1$ points distributed on the two lines ($2k+1$ on a line and $2k$ on the other line). These solutions are very similar to the ladders of Chung and Graham.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
The kissing number in 48 dimensions for codes with certain forbidden distances is 52 416 000
Authors:
Peter Boyvalenkov,
Danila Cherkashin
Abstract:
We prove that the kissing number in 48 dimensions among antipodal spherical codes with certain forbidden inner products is 52\,416\,000. Constructions of attaining codes as kissing configurations of minimum vectors in even unimodular extremal lattices are well known since the 1970's. We also prove that corresponding spherical 11-designs with the same cardinality are minimal. We use appropriate mod…
▽ More
We prove that the kissing number in 48 dimensions among antipodal spherical codes with certain forbidden inner products is 52\,416\,000. Constructions of attaining codes as kissing configurations of minimum vectors in even unimodular extremal lattices are well known since the 1970's. We also prove that corresponding spherical 11-designs with the same cardinality are minimal. We use appropriate modifications of the linear programming bounds for spherical codes and designs introduced by Delsarte, Goethals and Seidel in 1977.
△ Less
Submitted 8 December, 2023;
originally announced December 2023.
-
On stability of weighted spanning tree degree enumerators
Authors:
Danila Cherkashin,
Pavel Prozorov
Abstract:
Our previous paper shows that the (vertex) spanning tree degree enumerator polynomial of a connected graph $G$ is a real stable polynomial (id est is non-zero if all variables have positive imaginary parts) if and only if $G$ is distance-hereditary. In this note we generalize the result on weighted graphs. This generalization allows us to define the class of weighted distance-hereditary graphs.
Our previous paper shows that the (vertex) spanning tree degree enumerator polynomial of a connected graph $G$ is a real stable polynomial (id est is non-zero if all variables have positive imaginary parts) if and only if $G$ is distance-hereditary. In this note we generalize the result on weighted graphs. This generalization allows us to define the class of weighted distance-hereditary graphs.
△ Less
Submitted 27 October, 2023;
originally announced October 2023.
-
Branching points in the planar Gilbert--Steiner problem have degree 3
Authors:
Danila Cherkashin,
Fedor Petrov
Abstract:
Gilbert--Steiner problem is a generalization of the Steiner tree problem on a specific optimal mass transportation.
We show that every branching point in a solution of the planar Gilbert--Steiner problem has degree 3.
Gilbert--Steiner problem is a generalization of the Steiner tree problem on a specific optimal mass transportation.
We show that every branching point in a solution of the planar Gilbert--Steiner problem has degree 3.
△ Less
Submitted 22 December, 2023; v1 submitted 8 September, 2023;
originally announced September 2023.
-
On small non-uniform hypergraphs without property B
Authors:
Danila Cherkashin
Abstract:
For a given hypergraph $H = (V,E)$ consider the sum $q(H)$ of $2^{-|e|}$ over $e \in E$. Consider the class of hypergraphs with the smallest edge of size $n$ and without a 2-colouring without monochromatic edges. Let $q(n)$ be the smallest value of $q(H)$ in this class.
We provide a survey of the known bounds on $q(n)$ and make some minor refinements.
For a given hypergraph $H = (V,E)$ consider the sum $q(H)$ of $2^{-|e|}$ over $e \in E$. Consider the class of hypergraphs with the smallest edge of size $n$ and without a 2-colouring without monochromatic edges. Let $q(n)$ be the smallest value of $q(H)$ in this class.
We provide a survey of the known bounds on $q(n)$ and make some minor refinements.
△ Less
Submitted 7 March, 2023;
originally announced March 2023.
-
A self-similar infinite binary tree is a solution of Steiner problem
Authors:
D. Cherkashin,
Y. Teplitskaya
Abstract:
We consider a general metric Steiner problem which is of finding a set $\mathcal{S}$ with minimal length such that $\mathcal{S} \cup A$ is connected, where $A$ is a given compact subset of a given complete metric space $X$; a solution is called Steiner tree.
Paolini, Stepanov and Teplitskaya provided an example of a planar Steiner tree with an infinite number of branching points connecting an un…
▽ More
We consider a general metric Steiner problem which is of finding a set $\mathcal{S}$ with minimal length such that $\mathcal{S} \cup A$ is connected, where $A$ is a given compact subset of a given complete metric space $X$; a solution is called Steiner tree.
Paolini, Stepanov and Teplitskaya provided an example of a planar Steiner tree with an infinite number of branching points connecting an uncountable set of points. We prove that such a set can have a positive Hausdorff dimension which was an open question (the corresponding tree is a self-similar fractal).
△ Less
Submitted 4 February, 2023;
originally announced February 2023.
-
An overview of maximal distance minimizers problem
Authors:
Danila Cherkashin,
Yana Teplitskaya
Abstract:
Consider a compact $M \subset \mathbb{R}^d$ and $l > 0$. A maximal distance minimizer problem is to find a connected compact set $Σ$ of the length (one-dimensional Hausdorff measure $\H$) at most $l$ that minimizes \[ \max_{y \in M} dist (y, Σ), \] where $dist$ stands for the Euclidean distance.
We give a survey on the results on the maximal distance minimizers and related problems.
Consider a compact $M \subset \mathbb{R}^d$ and $l > 0$. A maximal distance minimizer problem is to find a connected compact set $Σ$ of the length (one-dimensional Hausdorff measure $\H$) at most $l$ that minimizes \[ \max_{y \in M} dist (y, Σ), \] where $dist$ stands for the Euclidean distance.
We give a survey on the results on the maximal distance minimizers and related problems.
△ Less
Submitted 11 December, 2022;
originally announced December 2022.
-
Inverse maximal and average distance minimizer problems
Authors:
Mikhail Basok,
Danila Cherkashin,
Yana Teplitskaya
Abstract:
Consider a compact $M \subset \mathbb{R}^d$ and $r > 0$. A maximal distance minimizer problem is to find a connected compact set $Σ$ of the minimal length, such that \[ \max_{y \in M} dist (y, Σ) \leq r. \] The inverse problem is to determine whether a given compact connected set $Σ$ is a minimizer for some compact $M$ and some positive $r$.
Let a Steiner tree $St$ with $n$ terminals be unique f…
▽ More
Consider a compact $M \subset \mathbb{R}^d$ and $r > 0$. A maximal distance minimizer problem is to find a connected compact set $Σ$ of the minimal length, such that \[ \max_{y \in M} dist (y, Σ) \leq r. \] The inverse problem is to determine whether a given compact connected set $Σ$ is a minimizer for some compact $M$ and some positive $r$.
Let a Steiner tree $St$ with $n$ terminals be unique for its terminal vertices. The first result of the paper is that $St$ is a minimizer for a set $M$ of $n$ points and a small enough positive $r$. It is known that in the planar case a general Steiner tree (on a finite number of terminals) is unique. It is worth noting that a Steiner tree on $n$ terminal vertices can be not a minimizer for any $n$ point set $M$ starting with $n = 4$; the simplest such example is a Steiner tree for the vertices of a square.
It is known that a planar maximal distance minimizer is a finite union of simple curves. The second result is an example of a minimizer with an infinite number of corner points (points with two tangent rays which do not belong to the same line), which means that this minimizer can not be represented as a finite union of smooth curves.
Our third result is that every injective $C^{1,1}$-curve $Σ$ is a minimizer for a small enough $r>0$ and $M = \overline{B_r(Σ)}$. The proof is based on analogues result by Tilli on average distance minimizers. Finally, we generalize Tilli's result from the plane to $d$-dimensional Euclidean space.
△ Less
Submitted 7 September, 2023; v1 submitted 4 December, 2022;
originally announced December 2022.
-
On stability of spanning tree degree enumerators
Authors:
Danila Cherkashin,
Fedor Petrov,
Pavel Prozorov
Abstract:
We show that the spanning tree degree enumerator polynomial of a connected graph $G$ is a real stable polynomial if and only if $G$ is distance-hereditary.
We show that the spanning tree degree enumerator polynomial of a connected graph $G$ is a real stable polynomial if and only if $G$ is distance-hereditary.
△ Less
Submitted 6 April, 2023; v1 submitted 9 September, 2022;
originally announced September 2022.
-
On the chromatic numbers of 3-dimensional slices
Authors:
D. D. Cherkashin,
A. J. Kanel-Belov,
G. A. Strukov,
V. A. Voronov
Abstract:
We prove that for an arbitrary $\varepsilon > 0$ holds \[ χ(\mathbb{R}^3 \times [0,\varepsilon]^6) \geq 10, \] where $χ(M)$ stands for the chromatic number of an (infinite) graph with the vertex set $M$ and the edge set consists of pairs of monochromatic points at the distance 1 apart.
We prove that for an arbitrary $\varepsilon > 0$ holds \[ χ(\mathbb{R}^3 \times [0,\varepsilon]^6) \geq 10, \] where $χ(M)$ stands for the chromatic number of an (infinite) graph with the vertex set $M$ and the edge set consists of pairs of monochromatic points at the distance 1 apart.
△ Less
Submitted 31 January, 2024; v1 submitted 3 August, 2022;
originally announced August 2022.
-
Erd\H os--Hajnal problem for $H$-free hypergraphs
Authors:
Danila Cherkashin,
Alexei Gordeev,
Georgii Strukov
Abstract:
This paper deals with the minimum number $m_H(r)$ of edges in an $H$-free graph with the chromatic number more than $r$. We show how bounds on Ramsey and Turán numbers imply bounds on $m_H(r)$.
This paper deals with the minimum number $m_H(r)$ of edges in an $H$-free graph with the chromatic number more than $r$. We show how bounds on Ramsey and Turán numbers imply bounds on $m_H(r)$.
△ Less
Submitted 20 July, 2022; v1 submitted 12 July, 2022;
originally announced July 2022.
-
On the chromatic number of 2-dimensional spheres
Authors:
Danila Cherkashin,
Vsevolod Voronov
Abstract:
In 1976 Simmons conjectured that every coloring of a 2-dimensional sphere of radius strictly greater than $1/2$ in three colors has a couple of monochromatic points at the distance 1 apart. We prove this conjecture.
In 1976 Simmons conjectured that every coloring of a 2-dimensional sphere of radius strictly greater than $1/2$ in three colors has a couple of monochromatic points at the distance 1 apart. We prove this conjecture.
△ Less
Submitted 1 October, 2022; v1 submitted 16 March, 2022;
originally announced March 2022.
-
Lov{á}sz theta approach to eventown problem
Authors:
Mikhaylo Antipov,
Danila Cherkashin
Abstract:
We apply the bound on independence number via Lov{á}sz theta function to eventown problem and its generalizations over $\mathbb{Z}_n$.
We apply the bound on independence number via Lov{á}sz theta function to eventown problem and its generalizations over $\mathbb{Z}_n$.
△ Less
Submitted 7 June, 2022; v1 submitted 4 January, 2022;
originally announced January 2022.
-
Maximal distance minimizers for a rectangle
Authors:
D. D. Cherkashin,
A. S. Gordeev,
G. A. Strukov,
Y. I. Teplitskaya
Abstract:
\emph{A maximal distance minimizer} for a given compact set $M \subset \mathbb{R}^2$ and some given $r > 0$ is a set having the minimal length (one-dimensional Hausdorff measure) over the class of closed connected sets $Σ\subset \mathbb{R}^2$ satisfying the inequality \[ \max_{y\in M} dist (y, Σ) \leq r. \] This paper deals with the set of maximal distance minimizers for a rectangle $M$ and small…
▽ More
\emph{A maximal distance minimizer} for a given compact set $M \subset \mathbb{R}^2$ and some given $r > 0$ is a set having the minimal length (one-dimensional Hausdorff measure) over the class of closed connected sets $Σ\subset \mathbb{R}^2$ satisfying the inequality \[ \max_{y\in M} dist (y, Σ) \leq r. \] This paper deals with the set of maximal distance minimizers for a rectangle $M$ and small enough $r$.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
On list chromatic numbers of 2-colorable hypergraphs
Authors:
Danila Cherkashin,
Alexey Gordeev
Abstract:
We give an upper bound on the list chromatic number of a 2-colorable hypergraph which generalizes the bound of Schauz on $k$-partite $k$-uniform hypergraphs. It makes sense for sparse hypergraphs: in particular we show that a $k$-uniform $k$-regular hypergraph has the list chromatic number 2 for $k \geq 4$. Also we obtain both lower and upper bound on the list chromatic number of a complete $s$-un…
▽ More
We give an upper bound on the list chromatic number of a 2-colorable hypergraph which generalizes the bound of Schauz on $k$-partite $k$-uniform hypergraphs. It makes sense for sparse hypergraphs: in particular we show that a $k$-uniform $k$-regular hypergraph has the list chromatic number 2 for $k \geq 4$. Also we obtain both lower and upper bound on the list chromatic number of a complete $s$-uniform 2-colorable hypergraph in the vein of Erd{\H o}s--Rubin--Taylor theorem.
△ Less
Submitted 4 February, 2021;
originally announced February 2021.
-
On the minimal sum of edges in a signed edge-dominated graph
Authors:
Danila Cherkashin,
Pavel Prozorov
Abstract:
Let $G$ be a simple graph with $n$ vertices and $\pm 1$-weights on edges. Suppose that for every edge $e$ the sum of edges adjacent to $e$ (including $e$ itself) is positive. Then the sum of weights over edges of $G$ is at least $-\frac{n^2}{25}$. Also we provide an example of a weighted graph with described properties and the sum of weights $-(1+o(1))\frac{n^2}{8(1 + \sqrt{2})^2}$.
The previous…
▽ More
Let $G$ be a simple graph with $n$ vertices and $\pm 1$-weights on edges. Suppose that for every edge $e$ the sum of edges adjacent to $e$ (including $e$ itself) is positive. Then the sum of weights over edges of $G$ is at least $-\frac{n^2}{25}$. Also we provide an example of a weighted graph with described properties and the sum of weights $-(1+o(1))\frac{n^2}{8(1 + \sqrt{2})^2}$.
The previous best known bounds were $-\frac{n^2}{16}$ and $-(1+o(1))\frac{n^2}{54}$ respectively. We show that the constant $-1/54$ is optimal under some additional conditions.
△ Less
Submitted 10 May, 2021; v1 submitted 17 December, 2020;
originally announced December 2020.
-
On minimizers of the maximal distance functional for a planar convex closed smooth curve
Authors:
D. D. Cherkashin,
A. S. Gordeev,
G. A. Strukov,
Y. I. Teplitskaya
Abstract:
Fix a compact $M \subset \mathbb{R}^2$ and $r>0$. A minimizer of the maximal distance functional is a connected set $Σ$ of the minimal length, such that \[ max_{y \in M} dist(y,Σ) \leq r. \] The problem of finding maximal distance minimizers is connected to the Steiner tree problem.
In this paper we consider the case of a convex closed curve $M$, with the minimal radius of curvature greater than…
▽ More
Fix a compact $M \subset \mathbb{R}^2$ and $r>0$. A minimizer of the maximal distance functional is a connected set $Σ$ of the minimal length, such that \[ max_{y \in M} dist(y,Σ) \leq r. \] The problem of finding maximal distance minimizers is connected to the Steiner tree problem.
In this paper we consider the case of a convex closed curve $M$, with the minimal radius of curvature greater than $r$ (it implies that $M$ is smooth). The first part is devoted to statements on structure of $Σ$: we show that the closure of an arbitrary connected component of $B_r(M) \cap Σ$ is a local Steiner tree which connects no more than five vertices.
In the second part we "derive in the picture". Assume that the left and right neighborhoods of $y \in M$ are contained in $r$-neighborhoods of different points $x_1$, $x_2 \in Σ$. We write conditions on the behavior of $Σ$ in the neighborhoods of $x_1$ and $x_2$ under the assumption by moving $y$ along $M$.
△ Less
Submitted 20 November, 2020;
originally announced November 2020.
-
Independence numbers of Johnson-type graphs
Authors:
Danila Cherkashin,
Sergei Kiselev
Abstract:
We consider a family of distance graphs in $\mathbb{R}^n$ and find its independent numbers in some cases.
Define graph $J_{\pm}(n,k,t)$ in the following way: the vertex set consists of all vectors from $\{-1,0,1\}^n$ with $k$ nonzero coordinates; edges connect the pairs of vertices with scalar product $t$. We find the independence number of $J_{\pm}(n,k,t)$ for $n > n_0 (k,t)$ in the cases…
▽ More
We consider a family of distance graphs in $\mathbb{R}^n$ and find its independent numbers in some cases.
Define graph $J_{\pm}(n,k,t)$ in the following way: the vertex set consists of all vectors from $\{-1,0,1\}^n$ with $k$ nonzero coordinates; edges connect the pairs of vertices with scalar product $t$. We find the independence number of $J_{\pm}(n,k,t)$ for $n > n_0 (k,t)$ in the cases $t = 0$ and $t = -1$; these cases for $k = 3$ are solved completely. Also the independence number is found for negative odd $t$ and $n > n_0 (k,t)$.
△ Less
Submitted 4 October, 2022; v1 submitted 15 July, 2019;
originally announced July 2019.
-
On the Erd{\H o}s--Hajnal problem in the case of 3-graphs
Authors:
Danila Cherkashin
Abstract:
Let $m(n,r)$ denote the minimal number of edges in an $n$-uniform hypergraph which is not $r$-colorable. For the broad history of the problem see [RaiSh]. It is known that for a fixed $n$ the sequence \[ \frac{m(n,r)}{r^n} \] has a limit.
The only trivial case is $n=2$ in which $m(2,r) = \binom{r+1}{2}$. In this note we focus on the case $n=3$. First, we compare the existing methods in this case…
▽ More
Let $m(n,r)$ denote the minimal number of edges in an $n$-uniform hypergraph which is not $r$-colorable. For the broad history of the problem see [RaiSh]. It is known that for a fixed $n$ the sequence \[ \frac{m(n,r)}{r^n} \] has a limit.
The only trivial case is $n=2$ in which $m(2,r) = \binom{r+1}{2}$. In this note we focus on the case $n=3$. First, we compare the existing methods in this case and then improve the lower bound.
△ Less
Submitted 11 July, 2019; v1 submitted 7 May, 2019;
originally announced May 2019.
-
On a question of Sidorenko
Authors:
D. Cherkashin,
F. Petrov,
V. Sokolov
Abstract:
For a positive integer $n>1$ denote by $ω(n)$ the maximal possible number $k$ of different functions $f_1,\dots,f_k:\mathbb{Z}/n\mathbb{Z}\mapsto \mathbb{Z}/n\mathbb{Z}$ such that each function $f_i-f_j,i<j$, is bijective. Recently A. Sidorenko conjectured that $ω(n)$ equals to the minimal prime divisor of $n$. We disprove it for $n=15,21,27$ by several counterexamples found by computer.
For a positive integer $n>1$ denote by $ω(n)$ the maximal possible number $k$ of different functions $f_1,\dots,f_k:\mathbb{Z}/n\mathbb{Z}\mapsto \mathbb{Z}/n\mathbb{Z}$ such that each function $f_i-f_j,i<j$, is bijective. Recently A. Sidorenko conjectured that $ω(n)$ equals to the minimal prime divisor of $n$. We disprove it for $n=15,21,27$ by several counterexamples found by computer.
△ Less
Submitted 20 December, 2018;
originally announced January 2019.
-
On uniqueness in Steiner problem
Authors:
Mikhail Basok,
Danila Cherkashin,
Nikita Rastegaev,
Yana Teplitskaya
Abstract:
We prove that the set of $n$-point configurations for which the solution of the planar Steiner problem is not unique has the Hausdorff dimension at most $2n-1$ (as a subset of $\mathbb{R}^{2n}$). Moreover, we show that the Hausdorff dimension of the set of $n$-point configurations on which at least two locally minimal trees have the same length is also at most $2n-1$. Methods we use essentially re…
▽ More
We prove that the set of $n$-point configurations for which the solution of the planar Steiner problem is not unique has the Hausdorff dimension at most $2n-1$ (as a subset of $\mathbb{R}^{2n}$). Moreover, we show that the Hausdorff dimension of the set of $n$-point configurations on which at least two locally minimal trees have the same length is also at most $2n-1$. Methods we use essentially require rely upon the theory of subanalytic sets developed in~\cite{bierstone1988semianalytic}. Motivated by this approach we develop a general setup for the similar problem of uniqueness of the Steiner tree where the Euclidean plane is replace by an arbitrary analytic Riemannian manifold $M$. In this setup we argue that the set of configurations possessing two locally-minimal trees of the same length either has the dimension $n\dim M-1$ or has a non-empty interior. We provide an example of a two-dimensional surface for which the last alternative holds.
In addition to abovementioned results, we study the set of set of $n$-point configurations for which there is a unique solution of the Steiner problem in $\mathbb{R}^d$. We show that this set is path-connected.
△ Less
Submitted 21 March, 2023; v1 submitted 5 September, 2018;
originally announced September 2018.
-
Regular behaviour of the maximal hypergraph chromatic number
Authors:
Danila Cherkashin,
Fedor Petrov
Abstract:
Let $m(n,r)$ denote the minimal number of edges in an $n$-uniform hypergraph which is not $r$-colorable. It is known that for a fixed $n$ one has \[ c_n r^n < m(n,r) < C_n r^n. \] We prove that for any fixed $n$ the sequence $a_r := m(n,r)/r^n$ has a limit, which was conjectured by Alon. We also prove the list colorings analogue of this statement.
Let $m(n,r)$ denote the minimal number of edges in an $n$-uniform hypergraph which is not $r$-colorable. It is known that for a fixed $n$ one has \[ c_n r^n < m(n,r) < C_n r^n. \] We prove that for any fixed $n$ the sequence $a_r := m(n,r)/r^n$ has a limit, which was conjectured by Alon. We also prove the list colorings analogue of this statement.
△ Less
Submitted 17 August, 2019; v1 submitted 4 August, 2018;
originally announced August 2018.
-
Coloring general Kneser graphs and hypergraphs via high-discrepancy hypergraphs
Authors:
Jozsef Balogh,
Danila Cherkashin,
Sergei Kiselev
Abstract:
We suggest a new method on coloring generalized Kneser graphs based on hypergraphs with high discrepancy and small number of edges. The main result is providing a proper coloring of K(n, n/2-t, s) in (4 + o(1))(s + t)^2 colors, which is produced by Hadamard matrices. Also, we show that for colorings by independent set of a natural type, this result is the best possible up to a multiplicative const…
▽ More
We suggest a new method on coloring generalized Kneser graphs based on hypergraphs with high discrepancy and small number of edges. The main result is providing a proper coloring of K(n, n/2-t, s) in (4 + o(1))(s + t)^2 colors, which is produced by Hadamard matrices. Also, we show that for colorings by independent set of a natural type, this result is the best possible up to a multiplicative constant. Our method extends to Kneser hypergraphs as well.
△ Less
Submitted 23 May, 2018;
originally announced May 2018.
-
Coloring cross-intersecting families
Authors:
Danila Cherkashin
Abstract:
Intersecting and cross-intersecting families usually appear in extremal combinatorics in the vein of the Erd{\H o}s--Ko--Rado theorem. On the other hand, P.~Erd{\H o}s and L.~Lov{á}sz in the noted paper~\cite{EL} posed problems on coloring intersecting families as a restriction of classical hypergraph coloring problems to a special class of hypergraphs. This note deals with the mentioned coloring…
▽ More
Intersecting and cross-intersecting families usually appear in extremal combinatorics in the vein of the Erd{\H o}s--Ko--Rado theorem. On the other hand, P.~Erd{\H o}s and L.~Lov{á}sz in the noted paper~\cite{EL} posed problems on coloring intersecting families as a restriction of classical hypergraph coloring problems to a special class of hypergraphs. This note deals with the mentioned coloring problems stated for cross-intersecting families.
△ Less
Submitted 14 July, 2017;
originally announced July 2017.
-
On small $n$-uniform hypergraphs with positive discrepancy
Authors:
Danila Cherkashin,
Fedor Petrov
Abstract:
A two-coloring of the vertices $V$ of the hypergraph $H=(V, E)$ by red and blue has discrepancy $d$ if $d$ is the largest difference between the number of red and blue points in any edge. Let $f(n)$ be the fewest number of edges in an $n$-uniform hypergraph without a coloring with discrepancy $0$. Erdős and Sós asked: is $f(n)$ unbounded?
N. Alon, D. J. Kleitman, C. Pomerance, M. Saks and P. Sey…
▽ More
A two-coloring of the vertices $V$ of the hypergraph $H=(V, E)$ by red and blue has discrepancy $d$ if $d$ is the largest difference between the number of red and blue points in any edge. Let $f(n)$ be the fewest number of edges in an $n$-uniform hypergraph without a coloring with discrepancy $0$. Erdős and Sós asked: is $f(n)$ unbounded?
N. Alon, D. J. Kleitman, C. Pomerance, M. Saks and P. Seymour proved upper and lower bounds in terms of the smallest non-divisor ($\mbox{snd}$) of $n$. We refine the upper bound as follows: $$f (n) \leq c \log \mbox{snd}\ {n}.$$
△ Less
Submitted 3 April, 2019; v1 submitted 17 June, 2017;
originally announced June 2017.
-
A note on panchromatic colorings
Authors:
Danila Cherkashin
Abstract:
This paper studies the quantity $p(n,r)$, that is the minimal number of edges of an $n$-uniform hypergraph without panchromatic coloring (it means that every edge meets every color) in $r$ colors. If $r \leq c \frac{n}{\ln n}$ then all bounds have a type $A_1(n, \ln n, r)(\frac{r}{r-1})^n \leq p(n, r) \leq A_2(n, r, \ln r) (\frac{r}{r-1})^n$, where $A_1$, $A_2$ are some algebraic fractions. The ma…
▽ More
This paper studies the quantity $p(n,r)$, that is the minimal number of edges of an $n$-uniform hypergraph without panchromatic coloring (it means that every edge meets every color) in $r$ colors. If $r \leq c \frac{n}{\ln n}$ then all bounds have a type $A_1(n, \ln n, r)(\frac{r}{r-1})^n \leq p(n, r) \leq A_2(n, r, \ln r) (\frac{r}{r-1})^n$, where $A_1$, $A_2$ are some algebraic fractions. The main result is a new lower bound on $p(n,r)$ when $r$ is at least $c \sqrt n$; we improve an upper bound on $p(n,r)$ if $n = o(r^{3/2})$.
Also we show that $p(n,r)$ has upper and lower bounds depend only on $n/r$ when the ratio $n/r$ is small, which can not be reached by the previous probabilistic machinery.
Finally we construct an explicit example of a hypergraph without panchromatic coloring and with $(\frac{r}{r-1} + o(1))^n$ edges for $r = o(\sqrt{\frac{n}{\ln n}})$.
△ Less
Submitted 10 May, 2017;
originally announced May 2017.
-
On the cromatic number of infinitesimal plane layer
Authors:
A. J. Kanel-Belov,
V. Voronov,
D. Cherkashin
Abstract:
We consider natural generalization of plane chromatic number problem. We consider chromatic numbers $χ$ of spaces $\mathbb{R}^n \times [0,\varepsilon]^k$ for arbitrary small $\varepsilon$.
We prove that $5 \leqχ(\mathbb{R}^2\times [0,\varepsilon])\leq 7$ and ${6\leq χ(\mathbb{R}^2\times [0,\varepsilon]^2) \leq 7}$.
Also we consider natural questions, arising from this considerations.
We consider natural generalization of plane chromatic number problem. We consider chromatic numbers $χ$ of spaces $\mathbb{R}^n \times [0,\varepsilon]^k$ for arbitrary small $\varepsilon$.
We prove that $5 \leqχ(\mathbb{R}^2\times [0,\varepsilon])\leq 7$ and ${6\leq χ(\mathbb{R}^2\times [0,\varepsilon]^2) \leq 7}$.
Also we consider natural questions, arising from this considerations.
△ Less
Submitted 22 October, 2017; v1 submitted 20 December, 2015;
originally announced December 2015.
-
On the chromatic numbers of small-dimensional Euclidean spaces
Authors:
Danila Cherkashin,
Anatoly Kulikov,
Andrey Raigorodskii
Abstract:
The paper is devoted to the study of graph sequence G_n = (V_n, E_n) where V_n is the set of all vectors v in R^n with coordinates from {-1, 0, 1} such that |v| = sqrt(3), and E_n consists of all pairs of vertices with the scalar product 1. We find exactly the independence number of G_n. As a corollary we get some new lower bounds of chi(\R^n) and chi(\Q^n) for small values of n.
The paper is devoted to the study of graph sequence G_n = (V_n, E_n) where V_n is the set of all vectors v in R^n with coordinates from {-1, 0, 1} such that |v| = sqrt(3), and E_n consists of all pairs of vertices with the scalar product 1. We find exactly the independence number of G_n. As a corollary we get some new lower bounds of chi(\R^n) and chi(\Q^n) for small values of n.
△ Less
Submitted 30 August, 2016; v1 submitted 10 December, 2015;
originally announced December 2015.
-
On the horseshoe conjecture for maximal distance minimizers
Authors:
Danila Cherkashin,
Yana Teplitskaya
Abstract:
We study the properties of sets $Σ$ having the minimal length (one-dimensional Hausdorff measure) over the class of closed connected sets $Σ\subset \mathbb{R}^2$ satisfying the inequality $\mbox{max}_{y \in M} \mbox{dist}(y,Σ) \leq r$ for a given compact set $M \subset \mathbb{R}^2$ and some given $r > 0$. Such sets can be considered shortest possible pipelines arriving at a distance at most $r$ t…
▽ More
We study the properties of sets $Σ$ having the minimal length (one-dimensional Hausdorff measure) over the class of closed connected sets $Σ\subset \mathbb{R}^2$ satisfying the inequality $\mbox{max}_{y \in M} \mbox{dist}(y,Σ) \leq r$ for a given compact set $M \subset \mathbb{R}^2$ and some given $r > 0$. Such sets can be considered shortest possible pipelines arriving at a distance at most $r$ to every point of $M$ which in this case is considered as the set of customers of the pipeline.
We prove the conjecture of Miranda, Paolini and Stepanov about the set of minimizers for $M$ a circumference of radius $R>0$ for the case when $r < R/4.98$. Moreover we show that when $M$ is a boundary of a smooth convex set with minimal radius of curvature $R$, then every minimizer $Σ$ has similar structure for $r < R/5$. Additionaly we prove a similar statement for local minimizers.
△ Less
Submitted 11 April, 2017; v1 submitted 3 November, 2015;
originally announced November 2015.
-
Multishadowing in topological dynamics
Authors:
Danila Cherkashin,
Sergey Kryzhevich
Abstract:
An approach to find a weak form of shadowing is developed. We consider homeomorphisms of a compact metric space. It is proved that every pseudotrajectory with sufficiently small errors contains at least one subsequence that can be shadowed by a subsequence of an exact trajectory with same indices. We study systems with so-called multishadowing property that is any pseudotrajectory can be shadowed…
▽ More
An approach to find a weak form of shadowing is developed. We consider homeomorphisms of a compact metric space. It is proved that every pseudotrajectory with sufficiently small errors contains at least one subsequence that can be shadowed by a subsequence of an exact trajectory with same indices. We study systems with so-called multishadowing property that is any pseudotrajectory can be shadowed by a finite number of exact orbits. Criteria for existence of $\varepsilon$-- networks whose iterations are $\varepsilon$ -- networks are given. Relations between multishadowing and some ergodic and topological properties of dynamical systems are discussed.
△ Less
Submitted 11 July, 2016; v1 submitted 18 June, 2015;
originally announced June 2015.
-
A note on random greedy coloring of uniform hypergraphs
Authors:
Danila D. Cherkashin,
Jakub Kozik
Abstract:
The smallest number of edges forming an n-uniform hypergraph which is not r-colorable is denoted by m(n,r). Erdős and Lovász conjectured that m(n,2)=θ(n 2^n)$. The best known lower bound m(n,2)=Ω(sqrt(n/log(n)) 2^n) was obtained by Radhakrishnan and Srinivasan in 2000. We present a simple proof of their result. The proof is based on analysis of random greedy coloring algorithm investigated by Pluh…
▽ More
The smallest number of edges forming an n-uniform hypergraph which is not r-colorable is denoted by m(n,r). Erdős and Lovász conjectured that m(n,2)=θ(n 2^n)$. The best known lower bound m(n,2)=Ω(sqrt(n/log(n)) 2^n) was obtained by Radhakrishnan and Srinivasan in 2000. We present a simple proof of their result. The proof is based on analysis of random greedy coloring algorithm investigated by Pluhár in 2009. The proof method extends to the case of r-coloring, and we show that for any fixed r we have m(n,r)=Ω((n/log(n))^(1-1/r) r^n) improving the bound of Kostochka from 2004. We also derive analogous bounds on minimum edge degree of an n-uniform hypergraph that is not r-colorable.
△ Less
Submitted 4 October, 2013;
originally announced October 2013.
-
A new randomized algorithm for the Erdos--Hajnal problem
Authors:
Danila Cherkashin
Abstract:
In 1961 Erdős and Hajnal introduced the quantity $m(n)$ as the minimum number of edges in an $n$-uniform hypergraph with chromatic number at least 3. The best known lower and upper bounds for $ m(n) $ are $ c_1 \sqrt{\frac{n}{\ln n}} 2^n$ and $c_2 n^2 2^n$ respectively. The lower bound is due to Radhakrishnan and Srinivasan (see \cite{RS}). A natural generalization for $ m(n) $ is the quantity…
▽ More
In 1961 Erdős and Hajnal introduced the quantity $m(n)$ as the minimum number of edges in an $n$-uniform hypergraph with chromatic number at least 3. The best known lower and upper bounds for $ m(n) $ are $ c_1 \sqrt{\frac{n}{\ln n}} 2^n$ and $c_2 n^2 2^n$ respectively. The lower bound is due to Radhakrishnan and Srinivasan (see \cite{RS}). A natural generalization for $ m(n) $ is the quantity $ m(n,r) $, which is the minimum number of edges in an $n$-uniform hypergraph with chromatic number at least $r+1$. In this work, we present a new randomized algorithm yielding a bound $ m(n,r) \ge c n^{\frac{r-1}{r}} r^{n-1} $, which improves upon all the previous bounds in a wide range of the parameters $ n, r $. Moreover, for $ r = 2 $, we get exactly the same bound as in the work \cite{RS} of Radhakrishnan and Srinivasan, and our proof is simpler.
△ Less
Submitted 30 August, 2013;
originally announced August 2013.
-
About dependence of the number of edges and vertices in hypergraph clique with chromatic number 3
Authors:
D. D. Cherkashin,
A. B. Kulikov,
A. M. Raigorodskii
Abstract:
In 1973 P. Erdős and L. Lovász noticed that any hypergraph whose edges are pairwise intersecting has chromatic number 2 or 3. In the first case, such hypergraph may have any number of edges. However, Erdős and Lovász proved that in the second case, the number of edges is bounded from above. For example, if a hypergraph is $ n $-uniform, has pairwise intersecting edges, and has chromatic number 3,…
▽ More
In 1973 P. Erdős and L. Lovász noticed that any hypergraph whose edges are pairwise intersecting has chromatic number 2 or 3. In the first case, such hypergraph may have any number of edges. However, Erdős and Lovász proved that in the second case, the number of edges is bounded from above. For example, if a hypergraph is $ n $-uniform, has pairwise intersecting edges, and has chromatic number 3, then the number of its edges does not exceed $ n^n $. Recently D.D. Cherkashin improved this bound (see \cite{Ch}). In this paper, we further improve it in the case when the number of vertices of an $n$-uniform hypergraph is bounded from above by $ n^m $ with some $ m = m(n) $.
△ Less
Submitted 8 October, 2011;
originally announced October 2011.
-
About maximal number of edges in hypergraph-clique with chromatic number 3
Authors:
Danila D. Cherkashin
Abstract:
Let $ H = (V,E) $ be a hypergraph. By the chromatic number of a hypergraph $ H = (V,E) $ we mean the minimum number $χ(H)$ of colors needed to paint all the vertices in $ V $ so that any edge $ e \in E $ contains at least two vertices of some different colors. Finally, a hypergraph is said to form a clique, if its edges are pairwise intersecting.
In 1973 Erdős and Lovász noticed that if an $n$-u…
▽ More
Let $ H = (V,E) $ be a hypergraph. By the chromatic number of a hypergraph $ H = (V,E) $ we mean the minimum number $χ(H)$ of colors needed to paint all the vertices in $ V $ so that any edge $ e \in E $ contains at least two vertices of some different colors. Finally, a hypergraph is said to form a clique, if its edges are pairwise intersecting.
In 1973 Erdős and Lovász noticed that if an $n$-uniform hypergraph $ H = (V,E) $ forms a clique, then $ χ(H) \in \{2,3\} $. They untoduced following quantity. $$ M(n) = \max \{|E|: \exists {\rm an} n-{\rm uniform} {\rm clique} H = (V,E) {\rm with} χ(H) = 3\}. $$ Obviously such definition has no sense in the case of $ χ(H) = 2 $.
Theorem 1 (P. Erdos, L. Lovasz} The inequalities hold $$ n!(e-1) \le M(n) \le n^n. $$
Almost nothing better has been done during the last 35 years.
At the same time, another quantity $ r(n) $ was introduced by Lovasz r(n) = \max \{|E|: ~ \exists {\rm an} ~ n-{\rm uniform} ~ {\rm clique} ~ H = (V,E) ~ {\rm s.t.} ~ τ(H) = n\}, $$ where $ τ(H) $ is the {\it covering number} of $ H $, i.e., $$ τ(H) = \min \{|f|: ~ f \subset V, ~ \forall ~ e \in E ~ f \cap e \neq \emptyset\}. $$ Clearly, for any $n$-uniform clique $ H $, we have $ τ(H) \le n $, and if $ χ(H) = 3 $, then $ τ(H) = n $. Thus, $ M(n) \le r(n) $. Lovász noticed that for $ r(n) $ the same estimates as in Theorem 1 apply and conjectured that the lower estimate is best possible. In 1996 P. Frankl, K. Ota, and N. Tokushige disproved this conjecture and showed that $ r(n) \ge (\frac{n}{2})^{n-1} $.
We discovered a new upper bound for the r(n) (so for M(n) too).
Theorem 2. $$ M(n) \leq r(n) \le c n^{n-1/2} \ln n. $$, where c is a constant.
△ Less
Submitted 10 July, 2011;
originally announced July 2011.
-
The Reality Game
Authors:
Dmitriy Cherkashin,
J. Doyne Farmer,
Seth Lloyd
Abstract:
We introduce an evolutionary game with feedback between perception and reality, which we call the reality game. It is a game of chance in which the probabilities for different objective outcomes (e.g., heads or tails in a coin toss) depend on the amount wagered on those outcomes. By varying the `reality map', which relates the amount wagered to the probability of the outcome, it is possible to m…
▽ More
We introduce an evolutionary game with feedback between perception and reality, which we call the reality game. It is a game of chance in which the probabilities for different objective outcomes (e.g., heads or tails in a coin toss) depend on the amount wagered on those outcomes. By varying the `reality map', which relates the amount wagered to the probability of the outcome, it is possible to move continuously from a purely objective game in which probabilities have no dependence on wagers to a purely subjective game in which probabilities equal the amount wagered. We study self-reinforcing games, in which betting more on an outcome increases its odds, and self-defeating games, in which the opposite is true. This is investigated in and out of equilibrium, with and without rational players, and both numerically and analytically. We introduce a method of measuring the inefficiency of the game, similar to measuring the magnitude of the arbitrage opportunities in a financial market. We prove that convergence to equilibrium is is a power law with an extremely slow rate of convergence: The more subjective the game, the slower the convergence.
△ Less
Submitted 9 February, 2009; v1 submitted 31 January, 2009;
originally announced February 2009.
-
A simple evolutionary game with feedback between perception and reality
Authors:
Dmitriy Cherkashin,
J. Doyne Farmer,
Seth Lloyd
Abstract:
We study an evolutionary game of chance in which the probabilities for different outcomes (e.g., heads or tails) depend on the amount wagered on those outcomes. The game is perhaps the simplest possible probabilistic game in which perception affects reality. By varying the `reality map', which relates the amount wagered to the probability of the outcome, it is possible to move continuously from…
▽ More
We study an evolutionary game of chance in which the probabilities for different outcomes (e.g., heads or tails) depend on the amount wagered on those outcomes. The game is perhaps the simplest possible probabilistic game in which perception affects reality. By varying the `reality map', which relates the amount wagered to the probability of the outcome, it is possible to move continuously from a purely objective game in which probabilities have no dependence on wagers, to a purely subjective game in which probabilities equal the amount wagered. The reality map can reflect self-reinforcing strategies or self-defeating strategies. In self-reinforcing games, rational players can achieve increasing returns and manipulate the outcome probabilities to their advantage; consequently, an early lead in the game, whether acquired by chance or by strategy, typically gives a persistent advantage. We investigate the game both in and out of equilibrium and with and without rational players. We introduce a method of measuring the inefficiency of the game and show that in the large time limit the inefficiency decreases slowly in its approach to equilibrium as a power law with an exponent between zero and one, depending on the subjectivity of the game.
△ Less
Submitted 28 August, 2007;
originally announced August 2007.
