arXiv++ Combinatorics

In this paper we formulate and solve extremal problems in the d-dimensional Euclidean space and further in hypergraphs, originating from problems in stoichiometry and elementary linear algebra. The notion of affine simplex is the bridge between the original problems and the presented extremal theorem on set systems. A function related to Sperners theorem and the YBLM inequality is also considered and its relation to hypergraph Turan problems is discussed.

A subset $X$ in the $d$-dimensional Euclidean space is called a $k$-distance set if there are exactly $k$ distances between two distinct points in $X$. Einhorn and Schoenberg conjectured that the vertices of the regular icosahedron is the only 12-point three-distance set in $\mathbb{R}^3$ up to isomorphism. In this paper, we prove the uniqueness of 12-point three-distance sets in $\mathbb{R}^3$.

Let $I$ be a segment in the $d$-dimensional Euclidean space $\mathbb E^d$. Let $P$ and $P+I$ be parallelohedra in $\mathbb E^d$, where "+" denotes the Minkowski sum. We prove that Voronoi's Conjecture holds for $P+I$, i.e. $P+I$ is a Voronoi parallelohedron for some Euclidean metric in $\mathbb E^d$, if Voronoi's Conjecture holds for $P$.

A new formula is obtained in algebraic topology, in terms of Betti numbers, and a new method, called the spinal method, is suggested and developed for generating quadrangulations of closed orientable surfaces. Those surfaces arise as the thickenings of 1- and 2-dimensional curvilinear polyhedra, called spines, in Euclidean 3-space. By way of spinal manipulation, quadrangulations with given properties are constructed.

A box in Euclidean $k$-space is the Cartesian product $I_1\times I_2\times \cdots \times I_k$, where $I_j$ is a closed interval on the real line. The boxicity of a graph $G$, denoted by $\text{box}(G)$, is the minimum nonnegative integer $k$ such that $G$ can be isomorphic to the intersection graph of a family of boxes in Euclidean $k$-space. Mycielski introduced an interesting graph operation that extends a graph $G$ to a new graph $M(G)$, called the Mycielski graph of $G$. In this paper, we observe behavior of the boxicity of Mycielski graphs. The inequality $\text{box}(M(G))\geq \text{box}(G)$ holds for a graph $G$, and hence we are interested in whether the boxicity of the Mycielski graph of $G$ is more than that of $G$ or not. Here we give bounds for the boxicity of Mycielski graphs: for a graph $G$ with $l$ universal vertices, the inequalities $\text{box}(G)+\left \lceil \frac{l}{2}\right \rceil \leq \text{box}(M(G))\leq θ(\overline{G})+\left\lceil \frac{l}{2}\right\rceil +1$ hold, where $θ(\overline{G})$ is the edge clique cover number of the complement $\overline{G}$. Further observations determine the boxicity of the Mycielski graph $M(G)$, if $G$ has no universal vertices or odd universal vertices and satisfies $\text{box}(G)=θ(\overline{G})$. We also present relations between the Mycielski graph $M(G)$ and its analogous ones $M_3(G)$ and $M_r(G)$ in the context of boxicity, which will encourage us to calculate the boxicity of $M(G)$ or $M_3(G)$.

An important problem in analytic and geometric combinatorics is estimating the number of lattice points in a compact convex set in a Euclidean space. Such estimates have numerous applications throughout mathematics. In this note, we exhibit applications of a particular estimate of this sort to several counting problems in number theory: counting integral points and units of bounded height over number fields, counting points of bounded height over positive definite quaternion algebras, and counting points of bounded height with a fixed support over global function fields. Our arguments use a collection of height comparison inequalities for heights over a number field and over a quaternion algebra. We also show how these inequalities can be used to obtain existence results for points of bounded height over a quaternion algebra, which constitute non-commutative analogues of variations of the classical Siegel's lemma and Cassels' theorem on small zeros of quadratic forms.

In 1933 Karol Borsuk asked whether each bounded set in the n-dimensional Euclidean space can be divided into n+1 parts of smaller diameter. The diameter of a set is defined as the supremum (least upper bound) of the distances of contained points. Implicitly, the whole set is assumed to contain at least two points. The hypothesis that the answer to that question is positive became famous under the name Borsuk's conjecture. Beginning with Jeff Kahn and Gil Kalai, from 1993 to 2003 several authors have proved that in certain (almost all) high dimensions such a division is not generally possible. In a paper published in 2013, Andriy V. Bondarenko constructed a 65-dimensional two-distance set of 416 vectors that cannot be divided into less than 84 parts of smaller diameter. That was not just the first known two-distance counterexample to Borsuk's conjecture but also a considerable reduction of the lowest known dimension the conjecture fails in in general. This article presents a 64-dimensional subset of the vector set mentioned above that cannot be divided into less than 71 (by A. Bondarenko 72) parts of smaller diameter, that way delivering a two-distance counterexample to Borsuk's conjecture in dimension 64. The contained proof relies on the results of some (combinatorial) calculations. The additionally (in the source package) provided small computer program G24CHK needs about one second for that task on a 1 GHz Intel PIII. Meanwhile a short paper by this author and Andries E. Brouwer that follows the principal idea of this article but avoids the extensive computational part has been submitted to The Electronic Journal of Combinatorics.

