graph
34516 papers tagged with this keyword
A simple proof for folds on both sides in complexes of graph homomorphisms
Published in Proc. Amer. Math. Soc. 134 (2006), no. 5, 1265--1270
• View Publication
• BIB
In this paper we study implications of folds in both parameters of Lovász' Hom(-,-) complexes. There is an important connection between the topological properties of these complexes and lower bounds for chromatic numbers. We give a very short and conceptual proof of the fact that if G-v is a fold of G, then Bd(Hom(G,H)) collapses onto Bd Hom(G-v,H), whereas Hom(H,G) collapses onto Hom(H,G-v).
We also give an easy inductive proof of the only nonelementary fact which we use for our arguments: if $φ$ is a closure operator on P, then $Δ(P)$ collapses onto $Δ(φ(P))$.
Spiral Chains: A New Proof of the Four Color Theorem
Acceptable but due to extensive usage of a computer rather unpleasant proof of the famous four color map problem of Francis Guthrie were settled eventually by W. Appel and K. Haken in 1976. Using the same method but shortening the proof twenty years later by another team, namely N. Robertson, D.P. Sanders, P.D. Seymour and R. Thomas would not improve considerably the readability of the proof either. Thus it has been widely accepted the need of more elegant and readable proof. There are considerable number of equivalent formulations of the problem but none of them promising for a possible non-computer proofs. On the other hand known proofs are used the concept of Kempe chain and reducibility of the configurations which were a century old ideas. With these in mind we have introduced a new concept which we call "spiral chains" in the maximal planar graphs. We have shown that for any maximal graph as long as spiral chains are being used we do not need the fifth color. Henceforth this paper offers another proof to the four color theorem which is not based on deep and abstract theories from the other branches of mathematics or using computing power of computers, but rather completely on a new idea in graph theory.
The rank of connection matrices and the dimension of graph algebras
Connection matrices were introduced by Freedman, Lovasz and Schrijver [1], who used them to characterize graph homomorphism functions. The goal of this note is to determine the exact rank of these matrices. The result can be rephrased in terms of graph algebras (also introduced in [1]. Yet another version proves that if two k-tuples of nodes behave the same way from the point of view of graph homomorphisms, then they are equivalent under the automorphism group.
Some Conditional Correlation Inequalities for Percolation and Related Processes
Published
• View Publication
• BIB
Consider ordinary bond percolation on a finite or countably infinite graph. Let s, t, a and b be vertices. An earlier paper proved the (nonintuitive) result that, conditioned on the event that there is no open path from s to t, the two events "there is an open path from s to a" and "there is an open path from s to b" are positively correlated. In the present paper we further investigate and generalize the theorem of which this result was a consequence. This leads to results saying, informally, that, with the above conditioning, the open cluster of s is conditionally positively (self-)associated and that it is conditionally negatively correlated with the open cluster of t.
We also present analogues of some of our results for (a) random-cluster measures, and (b) directed percolation and contact processes, and observe that the latter lead to improvements of some of the results in a paper of Belitsky, Ferrari, Konno and Liggett (1997).
Calculus on Graphs
The purpose of this paper is to develop a "calculus" on graphs that allows graph theory to have new connections to analysis. For example, our framework gives rise to many new partial differential equations on graphs, most notably a new (Laplacian based) wave equation; this wave equation gives rise to a partial improvement on the Chung-Faber-Manteuffel diameter/eigenvalue bound in graph theory, and the Chung-Grigoryan-Yau and (in a certain case) Bobkov-Ledoux distance/eigenvalue bounds in analysis. Our framework also allows most techniques for the non-linear p-Laplacian in analysis to be easily carried over to graph theory.
Limits of dense graph sequences
We show that if a sequence of dense graphs has the property that for every fixed graph F, the density of copies of F in these graphs tends to a limit, then there is a natural ``limit object'', namely a symmetric measurable 2-variable function on [0,1]. This limit object determines all the limits of subgraph densities. We also show that the graph parameters obtained as limits of subgraph densities can be characterized by ``reflection positivity'', semidefiniteness of an associated matrix. Conversely, every such function arises as a limit object. Along the lines we introduce a rather general model of random graphs, which seems to be interesting on its own right.
Mean Ramsey-Turán numbers
Published
• View Publication
• BIB
A $ρ$-mean coloring of a graph is a coloring of the edges such that the average number of colors incident with each vertex is at most $ρ$. For a graph $H$ and for $ρ\geq 1$, the {\em mean Ramsey-Turán number} $RT(n,H,ρ-mean)$ is the maximum number of edges a $ρ$-mean colored graph with $n$ vertices can have under the condition it does not have a monochromatic copy of $H$. It is conjectured that $RT(n,K_m,2-mean)=RT(n,K_m,2)$ where $RT(n,H,k)$ is the maximum number of edges a $k$ edge-colored graph with $n$ vertices can have under the condition it does not have a monochromatic copy of $H$. We prove the conjecture holds for $K_3$. We also prove that $RT(n,H,ρ-mean) \leq RT(n,K_{χ(H)},ρ-mean)+o(n^2)$. This result is tight for graphs $H$ whose clique number equals their chromatic number. In particular we get that if $H$ is a 3-chromatic graph having a triangle then $RT(n,H,2-mean) = RT(n,K_3,2-mean)+o(n^2)=RT(n,K_3,2)+o(n^2)=0.4n^2(1+o(1))$.
Semisymmetric cubic graphs of twice odd order
Published
• View Publication
• BIB
The groups which can act semisymmetrically on a cubic graph of twice odd order are determined modulo a normal subgroup which acts semiregularly on the vertices of the graph.
Vertex Partitions of Chordal Graphs
Published in J. Graph Theory, 53:167-172, 2006.
• View Publication
• BIB
A \emph{$k$-tree} is a chordal graph with no $(k+2)$-clique. An \emph{$\ell$-tree-partition} of a graph $G$ is a vertex partition of $G$ into `bags', such that contracting each bag to a single vertex gives an $\ell$-tree (after deleting loops and replacing parallel edges by a single edge). We prove that for all $k\geq\ell\geq0$, every $k$-tree has an $\ell$-tree-partition in which every bag induces a connected $\floor{k/(\ell+1)}$-tree. An analogous result is proved for oriented $k$-trees.
The homotopy type of complexes of graph homomorphisms between cycles
Published
• View Publication
• BIB
In this paper we study the homotopy type of $\Hom(C_m,C_n)$, where $C_k$ is the cyclic graph with $k$ vertices. We enumerate connected components of $\Hom(C_m,C_n)$ and show that each such component is either homeomorphic to a point or homotopy equivalent to $S^1$.
Moreover, we prove that $\Hom(C_m,L_n)$ is either empty or is homotopy equivalent to the union of two points, where $L_n$ is an $n$-string, i.e., a tree with $n$ vertices and no branching points.
Characteristic-independence of Betti numbers of graph ideals
Published
• View Publication
• BIB
In this paper we study the Betti numbers of Stanley-Reisner ideals generated in degree 2. We show that the first six Betti numbers do not depend on the characteristic of the ground field. We also show that, if the number of variables $n$ is at most 10, all Betti numbers are independent of the ground field. For $n=11$, there exists precisely 4 examples in which the Betti numbers depend on the ground field. This is equivalent to the statement that the homology of flag complexes with at most 10 vertices is torsion free and that there exists precisely 4 non-isomorphic flag complexes with 11 vertices whose homology has torsion.
In each of the 4 examples mentioned above the 8th Betti numbers depend on the ground field and so we conclude that the highest Betti number which is always independent of the ground field is either 6 or 7; if the former is true then we show that there must exist a graph with 12 vertices whose 7th Betti number depends on the ground field.
Embedding the diamond graph in $L_p$ and dimension reduction in $L_1$
Published
• View Publication
• BIB
We show that any embedding of the level-k diamond graph of Newman and Rabinovich into $L_p$, $1 < p \le 2$, requires distortion at least $\sqrt{k(p-1) + 1}$. An immediate consequence is that there exist arbitrarily large n-point sets $X \subseteq L_1$ such that any D-embedding of X into $\ell_1^d$ requires $d \geq n^{Ω(1/D^2)}$. This gives a simple proof of the recent result of Brinkman and Charikar which settles the long standing question of whether there is an $L_1$ analogue of the Johnson-Lindenstrauss dimension reduction lemma.
Negative Latin square type partial difference sets in nonelementary abelian 2-groups
Published
• View Publication
• BIB
Combining results on quadrics in projective geometries with an algebraic interplay between finite fields and Galois rings, we construct the first known family of partial difference sets with negative Latin square type parameters in nonelementary abelian groups, the groups $\Z_4^{2k}\times \Z_2^{4 \ell-4k}$ for all $k$ when $\ell$ is odd and for all $k < \ell$ when $\ell$ is even. Similarly, we construct partial difference sets with Latin square type parameters in the same groups for all $k$ when $\ell$ is even and for all $k<\ell$ when $\ell$ is odd. These constructions provide the first example that the non-homomorphic bijection approach outlined by Hagita and Schmidt \cite{hagitaschmidt} can produce difference sets in groups that previously had no known constructions. Computer computations indicate that the strongly regular graphs associated to the PDSs are not isomorphic to the known graphs, and we conjecture that the family of strongly regular graphs will be new.
Harmonic analysis on metrized graphs
Published
• View Publication
• BIB
We study the Laplacian on a metrized graph, and its eigenfunctions.
Metrized graphs, electrical networks, and Fourier analysis
A metrized graph is a finite weighted graph whose edges are thought of as line segments. In this expository paper, we study the Laplacian operator on a metrized graph and some important functions related to it, including the ``j-function'', the effective resistance, and eigenfunctions of the Laplacian. We discuss the relationship between metrized graphs and electrical networks, which provides some physical intuition for the concepts being dealt with. We also discuss the relation between the Laplacian on a metrized graph and the combinatorial Laplacian matrix. We introduce the``canonical measure'' on a metrized graph, which arises naturally when considering the Laplacian of the effective resistance function. Finally, we discuss a generalization of classical Fourier analysis which utilizes eigenfunctions of the Laplacian on a metrized graph. During the course of the paper, we obtain a proof of Foster's network theorem and of an intriguing series identity.
Cohen-Macaulay chordal graphs
Published
• View Publication
• BIB
We classify all Cohen-Macaulay chordal graphs. In particular. it is shown that a chordal graph is Cohen-Macaulay if and only if its unmixed.
Cubic maximal nontraceable graphs
Published
• View Publication
• BIB
We determine a lower bound for the number of edges of a 2-connected maximal nontraceable graph, and present a construction of an infinite family of maximal nontraceable graphs that realize this bound.
Lower bound for the size of maximal nontraceable graphs
Published
• View Publication
• BIB
Let g(n) denote the minimum number of edges of a maximal nontraceable graph of order n. Dudek, Katona and Wojda (2003) showed that g(n)\geq\ceil{(3n-2)/2}-2 for n\geq 20 and g(n)\leq\ceil{(3n-2)/2} for n\geq 54 as well as for n\in I={22,23,30,31,38,39, 40,41,42,43,46,47,48,49,50,51}. We show that g(n)=\ceil{(3n-2)/2} for n\geq 54 as well as for n\in I\cup{12,13} and we determine g(n) for n\leq 9.
On the extreme eigenvalues of regular graphs
In this paper, we present an elementary proof of a theorem of Serre concerning the greatest eigenvalues of $k$-regular graphs. We also prove an analogue of Serre's theorem regarding the least eigenvalues of $k$-regular graphs: given $ε>0$, there exist a positive constant $c=c(ε,k)$ and a nonnegative integer $g=g(ε,k)$ such that for any $k$-regular graph $X$ with no odd cycles of length less than $g$, the number of eigenvalues $μ$ of $X$ such that $μ\leq -(2-ε)\sqrt{k-1}$ is at least $c|X|$. This implies a result of Winnie Li.
Metric structures in L_1: Dimension, snowflakes, and average distortion
Published in European J. Combinatorics 26(8): 1180-1190,2005
• View Publication
• BIB
We study the metric properties of finite subsets of L_1. The analysis of such metrics is central to a number of important algorithmic problems involving the cut structure of weighted graphs, including the Sparsest Cut Problem, one of the most compelling open problems in the field of approximation algorithms. Additionally, many open questions in geometric non-linear functional analysis involve the properties of finite subsets of L_1.