arXiv++ Combinatorics

Liftings and parallel redrawings are classical topics in applied discrete geometry, concerned respectively with vertically lifting a $(d-1)$-picture -- a realisation of a vertex-hyperplane incidence geometry in $\mathbb{R}^{d-1}$ -- to a $d$-dimensional polyhedral scene, and with redrawing a $d$-picture (or hyperplane arrangement) within $\mathbb{R}^d$ while preserving prescribed hyperplane normals. In this paper, we develop a unified framework for the analysis of forced-symmetric liftings and forced-symmetric parallel redrawings. In particular, we show that the classical duality for these theories also appears in the forced-symmetric setting. We establish the orbit lifting matrix and the orbit concurrence geometry matrix, and show that they are the appropriate symmetry-adapted analogues of the standard lifting matrix and concurrence geometry (or parallel redrawing) matrix. We also make explicit the relationship with the orbit version of Whiteley's parallel design matrix for graphs. Using these tools, we derive necessary conditions for symmetric pictures to be forced-symmetric flat, and for symmetric hyperplane arrangements to be forced-symmetric robust, expressed as sparsity counts on the group-labelled quotient graphs associated with the symmetric incidence geometries. Finally, we discuss conjectures regarding the sufficiency of these conditions for generic configurations.

Since Isaac Newton first studied the Kissing Number Problem in 1694, determining the maximal number of non-overlapping spheres around a central sphere has remained a defining challenge in discrete geometry. As the local analogue of Hilbert's 18th problem, it has profound implications across geometry, number theory and information theory. Although lattices and codes have achieved significant progress, the field is confined to isolated extremal configurations, leaving underlying geometric principles obscured. Here we shift the object to the broader extremal configuration space, thereby opening a new path for the Kissing Number Problem. Accordingly, we recast this problem as a cooperative matrix-completion game, and train a reinforcement learning system, PackingStar, to solve it. One player fills cosine entries while the other corrects suboptimal ones, making explosive geometric complexity tractable. Working within extremal configuration spaces, PackingStar discovers new interpretable geometric structures that improve 15 strong bounds held for decades in kissing numbers and their generalizations, several of them provably optimal under natural inner products. These findings reveal the first explicit spherical-code realization of the Fischer group Fi22, extend the classical Euclidean representation of subgroup structure, and directly inspire subsequent breakthroughs by mathematicians. Overall, the work provides an early example of AI-driven progress on a Hilbert-calibre problem, showing how reinforcement learning advances mathematical discovery by unlocking more expressive objects.

We describe a polytopal realization of categorical $n$-associahedra. The normal fan of this polytopal realization is a modification of the authors' velocity fan and was found by OpenAI's Astra model.

Let $B^d$ denote the $d$-dimensional Euclidean ball of unit radius. What is the largest constant $f(B^d) \in [0,1]$ with the property that every finite collection $\mathcal{C}$ of unit balls in $\mathbb{R}^d$ admits a disjoint sub-collection $\mathcal{S}$ occupying at least a fraction $f(B^d)$ of the volume of $\mathcal{C}$? This problem was first raised by T. Radó in 1928, for axis-parallel squares in the plane; the author was motivated by a classical covering lemma in real analysis due to Vitali. The case of Euclidean balls was first considered by R. Rado in 1949. Until last year the best known estimates on $f(B^d)$ for unit balls where very far apart: \[ (1+ε_d) 3^{-d} \leq f(B^d) \leq 2^{-d}, \] where $0<ε_d=o_{d\rightarrow \infty}(1)$. Recently, the authors of this note observed that an exponential improvement on the upper bound follows from the Kabatiansky--Levenshtein spherical code bound, while the lower bound was improved by a linear factor by C.~Xie and G.~Ge (see arxiv:2608.09744). The current best estimates for large $d$ are \[ c \cdot d \cdot 3^{-d} \leq f(B^d) \leq 2.447^{-d}, \] where $c>0$ is an absolute constant. Here we offer the first exponential improvement of the lower bound in almost 80 years, which narrows the gap to: \[ 2.910^{-d} \leq f(B^d) \leq 2.447^{-d}. \] Our method is constructive and yields a polynomial time algorithm for finding a disjoint sub-collection realizing the estimate. Moreover the same technique gives similar exponentially improved lower bounds for all symmetric convex bodies satisfying a uniform convexity assumption, e.g., $\ell^p$-balls for all $p\in (1,\infty)$.

