graph
34516 papers tagged with this keyword
Graphical condensation of plane graphs: a combinatorial approach
Published
• View Publication
• BIB
The method of graphical vertex-condensation for enumerating perfect matchings of plane bipartite graph was found by Propp (Theoret. Comput. Sci. 303(2003), 267-301), and was generalized by Kuo (Theoret. Comput. Sci. 319 (2004), 29-57) and Yan and Zhang (J. Combin. Theory Ser. A, 110(2005), 113-125). In this paper, by a purely combinatorial method some explicit identities on graphical vertex-condensation for enumerating perfect matchings of plane graphs (which do not need to be bipartite) are obtained. As applications of our results, some results on graphical edge-condensation for enumerating perfect matchings are proved, and we count the sum of weights of perfect matchings of weighted Aztec diamond.
Recent Progress in Graph Pebbling
The subject of graph pebbling has seen dramatic growth recently, both in the number of publications and in the breadth of variations and applications. Here we update the reader on the many developments that have occurred since the original Survey of Graph Pebbling in 1999.
On decomposability of 4-ary distance 2 MDS codes, double-codes, and n-quasigroups of order 4
Published in Discrete Math. 308(15) 2008, 3322-3334
• View Publication
• BIB
A subset $S$ of $\{0,1,...,2t-1\}^n$ is called a $t$-fold MDS code if every line in each of $n$ base directions contains exactly $t$ elements of $S$. The adjacency graph of a $t$-fold MDS code is not connected if and only if the characteristic function of the code is the repetition-free sum of the characteristic functions of $t$-fold MDS codes of smaller lengths.
In the case $t=2$, the theory has the following application. The union of two disjoint $(n,4^{n-1},2)$ MDS codes in $\{0,1,2,3\}^n$ is a double-MDS-code. If the adjacency graph of the double-MDS-code is not connected, then the double-code can be decomposed into double-MDS-codes of smaller lengths. If the graph has more than two connected components, then the MDS codes are also decomposable. The result has an interpretation as a test for reducibility of $n$-quasigroups of order 4. Keywords: MDS codes, n-quasigroups, decomposability, reducibility, frequency hypercubes, latin hypercubes
Star reducible Coxeter groups
Published
• View Publication
• BIB
We define ``star reducible'' Coxeter groups to be those Coxeter groups for which every fully commutative element (in the sense of Stembridge) is equivalent to a product of commuting generators by a sequence of length-decreasing star operations (in the sense of Lusztig). We show that the Kazhdan--Lusztig bases of these groups have a nice projection property to the Temperley--Lieb type quotient, and furthermore that the images of the basis elements $C'_w$ (for fully commutative $w$) in the quotient have structure constants in ${\Bbb Z}^{\geq 0}[v, v^{-1}]$. We also classify the star reducible Coxeter groups and show that they form nine infinite families (types $A_n$, $B_n$, $D_n$, $E_n$, $F_n$, $H_n$, affine $A_{n-1}$ for $n$ odd, affine $C_{n-1}$ for $n$ even, and the case where the Coxeter graph is complete), with two exceptional cases (of ranks 6 and 7).
This paper is the sequel to math.QA/0509362.
The distinguishing number of the iterated line graph
We show that for all simple graphs G other than the cycles C_3,C_4,C_5, and the claw K_1,3 there exists a K > 0 such that whenever k > K the k-th iterate of the line graph can be distinguished by at most two colors. Additionally we determine, for trees, when the distinguishing number of the line graph of T is greater than the distinguishing number of T.
On the expansion of the giant component in percolated (n,d,λ) graphs
Published
• View Publication
• BIB
Let d \geq d_0 be a sufficiently large constant. A (n,d,c \sqrt{d}) graph G is a d-regular graph over n vertices whose second largest (in absolute value) eigenvalue is at most c \sqrt{d}. For any 0 < p < 1, G_p is the graph induced by retaining each edge of G with probability p. It is known that for p > \frac{1}{d} the graph G_p almost surely contains a unique giant component (a connected component with linear number vertices). We show that for p \geq frac{5c}{\sqrt{d}} the giant component of G_p almost surely has an edge expansion of at least \frac{1}{\log_2 n}.
Sierpi\' nski Gasket Graphs and Some of Their Properties
Published in Australasian Journal of Combinatorics, 35, 181--192, 2006
• Search Publication
The {\it Sierpiński fractal} or {\it Sierpiński gasket} $Σ$ is a familiar object studied by specialists in dynamical systems and probability. In this paper, we consider a graph $S_n$ derived from the first $n$ iterations of the process that leads to $Σ$, and study some of its properties, including its cycle structure, domination number and pebbling number. Various open questions are posed.
Factorizations of Polynomials over Noncommutative Algebras and Sufficient Sets of Edges in Directed Graphs
Published
• View Publication
• BIB
To directed graphs with unique sink and source we associate a noncommutative associative alsgebra and a polynomial over this algebra. Edges of the graph correspond to pseudo-roots of the polynomial. We give a sufficient condition when coefficients of the polynomial can be rationally expressed via elements of a given set of pseudo-roots (edges). Our results are based on a new theorem for directed graphs also proved in this paper.
Percolation, Perimetry, Planarity
Published
• View Publication
• BIB
Let G be a planar graph with polynomial growth and isoperimetric dimension bigger than 1. Then the critical p for Bernoulli percolation on G satisfies p<1.
A unified approach to polynomial sequences with only real zeros
Published in Advances in Applied Mathematics, 38 (2007) 542-560
• View Publication
• BIB
We give new sufficient conditions for a sequence of polynomials to have only real zeros based on the method of interlacing zeros. As applications we derive several well-known facts, including the reality of zeros of orthogonal polynomials, matching polynomials, Narayana polynomials and Eulerian polynomials. We also settle certain conjectures of Stahl on genus polynomials by proving them for certain classes of graphs, while showing that they are false in general.
Groebner bases and combinatorics for binary codes
Published
• View Publication
• BIB
In this paper we introduce a binomial ideal derived from a binary linear code. We present some applications of a Gröbner basis of this ideal with respect to a total degree ordering. In the first application we give a decoding method for the code. By associating the code with the set of cycles in a graph, we can solve the problem of finding all codewords of minimal length (minimal cycles in a graph), and show how to find a minimal cycle basis. Finally we discuss some results on the computation of the Gröbner basis.
On the Combinatorics of Crystal Graphs, I. Lusztig's Involution
Published
• View Publication
• BIB
In this paper, we continue the development of a new combinatorial model for the irreducible characters of a complex semisimple Lie group. This model, which will be referred to as the alcove path model, can be viewed as a discrete counterpart to the Littelmann path model. It leads to an extensive generalization of the combinatorics of irreducible characters from Lie type A (where the combinatorics is based on Young tableaux, for instance) to arbitrary type. The main results of this paper are: (1) a combinatorial description of the crystal graphs corresponding to the irreducible representations (this result includes a transparent proof, based on the Yang-Baxter equation, of the fact that the mentioned description does not depend on the choice involved in our model); (2) a combinatorial realization of Lusztig's involution on the canonical basis (this involution exhibits the crystals as self-dual posets, corresponds to the action of the longest Weyl group element on an irreducible representation, and generalizes Schutzenberger's involution on tableaux); (3) an analog for arbitrary root systems, based on the Yang-Baxter equation, of Schutzenberger's sliding algorithm, which is also known as jeu de taquin (this algorithm has many applications to the representation theory of the Lie algebra of type A).
Bounded-Degree Graphs have Arbitrarily Large Geometric Thickness
Published in The Electronic Journal of Combinatorics, 13(1):R3, 2006.
• Search Publication
The geometric thickness of a graph G is the minimum integer k such that there is a straight line drawing of G with its edge set partitioned into k plane subgraphs. Eppstein [Separating thickness from geometric thickness. In: Towards a Theory of Geometric Graphs, vol. 342 of Contemp. Math., AMS, 2004] asked whether every graph of bounded maximum degree has bounded geometric thickness. We answer this question in the negative, by proving that there exists Delta-regular graphs with arbitrarily large geometric thickness. In particular, for all Delta >= 9 and for all large n, there exists a Delta-regular graph with geometric thickness at least c Delta^{1/2} n^{1/2 - 4/Delta - epsilon}. Analogous results concerning graph drawings with few edge slopes are also presented, thus solving open problems by Dujmovic' et al. [Really straight graph drawings. In: Proc. 12th International Symp. on Graph Drawing (GD '04), vol. 3383 of Lecture Notes in Comput. Sci., Springer, 2004] and Ambrus et al. [The slope parameter of graphs. Tech. Rep. MAT-2005-07, Department of Mathematics, Technical University of Denmark, 2005].
Colouring an Orthogonality Graph
Published
• View Publication
• BIB
We deal with a graph colouring problem that arises in quantum information theory. Alice and Bob are each given a $\pm1$-vector of length $k$, and are to respond with $k$ bits. Their responses must be equal if they are given equal inputs, and distinct if they are given orthogonal inputs; however, they are not allowed to communicate any information about their inputs. They can always succeed using quantum entanglement, but their ability to succeed using only classical physics is equivalent to a graph colouring problem. We resolve the graph colouring problem, thus determining that they can succeed without entanglement exactly when $k\leq3$.
Cube packings, second moment and holes
Published
• View Publication
• BIB
We consider tilings and packings of $\RR^d$ by integral translates of cubes $[0,2[^d$, which are $4\ZZ^d$-periodic. Such cube packings can be described by cliques of an associated graph, which allow us to classify them in dimension $d\leq 4$. For higher dimension, we use random methods for generating some examples.
Such a cube packing is called {\em non-extendible} if we cannot insert a cube in the complement of the packing.
In dimension 3, there is a unique non-extendible cube packing with 4 cubes. We prove that $d$-dimensional cube packings with more than $2^d-3$ cubes can be extended to cube tilings. We also give a lower bound on the number $N$ of cubes of non-extendible cube packings.
Given such a cube packing and $z\in \ZZ^d$, we denote by $N_z$ the number of cubes inside the $\4t$-cube $z+[0,4[^d$ and call {\em second moment} the average of $N_z^2$. We prove that the regular tiling by cubes has maximal second moment and give a lower bound on the second moment of a cube packing in terms of its density and dimension.
Weak convergence of finite graphs, integrated density of states and a Cheeger type inequality
Published
• View Publication
• BIB
In \cite{Elek} we proved that the limit of a weakly convergent sequence of finite graphs can be viewed as a graphing or a continuous field of infinite graphs. Thus one can associate a type $II_1$-von Neumann algebra to such graph sequences. We show that in this case the integrated density of states exists that is the weak limit of the spectra of the graph Laplacians of the finite graphs is the KNS-spectral measure of the graph Laplacian of the limit graphing. Using this limit technique we prove a Cheeger type inequality for finite graphs.
Counting unlabelled toroidal graphs with no K33-subdivisions
Published in Adv. in Appl. Math. 39 (2007), no. 1, pp. 51-75
• View Publication
• BIB
We provide a description of unlabelled enumeration techniques, with complete proofs, for graphs that can be canonically obtained by substituting 2-pole networks for the edges of core graphs. Using structure theorems for toroidal and projective-planar graphs containing no K33-subdivisions, we apply these techniques to obtain their unlabelled enumeration.
The isoperimetric constant of the random graph process
Published
• View Publication
• BIB
The isoperimetric constant of a graph $G$ on $n$ vertices, $i(G)$, is the minimum of $\frac{|\partial S|}{|S|}$, taken over all nonempty subsets $S\subset V(G)$ of size at most $n/2$, where $\partial S$ denotes the set of edges with precisely one end in $S$. A random graph process on $n$ vertices, $\widetilde{G}(t)$, is a sequence of $\binom{n}{2}$ graphs, where $\widetilde{G}(0)$ is the edgeless graph on $n$ vertices, and $\widetilde{G}(t)$ is the result of adding an edge to $\widetilde{G}(t-1)$, uniformly distributed over all the missing edges. We show that in almost every graph process $i(\widetilde{G}(t))$ equals the minimal degree of $\widetilde{G}(t)$ as long as the minimal degree is $o(\log n)$. Furthermore, we show that this result is essentially best possible, by demonstrating that along the period in which the minimum degree is typically $Θ(\log n)$, the ratio between the isoperimetric constant and the minimum degree falls from 1 to 1/2, its final value.
The Mathieu group $M_{12}$ and its pseudogroup extension $M_{13}$
Published
• View Publication
• BIB
We study a construction of the Mathieu group $M_{12}$ using a game reminiscent of Loyd's ``15-puzzle''. The elements of $M_{12}$ are realized as permutations on~12 of the~13 points of the finite projective plane of order~3. There is a natural extension to a ``pseudogroup'' $M_{13}$ acting on all~13 points, which exhibits a limited form of sextuple transitivity. Another corollary of the construction is a metric, akin to that induced by a Cayley graph, on both $M_{12}$ and $M_{13}$. We develop these results, and extend them to the double covers and automorphism groups of $M_{12}$ and $M_{13}$, using the ternary Golay code and $12 \x 12$ Hadamard matrices. In addition, we use experimental data on the quasi-Cayley metric to gain some insight into the structure of these groups and pseudogroups.
Graphs and $({\Bbb Z}_2)^k$-actions
Let $\mathcal{A}_n^k$ denote all nonbounding effective smooth $({\Bbb Z}_2)^k$-actions on $n$-dimensional smooth closed connected manifolds, each of which is cobordant to one with finite fixed set. Motivated by GKM theory, one can associate to each action of $\mathcal{A}_n^k$ a $({\Bbb Z}_2)^k$-colored regular graph of valence $n$. Together with the combinatorics of colored graphs, equivariant cobordism and the tom Dieck-Kosniowski-Stong localization theorem, we give a lower bound for the number of fixed points of an action in $\mathcal{A}_n^k$, which can become the best possible in some cases; we determine the existence and the equivariant cobordism classification of all actions in $\mathcal{A}_n^k(h)$ with $h=3,4$, where $\mathcal{A}_n^k(h)$ is the subset of $\mathcal{A}_n^k$, each of which is equivariantly cobordant to an effective $({\Bbb Z}_2)^k$-action fixing just $h$ isolated points, and it is well-known that $\mathcal{A}_n^k(h)$ is empty if $h=1,2$; we characterize the explicit relationships among tangent representations at fixed points of each action in $\mathcal{A}_n^k(h)$ with $h=3,4$, which actually give the explicit solution of the Smith problem in such cases. As an application, we also study the minimum number of fixed points of all actions in $\mathcal{A}_n^k$.