tree
6861 papers tagged with this keyword
Chip-firing on trees of loops
Published
• View Publication
• BIB
Cools, Draisma, Payne, and Robeva proved that generic metric graphs that are "paths of loops" are Brill-Noether general. We show that Brill-Noether generality does not hold for "trees of loops": the only trees of loops that are Brill-Noether general are paths of loops. We study various notions of generality and examine which of these graphs satisfy them.
Shorter signed circuit covers of graphs
Published
• View Publication
• BIB
A signed circuit is a minimal signed graph (with respect to inclusion) that admits a nowhere-zero flow. We show that each flow-admissible signed graph on $m$ edges can be covered by signed circuits of total length at most $(3+2/3)\cdot m$, improving a recent result of Cheng et al. [manuscript, 2015]. To obtain this improvement we prove several results on signed circuit covers of trees of Eulerian graphs, which are connected signed graphs such that removing all bridges results in a collection of Eulerian graphs.
The structure of ABC-minimal trees with given number of leaves
Published in MATCH Commun. Math. Comput. Chem. 79 (2018) 415-430
• Search Publication
The atom-bond connectivity (ABC) index is a degree-based molecular descriptor with diverse chemical applications. Recent work of Lin et al. [W. Lin, J. Chen, C. Ma, Y. Zhang, J. Chen, D. Zhang, and F. Jia, On trees with minimal ABC index among trees with given number of leaves, MATCH Commun. Math. Comput. Chem. 76 (2016) 131-140] gave rise to a conjecture about the minimum possible ABC-index of trees with a fixed number $t$ of leaves. We show that this conjecture is incorrect and we prove what the correct answer is. It is shown that the extremal tree $T_t$ is unique for $t\ge 1195$, it has order $|T_t| = t + \lfloor \tfrac{t}{10}\rfloor +1$ (when $t$ mod 10 is between 0 and 4 or when it is 5, 6, or 7 and $t$ is sufficiently large) or $|T_t| = t + \lfloor \tfrac{t}{10}\rfloor + 2$ (when $t$ mod 10 is 8 or 9 or when it is 5, 6, or 7 and $t$ is sufficiently small) and its ABC-index is $( \sqrt{\tfrac{10}{11}} + \tfrac{1}{10}\sqrt{\tfrac{1}{11}} )t + O(1)$.
Labeled binary trees, subarrangements of the Catalan arrangements, and Schur positivity
Published
• View Publication
• BIB
In 1995, the first author introduced a multivariate generating function {$G$} that tracks the distribution of ascents and descents in labeled binary trees. In addition to proving that $G$ is symmetric, he conjectured that $G$ is Schur positive. We prove this conjecture by expanding $G$ positively in terms of ribbon Schur functions. We obtain this expansion using a weight-preserving bijection whose inverse is inspired by the Push-Glide algorithm of Préville-Ratelle and Viennot. In fact, this weight-preserving bijection allows us to establish a stronger version of the first author's conjecture showing that the generating function restricted to labeled binary trees with a fixed canopy is still Schur positive.
We also discuss applications in the setting of hyperplane arrangements. We show that a certain specialization of $G$ equals the Frobenius characteristic of the natural $\mathfrak{S}_n$-action on regions of the semiorder arrangement, which we then expand in terms of {the Frobenius characteristics} of Foulkes characters. We also construct an $\mathfrak{S}_n$-action on regions of the Linial arrangement using a set of trees studied by Bernardi, and subsequently compute the character of this action by employing Lagrange inversion. The resulting expression generalizes Postnikov's formula for the number of regions in the Linial arrangement. As a final application, we prove $γ$-nonnegativity for the distribution of the number of right edges over local binary search trees.
Woon's tree and sums over compositions
This article studies sums over all compositions of an integer. We derive a generating function for this quantity, and apply it to several special functions, including various generalized Bernoulli numbers. We connect composition sums with a recursive tree introduced by S.G. Woon and extended by P. Fuchs under the name "general PI tree", in which an output sequence $\{x_n\}$ is associated to the input sequence $\{g_n\}$ by summing over each row of the tree built from $\{g_n\}$. Our link with the notion of compositions allows to introduce a modification of Fuchs' tree that takes into account nonlinear transforms of the generating function of the input sequence. We also introduce the notion of \textit{generalized sums over compositions}, where we look at composition sums over each part of a composition.
A combinatorial proof of a formula of Biane and Chapuy
Published in Electronic Journal of Combinatorics. 25 (2018) P1.58
• View Publication
• BIB
Let $G$ be a simple strongly connected weighted directed graph. Let $\mathcal{G}$ denote the spanning tree graph of $G$. That is, the vertices of $\mathcal{G}$ consist of the directed rooted spanning trees on $G$, and the edges of $\mathcal{G}$ consist of pairs of trees $(t_i, t_j)$ such that $t_j$ can be obtained from $t_i$ by adding the edge from the root of $t_i$ to the root of $t_j$ and deleting the outgoing edge from the root of $t_j$. A formula for the ratio of the sum of the weights of the directed rooted spanning trees on $\mathcal{G}$ to the sum of the weights of the directed rooted spanning trees on $G$ was recently given by Biane and Chapuy. We provide an alternative proof of this formula, which is both simple and combinatorial. The proof involves working with the stochastic zeta function of an irreducible Markov chain. By generalizing the stochastic zeta function we also recover the general result of Biane and Chapuy which gives a formula for the determinant of the Schrödinger matrix on $\mathcal{G}$ corresponding to a given Schrödinger matrix on $G$, in terms of the minors of the latter matrix.
A Novel/Old Modification of the First Zagreb Index
Published in Mol. Inf. 37(6-7), (2018) Art# 1800008
• View Publication
• BIB
In the paper [I. Gutman, N. Trinajstić, Chem. Phys. Lett. 17 (1972), 535], it was shown that total $π$-electron energy ($E$) of a molecule $M$ depends on the quantity $\sum_{v\in V(G)}d_{v}^{2}$ (nowadays known as the "first Zagreb index"), where $G$ is the graph corresponding to $M$, $V(G)$ is the vertex set of $G$ and $d_{v}$ is degree of the vertex $v$. In the same paper, the graph invariant $\sum_{v\in V(G)}d_{v}τ_{v}$ (where $τ_{v}$ is the connection number of $v$, that is the number of vertices at distance 2 from $v$) was also proved to influence $E$, but this invariant was never restudied explicitly. We call it "modified first Zagreb connection index" and denote it by $ZC_{1}^{*}$. In this paper, we characterize the extremal elements with respect to the graph invariant $ZC_{1}^{*}$ among the collection of all $n$-vertex chemical trees.
Minimizing the Cost of Team Exploration
Published
• View Publication
• BIB
A group of mobile agents is given a task to explore an edge-weighted graph $G$, i.e., every vertex of $G$ has to be visited by at least one agent. There is no centralized unit to coordinate their actions, but they can freely communicate with each other. The goal is to construct a deterministic strategy which allows agents to complete their task optimally. In this paper we are interested in a cost-optimal strategy, where the cost is understood as the total distance traversed by agents coupled with the cost of invoking them. Two graph classes are analyzed, rings and trees, in the off-line and on-line setting, i.e., when a structure of a graph is known and not known to agents in advance. We present algorithms that compute the optimal solutions for a given ring and tree of order $n$, in $O(n)$ time units. For rings in the on-line setting, we give the $2$-competitive algorithm and prove the lower bound of $3/2$ for the competitive ratio for any on-line strategy. For every strategy for trees in the on-line setting, we prove the competitive ratio to be no less than $2$, which can be achieved by the $DFS$ algorithm.
Counting Subwords Occurrences in Base-b Expansions
Published in Integers 18A (2018), no. A13, 32 pp
• Search Publication
We count the number of distinct (scattered) subwords occurring in the base-b expansion of the non-negative integers. More precisely, we consider the sequence $(S_b(n))_{n\ge 0}$ counting the number of positive entries on each row of a generalization of the Pascal triangle to binomial coefficients of base-$b$ expansions. By using a convenient tree structure, we provide recurrence relations for $(S_b(n))_{n\ge 0}$ leading to the $b$-regularity of the latter sequence. Then we deduce the asymptotics of the summatory function of the sequence $(S_b(n))_{n\ge 0}$.
Maximum nullity and zero forcing number on cubic graphs
Let $G$ be a graph. The maximum nullity of $G$, denoted by $M(G)$, is defined to be the largest possible nullity over all real symmetric matrices $A$ whose $a_{ij}\neq 0$ for $i\neq j$, whenever two vertices $u_i$ and $u_j$ of $G$ are adjacent. In this paper, we characterize all cubic graphs with zero forcing number $3$. As a corollary, it is shown that if the zero forcing number is $3$, then $M(G)=3$. In addition, we introduce a family of cubic graphs containing graphs $G$ with $M(G)=Z(G)=4$.
Also, we provide an algorithm which make a relation between maximum nullity of $G$ and the number of leaves in a spanning tree of $G$.
Slimness of graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (March 4, 2019) dmtcs:4288
• View Publication
• BIB
Slimness of a graph measures the local deviation of its metric from a tree metric. In a graph $G=(V,E)$, a geodesic triangle $\bigtriangleup(x,y,z)$ with $x, y, z\in V$ is the union $P(x,y) \cup P(x,z) \cup P(y,z)$ of three shortest paths connecting these vertices. A geodesic triangle $\bigtriangleup(x,y,z)$ is called $δ$-slim if for any vertex $u\in V$ on any side $P(x,y)$ the distance from $u$ to $P(x,z) \cup P(y,z)$ is at most $δ$, i.e. each path is contained in the union of the $δ$-neighborhoods of two others. A graph $G$ is called $δ$-slim, if all geodesic triangles in $G$ are $δ$-slim. The smallest value $δ$ for which $G$ is $δ$-slim is called the slimness of $G$. In this paper, using the layering partition technique, we obtain sharp bounds on slimness of such families of graphs as (1) graphs with cluster-diameter $Δ(G)$ of a layering partition of $G$, (2) graphs with tree-length $λ$, (3) graphs with tree-breadth $ρ$, (4) $k$-chordal graphs, AT-free graphs and HHD-free graphs. Additionally, we show that the slimness of every 4-chordal graph is at most 2 and characterize those 4-chordal graphs for which the slimness of every of its induced subgraph is at most 1.
Balanced vertices in labeled rooted trees
In a rooted tree, we call a vertex {\em balanced} if it is at equal distance from all its descendant leaves. We count balanced vertices in three different tree varieties. For decreasing binary trees, we can prove that the probability that a vertex chosen uniformly at random from the set of all trees of a given size is balanced is monotone decreasing.
Substitution invariant Sturmian words and binary trees
We take a global view at substitution invariant Sturmian sequences. We show that homogeneous substitution invariant Sturmian sequences $s_{α,α}$ can be indexed by two binary trees, associated directly to Johannes Kepler's tree of harmonic fractions from 1619. We obtain similar results for the inhomogeneous sequences $s_{α,1-α}$ and $s_{α,0}$.
Characterizing path-like trees from linear configurations
Assume that we embed the path $P_n$ as a subgraph of a $2$-dimensional grid, namely, $P_k \times P_l$. Given such an embedding, we consider the ordered set of subpaths $L_1, L_2, \ldots , L_m$ which are maximal straight segments in the embedding, and such that the end of $L_i$ is the beginning of $L_{i+1}$. Suppose that $L_i\cong P_2$, for some $i$ and that some vertex $u$ of $L_{i-1}$ is at distance $1$ in the grid to a vertex $v$ of $L_{i+1}$. An elementary transformation of the path consists in replacing the edge of $L_i$ by a new edge $uv$. A tree $T$ of order $n$ is said to be a path-like tree, when it can be obtained from some embedding of $P_n$ in the $2$-dimensional grid, by a sequence of elementary transformations. Thus, the maximum degree of a path-like tree is at most $4$.
Intuitively speaking, a tree admits a linear configuration if it can be described by a sequence of paths in such a way that only vertices from two consecutive paths, which are at the same distance of the end vertices are adjacent. In this paper, we characterize path-like trees of maximum degree $3$, with an even number of vertices of degree $3$, from linear configurations.
Total weight choosability for Halin graphs
Published
• View Publication
• BIB
A proper total weighting of a graph $G$ is a mapping $φ$ which assigns to each vertex and each edge of $G$ a real number as its weight so that for any edge $uv$ of $G$, $\sum_{e \in E(v)}φ(e)+φ(v) \ne \sum_{e \in E(u)}φ(e)+φ(u)$. A $(k,k')$-list assignment of $G$ is a mapping $L$ which assigns to each vertex $v$ a set $L(v)$ of $k$ permissible weights and to each edge $e$ a set $L(e)$ of $k'$ permissible weights. An $L$-total weighting is a total weighting $φ$ with $φ(z) \in L(z)$ for each $z \in V(G) \cup E(G)$. A graph $G$ is called $(k,k')$-choosable if for every $(k,k')$-list assignment $L$ of $G$, there exists a proper $L$-total weighting. As a strenghtening of the well-known 1-2-3 conjecture, it was conjectured in [ Wong and Zhu, Total weight choosability of graphs, J. Graph Theory 66 (2011), 198-212] that every graph without isolated edge is $(1,3)$-choosable. It is easy to verified this conjecture for trees, however, to prove it for wheels seemed to be quite non-trivial. In this paper, we develop some tools and techniques which enable us to prove this conjecture for generalized Halin graphs.
Nordhaus-Gaddum-type theorem for conflict-free connection number of graphs
Published
• View Publication
• BIB
An edge-colored graph $G$ is \emph{conflict-free connected} if, between each pair of distinct vertices, there exists a path containing a color used on exactly one of its edges. The \emph{conflict-free connection number} of a connected graph $G$, denoted by $cfc(G)$, is defined as the smallest number of colors that are needed in order to make $G$ conflict-free connected. In this paper, we determine all trees $T$ of order $n$ for which $cfc(T)=n-t$, where $t\geq 1$ and $n\geq 2t+2 $. Then we prove that $1\leq cfc(G)\leq n-1$ for a connected graph $G$, and characterize the graphs $G$ with $cfc(G)=1,n-4,n-3,n-2,n-1$, respectively. Finally, we get the Nordhaus-Gaddum-type theorem for the conflict-free connection number of graphs, and prove that if $G$ and $\overline{G}$ are connected, then $4\leq cfc(G)+cfc(\overline{G})\leq n$ and $4\leq cfc(G)\cdot cfc(\overline{G})\leq2(n-2)$, and moreover, $cfc(G)+cfc(\overline{G})=n$ or $cfc(G)\cdot cfc(\overline{G})=2(n-2)$ if and only if one of $G$ and $\overline{G}$ is a tree with maximum degree $n-2$ or a $P_5$, and the lower bounds are sharp.
Counting the number of non-zero coefficients in rows of generalized Pascal triangles
Published in Discrete Math. 340 (2017) 862-881
• View Publication
• BIB
This paper is about counting the number of distinct (scattered) subwords occurring in a given word. More precisely, we consider the generalization of the Pascal triangle to binomial coefficients of words and the sequence $(S(n))_{n\ge 0}$ counting the number of positive entries on each row. By introducing a convenient tree structure, we provide a recurrence relation for $(S(n))_{n\ge 0}$. This leads to a connection with the $2$-regular Stern-Brocot sequence and the sequence of denominators occurring in the Farey tree. Then we extend our construction to the Zeckendorf numeration system based on the Fibonacci sequence. Again our tree structure permits us to obtain recurrence relations for and the F-regularity of the corresponding sequence.
Counting De Bruijn sequences as perturbations of linear recursions
Every binary De~Bruijn sequence of order n satisfies a recursion 0=x_n+x_0+g(x_{n-1}, ..., x_1). Given a function f on (n-1) bits, let N(f; r) be the number of functions generating a De Bruijn sequence of order n which are obtained by changing r locations in the truth table of f. We prove a formula for the generating function \sum_r N(\ell; r) y^r when \ell is a linear function.
The proof uses a weighted Matrix Tree Theorem and a description of the in-trees (or rooted trees) in the n-bit De Bruijn graph as perturbations of the Hamiltonian paths in the same graph.
Conflict-free vertex-connections of graphs
Published
• View Publication
• BIB
A path in a vertex-colored graph is called \emph{conflict free} if there is a color used on exactly one of its vertices. A vertex-colored graph is said to be \emph{conflict-free vertex-connected} if any two vertices of the graph are connected by a conflict-free path. This paper investigates the question: For a connected graph $G$, what is the smallest number of colors needed in a vertex-coloring of $G$ in order to make $G$ conflict-free vertex-connected. As a result, we get that the answer is easy for $2$-connected graphs, and very difficult for connected graphs with more cut-vertices, including trees.
Ballot tilings and increasing trees
We study enumerations of Dyck and ballot tilings, which are tilings of a region determined by two Dyck or ballot paths. We give bijective proofs to two formulae of enumerations of Dyck tilings through Hermite histories. We show that one of the formulae is equal to a certain Kazhdan--Lusztig polynomial. For a ballot tiling, we establish formulae which are analogues of formulae for Dyck tilings. Especially, the generating functions have factorized expressions. The key tool is a planted plane tree and its increasing labellings. We also introduce a generalized perfect matching which is bijective to an Hermite history for a ballot tiling. By combining these objects, we obtain various expressions of a generating function of ballot tilings with a fixed lower path.