graph
34516 papers tagged with this keyword
The Largest and Smallest Eigenvalues of Matrices and Some Hamiltonian Properties of Graphs
Let $G = (V, E)$ be a graph. We define matrices $M(G; α, β)$as $αD + βA$, where $α$, $β$ are real numbers such that $(α, β) \neq (0, 0)$ and $D$ and $A$ are the diagonal matrix and adjacency matrix of $G$, respectively. Using the largest and smallest eigenvalues of $M(G; α, β)$ with $α\geq β> 0$, we present sufficient conditions for the Hamiltonian and traceable graphs.
Zero Forcing of Generalized Hierarchical Products of Graphs
Zero forcing is a graph propagation process for which vertices fill-in (or propagate information to) neighbor vertices if all neighbors except for one, are filled. The zero-forcing number is the smallest number of vertices that must be filled to begin the process so that the entire graph or network becomes filled. In this paper, bounds are provided on the zero forcing number of generalized hierarchical products.
A New Polynomial for Checkerboard-Colorable 4-Valent Virtual Graphs
Published in Graphs and Combinatorics 41(3), 65 (2025)
• View Publication
• BIB
We assign a new polynomial to any checkerboard-colorable 4-valent virtual graph in terms of its Euler circuit expansion. This provides a new combinatorial formulation of the Kauffman-Jones polynomial for checkerboard-colorable virtual links.
Effects of graph operations on star pairwise compatibility graphs
A graph $G=(V,E)$ is defined as a star-$k$-PCG when it is possible to assign a positive real number weight $w$ to each vertex $V$, and define $k$ distinct intervals $I_1, I_2, \ldots I_k$, in such a way that there is an edge $uv$ in $E$ if and only if the sum of the weights of vertices $u$ and $v$ falls within the union of these intervals. The star-$k$-PCG class is connected to two significant categories of graphs, namely PCGs and multithreshold graphs. The star number of a graph $G$, is the smallest $k$ for which $G$ is a star-$k$-PCG. In this paper, we study the effects of various graph operations, such as the addition of twins, pendant vertices, universal vertices, or isolated vertices, on the star number of the graph resulting from these operations. As a direct application of our results, we determine the star number of lobster graphs and provide an upper bound for the star number of acyclic graphs.
Longest cycles and longest chordless cycles in $2$-connected graphs
Published in Bull. Aust. Math. Soc. 112 (2025) 401-409
• View Publication
• BIB
Thomassen's chord conjecture from 1976 states that every longest cycle in a $3$-connected graph has a chord. The circumference $c(G)$ and induced circumference $c'(G)$ of a graph $G$ are the length of its longest cycles and the length of its longest chordless cycles, respectively. In $2017$, Harvey proposed a stronger conjecture: Every $2$-connected graph $G$ with minimum degree at least $3$ has $c(G)\geq c'(G)+2$. This conjecture implies Thomassen's chord conjecture. We observe that wheels are the unique hamiltonian graphs for which the circumference and the induced circumference differ by exactly one. Thus we need only consider non-hamiltonian graphs for Harvey's conjecture. In this paper, we propose a conjecture involving wheels that is equivalent to Harvey's conjecture on non-hamiltonian graphs. A graph is $\ell$-holed if its all holes have length exactly $\ell$. Furthermore, we prove that Harvey's conjecture holds for $\ell$-holed graphs and graphs with a small induced circumference. Consequently, Thomassen's conjecture also holds for this two classes of graphs.
Disjoint connected dominating sets in pseudorandom graphs
A connected dominating set (CDS) in a graph is a dominating set of vertices that induces a connected subgraph. Having many disjoint CDSs in a graph can be considered as a measure of its connectivity, and has various graph-theoretic and algorithmic implications. We show that $d$-regular (weakly) pseudoreandom graphs contain $(1+o(1))d/\ln d$ disjoint CDSs, which is asymptotically best possible. In particular, this implies that random $d$-regular graphs typically contain $(1+o(1))d/\ln d$ disjoint CDSs.
Theoretical Insights into Line Graph Transformation on Graph Learning
Line graph transformation has been widely studied in graph theory, where each node in a line graph corresponds to an edge in the original graph. This has inspired a series of graph neural networks (GNNs) applied to transformed line graphs, which have proven effective in various graph representation learning tasks. However, there is limited theoretical study on how line graph transformation affects the expressivity of GNN models. In this study, we focus on two types of graphs known to be challenging to the Weisfeiler-Leman (WL) tests: Cai-Fürer-Immerman (CFI) graphs and strongly regular graphs, and show that applying line graph transformation helps exclude these challenging graph properties, thus potentially assist WL tests in distinguishing these graphs. We empirically validate our findings by conducting a series of experiments that compare the accuracy and efficiency of graph isomorphism tests and GNNs on both line-transformed and original graphs across these graph structure types.
Unique subgraphs are rare
A folklore result attributed to Pólya states that there are $(1 + o(1))2^{\binom{n}{2}}/n!$ non-isomorphic graphs on $n$ vertices. Given two graphs $G$ and $H$, we say that $G$ is a unique subgraph of $H$ if $H$ contains exactly one subgraph isomorphic to $G$. For an $n$-vertex graph $H$, let $f(H)$ be the number of non-isomorphic unique subgraphs of $H$ divided by $2^{\binom{n}{2}}/n!$ and let $f(n)$ denote the maximum of $f(H)$ over all graphs $H$ on $n$ vertices. In 1975, Erdős asked whether there exists $δ>0$ such that $f(n)>δ$ for all $n$ and offered $\$100$ for a proof and $\$25$ for a disproof, indicating he does not believe this to be true. We verify Erdős' intuition by showing that $f(n)\rightarrow 0$ as $n$ tends to infinity, i.e. no graph on $n$ vertices contains a constant proportion of all graphs on $n$ vertices as unique subgraphs.
New developments on graph sum index
In a graph, we assign distinct integers to the vertices, and take the sum of two integers if they are on two adjacent vertices. The minimum possible number of different sums is the \emph{sum index} of this graph. In this paper, we present some new developments on graph sum index. First, we explain the connections between graph sum index and results in additive combinatorics. Then, we determine the sum indices of the complete multipartite graphs, hypercubes, and some cluster graphs. Also, we study the maximum number of edges in a graph with a fixed sum index, which is related to the forbidden subgraph problem.
Induced subgraphs and tree decompositions XVI. Complete bipartite induced minors
Published in Journal of Combinatorial Theory, Series B 176, 2026, 287-318
• View Publication
• BIB
We prove that for every graph $G$ with a sufficiently large complete bipartite induced minor, either $G$ has an induced minor isomorphic to a large wall, or $G$ contains a large constellation; that is, a complete bipartite induced minor model such that on one side of the bipartition, each branch set is a singleton, and on the other side, each branch set induces a path.
We further refine this theorem by characterizing the unavoidable induced subgraphs of large constellations as two types of highly structured constellations. These results will be key ingredients in several forthcoming papers of this series.
Matroids with bases as minimal resolving sets of graphs
We define an independence system associated with simple graphs. We prove that the independence system is a matroid for certain families of graphs, including trees, with bases as minimal resolving sets. Consequently, the greedy algorithm on the matroid can be used to find the minimum-cost resolving set of weighted graphs, wherein the independent system is a matroid. We also characterize hyperplanes of the matroid for trees and prove that its dual matroid is loop-free.
Star edge coloring of generalized Petersen graphs
The star chromatic index of a graph $G$, denoted by $χ^\prime_s(G)$, is the smallest integer $k$ for which $G$ admits a proper edge coloring with $k$ colors such that every path and cycle of length four is not bicolored. Let $d$ be the greatest common divisor of $n$ and $k$. Zhu~et~al. (\footnotesize{Discussiones Mathematicae: Graph Theory, 41(2): 1265, 2021}) showed that for every integers $k$ and $n> 2k$ with $d\geq 3$, generalized Petersen graph $GP(n,k)$ admits a 5-star edge coloring, with the exception of the case that $d = 3$, $k\neq d$ and $\frac{n}{3}= 1\pmod{3}$. Also, they conjectured that for every $n>2k$, $χ^\prime_s(GP(n,k))\leq 5$, except $GP(3,1)$. In this paper, we prove that for every $GP(n,k)$ with $n\geq 2k$ and $d\geq 3$ their conjecture is true. In fact, we provide a 5-star edge coloring of $GP(n,k)$, where $n\geq 2k$ and $d\geq 3$. We also obtain some results for 5-star edge coloring of $GP(n,k)$ with $d=2$. Moreover, Dvo{ř}{á}k et al. ({\footnotesize Journal of Graph Theory, 72(3):313-326, 2013}) conjectured that the star of chromatic index of subcubic graphs is at most 6. Thus, our results also prove this conjecture for the generalized Petersen graphs, as a class of subcubic graphs.
Chordal bipartite graphs, biclique vertex partitions and Castelnuovo-Mumford regularity of $1$-subdivision graphs
A biclique in a graph $G$ is a complete bipartite subgraph (not necessarily induced), and the least positive integer $k$ for which the vertex set of $G$ can be partitioned into at most $k$ bicliques is the biclique vertex partition number $bp(G)$ of $G$. We prove that the inequality $reg(S(G))\geq |G|-bp(G)$ holds for every graph $G$, where $S(G)$ is the $1$-subdivision graph of $G$ and $reg(S(G))$ denotes the (Castelnuovo-Mumford) regularity of the graph $S(G)$. In particular, we show that the equality $reg(S(B))=|B|-bp(B)$ holds provided that $B$ is a chordal bipartite graph. Furthermore, for every chordal bipartite graph $B$, we prove that the independence complex of $S(B)$ is either contractible or homotopy equivalent to a sphere, and provide a polynomial time checkable criteria for when it is contractible, and describe the dimension of the sphere when it is not.
Subdivision method in the Laplacian matching polynomial
As a bridge connecting the matching polynomial and the Laplacian matching polynomial of graphs, the subdivision method is expected to be useful for investigating the Laplacian matching polynomial. In this paper, we study applications of the method from three aspects. We prove that the zero sequence of the Laplacian matching polynomial of a graph majorizes its degree sequence, establishing a dual relation between the Laplacian matching polynomial and the characteristic polynomial of the signless Laplacian matrix of graphs. In addition, from different viewpoints, we give a new combinatorial interpretations for the coefficients of the Laplacian matching polynomial.
How many random edges make an almost-Dirac graph Hamiltonian?
We study Hamiltonicity in the union of an $n$-vertex graph $H$ with high minimum degree and a binomial random graph on the same vertex set. In particular, we consider the case when $H$ has minimum degree close to $n/2$. We determine the perturbed threshold for Hamiltonicity in this setting.
To be precise, let $η:= n/2-δ(H)$. For $η=ω(1)$, we show that it suffices to add $Θ(η)$ random edges to $H$ to a.a.s. obtain a Hamiltonian graph; for $η=Θ(1)$, we show that $ω(1)$ edges suffice. In fact, when $η=o(n)$ and $η=ω(1)$, we show that $(8+o(1))η$ random edges suffice, which is best possible up to the error term. This determines the sharp perturbed threshold for Hamiltonicity in this range of degrees.
We also obtain analogous results for perfect matchings, showing that, in this range of degrees, the sharp perturbed thresholds for Hamiltonicity and for perfect matchings differ by a factor of $2$.
A determinantal formula for cluster variables in cluster algebras from surfaces
For cluster algebras of surface type, Musiker, Schiffler and Williams gave a formula for cluster variables in terms of perfect matchings of snake graphs. Building on this, we provide a simple determinantal formula for cluster variables via the weighted biadjacency matrix of the associated snake graphs, thus circumventing the enumeration of their perfect matchings.
Structural properties of a symmetric Toeplitz and Hankel matrices
Published in Linear Algebra and its Applications, 708: 204--216, 2025
• View Publication
• BIB
In this paper, we investigate properties of a symmetric Toeplitz matrix and a Hankel matrix by studying the components of its graph. To this end, we introduce the notion of ``weighted Toeplitz graph" and ``weighted Hankel graph", which are weighted graphs whose adjacency matrix are a symmetric Toeplitz matrix and a Hankel matrix, respectively. By studying the components of a weighted Toeplitz graph, we show that the Frobenius normal form of a symmetric Toeplitz matrix is a direct sum of symmetric irreducible Toeplitz matrices. Similarly, by studying the components of a weighted Hankel matrix, we show that the Frobenius normal form of a Hankel matrix is a direct sum of irreducible Hankel matrices.
Thin MC left regular bands
Published
• View Publication
• BIB
We define MC left regular bands and study their adjacency graphs. We prove that for thin MC left regular bands, the adjacency graph is particularly nice and is represented by edge labeled graphs where every simple cycle has an even number of edges. Conversely, we define a set of graphs which we call thin LRB graphs which encode rank two thin MC left regular bands. Along the way, we provide a criterion for showing when the face poset of a left regular band is a meet-semilattice.
Scaling limits of random graphs
This work will appear as a chapter in a forthcoming volume titled "Topics in Probabilistic Graph Theory". A theory of scaling limits for random graphs has been developed in recent years. This theory gives access to the large-scale geometric structure of these random objects in the limit as their size goes to infinity, with distances appropriately rescaled. We start with the simplest setting of random trees, before turning to various examples of random graphs, including the critical Erdős--Rényi random graph.
Packing large balanced trees into bipartite graphs
We prove that for every ${γ> 0}$ there exists $n_0 \in \mathbb{N}$ such that for every ${n \geq n_0}$ any family of up to $\lfloor{n^{\frac12+γ}}\rfloor$ trees having at most $(1-γ)n$ vertices in each bipartition class can be packed into $K_{n,n}$. As a tool for our proof, we show an approximate bipartite version of the Komlós-Sárközy-Szemerédi Theorem, which we believe to be of independent interest.