arXiv++ Combinatorics

In 1962, Erdős characterized the maximum size of nonhamiltonian graphs of order $n$ with minimum degree at least $k$. Later, Ning and Peng [Combin. Probab. Comput. 29 (2020) 128-136] extended Erdős's results to the clique condition and provided the maximum clique number for nonhamiltonian graphs of order $n$ with minimum degree at least $k$. Recently, Zhang [European J. Combin. 112 (2023) 103728] determined the maximum number of $s$-cliques in nonhamiltonian graphs with prescribed order and minimum degree. A natural extension is to characterize the maximum number of $s$-cliques under other graph properties. Notably, disjoint path cover problems are closely related to Hamiltonicity. In this paper, we generalize results on Hamiltonicity and establish sufficient conditions for a graph to possess one-to-one, one-to-many and many-to-many $t$-disjoint path covers in terms of the number of cliques and the $α$-spectral radius, respectively. Furthermore, we characterize the extremal graphs that attain these bounds respectively.

We define the dual lattice function of a rational polytope $P$ via the discrete Laplace transform of the exponential of its support function. This definition is a discrete analogue of the dual volume function of a polytope that the authors studied in previous work. We show that the dual lattice function is valuative, and by multiplying with the torus form, it becomes the canonical form of the exponential polytope $\mathrm{exp}(P)$ as a positive geometry. This result suggests the study of the class of toric polytopes, which are certain semialgebraic subsets of projective toric varieties. Our work is a first step towards discretization of positive geometries in the simplest case of polytopes.

The classical notion of metric dimension has led to a wide range of extensions, such as the local, strong, fractional, and k-metric dimensions. This naturally raises the question of whether analogous variants can be formulated and studied within the multiset framework. While some progress has been made, particularly on the local multiset dimension, outer multiset dimension, local outer multiset dimension, and edge multiset dimension, however, the area remains far from fully explored. In this paper, we survey the existing variants and consolidate the results currently available in the literature. Furthermore, we identify several directions for future work.

Special sets of the Hermitian surface $\mathsf{H}(3,q^2)$, $q$ odd, were introduced by Shult and Thas (1995) in order to construct new finite generalised quadrangles, yet only one example is known to exist and it gives rise to a classical generalised quadrangle. We show that there can be no other special sets of the Hermitian surface.

We prove local asymptotics for near-central complex $(p,q)$-binomial coefficient moduli ratios allowing an imaginary parameter perturbation of order $n^{-3/4}$ at a $\sqrt{n}$ length scale from the centre. Moreover, we obtain ratio asymptotics for a smaller imaginary perturbation of order $n^{-5/4}$ at the length scale $n^{3/4}$. These results were obtained by reducing the two-parameter coefficients to just one parameter, giving a branch-free logarithmic representation of the second-order ratio and, hence, uniform complex curvature asymptotes for near-central ratios.

We introduce a categorical analogue of weak hypercube representations of finite posets by means of faithful embeddings into categories of subwords of finite words. For finite acyclic categories, we characterize those admitting such a weak subword representation: they are precisely the monic categories whose hom-sets carry a left-compatible local total order. The proof is constructive and gives an explicit word representation. We also introduce a query game for categories, generalizing a Boolean query game for posets, and show how winning sets produce explicit word representations and hence upper bounds for the weak word dimension.

Ferrers diagram rank-metric codes are rank-metric codes with prescribed support, and their dimension is bounded from above by the Etzion--Silberstein bound. In this paper, we study this problem for block Ferrers diagrams, namely Ferrers diagrams whose dots are grouped into square blocks of a fixed size. Motivated by the diagonal construction for MDS-constructible Ferrers diagrams, we introduce the notion of MSRD-constructibility, where MDS codes on diagonals are replaced by maximum sum-rank distance (MSRD) codes on block diagonals. We show that MSRD-constructible pairs yield optimal Ferrers diagram rank-metric codes over sufficiently large finite fields. We then relate MSRD-constructibility of a block Ferrers diagram to MDS-constructibility of its contraction, proving an equivalence when the distance is compatible with the block size and giving lifting criteria in the general case. As a consequence, we obtain MSRD-constructibility for strictly block-monotone and initially block-convex diagrams. Finally, we prove a reduction to block triangular diagrams and use it to obtain new arbitrary-field cases of the Etzion--Silberstein conjecture for MSRD-constructible block Ferrers diagrams.

