tree
6737 papers tagged with this keyword
Parking trees and the toric g-vector of nestohedra
We express the toric g-vector entries of any simple polytope as a nonnegative integer linear combination of its gamma-vector entries. Using this expression we obtain that the toric g-vector of the associahedron is the ascent statistic of 123-avoiding parking functions. An analogous result holds for the cyclohedron and 123-avoiding functions. We prove that the toric g-vector of the permutahedron records the ascent statistics of parking trees representing 123-avoiding parking functions. We indicate how our approach extends to all chordal nestohedra.
Tropicalization and cluster asymptotic phenomenon of generalized Markov equations
The generalized Markov equations are deeply connected with the generalized cluster algebras of Markov type. We construct a deformed Fock-Goncharov tropicalization for the generalized Markov equations and prove that their tropicalized tree structure is essentially the same as that of the classical Euclid tree. We then define the generalized Euclid tree and prove that it converges to the classical Euclid tree up to a scalar multiple. Moreover, by means of cluster mutations, we exhibit an asymptotic phenomenon, up to some limit q, between the logarithmic generalized Markov tree and the classical Euclid tree. A rationality conjecture of q is then put forward. We also propose a generalized Markov uniqueness conjecture for the generalized Markov equations, which illustrates an application of the asymptotic phenomenon.
Counterexamples to statements on isometric graph coverings
A connected subgraph of a graph is isometric if it preserves distances. In this short note, we provide counterexamples to several variants of the following general question: When a graph $G$ is edge covered by connected isometric subgraphs $H_1,\dots,H_k$, which properties of $G$ can we infer from properties of $H_1,\dots,H_k$? For example, Dumas, Foucaud, Perez and Todinca (SIDMA, 2024) proved that when $H_1,\dots,H_k$ are paths, then the pathwidth of $G$ is bounded in terms of $k$. Among others, we show that there are graphs of arbitrarily large treewidth that can be isometrically edge covered by four trees.
Characterizations of undirected 2-quasi best match graphs
Bipartite best match graphs (BMG) and their generalizations arise in mathematical phylogenetics as combinatorial models describing evolutionary relationships among related genes in a pair of species. In this work, we characterize the class of \emph{undirected 2-quasi-BMGs} (un2qBMGs), which form a proper subclass of the $P_6$-free chordal bipartite graphs. We show that un2qBMGs are exactly the class of bipartite graphs free of $P_6$, $C_6$, and the eight-vertex Sunlet$_4$ graph. Equivalently, a bipartite graph $G$ is un2qBMG if and only if every connected induced subgraph contains a ``heart-vertex'' which is adjacent to all the vertices of the opposite color. We further provide a $O(|V(G)|^3)$ algorithm for the recognition of un2qBMGs that, in the affirmative case, constructs a labeled rooted tree that ``explains'' $G$. Finally, since un2qBMGs coincide with the $(P_6,C_6)$-free bi-cographs, they can also be recognized in linear time.
Induced matching treewidth and tree-independence number, revisited
We study two graph parameters defined via tree decompositions: tree-independence number and induced matching treewidth. Both parameters are defined similarly as treewidth, but with respect to different measures of a tree decomposition $\mathcal{T}$ of a graph $G$: for tree-independence number, the measure is the maximum size of an independent set in $G$ included in some bag of $\mathcal{T}$, while for the induced matching treewidth, the measure is the maximum size of an induced matching in $G$ such that some bag of $\mathcal{T}$ contains at least one endpoint of every edge of the matching.
While the induced matching treewidth of any graph is bounded from above by its tree-independence number, the family of complete bipartite graphs shows that small induced matching treewidth does not imply small tree-independence number. On the other hand, Abrishami, Briański, Czyżewska, McCarty, Milanič, Rzążewski, and Walczak~[SIAM Journal on Discrete Mathematics, 2025] showed that, if a fixed biclique $K_{t,t}$ is excluded as an induced subgraph, then the tree-independence number is bounded from above by some function of the induced matching treewidth. The function resulting from their proof is exponential even for fixed $t$, as it relies on multiple applications of Ramsey's theorem. In this note we show, using the Kövári-Sós-Turán theorem, that for any class of $K_{t,t}$-free graphs, the two parameters are in fact polynomially related.
A combinatorial interpretation for certain plethysm and Kronecker coefficients
We give explicit positive combinatorial interpretations for the plethysm coefficients $\langle s_μ[s_ν], s_λ\rangle$, when $λ$ has at most two rows, as counting certain marked trees. In the special case $μ=(n)$, this also yields a combinatorial interpretation for the corresponding rectangular Kronecker coefficient $g(λ, (n^k), (n^k))$. While it is easy to express these quantities as differences of counting problems in the complexity class $\mathrm{FP}$, putting the problem in $\#\mathrm{P}$, our interpretations give a positive counting formula over explicit marked trees.
Quasi-majority neighbor sum distinguishing edge-colorings
In this paper, a $k$-edge-coloring of $G$ is any mapping $c:E(G)\longrightarrow [k]$. The edge-coloring $c$ of $G$ naturally defines a vertex-coloring $σ_{c}: V(G) \to \mathbb{N}$, where $σ_{c}(v)=\sum_{u\in N_G(v)}c(vu)$ for every vertex $v\in V(G)$. The edge-coloring $c$ is said to be neighbor sum distinguishing if it results in a proper vertex-coloring $σ_{c}$, which that $σ_{c}(u) \neq σ_{c}(v)$ for every edge $uv$ in $G$.
We investigate neighbor sum distinguishing edge-colorings with local constraints, where the edge-coloring is quasi-majority at each vertex. Specifically, every vertex $v$ is incident to at most $\left\lceil d(v)/2 \right\rceil$ edges of one color. This type of coloring is referred to as quasi-majority neighbor sum distinguishing edge-coloring. The minimum number of colors required for a graph to have a quasi-majority neighbor sum distinguishing edge-coloring is called the quasi-majority neighbor sum distinguishing index. A graph is nice if it has no component isomorphic to $K_2$. We prove that any nice graph admits a quasi-majority neighbor sum distinguishing edge-coloring using at most 12 colors. This bound can be improved for bipartite graphs and graphs with a maximum degree of at most 4. Specifically, we show that every nice bipartite graph can be colored with 6 colors, and every nice graph with a maximum degree of at most 4 can be colored with 7 colors. Additionally, we determine the exact value of the quasi-majority neighbor sum distinguishing index for complete graphs, complete bipartite graphs, and trees.
We also consider majority neighbor sum distinguishing edge-colorings, that is, when each vertex is incident to at most $d(v)/2$ edges with the same color.
Multiple breaks of log-concavity in the independence polynomials of trees
We construct infinite families of trees whose independence polynomials violate log-concavity at an arbitrary number of indices. This affirmatively answers a question of D. Galvin.
Sharp Fuss-Catalan thresholds in graph bootstrap percolation
We study graph bootstrap percolation on the Erdős-Rényi random graph ${\mathcal G}_{n,p}$. For all $r \ge 5$, we locate the sharp $K_r$-percolation threshold $p_c \sim (γn)^{-1/λ}$, solving a problem of Balogh, Bollobás and Morris. The case $r=3$ is the classical graph connectivity threshold, and the threshold for $r=4$ was found using strong connections with the well-studied $2$-neighbor dynamics from statistical physics. When $r \ge 5$, such connections break down, and the process exhibits much richer behavior. The constants $λ=λ(r)$ and $γ=γ(r)$ in $p_c$ are determined by a class of $\left({r\choose2}-1\right)$-ary tree-like graphs, which we call $K_r$-tree witness graphs. These graphs are associated with the most efficient ways of adding a new edge in the $K_r$-dynamics, and they can be counted using the Fuss-Catalan numbers. Also, in the subcritical setting, we determine the asymptotic number of edges added to ${\mathcal G}_{n,p}$, showing that the edge density increases only by a constant factor, whose value we identify.
Generalizing matrix representations to fully heterochronous ranked tree shapes
Phylogenetic tree shapes capture fundamental signatures of evolution. We consider ``ranked'' tree shapes, which are equipped with a total order on the internal nodes compatible with the tree graph. Recent work has established an elegant bijection of ranked tree shapes and a class of integer matrices, called \textbf{F}-matrices, defined by simple inequalities. This formulation is for isochronous ranked tree shapes, where all leaves share the same sampling time, such as in the study of ancient human demography from present-day individuals. Another important style of phylogenetics concerns trees where the ``timing'' of events is by branch length rather than calendar time. This style of tree, called a rooted phylogram, is output by popular maximum-likelihood methods. These trees are broadly relevant, such as to study the affinity maturation of B cells in the immune system. Discretizing time in a rooted phylogram gives a fully heterochronous ranked tree shape, where leaves are part of the total order. Here we extend the \textbf{F}-matrix framework to such fully heterochronous ranked tree shapes. We establish an explicit bijection between a class of \textbf{F}-matrices and the space of such tree shapes. The matrix representation has the key feature that values at any entry are highly constrained via four previous entries, enabling straightforward enumeration of all valid tree shapes. We also use this framework to develop probabilistic models on ranked tree shapes. Our work extends understanding of combinatorial objects that have a rich history in the literature.
Random Walks and the Best Meeting Time for Trees
We consider random walks on a tree $G=(V,E)$ with stationary distribution $π_v = \mathrm{deg}(v)/2|E|$ for $v \in V$. Let the hitting time $H(v,w)$ denote the expected number of steps required for the random walk started at vertex $v$ to reach vertex $w$. We characterize the extremal tree structures for the best meeting time $T_{\mathrm{bestmeet}}(G) = \min_{w \in V} \sum_{v \in V} π_v H(v,w)$ for trees of order $n$ with diameter $d$. The best meeting time is maximized by the balanced double broom graph, and it is minimized by the balanced lever graph.
A model of trees for 5-connected planar triangulations
Triangulations of the 5-gon with no separating triangle nor quadrangle, so called 5c-triangulations, are a planar map family closely related to 5-connected planar triangulations. We show that 5c-triangulations are in bijection with 5-regular plane trees satisfying a simple local constraint at inner edges. It yields explicit expressions for the generating functions of rooted 5c-triangulations, and of rooted 5-connected planar triangulations with root-vertex degree 5, these belonging to the same algebraic extension as the generating function of rooted 5-connected planar triangulations computed by Gao, Wanless and Wormald. The bijection also makes it possible to obtain efficient uniform random generation and succinct encoding procedures for 5-connected planar triangulations.
Expected Length of the Euclidean Minimum Spanning Tree and 1-norms of Chromatic Persistence Diagrams in the Plane
Let $c$ be the constant such that the expected length of the Euclidean minimum spanning tree of $n$ random points in the unit square is $c \sqrt{n}$ in the limit, when $n$ goes to infinity. We improve the prior best lower bound of $0.6008 \leq c$ by Avram and Bertsimas to $0.6289 \leq c$. The proof is a by-product of studying the persistent homology of randomly $2$-colored point sets. Specifically, we consider the filtration induced by the inclusions of the two mono-chromatic sublevel sets of the Euclidean distance function into the bi-chromatic sublevel set of that function. Assigning colors randomly, and with equal probability, we show that the expected $1$-norm of each chromatic persistence diagram is a constant times $\sqrt{n}$ in the limit, and we determine the constant in terms of $c$ and another constant, $c_L$, which arises for a novel type of Euclidean minimum spanning tree of $2$-colored point sets.
On Hyperbolic Sombor index of graphs
The Hyperbolic Sombor index $HSO(G)$ of a graph $G$ is defined as \begin{align*} HSO(G) = \sum_{v_iv_j \in E(G)} \frac{\sqrt{d_i^{2}+d_j^{2}}}{\min\{d_i,d_j\}}, \end{align*} where $d_i$ and $d_j$ denote the degrees of the vertices $v_i$ and $v_j$, respectively. This index was recently introduced by Barman et al. [Geometric approach to degree-based topological index: Hyperbolic Sombor index, MATCH Commun. Math. Comput. Chem. 95 (2026) 63-94], who explored some of its mathematical properties and applications. However, their work contains several inaccuracies that require correction. In this paper, we first identify and rectify the errors found in the earlier study. We then extend the investigation by establishing new mathematical results for the Hyperbolic Sombor index across various classes of graphs, including trees, unicyclic graphs, and bicyclic graphs. In addition, we derive some lower and upper bounds for $HSO(G)$ in terms of the number of edges, maximum degree and minimum degree, and we characterize the graphs that attain these bounds. Finally, we conclude the paper by outlining potential directions for future research in this emerging area.
On the average size of $1$-nearly independent vertex sets in graphs
A $k$-nearly independent vertex subset of a graph $G$ is a set of vertices that induces a subgraph containing exactly $k$ edges. For $k = 0$, this coincides with the classical notion of independent subsets. This paper investigates the average size, $av_1(G)$ of the $1$-nearly independent vertex subsets of both graphs and trees of a given order $n$.
Let $E_n$ denote the $n$-vertex edgeless graph, so that $av_1(E_n) = 0$. We determine all $n$-vertex graphs $G\neq E_n$ that minimize or maximize $av_1$. Similarly, we identify the trees of order $n$ that achieve the minimum value of $av_1$, and prove that the maximum value lies between $n/2$ and $(n+1)/2$ if $n>8$. Finally, we construct a family of $n$-vertex trees which shows that the bounds are asymptotically sharp.
Partitions of complete twisted graphs into plane spanning trees
Published in Discrete and Computational Geometry, Graphs, and Games. JCDCGGG 2022. Lecture Notes in Computer Science, vol 14364, 210 - 218
• View Publication
• BIB
We characterize all partitions of the complete twisted graph $T_{2n}$ into plane spanning trees. In the case of partitions of $T_{2n}$ into isomorphic plane spanning trees, we show that all trees in these partitions must be balanced double stars. As a consequence of our results, any complete topological graph with $n$ vertices contains a complete topological subgraph with $m \geq c\log^{1/8} n$ vertices that admits a partition into plane spanning trees.
Two $t$-analogues of the tree inversion enumerator
In this note, we introduce two $t$-analogues $I_n(q,t)$ and $\widetilde{I}_n(q,t)$ of the tree inversion enumerator $I_n(q)$. Although similar, $I_n(q,t)$ and $\widetilde{I}_n(q,t)$ are different. But they both seem to have interesting properties. In particular, we conjecture that their $q=-1$ specializations give two different, natural refinements of the zigzag numbers counting alternating permutations.
Labeling and folding multi-labeled trees
In 1989 Erdős and Székely showed that there is a bijection between (i) the set of rooted trees with $n+1$ vertices whose leaves are bijectively labeled with the elements of $[\ell]=\{1,2,\dots,\ell\}$ for some $\ell \leq n$, and (ii) the set of partitions of $[n]=\{1,2,\dots,n\}$. They established this via a labeling algorithm based on the anti-lexicographic ordering of non-empty subsets of $[n]$ which extends the labeling of the leaves of a given tree to a labeling of all of the vertices of that tree. In this paper, we generalize their approach by developing a labeling algorithm for multi-labeled trees, that is, rooted trees whose leaves are labeled by positive integers but in which distinct leaves may have the same label. In particular, we show that certain orderings of the set of all finite, non-empty multisets of positive integers can be used to characterize partitions of a multiset that arise from labelings of multi-labeled trees. As an application, we show that the recently introduced class of labelable phylogenetic networks is precisely the class of phylogenetic networks that are stable relative to the so-called folding process on multi-labeled trees. We also give a bijection between the labelable phylogenetic networks with leaf-set $[n]$ and certain partitions of multisets.
Laplacian Spectrum and Domination in Trees
For a finite simple undirected graph $G$, let $γ(G)$ denote the size of a smallest dominating set of $G$ and $μ(G)$ denote the number of eigenvalues of the Laplacian matrix of $G$ in the interval $[0,1)$, counting multiplicities. Hedetniemi, Jacobs and Trevisan [Eur. J. Comb. 2016] showed that for any graph $G$, $μ(G) \leqslant γ(G)$. Cardoso, Jacobs and Trevisan [Graphs Combin. 2017] asks whether the ratio $γ(T)/μ(T)$ is bounded by a constant for all trees $T$. We answer this question by showing that this ratio is less than $4/3$ for every tree. We establish the optimality of this bound by constructing an infinite family of trees where this ratio approaches $4/3$. We also improve this upper bound for trees in which all the vertices other than leaves and their parents have degree at least $k$, for every $k \geqslant 3$. We show that, for such trees $T$, $γ(T)/μ(T) < 1 + 1/((k-2)(k+1))$.
On better-quasi-ordering under graph minors
In the aftermath of the Robertson--Seymour Graph Minor Theorem, Thomas conjectured that the countable graphs are well-quasi-ordered under the minor relation. We prove that this conjecture, when restricted to graphs with no infinite paths (rays), is equivalent to the statement that the finite graphs are better-quasi-ordered, another well-known open problem. Even more, we prove that the latter implies that the countable rayless graphs are better-quasi-ordered.
We prove several other statements to be equivalent to the above, one of which being that the rayless countable graphs of rank $α$ can be decomposed into exactly $\aleph_0$ minor-twin classes for every ordinal $α<ω_1$.
By restricting the latter statement to trees, and combining it with Nash-Williams' theorem that the infinite trees are well-quasi-ordered, we deduce as a side result that a minor-closed family of N-labelled rayless forests is Borel -- in the Tychonoff product topology -- if and only if it does not contain all rayless forests.
As another side-result, we prove Seymour's self-minor conjecture for rayless graphs of any cardinality.