graph
34489 papers tagged with this keyword
Boxicity and Threshold Dimension of Zero Divisor Graphs
The zero divisor graph $Γ(R)$ of a finite commutative ring $R$ has as vertices the non-zero zero divisors of $R$, with an edge between two elements exactly when their product is zero.
We determine the boxicity and threshold dimension of $Γ(R)$ for two classes of finite commutative rings: reduced rings and quotients of principal ideal domains.
Our proofs use a new combinatorial gadget, the integral covering graph, that captures the structure shared by both ring families and generalizes the disjointness graph on subsets of $[n]$, where two subsets are adjacent if and only if they are disjoint.
In doing so, we answer two questions recently posed by L.~Sunil Chandran and Suraj Kumar Sahoo in Boxicity of Zero Divisor Graphs, Discrete Applied Mathematics 391 (2026).
Sharp quadratic $χ$-binding functions for powers of bipartite graphs
For every natural number $r\geq 2$, we construct $r^{th}$ powers of bipartite graphs whose chromatic number is quadratic in their clique number, showing that the straightforward quadratic upper bound is best possible. We thereby settle an open problem posed by Chakraborty, Chandran, Jacob and Pillai [J. Graph Theory 112(3) (2026), 235-254] by establishing the sharpness of the quadratic bound for squares of bipartite graphs.
The Erdos--Gallai bound for consecutive even cycle lengths
Erdős and Gallai in 1959 proved the seminal result that every $n$-vertex graph with no cycle of length at least $2t+2$ has at most $\frac{2t+1}{2}(n-1)$ edges. We prove the extension that, for every sufficiently large $t$, the same quantity is also the sharp extremal bound for graphs with no $t$ consecutive even cycle lengths, resolving a conjecture of Verstraëte. Thus, at the Erdős--Gallai threshold, forcing an entire interval of even cycle lengths costs no more than forcing its longest member. More precisely, every $n$-vertex graph $G$ with \[
e(G)\ge \frac{(2t+1)(n-1)}2 \] either contains $t$ consecutive even cycle lengths, or equality holds and $G$ is connected with every block isomorphic to $K_{2t+1}$.
As consequences, for every sufficiently large even $k$ we determine the sharp edge thresholds forcing a cycle of length $0\pmod k$ or $2\pmod k$, answering questions of Bai, Grzesik, Li, and Prorok and of Gao, Li, Ma and Xie, respectively. The proof develops a stability-enhanced sublinear-expander method. Its main new ingredient is a dense-case decomposition that recovers the lengths lost in the expander extraction by combining a flexible dense core with rooted cycle families in the vertices outside the core.
Asymptotic Bounds for Online Ramsey Numbers of Stars versus Long Paths and Cycles
The online Ramsey game for graphs $G$ and $H$ is played on the infinite complete graph $K_\mathbb{N}$. In each round, Builder chooses an edge, and Painter colors it red or blue. The online Ramsey number $\tilde{r}(G,H)$ is the smallest integer $t$ for which Builder has a strategy guaranteeing a red copy of $G$ or a blue copy of $H$ within $t$ rounds. For every fixed integer $k\ge4$, the best-known lower bounds for $\tilde{r}(K_{1,k},P_n)$ and $\tilde{r}(K_{1,k},C_n)$ are $\left(\frac{k+3}{4}+o(1)\right)n$ as $n\to\infty$. We improve the corresponding asymptotic upper bounds from $(k+o(1))n$ to $\left(\frac{2k+4}{5}+o(1)\right)n$ as $n\to\infty$.
Leading term strandings for webs
A web is a plane graph encoding an invariant vector in a tensor product of fundamental representations of a quantum group. A stranding of an $\mathfrak{sl}_n$ web is a system of colored oriented curves recording one monomial of the vector it encodes. This article focuses on identifying and constructing leading term strandings, those recording the leading term of a web's vector with respect to a lexicographic order on monomials. We show that every open strand of a leading term stranding is clockwise, which constrains the boundary data of such strandings enough to yield a sufficient criterion for a set of webs to form a web basis. From a row-strict tableau, we construct a web with a prescribed leading term, and the resulting webs form a web basis, giving a non-recursive construction of Fontaine's $\mathfrak{sl}_n$ web bases. For $\mathfrak{sl}_3$ webs with no flat vertices, we identify a leading term stranding using the depths of the faces of the web. Finally, we show a leading term stranding for any $\mathfrak{sl}_3$ web can be reached from an arbitrary stranding via a sequence of operations called strand reversals.
The Birthday Paradox for non-backtracking walks on regular graphs
We show a birthday paradox for random non-backtracking walk on regular graphs of degree at least $3$: such a walk of length $k$ has high probability of self-intersecting when $k$ is significantly greater than $\sqrt n$, where $n$ is the number of vertices of the graph. This resolves a conjecture of Noga Alon and Yuval Peres for the fixed degree case.
Gluing Formula for the Pseudo-Determinant of Graph Laplacian and Applications to Counting of Spanning Trees
In this paper, we establish a gluing formula for the pseudo-determinant of the Laplacian on a simple finite graph. We achieve this by using the gluing formula for the determinant of massive Laplacian and the perturbation theory technique. In addition, we apply this gluing relation to derive a gluing formula for the number of spanning trees and rooted spanning forests on simple finite graphs.
Matching complements in subcubic graphs and a proof of the 3-Decomposition Conjecture
We prove the 3-Decomposition Conjecture: every finite connected cubic loopless multigraph decomposes into a spanning tree, a 2-regular subgraph, and a matching. The main ingredient is a new theorem on matching complements in subcubic graphs. Let H be a finite connected
bridgeless simple graph of maximum degree three, and let S be its set of degree-two vertices, with |S| = k >= 2. We show that H has a matching of size equal to its cycle rank, |E(H)| - |V(H)| + 1, whose deletion leaves a single tree containing all of S, together with cycles
disjoint from S. The proof is by induction on k, comparing the matching supplied by the hypothesis with one obtained from an auxiliary cubic tree; a single alternating-path exchange, local and insensitive to the sizes of the two matchings, drives the induction. From this
theorem we deduce, in turn, that every finite connected simple fragile subcubic graph splits into a spanning tree and a matching, the 2-Decomposition Conjecture in its standard loopless-multigraph form, and finally the 3-Decomposition Conjecture.
Cop numbers for subclasses of partial cubes
The game of Cops and Robbers is a classical pursuit--evasion game on graphs. For a graph $G$, the cop number $c(G)$ is the minimum number of cops needed to guarantee the capture of a robber on $G$. Although this parameter has been determined for several fundamental graph classes, comparatively few exact results are known for partial cubes and their subclasses. We first establish an upper bound for every finite median graph $M$ in terms of its tree-dimension, which improves Crawford and Iršič Chenoweth's bound significantly. This result refines the previous upper bound expressed in terms of a hypercube embedding dimension and can give a substantially smaller estimate. Then we investigate the cop numbers of simplex graphs---a subclass of partial cubes. For a finite graph $G$, the simplex graph $S(G)$ has the cliques of $G$, including the empty clique, as its vertices, with two cliques adjacent whenever they differ in exactly one vertex. We establish a general lower bound for $c(S(G))$ in terms of the clique number of $G$ and a general upper bound in terms of its chromatic number. Finally, as direct applications, we determine the exact values of cop numbers of some special simplex graphs---bipartite wheels, Fibonacci and Lucas cubes.
Burning Steiner triple systems
Graph burning is a round-based process which can be viewed as a discrete one-player game that models the spread of influence throughout a network. Extending this process to hypergraphs can be done in numerous ways; two such processes that have been studied include the burning process and the lazy burning process for hypergraphs. Combinatorial designs can be thought of as hypergraphs with useful and interesting characteristics. In this paper we explore the burning and lazy burning processes in Steiner triple systems (STSs). We obtain logarithmic bounds on the burning number of an arbitrary STS and prove the existence of an STS with burning number $ρ$ for any integer $ρ\geq 3$. We observe that the concept of lazy burning is equivalent to the notion of the dimension of an STS, and we consider ramifications of this equivalence. We also show that the difference between the burning and lazy burning number of a Steiner triple system can be arbitrarily large. Finally, we consider burning and lazy burning numbers of affine and projective triple systems in detail.
Large Cliques and Clique Spectral Radius in the Erdős--Sós Problem
For graphs $H$ and $F$, let $ex(n,H,F)$ be the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. We study this problem when $H$ is a clique and $F=T_t$which is a fixed tree on $t$ vertices. The Erdős--Sós conjecture concerns the value of $ex(n,K_2, T_t)$. Gerbner and Palmer proposed a more general conjecture: if $n=α(t-1)+β$ and $0\leβ\le t-2$, then the graph $αK_{t-1}\sqcup K_β$ maximizes the number of $r$-cliques among all $n$-vertex $T_t$-free graphs for every $3\le r\le t-2$. We show that this conjecture holds for $T_t$ having at least $t-r$ leaves with a common parent, which contains the star case as a special case and recovers the sharp clique-counting result conjectured by Gan, Loh and Sudakov and proved by Chase and Chao and Dong. We also study the clique-spectral analogue. Under the same leaf-bunch condition, every $T_t$-free graph $G$ satisfies $ρ_r(G)\le\binom{t-2}{r-1}$, with equality, for $n\ge t-1$, if and only if $K_{t-1}$ is a component of $G$. Furthermore, we prove the conjecture for $r=t-d$ whenever $d\ge2$ and $t\ge d^2-d+3$, while the case $d=1$ is determined exactly for every $t$. For $d\ge2$ and $t\ge d^2-d+3$, every $T_t$-free graph $G$ satisfies $ρ_{t-d}(G)\leρ_{t-d}(K_{t-1})$, with equality characterized by the presence of a $K_{t-1}$-component.
Our method is designed for relatively large cliques. In the leaf-poor case, after deleting edges that lie in no $(t-d)$-clique, we study the intersection relation among $(t-d)$-cliques and show that its equivalence classes induce the nontrivial clique-supported components; furthermore, we show each non-trivial component has at most $t-1$\) vertices. In the complementary leaf-rich case, a leaf-bunch criterion reduces the clique-counting problem to the sharp bounded-maximum-degree clique theorem.
On the isolation numbers in graph products
As a continuation of a previous study of isolation numbers in Cartesian and lexicographic products, we investigate isolation numbers and, more generally, $\cal F$-isolation numbers in direct, strong, lexicographic, and Cartesian products of graphs. For direct products, we derive upper bounds for the $\{K_{n_1,\ldots,n_d}\}$-isolation number in terms of isolation and total domination parameters of the factors, and establish lower bounds based on open packings. We also determine exact values for several infinite families of direct products, including $ι(P_{4\ell}\times C_{2k+1})=\ell(k+1)$. For strong products, we prove a general lower bound on $ι(G\,\boxtimes\, H,{\cal F})$ involving the $2$-packing number and provide an upper bound on $ι(G\,\boxtimes\, H)$. For lexicographic products, we determine the $\cal F$-isolation number in several general settings, obtaining exact formulas in terms of domination and total domination numbers of the first factor. Finally, for Cartesian products, we extend results from our previous work to arbitrary graph families $\cal F$. We introduce $\cal F$-isolation graphs and use $\cal F$-transversals to derive general upper bounds, together with corresponding lower bounds.
Asymptotic enumeration of minimally transitive permutation groups
We prove that Pyber's upper bound $2^{O(n\log(n))}$ for the number of minimally transitive subgroups of $S_n$ is best possible along the powers of every fixed prime, even when the groups are counted up to permutational isomorphism. As a byproduct, our construction shows that, along the powers of every fixed prime, the maximum order of a minimally transitive permutation group of degree $n$ is $2^{Θ(n)}$. For completeness, we also present Pyber's previously unpublished proof of his upper bound. We further deduce that the numbers of labelled vertex-transitive graphs and digraphs of order $n$ are both $2^{Θ(n\log(n))}$, and discuss the implications of our results for approaches to the McKay--Praeger conjecture.
Clique-saturating non-edges throughout the Turán range
For an $F$-free graph $G$, a non-edge is $F$-saturating if adding it to $G$ creates a copy of $F$. We denote by $f_{p+1}(n,m)$ the minimum number of $K_{p+1}$-saturating non-edges in a $K_{p+1}$-free $n$-vertex graph with $m$ edges. Erdős and Tuza conjectured that $f_4\left(n,\mathrm{ex}(n,K_3)+ 1\right)= (1 + o(1)) \frac{n^2}{16}$. Balogh and Liu (JCTB, 2014) disproved this conjecture and determined the asymptotic value of $f_4(n,\mathrm{ex}(n,K_3)+1)$. He, Ma, Ma and Ye (JCTB, 2023) later determined $f_{p+1}(n,\mathrm{ex}(n,K_p)+1)$ asymptotically for every $p\ge 3$, and asked for the value of $f_{p+1}(n,m)$ for all $\mathrm{ex}(n,K_p)+1\le m\le \mathrm{ex}(n,K_{p+1})$ and every $p\ge 3$. In this paper, we answer their question asymptotically for all $\mathrm{ex}(n,K_p)+1\le m\le \mathrm{ex}(n,K_{p+1})$ and every $p\ge 3$. We also determine the exact value of $f_3(n,m)$ for all $0\le m\le \mathrm{ex}(n,K_3)$ by a different method.
The neighbourhood convexity
In this paper, we investigate the neighbourhood convexity ($n$-convexity) on graphs, a new finite convexity space grounded in the common closed neighbourhood closure operator. Unlike standard path-based graph convexities, $n$-convexity shows a non-canonical behaviour, giving rise to compelling structural properties and being almost never hereditary. Focusing on the properties of graphs that form $n$-convex geometries, a parity distinction emerges: an $n$-convex geometry contains a star vertex if and only if the number of its vertices is odd. Every odd-order $n$-convex geometry can be uniquely constructed by attaching a star vertex to an even-order one. We introduce the concept of quasi-stars (vertices of degree $\vert{}V\vert{}-2$) and prove a reduction property that allows systematically reducing an $n$-convex geometry by removing a pair of vertices, one of which is a quasi-star. Finally, we explore the connections between $n$-convexity and $P(G)$, the neighbourhood preorder, demonstrating that $n$-convex sets are upsets of $P(G)$ and that, in star-free $n$-convex geometries, quasi-stars correspond precisely to the maximal elements of $P(G)$. We complete our study by classifying quasi-threshold and threshold $n$-convex geometries.
Cyclically Colored Triangulations: Enumeration and Connectedness of Reconfiguration Graphs
We study the connectedness and enumeration of reconfiguration graphs of valid triangulations of convex polygons whose vertices are cyclically colored with $j \ge 3$ colors, where every triangle has vertices of three pairwise distinct colors.
For $j = 3$, we settle a conjectural expectation of Acharya, Mütze, and Verciani: we prove that the twist graph $\mathcal{H}_{3k+2}$ is connected for every $k \ge 4$, whereas $\mathcal{H}_8$ and $\mathcal{H}_{11}$ are disconnected. Using a colored root-edge decomposition that induces Cartesian products in the state space, we obtain coupled recurrences for $T(3k)$ and $T(3k+2)$. The corresponding generating functions reduce to the equation $U(x) = 1 + xU(x)^4$, and the difference between the two consecutive families is given by the Raney number $T(3k+3) - T(3k+2) = R_{4,5}(k-1)$.
For $j \ge 4$, reconfiguration is performed by validity-preserving diagonal flips. We extend the root-edge decomposition to all admissible classes $N \not\equiv 1 \pmod{j}$, obtaining, for each fixed $j$, a finite algebraic system of functional equations. We further prove that the flip graph $\mathcal{G}_N^{(j)}$ is connected whenever valid triangulations exist. Thus, the root-edge decomposition provides a unified structural framework for the enumeration and reconfiguration of cyclically colored triangulations.
On the Representational Geometry of Dynamic Programs
Standard neural architectures often fail to generalize to longer inputs for dynamic programming (DP) targets. We investigate what makes this hard geometrically. Every finite min-plus DP is a shortest path on a DAG, which is equivalently a tropical polynomial whose extended Newton polyhedron encodes the decision boundary of which path wins. We prove these three descriptions (graph, polynomial, polyhedron) form isomorphic semirings at two levels --- formal polynomials and their computed functions --- connected by operations that characterize all structural redundancies. We then address the length-generalization question geometrically: does the decision boundary at length $T$ decide the boundary at $T+1$? We present two structural negatives. The semiring's two native ways to reduce dimension (setting a variable to each identity) are neither injective nor always closed within the DP. Series and parallel composition fail to construct all DAG topologies from smaller sub-DAGs, and even all terminal-only operations do not capture all DP compositions.
Rainbow Turán numbers for paths of length four
Given a set $V$ of $n$ vertices and an integer $k\ge1$, our goal is to maximize the number of edges in graphs $G_1, G_2, \ldots, G_k$, defined on $V$, under the constraint that the union of all graphs, thought of as a multi-graph, does not contain a rainbow copy of the path $P_5$ on $5$ vertices, that is, a copy of $P_5$ with each of its four edges belonging to a different $G_i$.
We consider two versions of the problem, in which, respectively, $\sum_i e(G_i)$ and $\min_i e(G_i)$ is maximized. In the former case, we determine the maximum precisely for all $k\le n-1$ (and also for $P_4$). In the latter, we obtain an asymptotic value for $k\in\{5,6,9\}$ and formulate a very plausible conjecture for all other values of $k$. We also solve the problem for $k=4$, but under an additional assumption of completeness.
Bounded diameter covering of 2-colored complete bipartite graphs
Related to a bounded-diameter bipartite analogue of the Henderson--Ryser conjecture, DeBiasio, Kamel, McCourt, and Sheats proved that the vertices of every $2$-colored complete bipartite graph can be covered by two monochromatic subgraphs, each of diameter at most four. We improve this bound on the diameter to the best possible value of {\em three}.
On the spectrum and expansion of graph associahedra
In this article, we contribute to the spectral analysis of graph associahedra by providing a lower bound for the second largest eigenvalue of $\mathcal{A}(G)$. Furthermore, using equitable partitions, we analyze the spectrum of the stellohedron $\mathcal{A}(K_{1,n})$. Specifically, we prove the existence of an eigenvalue in each interval $(n-i, n-i+1]$ for $1 \leq i \leq 5$, establish the presence of an eigenvalue with high multiplicity in $(n - \frac{3}{n} + \frac{2}{n^2-n}, n)$, and identify two additional small eigenvalues.