arXiv++ Combinatorics

This paper proves a conjecture by Solomon about Steiner shallow-light trees (SLT) in Euclidean $d$-space: It is shown that for any finite point set $\mathbb{R}^d$, any root, and any $ε>0$, there is a Euclidean Steiner $(1+ε,O(\sqrt{1/ε}))$-SLT without any dependence on dimension. We also revisit the core example, designed by Solomon, in the plane and its generalization to $d$-space.

A subperiodic group is a group of motions of $d$-dimensional Euclidean space $\R^d$ which contains a translation lattice $\Z^r$ of rank $r < d$ as a subgroup of finite index. A classification into abstract group isomorphism classes is performed for subperiodic groups in dimension~3: 75 \emph{crystallographic} rod groups ($r=1$) and 80 layer groups ($r=2$) are shown to belong to 32 and 34 isomorphism classes, respectively. An easy-to-compute set of invariants is developed for recognizing these isomorphism classes from finite presentations which makes use only of the number of subgroups up to a given finite index~$n$ ($n \leq 12$ for rod groups and $n \leq 8$ for layer groups) and how many of them are normal. Cayley graphs of rod and layer groups are used to illustrate the concept of bounded automorphisms of finite order, \emph{i.e.} those when the distance between a graph vertex and its image has an upper bound. It is proven that a Cayley graph of a crystallographic space group $G$ (in which case $r=d$) possesses bounded automorphisms of finite order, if and only if the respective inverse-closed generating set is stabilized by conjugation by an element of finite order in $G$. As an application, subperiodic groups in $\R^4$ with a three-dimensional translation lattice are used to systematically derive embeddings of three-periodic \emph{ladder graphs} in~$\R^3$.

Let $d \in \mathbb{N}$, $δ\in (0, 1/2)$, and $X > 0$. Denote by $N_d(X, δ)$ the maximum number of points in a subset of the closed Euclidean ball of radius $X$ in $\mathbb{R}^d$ such that every pairwise distance is at least $δ$ away from any integer. In the planar case, Sárközy proved that for every $\varepsilon > 0$, $N_2(X, δ) = Ω_δ(X^{1/2-\varepsilon})$ as $X \rightarrow \infty$ whenever $δ$ is sufficiently small in terms of $\varepsilon$, while Konyagin proved the almost matching upper bound $N_2(X,δ) = O_δ(X^{1/2})$. We study this problem in higher dimensions, addressing a question of Erdős and Sárközy. Extending Sárközy's construction, we show that for every $\varepsilon > 0$, $N_3(X, δ) = Ω_δ(X^{1-\varepsilon})$ for $δ$ sufficiently small in terms of $\varepsilon$. We also provide a lifting lemma from integer distance sets to sets avoiding near-integer distances via bilipschitz embeddings of snowflaked Euclidean spaces. This allows us to prove a linear lower bound $N_4(X,δ) = Ω_δ(X)$ for all sufficiently small $δ$. Finally, adapting Konyagin's approach, we prove the upper bound $N_d(X, δ) = O_{d, δ}(X^{d/2})$ for all $d \in \mathbb{N}$.

We study the Falconer distance set problem in Euclidean space and obtain improved dimensional estimates under natural Fourier analytic assumptions cast in terms of the Fourier dimension and spectrum. Interestingly, under reasonably mild assumptions, we are able to beat the $d/2$ dimension threshold in dimensions $d \geq 5$. For example, we show that (in any ambient spatial dimension $d$) a Borel set with Fourier dimension at least $2$ has a distance set of full Hausdorff dimension. We also show that (in any ambient spatial dimension $d$) a Borel set with Fourier spectrum at least $d/4+1$ at $θ=1/2$ has a distance set of full Hausdorff dimension. In particular, this can hold for sets with Fourier dimension zero (provided $d \geq 4$). We also consider pinned variants of these problems and construct examples that demonstrate the sharpness (or near sharpness) of our results.

