arXiv++ Combinatorics

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.

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.

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.

Fix $k \in \mathbb{N}$ and $0 < δ< 1$. We study how large $N$ must be so that every $δ$-dense subset $\mathcal{D} \subset \{0,1\}^N$ (meaning $|\mathcal{D}| \geq δ2^N$) contains the image of a metric embedding $f: \{0,1\}^k \to \mathcal{D}$. We study three variants. For a $(1+\varepsilon)$-bi-Lipschitz map $f$ with fixed $\varepsilon > 0$, we show $N = O(\varepsilon^{-2} \log(1/δ) k^3)$. For an isometric map with arbitrary rescaling (undistorted), we show $N = \log(1/δ) e^{Ω(k)}$ and conjecture $N = \log(1/δ) e^{O(k)}$. For an isometric map with bounded rescaling we show $N = \exp[\log(1/δ) e^{Θ(k)}]$. As a geometric application, we obtain a nonpositive Alexandrov curvature counterpart to the work of Bartal-Linial-Mendel-Naor on the nonlinear Dvoretzky problem. It is known that any subset of $\{0,1\}^N$ embedding with bi-Lipschitz distortion $< α$ into a metric space of nonnegative Alexandrov curvature must satisfy $|\mathcal{D}| \lesssim 2^{N(1-Ω(α^{-2}))}$. Work of Gromov and Kondo shows that this approach does not extend to CAT(0) targets. We prove that for every $N \gtrsim α^6 \geq 1$, any $\mathcal{D} \subset \{0,1\}^N$ embedding with distortion $< α$ into a CAT(0) space must satisfy $|\mathcal{D}| \lesssim 2^{N(1-Ω(α^{-4}))}$, via a completely different approach. Similar results hold for targets of nontrivial Enflo type. Finally, we prove the density analogue of a coloring theorem of Rodl-Sales: we give bounds for $(1+\varepsilon)$-bi-Lipschitz embeddings of the path $\{1,\ldots,k\}$ into dense subsets of $\{1,\ldots,N\}$ (improving a bound of Dumitrescu), and prove similar bounds for binary tree metrics.

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.

Incidence theorems concern configurations of points, lines, and, more generally, higher-dimensional subspaces in projective space. Broadly speaking, such theorems fall into two classes: those that hold over an arbitrary division ring, such as Desargues' theorem, and those that hold only over fields, such as Pappus' theorem. In this paper, we explain the topological origin of this distinction. To this end, we extend to the noncommutative setting the surface-graph approach to incidence theorems developed by Richter-Gebert, Fomin, and Pylyavskyy. We then show that theorems associated with graphs embedded on the sphere, such as Desargues' theorem, hold over any division ring, whereas theorems corresponding to graphs embedded on surfaces of positive genus, such as Pappus' theorem, typically hold if and only if the ground ring is a field.

This paper develops an explicit and implementable framework for constructing spherical designs by lifting point sets from tight fusion frames. By combining existing ingredients, we obtain, in every dimension, explicit spherical $5$-designs with $|X|=\mathcal{O}(d^3)$. As a core component of the method, we give an explicit construction of simplex $3$-designs realized as orbits of the symmetric group. Using these simplex designs as input, we further construct spherical $7$-designs in arbitrary even dimensions; more precisely, for every even integer $d\ge 6$ we obtain spherical $7$-designs in dimension $d$, and if $\frac{d}{2}-1$ is a prime power then the number of points is $\mathcal{O}(d^6)$.

Skeletal polyhedra are discrete connected structures consisting of finite (planar or skew) or infinite (linear, planar, or spatial) polygons as faces, with two faces on each edge and a circular vertex figure at each vertex. The present paper describes the blueprint for the snub construction and shows that it can be applied to both regular and chiral skeletal polyhedra in ordinary space. The resulting skeletal snub polyhedra are vertex-transitive and highly locally symmetric. Their properties - from a combinatorial, topological, and geometric perspective - are described and illustrated on some particularly interesting examples. We examine when the construction yields uniform skeletal polyhedra and discuss the completeness of our list of generated structures.

We provide a piecewise linear isomorphism from the normal fan of the pivot polytope of a product of simplices to the normal fan of a shuffle of associahedra.

We propose a new topological tool for computer vision - Scalar Function Topology Divergence (SFTD), which measures the dissimilarity of multi-scale topology between sublevel sets of two functions having a common domain. Functions can be defined on an undirected graph or Euclidean space of any dimensionality. Most of the existing methods for comparing topology are based on Wasserstein distance between persistence barcodes and they don't take into account the localization of topological features. The minimization of SFTD ensures that the corresponding topological features of scalar functions are located in the same places. The proposed tool provides useful visualizations depicting areas where functions have topological dissimilarities. We provide applications of the proposed method to 3D computer vision. In particular, experiments demonstrate that SFTD as an additional loss improves the reconstruction of cellular 3D shapes from 2D fluorescence microscopy images, and helps to identify topological errors in 3D segmentation. Additionally, we show that SFTD outperforms Betti matching loss in 2D segmentation problems.