graph
34995 papers tagged with this keyword
Ehrhart series for Connected Simple Graphs
Published
• View Publication
• BIB
The Ehrhart ring of the edge polytope $\mathcal{P}_G$ for a connected simple graph $G$ is known to coincide with the edge ring of the same graph if $G$ satisfies the odd cycle condition. This paper gives for a graph which does not satisfy the condition, a generating set of the defining ideal of the Ehrhart ring of the edge polytope, described by combinatorial information of the graph. From this result, two factoring properties of the Ehrhart series are obtained; the first one factors out bipartite biconnected components, and the second one factors out a even cycle which shares only one edge with other part of the graph. As an application of the factoring properties, the root distribution of Ehrhart polynomials for bipartite polygon trees is determined.
New lower bounds for the independence number of sparse graphs and hypergraphs
Published
• View Publication
• BIB
We obtain new lower bounds for the independence number of $K_r$-free graphs and linear $k$-uniform hypergraphs in terms of the degree sequence. This answers some old questions raised by Caro and Tuza \cite{CT91}. Our proof technique is an extension of a method of Caro and Wei \cite{CA79, WE79}, and we also give a new short proof of the main result of \cite{CT91} using this approach. As byproducts, we also obtain some non-trivial identities involving binomial coefficients.
The shape of a random affine Weyl group element and random core partitions
Published in Annals of Probability 2015, Vol. 43, No. 4, 1643-1662
• View Publication
• BIB
Let $W$ be a finite Weyl group and ${\hat{W}}$ be the corresponding affine Weyl group. We show that a large element in ${\hat{W}}$, randomly generated by (reduced) multiplication by simple generators, almost surely has one of $|W|$-specific shapes. Equivalently, a reduced random walk in the regions of the affine Coxeter arrangement asymptotically approaches one of $|W|$-many directions. The coordinates of this direction, together with the probabilities of each direction can be calculated via a Markov chain on $W$. Our results, applied to type $\tilde{A}_{n-1}$, show that a large random $n$-core obtained from the natural growth process has a limiting shape which is a piecewise-linear graph. In this case, our random process is a periodic analogue of TASEP, and our limiting shapes can be compared with Rost's theorem on the limiting shape of TASEP.
High-ordered Random Walks and Generalized Laplacians on Hypergraphs
Published
• View Publication
• BIB
Despite of the extreme success of the spectral graph theory, there are relatively few papers applying spectral analysis to hypergraphs. Chung first introduced Laplacians for regular hypergraphs and showed some useful applications. Other researchers treated hypergraphs as weighted graphs and then studied the Laplacians of the corresponding weighted graphs. In this paper, we aim to unify these very different versions of Laplacians for hypergraphs. We introduce a set of Laplacians for hypergraphs through studying high-ordered random walks on hypergraphs. We prove the eigenvalues of these Laplacians can effectively control the mixing rate of high-ordered random walks, the generalized distances/diameters, and the edge expansions.
Two local conditions on the vertex stabiliser of arc-transitive graphs and their effect on the Sylow subgroups
Published
• View Publication
• BIB
In this paper we study $G$-arc-transitive graphs $Δ$ where the permutation group $G_x^{Δ(x)}$ induced by the stabiliser $G_x$ of the vertex $x$ on the neighbourhood $Δ(x)$ satisfies the two conditions given in the introduction. We show that for such a $G$-arc-transitive graph $Δ$, if $(x,y)$ is an arc of $Δ$, then the subgroup $G_{x,y}^{[1]}$ of $G$ fixing pointwise $Δ(x)$ and $Δ(y)$ is a $p$-group for some prime $p$. Next we prove that every $G$-locally primitive (respectively quasiprimitive, semiprimitive) graph satisfies our two local hypotheses. Thus this provides a new Thompson-Wielandt-like theorem for a very large class of arc-transitive graphs.
Furthermore, we give various families of $G$-arc-transitive graphs where our two local conditions do not apply and where $G_{x,y}^{[1]}$ has arbitrarily large composition factors.
Random runners are very lonely
Suppose that $k$ runners having different constant speeds run laps on a circular track of unit length. The Lonely Runner Conjecture states that, sooner or later, any given runner will be at distance at least $1/k$ from all the other runners. We prove that, with probability tending to one, a much stronger statement holds for random sets in which the bound $1/k$ is replaced by \thinspace $1/2-\varepsilon $. The proof uses Fourier analytic methods. We also point out some consequences of our result for colouring of random integer distance graphs.
Effect of scale on long-range random graphs and chromosomal inversions
Published in Annals of Applied Probability 2012, Vol. 22, No. 4, 1328-1361
• View Publication
• BIB
We consider bond percolation on $n$ vertices on a circle where edges are permitted between vertices whose spacing is at most some number L=L(n). We show that the resulting random graph gets a giant component when $L\gg(\log n)^2$ (when the mean degree exceeds 1) but not when $L\ll\log n$. The proof uses comparisons to branching random walks. We also consider a related process of random transpositions of $n$ particles on a circle, where transpositions only occur again if the spacing is at most $L$. Then the process exhibits the mean-field behavior described by Berestycki and Durrett if and only if L(n) tends to infinity, no matter how slowly. Thus there are regimes where the random graph has no giant component but the random walk nevertheless has a phase transition. We discuss possible relevance of these results for a dataset coming from D. repleta and D. melanogaster and for the typical length of chromosomal inversions.
Nonmedian Direct Products of Graphs with Loops
A \emph{median graph} is a connected graph in which, for every three vertices, there exists a unique vertex $m$ lying on the geodesic between any two of the given vertices. We show that the only median graphs of the direct product $G\times H$ are formed when $G=P_k$, for any integer $k\geq 3$ and $H=P_l$, for any integer $l\geq 2$, with a loop at an end vertex, where the direct product is taken over all connected graphs $G$ on at least three vertices or at least two vertices with at least one loop, and connected graphs $H$ with at least one loop.
Some combinatorial aspects of quantum field theory
Published in Seminaire Lotharingien de Combinatoire, B65g (2012)
• Search Publication
In this short survey we present the appearance of some combinatorial notions in quantum field theory. We first focus on topological graph polynomials (the Tutte polynomial and its multivariate version) and their relation with the parametric representation of the commutative $Φ^4$ field theory. We then generalize this to ribbon graphs and present the relation of the Bollobás-Riordan polynomial with the parametric representation of some $Φ^4$ field theory on the non-commutative Moyal space. We also review the rôle played by the Connes-Kreimer Hopf algebra as the combinatorial backbone of the renormalization process in field theories. We then show how this generalizes to the scalar $Φ^4$ field theory implemented on the non-commutative Moyal space. Finally, some perspectives for the further generalization of these tools to quantum gravity tensor models are briefly sketched.
The distance-regular graphs such that all of its second largest local eigenvalues are at most one
Published
• View Publication
• BIB
In this paper, we classify distance regular graphs such that all of its second largest local eigenvalues are at most one. Also we discuss the consequences for the smallest eigenvalue of a distance-regular graph. These extend a result by the first author, who classified the distance-regular graph with smallest eigenvalue $-1-\frac{b_1}{2}$.
On the Representability of Line Graphs
Published in Open J. Discrete Math. 1 (2011) 96-101
• View Publication
• BIB
A graph G=(V,E) is representable if there exists a word W over the alphabet V such that letters x and y alternate in W if and only if (x,y) is in E for each x not equal to y. The motivation to study representable graphs came from algebra, but this subject is interesting from graph theoretical, computer science, and combinatorics on words points of view. In this paper, we prove that for n greater than 3, the line graph of an n-wheel is non-representable. This not only provides a new construction of non-representable graphs, but also answers an open question on representability of the line graph of the 5-wheel, the minimal non-representable graph. Moreover, we show that for n greater than 4, the line graph of the complete graph is also non-representable. We then use these facts to prove that given a graph G which is not a cycle, a path or a claw graph, the graph obtained by taking the line graph of G k-times is guaranteed to be non-representable for k greater than 3.
k-forested choosability of graphs with bounded maximum average degree
A proper vertex coloring of a simple graph is $k$-forested if the graph induced by the vertices of any two color classes is a forest with maximum degree less than $k$. A graph is $k$-forested $q$-choosable if for a given list of $q$ colors associated with each vertex $v$, there exists a $k$-forested coloring of $G$ such that each vertex receives a color from its own list. In this paper, we prove that the $k$-forested choosability of a graph with maximum degree $Δ\geq k\geq 4$ is at most $\lceil\fracΔ{k-1}\rceil+1$, $\lceil\fracΔ{k-1}\rceil+2$ or $\lceil\fracΔ{k-1}\rceil+3$ if its maximum average degree is less than 12/5, $8/3 or 3, respectively.
Rooted $K_4$-Minors
Published in Electronic J. Combinatorics 20.2:P64, 2013
• View Publication
• BIB
Let $a,b,c,d$ be four vertices in a graph $G$. A \emph{$K_4$-minor rooted} at $a,b,c,d$ consists of four pairwise-disjoint pairwise-adjacent connected subgraphs of $G$, respectively containing $a,b,c,d$. We characterise precisely when $G$ contains a $K_4$-minor rooted at $a,b,c,d$ by describing six classes of obstructions, which are the edge-maximal graphs containing no $K_4$-minor rooted at $a,b,c,d$. The following two special cases illustrate the full characterisation: (1) A 4-connected non-planar graph contains a $K_4$-minor rooted at $a,b,c,d$ for every choice of $a,b,c,d$. (2) A 3-connected planar graph contains a $K_4$-minor rooted at $a,b,c,d$ if and only if $a,b,c,d$ are not on a single face.
Regularity lemmas for stable graphs
Published in Trans. Amer. Math Soc, 366 (2014), 1551-1585
• View Publication
• BIB
Let G be a finite graph with the non-k-order property (essentially, a uniform finite bound on the size of an induced sub-half-graph). A major result of the paper applies model-theoretic arguments to obtain a stronger version of Szemerédi's regularity lemma for such graphs, Theorem 5.18, in which there are no irregular pairs, the bounds are significantly improved, and each component satisfies an indivisibility condition. Motivation for this work comes from a coincidence of model-theoretic and graph-theoretic ideas. Namely, it was known that the "irregular pairs" in the statement of Szemerédi's regularity lemma cannot be eliminated, due to the counterexample of half-graphs. The results of this paper show in what sense this counterexample is the only essential difficulty. The proof is largely model-theoretic (though written to be accessible to finite combinatorialists): arbitrarily large half-graphs coincide with model-theoretic instability, so in their absence, structure theorems and technology from stability theory apply. In addition to the theorem quoted, we give several other regularity lemmas with different advantages, in which the indivisibility condition on the components is improved (at the expense of letting the number of components grow with |G|) and extend some of these results to the larger class of graphs without the independence property.
The crossing number of cubes with small order
The {\it crossing number} of a graph $G$ is the minimum number of pairwise intersections of edges in a drawing of $G$. In this paper, we give the exact values of crossing numbers for some variations of hypercube with order at most four, including crossed cube, locally twisted cube and Möbius cube.
Graph limits and hereditary properties
Published
• View Publication
• BIB
We collect some general results on graph limits associated to hereditary classes of graphs. As examples, we consider some classes defined by forbidden subgraphs and some classes of intersection graphs, including triangle-free graphs, chordal graphs, cographs, interval graphs, unit interval graphs, threshold graphs, and line graphs.
Rapid mixing of subset Glauber dynamics on graphs of bounded tree-width
Published in Electron. J. Combin. 21(4): #P4.19 (26 pp.), 2014
• View Publication
• BIB
Motivated by the `subgraphs world' view of the ferromagnetic Ising model, we develop a general approach to studying mixing times of Glauber dynamics based on subset expansion expressions for a class of graph polynomials. With a canonical paths argument, we demonstrate that the chains defined within this framework mix rapidly upon graphs of bounded tree-width. This extends known results on rapid mixing for the Tutte polynomial, the adjacency-rank ($R_2$-)polynomial and the interlace polynomial.
Kron Reduction of Graphs with Applications to Electrical Networks
Published
• View Publication
• BIB
Consider a weighted and undirected graph, possibly with self-loops, and its corresponding Laplacian matrix, possibly augmented with additional diagonal elements corresponding to the self-loops. The Kron reduction of this graph is again a graph whose Laplacian matrix is obtained by the Schur complement of the original Laplacian matrix with respect to a subset of nodes. The Kron reduction process is ubiquitous in classic circuit theory and in related disciplines such as electrical impedance tomography, smart grid monitoring, transient stability assessment in power networks, or analysis and simulation of induction motors and power electronics. More general applications of Kron reduction occur in sparse matrix algorithms, multi-grid solvers, finite--element analysis, and Markov chains. The Schur complement of a Laplacian matrix and related concepts have also been studied under different names and as purely theoretic problems in the literature on linear algebra. In this paper we propose a general graph-theoretic framework for Kron reduction that leads to novel and deep insights both on the mathematical and the physical side. We show the applicability of our framework to various practical problem setups arising in engineering applications and computation. Furthermore, we provide a comprehensive and detailed graph-theoretic analysis of the Kron reduction process encompassing topological, algebraic, spectral, resistive, and sensitivity analyses. Throughout our theoretic elaborations we especially emphasize the practical applicability of our results.
Fire Containment in Planar Graphs
Published in J. Graph Theory 73(3) (2013), 267-279
• View Publication
• BIB
In a graph $G$, a fire starts at some vertex. At every time step, firefighters can protect up to $k$ vertices, and then the fire spreads to all unprotected neighbours. The $k$-surviving rate $ρ_k(G)$ of $G$ is the expectation of the proportion of vertices that can be saved from the fire, if the starting vertex of the fire is chosen uniformly at random. For a given class of graphs $\cG$ we are interested in the minimum value $k$ such that $ρ_k(G)\geε$ for some constant $ε>0$ and all $G\in\cG$ i.e., such that linearly many vertices are expected to be saved in every graph from $\cG$).
In this note, we prove that for planar graphs this minimum value is at most 4, and that it is precisely 2 for triangle-free planar graphs.
Longest cycles in sparse random digraphs
Published
• View Publication
• BIB
Long paths and cycles in sparse random graphs and digraphs were studied intensively in the 1980's. It was finally shown by Frieze in 1986 that the random graph $\cG(n,p)$ with $p=c/n$ has a cycle on at all but at most $(1+ε)ce^{-c}n$ vertices with high probability, where $ε=ε(c)\to 0$ as $c\to\infty$. This estimate on the number of uncovered vertices is essentially tight due to vertices of degree 1. However, for the random digraph $\cD(n,p)$ no tight result was known and the best estimate was a factor of $c/2$ away from the corresponding lower bound. In this work we close this gap and show that the random digraph $\cD(n,p)$ with $p=c/n$ has a cycle containing all but $(2+ε)e^{-c}n$ vertices w.h.p., where $ε=ε(c)\to 0$ as $c\to\infty$. This is essentially tight since w.h.p. such a random digraph contains $(2e^{-c}-o(1))n$ vertices with zero in-degree or out-degree.