graph
35252 papers tagged with this keyword
Connected triangle-free planar graphs whose second largest eigenvalue is at most 1
Published in Computational and Applied Mathematics (2025) 44:86
• View Publication
• BIB
Let $λ_2$ be the second largest eigenvalue of the adjacency matrix of a connected graph. In 2023, Li and Sun \cite{LiSun1} determined all the connected $\{K_{2,3}, K_4\}$-minor free graphs whose second largest eigenvalue $λ_2\le 1$. As a continuance of it, in this paper we completely identify all the connected $\{K_5,K_{3,3}\}$-minor free graphs without $C_3$ whose second largest eigenvalue does not exceed 1. This partially solves an open problem posed by Li and Sun \cite{LiSun1}: Characterize all connected planar graphs whose second largest eigenvalue is at most $1.$ Our main tools include the spectral theory and the local structure characterization of the planar graph with respect to its girth.
Semistrong edge colorings of planar graphs
Published
• View Publication
• BIB
Strengthened notions of a matching $M$ of a graph $G$ have been considered, requiring that the matching $M$ has some properties with respect to the subgraph $G_M$ of $G$ induced by the vertices covered by $M$: If $M$ is the unique perfect matching of $G_M$, then $M$ is a \emph{uniquely restricted matching} of $G$; if all the edges of $M$ are pendant edges of $G_M$, then $M$ is a \emph{semistrong matching} of $G$; if all the vertices of $G_M$ are pendant, then $M$ is an \emph{induced matching} of $G$. Strengthened notions of edge coloring and of the chromatic index follow.
In this paper, we consider the maximum semistrong chromatic index of planar graphs with given maximum degree $Δ$. We prove that graphs with maximum average degree less than ${14}/{5}$ have semistrong chromatic index (hence uniquely restricted chromatic index) at most $2Δ+4$, and we reduce the bound to $2Δ+2$ if the maximum average degree is less than ${8}/{3}$. These cases cover, in particular, the cases of planar graphs with girth at least 7 (resp. at least 8).
Our result makes some progress on the conjecture of Lu{ž}ar, Mockov{č}iakov{á} and Sot{á}k [J.~Graph Theory 105 (2024) 612--632], which asserts that every planar graph $G$ has a semistrong edge coloring with $2Δ+C$ colors, for some universal constant $C$. (Note that such a conjecture would fail for strong edge coloring as there exist graphs with arbitrarily large maximum degree that are not strongly $(4Δ-5)$-edge-colorable.) We provide an example of a planar graph showing that the maximum semistrong chromatic index of planar graphs with maximum degree $Δ$ is at least $2Δ+4$.
Complexity and Structural Results for the Hull and Convexity Numbers in Cycle Convexity for Graph Products
Published
• View Publication
• BIB
Let $G$ be a graph and $S \subseteq V(G)$. In the cycle convexity, we say that $S$ is \textit{cycle convex} if for any $u\in V(G)\setminus S$, the induced subgraph of $S\cup\{u\}$ contains no cycle that includes $u$. The \textit{cycle convex hull} of $S$ is the smallest convex set containing $S$. The \textit{cycle hull number} of $G$, denoted by $hn_{cc}(G)$, is the cardinality of the smallest set $S$ such that the convex hull of $S$ is $V(G)$. The \textit{convexity number} of $G$, denoted by $C_{cc}(G)$, is the maximum cardinality of a proper convex set of $V(G)$. This paper studies cycle convexity in graph products. We show that the cycle hull number is always two for strong and lexicographic products. For the Cartesian, we establish tight bounds for this product and provide a closed formula when the factors are trees, generalizing an existing result for grid graphs. In addition, given a graph $G$ and an integer $k$, we prove that $hn_{cc}(G) \leq k$ is NP-complete even if $G$ is a bipartite Cartesian product graph, addressing an open question in the literature. Furthermore, we present exact formulas for the cycle convexity number in those three graph products. That leads to the NP-completeness of, given a graph $G$ and an integer $k$, deciding whether $C_{cc}(G) \geq k$, when $G$ is a Cartesian, strong or lexicographic product graph.
Central limit theorems for linear spectral statistics of inhomogeneous random graphs with graphon limits
We establish central limit theorems (CLTs) for the linear spectral statistics of the adjacency matrix of inhomogeneous random graphs across all sparsity regimes, providing explicit covariance formulas under the assumption that the variance profile of the random graphs converges to a graphon limit. Two types of CLTs are derived for the (non-centered) adjacency matrix and the centered adjacency matrix, with different scaling factors when the sparsity parameter $p$ satisfies $np = n^{Ω(1)}$, and with the same scaling factor when $np = n^{o(1)}$. In both cases, the limiting covariance is expressed in terms of homomorphism densities from certain types of finite graphs to a graphon. These results highlight a phase transition in the centering effect for global eigenvalue fluctuations. For the non-centered adjacency matrix, we also identify new phase transitions for the CLTs in the sparse regime when $n^{1/m} \ll np \ll n^{1/(m-1)}$ for $m \geq 2$. Furthermore, weaker conditions for the graphon convergence of the variance profile are sufficient as $p$ decreases from being constant to $np \to c\in (0,\infty)$. These findings reveal a novel connection between graphon limits and linear spectral statistics in random matrix theory.
Exploring Graphs with Distinct $M$-Eigenvalues: Product Operation, Wronskian Vertices, and Controllability
Published
• View Publication
• BIB
Let $\mathcal{G}^M$ denote the set of connected graphs with distinct $M$-eigenvalues. This paper explores the $M$-spectrum and eigenvectors of a new product $G\circ_C H$ of graphs $G$ and $H$. We present the necessary and sufficient condition for $G\circ_C H$ to have distinct $M$-eigenvalues. Specifically, for the rooted product $G\circ H$, we present a more concise and precise condition. A key concept, the $M$-Wronskian vertex, which plays a crucial role in determining graph properties related to separability and construction of specific graph families, is investigated. We propose a novel method for constructing infinite pairs of non-isomorphic $M$-cospectral graphs in $\mathcal{G}^M$ by leveraging the structural properties of the $M$-Wronskian vertex. Moreover, the necessary and sufficient condition for $G\circ H$ to be $M$-controllable is given.
Generalized Turán problems for a matching and long cycles
Published
• View Publication
• BIB
Let $\mathscr{F}$ be a family of graphs. A graph $G$ is $\mathscr{F}$-free if $G$ does not contain any $F\in \mathcal{F}$ as a subgraph. The general Turán number, denoted by $ex(n, H,\mathscr{F})$, is the maximum number of copies of $H$ in an $n$-vertex $\mathscr{F}$-free graph. Then $ex(n, K_2,\mathscr{F})$, also denote by $ex(n, \mathscr{F})$, is the Turán number. Recently, Alon and Frankl determined the exact value of $ex(n, \{K_{k},M_{s+1}\})$, where $K_{k}$ and $M_{s+1}$ are a complete graph on $k $ vertices and a matching of size $s +1$, respectively. Then many results were obtained by extending $K_{k}$ to a general fixed graph or family of graphs. Let $C_k$ be a cycle of order $k$. Denote $C_{\ge k}=\{C_k,C_{k+1},\ldots\}$. In this paper, we determine the value of $ex(n,K_r, \{C_{\ge k},M_{s+1}\})$ for large enough $n$ and obtain the extremal graphs when $k$ is odd. Particularly, the exact value of $ex(n, \{C_{\ge k},M_{s+1}\})$ and the extremal graph are given for large enough $n$.
The Minimum Weighting Ratio Problem and Its Application in Chordal Graphs
Constructing the maximum spanning tree $T$ of an edge-weighted connected graph $G$ is one of the important research topics in computer science and optimization, and the related research results have played an active role in practical applications. In this paper, we are concerned with the ratio of the weighted sum of a spanning tree $T$ of $G$ to the weighted sum of $G$, which we try to minimize. We propose an interesting theorem to simplify this problem and show that this optimal problem can be solved in polynomial time. Furthermore, we apply the optimal problem in chordal graphs.
On $\ell$-distance-balancedness of cubic Cayley graphs of dihedral groups
A connected graph $Γ$ of diameter ${\rm diam}(Γ) \ge \ell$ is $\ell$-distance-balanced if $|W_{xy}(Γ)|=|W_{yx}(Γ)|$ for every $x,y\in V(Γ)$ with $d_Γ(x,y)=\ell$, where $W_{xy}(Γ)$ is the set of vertices of $Γ$ that are closer to $x$ than to $y$. $Γ$ is said to be highly distance-balanced if it is $\ell$-distance-balanced for every $\ell\in [{\rm diam}(Γ)]$. It is proved that every cubic Cayley graph whose generating set is one of $\{a,a^{n-1},ba^r\}$ and $\{a^k,a^{n-k},ba^t\}$ is highly distance-balanced. This partially solves a problem posed by Miklavič and Šparl.
On the occupancy fraction of the antiferromagnetic Ising model
We study the maximum and minimum occupancy fraction of the antiferromagnetic Ising model in regular graphs. The minimizing problem is known to determine a computational threshold in the complexity of approximately sampling from the Ising model at a given magnetization, and our results determine this threshold for nearly the entire relevant parameter range in the case $Δ=3$. A small part of the parameter range lies outside the reach of our methods, and it seems challenging to extend our techniques to larger $Δ$.
Powers of Hamilton cycles in oriented and directed graphs
Published
• View Publication
• BIB
The Pósa--Seymour conjecture determines the minimum degree threshold for forcing the $k$th power of a Hamilton cycle in a graph. After numerous partial results, Komlós, Sárközy and Szemerédi proved the conjecture for sufficiently large graphs. In this paper we focus on the analogous problem for digraphs and for oriented graphs. We asymptotically determine the minimum total degree threshold for forcing the square of a Hamilton cycle in a digraph. We also give a conjecture on the corresponding threshold for $k$th powers of a Hamilton cycle more generally. For oriented graphs, we provide a minimum semi-degree condition that forces the $k$th power of a Hamilton cycle; although this minimum semi-degree condition is not tight, it does provide the correct order of magnitude of the threshold. Turán-type problems for oriented graphs are also discussed.
On a weighted generalization of Kendall's tau distance
Published in Ann. Comb. 25, 33-50 (2021)
• View Publication
• BIB
We introduce a metric on the set of permutations of given order, which is a weighted generalization of Kendall's $τ$ rank distance and study its properties. Using the edge graph of a permutohedron, we give a criterion which guarantees that a permutation lies metrically between another two fixed permutations. In addition, the conditions under which four points from the resulting metric space form a pseudolinear quadruple were found.
Computing the k-binomial complexity of generalized Thue--Morse words
Published
• View Publication
• BIB
Two finite words are k-binomially equivalent if each subword (i.e., subsequence) of length at most k occurs the same number of times in both words. The k-binomial complexity of an infinite word is a function that maps the integer $n\geq 0$ to the number of k-binomial equivalence classes represented by its factors of length n. The Thue--Morse (TM) word and its generalization to larger alphabets are ubiquitous in mathematics due to their rich combinatorial properties. This work addresses the k-binomial complexities of generalized TM words. Prior research by Lejeune, Leroy, and Rigo determined the k-binomial complexities of the 2-letter TM word. For larger alphabets, work by Lü, Chen, Wen, and Wu determined the 2-binomial complexity for m-letter TM words, for arbitrary m, but the exact behavior for $k\geq 3$ remained unresolved. They conjectured that the k-binomial complexity function of the m-letter TM word is eventually periodic with period $m^k$. We resolve the conjecture positively by deriving explicit formulae for the k-binomial complexity functions for any generalized TM word. We do this by characterizing k-binomial equivalence among factors of generalized TM words. This comprehensive analysis not only solves the open conjecture, but also develops tools such as abelian Rauzy graphs.
Diameter bounds for distance-regular graphs via long-scale Ollivier Ricci curvature
Published
• View Publication
• BIB
In this paper, we derive new sharp diameter bounds for distance regular graphs, which better answer a problem raised by Neumaier and Penji\' c in many cases. Our proof is built upon a relation between the diameter and long-scale Ollivier Ricci curvature of a graph, which can be considered as an improvement of the discrete Bonnet-Myers theorem. Our method further leads to significant improvements of existing diameter bounds for amply regular graphs and $(s,c,a,k)$-graphs.
Koszul Graded Möbius Algebras and Strongly Chordal Graphs
Published
• View Publication
• BIB
The graded Möbius algebra of a matroid is a commutative graded algebra which encodes the combinatorics of the lattice of flats of the matroid. As a special subalgebra of the augmented Chow ring of the matroid, it plays an important role in the recent proof of the Dowling-Wilson Top Heavy Conjecture. Recently, Mastroeni and McCullough proved that the Chow ring and the augmented Chow ring of a matroid are Koszul. We study when graded Möbius algebras are Koszul. We characterize the Koszul graded Möbius algebras of cycle matroids of graphs in terms of properties of the graphs. Our results yield a new characterization of strongly chordal graphs via edge orderings.
On symmetric Cayley graphs of valency thirteen
A Cayley graph $\Ga=\Cay(G,S)$ is said to be normal if the right-regular representation of $G$ is normal in $\Aut\Ga$. In this paper, we investigate the normality problem of the connected 13-valent symmetric Cayley graphs $\Ga$ of finite nonabelian simple groups $G$, where the vertex stabilizer $\A_v$ is soluble for $\A=\Aut\Ga$ and $v\in V\Ga$. We prove that $\Ga$ is either normal or $G=\A_{12}$, $\A_{38}$, $\A_{116}$, $\A_{207}$, $\A_{311}$, $\A_{935}$ or $\A_{1871}$. Further, 13-valent symmetric non-normal Cayley graphs of $\A_{38}$, $\A_{116}$ and $\A_{207}$ are constructed. This provides some more examples of non-normal 13-valent symmetric Cayley graphs of finite nonabelian simple groups since such graph (of valency 13) was first constructed by Fang, Ma and Wang in (J. Comb. Theory A 118, 1039--1051, 2011).
The basis number of 1-planar graphs
Published
• View Publication
• BIB
Let $B$ be a set of Eulerian subgraphs of a graph $G$. We say $B$ forms a $k$-basis if it is a minimum set that generates the cycle space of $G$, and any edge of $G$ lies in at most $k$ members of $B$. The basis number of a graph $G$, denoted by $b(G)$, is the smallest integer such that $G$ has a $k$-basis. A graph is called 1-planar (resp. planar) if it can be embedded in the plane with at most one crossing (resp. no crossing) per edge. MacLane's planarity criterion characterizes planar graphs based on their cycle space, stating that a graph is planar if and only if it has a $2$-basis. We study here the basis number of 1-planar graphs, demonstrate that it is unbounded in general, and show that it is bounded for many subclasses of 1-planar graphs.
Hamiltonian Properties of Hybrid-Faulty Burnt Pancake Graphs
Published
• View Publication
• BIB
We investigate the combined occurrence of edge faults and vertex faults in the burnt pancake graph (\( BP_n \)). In this paper, we prove that \( BP_n - F \), where \( F \) includes pairs of end-vertices of matching edges and fault-tolerant edges, contains a Hamiltonian cycle when \( |F| \leq n-2 \) and a Hamiltonian path when \( |F| \leq n-3 \). This establishes that \( BP_n \) is \((n-2)\)-hybrid fault Hamiltonian and \((n-3)\)-hybrid fault Hamiltonian connected for \( n \geq 3 \). These results are demonstrated to be optimal under the given conditions, with all bounds shown to be tight.
On the complexity of finding a spanning even tree in a graph
A tree is said to be even if for every pair of distinct leaves, the length of the unique path between them is even. In this paper we discuss the problem of determining whether an input graph has a spanning even tree. Hofmann and Walsh [Australas. J Comb. 35, 2006] proved that this problem can be solved in polynomial time on bipartite graphs. In contrast to this, we show that this problem is NP-complete even on planar graphs. We also give polynomial-time algorithms for several restricted classes of graphs, such as split graphs, cographs, cobipartite graphs, unit interval graphs, and block graphs.
On lower bounds for cardinalities of several separating-dominating codes in graphs
In the literature, several different identification problems in graphs have been studied, the most widely studied such problems are the ones based on dominating sets as a tool of identification. Hereby, the objective is to separate any two vertices of a graph by their unique neighborhoods in a suitably chosen dominating or total-dominating set. Such a (total-)dominating set endowed with a separation property is often referred to as a "code" of the graph. The problems of determining such codes of minimum cardinality are all shown to be NP-hard. A typical line to attack such problems is, therefore, to provide bounds on the cardinalities of the studied codes.
In this paper, we are interested in extremal graphs for lower bounds in terms of the order of the graph. For some codes, logarithmic lower bounds are known from the literature. We provide for eight different identification problems a general construction of extremal graphs minimizing the cardinality of a minimum code compared to the order of the graph. This enables us to reprove the existing logarithmic lower bounds, to establish such bounds for further codes, and to characterize all graphs attaining these bounds.
Oriented Ramsey numbers of some sparse graphs
Published
• View Publication
• BIB
Let $H$ be an oriented graph without directed cycle. The oriented Ramsey number of $H$, denoted by $\overrightarrow{r}(H)$, is the smallest integer $N$ such that every tournament on $N$ vertices contains a copy of $H$. Rosenfeld (JCT-B, 1974) conjectured that $\overrightarrow{r}(H)=|H|$ if $H$ is a cycle of sufficiently large order, which was confirmed for $|H|\geq 9$ by Zein recently, and so does if $H$ is a path. Note that $\overrightarrow{r}(H)=|H|$ implies any tournament contains $H$ as a spanning subdigraph, it is interesting to ask when $\overrightarrow{r}(H)=|H|$ for $H$ being a sparse oriented graph. Sós (1986) conjectured this is true if $H$ is a directed path plus an additional edge containing the origin of the path as one end, which was confirmed by Petrović (JGT, 1988). In this paper, we show that $\overrightarrow{r}(H)=|H|$ for $H$ being an oriented graph obtained by identifying a vertex of an antidirected cycle with one end of a directed path. Some other oriented Ramsey numbers for oriented graphs with one cycle are also discussed.