arXiv++ Combinatorics

A \emph{6-net} is a simplicial triangulation of the $2$-sphere with maximum degree $\leq 6$. Experiments suggest that every $6$-net admits a unique realization as an undented Euclidean polyhedron built from unit equilateral triangles, and a unique realization as an ideal equilateral hyperbolic polyhedron. We call these \emph{neoplatonic solids} and \emph{ideal neoplatonics}. A net is \emph{prime} if every 3-cycle bounds a face. A computer-assisted proof shows that every prime $6$-net with $v \leq 50$ has a unique realization as a convex ideal neoplatonic. Numerical homotopy from this realization yields an approximate Euclidean neoplatonic, and a computer-assisted proof shows that a true Euclidean neoplatonic lies nearby, though we do not prove uniqueness. Using the separating-triangle decomposition, we extend Euclidean existence to all $10{,}412{,}340$ $6$-nets with $v\leq50$, counted up to combinatorial isomorphism.

Asymptotic dimension of metric spaces is a large-scale analog of covering dimension of topological spaces. An intersection graph of a family of sets is the graph whose vertices are the members of the family and whose edges correspond to pairs of members with non-empty intersection. Our first main result connects the asymptotic dimension of the intersection graph of a family ${\mathcal F}$ and the Assouad-Nagata dimension of the ambient metric space containing members of ${\mathcal F}$ under some mild and necessary assumptions. We prove that if ${\mathcal F}$ is a family of subsets of a metric space of Assouad-Nagata dimension $n$ such that every ball of radius $r$ intersects at most $f(r/s)$ pairwise disjoint members of ${\mathcal F}$ of diameter at least $s$ for some function $f$, then the asymptotic dimension of the intersection graph of ${\mathcal F}$ is at most $n+1$. This result is optimal both quantitatively and qualitatively in several senses. As a corollary of this result, the asymptotic dimension of the intersection graph of any family of compact convex sets of bounded aspect ratio in ${\mathbb R}^n$, such as a family of balls in ${\mathbb R}^n$, is at most $n+1$. Our second main result states that the asymptotic dimension of the intersection graph of a family ${\mathcal F}$ of connected closed sets of a connected topological space with connected boundary equals the asymptotic dimension of the intersection graph of the family of the boundary of the sets in ${\mathcal F}$, under a mild condition. In particular, the asymptotic dimension of the intersection graphs of families of spheres in ${\mathbb R}^n$ equals $n$ or $n+1$ when $n \geq 2$.

In this paper, we construct a Lagrange-type basis for the Aomoto space $AO(\mathcal A)$, naturally indexed by the chambers of the hyperplane arrangement $\mathcal A$. The construction relies on a dimension theorem of Orlik and Terao and yields an interpolation formula for elements of $AO(\mathcal A)$. We use this formula to characterize the extremal configurations in the strong polarization inequality as those arising from finite Coxeter reflection systems. We further show that the interpolation formula gives rise to a family of \emph{chamber identities}, including identities that were central to our earlier proof of the strong polarization problem and the Gaussian product inequality. Finally, we adapt the recent breakthrough of Ouimet and Greaves to prove a generalized Gaussian Product Inequality for completely monotone functions.

We develop a mesoscopic framework for analyzing perturbations of finite point sets. Given a reference node set $Y$ with known cubature and approximation properties, we consider a disordered node set $Q$ that is observed only through its populations in cubes at scale $r>0$. By imposing Hall-type (HT) combinatorial constraints on these populations, we prove the existence of a perfect matching between $Y$ and $Q$ with $O(r)$ range. This allows integral approximation estimates on coarser cubes at scale $h>r$ to be transferred from $Y$ to $Q$ with explicit error control and anchors $Q$ to a periodic grid. We then use translation-invariant quasi-interpolation methods to obtain high-order estimates of order $h^s$ as in the quasi-uniform setting, but for a different class of geometries. The key restrictions are the HT conditions and the bound $r\le Ch$, where $C<1$ is scale independent.

This short note provides two examples of aperiodic frieze patterns of the plane, supported on the rhombic Penrose tiling and the Godrèche--Lançon--Billard tiling. That is, we provide a decoration of their vertices with positive integers which satisfy the diamond rule, in analogy to the usual (in)finite frieze patterns as defined by Conway and Coxeter.

