arXiv++ Combinatorics

The implicit representation conjecture concerns hereditary families of graphs. Given a graph in such a family, we want to assign some string of bits to each vertex in such a way that we can recover the information about whether 2 vertices are connected or not using only the 2 strings of bits associated with those two vertices. We then want to minimise the length of this string. The conjecture states that if the family is hereditary and small enough (it only has $2^{O(n\ln(n))}$ graphs of size $n$), then $O(\ln(n))$ bits per vertex should be sufficient. The trivial bounds on this problem are that: (1) some families require at least $\ln_2(n)$ bits per vertex ; (2) $(n-1)/2+\ln_2(n)$ bits per vertex are sufficient for all families. In this paper, we will be talking about a special case of the implicit representation conjecture, where the family is semi-algebraic (which roughly means that the vertices are points in some euclidean space, and the edges are defined geometrically, or according to some polynomials). We will first prove that the `obvious' way of storing the information, where we store an approximation of the coordinates of each vertex, doesn't work. Then we will come up with a way of storing the information that requires $O(n^{1-ε})$ bits per vertex, where $ε$ is some small constant depending only on the family. This is a slight improvement over the trivial bound, but is still a long way from proving the conjecture.

Hepworth, Willerton, Leinster and Shulman introduced the magnitude homology groups for enriched categories, in particular, for metric spaces. The purpose of this paper is to describe the magnitude homology group of a metric space in terms of order complexes of posets. In a metric space, an interval (the set of points between two chosen points) has a natural poset structure, which is called the interval poset. Under additional assumptions on sizes of $4$-cuts, we show that the magnitude chain complex can be constructed using tensor products, direct sums and degree shifts from order complexes of interval posets. We give several applications. First, we show the vanishing of higher magnitude homology groups for convex subsets of the Euclidean space. Second, magnitude homology groups carry the information about the diameter of a hole. Third, we construct a finite graph whose $3$rd magnitude homology group has torsion.

An $(n+1)$-toroid is a quotient of a tessellation of the $n$-dimensional Euclidean space with a lattice group. Toroids are generalizations of maps in the torus on higher dimensions and also provide examples of abstract polytopes. Equivelar toroids are those that are induced by regular tessellations. In this paper we present a classification of equivelar $(n+1)$-toroids with at most $n$ flag-orbits; in particular, we discuss a classification of $2$-orbit toroids of arbitrary dimension.

The dimension of a graph $G$ is the smallest $d$ for which its vertices can be embedded in $d$-dimensional Euclidean space in the sense that the distances between endpoints of edges equal $1$ (but there may be other unit distances). Answering a question of Erdős and Simonovits [Ars Combin. 9 (1980) 229--246], we show that any graph with less than $\binom{d+2}{2}$ edges has dimension at most $d$. Improving their result, we prove that that the dimension of a graph with maximum degree $d$ is at most $d$. We show the following Ramsey result: if each edge of the complete graph on $2d$ vertices is coloured red or blue, then either the red graph or the blue graph can be embedded in Euclidean $d$-space. We also derive analogous results for embeddings of graphs into the $(d-1)$-dimensional sphere of radius $1/\sqrt{2}$.

Let $(X,d)$ be a finite metric space with $|X|=n$. For a positive integer $k$ we define $A_k(X)$ to be the quotient set of all $k$-subsets of $X$ by isometry, and we denote $|A_k(X)|$ by $a_k$. The sequence $(a_1,a_2,\ldots,a_{n})$ is called the isometric sequence of $(X,d)$. In this article we aim to characterize finite metric spaces by their isometric sequences under one of the following assumptions: (i) $a_k=1$ for some $k$ with $2\leq k\leq n-2$; (ii) $a_k=2$ for some $k$ with $4\leq k\leq \frac{1+\sqrt{1+4n}}{2}$; (iii) $a_3=2$; (iv) $a_2=a_3=3$. Furthermore, we give some criterion on how to embed such finite metric spaces to Euclidean spaces. We give some maximum cardinalities of subsets in the $d$-dimensional Euclidean space with small $a_3$, which are analogue problems on a sets with few distinct triangles discussed by Epstein, Lott, Miller and Palsson.

We prove an affine analog of Scharlau's reduction theorem for spherical buildings. To be a bit more precise let $X$ be a euclidean building with spherical building $\partial X$ at infinity. Then there exists a euclidean building $\bar X$ such that $X$ splits as a product of $\bar X$ with some euclidean $k$-space such that $\partial \bar X$ is the thick reduction of $\partial X$ in the sense of Scharlau. \newline In addition we prove a converse statement saying that an embedding of a thick spherical building at infinity extends to an embedding of the euclidean building having the extended spherical building as its boundary.

A set of lines through the origin in Euclidean space is called equiangular when any pair of lines from the set intersects with each other at a common angle. We study the maximum size of equiangular lines in Euclidean space and use graph theoretic approach to prove that all the currently known construction for maximum equiangular lines in $\mathbb R^d$ cannot add another line to form a larger equiangular set of lines if $14 \leq d \leq 20$ and $d \neq 15$. We give new constructions of large equiangular lines which are 248 equiangular lines in $\mathbb R^{42}$, 200 equiangular lines in $\mathbb{R}^{41}$, 168 equiangular lines in $\mathbb{R}^{40}$, 152 equiangular lines in $\mathbb R^{39}$ with angle $1/7$, and 56 equiangular lines in $\mathbb R^{18}$ with angle $1/5$.

A road interchange where $n$ roads meet and in which the drivers are not allowed to change lanes can be modelled as an embedding of a 2-coloured (hence bipartite) multigraph $G$ with equal-sized colour classes into an orientable surface such that there is a face bounded by a Hamiltonian cycle (Kurauskas, 2017). The case of $G$ a complete bipartite graph $K_{n,n}$ corresponds to a complete $n$-way interchange where drivers approaching from each of $n$ directions can exit to any other direction. The genus of the underlying surface can be interpreted as the number of bridges in the interchange. In this paper we study the minimum genus, or the minimum number of bridges, of a complete interchange with a restriction that it is symmetric under the cyclic permutation of its roads. We consider both (a) abstract combinatorial/topological symmetry, and (b) symmetry in the 3-dimensional Euclidean space $\mathbb{R}^3$. The proof of (a) is based on the classic voltage and transition graph constructions. For (b) we use, among other techniques, a simple new combinatorial lower bound.

This review paper is devoted to the problems of sphere packings in 4 dimensions. The main goal is to find reasonable approaches for solutions to problems related to densest sphere packings in 4-dimensional Euclidean space. We consider two long-standing open problems: the uniqueness of maximum kissing arrangements in 4 dimensions and the 24-cell conjecture. Note that a proof of the 24-cell conjecture also proves that the checkerboard lattice packing D4 is the densest sphere packing in 4 dimensions.

Following a combinatorial observation made by one of us recently in relation to a problem in quantum information [Nakata et al., Phys. Rev. X 7:021006 (2017)], we study what are the possible intersection cardinalities of a $k$-dimensional subspace with the hypercube in $n$-dimensional Euclidean space. We also propose two natural variants of the problem by restricting the type of subspace allowed. We find that whereas every natural number eventually occurs as the intersection cardinality for some $k$ and $n$, on the other hand for each fixed k, the possible intersections sizes are governed by severe restrictions. To wit, while the largest intersection size is evidently $2^k$, there is always a large gap to the second largest intersection size, which we find to be $\frac34 2^k$ for $k \geq 2$ (and $2^{k-1}$ in the restricted version). We also present several constructions, and propose a number of open questions and conjectures for future investigation.

We provide a random simplicial complex by applying standard constructions to a Poisson point process in Euclidean space. It is gigantic in the sense that - up to homotopy equivalence - it almost surely contains infinitely many copies of every compact topological manifold, both in isolation and in percolation.

A box in Euclidean $k$-space is the Cartesian product of $k$ closed intervals 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. In this paper, we present a sufficient condition for a graph $G$ under which $\text{box}(G)\leq χ(G)$ holds, where $χ(G)$ denotes the chromatic number of $G$. Bhowmick and Chandran (2010) proved that $\text{box}(G)\leq χ(G)$ holds for a graph $G$ with no asteroidal triples. We prove that $\text{box}(G)\leq χ(G)$ holds for a graph $G$ in a special family of circulant graphs with an asteroidal triple.

An equiangular tight frame (ETF) is a type of optimal packing of lines in Euclidean space. A regular simplex is a special type of ETF in which the number of vectors is one more than the dimension of the space they span. In this paper, we consider ETFs that contain a regular simplex, that is, have the property that a subset of its vectors forms a regular simplex. As we explain, such ETFs are characterized as those that achieve equality in a certain well-known bound from the theory of compressed sensing. We then consider the so-called binder of such an ETF, namely the set of all regular simplices that it contains. We provide a new algorithm for computing this binder in terms of products of entries of the ETF's Gram matrix. In certain circumstances, we show this binder can be used to produce a particularly elegant Naimark complement of the corresponding ETF. Other times, an ETF is a disjoint union of regular simplices, and we show this leads to a certain type of optimal packing of subspaces known as an equichordal tight fusion frame. We conclude by considering the extent to which these ideas can be applied to numerous known constructions of ETFs, including harmonic ETFs.

The chromatic number of a subset of Euclidean space is the minimal number of colors sufficient for coloring all points of this subset in such a way that any two points at the distance 1 have different colors. We give new upper bounds for chromatic numbers of spheres.

We consider list-decoding in the zero-rate regime for two cases: the binary alphabet and the spherical codes in Euclidean space. Specifically, we study the maximal $τ\in [0,1]$ for which there exists an arrangement of $M$ balls of relative Hamming radius $τ$ in the binary hypercube (of arbitrary dimension) with the property that no point of the latter is covered by $L$ or more of them. As $M\to \infty$ the maximal $τ$ decreases to a well-known critical value $τ_L$. In this work, we prove several results on the rate of this convergence. For the binary case, we show that the rate is $Θ(M^{-1})$ when $L$ is even, thus extending the classical results of Plotkin and Levenshtein for $L=2$. For $L=3$ the rate is shown to be $Θ(M^{-\tfrac{2}{3}})$. For the similar question about spherical codes, we prove the rate is $Ω(M^{-1})$ and $O(M^{-\tfrac{2L}{L^2-L+2}})$.

Kneser's 1955 conjecture -- proven by Lovász in 1978 -- asserts that in any partition of the $k$-subsets of $\{1, 2, \dots, n\}$ into $n-2k-3$ parts, one part contains two disjoint sets. Schrijver showed that one can restrict to significantly fewer $k$-sets and still observe the same intersection pattern. Alon, Frankl, and Lovász proved a different generalization of Kneser's conjecture for $r$ pairwise disjoint sets. Dolnikov generalized Lovász' result to arbitrary set systems, while Kříž did the same for the $r$-fold extension of Kneser's conjecture. Here we prove a common generalization of all of these results. Moreover, we prove additional strengthenings by determining the chromatic number of certain sparse stable Kneser hypergraphs, and further develop a general approach to establishing lower bounds for chromatic numbers of hypergraphs using a combination of methods from equivariant topology and intersection results for convex hulls of points in Euclidean space.

Principal component analysis is a widely-used method for the dimensionality reduction of a given data set in a high-dimensional Euclidean space. Here we define and analyze two analogues of principal component analysis in the setting of tropical geometry. In one approach, we study the Stiefel tropical linear space of fixed dimension closest to the data points in the tropical projective torus; in the other approach, we consider the tropical polytope with a fixed number of vertices closest to the data points. We then give approximative algorithms for both approaches and apply them to phylogenetics, testing the methods on simulated phylogenetic data and on an empirical dataset of Apicomplexa genomes.

We classify the symmetric association schemes with faithful spherical embedding in 3-dimensional Euclidean space. Our result is based on previous research on primitive association schemes with $m_1 = 3$.

We prove that if the Hausdorff dimension of $E\subset\mathbb{R}^d$, $d\geq 2$ is greater than $\frac{d}{2}+\frac{1}{3}$, the set of gaps of $2$-chains inside $E$, $$Δ_2(E)=\{(|x-y|, |y-z|): x, y, z\in E \}\subset\mathbb{R}^2$$ has positive Lebesgue measure. It generalizes Wolff-Erdogan's result on distances and improves a result of Bennett, Iosevich and Taylor on finite chains. We also consider the similarity class of $2$-chains, $$S_2(E)=\left\{\frac{t_1}{t_2}:(t_1,t_2)\inΔ_2(E)\right\}=\left\{\frac{|x-y|}{|y-z|}: x, y, z\in E \right\}\subset\mathbb{R},$$ and show that $|S_2(E)|>0$ whenever $\dim_{\mathcal{H}}(E)>\frac{d}{2}+\frac{1}{7}$.

We report on the implementation of an algorithm for computing the set of all regular triangulations of finitely many points in Euclidean space. This algorithm, which we call down-flip reverse search, can be restricted, e.g., to computing full triangulations only; this case is particularly relevant for tropical geometry. Most importantly, down-flip reverse search allows for massive parallelization, i.e., it scales well even for many cores. Our implementation allows to compute the triangulations of much larger point sets than before.