arXiv++ Combinatorics

We prove that for all $k \ge 3$ and any integers $Δ, n$ with $n \ge 2^Δ,$ there exists a $k$-graph on $n$ vertices with maximum degree at most $Δ$ such that $r(H)\geq\tw_{k-1}(c_k Δ) \cdot n$ for some constant $c_k > 0$, where $\tw_k$ denotes the tower function. This makes the first progress toward a problem proposed by Conlon, Fox, and Sudakov (2009), who asked whether $r(H)\geq\tw_{k}(c_k Δ) \cdot n$ holds. Our proof relies on a novel construction of a $k$-graph on a growing number of vertices $n$ while keeping the maximum degree bounded by a fixed $Δ$.

At the end, the house always wins! This simple truth holds for all public games of chance. Nevertheless, since lotteries have existed, people have tried everything to give luck a helping hand. This article compares objective scientific approaches to tackle the 6/49 lottery: probabilistic methods and combinatorial designs. The mathematical models developed herein can be modified and applied to other lotteries. The newly constructed (49, 6, 5) covering design is introduced, which meets the Schönheim bound. For lottery designs and for covering designs, a benchmark based on probabilistic methods is presented. It is demonstrated that common attempts to outwit the odds correspond to limitations of numbers to subsets, which disproportionately reduce the chances of winning.

We prove that the directed 3-torus D_3(m), or equivalently the Cartesian product of three directed m-cycles, admits a decomposition into three arc-disjoint directed Hamilton cycles for every integer m >= 3. The proof reduces Hamiltonicity to the m-step return maps on the layer section S=i+j+k=0. For odd m, five Kempe swaps of the canonical coloring produce return maps that are explicitly affine-conjugate to the standard 2-dimensional odometer. For even m, a sign-product invariant rules out Kempe-from-canonical constructions, and a different low-layer witness reduces after one further first-return map to a finite-defect clock-and-carry system. The remaining closure is a finite splice analysis, and the case m=4 is handled separately by a finite witness. A Lean 4 formalization accompanies the construction.

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 generel statement, the \emph{shifted LRC}, the zonotopal version of which concerns a classical parameter, the covering radius. Theorems A and B in Malikiosis-Schymura-Santos (2025) use the zonotopal restatements of both the original and the shifted LRC to prove a linearly-exponential bound on the size of the (integer) speeds for which the conjectures need to be checked in order to establish them for each fixed number of runners; in the shifted version their statement and proof rely on a certain assumption on two-dimensional rational vector configurations, the so-called ``Lonely Vector Property''. In this paper we do two things: 1. We push the analogies between the two versions of LRC and their zonotopal counterparts, in particular highlighting that the proofs of Theorems A and B in Malikiosis-Schymura-Santos are more transparent, and the statments 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. These classes contain all primitive zonotopes of widths at least two and at least three, respectively. 2. We show explicit counterexamples to both the shifted Lonely Runner Conjecture (starting at $n=5$) and to the Lonely Vector Property (starting at $n=12$).

We study the outer geometry of the partition graph $G_n$, focusing on its canonical front-and-side framework, the family of nontrivial rectangular partitions, and the rear structures suggested by the visible geometry of the graph. We formalize the boundary framework $\mathcal B_n=\mathcal M_n\cup\mathcal L_n\cup\mathcal R_n$, where $\mathcal M_n$ is the main chain and $\mathcal L_n,\mathcal R_n$ are the left and right side edges, and we isolate the nontrivial rectangular family $\mathrm{Rect}^*(n)=\{(a^b):ab=n,\ a,b\ge2\}$ as a canonical discrete family marking the rear part of $G_n$. We prove that every nontrivial rectangular vertex $ρ=(a^b)$ has degree $2$, has exactly two explicitly described neighbors, and lies in a unique triangle of $G_n$. This leads to the notions of a rectangular ear, its attachment pair, and its support edge. We also prove that $\mathrm{Rect}^*(n)$ is an independent set in $G_n$, so the weak rectangular contour is not a graph-theoretic chain but a discrete rear marker family. For every genuinely rear rectangular ear, namely for $a,b\ge3$, we show that its support edge lies in a tetrahedral configuration of the clique complex $K_n=\mathrm{Cl}(G_n)$. To organize the interaction between different ears, we introduce support zones, support distances, and support corridors between attachment pairs. The paper also records a natural divisor-theoretic indexing of the rectangular family, presents a computational atlas in small and large ranges, and concludes with open problems concerning support-zone connectivity, inter-ear corridors, and canonical rear contours in $G_n$.