Fat minors are the metric analog of graph minors that are tailored to the analysis of metric (edge-weighted) graphs and, more generally, metric spaces having a suitable notion of shortest paths. Despite a large interest in this notion, not much is known about the structure of metric graphs excluding a fixed fat minor. We prove that if a metric graph $G$ excludes a fixed graph $H$ as a $δ$-fat minor, for some $δ>0$, then $G$ enjoys the metric analog of flatness (aka uniform quasi-wideness) - a structural property from the field of Sparsity. In essence, our flatness result says that for any $α\geq β$ large enough compared to $δ$, in every large enough set $A$ in $G$ one can find a sizable subset $B$ that becomes $α$-scattered after removing a bounded number of balls of radius $β$. We call this property drill-flatness. Notably, the proof only relies on excluding shallow fat minors: every branch set has radius at most $2α$. As a corollary, we prove that metric graphs that exclude a fixed $δ$-fat minor have bounded $\varepsilon$-scatter dimension if we consider only $\varepsilon$-scatters at distances large enough compared to $δ$. By combining this with the results of Abbasi et al. [FOCS 2023], we infer that the $k$-Center problem on instances excluding $H$ as a $δ$-fat minor admits an approximation algorithm that finds a solution of cost at most $(1+\varepsilon)\cdot\mathsf{OPT}+{\cal O}(δ/\varepsilon^2)$ in time ${\cal O}_{H,\varepsilon}(n^{{\cal O}(1)})$. This is one of the first algorithmic results for general fat-minor-free metrics. We also study drill-flatness in hereditary classes of (unweighted) graphs, where we obtain a characterization equating drill-flatness with excluding shallow induced minors. This is an induced analog of the equivalence between flatness and nowhere denseness - one of central results of Sparsity.

We certify, exactly, the coordinate fields of a faithful planar realization of two neighbouring triangle-free Exoo-Ismailescu unit-distance graphs (UDGs), and show they realize the two opposite extremes of the constructibility hierarchy. The 17-vertex graph EI17 (House of Graphs 51375) is the smallest triangle-free UDG with chromatic number 4; the 19-vertex graph EI19 (HoG 51376) is its state-of-the-art origami neighbour. In both, fixing a rational base edge, the remaining vertices are intersections of unit circles -- each on the radical axis of its two neighbours, a tower of square roots over the free angles -- and a small closure system locks the realization. For EI19 the base lies in Q(sqrt 2, sqrt 5, sqrt 7) and a single free angle has an irreducible degree 12 = 2^2*3 minimal polynomial with Galois group the solvable transitive group 12T236 (order 2304 = 2^8*3^2): not ruler-and-compass, but origami-constructible (the cubic Beloch fold O6 necessary, in casus irreducibilis). For EI17 two free angles are locked by two closures, whose resultant is irreducible of degree 20 = 2^2*5 with Galois group the full symmetric group S20 (a Frobenius census exhibits a 17-cycle, forcing A20 by Jordan, and an odd 20-cycle, raising it to S20): non-solvable, so the coordinates are not expressible by radicals -- neither compass nor origami of any fold order. Thus the smallest triangle-free 4-chromatic UDG is the generic, maximally exotic case, the exact opposite of its origami neighbour. We give the full certification pipeline as explicit algorithms, record two methodological pitfalls, and read the pair through a conjectural bridge between the Laman number and the Galois group.

We show that there exist graphons that interpolate between Riemannian manifolds and weighted geometric graphs. Specifically, the graph-to-manifold approximation used in manifold learning can be regarded as the composition of a graph-to-graphon convergence and a graphon-to-manifold convergence in a certain sense. Furthermore, we establish a monotonicity inequality which reveals an implicit relationship between numerous combinatorial parameters and geometric quantities on graphons. Using this inequality, we find relations among conductance, maxcut problem, capacity, and packing radius, as well as their limiting behaviours under graph-to-graphon and graphon-to-manifold convergences; some of these relations are novel even for simple graphs and closed manifolds.

We show that for every fixed $\varepsilon>0$, there exist arbitrarily large families of point-line pairs $(x_1,\ell_1),\ldots,(x_n,\ell_n)$ in $[0,1]^2$, with $x_i \in \ell_i$ for all $i$, and such that $\operatorname{dist}(x_i,\ell_j)\ge n^{-2/3-\varepsilon}$ for all $i \neq j$. Combined with a previous result of Cohen, the author, and Zakharov, this solves the minimal distance problem.

