graph
35150 papers tagged with this keyword
A quadratic-time coloring algorithm for graphs with large maximum degree
Graph coloring is a central problem in graph theory and is NP-hard for general graphs. Motivated by the Borodin--Kostochka conjecture, we study the algorithmic problem of coloring graphs with large maximum degree and no clique of size $Δ$. We give a quadratic-time coloring algorithm that constructs a $(Δ-1)$-coloring for such graphs. We also prove that every graph $G$ with maximum degree $Δ\ge 7.3 \times 10^9$ and clique number $ω(G) < Δ$ satisfies $χ(G) \le Δ- 1$. This improves a longstanding result of Reed.
Independence polynomials of graphs
In this paper, we study the independence polynomial $P_G(x)$ of a finite simple graph $G$, with emphasis on the evaluation at $x=-1$, symmetry, and its connection with the $h$-polynomial of the edge ideal of $G$. For big star graphs, we determine exactly when $P_G(-1)$ is $0, 1$, or $-1$, characterize the pseudo-Gorenstein$^*$ members, and show that there is a unique big star with symmetric independence polynomial. We also study graphs obtained from a graph $H$ by attaching leaves to selected vertices. We derive an explicit formula for the resulting independence polynomial, determine the corresponding value at $-1$, and prove that if every vertex of $H$ receives at least one leaf, then the independence polynomial is symmetric if and only if each vertex receives exactly two leaves. As an application, we obtain exact criteria for the values of $P_G(-1)$ and for the pseudo-Gorenstein$^*$ members of caterpillar graphs. For cochordal graphs, we classify all symmetric independence polynomials. Finally, for connected graphs on $n$ vertices with small independence numbers, we determine the exact range of possible values of $P_G(-1)$.
Connected graphs minimizing the spectral radius for given order and dissociation number
A dissociation set in a graph is a subset of vertices which induces a subgraph with maximum degree at most one. The dissociation number of a graph is the maximum cardinality of its dissociation sets. In this paper, we consider the $n$-vertex connected graphs with a given dissociation number that attain the minimum spectral radius. By using structure analysis and constructing difference equations, we characterize the extremal graphs with dissociation number $n-3$.
Further Results on the Quadratic Embedding Constants of Corona Graphs
The quadratic embedding constant (QEC) is a numerical invariant associated with quadratic embeddings of graphs into Hilbert spaces, and it is characterized in terms of the distance matrix. For corona graphs $G\odot H$, a general expression for $\mathrm{QEC}(G\odot H)$ can be described using $\mathrm{QEC}(G)$ together with spectral properties of $H$. However, this expression involves an additional spectral contribution determined by the adjacency matrix of $H$. In this paper, we analyze this contribution and provide an explicit description of the associated set $Γ$, allowing us to determine the quantity $γ= \max Γ$ that appears in the general formula for $\mathrm{QEC}(G\odot H)$. As applications, we compute the quadratic embedding constants for corona graphs of the form $G\odot H$ where $H$ is a regular graph. Finally, we provide conditions on $G$ and $H$ under which the quadratic embedding constant of $G\odot H$ coincides with the second largest eigenvalue of the distance matrix.
Counting color-critical subgraphs under Nikiforov's condition
For a graph $G$ with $m$ edges, let $ρ(G)$ be its spectral radius, and let $N_F(G)$ denote the number of copies of $F$ in $G$. Nikiforov [Combin. Probab.\,Comput., 2002] proved that for $r\geq 2$, if $ρ(G)>\sqrt{(1-1/r)2m}$, then $N_{K_{r+1}}(G)\geq 1$. Furthermore, Bollobás and Nikiforov [J. Combin. Theory, Ser. B, 2007] used $ρ(G)$ to establish a counting inequality for complete subgraphs. In this paper, we generalize and strengthen the above results to any color-critical graph $F$ with chromatic number at least four. More precisely, we demonstrated that under Nikiforov's condition, the number of copies of $F$ in $G$ satisfies $N_F(G)\geq\big(γ_F-o(1)\big)m^{(|F|-2)/2},$ where both the leading item and the constant $γ_F$ are optimal.
Let $F$ be a non-star graph with $χ(F)=r+1$, and let $G$ be any graph of sufficiently large size $m$ satisfying $N_F(G)=o(m^{|F|/2})$. To support the aforementioned counting arguments, we initially employ the method of progressive induction to tackle spectral problems, proving that $ρ(G)\leq\sqrt{(1-1/r+o(1))2m}$ for $r\geq 3$, and $ρ(G)\leq\sqrt{(1+o(1))m}$ for $r\in \{1,2\}$. Furthermore, we establish a stability result for edge-spectral supersaturation: specifically, if $r\geq 3$ and $ρ(G)\geq\sqrt{(1-1/r-o(1))2m}$, then $G$ differs from an $r$-partite Turán graph by $o(m)$ edges; if $r\in \{1,2\}$ and $ρ(G)\geq\sqrt{(1-o(1))m}$, then $G$ differs from a complete bipartite graph by $o(m)$ edges. This implies the well-known Erdos-Simonovits stability theorem and existing spectral stability theorems, by strengthening the setting from $F$-free graphs to graphs containing only a limited number of copies of $F$. Finally, we propose several counting-related open problems for further investigation.
Burnings of trees and their homologies
The problem of graph burning was firstly introduced as a model for different processes of social and network interactions. Recently, the authors of the present paper developed methods of algebraic topology for investigation of this problem. This approach is based on the new definition of burning process which excludes the possibility to choose at any moment vertex for burning from the set of vertices which are already burned at this moment.
In this paper we continue to study such burning process using algebraic topology methods. We prove the result about relations between burnings of a graph and burnings of its spanning trees that is similar to the classical case. Afterwards, we describe properties of trees burnings. In particular, we prove that a burning of a tree defines a structure of a digraph on the tree and investigate this structure. We introduce and study a strong burning configuration space of a graph and new strong burning homology which are similar to burning homology defined in our previous paper, but arise from burning homomorphism.
The strong chromatic index of $K_{t,t}$-free graphs
A strong edge coloring of a graph $G$ is an edge coloring $φ\,:\,E(G) \rightarrow \mathbb N$ such that each color class forms an induced matching in $G$. The strong chromatic index of $G$, written $χ'_s(G)$, is the minimum number of colors needed for a strong edge coloring of $G$. Erdős and Nešetřil conjectured in 1985 that if $G$ has maximum degree $d$, then $χ'_s(G) \leq \frac 54 d^2$.
Mahdian showed in 2000 that if $G$ is $C_4$-free, then $χ'_s(G) \leq (2+o(1)) \frac{d^2}{\log d}$, and he conjectured that the same upper bound holds for $K_{t,t}$-free graphs. In this paper, we prove this conjecture and improve upon it to show the following: every $K_{t,t}$-free graph $G$ of maximum degree $d$ satisfies $χ'_s(G) \leq (1+o(1)) \frac{d^2}{\log d}$. We employ a variant of the Rödl nibble method to prove this result. The key new ingredient in our adaptation of the method is an application of the Kővári-Sós-Turán theorem to show that $H := L(G)^2$ satisfies certain structural properties. These properties, in conjunction with a variant of Talagrand's inequality to handle exceptional outcomes, allow us to concentrate the sizes of certain vertex sets through the nibble, even when these vertex sets have order smaller than the maximum codegree of $H$. We encapsulate these structural properties into a more general statement on list coloring that we believe to be of independent interest. In light of the conjectured computational threshold for coloring random graphs arising in average-case complexity theory, we suspect that our result is best possible using this approach.
Squarefree powers of closed neighborhood ideals
In this article, we characterize all trees whose highest non-vanishing squarefree power of the closed neighborhood ideal is componentwise linear. In addition, we investigate the Castelnuovo-Mumford regularity of the $ν$-th squarefree power of the closed neighborhood ideal of trees and show that this number can be arbitrarily larger than the degree of the ideal. Finally, we give a formula for the regularity of $ν$-th squarefree power of the closed neighborhood ideal of caterpillar graphs.
Quantized rational chip-firing
This article introduces a quantized chip-firing model with close connections to the theory of rational lattice paths and rational parking functions. Given a graph with a sink and positive integers a,b,c with gcd(a,b)=1, a set S of vertices fires by the following rule. Each vertex in S provisionally sends c chips to the sink and a/b chips to each non-sink neighbor outside of S. The novel feature is that the total number of chips leaving from or arriving at any vertex gets rounded down to the nearest integer before being finalized. We define the notions of chip configurations being superstable, k-stable, or k-skeletal in this model. When c=1 and the graph is complete, superstable configurations correspond to rational parking functions. There is a bijection between superstable configurations and k-skeletal configurations for each k. We establish these results by building a combinatorial theory of k-skeletal rational lattice paths (both unlabeled and labeled) and translating that theory to chip configurations. There is a group structure on the set of chip configurations modulo firing and borrowing moves. We show that this group is isomorphic to the product of b-1 copies of the integers modulo a; and, for each k, each coset of chip configurations in this group contains a unique k-skeletal representative.
Drazin Inverses and Walk Structure of Oriented Dutch Windmill Graphs
Published
• View Publication
• BIB
We investigate the Drazin invertibility of adjacency matrices associated with a class of oriented graphs known as oriented Dutch windmill graphs. By analyzing walks of prescribed lengths and exploiting the structure of the minimal polynomial, we obtain explicit expressions for the Drazin inverse and determine its index. The approach combines combinatorial enumeration with algebraic matrix analysis, offering a constructive characterization that generalizes known results for paths, cycles, and bipartite graphs. Beyond its intrinsic theoretical value, the framework provides insight into discrete models governed by cyclic feedback and may serve as a basis for symbolic computation of generalized inverses in structured networks.
On aggregation-quantization permutability problem for discrete-time Markov chains
Given random walk on a graph, the corresponding discrete-time quantum walk can be constructed using the method proposed by Szegedy. On the other hand, given a partition of the set of states of a Markov chain, one can study the corresponding aggregated process. We extend the aggregation technique to the level of quantum Markov chains. We provide conditions under which application of these two operations - Szegedy's quantization and aggregation - give the same result. In particular, we show that the conditions are satisfied in the case of the random walk on graphs equipped with equitable partitions. We present several examples, which include the classical/quantum walks on Platonic solids. We discuss also relation of discrete-time classical/quantum walks on $N$-dimensional hypercube and the Ehrenfests urn model with $N$ particles. We apply our technique for of discrete-time walks on Cayley graphs of free groups. We also compare our results with those obtained using Cantero-Moral-Velazquez uniformization of unitary matrices.
The homotopy type of the clique complex of the partition graph
For each positive integer $n$, let $G_n$ be the graph whose vertices are the partitions of $n$, with edges corresponding to elementary transfers of one cell between two parts, followed by reordering. Let $K_n := \mathrm{Cl}(G_n)$ be the clique complex of $G_n$.
We prove that $K_n$ is homotopy equivalent to a wedge of $2$-spheres. More precisely, $K_n$ is homotopy equivalent to a wedge of $b_n$ copies of $S^2$, where $b_n = χ(K_n) - 1$. Thus the homotopy type of $K_n$ is completely determined by its Euler characteristic.
The proof has three main ingredients. First, we classify all cliques in $G_n$ via two canonical families of simplices, called star-simplices and top-simplices, and use them to build a canonical cover of $K_n$. Second, we pass to the corresponding nerve, construct a second natural cover, and show via the intersection poset of that cover that $K_n$ has the homotopy type of a CW-complex of dimension at most $2$. Third, using an explicit height function on partitions, we prove that $K_n$ is connected and simply connected. It follows that the reduced homology of $K_n$ is concentrated in degree $2$, where its rank is $χ(K_n) - 1$, and therefore $K_n$ has the homotopy type claimed above.
We conclude with remarks on Euler characteristics, small examples, and the integer sequences arising from these complexes.
On $(1^2,2^2)$-packing edge-coloring of sparse subcubic graphs
For positive integers $\ell$ and $k$, a $(1^\ell, 2^k)$-packing edge-coloring of a graph $G$ is a partition of $E(G)$ into $\ell$ matchings and $k$ induced matchings. A graph is $d$-irregular if it has no adjacent vertices of degree $d$. Yang and Wu proved that every $3$-irregular subcubic graph admits a $(1,2^4)$-packing edge-coloring, which answered an open question of Hocquad, Lajou, and Lu\v zar in the affirmative. In this paper, we prove an analogue result that every $3$-irregular subcubic multigraph is $(1^2,2^2)$-packing edge-colorable. Our result is sharp since there are $3$-irregular subcubic graphs that are not $(1,2^3)$-packing edge-colorable and $(1^2,2)$-packing edge-colorable, respectively.
Hocquad, Lajou, and Lu\v zar conjectured that every subcubic planar graph is $(1^2,2^3)$-packing edge-colorable. Furthermore, they found a subcubic planar graph with girth $3$ that is not $(1^2,2^2)$-packing edge-colorable. For every fixed integer $k \ge 3$, we found graphs with girth $k$ that are not $(1^2,2)$- and not $(1,2^3)$-packing edge-colorable. It is natural to consider the question "what is the minimum positive integer $g$ such that every subcubic planar graph with girth at least $g$ is $(1^2,2^2)$-packing edge-colorable?". We prove $g$ is finite and in fact $g \le 20$. We also provide an example showing $g \ge 6$.
On Borodin-Kostochka conjecture for correspondence coloring
Borodin and Kostochka in 1977 conjectured that if a graph $G$ has maximum degree $Δ(G)\ge 9$ and its clique number satisfies $ω(G)\le Δ(G)-1$, then its chromatic number satisfies $χ(G) \le Δ(G)-1$. We prove this statement with respect to a stronger graph coloring parameter, the correspondence chromatic number $χ_{DP}$, provided the maximum degree is sufficiently large. More precisely, we prove that for every integer $Δ\ge 3\cdot 10^9$, a graph $G$ of maximum degree at most $Δ$ satisfies $χ_{DP}(G) \le \max(ω(G),Δ-1)$. This strengthens earlier results of Reed (1999) for usual chromatic number and of Choi, Kierstead and Rabern (2023) for list chromatic number.
Combinatorial approximations of dynamical systems: a separated graph approach
Separated graphs provide a powerful combinatorial tool for approximating dynamical systems. This paper details the explicit construction of Bratteli-like separated graphs -- a generalization of classical Bratteli diagrams -- that encode the dynamics of a homeomorphism $h$ on a totally disconnected, compact metric space $X$. Unlike standard approaches, the separated graph framework allows us to explicitly disentangle the static structure of the space from the dynamics of the homeomorphism. We provide a step-by-step exposition of this construction applied to four fundamental examples: the two-sided shift, the bit-wise NOT (global flip) map, the classical odometer map and the shift map on the one-point compactification of the integers. Finally, we briefly discuss how minimal (and, more generally, essentially minimal) dynamical systems can be read directly from the separated graph. This approach builds upon recent work by P. Ara and the author, which provides a graph-theoretic model for dynamical systems given by surjective local homeomorphisms defined on totally disconnected compact metric spaces.
A Characterization of $P_6$-Free Irredundance Perfect Graphs
Let $ir(G)$ and $γ(G)$ be the irredundance number and the domination number of a graph G, respectively. A graph G is called irredundance perfect if ir(H) = $γ(H)$ for every induced subgraph $H$ of $G$. The subclass of $P_6$-free irredundance perfect graphs has been studied extensively. In this paper, we present a characterization of this graph class in terms of eleven forbidden induced subgraphs.
Non-uniform Kahn-Kalai, spread, variants, and applications
Building on B.Park and Vondrak's recent generalization of the J.Park-Pham Theorem (formerly known as Kahn-Kalai conjecture) to non-uniform probability measures, this paper introduces the notion of "spread" for the non-uniform setting. This provides a framework to establish 1-statements for subgraph containment in inhomogeneous random graphs with or without a set of forced edges. Using this approach, we derived conditions for the emergence of perfect matchings in the Stochastic Block Model and the Chung-Lu model, and verified that these conditions are in general not tight, but they capture thresholds across a broad range of regimes. Finally, we bridge this non-uniform framework with $\mathcal{G}(n,\textbf{d})$, utilizing a coupling argument to demonstrate thresholds for perfect matchings in $\mathcal{G}(n,\textbf{d})$ for a broad range of degree sequences $\textbf{d}$.
Iterated Graph Systems (I): random walks and diffusion limits
This paper investigates random walks and diffusion limits on a broad class of fractal graphs generated by Edge Iterated Graph Systems (EIGS). We study random walks on combinatorial limit graphs and establish the connections among several dimensions, including the Einstein relation. Building on this, we prove that the rescaled simple random walks converge in the Gromov-Hausdorff-Prokhorov-Skorokhod topology to the limiting diffusion, which further coincides with Brownian motion when the resistance dimension is positive. Moreover, we use the degree dimension to unify the on-diagonal heat-kernel estimates in the locally finite and locally infinite (scale-free) regimes. Finally, we solve the open problem on the quenched resistance exponent for the DHL percolation cluster left in [27].
On the Seidel energy of uniform hypergraphs due to hyperedge and vertex deletion
Published
• View Publication
• BIB
Let $\mathcal{S}(\mathcal{H})$ be the Seidel matrix of a hypergraph $\mathcal{H}$, and the Seidel energy is denoted by the sum of the absolute eigenvalues of $\mathcal{S}(\mathcal{H})$. In [G.~X.~Tian, Y.~Li and S.~Y.~Cui, The change of Seidel energy of tripartite Turán graph due to edge deletion, Linear Multilinear Algebra, 19 (2022), 4597-4614] and [Y.~Liu, X.~Chen, The change of Seidel energy of 5-partite Turán graph due to edge deletion, Discrete Applied Mathematics, 2024, 342, 104-123], the authors studied the change of Seidel energy of the Turán graph due to edge deletion. In this article, we analyze the Seidel spectrum of the complete $3$-uniform bipartite hypergraph $\mathcal{C}^3_{m,n}$ and show that it has exactly one negative Seidel eigenvalue even after a single hyperedge deletion. Finally, we prove that the Seidel energy of the complete $3$-uniform bipartite hypergraph $\mathcal{C}^3_{m,n}$ decreases after single hyperedge and vertex deletion for all $m,n \ge 3$.
Induced path and cycles in factor graphs of split graphs
Let $S$ be a split graph with bipartition $(K,I)$ and let $Φ(S)$ be the factor graph associated with $S$, a multigraph on $I$ whose encodes the combinatorial information about 2-switch transformations in $S$. We study induced paths and cycles in $Φ(S)$ and show that they impose strong structural restrictions on the neighborhoods in $S$ of the corresponding vertices. In particular, induced paths generate chains of neighborhood inclusions which force a monotone behavior of the degrees (in $S$) of their vertices along the path. As a consequence, we prove that induced cycles in $Φ(S)$ have length $\leq 4$. Finally, we show that in any induced path only the first or the last edge can be simple, which yields an upper bound for the diameter of $Φ(S)$ in terms of the 2-switch-degree of $S$.