Papers by Oleg R. Musin
44 paper(s) by this author
· All BibTeX
Borsuk-Ulam type theorem for the orthogonal group and orthogonal four-partitions
Given a finite Borel measure $μ$ in $\mathbb{R}^d$, when can one find $d$ mutually orthogonal hyperplanes such that \emph{every pair} of them cuts $μ$ into four equal parts? Makeev [2] stated this result and outlined a proof strategy, but the key steps were left incomplete. We give the first complete proof.
The key step is a Borsuk--Ulam-type theorem for the orthogonal group~$O(k)$: every continuous equivariant map from~$O(k)$ to a certain representation of the hyperoctahedral group~$B_k$ must vanish somewhere. We construct an explicit model map whose zero set consists of exactly one free $B_k$-orbit --- the set of all signed eigenbases of a fixed generic self-adjoint operator~$A$ --- verify nondegeneracy by an explicit derivative calculation, and conclude by the equivariant degree principle. The proof requires only linear algebra and elementary topology.
The four-partition theorem follows immediately: the orthogonal hyperplanes are encoded as a frame in $O(d)$, and the equivariant map records the imbalance of $μ$ across each pair of hyperplanes. A zero of this map is the desired configuration. The result is a special case of a general zero theorem for Stiefel manifolds proved in [5] by different methods.
The Five Distance Theorem For A Convex Norm
The three gap theorem states that the points of the Kronecker sequence $α,2α,\ldots,Nα$, considered modulo one, divide the circle into intervals of at most three distinct lengths. In a two-dimensional nearest-neighbour analogue, Haynes and Marklof proved that the Kronecker sequence modulo an arbitrary unimodular lattice determines at most five distinct nearest-neighbour distances in the Euclidean norm, and that this bound is sharp. Dettmann subsequently constructed examples attaining five distinct distances for every $\ell_p$-norm, $1\leq p\leq\infty$. We prove the corresponding upper bound for every strictly convex norm on $\mathbb R^2$: for every unimodular lattice $L$, every $\boldsymbolα\in\mathbb R^2$, and every $N\in\mathbb N$, the number of distinct nearest-neighbour distances is at most five. In particular, this settles the conjectured bound for all $\ell_p$-norms with $1<p<\infty$, for which the bound is optimal. The proof extends the lattice-theoretic argument of Haynes and Marklof by replacing its Euclidean angular estimates with a cone lemma based on a proper Brass angular measure.
Borsuk-Ulam type theorem for Stiefel manifolds and orthogonal mass partitions
A generalization of the Borsuk-Ulam theorem to Stiefel manifolds is considered. This theorem is applied to derive bounds on $d$ that guarantee--for a given set of $m$ measures in $\mathbb{R}^d$--the existence of $k$ mutually orthogonal hyperplanes, any $n$ of which partition each of the measures into $2^n$ equal parts. If $n=k$, the result corresponds to the bound obtained in [11], but with the stronger conclusion that the hyperplanes are mutually orthogonal.
Computing the Hopf invariant
We consider Whitehead's integral formula and propose an algorithm for computing the Hopf invariant for simplicial mappings.
Algorithms for orthogonal partitioning into four parts
The famous pancake theorem states that for every finite set $X$ in the plane, there exist two orthogonal lines that divide $X$ into four equal parts. We propose an algorithm whose running time is linear in the number of points in $X$ and prove that this complexity is optimal. We also consider generalizations of the pancake theorem and show that orthogonal hyperplanes can be found in polynomial time.
Minimal simplicial spherical mappings with a given degree
This paper studies the minimal number of vertices $λ(n,d)$ required in a triangulation of the $n$-sphere to admit a simplicial map to the boundary of a $(n+1)$-simplex with a given degree $d$. We establish upper bounds for $λ(n,d)$ in dimensions $n \geq 3$. Furthermore, we provide exact formulas for small values of $d$, showing that $λ(n,d)=n+d+3$ for $n \geq 3$ and $d=2,3,4$. A key technical result is the identity $λ(n,d) = λ(d-1,d) + n - d + 1$ for $n \geq d$, which allows us to reduce higher-dimensional cases to lower-dimensional ones. The proofs involve constructive methods based on local modifications of triangulations and combinatorial arguments.
Borsuk's conjecture for two-distance sets and its equivalent formulation for graphs
Every graph G can be embedded in a Euclidean space as a two-distance set. This allows us to reformulate the analogue of Borsuk's conjecture for two-distance sets in terms of graphs. This conjecture remains open for dimensions from 4 to 63. This short note also discusses an approach for finding counterexamples using graphs, as well as its generalization for s-distance sets.
On Scarf's theorem for generalized cooperative games with external relations
In this paper, we consider a generalization of cooperative games to the case where a coalition can distribute the earned utility not only among its members but also to other players. In particular, we consider an example where coalitions are required to share their winnings with non-contributing players. For these generalized games, we also provide an analogue of Scarf's theorem. It turns out that in this generalization, the existence of a non-empty core is closely related to a homotopy invariant of covers defined by the cooperative game.
Semidefinite programming bounds for distance distribution of spherical codes
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.
Circle actions on oriented 4-manifolds
Published
• View Publication
• BIB
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.
Balanced 2-subsets
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.
Logarithmic algorithms for fair division problems
Published
• View Publication
• BIB
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.
Homotopy groups and quantitative Sperner-type lemma
We consider a generalization of Sperner's lemma for a triangulation $T$ of $(m+1)$-discs $D$ whose vertices are colored in $n+2$ colors. A proper coloring of $T$ on the boundary of $D$ determines a simplicial mapping $f:S^m \to S^n$ and the element $x=[f]$ in $π_m(S^n)$. For any $x$ in this homotopy group we define a non-negative integer $μ(x)$. For some cases this invariant can be found explicitly. Namely, if $m=n$ then this number is the Brouwer degree of the mapping $f$. For the case $m=3, n=2$ we found a lower bound for $μ(x)$, where $x$ is the Hopf invariant, and proved that $μ(1)=μ(2)=9$.
The main result of this paper is the theorem that the number of fully colored $n$-simplexes in $T$ is not less than $μ([f])$. To prove this theorem we use a generalization of Pontryagin's theorem for manifolds with respect to their boundaries.
Majorization and minimal energy on spheres
Published in SIAM Journal on Discrete Mathematics, 2021, Vol. 35, No. 3 : pp. 1578-1591
• View Publication
• BIB
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.
Ramanujan's theorem and highest abundant numbers
Published in Arnold Mathematical Journal; Vol 6:1 (2020); 119-130
• View Publication
• BIB
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.
Neighboring mapping points theorem
Published in Algebr. Geom. Topol. 23 (2023) 3043-3070
• View Publication
• BIB
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 mappings m-sphere to n-space with m<n and extends to wider classes of spaces.
Analogs of Steiner's porism and Soddy's hexlet in higher dimensions via spherical codes
Published in Arch. Math. 111 (2018), 493-501
• View Publication
• BIB
In this paper we consider generalizations of classical results on chains of tangent spheres to higher dimensions.
Towards a proof of the 24-cell conjecture
Published in Acta Math. Hungar., 155:1 (2018), 184-199
• View Publication
• BIB
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.
Cobordism classes of maps and covers for spheres
Published in Topology and its Applications, 237 (2018), p. 21-25
• View Publication
• BIB
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.
Rigidity of powers and Kosniowski's conjecture
Published in Siberian Electronic Mathematical Reports, vol. 15 (2018), pp. 1227-1236
• View Publication
• BIB
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.