connected graph
2651 papers tagged with this keyword
Nonlocal Games and Quantum Permutation Groups
Published
• View Publication
• BIB
We present a strong connection between quantum information and quantum permutation groups. Specifically, we define a notion of quantum isomorphisms of graphs based on quantum automorphisms from the theory of quantum groups, and then show that this is equivalent to the previously defined notion of quantum isomorphism corresponding to perfect quantum strategies to the isomorphism game. Moreover, we show that two connected graphs $X$ and $Y$ are quantum isomorphic if and only if there exists $x \in V(X)$ and $y \in V(Y)$ that are in the same orbit of the quantum automorphism group of the disjoint union of $X$ and $Y$. This connection links quantum groups to the more concrete notion of nonlocal games and physically observable quantum behaviours. We exploit this link by using ideas and results from quantum information in order to prove new results about quantum automorphism groups, and about quantum permutation groups more generally. In particular, we show that asymptotically almost surely all graphs have trivial quantum automorphism group. Furthermore, we use examples of quantum isomorphic graphs from previous work to construct an infinite family of graphs which are quantum vertex transitive but fail to be vertex transitive, answering a question from the quantum group literature.
Our main tool for proving these results is the introduction of orbits and orbitals (orbits on ordered pairs) of quantum permutation groups. We show that the orbitals of a quantum permutation group form a coherent configuration/algebra, a notion from the field of algebraic graph theory. We then prove that the elements of this quantum orbital algebra are exactly the matrices that commute with the magic unitary defining the quantum group. We furthermore show that quantum isomorphic graphs admit an isomorphism of their quantum orbital algebras which maps the adjacency matrix of one graph to that of the other.
Non-branching tree-decompositions
We prove that if a graph has a tree-decomposition of width at most w, then it has a tree-decomposition of width at most w with certain desirable properties. We will use this result in a subsequent paper to show that every 2-connected graph of large path-width has a minor isomorphic to either a large tree with a vertex attached to every vertex of the tree or a large outerplanar graph.
The full chracterazation of the graphs with a L-eigenvalue of multiplicity $n-3$
Let $\mathcal{G}(n,k)$ be the set of connected graphs of order $n$ with one of the Laplacian eigenvalue having multiplicity $k$. It is well known that $\mathcal{G}(n,n-1)=\{K_n\}$. The graphs of $\mathcal{G}(n,n-2)$ are determined by Das, and the graphs of $\mathcal{G}(n,n-3)$ with four distinct Laplacian eigenvalues are determined by Mohammadian et al. In this paper, we determine the graphs of $\mathcal{G}(n,n-3)$ with three distinct Laplacian eigenvalues, and then the full characterization of the graphs in $\mathcal{G}(n,n-3)$ is completed.
On density of subgraphs of Cartesian products
Published
• View Publication
• BIB
In this paper, we extend two classical results about the density of subgraphs of hypercubes to subgraphs $G$ of Cartesian products $G_1\times\cdots\times G_m$ of arbitrary connected graphs. Namely, we show that $\frac{|E(G)|}{|V(G)|}\le \lceil 2\max\{ \text{dens}(G_1),\ldots,\text{dens}(G_m)\} \rceil\log|V(G)|$, where $\text{dens}(H)$ is the maximum ratio $\frac{|E(H')|}{|V(H')|}$ over all subgraphs $H'$ of $H$. We introduce the notions of VC-dimension $\text{VC-dim}(G)$ and VC-density $\text{VC-dens}(G)$ of a subgraph $G$ of a Cartesian product $G_1\times\cdots\times G_m$, generalizing the classical Vapnik-Chervonenkis dimension of set-families (viewed as subgraphs of hypercubes). We prove that if $G_1,\ldots,G_m$ belong to the class ${\mathcal G}(H)$ of all finite connected graphs not containing a given graph $H$ as a minor, then for any subgraph $G$ of $G_1\times\cdots\times G_m$ a sharper inequality $\frac{|E(G)|}{|V(G)|}\le \text{VC-dim}(G)α(H)$ holds, where $α(H)$ is the density of the graphs from ${\mathcal G}(H)$. We refine and sharpen those two results to several specific graph classes. We also derive upper bounds (some of them polylogarithmic) for the size of adjacency labeling schemes of subgraphs of Cartesian products.
Spanning closed walks with bounded maximum degrees of graphs on surfaces
Gao and Richter (1994) showed that every $3$-connected graph which embeds on the plane or the projective plane has a spanning closed walk meeting each vertex at most $2$ times. Brunet, Ellingham, Gao, Metzlar, and Richter (1995) extended this result to the torus and Klein bottle. Sanders and Zhao (2001) obtained a sharp result for higher surfaces by proving that every $3$-connected graph embeddable on a surface with Euler characteristic $χ\le -46$ admits a spanning closed walk meeting each vertex at most $\lceil \frac{6-2χ}{3}\rceil$ times. In this paper, we develop these results to the remaining surfaces with Euler characteristic $χ\le 0$.
Inverse Perron values and connectivity of a uniform hypergraph
Published
• View Publication
• BIB
In this paper, we show that a uniform hypergraph $\mathcal{G}$ is connected if and only if one of its inverse Perron values is larger than $0$. We give some bounds on the bipartition width, isoperimetric number and eccentricities of $\mathcal{G}$ in terms of inverse Perron values. By using the inverse Perron values, we give an estimation of the edge connectivity of a $2$-design, and determine the explicit edge connectivity of a symmetric design. Moreover, relations between the inverse Perron values and resistance distance of a connected graph are presented.
The local limit of the uniform spanning tree on dense graphs
Published in Journal of Statistical Physics 173 (2018), no. 3-4, 502-545
• View Publication
• BIB
Let $G$ be a connected graph in which almost all vertices have linear degrees and let $T$ be a uniform spanning tree of $G$. For any fixed rooted tree $F$ of height $r$ we compute the asymptotic density of vertices $v$ for which the $r$-ball around $v$ in $T$ is isomorphic to $F$. We deduce from this that if $\{G_n\}$ is a sequence of such graphs converging to a graphon $W$, then the uniform spanning tree of $G_n$ locally converges to a multi-type branching process defined in terms of $W$.
As an application, we prove that in a graph with linear minimum degree, with high probability, the density of leaves in a uniform spanning tree is at least $1/e-o(1)$, the density of vertices of degree $2$ is at most $1/e+o(1)$ and the density of vertices of degree $k\geq 3$ is at most ${(k-2)^{k-2} \over (k-1)! e^{k-2}} + o(1)$. These bounds are sharp.
Circuit Preserving Edge Maps
Published in Journal of Combinatorial Theory (B) 22, 91-96 (1977)
• View Publication
• BIB
It is proved that any one-to-one edge map f from a 3-connected graph G onto a graph H, G and H possibly infinite, satisfying f(C) is a circuit in H whenever C is a circuit in G is induced by a vertex isomorphism. This generalizes a result of Whitney which hypothesizes f(C) is a circuit in H if and only if C is a circuit in G.
The effect of local majority on global majority in connected graphs
Published
• View Publication
• BIB
Let ${\mathcal G}$ be an infinite family of connected graphs and let $k$ be a positive integer. We say that $k$ is ${\it forcing}$ for ${\mathcal G}$ if for all $G \in {\mathcal G}$ but finitely many, the following holds. Any $\{-1,1\}$-weighing of the edges of $G$ for which all connected subgraphs on $k$ edges are positively weighted implies that $G$ is positively weighted. Otherwise, we say that it is ${\it weakly~forcing}$ for ${\mathcal G}$ if any such weighing implies that the weight of $G$ is bounded from below by a constant. Otherwise we say that $k$ ${\it collapses}$ for ${\mathcal G}$.
We classify $k$ for some of the most prominent classes of graphs, such as all connected graphs, all connected graphs with a given maximum degree and all connected graphs with a given average degree.
Domination structure for number three
From a research of several recent papers, in the first part, we are concerned with domination number in cubic graphs and give a sufficient condition of Reed's conjecture. In the second part, from a perspective, we study the structure of a minimum dominating set in 3-connected graphs. It is derived from a collection of cycles with length 0 mod 3.
Extremal graphs with respect to the total-eccentricity index
Published
• View Publication
• BIB
In a connected graph G, the distance between two vertices of G is the length of a shortest path between these vertices. The eccentricity of a vertex u in G is the largest distance between u and any other vertex of G. The total-eccentricity index τ(G) is the sum of eccentricities of all vertices of G. In this paper, we find extremal trees, unicyclic and bicyclic graphs with respect to total-eccentricity index. Moreover, we find extremal conjugated trees with respect to total-eccentricity index.
On the anti-Kelulé problem of cubic graphs
Published
• View Publication
• BIB
An edge set $S$ of a connected graph $G$ is called an anti-Kekulé set if $G-S$ is connected and has no perfect matchings, where $G-S$ denotes the subgraph obtained by deleting all edges in $S$ from $G$. The anti-Kekulé number of a graph $G$, denoted by $ak(G)$, is the cardinality of a smallest anti-Kekulé set of $G$. It is NP-complete to find the smallest anti-Kekulé set of a graph. In this paper, we show that the anti-Kekulé number of a 2-connected cubic graph is either 3 or 4, and the anti-Kekulé number of a connected cubic bipartite graph is always equal to 4. Furthermore, a polynomial time algorithm is given to find all smallest anti-Kekulé sets of a connected cubic graph.
On k-Total Dominating Graphs
For a graph G, the k-total dominating graph D_{k}^{t}(G) is the graph whose vertices correspond to the total dominating sets of G that have cardinality at most k; two vertices of D_{k}^{t}(G) are adjacent if and only if the corresponding total dominating sets of G differ by either adding or deleting a single vertex. The graph D_{k}^{t}(G) is used to study the reconfiguration problem for total dominating sets: a total dominating set can be reconfigured to another by a sequence of single vertex additions and deletions, such that the intermediate sets of vertices at each step are total dominating sets, if and only if they are in the same component of D_{k}^{t}(G). Let d_{0}(G) be the smallest integer r such that D_{k}^{t}(G) is connected for all k greater than or equal to r. We investigate the realizability of graphs as total dominating graphs. For k the upper total domination number Γ_{t}(G), we show that any graph without isolated vertices is an induced subgraph of a graph G such that D_{k}^{t}(G) is connected. We show that d_{0}(G) lies between Γ_{t}(G) and n (inclusive) for any connected graph G of order n at least 3, characterize the graphs for which either bound is realized, and determine d_{0}(C_{n}) and d_{0}(P_{n}).
Packing coloring of Sierpiński-type graphs
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in \{1,\ldots,k\}$, where each $V_i$ is an $i$-packing. In this paper, we consider the packing chromatic number of several families of Sierpiński-type graphs. While it is known that this number is bounded from above by $8$ in the family of Sierpiński graphs with base $3$, we prove that it is unbounded in the families of Sierpiński graphs with bases greater than $3$. On the other hand, we prove that the packing chromatic number in the family of Sierpiński triangle graphs $ST^n_3$ is bounded from above by $31$. Furthermore, we establish or provide bounds for the packing chromatic numbers of generalized Sierpiński graphs $S^n_G$ with respect to all connected graphs $G$ of order 4.
L(t, 1)-Colouring of Graphs
Published in Turkish World Mathematical Society Journal of Applied and Engineering Mathematics, 12 (1), 2022, 296-301
• Search Publication
One of the most famous applications of Graph Theory is in the field of Channel Assignment Problems. There are varieties of graph colouring concepts that are used for different requirements of frequency assignments in communication channels. We introduce here L(t, 1)-colouring of graphs. This has its foundation in T-colouring and L(p, q)-colouring. For a given finite set T including zero, an L(t, 1)-colouring of a graph G is an assignment of non-negative integers to the vertices of G such that the difference between the colours of adjacent vertices must not belong to the set T and the colours of vertices that are at distance two must be distinct. The variable t in L(t, 1) denotes the elements of the set T. For a graph G, the L(t, 1)-span of G is the minimum of the highest colour used to colour the vertices of a graph out of all the possible L(t, 1)-colourings. It is denoted by $λ_{t,1} (G)$. We study some properties of L(t, 1)-colouring. We also find upper bounds of $λ_{t,1} (G)$ of selected simple connected graphs.
The Second Moment Phenomenon for Monochromatic Subgraphs
Published in SIAM Journal on Discrete Mathematics, Vol. 34 (1), 794-824, 2020
• View Publication
• BIB
What is the chance that among a group of $n$ friends, there are $s$ friends all of whom have the same birthday? This is the celebrated birthday problem which can be formulated as the existence of a monochromatic $s$-clique $K_s$ ($s$-matching birthdays) in the complete graph $K_n$, where every vertex of $K_n$ is uniformly colored with $365$ colors (corresponding to birthdays). More generally, for a general connected graph $H$, let $T(H, G_n)$ be the number of monochromatic copies of $H$ in a uniformly random coloring of the vertices of the graph $G_n$ with $c_n$ colors. In this paper we show that $T(H, G_n)$ converges to $\mathrm{Pois}(λ)$ whenever $\mathbb E T(H, G_n) \rightarrow λ$ and $\mathrm{Var} T(H, G_n) \rightarrow λ$, that is, the asymptotic Poisson distribution of $T(H, G_n)$ is determined just by the convergence of its mean and variance. Moreover, this condition is necessary if and only if $H$ is a star-graph. In fact, the second-moment phenomenon is a consequence of a more general theorem about the convergence of $T(H,G_n)$ to a finite linear combination of independent Poisson random variables. As an application, we derive the limiting distribution of $T(H, G_n)$, when $G_n\sim G(n, p)$ is the Erd\H os-Rényi random graph. Multiple phase-transitions emerge as $p$ varies from 0 to 1, depending on whether the graph $H$ is balanced or unbalanced.
Resolving dominating partitions in graphs
Published
• View Publication
• BIB
A partition $Π=\{S_1,\ldots,S_k\}$ of the vertex set of a connected graph $G$ is called a \emph{resolving partition} of $G$ if for every pair of vertices $u$ and $v$, $d(u,S_j)\neq d(v,S_j)$, for some part $S_j$. The \emph{partition dimension} $β_p(G)$ is the minimum cardinality of a resolving partition of $G$. A resolving partition $Π$ is called \emph{resolving dominating} if for every vertex $v$ of $G$, $d(v,S_j)=1$, for some part $S_j$ of $Π$. The \emph{dominating partition dimension} $η_p(G)$ is the minimum cardinality of a resolving dominating partition of $G$.
In this paper we show, among other results, that $β_p(G) \le η_p(G) \le β_p(G)+1$. We also characterize all connected graphs of order $n\ge7$ satisfying any of the following conditions: $η_p(G)= n$, $η_p(G)= n-1$, $η_p(G)= n-2$ and $β_p(G) = n-2$. Finally, we present some tight Nordhaus-Gaddum bounds for both the partition dimension $β_p(G)$ and the dominating partition dimension $η_p(G)$.
Variations of the cop and robber game on graphs
We prove new theoretical results about several variations of the cop and robber game on graphs. First, we consider a variation of the cop and robber game which is more symmetric called the cop and killer game. We prove for all $c < 1$ that almost all random graphs are stalemate for the cop and killer game, where each edge occurs with probability $p$ such that $\frac{1}{n^{c}} \le p \le 1-\frac{1}{n^{c}}$. We prove that a graph can be killer-win if and only if it has exactly $k\ge 3$ triangles or none at all. We prove that graphs with multiple cycles longer than triangles permit cop-win and killer-win graphs. For $\left(m,n\right)\neq\left(1,5\right)$ and $n\geq4$, we show that there are cop-win and killer-win graphs with $m$ $C_n$s. In addition, we identify game outcomes on specific graph products.
Next, we find a generalized version of Dijkstra's algorithm that can be applied to find the minimal expected capture time and the minimal evasion probability for the cop and gambler game and other variations of graph pursuit.
Finally, we consider a randomized version of the killer that is similar to the gambler. We use the generalization of Dijkstra's algorithm to find optimal strategies for pursuing the random killer. We prove that if $G$ is a connected graph with maximum degree $d$, then the cop can win with probability at least $\frac{\sqrt d}{1+\sqrt d}$ after learning the killer's distribution. In addition, we prove that this bound is tight only on the $\left(d+1\right)$-vertex star, where the killer takes the center with probability $\frac1{1+\sqrt d}$ and each of the other vertices with equal probabilities.
On distance and Laplacian matrices of trees with matrix weights
Published
• View Publication
• BIB
The \emph{distance matrix} of a simple connected graph $G$ is $D(G)=(d_{ij})$, where $d_{ij}$ is the distance between the vertices $i$ and $j$ in $G$. We consider a weighted tree $T$ on $n$ vertices with edge weights are square matrix of same size. The distance $d_{ij}$ between the vertices $i$ and $j$ is the sum of the weight matrices of the edges in the unique path from $i$ to $j$. In this article we establish a characterization for the trees in terms of rank of (matrix) weighted Laplacian matrix associated with it. Then we establish a necessary and sufficient condition for the distance matrix $D$, with matrix weights, to be invertible and the formula for the inverse of $D$, if it exists. Also we study some of the properties of the distance matrices of matrix weighted trees in connection with the Laplacian matrices, g-inverses and eigenvalues.
A Note on Lower Bounds for Induced Ramsey Numbers
Published
• View Publication
• BIB
We say that a graph $F$ strongly arrows a pair of graphs $(G,H)$ if any 2-colouring of its edges with red and blue leads to either a red $G$ or a blue $H$ appearing as induced subgraphs of $F$. The induced Ramsey number, $IR(G,H)$ is defined as the minimum number of vertices of a graph $F$ which strongly arrows a pair $(G,H)$. We will consider two aspects of induced Ramsey numbers. Firstly there will be shown that the lower bound of the induced Ramsey number for a connected graph $G$ with independence number $α$ and a graph $H$ with clique number $ω$ roughly $\frac{ω^2α}{2}$. This bounds is sharp. Moreover we discuss also the case when $G$ is not connected providing also a sharp lower bound which is linear in both parameters