Motivated by the celebrated Lonely Runner Conjecture, we study a variant in which the runners have time-dependent velocities. Let $n \geq 3$ runners start from the same point on the unit circle, where each runner $i\in[n]$ has a locally integrable velocity function $ν_i\in L^1_{\mathrm{loc}}(\mathbb{R}_{>0})$Assume that their velocities are strictly ordered almost everywhere and that the relative distance between every pair diverges. We prove that each of the slowest and fastest runners is at a distance strictly larger than $2^{-n+1}$ from every other runner at some time. Moreover, we show that the distance $2^{-n+1}$ is optimal. On the other hand, we construct examples in which every intermediate runner remains arbitrarily close to another runner at all times. As a consequence, we also obtain a sharp nonlinear analogue of a classical theorem of Schoenberg on billiard ball motion in the unit cube.

A coned polytope framework (CPF) is the bar-joint framework obtained from the 1-skeleton of a convex polytope by coning over some interior point. It was recently shown that CPFs are rigid, though the exact order of rigidity remained open. In this paper we introduce the Wachspress stress and use it to show that CPFs are prestress stable, in particular, second-order rigid. To this end, we resolve the stress-flex conjecture in the case of the Wachspress stress by identifying its dual formulation as a corollary of a vector-valued Schläfli-type formula introduced by Schlenker and Souam. We give a new and purely discrete-geometric proof of this generalized Schläfli formula.

We study asymptotic versions of the Brill-Noether existence conjecture on graphs via techniques inspired by the geometry of numbers. We confirm an asymptotic version of the conjecture at (and near) the half-canonical degree in several well-connected families of graphs. They include expander graphs of even valence, almost-Ramanujan graphs of a fixed valence at least five and certain random graphs. In particular, for any fixed $k \geq 5$, almost all simple, connected, $k$-regular graphs satisfy the Brill-Noether existence conjecture at the half-canonical degree up to a constant factor. The key tool is a Cheeger-style inequality for the covering radius of a certain periodic set with respect to the energy quadratic form associated with the graph. As an application, we lower bound the diameter of graphs associated with certain dynamical systems called reversal systems. We conclude with a suggestion to tackle the asymptotic version of the conjecture, in general, i.e. beyond half-canonical degrees.

Let $p$ be a prime number. We prove the sharp Furstenberg set bound in the $p$-adic plane $\mathbb{Q}_p^2$: every $(s,t)$-Furstenberg set $E\subset\mathbb{Q}_p^2$ satisfies $$ \dim_H E\ge \min\left\{s+t,\frac{3s+t}{2},s+1\right\}. $$ This matches the sharp lower bound in the Euclidean plane. We also derive two related consequences: a $p$-adic projection theorem for the maps $π_θ(x,y)=x+θy$, together with the corresponding exceptional set estimate giving a $p$-adic analogue of Oberlin's projection question; and a discretized fractal sum-product estimate over $\mathbb{Q}_p$, showing that sufficiently non-concentrated subsets of $\mathbb{Z}_p^\times$ cannot have both small sum set and small product set. The proof follows the projection-theoretic and multiscale machinery developed in the Euclidean works of Orponen-Shmerkin (arXiv:2301.10199) and Ren-Wang (arXiv:2308.08819). The main task is to rebuild this machinery in the non-archimedean setting, and along the way we develop several new $p$-adic inputs needed to overcome the ultrametric features of the problem.

