arXiv++ Combinatorics

We initiate the study of magnitude theory of real hyperplane arrangements. Magnitude is a cardinality-like invariant of metric spaces or enriched categories measuring the effective size. Its categorification, the magnitude homology, is a more powerful invariant. For a real hyperplane arrangement, or more generally, an oriented matroid, the tope graph encapsulates considerable amount of information. Since tope graphs are equipped with the shortest path metric, we feed them to the magnitude and magnitude homology machinery to derive new invariants of real hyperplane arrangements. We prove some structural results of the magnitude of arrangements, including reciprocity, palindromic numerator and denominator. For magnitude homology of arrangements, we give combinatorial descriptions in small length and prove that tope graphs are diagonal if and only if the arrangement is Boolean. We present a face decomposition of magnitude homology, using which we obtain a combinatorial formula of diagonal magnitude Betti numbers. Many open problems are posted for future study. In particular, we conjecture that magnitude and magnitude homology of arrangements are determined by the intersection lattice.

We consider the problem of wrapping three-dimensional solid bodies with a given planar sheet of paper, where the paper may be folded or wrinkled but not stretched or torn. We propose a conjecture characterising the maximumvolume solid wrappable by any given sheet: the maximum is always achieved (or approached) by a non-convex body. In other words, for any convex solid wrappable by a given sheet, there exists a non-convex solid of strictly greater volume that the same sheet can wrap. We discuss related work, a key subquestion involving the sphere, and several further directions.

We show that a family of extremely thin sets satisfy the Erdős similarity conjecture. These examples lie outside the range covered by recent work of Shmerkin and Yavicoli \cite{ShmerkinYavicoli2025}. As we shall see, they have small logarithmic dimension. They do not contain affine copies of slowly decaying sequences, so the result does not follow from earlier work of Falconer and Eigen \cite{Falconer1984,Eigen}. On the other hand, they do contain sequences of rapid decay, for which the conjecture is still open in general. Our argument is based on Falconer lattice sets and a theorem of Bourgain \cite{Bourgain2003}.

Abstract polytopes are combinatorial structures with distinctive geometric, algebraic, or topological characteristics, that generalize (the face lattice of) traditional polyhedra, polytopes or tessellations. Most research has focused on abstract polytopes with the highest possible symmetry, in particular those that are regular or chiral. In this paper we study two-orbit polytopes, that is, abstract polytopes whose automorphism groups have exactly two orbits on flags. Such polytopes of rank $n$ fall into $2^n-1$ classes, determined by their local flag configuration. We develop a general structural theory of two-orbit polytopes of arbitrary rank. In particular, we determine their face- and section-transitivity properties and describe the structure of their automorphism groups via distinguished generating sets and face stabilizer subgroups. These results yield a characterization of the partial order { on the polytope} in terms of the automorphism group. Two-orbit polytopes in different classes behave quite differently. Our approach extends the group-theoretic framework for regular and chiral polytopes and provides a systematic foundation for the study of polytopes with two flag orbits.

In this article, we investigate vacuum leakage detection problems in composite manufacturing. Our approach uses Voronoi diagrams, a well-known structure in discrete geometry. The Voronoi diagram of the vacuum connection positions partitions the component surface. We use this partition to narrow down potential leak locations to a small area, making an efficient manual search feasible. To further reduce the search area, we propose refined Voronoi diagrams. We evaluate both variants using a novel dataset consisting of several hundred one- and two-leak positions along with their corresponding flow values. Our experimental results demonstrate that Voronoi-based predictive models are highly accurate and have the potential to resolve the leakage detection bottleneck in composite manufacturing.

Let $Ω\subset \mathbb{R}^2$ be a convex set. We study the problem of distributing a one-dimensional set $S$ with total length $L$ so that for any line $\ell$ in $\mathbb{R}^2$ the number of intersections $\#(\ell \cap S)$ is proportional to the length $\mathcal{H}^1(\ell \cap Ω)$ as much as possible; we use the term Buffon discrepancy for the largest error. A construction of Steinhaus can be generalized to prove the existence of sets with Buffon discrepancy $\lesssim L^{1/3}$. We also show that the unit disk $\mathbb{D}$ admits a set with uniformly bounded Buffon discrepancy as $L \rightarrow \infty$.