Distance-based phylogenetic algorithms attempt to solve the NP-hard least squares phylogeny problem by mapping an arbitrary dissimilarity map representing biological data to a tree metric. The set of all dissimilarity maps is a Euclidean space properly containing the space of all tree metrics as a polyhedral fan. Outputs of distance-based tree reconstruction algorithms such as UPGMA and Neighbor-Joining are points in the maximal cones in the fan. Tree metrics with polytomies lie at the intersections of maximal cones. A phylogenetic algorithm divides the space of all dissimilarity maps into regions based upon which combinatorial tree is reconstructed by the algorithm. Comparison of phylogenetic methods can be done by comparing the geometry of these regions. We use polyhedral geometry to compare the local nature of the subdivisions induced by least squares phylogeny, UPGMA, and Neighbor-Joining. Our results suggest that in some circumstances, UPGMA and Neighbor-Joining poorly match least squares phylogeny when the true tree has a polytomy.

It is shown that each quadrangulation of the 2-torus by the Cartesian product of two cycles can be geometrically realized in (Euclidean) 4-space without hidden symmetries---that is, so that each combinatorial cellular automorphism of the quadrangulation extends to a geometric symmetry of its Euclidean realization. Such realizations turn out to be new regular toroidal geometric 2-polyhedra which are inscribed in the Clifford 2-torus in 4-space, just as the five regular spherical 2-polyhedra are inscribed in the 2-sphere in 3-space. The following are two open problems: Realize geometrically (1) the regular triangulations and (2) the regular hexagonizations of the 2-torus without hidden symmetries in 4-space.

A {\em faithful (unit) distance graph} in $\mathbb{R}^d$ is a graph whose set of vertices is a finite subset of the $d$-dimensional Euclidean space, where two vertices are adjacent if and only if the Euclidean distance between them is exactly $1$. A {\em (unit) distance graph} in $\mathbb{R}^d$ is any subgraph of such a graph. In the first part of the paper we focus on the differences between these two classes of graphs. In particular, we show that for any fixed $d$ the number of faithful distance graphs in $\mathbb{R}^d$ on $n$ labelled vertices is $2^{(1+o(1)) d n \log_2 n}$, and give a short proof of the known fact that the number of distance graphs in $\mathbb{R}^d$ on $n$ labelled vertices is $2^{(1-1/\lfloor d/2 \rfloor +o(1))n^2/2}$. We also study the behavior of several Ramsey-type quantities involving these graphs. % and high-girth graphs from these classes. In the second part of the paper we discuss the problem of determining the minimum possible number of edges of a graph which is not isomorphic to a faithful distance graph in $\mathbb R^d$.

Given points in Euclidean space of arbitrary dimension, we prove that there exists a spanning tree having no vertices of degree greater than 3 with weight at most 1.559 times the weight of the minimum spanning tree. We also prove that there is a set of points such that no spanning tree of maximal degree 3 exists that has this ratio be less than 1.447. Our central result is based on the proof of the following claim: Given $n$ points in Euclidean space with one special point $V$, there exists a Hamiltonian path with an endpoint at $V$ that is at most 1.559 times longer than the sum of the distances of the points to $V$. These proofs also lead to a way to find the tree in linear time given the minimal spanning tree.

Discrete dynamical systems defined by the iteration of a polynomial map of the unit simplex to itself appear in the context of population genetic systems evolving under mutation, recombination and weak selection. Although exceptional progress has been made in finding particular solutions to these systems, our knowledge of the general properties of the space of all possible dynamical systems of this kind is still limited. We prove that the space of bounded-degree polynomial maps of the unit simplex to itself is a compact and convex subset of a Euclidean space. We provide an explicit characterization of such a space and of its boundary. A special class of maps in the boundary, the folding maps, which generalize the logistic map for any dimension and degree are defined and constructed. Finally, we use numerical methods to study the ergodic and mixing properties of maps in the neighborhood of several of these folding maps.