Erdős asked whether every $n$-point set in Euclidean space whose $\binom{n}{2}$ pairwise distances are mutually at least $1$ apart must have diameter at least $(1+o(1))n^2$. We disprove this statement by constructing for every prime power $q$ a set $\mathcal X_q\subset \mathbb R^{q^2+q}$ of $n=q+1$ points such that all pairwise distances in $\mathcal X_q$ are mutually at least $1$ apart, while $$\operatorname{diam}(\mathcal X_q)\le\Bigl(1-\frac{1}{π^2}+o(1)\Bigr)n^2.$$ The proof is fully formalized in Lean 4.

We give a combinatorial characterization of generic infinitesimal rigidity of graphs in Euclidean space, sometimes called bar-joint frameworks, or trusses. By gluing together local versions of Cramer's rule at each vertex, we find a globally valid self-stress on the edges. The compatibility conditions deciding whether the local solutions fit together properly are controlled by the Plücker relations on the Grassmannian $Gr(d, v-1)$, using the combinatorics of Young's straightening law.

We compute all the Chern, Milnor and Pontryagin numbers for canonical toric manifolds associated with abstract simplicial complexes and the Stiefel-Whitney numbers for their real counterparts. Applications include combinatorial characterizations of the unitary, oriented and unoriented bordism classes, new geometrical representatives of the unitary bordism ring generators, a combinatorial criterion for a canonical toric manifold to bound, as well as the dimension estimates for their immersions into euclidean spaces.

We study edge-isoperimetric inequalities in chamber graphs of affine hyperplane arrangements. Our approach is topological: to a set of chambers we associate its thickening in Euclidean space and estimate its edge boundary through the induced stratification by intersections of arrangement hyperplanes. This yields general lower bounds for a broad class of sets. We show that a convex set of chambers of size $\sum_{i=0}^d \binom{k}{i}$, with $k\ge d-1$, has edge boundary at least $\sum_{i=0}^{d-1}\binom{k}{i}$, and we conjecture that convex sets minimize the edge boundary among all chamber sets of a fixed size. We verify this conjecture in dimension $2$. Our main result is a three-dimensional asymptotic inequality for arbitrary subsets of chambers: for arrangements in general position, every set $S$ occupying at most a fixed proportion of the chambers satisfies $|\partial S|=Ω(|S|^{2/3})$. As a consequence, for an arrangement of $n$ hyperplanes in general position in $\mathbb R^3$, the lazy simple random walk on the chamber graph has $\varepsilon$-mixing time $O(n^2\log(n/\varepsilon))$.

Aromatic Butcher series were successfully introduced for the study and design of numerical integrators that preserve volume while solving differential equations in Euclidean spaces. They are naturally associated to pre-Lie-Rinehart algebras and pre-Hopf algebroids structures, and aromatic trees were shown to form the free tracial pre-Lie-Rinehart algebra. In this paper, we present the generalisation of aromatic trees for the study of divergence-free integrators on manifolds. We introduce planar aromatic trees, show that they span the free tracial post-Lie-Rinehart algebra, and apply them for deriving new Lie-group methods that preserve geometric divergence-free features up to a high order of accuracy.

The lower bound for the chromatic number of the Euclidean space of dimension 8 is increased to 25.

We determine the maximum number $N_α(d)$ of equiangular lines with fixed angle $\arccosα$ for $α= 1/(1+2\sqrt2)$ in $d$-dimensional Euclidean space: $2,3,4,6,8,10,14,15,16,17,18,20,22$ for $d \in \{2,\dots,14\}$, and $\max(24, \lfloor 3(d-1)/2 \rfloor)$ for $d \ge 15$. This appears to be the first complete determination of $N_α(d)$ in all dimensions $d$ for a fixed nontrivial $α$, since the work of Lemmens and Seidel for $α= 1/3$ in 1973.

