graph
34489 papers tagged with this keyword
Separating Geometric Thickness from Book Thickness
We show that geometric thickness and book thickness are not asymptotically equivalent: for every t, there exists a graph with geometric thickness two and book thickness >= t.
Clairvoyant scheduling of random walks
Two infinite walks on the same finite graph are called compatible if it is possible to introduce delays into them in such a way that they never collide. Years ago, Peter Winkler asked the question: for which graphs are two independent walks compatible with positive probability. Up to now, no such graphs were found. We show in this paper that large complete graphs have this property. The question is equivalent to a certain dependent percolation with a power-law behavior: the probability that the origin is blocked at distance n but not closer decreases only polynomially fast and not, as usual, exponentially.
A New Matrix-Tree Theorem
The classical Matrix-Tree Theorem allows one to list the spanning trees of a graph by monomials in the expansion of the determinant of a certain matrix. We prove that in the case of three-graphs (that is, hypergraphs whose edges have exactly three vertices) the spanning trees are generated by the Pfaffian of a suitably defined matrix. This result can be interpreted topologically as an expression for the lowest order term of the Alexander-Conway polynomial of an algebraically split link. We also prove some algebraic properties of our Pfaffian-tree polynomial.
Lower central series and free resolutions of hyperplane arrangements
Published in Trans. Amer. Math. Soc. 354 (2002), no. 9, 3409-3433
• View Publication
• BIB
If $M$ is the complement of a hyperplane arrangement, and $A=H^*(M,\k)$ is the cohomology ring of $M$ over a field of characteristic 0, then the ranks, $φ_k$, of the lower central series quotients of $π_1(M)$ can be computed from the Betti numbers, $b_{ii}=\dim_{\k} \Tor^A_i(\k,\k)_i$, of the linear strand in a (minimal) free resolution of $\k$ over $A$. We use the Cartan-Eilenberg change of rings spectral sequence to relate these numbers to the graded Betti numbers, $b'_{ij}=\dim_{\k} \Tor^E_i(A,\k)_j$, of a (minimal) resolution of $A$ over the exterior algebra $E$.
From this analysis, we recover a formula of Falk for $φ_3$, and obtain a new formula for $φ_4$. The exact sequence of low degree terms in the spectral sequence allows us to answer a question of Falk on graphic arrangements, and also shows that for these arrangements, the algebra $A$ is Koszul iff the arrangement is supersolvable. We also give combinatorial lower bounds on the Betti numbers, $b'_{i,i+1}$, of the linear strand of the free resolution of $A$ over $E$; if the lower bound is attained for $i = 2$, then it is attained for all $i \ge 2$. For such arrangements, we compute the entire linear strand of the resolution, and we prove that all components of the first resonance variety of $A$ are local. For graphic arrangements (which do not attain the lower bound, unless they have no braid sub-arrangements), we show that $b'_{i,i+1}$ is determined by the number of triangles and $K_4$ subgraphs in the graph.
A special tiling of the rectangle
We count tilings of a rectangle of integer sides m-1 and n-1 by a special set of tiles. The result is obtained fron the study of the kernel of the adjacency matrix of an n x n rectangular graph of Z x Z.
Tight distance-regular graphs
Published in J. Alg. Combin. 12 (2000) 163-197
• Search Publication
We consider a distance-regular graph $\G$ with diameter $d \ge 3$ and eigenvalues $k=θ_0>θ_1>... >θ_d$. We show the intersection numbers $a_1, b_1$ satisfy $$ (θ_1 + {k \over a_1+1}) (θ_d + {k \over a_1+1}) \ge - {ka_1b_1 \over (a_1+1)^2}. $$ We say $\G$ is {\it tight} whenever $\G$ is not bipartite, and equality holds above. We characterize the tight property in a number of ways. For example, we show $\G$ is tight if and only if the intersection numbers are given by certain rational expressions involving $d$ independent parameters. We show $\G$ is tight if and only if $a_1\not=0$, $a_d=0$, and $\G$ is 1-homogeneous in the sense of Nomura. We show $\G$ is tight if and only if each local graph is connected strongly-regular, with nontrivial eigenvalues $-1-b_1(1+θ_1)^{-1}$ and $-1-b_1(1+θ_d)^{-1}$. Three infinite families and nine sporadic examples of tight distance-regular graphs are given.
Kasteleyn cokernels
Published in Electron. J. Combin. 9 (2002), #R29
• View Publication
• BIB
We consider Kasteleyn and Kasteleyn-Percus matrices, which arise in enumerating matchings of planar graphs, up to matrix operations on their rows and columns. If such a matrix is defined over a principal ideal domain, this is equivalent to considering its Smith normal form or its cokernel. Many variations of the enumeration methods result in equivalent matrices. In particular, Gessel-Viennot matrices are equivalent to Kasteleyn-Percus matrices.
We apply these ideas to plane partitions and related planar of tilings. We list a number of conjectures, supported by experiments in Maple, about the forms of matrices associated to enumerations of plane partitions and other lozenge tilings of planar regions and their symmetry classes. We focus on the case where the enumerations are round or $q$-round, and we conjecture that cokernels remain round or $q$-round for related ``impossible enumerations'' in which there are no tilings. Our conjectures provide a new view of the topic of enumerating symmetry classes of plane partitions and their generalizations. In particular we conjecture that a $q$-specialization of a Jacobi-Trudi matrix has a Smith normal form. If so it could be an interesting structure associated to the corresponding irreducible representation of $\SL(n,\C)$. Finally we find, with proof, the normal form of the matrix that appears in the enumeration of domino tilings of an Aztec diamond.
Higher-rank graphs and their C*-algebras
Published
• View Publication
• BIB
We consider the higher-rank graphs introduced by Kumjian and Pask as models for higher-rank Cuntz-Krieger algebras. We describe a variant of the Cuntz-Krieger relations which applies to graphs with sources, and describe a local convexity condition which characterises the higher-rank graphs that admit a nontrivial Cuntz-Krieger family. We then prove versions of the uniqueness theorems and classifications of ideals for the C*-algebras generated by Cuntz-Krieger families.
On the largest eigenvalue of a sparse random subgraph of the hypercube
We consider a sparse random subraph of the $n$-cube where each edge appears independently with small probability $p(n) =O(n^{-1+o(1)})$. In the most interesting regime when $p(n)$ is not exponentially small we prove that the largest eigenvalue of the graph is asymtotically equal to the square root of the maximum degree.
Ribbon Tilings and Multidimensional Height Functions
Published
• View Publication
• BIB
We fix $n$ and say a square in the two-dimensional grid indexed by $(x,y)$ has color $c$ if $x+y \equiv c \pmod{n}$. A {\it ribbon tile} of order $n$ is a connected polyomino containing exactly one square of each color. We show that the set of order-$n$ ribbon tilings of a simply connected region $R$ is in one-to-one correspondence with a set of {\it height functions} from the vertices of $R$ to $\mathbb Z^{n}$ satisfying certain difference restrictions. It is also in one-to-one correspondence with the set of acyclic orientations of a certain partially oriented graph.
Using these facts, we describe a linear (in the area of $R$) algorithm for determining whether $R$ can be tiled with ribbon tiles of order $n$ and producing such a tiling when one exists. We also resolve a conjecture of Pak by showing that any pair of order-$n$ ribbon tilings of $R$ can be connected by a sequence of local replacement moves. Some of our results are generalizations of known results for order-2 ribbon tilings (a.k.a. domino tilings). We also discuss applications of multidimensional height functions to a broader class of polyomino tiling problems.
Parameterizing Hecke algebra modules: Bernstein-Zelevinsky multisegments, Kleshchev multipartitions, and crystal graphs
Published
• View Publication
• BIB
This paper provides a combinatorial dictionary between three sets of objects: Bernstein-Zelevinsky multisegments, Kleshchev multipartitions, and the irreducible modules of the affine Hecke algebra $H_n$ (for generic $q$).
In particular, we compute the action of the crystal operator $\tilde{e}_i$ (a refinement of socle of Restriction) on an irreducible module both in terms of its parameterization by multisegments and by multipartitions. In other words, we give explicit crystal graph isomorphisms.
A byproduct is the determination of which multisegments parameterize modules of the {\it cyclotomic} Hecke algebra $H_n^λ$. The theorems also explain why the rule for computing $\tilde{e}_i$ mirrors the rule we know for that on a tensor product of crystal graphs.
We also give a construction of the irreducible module parameterized by a multipartition without relying on a choice of path in the crystal graph.
The proofs given here are elementary and do not rely on any geometry.
Une conjecture de Kontsevich et Shoikhet et la caracteristique d'Euler
Salikhov has proved a conjecture of Kontsevich and Shoikhet by reducing it to the consideration of three families of graphs, a consideration which was left to the reader for two of those families. We show, that the conjecture is just a very particular case of the classical theorem on the Euler characteristic, well explicated by Teleman.
There is no universal countable random-free graph
Published
• View Publication
• BIB
We consider embeddings between infinite graphs. In particular, We establish that there is no universal element in the class of countable graphs into which the random graph is not embeddable.
On the Complexity of Polytope Isomorphism Problems
Published
• View Publication
• BIB
We show that the problem to decide whether two (convex) polytopes, given by their vertex-facet incidences, are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a polynomial time algorithm for the combinatorial polytope isomorphism problem in bounded dimensions. Furthermore, we derive that the problems to decide whether two polytopes, given either by vertex or by facet descriptions, are projectively or affinely isomorphic are graph isomorphism hard.
The original version of the paper (June 2001, 11 pages) had the title ``On the Complexity of Isomorphism Problems Related to Polytopes''. The main difference between the current and the former version is a new polynomial time algorithm for polytope isomorphism in bounded dimension that does not rely on Luks polynomial time algorithm for checking two graphs of bounded valence for isomorphism. Furthermore, the treatment of geometric isomorphism problems was extended.
THe largest eigenvalue of sparse random graphs
Published
• View Publication
• BIB
We prove that for all values of the edge probability p(n) the largest eigenvalue of a random graph G(n,p) satisfies almost surely: λ_1(G)=(1+o(1))max{\sqrtΔ,np}, where Δis a maximal degree of G, and the o(1) term tends to zero as max{\sqrtΔ,np} tends to infinity.
2-enumerations of halved alternating sign matrices
Published in Séminaire Lotharingien Combin. 46, (2001), Article B46c, 11pp
• Search Publication
We compute 2-enumerations of certain halved alternating sign matrices. In one case the enumeration equals the number of perfect matchings of a halved Aztec diamond. In the other case the enumeration equals the number of perfect matchings of a halved fortress graph. Our results prove three conjectures by Jim Propp.
percolation on finite graphs
The asymptotic study of percolation on finite transitive graphs is considered. Several questions and very few answers regarding percolation on finite graphs are presented.
Some identities for enumerators of circulant graphs
Published in J. of Algebr. Combin., v.18:3 (2003), 189-209 (in a revised form)
• View Publication
• BIB
We establish analytically several new identities connecting enumerators of different types of circulant graphs of prime, twice prime and prime-squared orders. In particular, it is shown that the semi-sum of the number of undirected circulants and the number of undirected self-complementary circulants of prime order is equal to the number of directed self-complementary circulants of the same order.
Keywords: circulant graph; cycle index; cyclic group; nearly doubled primes; Cunningham chain; self-complementary graph; tournament; mixed graph
Clusters of Cycles
Published
• View Publication
• BIB
A {\it cluster of cycles} (or {\it $(r,q)$-polycycle}) is a simple planar 2--co nnected finite or countable graph $G$ of girth $r$ and maximal vertex-degree $q$, which admits {\it $(r,q)$-polycyclic realization} on the plane, denote it by $P(G)$, i.e. such that: (i) all interior vertices are of degree $q$, (ii) all interior faces (denote their number by $p_r$) are combinatorial $r$-gons and (implied by (i), (ii)) (iii) all vertices, edges and interior faces form a cell-complex.
An example of $(r,q)$-polycycle is the skeleton of $(r^q)$, i.e. of the $q$-valent partition of the sphere $S^2$, Euclidean plane $R^2$ or hyperbolic plane $H^2$ by regular $r$-gons. Call {\it spheric} pairs $(r,q)=(3,3),(3,4),(4,3),(3,5),(5,3)$; for those five pairs $P(r^q)$ is $(r^q)$ without the exterior face; otherwise $P(r^q)=(r^q)$.
We give here a compact survey of results on $(r,q)$-polycycles.
The Coloring Ideal and Coloring Complex of a Graph
Let $G$ be a simple graph on $d$ vertices. We define a monomial ideal $K$ in the Stanley-Reisner ring $A$ of the order complex of the Boolean algebra on $d$ atoms. The monomials in $K$ are in one-to-one correspondence with the proper colorings of $G$. In particular, the Hilbert polynomial of $K$ equals the chromatic polynomial of $G$.
The ideal $K$ is generated by square-free monomials, so $A/K$ is the Stanley-Reisner ring of a simplicial complex $C$. The $h$-vector of $C$ is a certain transformation of the tail $T(n)= n^d-k(n)$ of the chromatic polynomial $k$ of $G$. The combinatorial structure of the complex $C$ is described explicitly and it is shown that the Euler characteristic of $C$ equals the number of acyclic orientations of $G$.