graph
34995 papers tagged with this keyword
The Homomorphism Domination Exponent
Published
• View Publication
• BIB
We initiate a study of the homomorphism domination exponent of a pair of graphs F and G, defined as the maximum real number c such that |Hom(F,T)| \geq |Hom(G,T)|^c for every graph T. The problem of determining whether HDE(F,G) \geq 1 is known as the homomorphism domination problem and its decidability is an important open question arising in the theory of relational databases. We investigate the combinatorial and computational properties of the homomorphism domination exponent, proving upper and lower bounds and isolating classes of graphs F and G for which HDE(F,G) is computable. In particular, we present a linear program computing HDE(F,G) in the special case where F is chordal and G is series-parallel.
A Faster Algorithm for the Maximum Even Factor Problem
Published
• View Publication
• BIB
Given a digraph $G = (VG,AG)$, an \emph{even factor} $M \subseteq AG$ is a subset of arcs that decomposes into a collection of node-disjoint paths and even cycles. Even factors in digraphs were introduced by Geleen and Cunningham and generalize path matchings in undirected graphs. Finding an even factor of maximum cardinality in a general digraph is known to be NP-hard but for the class of \emph{odd-cycle symmetric} digraphs the problem is polynomially solvable. So far, the only combinatorial algorithm known for this task is due to Pap; it has the running time of $O(n^4)$ (hereinafter $n$ stands for the number of nodes in $G$). In this paper we present a novel \emph{sparse recovery} technique and devise an $O(n^3 \log n)$-time algorithm for finding a maximum cardinality even factor in an odd-cycle symmetric digraph.
k-Edge-Connectivity: Approximation and LP Relaxation
Published
• View Publication
• BIB
In the k-edge-connected spanning subgraph problem we are given a graph (V, E) and costs for each edge, and want to find a minimum-cost subset F of E such that (V, F) is k-edge-connected. We show there is a constant eps > 0 so that for all k > 1, finding a (1 + eps)-approximation for k-ECSS is NP-hard, establishing a gap between the unit-cost and general-cost versions. Next, we consider the multi-subgraph cousin of k-ECSS, in which we purchase a multi-subset F of E, with unlimited parallel copies available at the same cost as the original edge. We conjecture that a (1 + Theta(1/k))-approximation algorithm exists, and we describe an approach based on graph decompositions applied to its natural linear programming (LP) relaxation. The LP is essentially equivalent to the Held-Karp LP for TSP and the undirected LP for Steiner tree. We give a family of extreme points for the LP which are more complex than those previously known.
A new bound for the cops and robbers problem
Published
• View Publication
• BIB
In this short paper we study the game of cops and robbers, which is played on the vertices of some fixed graph $G$. Cops and a robber are allowed to move along the edges of $G$ and the goal of cops is to capture the robber. The cop number $c(G)$ of $G$ is the minimum number of cops required to win the game. Meyniel conjectured a long time ago that $O(\sqrt{n})$ cops are enough for any connected $G$ on $n$ vertices. Improving several previous results, we prove that the cop number of $n$-vertex graph is at most $n 2^{-(1+o(1))\sqrt{\log n}}$.
Index coding via linear programming
Index Coding has received considerable attention recently motivated in part by real-world applications and in part by its connection to Network Coding. The basic setting of Index Coding encodes the problem input as an undirected graph and the fundamental parameter is the broadcast rate $β$, the average communication cost per bit for sufficiently long messages (i.e. the non-linear vector capacity). Recent nontrivial bounds on $β$ were derived from the study of other Index Coding capacities (e.g. the scalar capacity $β_1$) by Bar-Yossef et al (2006), Lubetzky and Stav (2007) and Alon et al (2008). However, these indirect bounds shed little light on the behavior of $β$: there was no known polynomial-time algorithm for approximating $β$ in a general network to within a nontrivial (i.e. $o(n)$) factor, and the exact value of $β$ remained unknown for any graph where Index Coding is nontrivial.
Our main contribution is a direct information-theoretic analysis of the broadcast rate $β$ using linear programs, in contrast to previous approaches that compared $β$ with graph-theoretic parameters. This allows us to resolve the aforementioned two open questions. We provide a polynomial-time algorithm with a nontrivial approximation ratio for computing $β$ in a general network along with a polynomial-time decision procedure for recognizing instances with $β=2$. In addition, we pinpoint $β$ precisely for various classes of graphs (e.g. for various Cayley graphs of cyclic groups) thereby simultaneously improving the previously known upper and lower bounds for these graphs. Via this approach we construct graphs where the difference between $β$ and its trivial lower bound is linear in the number of vertices and ones where $β$ is uniformly bounded while its upper bound derived from the naive encoding scheme is polynomially worse.
Improved Bounds for $r$-Identifying Codes of the Hex Grid
Published
• View Publication
• BIB
For any positive integer $r$, an $r$-identifying code on a graph $G$ is a set $C\subset V(G)$ such that for every vertex in $V(G)$, the intersection of the radius-$r$ closed neighborhood with $C$ is nonempty and pairwise distinct. For a finite graph, the density of a code is $|C|/|V(G)|$, which naturally extends to a definition of density in certain infinite graphs which are locally finite. We find a code of density less than $5/(6r)$, which is sparser than the prior best construction which has density approximately $8/(9r)$.
An inequality involving the second largest and smallest eigenvalue of a distance-regular graph
Published
• View Publication
• BIB
For a distance-regular graph with second largest eigenvalue (resp. smallest eigenvalue) \mu1 (resp. \muD) we show that (\mu1+1)(\muD+1)<= -b1 holds, where equality only holds when the diameter equals two. Using this inequality we study distance-regular graphs with fixed second largest eigenvalue.
Patrolling a Street Network is Strongly NP-Complete but in P for Tree Structures
We consider the following problem: Given a finite set of straight line segments in the plane, determine the positions of a minimal number of points on the segments, from which guards can see all segments. This problem can be interpreted as looking for a minimal number of locations of policemen, guards, cameras or other sensors, that can observe a network of streets, corridors, tunnels, tubes, etc. We show that the problem is strongly NP-complete even for a set of segments with a cubic graph structure, but in P for tree structures.
Constructions for cyclic sieving phenomena
Published in SIAM J. Discrete Math., 25(3), 1297-1314. (18 pages), 2011
• View Publication
• BIB
We show how to derive new instances of the cyclic sieving phenomenon from old ones via elementary representation theory. Examples are given involving objects such as words, parking functions, finite fields, and graphs.
Every planar graph without adjacent short cycles is 3-colorable
Two cycles are {\em adjacent} if they have an edge in common. Suppose that $G$ is a planar graph, for any two adjacent cycles $C_{1}$ and $C_{2}$, we have $|C_{1}| + |C_{2}| \geq 11$, in particular, when $|C_{1}| = 5$, $|C_{2}| \geq 7$. We show that the graph $G$ is 3-colorable.
Simple $S_r$-homotopy types of Hom complexes and box complexes associated to $r$-graphs
Published
• View Publication
• BIB
For a pair $(H_1,H_2)$ of graphs, Lovász introduced a polytopal complex called the Hom complex $\text{Hom}(H_1,H_2)$, in order to estimate topological lower bounds for chromatic numbers of graphs. The definition is generalized to hypergraphs. Denoted by $K_r^r$ the complete $r$-graph on $r$ vertices. Given an $r$-graph $H$, we compare $\text{Hom}(K_r^r,H)$ with the box complex $\mathsf{B}_{\text{edge}}(H)$, invented by Alon, Frankl and Lovász. We verify that $\text{Hom}(K_r^r,H)$ and $\mathsf{B}_{\text{edge}}(H)$, both are equipped with right actions of the symmetric group on $r$ letters $S_r$, are of the same simple $S_r$-homotopy type.
Cellular resolutions of cointerval ideals
Published
• View Publication
• BIB
Minimal cellular resolutions of the edge ideals of cointerval hypergraphs are constructed. This class of d-uniform hypergraphs coincides with the complements of interval graphs (for the case d=2), and strictly contains the class of `strongly stable' hypergraphs corresponding to pure shifted simplicial complexes. The polyhedral complexes supporting the resolutions are described as certain spaces of directed graph homomorphisms, and are realized as subcomplexes of mixed subdivisions of the Minkowski sums of simplices. Resolutions of more general hypergraphs are obtained by considering decompositions into cointerval hypergraphs.
Locally finite graphs with ends: a topological approach. III. Fundamental group and homology
Published
• View Publication
• BIB
This paper is the last part of a comprehensive survey of a newly emerging field: a topological approach to the study of locally finite graphs that crucially incorporates their ends. Topological arcs and circles, which may pass through ends, assume the role played in finite graphs by paths and cycles. The first two parts of the survey together provide a suitable entry point to this field for new readers; they are available in combined form in arXiv:0912.4213. The topological approach indicated above has made it possible to extend to locally finite graphs many classical theorems of finite graph theory that do not extend verbatim. While the first part of this survey introduces the theory as such and the second part is devoted to those applications, this third part looks at the theory from an algebraic-topological point of view. The results surveyed here include both a combinatorial description of the fundamental group of a locally finite graph with ends and the homology aspects of this space.
Cohen-Macaulay binomial edge ideals
Published
• View Publication
• BIB
We study the depth of classes of binomial edge ideals and classify all closed graphs whose binomial edge ideal is Cohen--Macaulay.
The Strengthened Hanna Neumann Conjecture I: A Combinatorial Proof
We prove the Strengthened Hanna Neumann Conjecture, in its common graph theoretic formulation. Our original approach to this conjecture used cohomology of sheaves on graphs, although here we give a short combinatorial proof that we found in a succession of simplifications of the cohomological approach. Our proof is inductive, and requires Tardos' previous result settling the rank two case of the conjecture.
Roots of Ehrhart polynomials arising from graphs
Published in Journal of Algebraic Combinatorics 34(4) 721-749 (2011)
• View Publication
• BIB
Several polytopes arise from finite graphs. For edge and symmetric edge polytopes, in particular, exhaustive computation of the Ehrhart polynomials not merely supports the conjecture of Beck {\it et al.}\ that all roots $α$ of Ehrhart polynomials of polytopes of dimension $D$ satisfy $-D \le \Re(α) \le D - 1$, but also reveals some interesting phenomena for each type of polytope. Here we present two new conjectures: (1) the roots of the Ehrhart polynomial of an edge polytope for a complete multipartite graph of order $d$ lie in the circle $|z+\tfrac{d}{4}| \le \tfrac{d}{4}$ or are negative integers, and (2) a Gorenstein Fano polytope of dimension $D$ has the roots of its Ehrhart polynomial in the narrower strip $-\tfrac{D}{2} \leq \Re(α) \leq \tfrac{D}{2}-1$. Some rigorous results to support them are obtained as well as for the original conjecture. The root distribution of Ehrhart polynomials of each type of polytope is plotted in figures.
Limits of kernel operators and the spectral regularity lemma
Published
• View Publication
• BIB
We study the spectral aspects of the graph limit theory. We give a description of graphon convergence in terms of converegnce of eigenvalues and eigenspaces. Along these lines we prove a spectral version of the strong regularity lemma. Using spectral methods we investigate group actions on graphons. As an application we show that the set of isometry invariant graphons on the sphere is closed in terms of graph convergence however the analogous statement does not hold for the circle. This fact is rooted in the representation theory of the orthogonal group.
The equivariant topology of stable Kneser graphs
Published
• View Publication
• BIB
The stable Kneser graph $SG_{n,k}$, $n\ge1$, $k\ge0$, introduced by Schrijver \cite{schrijver}, is a vertex critical graph with chromatic number $k+2$, its vertices are certain subsets of a set of cardinality $m=2n+k$. Björner and de Longueville \cite{anders-mark} have shown that its box complex is homotopy equivalent to a sphere, $\Hom(K_2,SG_{n,k})\homot\Sphere^k$. The dihedral group $D_{2m}$ acts canonically on $SG_{n,k}$, the group $C_2$ with 2 elements acts on $K_2$. We almost determine the $(C_2\times D_{2m})$-homotopy type of $\Hom(K_2,SG_{n,k})$ and use this to prove the following results. The graphs $SG_{2s,4}$ are homotopy test graphs, i.e. for every graph $H$ and $r\ge0$ such that $\Hom(SG_{2s,4},H)$ is $(r-1)$-connected, the chromatic number $χ(H)$ is at least $r+6$. If $k\notin\set{0,1,2,4,8}$ and $n\ge N(k)$ then $SG_{n,k}$ is not a homotopy test graph, i.e.\ there are a graph $G$ and an $r\ge1$ such that $\Hom(SG_{n,k}, G)$ is $(r-1)$-connected and $χ(G)<r+k+2$.
The Distribution of the Domination Number of a Family of Random Interval Catch Digraphs
We study a new kind of proximity graphs called proportional-edge proximity catch digraphs (PCDs)in a randomized setting. PCDs are a special kind of random catch digraphs that have been developed recently and have applications in statistical pattern classification and spatial point pattern analysis. PCDs are also a special type of intersection digraphs; and for one-dimensional data, the proportional-edge PCD family is also a family of random interval catch digraphs. We present the exact (and asymptotic) distribution of the domination number of this PCD family for uniform (and non-uniform) data in one dimension. We also provide several extensions of this random catch digraph by relaxing the expansion and centrality parameters, thereby determine the parameters for which the asymptotic distribution is non-degenerate. We observe sudden jumps (from degeneracy to non-degeneracy or from a non-degenerate distribution to another) in the asymptotic distribution of the domination number at certain parameter values.
Structure of Thin Irreducible Modules of a Q-polynomial Distance-Regular Graph
Published
• View Publication
• BIB
Let Gamma be a Q-polynomial distance-regular graph with vertex set X, diameter D geq 3 and adjacency matrix A. Fix x in X and let A*=A*(x) be the corresponding dual adjacency matrix. Recall that the Terwilliger algebra T=T(x) is the subalgebra of Mat_X(C) generated by A and A*. Let W denote a thin irreducible T-module. It is known that the action of A and A* on W induces a linear algebraic object known as a Leonard pair. Over the past decade, many results have been obtained concerning Leonard pairs. In this paper, these results will be applied to obtain a detailed description of W. In particular, we give a description of W in terms of its intersection numbers, dual intersection numbers and parameter array. Finally, we apply our results to the case in which Gamma has q-Racah type or classical parameters.