Lopsided sets were introduced by Jim Lawrence in 1983 when he studied the subsets of $\{-1,+1\}^E$ that encode the intersection pattern of a convex set $K$ with the orthants of ${\mathbb R}^E$. Lopsided sets have been independently rediscovered by several other authors, in particular by Andreas Dress in 1995, who called them \emph{ample} sets. Dress defined ample sets as the set families satisfying equality in a combinatorial inequality, which holds for all set families. In a previous article we characterized ample sets in various combinatorial and graph-theoretical ways. In this paper we study geometric realizations of ample sets as cubihedra (cube complexes), which yields several new characterizations. One such characterization establishes that the cubihedra of ample sets endowed with the intrinsic $\ell_1$-metric are exactly the isometric subspaces of $\ell_1$-spaces (which we call, weakly convex sets). We also view the barycenter maps of faces of cubihedra of ample sets as collections of $\{ \pm 1, 0\}$-sign vectors and, in analogy with the characterization of oriented matroids by the covectors and the cocircuits. Moreover, we characterize the collections of $\{ \pm 1, 0\}$-sign vectors corresponding to barycenter maps of all faces and all maximal faces of an ample set. Furthermore, we show that any ample set $\covectors\subseteq \{ -1,+1\}^E$ is realizable as the intersection pattern of a weakly convex set $K$ with the orthants of ${\mathbb R}^E$. All this testifies that the concept of ample sets is quite natural in the context of cube complexes.

We investigate the isoperimetric problem for the Voronoi cells of three-dimensional lattices. Using Selling parameters, we derive an explicit closed formula for the scale-invariant isoperimetric quotient $F$ in terms of six non-negative variables. We then analyse the local behaviour of $F$ at the most relevant lattice configurations: we prove that the body-centered cubic lattice (BCC) is a strict local minimiser of $F$ at fixed volume, whereas the face-centered cubic lattice (FCC) and the simple cubic lattice (SC) are not local minimisers. Then, we consider a family of lattices which interpolates between BCC and FCC, showing that BCC is the global minimiser of $F$ restricted to this family.

We construct a complete Riemannian surface $Σ$ that admits no triangulation $G\subset Σ$ such that the inclusion $G^{(1)} \hookrightarrow Σ$ is a quasi-isometry, where $G^{(1)}$ is the simplicial 1-skeleton of $G$. Our construction is without boundary, has arbitrarily large systole, and furthermore, there is no embedded graph $G\subsetΣ$ such that $G^{(1)} \hookrightarrow Σ$ is a quasi-isometry. This answers a question of Georgakopoulos.

In this article, we present a unified algebraic-combinatorial framework for computing explicit, piecewise rational, and combinatorially indexed parametric formulas for volumes and higher moments of slices and slabs of polyhedral norm balls. Our main method builds on prior work concerning a combinatorial decomposition of the parameter space of all slices of a polytope. We extend this framework to slabs, and find a polynomial-time algorithm in fixed dimension. We also exhibit computational methods to obtain moments of arbitrary order for all slices or slabs of any polyhedral norm ball, and an algebraic framework for analyzing their critical points. In addition, we present an experimental study of the $d$-dimensional unit cube. Our analysis recovers and reinterprets the known volume formulas for slabs and slices of the two- and three-dimensional cubes, first obtained by König and Koldobsky. Moreover, our method identifies a new complete family of fourteen rational functions giving the volumes of slices and slabs of the four-dimensional cube. We further compute explicit higher moments of slices and slabs in dimensions two and three, and derive explicit formulas for moments of arbitrary order for slices of the two-dimensional cube, describing their critical points.

Henze and Malikiosis (2017) have shown that the Lonely Runner Conjecture (LRC) can be restated as a convex-geometric question on the so-called LR zonotopes, lattice zonotopes with one more generator than their dimension. This relation naturally suggests a more generel statement, the \emph{shifted LRC}, the zonotopal version of which concerns a classical parameter, the covering radius. Theorems A and B in Malikiosis-Schymura-Santos (2025) use the zonotopal restatements of both the original and the shifted LRC to prove a linearly-exponential bound on the size of the (integer) speeds for which the conjectures need to be checked in order to establish them for each fixed number of runners; in the shifted version their statement and proof rely on a certain assumption on two-dimensional rational vector configurations, the so-called ``Lonely Vector Property''. In this paper we do two things: 1. We push the analogies between the two versions of LRC and their zonotopal counterparts, in particular highlighting that the proofs of Theorems A and B in Malikiosis-Schymura-Santos are more transparent, and the statments more general, if regarded in terms of two quite general classes of lattice zonotopes: the coloopless zonotopes that we introduce here and the cosimple ones, already defined by them. These classes contain all primitive zonotopes of widths at least two and at least three, respectively. 2. We show explicit counterexamples to both the shifted Lonely Runner Conjecture (starting at $n=5$) and to the Lonely Vector Property (starting at $n=12$).

We investigate the metric structure of the intersection lattice L(B(n,k)) of the discriminantal arrange ment using circuit supports. We show that the cover graph associated with L(B(n,k)) is isometrically embedded into a hypercube, making it a partial cube and a median graph, with distances given by the Hamming distance and geodesics described by symmetric differences. We also prove a Poisson limit and a sharp threshold for overlaps of random circuit families, revealing an underlying hypercube geometry.