We show that the fractional illumination number of every convex body in $\mathbb{R}^d$ is at most $2^d$, with equality exactly for parallelotopes. We also prove that every such body can be covered by at most $2^d(d\log d+d\log\log d+O(d))$ smaller positive homothetic copies as $d\to\infty$, establishing the optimal exponential rate in Hadwiger's covering conjecture. The proofs use a covering measure obtained by minimizing an overlap energy and a greedy covering argument on a finite net.

Convex spiral equicoverings were recently introduced by Espinosa-García, Martínez-Sandoval and Roldán-Pensado. They left open the question of whether every planar mass admits a convex $(3k,k+1)$-spiral equicovering. In this paper we give an affirmative answer to this question. To be precise, we prove the following: Given an integer $k \ge 2$, for every planar mass there is a fan consisting of $3k$ equal-mass sectors such that the union of every $k+1$ consecutive sectors is convex.

We prove that the lattice covering density of the regular octahedron is $9/8$, settling a conjecture of Dougherty and Faber.

We prove that, for any $f:S^2\to S^1$ and any $\varepsilon>0$, there exist orthogonal vectors $x,y\in S^2$ such that the length of the shortest arc between $f(x)$ and $f(y)$ is at most $π/2 +\varepsilon$. This proves a conjecture of Ghebleh from 2007 that the circular chromatic number of the real orthogonality graph is equal to four.

Fix one colour class in the checkerboard colouring of an $n\times n$ integer grid, and let $M_4(n,\varepsilon)$ be the largest subset having at most two points in every row, column, and diagonal of slopes $\pm1$. We prove the near-saturation bound $M_4(n,\varepsilon)\leq2n-4$ for $n\geq6$. The proof uses first and second moments of the four line families: a hypothetical set of size $2n-3$ produces row, column, and diagonal deficits whose exact moment identities contradict Cauchy--Schwarz. A finite argument handles $n=6$. The same identity extends to arbitrary deficit multisets. It gives $M_4(n,\varepsilon)\leq2n-d$ whenever $d\geq4$ is an integer and $n\geq3d-4$, and an entirely discrete asymptotic estimate \[ M_4(n,\varepsilon)\leq(\sqrt{21}-3)n+8. \] We also prove a general continuum-to-discrete theorem for the associated four-direction fractional packing problem. Applying it to the exact continuum dual certificate constructed in earlier work yields, for both colours, \[ L_{\mathrm{mono}}(n,\varepsilon)\leqαn+O(1), \qquad α\approx1.5768233968738, \] and hence the same upper bound for $M_4$ and for checkerboard no-three-in-line sets.

The classical no-three-in-line problem asks for the largest number $D(n)$ of points that can be chosen from an $n\times n$ grid with no three collinear; it remains open whether the elementary upper bound $2n$ is always attainable. We study a checkerboard-restricted variant in which all chosen points are monochromatic under the colouring of the grid by the parity of $x+y$. If $D_{\mathrm{mono}}(n)$ denotes the largest number of monochromatic points with no three collinear, the monochromatic diagonals already give $D_{\mathrm{mono}}(n)\le 2n-2$. The main object of the paper is a four-direction linear-programming relaxation on a fixed colour class, using rows, columns and the two diagonal families of slopes $\pm1$. For the ordinary square-grid problem this relaxation gives the trivial bound; on the checkerboard it is substantially tighter, and for $2\le n\le 16$ its floor agrees with the exact single-colour optimum except at four side lengths, where the gap is one. After symmetry reduction the dual relaxation has three one-dimensional reduced forms, according to the parity of $n$ and the chosen colour class. The central construction is an exact continuum dual certificate for the continuum problem associated with the scaled symmetry-reduced odd-fat case: explicit nonnegative functions $A$ and $B$ satisfying the continuum obstacle inequalities, with objective value the middle real root $α\approx1.5768$ of $401α^3-1744α^2+2240α-768=0$. Combined with a continuum-to-discrete sampling theorem of Aujla, Prellberg and Sandhu, this certificate yields the asymptotic upper bound $D_{\mathrm{mono}}(n)\leαn+O(1)$. Finite LP computations are consistent with $α$ as the exact limiting slope of the relaxation, and the exact small-$n$ data suggest, more speculatively, that the true checkerboard optimum tracks the same scale.

