graph
34995 papers tagged with this keyword
Combinatorial Expressions for F-polynomials in Classical Types
Published
• View Publication
• BIB
We give combinatorial formulas for F-polynomials in cluster algebras of classical types in terms of the weighted paths in certain directed graphs. As a consequence we prove the positivity of F-polynomials in cluster algebras of classical types.
Functions of random walks on hyperplane arrangements
Published
• View Publication
• BIB
Many seemingly disparate Markov chains are unified when viewed as random walks on the set of chambers of a hyperplane arrangement. These include the Tsetlin library of theoretical computer science and various shuffling schemes. If only selected features of the chains are of interest, then the mixing times may change. We study the behavior of hyperplane walks, viewed on a subarrangement of a hyperplane arrangement. These include many new examples, for instance a random walk on the set of acyclic orientations of a graph. All such walks can be treated in a uniform fashion, yielding diagonalizable matrices with known eigenvalues, stationary distribution and good rates of convergence to stationarity.
Nonzero coefficients in restrictions and tensor products of supercharacters of $U_n(q)$
Published
• View Publication
• BIB
The standard supercharacter theory of the finite unipotent upper-triangular matrices $U_n(q)$ gives rise to a beautiful combinatorics based on set partitions. As with the representation theory of the symmetric group, embeddings of $U_m(q)\subseteq U_n(q)$ for $m\leq n$ lead to branching rules. Diaconis and Isaacs established that the restriction of a supercharacter of $U_n(q)$ is a nonnegative integer linear combination of supercharacters of $U_m(q)$ (in fact, it is polynomial in $q$). In a first step towards understanding the combinatorics of coefficients in the branching rules of the supercharacters of $U_n(q)$, this paper characterizes when a given coefficient is nonzero in the restriction of a supercharacter and the tensor product of two supercharacters. These conditions are given uniformly in terms of complete matchings in bipartite graphs.
Nullity Invariance for Pivot and the Interlace Polynomial
Published in Linear Algebra and its Applications, v. 435, 277-288, 2011
• View Publication
• BIB
We show that the effect of principal pivot transform on the nullity values of the principal submatrices of a given (square) matrix is described by the symmetric difference operator (for sets). We consider its consequences for graphs, and in particular generalize the recursive relation of the interlace polynomial and simplify its proof.
Log-concavity, ultra-log-concavity, and a maximum entropy property of discrete compound Poisson measures
Published in Discrete Applied Mathematics, vol 161/9, pages 1232-1250, 2013
• View Publication
• BIB
Sufficient conditions are developed, under which the compound Poisson distribution has maximal entropy within a natural class of probability measures on the nonnegative integers. Recently, one of the authors [O. Johnson, {\em Stoch. Proc. Appl.}, 2007] used a semigroup approach to show that the Poisson has maximal entropy among all ultra-log-concave distributions with fixed mean. We show via a non-trivial extension of this semigroup approach that the natural analog of the Poisson maximum entropy property remains valid if the compound Poisson distributions under consideration are log-concave, but that it fails in general. A parallel maximum entropy result is established for the family of compound binomial measures. Sufficient conditions for compound distributions to be log-concave are discussed and applications to combinatorics are examined; new bounds are derived on the entropy of the cardinality of a random independent set in a claw-free graph, and a connection is drawn to Mason's conjecture for matroids. The present results are primarily motivated by the desire to provide an information-theoretic foundation for compound Poisson approximation and associated limit theorems, analogous to the corresponding developments for the central limit theorem and for Poisson approximation. Our results also demonstrate new links between some probabilistic methods and the combinatorial notions of log-concavity and ultra-log-concavity, and they add to the growing body of work exploring the applications of maximum entropy characterizations to problems in discrete mathematics.
The last fraction of a fractional conjecture
Reed conjectured that for every $\varepsilon>0$ and every integer $Δ$, there exists $g$ such that the fractional total chromatic number of every graph with maximum degree $Δ$ and girth at least $g$ is at most $Δ+1+\varepsilon$. The conjecture was proven to be true when $Δ=3$ or $Δ$ is even. We settle the conjecture by proving it for the remaining cases.
On the number of spanning trees a planar graph can have
Published
• View Publication
• BIB
We prove that any planar graph on $n$ vertices has less than $O(5{.}2852^n)$ spanning trees. Under the restriction that the planar graph is 3-connected and contains no triangle and no quadrilateral the number of its spanning trees is less than $O(2{.}7156^n)$. As a consequence of the latter the grid size needed to realize a 3d polytope with integer coordinates can be bounded by $O(147.{7}^n)$. Our observations imply improved upper bounds for related quantities: the number of cycle-free graphs in a planar graph is bounded by $O(6.4884^n)$, the number of plane spanning trees on a set of $n$ points in the plane is bounded by $O(158.6^n)$, and the number of plane cycle-free graphs on a set of $n$ points in the plane is bounded by $O(194{.}7^n)$.
Independence Complexes of Stable Kneser Graphs
Published
• View Publication
• BIB
For integers n\geq 1, k\geq 0, the stable Kneser graph SG_{n,k} (also called the Schrijver graph) has as vertex set the stable n-subsets of [2n+k] and as edges disjoint pairs of n-subsets, where a stable n-subset is one that does not contain any 2-subset of the form {i,i+1} or {1,2n+k}. The stable Kneser graphs have been an interesting object of study since the late 1970's when A. Schrijver determined that they are a vertex critical class of graphs with chromatic number k+2. This article contains a study of the independence complexes of SG_{n,k} for small values of n and k. Our contributions are two-fold: first, we find that the homotopy type of the independence complex of SG_{2,k} is a wedge of spheres of dimension two. Second, we determine the homotopy types of the independence complexes of certain graphs related to SG_{n,2}.
Invasion percolation on the Poisson-weighted infinite tree
Published in Annals of Applied Probability 2012, Vol. 22, No. 3, 931-970
• View Publication
• BIB
We study invasion percolation on Aldous' Poisson-weighted infinite tree, and derive two distinct Markovian representations of the resulting process. One of these is the $σ\to\infty$ limit of a representation discovered by Angel et al. [Ann. Appl. Probab. 36 (2008) 420-466]. We also introduce an exploration process of a randomly weighted Poisson incipient infinite cluster. The dynamics of the new process are much more straightforward to describe than those of invasion percolation, but it turns out that the two processes have extremely similar behavior. Finally, we introduce two new "stationary" representations of the Poisson incipient infinite cluster as random graphs on $\mathbb {Z}$ which are, in particular, factors of a homogeneous Poisson point process on the upper half-plane $\mathbb {R}\times[0,\infty)$.
Steinitz Theorems for Orthogonal Polyhedra
Published in J. Computational Geometry 5 (1): 179-244, 2014
• View Publication
• BIB
We define a simple orthogonal polyhedron to be a three-dimensional polyhedron with the topology of a sphere in which three mutually-perpendicular edges meet at each vertex. By analogy to Steinitz's theorem characterizing the graphs of convex polyhedra, we find graph-theoretic characterizations of three classes of simple orthogonal polyhedra: corner polyhedra, which can be drawn by isometric projection in the plane with only one hidden vertex, xyz polyhedra, in which each axis-parallel line through a vertex contains exactly one other vertex, and arbitrary simple orthogonal polyhedra. In particular, the graphs of xyz polyhedra are exactly the bipartite cubic polyhedral graphs, and every bipartite cubic polyhedral graph with a 4-connected dual graph is the graph of a corner polyhedron. Based on our characterizations we find efficient algorithms for constructing orthogonal polyhedra from their graphs.
On a conjecture of Stanley depth of squarefree Veronese ideals
Published
• View Publication
• BIB
In this paper, we partially confirm a conjecture, proposed by Cimpoeaş, Keller, Shen, Streib and Young, on the Stanley depth of squarefree Veronese ideals $I_{n,d}$. This conjecture suggests that, for positive integers $1 \le d \le n$, $\sdepth (I_{n,d})= \lfloor \binom{n}{d+1}/\binom{n}{d} \rfloor+d$. Herzog, Vladoiu and Zheng established a connection between the Stanley depths of quotients of monomial ideals and interval partitions of certain associated posets. Based on this connection, Keller, Shen, Streib and Young recently developed a useful combinatorial tool to analyze the interval partitions of the posets associated with the squarefree Veronese ideals. We modify their ideas and prove that if $1 \le d \le n \le (d+1) \lfloor \frac{1+\sqrt{5+4d}}{2}\rfloor+2d$, then $\sdepth (I_{n,d})= \lfloor \binom{n}{d+1}/\binom{n}{d} \rfloor+d$. We also obtain $ \lfloor \frac{d+\sqrt{d^2+4(n+1)}}{2} \rfloor \le \sdepth(I_{n,d}) \le \lfloor \binom{n}{d+1}/\binom{n}{d} \rfloor+d$ for $n > (d+1) \lfloor \frac{1+\sqrt{5+4d}}{2}\rfloor+2d$. As a byproduct of our construction, We give an alternative proof of Theorem $1.1 $ in $[13]$ without graph theory.
The chain relation in sofic subshifts
Published in Fundamenta Informaticae. volume 84. number 3-4. pages 375-390. 2008
• View Publication
• BIB
The paper gives a characterisation of the chain relation of a sofic subshift. Every sofic subshift $Σ$ can be described by a labelled graph $G$. Factorising $G$ in a suitable way we obtain the graph $G/_\approx$ that offers insight into some properties of the original subshift. Using $G/_\approx$ we describe first the chain relation in $Σ$, then characterise chain-transitive sofic subshifts, chain-mixing sofic subshifts and finally the attractors of the subshift dynamic system. At the end we present (straightforward) algorithms deciding chain-transitivity and chain-mixing properties of a sofic subshift and listing all the attractors of the subshift system.
Framed 4-Valent Graphs: Euler Tours, Gauss Circuits and Rotating Circuits
In the present paper we give an explicit formula which allows us immediately to describe a unique Gauss circuit on a framed 4-valent graph (a graph with a structure of opposite edges) from an arbitrary Euler tour on the graph whenever the Gauss circuit exists. This formula only depends on the adjacency matrix of an Euler tour and also tells us whether there exists a Gauss tour on a framed 4-valent graph or not. It turns out that the results are also valid for all symmetric matrices (not just realisable by a chord diagram).
Viewing counting polynomials as Hilbert functions via Ehrhart theory
Published
• View Publication
• BIB
Steingrimsson (2001) showed that the chromatic polynomial of a graph is the Hilbert function of a relative Stanley-Reisner ideal. We approach this result from the point of view of Ehrhart theory and give a sufficient criterion for when the Ehrhart polynomial of a given relative polytopal complex is a Hilbert function in Steingrimsson's sense. We use this result to establish that the modular and integral flow and tension polynomials of a graph are Hilbert functions.
A note on loglog distances in a power law random intersection graph
We consider the typical distance between vertices of the giant component of a random intersection graph having a power law (asymptotic) vertex degree distribution with infinite second moment. Given two vertices from the giant component we construct O(log log n) upper bound (in probability) for the length of the shortest path connecting them.
A characterization of Konig-Egervary graphs using a common property of all maximum matchings
Published
• View Publication
• BIB
The independence number of a graph G, denoted by alpha(G), is the cardinality of an independent set of maximum size in G, while mu(G) is the size of a maximum matching in G, i.e., its matching number. G is a Konig-Egervary graph if its order equals alpha(G)+mu(G). In this paper we give a new characterization of Konig-Egervary graphs. We also deduce some properties of vertices belonging to all maximum independent sets of a Konig-Egervary graph.
Nested cycles in large triangulations and crossing-critical graphs
Published
• View Publication
• BIB
We show that every sufficiently large plane triangulation has a large collection of nested cycles that either are pairwise disjoint, or pairwise intersect in exactly one vertex, or pairwise intersect in exactly two vertices. We apply this result to show that for each fixed positive integer $k$, there are only finitely many $k$-crossing-critical simple graphs of average degree at least six. Combined with the recent constructions of crossing-critical graphs given by Bokal, this settles the question of for which numbers $q>0$ there is an infinite family of $k$-crossing-critical simple graphs of average degree $q$.
Chordal and sequentially Cohen-Macaulay clutters
Published in Electron. J. Combin. 18(1) (2011), Paper 208
• View Publication
• BIB
We extend the definition of chordal from graphs to clutters. The resulting family generalizes both chordal graphs and matroids, and obeys many of the same algebraic and geometric properties. Specifically, the independence complex of a chordal clutter is shellable, hence sequentially Cohen-Macaulay; and the circuit ideal of a certain complement to such a clutter has a linear resolution. Minimal non-chordal clutters are also closely related to obstructions to shellability, and we give some general families of such obstructions, together with a classification by computation of all obstructions to shellability on 6 vertices.
The spectrum of random k-lifts of large graphs (with possibly large k)
Published in Journal of Combinatorics 1 (3/4) p.285-306, 2011
• View Publication
• BIB
We study random k-lifts of large, but otherwise arbitrary graphs G. We prove that, with high probability, all eigenvalues of the adjacency matrix of the lift that are not eigenvalues of G are of the order (D ln (kn))^{1/2}, where D is the maximum degree of G. Similarly, and also with high probability, the "new" eigenvalues of the Laplacian of the lift are all in an interval of length (ln (nk)/d)^{1/2} around 1, where d is the minimum degree of G. We also prove that, from the point of view of Spectral Graph Theory, there is very little difference between a random k_1k_2 ... k_r-lift of a graph and a random k_1-lift of a random k_2-lift of ... of a random k_r-lift of the same graph. The main proof tool is a concentration inequality for sums of random matrices that was recently introduced by the author.
Degree distribution in random planar graphs
Published
• View Publication
• BIB
We prove that for each $k\ge0$, the probability that a root vertex in a random planar graph has degree $k$ tends to a computable constant $d_k$, so that the expected number of vertices of degree $k$ is asymptotically $d_k n$, and moreover that $\sum_k d_k =1$.
The proof uses the tools developed by Gimenez and Noy in their solution to the problem of the asymptotic enumeration of planar graphs, and is based on a detailed analysis of the generating functions involved in counting planar graphs. However, in order to keep track of the degree of the root, new technical difficulties arise. We obtain explicit, although quite involved expressions, for the coefficients in the singular expansions of the generating functions of interest, which allow us to use transfer theorems in order to get an explicit expression for the probability generating function $p(w)=\sum_k d_k w^k$. From this we can compute the $d_k$ to any degree of accuracy, and derive the asymptotic estimate $d_k \sim c\cdot k^{-1/2} q^k$ for large values of $k$, where $q \approx 0.67$ is a constant defined analytically.