graph
34995 papers tagged with this keyword
An application of Cubical Cohomology to Adinkras and Supersymmetry Representations
Published
• View Publication
• BIB
An Adinkra is a class of graphs with certain signs marking its vertices and edges, which encodes off-shell representations of the super Poincaré algebra. The markings on the vertices and edges of an Adinkra are cochains for cubical cohomology. This article explores the cubical cohomology of Adinkras, treating these markings analogously to characteristic classes on smooth manifolds.
On the triangle space of a random graph
Published
• View Publication
• BIB
Settling a first case of a conjecture of M. Kahle on the homology of the clique complex of the random graph $G=G_{n,p}$, we show, roughly speaking, that (with high probability) the triangles of $G$ span its cycle space whenever each of its edges lies in a triangle (which happens (w.h.p.) when $p$ is at least about $\sqrt{(3/2)\ln n/n}$, and not below this unless $p$ is very small.) We give two related proofs of this statement, together with a relatively simple proof of a fundamental "stability" theorem for triangle-free subgraphs of $G_{n,p}$, originally due to Kohayakawa, Łuczak and Rödl, that underlies the first of our proofs.
Spectral conditions for a graph to be Hamilton-connected
Published in Applied Mechanics and Materials,2013, vol.336-338, 2329-2334
• View Publication
• BIB
In this paper we establish some spectral conditions for a graph to be Hamilton-connected in terms of the spectral radius of the adjacency matrix or the signless Laplacian of the graph or its complement. For the existence of Hamiltonian paths or cycles in a graph, we also give a sufficient condition by the signless Laplacian spectral radius.
Analysis of an exhaustive search algorithm in random graphs and the n^{c\log n} -asymptotics
Published in SIAM J. Discrete Math., 28(1), 342-371, 2014
• View Publication
• BIB
We analyze the cost used by a naive exhaustive search algorithm for finding a maximum independent set in random graphs under the usual G_{n,p} -model where each possible edge appears independently with the same probability p. The expected cost turns out to be of the less common asymptotic order n^{c\log n}, which we explore from several different perspectives. Also we collect many instances where such an order appears, from algorithmics to analysis, from probability to algebra. The limiting distribution of the cost required by the algorithm under a purely idealized random model is proved to be normal. The approach we develop is of some generality and is amenable for other graph algorithms.
Harnack inequalities for graphs with non-negative Ricci curvature
Published
• View Publication
• BIB
We establish a Harnack inequality for finite connected graphs with non-negative Ricci curvature. As a consequence, we derive an eigenvalue lower bound, extending previous results for Ricci flat graphs.
A Bijection Between the Recurrent Configurations of a Hereditary Chip-Firing Model and Spanning Trees
Hereditary chip-firing models generalize the Abelian sandpile model and the cluster firing model to an exponential family of games induced by covers of the vertex set. This generalization retains some desirable properties, e.g. stabilization is independent of firings chosen and each chip-firing equivalence class contains a unique recurrent configuration. In this paper we present an explicit bijection between the recurrent configurations of a hereditary chip-firing model on a graph and its spanning trees.
A simple branching process approach to the phase transition in $G_{n,p}$
Published in Electronic Journal of Combinatorics 19 (2012) P21
• Search Publication
It is well known that the branching process approach to the study of the random graph $G_{n,p}$ gives a very simple way of understanding the size of the giant component when it is fairly large (of order $Θ(n)$). Here we show that a variant of this approach works all the way down to the phase transition: we use branching process arguments to give a simple new derivation of the asymptotic size of the largest component whenever $(np-1)^3n\to\infty$.
Regularity of edge ideal of a graph
Published in J. Pure and Applied Algebra, 216, 2714-2719, (2012)
• View Publication
• BIB
In this paper, we introduce some reduction processes on graphs which preserve the regularity of related edge ideals. As a consequence, an alternative proof for the theorem of R. Fröberg on linearity of resolution of edge ideal of graphs is given.
Obstructions of Connectivity 2 for Embedding Graphs into the Torus
Published
• View Publication
• BIB
The complete set of minimal obstructions for embedding graphs into the torus is still not determined. In this paper, we present all obstructions for the torus of connectivity 2. Furthermore, we describe the building blocks of obstructions of connectivity 2 for any orientable surface.
Metric Dimension and Zero Forcing Number of Two Families of Line Graphs
Published in Math. Bohem. Vol. 139, No.3 (2014) pp. 467-483
• View Publication
• BIB
Zero forcing number has recently become an interesting graph parameter studied in its own right since its introduction by the "AIM Minimum Rank -- Special Graphs Work Group", whereas metric dimension is a well-known graph parameter. We investigate the metric dimension and the zero forcing number of some line graphs by first determining the metric dimension and the zero forcing number of the line graphs of wheel graphs and the bouquet of circles. We prove that $Z(G) \le 2Z(L(G))$ for a simple and connected graph $G$. Further, we show that $Z(G) \le Z(L(G))$ when $G$ is a tree or when $G$ contains a Hamiltonian path and has a certain number of edges. We compare the metric dimension with the zero forcing number of a line graph by demonstrating a couple of inequalities between the two parameters. We end by stating some open problems.
Finding minors in graphs with a given path structure
Given graphs G and H with V(G) containing V(H), suppose that we have a u,v-path P_{uv} in G for each edge uv in H. There are obvious additional conditions that ensure that G contains H as a rooted subgraph, subdivision, or immersion; we seek conditions that ensure that G contains H as a rooted minor or minor. This naturally leads to studying sets of paths that form an H-immersion, with the additional property that paths that contain the same vertex must have a common endpoint. We say that $H$ is contractible if, whenever G contains such an H-immersion, G must also contain a rooted H-minor. We show, for example, that forests, cycles, K_4, and K_{1,1,3} are contractible, but that graphs that are not 6-colorable and graphs that contain certain subdivisions of K_{2,3} are not contractible.
On the order of arc-stabilisers in arc-transitive graphs with prescribed local group
Let $Γ$ be a connected $G$-arc-transitive graph, let $uv$ be an arc of $Γ$ and let $L$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$. We study the problem of bounding $|G_{uv}|$ in terms of $L$ and the order of $Γ$.
Effective Computation of Immersion Obstructions for Unions of Graph Classes
Published
• View Publication
• BIB
In the final paper of the Graph Minors series N. Robertson and P. Seymour proved that graphs are well-quasi-ordered under the immersion ordering. A direct implication of this theorem is that each class of graphs that is closed under taking immersions can be fully characterized by forbidding a finite set of graphs (immersion obstruction set). However, as the proof of the well-quasi-ordering theorem is non-constructive, there is no generic procedure for computing such a set. Moreover, it remains an open issue to identify for which immersion-closed graph classes the computation of those sets can become effective. By adapting the tools that were introduced by I. Adler, M. Grohe and S. Kreutzer, for the effective computation of minor obstruction sets, we expand the horizon of computability to immersion obstruction sets. In particular, our results propagate the computability of immersion obstruction sets of immersion-closed graph classes to immersion obstruction sets of finite unions of immersion closed graph classes.
On longest non-Hamiltonian Cycles in Digraphs with the Conditions of Bang-Jensen, Gutin and Li
Published
• View Publication
• BIB
Let $D$ be a strong digraph on $n\geq 4$ vertices. In [2, J. Graph Theory 22 (2) (1996) 181-187)], J. Bang-Jensen, G. Gutin and H. Li proved the following theorems: If (*) $d(x)+d(y)\geq 2n-1$ and $min \{d(x), d(y)\}\geq n-1$ for every pair of non-adjacent vertices $x, y$ with a common in-neighbour or (**) $min \{d^+(x)+ d^-(y),d^-(x)+ d^+(y)\}\geq n$ for every pair of non-adjacent vertices $x, y$ with a common in-neighbour or a common out-neighbour, then $D$ is hamiltonian.
In this paper we show that: (i) if $D$ satisfies the condition (*) and the minimum semi-degree of $D$ at least two or (ii) if $D$ is not directed cycle and satisfies the condition (**), then either $D$ contains a cycle of length $n-1$ or $n$ is even and $D$ is isomorphic to complete bipartite digraph or to complete bipartite digraph minus one arc.
Beyond Max-Cut: λ-Extendible Properties Parameterized Above the Poljak-Turzík Bound
Published
• View Publication
• BIB
Poljak and Turzík (Discrete Math. 1986) introduced the notion of λ-extendible properties of graphs as a generalization of the property of being bipartite. They showed that for any 0<λ<1 and λ-extendible property Π, any connected graph G on n vertices and m edges contains a subgraph H \in Π with at least λm+ (1-λ)/2 (n-1) edges. The property of being bipartite is 1/2-extendible, and thus this bound generalizes the Edwards-Erdős bound for Max-Cut.
We define a variant, namely strong λ-extendibility, to which the bound applies. For a strongly λ-extendible graph property Π, we define the parameterized Above Poljak- Turzík (APT) (Π) problem as follows: Given a connected graph G on n vertices and m edges and an integer parameter k, does there exist a spanning subgraph H of G such that H \in Π and H has at least λm + (1-λ)/2 (n - 1) + k edges? The parameter is k, the surplus over the number of edges guaranteed by the Poljak-Turzík bound.
We consider properties Π for which APT (Π) is fixed- parameter tractable (FPT) on graphs which are O(k) vertices away from being a graph in which each block is a clique. We show that for all such properties, APT (Π) is FPT for all 0<λ<1. Our results hold for properties of oriented graphs and graphs with edge labels. Our results generalize the result of Crowston et al. (ICALP 2012) on Max-Cut parameterized above the Edwards-Erdős bound, and yield FPT algorithms for several graph problems parameterized above lower bounds, e.g., Max q-Colorable Subgraph problem. Our results also imply that the parameterized above-guarantee Oriented Max Acyclic Digraph problem is FPT, thus solving an open question of Raman and Saurabh (Theor. Comput. Sci. 2006).
Improved lower bounds on book crossing numbers of complete graphs
Published in SIAM J. Discrete Math., 27(2013), 619-633
• View Publication
• BIB
A "book with k pages" consists of a straight line (the "spine") and k half-planes (the "pages"), such that the boundary of each page is the spine. If a graph is drawn on a book with k pages in such a way that the vertices lie on the spine, and each edge is contained in a page, the result is a k-page book drawing (or simply a k-page drawing). The k-page crossing number nu_k(G) of a graph G is the minimum number of crossings in a k-page drawing of G. In this paper we investigate the k-page crossing numbers of complete graphs K_n. We use semidefinite programming techniques to give improved lower bounds on nu_k(K_n) for various values of k. We also use a maximum satisfiability reformulation to calculate the exact value of nu_k(K_n) for several values of k and n. Finally, we investigate the best construction known for drawing K_n in k pages, calculate the resulting number of crossings, and discuss this upper bound in the light of the new results reported in this paper.
On Some Three-Color Ramsey Numbers for Paths
Published
• View Publication
• BIB
For graphs $G_1, G_2, G_3$, the three-color Ramsey number $R(G_1,$ $G_2, G_3)$ is the smallest integer $n$ such that if we arbitrarily color the edges of the complete graph of order $n$ with 3 colors, then it contains a monochromatic copy of $G_i$ in color $i$, for some $1 \leq i \leq 3$.
First, we prove that the conjectured equality $R_3(C_{2n},C_{2n},C_{2n})=4n$, if true, implies that $R_3(P_{2n+1},P_{2n+1},P_{2n+1})=4n+1$ for all $n \ge 3$. We also obtain two new exact values $R(P_8,P_8,P_8)=14$ and $R(P_9,P_9,P_9)=17$, furthermore we do so without help of computer algorithms. Our results agree with a formula $R(P_n,P_n,P_n)=2n-2+(n\bmod 2)$ which was proved for sufficiently large $n$ by Gyárfás, Ruszinkó, Sárközy, and Szemerédi in 2007. This provides more evidence for the conjecture that the latter holds for all $n \ge 1$.
Forbidding Kuratowski Graphs as Immersions
Published
• View Publication
• BIB
The immersion relation is a partial ordering relation on graphs that is weaker than the topological minor relation in the sense that if a graph $G$ contains a graph $H$ as a topological minor, then it also contains it as an immersion but not vice versa. Kuratowski graphs, namely $K_{5}$ and $K_{3,3}$, give a precise characterization of planar graphs when excluded as topological minors. In this note we give a structural characterization of the graphs that exclude Kuratowski graphs as immersions. We prove that they can be constructed by applying consecutive $i$-edge-sums, for $i\leq 3$, starting from graphs that are planar sub-cubic or of branch-width at most 10.
On (2k,k)-connected graphs
A graph G is called (2k, k)-connected if G is 2k-edge-connected and G-v is k-edge-connected for every vertex v. The study of (2k, k)-connected graphs is motivated by a conjecture of Frank which states that a graph has a 2-vertex-connected orientation if and only if it is (4, 2)-connected. In this paper, we provide a construction of the family of (2k, k)-connected graphs for k even which generalizes the construction given by Jordán for k = 2. We also solve the corresponding connectivity augmentation problem: given a graph G and an integer k \geq 2, what is the minimum number of edges to be added to make G (2k, k)-connected. Both these results are based on a new splitting-off theorem for (2k, k)-connected graphs.
On the connectivity of manifold graphs
This paper is concerned with lower bounds for the connectivity of graphs (one-dimensional skeleta) of triangulations of compact manifolds. We introduce a structural invariant b_M for simplicial d-manifolds M taking values in the range 0 <= b_M <= d-1. The main result is that b_M influences connectivity in the following way: The graph of a d-dimensional simplicial compact manifold M is (2d - b_M)-connected.
The parameter b_M has the property that b_M = 0 if the complex M is flag. Hence, our result interpolates between Barnette's theorem (1982) that all d-manifold graphs are (d+1)-connected and Athanasiadis' theorem (2011) that flag d-manifold graphs are 2d-connected.
The definition of b_M involves the concept of banner triangulations of manifolds, a generalization of flag triangulations.