graph
35150 papers tagged with this keyword
The generalized connectivity of complete bipartite graphs
Let $G$ be a nontrivial connected graph of order $n$, and $k$ an integer with $2\leq k\leq n$. For a set $S$ of $k$ vertices of $G$, let $κ(S)$ denote the maximum number $\ell$ of edge-disjoint trees $T_1,T_2,...,T_\ell$ in $G$ such that $V(T_i)\cap V(T_j)=S$ for every pair $i,j$ of distinct integers with $1\leq i,j\leq \ell$. Chartrand et al. generalized the concept of connectivity as follows: The $k$-$connectivity$, denoted by $κ_k(G)$, of $G$ is defined by $κ_k(G)=$min$\{κ(S)\}$, where the minimum is taken over all $k$-subsets $S$ of $V(G)$. Thus $κ_2(G)=κ(G)$, where $κ(G)$ is the connectivity of $G$. Moreover, $κ_{n}(G)$ is the maximum number of edge-disjoint spanning trees of $G$.
This paper mainly focus on the $k$-connectivity of complete bipartite graphs $K_{a,b}$. First, we obtain the number of edge-disjoint spanning trees of $K_{a,b}$, which is $\lfloor\frac{ab}{a+b-1}\rfloor$, and specifically give the $\lfloor\frac{ab}{a+b-1}\rfloor$ edge-disjoint spanning trees. Then based on this result, we get the $k$-connectivity of $K_{a,b}$ for all $2\leq k \leq a+b$. Namely, if $k>b-a+2$ and $a-b+k$ is odd then $κ_{k}(K_{a,b})=\frac{a+b-k+1}{2}+\lfloor\frac{(a-b+k-1)(b-a+k-1)}{4(k-1)}\rfloor,$ if $k>b-a+2$ and $a-b+k$ is even then $κ_{k}(K_{a,b})=\frac{a+b-k}{2}+\lfloor\frac{(a-b+k)(b-a+k)}{4(k-1)}\rfloor,$ and if $k\leq b-a+2$ then $κ_{k}(K_{a,b})=a. $
Subdivisions in apex graphs
Published
• View Publication
• BIB
The Kelmans-Seymour conjecture states that the 5-connected nonplanar graphs contain a subdivided $K_{_5}$. Certain questions of Mader propose a "plan" towards a possible resolution of this conjecture. One part of this plan is to show that a 5-connected nonplanar graph containing $K^-_{_4}$ or $K_{_{2,3}}$ as a subgraph has a subdivided $K_{_5}$. Recently, Ma and Yu showed that a 5-connected nonplanar graph containing $K^-_{_4}$ as a subgraph has a subdivided $K_{_5}$. We take interest in $K_{_{2,3}}$ and prove that a 5-connected nonplanar apex graph containing $K_{_{2,3}}$ as a subgraph has a subdivided $K_{_5}$
The Kelmans-Seymour conjecture for apex graphs
We provide a short proof that a 5-connected nonplanar apex graph contains a subdivided $K_{_5}$ or a $K^-_{_4}$ (= $K_{_4}$ with a single edge removed) as a subgraph. Together with a recent result of Ma and Yu that {\sl every nonplanar 5-connected graph containing $K^-_{_4}$ as a subgraph has a subdivided $K_{_5}$}; this settles the Kelmans-Seymour conjecture for apex graphs.
Extremal results regarding $K_6$-minors in graphs of girth at least 5
Published
• View Publication
• BIB
We prove that every 6-connected graph of girth $\geq 6$ has a $K_6$-minor and thus settle the Jorgensen conjecture for graphs of girth $ \geq 6$. Relaxing the assumption on the girth, we prove that every 6-connected $n$-vertex graph of size $\geq 3 1/5 n-8$ and of girth $\geq 5$ contains a $K_6$-minor.
Almost Series-Parallel graphs: structure and colorability
The series-parallel (SP) graphs are those containing no topological $K_{_4}$ and are considered trivial. We relax the prohibition distinguishing the SP graphs by forbidding only embeddings of $K_{_4}$ whose edges with both ends 3-valent (skeleton hereafter) induce a graph isomorphic to certain prescribed subgraphs of $K_{_4}$. In particular, we describe the structure of the graphs containing no embedding of $K_{_4}$ whose skeleton is isomorphic to $P_{_3}$ or $P_{_4}$. Such "almost series-parallel graphs" (ASP) still admit a concise description. Amongst other things, their description reveals that:
1. Essentially, the 3-connected ASP graphs are those obtained from the 3-connected cubic graphs by replacing each vertex with a triangle (e.g., the 3-connected claw-free graphs).
2. Except for $K_{_6}$, the ASP graphs are 5-colorable in polynomial time. Distinguishing between the 5-chromatic and the 4-colorable ASP graphs is $NP$-hard.
3. The ASP class is significantly richer than the SP class: 4-vertex-colorability, 3-edge-colorability, and Hamiltonicity are $NP$-hard for ASP graphs.
Our interest in such ASP graphs arises from a previous paper of ours: "{\sl On the colorability of graphs with forbidden minors along paths and circuits}, Discrete Math. (to appear)".
Edge ideals: algebraic and combinatorial properties
Published in Progress in Commutative Algebra, Combinatorics and Homology, Vol. 1, 2012, pp. 85-126
• View Publication
• BIB
Let C be a clutter and let I(C) be its edge ideal. This is a survey paper on the algebraic and combinatorial properties of R/I(C) and C, respectively. We give a criterion to estimate the regularity of R/I(C) and apply this criterion to give new proofs of some formulas for the regularity. If C is a clutter and R/I(C) is sequentially Cohen-Macaulay, we present a formula for the regularity of the ideal of vertex covers of C and give a formula for the projective dimension of R/I(C). We also examine the associated primes of powers of edge ideals, and show that for a graph with a leaf, these sets form an ascending chain.
Unsolved Problems in Visibility Graphs of Points, Segments and Polygons
Published
• View Publication
• BIB
In this survey paper, we present open problems and conjectures on visibility graphs of points, segments and polygons along with necessary backgrounds for understanding them.
Coboundary expanders
Published
• View Publication
• BIB
We describe a natural topological generalization of edge expansion for graphs to regular CW complexes and prove that this property holds with high probability for certain random complexes.
Note on a relation between Randic index and algebraic connectivity
A conjecture of AutoGraphiX on the relation between the Randić index $R$ and the algebraic connectivity $a$ of a connected graph $G$ is: $$\frac R a\leq (\frac{n-3+2\sqrt{2}}{2})/(2(1- \cos {\fracπ{n}})) $$ with equality if and only if $G$ is $P_n$, which was proposed by Aouchiche and Hansen [M. Aouchiche and P. Hansen, A survey of automated conjectures in spectral graph theory, {\it Linear Algebra Appl.} {\bf 432}(2010), 2293--2322]. We prove that the conjecture holds for all trees and all connected graphs with edge connectivity $κ'(G)\geq 2$, and if $κ'(G)=1$, the conjecture holds for sufficiently large $n$. The conjecture also holds for all connected graphs with diameter $D\leq \frac {2(n-3+2\sqrt{2})}{π^2}$ or minimum degree $δ\geq \frac n 2$. We also prove $R\cdot a\geq \frac {8\sqrt{n-1}}{nD^2}$ and $R\cdot a\geq \frac {nδ(2δ-n+2)} {2(n-1)}$, and then $R\cdot a$ is minimum for the path if $D\leq (n-1)^{1/4}$ or $δ\geq \frac n 2-1$.
Generalized Delaunay Graphs with respect to any Convex Set are Plane Graphs
We consider two types of geometric graphs on point sets on the plane based on a plane set C: one obtained by translates of C, another by positively scaled translates (homothets) of C. For compact and convex C, graphs defined by scaled translates of C, i.e., Delaunay graphs based on C, are known to be plane graphs. We show that as long as C is convex, both types of graphs are plane graphs.
Polynomial invariants of graphs on surfaces
Published
• View Publication
• BIB
For a graph embedded into a surface, we relate many combinatorial parameters of the cycle matroid of the graph and the bond matroid of the dual graph with the topological parameters of the embedding. This will give an expression of the polynomial, defined by M.Las Vergnas in a combinatorial way using matroids as a specialization of the Krushkal polynomial, defined using the symplectic structure in the first homology group of the surface.
Combinatorics of the tropical Torelli map
Published
• View Publication
• BIB
This paper is a combinatorial and computational study of the moduli space of tropical curves of genus g, the moduli space of principally polarized tropical abelian varieties, and the tropical Torelli map. These objects were introduced recently by Brannetti, Melo, and Viviani. Here, we give a new definition of the category of stacky fans, of which the aforementioned moduli spaces are objects and the Torelli map is a morphism. We compute the poset of cells of tropical M_g and of the tropical Schottky locus for genus at most 5. We show that tropical A_g is Hausdorff, and we also construct a finite-index cover for A_3 which satisfies a tropical-type balancing condition. Many different combinatorial objects, including regular matroids, positive semidefinite forms, and metric graphs, play a role.
The Brush Number of the Two-Dimensional Torus
In this paper we are interested in the brush number of a graph - a concept introduced by McKeil and by Messinger, Nowakowski and Pralat. Our main aim in this paper is to determine the brush number of the two-dimensional torus. This answers a question of Bonato and Messinger. We also find the brush number of the cartesian product of a clique with a path, which is related to the Box Cleaning Conjecture of Bonato and Messinger.
Generating stable modular graphs
Published in Journal of Symbolic Computation 46 (2011), pp. 1087-1097
• View Publication
• BIB
We present the program Boundary, whose source files are available at http://people.sissa.it/~maggiolo/boundary/. Given two natural numbers g and n satisfying 2g+n-2>0, the program generates all genus g stable graphs with n unordered marked points. Each such graph determines the topological type of a nodal stable curve of arithmetic genus g with n unordered marked points. Our motivation comes from the fact that the boundary of the moduli space of stable genus g, n-pointed curves can be stratified by taking loci of curves of a fixed topological type.
The incidence Hopf algebra of graphs
Published
• View Publication
• BIB
The graph algebra is a commutative, cocommutative, graded, connected incidence Hopf algebra, whose basis elements correspond to finite simple graphs and whose Hopf product and coproduct admit simple combinatorial descriptions. We give a new formula for the antipode in the graph algebra in terms of acyclic orientations; our formula contains many fewer terms than Takeuchi's and Schmitt's more general formulas for the antipode in an incidence Hopf algebra. Applications include several formulas (some old and some new) for evaluations of the Tutte polynomial.
From Cycle Rooted Spanning Forests to the Critical Ising Model: an Explicit Construction
Published in Comm. Math. Phys. 319 (2013), no 1, 69-110
• View Publication
• BIB
Fisher established an explicit correspondence between the 2-dimensional Ising model defined on a graph $G$ and the dimer model defined on a decorated version $\GD$ of this graph \cite{Fisher}. In this paper we explicitly relate the dimer model associated to the critical Ising model and critical cycle rooted spanning forests (CRSFs). This relation is established through characteristic polynomials, whose definition only depends on the respective fundamental domains, and which encode the combinatorics of the model. We first show a matrix-tree type theorem establishing that the dimer characteristic polynomial counts CRSFs of the decorated fundamental domain $\GD_1$. Our main result consists in explicitly constructing CRSFs of $\GD_1$ counted by the dimer characteristic polynomial, from CRSFs of $G_1$ where edges are assigned Kenyon's critical weight function \cite{Kenyon3}; thus proving a relation on the level of configurations between two well known 2-dimensional critical models.
The Planar Slope Number of Planar Partial 3-Trees of Bounded Degree
Published
• View Publication
• BIB
It is known that every planar graph has a planar embedding where edges are represented by non-crossing straight-line segments. We study the planar slope number, i.e., the minimum number of distinct edge-slopes in such a drawing of a planar graph with maximum degree $Δ$. We show that the planar slope number of every planar partial 3-tree and also every plane partial 3-tree is at most $O(Δ^5)$. In particular, we answer the question of Dujmović et al. [Computational Geometry 38 (3), pp. 194--212 (2007)] whether there is a function $f$ such that plane maximal outerplanar graphs can be drawn using at most $f(Δ)$ slopes.
Minimum K_2,3-saturated Graphs
Published in J. Graph Theory 76 (2014) no. 4, 309--322
• View Publication
• BIB
A graph is K_{2,3}-saturated if it has no subgraph isomorphic to K_{2,3}, but does contain a K_{2,3} after the addition of any new edge. We prove that the minimum number of edges in a K_{2,3}-saturated graph on n >= 5 vertices is sat(n, K_{2,3}) = 2n - 3.
Improved Approximation for the Directed Spanner Problem
Published
• View Publication
• BIB
We prove that the size of the sparsest directed k-spanner of a graph can be approximated in polynomial time to within a factor of $\tilde{O}(\sqrt{n})$, for all k >= 3. This improves the $\tilde{O}(n^{2/3})$-approximation recently shown by Dinitz and Krauthgamer.
The spectrum of random lifts
For a fixed d-regular graph H, a random n-lift is obtained by replacing each vertex v of H by a "fibre" containing n vertices, then placing a uniformly random matching between fibres corresponding to adjacent vertices of H. We show that with extremely high probability, all eigenvalues of the lift that are not eigenvalues of H, have order O(sqrt(d)). In particular, if H is Ramanujan then its n-lift is with high probability nearly Ramanujan. We also show that any exceptionally large eigenvalues of the n-lift that are not eigenvalues of H, are overwhelmingly likely to have been caused by a dense subgraph of size O(|E(H)|).