Showing 1–10 of 10 results for author: Voronov, V

On forest and bipartite cuts in sparse graphs

Authors: Ilya I. Bogdanov, Elizaveta Neustroeva, Georgy Sokolov, Alexei Volostnov, Nikolay Russkin, Vsevolod Voronov

Abstract: The paper is devoted to sufficient conditions for the existence of vertex cuts in simple graphs, where the induced subgraph on the cut vertices belongs to a specified graph class. In particular, we show that any connected graph with $n$ vertices and fewer than $(19n - 28)/8$ edges admits a forest cut. This result improves upon recent bounds, although it does not resolve the conjecture that the sha… ▽ More The paper is devoted to sufficient conditions for the existence of vertex cuts in simple graphs, where the induced subgraph on the cut vertices belongs to a specified graph class. In particular, we show that any connected graph with $n$ vertices and fewer than $(19n - 28)/8$ edges admits a forest cut. This result improves upon recent bounds, although it does not resolve the conjecture that the sharp threshold is $3n - 6$ (Chernyshev, Rauch, Rautenbach, 2024). Furthermore, we prove that if the number of edges is less than $(80n-134)/31$, then the graph admits a bipartite cut. △ Less

Submitted 27 May, 2025; v1 submitted 21 May, 2025; originally announced May 2025.

Comments: 24 pages, 6 figures

MSC Class: 05C35; 05C40

The Borsuk Problem for Subsets of the Vertices of the 10-Dimensional Boolean Cube

Authors: Igor Batmanov, Vsevolod Voronov

Abstract: In the papers Ziegler(2001) and Goldstein(2012) it was previously shown that any subset of the Boolean cube $ S \subset \{0,1\}^n $ for $ n \leq 9 $ can be partitioned into $n+1$ parts of smaller diameter, i.e., the Borsuk conjecture holds for such subsets. In this paper, it is shown that this is also true for $ n=10 $; however, the complexity of the computational verification increases significan… ▽ More In the papers Ziegler(2001) and Goldstein(2012) it was previously shown that any subset of the Boolean cube $ S \subset \{0,1\}^n $ for $ n \leq 9 $ can be partitioned into $n+1$ parts of smaller diameter, i.e., the Borsuk conjecture holds for such subsets. In this paper, it is shown that this is also true for $ n=10 $; however, the complexity of the computational verification increases significantly. In order to perform the computations in a reasonable time, several heuristics were developed to reduce the search tree. The SAT solver $\textbf{kissat}$ was used to cut off the search branches. △ Less

Submitted 1 April, 2025; originally announced April 2025.

On the chromatic number of the plane for map-type colorings

Authors: Georgy Sokolov, Vsevolod Voronov

Abstract: We consider the Hadwiger-Nelson problem on the chromatic number of the plane under conditions of coloring a map containing a finite number of vertices in any bounded region. Woodall (1973) and Townsend (1981) showed that at least 6 colors would be required. In the present paper, it is shown that at least 7 colors are required to color a map in which the boundaries are not arcs of a unit circle and… ▽ More We consider the Hadwiger-Nelson problem on the chromatic number of the plane under conditions of coloring a map containing a finite number of vertices in any bounded region. Woodall (1973) and Townsend (1981) showed that at least 6 colors would be required. In the present paper, it is shown that at least 7 colors are required to color a map in which the boundaries are not arcs of a unit circle and three boundaries connect at each vertex. As a corollary, we obtain that at least 7 colors are required for a proper coloring in which the regions are arbitrary polygons. The proof relies on techniques developed for a similar result concerning the chromatic number of the plane with a forbidden interval of distances. △ Less

Submitted 3 February, 2025; originally announced February 2025.

Comments: 29 pages, 6 figures

MSC Class: 05C15

Optimal partitions of the flat torus into parts of smaller diameter

Authors: Dmitry Protasov, Alexander Tolmachev, Vsevolod Voronov

Abstract: We consider the problem of partitioning a two-dimensional flat torus $T^2$ into $m$ sets in order to minimize the maximal diameter of a part. For $m \leqslant 25$ we give numerical estimates for the maximal diameter $d_m(T^2)$ at which the partition exists. Several approaches are proposed to obtain such estimates. In particular, we use the search for mesh partitions via the SAT solver, the global… ▽ More We consider the problem of partitioning a two-dimensional flat torus $T^2$ into $m$ sets in order to minimize the maximal diameter of a part. For $m \leqslant 25$ we give numerical estimates for the maximal diameter $d_m(T^2)$ at which the partition exists. Several approaches are proposed to obtain such estimates. In particular, we use the search for mesh partitions via the SAT solver, the global optimization approach for polygonal partitions, and the optimization of periodic hexagonal tilings. For $m=3$, the exact estimate is proved using elementary topological reasoning. △ Less

