math.CO ↗ arXiv
5274 papers in this category
Sharper Ramsey lower bounds from refined Gaussian estimates
Recently, Ma, Shen and Xie broke the Erdős barrier for off-diagonal Ramsey numbers $R(\ell,C\ell)$, achieving the first exponential improvement over the classical lower bound for every $C>1$ and sufficiently large $\ell$. Hunter, Milojević, and Sudakov later gave a simplified proof using Gaussian random graphs and obtained better quantitative bounds. In this paper we prove a further improvement, and show that the exponent in the Ramsey lower bound can be increased by a strictly positive amount for every fixed $C>1$; as $C\to\infty$, the gain is asymptotically $Θ(p_C^{-1/2}/\log C)$. The improvement is achieved by replacing the subgaussian estimate for truncated Gaussians with a sharp cumulant generating function bound.
$K_{2,t+1}$-free graphs with many copies of $K_{t,t}$
For every fixed integer $t\geq 3$, we construct an $n$-vertex $K_{2,t+1}$-free graph containing $Ω_t(n^2)$ copies of $K_{t,t}$. Combined with a simple counting argument, this shows that \[ \mathrm{ex}(n,K_{t,t},K_{2,t+1})=Θ_t(n^2). \] This answers a question of Spiro.
Rainbow panconnectivity in a graph collection
Let $\mathbf{G}=\{G_1,\dots,G_{n-1}\}$ be a collection of not necessarily distinct $n$-vertex graphs with the same vertex set $V$. A path $P$ with $V(P)\subseteq V$ and $|E(P)|\leq n-1$ is rainbow in $\mathbf{G}$, if there exists an injection $φ\colon E(P)\to [n-1]$ such that $e\in E(G_{φ(e)})$ for each $e\in E(P)$. The graph collection $\mathbf{G}$ is said to be \emph{rainbow panconnected} if for every pair of vertices $x,y\in V$, there exists a rainbow path of $k$ vertices joining $x$ and $y$ in $\mathbf{G}$ for every integer $k\in \left[d_{\mathbf{G}}(x,y)+1, n\right]$, where $d_{\mathbf{G}}(x,y)$ is the length of a shortest rainbow path between $x$ and $y$ in $\mathbf{G}$. In this paper, we study the rainbow panconnectivity of $\mathbf{G}$ under the minimum degree condition. Our result improves upon the corresponding results of [J. Graph Theory, \textbf{104}(2)(2023), 341--359] and [Electron. J. Combin., \textbf{32}(4)(2025), \#P4.17].
Intervals of hypergraph Turán densities
We prove that, for every integer $r\ge 3$, the set $Π^{(r)}_\infty$ of Turán densities of (possibly infinite) families of $r$-graphs contains non-degenerate intervals, including an interval of the form $[1-δ_r,1]$ for some $δ_{r}>0$. This answers a question of Frankl, Peng, Rödl and Talbot from 2007. This also shows that the Hausdorff dimension of $Π^{(r)}_\infty$ has the maximum possible value 1, thus resolving a question of Grosu from 2016, whereas previously it was not even known whether it is non-zero. We also derive that the set of uniform Turán densities of finite families of $3$-graphs is dense in a non-degenerate interval.
On the maximal dimension of an irreducible representation of the symmetric group
We prove that the maximal dimension $d_N$ of an irreducible representation of the symmetric group $S_N$ satisfies
$$d_N=\sqrt{N!} \, e^{-(\mathfrak{d}+o(1))\sqrt{N} }, \quad N\to \infty,$$
for some constant $\mathfrak{d}>0$. This answers a question raised by Vershik--Kerov in 1985.
Random Permutations from Bott-Samelson Varieties
Motivated by a recent random pipe dream model, we study a family of probability distributions on \(S_n\) arising from Bott--Samelson varieties over finite fields. More precisely, for a word \(R\), we consider the Bott--Samelson map \(π_R:\mathrm{BS}^R\to \mathcal{F}\ell_n\) and define a distribution \(\mathbb{P}_{R,q}\) by counting the \(\mathbb{F}_q\)-points in the inverse images of Schubert cells. For a suitable choice of parameters \(p_1=q/(1+q)\) and \(p_2=1/q\), this construction recovers a special case of the random pipe dream distribution. The main problem considered in this note is to determine which combinatorial properties of a reduced word are detected by the distribution \(\mathbb{P}_{R,q}\). We prove the stronger statement that, for arbitrary reduced words \(R_1,R_2\), the equality \(\mathbb{P}_{R_1,q}=\mathbb{P}_{R_2,q}\) as functions of \(q\) holds if and only if \(R_1\) and \(R_2\) lie in the same commutation class. In particular, equality of distributions already forces the two words to represent the same permutation. The proof combines the Bott--Samelson interpretation with Demazure products, commutation-class invariants, and Hecke-algebraic arguments.
Extremal $t$-intersecting Families of Permutations for Large $t$
A set of permutations of $\{1,2,\dots,n\}$ is $t$-intersecting if any two permutations agree on at least $t$ inputs. A recent work by Kupavskii, in the spirit of the Erdős-Ko-Rado Theorem, shows that for all $t\leq n-O\left(\frac{n\log\log n}{\log n}\right)$, every $t$-intersecting family of permutations of $\{1,2,\dots,n\}$ with the maximum size must be isomorphic to the set $$A_k = \{σ: σ(i)=i\text{ for at least } t+k \text{ indices } i\in\{1,2,\dots,t+2k\}\}$$ for some $k$. By refining Kupavskii's spread approximation technique, we prove that this conclusion holds for a wider range of $t\leq n-n^{5/7+\varepsilon}$.
A finite-board reduction for the Erdős Matching Conjecture and the 4-uniform case via exact certificates
We prove the 4-uniform Erdős Matching Conjecture for every matching number $s\ge 6961$. The proof has two parts. First, building on ideas from Frankl--Rödl--Ruciński, we formulate a general finite-board criterion for the $r$-uniform conjecture. The criterion has two assumptions: the $(r-1)$-uniform cover-side bound for links with matching number at most $t$ holds at every $m\ge n_r(t)$, and a finite optimization problem for mixed-size trace configurations on an $(r^2+r-1)$-vertex board. Together with the corresponding lower-uniformity input, this finite-board optimization implies the Erdős Matching Conjecture with explicit large-matching thresholds.
Second, we verify the finite-board assumption for $r=4$. The local board has 19 vertices, and the required inequality is decomposed into three weighted local inequalities: a leading wide layer, a 15-board layer, and an 11-board layer. The verification is reduced to exact finite optimization and certificate-validation problems: Ferrers down-set enumerations for pair and triple traces, rational Farkas-dual certificates for the top-star branch, integer branch-and-bound up-set hitting and pattern searches for the no-top-star branch, and residual-cut dual certificates for the 15-board and 11-board layers.
Local network evolution rules drive shortest path multiplicity
The shortest path multiplicity is an important metric of complex networks. The shortest path multiplicity of real networks is high and it correlates with their community structure. Since local network evolution induces network communities, it is possible that a high shortest path multiplicity is the natural expectation of local evolution rules. Here I demonstrate, by means of numerical simulations, that this is indeed the case.
Chain--collider--fork Decompositions of Transitive Tournament
A transitive tournament is an acyclic orientation of a complete graph. We study decompositions and packings of the transitive tournament \(TT_n\) into connected two-arc motifs. The three motifs considered are chains, colliders, and forks, which are also fundamental local configurations in directed acyclic graphs. We first construct decompositions of \(TT_n\) into mixtures of these motifs whenever such decompositions exist. We then consider the corresponding pure packing problem for each individual motif. For \(H\) equal to a chain, a collider, or a fork, we determine the maximum number of arc-disjoint copies of \(H\) in \(TT_n\). These results give a precise extremal description of two-arc motif packings in transitive tournaments and suggest further questions on motif decompositions in broader classes of directed acyclic graphs.
Solving Combinatorial Counting Problems with Weighted First-Order Model Counting
Combinatorial counting problems pervade artificial intelligence, statistics, and discrete mathematics. Whether the task is enumerating subsets, multisets, permutations, partitions, or compositions under structural and arithmetic constraints, solving it remains a stubbornly manual exercise. Closed-form derivations are powerful but brittle, while naive encodings to propositional model counting or constraint satisfaction destroy the exchangeability that makes counting tractable in the first place. We present Cofola (COmbinatorial counting LAnguage with First-Order logic), a typed declarative language whose primitives are the combinatorial objects that recur in everyday counting questions, including sets, bags, tuples, sequences, circles, partitions, and compositions, together with natural relational and arithmetic constraints over them. A denotational semantics maps every Cofola program to a well-defined combinatorial counting problem, and a three-phase compilation pipeline (preprocessing, decomposition, and symmetry-preserving encoding) reduces this problem to a weighted first-order model counting (WFOMC) instance augmented with coefficient-extraction constraints. To stay inside known domain-liftable fragments whenever possible, the encoding groups indistinguishable entities, breaks the symmetry of unordered groupings lexicographically, and encodes sequences and circles via order axioms. On a suite of representative combinatorial counting problems, ranging from textbook math problems to multi-object scenarios that the closest prior framework cannot express, Cofola produces concise specifications and a uniform solving pipeline that is practical end-to-end.
Tribonacci properties of identities, matrices, and determinants
This paper considers the properties of Tribonacci numbers on identities, matrices, and determinants. In the first front part, we obtain several symmetric identities of Tribonacci numbers by a matrix-based approach and binomial inversion technique. In the core section of the latter half, we present a determinant representation of Tribonacci numbers in a slightly modified Toeplitz--Hessenberg form derived from Bell polynomials.
On a conjecture of DeLaViña and Waller
The Wiener index of a connected graph is defined as the sum of distances between all its unordered pairs of vertices. Characterising graphs on $n$ vertices with a fixed diameter that maximise the Wiener index is a long-standing open problem. This problem has been resolved fully for trees on $n$ vertices with diameter $d \in \{1,2,3,4,n-3,n-2,n-1\}$ while partial results are available for $d=5$ and $6$. In this context, a conjecture proposed by DeLaViña and Waller has remained open for the last 18 years.
In this paper, we establish a necessary condition for a tree to attain the maximum Wiener index among all trees on $n$ vertices with a given diameter. Using this condition, we characterise the maximal trees for diameter $n-4$ and $n-5$. Furthermore, we prove the DeLaViña Waller conjecture for the classes of graphs having $0,1,2,3$ or $n-4$ cut vertices.
Decomposition of degree-regular graphs into quasi-random pairs without the Regularity lemma
The Szemerédi Regularity Lemma, in combination with the Blow-up Lemma, form the Regularity Method, a fundamental tool in graph embeddings, albeit restricted to very large and dense graphs. We propose an alternative vertex-partitioning framework that remains effective even as the density tends to zero and without requiring astronomically large vertex sets. This approach, while narrower in scope, extends regularity-type techniques to relatively small graphs previously inaccessible to the Regularity Method. As an application, we use this novel vertex-partitioning method for bipartite packing problems.
Hurwitz numbers of a fixed partition (m, 1^{n-m}) via enumeration of unrooted hypermaps
This manuscript studies a special case of the Hurwitz enumeration problem: for branched covers from genus g compact Riemann surface to the Riemann sphere, with three branch points, and require the branching data at one of the branch points to be of the partition (m 1^{n-m}), obtain a formula of Hurwitz number. The Hurwitz enumeration problem can be transformed into enumeration of a class of unrooted hypermaps. We first provide a enumeration formula for rooted hypermaps, thereby obtaining the weighted Hurwitz numbers. Next give the quantitative relationship between the enumeration of unrooted hypermaps and that of rooted hypermaps in the general setting. Finally, combining these two results, we obtain a formula for the unrooted hypermaps or the Hurwitz numbers in the special setting.
Asymptotic probability of irreducibles III: Anti-SEQ
In this paper, we study the structure of the complete asymptotic expansion of the probability that a large combinatorial object is connected or consists of a given number of connected components. For rapidly growing labeled families of structures, the coefficients involved in these expansions are possibly negative integers. Using species theory, we interpret these coefficients as the difference between the counting sequences of two derivative species of structures. In particular, we show that this difference can be viewed as the counting sequence of the virtual species obtained with the help of an "anti-$\mathrm{SEQ}$" operator applied to the initial family of structures. Applications include $P$-angulated discrete surfaces, quadratic square-tiled surfaces, and non-orientable graph encoded manifolds, which were not reachable with our previous methods.
Moving on to the weighted species, we establish the whole structure of the asymptotic expansion of the probability that a graph is connected in the Erdős-Rényi model $G(n,p)$. Here, the asymptotic coefficients are polynomials in $\frac{p}{1-p}$ and can be described both in terms of simple graphs and irreducible tournaments with ties. We also provide general asymptotic results for sequence and cycle decomposition, as well as the complete asymptotic expansion of the probability that a random labeled tournament with ties is irreducible.
The size of the spanning-tree spectrum of simple graphs
For a graph $G$, let $τ(G)$ denote the number of spanning trees. We show that for every fixed $0 < c < 1/4$, the number of distinct values of $τ(G)$, as $G$ ranges over simple graphs on $n$ vertices, is at least $\exp(c n \log n)$ for all sufficiently large $n$. This is optimal up to the choice of the constant $c$ and resolves a conjecture of Chan-Kontorovich-Pak regarding a problem of Sedláček from the late 1960s.
Equality in a Reverse Minkowski Shell Bound for Integral Lattices via Spherical Designs
For a full-rank integral lattice $\mathcal{L}\subset\mathbb{R}^n$, Regev and Stephens-Davidowitz proved that \[N_{=k}(\mathcal{L}):=|\{y\in\mathcal{L}:\lVert y\rVert^2=k\}|\le 2\binom{n+2k-2}{2k-1}.\] We classify the equality cases. For $n\ge2$, equality holds if and only if either $k=1$ and $\mathcal{L}\cong\mathbb{Z}^n$, or $n=8$, $k=2$, and $\mathcal{L}\cong E_8$. For $n=1$, equality holds exactly when $\mathcal{L}$ represents $k$.
The proof shows that equality is rigid. Saturation of the shell bound forces the normalized norm-$k$ shell to be an antipodal tight spherical $(4k-1)$-design. The associated Delsarte--Goethals--Seidel annihilator polynomial gives an arithmetic root condition, which isolates $E_8$ at $k=2$, rules out $k=3$, and combines with the Bannai--Damerell/Bannai theorem and an elementary circle argument to exclude all remaining cases in dimension at least $2$.
On the Vertex Decomposability of $r$-Independence Complexes of Trees
Let $G$ be a graph and $r \ge 1$. A vertex subset is $r$-independent if every connected component of its induced subgraph has size at most $r$. The family of all such subsets forms a simplicial complex, the $r$-independence complex $\Ind_r(G)$, generalizing the classical independence complex.
Recent work has focused on shellability and vertex decomposability of these complexes. For chordal graphs, $\Ind_r(G)$ has the homotopy type of a wedge of spheres for all $r$, and some chordal subfamilies are known where these complexes are not even sequentially Cohen-Macaulay. Thus, determining chordal graph classes and values of $r$ for which $\Ind_r(G)$ is sequentially Cohen-Macaulay, shellable, or vertex decomposable remains an active area. Existing methods, based on chordal hypergraphs or special graph properties, do not extend to arbitrary chordal graphs.
In this paper, we show that for every tree $T$ and every integer $r \ge 1$, the complex $\Ind_r(T)$ is vertex decomposable, resolving a conjecture \cite[Conjecture 3.15]{PD23chordal} of Abdelmalek et al. Our approach gives a structural description of shedding vertices via rooted subtrees and uses it to prove vertex decomposability recursively.
Simultaneous Periods for Families of Rational Maps Modulo Primes
Let $K$ be a number field, and $\varphi_{1},\ldots,\varphi_{g}\in K(t)$ be finitely many rational maps, each of degree at least $2$. We first show that for generic finite sets $\mathcal{A}_{1},\ldots,\mathcal{A}_{g}$ consisting entirely of points that are not $\varphi_{i}$-periodic, there exists a set of primes $\mathfrak p$ of $K$ of positive density such that for each $\mathcal{A}_{i}$ and every $α\in\mathcal{A}_i$, $α$ is not $\varphi_i$-periodic modulo $\mathfrak p$. The notion of genericity used here is defined in terms of the associated arboreal fields and is sharper than those previously used in the literature. Leveraging our proof in the generic case, we then show that the same conclusion holds for most \textit{expected} cases of non-generic sets $\mathcal{A}_{i}$. Finally, we apply our result to confirm the dynamical Mordell--Lang conjecture for coordinate-wise actions of a class of maps that includes rational maps that are generic in this sense.