arXiv++ Combinatorics

We define coarse variants of the notions of connectivity, hamiltonicity, toughness, and spanning trees. Our notions are invariant under quasi-isometries, and they obey the same relationships between them as their classical analogs. We pose several open problems that are coarse versions of classical results and conjectures about hamiltonicity.

Given a convex polytope $P\subset\Bbb R^d$ with $\mathcal F(P)$ many flags, we prove $$\operatorname{vol}(P) \operatorname{vol}(P-P)^\circ \le \frac{\mathcal F(P)}{(d!)^2}.$$ This implies the following relation between Mahler volume and the number of flag conjectured by Freij, Schmitt, Schymura and Ziegler: for a centrally symmetric polytope $P\subset\Bbb R^d$ holds $$\operatorname{vol}(P)\operatorname{vol}(P^\circ) \le \frac{2^d}{(d!)^2} \mathcal F(P).$$ This shows that the Mahler conjecture implies Kalai's flag conjecture.

How do algebraic relations among unit directions influence the chromatic number of the plane? We introduce monomial Cayley graphs as a framework for investigating this question, beginning with graphs whose allowed unit steps are signed powers of a single complex parameter. Transcendental parameters give bipartite graphs, while for roots of unity we determine both the chromatic and circular chromatic numbers. As a geometric consequence, every graph admitting a unit-distance embedding in the plane in which the angle between any two edge directions is a rational multiple of $π$ is three-colorable. For algebraic noninteger parameters, four colors suffice, and three suffice when the primitive integer minimal polynomial has leading coefficient at least three. We conjecture that three colors suffice for every algebraic noninteger direction parameter and that four suffice for every direction parameter.

A seminal open question of Pisier and Mendel--Naor asks whether every degree-regular graph which satisfies the classical discrete Poincaré inequality for scalar functions, also satisfies an analogous inequality for functions taking values in \textit{any} normed space with non-trivial cotype. Motivated by applications, it is also greatly important to quantify the dependence of the corresponding optimal Poincaré constant on the cotype $q$. Works of Odell--Schlumprecht (1994), Ozawa (2004), and Naor (2014) make substantial progress on the former question by providing a positive answer for normed spaces which also have an unconditional basis, in addition to finite cotype. However, little is known in the way of quantitative estimates: the mentioned results imply a bound on the Poincaré constant depending super-exponentially on $q$. We introduce a novel combinatorial framework for proving quantitative nonlinear spectral gap estimates. The centerpiece is a property of regular graphs that we call \emph{long range expansion}, which holds with high probability for random regular graphs. Our main result is that any regular graph with the long-range expansion property satisfies a discrete Poincaré inequality for any normed space with an unconditional basis and cotype $q$, with a Poincaré constant that depends \emph{polynomially} on $q$, which is optimal. As an application, any normed space with an unconditional basis which admits a low distortion embedding of an $n$-vertex random regular graph, must have cotype at least polylogarithmic in $n$. This extends a celebrated lower-bound of Matoušek for low distortion embeddings of random graphs into $\ell_q$ spaces.

This article obtains purely metric counterparts of cornerstone results in the theory of embedding graphs into normed spaces. Our first main result is a metric analogue of Matoušek's extrapolation relating the Poincaré constants $γ(G,\varrho^p)$ and $γ(G,\varrho^q)$ for any exponents $0 < p,q < \infty$, any bounded-degree expander graph $G$, and any target metric space $\mathcal{M}=(M,\varrho)$. Our second main result provides a sharp estimate of the Poincaré constant $γ(G,\varrho)$ in terms of the cardinalities of the vertex set of $G$ and the metric space $\mathcal{M}=(M,\varrho)$, in the setting of \textit{random} graphs. This yields optimal estimates on the minimum cardinality of (bi-Lipschitz) universal metric spaces for graphs, finally establishing a nonlinear analogue of Matoušek's celebrated "incompressibility" theorem (1996). Further, we obtain estimates on the nonlinear spectral gap of metric snowflakes and sharp lower bounds on the distortion of random regular graphs into arbitrary metric spaces. Our proofs develop new nonlinear techniques, including random compression methods and a novel structural dichotomy for metric embeddings.

We present several geometric constructions of graphs with rapidly growing chromatic numbers, most of which are triangle-free or have large girth.

