graph
35150 papers tagged with this keyword
Algorithmic barriers from phase transitions
Published in Proc. 49th FOCS (2008) 793 - 802
• View Publication
• BIB
For many random Constraint Satisfaction Problems, by now, we have asymptotically tight estimates of the largest constraint density for which they have solutions. At the same time, all known polynomial-time algorithms for many of these problems already completely fail to find solutions at much smaller densities. For example, it is well-known that it is easy to color a random graph using twice as many colors as its chromatic number. Indeed, some of the simplest possible coloring algorithms already achieve this goal. Given the simplicity of those algorithms, one would expect there is a lot of room for improvement. Yet, to date, no algorithm is known that uses $(2-ε) χ$ colors, in spite of efforts by numerous researchers over the years.
In view of the remarkable resilience of this factor of 2 against every algorithm hurled at it, we believe it is natural to inquire into its origin. We do so by analyzing the evolution of the set of $k$-colorings of a random graph, viewed as a subset of $\{1,...,k\}^{n}$, as edges are added. We prove that the factor of 2 corresponds in a precise mathematical sense to a phase transition in the geometry of this set. Roughly, the set of $k$-colorings looks like a giant ball for $k \ge 2 χ$, but like an error-correcting code for $k \le (2-ε) χ$. We prove that a completely analogous phase transition also occurs both in random $k$-SAT and in random hypergraph 2-coloring. And that for each problem, its location corresponds precisely with the point were all known polynomial-time algorithms fail. To prove our results we develop a general technique that allows us to prove rigorously much of the celebrated 1-step Replica-Symmetry-Breaking hypothesis of statistical physics for random CSPs.
A class of hypergraphs that generalizes chordal graphs
Published
• View Publication
• BIB
In this paper we introduce a class of hypergraphs that we call chordal. We also extend the definition of triangulated hypergraphs, given in \cite{VT}, so that a triangulated hypergraph, according to our definition, is a natural generalization of a chordal (rigid circuit) graph. In \cite{F1}, Fröberg shows that the chordal graphs corresponds to graph algebras, $R/I(\mc{G})$, with linear resolutions. We extend Fröberg's method and show that the hypergraph algebras of generalized chordal hypergraphs, a class of hypergraphs that includes the chordal hypergraphs, have linear resolutions. The definitions we give, yield a natural higher dimensional version of the well known flag property of simplicial complexes. We obtain what we call $d$-flag complexes.
Alternatives for Testing Total Dual Integrality
In this paper we provide characterizing properties of TDI systems, among others the following: a system of linear inequalities is TDI if and only if its coefficient vectors form a Hilbert basis, and there exists a test-set for the system's dual integer programs where all test vectors have positive entries equal to 1. Reformulations of this provide relations between computational algebra and integer programming and they contain Applegate, Cook and McCormick's sufficient condition for the TDI property and Sturmfels' theorem relating toric initial ideals generated by square-free monomials to unimodular triangulations. We also study the theoretical and practical efficiency and limits of the characterizations of the TDI property presented here.
In the particular case of set packing polyhedra our results correspond to endowing the weak perfect graph theorem with an additional, computationally interesting, geometric feature: the normal fan of the stable set polytope of a perfect graph can be refined into a regular triangulation consisting only of unimodular cones.
Two remarks on the Burr-Erdos conjecture
Published
• View Publication
• BIB
The Ramsey number r(H) of a graph H is the minimum positive integer N such that every two-coloring of the edges of the complete graph K_N on N vertices contains a monochromatic copy of H. A graph H is d-degenerate if every subgraph of H has minimum degree at most d. Burr and Erdős in 1975 conjectured that for each positive integer d there is a constant c_d such that r(H) \leq c_dn for every d-degenerate graph H on n vertices. We show that for such graphs r(H) \leq 2^{c_d\sqrt{\log n}}n, improving on an earlier bound of Kostochka and Sudakov. We also study Ramsey numbers of random graphs, showing that for d fixed, almost surely the random graph G(n,d/n) has Ramsey number linear in n. For random bipartite graphs, our proof gives nearly tight bounds.
Large induced trees in K_r-free graphs
Published
• View Publication
• BIB
For a graph G, let t(G) denote the maximum number of vertices in an induced subgraph of G that is a tree. In this paper, we study the problem of bounding t(G) for graphs which do not contain a complete graph K_r on r vertices. This problem was posed twenty years ago by Erdos, Saks, and Sos. Substantially improving earlier results of various researchers, we prove that every connected triangle-free graph on n vertices contains an induced tree of order \sqrt{n}. When r >= 4, we also show that t(G) >= (\log n)/(4 \log r) for every connected K_r-free graph G of order n. Both of these bounds are tight up to small multiplicative constants, and the first one disproves a recent conjecture of Matousek and Samal.
Weighted enumeration of spanning subgraphs with degree constraints
Published
• View Publication
• BIB
The Heilmann-Lieb Theorem on (univariate) matching polynomials states that the polynomial $\sum_k m_k(G) y^k$ has only real nonpositive zeros, in which $m_k(G)$ is the number of $k$-edge matchings of a graph $G$. There is a stronger multivariate version of this theorem. We provide a general method by which ``theorems of Heilmann-Lieb type'' can be proved for a wide variety of polynomials attached to the graph $G$. These polynomials are multivariate generating functions for spanning subgraphs of $G$ with certain weights and constraints imposed, and the theorems specify regions in which these polynomials are nonvanishing. Such theorems have consequences for the absence of phase transitions in certain probabilistic models for spanning subgraphs of $G$.
Some variants of the exponential formula, with application to the multivariate Tutte polynomial (alias Potts model)
Published in Seminaire Lotharingien de Combinatoire 61A, article 61Ae (2009)
• Search Publication
We prove some variants of the exponential formula and apply them to the multivariate Tutte polynomials (also known as Potts-model partition functions) of graphs. We also prove some further identities for the multivariate Tutte polynomial, which generalize an identity for counting connected graphs found by Riordan, Nijenhuis, Wilf and Kreweras and in more general form by Leroux and Gessel, and an identity for the inversion enumerator of trees found by Mallows, Riordan and Kreweras. Finally, we prove a generalization of Mobius inversion on the partition lattice.
Systems with the integer rounding property in normal monomial subrings
Published in An. Acad. Brasil. Cienc 82 (2010), no. 4, 801-811
• View Publication
• BIB
Let C be a clutter and let A be its incidence matrix. If the linear system x>=0;xA<=1 has the integer rounding property, we give a description of the canonical module and the a-invariant of certain normal subrings associated to C. If the clutter is a connected graph, we describe when the aforementioned linear system has the integer rounding property in combinatorial and algebraic terms using graph theory and the theory of Rees algebras. As a consequence we show that the extended Rees algebra of the edge ideal of a bipartite graph is Gorenstein if and only if the graph is unmixed.
Moments of Two-Variable Functions and the Uniqueness of Graph Limits
Published
• View Publication
• BIB
For a symmetric bounded measurable function W on [0,1]^2, "moments" of W can be defined as values t(F,W) indexed by simple graphs. We prove that every such function is determined by its moments up to a measure preserving transformation of the variables. This implies that the limit of a convergent dense graph sequence is unique up to measure preserving transformation.
Testing properties of graphs and functions
We define an analytic version of the graph property testing problem, which can be formulated as studying an unknown 2-variable symmetric function through sampling from its domain and studying the random graph obtained when using the function values as edge probabilities. We give a characterization of properties testable this way, and extend a number of results about ``large graphs'' to this setting. These results can be applied to the original graph-theoretic property testing.
Gorenstein polytopes obtained from bipartite graphs
Published
• View Publication
• BIB
Beck et. al. characterized the grid graphs whose perfect matching polytopes are Gorenstein and they also showed that for some parameters, perfect matching polytopes of torus graphs are Gorenstein. In this paper, we complement their result, that is, we characterize the torus graphs whose perfect matching polytopes are Gorenstein. Beck et. al. also gave a method to construct an infinite family of Gorenstein polytopes. In this paper, we introduce a new class of polytopes obtained from graphs and we extend their method to construct many more Gorenstein polytopes.
Asymptotic analysis of $k$-noncrossing matchings
In this paper we study $k$-noncrossing matchings. A $k$-noncrossing matching is a labeled graph with vertex set $\{1,...,2n\}$ arranged in increasing order in a horizontal line and vertex-degree 1. The $n$ arcs are drawn in the upper halfplane subject to the condition that there exist no $k$ arcs that mutually intersect. We derive: (a) for arbitrary $k$, an asymptotic approximation of the exponential generating function of $k$-noncrossing matchings $F_k(z)$. (b) the asymptotic formula for the number of $k$-noncrossing matchings $f_{k}(n) \sim c_k n^{-((k-1)^2+(k-1)/2)} (2(k-1))^{2n}$ for some $c_k>0$.
An upper bound for the number of perfect matchings in graphs
We give an upper bound on the number of perfect matchings in an undirected simple graph $G$ with an even number of vertices, in terms of the degrees of all the vertices in $G$. This bound is sharp if $G$ is a union of complete bipartite graphs. This bound is a generalization of the upper bound on the number of perfect matchings in bipartite graphs on $n+n$ vertices given by the Bregman-Minc inequality for the permanents of $(0,1)$ matrices.
Annular embeddings of permutations for arbitrary genus
Published
• View Publication
• BIB
In the symmetric group on a set of size 2n, let P_{2n} denote the conjugacy class of involutions with no fixed points (equivalently, we refer to these as ``pairings'', since each disjoint cycle has length 2). Harer and Zagier explicitly determined the distribution of the number of disjoint cycles in the product of a fixed cycle of length 2n and the elements of P_{2n}. Their famous result has been reproved many times, primarily because it can be interpreted as the genus distribution for 2-cell embeddings in an orientable surface,of a graph with a single vertex attached to n loops. In this paper we give a new formula for the cycle distribution when a fixed permutation with two cycles (say the lengths are p,q, where p+q=2n) is multiplied by the elements of P_{2n}. It can be interpreted as the genus distribution for 2-cell embeddings in an orientable surface, of a graph with two vertices, of degrees p and q. In terms of these graphs, the formula involves a parameter that allows us to specify, separately, the number of edges between the two vertices and the number of loops at each of the vertices. The proof is combinatorial, and uses a new algorithm that we introduce to create all rooted forests containing a given rooted forest.
A note on the Cops & Robber game on graphs embedded in non-orientable surfaces
Published in Graphs and Combinatorics, 30/1:119--124, 2014
• View Publication
• BIB
The Cops and Robber game is played on undirected finite graphs. A number of cops and one robber are positioned on vertices and take turns in sliding along edges. The cops win if they can catch the robber. The minimum number of cops needed to win on a graph is called its cop number. It is known that the cop number of a graph embedded on a surface $X$ of genus $g$ is at most $3g/2 + 3$, if $X$ is orientable (Schroeder 2004), and at most $2g+1$, otherwise (Nowakowski & Schroeder 1997).
We improve the bounds for non-orientable surfaces by reduction to the orientable case using covering spaces.
As corollaries, using Schroeder's results, we obtain the following: the maximum cop number of graphs embeddable in the projective plane is 3; the cop number of graphs embeddable in the Klein Bottle is at most 4, and an upper bound is $3g/2 + 3/2$ for all other $g$.
On perfect colorings of the halved 24-cube
Published in Diskretn. Anal. Issled. Oper. 15(5) 2008, 35-46 (in Russian)
• Search Publication
A vertex 2-coloring of a graph is said to be perfect with parameters $(a_{ij})_{i,j=1}^k$ if for every $i,j\in\{1,...,k\}$ every vertex of color $i$ is adjacent with exactly $a_{ij}$ vertices of color $j$. We consider the perfect 2-colorings of the distance-2 graph of the 24-cube $\{0,1\}^{24}$ with parameters $((20+c,256-c)(c,276-c))$ (i.e., with eigenvalue 20). We prove that such colorings exist for all $c$ from 1 to 128 except 1, 2, 4, 5, 7, 10, 13 and do not exist for $c=1, 2, 4, 5, 7$. Keywords: perfect coloring, equitable partition, hypercube, halved n-cube
Cycle Equivalence of Graph Dynamical Systems
Published in Nonlinearity 22 (2009) 421-436.
• View Publication
• BIB
Graph dynamical systems (GDSs) can be used to describe a wide range of distributed, nonlinear phenomena. In this paper we characterize cycle equivalence of a class of finite GDSs called sequential dynamical systems SDSs. In general, two finite GDSs are cycle equivalent if their periodic orbits are isomorphic as directed graphs. Sequential dynamical systems may be thought of as generalized cellular automata, and use an update order to construct the dynamical system map.
The main result of this paper is a characterization of cycle equivalence in terms of shifts and reflections of the SDS update order. We construct two graphs C(Y) and D(Y) whose components describe update orders that give rise to cycle equivalent SDSs. The number of components in C(Y) and D(Y) is an upper bound for the number of cycle equivalence classes one can obtain, and we enumerate these quantities through a recursion relation for several graph classes. The components of these graphs encode dynamical neutrality, the component sizes represent periodic orbit structural stability, and the number of components can be viewed as a system complexity measure.
Connectedness in graph limits
We define direct sums and a corresponding notion of connectedness for graph limits. Every graph limit has a unique decomposition as a direct sum of connected components. As is well-known, graph limits may be represented by symmetric functions on a probability space; there are natural definitions of direct sums and connectedness for such functions, and there is a perfect correspondence with the corresponding properties of the graph limit. Similarly, every graph limit determines an infinite random graph, which is a.s. connected if and only if the graph limit is connected. There are also characterizations in terms of the asymptotic size of the largest component in the corresponding finite random graphs, and of minimal cuts in sequences of graphs converging to a given limit.
On the Kuratowski graph planarity criterion
Published in Mat. Prosveschenie, 9 (2005), 116-128, and 11 (2007), 159--160
• Search Publication
This paper is purely expositional. The statement of the Kuratowski graph planarity criterion is simple and well-known. However, its classical proof is not easy. In this paper we present the Makarychev proof (with further simplifications by Prasolov, Telishev, Zaslavski and the author) which is possibly the simplest. In the Rusian version before the proof we present all the necessary definitions, and afterwards we state some close results on graphs and more general spaces. The paper is accessible for students familiar with the notion of a graph, and could be an interesting easy reading for mature mathematicians.
A homotopical algebra of graphs related to zeta series
Published
• View Publication
• BIB
The purpose of this paper is to develop a homotopical algebra for graphs, relevant to zeta series and spectra of finite graphs. More precisely, we define a Quillen model structure in a category of graphs (directed and possibly infinite, with loops and multiple arcs allowed). The weak equivalences for this model structure are the Acyclics (graph morphisms which preserve cycles). The cofibrations and fibrations for the model are determined from the class of Whiskerings (graph morphisms produced by grafting trees). Our model structure seems to fit well with the importance of acyclic directed graphs in many applications.
In addition to the weak factorization systems which form this model structure, we also describe two Freyd-Kelly factorization systems based on Folding, Injecting, and Covering graph morphisms.