We give a near-linear time 4-coloring algorithm for planar graphs, improving on the previous quadratic time algorithm by Robertson et al. from 1996. Such an algorithm cannot be achieved by the known proofs of the Four Color Theorem (4CT). Technically speaking, we show the following significant generalization of the 4CT: every planar triangulation contains linearly many pairwise non-touching reducible configurations or pairwise non-crossing obstructing cycles of length at most 5 (which all allow for making effective 4-coloring reductions). The known proofs of the 4CT only show the existence of a single reducible configuration or obstructing cycle in the above statement. The existence is proved using the discharging method based on combinatorial curvature. It identifies reducible configurations in parts where the local neighborhood has positive combinatorial curvature. Our result significantly strengthens the known proofs of 4CT, showing that we can also find reductions in large ``flat" parts where the curvature is zero, and moreover, we can make reductions almost anywhere in a given planar graph. An interesting aspect of this is that such large flat parts are also found in large triangulations of any fixed surface. From a computational perspective, the old proofs allowed us to apply induction on a problem that is smaller by some additive constant. The inductive step took linear time, resulting in a quadratic total time. With our linear number of reducible configurations or obstructing cycles, we can reduce the problem size by a constant factor. Our inductive step takes $O(n\log n)$ time, yielding a 4-coloring in $O(n\log n)$ total time. In order to efficiently handle a linear number of reducible configurations, we need them to have certain robustness that could also be useful in other applications. All our reducible configurations are what is known as D-reducible.

We provide simple presentations in terms of generators and relations for the invariant subring of both the Orlik--Solomon algebra and Varchenko--Gel'fand ring of the type $A_n$ reflection arrangement acted upon by the type $A_{n-1}$ reflection group. This may be interpreted as a presentation for the cohomology of the ``mixed configuration space" of $n$ red points and one blue point. We provide increasingly refined descriptions of the invariant ring starting with the total dimension and ending with the simple presentation in terms of generators and relations.

We consider real hyperplane arrangements whose hyperplanes are of the form $\{x_i - x_j = s\}$ for some integer $s$, which we call deformations of the braid arrangement. In 2018, Bernardi gave a counting formula for the number of regions of any deformation of the braid arrangement $\mathcal{A}$ as a signed sum over some decorated trees. He further showed that each of these decorated trees can be associated to a region $R$ of the arrangement $\mathcal{A}$, and hence we can consider the contribution of each region to the signed sum. Bernardi also implicitly showed that for transitive arrangements, the contribution of any region of the arrangement is $1$. We remove the transitivity condition, showing that for any deformation of the braid arrangement the contribution of a region to the signed sum is $1$. This provides an alternative proof of the original counting formula, and sheds light on the geometry underlying the formula. We further use this new geometric understanding to better understand the contribution of a tree.

Many integer sequences arise as numbers of $G$-orbits on $\binom{X}{n}$ as $n$ varies, for a permutation group $G\subseteq \operatorname{Sym}(X)$. For finite $X$, Stanley proved that these finite sequences increase towards the middle using an action of the Lie algebra $\mathfrak{sl}_2(\mathbb{C})$. For infinite sets $X$, and hence infinite sequences, Cameron provided an argument for monotonicity. He first identifies orbits with a vector space basis of a certain commutative $k$-algebra $\mathsf{H}_{G,X}^{\star}$, called the orbit algebra. He then considers the operator, which forms the product with the constant $1$-function on $X$, and proves its injectivity. In this paper we generalize Stanley's approach to oligomorphic groups, and in particular extend Cameron's operator to a full $\mathfrak{sl}_2(\mathbb{C})$-action on $\mathsf{H}_{G,X}^{\star}$. We define for every oligomorphic permutation group $G\subseteq \operatorname{Sym}(X)$ the $X$-th tensor power $(k^r)^{\otimes X}$, generalizing work of Entova-Aizenbud. We show that this space carries natural commuting actions of $G$ and the Lie algebra $\mathfrak{gl}_r(k)$, the latter depending on a Harman--Snowden measure $μ$ on $G$. We then show that $\mathsf{H}_{G,X}^{\star}\subseteq (\mathbb{C}^2)^{\otimes X}$ can be decomposed into a direct sum of $\mathfrak{sl}_2(\mathbb{C})$-Verma modules, which gives monotonicity. We explain how our approach applies to Fibonacci numbers, Tribonacci numbers, etc. by constructing measures on products with $(\mathbb{Q},<)$.

