connected graph
2596 papers tagged with this keyword
An approach to the girth problem in cubic graphs
Published
• View Publication
• BIB
We offer a new, gradual approach to the largest girth problem for cubic graphs. It is easily observed that the largest possible girth of all $n$-vertex cubic graphs is attained by a $2$-connected graph $G=(V,E)$. By Petersen's graph theorem, $E$ is the disjoint union of a $2$-factor and a perfect matching $M$. We refer to the edges of $M$ as chords and classify the cycles in $G$ by their number of chords. We define $γ_k(n)$ to be the largest integer $g$ such that every cubic $n$-vertex graph with a given perfect matching $M$ has a cycle of length at most $g$ with at most $k$ chords. Here we determine this function up to small additive constant for $k= 1, 2$ and up to a small multiplicative constant for larger $k$.
Finding $k$-community structures in special graph classes
Published
• View Publication
• BIB
For a fixed integer $k\ge 2$, a $k$-community structure in an undirected graph is a partition of its vertex set into $k$ sets called communities, each of size at least two, such that every vertex of the graph has proportionally at least as many neighbours in its own community as in any other community. In this paper, we give a necessary and sufficient condition for a forest on $n$ vertices to admit a $k$-community structure. Furthermore, we provide an $O(n^{2})$-time algorithm that computes such a $k$-community structure in a forest, if it exists. These results extend a result of [Bazgan et al., Structural and algorithmic properties of $2$-community structure, Algorithmica, 80(6):1890-1908, 2018]. We also show that if communities are allowed to have size one, then every forest with $n \geq k\geq 2$ vertices admits a $k$-community structure that can be found in time $O(n^{2})$. We then consider threshold graphs and show that every connected threshold graph admits a $2$-community structure if and only if it is not isomorphic to a star; also if such a $2$-community structure exists, we explain how to obtain it in linear time. We further describe two infinite families of disconnected threshold graphs, containing exactly one isolated vertex, that do not admit any $2$-community structure. Finally, we present a new infinite family of connected graphs that may contain an even or an odd number of vertices without $2$-community structures, even if communities are allowed to have size one.
Critical groups of arithmetical structures under a generalized star-clique operation
Published in Linear Algebra Appl. 656 (2023) 324-344
• View Publication
• BIB
An arithmetical structure on a finite, connected graph without loops is given by an assignment of positive integers to the vertices such that, at each vertex, the integer there is a divisor of the sum of the integers at adjacent vertices, counted with multiplicity if the graph is not simple. Associated to each arithmetical structure is a finite abelian group known as its critical group. Keyes and Reiter gave an operation that takes in an arithmetical structure on a finite, connected graph without loops and produces an arithmetical structure on a graph with one fewer vertex. We study how this operation transforms critical groups. We bound the order and the invariant factors of the resulting critical group in terms of the original arithmetical structure and critical group. When the original graph is simple, we determine the resulting critical group exactly.
Linearly Free Graphs
Published
• View Publication
• BIB
In this paper we are interested in an intrinsic property of graphs which is derived from their embeddings into the Euclidean 3-space $\mathbb{R}^3$. An embedding of a graph into $\mathbb{R}^3$ is said to be linear, if it sends every edge to be a line segment. And we say that an embedding $f$ of a graph $G$ into $\mathbb{R}^3$ is free, if $π_1(\mathbb{R}^3-f(G))$ is a free group. Lastly a simple connected graph is said to be linearly free if every its linear embedding is free. In 1980s it was proved that every complete graph is linearly free, by Nicholson.
In this paper, we develop Nicholson's arguments into a general notion, and establish a sufficient condition for a linear embedding to be free. As an application of the condition we give a partial answer for a question: how much can the complete graph $K_n$ be enlarged so that the linear freeness is preserved and the clique number does not increase? And an example supporting our answer is provided.
As the second application it is shown that a simple connected graph of minimal valency at least $3$ is linearly free, if it has less than 8 vertices. The conditional inequality is strict, because we found a graph with $8$ vertices which is not linearly free. It is also proved that for $n, m \leq 6$ the complete bipartite graph $K_{n,m}$ is linearly free.
On Eccentricity Matrices of Wheel Graphs
Published
• View Publication
• BIB
The eccentricity matrix $E(G)$ of a simple connected graph $G$ is obtained from the distance matrix $D(G)$ of $G$ by retaining the largest distance in each row and column, and by defining the remaining entries to be zero. This paper focuses on the eccentricity matrix $E(W_n)$ of the wheel graph $W_n$ with $n$ vertices. By establishing a formula for the determinant of $E(W_n)$, we show that $E(W_n)$ is invertible if and only if $n \not\equiv 1\Mod3$. We derive a formula for the inverse of $E(W_n)$ by finding a vector $\mathbf{w}\in \mathbb{R}^n$ and an $n \times n$ symmetric Laplacian-like matrix $\widetilde{L}$ of rank $n-1$ such that \begin{eqnarray*}
E(W_n)^{-1} = -\frac{1}{2}\widetilde{L} +
\frac{6}{n-1}\mathbf{w}\mathbf{w^{\prime}}. \end{eqnarray*} Further, we prove an analogous result for the Moore-Penrose inverse of $E(W_n)$ for the singular case. We also determine the inertia of $E(W_n)$.
A hypergraph Heilmann--Lieb theorem
Published
• View Publication
• BIB
The Heilmann--Lieb theorem is a fundamental theorem in algebraic combinatorics which provides a characterization of the distribution of the zeros of matching polynomials of graphs. In this paper, we establish a hypergraph Heilmann--Lieb theorem as follows. Let $\h$ be a connected $k$-graph with maximum degree $Δ\geq 2$ and let $μ(\h, x)$ be its matching polynomial. We show that the zeros (with multiplicities) of $μ(\h, x)$ are invariant under a rotation of an angle $2π/{\ell}$ in the complex plane for some positive integer $\ell$ and $k$ is the maximum integer with this property. We further prove that the maximum modulus $λ(\h)$ of all the zeros of $μ(\h, x)$ is a simple root of $μ(\h, x)$ and satisfies $$Δ^{\frac{1}{ k}} \leq λ(\h)< \frac{k}{k-1}\big((k-1)(Δ-1)\big)^{\frac{1}{ k}}.$$ To achieve these, we prove that $μ(\h, x)$ divides the matching polynomial of the $k$-walk-tree of $\h$, which generalizes a classical result due to Godsil from graphs to hypergraphs.
Contractible Subgraphs of Contraction Critically Quasi $5$-Connected Graphs
Published
• View Publication
• BIB
Let $G$ be a contraction critically quasi $5$-connected graph on at least $14$ vertices. If there is a vertex $x\in V_{4}(G)$ such that $G[N_{G}(x)]\cong K_{1,3}$ or $G[N_{G}(x)]\cong C_{4}$, then $G$ has a quasi $5$-contractible subgraph $H$ such that $0<\|V(H)\|<4$.
Bounds and extremal graphs for total dominating identifying codes
Published in The Electronic Journal of Combinatorics 30(3):P3.15, 2023
• View Publication
• BIB
An identifying code $C$ of a graph $G$ is a dominating set of $G$ such that any two distinct vertices of $G$ have distinct closed neighbourhoods within $C$. The smallest size of an identifying code of $G$ is denoted $γ^{\text{ID}}(G)$. When every vertex of $G$ also has a neighbour in $C$, it is said to be a total dominating identifying code of $G$, and the smallest size of a total dominating identifying code of $G$ is denoted by $γ_t^{\text{ID}}(G)$.
Extending similar characterizations for identifying codes from the literature, we characterize those graphs $G$ of order $n$ with $γ_t^{\text{ID}}(G)=n$ (the only such connected graph is $P_3$) and $γ_t^{\text{ID}}(G)=n-1$ (such graphs either satisfy $γ^{\text{ID}}(G)=n-1$ or are built from certain such graphs by adding a set of universal vertices, to each of which a private leaf is attached).
Then, using bounds from the literature, we remark that any (open and closed) twin-free tree of order $n$ has a total dominating identifying code of size at most $\frac{3n}{4}$. This bound is tight, and we characterize the trees reaching it. Moreover, by a new proof, we show that this bound actually holds for the larger class of all twin-free graphs of girth at least 5. The cycle $C_8$ also attains this bound. We also provide a generalized bound for all graphs of girth at least 5 (possibly with twins).
Finally, we relate $γ_t^{\text{ID}}(G)$ to the related parameter $γ^{\text{ID}}(G)$ as well as the location-domination number of $G$ and its variants, providing bounds that are either tight or almost tight.
Graphs with the minimum spectral radius for given independence number
Published
• View Publication
• BIB
Let $\mathbb{G}_{n,α}$ be the set of connected graphs with order $n$ and independence number $α$. Given $k=n-α$, the graph with minimum spectral radius among $\mathbb{G}_{n,α}$ is called the minimizer graph. Stevanović in the classical book [D. Stevanović, Spectral Radius of Graphs, Academic Press, Amsterdam, 2015.] pointed that determining minimizer graph in $\mathbb{G}_{n,α}$ appears to be a tough problem on page $96$. Very recently, Lou and Guo in \cite{Lou} proved that the minimizer graph of $\mathbb{G}_{n,α}$ must be a tree if $α\ge\lceil\frac{n}{2}\rceil$. In this paper, we further give the structural features for the minimizer graph in detail, and then provide of a constructing theorem for it. Thus, theoretically we completely determine the minimizer graphs in $\mathbb{G}_{n,α}$ along with their spectral radius for any given $k=n-α\le \frac{n}{2}$. As an application, we determine all the minimizer graphs in $\mathbb{G}_{n,α}$ for $α=n-1,n-2,n-3,n-4,n-5,n-6$ along with their spectral radii, the first four results are known in \cite{Xu,Lou} and the last two are new.
Sparsity of Graphs that Allow Two Distinct Eigenvalues
Published
• View Publication
• BIB
The parameter $q(G)$ of a graph $G$ is the minimum number of distinct eigenvalues over the family of symmetric matrices described by $G$. It is shown that the minimum number of edges necessary for a connected graph $G$ to have $q(G)=2$ is $2n-4$ if $n$ is even, and $2n-3$ if $n$ is odd. In addition, a characterization of graphs for which equality is achieved in either case is given.
Graphs with Sudoku number $n-1$
Recently Lau-Jeyaseeli-Shiu-Arumugam introduced the concept of the "Sudoku colourings" of graphs -- partial $χ(G)$-colourings of $G$ that have a unique extension to a proper $χ(G)$-colouring of all the vertices. They introduced the Sudoku number of a graph as the minimal number of coloured vertices in a Sudoku colouring. They conjectured that a connected graph has Sudoku number $n-1$ if, and only if, it is complete. In this note we prove that this is true.
On the spectral radius of minimally 2-(edge)-connected graphs with given size
Published
• View Publication
• BIB
A graph is minimally $k$-connected ($k$-edge-connected) if it is $k$-connected ($k$-edge-connected) and deleting arbitrary chosen edge always leaves a graph which is not $k$-connected ($k$-edge-connected). A classic result of minimally $k$-connected graph is given by Mader who determined the extremal size of a minimally $k$-connected graph of high order in 1937. Naturally, for a fixed size of a minimally $k$-(edge)-connected graphs, what is the extremal spectral radius? In this paper, we determine the maximum spectral radius for the minimally $2$-connected ($2$-edge-connected) graphs of given size, moreover the corresponding extremal graphs are also determined.
Sudoku Number of Graphs
Published
• View Publication
• BIB
We introduce a new concept in graph coloring motivated by the popular Sudoku puzzle. Let $G=(V,E)$ be a graph of order $n$ with chromatic number $χ(G)=k$ and let $S\subseteq V.$ Let $\mathscr C_0$ be a $k$-coloring of the induced subgraph $G[S].$ The coloring $\mathscr C_0$ is called an extendable coloring if $\mathscr C_0$ can be extended to a $k$-coloring of $G.$ We say that $\mathscr C_0$ is a Sudoku coloring of $G$ if $\mathscr C_0$ can be uniquely extended to a $k$-coloring of $G.$ The smallest order of such an induced subgraph $G[S]$ of $G$ which admits a Sudoku coloring is called the Sudoku number of $G$ and is denoted by $sn(G).$ In this paper we initiate a study of this parameter. We first show that this parameter is related to list coloring of graphs. In Section 2, basic properties of Sudoku coloring that are related to color dominating vertices, chromatic numbers and degree of vertices, are given. Particularly, we obtained necessary conditions for $\mathscr C_0$ being uniquely extendable, and for $\mathscr C_0$ being a Sudoku coloring. In Section 3, we determined the Sudoku number of various familes of graphs. Particularly, we showed that a connected graph $G$ has $sn(G)=1$ if and only if $G$ is bipartite. Consequently, every tree $T$ has $sn(T)=1$. Moreover, a graph $G$ with small chromatic number may have arbitrarily large Sudoku number. Extendable coloring and Sudoku coloring are nice tools for providing a $k$-coloring of $G$.
A rooted variant of Stanley's chromatic symmetric function
Published
• View Publication
• BIB
Richard Stanley defined the chromatic symmetric function $X_G$ of a graph $G$ and asked whether there are non-isomorphic trees $T$ and $U$ with $X_T=X_U$. We study variants of the chromatic symmetric function for rooted graphs, where we require the root vertex to either use or avoid a specified color. We present combinatorial identities and recursions satisfied by these rooted chromatic polynomials, explain their relation to pointed chromatic functions and rooted $U$-polynomials, and prove three main theorems. First, for all non-empty connected graphs $G$, Stanley's polynomial $X_G(x_1,\ldots,x_N)$ is irreducible in $\mathbb{Q}[x_1,\ldots,x_N]$ for all large enough $N$. The same result holds for our rooted variant where the root node must avoid a specified color. We prove irreducibility by a novel combinatorial application of Eisenstein's Criterion. Second, we prove the rooted version of Stanley's Conjecture: two rooted trees are isomorphic as rooted graphs if and only if their rooted chromatic polynomials are equal. In fact, we prove that a one-variable specialization of the rooted chromatic polynomial (obtained by setting $x_0=x_1=q$, $x_2=x_3=1$, and $x_n=0$ for $n>3$) already distinguishes rooted trees. Third, we answer a question of Pawlowski by providing a combinatorial interpretation of the monomial expansion of pointed chromatic functions.
Two conjectures in spectral graph theory involving the linear combinations of graph eigenvalues
We prove two conjectures in spectral extremal graph theory involving the linear combinations of graph eigenvalues. Let $λ_1(G)$ be the largest eigenvalue of the adjacency matrix of a graph $G$, and $\bar{G}$ be the complement of $G$. A nice conjecture states that the graph on $n$ vertices maximizing $λ_1(G) + λ_1(\bar{G})$ is the join of a clique and an independent set, with $\lfloor n/3\rfloor$ and $\lceil 2n/3\rceil$ (also $\lceil n/3\rceil$ and $\lfloor 2n/3\rfloor$ if $n \equiv 2 \pmod{3}$) vertices, respectively. We resolve this conjecture for sufficiently large $n$ using analytic methods. Our second result concerns the $Q$-spread $s_Q(G)$ of a graph $G$, which is defined as the difference between the largest eigenvalue and least eigenvalue of the signless Laplacian of $G$. It was conjectured by Cvetković, Rowlinson and Simić in $2007$ that the unique $n$-vertex connected graph of maximum $Q$-spread is the graph formed by adding a pendant edge to $K_{n-1}$. We confirm this conjecture for sufficiently large $n$.
Ramsey equivalence for asymmetric pairs of graphs
Published
• View Publication
• BIB
A graph $F$ is Ramsey for a pair of graphs $(G,H)$ if any red/blue-coloring of the edges of $F$ yields a copy of $G$ with all edges colored red or a copy of $H$ with all edges colored blue. Two pairs of graphs are called Ramsey equivalent if they have the same collection of Ramsey graphs. The symmetric setting, that is, the case $G=H$, received considerable attention. This led to the open question whether there are connected graphs $G$ and $G'$ such that $(G,G)$ and $(G',G')$ are Ramsey equivalent. We make progress on the asymmetric version of this question and identify several non-trivial families of Ramsey equivalent pairs of connected graphs.
Certain pairs of stars provide a first, albeit trivial, example of Ramsey equivalent pairs of connected graphs. Our first result characterizes all Ramsey equivalent pairs of stars. The rest of the paper focuses on pairs of the form $(T,K_t)$, where $T$ is a tree and $K_t$ is a complete graph. We show that, if $T$ belongs to a certain family of trees, including all non-trivial stars, then $(T,K_t)$ is Ramsey equivalent to a family of pairs of the form $(T,H)$, where $H$ is obtained from $K_t$ by attaching disjoint smaller cliques to some of its vertices. In addition, we establish that for $(T,H)$ to be Ramsey equivalent to $(T,K_t)$, $H$ must have roughly this form. On the other hand, we prove that for many other trees $T$, including all odd-diameter trees, $(T,K_t)$ is not equivalent to any such pair, not even to the pair $(T, K_t\cdot K_2)$, where $K_t\cdot K_2$ is a complete graph $K_t$ with a single edge attached.
The $k$-apex trees with minimum augmented Zagreb index
Published
• View Publication
• BIB
For a connected graph $G$ on at least three vertices, the augmented Zagreb index (AZI) of $G$ is defined as $$AZI(G)=\sum_{uv\in E(G)}\left(\frac{d(u)d(v)}{d(u)+d(v)-2}\right)^{3},$$ being a topological index well-correlated with the formation heat of heptanes and octanes. A $k$-apex tree $G$ is a connected graph admitting a $k$-subset $X\subset V(G)$ such that $G-X$ is a tree, while $G-S$ is not a tree for any $S\subset V(G)$ of cardinality less than $k$. By investigating some structural properties of $k$-apex trees, we identify the graphs minimizing the AZI among all $k$-apex trees on $n$ vertices for $k\ge 4$ and $n\ge 3(k+1)$. The latter solves an open problem posed in [K. Cheng, M. Liu, F. Belardo, {\em Appl. Math. Comput.}, {\bf402} (2021), 126139].
A unified combinatorial view beyond some spectral properties
Published
• View Publication
• BIB
Let $β>0$. Motivated by jumbled graphs defined by Thomason, the celebrated expander mixing lemma and Haemers's vertex separation inequality, we define that a graph $G$ with $n$ vertices is a weakly $(n,β)$-graph if $\frac{|X| |Y|}{(n-|X|)(n-|Y|)} \le β^2$ holds for every pair of disjoint proper subsets $X, Y$ of $V(G)$ with no edge between $X$ and $Y$, and it is an $(n,β)$-graph if in addition $X$ and $Y$ are not necessarily disjoint. Our main results include the following.
(i) For any weakly $(n,β)$-graph $G$, the matching number $α'(G)\ge \min\left\{\frac{1-β}{1+β},\, \frac{1}{2}\right\}\cdot (n-1).$ If in addition $G$ is a $(U, W)$-bipartite graph with $|W|\ge t|U|$ where $t\ge 1$, then $α'(G)\ge \min\{t(1-2β^2),1\}\cdot |U|$.
(ii) For any $(n,β)$-graph $G$, $α'(G)\ge \min\left\{\frac{2-β}{2(1+β)},\, \frac{1}{2}\right\}\cdot (n-1).$ If in addition $G$ is a $(U, W)$-bipartite graph with $|W|\ge |U|$ and no isolated vertices, then $α'(G)\ge \min\{1/β^{2},1\}\cdot |U|$.
(iii) If $G$ is a weakly $(n,β)$-graph for $0<β\le 1/3$ or an $(n,β)$-graph for $0<β\le 1/2$, then $G$ has a fractional perfect matching. In addition, $G$ has a perfect matching when $n$ is even and $G$ is factor-critical when $n$ is odd.
(iv) For any connected $(n,β)$-graph $G$, the toughness $t(G)\ge \frac{1-β}β$. For any connected weakly $(n,β)$-graph $G$, $t(G)> \frac{5(1-β)}{11β}$ and if $n$ is large enough, then $t(G) >\left(\frac{1}{2}-\varepsilon\right)\frac{1-β}β$ for any $\varepsilon >0$.
Spectral radius and (globally) rigidity of graphs in $R^2$
Published
• View Publication
• BIB
Over the past half century, the rigidity of graphs in $R^2$ has aroused a great deal of interest. Lovász and Yemini (1982) proved that every $6$-connected graph is rigid in $R^2$. Jackson and Jordán (2005) provided a similar vertex-connectivity condition for the globally rigidity of graphs in $R^2$. These results imply that a graph $G$ with algebraic connectivity $μ(G)>5$ is (globally) rigid in $R^2$. Cioabă, Dewar and Gu (2021) improved this bound, and proved that a graph $G$ with minimum degree $δ\geq 6$ is rigid in $R^2$ if $μ(G)>2+\frac{1}{δ-1}$, and is globally rigid in $R^2$ if $μ(G)>2+\frac{2}{δ-1}$. In this paper, we study the (globally) rigidity of graphs in $R^2$ from the viewpoint of adjacency eigenvalues. Specifically, we provide sufficient conditions for a 2-connected (resp. 3-connected) graph with given minimum degree to be rigid (resp. globally rigid) in terms of the spectral radius. Furthermore, we determine the unique graph attaining the maximum spectral radius among all minimally rigid graphs of order $n$.
An excluded minor theorem for the Wagner graph plus an edge
Let $V_{8}+e$ denote the unique graph obtained from the Wagner graph, also known as $V_{8}$, by adding an edge between two vertices of distance 3 on the Hamilton cycle, which is exactly a split of a minor of the Petersen graph. A complete characterization of all internally 4-connected graphs with no $V_{8}$ minor is given in [J. Maharry and N. Robertson, The structure of graphs not topologically containing the Wagner graph, J. Combin. Theory Ser. B 121 (2016) 398-420]. In this paper we characterize all internally 4-connected graphs with no $V_{8}+e$ minor.