arXiv++ Combinatorics

Socolar and Taylor asked for a single, simply connected three-dimensional prototile that forces nonperiodicity by shape alone, admitting no weakly nonperiodic tiling; the Schmitt-Conway-Danzer biprism and the three-dimensional Socolar-Taylor tile admit screw motions or a periodic stacking direction. We exhibit a rational polyhedral $3$-ball $Q$, which we call Chair44 (R44): a seven-cube chair whose $24$ exposed unit panels carry tiny square-pyramid features, and prove, as a proof submission, that $Q$ admits tilings of $\mathbb{R}^3$ by congruent copies, reflections allowed, and that every such tiling has no translational period and a symmetry group of order at most $24$; every tiling is homochiral and carries a unique infinite hierarchy of nested supertiles. The solid was designed to a reading of the aperiodic-monotile phenomenon reached with the Six Birds emergence calculus (Section 3.3), and the construction turns on a single finite test, checked by machine: the tile's own contact rule survives coarsening, so that the decoded parent tiling obeys the tile's rule and no other. The proof combines a written geometric argument, that the features force every tiling onto a registered lattice, with exhaustive finite enumerations; the companion census is replayed by two independent implementations, every finite gate is kernel-checked in Lean 4 (modulo a named compiler hook per native_decide theorem), and the written geometric lemmas and the logical assembly are Lean theorems as well, so that the theorem is kernel-checked modulo the named compiler hooks; the written proofs remain as exposition.

Answering a question of Chepoi and Hagen, we give two constructions of bounded degree CAT(0) square complexes that cannot be isometrically embedded into any finite product of trees. The first is based on Burling graphs and has degree at most five, which is optimal. These square complexes topologically embed into $\R^3$ since we further prove that every CAT(0) square complex whose vertices have degree at most five can be topologically embedded into the product of a line and a star. It turns out that in this setting, Burling graphs are the only obstruction: we prove that CAT(0) square complexes that topologically embed into $\R^3$ and whose crossing graph forbids some induced Burling graph can be isometrically embedded into a finite product of trees. Our second CAT(0) square complex has degree at most six and its crossing graph forbids an induced Burling graph. Of independent graph-theoretic interest, along the way we construct intersections of chordal and interval graphs with arbitrarily large girth and chromatic number. We also discuss connections to nice labellings of event structures.

Grünbaum asked whether every planar convex body admits, for every $0\leq t\leq 1/4$, two orthogonal lines cutting it into pieces with cyclically ordered areas $t,t,1/2-t,1/2-t$. Bárány posed the analogous question for well-behaved planar measures and conjectured that the answer there is negative. We confirm Bárány's conjecture in a particularly robust form: for every fixed $0<t<1/4$ we construct smooth, strictly positive, centrally symmetric, strongly log-concave measures arbitrarily close to the standard Gaussian for which the prescribed partition does not exist. In contrast, we prove that the partition exists for every $t$ whenever the measure is invariant under an orientation-reversing affine involution. We also exhibit a $96$-point counterexample for which no pair of perpendicular lines produces cyclic counts $8,8,40,40$.

We study packings of annuli of a common width, allowing each ring to nest inside the hole of a larger one. The objectives of maximizing contact area and cardinality diverge: area is superadditive in the radius, cardinality is not. Under superincreasing radii, every descending greedy maximizes every positive, strictly increasing, superadditive objective. More strongly, any choice among feasible containers yields the lexicographically maximal feasible set, for containers of arbitrary shape in every dimension. This placement irrelevance holds unconditionally for at most three rings and fails at four in disks and squares; twin instances exclude every universal rule based only on the observable state. Write $ρ=\max_i(\sum_{j>i}r_j)/r_i$. The additive model has threshold exactly $1$. For disks we prove the exact global threshold $τ=φ$, with no failure at $ρ\leφ$, for every finite inventory, even with independent hole radii. The key geometric theorem states that, under golden tail bounds, an entire disk list fits a circular container if and only if its three largest disks fit; this supplies the uniform exchange of parents that the threshold proof needs. The Tribonacci constant $T\approx1.83929$ remains the exact floor of a rigid subfamily. A dimension-reduction lemma transfers spherical sharpness results to all dimensions $d\ge2$, and a separate argument proves the golden threshold for at most five rings in those dimensions. For square pans, a Cartesian confinement criterion gives twins and a family proving $τ_{\square}\le Y\approx1.6845$; its optimality is open. For independent holes, the exact universal area guarantee under $ρ\leκ<1$ is $\min(1,κ^{-2}-1)$, with threshold $1/\sqrt2$. The repository has 122 Lean theorems. Euclidean geometry, forest assembly and continuity remain written proofs; numerical checks do not substitute for them.