A graph $G$ is $D$-distinguishable if there is a labeling of its vertices with $D$ labels such that the only automorphism of $G$ which preserves the labeling is the identity. The distinguishing number of $G$ is the minimum value $D$ for which $G$ is $D$-distinguishable. The fixing number of $G$ is the minimum cardinality of a subset of the vertices of $G$ which is fixed pointwise only by the trivial automorphism. We prove that the fixing number of any $2$-distinguishable tree of order $n \geq 3$ is at most $4n/11$, or at most $(D-1)n / (D+1)$ for a $D$-distinguishable tree ($D \geq 3$). For every $D$ and $r$ at least $2$, we characterize the $D$-distinguishable trees with radius $r$ by constructing a universal tree $T_r^D$ which has the property that a tree $T$ of radius $r$ is $D$-distinguishable if and only if $T$ is a union of branches of $T_r^D$. We obtain a similar collection of universal trees for the property of having a constant paint cost spectrum, i.e., the minimum size of the complement of a color class in a distinguishing $D$-coloring of $T$ is equal to the fixing number. Finally, we prove bounds on the distinguishing and fixing numbers of a tree in terms of the eccentricities of its vertices.

Paratopism is a well known action of the wreath product $\mathcal{S}_n\wr\mathcal{S}_3$ on Latin squares of order $n$. A paratopism that maps a Latin square to itself is an autoparatopism of that Latin square. Let $\mathrm{Par}(n)$ denote the set of paratopisms that are an autoparatopism of at least one Latin square of order $n$. We prove a number of general properties of autoparatopisms. Applying these results, we determine $\mathrm{Par}(n)$ for $n\le17$. We also study the proportion of all paratopisms that are in $\mathrm{Par}(n)$ as $n\rightarrow\infty$.

In a remarkable paper, Tatsuyuki Hikita settled a longstanding e-positivity conjecture of Stanley and Stembridge. Among many other things, he wrote down a certain formula ${\varphi}_k$, and proved that the ${\varphi}_k$ sum to one, thereby defining a probability distribution. Though Hikita's proof was simple, it remains surprising that the ${\varphi}_k$ sum to one. In this note, we give a combinatorial interpretation of Hikita's probability distribution. The main tool is a certain permutation statistic that we call the watershed. After seeing an early version of our work, Darij Grinberg noticed that the permutation statistic was implicit in a so-called "bulldozer problem" that was on the short list for the 2015 International Mathematics Olympiad. However, our description of the statistic, which makes use of Foata's fundamental bijection, appears to be new.

Graph states are a key resource for measurement-based quantum computation and quantum networking, but state-preparation costs limit their practical use. Graph states related by local complement (LC) operations are equivalent up to single-qubit Clifford gates; one may reduce entangling resources by preparing a favorable LC-equivalent representative. However, exhaustive optimization over the LC orbit is not scalable. We address this problem using the split decomposition and its quotient-augmented strong split tree (QASST). For several families of distance-hereditary (DH) graphs, we use the QASST to characterize LC orbits and identify representatives with reduced controlled-Z count or preparation circuit depth. We also introduce a split-fuse construction for arbitrary DH graph states, achieving linear scaling with respect to entangling gates, time steps, and auxiliary qubits. Beyond the DH setting, we discuss a generalized divide-and-conquer split-fuse strategy and a simple greedy heuristic for generic graphs based on triangle enumeration. Together, these methods outperform direct implementations on sufficiently large graphs, providing a scalable alternative to brute-force optimization.

