math.CO ↗ arXiv
7121 papers in this category
Kahn--Lovász-type inequalities for graph factors
The Kahn--Lovász theorem gives a sharp upper bound on the number of perfect matchings in a graph in terms of its degree sequence, extending the classical Brégman--Minc inequality for bipartite graphs. In this paper, we establish an asymptotically sharp extension of the Kahn--Lovász theorem to $F$-factors for every Hamiltonian graph $F$. As a consequence, we asymptotically determine the maximum number of $F$-factors in an $n$-vertex $m$-edge graph, yielding an $F$-factor analogue of Kruskal--Katona-type theorems.
We also prove a multigraph analogue of the Kahn--Lovász theorem. Combining this with our results for Hamiltonian graphs, we obtain an asymptotically sharp Kruskal--Katona-type bound for a further class of connected graphs $F$, including those containing two vertex-disjoint cycles of equal length whose union spans $V(F)$.
Initial Runs in Integer Compositions: Lambert Series and Generalized Divisor Sums
We study the initial run of equal adjacent parts in an integer composition. For a composition alpha, let P(alpha) be the common value of the parts in the initial run, let K(alpha) be the number of parts in that run, and set S(alpha)=P(alpha)K(alpha). We obtain exact finite formulas for the joint parameters (P,K,S) and the corresponding limiting laws. In the unrestricted model, each fixed event (P,K)=(p,k) reaches its limiting probability once n is above an explicit threshold. The limiting distribution of the total size is P(S=s)=2^{-s} sum_{d|s}(1-2^{-d}). Pointing a unit cell in the initial run gives M_1(z)=((1-z)/(1-2z)) sum_{m>=1} sigma_1(m) z^m. For every r>=1, the r-th power-moment generating function has coefficient function A_r(n)=sum_{j=1}^r (-1)^{j+1} binom(r,j) n^{r-j} sigma_j(n), so higher moments involve explicit finite combinations of generalized divisor sums. We also give factorial-moment formulas for the initial-run length and extend the construction to compositions with parts in a prescribed set A, where the corresponding formulas involve restricted divisor sums and the dominant root of the part generating function. Copy
A proof of the Holmes-Holroyd-Ramirez cyclic-product conjecture
We prove the cyclic-product conjecture of Holmes, Holroyd and Ramírez: among all circular arrangements of a decreasing positive sequence, the circular-symmetric ``greedy'' arrangement maximises every consecutive cyclic product sum $P_r$.
Spectral extremal hypergraphs without long Berge cycles
Let $r\ge 3$ and $k\ge 2r+1$ be fixed integers. We determine, for all sufficiently large $n$, the maximum adjacency-tensor spectral radius of an $n$-vertex $r$-uniform hypergraph containing no Berge cycle of length at least $k$. Write $s=\left\lfloor\frac{k-1}{2}\right\rfloor$. If $k=2s+1$ is odd, the unique extremal hypergraph consists of all $r$-sets containing at most one vertex outside a fixed $s$-set. If $k=2s+2$ is even, one additionally includes all $r$-sets containing a fixed pair outside the $s$-set together with $r-2$ vertices inside it. Consequently, the maximum spectral radius is given as \[ \operatorname{spex}_r(n,k) = \left[ \binom{s}{r-1} \left(\frac{r-1}{s}\right)^{(r-1)/r} +o(1) \right]n^{(r-1)/r}. \]
On Generalized Total Colourings of Planar Graphs
In this paper we study generalised total colourings of graphs where the colour classes formed by vertices and edges, respectively, induce forests, while incident edges/vertices receive distinct colours. In [M. Borowiecki and I. Broere, Hamiltonicity and Generalised Total Colourings of Planar Graphs, Discussiones Mathematicae Graph Theory 36 (2016) 243--257] it was conjectured that for planar graphs, four colours suffice for this type of colouring. We confirm this conjecture for two infinite families of planar graphs.
Counting thresholds for perfect matchings in hypergraphs
In a $k$-uniform hypergraph, the minimum $d$-degree for some $0\le d\le k-1$ is the minimum number of edges containing any given $d$-set of vertices. An extension of the classical Dirac theorem guarantees that whenever the minimum $d$-degree of a $k$-uniform $n$-vertex hypergraph, $k\mid n$, is larger than a certain Dirac threshold, it contains at least one perfect matching. Moreover, it has been known for some time, due to Kwan, Safavi, and Wang, that for $d\ge k/2$ such hypergraphs contain not only one, but ``many'' perfect matchings, that is, at least as many as are expected in a random hypergraph with the same edge density. However, it has also been known that such a result could not be hoped for in general, as it already fails for $(d,k)=(1,3)$.
In this paper we introduce new notions of the \emph{counting thresholds} and \emph{approximate counting thresholds}, above which a hypergraph is guaranteed to have at least this many perfect matchings. We show that these thresholds are well-defined and nontrivial for all $d,k,n$, that they are asymptotically related, and finally, we derive improved upper bounds by reducing to cases with smaller $d$ and $k$.
Constructing solvable groups whose character degree graphs generalize the bowtie
We present here a generalized construction of a finite solvable group whose prime character degree graph has the shape and structure of the bowtie graph. As with the original bowtie, the graphs obtained by this generalized construction, under certain restrictions, cannot be realized by the usual method of taking direct products of smaller graphs. Within the condition of $n=1$, we show how this recovers the original bowtie graph, which has five vertices. We also provide examples and explicit choices of primes which generate graphs with more vertices.
Induced Subgraphs of Order Seven and Their Frequencies in $srg(n,k,1,2)$
In this paper, we examine the structure of strongly regular graphs with parameters $λ= 1$ and $μ= 2$. In particular, we provide a complete classification of induced subgraphs of order seven and determine their relative frequencies. These findings contribute to a finer understanding of the local structure of such graphs and may be useful in related combinatorial and algebraic investigations.
The Non-Cancelling-Intersections Conjecture Fails for Left-Linear Trees
First formulated by Amarilli, Monet, and Suciu (arXiv:2401.16210, 2024), the Non-Cancelling Intersections (NCI) conjecture is an open problem in combinatorics stating that any set union can be constructively built from its algebraically non-cancelling intersections using only disjoint unions and subset complements. In the same paper, two orthogonal possible strengthenings are proposed: using only left-linear trees, and using non-trivial intersections only positively or only negatively depending on the sign of their Möbius value. Here we show that using only left-linear trees, the conjecture is false (independent of the other strengthening). Our argument is non-constructive. We prove the existence of a counterexample, though it is of immense size.
Connected Counterexamples to the Henning--Yeo Conjecture on Identifying Vertex Covers
Henning and Yeo conjectured an upper bound on the identifying vertex cover number of a graph in terms of its order, size, and maximum degree. We disprove the conjectured inequality with a two-parameter family $H_{t,r}$ of connected diameter-two graphs. After clearing denominators, the right-hand side minus the left-hand side is exactly $-(t-1)(r-1)$; hence a connected counterexample exists for every maximum degree at least four. Chaining copies through low-degree vertices preserves the maximum degree and allows the packing number to be determined exactly. At maximum degree five, this gives counterexamples of arbitrarily large order with additive gap $1/13$. For every fixed maximum degree $Δ\ge6$, suitable chains have unbounded additive violation. Thus neither rounding nor a fixed additive correction repairs the conjecture. The supremal normalized additive gap at maximum degree $Δ$ is $Θ(1/Δ)$. An exhaustive check of all graphs of order at most seven shows that the eight-vertex example $H_{2,2}$ has minimum possible order.
Classification of Collisions of Twisted Foulkes Character Polynomials
The twisted Foulkes character polynomial is an algebraically defined polynomial attached to an integer partition. We determine precisely how much combinatorial information this polynomial encodes by completely classifying all pairs of partitions that give rise to the same polynomial. Our main result shows that equality of twisted Foulkes character polynomials admits a purely combinatorial characterization in terms of two explicit local operations on partitions.
The minimum of the graph likelihood
The likelihood of a finite simple undirected graph $G$ on $n$ vertices is the probability that the uniform sequential attachment process, which at each step joins a new vertex to a uniformly random subset of uniformly random size of the vertices already present, outputs a graph isomorphic to $G$. Dervovic, Mocherla and Severini conjectured that the likelihood is minimised by the balanced complete bipartite graph. We prove that, among complete bipartite graphs of a given order, the balanced one uniquely minimises the likelihood. Exact computation shows that it also minimises over all graphs for every order from $6$ through $14$, and that the first counterexample occurs at $n=15$. The blow-up of the five cycle by independent sets of size three, equivalently the circulant on fifteen vertices with connection set $\{1,4,6\}$, has likelihood $0.20128\ldots$ times that of $K_{7,8}$, and it is again triangle-free. We show that the failure is not sporadic by proving that the likelihood of the balanced complete bipartite graph is $2^{-(1/2-1/(8\ln 2)+o(1))n^2}$, whereas the minimum over all graphs of order $n$ is $2^{-(1/2+o(1))n^2}$, so the conjectured minimiser exceeds the minimum by a factor exponential in $n^2$. We also determine the Shannon entropy of the process to leading order, namely $n^2/(4\ln 2)$ bits, which shows that the conjectured minimiser is in fact more likely than a typical output of the process. The proofs rest on a vertex deletion recurrence which evaluates the likelihood in time $O(n\,2^n)$ and which closes on the blow-ups of any fixed base graph.
Large Finite Point Sets Have 4 Collinear Points or a 6-Clique
We prove that every finite point set of size at least $10^{11055931}$ has four collinear points or six points that pairwise see each other. This resolves the first open case of the big-line-big-clique conjecture of Kára, Pór, and Wood.
Fast Algorithms for Stoquastic Spin Systems
We establish a general framework for developing fast sampling and counting algorithms for stoquastic spin systems at high temperature. Our framework is based on a rapidly mixing Markov chain for polymer models and a subcritical percolation process for sampling individual polymers. We apply our framework to obtain fast algorithms for approximating the partition function and sampling from the thermal distribution of (1) general stoquastic spin systems, (2) ferromagnetic Heisenberg models, and (3) antiferromagnetic Heisenberg models on bipartite graphs. For the Heisenberg models, we obtain an improved bound on the inverse temperature by using their respective cycle and loop representations.
V-numbers of powers of cover ideals of unimodular hypergraphs
Let $H$ be a unimodular hypergraph with cover ideal $J(H)$. We prove that the local $v$-numbers of $J(H)^t$ are linear in $t$ for all $t\ge1$. We further show that the global $v$-number of $J(H)^t$ is linear in $t$ for all $t\ge n-1$. Finally, we prove that the global $v$-number of the powers of the cover ideal of any tree is linear in $t$ for all $t\ge1$.
Half-open integer parallelepipeds and polytope Dedekind sums
We study the Ehrhart theory of half-open $d$-dimensional integer parallelepipeds $Π$. Although the lattice-point count $tΠ\cap \Z^d$ is known to be simply $\vol Πt^d$ for positive integer $t$, the corresponding counting function for arbitrary real dilations $t$ has subtle, nontrivial periodic structure. We give explicit formulas for this real Ehrhart quasi-polynomial, and more generally for all the discrete moments of the real dilates of $Π$: $\sum_{p\in tΠ\cap\mathbb Z^d}\langle p,z\rangle^m$. The formulas are expressed in terms of Barnes polynomials and polytope Dedekind sums, which encode the periodic lattice flow of translated integer lattices on the flat torus determined by $Π$. Our approach develops further the study of polytope Dedekind sums, introduced recently in \cite{Robins2026}. In particular, we obtain novel identities for polytope Dedekind sums by using iterated discrete derivatives. Moreover, we show that the Ehrhart quasi-coefficients of $L_Π(t)$ are precisely alternating sums of polytope Dedekind sums. Finally, we give an Ehrhart-type reciprocity law relating $L_Π(t)$ at negative arguments to the lattice-point count of the `opposite' half-open parallelepiped.
Hyperfiniteness of bounded-to-one actions of commutative monoids
A theorem of Dougherty--Jackson--Kechris states that any equivalence relation generated by a single Borel function is hypersmooth. A well-known open problem is whether this can be generalized to equivalence relations generated by countable families of pairwise commuting Borel functions. We give an affirmative answer in the case where the functions are bounded-to-one. This generalizes the theorem of Gao--Jackson on Borel actions of countable abelian groups.
Wilf Equivalence for Length-Three Patterns and Flat POPs, and a Conjecture of Qiu and Remmel
It is well known that, for each classical pattern $τ$ of length 3, the number of $τ$-avoiding permutations of length $n$ is the $n$th Catalan number, and numerous bijections between different length-three avoidance classes have been constructed and studied. In this paper, we refine this classical problem by studying Wilf equivalence among permutations that simultaneously avoid a classical pattern of length three and a flat partially ordered pattern.
Partially ordered patterns (POPs) provide a flexible framework for encoding families of classical permutation patterns. For $\ell\geq 3$ and $1\leq x\leq\ell$, let $P_{\ell,x}$ be the length-$\ell$ POP in which the entry at position $x$ is required to be smaller than all the other entries, while no relations are imposed among the remaining entries. Such POPs are called flat POPs. We classify the Wilf equivalences among all pairs $(τ,P_{\ell,x})$, where $τ$ is a classical pattern of length three. For every $\ell\geq4$, the resulting $6\ell$ pairs form exactly $2\ell-1$ Wilf equivalence classes, while the exceptional case $\ell=3$ gives four classes. Our proofs combine the derivation of explicit formulas and recurrence relations with the construction of bijections. Moreover, we introduce novel prime-divisor arguments to distinguish the remaining candidate classes, reducing the problem to showing that a certain Diophantine equation has no solutions for $\ell\ge 3{,}274$, where the bound $3{,}274$ is not claimed to be sharp. Finally, by extending our work on POPs, we resolve a conjecture of Qiu and Remmel concerning the distribution of quadrant marked mesh patterns on 132-avoiding permutations and correct an error in their paper that is crucial to the proof.
New Nonexistence Results for Circulant Weighing Matrices
We prove the nonexistence of eight circulant weighing matrices from the remaining table of orders at most $200$ and weights at most $100$. The proofs combine contraction, character evaluation on the kernel of a contraction, multiplier methods, and exact finite computations. For $CW(105,36)$, the contracted matrix is unique up to equivalence. Applying a nonprincipal character of the $C_3$ kernel gives an element over the Eisenstein integers; reduction modulo $1-ω$ gives a word in a ternary cyclic code of length $35$, and exact enumeration rules out every required Eisenstein-unit lift. For $CW(140,36)$, the real-valued character $Y\mapsto-1$ of the $C_4$ kernel is incompatible with the same contracted class. For weight $64$, the faithful character $Y\mapsto i$ of a $C_4$ kernel first gives an element of $\mathbb{Z}[i][C_m]$; a generalized multiplier then forces constancy on multiplication-by-$2$ orbits, and exact correlation calculations eliminate orders $140$, $180$, and $196$. The three weight-$49$ cases are settled by the ordinary prime-power multiplier, with contraction where needed. Consequently none of $CW(105,36)$, $CW(140,36)$, $CW(116,49)$, $CW(120,49)$, $CW(192,49)$, $CW(140,64)$, $CW(180,64)$, and $CW(196,64)$ exists.
From the Square-Energy Conjecture to Signed Graphs: Sharp Bounds for Positive Square Energy
Let $Σ=(G,σ)$ be a connected signed graph of order $n$ and size $m$, and let $s^{+}(Σ)$ and $s^{-}(Σ)$ denote the sums of the squares of its positive and negative adjacency eigenvalues, respectively. The square-energy conjecture of Elphick, Farber, Goldberg, and Wocjan states that every connected graph $G$ of order $n$ satisfies \[
\min\{s^{+}(G),s^{-}(G)\}\ge n-1. \] Liu and Ning~\cite{LiuNing2023} published a wide-ranging paper entitled ``Unsolved Problems in spectral graph theory", and this conjectures were placed first in their list of such problems. We prove that every signature $σ$ of a connected graph $G$ satisfies the sharp bound \[
s^{+}(Σ)\le 2m-n+1. \] For the all-positive signing this gives $s^{+}(G)\le 2m-n+1$, whereas for the all-negative signing it gives $s^{-}(G)\le 2m-n+1$. Since $s^{+}(G)+s^{-}(G)=2m$, these two special cases imply the square-energy conjecture; the present theorem is stronger in scope because the same bound holds for every signing of $G$. Applying the theorem to the negation $-Σ$ also yields \[
s^{+}(Σ)\ge n-1. \] Both bounds are sharp. The proof is based on a doubly nonnegative matrix inequality. We also shorten the proof of that inequality by replacing its final case distinction with a fixed convex combination.