arXiv++ Combinatorics

According to a general definition of discrete curves, surfaces, and manifolds. This paper focuses on the Jordan curve theorem in 2D discrete spaces. The Jordan curve theorem says that a (simply) closed curve separates a simply connected surface into two components. Based on the definition of discrete surfaces, we give three reasonable definitions of simply connected spaces. Theoretically, these three definition shall be equivalent. We have proved the Jordan curve theorem under the third definition of simply connected spaces. The Jordan theorem shows the relationship among an object, its boundary, and its outside area. After the publication of the first version of the paper ({\it L. Chen, Note on the discrete Jordan Curve Theorem. In: SPIE Conf. on Vision Geometry VIII, vol. 3811, pp. 82-94. (1999).}), we found some statements in the original proof of the Jordan Curve Theorem were not explained well. One case was not proven in details. In this revision, we added two more minor definitions and make the proof more solid and sound when it is needed for embedding a discrete surface into a Euclidean space. In this revision, we also proved that the third definition of simply connected spaces equivalent to the second definition of simply connected spaces.

Hujter and Lángi introduced the $k$-fold Borsuk number of a set $S$ in Euclidean $n$-space of diameter $d > 0$ as the smallest cardinality of a family $\mathcal F$ of subsets of $S$, of diameters strictly less than $d$, such that every point of $S$ belongs to at least $k$ members of $\mathcal F$. We investigate whether a $k$-fold Borsuk covering of a set $S$ in a finite dimensional real normed space can be extended to a completion of $S$. Furthermore, we determine the $k$-fold Borsuk number of sets in not angled normed planes, and give a partial characterization for sets in angled planes.

Given a simplicial complex $K$, we consider several notions of geometric complexity of embeddings of $K$ in a Euclidean space ${\mathbb R}^d$: thickness, distortion, and refinement complexity (the minimal number of simplices needed for a PL embedding). We show that any $n$-complex with $N$ simplices which topologically embeds in ${\mathbb R}^{2n}$, $n>2$, can be PL embedded in ${\mathbb R}^{2n}$ with refinement complexity $O(e^{N^{4+ε}})$. Families of simplicial $n$-complexes $K$ are constructed such that any embedding of $K$ into ${\mathbb R}^{2n}$ has an exponential lower bound on thickness and refinement complexity as a function of the number of simplices of $K$. This contrasts embeddings in the stable range, $K\subset {\mathbb R}^{2n+k}$, $k>0$, where all known bounds on geometric complexity functions are polynomial. In addition, we give a geometric argument for a bound on distortion of expander graphs in Euclidean spaces. Several related open problems are discussed, including questions about the growth rate of complexity functions of embeddings, and about the crossing number and the ropelength of classical links.

In this paper, we give an example of a chiral 4-polytope in projective 3-space. This example naturally yields a finite chiral 4-polytope in Euclidean 4-space, giving a counterexample to Theorem 11.2 of [2].

The paper surveys highlights of the ongoing program to classify discrete polyhedral structures in Euclidean 3-space by distinguished transitivity properties of their symmetry groups, focussing in particular on various aspects of the classification of regular polygonal complexes, chiral polyhedra, and more generally, two-orbit polyhedra.

It is often hypothesized that a crucial role for recurrent connections in the brain is to constrain the set of possible response patterns, thereby shaping the neural code. This implies the existence of neural codes that cannot arise solely from feedforward processing. We set out to find such codes in the context of one-layer feedforward networks, and identified a large class of combinatorial codes that indeed cannot be shaped by the feedforward architecture alone. However, these codes are difficult to distinguish from codes that share the same sets of maximal activity patterns in the presence of noise. When we coarsened the notion of combinatorial neural code to keep track only of maximal patterns, we found the surprising result that all such codes can in fact be realized by one-layer feedforward networks. This suggests that recurrent or many-layer feedforward architectures are not necessary for shaping the (coarse) combinatorial features of neural codes. In particular, it is not possible to infer a computational role for recurrent connections from the combinatorics of neural response patterns alone. Our proofs use mathematical tools from classical combinatorial topology, such as the nerve lemma and the existence of an inverse nerve. An unexpected corollary of our main result is that any prescribed (finite) homotopy type can be realized by removing a polyhedron from the positive orthant of some Euclidean space.

A rigidity theory is developed for the Euclidean and non-Euclidean placements of countably infinite simple graphs in R^d with respect to the classical l^p norms, for d>1 and 1<p<\infty. Generalisations are obtained for the Laman and Henneberg combinatorial characterisations of generic infinitesimal rigidity for finite graphs in the Euclidean plane. Also Tay's multi-graph characterisation of the rigidity of generic finite body-bar frameworks in d-dimensional Euclidean space is generalised to the non-Euclidean l^p norms and to countably infinite graphs. For all dimensions and norms it is shown that a generically rigid countable simple graph is the direct limit of an inclusion tower of finite graphs for which the inclusions satisfy a relative rigidity property. For d>2 a countable graph which is rigid for generic placements in R^d may fail the stronger property of sequential rigidity, while for d=2 the equivalence with sequential rigidity is obtained from the generalised Laman characterisations. Applications are given to the flexibility of non-Euclidean convex polyhedra and to the infinitesimal and continuous rigidity of compact infinitely-faceted simplicial polytopes.

Motivated by classification, up to order isomorphism, of some dense subgroups of Euclidean space that are free of minimal rank, we obtain apparently new invariants for an equivalence relation (intermediate between Hermite and Smith) on integer matrices. These then participate in the classification of the dense subgroups. The same equivalence relation has appeared before, in the classification of lattice simplices. We discuss this equivalence relation (called {\it permutation-Hermite}), obtain fairly fine invariants for it, and have density results, and some formulas counting the numbers of equivalence classes for fixed determinant.

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.