A latin square of order $n$ with pairwise disjoint subsquares of orders $h_1,\dots,h_k$ such that $h_1+\dots+h_k = n$ is known as a realization. The existence of realizations is a partially solved problem with a few general results for an arbitrary number of subsquares, $k$. Requiring only that $h_1+\dots+h_k\leq n$ gives a variation of the problem that has few known results. In this paper we prove a general necessary condition for existence and completely determine existence when there are at most three subsquares or the subsquares are all of the same order. Importantly, we prove that if $h_1\geq h_2\geq\dots\geq h_k$ and $n\geq h_1+\sum_{i=1}^kh_i$ then such a latin square always exists.

An $n\times n\times\dots\times n$ hypercube is made from $n^d$ unit hypercubes. Two unit hypercubes are neighbours if they share a $(d-1)$-dimensional face. In each step of a dismantling process, we remove a unit hypercube that has precisely $d$ neighbours. A move is balanced if the neighbours are in $d$ orthogonal directions. In the extremal case, there are $n^{d-1}$ independent unit hypercubes left at the end of the dismantling. We call this set of hypercubes a solution. If a solution is projected in $d$ orthogonal directions and we get the entire $[n]^{d-1}$ hypercube in each direction, then the solution is perfect. We show that it is possible to use a greedy algorithm to test whether a set of hypercubes forms a solution. Perfect solutions turn out to be precisely those which can be reached using only balanced moves. Every perfect solution corresponds naturally to a Latin hypercube. However, we show that almost all Latin hypercubes do not correspond to solutions. In three dimensions, we find at least $n$ perfect solutions for every $n$, and we use our greedy algorithm to count the perfect solutions for $n\le6$. We also construct an infinite family of imperfect solutions and show that the total size of its three orthogonal projections is asymptotic to the minimum possible value. Our results solve several conjectures posed in a proceedings paper by Barát, Korondi and Varga. If our dismantling process is reversed we get a build-up process very closely related to well-studied models of bootstrap percolation. We show that in an important special case our build-up reaches the same maximal position as bootstrap percolation.

For a graph $G$ with adjacency matrix $A(G)$ and degree diagonal matrix $D(G)$, the $A_α$-matrix of $G$ is defined as \begin{equation*} A_α(G) = αD(G) + (1- α) A(G), \text{ for any } α\in [0,1]. \end{equation*} The $A_α$-spectral radius of $G$ is the largest eigenvalue of the matrix $A_α(G)$. A tricyclic graph of order $n$ is a simple connected graph with $n+2$ edges. In this paper, we characterize the unique graph having the largest $A_α$-spectral radius for $α\in [\frac{1}{2}, 1)$ among all tricyclic graphs of order $n$ with $k (\geq 1)$ pendant vertices. As an application, we derive a sufficient spectral condition (alternate to the edge condition) to guarantee the absence of the tricyclic structure in a graph with $k$ pendant vertices.

Let $G$ be a graph on $n$ vertices and $m$ edges. For $α\in [0,1]$, the $A_α$-matrix of $G$ is defined as $A_α(G) = αD(G) + (1- α) A(G)$, where $A(G)$ is the adjacency matrix and $D(G)$ is the degree diagonal matrix of $G$. If $ρ_1 \geq ρ_2 \ldots \geq ρ_n$ are the eigenvalues of $A_α(G)$, the $A_α$-energy of $G$ is defined as $E_{A_α}(G) = \sum_{i=1}^{n} |ρ_i -\frac{2αm}{n}|$. In this paper, we present novel upper and lower bounds for $E_{A_α}(G)$ in terms of standard graph invariants, showing that each bound is sharp and identifying the specific graphs attaining them. For selected bounds, we provide brief comparative analysis with existing results, observing improved estimates. Furthermore, we establish new relations between $E_{A_α}(G)$ and other well known graph energies, including adjacency, Laplacian, as well as the adjacency energy of the line graph.

