arXiv++ Combinatorics

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.

In this paper we study general tropical linear spaces locally: For any basis B of the matroid underlying a tropical linear space L, we define the local tropical linear space L_B to be the subcomplex of L consisting of all vectors v that make B a basis of maximal v-weight. The tropical linear space L can then be expressed as the union of all its local tropical linear spaces, which we prove are homeomorphic to Euclidean space. Local tropical linear spaces have a simple description in terms of polyhedral matroid subdivisions, and we prove that they are dual to mixed subdivisions of Minkowski sums of simplices. Using this duality we produce tight upper bounds for their f-vectors. We also study a certain class of tropical linear spaces that we call conical tropical linear spaces, and we give a simple proof that they satisfy Speyer's f-vector conjecture.

A fundamental question for simplicial complexes is to find the lowest dimensional Euclidean space in which they can be embedded. We investigate this question for order complexes of posets. We show that order complexes of thick geometric lattices as well as several classes of finite buildings, all of which are order complexes, are hard to embed. That means that such d-dimensional complexes require (2d + 1)-dimensional Euclidean space for an embedding. (This dimension is in general always sufficient for any d-complex.) We develop a method to show non-embeddability for general order complexes of posets which builds on properties of the van Kampen obstruction.

Let $ν\in M^1([0,\infty[)$ be a fixed probability measure. For each dimension $p\in \mathbb{N}$, let $(X_n^{p})_{n\geq1}$ be i.i.d. $\mathbb{R}^p$-valued random variables with radially symmetric distributions and radial distribution $ν$. We investigate the distribution of the Euclidean length of $S_n^{p}:=X_1^{p}+...+ X_n^{p}$ for large parameters $n$ and $p$. Depending on the growth of the dimension $p=p_n$ we derive by the method of moments two complementary CLT's for the functional $|S_n^{p}|_2$ with normal limits, namely for $n/p_n \to \infty$ and $n/p_n \to 0$. Moreover, we present a CLT for the case $n/p_n \to c\in]0,\infty[$. Thereby we derive explicit formulas and asymptotic results for moments of radial distributed random variables on $\b R^p$. All limit theorems are considered also for orthogonal invariant random walks on the space $\b M_{p,q}(\b R)$ of $p\times q$ matrices instead of $\b R^p$ for $p\to \infty$ and some fixed dimension $q$.

Using the random complexes of Linial and Meshulam, we exhibit a large family of simplicial complexes for which, whenever affinely embedded into Euclidean space, the filling areas of simplicial cycles is greatly distorted. This phenomenon can be regarded as a higher order analogue of the metric distortion of embeddings of random graphs.

In 1996 Sabitov proved that the volume of an arbitrary simplicial polyhedron P in the 3-dimensional Euclidean space $\R^3$ satisfies a monic (with respect to V) polynomial relation F(V,l)=0, where l denotes the set of the squares of edge lengths of P. In 2011 the author proved the same assertion for polyhedra in $\R^4$. In this paper, we prove that the same result is true in arbitrary dimension $n\ge 3$. Moreover, we show that this is true not only for simplicial polyhedra, but for all polyhedra with triangular 2-faces. As a corollary, we obtain the proof in arbitrary dimension of the well-known Bellows Conjecture posed by Connelly in 1978. This conjecture claims that the volume of any flexible polyhedron is constant. Moreover, we obtain the following stronger result. If $P_t$, $t\in [0,1]$, is a continuous deformation of a polyhedron such that the combinatorial type of $P_t$ does not change and every 2-face of $P_t$ remains congruent to the corresponding face of $P_0$, then the volume of $P_t$ is constant. We also obtain non-trivial estimates for the oriented volumes of complex simplicial polyhedra in $\C^n$ from their orthogonal edge lengths.

Regular polygonal complexes in euclidean 3-space are discrete polyhedra-like structures with finite or infinite polygons as faces and with finite graphs as vertex-figures, such that their symmetry groups are transitive on the flags. The present paper and its predecessor describe a complete classification of regular polygonal complexes in 3-space. In Part I we established basic structural results for the symmetry groups, discussed operations on their generators, characterized the complexes with face mirrors as the 2-skeletons of the regular 4-apeirotopes in 3-space, and fully enumerated the simply flag-transitive complexes with mirror vector (1,2). In this paper, we complete the enumeration of all regular polygonal complexes and in particular describe the simply flag-transitive complexes for the remaining mirror vectors. It is found that, up to similarity, there are precisely 25 regular polygonal complexes which are not regular polyhedra, namely 21 simply flag-transitive complexes and 4 complexes which are 2-skeletons of regular 4-apeirotopes.

Every regular map on a closed surface gives rise to generally six regular maps, its "Petrie relatives", that are obtained through iteration of the duality and Petrie operations (taking duals and Petrie-duals). It is shown that the skeletal polyhedra in Euclidean 3-space which realize a Petrie relative of the classical Gordan regular map and have full icosahedral symmetry, comprise precisely four infinite families of polyhedra, as well as four individual polyhedra.

A necklace splitting theorem of Goldberg and West asserts that any k-colored (continuous) necklace can be fairly split using at most k cuts. Motivated by the problem of Erdős on strongly nonrepetitive sequences, Alon et al. proved that there is a (t+3)-coloring of the real line in which no necklace has a fair splitting using at most t cuts. We generalize this result for higher dimensional spaces. More specifically, we prove that there is k-coloring of R^{d} such that no cube has a fair splitting of size t (using at most t hyperplanes orthogonal to each of the axes), provided k>(t+4)^{d}-(t+3)^{d}+(t+2)^{d}-2^{d}+d(t+2)+3. We also consider a discrete variant of the multidimensional necklace splitting problem in the spirit of the theorem of de Longueville and Živaljević. The question how many axes aligned hyperplanes are needed for a fair splitting of a d-dimensional k-colored cube remains open.

This paper introduces two tiles whose tilings form a one-parameter family of tilings which can all be seen as digitization of two-dimensional planes in the four-dimensional Euclidean space. This family contains the Ammann-Beenker tilings as the solution of a simple optimization problem.

We study multiple tilings of 3-dimensional Euclidean space by a convex body. In a multiple tiling, a convex body $P$ is translated with a discrete multiset $Λ$ in such a way that each point of the space gets covered exactly $k$ times, except perhaps the translated copies of the boundary of $P$. It is known that all possible multiple tilers in 3D are zonotopes. In 2D it was known by the work of M. Kolountzakis that, unless $P$ is a parallelogram, the multiset of translation vectors $Λ$ must be a finite union of translated lattices (also known as quasi periodic sets). In that work [Kolountzakis, 2002], the author asked whether the same quasi-periodic structure on the translation vectors would be true in 3D. Here we prove that this conclusion is indeed true for 3D. Namely, we show that if $P$ is a convex multiple tiler in 3D, with a discrete multiset $Λ$ of translation vectors, then $Λ$ has to be a finite union of translated lattices, unless $P$ belongs to a special class of zonotopes. This exceptional class consists of two-flat zonotopes $P$, defined by the Minkowski sum of $n+m$ line segments that lie in the union of two different two-dimensional subspaces $H_1$ and $H_2$. Equivalently, a two-flat zonotope $P$ may be thought of as the Minkowski sum of two 2-dimensional symmetric polygons one of which may degenerate into a single line segment. It turns out that rational two-flat zonotopes admit a multiple tiling with an aperiodic (non-quasi-periodic) set of translation vectors $Λ$. We note that it may be quite difficult to offer a visualization of these 3-dimensional non-quasi-periodic tilings, and that we discovered them by using Fourier methods.

The Borsuk number of a set S of diameter d >0 in Euclidean n-space is the smallest value of m such that S can be partitioned into m sets of diameters less than d. Our aim is to generalize this notion in the following way: The k-fold Borsuk number of such a set S is the smallest value of m such that there is a k-fold cover of S with m sets of diameters less than d. In this paper we characterize the k-fold Borsuk numbers of sets in the Euclidean plane, give bounds for those of centrally symmetric sets, smooth bodies and convex bodies of constant width, and examine them for finite point sets in the Euclidean 3-space.

We define the isoperimetric constant for any locally finite metric space and we study the property of having isoperimetric constant equal to zero. This property, called Small Neighborhood property, clearly extends amenability to any locally finite space. Therefore, we start making a comparison between this property and other notions of amenability for locally finite metric spaces that have been proposed by Gromov, Lafontaine and Pansu, by Ceccherini-Silberstein, Grigorchuk and de la Harpe and by Block and Weinberger. We discuss possible applications of the property SN in the study of embedding a metric space into another one. In particular, we propose three results: we prove that a certain class of metric graphs that are isometrically embeddable into Hilbert spaces must have the property SN. We also show, by a simple example, that this result is not true replacing property SN with amenability. As a second result, we prove that \emph{many} spaces with \emph{uniform bounded geometry} having a bi-lipschitz embedding into Euclidean spaces must have the property SN. Finally, we prove a Bourgain-like theorem for metric trees: a metric tree with uniform bounded geometry and without property SN does not have bi-lipschitz embeddings into finite-dimensional Hilbert spaces.