graph
34489 papers tagged with this keyword
Some concepts in list coloring
Published in Journal of Combinatorial Mathematics and Combinatorial Computing 41 (2002), 151-160
• Search Publication
In this paper uniquely list colorable graphs are studied. A graph G is called to be uniquely k-list colorable if it admits a k-list assignment from which G has a unique list coloring. The minimum k for which G is not uniquely k-list colorable is called the M-number of G. We show that every triangle-free uniquely vertex colorable graph with chromatic number k+1, is uniquely k-list colorable. A bound for the M-number of graphs is given, and using this bound it is shown that every planar graph has M-number at most 4. Also we introduce list criticality in graphs and characterize all 3-list critical graphs. It is conjectured that every $χ_\ell$-critical graph is $χ'$-critical and the equivalence of this conjecture to the well known list coloring conjecture is shown.
A note on "H-cordial graphs"
Published in Bulletin of the Institute of Combinatorics and its Applications 31 (2001), 60-68
• Search Publication
The concept of an H-cordial graph is introduced by I. Cahit in 1996 (Bulletin of the ICA). But that paper has some gaps and invalid statements. We try to prove the statements whose proofs in Cahit's paper have problems, and also we give counterexamples for the wrong statements. We prove necessary and sufficient conditions for H-cordiality of complete graphs and wheels and H_2-cordiality of wheels, which are wrongly claimed in Cahit's paper.
Sparse Random Matrices and Statistics of Rooted Trees
Published in Corrected and amended version: Adv. Appl. Probab. 33 (2001) 124-140
• View Publication
• BIB
We consider the ensemble of N-dimensional random symmetric matrices A that have, in average, p non-zero elements per row. We study the asymptotic behavior of the norm of A in the limit of infinitely increasing N and p. We prove that the value p= log N is the critical one for the norm to be either bounded or not. The arguments are based on the calculus of the tree-type graphs. Asymptotic properties of sparse random matrices essentially depend on the typical degree of a tree vertex that we show to be finite.
Coloring of Trees with Minimum Sum of Colors
Published
• View Publication
• BIB
The chromatic sum of a graph is the smallest sum of colors among all proper colorings with natural numbers. The strength is the minimum number of colors needed to achieve the chromatic sum. We construct for each positive integer k a tree with strength k that has maximum degree only 2k-2. The result is best possible.
Bounds on the Complex Zeros of (Di)Chromatic Polynomials and Potts-Model Partition Functions
Published in Combin. Probab. Comput. 10 (2001) 41-77
• View Publication
• BIB
I show that there exist universal constants $C(r) < \infty$ such that, for all loopless graphs $G$ of maximum degree $\le r$, the zeros (real or complex) of the chromatic polynomial $P_G(q)$ lie in the disc $|q| < C(r)$. Furthermore, $C(r) \le 7.963906... r$. This result is a corollary of a more general result on the zeros of the Potts-model partition function $Z_G(q, {v_e})$ in the complex antiferromagnetic regime $|1 + v_e| \le 1$. The proof is based on a transformation of the Whitney-Tutte-Fortuin-Kasteleyn representation of $Z_G(q, {v_e})$ to a polymer gas, followed by verification of the Dobrushin-Kotecký-Preiss condition for nonvanishing of a polymer-model partition function. I also show that, for all loopless graphs $G$ of second-largest degree $\le r$, the zeros of $P_G(q)$ lie in the disc $|q| < C(r) + 1$. Along the way, I give a simple proof of a generalized (multivariate) Brown-Colbourn conjecture on the zeros of the reliability polynomial for the special case of series-parallel graphs.
A Note on Primitive Equivalence
Primitive equivalence of graphs and matrices was used by Enomoto, Fujii and Watatani to classify Cuntz-Krieger algebras of 3x3 irreducible matrices. In this paper it is shown that the definition of primitive equivalence can be simplified using primitive transfers of matrices that involve only two rows of the matrix.
Edge-bandwidth of graphs
Published
• View Publication
• BIB
The edge-bandwidth of a graph is the minimum, over all labelings of the edges with distinct integers, of the maximum difference between labels of two incident edges. We prove that edge-bandwidth is at least as large as bandwidth for every graph, with equality for certain caterpillars. We obtain sharp or nearly-sharp bounds on the change in edge-bandwidth under addition, subdivision, or contraction of edges. We compute edge-bandwidth for cliques, bicliques, caterpillars, and some theta graphs.
Spectral Statistics for Quantum Graphs: Periodic Orbits and Combinatorics
Published
• View Publication
• BIB
We consider the Schroedinger operator on graphs and study the spectral statistics of a unitary operator which represents the quantum evolution, or a quantum map on the graph. This operator is the quantum analogue of the classical evolution operator of the corresponding classical dynamics on the same graph. We derive a trace formula, which expresses the spectral density of the quantum operator in terms of periodic orbits on the graph, and show that one can reduce the computation of the two-point spectral correlation function to a well defined combinatorial problem. We illustrate this approach by considering an ensemble of simple graphs. We prove by a direct computation that the two-point correlation function coincides with the CUE expression for 2x2 matrices. We derive the same result using the periodic orbit approach in its combinatorial guise. This involves the use of advanced combinatorial techniques which we explain.
Arithmetical properties of Laplacians of graphs
Published
• View Publication
• BIB
Let $M \in M_n (\mathbb Z)$ denote any matrix. Thinking of $M$ as a linear map $M:{\mathbb Z}^n \to {\mathbb Z}^n$, we denote by ${\Image}(M)$ the $\mathbb Z$-span of the column vectors of $M$. Let $e_1, ..., e_n,$ denote the standard basis of ${\mathbb Z}^n$, and let $E_{ij}: = e_i - e_j$, $ (i \neq j)$. In this article, we are interested in the group ${\mathbb Z}^n /{\Image}(M)$, and in particular in the elements of this group defined by the images $τ_{ij}$ of the vectors $E_{ij}$ under the quotient ${\mathbb Z}^n \to {\mathbb Z}^n / {\Image} (M)$. Most of this article is devoted to the study of the case where $M$ is the laplacian of a graph. In this case, the elements $τ_{ij}$ have finite order, and we study how the geometry of the graph relates to these orders. Applications to the theory of semistable reduction of curves will appear in a forthcoming article.
Ground State Entropy of the Potts Antiferromagnet on Cyclic Strip Graphs
Published in J. Phys. A (Lett.) 32, L195 (1999)
• View Publication
• BIB
We present exact calculations of the zero-temperature partition function (chromatic polynomial) and the (exponent of the) ground-state entropy $S_0$ for the $q$-state Potts antiferromagnet on families of cyclic and twisted cyclic (Möbius) strip graphs composed of $p$-sided polygons. Our results suggest a general rule concerning the maximal region in the complex $q$ plane to which one can analytically continue from the physical interval where $S_0 > 0$. The chromatic zeros and their accumulation set ${\cal B}$ exhibit the rather unusual property of including support for $Re(q) < 0$ and provide further evidence for a relevant conjecture.
Trees and Matchings
Published in Electronic Journal of Combinatorics, 7(1):R25, 2000
• View Publication
• BIB
In this article, Temperley's bijection between spanning trees of the square grid on the one hand, and perfect matchings (also known as dimer coverings) of the square grid on the other, is extended to the setting of general planar directed (and undirected) graphs, where edges carry nonnegative weights that induce a weighting on the set of spanning trees. We show that the weighted, directed spanning trees (often called arborescences) of any planar graph G can be put into a one-to-one weight-preserving correspondence with the perfect matchings of a related planar graph H.
One special case of this result is a bijection between perfect matchings of the hexagonal honeycomb lattice and directed spanning trees of a triangular lattice. Another special case gives a correspondence between perfect matchings of the ``square-octagon'' lattice and directed weighted spanning trees on a directed weighted version of the cartesian lattice.
In conjunction with results of Kenyon, our main theorem allows us to compute the measures of all cylinder events for random spanning trees on any (directed, weighted) planar graph. Conversely, in cases where the perfect matching model arises from a tree model, Wilson's algorithm allows us to quickly generate random samples of perfect matchings.
A Generalization of Redfield's Master Theorem
Generalizations of Redfield's master theorem and superposition theorem are proved by using decomposition of the tensor product of several induced monomial representations of the symmetric group $S_d$ into transitive constituents. As direct consequences, one obtains several graphical corollaries. Given graphs $Γ_1,\hdots ,Γ_k$, with $d$ vertices, together with their automorphism groups $W_1\leq S_d,\hdots, W_k\leq S_d$, one can find the number of superpositions of $Γ_1,\hdots ,Γ_k$, whose automorphism groups satisfy one of the following conditions: (1) the groups consist of even permutations; (2) the groups are trivial, in case at least one of $W_m$'s is cyclic; (3) the groups are of odd order, in case at least one of $W_m$'s is dihedral and its order is not divisible by 4; (4) the groups are of order dividing a natural number $r$, in case at least one of $W_m$'s has a normal solvable subgroup of order $r$, such that the corresponding factor-group is cyclic of order relatively prime to $r$; (5) the groups are $q$-groups ($q$ is a prime), in case at least one of $W_m$'s has a normal $q$-subgroup such that the corresponding factor-group is cyclic of order relatively prime to $q$.
Why the characteristic polynomial factors
Published in Bull. Amer. Math. Soc. 36 (1999), 113-134
• View Publication
• BIB
We survey three methods for proving that the characteristic polynomial of a finite lattice factors over the nonnegative integers and indicate how they have evolved recently. The first technique uses geometric ideas and is based on Zaslavsky's theory of signed graphs. The second approach is algebraic and employs results of Saito and Terao about free hyperplane arrangements. Finally, we consider a purely combinatorial theorem of Stanley about semimodular supersolvable lattices and its generalizations.
Restricted random walks on a graph
Published in Ann. Combinatorics 3, 475-481 (1999)
• View Publication
• BIB
The problem of a restricted random walk on graphs which keeps track of the number of immediate reversal steps is considered by using a transfer matrix formulation. A closed-form expression is obtained for the generating function of the number of n-step walks with r reversal steps for walks on any graph. In the case of graphs of a uniform valence, we show that our result has a probabilistic meaning, and deduce explicit expressions for the generating function in terms of the eigenvalues of the adjacency matrix. Applications to periodic lattices and the complete graph are given.
Neighborly cubical polytopes
Published
• View Publication
• BIB
Neighborly cubical polytopes exist: for any $n\ge d\ge 2r+2$, there is a cubical convex d-polytope $C^n_d$ whose $r$-skeleton is combinatorially equivalent to that of the $n$-dimensional cube. This solves a problem of Babson, Billera & Chan.
Kalai conjectured that the boundary $\partial C^n_d$ of a neighborly cubical polytope $C^n_d$ maximizes the $f$-vector among all cubical $(d-1)$-spheres with $2^n$ vertices. While we show that this is true for polytopal spheres for $n\le d+1$, we also give a counter-example for $d=4$ and $n=6$.
Further, the existence of neighborly cubical polytopes shows that the graph of the $n$-dimensional cube, where $n\ge5$, is ``dimensionally ambiguous'' in the sense of Grünbaum. We also show that the graph of the 5-cube is ``strongly 4-ambiguous''.
In the special case $d=4$, neighborly cubical polytopes have $f_3=f_0/4 \log_2 f_0/4$ vertices, so the facet-vertex ratio $f_3/f_0$ is not bounded; this solves a problem of Kalai, Perles and Stanley studied by Jockusch.
Ground State Entropy of Potts Antiferromagnets: Homeomorphic Classes with Noncompact W Boundaries
Published in Physica A265, 186 (1999)
• View Publication
• BIB
We present exact calculations of the zero-temperature partition function $Z(G,q,T=0)$ and ground-state degeneracy $W(\{G\},q)$ for the $q$-state Potts antiferromagnet on a number of families of graphs $G$ for which (generalizing $q$ from ${\mathbb Z}_+$ to ${\mathbb C}$) the boundary ${\cal B}$ of regions of analyticity of $W$ in the complex $q$ plane is noncompact, passing through $z=1/q=0$. For these types of graphs, since the reduced function $W_{red.}=q^{-1}W$ is nonanalytic at $z=0$, there is no large--$q$ Taylor series expansion of $W_{red.}$. The study of these graphs thus gives insight into the conditions for the validity of the large--$q$ expansions. It is shown how such (families of) graphs can be generated from known families by homeomorphic expansion.
Graphical Enumeration: A Species-Theoretic Approach
An operation on species corresponding to the inner plethysm of their associated cycle index series is constructed. This operation, the inner plethysm of species, is generalized to n-sorted species. Polynomial maps on species are studied and used to extend inner plethysm and other operations to virtual species. Finally, inner plethysm and other operations on species are applied to various problems in graph theory.
In particular, regular graphs, and digraphs in which every vertex has outdegree k, are enumerated.
A short proof that ``proper = unit''
Published
• View Publication
• BIB
A short proof is given that the graphs with proper interval representations are the same as the graphs with unit interval representations.
An exploration of the permanent-determinant method
Published in Electron. J. Combin. 5 (1998), #R46
• View Publication
• BIB
The permanent-determinant method and its generalization, the Hafnian-Pfaffian method, are methods to enumerate perfect matchings of plane graphs that was discovered by P. W. Kasteleyn. We present several new techniques and arguments related to the permanent-determinant with consequences in enumerative combinatorics. Here are some of the results that follow from these techniques:
1. If a bipartite graph on the sphere with 4n vertices is invariant under the antipodal map, the number of matchings is the square of the number of matchings of the quotient graph.
2. The number of matchings of the edge graph of a graph with vertices of degree at most 3 is a power of 2.
3. The three Carlitz matrices whose determinants count a x b x c plane partitions all have the same cokernel.
4. Two symmetry classes of plane partitions can be enumerated with almost no calculation.
Ground State Entropy of Potts Antiferromagnets: Cases with Noncompact W Boundaries Having Multiple Points at 1/q = 0
Published in J. Phys. A 31, 9641 (1998)
• View Publication
• BIB
We present exact calculations of the zero-temperature partition function, $Z(G,q,T=0)$, and ground-state degeneracy (per site), $W({G},q)$, for the $q$-state Potts antiferromagnet on a number of families of graphs ${G}$ for which the boundary ${\cal B}$ of regions of analyticity of $W$ in the complex $q$ plane is noncompact and has the properties that (i) in the $z=1/q$ plane, the point $z=0$ is a multiple point on ${\cal B}$ and (ii) ${\cal B}$ includes support for $Re(q) < 0$. These families are generated by the method of homeomorphic expansion. Our results give further insight into the conditions for the validity of large--$q$ series expansions for the reduced function $W_{red.}=q^{-1}W$.