tree
6861 papers tagged with this keyword
Note on the Maximum Number of Trees Displayed by a Tree-Child Network
In this note, we show that, for all $n\ge 2$, the number of distinct rooted binary phylogenetic $X$-trees displayed by a binary tree-child network $\mathcal{N}$ on $X$ with $n$ leaves is at most $2^{n-1}-1$ and that this upper bound is sharp. Furthermore, if $\mathcal{N}$ displays exactly $2^{n-1}-1$ such trees, then exactly one rooted binary phylogenetic $X$-tree is displayed twice, and this tree can be canonically found by iteratively replacing a reticulated cherry with a cherry.
Pairwise Compatibility Representations of Multidimensional Grid Graphs
Pairwise compatibility graphs (PCGs) represent graph adjacency by an interval of leaf-to-leaf distances in a weighted tree. We study grid graphs under the PCG model and two natural extensions: multi-interval PCGs and OR-PCGs. First, we prove that every $d$-dimensional grid graph is a $(d-1)$-interval-PCG. The construction decomposes the grid into hyperplanes of constant coordinate sum and uses a large-base encoding so that distances between consecutive hyperplanes identify the coordinate direction of an edge. A pair of nearby code values is then merged into one interval, reducing the number of intervals from $d$ to $d-1$. Second, we prove that every $d$-dimensional grid is a $\lceil d/2\rceil$-OR-PCG by grouping coordinate directions into pairs; each paired-direction graph is a disjoint union of two-dimensional grid graphs and is therefore a PCG. Finally, an exact tree-metric satisfiability computation shows that $P_3\square P_3\square P_3$ is not a PCG. Consequently, the minimum number of intervals sufficient for all three-dimensional grid graphs is exactly two, resolving a previously posed open problem. The same obstruction shows that the OR-PCG bound is tight in dimension three and implies that every grid with at least three factors of order at least three is not a PCG.
Completely Independent Spanning Trees in $k$-Outerplanar Triangulated Discs
Let $T_{1}, T_{2}, \dots, T_{k}$ be $k$ spanning trees of a graph $G$. For any pair of vertices $u$ and $v$, if the $u$--$v$ paths in the $k$ spanning trees are pairwise openly disjoint, then the spanning trees are called completely independent spanning trees (CISTs) of $G$. In this paper, we first prove that every 3-connected 2-outerplanar triangulated disc has two completely independent spanning trees. Next, for a 3-connected 3-outerplanar triangulated disc $G$, we provide sufficient conditions for $G$ to have two completely independent spanning trees. We provide an example of a 3-connected 4-outerplanar triangulation that does not have two completely independent spanning trees.
Multiplicity of Laplacian eigenvalue 1 of a graph
Let $G$ be a graph with $p(G)$ pendant vertices and $q(G)$ quasi-pendant vertices. Denote by $m_{L(G)}(λ)$ the multiplicity of $λ$ as a Laplacian eigenvalue of $G$. A graph $G$ is called reduced, if $p(G)=q(G)$. It is known that deleting a pendant path $P_3$ from a graph $G$ cannot change $m_{L(G)}(1)$. By the reduction operation for a graph (defined by Tian and Wong, 2026), we could turn to the reduced graphs with each quasi-pendant vertex of degree 2 to investigate $m_{L(G)}(1)$. Then let $T$ be a reduced tree on $n(\geq 7)$ vertices with each quasi-pendant vertex of degree 2 and without pendant path $P_3$. We first prove that \begin{equation*}
m_{L(T)}(1)\leq \frac{n-5}{6} \end{equation*} and the extremal trees attaining the upper bound are determined completely. In addition, let $G$ be an arbitrary connected reduced graph with order $n\geq 6$ and size $m$. Denote by $c=m-n+1$ the first Betti number of $G$, then we obtain \begin{equation*}
m_{L(G)}(1)\leq c+\frac{n-2}{4}, \end{equation*} and the extremal graphs attaining the upper bound are characterized completely.
Krahn-Szeg\H o type inequalities for graphs
We study discrete analogues of classical spectral geometric inequalities and extremal eigenvalue problems on graphs. The well-known Krahn--Szegő inequality states that the minimum of $λ_2(Ω)$ among bounded open sets of $\mathbb{R}^n$ with given volume is achieved by the union of two identical balls $\mathbb{R}^n$. Firstly, we establish a Krahn--Szegő type inequality for trees. For trees with a fixed number of interior vertices and boundary leaves, we completely characterize the extremal structures that minimize the second Dirichlet eigenvalue. Secondly, we develop a nodal domain method for adjacency matrices. By proving a nodal domain theorem in adjacency version for graphs, we obtain upper bounds for the second largest adjacency eigenvalue $ρ_2(G)$ of $G$ in given graph classes. These bounds imply some previous results. Finally, we settle the Aouchiche--Hansen conjecture (2010) on the second largest eigenvalue with given number of edges and clique number. We prove that for connected graphs $G$ of odd order $n \geq 5$, $|ρ_2| \cdot ω\leq m-2$, with equality if and only if $G$ consists of two complete graphs of orders $\frac{n+1}{2}$ and $\frac{n-1}{2}$ joined by an edge or a path. For even $n \geq 2$, the quantity $|ρ_2| \cdot ω- m$ is maximized exactly when $G$ is the join of two copies of $K_{n/2}$ by an edge.
The core of the methods developed in this paper is to regard a connected graph as an internally disconnected graph with Dirichlet boundary condition. This perspective allows us to transfer nodal domain techniques from continuous spectral geometry to discrete settings and to obtain sharp extremal characterizations across diverse graph classes.
Hockey-Stick Domination and Distributional Comparison on Finite Posets
We develop a framework for comparing probability measures on finite posets via hockey-stick domination, an order relation defined through interval-counting test functions. The theory introduces poset integrals, derivatives, power functions and the associated moment functionals, all of which are invariant under poset isomorphisms. We prove that hockey-stick domination admits an exact quantitative characterization: whenever $μ$ is dominated by $ν$ in the hockey-stick order, the corresponding Zolotarev-type distance is equal to one half of the second-order poset moment of $ν-μ$. We further develop a constructive theory for generating such domination relations. In particular, we show that hockey-stick domination is preserved under direct products, disjoint unions, ordinal sums, and suitable ideal restrictions, yielding natural families of examples on chains, Boolean posets, rectangular lattices, rooted trees, and Young diagrams.
Extremal number of edges in graphs without homeomorphically irreducible spanning trees
For integers $k\ge 1$ and $n\ge k+1$, let $\operatorname{ex}^{\mathrm{HIST}}_k(n)$ denote the maximum number of edges in a $k$-connected graph of order $n$ which contains no homeomorphically irreducible spanning tree (or briefly HIST). We determine these extremal numbers for $k=1$ and $k=2$. More precisely, we prove that $\operatorname{ex}^{\mathrm{HIST}}_1(n)=\binom{n-2}{2}+2$ for $n\ge 9$, with $L_n$ as the unique extremal graph, and that $\operatorname{ex}^{\mathrm{HIST}}_2(n)=\binom{n-3}{2}+4$ for $n\ge 13$, with $B_n$ as the unique extremal graph. This provides a Turán-type extremal result for spanning trees with no vertices of degree two.
Middle orders: all distributive lattices between weak and Bruhat
For a given Coxeter group, we study distributive lattices called middle orders refining the weak order and refined by the Bruhat order. In type $A$, we construct such lattices indexed by binary trees using a direct bijection between permutations and lower sets of a certain partition of the root poset into rectangles. When the binary tree is a left-comb tree, we recover the middle order defined by Bouvel, Ferrari, and Tenner (2025). We study combinatorial properties of these lattices, and show they are the only distributive lattices between the weak and Bruhat orders in type $A$. For general Coxeter groups, we study middle orders on parabolic quotients and use these to generalize our construction in type $A$ to other Weyl groups, obtaining so-called ``minuscule middle orders''. We show that they are a subset of sorting orders defined by Armstrong (2009), and we give conjectural descriptions of all middle orders that are not minuscule.
On Balance, To What Degree is Burr's Conjecture True?
For many trees $T$, the Ramsey number of $T$, denoted by ${\mathcal R}(T)$, is determined by the sizes of the partition classes in its unique bipartition. In 1976, Burr proved that when $T$ has partition classes of size $t_1$ and $t_2$ with $t_1 \le t_2$, the Ramsey number is at least $\max(2t_2-1,2t_1+t_2-1)$, and conjectured that this is tight. While counterexamples have been found for some pairs $(t_1, t_2)$, a main focus of research on this problem has been determining ratios $t_2/t_1$ or bounds on the maximum degree of $T$ for which Burr's bound is either exactly or asymptotically tight.
We essentially resolve these questions for lopsided trees. Specifically, we show that (a) there are counterexamples whenever $t_2 \ge 2t_1$, with the order of magnitude of the difference between the largest Ramsey numbers and Burr's bound being $\max \left( t_1^2/t_2, \sqrt{t_1} \right)$, and (b) for $t_2 \ge 500 t_1$, Burr's bound is tight when $Δ(T) \le t_2 - t_1$, but is off by at least $C \log t_2$ (even when $t_2 \ge 2 t_1$) when $Δ(T) \gtrsim t_2 - t_1$. In particular, this shows that Burr's bound need not hold for $t$-vertex trees $T$ with $Δ(T) \approx t/3$.
On the maximum and negative frustration indices of graphs
A signed graph is a graph with signatures ($+1$ or $-1$) on its edges. A cycle is called positive if the product of its edge signatures is positive, and a signed graph is called balanced if each cycle in it is positive. The frustration index is the minimum number of edges whose deletion makes the signed graph balanced, which is considered to be a measurement of the imbalance of the signed graph. In this paper, we compare the frustration index of the all-negative signature with the maximum frustration index of all possible signatures on the unsigned graph. We classify some families of graphs into three scenarios: the all-negative signature does not maximise the frustration index, the all-negative signature maximises the frustration index non-uniquely, and the all-negative signature maximises the frustration index uniquely. For all three scenarios, we can exhibit chordal and non-chordal graphs alike. The classes we consider include apex trees, fan graphs, wheel graphs, and complete split graphs. Moreover, for the families of fan graphs and wheel graphs, we fully characterise and count the signatures maximising the frustration index. Throughout our study, we exhibit different classes of signed graphs for which the frustration index equals the number of edge-disjoint negative triangles. Moreover, as part of our study, we are able to refute three conjectures of Zaslavsky on the frustration index.
Enumeration of certain subsets of uprooted trees and spherical parking functions
Spherical $G$-parking functions are a distinguished subset of standard monomials, arising from the skeleton ideals of the $G$-parking function ideal. Explicit spherical $G$-parking function enumeration formulas are known only in a few classes of graphs. In this paper, we consider a family of graphs $\Gl$ ($1\leq \ell \leq n-2$), obtained from the complete bipartite $K_{n+1}$ by deleting the $\ell$ edges joining vertex $1$ to the vertices in $F_\ell= \{n-\ell+1, \ldots, n\}$. The uprooted spanning trees of $\Gl-\{0\}$ are counted by the set $\UnFl$ of uprooted trees with the vertex set $[n]$ in which vertex $1$ is not adjacent to any vertex in $F_\ell$, and we establish that $|\UnFl| = (n-1)^{n-\ell-2}(n-2)^{\ell}(n-\ell-1).$ We derive this formula combinatorially and independently recover it as an application of the matrix tree theorem, obtaining some combinatorial identities as consequences. Finally, we determine the number of spherical $\Gl$-parking functions as $|\SPF(\Gl)| = (n-1)^{n-3}(n-\ell-1)^2.$
Smith normal forms for coalescences at cospectral vertices
Let $L_μ(G)=A(G)-μD(G)$ be the generalized $μ$-adjacency matrix of a finite graph $G$. Fan, Xing, Zhang, and Wang constructed pairs of non-degree-similar trees for which the Smith normal forms of the matrices $tI-L_μ(G)$ over $\mathbb{Q}(μ)[t]$ coincide, and conjectured that their construction remains valid when the attached rooted path is replaced by an arbitrary rooted tree. We prove this conjecture as a consequence of a more general coalescence theorem: if a finite graph $H$ has two vertices $u$ and $v$ that are cospectral for $L_μ(H)$, then, for every finite rooted graph $R$ with root $r$, the matrices \[ tI-L_μ(R(r)\odot H(u))
\quad\text{and}\quad
tI-L_μ(R(r)\odot H(v)) \] have the same Smith normal form over $\mathbb{Q}(μ)[t]$, where $\odot$ denotes coalescence of rooted graphs. The proof uses an orthogonal intertwiner over a real closed extension field.
Discrete-time treatment number of binary trees
The discrete-time treatment number of a graph $H$, denoted by $τ(H)$, was introduced in arXiv:2408.0531(3) and arises from a deterministic process in which each vertex is assigned a color at each time-step. The pathwidth upper bound $τ(H)\leq \lceil\frac{1+pw(H)}{2}\rceil$, is shown in arXiv:2408.0531(3), where $pw(H)$ denotes the pathwidth of graph $H$. Equality holds when $H$ is the complete binary tree of depth $d$ (denoted by $BT(d)$) and $1 \le d \le 6$. In this paper, we characterize the sizes of all subsets of vertices of $BT(d)$ whose boundary has $3$ or fewer vertices and use this result to prove that $τ(BT(d))= 3$ for $8\leq d\leq 10$; in these cases, equality also holds in the pathwidth upper bound. By the hereditary property of the treatment number, all larger complete binary trees have treatment number at least $3$. In contrast, we provide an explicit construction to show that $τ(BT(7))=2$, while the pathwidth upper bound only shows $τ(BT(7))\le 3.$ We construct an infinite family of graphs, each with a cut-vertex, whose treatment number depends on the number of components when the cut-vertex is removed. We use a combination of pathwidth and vertex cuts to prove another upper bound on the treatment number and use this to construct an infinite family of graphs whose boundary size is limited, but whose treatment number is unlimited.
The connected binary matroids with a pair of elements in no non-spanning circuits
Let $M$ be a simple connected binary matroid, and let $e$ and $f$ be distinct elements of $M$. It is well known that, when the only circuits containing $e$ are spanning, $M$ is a circuit with at least three elements. This paper proves that if every circuit containing $\{e,f\}$ is spanning, then the canonical tree decomposition of $M$ is a path in which each vertex is labeled by a circuit, a copy of $U_{1,3}$, or a binary spike having one non-tip element deleted.
An Explicit $O(r\log r)$ Threshold for Attaining the Semple--Steel Bound with $r$-State Characters
Let $d_r(n)$ be the maximum, over all binary phylogenetic trees with $n$ leaves, of the minimum number of $r$-state characters required to define the tree. Semple and Steel proved that $d_r(n)\geq\lceil(n-3)/(r-1)\rceil$, and Bordewich and Semple proved that equality holds for each fixed $r$ and all sufficiently large $n$. We study the corresponding threshold $n_r$, the least $N$ for which equality holds for every $n\geq N$. The Bordewich--Semple construction yields an explicit polynomial upper bound of order $O(r^5)$ for this threshold. We prove the near-linear estimate \[
3r+1\leq n_r\leq \ceil{64(r-1)\log_2(r+1)}+3\qquad(r\geq4). \] The proof constructs, for every binary phylogenetic tree with $m=n-3$ internal edges, a linked quartet certificate whose conflict graph has maximum degree at most $16\lceil\log_2(m+2)\rceil+4$. Equitable coloring then packs the certificate into exactly $\lceil m/(r-1)\rceil$ $r$-state characters once $m\geq\lceil64(r-1)\log_2(r+1)\rceil$. We also include the lower bound $n_r\geq3r+1$, obtained from the snowflake obstruction, and state the natural conjecture that this lower bound is the exact threshold for all $r\geq4$. The conjectural endpoint is consistent with the known small-state thresholds: $n_4=13$ and $n_5=16$, while the cases $r=2,3$ are also explicitly classified.
Planar higher-rank trees have rank at most four
We prove that a finite, connected, singly connected, locally convex higher-rank tree whose $1$-skeleton is planar and which is \emph{non-degenerate}, in the sense that every edge of each colour forms a commuting square with every other colour, has rank at most four. Under these hypotheses this establishes the planarity conjecture stated in \cite{Pask}. The obstruction side of the argument uses only the non-planarity of $K_5$; it makes no appeal to the four-colour theorem. The engine is a monotonicity property of the set of colours emitted at a vertex (``backward propagation''), which forces, in any finite singly connected non-degenerate $k$-graph, a single vertex emitting all $k$ colours; once $k\ge 5$, local convexity manufactures a subdivision of $K_5$ at such a vertex.
Temporal matching in trees
We study maximum matching problems in temporal graphs whose underlying graph is a tree. We consider two temporal models. In a $Δ$-matching, selected time edges sharing an endpoint must have time ticks differing by at least $Δ$. In a $γ$-matching, the selected objects are blocks of $γ$ consecutive appearances of the same underlying edge. We also consider the related ordered static problem of $d$-distance matchings.
We show that maximum $Δ$-matching remains NP-hard on temporal trees for every $Δ\geq 2$, even in the sparse case where each edge appears at most twice. Using a reduction between the temporal models, we obtain the analogous result for maximum $γ$-matching on temporal trees, even when each edge admits at most two $γ$-edges. We also show, via a reduction from $d$-distance matching, that maximum $γ$-matching is APX-hard even when the underlying graph is bipartite.
Complementing these hardness results, we identify several tractable cases. We prove that maximum $Δ$-matching is polynomial-time solvable on temporal trees in which every edge appears exactly once, and that maximum $γ$-matching is polynomial-time solvable when each edge admits at most one $γ$-edge. We also give dynamic-programming algorithms under bounded local-use and local-sparsity assumptions, and derive polynomial-time solvability of maximum $d$-distance matching when the input bipartite graph is a tree. Finally, we prove that both maximum $Δ$-matching and maximum $γ$-matching admit polynomial-time approximation schemes on temporal trees.
Infinitesimal Bialgebra on Planar Binary Trees
We construct a weight-zero infinitesimal bialgebra structure on the $\bk$-module spanned by planar binary trees, using the under product $\backslash$ of Aguiar--Sottileand a root-recursive coproduct $\DeltaLR$. We prove that $\DeltaLR$ is coassociative and satisfies the infinitesimal derivation rule with respect to $\backslash$, hence gives a unitary infinitesimal bialgebra distinct from the usual Loday--Ronco Hopf structure. We also obtain an elementary vertex-cut formula, establish freeness properties for unitary $(\backslash,\vee)$-algebras and unitary infinitesimal $(\backslash,\vee)$-bialgebras, and identify the construction with the infinitesimal coproduct transported from planar rooted forests.
Tree-Based Formalization of Multi-Agent Complementarity in Human-AI Interactions
Complementarity is the case in which a human--AI interaction (HAI) outperforms the best prediction benchmark available among its members. Although this idea is central in HAI research, formal work on complementarity remains limited. Existing frameworks do not model how agents' predictions compose into workflow-sensitive multi-agent protocols. We close this gap by introducing a tree-based formalization of complementarity in multi-agent HAI. An HAI protocol is represented by an ordered agent-role configuration together with a rooted planar binary tree whose leaves are decorated by prediction vectors. A local binary composition rule is evaluated recursively along the tree, yielding a tree-relative complementarity functional relative to a pointwise-min oracle benchmark. We prove four results. First, selector-based HAIs, including self- or AI-reliance, cannot achieve complementarity regardless of task, loss, or prediction quality. Second, in regression under squared loss, complementarity is equivalent to Euclidean distance minimization from the ground-truth vector; for $N=2$, the optimal linear-pooling weight has a closed form and a residual-correction interpretation. Third, under linear local composition, every protocol tree defines a barycentric coordinate chart on the simplex of leaf weights; Tamari-cover reparameterizations of protocol trees preserve complementarity, and for $N=4$, they satisfy the pentagon identity. Fourth, in binary classification, no internal local composition can achieve complementarity under endpoint-monotone losses, including standard Bregman and many finite Bernoulli $f$-divergence losses; an analogous obstruction holds for multiclass aggregation under cross-entropy. In summary, our framework shows that complementarity is attainable in multi-agent regression, but obstructed in classification under natural conditions on local aggregation and loss functions.
The chromatic noncommutative symmetric function of oriented trees
A long-standing question is whether chromatic symmetric functions can distinguish non-isomorphic trees. Campbell introduced chromatic noncommutative symmetric functions for digraphs, which lift chromatic symmetric functions to NSym, and asked to what extent they can distinguish non-isomorphic oriented trees. In this article, we prove that chromatic noncommutative symmetric functions can reconstruct oriented stars, oriented double stars, some oriented caterpillars, and some oriented paths.