graph
34995 papers tagged with this keyword
Turàn numbers of Multiple Paths and Equibipartite Trees
Published in Combinatorics, Probability and Computing 20 (2011), 837 - 853
• View Publication
• BIB
The Turán number of a graph H, ex(n;H), is the maximum number of edges in any graph on n vertices which does not contain H as a subgraph. Let P_l denote a path on l vertices, and kP_l denote k vertex-disjoint copies of P_l. We determine ex(n, kP_3) for n appropriately large, answering in the positive a conjecture of Gorgol. Further, we determine ex (n, kP_l) for arbitrary l, and n appropriately large relative to k and l. We provide some background on the famous Erdős-Sós conjecture, and conditional on its truth we determine ex(n;H) when H is an equibipartite forest, for appropriately large n.
On the extremal energy of integral weighted trees
Published
• View Publication
• BIB
Let ${\mathcal T}(n,m)$ and ${\mathcal F}(n,m)$ denote the classes of weighted trees and forests, respectively, of order $n$ with the positive integral weights and the fixed total weight sum $m$, respectively. In this paper, we determine the minimum energies for both the classes ${\mathcal T}(n,m)$ and ${\mathcal F}(n,m)$. We also determine the maximum energy for the class ${\mathcal F}(n,m)$. In all cases, we characterize the weighted graphs whose energies reach these extremal values. We also solve the similar maximum energy and minimum energy problems for the classes of (0,1) weighted trees and forests.
On fixing boundary points of transitive hyperbolic graphs
Published
• View Publication
• BIB
We show that there is no 1-ended, planar, hyperbolic graph such that the stabilizer of one of its hyperbolic boundary points acts transitively on the vertices of the graph. This gives a partial answer to a question by Kaimanovich and Woess.
The k-Tuple Domatic Number of a Graph
Published in Caspian Journal of Mathematical Sciences, Volume 2, Issue 2 (2013) 105-112
• Search Publication
For every positive integer $k$, a set $S$ of vertices in a graph $G=(V,E)$ is a $k$-tuple dominating set of $G$ if every vertex of $V-S$ is adjacent to least $k$ vertices and every vertex of $S$ is adjacent to least $k-1$ vertices in $S$. The minimum cardinality of a $k$-tuple dominating set of $G$ is the $k$-tuple domination number of $G$. When $k=1$, a $k$-tuple domination number is the well-studied domination number. We define the $k$-tuple domatic number of $G$ as the largest number of sets in a partition of $V$ into $k$-tuple dominating sets. Recall that when $k=1$, a $k$-tuple domatic number is the well-studied domatic number. In this work, we derive basic properties and bounds for the $k$-tuple domatic number.
k-tuple total restrained domination and k-tuple total restrained domatic in graphs
Published in BUll. Iranian Math. Soc. Vol 40 (2014) No. 3 pp.751-763
• Search Publication
Let $G$ be a graph of order $n$ and size $m$ and let $k\geq 1$ be an integer. A $k$-tuple total dominating set in $G$ is called a $k$-tuple total restrained dominating set of $G$ if each vertex $x\in V(G)-S$ is adjacent to at least $k$ vertices of $V(G)-S$. The minimum number of vertices of a such sets in $G$ are the $k$-tuple total restrained domination number $γ_{\times k,t}^{r}(G)$ of $G$. The maximum number of classes of a partition of $V(G)$ such that its all classes are $k$-tuple total restrained dominating sets in $G$, is called the $k$-tuple total restrained domatic number of $G$.
In this manuscript, we first find $γ_{\times k,t}^{r}(G)$, when $G$ is complete graph, cycle, bipartite graph and the complement of path or cycle. Also we will find bounds for this number when $G$ is a complete multipartite graph. Then we will know the structure of graphs $G$ which $γ_{\times k,t}^{r}(G)=m$, for some $m\geq k+1$ and give upper and lower bounds for $γ_{\times k,t}^{r}(G)$, when $G$ is an arbitrary graph. Next, we mainly present basic properties of the $k$-tuple total restrained domatic number of a graph and give bounds for it. Finally we give bounds for the $k$-tuple total restrained domination number of the complementary prism $G\bar{G}$ in terms on the similar number of $G$ and $\bar{G}$ when $G$ is a regular graph or an arbitrary graph. And then we calculate it when $G$ is cycle or path.
Core-Free, Rank Two Coset Geometries from Edge-Transitive Bipartite Graphs
Published
• View Publication
• BIB
It is known that the Levi graph of any rank two coset geometry is an edge-transitive graph, and thus coset geometries can be used to construct many edge transitive graphs. In this paper, we consider the reverse direction. Starting from edge- transitive graphs, we construct all associated core-free, rank two coset geometries. In particular, we focus on 3-valent and 4-valent graphs, and are able to construct coset geometries arising from these graphs. We summarize many properties of these coset geometries in a sequence of tables; in the 4-valent case we restrict to graphs that have relatively small vertex-stabilizers.
On a diameter bound for Cayley graphs generated by transposition trees
Published
• View Publication
• BIB
Let $Γ$ be a Cayley graph generated by a transposition tree. A natural problem is to understand how the properties of the Cayley graph depend on those of the underlying transposition tree. We focus here on diameter and distance related questions. We examine some related bounds and prove some properties about them.
This paper has been withdrawn and a new version with these results and further extensions is at abs/1111.3114
Isometric embeddings of half-cube graphs in half-spin Grassmannians
Published
• View Publication
• BIB
Let $Π$ be a polar space of type $\textsf{D}_{n}$. Denote by ${\mathcal G}_δ(Π)$, $δ\in \{+,-\}$ the associated half-spin Grassmannians and write $Γ_δ(Π)$ for the corresponding half-spin Grassmann graphs. In the case when $n\ge 4$ is even, the apartments of ${\mathcal G}_δ(Π)$ will be characterized as the images of isometric embeddings of the half-cube graph $\frac{1}{2}H_n$ in $Γ_δ(Π)$. As an application, we describe all isometric embeddings of $Γ_δ(Π)$ in the half-spin Grassmann graphs associated to a polar space of type $\textsf{D}_{n'}$ under the assumption that $n\ge 6$ is even.
A contribution to the second neighborhood problem
Published in Graphs and Combinatorics 29:1365-1375 (2013)
• View Publication
• BIB
Seymour's Second Neighborhood Conjecture asserts that every digraph (without digons) has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. It is proved for tournaments, tournaments missing a matching and tournaments missing a generalized star. We prove this conjecture for classes of digraphs whose missing graph is a comb, a complete graph minus 2 independent edges, or a complete graph minus the edges of a cycle of length 5.
About The Second Neighborhood Problem in Tournaments Missing Disjoint Stars
Published in Electronic Journal of Graph Theory and its Applications 4 (2): 178-189 (2016)
• View Publication
• BIB
We prove Seymour's Second Neighborhood Conjecture when the missing graph is disjoint stars under some conditions. Weaker conditions are required when n=2 or 3. In some cases, we exhibit two vertices with the desired property.
A note on Brill-Noether thoery and rank determining sets for metric graphs
Published in Int. Math. Res. Not. IMRN (2012), no. 23, 5484-5504
• View Publication
• BIB
We produce open subsets of the moduli space of metric graphs without separating edges where the dimensions of Brill-Noether loci are larger than the corresponding Brill-Noether numbers. These graphs also have minimal rank determining sets that are larger than expected, giving couterexamples to a conjecture of Luo. Furthermore, limits of these graphs have Brill-Noether loci of the expected dimension, so dimensions of Brill-Noether loci of metric graphs do not vary upper semicontinuously in families. Motivated by these examples, we study a notion of rank for the Brill-Noether locus of a metric graph, closely analogous to the Baker-Norine definition of the rank of a divisor. We show that ranks of Brill-Noether loci vary upper semicontinuously in families of metric graphs and are related to dimensions of Brill-Noether loci of algebraic curves by a specialization inequality.
Properties of Generalized Derangement Graphs
Published
• View Publication
• BIB
A permutation sigma in Sn is a k-derangement if for any subset X = {a1, . . ., ak} \subseteq [n], {sigma(a1), . . ., sigma(ak)} is not equal to X. One can form the k-derangement graph on the set of permutations of Sn by connecting two permutations sigma and tau if sigma(tau)^-1 is a k-derangement. We characterize when such a graph is connected or Eulerian. For n an odd prime power, we determine the independence, clique and chromatic number of the 2-derangement graph.
A Penrose polynomial for embedded graphs
Published in European J. Combin. 34 (2013) 424-445
• View Publication
• BIB
We extend the Penrose polynomial, originally defined only for plane graphs, to graphs embedded in arbitrary surfaces. Considering this Penrose polynomial of embedded graphs leads to new identities and relations for the Penrose polynomial which can not be realized within the class of plane graphs. In particular, by exploiting connections with the transition polynomial and the ribbon group action, we find a deletion-contraction-type relation for the Penrose polynomial. We relate the Penrose polynomial of an orientable checkerboard colourable graph to the circuit partition polynomial of its medial graph and use this to find new combinatorial interpretations of the Penrose polynomial. We also show that the Penrose polynomial of a plane graph G can be expressed as a sum of chromatic polynomials of twisted duals of G. This allows us to obtain a new reformulation of the Four Colour Theorem.
Walks on Free Groups and other Stories -- twelve years later
Published in Illinois Journal of Mathematics vol 54 (Spring 2010), pp 327-370
• View Publication
• BIB
We start by studying the distribution of (cyclically reduced) elements of the free groups Fn with respect to their abelianization (or equivalently, their integer homology class. We derive an explicit generating function, and a limiting distribution, by means of certain results (of independent interest) on Chebyshev polynomials; we also prove that the reductions modulo an arbitrary prime of these classes are asymptotically equidistributed, and we study the deviation from equidistribution. We extend our techniques to a more general setting and use them to study the statistical properties of long cycles (and paths) on regular (directed and undirected) graphs. We return to the free group to study some growth functions of the number of conjugacy classes as a function of their cyclically reduced length.
(1,λ)-embedded graphs and the acyclic edge choosability
Published
• View Publication
• BIB
A (1,λ)-embedded graph is a graph that can be embedded on a surface with Euler characteristic λ so that each edge is crossed by at most one other edge. A graph G is called α-linear if there exists an integral constant β such that e(G') \leq α v(G')+β for each G'\subseteq G. In this paper, it is shown that every (1,λ)-embedded graph G is 4-linear for all possible λ, and is acyclicly edge-(3Δ(G)+70)-choosable for λ=1,2.
Pattern polynomial graphs
Published
• View Publication
• BIB
A graph $X$ is said to be a pattern polynomial graph if its adjacency algebra is a coherent algebra. In this study we will find a necessary and sufficient condition for a graph to be a pattern polynomial graph. Some of the properties of the graphs which are polynomials in the pattern polynomial graph have been studied. We also identify known graph classes which are pattern polynomial graphs.
Distinguishability of infinite groups and graphs
Published in Electronic Journal of Combinatorics, Volume 19, Issue 2 (2012) #P27
• View Publication
• BIB
The {\em distinguishing number} of a group $G$ acting faithfully on a set $V$ is the least number of colors needed to color the elements of $V$ so that no non-identity element of the group preserves the coloring. The {\em distinguishing number} of a graph is the distinguishing number of its full automorphism group acting on its vertex set. A connected graph $Γ$ is said to have {\em connectivity 1} if there exists a vertex $α\in VΓ$ such that $Γ\setminus \{α\}$ is not connected. For $α\in V$, an orbit of the point stabilizer $G_α$ is called a {\em suborbit} of $G$.
We prove that every connected primitive graph with infinite diameter and countably many vertices has distinguishing number 2. Consequently, any infinite, connected, primitive, locally finite graph is 2-distinguishable; so, too, is any infinite primitive group with finite suborbits. We also show that all denumerable vertex-transitive graphs of connectivity 1 and all Cartesian products of connected denumerable graphs of infinite diameter have distinguishing number 2. All of our results follow directly from a versatile lemma which we call The Distinct Spheres Lemma.
Spectra of Uniform Hypergraphs
Published
• View Publication
• BIB
We present a spectral theory of hypergraphs that closely parallels Spectral Graph Theory. A number of recent developments building upon classical work has led to a rich understanding of "hyperdeterminants" of hypermatrices, a.k.a. multidimensional arrays. Hyperdeterminants share many properties with determinants, but the context of multilinear algebra is substantially more complicated than the linear algebra required to address Spectral Graph Theory (i.e., ordinary matrices). Nonetheless, it is possible to define eigenvalues of a hypermatrix via its characteristic polynomial as well as variationally. We apply this notion to the "adjacency hypermatrix" of a uniform hypergraph, and prove a number of natural analogues of basic results in Spectral Graph Theory. Open problems abound, and we present a number of directions for further study.
Logic circuits from zero forcing
Published in Nat Comput 14, 485 (2015)
• View Publication
• BIB
We design logic circuits based on the notion of zero forcing on graphs; each gate of the circuits is a gadget in which zero forcing is performed. We show that such circuits can evaluate every monotone Boolean function. By using two vertices to encode each logical bit, we obtain universal computation. We also highlight a phenomenon of "back forcing" as a property of each function. Such a phenomenon occurs in a circuit when the input of gates which have been already used at a given time step is further modified by a computation actually performed at a later stage. Finally, we point out that zero forcing can be also used to implement reversible computation. The model introduced here provides a potentially new tool in the analysis of Boolean functions, with particular attention to monotonicity.
Note on the minimal size of a graph with generalized connectivity kappa_3= 2
The concept of generalized $k$-connectivity $κ_{k}(G)$ of a graph $G$ was introduced by Chartrand et al. in recent years. In our early paper, extremal theory for this graph parameter was started. We determined the minimal number of edges of a graph of order $n$ with $κ_{3}= 2$, i.e., for a graph $G$ of order $n$ and size $e(G)$ with $κ_{3}(G)= 2$, we proved that $e(G)\geq (6/5)n$, and the lower bound is sharp by constructing a class of graphs, only for $n\equiv 0 \ (mod \ 5)$ and $n\neq 10$. In this paper, we improve the lower bound to $\lceil(6/5)n\rceil$. Moreover, we show that for all $n\geq 4$ but $n= 9, 10$, there always exists a graph of order $n$ with $κ_{3}= 2$ whose size attains the lower bound $\lceil(6/5)n\rceil$. Whereas for $n= 9, 10$ we give examples to show that $\lceil(6/5)n\rceil+1$ is the best possible lower bound. This gives a clear picture on the minimal size of a graph of order $n$ with generalized connectivity $κ_{3}= 2$.