The well-known "necklace splitting theorem" of Alon asserts that every $k$-colored necklace can be fairly split into $q$ parts using at most $t$ cuts, provided $k(q-1)\leq t$. In a joint paper with Alon et al. we studied a kind of opposite question. Namely, for which values of $k$ and $t$ there is a measurable $k$-coloring of the real line such that no interval has a fair splitting into $2$ parts with at most $t$ cuts? We proved that $k>t+2$ is a sufficient condition (while $k>t$ is necessary). We generalize this result to Euclidean spaces of arbitrary dimension $d$, and to arbitrary number of parts $q$. We prove that if $k(q-1)>t+d+q-1$, then there is a measurable $k$-coloring of $\mathbb{R}^d$ such that no axis-aligned cube has a fair $q$-splitting using at most $t$ axis-aligned hyperplane cuts. Our bound is of the same order as a necessary condition $k(q-1)>t$ implied by a theorem of Alon. Moreover for $d=1,q=2$ we get exactly the result of of Alon et al. Additionally, we prove that if a stronger inequality $k(q-1)>dt+d+q-1$ is satisfied, then there is a measurable $k$-coloring of $\mathbb{R}^d$ with no axis-aligned cube having a fair $q$-splitting using at most $t$ arbitrary hyperplane cuts. The proofs are based on the topological Baire category theorem and use algebraic independence over suitably chosen fields.

We generalize a result of Tibor Gallai as follows: for any finite set of points $\mathcal{S}$ in the plane, if the plane is colored in finitely many colors, then there exist $2^{\aleph_0}$ monochromatic subsets of the plane homothetic to $\mathcal{S}$. Furthermore, we prove an even stronger result for $n$-dimensional Euclidean space.

In this note we investigate the behavior of the volume that the convex hull of two congruent and intersecting simplices in Euclidean $n$-space can have. We prove some useful equalities and inequalities on this volume. For the regular simplex we determine the maximal possible volume for the case when the two simplices are related to each other via reflection at a hyperplane intersecting them.

We show that non-dominated sorting of a sequence of i.i.d. random variables in Euclidean space has a continuum limit that corresponds to solving a Hamilton-Jacobi equation involving the probability density function of the random variables. Non-dominated sorting is a fundamental problem in multi-objective optimization, and is equivalent to finding the canonical antichain partition and to problems involving the longest chain among Euclidean points. As an application of this result, we show that non-dominated sorting is asymptotically stable under random perturbations in the data. We give a numerical scheme for computing the viscosity solution of this Hamilton-Jacobi equation and present some numerical simulations for various density functions.

Many interesting problems are obtained by attempting to generalize classical results on convexity in Euclidean spaces to other convexity spaces, in particular to convexity spaces on graphs. In this paper we consider $P_3$-convexity on graphs. A set $U$ of vertices in a graph $G$ is $P_3$-convex if every vertex not in $U$ has at most one neighbour in $U$. More specifically, we consider Radon numbers for $P_3$-convexity in trees. Tverberg's theorem states that every set of $(k-1)(d+1)-1$ points in $\mathbb{R}^d$ can be partitioned into $k$ sets with intersecting convex hulls. As a special case of Eckhoff's conjecture, we show that a similar result holds for $P_3$-convexity in trees. A set $U$ of vertices in a graph $G$ is called free, if no vertex of $G$ has more than one neighbour in $U$. We prove an inequality relating the Radon number for $P_3$-convexity in trees with the size of a maximal free set.

Symmetries of geometric structures such as hyperplane arrangements, point configurations and polytopes have been studied extensively for a long time. However, symmetries of oriented matroids, a common combinatorial abstraction of them, are not understood well. In this paper, we aim to obtain a better understanding of symmetries of oriented matroids. First, we put focus on symmetries of matroids, and give a general construction that generates a $3$-dimensional point configuration with a matroidal symmetry that cannot be realized as a geometric symmetry. The construction is based on the observation that every non-trivial rotation in the $2$-dimensional Euclidean space has a unique fixed point but that there is no corresponding property for matroids. The construction suggests that the lack of the fixed point theorem generates a big gap between matroidal symmetries and geometric symmetries of point configurations. Motivated by this insight, we study fixed-point properties for symmetry groups of oriented matroids. For rotational symmetries of oriented matroids, we prove a useful property, which corresponds to the uniqueness of fixed points (in the rank $3$ case). Using it, we classify rotational and full symmetry groups of simple oriented matroids of rank $3$. In addition, we define fixed-point-admitting (FPA) property for subgroups of symmetry groups of oriented matroids, and make classification of rotational symmetry groups with FPA property of simple acyclic oriented matroids of rank $4$. We conjecture that the symmetry group of every acyclic simple oriented matroid has FPA property.

We define the independence ratio and the chromatic number for bounded, self-adjoint operators on an L^2-space by extending the definitions for the adjacency matrix of finite graphs. In analogy to the Hoffman bounds for finite graphs, we give bounds for these parameters in terms of the numerical range of the operator. This provides a theoretical framework in which many packing and coloring problems for finite and infinite graphs can be conveniently studied with the help of harmonic analysis and convex optimization. The theory is applied to infinite geometric graphs on Euclidean space and on the unit sphere.

In this paper we exhibit a similarity between Euclidean Ramsey problems and Knaster-type problems. By borrowing ideas from Ramsey theory we prove weak Knaster properties of non-equatorial triangles in spheres, and of simplices in Euclidean spaces.