tree
6861 papers tagged with this keyword
The eigenvalues of the Hessian matrices of the generating functions for trees with $k$ components
Published
• View Publication
• BIB
Let us consider a truncated matroid $M_Γ^{r}$ of rank $r$ of a graphic matroid of a graph $Γ$. The basis for $M_Γ^{r}$ is the set of the forests with $r$ edges in $Γ$. We consider this basis generating function and compute its Hessian. In this paper, we show that the Hessian of the basis generating function of the truncated matroid of the graphic matroid of the complete or complete bipartite graph does not vanish by calculating the eigenvalues of the Hessian matrix. Moreover, we show that the Hessian matrix of the basis generating function of the truncated matroid of the graphic matroid of the complete or complete bipartite graph has exactly one positive eigenvalue. As an application, we show the strong Lefschetz property for the Artinian Gorenstein algebra associated to the truncated matroid.
Ordering starlike trees by the totality of their spectral moments
The $k$-th spectral moment $M_k(G)$ of the adjacency matrix of a graph~$G$ represents the number of closed walks of length~$k$ in~$G$. We study here the partial order $\preceq$ of graphs, defined by $G\preceq H$ if $M_k(G)\leq M_k(H)$ for all $k\geq 0$, and are interested in the question when is $\preceq$ a linear order within a specified set of graphs? Our main result is that $\preceq$ is a linear order on each set of starlike trees with constant number of vertices. Recall that a connected graph $G$ is a starlike tree if it has a vertex~$u$ such that the components of $G-u$ are paths, called the branches of~$G$. It turns out that the $\preceq$ ordering of starlike trees with constant number of vertices coincides with the shortlex order of sorted sequence of their branch lengths.
On the average Steiner 3-eccentricity of trees
Published
• View Publication
• BIB
The Steiner $k$-eccentricity of a vertex $v$ of a graph $G$ is the maximum Steiner distance over all $k$-subsets of $V(G)$ which contain $v$. In this paper Steiner $3$-eccentricity is studied on trees. Some general properties of the Steiner $3$-eccentricity of trees are given. A tree transformation which does not increase the average Steiner $3$-eccentricity is given. As its application, several lower and upper bounds for the average Steiner $3$-eccentricity of trees are derived.
An Experimental Mathematics Approach to Several Combinatorial Problems
Experimental mathematics is an experimental approach to mathematics in which programming and symbolic computation are used to investigate mathematical objects, identify properties and patterns, discover facts and formulas and even automatically prove theorems. With an experimental mathematics approach, this dissertation deals with several combinatorial problems and demonstrates the methodology of experimental mathematics. We start with parking functions and their moments of certain statistics. Then we discuss about spanning trees and "almost diagonal" matrices to illustrate the methodology of experimental mathematics. We also apply experimental mathematics to Quicksort algorithms to study the running time. Finally we talk about the interesting peaceable queens problem.
Bijections on $r$-Shi and $r$-Catalan Arrangements
Published
• View Publication
• BIB
Associated with the $r$-Shi arrangement and $r$-Catalan arrangement in $\Bbb{R}^n$, we introduce a cubic matrix for each region to establish two bijections in a uniform way. Firstly, the positions of minimal positive entries in column slices of the cubic matrix will give a bijection from regions of the $r$-Shi arrangement to $O$-rooted labeled $r$-trees. Secondly, the numbers of positive entries in column slices of the cubic matrix will give a bijection from regions of the $r$-Catalan arrangement to pairings of permutation and $r$-Dyck path. Moreover, the numbers of positive entries in row slices of the cubic matrix will recover the Pak-Stanley labeling, a celebrated bijection from regions of the $r$-Shi arrangement to $r$-parking functions.
Quadri-algebras, preLie algebras, and the Catalan family of Lie idempotents
Published
• View Publication
• BIB
We compute the expansion of the Catalan family of Lie idempotents introduced in [Menous et al., Adv. Applied Math. 51 (2013), 177-22] on the PBW basis of the Lie module. It is found that the coefficient of a tree depends only on its number of left and right internal edges. In particular, the Catalan idempotents belong to a preLie algebra based on naked binary trees, of which we identify several Lie and preLie subalgebras.
Classical and consecutive pattern avoidance in rooted forests
Published in Journal of Combinatorial Theory, Series A, Volume 194, 2023, 105699
• View Publication
• BIB
Following Anders and Archer, we say that an unordered rooted labeled forest avoids the pattern $σ\in\mathcal{S}_k$ if in each tree, each sequence of labels along the shortest path from the root to a vertex does not contain a subsequence with the same relative order as $σ$. For each permutation $σ\in\mathcal{S}_{k-2}$, we construct a bijection between $n$-vertex forests avoiding $(σ)(k-1)k:=σ(1)\cdotsσ(k-2)(k-1)k$ and $n$-vertex forests avoiding $(σ)k(k-1):=σ(1)\cdotsσ(k-2)k(k-1)$, giving a common generalization of results of West on permutations and Anders--Archer on forests. We further define a new object, the forest-Young diagram, which we use to extend the notion of shape-Wilf equivalence to forests. In particular, this allows us to generalize the above result to a bijection between forests avoiding $\{(σ_1)k(k-1), (σ_2)k(k-1), \dots, (σ_\ell)k(k-1)\}$ and forests avoiding $\{(σ_1)(k-1)k, (σ_2)(k-1)k, \dots, (σ_\ell)(k-1)k\}$ for $σ_1, \dots, σ_\ell \in \mathcal{S}_{k-2}$. Furthermore, we give recurrences enumerating the forests avoiding $\{123\cdots k\}$, $\{213\}$, and other sets of patterns. Finally, we extend the Goulden--Jackson cluster method to study consecutive pattern avoidance in rooted trees as defined by Anders and Archer. Using the generalized cluster method, we prove that if two length-$k$ patterns are strong-c-forest-Wilf equivalent, then up to complementation, the two patterns must start with the same number. We also prove the surprising result that the patterns $1324$ and $1423$ are strong-c-forest-Wilf equivalent, even though they are not c-Wilf equivalent with respect to permutations.
The algebra of complete binary trees is affine complete
Published
• View Publication
• BIB
A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. We show that on the algebra of complete binary trees whose leaves are labeled by letters of an alphabet containing at least three letters a function is congruence preserving if and only if it is polynomial. This exhibits an example of a non commutative and non associative affine complete algebra. As far as we know, it is the first example of such an algebra.
Bounding the $k$-Steiner Wiener and Wiener-type indices of trees in terms of eccentric sequence
Published
• View Publication
• BIB
The eccentric sequence of a connected graph $G$ is the nondecreasing sequence of the eccentricities of its vertices. The Wiener index of $G$ is the sum of the distances between all unordered pairs of vertices of $G$. The unique trees that minimise the Wiener index among all trees with a given eccentric sequence were recently determined by the present authors. In this paper we show that these results hold not only for the Wiener index, but for a large class of distance-based topological indices which we term Wiener-type indices. Particular cases of this class include the hyper-Wiener index, the Harary index, the generalised Wiener index $W^λ$ for $λ>0$ and $λ<0$, and the reciprocal complementary Wiener index. Our results imply and unify known bounds on these Wiener-type indices for trees of given order and diameter.
We also present similar results for the $k$-Steiner Wiener index of trees with a given eccentric sequence. The Steiner distance of a set $A\subseteq V(G)$ is theminimum number of edges in a subtree of $G$ whose vertex set contains $A$, and the $k$-Steiner Wiener index is the sum of distances of all $k$-element subsets of $V(G)$. As a corollary, we obtain a sharp lower bound on the $k$-Steiner Wiener index of trees with given order and diameter, and determine in which cases the extremal tree is unique, thereby correcting an error in the literature.
Spanning trees in random regular uniform hypergraphs
Published in Combinator. Probab. Comp. 31 (2022) 29-53
• View Publication
• BIB
Let $\mathcal{G}_{n,r,s}$ denote a uniformly random $r$-regular $s$-uniform hypergraph on the vertex set $\{1,2,\ldots, n\}$. We establish a threshold result for the existence of a spanning tree in $\mathcal{G}_{n,r,s}$, restricting to $n$ satisfying the necessary divisibility conditions. Specifically, we show that when $s\geq 5$, there is a positive constant $ρ(s)$ such that for any $r\geq 2$, the probability that $\mathcal{G}_{n,r,s}$ contains a spanning tree tends to 1 if $r > ρ(s)$, and otherwise this probability tends to zero. The threshold value $ρ(s)$ grows exponentially with $s$. As $\mathcal{G}_{n,r,s}$ is connected with probability which tends to 1, this implies that when $r \leq ρ(s)$, most $r$-regular $s$-uniform hypergraphs are connected but have no spanning tree. When $s=3,4$ we prove that $\mathcal{G}_{n,r,s}$ contains a spanning tree with probability which tends to 1, for any $r\geq 2$. Our proof also provides the asymptotic distribution of the number of spanning trees in $\mathcal{G}_{n,r,s}$ for all fixed integers $r,s\geq 2$. TPreviously, this asymptotic distribution was only known in the trivial case of 2-regular graphs, or for cubic graphs.
On the maximum agreement subtree conjecture for balanced trees
Published
• View Publication
• BIB
We give a counterexample to the conjecture of Martin and Thatte that two balanced rooted binary leaf-labelled trees on $n$ leaves have a maximum agreement subtree (MAST) of size at least $n^{\frac{1}{2}}$. In particular, we show that for any $c>0$, there exist two balanced rooted binary leaf-labelled trees on $n$ leaves such that any MAST for these two trees has size less than $c n^{\frac{1}{2}}$. We also improve the lower bound of the size of such a MAST to $n^{\frac{1}{6}}$.
Generalized Bijective Maps between $G$-Parking Functions, Spanning Trees, and the Tutte Polynomial
Published
• View Publication
• BIB
We introduce an object called a tree growing sequence (TGS) in an effort to generalize bijective correspondences between $G$-parking functions, spanning trees, and the set of monomials in the Tutte polynomial of a graph $G$. A tree growing sequence determines an algorithm which can be applied to a single function, or to the set $\mathcal{P}_{G,q}$ of $G$-parking functions. When the latter is chosen, the algorithm uses splitting operations - inspired by the recursive defintion of the Tutte polynomial - to iteratively break $\mathcal{P}_{G,q}$ into disjoint subsets. This results in bijective maps $τ$ and $ρ$ from $\mathcal{P}_{G,q}$ to the spanning trees of $G$ and Tutte monomials, respectively. We compare the TGS algorithm to Dhar's algorithm and the family described by Chebikin and Pylyavskyy. Finally, we compute a Tutte polynomial of a zonotopal tiling using analogous splitting operations.
Tropical Data Science
Phylogenomics is a new field which applies to tools in phylogenetics to genome data. Due to a new technology and increasing amount of data, we face new challenges to analyze them over a space of phylogenetic trees. Because a space of phylogenetic trees with a fixed set of labels on leaves is not Euclidean, we cannot simply apply tools in data science. In this paper we survey some new developments of machine learning models using tropical geometry to analyze a set of phylogenetic trees over a tree space.
List homomorphism problems for signed trees
Published
• View Publication
• BIB
We consider homomorphisms of signed graphs from a computational perspective. In particular, we study the list homomorphism problem seeking a homomorphism of an input signed graph $(G,σ)$, equipped with lists $L(v) \subseteq V(H), v \in V(G)$, of allowed images, to a fixed target signed graph $(H,π)$. The complexity of the similar homomorphism problem without lists (corresponding to all lists being $L(v)=V(H)$) has been previously classified by Brewster and Siggers, but the list version remains open and appears difficult. We illustrate this difficulty by classifying the complexity of the problem when $H$ is a tree (with possible loops). The tools we develop will be useful for classifications of other classes of signed graphs, and in a future companion paper we will illustrate this by using them to classify the complexity for certain irreflexive signed graphs. The structure of the signed trees in the polynomial cases is interesting, suggesting that the class of general signed graphs for which the problems are polynomial may have nice structure, analogous to the so-called bi-arc graphs (which characterized the polynomial cases of list homomorphisms to unsigned graphs).
Constructing Tree Decompositions of Graphs with Bounded Gonality
Published
• View Publication
• BIB
In this paper, we give a constructive proof of the fact that the treewidth of a graph is at most its divisorial gonality. The proof gives a polynomial time algorithm to construct a tree decomposition of width at most $k$, when an effective divisor of degree $k$ that reaches all vertices is given. We also give a similar result for two related notions: stable divisorial gonality and stable gonality.
Hadwiger meets Cayley
We show that every connected $k$-chromatic graph contains at least $k^{k-2}$ spanning trees.
On the Graceful Game
A graceful labeling of a graph $G$ with $m$ edges consists of labeling the vertices of $G$ with distinct integers from $0$ to $m$ such that, when each edge is assigned as induced label the absolute difference of the labels of its endpoints, all induced edge labels are distinct. Rosa established two well known conjectures: all trees are graceful (1966) and all triangular cacti are graceful (1988). In order to contribute to both conjectures we study graceful labelings in the context of graph games. The Graceful game was introduced by Tuza in 2017 as a two-players game on a connected graph in which the players Alice and Bob take turns labeling the vertices with distinct integers from 0 to $m$. Alice's goal is to gracefully label the graph as Bob's goal is to prevent it from happening. In this work, we study winning strategies for Alice and Bob in complete graphs, paths, cycles, complete bipartite graphs, caterpillars, prisms, wheels, helms, webs, gear graphs, hypercubes and some powers of paths.
Structural Parameterizations of Clique Coloring
Published
• View Publication
• BIB
A clique coloring of a graph is an assignment of colors to its vertices such that no maximal clique is monochromatic. We initiate the study of structural parameterizations of the Clique Coloring problem which asks whether a given graph has a clique coloring with $q$ colors. For fixed $q \ge 2$, we give an $\mathcal{O}^{\star}(q^{tw})$-time algorithm when the input graph is given together with one of its tree decompositions of width $tw$. We complement this result with a matching lower bound under the Strong Exponential Time Hypothesis. We furthermore show that (when the number of colors is unbounded) Clique Coloring is XP parameterized by clique-width.
Packing $(1,1,2,4)$-coloring of subcubic outerplanar graphs
Published
• View Publication
• BIB
For $1\leq s_1 \le s_2 \le \ldots \le s_k$ and a graph $G$, a packing $(s_1, s_2, \ldots, s_k)$-coloring of $G$ is a partition of $V(G)$ into sets $V_1, V_2, \ldots, V_k$ such that, for each $1\leq i \leq k$, the distance between any two distinct $x,y\in V_i$ is at least $s_i + 1$. The packing chromatic number, $χ_p(G)$, of a graph $G$ is the smallest $k$ such that $G$ has a packing $(1,2, \ldots, k)$-coloring. It is known that there are trees of maximum degree 4 and subcubic graphs $G$ with arbitrarily large $χ_p(G)$. Recently, there was a series of papers on packing $(s_1, s_2, \ldots, s_k)$-colorings of subcubic graphs in various classes. We show that every $2$-connected subcubic outerplanar graph has a packing $(1,1,2)$-coloring and every subcubic outerplanar graph is packing $(1,1,2,4)$-colorable. Our results are sharp in the sense that there are $2$-connected subcubic outerplanar graphs that are not packing $(1,1,3)$-colorable and there are subcubic outerplanar graphs that are not packing $(1,1,2,5)$-colorable. We also show subcubic outerplanar graphs that are not packing $(1,2,2,4)$-colorable and not packing $(1,1,3,4)$-colorable.
Graphic Lattices and Matrix Lattices Of Topological Coding
Lattice-based Cryptography is considered to have the characteristics of classical computers and quantum attack resistance. We will design various graphic lattices and matrix lattices based on knowledge of graph theory and topological coding, since many problems of graph theory can be expressed or illustrated by (colored) star-graphic lattices. A new pair of the leaf-splitting operation and the leaf-coinciding operation will be introduced, and we combine graph colorings and graph labellings to design particular proper total colorings as tools to build up various graphic lattices, graph homomorphism lattice, graphic group lattices and Topcode-matrix lattices. Graphic group lattices and (directed) Topcode-matrix lattices enable us to build up connections between traditional lattices and graphic lattices. We present mathematical problems encountered in researching graphic lattices, some problems are: Tree topological authentication, Decompose graphs into Hanzi-graphs, Number String Decomposition Problem, $(p,s)$-gracefully total numbers.