Long-range expansion is a combinatorial graph property introduced to construct metric spaces with strong quantitative obstructions to low-distortion embeddings. Such extremal constructions are motivated by fundamental questions in metric geometry and nonlinear functional analysis. However, the only known constructions of long-range expander sequences are random regular graphs; the problem of constructing explicit sequences, especially with logarithmic girth, remains open. We resolve this question in strong form by proving that the Ramanujan condition implies long-range expansion. In particular, classical Ramanujan constructions (such as LPS graphs) give explicit long-range expander sequences with logarithmic girth. We also clarify that long-range expansion implies spectral expansion, and both implications are strict. While long-range expansion, the Ramanujan property, and spectral expansion are strictly separated, it is \textit{a priori} not clear how robust these gaps are. We next compare them from a dynamics perspective: how do the different notions of expansion affect the mixing rate of random walks? Our second main result is that, from a dynamics perspective, LRE and the Ramanujan property are equivalent. We show that the random walk on any LRE sequence has the same cutoff location and Gaussian limit profile as on a Ramanujan graph. This incidentally offers intermediate progress between cutoff for Ramanujan graphs---proven by Lubetzky and Peres---and the long-standing conjecture of cutoff for transitive spectral expanders.

In a paper in Acta Mathematica Hungarica the author proved that the Morley tetrahedron of an isosceles tetrahedron, obtained by trisecting the six dihedral angles, is again isosceles, and proposed two converse conjectures. We show that both are false. There is a nonisosceles tetrahedron $T_1$ and an isosceles, nonregular tetrahedron $T_2$ whose Morley tetrahedra are regular, and there are nonisosceles tetrahedra, even a two-parameter family of tetrahedra without any symmetry, whose Morley tetrahedra are isosceles. In $T_1$ and in $T_2$ there is a pair of opposite edges such that the other four edges are equal, and we conjecture that a regular Morley tetrahedron always forces this. We prove the conjecture for every tetrahedron with a nontrivial symmetry, and we show that, up to similarity, the regular tetrahedron, $T_1$ and $T_2$ are the only tetrahedra with this edge pattern and a regular Morley tetrahedron. The tetrahedron $T_2$ has $AB=CD=1$ and $AC=AD=BC=BD=\sqrt{(21+4\sqrt6)/45}$, while $T_1$ is given by a root of a sextic with Galois group $S_6$ and cannot be expressed by radicals. We also prove that a tetrahedron with a regular Morley tetrahedron is regular if it is orthocentric, if it is isodynamic, if its three sums of opposite edges are equal, if it has three equal edges at a vertex, if it has an equilateral face, or if none of its dihedral angles is larger than $95^\circ$; the tetrahedron $T_2$ has two dihedral angles of about $98.7^\circ$. For isosceles Morley tetrahedra we conjecture that $(AB^2-CD^2)(AC^2-BD^2)(AD^2-BC^2)\ge0$ and that $AB=CD$ forces a second pair of equal opposite edges. We also conjecture that a tetrahedron with $AC=BD$ whose Morley tetrahedron satisfies $A'B'=B'C'=C'D'=D'A'$ has a nontrivial symmetry. Some proofs are computer assisted; they use exact rational arithmetic or interval arithmetic with outward rounding.

The Borell-Brascamp-Lieb inequality is a classical extension of the Prékopa-Leindler inequality, which in turn is a functional counterpart of the Brunn-Minkowski inequality. The stability of these inequalities has received significant attention in recent years. Despite substantial progress in the geometric setting, a sharp quantitative stability result for the Prékopa-Leindler inequality has remained elusive, even in the special case of log-concave functions. In this work, we provide a unified and definitive stability framework for these foundational inequalities. By establishing the optimal quantitative stability for the Borell-Brascamp-Lieb inequality in full generality, we resolve the conjectured sharp stability for the Prékopa-Leindler inequality as a particular case. Our approach builds on the recent sharp stability results for the Brunn-Minkowski inequality obtained by the authors.

In this series of articles, we study two graph classes and their various geometric representations. The first class consists of strongly involutive self-dual graphs (SISD graphs); the second consists of non-bipartite quadrangulations of the projective plane (NBQP graphs). These classes naturally arise in many geometric problems. For example, NBQP graphs are connected to diameter graphs in $\mathbb{R}^3$, tangency graphs of families of pairwise intersecting circles and pseudocircles, generalized thrackles, and graphs formed by the main diagonals of negatively self-polar polytopes. On the other hand, SISD graphs correspond to the skeletons of negatively self-polar polytopes, self-dual cones, and extremal ball-polytopes. In Part I we show a natural one-to-one correspondence between non-bipartite quadrangulations of the projective plane and 2-connected strongly involutive self-dual maps. In particular, we show that the reduced vertex-face incidence structure of a 2-connected strongly involutive self-dual map is a non-bipartite quadrangulation of the projective plane, and every non-bipartite quadrangulation of the projective plane arises that way. This allows us to translate natural properties from one class to the other. These results lay the foundation for later parts of the series.

