graph
34961 papers tagged with this keyword
Duality functors for $n$-fold vector bundles
Double vector bundles may be dualized in two distinct ways and these duals are themselves dual. These two dualizations generate a group, denoted $\mathscr{D}\mathscr{F}_2$, which is the symmetric group $S_3$ on three symbols. In the case of triple vector bundles the authors proved in a previous paper that the corresponding group $\mathscr{D}\mathscr{F}_3$ is an extension of $S_4$ by the Klein four-group. In this paper we show that the group $\mathscr{D}\mathscr{F}_n$, for $n$-fold vector bundles, $n\geq 3$, is an extension of $S_{n+1}$ by a certain product of groups of order 2, and show that the centre is nontrivial if and only if $n$ is a multiple of 4. The methods employ an interpretation of duality operations in terms of certain graphs on $(n+1)$ vertices.
Note on the bondage number of graphs on topological surfaces
The bondage number b(G) of a graph G is the smallest number of edges whose removal from G results in a graph with larger domination number. In this paper we present new upper bounds for b(G) in terms of girth, order and Euler characteristic.
On the Main Signless Laplacian Eigenvalues of a Graph
Published
• View Publication
• BIB
A signless Laplacian eigenvalue of a graph $G$ is called a main signless Laplacian eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. In this paper, we first give the necessary and sufficient conditions for a graph with one main signless Laplacian eigenvalue or two main signless Laplacian eigenvalues, and then characterize the trees and unicyclic graphs with exactly two main signless Laplacian eigenvalues, respectively.
A note on "Folding wheels and fans."
In S.Gervacio, R.Guerrero and H.Rara, Folding wheels and fans, Graphs and Combinatorics 18 (2002) 731-737, the authors obtain formulas for the clique numbers onto which wheels and fans fold. We present an interpolation theorem which generalizes their theorems 4.2 and 5.2. We show that their formula for wheels is wrong. We show that for threshold graphs, the achromatic number and folding number coincides with the chromatic number.
The Poset of Hypergraph Quasirandomness
Published
• View Publication
• BIB
Chung and Graham began the systematic study of k-uniform hypergraph quasirandom properties soon after the foundational results of Thomason and Chung-Graham-Wilson on quasirandom graphs. One feature that became apparent in the early work on k-uniform hypergraph quasirandomness is that properties that are equivalent for graphs are not equivalent for hypergraphs, and thus hypergraphs enjoy a variety of inequivalent quasirandom properties. In the past two decades, there has been an intensive study of these disparate notions of quasirandomness for hypergraphs, and an open problem that has emerged is to determine the relationship between them.
Our main result is to determine the poset of implications between these quasirandom properties. This answers a recent question of Chung and continues a project begun by Chung and Graham in their first paper on hypergraph quasirandomness in the early 1990's.
Γ-species and the enumeration of k-trees
Published in Electronic Journal of Combinatorics, 19(4) (2012), #P45
• View Publication
• BIB
We study the class of graphs known as k-trees through the lens of Joyal's theory of combinatorial species (and an equivariant extension known as '$Γ$-species' which incorporates data about 'structural' group actions). This culminates in a system of recursive functional equations giving the generating function for unlabeled k-trees which allows for fast, efficient computation of their numbers. Enumerations up to k = 10 and n = 30 (for a k-tree with (n+k-1) vertices) are included in tables, and Sage code for the general computation is included in an appendix.
Lassoing and corraling rooted phylogenetic trees
Published in Bulletin of Mathematical Biology: Volume 75, Issue 3 (2013), Page 444-465
• View Publication
• BIB
The construction of a dendogram on a set of individuals is a key component of a genomewide association study. However even with modern sequencing technologies the distances on the individuals required for the construction of such a structure may not always be reliable making it tempting to exclude them from an analysis. This, in turn, results in an input set for dendogram construction that consists of only partial distance information which raises the following fundamental question. For what subset of its leaf set can we reconstruct uniquely the dendogram from the distances that it induces on that subset. By formalizing a dendogram in terms of an edge-weighted, rooted phylogenetic tree on a pre-given finite set X with |X|>2 whose edge-weighting is equidistant and a set of partial distances on X in terms of a set L of 2-subsets of X, we investigate this problem in terms of when such a tree is lassoed, that is, uniquely determined by the elements in L. For this we consider four different formalizations of the idea of "uniquely determining" giving rise to four distinct types of lassos. We present characterizations for all of them in terms of the child-edge graphs of the interior vertices of such a tree. Our characterizations imply in particular that in case the tree in question is binary then all four types of lasso must coincide.
Moments in graphs
Let $G$ be a connected graph with vertex set $V$ and a {\em weight function} $ρ$ that assigns a nonnegative number to each of its vertices. Then, the {\em $ρ$-moment} of $G$ at vertex $u$ is defined to be $M_G^ρ(u)=\sum_{v\in V} ρ(v)\dist (u,v) $, where $\dist(\cdot,\cdot)$ stands for the distance function. Adding up all these numbers, we obtain the {\em $ρ$-moment of $G$}: $$ M_G^ρ=\sum_{u\in V}M_G^ρ(u)=1/2\sum_{u,v\in V}\dist(u,v)[ρ(u)+ρ(v)]. $$ This parameter generalizes, or it is closely related to, some well-known graph invariants, such as the {\em Wiener index} $W(G)$, when $ρ(u)=1/2$ for every $u\in V$, and the {\em degree distance} $D'(G)$, obtained when $ρ(u)=δ(u)$, the degree of vertex $u$. In this paper we derive some exact formulas for computing the $ρ$-moment of a graph obtained by a general operation called graft product, which can be seen as a generalization of the hierarchical product, in terms of the corresponding $ρ$-moments of its factors. As a consequence, we provide a method for obtaining nonisomorphic graphs with the same $ρ$-moment for every $ρ$ (and hence with equal mean distance, Wiener index, degree distance, etc.). In the case when the factors are trees and/or cycles, techniques from linear algebra allow us to give formulas for the degree distance of their product.
Rainbow matchings and partial transversals of Latin squares
In this paper we consider properly edge-colored graphs, i.e. two edges with the same color cannot share an endpoint, so each color class is a matching. A matching is called \it rainbow \rm if its edges have different colors. The minimum degree of a graph is denoted by $δ(G)$. We show that properly edge colored graphs $G$ with $|V(G)|\ge 4δ(G)-3$ have rainbow matchings of size $δ(G)$, this gives the best known estimate to a recent question of Wang. Since one obviously needs at least $2δ(G)$ vertices to guarantee a rainbow matching of size $δ(G)$, we investigate what happens when $|V(G)|\ge 2δ(G)$. We show that any properly edge colored graph $G$ with $|V(G)|\ge 2δ$ contains a rainbow matching of size at least $δ- 2δ(G)^{2/3}$. This result extends (with a weaker error term) the well-known result that a factorization of the complete bipartite graph $K_{n,n}$ has a rainbow matching of size $n-o(n)$, or equivalently that every Latin square of order $n$ has a partial transversal of size $n-o(n)$ (an asymptotic version of the Ryser - Brualdi conjecture). In this direction we also show that every Latin square of order $n$ has a {\em cycle-free partial transversal} of size $n-o(n)$.
The inertia set of a signed graph
Published
• View Publication
• BIB
A signed graph is a pair $(G,Σ)$, where $G=(V,E)$ is a graph (in which parallel edges are permitted, but loops are not) with $V={1,...,n}$ and $Σ\subseteq E$. By $S(G,Σ)$ we denote the set of all symmetric $V\times V$ matrices $A=[a_{i,j}]$ with $a_{i,j}<0$ if $i$ and $j$ are connected by only even edges, $a_{i,j}>0$ if $i$ and $j$ are connected by only odd edges, $a_{i,j}\in \mathbb{R}$ if $i$ and $j$ are connected by both even and odd edges, $a_{i,j}=0$ if $i\not=j$ and $i$ and $j$ are non-adjacent, and $a_{i,i} \in \mathbb{R}$ for all vertices $i$. The stable inertia set of a signed graph $(G,Σ)$ is the set of all pairs $(p,q)$ for which there exists a matrix $A\in S(G,Σ)$ with $p$ positive and $q$ negative eigenvalues which has the Strong Arnold Property. In this paper, we study the stable inertia set of (signed) graphs.
Generating All Minimal Edge Dominating Sets with Incremental-Polynomial Delay
Published
• View Publication
• BIB
For an arbitrary undirected simple graph G with m edges, we give an algorithm with running time O(m^4 |L|^2) to generate the set L of all minimal edge dominating sets of G. For bipartite graphs we obtain a better result; we show that their minimal edge dominating sets can be enumerated in time O(m^4 |L|). In fact our results are stronger; both algorithms generate the next minimal edge dominating set with incremental-polynomial delay O(m^5 |L|) and O(m^4 |L|) respectively, when L is the set of already generated minimal edge dominating sets. Our algorithms are tailored for and solve the equivalent problems of enumerating minimal (vertex) dominating sets of line graphs and line graphs of bipartite graphs, with incremental-polynomial delay, and consequently in output-polynomial time. Enumeration of minimal dominating sets in graphs has very recently been shown to be equivalent to enumeration of minimal transversals in hypergraphs. The question whether the minimal transversals of a hypergraph can be enumerated in output-polynomial time is a fundamental and challenging question in Output-Sensitive Enumeration; it has been open for several decades and has triggered extensive research in the field.
Generalization of the Menger's Theorem to Simplicial Complexes and Certain Invariants of the Underlying Topological Spaces
We extend the edge version of the classical Menger's Theorem for undirected graphs to $n$-dimensional simplicial complexes with chains over the field $\mathbb{F}_2$. The classical Menger's Theorem states that two different vertices in an undirected graph can be connected by $k$ pairwise edge-disjoint paths if, and only if, after a deletion of any $k-1$ edges from the graph, there will still will exist a path connecting these two vertices. We introduce the notion of $k$-boundance of $(n-1)$-dimensional cycles in an $n$-dimensional simplicial complex over $\mathbb{F}_2$, which is a generalization of the classical notion of $k$-edge-connectivity in an undirected graph. For the case $n=1$, $k$-boundance of $0$-dimensional cycles in an undirected graph is just an extension of the classical notion of $k$-edge-connectivity of pairs of vertices, stated in the language of cycles and boundaries. Using the notion of $k$-boundance, we prove that a non-trivial $(n-1)$-dimensional cycle in an $n$-dimensional simplicial complex over $\mathbb{F}_2$ is a boundary of $k$ pairwise disjoint $n$-dimensional chains if, and only if, after a deletion of any $k-1$ $n$-dimensional simplices from that complex, there still remains some $n$-dimensional chain in it, for which this $(n-1)$-dimensional cycle is a boundary.
In our last section we restate both the original Menger's Theorem and our generalization to $k$-boundance in $n$ dimensions, in terms of the underlying topological space. Thus, $k$-edge-connectivity of a pair of points in an undirected graph is really a topological property of the corresponding pair of points in the topological space, underlying that graph. Similarly, $k$-boundance of an $(n-1)$-dimensional cycle is a topological property of the topological subspace, underlying that $(n-1)$-dimensional cycle, in the topological space, underlying the $n$-dimensional simplicial complex.
Nonhamiltonian Graphs with Given Toughness
In 1973, Chvátal introduced the concept of toughness $τ$ of a graph and constructed an infinite class of nonhamiltonian graphs with $τ=3/2$. Later Thomassen found nonhamiltonian graphs with $τ>3/2$, and Enomoto et al. constructed nonhamiltonian graphs with $τ=2-ε$ for each positive $ε$. The last result in this direction is due to Bauer, Broersma and Veldman, which states that for each positive $ε$, there exists a nonhamiltonian graph with $τ\ge 9/4-ε$. In this paper we prove that for each rational number $t$ with $0<t<9/4$, there exists a nonhamiltonian graph with $τ=t$.
Nim on hypercubes
The ordinary game of Nim has a long history and is well-known in the area of combinatorial game theory. The solution to the ordinary game of Nim has been known for many years and lends itself to numerous other solutions to combinatorial games. Nim was extended to graphs by taking a fixed graph with a playing piece on a given vertex and assigning positive integer weight to the edges that correspond to a pile of stones in the ordinary game of Nim. Players move alternately from the playing piece across incident edges, removing weight from edges as they move. This paper solves Nim on hypercubes in the unit weight case completely. We briefly discuss the arbitrary weight case and its ties to known results.
A superlocal version of Reed's Conjecture
Published
• View Publication
• BIB
Reed's well-known $ω$, $Δ$, $χ$ conjecture proposes that every graph satisfies $χ\leq \lceil \frac 12(Δ+1+ω)\rceil$. The second author formulated a {\em local strengthening} of this conjecture that considers a bound supplied by the neighbourhood of a single vertex. Following the idea that the chromatic number cannot be greatly affected by any particular stable set of vertices, we propose a further strengthening that considers a bound supplied by the neighbourhoods of two adjacent vertices. We provide some fundamental evidence in support, namely that the stronger bound holds in the fractional relaxation and holds for both quasi-line graphs and graphs with stability number two. We also conjecture that in the fractional version, we can push the locality even further.
On the length of a random minimum spanning tree
Published in Combinator. Probab. Comp. 25 (2016) 89-107
• View Publication
• BIB
We study the expected value of the length $L_n$ of the minimum spanning tree of the complete graph $K_n$ when each edge $e$ is given an independent uniform $[0,1]$ edge weight. We sharpen the result of Frieze \cite{F1} that $\lim_{n\to\infty}\E(L_n)=\z(3)$ and show that $\E(L_n)=\z(3)+\frac{c_1}{n}+\frac{c_2+o(1)}{n^{4/3}}$ where $c_1,c_2$ are explicitly defined constants.
A characterization of the edge connectivity of direct products of graphs
The direct product of graphs $G=(V(G),E(G))$ and $H=(V(H),E(H))$ is the graph, denoted as $G\times H$, with vertex set $V(G\times H)=V(G)\times V(H)$, where vertices $(x_1,y_1)$ and $(x_2,y_2)$ are adjacent in $G\times H$ if $x_1x_2\in E(G)$ and $y_1y_2\in E(H)$. The edge connectivity of a graph $G$, denoted as $λ(G)$, is the size of a minimum edge-cut in $G$. We introduce a function $ψ$ and prove the following formula %for the edge-connectivity of direct products $$λ(G\times H)=\min {2λ(G)|E(H)|,2λ(H)|E(G)|,δ(G\times H), ψ(G,H), ψ(H,G)} .$$ We also describe the structure of every minimum edge-cut in $G\times H$.
Self-avoiding walks and the Fisher transformation
Published
• View Publication
• BIB
The Fisher transformation acts on cubic graphs by replacing each vertex by a triangle. We explore the action of the Fisher transformation on the set of self-avoiding walks of a cubic graph. Iteration of the transformation yields a sequence of graphs with common critical exponents, and with connective constants converging geometrically to the golden mean.
We consider the application of the Fisher transformation to one of the two classes of vertices of a bipartite cubic graph. The connective constant of the ensuing graph may be expressed in terms of that of the initial graph. When applied to the hexagonal lattice, this identifies a further lattice whose connective constant may be computed rigorously.
New approach to the $k$-independence number of a graph
Published
• View Publication
• BIB
Let $G = (V,E)$ be a graph and $k \ge 0$ an integer. A $k$-independent set $S \subseteq V$ is a set of vertices such that the maximum degree in the graph induced by $S$ is at most $k$. With $α_k(G)$ we denote the maximum cardinality of a $k$-independent set of $G$. We prove that, for a graph $G$ on $n$ vertices and average degree $d$, $α_k(G) \ge \frac{k+1}{\lceil d \rceil + k + 1} n$, improving the hitherto best general lower bound due to Caro and Tuza [Improved lower bounds on k-independence, J. Graph Theory 15 (1991), 99-107].
Eigenvalues and Linear Quasirandom Hypergraphs
Published
• View Publication
• BIB
Let p(k) denote the partition function of k. For each k >= 2, we describe a list of p(k)-1 quasirandom properties that a k-uniform hypergraph can have. Our work connects previous notions on linear hypergraph quasirandomness of Kohayakawa-Rödl-Skokan and Conlon-Hàn-Person-Schacht and the spectral approach of Friedman-Wigderson. For each of the quasirandom properties that are described, we define a largest and second largest eigenvalue. We show that a hypergraph satisfies these quasirandom properties if and only if it has a large spectral gap. This answers a question of Conlon-Hàn-Person-Schacht. Our work can be viewed as a partial extension to hypergraphs of the seminal spectral results of Chung-Graham-Wilson for graphs.