We prove that for every Cayley graph $\mathcal{G}$ over any finite abelian group $G$, there is a weighted Cayley graph with $O(\log |G|)$ generators that is a spectral sparsifier for $\mathcal{G}$. This bound is optimal. Applying our bound to the group $G = \mathbb{F}_2^n$, yields, as a corollary, $O(n/\varepsilon^2)$-sized code sparsifiers for $\mathbb{F}_2$-linear codes, improving on the work of Khanna, Putterman and Sudan (SODA'24) who obtained a similar result with an additional $\mathrm{polylog}(n)$ loss. Our proof is strongly inspired by a recent work of Reis and Rothvoss for the construction of $\ell_1$-sparsifiers. Following their work, the abelian Cayley sparsification problem can be reduced to establishing a lower bound for the volume of a certain natural convex body. This volume bound follows from a short, elementary argument that relies on character symmetry.

For a sequence $\mathbf a=(a_0,a_1,\dots)$ we define its dilated Hankel determinant $\ddot{H}_n(\mathbf a)=\det(a_{2i+j})_{0\le i,j\le n-1}$, the minor of the infinite Hankel matrix $(a_{i+j})$ formed from the even-indexed rows and the first $n$ columns. We prove that, for a broad class of sequences, $\ddot{H}_n$ admits a remarkably simple product evaluation. This mirrors the behaviour of the classical Hankel determinant $H_n$, but with two key distinctions: the class of sequences for which such formulas are known is far larger in the classical case; and, whereas $H_n$ enjoys a single universal evaluation -- the Heilermann formula via the Jacobi continued fraction -- no analogous general method exists for the dilated determinant, which is therefore considerably more challenging. Our evaluations instead rest on six methods developed here, four of general scope and two of a more specialised nature. The cases treated include the factorial numbers, the Catalan and central binomial coefficients; the Euler numbers and a one-parameter secant family; the involution numbers; the Springer numbers along with elliptic and derivative deformations; the reciprocal-sine function, whose evaluation rests on a new Catalan determinant proved by condensation; a Bessel analogue of the Euler numbers; and a multiplicative Bessel family. As an application, we settle a conjecture of Chapoton and the author on the roots of the Poupard and Kreweras polynomials.

For any $n\in\mathbb{N}=\{0,1,2,\ldots\}$ and $b,c\in\mathbb{C}$, the $n$-th generalized central trinomial coefficient is defined as the constant term in the Laurent expansion of $(b+x+cx^{-1})^n$. In this paper, utilizing the constant term method and generating functions, we prove a parametric congruence concerning generalized central trinomial coefficients. As applications, we confirm several conjectures of Z.-W. Sun.

In this article we study complement ideals, and the dual concept of supplement ideals, in nearrings, both of which are generalizations of the concept of complement in a bounded modular lattice. We prove fundamental properties of complements and supplements in arbitrary nearrings. We then establish Galois connections between the ideal lattices of a nearring and of its matrix nearrings, yielding one-to-one correspondences between their respective complement and supplement ideals. We also define graphs associated with complement and supplement ideals of nearrings and study some of their combinatorial properties such as girth and clique number.

The Roman Domination Problem (RDP) on a simple, finite, undirected graph \(G=(V,E)\) asks for a labeling function \(f:V\rightarrow\{0,1,2\}\) such that every vertex assigned value \(0\) is adjacent to at least one vertex assigned value \(2\). The objective is to minimize the total weight \(\sum_{v\in V} f(v)\), and this minimum value is called the Roman domination number of \(G\), denoted by \(γ_R(G)\). Since the RDP is NP-complete for bipartite graphs, a natural direction is to study its complexity on restricted subclasses of bipartite graphs. The problem remains NP-complete even under strong structural restrictions, such as star-convex and comb-convex bipartite graphs. Therefore, identifying the borderline subclasses where the problem changes from NP-complete to polynomial-time solvable remains an important challenge. In this paper, we investigate the RDP on convex bipartite graphs and on their superclass, chordal bipartite graphs. First, we present a dynamic programming algorithm for convex bipartite graphs. The algorithm uses the interval ordering of one bipartition class and keeps a compact boundary state, which is sufficient to control the domination requirements of both processed and future vertices. This gives an \(O(n^3)\)-time algorithm for computing \(γ_R(G)\) on an \(n\) vertex convex bipartite graph. In contrast, we prove that the decision version of the RDP is NP-complete on chordal bipartite graphs by a polynomial reduction from \textsc{Dominating Set} on chordal bipartite graphs. Thus, our results show a clear separation between the tractability of convex bipartite graphs and the hardness of the larger chordal bipartite class.

Fix $n \ge 2$. A set $A = \{a_0 < a_1 < \dots < a_{n-1}\}$ of $n$ residues in $\Z_N$ is \emph{valid mod $N$} if the all-ones multiset is the \emph{only} size-$n$ multiset drawn from $A$ whose sum is $p := \sum_i a_i \pmod N$. For the super-increasing set $A = \{2^k - 1 : 0 \le k \le n-1\}$ we determine the least valid modulus exactly: $\Nmin(n) = 2^{\,n} - 2^{\lfloor \log_2 n \rfloor}$ for all $n \ge 2$. Both directions of the proof are elementary, resting on a sharp minimal-digit-sum estimate for representations by binary coins, and the full theorem has been machine-checked in Lean~4/Mathlib for all $n$ (https://github.com/jarfo/min-modulus). We conjecture that no size-$n$ residue set admits a smaller valid modulus. This validity condition is exactly what makes the permanent of an $n \times n$ matrix equal to a single coefficient of a row-product polynomial modulo $x^N - 1$, extractable by a size-$N$ discrete Fourier (or number-theoretic) transform; the theorem thus identifies the smallest transform, $N \approx 2^n$, for which this evaluation is exact. That application -- and the resulting common framework for the classical formulas of Ryser and Glynn and this transform -- is developed in a companion paper [2].

In this paper, we prove a conjecture of Andrews and El Bachraoui concerning the parity of certain two-color partitions. Precisely, we show that if the Fourier coefficient $t_o(n)$ of the corresponding $q$-series is odd, then $8n+9$ is represented by the binary quadratic form $x^2+2y^2$.

We provide highly accurate estimations of the 10th through 15th Dedekind Numbers, to a precision of 4 digits for $D(10)$, to 2 digits for $D(15)$. These estimates were obtained using three methods, including pair matching on large quantities of 9-dimensional monotone Boolean functions for $D(10)$, Reference Subsets for $D(10)$, $D(11)$, and $D(12)$. And our best method "Weight Layer Branching" which provided accurate estimates for all $D(10)$ through $D(15)$, strongly improving on the previous best known estimates by Korshunov and Tian-Shun Chen et al. arXiv:2606.09795

Let $G=(V,E)$ be a simple graph of order $n$ and let $λ_1(G)\ge \cdots \ge λ_n(G)$ be the eigenvalues of its Laplacian matrix. Brouwer conjectured that for every $1\le k\le n$, $\sum_{i=1}^kλ_i(G)\le |E|+\binom{k+1}{2}$. Lew (JCTB, 2026) established a weaker form of Brouwer's Laplacian eigenvalue inequality. The full Brouwer conjecture was recently proved by Kothari and Tudose. Lew also proposed two conjectures for upper bounds on the sum of the largest Laplacian eigenvalues, one in terms of the matching number and one in terms of the vertex-cover number. Using Brouwer's Laplacian inequality, we prove both conjectures.

We generalise the recent two-ends Furstenberg inequality due to Wang and the second author from lines to a family of transversal curves, and give a much simplified proof. As an application, we present a result pertaining to the Fourier decay of fractal measures on convex curves.

We record an explicit counterexample to a refined form of Purdy's inequality for essential hyperplane arrangements in projective three-space. Let $\mathcal{A}$ be an arrangement of $n$ hyperplanes in $\mathbb{P}^3_{\mathbb{C}}$. Let $\ell$ be the number of distinct intersection lines of $\mathcal{A}$, and let $p$ be the number of intersection points, where an intersection point means a point at which at least three hyperplanes meet. The expected inequality is \[ p-\ell+n+2\geq 0. \] The classical obstruction is the rank $2+2$ product arrangement, or dually a configuration of points contained in two skew lines. We explain this obstruction first, and then show that it is not the only one. The reflection-arrangement search leads naturally to a subarrangement of the monomial reflection arrangement of type $G(3,3,4)$. Looking dually, this configuration is not contained in two skew lines, and has \[ f_0(S)=12,\qquad f_1(S)=58,\qquad f_2(S)=43. \] Therefore its dual arrangement has \[ n=12,\qquad \ell=58,\qquad p=43, \] and hence \[ p-\ell+n+2=-1. \] Thus the refined statement excluding only the two-skew-lines obstruction is false.

Let $M_k$ denote a matching of size $k$. The classical Erdős matching conjecture asks for the maximum number of edges of an intersecting $r$-graph without $M_k$. The csae for $k=2$, which is known as intersecting $r$-graph, is established by Erdős, Ko and Rado. Hilton and Milner further determine the maximum number of edges of a non-trivial intersecting $r$-graph, where the intersecting $r$-graph $H$ is called non-trivial if $\cap_{e\in E(H)}e=\emptyset$. In this paper, we investigate the spectral analogues of the hpergraph matching problems and intersecting family problems. More precisely, for sufficiently large $n$, we determine respectively the maximum spectral radius of $M_{k+1}$-free and non-trivial intersecting $3$-graphs on $n$ vertices, and characterize the extremal hypergraphs.

We initiate the study of the multiplicity of negative one of independence polynomials of graphs. In this article, we simply refer to this as the \emph{multiplicity} of a graph. As applications, we provide a graph-theoretic description of trees whose independence complexes are contractible, give a new sufficient condition for independence polynomials of graphs to be log-concave, and finally, determine possible pairs $(\operatorname{mult}_{-1}P_G, α(G))$, where $P_G$ denotes the independence polynomial of $G$, and $α(G)$ the independence number. The study of the pairs $(\operatorname{mult}_{-1}P_G, α(G))$ is equivalent to finding all pairs of the numerator degree and denominator degree of the Hilbert series of the edge ideal of $G$. We also use spectral graph theory to obtain results on the multiplicity of line graphs of forests. Finally, we give some translations and applications in combinatorial commutative algebra.

We associate the Orlik--Solomon sheaf with a finite geometric lattice and compute its sheaf homology. We show that this homology concentrates in top degree, admitting a convolution-type decomposition into a principal ideal OS piece tensoring with a principal filter complement poset homology. Applications to uniform matroids provide interesting representations of symmetric groups.

Let $α(n)$ denote the length of the shortest non-trivial two-variable law for the symmetric group $S_n$. Buskin's quantitative subgroup-separability argument gives the classical lower bound $α(n)\geq 2n-O(1)$. In this short note we give an improvement by proving that $α(n)\geq \frac52 n-O(1)$.

The vertex arboricity $\mathrm{va}(G)$ of a multigraph $G$ is the minimum number $k$ for which $V(G)$ can be partitioned into $k$ subsets, each of which induces an acyclic subgraph of $G$. By definition, if $\mathrm{va}(G)= k$, then the chromatic number, $χ(G)$, satisfies $k\leq χ(G)\leq 2k$. Fundamental results by Borodin from 1976 and Bollobás and Manvel from 1979 imply an analog of Gallai's lower bound on the number of edges in a $(2k-1)$-critical graph. We consider a slight generalization of vertex arboricity in the setting of DP-coloring. Using this framework, we derive lower bounds on the number of edges in graphs critical for vertex arboricity and for list arboricity that are better than Gallai's bound, along with similar bounds in our DP-setting.

For $r\geq 3$ we denote by $\mathcal{C}(D_r)$ the Cartan matrix of type $D_r$. Recently, Sun and Wang conjectured a Rogers--Ramanujan type identity for the Nahm sum associated with $\mathcal{C}(D_r)^{-1}$ and the zero vector. They further conjecture that there exist $r-1$ companion modular Nahm sums associated with nonzero vectors. We partially prove this conjecture by constructing $\lfloor (r+4)/2\rfloor$ modular Nahm sums for $\mathcal{C}(D_r)^{-1}$. To prove their modularity, we utilize the method of Bailey pairs to establish various Rogers--Ramanujan type identities. In particular, we confirm their conjectural identity.

Recently, there has been significant interest in applying the method of moments developed by Wood and others to study distributions of finite abelian groups that arise in number theory and combinatorics. When the moments do not grow too fast, they determine a unique distribution. We construct large families of distributions that have the same moments. These families include several distributions that arise naturally in the study of sandpile groups of families of random graphs. Wood determined the distribution of Sylow $p$-subgroups of sandpile groups of Erdős--Rényi random graphs. This was extended by Mészáros to sandpile groups of random $d$-regular graphs, who observed an interesting special case when $d$ is even and $p = 2$. We study Sylow $p$-subgroups of sandpile groups of random bipartite graphs and similarly find a special case for $p =2$. Although this distribution differs from that of Mészáros, we show that they have the same moments and fit into our broader construction. To compute the moments of the distributions we study, we apply combinatorial tools from the theory of Hall--Littlewood functions.

The Balister--Győri--Schelp (BGS) conjecture asks whether every zero-sum list of $2^{s-1}$ nonzero vectors in $\mathbb{F}_2^s$ is the prescribed-difference profile of a perfect matching. The conjecture remains open in general, whereas the classical Hall hyperplane case is solved when all prescribed differences cross between two affine copies of a hyperplane. We isolate the smallest mixed case beyond Hall: exactly two prescribed differences are internal. Although only two requests have changed type, the complete Hall permutation is replaced by a prescribed-difference bijection between two punctured copies of the hyperplane, with two unknown deleted vertices on each side. We call this the two-hole problem. We develop a new combinatorial method for prescribed-difference matchings, based on counting and the character structure of the binary vector space. Unlike the known Hall-type methods, which construct a matching through a sequence of local algorithmic choices, our approach proves existence through a global noncancellation phenomenon. This loss of algorithmic structure is compensated by a different advantage: the method can retain global boundary information that local exchanges do not control. As a first application, it gives a new proof of the binary Hall theorem, and it then yields a complete solution of the two-hole problem with no multiplicity assumption. We also give direct constructive proofs for symmetric even-multiplicity two-hole and four-hole families. More broadly, the new technique provides a framework for studying further subfamilies of the BGS problem by measuring how far their matching structure departs from the Hall case.

Let $k$ and $\ell$ be positive integers. The family $C(k,\ell)$ consists of all digraphs obtained from two internally vertex-disjoint directed paths of lengths at least $k$ and $\ell$, respectively, and identifying their initial vertices and their terminal vertices. Addario-Berry, Havet and Thomassé (JCT-B, 2007) asked whether, for any positive integers $k$ and $\ell$ with $k+\ell \ge 4$, the chromatic number $χ(D)$ is at most $k+\ell-1$ for every $C(k,\ell)$-free strongly connected digraph $D$. Let $D$ be a $C(k,\ell)$-free Hamiltonian digraph. Kim, Kim, Ma and Park (JGT, 2018) showed that $χ(D) \le k+\ell$ and the bound is attained when $k+\ell=5$. In this paper, we prove that $χ(D) \le k+\ell-1$ for $k+\ell\ge 6$ and this bound is best possible for all $k+\ell\geq 6$, which resolves the problem posed by Addario-Berry, Havet and Thomassé for Hamiltonian digraphs.

We construct a measure that exhibits two aspects of a new type of universality and dramatically simplifies the integration of tensors $T_{a_1,a_2,\ldots,a_D} \in \mathbb{C}$ ($a_1,\ldots,a_D=1,\ldots,N$) at large $N$. In contrast to matrix integration, in which matrix traces canonically yield the integrand, tensors need additional information (equivalent to a $D$-coloured graph $B$) to contract their indices and form a tensor trace $B(T)$. We show that, whenever each $B_1,\ldots, B_n$ can be obtained by a recursive construction known as melonicity, then the leading order in $N$ of the integral of $ {B_1}(T) {B_2}(T) \cdots {B_n}(T) $ is independent of the -- often intricate -- combinatorics of the traces $B_i$, but also, to our surprise, independent of $D$ as far as $D\geq 3$. Instead, at large $N$, these integrals are some functions (indexed by $n$) of the number of vertices $2p_i$ of $B_i$ which we call melonic polynomials. Melonic traces cumulants with respect to any ('interacting') measure \[ \exp\Big\{-N^{D-1} \sum_{i=1}^m g_i {B_i}(T)\Big\} \mathrm{d}μ_0(T) \quad (g_1,\ldots,g_m \in \mathbb{R}, \mathrm{d}μ_0(T) =\text{the tensor Gaussian}) \] with each $B_i$ melonic, can be computed with our universal measure that replaces each $B_i$ by a canonical trace depending only on $p_i$. We prove that any two melonic tensor models are indistinguishable at large-$N$, independently of the number of tensor indices (first universality aspect), and of the fine-grainedness of their interactions (second universality), being a sufficient condition that the couplings (the parameters $g_i$ above) agree and their respective traces are monomials with the same degree in $T$.

Let \[ F=\mathbb{F}_q(\!(t^{-1})\!),\qquad G=\mathrm{SL}_2(F),\qquad Γ=\mathrm{SL}_2(\mathbb{F}_q[t]),\qquad X=Γ\backslash G, \] and let $K=\mathrm{SL}_2(\mathcal{O})$, where $\mathcal{O}=\mathbb{F}_q[\![t^{-1}]\!]$. We study right $K$-spherical averages along the upper unipotent subgroup, the horospherical subgroup associated with the standard cusp, on the Nagao lattice quotient. The basic observation is that the $K$-spherical projection converts two natural dynamical families - expanding translates of compact unipotent orbits and cusp-adapted truncations of dense unipotent orbits - into the same rooted descendant problem on the Bruhat--Tits tree. In the even bipartite sector the limiting height law is the explicit probability measure \[ ρ^{\mathrm{ev}}(0)=\frac{q-1}{q},\qquad ρ^{\mathrm{ev}}(2m)=(q^2-1)q^{-2m-1}\qquad (m\ge 1). \] We prove an exact discrepancy formula: in the backward state the error is a pure top-shell term minus a missing tail, while in the forward state the error is a first-turn weighted sum of backward errors. These formulas give quantitative $K$-spherical equidistribution for expanding translates of compact $U$-orbits and for dense-orbit truncations. For compactly supported $K$-spherical observables in the expanding translates of compact orbits, the discrepancy is eventually exactly zero. In the dense case the rate is controlled by the continued-fraction expansion of the boundary point attached to the orbit.

Gilbreath's conjecture asserts that if one starts with the sequence of primes and takes successive absolute differences to create a triangular array, then the left diagonal of this array consists entirely of ones after the first row. In this paper, we show that the analogue of this conjecture for a Cramér random model holds, in which the (normalized) prime gaps are replaced by independent random variables with geometric distributions of logarithmic size. We also give some preliminary analysis of the associated continuous probabilistic model for this problem, as well as a deterministic "inverse theorem" that isolates the specific obstructions to Gilbreath's conjecture (assuming a Cramér type bound on prime gaps), namely long blocks of zeroes, or very long shallow $\{0,d\}$-valued blocks for some $d \geq 2$.