graph
34516 papers tagged with this keyword
The Cycle-Complete graph Ramsey numbers
Published
• View Publication
• BIB
We find the Ramsey number of a cycle vs. a complete graph when the order of the cycle is at least 4 times as large as the order of the complete graph. This partially confirms a conjecture of Erdős, Faudree, Rousseau, and Schelp made in 1978.
Edge distribution of graphs with few induced copies of a given graph
Published
• View Publication
• BIB
We show that if a graph contains few induced copies of a given graph then its edges are distribited unevenly.
Generating Functions of Random Walks on Graphs
The article provides an explicit algebraic expression for the generating function of walks on graphs. Its proof is based on the scattering theory for the differential Laplace operator on non-compact graphs.
Reflection positivity, rank connectivity, and homomorphism of graphs
Published
• View Publication
• BIB
It is shown that a graph parameter can be realized as the number of homomorphisms into a fixed (weighted) graph if and only if it satisfies two linear algebraic conditions: reflection positivity and exponential rank-connectivity. In terms of statistical physics, this can be viewed as a characterization of partition functions of vertex models.
Subdominant matroid ultrametrics
Published
• View Publication
• BIB
Given a matroid M on the ground set E, the Bergman fan B(M), or space of M-ultrametrics, is a polyhedral complex in R^E which arises in several different areas, such as tropical algebraic geometry, dynamical systems, and phylogenetics. Motivated by the phylogenetic situation, we study the following problem: Given a point w in R^E, we wish to find an M-ultrametric which is closest to it in the l_infty metric.
The solution to this problem follows easily from the existence of the subdominant M-ultrametric: a componentwise maximum M-ultrametric which is componentwise smaller than w. A procedure for computing it is given, which brings together the points of view of matroid theory and tropical geometry.
When the matroid in question is the graphical matroid of the complete graph K_n, the Bergman fan B(K_n) parameterizes the equidistant phylogenetic trees with n leaves. In this case, our results provide a conceptual explanation for Chepoi and Fichet's method for computing the tree that most closely matches measured data.
Asymptotic Improvement of the Gilbert-Varshamov Bound on the Size of Binary Codes
Published in IEEE TRANSACTIONS ON INFORMATION THEORY, vol. 50, No. 8, pp. 1655-1664, August 2004 (http://www.ieeexplore.ieee.org/iel5/18/29198/01317112.pdf)
• View Publication
• BIB
Given positive integers $n$ and $d$, let $A_2(n,d)$ denote the maximum size of a binary code of length $n$ and minimum distance $d$. The well-known Gilbert-Varshamov bound asserts that $A_2(n,d) \geq 2^n/V(n,d-1)$, where $V(n,d) = \sum_{i=0}^{d} {n \choose i}$ is the volume of a Hamming sphere of radius $d$. We show that, in fact, there exists a positive constant $c$ such that $$ A_2(n,d) \geq c \frac{2^n}{V(n,d-1)} \log_2 V(n,d-1) $$ whenever $d/n \le 0.499$. The result follows by recasting the Gilbert- Varshamov bound into a graph-theoretic framework and using the fact that the corresponding graph is locally sparse. Generalizations and extensions of this result are briefly discussed.
From graphs to tensegrity structures: Geometric and symbolic approaches
Published in Publicacions Matemàtiques 50:2 (2006), 279-299
• View Publication
• BIB
A form-finding problem for tensegrity structures is studied; given an abstract graph, we show an algorithm to provide a necessary condition for it to be the underlying graph of a tensegrity in $\mathbb{R}^d$ (typically $d=2,3$) with vertices in general position. Furthermore, for a certain class of graphs our algorithm allows to obtain necessary and sufficient conditions on the relative position of the vertices in order to underlie a tensegrity, for what we propose both a geometric and a symbolic approach.
On the order of countable graphs
Published in European Journal of Combinatorics, 24(2003):649-663
• Search Publication
A set of graphs is said to be independent if there is no homomorphism between distinct graphs from the set. We consider the existence problems related to the independent sets of countable graphs. While the maximal size of an independent set of countable graphs is 2^omega the On Line problem of extending an independent set to a larger independent set is much harder. We prove here that singletons can be extended (``partnership theorem''). While this is the best possible in general, we give structural conditions which guarantee independent extensions of larger independent sets. This is related to universal graphs, rigid graphs and to the density problem for countable graphs.
Quadrangularity in Tournaments
The pattern of a matrix M is a (0,1)-matrix which replaces all non-zero entries of M with a 1. There are several contexts in which studying the patterns of orthogonal matrices can be useful. One necessary condition for a matrix to be orthogonal is a property known as combinatorial orthogonality. If the adjacency matrix of a directed graph forms a pattern of a combinatorially orthogonal matrix, we say the digraph is quadrangular. We look at the quadrangular property in tournaments and regular tournaments.
A tropical morphism related to the hyperplane arrangement of the complete bipartite graph
We undertake a combinatorial study of the piecewise linear map g : R^{2m+2n} --> R^{mn} which assigns to the four vectors a, A in R^m and b, B in R^n the m by n matrix given by g_{ij} = min (a_i + b_j, A_i+B_j). This map arises naturally in Pachter and Sturmfels's work on the tropical geometry of statistical models. The image of g has been a subject of recent interest; it is the positive part of the tropical algebraic variety which parameterizes n-tuples of points on a tropical line in m-space.
The domains of linearity of g are the regions of the real hyperplane arrangement A_{m,n}, corresponding to the complete bipartite graph K_{m,n}. We explain how the images of (some of) the regions provide two polyhedral subdivisions of the image of g, one of which is a refinement of the other. The finer subdivision is particularly nice enumeratively: it has 2 {m \choose 2} {n \choose 2} r_{m-2,n-2} maximum-dimensional cells, where r_{m-2,n-2} is the number of regions of the arrangement A_{m-2,n-2}.
Zero-one laws for graphs with edge probabilities decaying with distance. Part II
Published
• View Publication
• BIB
This is the second part of math.LO/9606226.
The f-Factor Problem for Graphs and the Hereditary Property
Published
• View Publication
• BIB
If P is a hereditary property then we show that, for the existence of a perfect f-factor, P is a sufficient condition for countable graphs and yields a sufficient condition for graphs of size aleph_1. Further we give two examples of a hereditary property which is even necessary for the existence of a perfect f-factor. We also discuss the aleph_2-case.
A Note on Cliques in Multipartite Graphs
We consider a set of cliques in any multipartite graph with two vertices in each part. Moreover, we construct a class of peculiar polytopes.
Key words: multipartite graph, clique, polytope.
Improved bounds for the crossing numbers of K_m,n and K_n
Published in SIAM J. Discr. Math. 20(2006), 189--202
• View Publication
• BIB
It has been long--conjectured that the crossing number cr(K_m,n) of the complete bipartite graph K_m,n equals the Zarankiewicz Number Z(m,n):= floor((m-1)/2) floor(m/2) floor((n-1)/2) floor(n/2). Another long--standing conjecture states that the crossing number cr(K_n) of the complete graph K_n equals Z(n):= floor(n/2) floor((n-1)/2) floor((n-2)/2) floor((n-3)/2)/4. In this paper we show the following improved bounds on the asymptotic ratios of these crossing numbers and their conjectured values:
(i) for each fixed m >= 9, lim_{n->infty} cr(K_m,n)/Z(m,n) >= 0.83m/(m-1);
(ii) lim_{n->infty} cr(K_n,n)/Z(n,n) >= 0.83; and
(iii) lim_{n->infty} cr(K_n)/Z(n) >= 0.83.
The previous best known lower bounds were 0.8m/(m-1), 0.8, and 0.8, respectively. These improved bounds are obtained as a consequence of the new bound cr(K_{7,n}) >= 2.1796n^2 - 4.5n. To obtain this improved lower bound for cr(K_{7,n}), we use some elementary topological facts on drawings of K_{2,7} to set up a quadratic program on 6! variables whose minimum p satisfies cr(K_{7,n}) >= (p/2)n^2 - 4.5n, and then use state--of--the--art quadratic optimization techniques combined with a bit of invariant theory of permutation groups to show that p >= 4.3593.
Laplacian operators and Radon transforms on Grassmann graphs
Published
• View Publication
• BIB
Let $Ω$ be a vector space over a finite field with q elements. Let G denote the general linear group of endomorphisms of $Ω$ and let us consider the left regular representation $ρ: G \to B(L_2(X))$ associated to the natural action of G on the set X of linear subspaces of $Ω$. In this paper we study a natural basis B of the algebra $End_{G}(L_2(X))$ of intertwining maps on $L_2(X)$. By using a Laplacian operator on Grassmann graphs, we identify the kernels in B as solutions of a basic hypergeometric difference equation. This provides two expressions for these kernels. One in terms of the q-Hahn polynomials and the other by means of a Rodrigues type formula. Finally, we obtain a useful product formula for the mappings in B. We give two different proofs. One uses the theory of classical hypergeometric polynomials and the other is supported by a characterization of spherical functions in finite symmetric spaces. Both proofs require the use of certain associated Radon transforms.
A graphic generalization of arithmetic
In this paper, we extend the classical arithmetic defined over the set of natural numbers N, to the set of all finite directed connected multigraphs having a pair of distinct distinguished vertices. Specifically, we introduce a model F on the set of such graphs, and provide an interpretation of the language of arithmetic L={0,1,<=,+,x} inside F. The resulting model exhibits the property that the standard model on N embeds in F as a submodel, with the directed path of length n playing the role of the standard integer n. We will compare the theory of the larger structure F with classical arithmetic statements that hold in N. For example, we explore the extent to which F enjoys properties like the associativity and commutativity of + and x, distributivity, cancellation and order laws, and decomposition into irreducibles.
The asymptotics of strongly regular graphs
A strongly regular graph is called trivial if it or its complement is a union of disjoint cliques. We prove that every infinite family of nontrivial strongly regular graphs is quasi-random in the sense of Chung, Graham and Wilson.
Non-backtracking random walks and cogrowth of graphs
Published in Canadian J. Math.59 (2007) 828-844
• View Publication
• BIB
Let X be a locally finite, connected graph without vertices of degree 1. Non-backtracking random walk moves at each step with equal probability to one of the "forward" neighbours of the actual state, i.e., it does not go back along the preceding edge to the preceding state. This is not a Markov chain, but can be turned into a Markov chain whose state space is the set of oriented edges of X. Thus we obtain for infinite X that the n-step non-backtracking transition probabilities tend to zero, and we can also compute their limit when X is finite. This provides a short proof of old results concerning cogrowth of groups, and makes the extension of that result to arbitrary regular graphs rigorous. Even when X is non-regular, but "small cycles are dense" in X, we show that the graph X is non-amenable if and only if the non-backtracking n-step transition probabilities decay exponentially fast. This is a partial generalization of the cogrowth criterion for regular graphs which comprises the original cogrowth criterion for finitely generated groups of Grigorchuk and Cohen.
The Cube Recurrence
Published
• View Publication
• BIB
We construct a combinatorial model that is described by the cube recurrence, a nonlinear recurrence relation introduced by Propp, which generates families of Laurent polynomials indexed by points in $\mathbb{Z}^3$. In the process, we prove several conjectures of Propp and of Fomin and Zelevinsky, and we obtain a combinatorial interpretation for the terms of Gale-Robinson sequences. We also indicate how the model might be used to obtain some interesting results about perfect matchings of certain bipartite planar graphs.
The enumeration of edge colorings and Hamiltonian cycles by means of symmetric tensors
Following Penrose, we introduce a family of graph functions defined in terms of contractions of certain products of symmetric tensors along the edges of a graph. Special cases of these functions enumerate edge colorings and cycles of arbitrary length in graphs (in particular, Hamiltonian cycles).