Submitted 6 February, 2024; originally announced February 2024.

Comments: 18 pages, 8 figures

The chromatic number of the plane with an interval of forbidden distances is at least 7

Authors: Vsevolod Voronov

Abstract: The work is devoted to one of the variations of the Hadwiger--Nelson problem on the chromatic number of the plane. In this formulation one needs to find for arbitrarily small $\varepsilon$ the least possible number of colors needed to color a Euclidean plane in such a way that any two points, the distance between which belongs to the interval $[1-\varepsilon, 1+\varepsilon]$, are colored different… ▽ More The work is devoted to one of the variations of the Hadwiger--Nelson problem on the chromatic number of the plane. In this formulation one needs to find for arbitrarily small $\varepsilon$ the least possible number of colors needed to color a Euclidean plane in such a way that any two points, the distance between which belongs to the interval $[1-\varepsilon, 1+\varepsilon]$, are colored differently. The conjecture proposed by G. Exoo in 2004, states that for arbitrary positive $\varepsilon$ at least 7 colors are required. Also, with a sufficiently small $\varepsilon$ the number of colors is exactly 7. The main result of the present paper is that the conjecture is true for the Euclidean plane as well as for any Minkowski plane. △ Less

Submitted 13 April, 2025; v1 submitted 20 April, 2023; originally announced April 2023.

Comments: 16 pages, 6 figures. Extended the bibliography and details of proofs concerning arbitrary norm. Added a theorem on covering a disk of radius 3 by closed sets. Corrected some inaccuracies

MSC Class: 52C10

Coverings of planar and three-dimensional sets with subsets of smaller diameter

Authors: Alexander Tolmachev, Dmitry Protasov, Vsevolod Voronov

Abstract: Quantitative estimates related to the classical Borsuk problem of splitting set in Euclidean space into subsets of smaller diameter are considered. For a given $k$ there is a minimal diameter of subsets at which there exists a covering with $k$ subsets of any planar set of unit diameter. In order to find an upper estimate of the minimal diameter we propose an algorithm for finding sub-optimal part… ▽ More Quantitative estimates related to the classical Borsuk problem of splitting set in Euclidean space into subsets of smaller diameter are considered. For a given $k$ there is a minimal diameter of subsets at which there exists a covering with $k$ subsets of any planar set of unit diameter. In order to find an upper estimate of the minimal diameter we propose an algorithm for finding sub-optimal partitions. In the cases $10 \leqslant k \leqslant 17$ some upper and lower estimates of the minimal diameter are improved. Another result is that any set $M \subset \mathbb{R}^3$ of a unit diameter can be partitioned into four subsets of a diameter not greater than $0.966$. △ Less

Submitted 22 October, 2022; originally announced October 2022.

Comments: 19 pages, 17 figures

Journal ref: Discrete Applied Mathematics, 320, 270-281 (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.

Journal ref: Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI)518(2022), 94-113

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.

Comments: 8p

Constructing 5-chromatic unit distance graphs embedded in the Euclidean plane and two-dimensional spheres

Authors: Vsevolod Voronov, Anna Neopryatnaya, Eugene Dergachev

Abstract: This paper is devoted to the development of algorithms for finding unit distance graphs with chromatic number greater than 4, embedded in a two-dimensional sphere or plane. Such graphs provide a lower bound for the Nelson-Hadwiger problem on the chromatic number of the plane and its generalizations to the case of the sphere. A series of 5-chromatic unit distance graphs on 64513 vertices embedded i… ▽ More This paper is devoted to the development of algorithms for finding unit distance graphs with chromatic number greater than 4, embedded in a two-dimensional sphere or plane. Such graphs provide a lower bound for the Nelson-Hadwiger problem on the chromatic number of the plane and its generalizations to the case of the sphere. A series of 5-chromatic unit distance graphs on 64513 vertices embedded into the plane is constructed. Unlike previously known examples, these graphs do not contain the Moser spindle as a subgraph. The construction of 5-chromatic graphs embedded in a sphere at two values of the radius is given. Namely, the 5-chromatic unit distance graph on 372 vertices embedded into the circumsphere of an icosahedron with a unit edge length, and the 5-chromatic graph on 972 vertices embedded into the circumsphere of a great icosahedron are constructed. △ Less

Submitted 22 October, 2022; v1 submitted 7 June, 2021; originally announced June 2021.

Comments: 20 pages, 12 figures. Fixed a few minor mistakes. Changes suggested by the reviewers have been made. Simplified some formulas

Journal ref: Discrete Mathematics, 345(12), 113106 (2022)

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.

Comments: 13 pages, 3 figures, in Russian

MSC Class: 05C15

Journal ref: Algebra i Analiz, 2017, Volume 29, Issue 5, Pages 68--89