tree
6737 papers tagged with this keyword
Signed mahonians on some trees and parabolic quotients
Published
• View Publication
• BIB
We study the distribution of the major index with sign on some parabolic quotients of the symmetric group, extending and generalizing simultaneously results Gessel-Simion and Adin-Gessel-Roichman, and on some special trees that we call rakes. We further consider and compute the distribution of the flag-major index on some parabolic quotients of wreath products and other related groups. All these distributions turn out to have very simple factorization formulas.
On Laplacian like energy of trees
Published in MATCH Commun. Math. Comput. Chem. 64 (2010) 111--122
• Search Publication
Let $G$ be a simple undirected $n$-vertex graph with the characteristic polynomial of its Laplacian matrix $L(G)$, $\det (λI - L (G))=\sum_{k = 0}^n (-1)^k c_k λ^{n - k}$. Laplacian--like energy of a graph is newly proposed graph invariant, defined as the sum of square roots of Laplacian eigenvalues. For bipartite graphs, the Laplacian--like energy coincides with the recently defined incidence energy $IE (G)$ of a graph. In [D. Stevanovi\' c, \textit{Laplacian--like energy of trees}, MATCH Commun. Math. Comput. Chem. 61 (2009), 407--417.] the author introduced a partial ordering of graphs based on Laplacian coefficients. We point out that original proof was incorrect and illustrate the error on the example using Laplacian Estrada index. Furthermore, we found the inverse of Jacobian matrix with elements representing derivatives of symmetric polynomials of order $n$, and provide a corrected elementary proof of the fact: Let $G$ and $H$ be two $n$-vertex graphs; if for Laplacian coefficients holds $c_k (G) \leqslant c_k (H)$ for $k = 1, 2, ..., n - 1$, then $LEL (G) \leqslant LEL (H)$. In addition, we generalize this theorem and provide a necessary condition for functions that satisfy partial ordering based on Laplacian coefficients.
On Han's Hook Length Formulas for Trees
Published
• View Publication
• BIB
Recently, Han obtained two hook length formulas for binary trees and asked for combinatorial proofs. One of Han's formulas has been generalized to k-ary trees by Yang. Sagan has found a probabilistic proof of Yang's extension. We give combinatorial proofs of Yang's formula for k-ary trees and the other formula of Han for binary trees. Our bijections are based on the structure of k-ary trees with staircase labelings.
On the maximal energy tree with two maximum degree vertices
Published
• View Publication
• BIB
For a simple graph $G$, the energy $E(G)$ is defined as the sum of the absolute values of all eigenvalues of its adjacent matrix. For $Δ\geq 3$ and $t\geq 3$, denote by $T_a(Δ,t)$ (or simply $T_a$) the tree formed from a path $P_t$ on $t$ vertices by attaching $Δ-1$ $P_2$'s on each end of the path $P_t$, and $T_b(Δ, t)$ (or simply $T_b$) the tree formed from $P_{t+2}$ by attaching $Δ-1$ $P_2$'s on an end of the $P_{t+2}$ and $Δ-2$ $P_2$'s on the vertex next to the end. In [X. Li, X. Yao, J. Zhang and I. Gutman, Maximum energy trees with two maximum degree vertices, J. Math. Chem. 45(2009), 962--973], Li et al. proved that among trees of order $n$ with two vertices of maximum degree $Δ$, the maximal energy tree is either the graph $T_a$ or the graph $T_b$, where $t=n+4-4Δ\geq 3$. However, they could not determine which one of $T_a$ and $T_b$ is the maximal energy tree. This is because the quasi-order method is invalid for comparing their energies. In this paper, we use a new method to determine the maximal energy tree. It turns out that things are more complicated. We prove that the maximal energy tree is $T_b$ for $Δ\geq 7$ and any $t\geq 3$, while the maximal energy tree is $T_a$ for $Δ=3$ and any $t\geq 3$. Moreover, for $Δ=4$, the maximal energy tree is $T_a$ for all $t\geq 3$ but $t=4$, for which $T_b$ is the maximal energy tree. For $Δ=5$, the maximal energy tree is $T_b$ for all $t\geq 3$ but $t$ is odd and $3\leq t\leq 89$, for which $T_a$ is the maximal energy tree. For $Δ=6$, the maximal energy tree is $T_b$ for all $t\geq 3$ but $t=3,5,7$, for which $T_a$ is the maximal energy tree. One can see that for most $Δ$, $T_b$ is the maximal energy tree, $Δ=5$ is a turning point, and $Δ=3$ and 4 are exceptional cases.
The cavity method for counting spanning subgraphs subject to local constraints
Using the theory of negative association for measures and the notion of random weak limits of sparse graphs, we establish the validity of the cavity method for counting spanning subgraphs subject to local constraints in asymptotically tree-like graphs. Specifically, the corresponding free entropy density is shown to converge along any sequence of graphs whose random weak limit is a tree, and the limit is directly expressed in terms of the unique solution to a limiting cavity equation. On a Galton-Watson tree, the latter simplifies into a recursive distributional equation which can be solved explicitely. As an illustration, we provide an explicit-limit formula for the $b-$matching number of an Erdős-Rényi random graph with fixed average degree and diverging size, for any $b\in\mathbb N$.
Ramsey numbers for trees
Published in Bull. Aust. Math. Soc. 86(2012), no.1, 164-176
• View Publication
• BIB
For $n\ge 5$ let $T_n'$ denote the unique tree on $n$ vertices with $Δ(T_n')=n-2$, and let $T_n^*=(V,E)$ be the tree on $n$ vertices with $V=\{v_0,v_1,\ldots,$ $v_{n-1}\}$ and $E=\{v_0v_1,\ldots,v_0v_{n-3},$ $v_{n-3}v_{n-2},v_{n-2}v_{n-1}\}$. In this paper we evaluate the Ramsey numbers $r(G_m,T_n')$ and $r(G_m,T_n^*)$, where $G_m$ is a connected graph of order $m$. As examples, for $n\ge 8$ we have $r(T_n',T_n^*)=r(T_n^*,T_n^*)=2n-5$, for $n>m\ge 7$ we have $r(K_{1,m-1},T_n^*)=m+n-3$ or $m+n-4$ according as $m-1\mid (n-3)$ or $m-1\nmid (n-3)$, for $m\ge 7$ and $n\ge (m-3)^2+2$ we have $r(T_m^*,T_n^*)=m+n-3$ or $m+n-4$ according as $m-1\mid (n-3)$ or $m-1\nmid (n-3)$.
Eccentric connectivity index
Published in A. Ilić, Eccentric connectivity index, in: I. Gutman, B. Furtula, Novel Molecular Structure Descriptors - Theory and Applications II, MCM Vol. 9, University of Kragujevac, Kragujevac, 2010, pp. 139-168
• Search Publication
The eccentric connectivity index $ξ^c$ is a novel distance--based molecular structure descriptor that was recently used for mathematical modeling of biological activities of diverse nature. It is defined as $ξ^c (G) = \sum_{v \in V (G)} deg (v) \cdot ε(v)$\,, where $deg (v)$ and $ε(v)$ denote the vertex degree and eccentricity of $v$\,, respectively. We survey some mathematical properties of this index and furthermore support the use of eccentric connectivity index as topological structure descriptor. We present the extremal trees and unicyclic graphs with maximum and minimum eccentric connectivity index subject to the certain graph constraints. Sharp lower and asymptotic upper bound for all graphs are given and various connections with other important graph invariants are established. In addition, we present explicit formulae for the values of eccentric connectivity index for several families of composite graphs and designed a linear algorithm for calculating the eccentric connectivity index of trees. Some open problems and related indices for further study are also listed.
Affine and Projective Tree Metric Theorems
Published
• View Publication
• BIB
The tree metric theorem provides a combinatorial four point condition that characterizes dissimilarity maps derived from pairwise compatible split systems. A similar (but weaker) four point condition characterizes dissimilarity maps derived from circular split systems (Kalmanson metrics). The tree metric theorem was first discovered in the context of phylogenetics and forms the basis of many tree reconstruction algorithms, whereas Kalmanson metrics were first considered by computer scientists, and are notable in that they are a non-trivial class of metrics for which the traveling salesman problem is tractable. We present a unifying framework for these theorems based on combinatorial structures that are used for graph planarity testing. These are (projective) PC-trees, and their affine analogs, PQ-trees. In the projective case, we generalize a number of concepts from clustering theory, including hierarchies, pyramids, ultrametrics and Robinsonian matrices, and the theorems that relate them. As with tree metrics and ultrametrics, the link between PC-trees and PQ-trees is established via the Gromov product.
Total Vertex Irregularity Strength of Forests
We investigate a graph parameter called the total vertex irregularity strength ($tvs(G)$), i.e. the minimal $s$ such that there is a labeling $w: E(G)\cup V(G)\rightarrow \{1,2,..,s\}$ of the edges and vertices of $G$ giving distinct weighted degrees $wt_G(v):=w(v)+\sum_{v\in e \in E(G)}w(e)$ for every pair of vertices of $G$. We prove that $tvs(F)=\lceil (n_1+1)/2 \rceil$ for every forest $F$ with no vertices of degree 2 and no isolated vertices, where $n_1$ is the number of pendant vertices in $F$. Stronger results for trees were recently proved by Nurdin et al.
A version of Tutte's polynomial for hypergraphs
Tutte's dichromate T(x,y) is a well known graph invariant. Using the original definition in terms of internal and external activities as our point of departure, we generalize the valuations T(x,1) and T(1,y) to hypergraphs. In the definition, we associate activities to hypertrees, which are generalizations of the indicator function of the edge set of a spanning tree. We prove that hypertrees form a lattice polytope which is the set of bases in a polymatroid. In fact, we extend our invariants to integer polymatroids as well. We also examine hypergraphs that can be represented by planar bipartite graphs, write their hypertree polytopes in the form of a determinant, and prove a duality property that leads to an extension of Tutte's Tree Trinity Theorem.
Pegging Numbers For Various Tree Graphs
In the game of pegging, each vertex of a graph is considered a hole into which a peg can be placed. A pegging move is performed by jumping one peg over another peg, and then removing the peg that has been jumped over from the graph. We define the pegging number as the smallest number of pegs needed to reach all the vertices in a graph no matter what the distribution. Similarly, the optimal-pegging number of a graph is defined as the smallest distribution of pegs for which all the vertices in the graph can be reached. We obtain tight bounds on the pegging numbers and optimal-pegging numbers of complete binary trees and compute the optimal-pegging numbers of complete infinitary trees. As a result of these computations, we deduce that there is a tree whose optimal-pegging number is strictly increased by removing a leaf. We also compute the optimal-pegging number of caterpillar graphs and the tightest upper bound on the optimal-pegging numbers of lobster graphs.
On Volumes of Permutation Polytopes
Published
• View Publication
• BIB
This paper focuses on determining the volumes of permutation polytopes associated to cyclic groups, dihedral groups, groups of automorphisms of tree graphs, and Frobenius groups. We do this through the use of triangulations and the calculation of Ehrhart polynomials. We also present results on the theta body hierarchy of various permutation polytopes.
Simple Proofs of Classical Theorems in Discrete Geometry via the Guth--Katz Polynomial Partitioning Technique
Published
• View Publication
• BIB
Recently Guth and Katz \cite{GK2} invented, as a step in their nearly complete solution of Erdős's distinct distances problem, a new method for partitioning finite point sets in $\R^d$, based on the Stone--Tukey polynomial ham-sandwich theorem. We apply this method to obtain new and simple proofs of two well known results: the Szemerédi--Trotter theorem on incidences of points and lines, and the existence of spanning trees with low crossing numbers. Since we consider these proofs particularly suitable for teaching, we aim at self-contained, expository treatment. We also mention some generalizations and extensions, such as the Pach--Sharir bound on the number of incidences with algebraic curves of bounded degree.
On the Core of a Unicyclic Graph
Published
• View Publication
• BIB
A set S is independent in a graph G if no two vertices from S are adjacent. By core(G) we mean the intersection of all maximum independent sets. The independence number alpha(G) is the cardinality of a maximum independent set, while mu(G) is the size of a maximum matching in G. A connected graph having only one cycle, say C, is a unicyclic graph. In this paper we prove that if G is a unicyclic graph of order n and n-1 = alpha(G) + mu(G), then core(G) coincides with the union of cores of all trees in G-C.
A generalization of heterochromatic graphs
Published in Graphs and Combinatorics, 29 (2013), 715-727
• View Publication
• BIB
In 2006, Suzuki, and Akbari & Alipour independently presented a necessary and sufficient condition for edge-colored graphs to have a heterochromatic spanning tree, where a heterochromatic spanning tree is a spanning tree whose edges have distinct colors. In this paper, we propose $f$-chromatic graphs as a generalization of heterochromatic graphs. An edge-colored graph is $f$-chromatic if each color $c$ appears on at most $f(c)$ edges. We also present a necessary and sufficient condition for edge-colored graphs to have an $f$-chromatic spanning forest with exactly $m$ components. Moreover, using this criterion, we show that a $g$-chromatic graph $G$ of order $n$ with $|E(G)|>\binom{n-m}{2}$ has an $f$-chromatic spanning forest with exactly $m$ ($1 \le m \le n-1$) components if $g(c) \le \frac{|E(G)|}{n-m}f(c)$ for any color $c$.
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.
Unified bijections for maps with prescribed degrees and girth
Published in Journal of Combinatorial Theory, Series A 119 (2012) 1351-1387
• View Publication
• BIB
This article presents unified bijective constructions for planar maps, with control on the face degrees and on the girth. Recall that the girth is the length of the smallest cycle, so that maps of girth at least $d=1,2,3$ are respectively the general, loopless, and simple maps. For each positive integer $d$, we obtain a bijection for the class of plane maps (maps with one distinguished root-face) of girth $d$ having a root-face of degree $d$. We then obtain more general bijective constructions for annular maps (maps with two distinguished root-faces) of girth at least $d$. Our bijections associate to each map a decorated plane tree, and non-root faces of degree $k$ of the map correspond to vertices of degree $k$ of the tree. As special cases we recover several known bijections for bipartite maps, loopless triangulations, simple triangulations, simple quadrangulations, etc. Our work unifies and greatly extends these bijective constructions. In terms of counting, we obtain for each integer $d$ an expression for the generating function $F_d(x_d,x_{d+1},x_{d+2},...)$ of plane maps of girth $d$ with root-face of degree $d$, where the variable $x_k$ counts the non-root faces of degree $k$. The expression for $F_1$ was already obtained bijectively by Bouttier, Di Francesco and Guitter, but for $d\geq 2$ the expression of $F_d$ is new. We also obtain an expression for the generating function $\G_{p,q}^{(d,e)}(x_d,x_{d+1},...)$ of annular maps with root-faces of degrees $p$ and $q$, such that cycles separating the two root-faces have length at least $e$ while other cycles have length at least $d$. Our strategy is to obtain all the bijections as specializations of a single "master bijection" introduced by the authors in a previous article. In order to use this approach, we exhibit certain "canonical orientations" characterizing maps with prescribed girth constraints.
On the enumeration of labelled hypertrees and of labelled bipartite trees
We give a simple formula for the number of hypertrees with $k$ hyperedges of given sizes and $n+1$ labelled vertices with prescribed degrees. A slight generalization of this formula counts labelled bipartite trees with prescribed degrees in each class of vertices.
The total path length of split trees
Published in Annals of Applied Probability 2012, Vol. 22, No. 5, 1745-1777
• View Publication
• BIB
We consider the model of random trees introduced by Devroye [SIAM J. Comput. 28 (1999) 409-432]. The model encompasses many important randomized algorithms and data structures. The pieces of data (items) are stored in a randomized fashion in the nodes of a tree. The total path length (sum of depths of the items) is a natural measure of the efficiency of the algorithm/data structure. Using renewal theory, we prove convergence in distribution of the total path length toward a distribution characterized uniquely by a fixed point equation. Our result covers, using a unified approach, many data structures such as binary search trees, m-ary search trees, quad trees, median-of-(2k+1) trees, and simplex trees.
The Kirchhoff's Matrix-Tree Theorem revisited: counting spanning trees with the quantum relative entropy
Published
• View Publication
• BIB
By revisiting the Kirchhoff's Matrix-Tree Theorem, we give an exact formula for the number of spanning trees of a graph in terms of the quantum relative entropy between the maximally mixed state and another state specifically obtained from the graph. We use properties of the quantum relative entropy to prove tight bounds for the number of spanning trees in terms of basic parameters like degrees and number of vertices.