We prove that if a geodesic metric space contains no $c$-fat theta curve for some $c>0$, then it is $(1,K)$-quasi-isometric to a cactus graph, where $K$ depends only on $c$. Using a coarse characterization of cacti in terms of $c$-fat theta curves this implies that every geodesic metric space quasi-isometric to a cactus is $(1,K)$-quasi-isometric to a cactus graph.

In 2006, Alexander Soifer conjectured that one cannot fully cover a square of side length $> n$ with $n^2 + O(1)$ unit squares. For small $n \in \{2, 3\}$, in 2009, Janusz Januszewski proved that it is impossible to fully cover a square of side length $> n$ with exactly $n^2 + 1$ unit squares. Recently in 2023, Baek and Lee proved that it is impossible to fully cover an equilateral triangle of side length $> n$ with exactly $n^2 + 1$ unit equilateral triangles whose sides are parallel to it. There were also some progress on a related problem: what is the largest square with side length $S(k)$ that can be fully covered by $k$ unit squares. However, there have been no improvement on the original conjecture. In this work, new tools have been developed that led to the proof of this conjecture for $n = 4$, with potential applications to related problems.

We prove that, for every integer $t\geq 1$, the unit two-sphere admits a spherical $t$-design consisting of exactly $54t^2$ points. More generally, such a design exists with exactly $6q^2$ points for every integer $q\geq 3t$. The proof builds on the topological degree method of Bondarenko, Radchenko and Viazovska, using an explicit equal-area partition of the sphere based on the map of Roşca and Plonka. By choosing the cell centers to minimize the average squared geodesic distance and deriving sharper sampling estimates, we obtain the stated quadratic bound on the size of spherical $t$-designs on $\Sph$.

We study bounded ratios and optimal bounding constants among the normalized coefficients of ternary Lorentzian polynomials. For every fixed $M$-convex support and in arbitrary degree, we give an explicit presentation of the bounded-ratio cone in terms of quadratic Hessian slices. We then express the optimal bounding constants through a variational formula combining local support functions with linear compatibility constraints between slices. For full support, we determine all compatibility relations in arbitrary degree; in degree three, this yields explicit optimal constants for every two-generator section. Finally, we compare the resulting Lorentzian bounds with those for volume polynomials and rank-three matroid basis profiles.

Every quadratic Hessian slice of a Lorentzian polynomial yields bounded monomial ratios among the normalized coefficients of the polynomial. We determine exactly for which pairs $(n,d)$ these quadratic-slice ratios generate the full bounded-ratio cone for every $M$-convex support $S\subseteqΔ_n^d$. For $d\geq 2$, this quadratic local-to-global principle holds universally if and only if \[ n\leq 3,\qquad d=2,\qquad\text{or}\qquad (n,d)=(4,3). \] In every remaining case, the principle fails already for Lorentzian polynomials with full support: for cubics in $n\geq 5$ variables and for polynomials of degree $d\geq 4$ in $n\geq 4$ variables. We identify the two minimal obstructions, at $(n,d)=(4,4)$ and $(n,d)=(5,3)$, and propagate them throughout the failure region by degree and variable aggregation.

How many points can be placed in an $n\times n$ grid so that every (affine) line contains at most $k$ points? We prove that for $n \geqslant k \geqslant 10^{37}$ the maximum number of points is exactly $kn$. Our proof builds on the recent work of Kovács, Nagy, and Szabó (who proved an analogous result when $k$ is at least about $\sqrt{n \log n}$), incorporating ideas of Jain and Pham. Using the same approach, we also obtain new bounds for higher-dimensional extensions of this problem.

