Showing 1–9 of 9 results for author: Bondarenko, A V

Upper bounds on chromatic number of $\mathbb{E}^n$ in low dimensions

Authors: Andrii Arman, Andriy V. Bondarenko, Andriy Prymak, Danylo Radchenko

Abstract: Let $χ(\mathbb{E}^n)$ denote the chromatic number of the Euclidean space $\mathbb{E}^n$, i.e., the smallest number of colors that can be used to color $\mathbb{E}^n$ so that no two points unit distance apart are of the same color. We present explicit constructions of colorings of $\mathbb{E}^n$ based on sublattice coloring schemes that establish the following new bounds: $χ(\mathbb{E}^5)\le 140$,… ▽ More Let $χ(\mathbb{E}^n)$ denote the chromatic number of the Euclidean space $\mathbb{E}^n$, i.e., the smallest number of colors that can be used to color $\mathbb{E}^n$ so that no two points unit distance apart are of the same color. We present explicit constructions of colorings of $\mathbb{E}^n$ based on sublattice coloring schemes that establish the following new bounds: $χ(\mathbb{E}^5)\le 140$, $χ(\mathbb{E}^n)\le 7^{n/2}$ for $n\in\{6,8,24\}$, $χ(\mathbb{E}^7)\le 1372$, $χ(\mathbb{E}^{9})\leq 17253$, and $χ(\mathbb{E}^n)\le 3^n$ for all $n\le 38$ and $n=48,49$. △ Less

Submitted 12 February, 2022; v1 submitted 26 December, 2021; originally announced December 2021.

Comments: 16 pages

Journal ref: Electron. J. Combin., 31(2) (2024), #P2.35

There is no strongly regular graph with parameters (460,153,32,60)

Authors: A. V. Bondarenko, A. Mellit, A. Prymak, D. Radchenko, M. Viazovska

Abstract: We prove that there is no strongly regular graph (SRG) with parameters (460,153,32,60). The proof is based on a recent lower bound on the number of 4-cliques in a SRG and some applications of Euclidean representation of SRGs. We prove that there is no strongly regular graph (SRG) with parameters (460,153,32,60). The proof is based on a recent lower bound on the number of 4-cliques in a SRG and some applications of Euclidean representation of SRGs. △ Less

Submitted 19 April, 2017; v1 submitted 21 September, 2015; originally announced September 2015.

MSC Class: Primary 05C25; Secondary 05C50

Non-existence of (76,30,8,14) strongly regular graph

Authors: A. V. Bondarenko, A. Prymak, D. Radchenko

Abstract: We prove the non-existence of strongly regular graph with parameters $(76,30,8,14)$. We use Euclidean representation of a strongly regular graph together with a new lower bound on the number of 4-cliques to derive strong structural properties of the graph, and then use these properties to show that the graph cannot exist. We prove the non-existence of strongly regular graph with parameters $(76,30,8,14)$. We use Euclidean representation of a strongly regular graph together with a new lower bound on the number of 4-cliques to derive strong structural properties of the graph, and then use these properties to show that the graph cannot exist. △ Less

Submitted 31 March, 2017; v1 submitted 24 October, 2014; originally announced October 2014.

MSC Class: Primary 05C25; Secondary 05C50; 52C99; 41A55

Journal ref: Linear Algebra Appl. 527 (2017), 53-72

On concentrators and related approximation constants

Authors: A. V. Bondarenko, A. Prymak, D. Radchenko

Abstract: Pippenger ([Pippenger, 1977]) showed the existence of $(6m,4m,3m,6)$-concentrator for each positive integer $m$ using a probabilistic method. We generalize his approach and prove existence of $(6m,4m,3m,5.05)$-concentrator (which is no longer regular, but has fewer edges). We apply this result to improve the constant of approximation of almost additive set functions by additive set functions from… ▽ More Pippenger ([Pippenger, 1977]) showed the existence of $(6m,4m,3m,6)$-concentrator for each positive integer $m$ using a probabilistic method. We generalize his approach and prove existence of $(6m,4m,3m,5.05)$-concentrator (which is no longer regular, but has fewer edges). We apply this result to improve the constant of approximation of almost additive set functions by additive set functions from $44.5$ (established in [Kalton, Roberts, 1983]) to $39$. We show a more direct connection of the latter problem to the Whitney type estimate for approximation of continuous functions on a cube in $\mathbb{R}^d$ by linear functions, and improve the estimate of this Whitney constant from $802$ (proved in [Brudnyi, Kalton, 2000]) to $73$. △ Less

Submitted 8 April, 2014; originally announced April 2014.

MSC Class: Primary 41A63 (46A10). Secondary 05D40; 05C35

Journal ref: J. Math. Anal. Appl. 402 (2013), no. 1, 234-241

On Borsuk's conjecture for two-distance sets

Authors: Andriy V. Bondarenko

