tree
6861 papers tagged with this keyword
Measurable events indexed by trees
Published in Combinatorics, Probability and Computing 21 (2012), 374-411
• View Publication
• BIB
A tree $T$ is said to be homogeneous if it is uniquely rooted and there exists an integer $b\geq 2$, called the branching number of $T$, such that every $t\in T$ has exactly $b$ immediate successors. We study the behavior of measurable events in probability spaces indexed by homogeneous trees.
Precisely, we show that for every integer $b\geq 2$ and every integer $n\geq 1$ there exists an integer $q(b,n)$ with the following property. If $T$ is a homogeneous tree with branching number $b$ and $\{A_t:t\in T\}$ is a family of measurable events in a probability space $(Ω,Σ,μ)$ satisfying $μ(A_t)\geqε>0$ for every $t\in T$, then for every $0<θ<ε$ there exists a strong subtree $S$ of $T$ of infinite height such that for every non-empty finite subset $F$ of $S$ of cardinality $n$ we have \[ μ\Big(\bigcap_{t\in F} A_t\Big) \meg θ^{q(b,n)}. \] In fact, we can take $q(b,n)= \big((2^b-1)^{2n-1}-1\big)\cdot(2^b-2)^{-1}$. A finite version of this result is also obtained.
Dense subsets of products of finite trees
Published in International Mathematics Research Notices 4 (2013), 924-970
• View Publication
• BIB
We prove a "uniform" version of the finite density Halpern-Läuchli Theorem. Specifically, we say that a tree $T$ is homogeneous if it is uniquely rooted and there is an integer $b\geq 2$, called the branching number of $T$, such that every $t\in T$ has exactly $b$ immediate successors. We show the following.
For every integer $d\geq 1$, every $b_1,...,b_d\in\mathbb{N}$ with $b_i\geq 2$ for all $i\in\{1,...,d\}$, every integer $k\meg 1$ and every real $0<ε\leq 1$ there exists an integer $N$ with the following property. If $(T_1,...,T_d)$ are homogeneous trees such that the branching number of $T_i$ is $b_i$ for all $i\in\{1,...,d\}$, $L$ is a finite subset of $\mathbb{N}$ of cardinality at least $N$ and $D$ is a subset of the level product of $(T_1,...,T_d)$ satisfying \[|D\cap \big(T_1(n)\times ...\times T_d(n)\big)| \geq ε|T_1(n)\times ...\times T_d(n)|\] for every $n\in L$, then there exist strong subtrees $(S_1,...,S_d)$ of $(T_1,...,T_d)$ of height $k$ and with common level set such that the level product of $(S_1,...,S_d)$ is contained in $D$. The least integer $N$ with this property will be denoted by $UDHL(b_1,...,b_d|k,ε)$.
The main point is that the result is independent of the position of the finite set $L$. The proof is based on a density increment strategy and gives explicit upper bounds for the numbers $UDHL(b_1,...,b_d|k,ε)$.
List colorings of $K_5$-minor-free graphs with special list assignments
Published in Journal of Graph Theory. Vol. 71(1), 2012, pp. 18-30
• View Publication
• BIB
A {\it list assignment} $L$ of a graph $G$ is a function that assigns a set (list) $L(v)$ of colors to every vertex $v$ of $G$. Graph $G$ is called {\it $L$-list colorable} if it admits a vertex coloring $φ$ such that $φ(v)\in L(v)$ for all $v\in V(G)$ and $φ(v)\not=φ(w)$ for all $vw\in E(G)$.
The following question was raised by Bruce Richter. Let $G$ be a planar, 3-connected graph that is not a complete graph. Denoting by $d(v)$ the degree of vertex $v$, is $G$ $L$-list colorable for every list assignment $L$ with $|L(v)|=\min \{d(v), 6\}$ for all $v\in V(G)$?
More generally, we ask for which pairs $(r,k)$ the following question has an affirmative answer. Let $r$ and $k$ be integers and let $G$ be a $K_5$-minor-free $r$-connected graph that is not a Gallai tree (i.e., at least one block of $G$ is neither a complete graph nor an odd cycle). Is $G$ $L$-list colorable for every list assignment $L$ with $|L(v)|=\min\{d(v),k\}$ for all $v\in V(G)$?
We investigate this question by considering the components of $G[S_k]$, where $S_k:=\{v\in V(G) | d(v)<k\}$ is the set of vertices with small degree in $G$. We are especially interested in the minimum distance $d(S_k)$ in $G$ between the components of $G[S_k]$.
The tree of irreducible numerical semigroups with fixed Frobenius number
Published
• View Publication
• BIB
In this paper we present a procedure to build the set of irreducible numerical semigroups with a fixed Frobenius number. The construction gives us a rooted tree structure for this set. Furthermore, by using the notion of Kunz-coordinates vector we translate the problem of finding such a tree into the problem of manipulating 0-1 vectors with as many component as the Frobenius number.
List version of ($p$,1)-total labellings
The ($p$,1)-total number $λ_p^T(G)$ of a graph $G$ is the width of the smallest range of integers that suffices to label the vertices and the edges of $G$ such that no two adjacent vertices have the same label, no two incident edges have the same label and the difference between the labels of a vertex and its incident edges is at least $p$. In this paper we consider the list version. Let $L(x)$ be a list of possible colors for all $x\in V(G)\cup E(G)$. Define $C_{p,1}^T(G)$ to be the smallest integer $k$ such that for every list assignment with $|L(x)|=k$ for all $x\in V(G)\cup E(G)$, $G$ has a ($p$,1)-total labelling $c$ such that $c(x)\in L(x)$ for all $x\in V(G)\cup E(G)$. We call $C_{p,1}^T(G)$ the ($p$,1)-total labelling choosability and $G$ is list $L$-($p$,1)-total labelable.
In this paper, we present a conjecture on the upper bound of $C_{p,1}^T$. Furthermore, we study this parameter for paths and trees in Section 2. We also prove that $C_{p,1}^T(K_{1,n})\leq n+2p-1$ for star $K_{1,n}$ with $p\geq2, n\geq3$ in Section 3 and $C_{p,1}^T(G)\leq Δ+2p-1$ for outerplanar graph with $Δ\geq p+3$ in Section 4.
Ranking pages and the topology of the web
This paper presents our studies on the rearrangement of links from the structure of websites for the purpose of improving the valuation of a page or group of pages as established by a ranking function as Google's PageRank. We build our topological taxonomy starting from unidirectional and bidirectional rooted trees, and up to more complex hierarchical structures as cyclical rooted trees (obtained by closing cycles on bidirectional trees) and PR--digraph rooted trees (digraphs whose condensation digraph is a rooted tree that behave like cyclical rooted trees). We give different modifications on the structure of these trees and its effect on the valuation given by the PageRank function. We derive closed formulas for the PageRank of the root of various types of trees, and establish a hierarchy of these topologies in terms of PageRank. We show that the PageRank of the root of cyclical and PR--digraph trees basically depends on the number of vertices per level and the number of cycles of distinct lengths among levels, and we give a closed vector formula to compute PageRank.
Connectivity and tree structure in finite graphs
Published in Combinatorica 34 (2014), pp 11-46
• View Publication
• BIB
Considering systems of separations in a graph that separate every pair of a given set of vertex sets that are themselves not separated by these separations, we determine conditions under which such a separation system contains a nested subsystem that still separates those sets and is invariant under the automorphisms of the graph.
As an application, we show that the $k$-blocks -- the maximal vertex sets that cannot be separated by at most $k$ vertices -- of a graph $G$ live in distinct parts of a suitable tree-decomposition of $G$ of adhesion at most $k$, whose decomposition tree is invariant under the automorphisms of $G$. This extends recent work of Dunwoody and Krön and, like theirs, generalizes a similar theorem of Tutte for $k=2$.
Under mild additional assumptions, which are necessary, our decompositions can be combined into one overall tree-decomposition that distinguishes, for all $k$ simultaneously, all the $k$-blocks of a finite graph.
A Combinatorial interpretation of Hofstadter's G-sequence
We give a combinatorial interpretation of a classical meta-Fibonacci sequence defined by G(n) = n - G(G(n-1)) with the initial condition G(1) = 1, which appears in Hofstadter's 'Godel, Escher, Bach: An Eternal Golden Braid'. The interpretation is in terms of an infinite labelled tree. We then show a few corollaries about the behaviour of the sequence G(n) directly from the interpretation.
Path-search in the pyramid and in other graphs
Published
• View Publication
• BIB
We are given an acyclic directed graph with one source, and a subset of its edges which contains exactly one outgoing edge for every non-sink vertex. These edges determine a unique path from the source to a sink. We can think of it as a switch in every vertex, which determines which way the water arriving to that vertex flows further. We are interested in determining either the sink the flow arrives, or the whole path, with as few questions as possible. The questions we can ask correspond to the vertices of the graph, and the answer describes the switch, i.e. tells which outgoing edge is in our given subset. Originally the problem was proposed by Soren Riis (who posed the question for pyramid graphs) in the following more general form. We are given a natural number k, and k questions can be asked in a round. The goal is to minimize the number of rounds. We completely solve this problem for complete t-ary trees. Also, for pyramid graphs we present some non-trivial partial results.
Local Optimality Certificates for LP Decoding of Tanner Codes
Published
• View Publication
• BIB
We present a new combinatorial characterization for local optimality of a codeword in an irregular Tanner code. The main novelty in this characterization is that it is based on a linear combination of subtrees in the computation trees. These subtrees may have any degree in the local code nodes and may have any height (even greater than the girth). We expect this new characterization to lead to improvements in bounds for successful decoding.
We prove that local optimality in this new characterization implies ML-optimality and LP-optimality, as one would expect. Finally, we show that is possible to compute efficiently a certificate for the local optimality of a codeword given an LLR vector.
On comparing Zagreb indices
Published in A. Ilić, D. Stevanović, On comparing Zagreb indices, MATCH Commun. Math. Comput. Chem. 62 (2009) 681-687
• Search Publication
Let $G=(V,E)$ be a simple graph with $n = |V|$ vertices and $m = |E|$ edges. The first and second Zagreb indices are among the oldest and the most famous topological indices, defined as $M_1 = \sum_{i \in V} d_i^2$ and $M_2 = \sum_{(i, j) \in E} d_i d_j$, where $d_i$ denote the degree of vertex $i$. Recently proposed conjecture $M_1 / n \leqslant M_2 / m$ has been proven to hold for trees, unicyclic graphs and chemical graphs, while counterexamples were found for both connected and disconnected graphs. Our goal is twofold, both in favor of a conjecture and against it. Firstly, we show that the expressions $M_1/n$ and $M_2/m$ have the same lower and upper bounds, which attain equality for and only for regular graphs. We also establish sharp lower bound for variable first and second Zagreb indices. Secondly, we show that for any fixed number $k\geqslant 2$, there exists a connected graph with $k$ cycles for which $M_1/n>M_2/m$ holds, effectively showing that the conjecture cannot hold unless there exists some kind of limitation on the number of cycles or the maximum vertex degree in a graph. In particular, we show that the conjecture holds for subdivision graphs.
The degree profile of Pólya trees
Published
• View Publication
• BIB
We investigate the profile of random Pólya trees of size $n$ when only nodes of degree $d$ are counted in each level. It is shown that, as in the case where all nodes contribute to the profile, the suitably normalized profile process converges weakly to a Brownian excursion local time. Moreover, we investigate the joint distribution of the number of nodes of degree $d_1$ and $d_2$ in the levels of the tree.
On the ordering of trees by the Laplacian coefficients
Published in A. Ili\' c, On the ordering of trees by the Laplacian coefficients, Linear Algebra Appl. 431 (2009) 2203-2212
• Search Publication
We generalize the results from [X.-D. Zhang, X.-P. Lv, Y.-H. Chen, \textit{Ordering trees by the Laplacian coefficients}, Linear Algebra Appl. (2009), doi:10.1016/j.laa.2009.04.018] on the partial ordering of trees with given diameter. For two $n$-vertex trees $T_1$ and $T_2$, if $c_k (T_1) \leqslant c_k (T_2)$ holds for all Laplacian coefficients $c_k$, $k = 0, 1, ..., n$, we say that $T_1$ is dominated by $T_2$ and write $T_1 \preceq_c T_2$. We proved that among $n$ vertex trees with fixed diameter $d$, the caterpillar $C_{n, d}$ has minimal Laplacian coefficients $c_k$, $k = 0, 1,..., n$. The number of incomparable pairs of trees on $\leqslant 18$ vertices is presented, as well as infinite families of examples for two other partial orderings of trees, recently proposed by Mohar. For every integer $n$, we construct a chain $\{T_i\}_{i = 0}^m$ of $n$-vertex trees of length $\frac{n^2}{4}$, such that $T_0 \cong S_n$, $T_m \cong P_n$ and $T_i \preceq_c T_{i + 1}$ for all $i = 0, 1,..., m - 1$. In addition, the characterization of the partial ordering of starlike trees is established by the majorization inequalities of the pendent path lengths. We determine the relations among the extremal trees with fixed maximum degree, and with perfect matching and further support the Laplacian coefficients as a measure of branching.
Eccentric Connectivity Index of Chemical Trees
Published in A. Ili\' c, I. Gutman, Eccentric Connectivity Index of Chemical Trees, MATCH Commun. Math. Comput. Chem. 65 (2011) 731-744
• Search Publication
The eccentric connectivity index $ξ^c$ is a distance--based molecular structure descriptor that was recently used for mathematical modeling of biological activities of diverse nature. We prove that the broom has maximum $ξ^c$ among trees with a fixed maximum vertex degree, and characterize such trees with minimum $ξ^c$\,. In addition, we propose a simple linear algorithm for calculating $ξ^c$ of trees.
Mathematical aspects of phylogenetic groves
Published
• View Publication
• BIB
The inference of new information on the relatedness of species by phylogenetic trees based on DNA data is one of the main challenges of modern biology. But despite all technological advances, DNA sequencing is still a time-consuming and costly process. Therefore, decision criteria would be desirable to decide a priori which data might contribute new information to the supertree which is not explicitly displayed by any input tree. A new concept, so-called groves, to identify taxon sets with the potential to construct such informative supertrees was suggested by Ané et al. in 2009. But the important conjecture that maximal groves can easily be identified in a database remained unproved and was published on the Isaac Newton Institute's list of open phylogenetic problems. In this paper, we show that the conjecture does not generally hold, but also introduce a new concept, namely 2-overlap groves, which overcomes this problem.
Counting spanning trees of the hypercube and its $q$-analogs by explicit block diagonalization
The number of spanning trees of a graph $G$ is called the {\em complexity} of $G$ and is denoted $c(G)$. Let C(n) denote the {\em (binary) hypercube} of dimension $n$. A classical result in enumerative combinatorics (based on explicit diagonalization) states that $c(C(n)) = \prod_{k=2}^n (2k)^{n\choose k}$.
In this paper we use the explicit block diagonalization methodology to derive formulas for the complexity of two $q$-analogs of C(n), the {\em nonbinary hypercube} $\Cq(n)$, defined for $q\geq 2$, and the {\em vector space analog of the hypercube} $\Cfq(n)$, defined for prime powers $q$.
We consider the nonbinary and vector space analogs of the Boolean algebra. We show the existence, in both cases, of a graded Jordan basis (with respect to the up operator) that is orthogonal (with respect to the standard inner product) and we write down explicit formulas for the ratio of the lengths of the successive vectors in the Jordan chains (i.e., the singular values). With respect to (the normalizations of) these bases the Laplacians of $\Cq(n)$ and $\Cfq(n)$ block diagonalize, with quadratically many distinct blocks in the nonbinary case and linearly many distinct blocks in the vector space case, and with each block an explicitly written down real, symmetric, tridiagonal matrix of known multiplicity and size at most $n+1$. In the nonbinary case we further determine the eigenvalues of the blocks, by explicitly writing out the eigenvectors, yielding an explicit formula for $c(\Cq(n))$ (this proof yields new information even in the binary case). In the vector space case we have been unable to determine the eigenvalues of the blocks but we give a useful formula for $c(\Cfq(n))$ involving "small" determinants (of size at most $n$).
Trees, Tight-Spans and Point Configuration
Published in Discrete Mathematics, 312 (2012), 2506-2521
• View Publication
• BIB
Tight-spans of metrics were first introduced by Isbell in 1964 and rediscovered and studied by others, most notably by Dress, who gave them this name. Subsequently, it was found that tight-spans could be defined for more general maps, such as directed metrics and distances, and more recently for diversities. In this paper, we show that all of these tight-spans as well as some related constructions can be defined in terms of point configurations. This provides a useful way in which to study these objects in a unified and systematic way. We also show that by using point configurations we can recover results concerning one-dimensional tight-spans for all of the maps we consider, as well as extend these and other results to more general maps such as symmetric and unsymmetric maps.
Classification of some countable descendant-homogeneous digraphs
Published
• View Publication
• BIB
For finite q, we classify the countable, descendant-homogeneous digraphs in which the descendant set of any vertex is a q-valent tree. We also give conditions on a rooted digraph G which allow us to construct a countable descendant-homogeneous digraph in which the descendant set of any vertex is isomorphic to G.
The Harary index of trees
The Harary index of a graph $G$ is recently introduced topological index, defined on the reverse distance matrix as $H(G)=\sum_{u,v \in V(G)}\frac{1}{d(u,v)}$, where $d(u,v)$ is the length of the shortest path between two distinct vertices $u$ and $v$. We present the partial ordering of starlike trees based on the Harary index and we describe the trees with the second maximal and the second minimal Harary index. In this paper, we investigate the Harary index of trees with $k$ pendent vertices and determine the extremal trees with maximal Harary index. We also characterize the extremal trees with maximal Harary index with respect to the number of vertices of degree two, matching number, independence number, radius and diameter. In addition, we characterize the extremal trees with minimal Harary index and given maximum degree. We concluded that in all presented classes, the trees with maximal Harary index are exactly those trees with the minimal Wiener index, and vice versa.
Sequences of labeled trees related to Gelfand-Tsetlin patterns
Published
• View Publication
• BIB
By rewriting the famous hook-content formula it easily follows that there are $\prod\limits_{1 \le i < j \le n} \frac{k_j - k_i + j -i}{j-i}$ semistandard tableaux of shape $(k_n,k_{n-1},...,k_1)$ with entries in $\{1,2,...,n\}$ or, equivalently, Gelfand-Tsetlin patterns with bottom row $(k_1,...,k_n)$. In this article we introduce certain sequences of labeled trees, the signed enumeration of which is also given by this formula. In these trees, vertices as well as edges are labeled, the crucial condition being that each edge label lies between the vertex labels of the two endpoints of the edge. This notion enables us to give combinatorial explanations of the shifted antisymmetry of the formula and its polynomiality. Furthermore, we propose to develop an analog approach of combinatorial reasoning for monotone triangles and explain how this may lead to a combinatorial understanding of the alternating sign matrix theorem.