The integer partition function $p(n)$ has historically been constrained by recursive series and asymptotic approximations, causing severe memory bottlenecks. We present a fundamental geometric resolution for the restricted partition function $p_k(n)$ via the Stratified Simplicial Decomposition of the Ehrhart partition polytope within the affine $A_{k-1}$ Weyl group. By establishing the Rational Structure Theorem, the Simplicial Resonance Algebra, and the cross-convolution operator $\mathcal{B}_k$, we prove that evaluating $p_k(n)$ collapses to a deterministic $\mathcal{O}_k(1)$ invariant. Rigorously bounding fractional boundary defects strictly below $0.5$, we bypass explosive recursions, establishing a global closed-form evaluation via generalized Bernoulli polynomials and a nearest-integer rounding operator $\lfloor \cdot \rceil$. This framework extends to unrestricted $p(n)$ via Sylvester-Ramanujan waves and a Durfee-Ehrhart formulation. Furthermore, it unifies additive number theory: trivializing Euler's distinct-odd identity, aligning with MacMahon's $Ω$-calculus, and modeling Dyson's Rank. Crucially, we introduce Kaleidoscopic Filter Theorem: applying Weyl reflection coefficients of dimension $k$ to $p(n)$ cancels all lower-dimensional geometry, yielding exactly the number of partitions of $n$ formed exclusively by parts strictly greater than $k$. Finally, we establish the Prime Resonance Theorem, proving the collapse of Ramanujan sums to the Möbius function for prime masses. We reveal the Mock Modular genesis within the cyclotomic tail via Indefinite Theta Toric Fibrations, healing rational vertex defects via generalized Dedekind-Rademacher sums. Mapping these exact polyhedral volumes into a Toeplitz-Hessenberg matrix, we derive a novel, non-recursive geometric closed form for the prime-counting function $π(x)$.

An equilateral set is a set of points in a metric space whose pairwise distances are all equal. Kusner conjectured that the maximum cardinality of an equilateral set in $\mathbb{R}^n$ with the $\ell_p$ metric is $n+1$ for every $1<p<\infty$. We disprove the conjecture for all $p>4$. In particular, for every such $p$, we define $m=m(p)$ and construct an equilateral set of $8m$ points in $\mathbb{R}^{8m-2}$. Previously, Swanepoel disproved the conjecture for $1<p<2$, while Ge, Xu, and Zhou showed that it holds for $2\le p\le 4$. Combining these prior results with the paper's main theorem resolves Kusner's conjecture for all $1<p<\infty$.

The infinitesimal Stoker conjecture states that an infinitesimal deformation of a convex polytope that preserves all dihedral angles also preserves all normal directions up to isometry. We give a short polyhedral proof, self-contained up to assuming spectral and geometric properties of the Izmestiev matrix.

We develop a geometric framework for distance-based formation control that separates the evolution of inter-agent distances from its realization by compatible node motions, reducing the stability problem to the edge space. We show that local exponential convergence of the edge dynamics implies local exponential convergence of the formation, and that stability is certified by spectral properties of a linear edge operator. We introduce a hierarchy of generic spectral properties --- weak admissibility, admissibility, and strong admissibility --- that provide necessary conditions for local exponential stability. Specializing to directed sensing, we obtain a necessary and sufficient spectral condition for local stability at an arbitrary target, together with a quadratic sufficient certificate. These conditions reveal that stability depends jointly on the graph orientation and target geometry, and show that persistence is neither necessary nor sufficient for local convergence. We show that every generically rigid graph admits an admissible orientation and, for acyclic orientations, we give an exact combinatorial characterization of admissibility. Finally, the quadratic certificate leads to a semidefinite program for synthesizing stabilizing edge gains.