Let $f_{r}(d,s_{1},\ldots,s_{r})$ be the least $N$ such that every $N$-point set $P\subseteq \mathbb{R}^{d}$ has an $r$-partition $P=P_{1}\sqcup\cdots\sqcup P_{r}$ with the following property: whenever $C_{i}\supseteq P_{i}$ is a union of at most $s_{i}$ convex sets, one has $\bigcap_{i=1}^{r}C_{i}\ne\emptyset$. A recent breakthrough of Alon and Smorodinsky established the first effective upper bounds $f_{r}(d,s,\ldots,s)\le Cdr^{2}s^{r}\log r\log(es^{r})$ for this problem. We obtain an asymptotically sharp lower bound by proving $f_r(d,s,\ldots,s)\ge c(d-r+2)s^r\log(s+1)$ for every $d\ge r+2$, which shows that $f_r(d,s,\ldots,s)=Θ_{d,r}(s^r\log s)$ for every fixed $d\ge r+2$. We also prove the general lower bound $f_r(d,s,\ldots,s)>s^{\min\{d,r\}}$. On the other hand, we develop a local counting argument to show that $f_r(d,s,\ldots,s)\le C_{d}rs^r\log(ers^r)$ and $f_r(d,s,\ldots,s)\le C_{d}r^{d+2}s^{d+1}\log(ers)$ whenever $r\ge d+1$, improving the upper bound of Alon and Smorodinsky. We also study two colored analogues. The direct Bárány--Larman-type extension, in which one seeks $r$ disjoint rainbow sets chosen from $d+1$ color classes, fails as soon as two convex pieces are allowed. Nevertheless, we identify the correct colored formulation and prove a complete transversal theorem with quantitative bounds, which was also independently obtained by Keller and Smorodinsky.

We prove that all nondegenerate simplices have the canonical Ramsey property, thereby resolving a central open problem in canonical Euclidean Ramsey theory and providing a canonical counterpart to the celebrated simplex Ramsey theorem of Frankl and Rödl~[JAMS, 1990].

The Combinatorial Discretizable Distance Geometry Problem combines a finite binary lateration process with additional distance constraints. When predecessor sets are not consecutive, these pruning constraints interact in ways that make the symmetry-based counting methods available for molecular instances insufficient. We establish an exact, dimension-uniform counting theorem for seed-fixed feasible realizations under strict discretization and a generic feasible framework assumption. Our approach identifies partial reflections through seed-free connected components of the lateration skeleton. These reflections are encoded by binary masks, while a labeled constraint matrix detects combinations that preserve all pruning distances. The feasible branch choices split into constrained choices generated by compatible partial reflections and unconstrained choices outside the predecessor closure of the pruning endpoints. The resulting count is obtained from graph operations and rank computations over the binary field, without enumerating the lateration tree. Completeness follows from the characterization of generic realizations of the relevant joined graphs by partial reflections. The theorem applies in every Euclidean dimension, including dimension one.

We study deformations of polytopes that preserve edge lengths and face coplanarities. This gives rise to a notion of rigidity, for which we develop a second-order theory together with an effective algorithm for testing second-order rigidity symbolically. The strength of these new tools is demonstrated on several polytope classes, including the previously intractable regular dodecahedron, which we find to be rigid. We also find that a single tested polytope evades our techniques and will therefore provide a simple test case for future developments of tools of even higher order. This paper also contains a study of so-called edge-length perturbations. We point out connections between rigidity and the ability to realize polytopes with slightly perturbed edge lengths. To explore these connections in practice, we dedicate a section to another case study of the regular dodecahedron. We investigate the local behavior of its realization space with a view towards edge-length perturbations, singularities and generic global rigidity.

We show that the separation profile of a hyperbolic planar graph and, more generally, a hyperbolic apex-minor-free graph, grows at most logarithmically, answering a question of Benjamini, Schramm, and Timár in the affirmative.

In this article, we study the edge-to-edge dihedral tilings of the sphere by kites and regular $m$-gons with $m\ge 4$. All such tilings have been identified and fully classified, using various combinatorial and geometric tools. New phenomena are observed among the tilings.

For positive integers $1\le r<d<n$ consider subsets $S\subseteq \mathbb{G}(r,V)$ of the $r$-plane Grassmannian of an $n$-dimensional Hilbert space $V$ saturated in the sense that the $r$-plane $η''$ belongs to $S$ whenever it is the orthogonal projection of $η'\in S$ onto a $d$-plane through $η\in S$. Motivated by such closure operators' natural occurrence in projective-geometry and linear preserver problems, we classify said saturated sets as precisely the disjoint unions of Grassmannian spines, with cores standing in a relation of mutual separation that can be made precise (a spine being the set of $r$-planes containing a fixed core $k$-plane $π$ for some $0\le k\le r$). This generalizes the author's results describing saturated $r$-plane sets in the tame dimensional regime $2r\le d$, where the disjoint unions in question by necessity collapse to single spines.