arXiv++ Combinatorics

Browse math.CO papers from arXiv

tree

6737 papers tagged with this keyword
2009-04-08 v2
Interlacing Property of Zeros of Eigenvectors of Schrödinger Operators on Trees
Published • View PublicationBIB
We prove an analogue for trees of Courant's theorem on the interlacing property of zeros of eigenfunctions of a Schrödinger operator. Let $Γ$ be a finite tree, and $\mathcal A$ a Schrödinger operator on $Γ$. If the eigenvectors of $\mathcal A$ are ordered according to increasing eigenvalues, and the vertices corresponding to zero coordinates are of degree at most two, then the zeros of the linear extensions of eigenvectors have the interlacing property.
2009-04-08 v2
On the criteria of D-planarity of a tree
Let $T$ be a tree with a fixed subset of vertices $V^{\ast}$ such that there is a cyclic order $C$ on it and all terminal vertices are contained in this set. Let $D^{2} = \{(x,y) \in \rr^{2} | x^{2} + y^{2} \leq 1 \}$ be a closed oriented 2--dimensional disk. The tree $T$ is called D-planar if there exists an embedding $\varphi : T \to \rr^{2}$ which satisfies the following conditions $\varphi(T) \subseteq D^{2}$, $\varphi(T) \cap \partial D^{2} = \varphi(V^{\ast})$ and if $\sharp V^{\ast} \geq 3$ then a cyclic order $\varphi(C)$ of $\varphi(V^{\ast})$ coincides with a cyclic order which is generated by the orientation of $\partial D^{2} \cong S^{1}$.
The continuum limit of critical random graphs
Published • View PublicationBIB
We consider the Erdos-Renyi random graph G(n,p) inside the critical window, that is when p=1/n+ lambda*n^{-4/3}, for some fixed lambda in R. Then, as a metric space with the graph distance rescaled by n^{-1/3}, the sequence of connected components G(n,p) converges towards a sequence of continuous compact metric spaces. The result relies on a bijection between graphs and certain marked random walks, and the theory of continuum random trees. Our result gives access to the answers to a great many questions about distances in critical random graphs. In particular, we deduce that the diameter of G(n,p) rescaled by n^{-1/3} converges in distribution to an absolutely continuous random variable with finite mean.
2009-03-25
Spanning Forests on Random Planar Lattices
Published in J.Statist.Phys.135:1063-1104,2009 • View PublicationBIB
The generating function for spanning forests on a lattice is related to the q-state Potts model in a certain q -> 0 limit, and extends the analogous notion for spanning trees, or dense self-avoiding branched polymers. Recent works have found a combinatorial perturbative equivalence also with the (quadratic action) O(n) model in the limit n -> -1, the expansion parameter t counting the number of components in the forest. We give a random-matrix formulation of this model on the ensemble of degree-k random planar lattices. For k = 3, a correspondence is found with the Kostov solution of the loop-gas problem, which arise as a reformulation of the (logarithmic action) O(n) model, at n = -2. Then, we show how to perform an expansion around the t = 0 theory. In the thermodynamic limit, at any order in t we have a finite sum of finite-dimensional Cauchy integrals. The leading contribution comes from a peculiar class of terms, for which a resummation can be performed exactly.
2009-03-24 v2
Erdös-Ko-Rado theorems for chordal and bipartite graphs
Published • View PublicationBIB
One of the more recent generalizations of the Erdös-Ko-Rado theorem, formulated by Holroyd, Spencer and Talbot, defines the Erdös-Ko-Rado property for graphs in the following manner: for a graph G and a positive integer r, G is said to be r-EKR if no intersecting subfamily of the family of all independent vertex sets of size r is larger than the largest star, where a star centered at a vertex v is the family of all independent sets of size $r$ containing v. In this paper, we prove that if G is a disjoint union of chordal graphs, including at least one singleton, then G is r-EKR if $r\leq mu(G)/2$, where mu(G) is the minimum size of a maximal independent set. We will also prove Erdös-Ko-Rado results for chains of complete graphs, which are a class of chordal graphs obtained by blowing up edges of a path into complete graphs. We also consider similar problems for ladder graphs and trees, and prove preliminary results for these graphs.
2009-03-20 v3
Spectra of large random trees
Published • View PublicationBIB
We analyze the eigenvalues of the adjacency matrices of a wide variety of random trees. Using general, broadly applicable arguments based on the interlacing inequalities for the eigenvalues of a principal submatrix of a Hermitian matrix and a suitable notion of local weak convergence for an ensemble of random trees, we show that the empirical spectral distributions for each of a number of random tree models converge to a deterministic (model dependent) limit as the number of vertices goes to infinity. We conclude for ensembles such as the linear preferential attachment models, random recursive trees, and the uniform random trees that the limiting spectral distribution has a set of atoms that is dense in the real line. We obtain precise asymptotics on the mass assigned to zero by the empirical spectral measures via the connection with the cardinality of a maximal matching. Moreover, we show that the total weight of a weighted matching is asymptotically equivalent to a constant multiple of the number of vertices when the edge weights are independent, identically distributed, non-negative random variables with finite expected value. We greatly extend a celebrated result obtained by Schwenk for the uniform random trees by showing that, under mild conditions, with probability converging to one, the spectrum of a realization is shared by at least one other tree. For the the linear preferential attachment model with parameter $a > -1$, we show that the suitably rescaled $k$ largest eigenvalues converge jointly.
Hook Length Formulas for Trees by Han's Expansion
Published • View PublicationBIB
Recently Han obtained a general formula for the weight function corresponding to the expansion of a generating function in terms of hook lengths of binary trees. In this paper, we present formulas for k-ary trees, plane trees, plane forests, labeled trees and forests. We also find appropriate generating functions which lead to unifications of the hook length formulas due to Du and Liu, Han, Gessel and Seo, and Postnikov.
2009-03-11
On the relation between weighted trees and tropical Grassmannians
Published • View PublicationBIB
In this article, we will prove that the set of 4-dissimilarity vectors of n-trees is contained in the tropical Grassmannian G_{4,n}. We will also propose three equivalent conjectures related to the set of m-dissimilarity vectors of n-trees for the case m > 4. Using a computer algebra system, we can prove these conjectures for m = 5.
2009-03-10 v2
On the number of walks on a regular Cayley tree
We provide a new derivation of the well-known generating function counting the number of walks on a regular tree that start and end at the same vertex, and more generally, a generating function for the number of walks that end at a vertex a distance i from the start vertex. These formulas seem to be very old, and go back, in an equivalent form, at least to Harry Kesten's work on symmetric random walks on groups from 1959, and in the present form to Brendan McKay (1983).
2009-03-04 v2
Computing Geodesic Distances in Tree Space
Published • View PublicationBIB
We present two algorithms for computing the geodesic distance between phylogenetic trees in tree space, as introduced by Billera, Holmes, and Vogtmann (2001). We show that the possible combinatorial types of shortest paths between two trees can be compactly represented by a partially ordered set. We calculate the shortest distance along each candidate path by converting the problem into one of finding the shortest path through a certain region of Euclidean space. In particular, we show there is a linear time algorithm for finding the shortest path between a point in the all positive orthant and a point in the all negative orthant of R^k contained in the subspace of R^k consisting of all orthants with the first i coordinates non-positive and the remaining coordinates non-negative for 0 <= i <= k.
Boxicity of Leaf Powers
Published • View PublicationBIB
The boxicity of a graph G, denoted as box(G) is defined as the minimum integer t such that G is an intersection graph of axis-parallel t-dimensional boxes. A graph G is a k-leaf power if there exists a tree T such that the leaves of the tree correspond to the vertices of G and two vertices in G are adjacent if and only if their corresponding leaves in T are at a distance of at most k. Leaf powers are a subclass of strongly chordal graphs and are used in the construction of phylogenetic trees in evolutionary biology. We show that for a k-leaf power G, box(G)\leq k-1. We also show the tightness of this bound by constructing a k-leaf power with boxicity equal to k-1. This result implies that there exists strongly chordal graphs with arbitrarily high boxicity which is somewhat counterintuitive.
2009-02-16 v2
A note on naturally embedded ternary trees
Published • View PublicationBIB
In this note we consider ternary trees naturally embedded in the plane in a deterministic way such that the root has position zero, or in other words label zero, and the children of a node with position $j$ have positions $j-1$, $j$, and $j+1$, for all $j\in\Z$. We derive the generating function of ternary trees where all nodes have labels which are less or equal than $j$, with $j\in\N$, and the generating function of ternary trees counted with respect to nodes with label $j$, with $j\in\Z$. Moreover, we discuss generalizations of the counting problem to several labels at the same time. Furthermore, we use generating functions to study the depths of the external node $s$, or in other words leaf $s$ with $0\le s\le 2n$, where the $2n+1$ external nodes of a ternary tree are numbered from the left to the right according to an inorder traveral. The three different types depths -- left, right and center -- are due to the embedding of the ternary tree in the plane. Finally, we discuss generalizations of the considered enumeration problems to embedded $d$-ary trees.
2009-02-13
Enumeration of pyramids of one-dimensional pieces of arbitrary fixed integer length
Published in Discrete Mathematics and Computer Science proc. AM (2010), 145-160 • View PublicationBIB
We consider pyramids made of one-dimensional pieces of fixed integer length a and which may have pairwise overlaps of integer length from 1 to a. We prove that the number of pyramids of size m, i.e. consisting of m pieces, equals (am-1,m-1) for each a >= 2. This generalises a well known result for a = 2. A bijective correspondence between so-called right (or left) pyramids and a-ary trees is pointed out, and it is shown that asymptotically the average width of pyramids is proportional to the square root of the size.
2009-02-09
Several examples of neigbourly polyhedra in co-dimension 4
Published in Devyatov, R. A., Neighbourly polytopes with few vertices (in Russian), Matematicheskii Sbornik 202:10 (2011), pp. 31-54. English transl.: Sbornik: Mathematics 202:10 (2011), pp. 1441-1462 • View PublicationBIB
In the article, a series of neigbourly polyhedra is constructed. They have $N=2d+4$ vertices and are embedded in $\mathbb R^{2d}$. Their (affine) Gale diagrams in $\mathbb R^2$ have $d+3$ black points that form a convex polygon. These Gale diagams can be enumerated using 3-trees (trees with some additional structure). Given $d$ and $m$, each of the constructed polyhedra in $\mathbb R^{2d}$ has a fixed number of faces of dimension $m$ that contain a vertex $A$. (This number depends on $d$ and $m$ does not depend on the polyhedron and the vertex $A$).
2009-02-05
Hypergraphic Oriented Matroid Relational Dependency Flow Models of Chemical Reaction Networks
In this paper we derive and present an application of hypergraphic oriented matroids for the purpose of enumerating the variable interdependencies that define the chemical complexes associated with the kinetics of non-linear dynamical system representations of chemical kinetic reaction flow networks. The derivation of a hypergraphic oriented matroid is obtained by defining a closure operator on families of n-subsets of signed multi-sets from which a "Z-module" is obtained. It has been observed that every instantiation of the closure operator on the signed multiset families define a matroid structure. It is then demonstrated that these structures generate a pair of dual matroids corresponding respectively to hyperspanning trees and hypercycles obtained from the corresponding directed hypergraphs. These structures are next systematically evaluated to obtain solution sets that satisfy systems of non-linear chemical kinetic reaction flow networks in the MAP Kinase cascade cell-signaling pathway.
2009-02-05 v3
Algebraic properties of the path ideal of a tree
Published • View PublicationBIB
The path ideal (of length t >=2) of a graph G is the monomial ideal, denoted I_t(G), whose generators correspond to the directed paths of length t in G. We study some of the algebraic properties of I_t(G) when G is a tree. We first show that I_t(G) is the facet ideal of a simplicial tree. As a consequence, the quotient ring R/I_t(G) is always sequentially Cohen-Macaulay, and the Betti numbers of R/I_t(G) do not depend upon the characteristic of the field. We study the case of the line graph in greater detail at the end of the paper.
2009-01-27
Note: Random-to-front shuffles on trees
Published • View PublicationBIB
A Markov chain is considered whose states are orderings of an underlying fixed tree and whose transitions are local "random-to-front" reorderings, driven by a probability distribution on subsets of the leaves. The eigenvalues of the transition matrix are determined using Brown's theory of random walk on semigroups.
Dimension, depth and zero-divisors of the algebra of basic $k$-covers of a graph
Published in Le Matematiche 63 (2008), 117-156 • Search Publication
We study the basic $k$-covers of a bipartite graph $G$; the algebra $\AG$ they span, first studied by Herzog, is the fiber cone of the Alexander dual of the edge ideal. We characterize when $\AG$ is a domain in terms of the combinatorics of $G$; if follows from a result of Hochster that when $\AG$ is a domain, it is also Cohen-Macaulay. We then study the dimension of $\AG$ by introducing a geometric invariant of bipartite graphs, the "graphical dimension". We show that the graphical dimension of $G$ is not larger than $\dim(\AG)$, and equality holds in many cases (e.g. when $G$ is a tree, or a cycle). Finally, we discuss applications of this theory to the arithmetical rank.
2009-01-22
Embedding large subgraphs into dense graphs
What conditions ensure that a graph G contains some given spanning subgraph H? The most famous examples of results of this kind are probably Dirac's theorem on Hamilton cycles and Tutte's theorem on perfect matchings. Perfect matchings are generalized by perfect F-packings, where instead of covering all the vertices of G by disjoint edges, we want to cover G by disjoint copies of a (small) graph F. It is unlikely that there is a characterization of all graphs G which contain a perfect F-packing, so as in the case of Dirac's theorem it makes sense to study conditions on the minimum degree of G which guarantee a perfect F-packing. The Regularity lemma of Szemeredi and the Blow-up lemma of Komlos, Sarkozy and Szemeredi have proved to be powerful tools in attacking such problems and quite recently, several long-standing problems and conjectures in the area have been solved using these. In this survey, we give an outline of recent progress (with our main emphasis on F-packings, Hamiltonicity problems and tree embeddings) and describe some of the methods involved.
2009-01-20 v3
A note on embedding hypertrees
Published • View PublicationBIB
A classical result from graph theory is that every graph with chromatic number χ> t contains a subgraph with all degrees at least t, and therefore contains a copy of every t-edge tree. Bohman, Frieze, and Mubayi recently posed this problem for r-uniform hypergraphs. An r-tree is an r-uniform hypergraph with no pair of edges intersecting in more than one vertex, and no sequence of distinct vertices and edges (v_1, e_1, ..., v_k, e_k) with all e_i \ni {v_i, v_{i+1}}, where we take v_{k+1} to be v_1. Bohman, Frieze, and Mubayi proved that χ> 2rt is sufficient to embed every r-tree with t edges, and asked whether the dependence on r was necessary. In this note, we completely solve their problem, proving the tight result that χ> t is sufficient to embed any r-tree with t edges.