We prove the Bárány--Kalai--Tverberg conjecture extending the affine version of Tverberg's theorem to simplicial balls and polytopes other than the simplex: For any affine map $ϕ: P\to \mathbb R^d$ from a convex polytope $P$ of dimension $N=(d+1)(r-1)$ with $r\geq 2$, there exist $r$ pairwise disjoint faces $F_1,\ldots,F_r\subset\partial P$ such that $ϕ(F_1)\cap\dots\capϕ(F_r)\neq\varnothing$. A similar statement holds for a simplicial ball $P$ with $ϕ$ assumed affine on all of its faces.

A completion theory for hyperbolic distance data is developed at the interface of matrix analysis, graph theory, and hyperbolic geometry. Krein's characterization of the metric space embeddability in Lobachevsky space leads to a natural anchoring procedure that transforms the indefinite data into a positive semidefinite kernel. In analogy with positive semidefinite and Euclidean distance matrix completion, chordality of the specification graph is shown to be the necessary and sufficient condition for local Lorentz-Gram data to admit global completion. Existence is complemented by explicit constructions. For trees, we obtain geodesic-rectification and product-distance completions; for chordal graphs, the latter extends to matrix-valued transfers along clique-trees. The resulting canonical completion is characterized by sparsity of its inverse and by a maximum-absolute-determinant principle. Its metric distortion exhibits a sharp dichotomy governed by clique separator size. Applications to exact recovery from sparse hyperbolic measurements and to hierarchical and phylogenetic data are developed.

Let $g(k)$ be the maximum size of a planar set that determines at most $k$ distances. We prove $$\fracπ{3\,C(Λ_{hex})}\ k\sqrt{\log k} (1+o(1)) \le g(k) \le C k\log k,$$ so $g(k) \asymp k\sqrt{\log k}$ with an explicit constant from the hexagonal lattice. For any arithmetic lattice $Λ$ we show $$g_Λ(k)\ge (π/4) S^*(Λ) k\sqrt{\log k} (1+o(1)).$$ We also give quantitative stability: unless $X$ is line-heavy or has two popular nonparallel shifts, either almost all ordered pairs lie below a high quantile of the distance multiset (near-center localization), or a constant fraction of $X\cap W$ lies in one residue class modulo $2Λ$.

A finite set of unit vectors is $k$-irreducible if every signed sum of between two and $k$ distinct elements has norm greater than one. Let $\mathcal{R}_k$ be the maximal asymptotic rate of such sets, and let $κ(α)$ be the maximal asymptotic rate of spherical codes with pairwise inner products at most $α$. For $k \ge 2$ we show: \begin{align} \mathcal{R}_k \le \min_{1 \le r \le \lfloor k/2 \rfloor} \frac{1}{r} \, κ\!\left(1 - \frac{1}{2r}\right) \, . \end{align} Combining this with standard sphere packing bounds, for large $k$ we obtain an almost-tight asymptotic comparison with the known lower bounds: \begin{align} \left(\tfrac{1}{2}-o(1)\right) \, \frac{\log_2 k}{k} \le \mathcal{R}_k \le (1 + o(1)) \, \frac{\log_2 k}{k} \, . \end{align}

We identify the rotational symmetry centers in the spectre tiling. We find that both 2-fold and 3-fold symmetry centers are coexisting. Local and global symmetry operations are distinguished. The link between substitution schemes and rotational symmetry is investigated. We introduce a set of three finite patterns, named diabolo, 2-arms and 3-arms, in order to visualize rotational symmetry in the spectre tiling. Using these three patterns, we propose geometrical constructions for generating patches of the spectre tiling with 2-fold and 3-fold global rotational symmetry.

We survey biLipschitz (BL) and bounded displacement (BD) equivalence of Delone sets, with an emphasis on examples arising in aperiodic order. After recalling the classical results of Burago-Kleiner, McMullen, and Laczkovich, we discuss criteria for rectifiability, uniform spreadness, and BD equivalence, and how these relate to discrepancy and point-counting estimates. We then focus on Delone sets associated with substitution tilings, where these questions can often be studied through the combinatorial and spectral properties of the underlying substitution rules. We also consider selected classes of cut-and-project sets and briefly discuss extensions beyond BL and BD equivalence.