In 1992, Bollobás and Meir showed that for every $k \geq 1$ there exists a constant $c_k$ such that, for any $n$ points in the $k$-dimensional unit cube $[0, 1]^k$, one can find a tour $x_1, \dots, x_n$ through these $n$ points with $\sum_{i = 1}^n |x_i - x_{i + 1}|^k \leq c_k$, where $x_{n + 1} = x_1$ and $|x - y|$ is the Euclidean distance between $x$ and $y$. Remarkably, this bound does not depend on $n$, the number of points. They conjectured that the optimal constant is $c_k = 2 \cdot k^{k / 2}$ and showed that it cannot be taken lower than that. This conjecture was recently revised for $k = 3$ by Balogh, Clemen and Dumitrescu, who showed that $c_3 \geq 2^{7/2} > 2 \cdot 3^{3/2}$. It remains open for all $k > 2$, with the best known upper bound $c_k \leq 2.65^k \cdot k^{k / 2} \cdot (1 + o_k(1))$. We significantly narrow the gap between lower and upper bounds on $c_k$, reducing it from exponential to linear. Specifically, we prove that $c_k \leq 2\mathrm{e}(k + 1) \cdot k^{k / 2}$ and $c_k = k^{k / 2} \cdot (2 + o_k(1))$, the latter establishing the conjecture asymptotically. We also obtain analogous results for related problems on Hamiltonian paths, spanning trees and perfect matchings in the unit cube. Our main tool is a new generalization of the ball packing argument used in earlier works.

A generalization of the Borsuk-Ulam theorem to Stiefel manifolds is considered. This theorem is applied to derive bounds on $d$ that guarantee--for a given set of $m$ measures in $\mathbb{R}^d$--the existence of $k$ mutually orthogonal hyperplanes, any $n$ of which partition each of the measures into $2^n$ equal parts. If $n=k$, the result corresponds to the bound obtained in [11], but with the stronger conclusion that the hyperplanes are mutually orthogonal.

The transversal ratio of a polytope $P$ is the minimum proportion of vertices of $P$ required to intersect each facet of $P$. The weak chromatic number of $P$ is the minimum number of colors required to color the vertices of $P$ so that no facet is monochromatic. We will construct an infinite family of $d$-polytopes for each $d\geq 5$ whose transversal ratio approaches 1 as the number of vertices grows. In particular, this implies that the weak chromatic number for $d$-polytopes is unbounded for each $d\geq 5$. The previous best known lower bounds on the supremum of the transversal ratio for $d$-polytopes for $d\geq 5$ were 2/5 for odd $d$ by Novik and Zheng, and 1/2 for even $d$ by Holmsen, Pach, and Tverberg. In the case of simplicial $(d-1)$-spheres, the best known lower bounds were 1/2 for $d=5$ and $6/11$ for $d=6$ by Novik and Zheng.

We present a substitution rule for a rhomb tiling with 10-fold rotational symmetry. The tiling is closely related to the Penrose rhomb tilings and can be obtained from the pentagrid construction. We introduce a finite set of marked prototiles and describe an explicit substitution rule with inflation factor phi^3. Our main result is that the substitution is recognizable, so that the hierarchical structure of the tiling can be uniquely recovered from local configurations. Finally, we describe the relation between the tiling and the pentagrid construction.

Suppose $\left\{x_1, \dots, x_n\right\} \subset \mathbb{R}^2$ is a set of $n$ points in the plane with diameter $\leq 1$, meaning $\|x_i - x_j\| \leq 1$ for all $1 \leq i,j \leq n$. We show that the ratio of the number of "neighbors" (pairs of points with distance $\leq \varepsilon$) to the number of "antipodes" (pairs of points with distance $\geq 1 - \varepsilon$) is $\gtrsim\varepsilon^{1/2 + o(1)}$, attaining the conjectured correct asymptotic within a polylog factor and improving the $\gtrsim\varepsilon^{3/4+o(1)}$ bound of Steinerberger (2025).

We prove that the kissing number in 19 dimensions is at least 11948, improving the bound of Cohn and Li by 256. The proof combines Cohn and Li's odd-sign construction with an explicit nonlinear binary code of length 19, size 1280, and minimum distance 5 inside a 5-punctured extended binary Golay code. The construction makes use of nested codes $M\le K\le D$: quotienting a particular graph on $K$ by $M$ yields the Clebsch graph, then an independent set of size 5 in that quotient lifts to a 320-word code in $K$, and finally the four cosets of $K$ in $D$ give the full 1280-word code.

We consider a problem posed by Erdős, Herzog and Piranian on the maximum product of distances of a point set of order $n$ with a given diameter. We prove that it is sufficient to consider convex polygons and obtain results on the structure of the diameter graph. We also give constructions that drastically improve on the regular $n$-gons, sketching what the extremal polygons should look like, while presenting results indicating that one cannot hope to characterize the extremal polygons in general for even orders.

Weil-Petersson and Masur-Veech volumes measure the sizes of moduli spaces of Riemann surfaces equipped with hyperbolic and flat metrics, respectively. Over the past several decades, the computation of these volumes has inspired remarkable developments in combinatorial enumeration, intersection theory, and recursion relations. In this survey, we review key results, methods, open problems, as well as interesting parallels that emerge in the approaches to computing both types of volumes.