A unit-distance graph is a graph which admits a realisation in Euclidean space in which every edge has unit length. Imposing further geometric conditions on the non-edges gives a family of natural subclasses. Requiring that no two vertices lie at distance less than one gives penny and marble graphs: the contact graphs of collections of equal radii $d$-dimensional spheres with non-overlapping interiors for $d=2,3$. Requiring instead that the straight-line drawing in the plane be non-crossing gives matchstick graphs. Since any motion of a realisation must preserve these extra conditions, the rigidity and flexibility properties of the resulting frameworks differ from those of classical bar-joint rigidity theory. In this note we analyse various rigidity problems for penny and marble graphs, matchstick graphs and unit-distance graphs. In particular we answer a recent open problem on penny and marble graph rigidity and establish a link between penny graphs and the concept of NAC-colourings.

All nine known conjecturally optimal non-lattice kissing configurations in dimensions 5, 6, and 7 are the vertex sets of polytopes with only unit edges. Eight of these polytopes are non-convex, and the contact polytopes, the convex hulls of the same points, have longer edges. The edges of the unit-edge polytopes are exactly the contacts of the configuration. All but two of the nine are constructed from the lattice contact polytope in the same dimension by splitting some of its facets and reassembling the pieces. This describes the configurations by the facets of a polytope rather than by layers. The facets that fold when split are consecutive members of the Gosset series $k_{21}$, and a split in dimension $n$ folds to the inner product $1/(10-n)$: $1/5$, $1/4$, or $1/3$. These are the inner products by which the contact polytopes differ from the lattice one. In dimensions 5 and 6 each unit-edge polytope is the only one on its vertex set. In dimension 7 uniqueness is proved within a class we define, the creased polytopes, which extends convexity by letting a facet lie on a hyperplane that cuts through the configuration, provided the facet contains every vertex on that hyperplane on its side of one of its ridges. Every statement is certified in exact arithmetic.

We show that, up to isometry, there is exactly one compact hyperbolic Coxeter 6-polytope with 10 facets, the polytope $P_{6,10}$ attributed to Bugaenko. Together with results of Felikson-Tumarkin ($d \ge 7$) and of Burcroff and Ma-Zheng ($d = 4, 5$), this completes the classification of compact hyperbolic Coxeter $d$-polytopes with $d+4$ facets. The proof is computer assisted. Affine Gale duality applied to the complete database of order types on 10 points yields 387 combinatorial types, of which Lannér's classification excludes 83. For the remaining 304, an exhaustive search over Coxeter labellings, with no a priori bound on the dihedral angles, leaves a single realizable Gram matrix. Every rejection is certified in exact arithmetic, and completeness of the search is certified independently by DRAT proofs checked by drat-trim. The same code reproduces the known censuses in dimensions 4 and 5. Code, data and certificates are publicly available.

For each fixed $n$, we prove a positive lower bound for the diameter of a compact simple geodesic $n$-gonal monotile of the hyperbolic plane. We also prove a positive lower bound for the area of such a tile in a finite monohedral tiling of a closed hyperbolic surface, independent of the topology and metric. Both bounds become independent of $n$ for vertex-proper tilings, in which every genuine tile vertex belongs to at least three distinct tiles. This includes tilings by convex polygons. Reflex angles and non-edge-to-edge incidences are allowed. After qualitative proofs, we obtain explicit constants from a sharp gap estimate for packing polytopes with arbitrarily coupled nonnegative integer constraints. Exact corner balance applies on closed surfaces; in the plane, covering duality and ball counts give a boundary factor depending on the tile diameter. Following Zare, we give, for each integer $q\ge2$, a geodesic construction with $2q+3$ sides and diameter less than $3/q$, showing that side counts cannot be unrestricted without an additional condition. The closed-surface results extend to regular curved sides. The geometric constants are effective but are not claimed to be optimal.

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 general statement, the shifted LRC, the zonotopal version of which concerns a classical parameter, the covering radius. In this paper we do two things: 1) We show explicit counterexamples to both the shifted Lonely Runner Conjecture (starting at $n=5$) and to the Lonely Vector Property of Malikiosis-Schymura-Santos (2025). 2) We push the analogies between the two versions of LRC and their zonotopal counterparts, in particular highlighting that the proofs of the finite-checking Theorems A and B in Malikiosis-Schymura-Santos (2025) are more transparent, and the statements 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.

