graph
35150 papers tagged with this keyword
Majorization under constraints and bounds of the second Zagreb index
Published in Mathematical Inequalities and Applications 16 (2) (2013) 329-347
• View Publication
• BIB
In this paper we present a theoretical analysis in order to establish maximal and minimal vectors with respect to the majorization order of particular subsets of \Re ^n: Afterwards we apply these issues to the calcula- tion of bounds for a topological descriptor of a graph known as the second Zagreb index. Finally, we show how our bounds may improve the re- sults obtained in the literature, providing some theoretical and numerical examples.
List version of ($p$,1)-total labellings
The ($p$,1)-total number $λ_p^T(G)$ of a graph $G$ is the width of the smallest range of integers that suffices to label the vertices and the edges of $G$ such that no two adjacent vertices have the same label, no two incident edges have the same label and the difference between the labels of a vertex and its incident edges is at least $p$. In this paper we consider the list version. Let $L(x)$ be a list of possible colors for all $x\in V(G)\cup E(G)$. Define $C_{p,1}^T(G)$ to be the smallest integer $k$ such that for every list assignment with $|L(x)|=k$ for all $x\in V(G)\cup E(G)$, $G$ has a ($p$,1)-total labelling $c$ such that $c(x)\in L(x)$ for all $x\in V(G)\cup E(G)$. We call $C_{p,1}^T(G)$ the ($p$,1)-total labelling choosability and $G$ is list $L$-($p$,1)-total labelable.
In this paper, we present a conjecture on the upper bound of $C_{p,1}^T$. Furthermore, we study this parameter for paths and trees in Section 2. We also prove that $C_{p,1}^T(K_{1,n})\leq n+2p-1$ for star $K_{1,n}$ with $p\geq2, n\geq3$ in Section 3 and $C_{p,1}^T(G)\leq Δ+2p-1$ for outerplanar graph with $Δ\geq p+3$ in Section 4.
(2,1)-Total labeling of planar graphs with large maximum degree
Published
• View Publication
• BIB
The ($d$,1)-total labelling of graphs was introduced by Havet and Yu. In this paper, we prove that, for planar graph $G$ with maximum degree $Δ\geq12$ and $d=2$, the (2,1)-total labelling number $λ_2^T(G)$ is at most $Δ+2$.
Independent sets in chain cacti
In this paper chain cacti are considered. First, for two specific classes of chain cacti (orto-chains and meta-chains of cycles with h vertices) the recurrence relation for independence polynomial is derived. That recurrence relation is then used in deriving explicit expressions for independence number and number of maximum independent sets for such chains. Also, the recurrence relation for total number of independent sets for such graphs is derived. Finaly, the proof is provided that orto-chains and meta-chains are the only extremal chain cacti with respect to total number of independent sets (orto-chains minimal and meta-chains maximal).
On the super connectivity of Kronecker products of graphs
Published
• View Publication
• BIB
In this paper we present the super connectivity of Kronecker product of a general graph and a complete graph.
Treewidth of Cartesian Products of Highly Connected Graphs
Published in J. Graph Theory 73.3:318-321, 2013
• View Publication
• BIB
The following theorem is proved: For all $k$-connected graphs $G$ and $H$ each with at least $n$ vertices, the treewidth of the cartesian product of $G$ and $H$ is at least $k(n -2k+2)-1$. For $n\gg k$ this lower bound is asymptotically tight for particular graphs $G$ and $H$. This theorem generalises a well known result about the treewidth of planar grid graphs.
Connectivity and tree structure in finite graphs
Published in Combinatorica 34 (2014), pp 11-46
• View Publication
• BIB
Considering systems of separations in a graph that separate every pair of a given set of vertex sets that are themselves not separated by these separations, we determine conditions under which such a separation system contains a nested subsystem that still separates those sets and is invariant under the automorphisms of the graph.
As an application, we show that the $k$-blocks -- the maximal vertex sets that cannot be separated by at most $k$ vertices -- of a graph $G$ live in distinct parts of a suitable tree-decomposition of $G$ of adhesion at most $k$, whose decomposition tree is invariant under the automorphisms of $G$. This extends recent work of Dunwoody and Krön and, like theirs, generalizes a similar theorem of Tutte for $k=2$.
Under mild additional assumptions, which are necessary, our decompositions can be combined into one overall tree-decomposition that distinguishes, for all $k$ simultaneously, all the $k$-blocks of a finite graph.
KKR type bijection for the exceptional affine algebra E_6^{(1)}
Published
• View Publication
• BIB
For the exceptional affine type E_6^{(1)} we establish a statistic-preserving bijection between the highest weight paths consisting of the simplest Kirillov-Reshetikhin crystal and the rigged configurations. The algorithm only uses the structure of the crystal graph, hence could also be applied to other exceptional types.
List (d,1)-total labelling of graphs embedded in surfaces
The (d,1)-total labelling of graphs was introduced by Havet and Yu. In this paper, we consider the list version of (d,1)-total labelling of graphs. Let G be a graph embedded in a surface with Euler characteristic $ε$ whose maximum degree $Δ(G)$ is sufficiently large. We prove that the (d,1)-total choosability $C_{d,1}^T(G)$ of $G$ is at most $Δ(G)+2d$.
Generating p-extremal graphs
Define f(n,p) to be the maximum number of edges in a graph on n vertices with p perfect matchings. Dudek and Schmitt proved there exist constants n_p and c_p so that for even n >= n_p, f(n,p) = (n^2)/4+c_p. A graph is p-extremal if it has p perfect matchings and (n^2)/4+c_p edges. Based on Lovasz's Two Ear Theorem and structural results of Hartke, Stolee, West, and Yancey, we develop a computational method for determining c_p and generating the finite set of graphs which describe the infinite family of p-extremal graphs. This method extends the knowledge of the size and structure of p-extremal graphs from p <= 10 to p <= 27. These values provide further evidence towards a conjectured upper bound and prove the sequence c_p is not monotonic.
Iteration Index of a Zero Forcing Set in a Graph
Published in Bull. Inst. Combin. Appl. Vol. 64 (2012) pp. 57-72
• Search Publication
Let each vertex of a graph G = (V(G), E(G)) be given one of two colors, say, "black" and "white". Let Z denote the (initial) set of black vertices of G. The color-change rule converts the color of a vertex from white to black if the white vertex is the only white neighbor of a black vertex. The set Z is said to be a zero forcing set of G if all vertices of G will be turned black after finitely many applications of the color-change rule. The zero forcing number of G is the minimum of |Z| over all zero forcing sets Z \subseteq V (G). Zero forcing parameters have been studied and applied to the minimum rank problem for graphs in numerous articles. We define the iteration index of a zero forcing set of a graph G to be the number of (global) applications of the color-change rule required to turn all vertices of G black; this leads to a new graph invariant, the iteration index of G - it is the minimum of iteration indices of all minimum zero forcing sets of G. We present some basic properties of the iteration index and discuss some preliminary results on certain graphs.
Tverberg's theorem and graph coloring
The topological Tverberg theorem has been generalized in several directions by setting extra restrictions on the Tverberg partitions.
Restricted Tverberg partitions, defined by the idea that certain points cannot be in the same part, are encoded with graphs. When two points are adjacent in the graph, they are not in the same part. If the restrictions are too harsh, then the topological Tverberg theorem fails. The colored Tverberg theorem corresponds to graphs constructed as disjoint unions of small complete graphs. Hell studied the case of paths and cycles.
In graph theory these partitions are usually viewed as graph colorings. As explored by Aharoni, Haxell, Meshulam and others there are fundamental connections between several notions of graph colorings and topological combinatorics.
For ordinary graph colorings it is enough to require that the number of colors q satisfy q>Delta, where Delta is the maximal degree of the graph. It was proven by the first author using equivariant topology that if q>Δ^2 then the topological Tverberg theorem still works. It is conjectured that q>KΔis also enough for some constant K, and in this paper we prove a fixed-parameter version of that conjecture.
The required topological connectivity results are proven with shellability, which also strengthens some previous partial results where the topological connectivity was proven with the nerve lemma.
Testing Odd-Cycle-Freeness in Boolean Functions
Published
• View Publication
• BIB
Call a function f : F_2^n -> {0,1} odd-cycle-free if there are no x_1, ..., x_k in F_2^n with k an odd integer such that f(x_1) = ... = f(x_k) = 1 and x_1 + ... + x_k = 0. We show that one can distinguish odd-cycle-free functions from those eps-far from being odd-cycle-free by making poly(1/eps) queries to an evaluation oracle. To obtain this result, we use connections between basic Fourier analysis and spectral graph theory to show that one can reduce testing odd-cycle-freeness of Boolean functions to testing bipartiteness of dense graphs. Our work forms part of a recent sequence of works that shows connections between testability of properties of Boolean functions and of graph properties. We also prove that there is a canonical tester for odd-cycle-freeness making poly(1/eps) queries, meaning that the testing algorithm operates by picking a random linear subspace of dimension O(log 1/eps) and then checking if the restriction of the function to the subspace is odd-cycle-free or not. The test is analyzed by studying the effect of random subspace restriction on the Fourier coefficients of a function. Our work implies that testing odd-cycle-freeness using a canonical tester instead of an arbitrary tester incurs no more than a polynomial blowup in the query complexity. The question of whether a canonical tester with polynomial blowup exists for all linear-invariant properties remains an open problem.
Vertex coloring of plane graphs with nonrepetitive boundary paths
Published in Journal of Graph Theory, 2012
• View Publication
• BIB
A sequence $s_1,s_2,...,s_k,s_1,s_2,...,s_k$ is a repetition. A sequence $S$ is nonrepetitive, if no subsequence of consecutive terms of $S$ form a repetition. Let $G$ be a vertex colored graph. A path of $G$ is nonrepetitive, if the sequence of colors on its vertices is nonrepetitive. If $G$ is a plane graph, then a facial nonrepetitive vertex coloring of $G$ is a vertex coloring such that any facial path is nonrepetitive. Let $π_f(G)$ denote the minimum number of colors of a facial nonrepetitive vertex coloring of $G$. Jendro\vl and Harant posed a conjecture that $π_f(G)$ can be bounded from above by a constant. We prove that $π_f(G)\le 24$ for any plane graph $G$.
Rainbow connection number, bridges and radius
Published
• View Publication
• BIB
Let $G$ be a connected graph. The notion \emph{the rainbow connection number $rc(G)$} of a graph $G$ was introduced recently by Chartrand et al. Basavaraju et al. showed that for every bridgeless graph $G$ with radius $r$, $rc(G)\leq r(r+2)$, and the bound is tight. In this paper, we prove that if $G$ is a connected graph, and $D^{k}$ is a connected $k$-step dominating set of $G$, then $G$ has a connected $(k-1)$-step dominating set $D^{k-1}\supset D^{k}$ such that $rc(G[D^{k-1}])\leq rc(G[D^{k}])+\max\{2k+1,b_k\}$, where $b_k$ is the number of bridges in $ E(D^{k}, N(D^{k}))$. Furthermore, for a connected graph $G$ with radius $r$, let $u$ be the center of $G$, and $D^{r}=\{u\}$. Then $G$ has $r-1$ connected dominating sets $ D^{r-1}, D^{r-2},..., D^{1}$ satisfying $D^{r}\subset D^{r-1}\subset D^{r-2} ...\subset D^{1}\subset D^{0}=V(G)$, and $rc(G)\leq \sum_{i=1}^{r}\max\{2i+1,b_i\}$, where $b_i$ is the number of bridges in $ E(D^{i}, N(D^{i})), 1\leq i \leq r$. From the result, we can get that if for all $1\leq i\leq r, b_i\leq 2i+1$, then $rc(G)\leq \sum_{i=1}^{r}(2i+1)= r(r+2)$; if for all $1\leq i\leq r, b_i> 2i+1$, then $rc(G)= \sum_{i=1}^{r}b_i$, the number of bridges of $G$. This generalizes the result of Basavaraju et al.
On a conjecture of Brouwer involving the connectivity of strongly regular graphs
Published
• View Publication
• BIB
In this paper, we study a conjecture of Andries E. Brouwer from 1996 regarding the minimum number of vertices of a strongly regular graph whose removal disconnects the graph into non-singleton components.
We show that strongly regular graphs constructed from copolar spaces and from the more general spaces called $Δ$-spaces are counterexamples to Brouwer's Conjecture. Using J.I. Hall's characterization of finite reduced copolar spaces, we find that the triangular graphs $T(m)$, the symplectic graphs $Sp(2r,q)$ over the field $\mathbb{F}_q$ (for any $q$ prime power), and the strongly regular graphs constructed from the hyperbolic quadrics $O^{+}(2r,2)$ and from the elliptic quadrics $O^{-}(2r,2)$ over the field $\mathbb{F}_2$, respectively, are counterexamples to Brouwer's Conjecture. For each of these graphs, we determine precisely the minimum number of vertices whose removal disconnects the graph into non-singleton components. While we are not aware of an analogue of Hall's characterization theorem for $Δ$-spaces, we show that complements of the point graphs of certain finite generalized quadrangles are point graphs of $Δ$-spaces and thus, yield other counterexamples to Brouwer's Conjecture.
We prove that Brouwer's Conjecture is true for many families of strongly regular graphs including the conference graphs, the generalized quadrangles $GQ(q,q)$ graphs, the lattice graphs, the Latin square graphs, the strongly regular graphs with smallest eigenvalue -2 (except the triangular graphs) and the primitive strongly regular graphs with at most 30 vertices except for few cases.
We leave as an open problem determining the best general lower bound for the minimum size of a disconnecting set of vertices of a strongly regular graph, whose removal disconnects the graph into non-singleton components.
Results on the intersection graphs of subspaces of a vector space
For a vector space $V$ the \emph{intersection graph of subspaces} of $V$, denoted by $G(V)$, is the graph whose vertices are in a one-to-one correspondence with proper nontrivial subspaces of $V$ and two distinct vertices are adjacent if and only if the corresponding subspaces of $V$ have a nontrivial (nonzero) intersection. In this paper, we study the clique number, the chromatic number, the domination number and the independence number of the intersection graphs of subspaces of a vector space.
Generalizations and Variants of the Largest Non-crossing Matching Problem in Random Bipartite Graphs
We are interested in the statistics of the length of the longest increasing subsequence of 2-rowed lexicographically sorted arrays chosen according to distinct families of distributions D = (D_n)_n, and when n goes to infinity. This framework encompasses well studied problems such as the so called Longest Increasing Subsequence problem, the Longest Common Subsequence problem, problems concerning directed bond percolation models, among others. We define several natural families of distinct distributions and characterize the asymptotic behavior of the expected length of a longest increasing subsequence chosen according to them. In particular, we consider generalizations to d-rowed arrays as well as symmetry restricted two-rowed arrays.
Linear Systems on Edge-Weighted Graphs
Published in Rocky Mountain J. Math. Volume 46, Number 5 (2016), 1559-1574
• View Publication
• BIB
Let R be any subring of the reals. We present a generalization of linear systems on graphs where divisors are R-valued functions on the set of vertices and graph edges are permitted to have nonegative weights in R. Using this generalization, we provide an independent proof of a Riemann-Roch formula, which implies the Riemann-Roch formula of Baker and Norine.
Non-three-colorable common graphs exist
Published in Combin. Probab. Comput. 21 (2012), no. 5, 734-742
• View Publication
• BIB
A graph H is called common if the total number of copies of H in every graph and its complement asymptotically minimizes for random graphs. A former conjecture of Burr and Rosta, extending a conjecture of Erdos asserted that every graph is common. Thomason disproved both conjectures by showing that the complete graph of order four is not common. It is now known that in fact the common graphs are very rare. Answering a question of Sidorenko and of Jagger, Stovicek and Thomason from 1996 we show that the 5-wheel is common. This provides the first example of a common graph that is not three-colorable.