arXiv++ Combinatorics

An equiangular tight frame (ETF) is a sequence of unit-norm vectors in a Euclidean space whose coherence achieves equality in the Welch bound, and thus yields an optimal packing in a projective space. A regular simplex is a simple type of ETF in which the number of vectors is one more than the dimension of the underlying space. More sophisticated examples include harmonic ETFs which equate to difference sets in finite abelian groups. Recently, it was shown that some harmonic ETFs are comprised of regular simplices. In this paper, we continue the investigation into these special harmonic ETFs. We begin by characterizing when the subspaces that are spanned by the ETF's regular simplices form an equi-isoclinic tight fusion frame (EITFF), which is a type of optimal packing in a Grassmannian space. We shall see that every difference set that produces an EITFF in this way also yields a complex circulant conference matrix. Next, we consider a subclass of these difference sets that can be factored in terms of a smaller difference set and a relative difference set. It turns out that these relative difference sets lend themselves to a second, related and yet distinct, construction of complex circulant conference matrices. Finally, we provide explicit infinite families of ETFs to which this theory applies.

Let $Λ$ be any integral lattice in Euclidean space. It has been shown that for every integer $n>0$, there is a hypersphere that passes through exactly $n$ points of $Λ$. Using this result, we introduce new lattice invariants and give some computational results related to two-dimensional Euclidean lattices of class number one.

How can we arrange $n$ lines through the origin in three-dimensional Euclidean space in a way that maximizes the minimum interior angle between pairs of lines? Conway, Hardin and Sloane (1996) produced line packings for $n \leq 55$ that they conjectured to be within numerical precision of optimal in this sense, but until now only the cases $n \leq 7$ have been solved. In this paper, we resolve the case $n = 8$. Drawing inspiration from recent work on the Tammes problem, we enumerate contact graph candidates for an optimal configuration and eliminate those that violate various combinatorial and geometric necessary conditions. The contact graph of the putatively optimal numerical packing of Conway, Hardin and Sloane is the only graph that survives, and we recover from this graph an exact expression for the minimum distance of eight optimally packed points in the real projective plane.

The geometric $δ$-minimum spanning tree problem ($δ$-MST) is the problem of finding a minimum spanning tree for a set of points in a normed vector space, such that no vertex in the tree has a degree which exceeds $δ$, and the sum of the lengths of the edges in the tree is minimum. The similarly defined geometric $δ$-minimum bottleneck spanning tree problem ($δ$-MBST), is the problem of finding a degree bounded spanning tree such that the length of the longest edge is minimum. For point sets that lie in the Euclidean plane, both of these problems have been shown to be NP-hard for certain specific values of $δ$. In this paper, we investigate the $δ$-MBST problem in $3$-dimensional Euclidean space and $3$-dimensional rectilinear space. We show that the problems are NP-hard for certain values of $δ$, and we provide inapproximability results for these cases. We also describe new approximation algorithms for solving these $3$-dimensional variants, and then analyse their worst-case performance.

Rigidity theory studies the properties of graphs that can have rigid embeddings in a euclidean space $\mathbb{R}^d$ or on a sphere and which in addition satisfy certain edge length constraints. One of the major open problems in this field is to determine lower and upper bounds on the number of realizations with respect to a given number of vertices. This problem is closely related to the classification of rigid graphs according to their maximal number of real embeddings. In this paper, we are interested in finding edge lengths that can maximize the number of real embeddings of minimally rigid graphs in the plane, space, and on the sphere. We use algebraic formulations to provide upper bounds. To find values of the parameters that lead to graphs with a large number of real realizations, possibly attaining the (algebraic) upper bounds, we use some standard heuristics and we also develop a new method inspired by coupler curves. We apply this new method to obtain embeddings in $\mathbb{R}^3$. One of its main novelties is that it allows us to sample efficiently from a larger number of parameters by selecting only a subset of them at each iteration. Our results include a full classification of the 7-vertex graphs according to their maximal numbers of real embeddings in the cases of the embeddings in $\mathbb{R}^2$ and $\mathbb{R}^3$, while in the case of $S^2$ we achieve this classification for all 6-vertex graphs. Additionally, by increasing the number of embeddings of selected graphs, we improve the previously known asymptotic lower bound on the maximum number of realizations. The methods and the results concerning the spatial embeddings are part of the proceedings of ISSAC 2018 (Bartzos et al, 2018).

