Showing 1–50 of 51 results for author: Musin, O R

Semidefinite programming bounds for distance distribution of spherical codes

Authors: Oleg R. Musin

Abstract: We present an extension of known semidefinite and linear programming upper bounds for spherical codes. We apply the main result for the distance distribution of a spherical code and show that this method can work effectively In particular, we get a shorter solution to the kissing number problem in dimension 4. We present an extension of known semidefinite and linear programming upper bounds for spherical codes. We apply the main result for the distance distribution of a spherical code and show that this method can work effectively In particular, we get a shorter solution to the kissing number problem in dimension 4. △ Less

Submitted 30 September, 2023; v1 submitted 24 September, 2023; originally announced September 2023.

Comments: 14 pages, 1 figure. arXiv admin note: substantial text overlap with arXiv:1903.05767

Circle actions on oriented 4-manifolds

Authors: Donghoon Jang, Oleg R. Musin

Abstract: In the present paper, we consider an action of the circle group on a compact oriented 4-manifold. We derive the Atiyah-Hirzebruch formula for the manifold, and associate a graph in terms of data on the fixed point set. We show in the case of isolated fixed points that if an abstract graph satisfies the Atiyah-Hirzebruch formula, then there exists a corresponding 4-dimensional oriented $S^1$-manifo… ▽ More In the present paper, we consider an action of the circle group on a compact oriented 4-manifold. We derive the Atiyah-Hirzebruch formula for the manifold, and associate a graph in terms of data on the fixed point set. We show in the case of isolated fixed points that if an abstract graph satisfies the Atiyah-Hirzebruch formula, then there exists a corresponding 4-dimensional oriented $S^1$-manifold. △ Less

Submitted 21 August, 2023; v1 submitted 10 July, 2023; originally announced July 2023.

Comments: Improved results; we can reduce every weight to 1

Balanced 2-subsets

Authors: Mikhail V. Bludov, Oleg R. Musin

Abstract: Balanced sets appeared in the 1960s in cooperative game theory as a part of nonempty core conditions. In this paper we present a classification of balanced families containing only 2-element subsets. We also discuss generalizations of the classical Sperner and Tucker lemmas using balanced sets. Balanced sets appeared in the 1960s in cooperative game theory as a part of nonempty core conditions. In this paper we present a classification of balanced families containing only 2-element subsets. We also discuss generalizations of the classical Sperner and Tucker lemmas using balanced sets. △ Less

Submitted 26 February, 2023; originally announced February 2023.

Logarithmic algorithms for fair division problems

Authors: Alexandr Grebennikov, Xenia Isaeva, Andrei V. Malyutin, Mikhail Mikhailov, Oleg R. Musin

Abstract: We study the algorithmic complexity of fair division problems with a focus on minimizing the number of queries needed to find an approximate solution with desired accuracy. We show for several classes of fair division problems that under certain natural conditions on sets of preferences, a logarithmic number of queries with respect to accuracy is sufficient. We study the algorithmic complexity of fair division problems with a focus on minimizing the number of queries needed to find an approximate solution with desired accuracy. We show for several classes of fair division problems that under certain natural conditions on sets of preferences, a logarithmic number of queries with respect to accuracy is sufficient. △ Less

Submitted 15 November, 2023; v1 submitted 27 December, 2021; originally announced December 2021.

Comments: 13 pages, 6 figures

Homotopy groups and quantitative Sperner-type lemma

Authors: Oleg R. Musin

Abstract: We consider a generalization of Sperner's lemma for triangulations of m-discs whose vertices are colored in at most m colors. A coloring on the boundary (m-1)-sphere defines an element in the corresponding homotopy group of the sphere. Depending on this invariant, a lower bound is obtained for the number of fully colored simplexes. In particular, if the Hopf invariant is nonzero on the boundary of… ▽ More We consider a generalization of Sperner's lemma for triangulations of m-discs whose vertices are colored in at most m colors. A coloring on the boundary (m-1)-sphere defines an element in the corresponding homotopy group of the sphere. Depending on this invariant, a lower bound is obtained for the number of fully colored simplexes. In particular, if the Hopf invariant is nonzero on the boundary of 4-disk, then there are at least 9 fully colored tetrahedra and if the Hopf invariant is d, then the lower bound is 3d + 3. △ Less

Submitted 16 July, 2020; originally announced July 2020.

Comments: 10 pages, 1 figure

Majorization and minimal energy on spheres

Authors: Oleg R. Musin

Abstract: In the present paper, we consider the majorization theorem (also known as Karamata's inequality) and the respective minima of the majorization (the so-called M-sets) for f-energy potentials of $m$-point configurations on the unit sphere. In particular, we show the optimality of regular simplexes, describe some M-sets of small cardinality, define and discuss spherical f-designs. In the present paper, we consider the majorization theorem (also known as Karamata's inequality) and the respective minima of the majorization (the so-called M-sets) for f-energy potentials of $m$-point configurations on the unit sphere. In particular, we show the optimality of regular simplexes, describe some M-sets of small cardinality, define and discuss spherical f-designs. △ Less

Submitted 24 March, 2021; v1 submitted 13 January, 2020; originally announced January 2020.

Comments: 18 pages

Journal ref: SIAM Journal on Discrete Mathematics, 2021, Vol. 35, No. 3 : pp. 1578-1591

Log-optimal (d+2)-configurations in d-dimensions

Authors: Peter D. Dragnev, Oleg R. Musin

Abstract: We enumerate and classify all stationary logarithmic configurations of d+2 points on the unit (d-1)-sphere in d-dimensions. In particular, we show that the logarithmic energy attains its relative minima at configurations that consist of two orthogonal to each other regular simplexes of cardinality m and n. The global minimum occurs when m=n if d is even and m=n+1 otherwise. This characterizes a ne… ▽ More We enumerate and classify all stationary logarithmic configurations of d+2 points on the unit (d-1)-sphere in d-dimensions. In particular, we show that the logarithmic energy attains its relative minima at configurations that consist of two orthogonal to each other regular simplexes of cardinality m and n. The global minimum occurs when m=n if d is even and m=n+1 otherwise. This characterizes a new class of configurations that minimize the logarithmic energy on the (d-1)-sphere for all d. The other two classes known in the literature, the regular simplex and the cross polytope, are both universally optimal configurations. △ Less

