math.CO ↗ arXiv
7121 papers in this category
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.
The Syntax Of Polytopal Projections: From Permutohedra To Associahedra
Tonks' projection from the permutohedron to the associahedron and the Loday--Ronco map both send permutations to planar binary trees. We give a syntactic account of these maps in the equational calculus of the free non-symmetric, non-unital operad on one binary generator. The vertex restriction of Tonks' projection is obtained by evaluating the head-insertion encoding on the reversed permutation, while the Loday--Ronco map is obtained by evaluating the decreasing encoding. We also give a local operadic proof that Tonks' vertex map is order-preserving from the weak Bruhat order to the Tamari order.
The $Δ$ property: a bridge between split graphs and Number Theory
For a split graph $S$, the combinatorics of 2-switches on $S$ is faithfully encoded by the factor graph $Φ(S)$, a multigraph whose induced cycles have length at most $4$. In this paper we address the following question: for which $n \in \mathbb{N}$ is there a split graph $S$ whose factor graph contains an $n$-simple triangle, that is, a triangle all of whose edges have multiplicity $n$? We show that the answer is governed by a purely arithmetic condition, the $Δ$ property, relating the differences and sums of complementary divisors of $n$, and thereby establish a two-way bridge between Graph Theory and Number Theory.
Inductive approach to chromatic and characteristic polynomials
In this article we describe a new inductive approach to compute the chromatic polynomial of simple graphs and the characteristic polynomial of central hyperplane arrangements.
On the Common Generalization of Gentle Algebras and Framed Directed Acyclic Graphs
In the study of flow polytopes, a directed acyclic graph (DAG) with a choice of framing gives a regular unimodular triangulation on its space of unit nonnegative flows. In representation theory, a gentle algebra has recently been equipped with a space of unit flows admitting triangulation and subdivision results capturing its tau-tilting theory. These theories from different areas of mathematics overlap: flows on gently framed DAGs are the same as flows on paired representation-finite gentle algebras. In this article we develop the common generalization of these two theories by defining (framed) turbulence charts, which may be thought of as analogs of (framed) DAGs without the conditions of (D)irectedness and (A)cyclicity. The space of unit flows on a turbulence chart is its turbulence polyhedron. We give presentation, subdivision, and triangulation results on turbulence polyhedra which restrict to known results in the settings of framed DAGs and gentle algebras.
Framing Triangulations for Arbitrary Integer Flow Polytopes
Framing triangulations of unit flow polytopes have received a great deal of recent study with rich connections to various generalizations of Catalan and Cambrian combinatorics as well as volume and h*-polynomial formulas. This story has largely been restricted to unit flow polytopes, with only two recent works giving descriptions of framing triangulations on classes of non-unit flow polytopes. In this article we introduce the first theory of (unimodular) framing triangulations for arbitrary integer flow polytopes. We will observe some pathologies in general examples which are impossible in the unit case, and propose in response a class of "well-ordered" framing triangulations which we expect to inherit key properties from the unit case while still containing all settings of framing triangulations existing in the literature.
Universality theorems for generalized splines
We study generalized splines from the perspective of the representation theory of the category of graphs with contractions. Our main theorem proves a kind of finite generation, which in turn implies the existence of a ``universal generating set'' for the module of splines over any graph with fixed combinatorial genus. This theorem holds over any Noetherian commutative ring with a chosen finite list of ideals for edge-labels. We then give several applications of this theorem, including showing that a particular generating function associated to splines on trees is algebraic when the base ring satisfies certain finiteness conditions. We illustrate our technical theorems explicitly by giving a classification of splines on graphs with combinatorial genus one and two.
The limits of Schur multipliers in Pólya conversion problems for the $q$-permanent function
This paper studies generalized Pólya conversion problems for the $q$-permanent \[ \operatorname{P}_q(A)=\sum_{σ\in S_n} q^{\ell(σ)} a_{1,σ(1)} \cdots a_{n,σ(n)}, \] where $q\in\mathbb{C}^*$ and $\ell(σ)$ is the permutation length. We show that for $n\geq 3$ and $q\neq \pm1$, the $q$-permanent is not linearly convertible to the determinant or the permanent, and we completely classify and give a geometric interpretation of the special case $n=2$. Focusing on Schur multiplier transformations, we characterize the space of Schur multiplier preservers. For $|q|\neq1$, the preserver exponents is a $(2n-2)$-dimensional vector space consisting of additive matrices satisfying a discrete Monge relation. In contrast, for $q$ on the unit circle, the solution space becomes a countable union of affine lattices. For lower Hessenberg matrices, we prove that the rigidity phenomenon disappears, yielding an explicit determinantal reduction of the $q$-permanent and an $O(n^3)$ evaluation algorithm.
The central results of this paper establish sharp rigidity thresholds governing permutational symmetries and mixed conversion identities. First, we classify permutational converter exponents and show that, for $n\geq4$, the admissible symmetries are precisely the elements of the dihedral group. Second, we solve a mixed conversion problem that expresses the $q$-permanent as a linear combination of the determinant and the permanent, and prove that the corresponding solution space is nonempty if and only if $n\leq4$, in which case it decomposes into finitely many affine components modeled on the preserver exponent space. This mixed formulation yields a direct algebraic characterization of the $q$-permanent's zero locus for $n \le 4$ via a generalized Pólya identity.
Implicit Binarization via Complex Phase Dynamics in Combinatorial Optimization
We introduce a physics-inspired continuous relaxation framework that yields substantially improved solutions for NP-hard combinatorial optimization problems, including Quadratic Unconstrained Binary Optimization (QUBO), binary sparse coding, and planted-solution Ising models. By parameterizing discrete binary variables as continuous wave-like states on the complex unit circle, we inherently smooth highly non-convex energy landscapes. We show that representing binary variables as complex phases reveals an implicit regularization mechanism that promotes convergence toward discrete states. Extracting this mechanism yields significant improvements even within standard real-valued optimization frameworks, using this regularizer explicitly. Empirically, this regularization yields vastly higher ground-state convergence rates than standard real-valued alternatives. Our models achieved zero error in large-scale 160x160 QUBO tasks under severe noise (sigma=0.25), and outperformed traditional algorithms (OMP and LASSO) in underdefined sparse coding with perfect recovery at sigma=0.15. The solver's robustness was further validated by recovering exact ground-state configurations in 8 out of 11 rigorously engineered planted-solution benchmarks.
Mubayi's Polynomial-Ideal Conjecture and Cover-Ideal Turán Methods
We revisit a conjecture of Mubayi that was proposed as a hypergraph analogue of the Li--Li algebraic proof of Turán's theorem. The conjecture compares a polynomial ideal generated by multipartite 3-graphs with a differentiated diagonal-vanishing ideal. We show that the proposed equality fails for every non-vacuous choice of parameters. The obstruction is structural: diagonal vanishing does not remember the missing codegree-star condition that drives Mubayi's hypergraph problem.
We then give a replacement in edge-variable rings using monomial cover ideals. For ordinary forbidden-family Turán problems, the cover ideal converts extremal edge counting into an initial-degree computation. For generalized Turán numbers, the same cover ideal encodes the forbidden condition, while the objective becomes a quotient rank on the space spanned by the target-copy monomials.
For Mubayi's core-pair family $\mathcal{K}_{\ell}^{(r)}$, this cover ideal has an explicit missing codegree-star form. A Hilbert-function symmetrization theorem for square-zero quadratic monomial quotients computes its initial degree and recovers Mubayi's hypergraph Turán theorem.
Constructing Maximal Bumpless Pipedreams for Double Grothendieck Polynomials
Pipedreams and bumpless pipedreams are two combinatorial models that compute double Grothendieck polynomials. While studying matrix Schubert varieties, Pechenik, Speyer, and Weigandt defined a permutation statistic$\mathsf{rajcode}(\cdot)$ that captures the leading monomial of the top-degree components of a Grothendieck polynomial. Combinatorially, their result implies that there exists a unique pipedream (or bumpless pipedream) with row weight $\mathsf{rajcode}(w)$ and column weight $\mathsf{rajcode}(w^{-1})$. A construction of such a pipedream was subsequently given by Chou and Yu. In this paper, we resolve the bumpless pipedream version of this problem by providing an explicit algorithm.
$t$-tone edge coloring of graphs
In this paper, we introduce the notion of $t$-tone edge coloring. A $t$-tone edge $k$-coloring of a graph $G$ assigns to each edge of $G$ a set of $t$ distinct colors from $\{1,\dots,k\}$ such that any two edges at distance $d$ share fewer than $d$ common colors. The $t$-tone chromatic index of $G$, denoted by $τ'_t(G)$, is the minimum integer $k$ for which $G$ admits a $t$-tone edge $k$-coloring. We focus on the case $t=2$ and establish several upper bounds on $τ'_2$. In particular, for every graph $G$ with maximum degree $Δ(G)\ge2$, we prove that $τ'_2(G)\le 6Δ(G)-4$, improving the corresponding bound derived from the vertex analogue. We also show that every tree $T$ with $Δ(T)\ge3$ satisfies $τ'_2(T)=2Δ(T)$. Furthermore, every planar graph $G$ satisfies $τ'_2(G)\le \max\{41,3Δ(G)+5\}$, while every outerplanar graph $G$ satisfies $τ'_2(G)\le \max\{14,3Δ(G)\}$. For subcubic graphs $G$, the vertex analogue yields $τ'_2(G)\le12$. We improve this bound to $11$ for claw-free subcubic graphs and to $10$ for $2$-degenerate subcubic graphs. Finally, we propose two conjectures concerning optimal bounds for cubic and $K_4$-free cubic graphs, and establish them for series-parallel subcubic multigraphs and subcubic outerplanar graphs, respectively.
An identity for second Eulerian numbers via lattice-point counting
The second Eulerian numbers are defined via the descent enumerator of Stirling permutations, a class of permutations introduced by Gessel and Stanley. We give a simple and conceptual proof of two identities relating the Bernoulli numbers and the second Eulerian numbers. We rely on a recent Ehrhart-theoretic idea of Ferroni.