We present a version of the vector balancing problem in which each vector may be given a sign and a permutation of its coordinates. We prove that this vector balancing problem and its corresponding prefix problem admit an explicit bound, and we further show that it is asymptotically optimal in the dimension. Our method of proof is purely geometric.

Trisecting the dihedral angles of an $n$-simplex defines its Morley simplex. We study the original simplices for which this simplex is regular. A criterion in terms of the Gram matrix of the facet normals reduces the problem to a matrix equation. The derivative of the Morley map at the regular simplex has two explicit eigenvalues, both nonzero for $n\ge3$; thus the regular simplex is an isolated solution. We conjecture that in dimensions four and five a regular Morley simplex forces two hyperplane reflections interchanging disjoint pairs of vertices. We prove that this conclusion fails in every dimension $6\le n\le200$ and in every dimension $n=\binom k2-1$ with $k\ge9$: in these dimensions there are simplices with regular Morley simplex and no hyperplane reflection symmetry. The examples for $8\le n\le200$ have dihedral symmetry of order $2(n+1)$, while the infinite family is based on the Johnson scheme. In dimension four we give exact constructions of two nonregular examples, defined by irreducible polynomials of degrees $18$ and $8$ with Galois groups $S_{18}$ and $S_8$. Neither example is expressible by radicals. The computer assisted existence proofs use exact rational arithmetic and intervals with outward rounding.

The discovery of Chair44 (Tsiokos, 2026) settled the three-dimensional einstein problem with a strongly aperiodic polyhedral monotile in $\mathbb{R}^3$. This note extends the underlying mechanism---the rep-$2^N$ chair $C_N = [0,2]^N \setminus (1,2]^N$ with corner/socket markings---to $\mathbb{R}^N$. Besides expository material (the rep-$2^N$ dissection and a conditional strong-aperiodicity theorem under lattice registration and hierarchical enforcement), the note makes a new computational contribution. We introduce a frame-marking formalism in which the marking of a tile is its full orientation frame and the matching rule is the contact language generated by the substitution itself; this makes the search for matching rules finite in every dimension. We give a finite certificate (coarsening closure, tightness, and a two-shell enclosure analysis) whose validity implies that every lattice-registered tiling by the marked tile is uniquely hierarchical, hence strongly aperiodic. For $N=3$ the certificate passes: it yields explicit facet matching rules on the 24 panels of $C_3$ (135 admissible facet-contact triples) and reproduces, from first principles and independently of published constructions, the Chair44 statistics 2388 $\to$ 44 admissible contacts (30 occurring), 33 one-shell clusters, 15 extendable, each forcing a unique supertile. Among the 2187 homochiral frame assignments of the 3D substitution with a translated central child, the certified one is unique up to conjugation. For $N=4$ the same pipeline is run on several structured families of frame assignments (canonical, $D_4$-, $Z_2\times Z_2$- and $Z_4$-symmetric, and a lift of the 3D solution); none is coarsening-closed, and we report the failure data. A self-similar marking of $C_4$ thus remains an explicitly finite, open computational problem, which we state precisely. Code: https://github.com/dimkadimon/Monotile-RN

For all prime powers $q\geq5$, we construct lattices $\mathcal{L}_q\subseteq\mathbb{Z}^q$ with kissing numbers \[ τ(\mathcal{L}_q)\geq \left(\frac{1}{2πe^2}+o(1)\right)\sqrt{q}\,e^{2\sqrt{q}}. \] The same asymptotic bound holds on a set of integer dimensions of natural density $1$, and in every sufficiently large integer dimension $n$ with an additional factor $e^{-\tfrac{1}{2}n^{1/40}}$. The construction is an extension of a previous construction by Bennett-Peikert based on Reed-Solomon codes.

We propose Choquet-type extensions for set-pair functions, an $L^p$-integration of a family of such extensions, and the associated min-max extension constants, and apply these to investigate variational problems and establish sharp bounds for many combinatorial and geometric quantities. Specifically, we use Choquet-type extensions to construct equivalent functional representations of fractional optimization problems with set-variables, which find applications in various settings, such as maxcut and bipartiteness ratio on graph limits, and Cheeger constants on Riemannian manifolds. We further establish the $L^p$ integration of a family of Choquet-type extensions, and apply it to derive spectral bounds for conductance and other combinatorial quantities on measure spaces. A monotonicity inequality on min-max extension constants is proposed, which unifies classical estimates and uncovers new bounds for many geometric and combinatorial quantities, such as torsional rigidity, Cheeger constants, Dirichlet $p$-isoperimetric constant, and $p$-Laplacian eigenvalues, in seemingly unrelated underlying structures----including hypergraphs, graph limits, Riemannian manifolds and metric measure spaces.