Submitted 11 March, 2022; v1 submitted 21 September, 2019; originally announced September 2019.

Comments: 17 pages

MSC Class: 74G05; 74G65; 31B15; 31C15

Ramanujan's theorem and highest abundant numbers

Authors: Oleg R. Musin

Abstract: In 1915, Ramanujan proved asymptotic inequalities for the sum of divisors function, assuming the Riemann hypothesis (RH). We consider a strong version of Ramanujan's theorem and define highest abundant numbers that are extreme with respect to the Ramanujan and Robin inequalities. Properties of these numbers are very different depending on whether the RH is true or false. In 1915, Ramanujan proved asymptotic inequalities for the sum of divisors function, assuming the Riemann hypothesis (RH). We consider a strong version of Ramanujan's theorem and define highest abundant numbers that are extreme with respect to the Ramanujan and Robin inequalities. Properties of these numbers are very different depending on whether the RH is true or false. △ Less

Submitted 10 February, 2020; v1 submitted 22 May, 2019; originally announced May 2019.

Comments: 12 pages, 1 figure

Journal ref: Arnold Mathematical Journal; Vol 6:1 (2020); 119-130

An extension the semidefinite programming bound for spherical codes

Authors: Oleg R. Musin

Abstract: In this paper we present an extension of known semidefinite and linear programming upper bounds for spherical codes and consider a version of this bound for distance graphs. We apply the main result for the distance distribution of a spherical code. In this paper we present an extension of known semidefinite and linear programming upper bounds for spherical codes and consider a version of this bound for distance graphs. We apply the main result for the distance distribution of a spherical code. △ Less

Submitted 13 March, 2019; originally announced March 2019.

Comments: 11 pages

Neighboring map** points theorem

Authors: Andrei V. Malyutin, Oleg R. Musin

