tree
6861 papers tagged with this keyword
The degree and codegree threshold for generalized triangle and some trees covering
Published
• View Publication
• BIB
Given two $k$-uniform hypergraphs $F$ and $G$, we say that $G$ has an $F$-covering if for every vertex in $G$ there is a copy of $F$ covering it. For $1\leq i\leq k-1$, the minimum $i$-degree $δ_i(G)$ of $G$ is the minimum integer such that every $i$ vertices are contained in at least $δ_i(G)$ edges. Let $c_i(n,F)$ be the largest minimum $i$-degree among all $n$-vertex $k$-uniform hypergraphs that have no $F$-covering. In this paper, we consider the $F$-covering problem in $3$-uniform hypergraphs when $F$ is the generalized triangle $T$, where $T$ is a $3$-uniform hypergraph with the vertex set $\{v_1,v_2,v_3,v_4,v_5\}$ and the edge set $\{\{v_{1}v_{2}v_{3}\},\{v_{1}v_{2}v_{4}\},\{v_{3}v_{4}v_{5}\}\}$. We give the exact value of $c_2(n,T)$ and asymptotically determine $c_1(n,T)$. We also consider the $F$-covering problem in $3$-uniform hypergraphs when $F$ are some trees, such as the linear $k$-path $P_k$ and the star $S_k$. Especially, we provide bounds of $c_i(n,P_k)$ and $c_i(n,S_k)$ for $k\geq 3$, where $i=1,2$.
On the maximal Sombor index of quasi-tree graphs
The Sombor index $SO(G)$ of a graph $G$ is the sum of the edge weights $\sqrt{d^2_G(u)+d^2_G(v)}$ of all edges $uv$ of $G$, where $d_G(u)$ denotes the degree of the vertex $u$ in $G$. A connected graph $G = (V ,E)$ is called a quasi-tree, if there exists $u\in V (G)$ such that $G-u$ is a tree. Denote $\mathscr{Q}(n,k)$=\{$G$: $G$ is a quasi-tree graph of order $n$ with $G-u$ being a tree and $d_G(u)=k$\}. In this paper, we determined the maximum, the second maximum and the third maximum Sombor indices of all quasi-tree graphs in $\mathscr{Q}(n,k)$, respectively. Moreover, we characterized their corresponding extremal graphs, respectively.
Proof of an explicit formula for a series from Ramanujan's Notebooks via tree functions
Published
• View Publication
• BIB
We prove a recent conjecture, due to Vigren and Dieckmann, about an explicit triple sum formula for a series from Ramanujan's Notebooks. We shall give two proofs: the first one is by evaluation and based on the identity \begin{equation*}
\sum_{k=0}^\infty \frac{(x+k)^{m+k}}{k!}e^{-u(x+k)} u^k
= \sum_{j=0}^\infty \sum_{i=0}^{m}\binom{m+j}{i}
\stirl{m+j-i}{j}x^iu^j, \end{equation*} where $\genfrac\{\}{0pt}{}{n}{k}$ is a Stirling number of the second kind, and the second one is combinatorial in nature and by induction.
Words for the Graphs with Permutation-Representation Number at most Three
The graphs with permutation-representation number (\textit{prn}) at most two are known. While a characterization for the class of graphs with the \textit{prn} at most three is an open problem, we summarize the graphs of this class that are known so far. Although it is known that the \textit{prn} of trees is at most three, in this work, we devise a polynomial-time algorithm for obtaining a word representing a given tree permutationally. Consequently, we determine the words representing even cycles. Contributing to the class of graphs with the \textit{prn} at most three, we determine the \textit{prn} as well as the representation number of book graphs.
Spanning trees in the square of pseudorandom graphs
We show that for every $Δ\in\mathbb N$, there exists a constant $C$ such that if $G$ is an $(n,d,λ)$-graph with $d/λ\ge C$ and $d$ is large enough, then $G^2$ contains every $n$-vertex tree with maximum degree bounded by $Δ$. This answers a question of Krivelevich.
Visualizing Geophylogenies -- Internal and External Labeling with Phylogenetic Tree Constraints
Published in Journal of Graph Algorithms and Applications vol. 29, no. 1, pp. 29-61 (2025)
• View Publication
• BIB
A geophylogeny is a phylogenetic tree (or dendrogram) where each leaf (e.g. biological taxon) has an associated geographic location (site). To clearly visualize a geophylogeny, the tree is typically represented as a crossing-free drawing next to a map. The correspondence between the taxa and the sites is either shown with matching labels on the map (internal labeling) or with leaders that connect each site to the corresponding leaf of the tree (external labeling). In both cases, a good order of the leaves is paramount for understanding the association between sites and taxa. We define several quality measures for internal labeling and give an efficient algorithm for optimizing them. In contrast, minimizing the number of leader crossings in an external labeling is NP-hard. On the positive side, we show that crossing-free instances can be solved in polynomial time and give a fixed-parameter tractable (FPT) algorithm. Furthermore, optimal solutions can be found in a matter of seconds on realistic instances using integer linear programming. Finally, we provide several efficient heuristic algorithms and experimentally show them to be near optimal on real-world and synthetic instances.
Coagulation, non-associative algebras and binary trees
Published
• View Publication
• BIB
We consider the classical Smoluchowski coagulation equation with a general frequency kernel. We show that there exists a natural deterministic solution expansion in the non-associative algebra generated by the convolution product of the coalescence term. The non-associative solution expansion is equivalently represented by binary trees. We demonstrate that the existence of such solutions corresponds to establishing the compatibility of two binary-tree generating procedures, by: (i) grafting together the roots of all pairs of order-compatibile trees at preceding orders, or (ii) attaching binary branches to all free branches of trees at the previous order. We then show that the solution represents a linearised flow, and also establish a new numerical simulation method based on truncation of the solution tree expansion and approximating the integral terms at each order by fast Fourier transform. In particular, for general separable frequency kernels, the complexity of the method is linear-loglinear in the number of spatial modes/nodes.
Fulkerson duality for modulus of spanning trees and partitions
Published
• View Publication
• BIB
One of the main properties of modulus on graphs is Fulkerson duality. In this paper, we study Fulkerson duality for spanning tree modulus. We introduce a new notion of Beurling partition, and we identify two important ones, which correspond to the notion of strength and maximum denseness of an arbitrary graph. These special partitions, also give rise to two deflation processes that reveal a hierarchical structure for general graphs. While Fulkerson duality for spanning tree families can be deduced from a well-known result in combinatorics due to Chopra, we give an alternative approach based on a result of Nash-Williams and Tutte. Finally, we introduce the weighted variant of spanning tree modulus.
On a relationship between the characteristic and matching polynomials of a uniform hypertree
Published
• View Publication
• BIB
A hypertree is a connected hypergraph without cycles. Further a hypertree is called an $r$-tree if, additionally, it is $r$-uniform. Note that 2-trees are just ordinary trees. A classical result states that for any 2-tree $T$ with characteristic polynomial $φ_T(λ)$ and matching polynomial $\varphi_T(λ)$, then $φ_T(λ)=\varphi_T(λ).$ More generally, suppose $\mathcal{T}$ is an $r$-tree of size $m$ with $r\geq2$. In this paper, we extend the above classical relationship to $r$-trees and establish that \[ φ_{\mathcal{T}}(λ)=\prod_{H \sqsubseteq \mathcal{T}}\varphi_{H}(λ)^{a_{H}}, \] where the product is over all connected subgraphs $H$ of $\mathcal{T}$, and the exponent $a_{H}$ of the factor $\varphi_{H}(λ)$ can be written as \[ a_H=b^{m-e(H)-|\partial(H)|}c^{e(H)}(b-c)^{|\partial(H)|},
\] where $e(H)$ is the size of $H$, $\partial(H)$ is the boundary of $H$, and $b=(r-1)^{r-1}, c=r^{r-2}$. In particular, for $r=2$, the above correspondence reduces to the classical result for ordinary trees. In addition, we resolve a conjecture by Clark-Cooper [{\em Electron. J. Combin.}, 2018] and show that for any subgraph $H$ of an $r$-tree $\mathcal{T}$ with $r\geq3$, $\varphi_H(λ)$ divides $φ_{\mathcal{T}}(λ)$, and additionally $φ_H(λ)$ divides $φ_{\mathcal{T}}(λ)$, if either $r\geq 4$ or $H$ is connected when $r=3$. Moreover, a counterexample is given for the case when $H$ is a disconnected subgraph of a 3-tree.
Extremal Bounds on Peripherality Measures
We investigate several measures of peripherality for vertices and edges in networks. We improve asymptotic bounds on the maximum value achieved by edge peripherality, edge sum peripherality, and the Trinajstić index over $n$ vertex graphs. We also prove similar results on the maxima over $n$-vertex bipartite graphs, trees, and graphs with a fixed diameter. Finally, we refute two conjectures of Furtula, the first on necessary conditions for minimizing the Trinajstić index and the second about maximizing the Trinajstić index.
On a particular specialization of monomial symmetric functions
Let $m_{λ}$ be the monomial symmetric functions, $ λ$ being an integer partition of $n\in \mathbb{N}^{\ast }$. For the specialization corresponding to the $q$-deformation of the exponential, we prove that each $m_{λ}$ is associated with a polynomial $J_{λ}\left( q\right) $ whose coefficients belong to $\mathbb{Z}$. $J_{λ}$ is a generalization of the case $λ=\left( n\right) $ for which $ J_{\left( n\right) }=J_{n}$ is the enumerator of tree inversions. Some relations between $J_{λ}$ and $J_{n}^{\left( r\right) }$ are obtained, these $J_{n}^{\left( r\right) }$ having been defined algebraically in a previous work of the author for $n\geq r\geq 1$ and being classically combinatorial enumerators with $J_{n}^{\left( 1\right) }=J_{n}$. From the calculation by induction of $J_{λ}$ for $n\leq 6$, we conjecture that the coefficients of each $J_{λ}$ are strictly positive and log-concave. As a consequence of Huh's Theorem on the $h$-vector of matroid complex it is shown that the coefficients of $J_{n}^{\left( r\right) }$ are strictly positive and log-concave, which gives a second argument in favor of these conjectures. It is also proven that the last $n-1$ coefficients of $ J_{λ}$ are proportional to the first coefficients of column $n-r-1$ of Pascal's triangle, $r$ being the length of $λ$. This is a third argument to state the conjectures. The calculation of $J_{\left( 3,2,1\right) }$ shows the existence of an obstacle, if one wants to prove the conjectures by application of Huh's theorem cited above.
Quadratic embedding constants of graphs: Bounds and distance spectra
Published
• View Publication
• BIB
The quadratic embedding constant (QEC) of a finite, simple, connected graph $G$ is the maximum of the quadratic form of the distance matrix of $G$ on the subset of the unit sphere orthogonal to the all-ones vector. The study of these QECs was motivated by the classical work of Schoenberg on quadratic embedding of metric spaces [Ann. of Math., 1935] and [Trans. Amer. Math. Soc., 1938]. In this article, we provide sharp upper and lower bounds for the QEC of trees. We next explore the relation between distance spectra and quadratic embedding constants of graphs - and show two further results: $(i)$ We show that the quadratic embedding constant of a graph is zero if and only if its second largest distance eigenvalue is zero. $(ii)$ We identify a new subclass of nonsingular graphs whose QEC is the second largest distance eigenvalue. Finally, we show that the QEC of the cluster of an arbitrary graph $G$ with either a complete or star graph can be computed in terms of the QEC of $G$. As an application of this result, we provide new families of examples of graphs of QE class.
A subfamily of skew Dyck paths related to $k$-ary trees
Published in Journal of Integer Sequences 27: Article 24.2.4, 22 pp., 2024
• Search Publication
We introduce a subfamily of skew Dyck paths called box paths and show that they are in bijection with pairs of ternary trees, confirming an observation stated previously on the On-Line Encyclopedia of Integer Sequences. More generally, we define $k$-box paths, which are in bijection with $(k+1)$-tuples of $(k+2)$-ary trees. A bijection is given between $k$-box paths and a subfamily of $k_{t}$-Dyck paths, as well as a bijection with a subfamily of $(k,\ell)$-threshold sequences. We also study the refined enumeration of $k$-box paths by the number of returns and the number of long ascents. Notably, the distribution of long ascents over $k$-box paths generalizes the Narayana distribution on Dyck paths, and we find that $(k-3)$-box paths with exactly two long ascents provide a combinatorial model for the second $k$-gonal numbers.
Randomly perturbed digraphs also have bounded-degree spanning trees
Published
• View Publication
• BIB
We show that a randomly perturbed digraph, where we start with a dense digraph $D_α$ and add a small number of random edges to it, will typically contain a fixed orientation of a bounded degree spanning tree. This answers a question posed by Araujo, Balogh, Krueger, Piga and Treglown and generalizes the corresponding result for randomly perturbed graphs by Krivelevich, Kwan and Sudakov. More specifically, we prove that there exists a constant $c = c(α, Δ)$ such that if $T$ is an oriented tree with maximum degree $Δ$ and $D_α$ is an $n$-vertex digraph with minimum semidegree $αn$, then the graph obtained by adding $cn$ uniformly random edges to $D_α$ will contain $T$ with high probability.
Castling tree of tight Dyck nests with applications to odd and middle-levels graphs
Published
• View Publication
• BIB
A subfamily of Dyck words called tight Dyck words is seen to correspond, via a "castling" procedure, to the vertex set of an ordered tree $T$. From $T$, a "blowing" operation recreates the whole family ol Dyck words. The vertices of $T$ can be elementarily updated all along $T$. This simplifies an edge-supplementary arc-factorization view of Hamilton cycles of odd and middle-levels graphs found by T. Mütze et al. This take into account that the Dyck words represent: {\bf(a)} the cyclic and dihedral vertex classes of odd and middle-levels graphs, respectively, and {\bf(b)} the cycles of their 2-factors, as found by T. Mütze et al.
On the seeds and the great-grandchildren of a numerical semigroup
Published
• View Publication
• BIB
We present a revisit of the seeds algorithm to explore the semigroup tree. First, an equivalent definition of seed is presented, which seems easier to manage. Second, we determine the seeds of semigroups with at most three left elements. And third, we find the great-grandchildren of any numerical semigroup in terms of its seeds. The RGD algorithm is the fastest known algorithm at the moment. But if one compares the originary seeds algorithm with the RGD algorithm, one observes that the seeds algorithm uses more elaborated mathematical tools while the RGD algorithm uses data structures that are better adapted to the final C implementations. For genera up to around one half of the maximum size of native integers, the newly defined seeds algorithm performs significantly better than the RGD algorithm. For future compilators allowing larger native sized integers this may constitute a powerful tool to explore the semigroup tree up to genera never explored before. The new seeds algorithm uses bitwise integer operations, the knowledge of the seeds of semigroups with at most three left elements and of the great-grandchildren of any numerical semigroup, apart from techniques such as parallelization and depth first search as wisely introduced in this context by Fromentin and Hivert. The algorithm has been used to prove that there are no Eliahou semigroups of genus $66$, hence proving the Wilf conjecture for genus up to $66$. We also found three Eliahou semigroups of genus $67$. One of these semigroups is neither of Eliahou-Fromentin type, nor of Delgado's type. However, it is a member of a new family suggested by Shalom Eliahou.
Enumeration of maximum matchings of graphs
Published
• View Publication
• BIB
Counting maximum matchings in a graph is of great interest in statistical mechanics,
solid-state chemistry, theoretical computer science, mathematics, among other disciplines. However, it is a challengeable problem to explicitly determine the number of maximum matchings of general graphs. In this paper, using Gallai-Edmonds structure theorem, we derive a computing formula for the number of maximum matching in a graph. According to the formula, we obtain an algorithm to enumerate maximum matchings of a graph. In particular, The formula implies that computing the number of maximum matchings of a graph is converted to compute the number of perfect matchings of some induced subgraphs of the graph. As an application, we calculate the number of maximum matchings of opt trees. The result extends a conclusion obtained by Heuberger and Wagner[C. Heuberger, S. Wagner, The number of maximum matchings in a tree, Discrete Math. 311 (2011) 2512--2542].
Bounded diameter tree-decompositions
Published
• View Publication
• BIB
When does a graph admit a tree-decomposition in which every bag has small diameter? For finite graphs, this is a property of interest in algorithmic graph theory, where it is called having bounded ``tree-length''. We will show that this is equivalent to being ``boundedly quasi-isometric to a tree'', which for infinite graphs is a much-studied property from metric geometry. One object of this paper is to tie these two areas together. We will prove that there is a tree-decomposition in which each bag has small diameter, if and only if there is a map $φ$ from $V(G)$ into the vertex set of a tree $T$, such that for all $u,v\in V(G)$, the distances $d_G(u,v), d_T(φ(u),φ(v))$ differ by at most a constant.
A ``geodesic loaded cycle'' in $G$ is a pair $(C,F)$, where $C$ is a cycle of $G$ and $F\subseteq E(C)$, such that for every pair $u,v$ of vertices of $C$, one of the paths of $C$ between $u,v$ contains at most $d_G(u,v)$ $F$-edges, where $d_G(u,v)$ is the distance between $u,v$ in $G$. We will show that a graph $G$ admits a tree-decomposition in which every bag has small diameter, if and only if $|F|$ is small for every geodesic loaded cycle $(C,F)$. Our proof is an extension of an algorithm to approximate tree-length in finite graphs by Dourisboure and Gavoille.
In metric geometry, there is a similar theorem that characterizes when a graph is quasi-isometric to a tree, ``Manning's bottleneck criterion''. The goal of this paper is to tie all these concepts together, and add a few more related ideas. For instance, we prove a conjecture of Rose McCarty, that $G$ admits a tree-decomposition in which every bag has small diameter, if and only if for all vertices $u,v,w$ of $G$, some ball of small radius meets every path joining two of $u,v,w$.
Extrema of local mean and local density in a tree
Published
• View Publication
• BIB
Given a tree T, one can define the local mean at some subtree S to be the average order of subtrees containing S. It is natural to ask which subtree of order k achieves the maximal/minimal local mean among all the subtrees of the same order and what properties it has. We call such subtrees k-maximal subtrees. Wagner and Wang showed in 2016 that a 1- maximal subtree is a vertex of degree 1 or 2. This paper shows that for any integer k = 1, . . . , |T| , a k-maximal subtree has at most one leaf whose degree is greater than 2 and at least one leaf whose degree is at most 2. Furthermore, we show that a k-maximal subtree has a leaf of degree greater than 2 only when all its other leaves are leaves in T as well. In the second part, this paper introduces the local density as a normalization of local means, for the sake of comparing subtrees of different orders, and shows that the local density at subtree S is lower-bounded by 1/2 with equality if and only if S contains the core of T. On the other hand, local density can be arbitrarily close to 1.
A telescopic proof of Cayley's formula
Published
• View Publication
• BIB
We give a short proof of the fact that the number of labelled trees on $n$ vertices is $n^{n-2}$. Although many short proofs are known, we have not seen this one before.