graph
34489 papers tagged with this keyword
A novel and efficient algorithm for scanning all minimal cutsets of a graph
We propose a novel algorithm for enumerating and listing all minimal cutsets of a given graph. It is known that this problem is NP-hard. We use connectivity properties of a given graph to develop an algorithm with reduced complexity for finding all its cutsets. We use breadth first search (BFS) method in conjunction with edge contraction to develop the algorithm. We introduce the concepts of a pivot vertex and absorbable clusters and use them to develop an enhanced recursive contraction algorithm. The complexity of the proposed algorithm is proportionate to the number of cutsets. We present simulation results to compare the performance of our proposed algorithm with those of existing methods.
Sums over Graphs and Integration over Discrete Groupoids
Published in Applied Categorical Structures, Vol. 14, No. 4 (2006), 313-350
• View Publication
• BIB
We show that sums over graphs such as appear in the theory of Feynman diagrams can be seen as integrals over discrete groupoids. From this point of view, basic combinatorial formulas of the theory of Feynman diagrams can be interpreted as pull-back or push-forward formulas for integrals over suitable groupoids.
Intersecting Families of Separated Sets
Published
• View Publication
• BIB
We prove a conjecture due to Holroyd and Johnson that an analogue of the Erdos-Ko-Rado theorem holds for k-separated sets. In particular this determines the independence number of the vertex-critical subgraph of the Kneser graph identified by Schrijver, the collection of separated sets.
On graph coloring check-digit method
Published
• View Publication
• BIB
We show a method how to convert any graph into the binary number and vice versa. We derive upper bound for maximum number of graphs, that, have fixed number of vertices and can be colored with n colors (n is any given number). Proof for the result is outlined. Next, graph coloring based check-digit scheme is proposed. We use quantitative result derived, to show, that feasibility of the proposed scheme increases with size of the number which digits are checked, and overall probability of digits errors.
A general notion of visiblity graphs
Published
• View Publication
• BIB
We define a natural class of graphs by generalizing prior notions of visibility, allowing the representing regions and sightlines to be arbitrary. We consider mainly the case of compact connected representing regions, proving two results giving necessary properties of visibility graphs, and giving some examples of classes of graphs that can be so represented. Finally, we give some applications of the concept, and we provide potential avenues for future research in the area.
On a hypergraph Turan problem of Frankl
Published
• View Publication
• BIB
Let $C^{2k}_r$ be the $2k$-uniform hypergraph obtained by letting $P_1,...,P_r$ be pairwise disjoint sets of size $k$ and taking as edges all sets $P_i \cup P_j$ with $i \neq j$. This can be thought of as the `$k$-expansion' of the complete graph $K_r$: each vertex has been replaced with a set of size $k$. We determine the exact Turan number of $C^{2k}_3$ and the corresponding extremal hypergraph, thus confirming a conjecture of Frankl. Sidorenko has given an upper bound of $(r-2) / (r-1)$ for the Turán density of $C^{2k}_r$ for any $r$, and a construction establishing a matching lower bound when $r$ is of the form $2^p + 1$. We show that when $r = 2^p + 1$, any $C^4_r$-free hypergraph of density $(r-2)/(r-1) - o(1)$ looks approximately like Sidorenko's construction. On the other hand, when $r$ is not of this form, we show that corresponding constructions do not exist and improve the upper bound on the Turán density of $C^4_r$ to $(r-2)/(r-1) - c(r)$, where $c(r)$ is a constant depending only on $r$.
The backbone of our arguments is a strategy of first proving approximate structure theorems, and then showing that any imperfections in the structure must lead to a suboptimal configuration. The tools for its realisation draw on extremal graph theory, linear algebra, the Kruskal-Katona theorem and properties of Krawtchouck polynomials.
Combinatorics of Hard Particles on Planar Graphs
Published in Nucl.Phys. B655 (2003) 313-341
• View Publication
• BIB
We revisit the problem of hard particles on planar random tetravalent graphs in view of recent combinatorial techniques relating planar diagrams to decorated trees. We show how to recover the two-matrix model solution to this problem in this purely combinatorial language.
On LP-orientations of cubes and crosspolytopes
Published
• View Publication
• BIB
We show that the Holt-Klee conditions are very insufficient for an orientation of the graph of a polytope to be an LP-orientation in the case of the n-cube. We also give a strengthening of the Holt-Klee conditions which is both necessary and sufficient in the case of the crosspolytope.
On Unimodality of Independence Polynomials of some Well-Covered Trees
Published
• View Publication
• BIB
The number of stable sets of cardinality $k$ in graph $G$ is the $k$-th coefficient of the independence polynomial of $G$ (I. Gutman and F. Harary, 1983). In 1990, Y. O. Hamidoune proved that for any claw-free graph, its independence polynomial is unimodal, i.e., there exists a coefficient $k$ such that the part of the sequence of coefficients from the first to $k$-th is non-decreasing while the second part of coefficients is non-increasing.
Y. Alavi, P. J. Malde, A. J. Schwenk and P. Erdös (1987) asked whether for trees (or perhaps forests) the independence polynomial is unimodal. J. I. Brown, K. Dilcher and R. J. Nowakowski (2000) conjectured that it is true for any well-covered graph (a graph whose all maximal independent sets have the same size). V. E. Levit and E. Mandrescu (1999) demonstrated that every well-covered tree can be obtained as a join of a number of well-covered spiders, where a spider is a tree having at most one vertex of degree at least three.
In this paper we show that the independence polynomial of any well-covered spider is unimodal. In addition, we introduce some graph transformations respecting independence polynomials. They allow us to reduce several types of well-covered trees to claw-free graphs, and, consequently, to prove that their independence polynomials are unimodal.
Cumulants in Noncommutative Probability Theory III. Creation- and annihilation operators on Fock spaces
Published in Infin. Dimens. Anal. Quantum Probab. Relat. Top. 8 (2005), no. 3, 407-437
• View Publication
• BIB
Fock space constructions give rise to natural exchangeable families and are thus well suited for cumulant calculations. In this paper we develop some general formulas and compute cumulants for generalized Toeplitz operators, notably for q-Fock spaces, previously considered by M. Anshelevich and A. Nica, and Fock spaces for characters of the infinite symmetric group, which where constructed by Bozejko and Guta. An expression for cumulants in terms of the cycle-cover polynomials of certain directed graphs is obtained in this case.
Tiling transitive tournaments and their blow-ups
Published
• View Publication
• BIB
Let $TT_k$ denote the transitive tournament on $k$ vertices. Let $TT(h,k)$ denote the graph obtained from $TT_k$ by replacing each vertex with an independent set of size $h \geq 1$. The following result is proved: Let $c_2=1/2$, $c_3=5/6$ and $c_k=1-2^{-k-\log k}$ for $k \geq 4$. For every $ε> 0$ there exists $N=N(ε,h,k)$ such that for every undirected graph $G$ with $n > N$ vertices and with $δ(G) \geq c_kn$, every orientation of $G$ contains vertex disjoint copies of $TT(h,k)$ that cover all but at most $εn$ vertices. In the cases $k=2$ and $k=3$ the result is asymptotically tight. For $k \geq 4$, $c_k$ cannot be improved to less than $1-2^{-0.5k(1+o(1))}$.
Families of trees decompose the random graph in any arbitrary way
Published
• View Publication
• BIB
Let $F=\{H_1,...,H_k\}$ be a family of graphs. A graph $G$ with $m$ edges is called {\em totally $F$-decomposable} if for {\em every} linear combination of the form $α_1 e(H_1) + ... + α_k e(H_k) = m$ where each $α_i$ is a nonnegative integer, there is a coloring of the edges of $G$ with $α_1+...+α_k$ colors such that exactly $α_i$ color classes induce each a copy of $H_i$, for $i=1,...,k$. We prove that if $F$ is any fixed family of trees then $\log n/n$ is a sharp threshold function for the property that the random graph $G(n,p)$ is totally $F$-decomposable. In particular, if $H$ is a tree, then $\log n/n$ is a sharp threshold function for the property that $G(n,p)$ contains $\lfloor e(G)/e(H) \rfloor$ edge-disjoint copies of $H$.
Obtaining hamilton cicuits in graphs and digraphs
This paper improves algorithms given in math.CO/0012036. Although the graph (digraph) becomes non-random as the algorithm proceeds, the probability for success stays the same. We also give examples.
H-admissible permutations and the HCP
This version is similar to math.CO/0210113. We've changed Conjectures 1.1 and 1.2 so that they cover arbitrary graphs(digraphs). Let G be an arbitrary graph(digraph). Then - in polynomial time - either an algorithm obtains a hamilton circuit(cycle)or else the algorithm points to at least one vertex that cannot belong to any hamilton circuit(cycle) of G. We give criteria for determining which vertices should be examined.
The facet ideal of a simplicial complex
Published
• View Publication
• BIB
To a simplicial complex, we associate a square-free monomial ideal in the polynomial ring generated by its vertex set over a field. We study algebraic properties of this ideal via combinatorial properties of the simplicial complex. By generalizing the notion of a tree from graphs to simplicial complexes, we show that ideals associated to trees satisfy sliding depth condition, and therefore have normal and Cohen-Macaulay Rees rings. We also discuss connections with the theory of Stanley-Reisner rings.
Criteria for Balance in Abelian Gain Graphs, with Applications to Piecewise-Linear Geometry
Published in Discrete and Computational Geometry, 34 (2005), no. 2, 251-268.
• View Publication
• BIB
A gain graph is a triple (G,h,H), where G is a connected graph with an arbitrary, but fixed, orientation of edges, H is a group, and h is a homomorphism from the free group on the edges of G to H. A gain graph is called balanced if the h-image of each closed walk on G is the identity.
Consider a gain graph with abelian gain group having no odd torsion. If there is a basis of the graph's binary cycle space each of whose members can be lifted to a closed walk whose gain is the identity, then the gain graph is balanced, provided that the graph is finite or the group has no nontrivial infinitely 2-divisible elements. We apply this theorem to deduce a result on the projective geometry of piecewise-linear realizations of cell-decompositions of manifolds.
Cycle and Circle Tests of Balance in Gain Graphs: Forbidden Minors and Their Groups
Published in J. Graph Theory, 51 (2006), no. 1, 1--21.
• View Publication
• BIB
We examine two criteria for balance of a gain graph, one based on binary cycles and one on circles. The graphs for which each criterion is valid depend on the set of allowed gain groups. The binary cycle test is invalid, except for forests, if any possible gain group has an element of odd order. Assuming all groups are allowed, or all abelian groups, or merely the cyclic group of order 3, we characterize, both constructively and by forbidden minors, the graphs for which the circle test is valid. It turns out that these three classes of groups have the same set of forbidden minors. The exact reason for the importance of the ternary cyclic group is not clear.
Counterexamples to the 0-1 conjecture
Published
• View Publication
• BIB
For permutations x and w, let mu(x,w) be the coefficient of highest possible degree in the Kazhdan-Lusztig polynomial P_{x,w}. It is well-known that the coefficients mu(x,w) arise as the edge labels of certain graphs encoding the representations of S_n. The 0-1 Conjecture states that the mu(x,w) are either 0 or 1. We present two counterexamples to this conjecture, the first in S_16, for which x and w are in the same left cell, and the second in S_10. The proof of the counterexample in S_16 relies on computer calculations.
A Novel Approach Applied to the Largest Clique Problem
A novel approach to complex problems has been previously applied to graph classification and the graph equivalence problem. Here we apply it to the NP complete problem of finding the largest perfect clique within a graph $G$.
Asymptotics of the transition probabilities of the simple random walk on self-similar graphs
It is shown explicitly how self-similar graphs can be obtained as `blow-up' constructions of finite cell graphs $\hat C$. This yields a larger family of graphs than the graphs obtained by discretising continuous self-similar fractals.
For a class of symmetrically self-similar graphs we study the simple random walk on a cell graph $\hat C$, starting in a vertex $v$ of the boundary of $\hat C$. It is proved that the expected number of returns to $v$ before hitting another vertex in the boundary coincides with the resistance scaling factor.
Using techniques from complex rational iteration and singularity analysis for Green functions we compute the asymptotic behaviour of the $n$-step transition probabilities of the simple random walk on the whole graph. The results of Grabner and Woess for the Sierpiński graph are generalised to the class of symmetrically self-similar graphs and at the same time the error term of the asymptotic expression is improved. Finally we present a criterion for the occurrence of oscillating phenomena of the $n$-step transition probabilities.