Robinson spaces are structures equipped with a total order that encodes comparative dissimilarity relationships. We study the problem of representing Robinson dissimilarity spaces into low-dimensional metric spaces. These representations aim to preserve the relative dissimilarity relationships between elements rather than their exact values. While low dimensional Euclidean spaces such as $\mathbb{R}^1$ and $\mathbb{R}^2$ are natural candidates for such embeddings, previous work has shown that not all Robinson spaces admit a valid embedding in the real line that respects their structural constraints. Motivated by this limitation, we explore the broader class of real trees, which retain low-dimensional interpretability while allowing greater flexibility. To address the embedding problem, we develop two key tools: a combinatorial representation of Robinson spaces and a topological characterization of caterpillars, a restricted class of real trees. These tools enable a formulation of the embedding problem as a linear program, providing both computational and theoretical insights. We prove that some subclasses of Robinson spaces always admit embeddings in a caterpillar, and we establish the existence of Robinson spaces that cannot be embedded in any real tree. These results clarify the geometric limitations of representing ordered dissimilarity structures and open new directions for studying the interaction between dissimilarity, order, and metric geometry.

We investigate colorings of the Euclidean space \(\mathbb{R}^n\) in which the color of a point \(p\) is determined by monochromatic configurations of points lying on hyperspheres centered at \(p\). We consider two types of conditions: those based on the cardinality of the forcing sets and admissible radii, and those based on certain geometric properties of simplices, such as shape, edge lengths, or volumes, for colorings using countably (finite or infinite) many colors. Our main objective is to determine whether a given condition forces the coloring to be monochromatic or not. Examples constructed using existing results show that, for conditions based on shapes, additional regularity assumptions on color classes are necessary. Accordingly, we study colorings that are somewhere comeager.

We introduce the {\em pair-cut cone $PCUT_n$} of metrics on sets with $n\ge 3$ elements, that correspond to linear combinations with non-negative coefficients of the cut-metrics resulting from cuts that are pairs. Given a metric, we fully characterize membership in the pair-cut cone in terms of quantities computed from the metric directly. We also prove a new result by which a metric $d$ that satisfies a system of inequalities, lies in the (full) cut cone of metrics, making it $\ell_1$-embeddable into Euclidean space. We give applications of our results to the $\ell_1$-embeddability of simple graphs into Euclidean space as {\em sphere-of-influence graphs}. We exhibit an example of a simple graph that admits no such $\ell_1$-metric in the pair-cut cone.

Given a graph $H$, let $χ_H(\mathbb{R}^n)$ be the smallest positive integer $r$ such that there exists an $r$-coloring of $\mathbb{R}^n$ with no monochromatic unit-copy of $H$, that is a set of $|V(H)|$ vertices of the same color such that any two vertices corresponding to an edge of $H$ are at distance one. This Ramsey-type function extends the famous Hadwiger--Nelson problem on the chromatic number $χ(\mathbb{R}^n)=χ_{K_2}(\mathbb{R}^n)$ of the space from a complete graph $K_2$ on two vertices to an arbitrary graph $H$. It also extends the classical Euclidean Ramsey problem for congruent monochromatic subsets to the family of those defined by a specific subset of unit distances. Among others, we show that $χ_H(\mathbb{R}^n)=χ(\mathbb{R}^n)$ for any even cycle $H$ of length $8$ or at least $12$ as well as for any forest and that $χ_H(\mathbb{R}^n)=\lceilχ(\mathbb{R}^n)/2\rceil$ for any sufficiently long odd cycle. Our main tools and results, which are of independent interest, establish that Cartesian powers enjoy Ramsey-type properties for graphs with favorable Turán-type characteristics, such as zero hypercube Turán density. In addition, we prove induced variants of these results, find bounds on $χ_H(\mathbb{R}^n)$ for growing dimensions $n$, and prove a canonical-type result. We conclude with many open problems. One of these is to determine $χ_{C_4}(\mathbb{R}^2)$, for a cycle $C_4$ on four vertices.

We consider the action of a permutation group $G$ of order $k$ on the tropical polynomial semiring in $n$ variables. We prove that the sub-semiring of invariant polynomials is finitely generated if and only if $G$ is generated by $2$-cycles. There do exist finitely many separating invariants of degree at most $\max\{n,{n\choose 2}\}$. Separating tropical invariants can be used to construct bi-Lipschitz embeddings of the orbit space ${\mathbb R}^n/G$ into Euclidean space. We also show that the invariant polynomials of degree $\leq n p_1p_2\cdots p_k$ generate the semifield of invariant rational tropical functions, where $p_1,p_2,\dots,p_k$ are the first $k$ prime numbers. Most results are also true over arbitrary semirings that are additively idempotent and multiplicatively cancellative.