We continue the study by Melo and Winter [arXiv:1712.01763, 2017] on the possible intersection sizes of a $k$-dimensional subspace with the vertices of the $n$-dimensional hypercube in Euclidean space. Melo and Winter conjectured that all intersection sizes larger than $2^{k-1}$ (the "large" sizes) are of the form $2^{k-1}+2^i$. We show that this is almost true: the large intersection sizes are either of this form or of the form $35\cdot 2^{k-6}$. We also disprove a second conjecture of Melo and Winter by proving that a positive fraction of the "small" values is missing.

We prove that sets with positive upper Banach density in sufficiently large dimensions contain congruent copies of all sufficiently large dilates of three specific higher-dimensional patterns. These patterns are: $2^n$ vertices of a fixed $n$-dimensional rectangular box, the same vertices extended with $n$ points completing three-term arithmetic progressions, and the same vertices extended with $n$ points completing three-point corners. Our results provide common generalizations of several Euclidean density theorems from the literature.

Given a partition $V_1 \sqcup V_2 \sqcup \dots \sqcup V_m$ of the vertex set of a graph, we are interested in finding multiple disjoint independent sets that contain the correct fraction of vertices of each $V_j$. We give conditions for the existence of $q$ such independent sets in terms of the topology of the independence complex. We relate this question to the existence of $q$-fold points of coincidence for any continuous map from the independence complex to Euclidean space of a certain dimension, and to the existence of equivariant maps from the $q$-fold deleted join of the independence complex to a certain representation sphere of the symmetric group. As a corollary we derive the existence of $q$ pairwise disjoint independent sets accurately representing the $V_j$ in certain sparse graphs for $q$ a power of a prime.

We introduce two frameworks in order to deal with fractal and multi-fractal analysis for subset sum problems where some embedding into the $1$-dimensional Euclidean space plays an important role. As one of these frameworks, the notion of the combinatorial $q$-fractal dimension for a subset sum function is introduced. Thereby, ``non-classical'' generalized dimensions for a family of subset~sum functions can be defined. These generalized dimensions include the box-counting dimension, the information dimension and the correlation dimension as well as the classical case. The combinatorial $q$-fractal dimension includes the density of the subset sum problem. As the other framework, we construct a self-similar set for a particular subset sum function in a family of subset sum functions by using a graph theoretical technique. In this paper, we give a lower bound for a combinatorial $q$-fractal dimension and we show the relations between the three parameters: the number of connected components in a graph, the Hausdorff dimension and a combinatorial $q$-fractal dimension.

In this paper, claims by Lemmens and Seidel in 1973 about equiangular sets of lines with angle $1/5$ are proved by carefully analyzing pillar decompositions, with the aid of the uniqueness of two-graphs on $276$ vertices. The Neumann Theorem is generalized in the sense that if there are more than $2r-2$ equiangular lines in $\mathbb{R}^r$, then the angle is quite restricted. Together with techniques on finding saturated equiangular sets, we determine the maximum size of equiangular sets "exactly" in an $r$-dimensional Euclidean space for $r = 8$, $9$, and $10$.

We develop a rigidity theory for bar-joint frameworks in Euclidean $d$-space in which specified classes of edges are allowed to change length in a coordinated fashion that requires differences of lengths to be preserved within each class. Rigidity for these coordinated frameworks is a generic property, and we characterize the rigid graphs in terms of redundant rigidity in the standard $d$-dimensional rigidity matroid. We also interpret our main results in terms of matroid unions.

