graph
34995 papers tagged with this keyword
Long paths and cycles passing through specified vertices under the average degree condition
Published in Graphs Combin. 32 (2016), no. 1, 279--295
• View Publication
• BIB
Let $G$ be a $k$-connected graph with $k\geq 2$. In this paper we first prove that: For two distinct vertices $x$ and $z$ in $G$, it contains a path passing through its any $k-2$ {specified} vertices with length at least the average degree of the vertices other than $x$ and $z$. Further, with this result, we prove that: If $G$ has $n$ vertices and $m$ edges, then it contains a cycle of length at least $2m/(n-1)$ passing through its any $k-1$ specified vertices. Our results generalize a theorem of Fan on the existence of long paths and a classical theorem of Erdös and Gallai on the existence of long cycles under the average degree condition.
On the Ramsey-Turán numbers of graphs and hypergraphs
Published in Israel Journal of Mathematics, 194, 45-68, 2013
• View Publication
• BIB
Let t be an integer, f(n) a function, and H a graph. Define the t-Ramsey-Turán number of H, RT_t(n, H, f(n)), to be the maximum number of edges in an n-vertex, H-free graph G where f(n) is larger than the maximum number of vertices in a $K_t$-free induced subgraph of G. Erdős, Hajnal, Simonovits, Sós, and Szemerédi posed several open questions about RT_t(n,K_s,o(n)), among them finding the minimum s such that $RT_t(n,K_{t+s},o(n)) = Ω(n^2)$, where it is easy to see that $RT_t(n,K_{t+1},o(n)) = o(n^2)$. In this paper, we answer this question by proving that $RT_t(n,K_{t+2},o(n)) = Ω(n^2)$; our constructions also imply several results on the Ramsey-Turán numbers of hypergraphs.
Weak Separation and Plabic Graphs
Published
• View Publication
• BIB
Leclerc and Zelevinsky described quasicommuting families of quantum minors in terms of a certain combinatorial condition, called weak separation. They conjectured that all maximal by inclusion weakly separated collections of minors have the same cardinality, and that they can be related to each other by a sequence of mutations.
On the other hand, Postnikov studied total positivity on the Grassmannian. He described a stratification of the totally nonnegative Grassmannian into positroid strata, and constructed their parametrization using plabic graphs.
In this paper we link the study of weak separation to plabeic graphs. We extend the notion of weak separation to positroids. We generalize the conjectures of Leclerc and Zelevinsky, and related ones of Scott, and prove them. We show that the maximal weakly separated collections in a positroid are in bijective correspondence with the plabic graphs. This correspondence allows us to use the combinatorial techniques of positroids and plabic graphs to prove the (generalized) purity and mutation connectedness conjectures.
The Bondage Number of Mesh Networks
Published
• View Publication
• BIB
The bondage number $b(G)$ of a nonempty graph $G$ is the smallest number of edges whose removal from $G$ results in a graph with domination number greater than that of $G$. Denote $P_n\times P_m$ be the Cartesian product of two paths $P_n$ and $P_m$. This paper determines that the exact value of $b(P_n\times P_2)$, $b(P_n\times P_3)$ and $b(P_n\times P_4)$ for $n\ge 2$.
Total and paired domination numbers of toroidal meshes
Published
• View Publication
• BIB
Let $G$ be a graph without isolated vertices. The total domination number of $G$ is the minimum number of vertices that can dominate all vertices in $G$, and the paired domination number of $G$ is the minimum number of vertices in a dominating set whose induced subgraph contains a perfect matching. This paper determines the total domination number and the paired domination number of the toroidal meshes, i.e., the Cartesian product of two cycles $C_n$ and $C_m$ for any $n\ge 3$ and $m\in\{3,4\}$, and gives some upper bounds for $n, m\ge 5$.
The total bondage number of grid graphs
Published
• View Publication
• BIB
The total domination number of a graph $G$ without isolated vertices is the minimum number of vertices that dominate all vertices in $G$. The total bondage number $b_t(G)$ of $G$ is the minimum number of edges whose removal enlarges the total domination number. This paper considers grid graphs. An $(n,m)$-grid graph $G_{n,m}$ is defined as the cartesian product of two paths $P_n$ and $P_m$. This paper determines the exact values of $b_t(G_{n,2})$ and $b_t(G_{n,3})$, and establishes some upper bounds of $b_t(G_{n,4})$.
Roman Bondage Number of a Graph
The Roman dominating function on a graph $G=(V,E)$ is a function $f: V\rightarrow\{0,1,2\}$ such that each vertex $x$ with $f(x)=0$ is adjacent to at least one vertex $y$ with $f(y)=2$. The value $f(G)=\sum\limits_{u\in V(G)} f(u)$ is called the weight of $f$. The Roman domination number $γ_{\rm R}(G)$ is defined as the minimum weight of all Roman dominating functions. This paper defines the Roman bondage number $b_{\rm R}(G)$ of a nonempty graph $G=(V,E)$ to be the cardinality among all sets of edges $B\subseteq E$ for which $γ_{\rm R}(G-B)>γ_{\rm R}(G)$. Some bounds are obtained for $b_{\rm R}(G)$, and the exact values are determined for several classes of graphs. Moreover, the decision problem for $b_{\rm R}(G)$ is proved to be NP-hard even for bipartite graphs.
The bondage number of $(n-3)$-regular graphs of order $n$
Let $G=(V,E)$ be a graph. A subset $D\subseteq V$ is a dominating set if every vertex not in $D$ is adjacent to a vertex in $D$. The domination number of $G$ is the smallest cardinality of a dominating set of $G$. The bondage number of a nonempty graph $G$ is the smallest number of edges whose removal from $G$ results in a graph with larger domination number of $G$. In this paper, we determine that the exact value of the bondage number of $(n-3)$-regular graph $G$ of order $n$ is $n-3$.
Roman Bondage Numbers of Some Graphs
A Roman dominating function on a graph $G=(V,E)$ is a function $f: V\to \{0,1,2\}$ satisfying the condition that every vertex $u$ with $f(u)=0$ is adjacent to at least one vertex $v$ with $f(v)=2$. The weight of a Roman dominating function is the value $f(G)=\sum_{u\in V} f(u)$. The Roman domination number of $G$ is the minimum weight of a Roman dominating function on $G$. The Roman bondage number of a nonempty graph $G$ is the minimum number of edges whose removal results in a graph with the Roman domination number larger than that of $G$. This paper determines the exact value of the Roman bondage numbers of two classes of graphs, complete $t$-partite graphs and $(n-3)$-regular graphs with order $n$ for any $n\ge 5$.
Functional limit theorems for random regular graphs
Published in Probab. Theory Related Fields, 156(3-4):921-975, 2013
• View Publication
• BIB
Consider d uniformly random permutation matrices on n labels. Consider the sum of these matrices along with their transposes. The total can be interpreted as the adjacency matrix of a random regular graph of degree 2d on n vertices. We consider limit theorems for various combinatorial and analytical properties of this graph (or the matrix) as n grows to infinity, either when d is kept fixed or grows slowly with n. In a suitable weak convergence framework, we prove that the (finite but growing in length) sequences of the number of short cycles and of cyclically non-backtracking walks converge to distributional limits. We estimate the total variation distance from the limit using Stein's method. As an application of these results we derive limits of linear functionals of the eigenvalues of the adjacency matrix. A key step in this latter derivation is an extension of the Kahn-Szemerédi argument for estimating the second largest eigenvalue for all values of d and n.
The Link Smoothing Game
We introduce a topological combinatorial game called the Link Smoothing Game. The game is played on the shadow of a link diagram and legal moves consist of smoothing precrossings. One player's goal is to keep the diagram connected while the other player's goal is to disconnect the shadow. We make significant progress towards a complete classification of link shadows into outcome classes by capitalizing on the relationship between link shadows and the planar graphs associated to their checkerboard colorings.
Micronuclear Sequences Associated with Assembly Graphs
This paper investigates given an assembly graph, find the possible micronuclear sequences in terms of MDSs and IESs; which represent Hamiltonian polygonal paths. We will consider the orientations of the assembly graph and Hamiltonian polygonal path. To obtain a micronuclear sequence of this path, we will compare orientation of the Hamiltonian polygonal path with respect to the orientation of the assembly graph. We concentrate on two assembly graphs with two 4-valent vertices. These Hamiltonian polygonal paths influence the type of smoothings performed. There are two types of smoothings parallel and non-parallel smoothing. We consider a micronuclear sequence after one smoothing of a vertex.
Pairs of heavy subgraphs for Hamiltonicity of 2-connected graphs
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices. An induced subgraph $H$ of $G$ is called heavy if there exist two nonadjacent vertices in $H$ with degree sum at least $n$ in $G$. We say that $G$ is $H$-heavy if every induced subgraph of $G$ isomorphic to $H$ is heavy. For a family $\mathcal{H}$ of graphs, $G$ is called $\mathcal{H}$-heavy if $G$ is $H$-heavy for every $H\in\mathcal{H}$. In this paper we characterize all connected graphs $R$ and $S$ other than $P_3$ (the path on three vertices) such that every 2-connected $\{R,S\}$-heavy graph is Hamiltonian. This extends several previous results on forbidden subgraph conditions for Hamiltonian graphs.
Immersing complete digraphs
Published
• View Publication
• BIB
We consider the problem of immersing the complete digraph on t vertices in a simple digraph. For Eulerian digraphs, we show that such an immersion always exists whenever minimum degree is at least t(t-1), and for t at most 4 minimum degree at least t-1 suffices. On the other hand, we show that there exist non-Eulerian digraphs with all vertices of arbitrarily high in- and outdegree which do not contain an immersion of the complete digraph on 3 vertices. As a side result, we obtain a construction of digraphs with large outdegree in which all cycles have odd length, simplifying a former construction of such graphs by Thomassen.
On the diameter of permutation groups
Published
• View Publication
• BIB
Given a finite group $G$ and a set $A$ of generators, the diameter diam$(Γ(G,A))$ of the Cayley graph $Γ(G,A)$ is the smallest $\ell$ such that every element of $G$ can be expressed as a word of length at most $\ell$ in $A \cup A^{-1}$. We are concerned with bounding diam(G):= $\max_A$ diam$(Γ(G,A))$.
It has long been conjectured that the diameter of the symmetric group of degree $n$ is polynomially bounded in $n$, but the best previously known upper bound was exponential in $\sqrt{n \log n}$. We give a quasipolynomial upper bound, namely, \[\text{diam}(G) = \exp(O((\log n)^4 \log\log n)) = \exp((\log \log |G|)^{O(1)})\] for G = Sym(n) or G = \Alt(n), where the implied constants are absolute. This addresses a key open case of Babai's conjecture on diameters of simple groups. By standard results, our bound also implies a quasipolynomial upper bound on the diameter of all transitive permutation groups of degree $n$.
The exact maximal energy of integral circulant graphs with prime power order
Published
• View Publication
• BIB
The energy of a graph was introduced by {\sc Gutman} in 1978 as the sum of the absolute values of the eigenvalues of its adjacency matrix. We study the energy of integral circulant graphs, also called gcd graphs, which can be characterized by their vertex count $n$ and a set $\cal D$ of divisors of $n$ in such a way that they have vertex set $\mathbb{Z}/n\mathbb{Z}$ and edge set $\{\{a,b\}:\, a,b\in\mathbb{Z}/n\mathbb{Z},\, \gcd(a-b,n)\in {\cal D}\}$.
Given an arbitrary prime power $p^s$, we determine all divisor sets maximising the energy of an integral circulant graph of order $p^s$. This enables us to compute the maximal energy $\Emax{p^s}$ among all integral circulant graphs of order $p^s$.
A class of quadratic difference equations on a finite graph
We study a class of complex polynomial equations on a finite graph with a view to understanding how holistic phenomena emerge from combinatorial structure. Particular solutions arise from orthogonal projections of regular polytopes, invariant frameworks and cyclic sequences. A set of discrete parameters for which there exist non-trivial solutions leads to the construction of a polynomial invariant and the notion of a geometric spectrum. Geometry then emerges, notably dimension, distance and curvature, from purely combinatorial properties of the graph.
Not All Saturated 3-Forests Are Tight
A basic statement in graph theory is that every inclusion-maximal forest is connected, i.e. a tree. Using a definiton for higher dimensional forests by Graham and Lovasz and the connectivity-related notion of tightness for hypergraphs introduced by Arocha, Bracho and Neumann-Lara in, we provide an example of a saturated, i.e. inclusion-maximal 3-forest that is not tight. This resolves an open problem posed by Strausz.
Loose Laplacian spectra of random hypergraphs
Published
• View Publication
• BIB
Let $H=(V,E)$ be an $r$-uniform hypergraph with the vertex set $V$ and the edge set $E$. For $1\leq s \leq r/2$, we define a weighted graph $G^{(s)}$ on the vertex set ${V\choose s}$ as follows. Every pair of $s$-sets $I$ and $J$ is associated with a weight $w(I,J)$, which is the number of edges in $H$ passing through $I$ and $J$ if $I\cap J=\emptyset$, and 0 if $I\cap J\not=\emptyset$. The $s$-th Laplacian $Ł^{(s)}$ of $H$ is defined to be the normalized Laplacian of $G^{(s)}$. The eigenvalues of $\mathcal L^{(s)}$ are listed as $λ^{(s)}_0, λ^{(s)}_1,..., λ^{(s)}_{{n\choose s}-1}$ in non-decreasing order. Let $\barλ^{(s)}(H)=\max_{i\not=0}\{|1-λ^{(s)}_i|\}$. The parameters $\barλ^{(s)}(H)$ and $λ^{(s)}_1(H)$, which were introduced in our previous paper, have a number of connections to the mixing rate of high-ordered random walks, the generalized distances/diameters, and the edge expansions.
For $0< p<1$, let $H^r(n,p)$ be a random $r$-uniform hypergraph over $[n]:={1,2,..., n}$, where each $r$-set of $[n]$ has probability $p$ to be an edge independently. For $1 \leq s \leq r/2$, $p(1-p)\gg \frac{\log^4 n}{n^{r-s}}$, and $1-p\gg \frac{\log n}{n^2}$, we prove that almost surely $$\barλ^{(s)}(H^r(n,p))\leq \frac{s}{n-s}+ (3+o(1))\sqrt{\frac{1-p}{{n-s\choose r-s}p}}.$$ We also prove that the empirical distribution of the eigenvalues of $Ł^{(s)}$ for $H^r(n,p)$ follows the Semicircle Law if $p(1-p)\gg \frac{\log^{1/3} n}{n^{r-s}}$ and $1-p\gg \frac{\log n}{n^{2+2r-2s}}$.
Decompositions of Complete Multipartite Graphs into Complete Graphs
Let $k\geq\ell\geq1$ and $n\geq 1$ be integers. Let $G(k,n)$ be the complete $k$-partite graph with $n$ vertices in each colour class. An $\ell$-decomposition of $G(k,n)$ is a set $X$ of copies of $K_k$ in $G(k,n)$ such that each copy of $K_\ell$ in $G(k,n)$ is a subgraph of exactly one copy of $K_k$ in $X$. This paper asks: when does $G(k,n)$ have an $\ell$-decomposition? The answer is well known for the $\ell=2$ case. In particular, $G(k,n)$ has a 2-decomposition if and only if there exists $k-2$ mutually orthogonal Latin squares of order $n$. For general $\ell$, we prove that $G(k,n)$ has an $\ell$-decomposition if and only if there are $k-\ell$ Latin cubes of dimension $\ell$ and order $n$, with an additional property that we call mutually invertible. This property is stronger than being mutually orthogonal. An $\ell$-decomposition of $G(k,n)$ is then constructed whenever no prime less than $k$ divides $n$.