We prove an exact isoperimetric inequality for cubes and tori under the $\ell_{\infty} metric. As a corollary, we recover the celebrated grid edge-isoperimetric inequality of Bollobás-Leader.

Makeev [2] stated that every finite Borel measure in $\mathbb R^d$ assigning zero mass to hyperplanes can be cut by $d$ mutually orthogonal hyperplanes so that every pair divides the measure into four equal parts, and outlined a proof strategy, but the key steps were left incomplete. We give a direct and elementary proof. The main ingredient is a Borsuk--Ulam theorem for $O(k)$: every $B_k$-equivariant map from $O(k)$ to a natural representation of the hyperoctahedral group $B_k$ has a zero. An explicit model map has one free orbit of zeros, consisting of the signed eigenbases of a diagonal operator with simple spectrum. A derivative computation and mod-$2$ equivariant degree complete the proof. This is a self-contained proof of a special case of the general Stiefel-manifold theorem in [5].

We address a problem on large signed sums of unit vectors that arose in work of Brugger, Fiedler, González Merino and Kirschbaum and was later formulated in its present form by Ambrus and Nietert. Given $d+1$ unit vectors $u_1,\ldots,u_{d+1}$ in $\mathbb R^d$, with $d\ge2$, the problem asks for the smallest possible value of \[ \max_{\varepsilon_i=\pm1} \left\|\sum_{i=1}^{d+1}\varepsilon_i u_i\right\|. \] We prove that this value is $\sqrt{d+2}$. We also determine all equality cases: up to independent sign changes and orthogonal transformations, they consist of the vertices of a centered regular simplex of positive even dimension together with an orthonormal basis of its orthogonal complement.

We prove that every finite Helly complex is isomorphic, at the level of its $1$-skeleton, to the Hellyfication (equivalently, the discrete injective hull) of its combinatorial boundary equipped with the metric induced from the complex. In particular, the boundary-rigidity phenomenon for Helly complexes proved by Blufstein-Chalopin-Chepoi admits a canonical injective-hull interpretation, independent of reconstruction procedures based on dismantling.

We show that there exists a set $S \subset \mathbb{Z}^2$ containing no four points on a circle or a line such that $|S \cap [n]^2| = Ω(n)$ as $n \rightarrow \infty$. Since any no-four-on-a-circle set in $[n]^2$ has size $O(n)$, this resolves (up to a constant) a question raised by the current authors and Keevash concerning the density of extensible no-four-on-a-circle constructions. Our construction is based on weighted random sampling from the integer lattice followed by careful deletion.

In this paper, we obtain new upper and lower bounds on the colorful Helly number and the Tverberg number in an abstract convexity space with Radon number $r$. We prove an upper bound of $(r-1)2^r$ on the colorful Helly number, which is a factor $O(r)$ far from the lower bound, $2^{r-1}-1$. The best previous bound, by Holmsen and Lee (2021), was $r^{r^{\log r}}$. As a consequence, we obtain improved quantitative bounds for fractional Helly numbers, the selection lemma, weak $\varepsilon$-nets, and the $(p,q)$-theorem, in abstract convexity spaces. Furthermore, using the improved colorful Helly bound, we prove that the Tverberg number $r_k$ is at most $O(r^{\lceil \log_2 r \rceil})k$. The best previous bound, by Pálvölgyi (2022), was $r^{r^{r^{\log r}}}k$. We also study the $t$-wise Tverberg number $r_{k,t}$, which is the least $\ell$ for which any $\ell$ points can be divided into $k$ parts such that the convex hulls of any $t$ parts intersect. We prove the optimal bound $r_{k,t} = O_t(kr)$, in any $S_4$ separable space. In the other direction, we construct a separable space in which $r_k = Θ(r^2 k)$, while $r_{k,2}=Θ(rk)$. This proves that the weak version of Eckhoff's conjecture, which suggested that $r_k=O(rk)$ in any abstract convexity space, fails even in separable spaces. In addition, this shows that the abstract analogue of Reay's conjecture (1979), suggesting that $r_{k,2}=r_k$ in Euclidean spaces, already fails in separable convexity spaces.

