arXiv++ Combinatorics

In this work, the classical Borsuk conjecture is discussed, which states that any set of diameter 1 in the Euclidean space $ {\mathbb R}^d $ can be divided into $ d+1 $ parts of smaller diameter. During the last two decades, many counterexamples to the conjecture have been proposed in high dimensions. However, all of them are sets of diameter 1 that lie on spheres whose radii are close to the value $ {1}{\sqrt{2}} $. The main result of this paper is as follows: {\it for any $ r > {1}{2} $, there exists a $ d_0 $ such that for all $ d \ge d_0 $, a counterexample to Borsuk's conjecture can be found on a sphere $ S_r^{d-1} \subset {\mathbb R}^d $.

An aperiodic prototile is a shape for which infinitely many copies can be arranged to fill Euclidean space completely with no overlaps, but not in a periodic pattern. Tiling theorists refer to such a prototile as an "einstein" (a German pun on "one stone"). The possible existence of an einstein has been pondered ever since Berger's discovery of large set of prototiles that in combination can tile the plane only in a nonperiodic way. In this article we review and clarify some features of a prototile we recently introduced that is an einstein according to a reasonable definition. [This abstract does not appear in the published article.]

It is proved that every discrete Morse function in the sense of Forman on a finite regular CW complex can be represented by a polyhedral Morse function in the sense of Banchoff on an appropriate embedding in Euclidean space of the barycentric subdivision of the CW complex; such a representation preserves critical points. The proof is stated in terms of discrete Morse functions on a class of posets that is slightly broader than the class of face posets of finite regular CW complexes.

A number of recent papers have studied when symmetry causes frameworks on a graph to become infinitesimally flexible, or stressed, and when it has no impact. A number of other recent papers have studied special classes of frameworks on generically rigid graphs which are finite mechanisms. Here we introduce a new tool, the orbit matrix, which connects these two areas and provides a matrix representation for fully symmetric infinitesimal flexes, and fully symmetric stresses of symmetric frameworks. The orbit matrix is a true analog of the standard rigidity matrix for general frameworks, and its analysis gives important insights into questions about the flexibility and rigidity of classes of symmetric frameworks, in all dimensions. With this narrower focus on fully symmetric infinitesimal motions, comes the power to predict symmetry-preserving finite mechanisms - giving a simplified analysis which covers a wide range of the known mechanisms, and generalizes the classes of known mechanisms. This initial exploration of the properties of the orbit matrix also opens up a number of new questions and possible extensions of the previous results, including transfer of symmetry based results from Euclidean space to spherical, hyperbolic, and some other metrics with shared symmetry groups and underlying projective geometry.

We find sharp absolute constants $C_1$ and $C_2$ with the following property: every well-rounded lattice of rank 3 in a Euclidean space has a minimal basis so that the solid angle spanned by these basis vectors lies in the interval $[C_1,C_2]$. In fact, we show that these absolute bounds hold for a larger class of lattices than just well-rounded, and the upper bound holds for all. We state a technical condition on the lattice that may prevent it from satisfying the absolute lower bound on the solid angle, in which case we derive a lower bound in terms of the ratios of successive minima of the lattice. We use this result to show that among all spherical triangles on the unit sphere in $\mathbb R^N$ with vertices on the minimal vectors of a lattice, the smallest possible area is achieved by a configuration of minimal vectors of the (normalized) face centered cubic lattice in $\mathbb R^3$. Such spherical configurations come up in connection with the kissing number problem.

A polyhedron in Euclidean 3-space is called a regular polyhedron of index 2 if it is combinatorially regular but "fails geometric regularity by a factor of 2"; its combinatorial automorphism group is flag-transitive but its geometric symmetry group has two flag orbits. The present paper, and its successor by the first author, describe a complete classification of regular polyhedra of index 2 in 3-space. In particular, the present paper enumerates the regular polyhedra of index 2 with vertices on two orbits under the symmetry group. The subsequent paper will enumerate the regular polyhedra of index 2 with vertices on one orbit under the symmetry group.

The paper is motivated by the study of graded representations of Takiff algebras, cominuscule parabolics, and their generalizations. We study certain special subsets of the set of weights (and of their convex hull) of the generalized Verma modules (or GVM's) of a semisimple Lie algebra $\lie g$. In particular, we extend a result of Vinberg and classify the faces of the convex hull of the weights of a GVM. When the GVM is finite-dimensional, we ask a natural question that arises out of Vinberg's result: when are two faces the same? We also extend the notion of interiors and faces to an arbitrary subfield $\F$ of the real numbers, and introduce the idea of a weak $\F$-face of any subset of Euclidean space. We classify the weak $\F$-faces of all lattice polytopes, as well as of the set of lattice points in them. We show that a weak $\F$-face of the weights of a finite-dimensional $\lie g$-module is precisely the set of weights lying on a face of the convex hull.

According to a classical result of Szemerédi, every dense subset of $1,2,...,N$ contains an arbitrary long arithmetic progression, if $N$ is large enough. Its analogue in higher dimensions due to Fürstenberg and Katznelson says that every dense subset of $\{1,2,...,N\}^d$ contains an arbitrary large grid, if $N$ is large enough. Here we generalize these results for separated point sets on the line and respectively in the Euclidean space: (i) every dense separated set of points in some interval $[0,L]$ on the line contains an arbitrary long approximate arithmetic progression, if $L$ is large enough. (ii) every dense separated set of points in the $d$-dimensional cube $[0,L]^d$ in $\RR^d$ contains an arbitrary large approximate grid, if $L$ is large enough. A further generalization for any finite pattern in $\RR^d$ is also established. The separation condition is shown to be necessary for such results to hold. In the end we show that every sufficiently large point set in $\RR^d$ contains an arbitrarily large subset of almost collinear points. No separation condition is needed in this case.

Let $G$ be a group and $X$ be a $G$-space. A subset $F$ of $X$ is called a kaleidoscopical configuration if there exists a surjective coloring $χ:X\to Y$ such that the restriction of $χ$ on each subset $gF$, $g\in G$ is a bijection. We give some constructions of kaleidoscopical configurations in an arbitrary $G$-space, develop some kaleidoscopical technique for Abelian groups (considered as $G$-spaces with the action $(g,x)\mapsto g+x$), and describe kaleidoscopical configurations in the cyclic groups of order $N=p^m$ or $N=p_1... p_k$ where $p$ is prime and $p_1,...,p_k$ are distinct primes. Let $G$ be a group and $X$ be a $G$-space. A subset $F$ of $X$ is called a kaleidoscopical configuration if there exists a coloring $χ:X\rightarrow C$ such that the restriction of $χ$ on each subset $gF$, $g\in G$, is a bijection. We present a construction (called the splitting construction) of kaleidoscopical configurations in an arbitrary $G$-space, reduce the problem of characterization of kaleidoscopical configurations in a finite Abelian group $G$ to a factorization of $G$ into two subsets, and describe all kaleidoscopical configurations in isometrically homogeneous ultrametric spaces with finite distance scale. Also we construct $2^c$ (unsplittable) kaleidoscopical configurations of cardinality continuum in the Euclidean space $R^n$.

We obtain a geometric realization of a minimal 8-vertex triangulation of the dunce hat in Euclidean 3-space. We show there is a simplicial 3-ball with 8 vertices that is collapsible, but also collapses onto the dunce hat, which is not collapsible. This 3-ball is as small as possible, because all triangulated 3-balls with fewer vertices are extendably collapsible. As we will see, the Alexander dual of the dunce hat is collapsible.

A finite set X in the d-dimensional Euclidean space is called an s-distance set if the set of Euclidean distances between any two distinct points of X has size s. Larman--Rogers--Seidel proved that if the cardinality of a two-distance set is greater than 2d+3, then there exists an integer k such that a^2/b^2=(k-1)/k, where a and b are the distances. In this paper, we give an extension of this theorem for any s. Namely, if the size of an s-distance set is greater than some value depending on d and s, then certain functions of s distances become integers. Moreover, we prove that if the size of X is greater than the value, then the number of s-distance sets is finite.

Let $L$ be any integral lattice in the 2-dimensional Euclidean space. Generalizing the earlier works of Hiroshi Maehara and others, we prove that for every integer $n>0$, there is a circle in the plane $\mathbb{R}^{2}$ that passes through exactly $n$ points of $L$.

Tightness of a triangulated manifold is a topological condition, roughly meaning that any simplexwise linear embedding of the triangulation into euclidean space is "as convex as possible". It can thus be understood as a generalization of the concept of convexity. In even dimensions, super-neighborliness is known to be a purely combinatorial condition which implies the tightness of a triangulation. Here we present other sufficient and purely combinatorial conditions which can be applied to the odd-dimensional case as well. One of the conditions is that all vertex links are stacked spheres, which implies that the triangulation is in Walkup's class $\mathcal{K}(d)$. We show that in any dimension $d\geq 4$ \emph{tight-neighborly} triangulations as defined by Lutz, Sulanke and Swartz are tight. Furthermore, triangulations with $k$-stacked vertex links and the centrally symmetric case are discussed.

A 2-coloring of the n-cube in the n-dimensional Euclidean space can be considered as an assignment of weights of 1 or 0 to the vertices. Such a colored n-cube is said to be balanced if its center of mass coincides with its geometric center. Let $B_{n,2k}$ be the number of balanced 2-colorings of the n-cube with 2k vertices having weight 1. Palmer, Read and Robinson conjectured that for $n\geq 1$, the sequence $\{B_{n,2k}\}_{k=0, 1 ... 2^{n-1}}$ is symmetric and unimodal. We give a proof of this conjecture. We also propose a conjecture on the log-concavity of $B_{n,2k}$ for fixed k, and by probabilistic method we show that it holds when n is sufficiently large.

A finite set X in the Euclidean space is called an s-inner product set if the set of the usual inner products of any two distinct points in X has size s. First, we give a special upper bound for the cardinality of an s-inner product set on concentric spheres. The upper bound coincides with the known lower bound for the size of a Euclidean 2s-design. Secondly, we prove the non-existence of 2- or 3-inner product sets on two concentric spheres attaining the upper bound for any d>1. The efficient property needed to prove the upper bound for an s-inner product set gives the new concept, inside s-inner product sets. We characterize the most known tight Euclidean designs as inside s-inner product sets attaining the upper bound.

A polygonal complex in euclidean 3-space is a discrete polyhedron-like structure with finite or infinite polygons as faces and finite graphs as vertex-figures, such that a fixed number r of faces surround each edge. It is said to be regular if its symmetry group is transitive on the flags. The present paper and its successor describe a complete classification of regular polygonal complexes in 3-space. In particular, the present paper establishes basic structure results for the symmetry groups, discusses geometric and algebraic aspects of operations on their generators, characterizes the complexes with face mirrors as the 2-skeletons of the regular 4-apeirotopes in 3-space, and fully enumerates the simply flag-transitive complexes with mirror vector (1,2). The second paper will complete the enumeration.

A subset $X$ in the $d$-dimensional Euclidean space is called a $k$-distance set if there are exactly $k$ distinct distances between two distinct points in $X$ and a subset $X$ is called a locally $k$-distance set if for any point $x$ in $X$, there are at most $k$ distinct distances between $x$ and other points in $X$. Delsarte, Goethals, and Seidel gave the Fisher type upper bound for the cardinalities of $k$-distance sets on a sphere in 1977. In the same way, we are able to give the same bound for locally $k$-distance sets on a sphere. In the first part of this paper, we prove that if $X$ is a locally $k$-distance set attaining the Fisher type upper bound, then determining a weight function $w$, $(X,w)$ is a tight weighted spherical $2k$-design. This result implies that locally $k$-distance sets attaining the Fisher type upper bound are $k$-distance sets. In the second part, we give a new absolute bound for the cardinalities of $k$-distance sets on a sphere. This upper bound is useful for $k$-distance sets for which the linear programming bound is not applicable. In the third part, we discuss about locally two-distance sets in Euclidean spaces. We give an upper bound for the cardinalities of locally two-distance sets in Euclidean spaces. Moreover, we prove that the existence of a spherical two-distance set in $(d-1)$-space which attains the Fisher type upper bound is equivalent to the existence of a locally two-distance set but not a two-distance set in $d$-space with more than $d(d+1)/2$ points. We also classify optimal (largest possible) locally two-distance sets for dimensions less than eight. In addition, we determine the maximum cardinalities of locally two-distance sets on a sphere for dimensions less than forty.

The concept of spherical $t$-design, which is a finite subset of the unit sphere, was introduced by Delsarte-Goethals-Seidel (1977). The concept of Euclidean $t$-design, which is a two step generalization of spherical design in the sense that it is a finite weighted subset of Euclidean space, by Neumaier-Seidel (1988). We first review these two concepts, as well as the concept of tight $t$-design, i.e., the one whose cardinality reaches the natural lower bound. We are interested in $t$-designs (spherical or Euclidean) which are either tight or close to tight. As is well known by Delsarte-Goethals-Seidel (1977), in the study of spherical $t$-designs and in particular of those which are either tight or close to tight, association schemes play important roles. The main purpose of this paper is to show that in the study of Euclidean $t$-designs and in particular of those which are either tight or close to tight, coherent configurations play important roles. Here, coherent configuration is a purely combinatorial concept defined by D. G. Higman, and is obtained by axiomatizing the properties of general, not necessarily transitive, permutation groups, in the same way as association scheme was obtained by axiomatizing the properties of transitive permutation groups. The main purpose of this paper is to prove that Euclidean $t$-designs satisfying certain conditions give the structure of coherent configurations. Moreover we study the classification problems of Euclidean 4-designs on two concentric spheres with certain additional conditions.

The notion of a competition graph was introduced by J. E. Cohen in 1968. The competition graph C(D) of a digraph D is a (simple undirected) graph which has the same vertex set as D and has an edge between two distinct vertices x and y if and only if there exists a vertex v in D such that (x,v) and (y,v) are arcs of D. For any graph G, G together with sufficiently many new isolated vertices is the competition graph of some acyclic digraph. In 1978, F. S. Roberts defined the competition number k(G) of a graph G as the minimum number of such isolated vertices. In general, it is hard to compute the competition number k(G) for a graph G and it has been one of important research problems in the study of competition graphs to characterize a graph by computing its competition number. It is well known that there exist 5 kinds of regular polyhedra in the three dimensional Euclidean space: a tetrahedron, a hexahedron, an octahedron, a dodecahedron, and an icosahedron. We regard a polyhedron as a graph. The competition numbers of a tetrahedron, a hexahedron, an octahedron, and a dodecahedron are easily computed by using known results on competition numbers. In this paper, we focus on an icosahedron and give the exact value of the competition number of an icosahedron.

Let V be a finite set of points in Euclidean d-space (d >= 2). The intersection of all unit balls B(v,1) centered at v, where v ranges over V, henceforth denoted by B(V) is the ball polytope associated with V. Note that B(V) is non-empty iff the circumradius of V is <= 1. After some preparatory discussion on spherical convexity and spindle convexity, the paper focuses on two central themes. [a] Define the boundary complex of B(V) (assuming it is non-empty, of course), i.e., define its vertices, edges and facets in dimension 3 (in dimension 2 this complex is just a circuit), and investigate its basic properties. [b] Apply results of this investigation to characterize finite sets of diameter 1 in (Euclidean) 3-space for which the diameter is attained a maximal number of times as a segment (of length 1) with both endpoints in V. A basic result for such a characterization goes back to Grunbaum, Heppes and Straszewicz, who proved independently that the diameter of V is attained at most 2|V|-2 times, thus affirming a conjecture of Vazsonyi from circa 1935. Call V extremal if its diameter is attained this maximal number (2|V|-2) of times. We extend the aforementioned basic result by showing that V is extremal iff V coincides with the set of vertices of its ball polytope B(V) and show that in this case the boundary complex of B(V) is self-dual in some strong sense. For the sake of priority we mention that, in the present form (except for a few changes in the footnotes), the paper was submitted to a journal already in February 1, 2008.