graph
34995 papers tagged with this keyword
Componentwise linearity of ideals arising from graphs
Published in Le Matematiche, Vol. 63 (2008), no. 2, 185--189
• Search Publication
Let $G$ be a simple undirected graph on $n$ vertices. Francisco and Van Tuyl have shown that if $G$ is chordal, then $\bigcap_{\{x_i,x_j\}\in E_G} < x_i,x_j>$ is componentwise linear. A natural question that arises is for which $t_{ij}>1$ the ideal $\bigcap_{\{x_i,x_j\}\in E_G}< x_i, x_j>^{t_{ij}}$ is componentwise linear, if $G$ is chordal. In this report we show that $\bigcap_{\{x_i,x_j\}\in E_G} < x_i, x_j>^{t}$ is componentwise linear for all $n\geq 3$ and positive $t$, if $G$ is a complete graph. We give also an example where $G$ is chordal, but the intersection ideal is not componentwise linear for any $t>1$.
Hitting all maximum cliques with a stable set using lopsided independent transversals
Published
• View Publication
• BIB
Rabern recently proved that any graph with omega >= (3/4)(Delta+1) contains a stable set meeting all maximum cliques. We strengthen this result, proving that such a stable set exists for any graph with omega > (2/3)(Delta+1). This is tight, i.e. the inequality in the statement must be strict. The proof relies on finding an independent transversal in a graph partitioned into vertex sets of unequal size.
A generalization of Hungarian method and Hall's theorem with applications in wireless sensor networks
Published
• View Publication
• BIB
In this paper, we consider various problems concerning quasi-matchings and semi-matchings in bipartite graphs, which generalize the classical problem of determining a perfect matching in bipartite graphs. We prove a vast generalization of Hall's marriage theorem, and present an algorithm that solves the problem of determining a lexicographically minimum $g$-quasi-matching (that is a set $F$ of edges in a bipartite graph such that in one set of the bipartition every vertex $v$ has at least $g(v)$ incident edges from $F$, where $g$ is a so-called need mapping, while on the other side of the bipartition the distribution of degrees with respect to $F$ is lexicographically minimum). We also present an application in designing an optimal CDMA-based wireless sensor networks.
Three-coloring triangle-free graphs on surfaces V. Coloring planar graphs with distant anomalies
We settle a problem of Havel by showing that there exists an absolute constant d such that if G is a planar graph in which every two distinct triangles are at distance at least d, then G is 3-colorable. In fact, we prove a more general theorem. Let G be a planar graph, and let H be a set of connected subgraphs of G, each of bounded size, such that every two distinct members of H are at least a specified distance apart and all triangles of G are contained in \bigcup{H}. We give a sufficient condition for the existence of a 3-coloring phi of G such that for every B\in H, the restriction of phi to B is constrained in a specified way.
Judicious partitions of 3-uniform hypergraphs
Published in Combinatorica 32 (2012)
• View Publication
• BIB
The vertices of any graph with $m$ edges can be partitioned into two parts so that each part meets at least $\frac{2m}{3}$ edges. Bollobás and Thomason conjectured that the vertices of any $r$-uniform graph may be likewise partitioned into $r$ classes such that each part meets at least $cm$ edges, with $c=\frac{r}{2r-1}$. In this paper, we prove this conjecture for the case $r=3$. In the course of the proof we shall also prove an extension of the graph case which was conjectured by Bollobás and Scott.
Concentration of the adjacency matrix and of the Laplacian in random graphs with independent edges
Consider any random graph model where potential edges appear independently, with possibly different probabilities, and assume that the minimum expected degree is omega(ln n). We prove that the adjacency matrix and the Laplacian of that random graph are concentrated around the corresponding matrices of the weighted graph whose edge weights are the probabilities in the random model. While this may seem surprising, we will see that this matrix concentration phenomenon is a generalization of known results about the Erös-Rényi model. In particular, we will argue that matrix concentration is implicit the theory of quasi-random graph properties.
We present two main applications of the main result. In bond percolation over a graph G, we show that the Laplacian of the random subgraph is typically very close to the Laplacian of G. As a corollary, we improve upon a bound for the spectral gap due to Chung and Horn that was derived via much more complicated methods.
In inhomogeneous random graphs, there are points X_1,...,X_n uniformly distributed on the interval [0,1] and each pair is connected with probability p kappa(X_i,X_j). We show that if \ln n/n<< p<< 1 and kappa is bounded, then the adjacency matrix of the random graph is close to an integral operator defined in terms of kappa.
Our main proof tool is a new concentration inequality for matrix martingales that generalizes Freedman's inequality for the standard scalar setting.
The measurement of quantum entanglement and enumeration of graph coverings
Published
• View Publication
• BIB
We provide formulas for invariants defined on a tensor product of defining representations of unitary groups, under the action of the product group. This situation has a physical interpretation, as it is related to the quantum mechanical state space of a multi-particle system in which each particle has finitely many outcomes upon observation. Moreover, these invariant functions separate the entangled and unentangled states, and are therefore viewed as measurements of quantum entanglement. When the ranks of the unitary groups are large, we provide a graph theoretic interpretation for the dimension of the invariants of a fixed degree. We also exhibit a bijection between isomorphism classes of finite coverings of connected simple graphs and a basis for the space of invariants. The graph coverings are related to branched coverings of surfaces.
Unexpected behaviour of crossing sequences
Published
• View Publication
• BIB
The n-th crossing number of a graph G, denoted cr_n(G), is the minimum number of crossings in a drawing of G on an orientable surface of genus n. We prove that for every a>b>0, there exists a graph G for which cr_0(G) = a, cr_1(G) = b, and cr_2(G) = 0. This provides support for a conjecture of Archdeacon et al. and resolves a problem of Salazar.
On the Spectrum of Middle-Cubes
A middle-cube is an induced subgraph consisting of nodes at the middle two layers of a hypercube. The middle-cubes are related to the well-known Revolving Door (Middle Levels) conjecture. We study the middle-cube graph by completely characterizing its spectrum. Specifically, we first present a simple proof of its spectrum utilizing the fact that the graph is related to Johnson graphs which are distance-regular graphs and whose eigenvalues can be computed using the association schemes. We then give a second proof from a pure graph theory point of view without using its distance regular property and the technique of association schemes.
Traffic Grooming in Bidirectional WDM Ring Networks
Published
• View Publication
• BIB
We study the minimization of ADMs (Add-Drop Multiplexers) in optical WDM bidirectional rings considering symmetric shortest path routing and all-to-all unitary requests. We precisely formulate the problem in terms of graph decompositions, and state a general lower bound for all the values of the grooming factor $C$ and $N$, the size of the ring. We first study exhaustively the cases C=1, $C = 2$, and C=3, providing improved lower bounds, optimal constructions for several infinite families, as well as asymptotically optimal constructions and approximations. We then study the case $C>3$, focusing specifically on the case $C = k(k+1)/2$ for some $k \geq 1$. We give optimal decompositions for several congruence classes of $N$ using the existence of some combinatorial designs. We conclude with a comparison of the cost functions in unidirectional and bidirectional WDM rings.
On the homomorphism order of labeled posets
Published in Order 28 (2011) 251-265
• View Publication
• BIB
Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This universal order is a distributive lattice. We investigate some other properties, namely the infinite distributivity, the computation of infinite suprema and infima, and the complexity of certain decision problems involving the homomorphism order of k-posets. Sublattices are also examined.
Perfect Matchings as IID Factors on Non-Amenable Groups
Published in Europ. J. Combin. 32 (2011), 1115--1125
• View Publication
• BIB
We prove that in every bipartite Cayley graph of every non-amenable group, there is a perfect matching that is obtained as a factor of independent uniform random variables. We also discuss expansion properties of factors and improve the Hoffman spectral bound on independence number of finite graphs.
The positive semidefinite Grothendieck problem with rank constraint
Published in ICALP, Part I, LNCS 6198, 2010, pages 31-42
• View Publication
• BIB
Given a positive integer n and a positive semidefinite matrix A = (A_{ij}) of size m x m, the positive semidefinite Grothendieck problem with rank-n-constraint (SDP_n) is
maximize \sum_{i=1}^m \sum_{j=1}^m A_{ij} x_i \cdot x_j, where x_1, ..., x_m \in S^{n-1}.
In this paper we design a polynomial time approximation algorithm for SDP_n achieving an approximation ratio of
γ(n) = \frac{2}{n}(\frac{Γ((n+1)/2)}{Γ(n/2)})^2 = 1 - Θ(1/n).
We show that under the assumption of the unique games conjecture the achieved approximation ratio is optimal: There is no polynomial time algorithm which approximates SDP_n with a ratio greater than γ(n). We improve the approximation ratio of the best known polynomial time algorithm for SDP_1 from 2/πto 2/(πγ(m)) = 2/π+ Θ(1/m), and we show a tighter approximation ratio for SDP_n when A is the Laplacian matrix of a graph with nonnegative edge weights.
Spanning trees in hyperbolic graphs
Published
• View Publication
• BIB
In this paper we construct spanning trees in hyperbolic graphs that represent their hyperbolic compactification in a good way: so that the tree has a bounded number of distinct rays to each boundary point. The bound depends only on the (Assouad) dimension of the boundary. As a corollary we sharpen a result of Gromov which says that from every hyperbolic graph with bounded degrees one can construct a tree outside the graph with a continuous surjection from the ends of the tree onto the hyperbolic boundary such that the surjection is finite-to-one. We will construct a tree with these properties inside the hyperbolic graph, which in addition is also a spanning tree of that graph.
On the homology of locally finite graphs
We show that the topological cycle space of a locally finite graph is a canonical quotient of the first singular homology group of its Freudenthal compactification, and we characterize the graphs for which the two coincide. We construct a new singular-type homology for non-compact spaces with ends, which in dimension~1 captures precisely the topological cycle space of graphs but works in any dimension.
The fundamental group of a locally finite graph with ends
Published
• View Publication
• BIB
We characterize the fundamental group of a locally finite graph G with ends combinatorially, as a group of infinite words. Our characterization gives rise to a canonical embedding of this group in the inverse limit of the (free) fundamental groups of the finite subgraphs of G.
On the homology of locally compact spaces with ends
Published
• View Publication
• BIB
We propose a homology theory for locally compact spaces with ends in which the ends play a special role. The approach is motivated by results for graphs with ends, where it has been highly successful. But it was unclear how the original graph-theoretical definition could be captured in the usual language for homology theories, so as to make it applicable to more general spaces. In this paper we provide such a general topological framework: we define a homology theory which satisfies the usual axioms, but which maintains the special role for ends that has made this homology work so well for graphs.
Transitivity conditions in infinite graphs
Published
• View Publication
• BIB
We study transitivity properties of graphs with more than one end. We completely classify the distance-transitive such graphs and, for all $k \geq 3$, the $k$-CS-transitive such graphs.
Sparse regular random graphs: Spectral density and eigenvectors
Published in Annals of Probability 2012, Vol. 40, No. 5, 2197-2235
• View Publication
• BIB
We examine the empirical distribution of the eigenvalues and the eigenvectors of adjacency matrices of sparse regular random graphs. We find that when the degree sequence of the graph slowly increases to infinity with the number of vertices, the empirical spectral distribution converges to the semicircle law. Moreover, we prove concentration estimates on the number of eigenvalues over progressively smaller intervals. We also show that, with high probability, all the eigenvectors are delocalized.
Equivalence of the random intersection graph and G(n,p)
Published in Random Structures and Algorithms, 38, 205-234, 2011
• View Publication
• BIB
We solve the conjecture posed by Fill, Scheinerman and Singer-Cohen and show the equivalence of the sharp threshold functions of the random intersection graph G(n,m,p) with $m >= n^3$ and a graph in which each edge appears independently. Moreover we prove sharper equivalence results under some additional assumptions.