tree
6737 papers tagged with this keyword
The $k$-apex trees with minimum augmented Zagreb index
Published
• View Publication
• BIB
For a connected graph $G$ on at least three vertices, the augmented Zagreb index (AZI) of $G$ is defined as $$AZI(G)=\sum_{uv\in E(G)}\left(\frac{d(u)d(v)}{d(u)+d(v)-2}\right)^{3},$$ being a topological index well-correlated with the formation heat of heptanes and octanes. A $k$-apex tree $G$ is a connected graph admitting a $k$-subset $X\subset V(G)$ such that $G-X$ is a tree, while $G-S$ is not a tree for any $S\subset V(G)$ of cardinality less than $k$. By investigating some structural properties of $k$-apex trees, we identify the graphs minimizing the AZI among all $k$-apex trees on $n$ vertices for $k\ge 4$ and $n\ge 3(k+1)$. The latter solves an open problem posed in [K. Cheng, M. Liu, F. Belardo, {\em Appl. Math. Comput.}, {\bf402} (2021), 126139].
The zero locus and some combinatorial properties of certain exponential Sheffer sequences
Published
• View Publication
• BIB
We present combinatorial and analytical results concerning a Sheffer sequence with an exponential generating function of the form $G(s,z)=e^{czs+αz^{2}+βz^{4}}$, where $α, β, c \in \mathbb{R}$ with $β<0$ and $c\neq 0$. We demonstrate that the zeros of all polynomials in such a Sheffer sequence are either real, or purely imaginary. Additionally, using the properties of Riordan matrices we show that our Sheffer sequence satisfies a three-term recurrence relation of order 4, and we also exhibit a connection between the coefficients of these Sheffer polynomials and the number of nodes with a a given label in certain marked generating trees.
An example of Tateno disproving conjectures of Bonato-Tardif, Thomasse, and Tyomkyn
Published
• View Publication
• BIB
In his 2008 thesis, Tateno claimed a counterexample to the Bonato-Tardif conjecture regarding the number of equimorphy classes of trees. In this paper we revisit Tateno's unpublished ideas to provide a rigorous exposition, constructing locally finite trees having an arbitrary finite number of equimorphy classes; an adaptation provides partial orders with a similar conclusion. At the same time these examples also disprove conjectures by Thomasse and Tyomkyn.
Left-cut-percolation and induced-Sidorenko bigraphs
Published
• View Publication
• BIB
A Sidorenko bigraph is one whose density in a bigraphon $W$ is minimized precisely when $W$ is constant. Several techniques of the literature to prove the Sidorenko property consist of decomposing (typically in a tree decomposition) the bigraph into smaller building blocks with stronger properties. One prominent such technique is that of $N$-decompositions of Conlon--Lee, which uses weakly Hölder (or weakly norming) bigraphs as building blocks. In turn, to obtain weakly Hölder bigraphs, it is typical to use the chain of implications reflection bigraph $\implies$ cut-percolating bigraph $\implies$ weakly Hölder bigraph. In an earlier result by the author with Razborov, we provided a generalization of $N$-decompositions, called reflective tree decompositions, that uses much weaker building blocks, called induced-Sidorenko bigraphs, to also obtain Sidorenko bigraphs.
In this paper, we show that "left-sided" versions of the concepts of reflection bigraph and cut-percolating bigraph yield a similar chain of implications: left-reflection bigraph $\implies$ left-cut-percolating bigraph $\implies$ induced-Sidorenko bigraph. We also show that under mild hypotheses, the "left-sided" analogue of the weakly Hölder property (which is also obtained via a similar chain of implications) can be used to improve bounds on another result of Conlon--Lee that roughly says that bigraphs with enough vertices on the right side of each realized degree have the Sidorenko property.
On the matching arrangement of a graph and properties of its characteristic polynomial
Published
• View Publication
• BIB
This paper considers a hyperplane arrangement constructed with a subset of a set of all simple paths in a graph. A connection of the constructed arrangement to the maximum matching problem is established. Moreover, the problem of finding the characteristic polynomial is reduced to the case of a connected initial graph. The formula of the characteristic polynomial was also found for the case, when the initial graph is a tree.
Ramsey-type problems on induced covers and induced partitions toward the Gyárfás-Sumner conjecture
Published
• View Publication
• BIB
Gyárfás and Sumner independently conjectured that for every tree $T$, there exists a function $f_{T}:\mathbb{N}\rightarrow \mathbb{N}$ such that every $T$-free graph $G$ satisfies $χ(G)\leq f_{T}(ω(G))$, where $χ(G)$ and $ω(G)$ are the {\it chromatic number} and the {\it clique number} of $G$, respectively. This conjecture gives a solution of a Ramsey-type problem on the chromatic number.
For a graph $G$, the {\it induced SP-cover number ${\rm inspc}(G)$} (resp. the {\it induced SP-partition number ${\rm inspp}(G)$}) of $G$ is the minimum cardinality of a family $\mathcal{P}$ of induced subgraphs of $G$ such that each element of $\mathcal{P}$ is a star or a path and $\bigcup _{P\in \mathcal{P}}V(P)=V(G)$ (resp. $\dot\bigcup _{P\in \mathcal{P}}V(P)=V(G)$). Such two invariants are directly related concepts to the chromatic number. From the viewpoint of this fact, we focus on Ramsey-type problems for two invariants ${\rm inspc}$ and ${\rm inspp}$, which are analogies of the Gyárfás-Sumner conjecture, and settle them. As a corollary of our results, we also settle other Ramsey-type problems for widely studied invariants.
On the $p$-Schatten Energy of Bipartite Graphs
Published
• View Publication
• BIB
We give a Coulson integral formula and a Coulson-Jacobs formula for the $p$-Schatten energy. We use this formulas to compare the $p$-Schatten energy of different trees by using a quasiorder, and establish the maximality of paths among all trees.
Decompositions of packed words and self duality of Word Quasisymmetric Functions
Published
• View Publication
• BIB
By Foissy's work, the bidendriform structure of the Word Quasisymmetric Functions Hopf algebra (WQSym) implies that it is isomorphic to its dual. However, the only known explicit isomorphism due to Vargas does not respect the bidendriform structure. This structure is entirely determined by so-called totally primitive elements (elements such that the two half-coproducts vanish). In this paper, we construct two bases indexed by two new combinatorial families called red (dual side) and blue (primal side) biplane forests in bijection with packed words. In those bases, primitive elements are indexed by biplane trees and totally primitive elements by a certain subset of trees. We carefully combine red and blue forests to get bicolored forests. A simple recoloring of the edges allows us to obtain the first explicit bidendriform automorphism of WQSym.
Counting edges according to edge-type in $t$-ary trees
Using the Lagrange inversion formula, $t$-ary trees are enumerated with respect to edge type (left, middle, right for ternary trees).
On the Hopf algebra of noncommutative symmetric functions in superspace
Published
• View Publication
• BIB
We study in detail the Hopf algebra of noncommutative symmetric functions in superspace sNSym, introduced by Fishel, Lapointe and Pinto. We introduce a family of primitive elements of sNSym and extend the noncommutative elementary and power sum functions to superspace. Then, we give formulas relating these families of functions. Also, we introduce noncommutative Ribbon Schur functions in superspace and provide a explicit formula for their product. We show that the dual basis of these function is given by a family of the so--called fundamental quasisymmetric functions in superspace. This allows us to obtain a explicit formula for the coproduct of fundamental quasisymmetric functions in superspace. Additionally, by projecting the noncommutative Ribbon Schur functions in superspace, we define a new basis for the algebra of symmetric functions in superspace. On the other hand, we also show that sNSym can be realised as a Hopf algebra of trees.
The Tree-Forest Ratio
The number of rooted spanning forests divided by the number of spanning rooted trees in a graph G with Kirchhoff matrix K is the spectral quantity tau(G)= det(1+K)/det(K) of G by the matrix tree and matrix forest theorems. We prove that that under Barycentric refinements, the tree index T(G)=log(det(K))/n and forest index F(G)=log(det(1+K))/n and so the tree-forest index i=F-G=log(tau(G))/n converge to numbers that only depend on the size of the maximal clique in the graph. In the 1-dimensional case, all numbers are known: T(G)=0, F(G)=i(G) =2 log(phi), where phi is the golden ratio. The convergent proof uses the Barycentral limit theorem assuring the Kirchhoff spectrum converges weakly to a measure dk on the positive real axis that only depends on dimension of G. Trees and forests indices are potential values i = U(-1)-U(0) for the subharmonic function U(z)=int_R log|x-z| dk(x) defined by the Riesz measure dk=Delta U which only depends on the dimension of G. The potential U(z) is defined for all z away from the support of dk and finite at z=0. Convergence follows from the tail estimate k[x,infty] < C exp(-a x) where the decay rate a only depends on the maximal dimension. With the normalized zeta function zeta(s) = (1/n) sum_k lambda_k^-s, we have for all finite graphs of maximal dimension larger than 1 the identity i(G) = sum_t (-1)^(s+1) zeta(s)/s. The limiting zeta function zeta(s) = int_R x^(-s) dk(x) is analytic in s for s<0. The Hurwitz spectral zeta function zeta_z(s)=U_s(z) = int_R (x-z)^(-s) dk(x) complements U(z) = int_R log(x-z) dk(x) and is analytic for z in C - R^+ and for fixed z in C-R^+ is an entire function in s in C.
Generalized fusible numbers and their ordinals
Published
• View Publication
• BIB
Erickson defined the fusible numbers as a set $\mathcal F$ of reals generated by repeated application of the function $\frac{x+y+1}{2}$. Erickson, Nivasch, and Xu showed that $\mathcal F$ is well ordered, with order type $\varepsilon_0$. They also investigated a recursively defined function $M\colon \mathbb{R}\to\mathbb{R}$. They showed that the set of points of discontinuity of $M$ is a subset of $\mathcal F$ of order type $\varepsilon_0$. They also showed that, although $M$ is a total function on $\mathbb R$, the fact that the restriction of $M$ to $\mathbb{Q}$ is total is not provable in first-order Peano arithmetic $\mathsf{PA}$.
In this paper we explore the problem (raised by Friedman) of whether similar approaches can yield well-ordered sets $\mathcal F$ of larger order types. As Friedman pointed out, Kruskal's tree theorem yields an upper bound of the small Veblen ordinal for the order type of any set generated in a similar way by repeated application of a monotone function $g:\mathbb R^n\to\mathbb R$.
The most straightforward generalization of $\frac{x+y+1}{2}$ to an $n$-ary function is the function $\frac{x_1+\cdots+x_n+1}{n}$. We show that this function generates a set $\mathcal F_n$ whose order type is just $\varphi_{n-1}(0)$. For this, we develop recursively defined functions $M_n\colon \mathbb{R}\to\mathbb{R}$ naturally generalizing the function $M$.
Furthermore, we prove that for any linear function $g:\mathbb R^n\to\mathbb R$, the order type of the resulting $\mathcal F$ is at most $\varphi_{n-1}(0)$.
Finally, we show that there do exist continuous functions $g:\mathbb R^n\to\mathbb R$ for which the order types of the resulting sets $\mathcal F$ approach the small Veblen ordinal.
A new decomposition of the graph Laplacian and the binomial structure of mass-action systems
Published
• View Publication
• BIB
We provide a new decomposition of the Laplacian matrix (for labeled directed graphs with strongly connected components), involving an invertible $\textit{core matrix}$, the vector of tree constants, and the incidence matrix of an auxiliary graph, representing an order on the vertices. Depending on the particular order, the core matrix has additional properties. Our results are graph-theoretic/algebraic in nature.
As a first application, we further clarify the binomial structure of (weakly reversible) mass-action systems, arising from chemical reaction networks. Second, we extend a classical result by Horn and Jackson on the asymptotic stability of special steady states (complex-balanced equilibria). Here, the new decomposition of the graph Laplacian allows us to consider regions in the positive orthant with given $\textit{monomial evaluation orders}$ (and corresponding polyhedral cones in logarithmic coordinates). As it turns out, all dynamical systems are asymptotically stable that can be embedded in certain $\textit{binomial differential inclusions}$. In particular, this holds for complex-balanced mass-action systems, and hence we also obtain a polyhedral-geometry proof of the classical result.
Edge-decompositions of $O(m)$-edge-connected graphs into isomorphic copies of a fixed tree of size $m$
In this paper, we show that every $O(m)$-edge-connected simple graph $G$ of size divisible by $m$ with minimum degree at least $2^{O(m)}$ has an edge-decomposition into isomorphic copies of any given tree $T$ of size $m$. Moreover, the minimum degree condition can be dropped for graphs $G$ with girth greater than the diameter of $T$. These results improve two results due to Bensmail, Harutyunyan, Le, Merker, and Thomassé (2017) and Merker (2017) who gave a factorial upper bound on the necessary edge-connectivity.
The covering threshold of a directed acyclic graph by directed acyclic subgraphs
Published
• View Publication
• BIB
Let $H$ be a directed acyclic graph other than a rooted star. It is known that there are constants $c(H)$ and $C(H)$ such that the following holds for the complete directed graph $D_n$. There are at most $C\log n$ directed acyclic subgraphs of $D_n$ that cover every $H$-copy of $D_n$, while fewer than $c\log n$ directed acyclic subgraphs of $D_n$ do not cover all $H$-copies. Here this dichotomy is considerably strengthened. Let ${\vec G}(n,p)$ denote the random directed graph. The {\em fractional arboricity} of $H$ is $a(H) = max \{\frac{|E(H')|}{|V(H')|-1}\}$, where the maximum is over all non-singleton subgraphs of $H$. If $a(H) = \frac{|E(H)|}{|V(H)|-1}$ then $H$ is {\em totally balanced}. Complete graphs, complete multipartite graphs, cycles, trees, and, in fact, almost all graphs, are totally balanced. It is proved:
1) Let $H$ be a dag with $h$ vertices and $m$ edges other than a rooted star. For every $a^* > a(H)$ there exists $c^* = c^*(a^*,H) > 0$ such that almost surely $G \sim {\vec G}(n,n^{-1/a^*})$ has the property that every set $X$ of at most $c^*\log n$ directed acyclic subgraphs of $G$ does not cover all $H$-copies of $G$. Moreover, there exists $s(H) = m/2 + O(m^{4/5}h^{1/5})$ such that the following stronger assertion holds for any such $X$: There is an $H$-copy in $G$ that has no more than $s(H)$ of its edges covered by each element of $X$.
2) If $H$ is totally balanced then for every $0 < a^* < a(H)$, almost surely $G \sim {\vec G}(n,n^{-1/a^*})$ has a single directed acyclic subgraph that covers all its $H$-copies.
As for the first result, note that if $h=o(m)$ then $s(H)=(1+o_m(1))m/2$ is about half of the edges of $H$. In fact, for infinitely many $H$ it holds that $s(H)=m/2$, optimally. As for the second result, the requirement that $H$ is totally balanced cannot, generally, be relaxed.
The distance to the border of a random tree
Given a Galton-Watson process conditioned to have total progeny equal to $n$, we study the asymptotic probability that this conditioned Galton-Watson process has distance to the border bigger or equal than $k$, as the number of nodes $n \rightarrow \infty$.
A problem which is akin to this one was solved by Rényi and Szekeres for Cayley trees, de Bruijn, Knuth, and Rice for plane trees and Flajolet, Gao, Odlyzko, and Richmond for binary trees. The distance to the border is dual, in a certain sense, to the height. The first of these distances is the minimum of the distances from the root to the leaves. The second is the maximum of the distances from the root to the leaves. These are two extreme complementary cases.
Last Car Decomposition of Planar Maps
Published
• View Publication
• BIB
We give new equations which characterize the generating functions of planar quadrangulations and planar triangulations, with zero, one or two boundaries. The proof is inspired by the Lackner--Panholzer last car decomposition of parking trees (arXiv:1504.04972) and consists in applying a similar decomposition to the peeling trees of planar maps.
The MST-fan of a regular subdivision
The dual graph $Γ(h)$ of a regular triangulation $Σ(h)$ carries a natural metric structure. The minimum spanning trees of $Γ(h)$ recently proved to be conclusive for detecting significant data signal in the context of population genetics. In this paper we prove that the parameter space of such minimum spanning trees is organized as a polyhedral fan, called the MST-fan of $Σ(h)$, which subdivides the secondary cone of $Σ(h)$ into parameter cones. We partially describe its local face structure and examine the connection to tropical geometry in virtue of matroids and Bergman fans.
The normalized Laplacian spectrum of $n$-polygon graphs and its applications
Published in Linear and Multilinear Algebra, 2022
• View Publication
• BIB
Given an arbitrary connected $G$, the $n$-polygon graph $τ_n(G)$ is obtained by adding a path with length $n$ $(n\geq 2)$ to each edge of graph $G$, and the iterated $n$-polygon graphs $τ_n^g(G)$ ($g\geq 0$), is obtained from the iteration $τ_n^g(G)=τ_n(τ_n^{g-1}(G))$, with initial condition $τ_n^0(G)=G$. In this paper, a method for calculating the eigenvalues of normalized Laplacian matrix for graph $τ_n(G)$ is presented if the eigenvalues of normalized Laplacian matrix for graph $G$ is given firstly. Then, the normalized Laplacian spectrums for the graph $τ_n(G)$ and the graphs $τ_n^g(G)$ ($g\geq 0$) can also be derived. Finally, as applications, we calculate the multiplicative degree-Kirchhoff index, Kemeny's constant and the number of spanning trees for the graph $τ_n(G)$ and the graphs $τ_n^g(G)$ by exploring their connections with the normalized Laplacian spectrum, exact results for these quantities are obtained.
Line Planning in Public Transport: Bypassing Line Pool Generation
Line planning, i.e. choosing paths which are operated by one vehicle end-to-end, is an important aspect of public transport planning. While there exists heuristic procedures for generating lines from scratch, most theoretical observations consider the problem of choosing lines from a predefined line pool. In this paper, we consider the complexity of the line planning problem when all simple paths can be used as lines. Depending on the cost structure, we show that the problem can be NP-hard even for paths and stars and that no polynomial time approximation of sub-linear performance is possible. Additionally, we identify polynomially solvable cases and present a pseudo-polynomial solution approach for trees.