math.CO ↗ arXiv
5274 papers in this category
A complete classification of metrizable theta graphs
Cizma and Linial introduced graph metrizability as the problem of deciding whether every consistent system of prescribed paths in a graph can be realized by shortest paths for some positive edge lengths. They asked for a classification of the metrizable theta graphs. We give the complete classification. If $a\le b\le c$, then the theta graph $Θ_{a,b,c}$ is metrizable if and only if $a\le 2$ or $(a,b,c)=(3,3,3)$. The non-metrizable direction follows from the known obstruction $Θ_{3,3,4}$ and topological-minor closure. The positive direction is constructive. For the family $Θ_{2,b,c}$, consistency forces certain same-arm and cross-arm choices to be Ferrers relations, and these relations are realized by one-dimensional potentials. The exceptional graph $Θ_{3,3,3}$ is handled by a two-threshold version of the same construction. The proof is structural and does not rely on enumeration of path systems.
On the minimum spectral radius of unicyclic graphs with a given matching number
A matching $M$ in a graph $G = (V, E)$ is a set of edges such that no two edges in $M$ share a common vertex. A matching with maximum cardinality is called a maximum matching and its cardinality is the matching number $γ(G)$. The spectral radius of $G$ is the maximum absolute eigenvalue of its adjacency matrix. This article addresses the Brualdi-Solheid problem--the determination of extremal spectral radii within specific graph classes--for the class $\mathcal{U}_{n,γ}$ of simple connected unicyclic graphs on $n$ vertices with matching number $γ$. We specifically characterize all graphs that achieve the minimum spectral radius in $\mathcal{U}_{n,γ}$ for matching numbers $γ\in \left\{ 1, 2, 3, \lfloor \frac{n}{2} \rfloor \right\}$.
The existence of odd-even factors in 1-binding graphs
Let $G$ be a graph. The binding number of $G$, denoted by $\mbox{bind}(G)$, is defined as $$ \mbox{bind}(G)=\min\left\{\frac{|N_G(S)|}{|S|}:\emptyset\neq S\subseteq V(G) \ \mbox{and} \ N_G(S)\neq V(G)\right\}. $$ If $\mbox{bind}(G)\geq r$, then $G$ is called $r$-binding, where $r$ is a positive real number. The adjacency matrix of $G$ is denoted by $A(G)$. The largest eigenvalue of $A(G)$, denoted by $ρ(G)$, is said to be the spectral radius of $G$. A spanning subgraph $F$ of $G$ is called an odd-even factor $F=F_W$ if $d_F(u)\in\{1,3,\ldots,k\}$ for every $u\in W$ and $d_F(v)\in\{0,2,\ldots,k+1\}$ for every $v\in V(G)-W$, where $k$ is a positive odd integer and $W$ is any set of even number of vertices of $G$. In this paper, we propose a tight sufficient condition based on the spectral radius to guarantee that a connected 1-binding graph $G$ contains an odd-even factor $F=F_W$ such that $d_F(u)\in\{1,3,\ldots,k\} \ \mbox{for all} \ u\in W$ and $d_F(v)\in\{0,2,\ldots,k+1\} \ \mbox{for all} \ v\in V(G)-W$.
Euler Stratifications of Second Hypersimplices via Delta-matroids
We study Euler characteristics of scaled toric varieties arising from second hypersimplices. In algebraic statistics, these are closely connected to maximum likelihood (ML) degrees of toric models. We establish a correspondence between delta-matroids and the non-vanishing factors of the principal $A$-determinant, providing an explicit connection between delta-matroid theory and algebraic statistics. Using this framework, we show that a conjectured minimum ML degree is realizable by a suitable embedding of the variety. Furthermore, for second hypersimplices up to order six, we prove that this value is minimal among all embeddings, as conjectured by Clarke et al. (2024).
Lin--Lu--Yau Ricci Curvature of Digraphs via Optimal Transport Couplings
In this paper, we study the Lin--Lu--Yau Ricci curvature of strongly connected locally finite digraphs through an explicit optimal-coupling construction. For an arc of a digraph, we derive a computable curvature formula by constructing a coupling between the probability measures at its tail and head, and by proving its optimality using a suitable $1$-Lipschitz function. The formula is not only effective for direct computation, but also unifies several known results: in particular, it recovers the Lin--Lu--Yau Ricci curvature formula for Cayley graphs of Right-Angled Artin--Coxeter Hybrid groups as a special case and gives shorter proofs of curvature results arising from matching-type conditions. We then characterize arcs with zero Ricci curvature through perfect distance matching and perfect distance partitions. We further prove that, under suitable assumptions, such arc curvature in directed Cayley graphs increases when an inverse generator or a new generator is added to the generating set. As applications, we compute the curvature of directed Cayley graphs of dihedral groups and generalized quaternion groups, including $Γ(D_n,\{a,b\})$, $Γ(Q_{4m},\{a,b\})$, $Γ(Q_{4m},\{a,a^{-1},b\})$ and $Γ(Q_{4m},\{a,b,b^{-1}\})$. Finally, we provide an algorithm for computing the Lin--Lu--Yau Ricci curvature of Cayley graphs of finitely generated groups with prescribed generating sets, together with complete curvature tables for several important families of finite groups.
$m$-sectorial discrete Laplacians and recurrence of complex-weighted graphs
We consider complex-weighted graphs, whose edge weights belong to a sector in the complex plane. We show that the corresponding Dirichlet Laplacian is $m$-sectorial, and, hence, generates a contractive holomorphic $C_0$-semigroup. Further, it is shown that every sectorial complex-weighted graph can be extended to an electrical network, where by electrical networks we mean graphs, whose edge weights are holomorphic functions, arising from physical admittances. This result allows us to establish convergence results for the infinite complex-weighted graphs, e.g. convergence of solutions of Dirichlet problems and convergence of complex-valued capacities on a finite exhaustion. Finally, we define a recurrence for complex-weighted graphs, and, using the convergence results, give its characterizations in terms of functional spaces, capacity, Green's function, resolvents of the Dirichlet Laplacian and properties of the Neumann Laplacian.
Obstructions and kernel transport for Hecke lifts of partition q-brackets
We study lifts of the level-one Hecke action on quasimodular forms through the partition q-bracket. We prove two obstruction theorems: no exact lift on the genuine shifted symmetric algebra $\mathbb{Q}[Q_2,Q_3,\ldots]$ is multiplicative, and no exact lift satisfies a strict $Q_2$-tower condition. We classify fixed-weight exact lifts by kernel actions and kernel-valued Hecke cocycles, construct transported scalar lifts under Hecke stability of the q-bracket image, and derive kernel-transport and spectral-divisibility consequences from the injectivity of Zagier's lowering operator $B=\frac12(D-\partial^2)$ on the genuine homogeneous subspace. Exact rational rank computations show q-bracket surjectivity in weights at most $16$, yielding explicit Hecke lifts and kernel data in those weights.
Non-trivial cross-$t$-intersecting families for vector spaces with the maximum sum of sizes
Let $V$ be an $n$-dimensional vector space over a finite field. Suppose that $\mathcal{F}$ and $\mathcal{G}$ are non-empty families of $k$-subspaces and $\ell$-subspaces of $V$, respectively. They are said to be cross-$t$-intersecting if $\dim(F\cap G)\geq t$ for any $F\in\mathcal{F}$ and $G\in \mathcal{G}$, and are further called non-trivial if $\dim(\cap_{F\in\mathcal{F}}F)<t$ and $\dim(\cap_{G\in\mathcal{G}}G)<t$. In this paper, we characterize the non-trivial cross-$t$-intersecting families with the maximum sum of sizes. When $t=1$, our result serves as the $q$-analog of the theorems in [9,11].
A geometric approach to generalized covering radii of linear codes
Covering problems in coding theory are closely related to finite geometry through the interpretation of the columns of parity-check matrices as point sets in finite vector spaces. Motivated by the recent notion of generalized covering radii of linear codes introduced by Elimelech, Firer and Schwartz, we develop a geometric framework for these parameters. We introduce $(ρ,t)$-saturating sets and show that they are precisely the finite-geometric counterparts of linear codes whose $t$-th generalized covering radius is at most $ρ$. We study the structure of these sets and show that the extremal case $ρ=t$ coincides with the notion of $t$-strong blocking sets. Thus, $(ρ,t)$-saturating sets interpolate between classical saturating sets and strong blocking sets. We provide several equivalent formulations, including affine and dual Grassmannian criteria, derive lower bounds on their size, and give constructions from strong blocking sets, graphs and projective configurations.
Formalizing chip-firing and Riemann--Roch for graphs in Lean 4
The Riemann--Roch theorem for graphs, due to Baker and Norine, is a foundational result establishing a powerful analogy between finite graphs and algebraic curves. We describe a complete formal proof of this theorem implemented in the Lean 4 theorem prover. Our formalization includes the existence and uniqueness of q-reduced divisors, a modified form of Dhar's burning algorithm, the bijection between acyclic orientations with unique source and maximal superstable configurations, and Clifford's theorem. We also include several challenges for future formalization.
Bounds for the ratio between the domination number and the independent domination number
In this article we present new and improved results for the ratio between the independent domination number and the domination number in graphs with bounded degree. We present a general formula, that, for a fixed maximum degree, allows to compute an upper bound for this ratio as a function of an upper bound $β|V|$ for the independent domination number. We also apply this formula to several known upper bounds for the independent domination number. Furthermore we present constructions giving lower bounds for the best possible upper bound in various classes of graphs with bounded degree.
Bootstrap Percolation and Partial Difference Equations
We study a bootstrap percolation process on $\mathbb{Z}^d$ where each newly occupied point completes a copy of one of the patterns in some fixed collection $\mathcal{A}$. We aim, given $\mathcal{A}$, to find the smallest size of a percolating seed. We show that, for two patterns in two dimensions, in essence the answer is given by the mixed volume of the patterns' convex hulls. Our motivation for studying this setup comes from the theory of partial difference equations. Conversely, our considerations yield one consistency criterion for systems of two partial difference equations in two dimensions.
A counterexample to the near-quadratic Elekes--Rónyai expander conjecture over $\mathbb R$
We disprove the near-quadratic Elekes--Rónyai expander conjecture over $\mathbb R$. The counterexample is a fixed nonspecial quadratic polynomial, together with arbitrarily large finite sets of real algebraic integers on which its image has a fixed power saving from quadratic size. The main result of this paper is obtained by generative AI, particularly ChatGPT 5.5 Pro and the Rethlas system. The proof relies on a recent construction by OpenAI of an infinite tower of number fields.
Linked partition ideals and gap-frequency partitions
Recently, linked partition ideals have attracted renewed attention. In this paper, we embed the gap-frequency partitions in which each part appears at most twice or three times into the framework of span one linked partition ideals, and derive refined generating functions for both cases. Furthermore, for gap-frequency partitions in which every part appears at most k times, we provide a purely combinatorial proof of the corresponding refined generating function.
From a Voucher Puzzle to Extremal Sums of Adjacent Products
Motivated by a self-referential puzzle, we study sequences of voucher price tags in which each choice multiplies the cost of the following one. We connect the puzzle setting to classical permutation statistics, introducing the \textit{voucher cost} alongside the related \textit{pairwise} and \textit{loop} costs. This perspective allows us to translate questions about budgeting into extremal problems on permutations. We review known results for permutations of ${1,2,\dots,n}$ and extend them to arbitrary sets of distinct non-negative price tags.
The maximum number of cycles of a given length in a nonhamiltonian graph
In 2026, Li and Zhan characterized the nonhamiltonian graphs of order $n$ with the maximum number of paths of length $k$, where $n$ and $k$ are integers satisfying $1\leq k\leq n-1$. This work solves and generalizes a problem proposed by Erdős in 1980. In this paper, we further determine the nonhamiltonian graphs of order $n$ attaining the maximum number of cycles of length $k$ for given integers $n$ and $k$ with $3\leq k\leq n-1$.
CRIM: A Natural Game on Integer Partitions
We analyze Column-Row Impartial Merge (CRIM), an impartial combinatorial game played on integer partitions. A move in CRIM consists of removing an arbitrary row or column from the corresponding Young diagram, with the remaining parts reattaching to form a single partition. We define rectairs -- a common generalization of rectangles and staircases -- and characterize their $\mathcal{P}/\mathcal{N}$-status. We define the meld operation on partitions and show that the meld of losing rectairs is losing. We introduce Odds-Are-Even (OAE) and Evens-Are-Odd (EAO) partitions, proving that all OAE partitions are $\mathcal{P}$-positions and characterizing the losing positions within EAO partitions. We determine the $\mathcal{P}/\mathcal{N}$-status for staircases and for $2$- and $3$-part partitions. We evaluate CRIM and its restrictions to certain partition families within the Conway-Gurvich-Ho classification scheme, establishing that CRIM is neither returnable nor domestic. We conjecture that every losing partition has even rank.
Higher cotangent cohomology for Stanley-Reisner rings
Inspired by work of Altmann and Christophersen, we study the graded pieces of the cotangent cohomology $T^i_{S_{\mathcal{K}}}$, $i\geq 3$ of the Stanley-Reisner ring $S_{\mathcal{K}}$ associated to a simplicial complex $\mathcal{K}$. We prove a localization formula allowing one to reduce to the case of negative weights. Our results give a complete description of $T^3$ and $T^4$ in terms of the topology of $\mathcal{K}$ whenever $\mathcal{K}$ is a flag complex. As an application, we give a sufficient criterion for the vanishing of $T^3$ for simplicial spheres, classify two-spheres that have vanishing $T^3$, and show that the boundary complex of the dual associahedron has vanishing $T^3$. Our results make use of the arborescent resolutions considered by Hancharuk, Laurent-Gengoux, and Strobl. We give an alternative and self-contained treatment of these resolutions that may be of independent interest.
KKM theorems and discrete geometry beyond matroids
We introduce selection structures, a topological framework that extends the role played by color classes and matroids in discrete geometry and KKM theorems. Selection structures allow us to extend classic results to genuinely non-matroidal examples, including chessboard complexes and matching complexes.
We show that several matroidal versions of classic results can be generalized to selection structures. These include McGinnis' version of Komiya's KKMS theorem, Holmsen's version of Carathéodory's theorem, Kalai and Meshulam's version of Helly's theorem, and Sadovek's version of the Goodman--Pollack transversal theorem.
Bounded Bruhat intervals and affine Coxeter groups
Dyer (1991) proved that, for each fixed length $k$, only finitely many isomorphism types of Bruhat intervals occur in finite Coxeter groups. In this short paper, we prove that this result holds also for affine Coxeter groups, and moreover that this characterizes the affine groups among all infinite Coxeter groups. We also show that the coefficients of $q$ in the Kazhdan-Lusztig polynomials of a Coxeter group are bounded if and only if the group is finite or affine.