The \emph{chromatic number} of a hypergraph is the smallest number of colors needed to color the vertices such that no edge of at least two vertices is monochromatic. Given a family of geometric objects $\mathcal{F}$ that covers a subset $S$ of the Euclidean space, we can associate it with a hypergraph whose vertex set is $\mathcal F$ and whose edges are those subsets ${\mathcal{F}'}\subset \mathcal F$ for which there exists a point $p\in S$ such that ${\mathcal F}'$ consists of precisely those elements of $\mathcal{F}$ that contain $p$. The question whether $\mathcal F$ can be split into 2 coverings is equivalent to asking whether the chromatic number of the hypergraph is equal to 2. There are a number of competing notions of the chromatic number that lead to deep combinatorial questions already for abstract hypergraphs. In this paper, we concentrate on \emph{geometrically defined} (in short, \emph{geometric}) hypergraphs, and survey many recent coloring results related to them. In particular, we study and survey the following problem, dual to the above covering question. Given a set of points $S$ in the Euclidean space and a family $\mathcal{F}$ of geometric objects of a fixed type, define a hypergraph ${\mathcal H}_m$ on the point set $S$, whose edges are the subsets of $S$ that can be obtained as the intersection of $S$ with a member of $\mathcal F$ and have at least $m$ elements. Is it true that if $m$ is large enough, then the chromatic number of ${\mathcal H}_m$ is equal to 2?

For a finite set of points $V=\{v_1, \dots, v_m\}$ in Euclidean space $\mathbb{R}^d$ and a point $r \in \mathbb{R}^d$, a subset $S \subset V$ is called $r$-balanced if $\mathrm{relint}(\mathrm{conv}(S)) \cap r \neq \emptyset$. In the case when $r$ is a point in the relative interior of the whole set $\mathrm{conv}(V)$, we prove that the poset of all balanced subsets, excluding the whole set $V$, is homotopy equivalent to the sphere of dimension $m-k-2$, where $k$ is the dimension of the affine hull of $V$.

Every graph G can be embedded in a Euclidean space as a two-distance set. This allows us to reformulate the analogue of Borsuk's conjecture for two-distance sets in terms of graphs. This conjecture remains open for dimensions from 4 to 63. This short note also discusses an approach for finding counterexamples using graphs, as well as its generalization for s-distance sets.

Determining the minimum density of a covering of $\mathbb{R}^{n}$ by Euclidean unit balls as $n\to\infty$ is a major open problem, with the best known results being the lower bound of $\left(\mathrm{e}^{-3/2}+o(1)\right)n$ by Coxeter, Few and Rogers [Mathematika 6, 1959] and the upper bound of $\left(1/2+o(1) \right)n \ln n$ by Dumer [Discrete Comput. Geom. 38, 2007]. We prove that there are ball coverings of $\mathbb{R}^n$ attaining the asymptotically best known density $\left(1/2+o(1) \right)n \ln n$ such that, additionally, every point of $\mathbb{R}^n$ is covered at most $\left(1.79556... + o(1)\right) n \ln n$ times. This strengthens the result of Erdős and Rogers [Acta Arith. 7, 1961/62] who had the maximum multiplicity at most $\left(\mathrm{e} + o(1)\right) n \ln n$. On the other hand, we show that the method that was used for the best known ball coverings (when one takes a random subset of centres in a fundamental domain of a suitable lattice in $\mathbb{R}^n$ and extends this periodically) fails to work if the density is less than $(1/2+o(1))n\ln n$; in fact, this result remains true if we replace the ball by any convex body $K$. Also, we observe that a ``worst'' convex body $K$ here is a cube, for which the packing density coming from random constructions is only $(1+o(1))n\ln n$.