Abstract: In this paper we answer Larman's question on Borsuk's conjecture for two-distance sets. We find a two-distance set consisting of 416 points on the unit sphere in the dimension 65 which cannot be partitioned into 83 parts of smaller diameter. This also reduces the smallest dimension in which Borsuk's conjecture is known to be false. Other examples of two-distance sets with large Borsuk's numbers wi… ▽ More In this paper we answer Larman's question on Borsuk's conjecture for two-distance sets. We find a two-distance set consisting of 416 points on the unit sphere in the dimension 65 which cannot be partitioned into 83 parts of smaller diameter. This also reduces the smallest dimension in which Borsuk's conjecture is known to be false. Other examples of two-distance sets with large Borsuk's numbers will be given. △ Less

Submitted 29 August, 2013; v1 submitted 12 May, 2013; originally announced May 2013.

Comments: 9 pages

MSC Class: 05C50; 52C35; 41A55; 41A63

On a family of strongly regular graphs with λ=1

Authors: Andriy V. Bondarenko, Danylo V. Radchenko

Abstract: In this paper, we give a complete description of strongly regular graphs with parameters ((n^2+3n-1)^2,n^2(n+3),1,n(n+1)). All possible such graphs are: the lattice graph $L_{3,3}$ with parameters (9,4,1,2), the Brouwer-Haemers graph with parameters (81,20,1,6), and the Games graph with parameters (729,112,1,20). In this paper, we give a complete description of strongly regular graphs with parameters ((n^2+3n-1)^2,n^2(n+3),1,n(n+1)). All possible such graphs are: the lattice graph $L_{3,3}$ with parameters (9,4,1,2), the Brouwer-Haemers graph with parameters (81,20,1,6), and the Games graph with parameters (729,112,1,20). △ Less

Submitted 3 February, 2012; v1 submitted 1 January, 2012; originally announced January 2012.

Comments: 17 pages

MSC Class: 05C25; 05C50; 52C99; 41A55; 11D61

Bernstein type inequality in monotone rational approximation

Authors: Andriy V. Bondarenko, Maryna S. Viazovska

Abstract: The following analog of Bernstein inequality for monotone rational functions is established: if $R$ is an increasing on $[-1,1]$ rational function of degree $n$, then $$ R'(x)<\frac{9^n}{1-x^2}\|R\|,\quad x\in (-1,1). $$ The exponential dependence of constant factor on $n$ is shown, with sharp estimates for odd rational functions. The following analog of Bernstein inequality for monotone rational functions is established: if $R$ is an increasing on $[-1,1]$ rational function of degree $n$, then $$ R'(x)<\frac{9^n}{1-x^2}\|R\|,\quad x\in (-1,1). $$ The exponential dependence of constant factor on $n$ is shown, with sharp estimates for odd rational functions. △ Less

Submitted 22 September, 2010; originally announced September 2010.

Comments: 9 pages

Journal ref: East J. Approx. 11 (2005), no. 1, 103--108

Spherical designs via Brouwer fixed point theorem

Authors: Andriy V. Bondarenko, Maryna S. Viazovska

Abstract: For each N>=c_d*n^{2d*(d+1)/(d+2)} we prove the existence of a spherical n-design on S^d consisting of N points, where c_d is a constant depending only on $d$. For each N>=c_d*n^{2d*(d+1)/(d+2)} we prove the existence of a spherical n-design on S^d consisting of N points, where c_d is a constant depending only on $d$. △ Less

Submitted 10 November, 2008; originally announced November 2008.

Comments: 17 pages

Journal ref: SIAM J. Discrete Math. 24 (2010), no. 1, 207--217

New asymptotic estimates for spherical designs

Authors: Andriy V. Bondarenko, Maryna S. Viazovska

Abstract: Let N(n, t) be the minimal number of points in a spherical t-design on the unit sphere S^n in R^{n+1}. For each n >= 3, we prove a new asymptotic upper bound N(n, t) <= C(n)t^{a_n}, where C(n) is a constant depending only on n, a_3 <= 4, a_4 <= 7, a_5 <= 9, a_6 <= 11, a_7 <= 12, a_8 <= 16, a_9 <= 19, a_10 <= 22, and a_n < n/2*log_2(2n), n > 10. Let N(n, t) be the minimal number of points in a spherical t-design on the unit sphere S^n in R^{n+1}. For each n >= 3, we prove a new asymptotic upper bound N(n, t) <= C(n)t^{a_n}, where C(n) is a constant depending only on n, a_3 <= 4, a_4 <= 7, a_5 <= 9, a_6 <= 11, a_7 <= 12, a_8 <= 16, a_9 <= 19, a_10 <= 22, and a_n < n/2*log_2(2n), n > 10. △ Less

Submitted 2 November, 2008; originally announced November 2008.

Comments: 12 pages

Journal ref: Journal of Approximation Theory Volume 152, Issue 1, May 2008, Pages 101-106