connected graph
2651 papers tagged with this keyword
On two conjectures about the intersection of longest paths and cycles
A conjecture attributed to Smith states that every pair of longest cycles in a $k$-connected graph intersect each other in at least $k$ vertices. In this paper, we show that every pair of longest cycles in a~$k$-connected graph on $n$ vertices intersect each other in at least~$\min\{n,8k-n-16\}$ vertices, which confirms Smith's conjecture when $k\geq (n+16)/7$. An analog conjecture for paths instead of cycles was stated by Hippchen. By a simple reduction, we relate both conjectures, showing that Hippchen's conjecture is valid when either $k \leq 6$ or $k \geq (n+9)/7$.
Proximity and Remoteness in Graphs: a survey
Published
• View Publication
• BIB
The proximity $π= π(G)$ of a connected graph $G$ is the minimum, over all vertices, of the average distance from a vertex to all others. Similarly, the maximum is called the remoteness and denoted by $ρ= ρ(G)$. The concepts of proximity and remoteness, first defined in 2006, attracted the attention of several researchers in Graph Theory. Their investigation led to a considerable number of publications. In this paper, we present a survey of the research work.
Homology and Euler characteristic of generalized anchored configuration spaces of graphs
Published
• View Publication
• BIB
In this paper we consider the generalized anchored configuration spaces on $n$ labeled points on a~graph. These are the spaces of all configurations of $n$ points on a~fixed graph $G$, subject to the condition that at least $q$ vertices in some pre-determined set $K$ of vertices of $G$ are included in each configuration.
We give a non-alternating formula for the Euler characteristic of such spaces for arbitrary connected graphs, which are not trees. Furthermore, we completely determine the homology groups of the generalized anchored configuration spaces of $n$ points on a circle graph.
Connected graphs with a given dissociation number attaining the minimum spectral radius
A dissociation set of a graph is a set of vertices which induces a subgraph with maximum degree less than or equal to one. The dissociation number of a graph is the maximum cardinality of its dissociation sets. In this paper, we study the connected graphs of order $n$ with a given dissociation number that attains the minimum spectral radius. We characterize these graphs when the dissociation number is in $\{n-1,~n-2,~\lceil2n/3\rceil,~\lfloor2n/3\rfloor,~2\}$. We also prove that these graphs are trees when the dissociation number is larger than $\lceil {2n}/{3}\rceil$.
The dimension of the feasible region of pattern densities
Published in Math. Proc. Camb. Phil. Soc. 178 (2025) 1-14
• View Publication
• BIB
A classical result of Erdős, Lovász and Spencer from the late 1970s asserts that the dimension of the feasible region of densities of graphs with at most k vertices in large graphs is equal to the number of non-trivial connected graphs with at most k vertices. Indecomposable permutations play the role of connected graphs in the realm of permutations, and Glebov et al. showed that pattern densities of indecomposable permutations are independent, i.e., the dimension of the feasible region of densities of permutation patterns of size at most k is at least the number of non-trivial indecomposable permutations of size at most k. However, this lower bound is not tight already for k=3. We prove that the dimension of the feasible region of densities of permutation patterns of size at most k is equal to the number of non-trivial Lyndon permutations of size at most k. The proof exploits an interplay between algebra and combinatorics inherent to the study of Lyndon words.
On the structure of a smallest counterexample and a new class verifying the 2-Decomposition Conjecture
Published
• View Publication
• BIB
The 2-Decomposition Conjecture, equivalent to the 3-Decomposition Conjecture stated in 2011 by Hoffmann-Ostenhof, claims that every connected graph $G$ with vertices of degree 2 and 3, for which $G \setminus E(C)$ is disconnected for every cycle $C$, admits a decomposition into a spanning tree and a matching. In this work we present two main results focused on developing a strategy to prove the 2-Decomposition Conjecture. One of them is a list of structural properties of a minimum counterexample for this conjecture. Among those properties, we prove that a minimum counterexample has girth at least 5 and its vertices of degree 2 are at distance at least 3. Motivated by the class of smallest counterexamples, we show that the 2-Decomposition Conjecture holds for graphs whose vertices of degree 3 induce a collection of cacti in which each vertex belongs to a cycle. The core of the proof of this result may possibly be used in an inductive proof of the 2-Decomposition Conjecture based on a parameter that relates the number of vertices of degree 2 and 3 in a minimum counterexample.
The additive-multiplicative distance matrix of a graph, and a novel third invariant
Graham showed with Pollak and Hoffman-Hosoya that for any directed graph $G$ with strong blocks $G_e$, the determinant $\det(D_G)$ and cofactor-sum $cof(D_G)$ of the distance matrix $D_G$ can be computed from the same quantities for the blocks $G_e$. This was extended to trees - and in our recent work to any graph - with multiplicative and $q$-distance matrices. For trees, we went further and unified all previous variants with weights in a unital commutative ring, into a distance matrix with additive and multiplicative edge-data.
In this work: (1) We introduce the additive-multiplicative distance matrix $D_G$ of every strongly connected graph $G$, using what we term the additive-multiplicative block-datum $\mathcal{G}$. This subsumes the previously studied additive, multiplicative, and $q$-distances for all graphs. (2) We introduce an invariant $κ(D_G)$ that seems novel to date, and use it to show "master" Graham-Hoffman-Hosoya (GHH) identities, which express $\det(D_G), cof(D_G)$ in terms of the blocks $G_e$. We show how these imply all previous variants. (3) We show $\det(.), cof(.), κ(.)$ depend only on the block-data for not just $D_G$, but also several minors of $D_G$. This was not studied in any setting to date; we show it in the "most general" additive-multiplicative setting, hence in all known settings. (4) We compute $D_G^{-1}$ in closed-form; this specializes to all known variants. In particular, we recover our previous formula for $D_T^{-1}$ for additive-multiplicative trees (which itself specializes to a result of Graham-Lovasz and answers a 2006 question of Bapat-Lal-Pati.) (5) We also show that not the Laplacian, but a closely related matrix is the "correct" one to use in $D_G^{-1}$ - for the most general additive-multiplicative matrix $D_G$ of each $G$. As examples, we compute in closed form $\det(D_G), cof(D_G), κ(D_G), D_G^{-1}$ for hypertrees.
On the pre- and post-positional semi-random graph processes
Published
• View Publication
• BIB
We study the semi-random graph process, and a variant process recently suggested by Nick Wormald. We show that these two processes are asymptotically equally fast in constructing a semi-random graph $G$ that has property ${\mathcal P}$, for the following examples of ${\mathcal P}$:
- ${\mathcal P}$ is the set of graphs containing a $d$-degenerate subgraph, where $d\ge 1$ is fixed;
- ${\mathcal P}$ is the set of $k$-connected graphs, where $k\ge 1$ is fixed. In particular, our result of the $k$-connectedness above settles the open case $k=2$ of the original semi-random graph process.
We also prove that there exist properties ${\mathcal P}$ where the two semi-random graph processes do not construct a graph in ${\mathcal P}$ asymptotically equally fast. We further propose some conjectures on ${\mathcal P}$ for which the two processes perform differently.
Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice
Published in Ars Math. Contemp. 24(4): 4 (2024)
• View Publication
• BIB
We work with simple graphs in ZF (Zermelo--Fraenkel set theory without the Axiom of Choice (AC)) and assume that the sets of colors can be either well-orderable or non-well-orderable to prove that the following statements are equivalent to Kőnig Lemma: (a) Any infinite locally finite connected graph G such that the minimum degree of G is greater than k, has a chromatic number for any fixed integer k greater than or equal to 2. (b) Any infinite locally finite connected graph has a chromatic index. (c) Any infinite locally finite connected graph has a distinguishing number. (d) Any infinite locally finite connected graph has a distinguishing index.
Our results strengthen some results of Stawiski from a recent paper on the role of the Axiom of Choice in proper and distinguishing colorings since he assumed that the sets of colors can be well-ordered.
We also formulate new conditions for the existence of irreducible proper coloring, minimal edge cover, maximal matching, and minimal dominating set in connected bipartite graphs and locally finite connected graphs, which are either equivalent to AC or Kőnig Lemma. Moreover, we show that if the Axiom of Choice for families of 2 element sets holds, then the Shelah--Soifer graph has a minimal dominating set.
Eccentric graph of trees and their Cartesian products
Published
• View Publication
• BIB
Let $G$ be an undirected simple connected graph. We say a vertex $u$ is eccentric to a vertex $v$ in $G$ if $d(u,v)=\max\{d(v,w): w\in V(G)\}$. The eccentric graph, $E(G)$ of $G$ is a graph defined on the same vertex set as of $G$ and two vertices are adjacent if one is eccentric to the other. We find the structure and the girth of the eccentric graph of trees and see that the girth of the eccentric graph of a tree can either be zero, three, or four. Further, we study the structure of the eccentric graph of the Cartesian product of graphs and prove that the girth of the eccentric graph of the Cartesian product of trees can only be zero, three, four or six. Furthermore, we provide a comprehensive classification when the eccentric girth assumes these values. We also give the structure of the eccentric graph of the grid graphs and the Cartesian product of cycles. Finally, we determine the conditions under which the eccentricity matrix of the Cartesian product of trees becomes invertible.
Bounds on Kemeny's constant of a graph and the Nordhaus-Gaddum problem
Published
• View Publication
• BIB
We study Nordhaus-Gaddum problems for Kemeny's constant $\mathcal{K}(G)$ of a connected graph $G$. We prove bounds on $\min\{\mathcal{K}(G),\mathcal{K}(\overline{G})\}$ and the product $\mathcal{K}(G)\mathcal{K}(\overline{G})$ for various families of graphs. In particular, we show that if the maximum degree of a graph $G$ on $n$ vertices is $n-O(1)$ or $n-Ω(n)$, then $\min\{\mathcal{K}(G),\mathcal{K}(\overline{G})\}$ is at most $O(n)$.
l-connectivity, l-edge-connectivity and spectral radius of graphs
Published
• View Publication
• BIB
Let G be a connected graph. The toughness of G is defined as t(G)=min{\frac{|S|}{c(G-S)}}, in which the minimum is taken over all proper subsets S\subset V(G) such that c(G-S)\geq 2 where c(G-S) denotes the number of components of G-S. Confirming a conjecture of Brouwer, Gu [SIAM J. Discrete Math. 35 (2021) 948--952] proved a tight lower bound on toughness of regular graphs in terms of the second largest absolute eigenvalue. Fan, Lin and Lu [European J. Combin. 110 (2023) 103701] then studied the toughness of simple graphs from the spectral radius perspective. While the toughness is an important concept in graph theory, it is also very interesting to study |S| for which c(G-S)\geq l for a given integer l\geq 2. This leads to the concept of the l-connectivity, which is defined to be the minimum number of vertices of G whose removal produces a disconnected graph with at least l components or a graph with fewer than l vertices. Gu [European J. Combin. 92 (2021) 103255] discovered a lower bound on the l-connectivity of regular graphs via the second largest absolute eigenvalue. As a counterpart, we discover the connection between the l-connectivity of simple graphs and the spectral radius. We also study similar problems for digraphs and an edge version.
Parameters of Quotient-Polynomial Graphs
Published
• View Publication
• BIB
Fiol has characterized quotient-polynomial graphs as precisely the connected graphs whose adjacency matrix generates the adjacency algebra of a symmetric association scheme. We show that a collection of non-negative integer parameters of size $d + \frac{d(d-1)}{2}$ is adequate for describing symmetric association schemes of class $d$ that are generated by the adjacency matrix of their first non-trivial relation. We use this to generate a database of the corresponding quotient-polynomial graphs that have small valency and up to 6 classes, and among these find new feasible parameter sets for symmetric association schemes with noncyclotomic eigenvalues.
Non-$\ell$-distance-balanced generalized Petersen graphs $GP(n,3)$ and $GP(n,4)$
A connected graph $G$ of diameter ${\rm diam}(G) \ge \ell$ is $\ell$-distance-balanced if $|W_{xy}|=|W_{yx}|$ for every $x,y\in V(G)$ with $d_{G}(x,y)=\ell$, where $W_{xy}$ is the set of vertices of $G$ that are closer to $x$ than to $y$. We prove that the generalized Petersen graph $GP(n,3)$ where $n>16$ is not $\ell$-distance-balanced for any $1\le \ell < {\rm diam}(GP(n,3))$, and $GP(n,4)$ where $n>24$ is not $\ell$-distance-balanced for any $1\le \ell < {\rm diam}(GP(n,4))$. This partially solves a conjecture posed by Š. Miklavič and P. Šparl (Discrete Appl. Math. 244:143-154, 2018).
On the third ABC index of trees and unicyclic graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a simple connected graph with vertex set $V(G)$ and edge set $E(G)$. The third atom-bond connectivity index, $ABC_3$ index, of $G$ is defined as $ABC_3(G)=\sum\limits_{uv\in E(G)}\sqrt{\frac{e(u)+e(v)-2}{e(u)e(v)}}$, where eccentricity $e(u)$ is the largest distance between $u$ and any other vertex of $G$, namely $e(u)=\max\{d(u,v)|v\in V(G)\}$. This work determines the maximal $ABC_3$ index of unicyclic graphs with any given girth and trees with any given diameter, and characterizes the corresponding graphs.
Inertia and spectral symmetry of the eccentricity matrices of a class of bi-block graphs
Published
• View Publication
• BIB
The eccentricity matrix of a simple connected graph G is obtained from the distance matrix of G by retaining the largest non-zero distance in each row and column, and the remaining entries are defined to be zero. A bi-block graph is a simple connected graph whose blocks are all complete bipartite graphs with possibly different orders. In this paper, we study the eccentricity matrices of a subclass B (which includes trees) of bi-block graphs. We first find the inertia of the eccentricity matrices of graphs in B, and thereby we characterize graphs in B with odd diameters. Precisely, if G in B with diameter of G greater than three, then we show that the eigenvalues of the eccentricity matrix of G are symmetric with respect to the origin if and only if the diameter of G is odd. Further, we prove that the eccentricity matrices of graphs in B are irreducible.
Thresholds for Pebbling on Grids
Published
• View Publication
• BIB
Given a connected graph $G$ and a configuration of $t$ pebbles on the vertices of G, a $q$-pebbling step consists of removing $q$ pebbles from a vertex, and adding a single pebble to one of its neighbors. Given a vector $\bf{q}=(q_1,\ldots,q_d)$, $\bf{q}$-pebbling consists of allowing $q_i$-pebbling in coordinate $i$. A distribution of pebbles is called solvable if it is possible to transfer at least one pebble to any specified vertex of $G$ via a finite sequence of pebbling steps.
In this paper, we determine the weak threshold for $\bf{q}$-pebbling on the sequence of grids $[n]^d$ for fixed $d$ and $\bf{q}$, as $n\to\infty$. Further, we determine the strong threshold for $q$-pebbling on the sequence of paths of increasing length. A fundamental tool in these proofs is a new notion of centrality, and a sufficient condition for solvability based on the well used pebbling weight functions; we believe this weight lemma to be the first result of its kind, and may be of independent interest.
These theorems improve recent results of Czygrinow and Hurlbert, and Godbole, Jablonski, Salzman, and Wierman. They are the generalizations to the random setting of much earlier results of Chung.
In addition, we give a short counterexample showing that the threshold version of a well known conjecture of Graham does not hold. This uses a result for hypercubes due to Czygrinow and Wagner.
Characterizing the forbidden pairs for graphs to be super-edge-connected
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a set of given connected graphs. A graph $G$ is said to be $\mathcal{H}$-free if $G$ contains no $H$ as an induced subgraph for any $H\in \mathcal{H}$. The graph $G$ is super-edge-connected if each minimum edge-cut isolates a vertex in $G$. In this paper, except for some special graphs, we characterize all forbidden subgraph sets $\mathcal{H}$ such that every $\mathcal{H}$-free is super-edge-connected for $|\mathcal{H}|=1$ and $2$.
Characterising 4-tangles through a connectivity property
Published
• View Publication
• BIB
Every large $k$-connected graph-minor induces a $k$-tangle in its ambient graph. The converse holds for $k\le 3$, but fails for $k\ge 4$. This raises the question whether `$k$-connected' can be relaxed to obtain a characterisation of $k$-tangles through highly cohesive graph-minors. We show that this can be achieved for $k=4$ by proving that internally 4-connected graphs have unique 4-tangles, and that every graph with a 4-tangle $τ$ has an internally 4-connected minor whose unique 4-tangle lifts to $τ$.
Laplacian $\{-1,0,1\}$- and $\{-1,1\}$-diagonalizable graphs
Published in Linear Algebra and its Applications, 704:309-339, 2025
• View Publication
• BIB
A graph is called "Laplacian integral" if the eigenvalues of its Laplacian matrix are all integers. We investigate the subset of these graphs whose Laplacian is furthermore diagonalized by a matrix with entries coming from a fixed set, in particular, the sets $\{-1,0,1\}$ or $\{-1,1\}$. Such graphs include as special cases the recently-investigated families of "Hadamard-diagonalizable" and "weakly Hadamard-diagonalizable" graphs. As a combinatorial tool to aid in our investigation, we introduce a family of vectors that we call "balanced", which generalizes totally balanced partitions, regular sequences, and complete partitions. We show that balanced vectors completely characterize which graph complements and complete multipartite graphs are $\{-1,0,1\}$-diagonalizable, and we furthermore prove results on diagonalizability of the Cartesian product, disjoint union, and join of graphs. Particular attention is paid to the $\{-1,0,1\}$- and $\{-1,1\}$-diagonalizability of the complete graphs and complete multipartite graphs. Finally, we provide a complete list of all simple, connected graphs on nine or fewer vertices that are $\{-1,0,1\}$- or $\{-1,1\}$-diagonalizable.