No Arabic abstract
We show that the size of codes in projective space controls structural results for zeros of odd maps from spheres to Euclidean space. In fact, this relation is given through the topology of the space of probability measures on the sphere whose supports have diameter bounded by some specific parameter. Our main result is a generalization of the Borsuk--Ulam theorem, and we derive four consequences of it: (i) We give a new proof of a result of Simonyi and Tardos on topological lower bounds for the circular chromatic number of a graph; (ii) we study generic embeddings of spheres into Euclidean space, and show that projective codes give quantitative bounds for a measure of genericity of sphere embeddings; and we prove generalizations of (iii) the Ham Sandwich theorem and (iv) the Lyusternik--Shnirelman- Borsuk covering theorem for the case where the number of measures or sets in a covering, respectively, may exceed the ambient dimension.
In this paper, we use the linear programming approach to find new upper bounds for the moments of isotropic measures. These bounds are then utilized for finding lower packing bounds and energy bounds for projective codes. We also show that the obtained energy bounds are sharp for several infinite families of codes.
Projective Reed-Solomon (PRS) codes are Reed-Solomon codes of the maximum possible length q+1. The classification of deep holes --received words with maximum possible error distance-- for PRS codes is an important and difficult problem. In this paper, we use algebraic methods to explicitly construct three classes of deep holes for PRS codes. We show that these three classes completely classify all deep holes of PRS codes with redundancy at most four. Previously, the deep hole classification was only known for PRS codes with redundancy at most three in work arXiv:1612.05447
A vertex-transitive map $X$ is a map on a closed surface on which the automorphism group ${rm Aut}(X)$ acts transitively on the set of vertices. If the face-cycles at all the vertices in a map are of same type then the map is said to be a semi-equivelar map. Clearly, a vertex-transitive map is semi-equivelar. Converse of this is not true in general. We show that there are eleven types of semi-equivelar maps on the torus. Three of these are equivelar maps. It is known that two of the three types of equivelar maps on the torus are always vertex-transitive. We show that this is true for the remaining one type of equivelar map and one other type of semi-equivelar maps, namely, if $X$ is a semi-equivelar map of type $[6^3]$ or $[3^3, 4^2]$ then $X$ is vertex-transitive. We also show, by presenting examples, that this result is not true for the remaining seven types of semi-equivelar maps. There are ten types of semi-equivelar maps on the Klein bottle. We present examples in each of the ten types which are not vertex-transitive.
Given a space X we study the topology of the space of embeddings of X into $mathbb{R}^d$ through the combinatorics of triangulations of X. We give a simple combinatorial formula for upper bounds for the largest dimension of a sphere that antipodally maps into the space of embeddings. This result summarizes and extends results about the nonembeddability of complexes into $mathbb{R}^d$, the nonexistence of nonsingular bilinear maps, and the study of embeddings into $mathbb{R}^d$ up to isotopy, such as the chirality of spatial graphs.
We study relations between maps between relatively hyperbolic groups/spaces and quasisymmetric embeddings between their boundaries. More specifically, we establish a correspondence between (not necessarily coarsely surjective) quasi-isometric embeddings between relatively hyperbolic groups/spaces that coarsely respect peripherals, and quasisymmetric embeddings between their boundaries satisfying suitable conditions. Further, we establish a similar correspondence regarding maps with at most polynomial distortion. We use this to characterise groups which are hyperbolic relative to some collection of virtually nilpotent subgroups as exactly those groups which admit an embedding into a truncated real hyperbolic space with at most polynomial distortion, generalising a result of Bonk and Schramm for hyperbolic groups.