Determining the number of (complex) realisations of a rigid graph for a specific choice of edge lengths is a fundamental problem in discrete geometry. In this article we provide two new tools for determining realisation numbers in arbitrary dimensions: (i) we prove that subgraph inclusion translates to realisation number divisibility; and (ii) we provide lower bounds on realisation numbers under specific graph operations in all dimensions. We use these methods to prove that every triangulated sphere with $n$ vertices has at least $2^{n-4}$ edge-length equivalent realisations in 3-dimensions, extending a 2-dimensional result of Jackson and Owen in the case of planar graphs. Additionally, our tools solve a family of conjectures set by Grasegger regarding how 1-extensions, X-replacements, and V-replacements affect realisation numbers.

We prove that every equal-weight spherical $4$-design on $\mathbb{S}^2$ has at least twelve points. Since the regular icosahedron is a spherical $5$-design, this determines the exact minimum$$N_4(\mathbb{S}^2)=12;$$equivalently, no such design has $9$, $10$ or $11$ points.The proof is part of a finite-defect theory. If a spherical $2m$-design has corank $c=N-\dim P_m$, its Naimark complement consists of unit vectors $u_x\in\mathbb{S}^{c-1}$ forming a spherical $2$-design and satisfying the exact coupling$$u_x\cdot u_y=-\frac{K_m^{(d)}(x\cdot y)}{c}\qquad(x\ne y).$$This gives a pairwise kernel bound, an antipodal lower bound, Cayley-Bacharach information, and uniform lower bounds for multiplicative-relation spaces. In corank one the design splits into two equal spherical $m$-designs. We derive a residue formula for its signed Schoenberg coefficients; the coefficient of degree $m+3$ is negative exactly when $3\le d\le m+1$, excluding corank one throughout that range. At strengths four and six the only examples in any dimension are the regular hexagon and octagon, respectively.In corank two the complement is a circle Gale frame. Multiplication by its phase forces at least $d-1$ linear-quadratic aliases and yields exact norm and socle identities in every dimension. For eleven nodes on $\mathbb{S}^2$, two aliases produce a real harmonic cubic and a Hermitian quartic matrix. A matrix-valued Cayley-Bacharach argument eliminates the generic branch; the exceptional branch reduces to a Pauli normal form and contradicts the second moments. In dimensions $d\ge4$ the corank-two problem remains open; we identify a forced quadratic socle as the obstruction to extending the present argument.

The Pachter-Sturmfels phylogenetic rank of a graph G is the minimal number of metric trees needed to embed G isometrically. Here, all edges of G are of length one and the product of metric trees is endowed with the supremum norm. We develop both a greedy and an exact algorithm for computing phylogenetic ranks. Using our algorithms, we construct a database of phylogenetic ranks which includes all graphs on 6 and 7 vertices. In particular, we exhibit examples disproving that the phylogenetic rank is hereditary, bounded by $\lceil \frac{n}{2} \rceil$, and a generalised 4-point conjecture by Pachter and Sturmfels. In addition, we show that the phylogenetic rank is subadditive under 1-sums and certain 2-vertex-sums, and that it is trivially upper bounded by n-1, where n denotes the number of vertices. We also provide a complete classification of graphs with phylogenetic rank 1 and construct several infinite families with phylogenetic rank $\lceil \frac{n}{2} \rceil$.

We prove that there is an absolute constant $c>0$ such that for every finite $(α,M)$-Ahlfors--David regular set $A\subseteq[N]$ with $0\leqα<1$ and $M\geq2$, we have the sumset estimate \[|A+A|\geq |A|^{1+c(1-α)/\log M}.\] We also prove a corresponding statement for Ahlfors--David regular sets in $[0,1]$. The proof combines a multiscale entropy decomposition with inverse results from additive combinatorics, showing that Ahlfors--David regularity forces a definite entropy gain at each scale. The dependence $1/\log M$ in the exponent is of optimal order.