graph
34516 papers tagged with this keyword
Graphs on surfaces and Khovanov homology
Published in Algebr. Geom. Topol. 7 (2007) 1531-1540
• View Publication
• BIB
Oriented ribbon graphs (dessins d'enfant) are graphs embedded in oriented surfaces. A quasi-tree of a ribbon graph is a spanning subgraph with one face, which is described by an ordered chord diagram. We show that for any link diagram $L$, there is an associated ribbon graph whose quasi-trees correspond bijectively to spanning trees of the graph obtained by checkerboard coloring $L$. This correspondence preserves the bigrading used for the spanning tree model of Khovanov homology, whose Euler characteristic is the Jones polynomial of $L$. Thus, Khovanov homology can be expressed in terms of ribbon graphs, with generators given by ordered chord diagrams.
The spectral radius of subgraphs of regular graphs
Published
• View Publication
• BIB
We give a bound on the spectral radius of subgraphs of regular graphs with given order and diameter. We give a lower bound on the smallest eigenvalue of a nonbipartite regular graph of given order and diameter.
Quasi-tree expansion for the Bollobás-Riordan-Tutte polynomial
Published in Bulletin of the London Mathematical Society, 43 (2011), no. 5, 972-984
• View Publication
• BIB
Oriented ribbon graphs (dessins d'enfant) are graphs embedded in oriented surfaces. The Bollobás-Riordan-Tutte polynomial is a three-variable polynomial that extends the Tutte polynomial to oriented ribbon graphs. A quasi-tree of a ribbon graph is a spanning subgraph with one face, which is described by an ordered chord diagram. We generalize the spanning tree expansion of the Tutte polynomial to a quasi-tree expansion of the Bollobás-Riordan-Tutte polynomial.
On Automorphism Groups of Networks
Published in Discrete Appl. Math. 156 (2008), no. 18, 3525-3531.
• View Publication
• BIB
We consider the size and structure of the automorphism groups of a variety of empirical `real-world' networks and find that, in contrast to classical random graph models, many real-world networks are richly symmetric. We relate automorphism group structure to network topology and discuss generic forms of symmetry and their origin in real-world networks.
Homotopy groups of Hom complexes of graphs
Published
• View Publication
• BIB
The notion of $\times$-homotopy from \cite{DocHom} is investigated in the context of the category of pointed graphs. The main result is a long exact sequence that relates the higher homotopy groups of the space $\Hom_*(G,H)$ with the homotopy groups of $\Hom_*(G,H^I)$. Here $\Hom_*(G,H)$ is a space which parametrizes pointed graph maps from $G$ to $H$ (a pointed version of the usual $\Hom$ complex), and $H^I$ is the graph of based paths in $H$. As a corollary it is shown that $π_i \big(\Hom_*(G,H) \big) \cong [G,Ω^i H]_{\times}$, where $ΩH$ is the graph of based closed paths in $H$ and $[G,K]_{\times}$ is the set of $\times$-homotopy classes of pointed graph maps from $G$ to $K$. This is similar in spirit to the results of \cite{BBLL}, where the authors seek a space whose homotopy groups encode a similarly defined homotopy theory for graphs. The categorical connections to those constructions are discussed.
Binary Search Tree insertion, the Hypoplactic insertion, and Dual Graded Graphs
Fomin (1994) introduced a notion of duality between two graded graphs on the same set of vertices. He also introduced a generalization to dual graded graphs of the classical Robinson-Schensted-Knuth algorithm. We show how Fomin's approach applies to the binary search tree insertion algorithm also known as sylvester insertion, and to the hypoplactic insertion algorithm.
The weighted complexity and the determinant functions of graphs
Published in Linear algebra and its applications, 433 (2010), 348-355
• View Publication
• BIB
The complexity of a graph can be obtained as a derivative of a variation of the zeta function or a partial derivative of its generalized characteristic polynomial evaluated at a point [\textit{J. Combin. Theory Ser. B}, 74 (1998), pp. 408--410]. A similar result for the weighted complexity of weighted graphs was found using a determinant function [\textit{J. Combin. Theory Ser. B}, 89 (2003), pp. 17--26]. In this paper, we consider the determinant function of two variables and discover a condition that the weighted complexity of a weighted graph is a partial derivative of the determinant function evaluated at a point. Consequently, we simply obtain the previous results and disclose a new formula for the Bartholdi zeta function. We also consider a new weighted complexity, for which the weights of spanning trees are taken as the sum of weights of edges in the tree, and find a similar formula for this new weighted complexity. As an application, we compute the weighted complexities of the product of the complete graphs.
A tight bound on the collection of edges in MSTs of induced subgraphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a complete $n$-vertex graph with distinct positive edge weights. We prove that for $k\in\{1,2,...,n-1\}$, the set consisting of the edges of all minimum spanning trees (MSTs) over induced subgraphs of $G$ with $n-k+1$ vertices has at most $nk-\binom{k+1}{2}$ elements. This proves a conjecture of Goemans and Vondrak \cite{GV2005}. We also show that the result is a generalization of Mader's Theorem, which bounds the number of edges in any edge-minimal $k$-connected graph.
Set theoretic solutions of the Yang-Baxter equation, graphs and computations
Published
• View Publication
• BIB
We extend our recent work on set-theoretic solutions of the Yang-Baxter or braid relations with new results about their automorphism groups, strong twisted unions of solutions and multipermutation solutions. We introduce and study graphs of solutions and use our graphical methods for the computation of solutions of finite order and their automorphisms. Results include a detailed study of solutions of multipermutation level 2.
Quantum cohomology of G/P and homology of affine Grassmannian
Published
• View Publication
• BIB
Let G be a simple and simply-connected complex algebraic group, P \subset G a parabolic subgroup. We prove an unpublished result of D. Peterson which states that the quantum cohomology QH^*(G/P) of a flag variety is, up to localization, a quotient of the homology H_*(Gr_G) of the affine Grassmannian \Gr_G of G. As a consequence, all three-point genus zero Gromov-Witten invariants of $G/P$ are identified with homology Schubert structure constants of H_*(Gr_G), establishing the equivalence of the quantum and homology affine Schubert calculi.
For the case G = B, we use the Mihalcea's equivariant quantum Chevalley formula for QH^*(G/B), together with relationships between the quantum Bruhat graph of Brenti, Fomin and Postnikov and the Bruhat order on the affine Weyl group. As byproducts we obtain formulae for affine Schubert homology classes in terms of quantum Schubert polynomials. We give some applications in quantum cohomology.
Our main results extend to the torus-equivariant setting.
The Rotor-Router Model on Regular Trees
Published in Journal of Combinatorial Theory, Series A 116(2), 421--433, 2009
• View Publication
• BIB
The rotor-router model is a deterministic analogue of random walk. It can be used to define a deterministic growth model analogous to internal DLA. We show that the set of occupied sites for this model on an infinite regular tree is a perfect ball whenever it can be, provided the initial rotor configuration is acyclic (that is, no two neighboring vertices have rotors pointing to one another). This is proved by defining the rotor-router group of a graph, which we show is isomorphic to the sandpile group. We also address the question of recurrence and transience: We give two rotor configurations on the infinite ternary tree, one for which chips exactly alternate escaping to infinity with returning to the origin, and one for which every chip returns to the origin. Further, we characterize the possible "escape sequences" for the ternary tree, that is, binary words a_1 ... a_n for which there exists a rotor configuration so that the k-th chip escapes to infinity if and only if a_k=1.
Uniform random sampling of planar graphs in linear time
Published
• View Publication
• BIB
This article introduces new algorithms for the uniform random generation of labelled planar graphs. Its principles rely on Boltzmann samplers, as recently developed by Duchon, Flajolet, Louchard, and Schaeffer. It combines the Boltzmann framework, a suitable use of rejection, a new combinatorial bijection found by Fusy, Poulalhon and Schaeffer, as well as a precise analytic description of the generating functions counting planar graphs, which was recently obtained by Giménez and Noy. This gives rise to an extremely efficient algorithm for the random generation of planar graphs. There is a preprocessing step of some fixed small cost. Then, the expected time complexity of generation is quadratic for exact-size uniform sampling and linear for approximate-size sampling. This greatly improves on the best previously known time complexity for exact-size uniform sampling of planar graphs with $n$ vertices, which was a little over $O(n^7)$.
Small Chvatal rank
Published
• View Publication
• BIB
We propose a variant of the Chvatal-Gomory procedure that will produce a sufficient set of facet normals for the integer hulls of all polyhedra {xx : Ax <= b} as b varies. The number of steps needed is called the small Chvatal rank (SCR) of A. We characterize matrices for which SCR is zero via the notion of supernormality which generalizes unimodularity. SCR is studied in the context of the stable set problem in a graph, and we show that many of the well-known facet normals of the stable set polytope appear in at most two rounds of our procedure. Our results reveal a uniform hypercyclic structure behind the normals of many complicated facet inequalities in the literature for the stable set polytope. Lower bounds for SCR are derived both in general and for polytopes in the unit cube.
Poisson approximation for non-backtracking random walks
Published
• View Publication
• BIB
Random walks on expander graphs were thoroughly studied, with the important motivation that, under some natural conditions, these walks mix quickly and provide an efficient method of sampling the vertices of a graph. Alon, Benjamini, Lubetzky and Sodin studied non-backtracking random walks on regular graphs, and showed that their mixing rate may be up to twice as fast as that of the simple random walk. As an application, they showed that the maximal number of visits to a vertex, made by a non-backtracking random walk of length $n$ on a high-girth $n$-vertex regular expander, is typically $(1+o(1))\frac{\log n}{\log\log n}$, as in the case of the balls and bins experiment. They further asked whether one can establish the precise distribution of the visits such a walk makes.
In this work, we answer the above question by combining a generalized form of Brun's sieve with some extensions of the ideas in Alon et al. Let $N_t$ denote the number of vertices visited precisely $t$ times by a non-backtracking random walk of length $n$ on a regular $n$-vertex expander of fixed degree and girth $g$. We prove that if $g=ω(1)$, then for any fixed $t$, $N_t/n$ is typically $\frac{1}{\mathrm{e}t!}+o(1)$. Furthermore, if $g=Ω(\log\log n)$, then $N_t/n$ is typically $\frac{1+o(1)}{\mathrm{e}t!}$ uniformly on all $t \leq (1-o(1))\frac{\log n}{\log\log n}$ and 0 for all $t \geq (1+o(1))\frac{\log n}{\log\log n}$. In particular, we obtain the above result on the typical maximal number of visits to a single vertex, with an improved threshold window. The essence of the proof lies in showing that variables counting the number of visits to a set of sufficiently distant vertices are asymptotically independent Poisson variables.
Extremal Graph Theory for Metric Dimension and Diameter
Published in Electronic J. Combinatorics 17.1:R30, 2010
• View Publication
• BIB
A set of vertices $S$ \emph{resolves} a connected graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The \emph{metric dimension} of $G$ is the minimum cardinality of a resolving set of $G$. Let $\mathcal{G}_{β,D}$ be the set of graphs with metric dimension $β$ and diameter $D$. It is well-known that the minimum order of a graph in $\mathcal{G}_{β,D}$ is exactly $β+D$. The first contribution of this paper is to characterise the graphs in $\mathcal{G}_{β,D}$ with order $β+D$ for all values of $β$ and $D$. Such a characterisation was previously only known for $D\leq2$ or $β\leq1$. The second contribution is to determine the maximum order of a graph in $\mathcal{G}_{β,D}$ for all values of $D$ and $β$. Only a weak upper bound was previously known.
A new proof of Vazsonyi's conjecture
Published in Journal of Combinatorial Theory, Ser. A 115 (2008) 888-892.
• View Publication
• BIB
We present a self-contained proof that the number of diameter pairs among n points in Euclidean 3-space is at most 2n-2. The proof avoids the ball polytopes used in the original proofs by Grunbaum, Heppes and Straszewicz. As a corollary we obtain that any three-dimensional diameter graph can be embedded in the projective plane.
Leonard triples and hypercubes
Let $V$ denote a vector space over C with finite positive dimension. By a {\em Leonard triple} on $V$ we mean an ordered triple of linear operators on $V$ such that for each of these operators there exists a basis of $V$ with respect to which the matrix representing that operator is diagonal and the matrices representing the other two operators are irreducible tridiagonal. Let $D$ denote a positive integer and let $Q_D$ denote the graph of the $D$-dimensional hypercube. Let $X$ denote the vertex set of $Q_D$ and let $A$ denote the adjacency matrix of $Q_D$. Fix $x \in X$ and let $A^*$ denote the corresponding dual adjacency matrix. Let $T$ denote the subalgebra of $Mat_X(C)$ generated by $A, A^*$. We refer to $T$ as the {\em Terwilliger algebra of} $Q_D$ {\em with respect to} $x$. The matrices $A$ and $A^*$ are related by the fact that $2 \im A = A^* A^e - A^e A^*$ and $2 \im A^* = A^e A - A A^e$, where $2 \im A^e = A A^* - A^* A$ and $\im^2=-1$. We show that the triple $A$, $A^*$, $A^e$ acts on each irreducible $T$-module as a Leonard triple. We give a detailed description of these Leonard triples.
1-Factorizations of Cayley graphs
In this note we prove that all connected Cayley graphs of every finite group $Q \times H$ are 1-factorizable, where $Q$ is any non-trivial group of 2-power order and $H$ is any group of odd order.
The order of the largest complete minor in a random graph
Published
• View Publication
• BIB
Let ccl(G) denote the order of the largest complete minor in a graph G (also called the contraction clique number) and let G(n,p) denote a random graph on n vertices with edge probability p. Bollobas, Catlin and Erdos asymptotically determined ccl(G (n,p)) when p is a constant. Luczak, Pittel and Wierman gave bounds on ccl(G(n,p)) when p is very close to 1/n, i.e. inside the phase transition. Extending the results of Bollobas, Catlin and Erdos, we determine ccl(G(n,p)) quite tightly, for p>C/n where C is a large constant. If p=C/n, for an arbitrary constant C>1, then we show that asymptotically almost surely ccl(G (n,p)) is of order square-root of n. This answers a question of Krivelevich and Sudakov.
Prime Graphs and Exponential Composition of Species
Published
• View Publication
• BIB
In this paper, we enumerate prime graphs with respect to the Cartesian multiplication of graphs. We use the unique factorization of a connected graph into the product of prime graphs given by Sabidussi to find explicit formulas for labeled and unlabeled prime graphs. In the case of species, we construct the exponential composition of species based on the arithmetic product of species of Maia and Méndez and the quotient species, and express the species of connected graphs as the exponential composition of the species of prime graphs.