tree
6861 papers tagged with this keyword
Prime sum graphs and the induced trees they contain
Published
• View Publication
• BIB
In this paper we show that prime sum graphs on $n$ vertices -- which are graphs on vertex set $\{1,2,...,n\}$ where $ij$ is an edge when $i+j$ is prime -- contain all trees with at most $\exp( c \log n / \log\log n)$ vertices as induced subgraphs. We also prove some results for related graphs, and end with some unsolved problems.
Combinatorial study of morsifications of real univariate singularities
Published in Mathematische Nachrichten, 2024
• View Publication
• BIB
We study a broad class of morsifications of germs of univariate real analytic functions. We characterize the combinatorial types of the resulting Morse functions, via planar contact trees constructed from Newton-Puiseux roots of the polar curves of the morsifications.
Machine-Learning Kronecker Coefficients
Published
• View Publication
• BIB
The Kronecker coefficients are the decomposition multiplicities of the tensor product of two irreducible representations of the symmetric group. Unlike the Littlewood--Richardson coefficients, which are the analogues for the general linear group, there is no known combinatorial description of the Kronecker coefficients, and it is an NP-hard problem to decide whether a given Kronecker coefficient is zero or not. In this paper, we show that standard machine-learning algorithms such as Nearest Neighbors, Convolutional Neural Networks and Gradient Boosting Decision Trees may be trained to predict whether a given Kronecker coefficient is zero or not. Our results show that a trained machine can efficiently perform this binary classification with high accuracy ($\approx 0.98$).
Edge Addition and the Change in Kemeny's Constant
Published
• View Publication
• BIB
Given a connected graph $G$, Kemeny's constant $\mathcal{K}({G})$ measures the average travel time for a random walk to reach a randomly selected vertex. It is known that when an edge is added to $G$, the value of Kemeny's constant may either decrease, increase, or stay the same. In this paper, we present a quantitative analysis of this behaviour when the initial graph is a tree with $n$ vertices. We prove that when an edge is added into a tree on $n$ vertices, the maximum possible increase in Kemeny's constant is roughly $\frac{2}{3}n,$ while the maximum possible decrease is roughly $\frac{3}{16}n^2$. We also identify the trees, and the edges to be added, that correspond to the maximum increase and maximum decrease. Throughout, both matrix theoretic and graph theoretic techniques are employed.
Powers of facet ideals of simplicial trees
Published in Nagoya Math. J. 261 (2026) e9
• View Publication
• BIB
In this article, we study the linearity of the minimal free resolution of powers of facets ideals of simplicial trees. We give a complete characterization of simplicial trees for which (some) power of its facet ideal has a linear resolution. We calculate the regularity of the $t$-path ideal of a perfect rooted tree. We also obtain an upper bound for the regularity of the $t$-path ideal of a rooted tree. We give a procedure to calculate the regularity of powers of facet ideals of simplicial trees. As a consequence of this result, we study the regularity of powers of $t$-path ideals of rooted trees. We pose a regularity upper bound conjecture for facet ideals of simplicial trees, which is as follows: if $Δ$ is a $d$-dimensional simplicial tree, then $\reg(I(Δ)^s) \leq (d+1)(s-1)+\reg(I(Δ))$ for all $s \geq 1$. We prove this conjecture for some special classes of simplicial trees.
Independent coalition in graphs: existence and characterization
Published
• View Publication
• BIB
An independent coalition in a graph $G$ consists of two disjoint sets of vertices $V_1$ and $V_2$ neither of which is an independent dominating set but whose union $V_1 \cup V_2$ is an independent dominating set. An independent coalition partition, abbreviated, $ic$-partition, in a graph $G$ is a vertex partition $π= \lbrace V_1,V_2,\dots ,V_k \rbrace$ such that each set $V_i$ of $π$ either is a singleton dominating set, or is not an independent dominating set but forms an independent coalition with another set $V_j \in π$.
The maximum number of classes of an $ic$-partition of $G$ is the independent coalition number of $G$, denoted by $IC(G)$. In this paper we study the concept of $ic$-partition. In particular, we discuss the possibility of the existence of $ic$-partitions in graphs and introduce a family of graphs for which no $ic$-partition exists. We also determine the independent coalition number of some classes of graphs and investigate graphs $G$ of order $n$ with $IC(G)\in\{1,2,3,4,n\}$ and the trees $T$ of order $n$ with $IC(T)=n-1$.
Separating path systems in trees
Published
• View Publication
• BIB
For a graph $G$, an edge-separating (resp. vertex-separating) path system of $G$ is a family of paths in $G$ such that for any pair of edges $e_1, e_2$ (resp. pair of vertices $v_1, v_2$) of $G$ there is at least one path in the family that contains one of $e_1$ and $e_2$ (resp. $v_1$ and $v_2$) but not the other.
We determine the size of a minimum edge-separating path system of an arbitrary tree $T$ as a function of its number of leaves and degree-two vertices. We obtain bounds for the size of a minimal vertex-separating path system for trees, which we show to be tight in many cases. We obtain similar results for a variation of the definition, where we require the path system to separate edges and vertices simultaneously. Finally, we investigate the size of a minimal vertex-separating path system in Erdős--Rényi random graphs.
The $q$-Analogue of Zero Forcing for Certain Families of Graphs
Published
• View Publication
• BIB
Zero forcing is a combinatorial game played on a graph with the ultimate goal of changing the colour of all the vertices at minimal cost. Originally this game was conceived as a one player game, but later a two-player version was devised in-conjunction with studies on the inertia of a graph, and has become known as the $q$-analogue of zero forcing. In this paper, we study and compute the $q$-analogue zero forcing number for various families of graphs. We begin with by considering a concept of contraction associated with trees. We then significantly generalize an equation between this $q$-analogue of zero forcing and a corresponding nullity parameter for all threshold graphs. We close by studying the $q$-analogue of zero forcing for certain Kneser graphs, and a variety of cartesian products of structured graphs.
A Generalization of the Graham-Pollak Tree Theorem to Steiner Distance
Published
• View Publication
• BIB
Graham and Pollak showed that the determinant of the distance matrix of a tree $T$ depends only on the number of vertices of $T$. Graphical distance, a function of pairs of vertices, can be generalized to ``Steiner distance'' of sets $S$ of vertices of arbitrary size, by defining it to be the fewest edges in any connected subgraph containing all of $S$. Here, we show that the same is true for trees' {\em Steiner distance hypermatrix} of all odd orders, whereas the theorem of Graham-Pollak concerns order $2$. We conjecture that the statement holds for all even orders as well.
A Schnyder-type drawing algorithm for 5-connected triangulations
Published
• View Publication
• BIB
We define some Schnyder-type combinatorial structures on a class of planar triangulations of the pentagon which are closely related to 5-connected triangulations. The combinatorial structures have three incarnations defined in terms of orientations, corner-labelings, and woods respectively. The wood incarnation consists in 5 spanning trees crossing each other in an orderly fashion. Similarly as for Schnyder woods on triangulations, it induces, for each vertex, a partition of the inner triangles into face-connected regions (5~regions here). We show that the induced barycentric vertex-placement, where each vertex is at the barycenter of the 5 outer vertices with weights given by the number of faces in each region, yields a planar straight-line drawing.
Matroidal Mixed Eulerian Numbers
Published
• View Publication
• BIB
We make a systematic study of matroidal mixed Eulerian numbers which are certain intersection numbers in the matroid Chow ring generalizing the mixed Eulerian numbers introduced by Postnikov. These numbers are shown to be valuative and obey a log-concavity relation. We establish recursion formulas and use them to relate matroidal mixed Eulerian numbers to the characteristic and Tutte polynomials, reproving results of Huh-Katz and Berget-Spink-Tseng. Generalizing Postnikov, we show that these numbers are equal to certain weighted counts of binary trees. Lastly, we study these numbers for perfect matroid designs, proving that they generalize the remixed Eulerian numbers of Nadeau-Tewari.
Gröbner basis and Krull dimension of Lovász-Saks-Sherijver ideal associated to a tree
Let $\mathbb{K}$ be a field and $n$ be a positive integer. Let $Γ=([n], E)$ be a simple graph, where $[n]=\{1,\ldots, n\}$. If $S=\mathbb{K}[x_1, \ldots, x_n, y_1, \ldots, y_n]$ is a polynomial ring, then the graded ideal \[ L_Γ^\mathbb{K}(2) = \left( x_{i}x_{j} + y_{i}y_{j} \colon \quad \{i, j\} \in E(Γ)\right) \subset S,\] is called the Lovász-Saks-Schrijver ideal, LSS-ideal for short, of $Γ$ with respect to $\mathbb{K}$. In the present paper, we compute a Gröbner basis of this ideal with respect to lexicographic ordering induced by $x_1>\cdots>x_n>y_1>\cdots>y_n$ when $Γ=T$ is a tree. As a result, we show that it is independent of the choice of the ground field $\mathbb{K}$ and compute the Hilbert series of $L_T^\mathbb{K}(2)$. Finally, we present concrete combinatorial formulas to obtain the Krull dimension of $S/L_T^\mathbb{K}(2)$ as well as lower and upper bounds for Krull dimension.
Tree independence number I. (Even hole, diamond, pyramid)-free graphs
Published in Journal of Graph Theory 106 (2024), 923-943
• View Publication
• BIB
The tree-independence number tree-$α$, first defined and studied by Dallard, Milanič and Štorgel, is a variant of treewidth tailored to solving the maximum independent set problem.
Over a series of papers, Abrishami et al. developed the so-called central bag method to study induced obstructions to bounded treewidth. Among others, they showed that, in a certain superclass $\mathcal C$ of (even hole, diamond, pyramid)-free graphs, treewidth is bounded by a function of the clique number. In this paper, we relax the bounded clique number assumption, and show that $\mathcal C$ has bounded tree-$α$. Via existing results, this yields a polynomial time algorithm for the maximum independent set problem in this class. Our result also corroborates, for this class of graphs, a conjecture of Dallard, Milanič and Štorgel that in a hereditary graph class, tree-$α$ is bounded if and only if the treewidth is bounded by a function of the clique number.
A study on certain bounds of the rna number and some characterizations of the parity signed graphs
For a given graph $G$, let $f:V(G)\to \{1,2,\ldots,n\}$ be a bijective mapping. For a given edge $uv \in E(G)$, $σ(uv)=+$, if $f(u)$ and $f(v)$ have the same parity and $σ(uv)=-$, if $f(u)$ and $f(v)$ have opposite parity. The resultant signed graph is called a parity signed graph and the mapping $σ$ is called a parity signature of $G$. Let us denote a parity signed graph $S=(G,σ)$ by $G_σ$. Let $E^-(G_σ)$ be a set of negative edges in a parity signed graph and let $Si(G)$ be the set of all parity signatures for the underlying graph $G$. We define the \textit{rna} number of $G$ as $σ^-(G)=\min\{|E^-(G_σ)|:σ\in Si(G)\}$. In this paper, we prove a non-trivial upper bound in the case of trees: $σ^-(T)\leq \lceil\frac{n}{2}\rceil$, where $T$ is a tree of order $n+1$. We have found families of trees whose \textit{rna} numbers are bounded above by $\lceil\fracΔ{2}\rceil$ and also we have shown that for any $i\leq \lceil\frac{n}{2}\rceil$, there exists a tree $T$ (of order $n+1$) with $σ^-(T)=i$. This paper gives a characterization of graphs with \textit{rna} number 1 in terms of its spanning trees and also a characterization of graphs with \textit{rna} number 2.
Probabilistic enumeration and equivalence of nonisomorphic trees
Published
• View Publication
• BIB
We present a new probabilistic proof of Otter's asymptotic formula for the number of unlabelled trees with a given number of vertices. We additionally prove a new approximation result, showing that the total variation distance between random Pólya trees and random unlabelled trees tends to zero when the number of vertices tends to infinity. In order to demonstrate that our approach is not restricted to trees we extend our results to tree-like classes of graphs.
Poisson-Dirichlet scaling limits of Kemp's supertrees
Published
• View Publication
• BIB
We determine the Gromov--Hausdorff--Prokhorov scaling limits and local limits of Kemp's $d$-dimensional binary trees and other models of supertrees. The limits exhibit a root vertex with infinite degree and are constructed by rescaling infinitely many independent stable trees or other spaces according to a function of a two-parameter Poisson--Dirichlet process and gluing them together at their roots. We discuss universality aspects of random spaces constructed in this fashion and sketch a phase diagram.
Sidorenko-Type Inequalities for Pairs of Trees
Published
• View Publication
• BIB
Given two non-empty graphs $H$ and $T$, write $H\succcurlyeq T$ to mean that $t(H,G)^{|E(T)|}\geq t(T,G)^{|E(H)|}$ for every graph $G$, where $t(\cdot,\cdot)$ is the homomorphism density function. We obtain various necessary and sufficient conditions for two trees $H$ and $T$ to satisfy $H\succcurlyeq T$ and determine all such pairs on at most 8 vertices. This extends results of Leontovich and Sidorenko from the 1980s and 90s. Our approach applies an information-theoretic technique to reduce the problem of showing that $H\succcurlyeq T$ for two forests $H$ and $T$ to solving a linear program of Kopparty and Rossman. We also characterize trees $H$ which satisfy $H\succcurlyeq S_k$ or $H\succcurlyeq P_4$, where $S_k$ is the $k$-vertex star and $P_4$ is the $4$-vertex path and resolve a problem of Csikvári and Lin.
Counting oriented trees in digraphs with large minimum semidegree
Published in Journal of Combinatorial Theory, Series B 168 (2024): 236-270
• View Publication
• BIB
Let $T$ be an oriented tree on $n$ vertices with maximum degree at most $e^{o(\sqrt{\log n})}$. If $G$ is a digraph on $n$ vertices with minimum semidegree $δ^0(G)\geq(\frac12+o(1))n$, then $G$ contains $T$ as a spanning tree, as recently shown by Kathapurkar and Montgomery (in fact, they only require maximum degree $o(n/\log n)$). This generalizes the corresponding result by Komlós, Sárközy and Szemerédi for graphs. We investigate the natural question how many copies of $T$ the digraph $G$ contains. Our main result states that every such $G$ contains at least $|Aut(T)|^{-1}(\frac12-o(1))^nn!$ copies of $T$, which is optimal. This implies the analogous result in the undirected case.
Rooted Almost-binary Phylogenetic Networks for which the Maximum Covering Subtree Problem is Solvable in Linear Time
Phylogenetic networks are a flexible model of evolution that can represent reticulate evolution and handle complex data. Tree-based networks, which are phylogenetic networks that have a spanning tree with the same root and leaf-set as the network itself, have been well studied. However, not all networks are tree-based. Francis-Semple-Steel (2018) thus introduced several indices to measure the deviation of rooted binary phylogenetic networks $N$ from being tree-based, such as the minimum number $δ^\ast(N)$ of additional leaves needed to make $N$ tree-based, and the minimum difference $η^\ast(N)$ between the number of vertices of $N$ and the number of vertices of a subtree of $N$ that shares the root and leaf set with $N$. Hayamizu (2021) has established a canonical decomposition of almost-binary phylogenetic networks of $N$, called the maximal zig-zag trail decomposition, which has many implications including a linear time algorithm for computing $δ^\ast(N)$. The Maximum Covering Subtree Problem (MCSP) is the problem of computing $η^\ast(N)$, and Davidov et al. (2022) showed that this can be solved in polynomial time (in cubic time when $N$ is binary) by an algorithm for the minimum cost flow problem. In this paper, under the assumption that $N$ is almost-binary (i.e. each internal vertex has in-degree and out-degree at most two), we show that $δ^\ast(N)\leq η^\ast (N)$ holds, which is tight, and give a characterisation of such phylogenetic networks $N$ that satisfy $δ^\ast(N)=η^\ast(N)$. Our approach uses the canonical decomposition of $N$ and focuses on how the maximal W-fences (i.e. the forbidden subgraphs of tree-based networks) are connected to maximal M-fences in the network $N$. Our results introduce a new class of phylogenetic networks for which MCSP can be solved in linear time, which can be seen as a generalisation of tree-based networks.
Induced subgraphs and tree decompositions IX. Grid theorem for perforated graphs
Published in Advances in Combinatorics 2025:3, 40pp
• View Publication
• BIB
The celebrated Erdős-Pósa Theorem, in one formulation, asserts that for every $c\geq 1$, graphs with no subgraph (or equivalently, minor) isomorphic to the disjoint union of $c$ cycles have bounded treewidth. What can we say about the treewidth of graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles?
Let us call these graphs $c$-perforated. While $1$-perforated graphs have treewidth one, complete graphs and complete bipartite graphs are examples of $2$-perforated graphs with arbitrarily large treewidth. But there are sparse examples, too: Bonamy, Bonnet, Déprés, Esperet, Geniet, Hilaire, Thomassé and Wesolek constructed $2$-perforated graphs with arbitrarily large treewidth and no induced subgraph isomorphic to $K_3$ or $K_{3,3}$; we call these graphs occultations. Indeed, it turns out that a mild (and inevitable) adjustment of occultations provides examples of $2$-perforated graphs with arbitrarily large treewidth and arbitrarily large girth, which we refer to as full occultations.
Our main result shows that the converse also holds: for every $c\geq 1$, a $c$-perforated graph has large treewidth if and only if it contains, as an induced subgraph, either a large complete graph, or a large complete bipartite graph, or a large full occultation. This distinguishes $c$-perforated graphs, among graph classes purely defined by forbidden induced subgraphs, as the first to admit a grid-type theorem incorporating obstructions other than subdivided walls and their line graphs.
More generally, for all $c,o\geq 1$, we establish a full characterization of induced subgraph obstructions to bounded treewidth in graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles, each of length at least $o+2$.