Abstract: We introduce and study a new family of extensions for the Borsuk-Ulam and topological Radon type theorems. The defining idea for this new family is to replace requirements of the form `a subset that is large in some sense goes to a singleton' with requirements of the milder form `a subset that is large in some sense goes to a subset that is small in some sense'. This approach covers the case of ma… ▽ More We introduce and study a new family of extensions for the Borsuk-Ulam and topological Radon type theorems. The defining idea for this new family is to replace requirements of the form `a subset that is large in some sense goes to a singleton' with requirements of the milder form `a subset that is large in some sense goes to a subset that is small in some sense'. This approach covers the case of map**s m-sphere to n-space with m<n and extends to wider classes of spaces. △ Less

Submitted 10 January, 2022; v1 submitted 28 December, 2018; originally announced December 2018.

Comments: 21 pages, 5 figures

Journal ref: Algebr. Geom. Topol. 23 (2023) 3043-3070

Analogs of Steiner's porism and Soddy's hexlet in higher dimensions via spherical codes

Authors: Oleg R. Musin

Abstract: In this paper we consider generalizations of classical results on chains of tangent spheres to higher dimensions. In this paper we consider generalizations of classical results on chains of tangent spheres to higher dimensions. △ Less

Submitted 23 June, 2018; v1 submitted 25 January, 2018; originally announced January 2018.

Comments: 9 pages, 2 figures

Journal ref: Arch. Math. 111 (2018), 493-501

Towards a proof of the 24-cell conjecture

Authors: Oleg R. Musin

Abstract: This review paper is devoted to the problems of sphere packings in 4 dimensions. The main goal is to find reasonable approaches for solutions to problems related to densest sphere packings in 4-dimensional Euclidean space. We consider two long-standing open problems: the uniqueness of maximum kissing arrangements in 4 dimensions and the 24-cell conjecture. Note that a proof of the 24-cell conjectu… ▽ More This review paper is devoted to the problems of sphere packings in 4 dimensions. The main goal is to find reasonable approaches for solutions to problems related to densest sphere packings in 4-dimensional Euclidean space. We consider two long-standing open problems: the uniqueness of maximum kissing arrangements in 4 dimensions and the 24-cell conjecture. Note that a proof of the 24-cell conjecture also proves that the checkerboard lattice packing D4 is the densest sphere packing in 4 dimensions. △ Less

Submitted 29 March, 2018; v1 submitted 11 December, 2017; originally announced December 2017.

Comments: 19 pages

Journal ref: Acta Math. Hungar., 155:1 (2018), 184-199

Cobordism classes of maps and covers for spheres

Authors: Oleg R. Musin, Jie Wu

Abstract: In this paper we show that for m>n the set of cobordism classes of maps from m-sphere to n-sphere is trivial. The determination of the cobordism homotopy groups of spheres admits applications to the covers for spheres. In this paper we show that for m>n the set of cobordism classes of maps from m-sphere to n-sphere is trivial. The determination of the cobordism homotopy groups of spheres admits applications to the covers for spheres. △ Less

Submitted 3 January, 2018; v1 submitted 9 May, 2017; originally announced May 2017.

Comments: 6 pages

Journal ref: Topology and its Applications, 237 (2018), p. 21-25

Rigidity of powers and Kosniowski's conjecture

Authors: Zhi Lü, Oleg R. Musin

Abstract: In this paper we state a problem on rigidity of powers, which has a strong topological background for the rigid Hirzebruch genera and Kosniowski's conjecture of unitary circle actions. However, our statement of this problem is elementary enough and does not require any knowledge of algebraic topology. We shall give a solution of this problem for some particular cases. As a consequence, we obtain t… ▽ More In this paper we state a problem on rigidity of powers, which has a strong topological background for the rigid Hirzebruch genera and Kosniowski's conjecture of unitary circle actions. However, our statement of this problem is elementary enough and does not require any knowledge of algebraic topology. We shall give a solution of this problem for some particular cases. As a consequence, we obtain that Kosniowski's conjecture holds in the case of dimension less than 11 or equal to 14. △ Less

Submitted 18 August, 2018; v1 submitted 21 February, 2017; originally announced February 2017.

Comments: 10 pages

Journal ref: Siberian Electronic Mathematical Reports, vol. 15 (2018), pp. 1227-1236

Borsuk-Ulam type theorems for G-spaces with applications to Tucker type lemmas

Authors: Oleg R. Musin, Alexey Yu. Volovikov

Abstract: In this paper we consider several generalizations of the Borsuk-Ulam theorem for G-spaces and apply these results to Tucker type lemmas for G-simplicial complexes and PL-manifolds. In this paper we consider several generalizations of the Borsuk-Ulam theorem for G-spaces and apply these results to Tucker type lemmas for G-simplicial complexes and PL-manifolds. △ Less

Submitted 24 December, 2022; v1 submitted 21 December, 2016; originally announced December 2016.

Comments: 20 pages

Graphs and spherical two-distance sets

Authors: Oleg R. Musin

Abstract: Every graph G can be embedded in a Euclidean space as a two-distance set. The Euclidean representation number of G is the smallest dimension in which G is representable by such an embedding. We consider spherical and J-spherical representation numbers of G and give exact formulas for these numbers using multiplicities of polynomials that are defined by the Caley-Menger determinant. One of the main… ▽ More Every graph G can be embedded in a Euclidean space as a two-distance set. The Euclidean representation number of G is the smallest dimension in which G is representable by such an embedding. We consider spherical and J-spherical representation numbers of G and give exact formulas for these numbers using multiplicities of polynomials that are defined by the Caley-Menger determinant. One of the main results of the paper are explicit formulas for the representation numbers of the join of graphs which are obtained from W. Kuperberg's type theorem for two-distance sets. △ Less

Submitted 14 July, 2018; v1 submitted 11 August, 2016; originally announced August 2016.

Comments: 20 pages

Journal ref: European Journal of Combinatorics, 80:1 (2019), 311-325

Five Essays on the Geometry of László Fejes Tóth

Authors: Oleg R. Musin

Abstract: In this paper we consider the following topics related to results of László Fejes Tóth: (1) The Tammes problem and Fejes Tóth's bound on circle packings; (2) Fejes Tóth's problem on maximizing the minimum distance between antipodal pairs of points on the sphere; (3) Fejes Tóth's problem on the maximum kissing number of packings on the sphere; (4) The Fejes Tóth -- Sachs problem on the one--sided k… ▽ More In this paper we consider the following topics related to results of László Fejes Tóth: (1) The Tammes problem and Fejes Tóth's bound on circle packings; (2) Fejes Tóth's problem on maximizing the minimum distance between antipodal pairs of points on the sphere; (3) Fejes Tóth's problem on the maximum kissing number of packings on the sphere; (4) The Fejes Tóth -- Sachs problem on the one--sided kissing numbers; (5) Fejes Tóth's papers on the isoperimetric problem for polyhedra. △ Less

Submitted 9 July, 2017; v1 submitted 10 April, 2016; originally announced April 2016.

Comments: 15 pages

KKM type theorems with boundary conditions

Authors: Oleg R. Musin

Abstract: We consider generalizations of Gale's colored KKM lemma and Shapley's KKMS theorem. It is shown that spaces and covers can be much more general and the boundary KKM rules can be substituted by more weaker boundary assumptions. We consider generalizations of Gale's colored KKM lemma and Shapley's KKMS theorem. It is shown that spaces and covers can be much more general and the boundary KKM rules can be substituted by more weaker boundary assumptions. △ Less

Submitted 17 October, 2016; v1 submitted 14 December, 2015; originally announced December 2015.

Comments: 13 pages, 2 figures. arXiv admin note: text overlap with arXiv:1406.6672 by other authors

Journal ref: J. Fixed Point Theory Appl.,19 (2017), 2037-2049

Circle actions with two fixed points

Authors: Oleg R. Musin

Abstract: We prove that if the circle group acts smooth and unitary on 2n-dimensional stably complex manifold with two isolated fixed points and it is not bound equivariantly, then n=1 or 3. Our proof relies on the rigid Hirzebruch genera. We prove that if the circle group acts smooth and unitary on 2n-dimensional stably complex manifold with two isolated fixed points and it is not bound equivariantly, then n=1 or 3. Our proof relies on the rigid Hirzebruch genera. △ Less

Submitted 11 December, 2015; originally announced December 2015.

Journal ref: Math. Notes, 100:4 (2016), 636-638

Borsuk - Ulam Type spaces

Authors: Oleg R. Musin, Alexey Yu. Volovikov

Abstract: We consider spaces with free involutions that satisfy the Borsuk - Ulam theorems (BUT-spaces). There are several equivalent definitions for BUT-spaces that can be considered as their properties. Our main technical tool is Yang's cohomological index. We consider spaces with free involutions that satisfy the Borsuk - Ulam theorems (BUT-spaces). There are several equivalent definitions for BUT-spaces that can be considered as their properties. Our main technical tool is Yang's cohomological index. △ Less

Submitted 6 December, 2015; v1 submitted 31 July, 2015; originally announced July 2015.

Comments: 20 pages

Journal ref: Mosc. Math. J., 15:4, (2015), 749-766

A survey on the kissing numbers

Authors: Peter Boyvalenkov, Stefan Dodunekov, Oleg R. Musin

Abstract: The maximum possible number of non-overlap** unit spheres that can touch a unit sphere in $n$ dimensions is called kissing number. The problem for finding kissing numbers is closely connected to the more general problems of finding bounds for spherical codes and sphere packings. We survey old and recent results on the kissing numbers kee** the generality of spherical codes. The maximum possible number of non-overlap** unit spheres that can touch a unit sphere in $n$ dimensions is called kissing number. The problem for finding kissing numbers is closely connected to the more general problems of finding bounds for spherical codes and sphere packings. We survey old and recent results on the kissing numbers kee** the generality of spherical codes. △ Less

Submitted 13 July, 2015; originally announced July 2015.

Comments: 15 pages

Journal ref: Serdica Math. J., vol. 38 (2012), pp. 507-522

Homotopy invariants of covers and KKM type lemmas

Authors: Oleg R. Musin

Abstract: With any (open or closed) cover of a space T we associate certain homotopy classes of maps T into n-spheres. These homotopy invariants can be considered as obstructions for extensions of covers of a subspace A to a space X. We using these obstructions for generalizations of the classic KKM (Knaster-Kuratowski-Mazurkiewicz) and Sperner lemmas. In particular, we show that in the case when A is a k-s… ▽ More With any (open or closed) cover of a space T we associate certain homotopy classes of maps T into n-spheres. These homotopy invariants can be considered as obstructions for extensions of covers of a subspace A to a space X. We using these obstructions for generalizations of the classic KKM (Knaster-Kuratowski-Mazurkiewicz) and Sperner lemmas. In particular, we show that in the case when A is a k-sphere and X is a (k+1)-disk there exist KKM type lemmas for covers by n+2 sets if and only if the k-homotopy group of n-sphere is not zero. △ Less

Submitted 7 September, 2015; v1 submitted 28 May, 2015; originally announced May 2015.

Comments: 12 pages

Journal ref: Algebr. Geom. Topol. 16 (2016) 1799-1812

The Voronoi Functional is Maximized by the Delaunay Triangulation in the Plane

Authors: Herbert Edelsbrunner, Alexey Glazyrin, Oleg R. Musin, Anton Nikitenko

Abstract: We introduce the Voronoi functional of a triangulation of a finite set of points in the Euclidean plane and prove that among all geometric triangulations of the point set, the Delaunay triangulation maximizes the functional. This result neither extends to topological triangulations in the plane nor to geometric triangulations in three and higher dimensions. We introduce the Voronoi functional of a triangulation of a finite set of points in the Euclidean plane and prove that among all geometric triangulations of the point set, the Delaunay triangulation maximizes the functional. This result neither extends to topological triangulations in the plane nor to geometric triangulations in three and higher dimensions. △ Less

Submitted 23 November, 2014; originally announced November 2014.

Comments: 11 pages, 9 figures

Journal ref: Combinatorica (2016), pp. 1--24

The Tammes problem for N=14

Authors: Oleg R. Musin, Alexey S. Tarasov

Abstract: The Tammes problem is to find the arrangement of N points on a unit sphere which maximizes the minimum distance between any two points. This problem is presently solved for several values of N, namely for N=3,4,6,12 by L. Fejes Toth (1943); for N=5,7,8,9 by Schutte and van der Waerden (1951); for N=10,11 by Danzer (1963) and for N=24 by Robinson (1961). Recently, we solved the Tammes problem for N… ▽ More The Tammes problem is to find the arrangement of N points on a unit sphere which maximizes the minimum distance between any two points. This problem is presently solved for several values of N, namely for N=3,4,6,12 by L. Fejes Toth (1943); for N=5,7,8,9 by Schutte and van der Waerden (1951); for N=10,11 by Danzer (1963) and for N=24 by Robinson (1961). Recently, we solved the Tammes problem for N=13. The optimal configuration of 14 points was conjectured more than 60 years ago. In the paper, we give a solution of this long-standing open problem in geometry. Our computer-assisted proof relies on an enumeration of the irreducible contact graphs. △ Less

Submitted 1 July, 2015; v1 submitted 9 October, 2014; originally announced October 2014.

Comments: 14 pages, 6 figures. arXiv admin note: substantial text overlap with arXiv:1002.1439

Journal ref: Experimental Mathematics, vol. 24:4 (2015), p. 460-468

Extreme problems of circle packings on a sphere and irreducible contact graphs

Authors: Oleg R. Musin, Alexey S. Tarasov

Abstract: Recently, we enumerate up to isometry, all locally rigid circle packings on the unit sphere with number of circles N<12. This problem is equivalent to the enumeration of irreducible contact graphs. In this paper we show that by using the list of irreducible graphs can solve various problems of extreme packings such as the Tammes problem for the sphere and the projective plane, the maximal contacts… ▽ More Recently, we enumerate up to isometry, all locally rigid circle packings on the unit sphere with number of circles N<12. This problem is equivalent to the enumeration of irreducible contact graphs. In this paper we show that by using the list of irreducible graphs can solve various problems of extreme packings such as the Tammes problem for the sphere and the projective plane, the maximal contacts problem, Danzer's and other problems on irreducible contact graphs. △ Less

Submitted 2 October, 2014; originally announced October 2014.

Comments: 21 pages, 86 figures, in Russian

Journal ref: Proceedings of the Steklov Institute of Mathematics, 2015, Vol. 288, pp. 117-131

Generalizations of Tucker-Fan-Shashkin lemmas

Authors: Oleg R. Musin

Abstract: Tucker and Ky Fan's lemma are combinatorial analogs of the Borsuk-Ulam theorem (BUT). In 1996, Yu. A. Shashkin proved a version of Fan's lemma, which is a combinatorial analog of the odd map** theorem (OMT). We consider generalizations of these lemmas for BUT-manifolds, i.e. for manifolds that satisfy BUT. Proofs rely on a generalization of the OMT and on a lemma about the doubling of manifolds… ▽ More Tucker and Ky Fan's lemma are combinatorial analogs of the Borsuk-Ulam theorem (BUT). In 1996, Yu. A. Shashkin proved a version of Fan's lemma, which is a combinatorial analog of the odd map** theorem (OMT). We consider generalizations of these lemmas for BUT-manifolds, i.e. for manifolds that satisfy BUT. Proofs rely on a generalization of the OMT and on a lemma about the doubling of manifolds with boundaries that are BUT-manifolds. △ Less

Submitted 25 April, 2016; v1 submitted 30 September, 2014; originally announced September 2014.

Comments: 10 pages, 2 figures

Journal ref: Arnold Math. J., 2:3 (2016), 299-308

Sperner type lemma for quadrangulations

Authors: Oleg R. Musin

Abstract: Sperner's lemma states that every Sperner coloring of a triangulation of a simplex contains a fully colored simplex. We present a generalization of this lemma, where instead of triangulations are considered quadrangulations. Sperner's lemma states that every Sperner coloring of a triangulation of a simplex contains a fully colored simplex. We present a generalization of this lemma, where instead of triangulations are considered quadrangulations. △ Less

Submitted 28 June, 2014; v1 submitted 19 June, 2014; originally announced June 2014.

Comments: 8 pages, 2 figures. arXiv admin note: text overlap with arXiv:1405.7513

Journal ref: Moscow Journal of Combinatorics and Number Theory, vol. 5 (2015), pp. 26-35

Around Sperner's lemma

Authors: Oleg R Musin

Abstract: We consider a generalization of the classic Sperner lemma. This lemma states that every Sperner coloring of a triangulation of a simplex contains a fully colored simplex. We found a weaker assumption than Sperner's coloring. It is also shown that the main theorem implies Tucker's lemma and some other theorems. We consider a generalization of the classic Sperner lemma. This lemma states that every Sperner coloring of a triangulation of a simplex contains a fully colored simplex. We found a weaker assumption than Sperner's coloring. It is also shown that the main theorem implies Tucker's lemma and some other theorems. △ Less

Submitted 29 May, 2014; originally announced May 2014.

Comments: 15 pages, 6 figures. arXiv admin note: text overlap with arXiv:1212.1899

Kakutani type Borsuk-Ulam theorem

Authors: Oleg R. Musin

Abstract: In this paper we present a Kakutani type theorem that is equivalent to the Borsuk--Ulam theorem for manifolds. In this paper we present a Kakutani type theorem that is equivalent to the Borsuk--Ulam theorem for manifolds. △ Less

Submitted 23 November, 2014; v1 submitted 7 May, 2014; originally announced May 2014.

Extensions of Sperner and Tucker's lemma for manifolds

Authors: Oleg R. Musin

Abstract: The Sperner and Tucker lemmas are combinatorial analogous of the Brouwer and Borsuk - Ulam theorems with many useful applications. These classic lemmas are concerning labellings of triangulated discs and spheres. In this paper we show that discs and spheres can be substituted by large classes of manifolds with or without boundary. The Sperner and Tucker lemmas are combinatorial analogous of the Brouwer and Borsuk - Ulam theorems with many useful applications. These classic lemmas are concerning labellings of triangulated discs and spheres. In this paper we show that discs and spheres can be substituted by large classes of manifolds with or without boundary. △ Less

Submitted 26 March, 2014; v1 submitted 9 December, 2012; originally announced December 2012.

Journal ref: Journal of Combinatorial Theory Series A, v. 132 (2015), pp. 172-187

Optimal packings of congruent circles on a square flat torus

Authors: Oleg R. Musin, Anton V. Nikitenko

Abstract: We consider packings of congruent circles on a square flat torus, i.e., periodic (w.r.t. a square lattice) planar circle packings, with the maximal circle radius. This problem is interesting due to a practical reason - the problem of "super resolution of images." We have found optimal arrangements for N=6, 7 and 8 circles. Surprisingly, for the case N=7 there are three different optimal arrangemen… ▽ More We consider packings of congruent circles on a square flat torus, i.e., periodic (w.r.t. a square lattice) planar circle packings, with the maximal circle radius. This problem is interesting due to a practical reason - the problem of "super resolution of images." We have found optimal arrangements for N=6, 7 and 8 circles. Surprisingly, for the case N=7 there are three different optimal arrangements. Our proof is based on a computer enumeration of toroidal irreducible contact graphs. △ Less

Submitted 6 December, 2012; v1 submitted 4 December, 2012; originally announced December 2012.

Comments: 22 pages, 6 figures

MSC Class: 52C15; 05B40

Journal ref: Discrete Comput Geom (2016) 55: 1

Functionals on Triangulations of Delaunay Sets

Authors: Nikolay P. Dolbilin, Herbert Edelsbrunner, Alexey Glazyrin, Oleg R. Musin

Abstract: We study densities of functionals over uniformly bounded triangulations of a Delaunay set of vertices, and prove that the minimum is attained for the Delaunay triangulation if this is the case for finite sets. We study densities of functionals over uniformly bounded triangulations of a Delaunay set of vertices, and prove that the minimum is attained for the Delaunay triangulation if this is the case for finite sets. △ Less

Submitted 29 November, 2012; originally announced November 2012.

Comments: 8 pages, 2 figures

Journal ref: Moscow Mathematical Journal 14, no. 3 (2014): 491-504

On the Optimality of Functionals over Triangulations of Delaunay Sets

Authors: Nikolay P. Dolbilin, Herbert Edelsbrunner, Oleg R. Musin

Abstract: In this short paper, we consider the functional density on sets of uniformly bounded triangulations with fixed sets of vertices. We prove that if a functional attains its minimum on the Delaunay triangulation, for every finite set in the plane, then for infinite sets the density of this functional attains its minimum also on the Delaunay triangulations. In this short paper, we consider the functional density on sets of uniformly bounded triangulations with fixed sets of vertices. We prove that if a functional attains its minimum on the Delaunay triangulation, for every finite set in the plane, then for infinite sets the density of this functional attains its minimum also on the Delaunay triangulations. △ Less

Submitted 16 September, 2012; originally announced September 2012.

Journal ref: Russian Math. Surv., 64:4 (2012), 781-783

Bounds on three- and higher-distance sets

Authors: Oleg R. Musin, Hiroshi Nozaki

Abstract: A finite set X in a metric space M is called an s-distance set if the set of distances between any two distinct points of X has size s. The main problem for s-distance sets is to determine the maximum cardinality of s-distance sets for fixed s and M. In this paper, we improve the known upper bound for s-distance sets in n-sphere for s=3,4. In particular, we determine the maximum cardinalities of t… ▽ More A finite set X in a metric space M is called an s-distance set if the set of distances between any two distinct points of X has size s. The main problem for s-distance sets is to determine the maximum cardinality of s-distance sets for fixed s and M. In this paper, we improve the known upper bound for s-distance sets in n-sphere for s=3,4. In particular, we determine the maximum cardinalities of three-distance sets for n=7 and 21. We also give the maximum cardinalities of s-distance sets in the Hamming space and the Johnson space for several s and dimensions. △ Less

Submitted 19 April, 2011; v1 submitted 14 May, 2010; originally announced May 2010.

Comments: 12 pages

Journal ref: European Journal of Combinatorics 32 (2011) 1182-1190

Borsuk-Ulam type theorems for manifolds

Authors: Oleg R. Musin

Abstract: This paper establishes a Borsuk-Ulam type theorem for PL-manifolds with a finite group action, depending on the free equivariant cobordism class of a manifold. In particular, necessary and sufficient conditions are considered for a manifold with a free involution to be a Borsuk-Ulam type. This paper establishes a Borsuk-Ulam type theorem for PL-manifolds with a finite group action, depending on the free equivariant cobordism class of a manifold. In particular, necessary and sufficient conditions are considered for a manifold with a free involution to be a Borsuk-Ulam type. △ Less

Submitted 24 February, 2011; v1 submitted 4 December, 2009; originally announced December 2009.

Comments: 13 pages

Journal ref: Proc. Amer. Math. Soc. 140 (2012), 2551-2560

The Extremal Spheres Theorem

Authors: Arseniy Akopyan, Alexey Glazyrin, Oleg R. Musin, Alexey Tarasov

Abstract: Consider a polygon P and all neighboring circles (circles going through three consecutive vertices of P). We say that a neighboring circle is extremal if it is empty (no vertices of P inside) or full (no vertices of P outside). It is well known that for any convex polygon there exist at least two empty and at least two full circles, i.e. at least four extremal circles. In 1990 Schatteman considere… ▽ More Consider a polygon P and all neighboring circles (circles going through three consecutive vertices of P). We say that a neighboring circle is extremal if it is empty (no vertices of P inside) or full (no vertices of P outside). It is well known that for any convex polygon there exist at least two empty and at least two full circles, i.e. at least four extremal circles. In 1990 Schatteman considered a generalization of this theorem for convex polytopes in d-dimensional Euclidean space. Namely, he claimed that there exist at least 2d extremal neighboring spheres. In this paper, we show that there are certain gaps in Schatteman's proof, which is based on the Bruggesser-Mani shelling method. We show that using this method it is possible to prove that there are at least d+1 extremal neighboring spheres. However, the existence problem of 2d extremal neighboring spheres is still open. △ Less

Submitted 31 March, 2011; v1 submitted 20 June, 2009; originally announced June 2009.

Comments: 9 pages, 4 figures

Journal ref: Discrete Mathematics 311(2-3): 171-177 (2011)

Bounds on sets with few distances

Authors: Alexander Barg, Oleg R. Musin

Abstract: We derive a new estimate of the size of finite sets of points in metric spaces with few distances. The following applications are considered: (1) we improve the Ray-Chaudhuri--Wilson bound of the size of uniform intersecting families of subsets; (2) we refine the bound of Delsarte-Goethals-Seidel on the maximum size of spherical sets with few distances; (3) we prove a new bound on codes with… ▽ More We derive a new estimate of the size of finite sets of points in metric spaces with few distances. The following applications are considered: (1) we improve the Ray-Chaudhuri--Wilson bound of the size of uniform intersecting families of subsets; (2) we refine the bound of Delsarte-Goethals-Seidel on the maximum size of spherical sets with few distances; (3) we prove a new bound on codes with few distances in the Hamming space, improving an earlier result of Delsarte. We also find the size of maximal binary codes and maximal constant-weight codes of small length with 2 and 3 distances. △ Less

Submitted 8 September, 2010; v1 submitted 14 May, 2009; originally announced May 2009.

Comments: 11 pages

Journal ref: Journal of Combinatorial Theory Ser. A, 118 , no. 4, 2011, pp. 1465-1474,

Chebyshev systems and zeros of a function on a convex curve

Authors: Oleg R. Musin

Abstract: The classical Hurwitz theorem says that if n first "harmonics" (2n + 1 Fourier coefficients) of a continuous function f(x) on the unit circle are zero, then f(x) changes sign at least 2n + 1 times. We show that similar facts and its converse hold for any function that are orthogonal to a Chebyshev system. These theorems can be extended for convex curves in d-dimensional Euclidean space. Namely,… ▽ More The classical Hurwitz theorem says that if n first "harmonics" (2n + 1 Fourier coefficients) of a continuous function f(x) on the unit circle are zero, then f(x) changes sign at least 2n + 1 times. We show that similar facts and its converse hold for any function that are orthogonal to a Chebyshev system. These theorems can be extended for convex curves in d-dimensional Euclidean space. Namely, if a function on a curve is orthogonal to the space of n-degree polynomials, then the function has at least nd + 1 zeros. This bound is sharp and is attained for curves on which the space of polynomials forms classical polynomial and trigonometric Chebyshev systems. We can regard the theorem of zeros as a generalization of the four-vertex theorem. There exists a discrete analog of the theorem of zeros for convex polygonal lines which yields a discrete version of the four-vertex theorem. △ Less

Submitted 27 April, 2009; v1 submitted 11 March, 2009; originally announced March 2009.

Journal ref: Proc. Steklov Inst. of Math., 221 (1998), 236-246

Positive definite functions in distance geometry

Authors: Oleg R. Musin

Abstract: I. J. Schoenberg proved that a function is positive definite in the unit sphere if and only if this function is a nonnegative linear combination of Gegenbauer polynomials. This fact play a crucial role in Delsarte's method for finding bounds for the density of sphere packings on spheres and Euclidean spaces. One of the most excited applications of Delsarte's method is a solution of the kissing n… ▽ More I. J. Schoenberg proved that a function is positive definite in the unit sphere if and only if this function is a nonnegative linear combination of Gegenbauer polynomials. This fact play a crucial role in Delsarte's method for finding bounds for the density of sphere packings on spheres and Euclidean spaces. One of the most excited applications of Delsarte's method is a solution of the kissing number problem in dimensions 8 and 24. However, 8 and 24 are the only dimensions in which this method gives a precise result. For other dimensions (for instance, three and four) the upper bounds exceed the lower. We have found an extension of the Delsarte method that allows to solve the kissing number problem (as well as the one-sided kissing number problem) in dimensions three and four. In this paper we also will discuss the maximal cardinalities of spherical two-distance sets. Using the so-called polynomial method and Delsarte's method these cardinalities can be determined for all dimensions $n<40$. Recently, were found extensions of Schoenberg's theorem for multivariate positive-definite functions. Using these extensions and semidefinite programming can be improved some upper bounds for spherical codes. △ Less

Submitted 8 January, 2009; originally announced January 2009.

Comments: Talk at the Fifth European Congress of Mathematics, Amsterdam,14-18 July 2008

Journal ref: European Congress of Mathematics Amsterdam, 14-18 July, 2008, 115-134, EMS Publishing House, 2010

On rigid Hirzebruch genera

Authors: Oleg R. Musin

Abstract: The classical multiplicative (Hirzebruch) genera of manifolds have the wonderful property which is called rigidity. Rigidity of a genus h means that if a compact connected Lie group G acts on a manifold X, then the equivariant genus h^G(X) is independent on G, i.e. h^G(X)=h(X). In this paper we are considering the rigidity problem for complex manifolds. In particular, we are proving that a genus i… ▽ More The classical multiplicative (Hirzebruch) genera of manifolds have the wonderful property which is called rigidity. Rigidity of a genus h means that if a compact connected Lie group G acts on a manifold X, then the equivariant genus h^G(X) is independent on G, i.e. h^G(X)=h(X). In this paper we are considering the rigidity problem for complex manifolds. In particular, we are proving that a genus is rigid if and only if it is a generalized Todd genus. △ Less

Submitted 3 January, 2011; v1 submitted 18 September, 2008; originally announced September 2008.

Comments: 10 pages

Journal ref: Mosc. Math. J., 11:1 (2011), 139-147

Curvature extrema and four-vertex theorems for polygons and polyhedra

Authors: Oleg R. Musin

Abstract: Discrete analogs of extrema of curvature and generalizations of the four-vertex theorem to the case of polygons and polyhedra are suggested and developed. For smooth curves and polygonal lines in the plane, a formula relating the number of extrema of curvature to the winding numbers of the curves (polygonal lines) and their evolutes is obtained. Also are considered higher-dimensional analogs of th… ▽ More Discrete analogs of extrema of curvature and generalizations of the four-vertex theorem to the case of polygons and polyhedra are suggested and developed. For smooth curves and polygonal lines in the plane, a formula relating the number of extrema of curvature to the winding numbers of the curves (polygonal lines) and their evolutes is obtained. Also are considered higher-dimensional analogs of the four-vertex theorem for regular and shellable triangulations. △ Less

Submitted 15 July, 2010; v1 submitted 6 May, 2008; originally announced May 2008.

Comments: Several changes in the last section. In the original version of this paper we claimed that any regular triangulation of a convex d-polytope has at least d ears. For a proof we used the same arguments as in Schatteman's paper [22]. Since this paper has certain gaps (see our paper [1]), the d -ears problem of a regular triangulation is still open

Journal ref: Journal of Mathematical Sciences, Vol. 119, No 2, 268-277, 2004

Spherical two-distance sets

Authors: Oleg R. Musin

Abstract: A set S of unit vectors in n-dimensional Euclidean space is called spherical two-distance set, if there are two numbers a and b, and inner products of distinct vectors of S are either a or b. The largest cardinality g(n) of spherical two-distance sets is not exceed n(n+3)/2. This upper bound is known to be tight for n=2,6,22. The set of mid-points of the edges of a regular simplex gives the lowe… ▽ More A set S of unit vectors in n-dimensional Euclidean space is called spherical two-distance set, if there are two numbers a and b, and inner products of distinct vectors of S are either a or b. The largest cardinality g(n) of spherical two-distance sets is not exceed n(n+3)/2. This upper bound is known to be tight for n=2,6,22. The set of mid-points of the edges of a regular simplex gives the lower bound L(n)=n(n+1)/2 for g(n. In this paper using the so-called polynomial method it is proved that for nonnegative a+b the largest cardinality of S is not greater than L(n). For the case a+b<0 we propose upper bounds on |S| which are based on Delsarte's method. Using this we show that g(n)=L(n) for 6<n<22, 23<n<40, and g(23)=276 or 277. △ Less

Submitted 2 July, 2008; v1 submitted 24 January, 2008; originally announced January 2008.

Comments: 9 pages, (v2) several small changes and corrections suggested by referees, accepted in Journal of Combinatorial Theory, Series A

Journal ref: Journal of Combinatorial Theory, Series A 116 (2009) 988--995

Multivariate positive definite functions on spheres

Authors: Oleg R. Musin

Abstract: In 1942 I. J. Schoenberg proved that a function is positive definite in the unit sphere if and only if this function is a positive linear combination of the Gegenbauer polynomials. In this paper we extend Schoenberg's theorem for multivariate Gegenbauer polynomials. This extension derives new positive semidefinite constraints for the distance distribution which can be applied for spherical codes… ▽ More In 1942 I. J. Schoenberg proved that a function is positive definite in the unit sphere if and only if this function is a positive linear combination of the Gegenbauer polynomials. In this paper we extend Schoenberg's theorem for multivariate Gegenbauer polynomials. This extension derives new positive semidefinite constraints for the distance distribution which can be applied for spherical codes. △ Less

Submitted 7 September, 2008; v1 submitted 3 January, 2007; originally announced January 2007.

Comments: 17 pages

Journal ref: AMS Series: Conteporary Mathematics, vol. 625 (2014), 177-190

Bounds for Codes by Semidefinite Programming

Authors: Oleg R. Musin

Abstract: Delsarte's method and its extensions allow to consider the upper bound problem for codes in 2-point-homogeneous spaces as a linear programming problem with perhaps infinitely many variables, which are the distance distribution. We show that using as variables power sums of distances this problem can be considered as a finite semidefinite programming problem. This method allows to improve some li… ▽ More Delsarte's method and its extensions allow to consider the upper bound problem for codes in 2-point-homogeneous spaces as a linear programming problem with perhaps infinitely many variables, which are the distance distribution. We show that using as variables power sums of distances this problem can be considered as a finite semidefinite programming problem. This method allows to improve some linear programming upper bounds. In particular we obtain new bounds of one-sided kissing numbers. △ Less

Submitted 1 July, 2008; v1 submitted 5 September, 2006; originally announced September 2006.

Comments: 20 pages

Journal ref: Proc. Steklov Inst. Math., 263 (2008), 134-149.

Codes in spherical caps

Authors: Alexander Barg, Oleg R. Musin

Abstract: We consider bounds on codes in spherical caps and related problems in geometry and coding theory. An extension of the Delsarte method is presented that relates upper bounds on the size of spherical codes to upper bounds on codes in caps. Several new upper bounds on codes in caps are derived. Applications of these bounds to estimates of the kissing numbers and one-sided kissing numbers are consid… ▽ More We consider bounds on codes in spherical caps and related problems in geometry and coding theory. An extension of the Delsarte method is presented that relates upper bounds on the size of spherical codes to upper bounds on codes in caps. Several new upper bounds on codes in caps are derived. Applications of these bounds to estimates of the kissing numbers and one-sided kissing numbers are considered. It is proved that the maximum size of codes in spherical caps for large dimensions is determined by the maximum size of spherical codes, so these problems are asymptotically equivalent. △ Less

Submitted 21 March, 2007; v1 submitted 28 June, 2006; originally announced June 2006.

Journal ref: Advances in Mathematics of Communications, vol. 1, no. 1, 2007, 131-149

An extension of Delsarte's method. The kissing problem in three and four dimensions

Authors: Oleg R. Musin

Abstract: These lecture notes treat the solution of the kissing number problem in four dimesions which is based on an extension of the Delsarte method for spherical codes. These lecture notes treat the solution of the kissing number problem in four dimesions which is based on an extension of the Delsarte method for spherical codes. △ Less

Submitted 29 December, 2005; originally announced December 2005.

Journal ref: The Proceedings of COE Workshop on Sphere Packings (Nov. 1st - Nov. 5th, 2004), Kyushu University, Japan, 2005, 1-25

The one-sided kissing number in four dimensions

Authors: Oleg R. Musin

Abstract: Let H be a closed half-space of n-dimensional Euclidean space. Suppose S is a unit sphere in H that touches the supporting hyperplane of H. The one-sided kissing number B(n) is the maximal number of unit nonoverlap** spheres in H that can touch S. Clearly, B(2)=4. It was proved that B(3)=9. Recently, K. Bezdek proved that B(4)=18 or 19, and conjectured that B(4)=18. We present a proof of this… ▽ More Let H be a closed half-space of n-dimensional Euclidean space. Suppose S is a unit sphere in H that touches the supporting hyperplane of H. The one-sided kissing number B(n) is the maximal number of unit nonoverlap** spheres in H that can touch S. Clearly, B(2)=4. It was proved that B(3)=9. Recently, K. Bezdek proved that B(4)=18 or 19, and conjectured that B(4)=18. We present a proof of this conjecture. △ Less

Submitted 21 March, 2007; v1 submitted 3 November, 2005; originally announced November 2005.

Journal ref: Periodica Math. Hungarica, vol. 53, No. 1-2 (September 2006), pp. 209-225

The kissing problem in three dimensions

Authors: Oleg R. Musin

Abstract: The kissing number k(3) is the maximal number of equal size nonoverlap** spheres in three dimensions that can touch another sphere of the same size. This number was the subject of a famous discussion between Isaac Newton and David Gregory in 1694. The first proof that k(3)=12 was given by Schütte and van der Waerden only in 1953. In this paper we present a new solution of the Newton-Gregory pr… ▽ More The kissing number k(3) is the maximal number of equal size nonoverlap** spheres in three dimensions that can touch another sphere of the same size. This number was the subject of a famous discussion between Isaac Newton and David Gregory in 1694. The first proof that k(3)=12 was given by Schütte and van der Waerden only in 1953. In this paper we present a new solution of the Newton-Gregory problem that uses our extension of the Delsarte method. This proof relies on basic calculus and simple spherical geometry. △ Less

Submitted 28 February, 2006; v1 submitted 13 October, 2004; originally announced October 2004.

Comments: 10 pages, 5 figures

MSC Class: 52C99

Journal ref: Discrete & Computational Geometry 35 (2006), no. 3, 375-384

Construction of the Voronoi Diagram and Secondary Polytope

Authors: Oleg R. Musin

Abstract: A set S of n points in general position in R^d defines the unique Voronoi diagram of S. Its dual tessellation is the Delaunay triangulation (DT) of S. In this paper we consider the parabolic functional on the set of triangulations of S and prove that it attains its minimum at DT in all dimensions. The Delaunay triangulation of S is corresponding to a vertex of the secondary polytope of S. We pro… ▽ More A set S of n points in general position in R^d defines the unique Voronoi diagram of S. Its dual tessellation is the Delaunay triangulation (DT) of S. In this paper we consider the parabolic functional on the set of triangulations of S and prove that it attains its minimum at DT in all dimensions. The Delaunay triangulation of S is corresponding to a vertex of the secondary polytope of S. We proposed an algorithm for DT's construction, where the parabolic functional and the secondary polytope are used. Finally, we considered a discrete analog of the Dirichlet functional. DT is optimal for this functional only in two dimensions. △ Less

Submitted 2 December, 2003; originally announced December 2003.

Journal ref: Voronoi Impact on Modern Science. Book 2. Kiev, Institute of Math., 1998, 105-114

Properties of the Delaunay Triangulation

Authors: Oleg R. Musin

Abstract: We defined several functionals on the set of all triangulations of the finite system of points in d-space achieving global minimum on the Delaunay triangulation (DT). We consider a so called "parabolic" functional and prove it attains its minimum on DT in all dimensions. As the second example we treat "mean radius" functional (mean of circumcircle radii of triangles) for planar triangulations. A… ▽ More We defined several functionals on the set of all triangulations of the finite system of points in d-space achieving global minimum on the Delaunay triangulation (DT). We consider a so called "parabolic" functional and prove it attains its minimum on DT in all dimensions. As the second example we treat "mean radius" functional (mean of circumcircle radii of triangles) for planar triangulations. As the third example we treat a so called "harmonic" functional. For a triangle this functional equals the sum of squares of sides over area. Finally, we consider a discrete analog of the Dirichlet functional. DT is optimal for these functionals only in dimension two. △ Less

Submitted 2 December, 2003; originally announced December 2003.

Journal ref: Proc. 13th annu. ACM Sympos. Comput. Geom. ACM Press, 1997, p. 424-426