A rational triangle $T$ (one whose angles are rational multiples of $π$) unfolds to a translation surface $(X_T,ω_T)$. The lattice triangle problem asks to classify those $T$ for which $(X_T,ω_T)$ is a Veech (lattice) surface, which means that the $\operatorname{SL}_2(\mathbb R)$-orbit of $(X_T,ω_T)$ is closed in its stratum (so its projection to moduli space is a Teichmüller curve). The most mysterious regime is the "hard obtuse window" (largest angle in $(π/2,2π/3]$), where it is conjectured that no lattice triangles exist. Using an arithmetic reformulation of the Mirzakhani-Wright rank obstruction, we prove a quantitative theorem that rules out all but a density 0 subset of the triangles in this window. The main engine in this paper was autoformalized by AxiomProver in Lean (using mathlib).

In this article, we study a model of random permutations, which we call random standardized permutations, based on a sequence of i.i.d. random variables. This model generalizes others, such as the riffle-shuffle and the major-index-biased permutations. We first establish an exact result on the joint distribution of the number of cycles of given lengths, involving the notion of primitive words. From this result, we obtain various convergence results, most of which are proved using the method of moments. First we prove that the number of small cycles may have either a Poisson limit distribution, or a limit distribution given by a countable sum of independent geometric distributions. Then we establish a limit distribution for large cycles, which is the Poisson-Dirichlet process. Finally we prove a central limit theorem for the total number of cycles.

We study the degree landscape of the partition graph $G_n$, whose vertices are the integer partitions of $n$ and whose edges correspond to elementary transfers of one unit between parts, followed by reordering. Using the previously established local degree formula, we introduce the degree layers $D_d(n)$, the degree spectrum $Spec_D(n)$, and the numerical invariants $Δ_n$, $m_Δ(n)$, and $s(n)$. The main theorem provides an exact formula for the maximal degree. If $$ ρ(n):=\max\{r:T_r\le n\},\qquad T_r=\frac{r(r+1)}{2}, $$ and $$ ν:=n-T_{ρ(n)}, $$ then $$ Δ_n=ρ(n)\bigl(ρ(n)-1\bigr)+β_{ρ(n)}(ν), $$ where $β_r$ is an explicit budget function governed by a square--pronic threshold rule. We also prove that every maximal-degree vertex lies on the maximal-support stratum, and we obtain exact extremal classifications at the levels $n=T_t$, $n=T_t+1$, and $n=T_t+2$. The paper also includes a finite computation on the range $1\le n\le 60$, recording extremal multiplicities, representative extremal shapes, spectrum sizes, selected degree histograms, and first data on contact between the extremal layer and the self-conjugate axis. This computational part is deliberately limited in scope. It is descriptive rather than exhaustive, and is included only as a first numerical profile of the degree landscape.

We verify Tutte's $3$-flow conjecture in the class of Cayley graphs on solvable groups of order $2n$, where $n$ is square-free. The proof relies on a new necessary and sufficient condition for a simple $5$-valent graph to admit a nowhere-zero $3$-flow in terms of a pseudoforest decomposition.

The design of numerical integrators for solving stochastic dynamics with high weak order relies on tedious calculations and is subject to a high number of order conditions. The original approaches from the literature consider strong approximations and adapt them for the weak approximation by replacing the iterated stochastic integrals by appropriate random variables. The methods obtained this way are sub-optimal in their number of function evaluations and the analysis of order conditions is unnecessarily complicated. We provide in this paper a novel approach, relying on well-chosen sets of random Runge-Kutta coefficients, that greatly reduce the number of order conditions. The approach is successfully applied to the creation of a collection of new stochastic Runge-Kutta methods of second weak order with an optimal number of function evaluations and a smaller number of random variables. The efficiency of the new methods is confirmed with numerical experiments and a modern algebraic approach using Hopf algebras is provided for the derivation and the study of the order conditions.