A convex code is a binary code generated by the pattern of intersections of a collection of open convex sets in some Euclidean space. Convex codes are relevant to neuroscience as they arise from the activity of neurons that have convex receptive fields. In this paper, we use algebraic methods to determine if a code is convex. Specifically, we use the neural ideal of a code, which is a generalization of the Stanley-Reisner ideal. Using the neural ideal together with its standard generating set, the canonical form, we provide algebraic signatures of certain families of codes that are non-convex. We connect these signatures to the precise conditions on the arrangement of sets that prevent the codes from being convex. Finally, we also provide algebraic signatures for some families of codes that are convex, including the class of intersection-complete codes. These results allow us to detect convexity and non-convexity in a variety of situations, and point to some interesting open questions.

A finite set of distinct vectors $\mathcal{X}$ in the $d$-dimensional Euclidean space $\mathbb{R}^d$ is called a $2$-distance set, if the set of mutual distances between distinct elements of $\mathcal{X}$ has cardinality exactly $2$. In this note we classify the $2$-distance sets in $\mathbb{R}^4$ up to isometry with computer-aided methods.

We investigate weighted floating bodies of polytopes. We show that the weighted volume depends on the complete flags of the polytope. This connection is obtained by introducing flag simplices, which translate between the metric and combinatorial structure. Our results are applied in spherical and hyperbolic space. This leads to new asymptotic results for polytopes in these spaces. We also provide explicit examples of spherical and hyperbolic convex bodies whose floating bodies behave completely different from any convex body in Euclidean space.

This paper studies visibility problems in Euclidean spaces $\mathbb{R}^d$ where the obstacles are the points of infinite discrete sets $Y\subseteq\mathbb{R}^d$. A point $x\in\mathbb{R}^d$ is called $\varepsilon$-visible for $Y$ (notation: $x\in\mathbf{vis}(Y, \varepsilon))$ if there exists a ray $L\subseteq\mathbb{R}^d$ emanating from $x$ such that $||y-z||\geq\varepsilon$, for all $y\in Y\setminus\{x\}$ and $z\in L$. A point $x\in\mathbb{R}^d$ is called visible for $Y$ (notation: $x\in\mathbf{vis}(Y))$ if $x\in\mathbf{vis}(Y, \varepsilon))$, for some $\varepsilon>0$.\\ Our main result is the following. For every $\varepsilon>0$ and every relatively dense set $Y\subseteq\mathbb{R}^2$, $\mathbf{vis}(Y, \varepsilon))\neq\mathbb{R}^2$. This result generalizes a theorem of Dumitrescu and Jiang, which settled Mitchell's dark forest conjecture. On the other hand, we show that there exists a relatively dense subset $Y\subseteq \mathbb{Z}^d$ such that $\mathbf{vis}(Y)=\mathbb{R}^d$. (One easily verifies that $\mathbf{vis}(\mathbb{Z}^d)=\mathbb{R}^d\setminus\mathbb{Z}^d$, for all $d\geq 2$). We derive a number of other results clarifying how the size of a sets $Y\subseteq\mathbb{R}^d$ may affect the sets $\mathbf{vis}(Y)$ and $\mathbf{vis}(Y,\varepsilon)$. We present a Ramsey type result concerning uniformly separated subsets of $\mathbb{R}^2$ whose growth is faster than linear.

A finite set of distinct vectors $\mathcal{X}$ in the $d$-dimensional Euclidean space $\mathbb{R}^d$ is called an $s$-distance set if the set of mutual distances between distinct elements of $\mathcal{X}$ has cardinality $s$. In this paper we present a combined approach of isomorph-free exhaustive generation of graphs and Gröbner basis computation to classify the largest $3$-distance sets in $\mathbb{R}^4$, the largest $4$-distance sets in $\mathbb{R}^3$, and the largest $6$-distance sets in $\mathbb{R}^2$. We also construct new examples of large $s$-distance sets for $d\leq 8$ and $s\leq 6$, and independently verify several earlier results from the literature.

