graph
35150 papers tagged with this keyword
Claw-freeness, 3-homogeneous subsets of a graph and a reconstruction problem
Published
• View Publication
• BIB
We describe $Forb\{K_{1,3}, \overline {K_{1,3}}\}$, the class of graphs $G$ such that
$G$ and its complement $ \overline{G}$ are claw-free. With few exceptions, it is made of graphs whose connected components consist of cycles of length at least 4, paths or isolated vertices, and of the complements of these graphs. Considering the hypergraph ${\mathcal H} ^{(3)}(G)$ made of the 3-element subsets of the vertex set of a graph $G$ on which $G$ induces a clique or an independent subset, we deduce from above a description of the Boolean sum $G\dot{+}G'$ of two graphs $G$ and $G'$ giving the same hypergraph. We indicate the role of this latter description in a reconstruction problem of graphs up to complementation.
Graph Minors and Minimum Degree
Published in Electronic J. Combinatorics R151, 2010
• Search Publication
Let $\mathcal{D}_k$ be the class of graphs for which every minor has minimum degree at most $k$.
Then $\mathcal{D}_k$ is closed under taking minors.
By the Robertson-Seymour graph minor theorem, $\mathcal{D}_k$ is characterised by a finite family of minor-minimal forbidden graphs, which we denote by $\widehat{\mathcal{D}}_k$.
This paper discusses $\widehat{\mathcal{D}}_k$ and related topics. We obtain four main results:
We prove that every $(k+1)$-regular graph with less than ${4/3}(k+2)$ vertices is in $\widehat{\mathcal{D}}_k$, and this bound is best possible.
We characterise the graphs in $\widehat{\mathcal{D}}_{k+1}$ that can be obtained from a graph in $\widehat{\mathcal{D}}_k$ by adding one new vertex.
For $k\leq 3$ every graph in $\widehat{\mathcal{D}}_k$ is $(k+1)$-connected, but for large $k$, we exhibit graphs in $\widehat{\mathcal{D}}_k$ with connectivity 1. In fact, we construct graphs in $\mathcal{D}_k$ with arbitrary block structure.
We characterise the complete multipartite graphs in $\widehat{\mathcal{D}}_k$, and prove analogous characterisations with minimum degree replaced by connectivity, treewidth, or pathwidth.
Independence Complexes of Cylinders Constructed from Square and Hexagonal Grid Graphs
Fendley, Schoutens and van Eerten [Fendley et al., J. Phys. A: Math. Gen., 38 (2005), pp. 315-322] studied the hard square model at negative activity. They found analytical and numerical evidence that the eigenvalues of the transfer matrix with periodic boundary were all roots of unity. They also conjectured that for an m times n square grid, with doubly periodic boundary, the partition function is equal to 1 when m and n are relatively prime. These conjectures were later proven by Jonsson [Jonsson, Electronic J. Combin., 13(1) (2006), R67]. There, it was also noted that the cylindrical case seemed to have interesting properties when the circumference of the cylinder is odd. In particular, when 3 is a divisor of both the circumference and the width of the cylinder minus 1, the partition function is -2. Otherwise, it is equal to 1. In this paper, we investigate the hard square and hard hexagon models at activity -1, with single periodic boundary, i.e, cylindrical identifications, using both topological and combinatorial techniques. We compute the homology groups of the associated independence complex for small sizes and suggest a matching which, we believe, with further analysis could help solve the conjecture.
Universality and asymptotics of graph counting problems in nonorientable surfaces
Published
• View Publication
• BIB
Bender-Canfield showed that a plethora of graph counting problems in oriented/unoriented surfaces involve two constants $t_g$ and $p_g$ for the oriented and the unoriented case respectively. T.T.Q. Le and the authors recently discovered a hidden relation between the sequence $t_g$ and a formal power series solution $u(z)$ of the Painlevé I equation which, among other things, allows to give exact asymptotic expansion of $t_g$ to all orders in $1/g$ for large $g$. The paper introduces a formal power series solution $v(z)$ of a Riccati equation, gives a nonlinear recursion for its coefficients and an exact asymptotic expansion to all orders in $g$ for large $g$, using the theory of Borel transforms. In addition, we conjecture a precise relation between the sequence $p_g$ and $v(z)$. Our conjecture is motivated by the enumerative aspects of a quartic matrix model for real symmetric matrices, and the analytic properties of its double scaling limit. In particular, the matrix model provides a computation of the number of rooted quadrangulations in the 2-dimensional projective plane. Our conjecture implies analyticity of the $\mathrm{O}(N)$ and $\mathrm{Sp}(N)$-types of free energy of an arbitrary closed 3-manifold in a neighborhood of zero. Finally, we give a matrix model calculation of the Stokes constants, pose several problems that can be answered by the Riemann-Hilbert approach, and provide ample numerical evidence for our results.
Rigid Components of Random Graphs
The planar rigidity problem asks, given a set of m pairwise distances among a set P of n unknown points, whether it is possible to reconstruct P, up to a finite set of possibilities (modulo rigid motions of the plane). The celebrated Maxwell-Laman Theorem from Rigidity Theory says that, generically, the rigidity problem has a combinatorial answer: the underlying combinatorial structure must contain a spanning minimally-rigid graph (Laman graph). In the case where the system is not rigid, its inclusion-wise maximal rigid substructures (rigid components) are also combinatorially characterized via the Maxwell-Laman theorem, and may be found efficiently.
Physicists have used planar combinatorial rigidity has been used to study the phase transition between liquid and solid in network glasses. The approach has been to generate a graph via a stochastic process and then experimentally analyze its rigidity properties. Of particular interest is the size of the largest rigid components.
In this paper, we study the emergence of rigid components in an Erdos-Renyi random graph G(n,p), using the parameterization p=c/n for a fixed constant c>0. Our first result is that for all c>0, almost surely all rigid components have size 2, 3 or Omega(n). We also show that for c>4, almost surely the largest rigid components have size at least n/10.
While the G(n,p) model is simpler than those appearing in the physics literature, these results are the first of this type where the distribution is over all graphs on n vertices and the expected number of edges is O(n).
Boxicity and Cubicity of Asteroidal Triple free graphs
Published
• View Publication
• BIB
An axis parallel $d$-dimensional box is the Cartesian product $R_1 \times R_2 \times ... \times R_d$ where each $R_i$ is a closed interval on the real line. The {\it boxicity} of a graph $G$, denoted as $\boxi(G)$, is the minimum integer $d$ such that $G$ can be represented as the intersection graph of a collection of $d$-dimensional boxes. An axis parallel unit cube in $d$-dimensional space or a $d$-cube is defined as the Cartesian product $R_1 \times R_2 \times ... \times R_d$ where each $R_i$ is a closed interval on the real line of the form $[a_i,a_i + 1]$. The {\it cubicity} of $G$, denoted as $\cub(G)$, is the minimum integer $d$ such that $G$ can be represented as the intersection graph of a collection of $d$-cubes.
Let $S(m)$ denote a star graph on $m+1$ nodes. We define {\it claw number} of a graph $G$ as the largest positive integer $k$ such that $S(k)$ is an induced subgraph of $G$ and denote it as $\claw$.
Let $G$ be an AT-free graph with chromatic number $χ(G)$ and claw number $\claw$. In this paper we will show that $\boxi(G) \leq χ(G)$ and this bound is tight. We also show that $\cub(G) \leq \boxi(G)(\ceil{\log_2 \claw} +2)$ $\leq$ $χ(G)(\ceil{\log_2 \claw} +2)$. If $G$ is an AT-free graph having girth at least 5 then $\boxi(G) \leq 2$ and therefore $\cub(G) \leq 2\ceil{\log_2 \claw} +4$.
Table of minimum ranks of graphs of order at most 7 and selected optimal matrices
The minimum rank of a simple graph $G$ is defined to be the smallest possible rank over all symmetric real matrices whose $ij$th entry (for $i\neq j$) is nonzero whenever $\{i,j\}$ is an edge in $G$ and is zero otherwise. Minimum rank is a difficult parameter to compute. However, there are now a number of known reduction techniques and bounds that can be programmed on a computer; we have developed a program using the open-source mathematics software Sage to implement several techniques. We have also established several additional strategies for computation of minimum rank. These techniques have been used to determine the minimum ranks of all graphs of order 7. This paper contains a list of minimum ranks for all graphs of order at most 7. We also present selected optimal matrices.
Indecomposable Permutations, Hypermaps and Labeled Dyck Paths
Published
• View Publication
• BIB
Hypermaps were introduced as an algebraic tool for the representation of embeddings of graphs on an orientable surface. Recently a bijection was given between hypermaps and indecomposable permutations; this sheds new light on the subject by connecting a hypermap to a simpler object. In this paper, a bijection between indecomposable permutations and labelled Dyck paths is proposed, from which a few enumerative results concerning hypermaps and maps follow. We obtain for instance an inductive formula for the number of hypermaps with n darts, p vertices and q hyper-edges; the latter is also the number of indecomposable permutations of with p cycles and q left-to-right maxima. The distribution of these parameters among all permutations is also considered.
An Analytic Approach to Stability
Published
• View Publication
• BIB
The stability method is very useful for obtaining exact solutions of many extremal graph problems. Its key step is to establish the stability property which, roughly speaking, states that any two almost optimal graphs of the same order $n$ can be made isomorphic by changing o(n^2) edges.
Here we show how the recently developed theory of graph limits can be used to give an analytic approach to stability. As an application, we present a new proof of the Erdos-Simonovits Stability Theorem.
Also, we investigate various properties of the edit distance. In particular, we show that the combinatorial and fractional versions are within a constant factor from each other, thus answering a question of Goldreich, Krivelevich, Newman, and Rozenberg.
Non-degenerate colorings in the Brook's Theorem
Published in Diskretnaya Matematika, 2009 N4 pp. 105-128
• View Publication
• BIB
Let $c\geq 2$ and $p\geq c$ be two integers. We will call a proper coloring of the graph $G$ a \textit{$(c,p)$-nondegenerate}, if for any vertex of $G$ with degree at least $p$ there are at least $c$ vertices of different colors adjacent to it. In our work we prove the following result, which generalizes Brook's Theorem. Let $D\geq 3$ and $G$ be a graph without cliques on $D+1$ vertices and the degree of any vertex in this graph is not greater than $D$. Then for every integer $c\geq 2$ there is a proper $(c,p)$-nondegenerate vertex $D$-coloring of $G$, where $p=(c^3+8c^2+19c+6)(c+1).$ During the primary proof, some interesting corollaries are derived.
Bounds for the annealed return probability on large finite percolation clusters
Published in Electronic Journal of Probability 17 (2012), no. 79, 1-17
• View Publication
• BIB
Bounds for the expected return probability of the delayed random walk on finite clusters of an invariant percolation on transitive unimodular graphs are derived. They are particularly suited for the case of critical Bernoulli percolation and the associated heavy-tailed cluster size distributions. The upper bound relies on the fact that cartesian products of finite graphs with cycles of a certain minimal size are Hamiltonian. For critical Bernoulli bond percolation on the homogeneous tree this bound is sharp. The asymptotic type of the expected return probability for large times t in this case is of order of the 3/4'th power of 1/t.
Pattern Recognition on Oriented Matroids: Three-Tope Committees
A three-tope committee K* for a simple oriented matroid M is a 3-subset of its maximal covectors such that every positive halfspace of M contains at least two topes from K*. We consider three-tope committees as the vertex sets of triangles in graphs associated with the topes and enumerate them making use of the properties of the poset of convex subsets of the ground set of M.
Cutoff phenomena for random walks on random regular graphs
Published in Duke Math. J. 153, no. 3 (2010), 475-510
• View Publication
• BIB
The cutoff phenomenon describes a sharp transition in the convergence of a family of ergodic finite Markov chains to equilibrium. Many natural families of chains are believed to exhibit cutoff, and yet establishing this fact is often extremely challenging. An important such family of chains is the random walk on $\G(n,d)$, a random $d$-regular graph on $n$ vertices. It is well known that almost every such graph for $d\geq 3$ is an expander, and even essentially Ramanujan, implying a mixing-time of $O(\log n)$. According to a conjecture of Peres, the simple random walk on $\G(n,d)$ for such $d$ should then exhibit cutoff with high probability. As a special case of this, Durrett conjectured that the mixing time of the lazy random walk on a random 3-regular graph is w.h.p. $(6+o(1))\log_2 n$.
In this work we confirm the above conjectures, and establish cutoff in total-variation, its location and its optimal window, both for simple and for non-backtracking random walks on $\G(n,d)$. Namely, for any fixed $d\geq3$, the simple random walk on $\G(n,d)$ w.h.p. has cutoff at $\frac{d}{d-2}\log_{d-1} n$ with window order $\sqrt{\log n}$. Surprisingly, the non-backtracking random walk on $\G(n,d)$ w.h.p. has cutoff already at $\log_{d-1} n$ with constant window order. We further extend these results to $\G(n,d)$ for any $d=n^{o(1)}$ that grows with $n$ (beyond which the mixing time is O(1)), where we establish concentration of the mixing time on one of two consecutive integers.
Words with intervening neighbours in infinite Coxeter groups are reduced
Published
• View Publication
• BIB
Consider a graph with vertex set S. A word in the alphabet S has the intervening neighbours property if any two occurrences of the same letter are separated by all its graph neighbours. For a Coxeter graph, words represent group elements. Speyer recently proved that words with the intervening neighbours property are irreducible if the group is infinite and irreducible. We present a new and shorter proof using the root automaton for recognition of irreducible words.
Interval greedoids and families of local maximum stable sets of graphs
A maximum stable set in a graph G is a stable set of maximum cardinality. S is a local maximum stable set of G, if S is a maximum stable set of the subgraph induced by its closed neighborhood.
Nemhauser and Trotter Jr. proved in 1975 that any local maximum stable set is a subset of a maximum stable set of G. In 2002 we showed that the family of all local maximum stable sets of a forest forms a greedoid on its vertex set. The cases where G is bipartite, triangle-free, well-covered, while the family of all local maximum stable sets is a greedoid, were analyzed in 2004, 2007, and 2008, respectively.
In this paper we demonstrate that if the family of all local maximum stable sets of the graph satisfies the accessibility property, then it is an interval greedoid. We also characterize those graphs whose families of local maximum stable sets are either antimatroids or matroids.
Pivots, Determinants, and Perfect Matchings of Graphs
Published in Theoretical Computer Science 454 (2012) 64-71
• View Publication
• BIB
We give a characterization of the effect of sequences of pivot operations on a graph by relating it to determinants of adjacency matrices. This allows us to deduce that two sequences of pivot operations are equivalent iff they contain the same set S of vertices (modulo two). Moreover, given a set of vertices S, we characterize whether or not such a sequence using precisely the vertices of S exists. We also relate pivots to perfect matchings to obtain a graph-theoretical characterization. Finally, we consider graphs with self-loops to carry over the results to sequences containing both pivots and local complementation operations.
On Pebbling Graphs by their Blocks
Published
• View Publication
• BIB
Graph pebbling is a game played on a connected graph G. A player purchases pebbles at a dollar a piece, and hands them to an adversary who distributes them among the vertices of G (called a configuration) and chooses a target vertex r. The player may make a pebbling move by taking two pebbles off of one vertex and moving one pebble to a neighboring vertex. The player wins the game if he can move k pebbles to r. The value of the game (G,k), called the k-pebbling number of G, is the minimum cost to the player to guarantee a win. That is, it is the smallest positive integer m of pebbles so that, from every configuration of size m, one can move k pebbles to any target. In this paper, we use the block structure of graphs to investigate pebbling numbers, and we present the exact pebbling number of the graphs whose blocks are complete. We also provide an upper bound for the k-pebbling number of diameter-two graphs, which can be the basis for further investigation into the pebbling numbers of graphs with blocks that have diameter at most two.
Random Complexes and l^2-Betti Numbers
Published in J. Top. Anal. 1, no. 2 (2009), 153-175.
• View Publication
• BIB
Uniform spanning trees on finite graphs and their analogues on infinite graphs are a well-studied area. On a Cayley graph of a group, we show that they are related to the first $\ell^2$-Betti number of the group. Our main aim, however, is to present the basic elements of a higher-dimensional analogue on finite and infinite CW-complexes, which relate to the higher $\ell^2$-Betti numbers. One consequence is a uniform isoperimetric inequality extending work of Lyons, Pichot, and Vassout. We also present an enumeration similar to recent work of Duval, Klivans, and Martin.
The Graph of the Hypersimplex
The (k,d)-hypersimplex is a (d-1)-dimensional polytope whose vertices are the (0,1)-vectors that sum to k. When k=1, we get a simplex whose graph is the complete graph with d vertices. Here we show how many of the well known graph parameters and attributes of the complete graph extend to a more general case. In particular we obtain explicit formulas in terms of d and k for the number of vertices, vertex degree, number of edges and the diameter. We show that the graphs are vertex transitive, hamilton connected, obtain the clique number and show how the graphs can be decomposed into self-similar subgraphs. The paper concludes with a discussion of the edge expansion rate of the graph of a (k,d)-hypersimplex which we show is at least d/2, and how this graph can be used to generate a random subset of {1,2,3,...,d} with k elements.
Q-systems, Heaps, Paths and Cluster Positivity
Published in Comm. Math. Phys. 293 No3 (2010) 727-802
• View Publication
• BIB
We consider the cluster algebra associated to the $Q$-system for $A_r$ as a tool for relating $Q$-system solutions to all possible sets of initial data. We show that the conserved quantities of the $Q$-system are partition functions for hard particles on particular target graphs with weights, which are determined by the choice of initial data. This allows us to interpret the simplest solutions of the Q-system as generating functions for Viennot's heaps on these target graphs, and equivalently as generating functions of weighted paths on suitable dual target graphs. The generating functions take the form of finite continued fractions. In this setting, the cluster mutations correspond to local rearrangements of the fractions which leave their final value unchanged. Finally, the general solutions of the $Q$-system are interpreted as partition functions for strongly non-intersecting families of lattice paths on target lattices. This expresses all cluster variables as manifestly positive Laurent polynomials of any initial data, thus proving the cluster positivity conjecture for the $A_r$ $Q$-system. We also give an alternative formulation in terms of domino tilings of deformed Aztec diamonds with defects.