A graph is called strongly $\Z_{2k+1}$-connected if for each boundary function $β: V(G)\mapsto \Z_{2k+1}$ with $\sum_{v\in V(G)}β(v)\equiv 0\pmod{2k+1}$, there exists an orientation $D$ of $G$ such that $d_D^+(v) - d_D^-(v) \equiv β(v) \pmod{2k+1}$ for each $v \in V(G)$. We show that every planar multigraph with $5$ edge-disjoint spanning trees is strongly $\Z_{5}$-connected. This verifies a special case of the Additive Base Conjecture when restricted to planar graphs. Hence, every $10$-edge-connected directed planar graph admits an antisymmetric $\Z_5$-flow. So, by duality, every orientation of a planar graph of girth at least $10$ admits a homomorphism to a $5$-vertex tournament. Our result also gives a new proof of the known result that every planar graph of girth at least $10$ has a homomorphism to the $5$-cycle.

A graph is chordal if it contains no induced cycle of length four or more. While finite chordal graphs are precisely those admitting tree-decompositions into cliques, this fails for infinite graphs. We establish two results extending the known theory to the infinite setting. Our first result strengthens sufficient conditions of Halin, Kříž-Thomas, and Chudnovsky-Nguyen-Scott-Seymour: We show that every chordal graph without a strict comb of cliques admits a tree-decomposition into maximal cliques. Our second result characterises the chordal graphs admitting tree-decompositions into finite cliques: a connected graph admits such a decomposition if and only if it is chordal, admits a normal spanning tree, and does not contain $\mathcal{H}$ $\unicode{x2013}$ an infinite clique with two non-adjacent dominating vertices $\unicode{x2013}$ as an induced minor. Combined with the characterisation of graphs with normal spanning trees, this yields a description by three types of forbidden minors. Both proofs proceed via greedy constructions of length $ω$, with the key new ingredient for the second result being an Extension Lemma that uses a finiteness theorem of Halin on minimal separators to produce suitable finite clique extensions at each step.

We first fully implement, in Maple, the ingenious method of Robert Stoyan and Volker Strehl from 1995 to automatically derive generating functions for the number of Hamiltonian cycles in an m by n grid graph ,for a fixed width m, but general length n, and actually compute these generating functions for all m up to ten. We also show how to generate a uniformly-at-random such Hamiltonian cycle, and also derive more informative generating functions for other parameters besides the length of the grid graph.

We consider a far generalization of the well-known stable roommates and non-bipartite stable allocation problems. In its setting, one is given a finite non-bipartite graph $G=(V,E)$ with nonnegative integer edge capacities $b(e)\in{\mathbb Z}_+$, $e\in E$, in which for each vertex (``agent'') $v\in V$, the preferences on the set $E_v$ of its incident edges are given via a choice function $C_v$ acting on the vectors in ${\mathbb Z}_+^{E_v}$ bounded by the capacities and obeying the standard axioms of substitutability and size monotonicity. We refer to the related stability problem as the stable partnership problem with integer choice functions, or SPPIC for short. Extending well-known results for particular cases, we give a solvability criterion for SPPIC and develop an algorithm of finding a stable solution, called a stable partnership, or establishing that there is none. Moreover, in general the algorithm constructs a pair $(x,{\cal K})$ such that $x\in {\mathbb Z}_+^E$ and ${\cal K}$ is a set of pairwise edge-disjoint odd cycles in $G$ satisfying the following properties: if ${\cal K}=\emptyset$, then $x$ is a stable partnership, whereas if ${\cal K}$ is nonempty, then a stable partnership does not exist, and in this case, the set ${\cal K}$ is determined canonically. Our constructions essentially use earlier author's results on the corresponding bipartite counterpart of SPPIC. Keywords: stable marriage problem, stable roommates problem, stable partition, stable allocation, choice function

A conjecture of Verstraëte states that for any fixed $\ell < k$ there exists a positive constant $c$ such that any $C_{2k}$-free graph $G$ contains a $C_{2\ell}$-free subgraph with at least $c |E(G)|$ edges. For $\ell = 2$, this conjecture was verified by Kühn and Osthus in 2004. We identify two counterexamples to this conjecture for $\ell = 4$ and $k=5$: the first comes from a recent construction of a dense $C_{10}$-free subgraph of the hypercube and the second from Wenger's construction for extremal $C_{10}$-free graphs.