Inspired by an experimental study of energy-minimizing periodic configurations in Euclidean space, Cohn, Kumar and Schürmann proposed the concept of formal duality between a pair of periodic configurations, which indicates an unexpected symmetry possessed by the energy-minimizing periodic configurations. Later on, Cohn, Kumar, Reiher and Schürmann translated the formal duality between a pair of periodic configurations into the formal duality of a pair of subsets in a finite abelian group. This insight suggests to study the combinatorial counterpart of formal duality, which is a configuration named formally dual pair. In this paper, we initiate a systematic investigation on formally dual pairs in finite abelian groups, which involves basic concepts, constructions, characterizations and nonexistence results. In contrast to the belief that primitive formally dual pairs are very rare in cyclic groups, we construct three families of primitive formally dual pairs in noncyclic groups. These constructions enlighten us to propose the concept of even sets, which reveals more structural information about formally dual pairs and leads to a characterization of rank three primitive formally dual pairs. Finally, we derive some nonexistence results about primitive formally dual pairs, which are in favor of the main conjecture that except two small examples, no primitive formally dual pair exists in cyclic groups.

A $\textit{regular polygon surface}$ $M$ is a surface graph $(Σ, Γ)$ together with a continuous map $ψ$ from $Σ$ into Euclidean 3-space which maps faces to regular Euclidean polygons. When $Σ$ is homeomorphic to the sphere and the degree of every face of $Γ$ is five, we prove that $M$ can be realized as the boundary of a union of dodecahedra glued together along common facets. Under the same assumptions but when the faces of $Γ$ have degree four or eight, we prove that $M$ can be realized as the boundary of a union of cubes and octagonal prisms glued together along common facets. We exhibit counterexamples showing the failure of both theorems for higher genus surfaces.

A periodic tridiagonal matrix is a tridiagonal matrix with additional two entries at the corners. We study the space $X_{n,λ}$ of Hermitian periodic tridiagonal $n\times n$-matrices with a fixed simple spectrum $λ$. Using the discretized Shrödinger operator we describe all spectra $λ$ for which $X_{n,λ}$ is a topological manifold. The space $X_{n,λ}$ carries a natural effective action of a compact $(n-1)$-torus. We describe the topology of its orbit space and, in particular, show that whenever the isospectral space is a manifold, its orbit space is homeomorphic to $S^4\times T^{n-3}$. There is a classical dynamical system: the flow of the periodic Toda lattice, acting on $X_{n,λ}$. Except for the degenerate locus $X_{n,λ}^0$, the Toda lattice exhibits Liouville--Arnold behavior, so that the space $X_{n,λ}\setminus X_{n,λ}^0$ is fibered into tori. The degenerate locus of the Toda system is described in terms of combinatorial geometry: its structure is encoded in the special cell subdivision of a torus, which is obtained from the regular tiling of the euclidean space by permutohedra. We apply methods of commutative algebra and toric topology to describe the cohomology and equivariant cohomology modules of $X_{n,λ}$.

Given an intersection pattern of arbitrary sets in Euclidean space, is there an arrangement of convex open sets in Euclidean space that exhibits the same intersections? This question is combinatorial and topological in nature, but is motivated by neuroscience. Specifically, we are interested in a type of neuron called a place cell, which fires precisely when an organism is in a certain region, usually convex, called a place field. The earlier question, therefore, can be rephrased as follows: Which neural codes, that is, patterns of neural activity, can arise from a collection of convex open sets? To address this question, Giusti and Itskov proved that convex neural codes have no "local obstructions," which are defined via the topology of a code's simplicial complex. Codes without local obstructions are called locally good, because the obstruction precludes the code from encoding the intersections of open sets that form a good cover. In other words, every good-cover code is locally good. Here we prove the converse: Every locally good code is a good-cover code. We also prove that the good-cover decision problem is undecidable. Finally, we reveal a stronger type of local obstruction that prevents a code from being convex, and prove that the corresponding decision problem is NP-hard. Our proofs use combinatorial and topological methods.