tree
6861 papers tagged with this keyword
Algebraic connectivity of Kronecker products of line graphs
Published in Discrete Mathematics, Algorithms and Applications, Vol. 16, No. 06, 2350075 (2024)
• View Publication
• BIB
Let $X$ be a tree with $n$ vertices and $L(X)$ be its line graph. In this work, we completely characterize the trees for which the algebraic connectivity of $L(X)\times K_m$ is equal to $m-1$, where $\times$ denotes the Kronecker product. We provide a few necessary and sufficient conditions for $L(X)\times K_m$ to be Laplacian integral. The algebraic connectivity of $L(X)\times K_m$, where $X$ is a tree of diameter $4$ and $k$-book graph is discussed.
Shared ancestry graphs and symbolic arboreal maps
Published
• View Publication
• BIB
A network $N$ on a finite set $X$, $|X|\geq 2$, is a connected directed acyclic graph with leaf set $X$ in which every root in $N$ has outdegree at least 2 and no vertex in $N$ has indegree and outdegree equal to 1; $N$ is arboreal if the underlying unrooted, undirected graph of $N$ is a tree. Networks are of interest in evolutionary biology since they are used, for example, to represent the evolutionary history of a set $X$ of species whose ancestors have exchanged genes in the past. For $M$ some arbitrary set of symbols, $d:{X \choose 2} \to M \cup \{\odot\}$ is a symbolic arboreal map if there exists some arboreal network $N$ whose vertices with outdegree two or more are labelled by elements in $M$ and so that $d(\{x,y\})$, $\{x,y\} \in {X \choose 2}$, is equal to the label of the least common ancestor of $x$ and $y$ in $N$ if this exists and $\odot$ else. Important examples of symbolic arboreal maps include the symbolic ultrametrics, which arise in areas such as game theory, phylogenetics and cograph theory. In this paper we show that a map $d:{X \choose 2} \to M \cup \{\odot\}$ is a symbolic arboreal map if and only if $d$ satisfies certain 3- and 4-point conditions and the graph with vertex set $X$ and edge set consisting of those pairs $\{x,y\} \in {X \choose 2}$ with $d(\{x,y\}) \neq \odot$ is Ptolemaic. To do this, we introduce and prove a key theorem concerning the shared ancestry graph for a network $N$ on $X$, where this is the graph with vertex set $X$ and edge set consisting of those $\{x,y\} \in {X \choose 2}$ such that $x$ and $y$ share a common ancestor in $N$. In particular, we show that for any connected graph $G$ with vertex set $X$ and edge clique cover $K$ in which there are no two distinct sets in $K$ with one a subset of the other, there is some network with $|K|$ roots and leaf set $X$ whose shared ancestry graph is $G$.
Tropicalizing the Graph Profile of Some Almost-Stars
Many important problems in extremal combinatorics can be stated as certifying polynomial inequalities in graph homomorphism numbers, and in particular, many ask to certify pure binomial inequalities. For a fixed collection of graphs $\mathcal{U}$, the tropicalization of the graph profile of $\mathcal{U}$ essentially records all valid pure binomial inequalities involving graph homomorphism numbers for graphs in $\mathcal{U}$. Building upon ideas and techniques described by Blekherman and Raymond in 2022, we compute the tropicalization of the graph profile for $K_1$ and $S_{2,1^k}$-trees, almost-star graphs with one branch containing two edges and $k$ branches containing one edge. This allows pure binomial inequalities in homomorphism numbers (or densities) for these graphs to be verified through an explicit linear program where the number of variables is equal to the number of edges in the biggest $S_{2,1^k}$-tree involved.
Induced-Minor-Free Graphs: Separator Theorem, Subexponential Algorithms, and Improved Hardness of Recognition
Published
• View Publication
• BIB
A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ by vertex deletions and edge contractions. The class of $H$-induced-minor-free graphs generalizes the class of $H$-minor-free graphs, but unlike $H$-minor-free graphs, it can contain dense graphs. We show that if an $n$-vertex $m$-edge graph $G$ does not contain a graph $H$ as an induced minor, then it has a balanced vertex separator of size $O_{H}(\sqrt{m})$, where the $O_{H}(\cdot)$-notation hides factors depending on $H$. More precisely, our upper bound for the size of the balanced separator is $O(\min(|V(H)|^2, \log n) \cdot \sqrt{|V(H)|+|E(H)|} \cdot \sqrt{m})$. We give an algorithm for finding either an induced minor model of $H$ in $G$ or such a separator in randomized polynomial-time. We apply this to obtain subexponential $2^{O_{H}(n^{2/3} \log n)}$ time algorithms on $H$-induced-minor-free graphs for a large class of problems including maximum independent set, minimum feedback vertex set, 3-coloring, and planarization.
For graphs $H$ where every edge is incident to a vertex of degree at most 2, our results imply a $2^{O_{H}(n^{2/3} \log n)}$ time algorithm for testing if $G$ contains $H$ as an induced minor. Our second main result is that there exists a fixed tree $T$, so that there is no $2^{o(n/\log^3 n)}$ time algorithm for testing if a given $n$-vertex graph contains $T$ as an induced minor unless the Exponential Time Hypothesis (ETH) fails. Our reduction also gives NP-hardness, which solves an open problem asked by Fellows, Kratochvíl, Middendorf, and Pfeiffer [Algorithmica, 1995], who asked if there exists a fixed planar graph $H$ so that testing for $H$ as an induced minor is NP-hard.
Inversion and Cubic Vectors for Permutrees
We introduce two generalizations of bracket vectors from binary trees to permutrees. These new vectors help describe algebraic and geometric properties of the rotation lattice of permutrees defined by Pilaud and Pons. The first generalization serves the role of an inversion vector for permutrees allowing us to define an explicit meet operation and provide a new constructive proof of the lattice property for permutree rotation lattices. The second generalization, which we call cubic vectors, allows for the construction of a cubic realization of these lattices which is proven to form a cubical embedding of the corresponding permutreehedra. These results specialize to those known about permutahedra and associahedra.
A class of trees determined by their chromatic symmetric functions
Published
• View Publication
• BIB
Stanley introduced the concept of chromatic symmetric functions of graphs which extends and refines the notion of chromatic polynomials of graphs, and asked whether trees are determined up to isomorphism by their chromatic symmetric functions. Using the technique of differentiation with respect to power-sum symmetric functions, we give a positive answer to Stanley's question for the class of trees with exactly two vertices of degree at least 3. In addition, we prove that for any tree $T$, the generalized degree sequence for subtrees of $T$ is determined by the chromatic symmetric function of $T$, providing evidence to a conjecture of Crew.
Stirling Decomposition of Graph Homology in Genus 1
Published
• View Publication
• BIB
We prove that commutative graph homology in genus $g=1$ with $n\geq 3$ markings has a direct sum decomposition whose summands have rank given by Stirling numbers of the first kind. These summands are computed as the homology of complexes of certain decorated trees. This paper was written with a non-expert audience in mind, and an emphasis is placed on an elementary combinatorial description of these decorated tree complexes.
On the approximability of the burning number
The burning number of a graph $G$ is the smallest number $b$ such that the vertices of $G$ can be covered by balls of radii $0, 1, \dots, b-1$. As computing the burning number of a graph is known to be NP-hard, even on trees, it is natural to consider polynomial time approximation algorithms for the quantity. The best known approximation factor in the literature is $3$ for general graphs and $2$ for trees. In this note we give a $2/(1-e^{-2})+\varepsilon=2.313\dots$-approximation algorithm for the burning number of general graphs, and a PTAS for the burning number of trees and forests. Moreover, we show that computing a $(\frac53-\varepsilon)$-approximation of the burning number of a general graph $G$ is NP-hard.
Acyclic graphs with at least $2\ell+1$ vertices are $\ell$-recognizable
The $(n-\ell)$-deck of an $n$-vertex graph is the multiset of subgraphs obtained from it by deleting $\ell$ vertices. A family of $n$-vertex graphs is $\ell$-recognizable if every graph having the same $(n-\ell)$-deck as a graph in the family is also in the family. We prove that the family of $n$-vertex graphs with no cycles is $\ell$-recognizable when $n\ge2\ell+1$ (except for $(n,\ell)=(5,2)$). As a consequence, the family of $n$-vertex trees is $\ell$-recognizable when $n\ge2\ell+1$ and $\ell\ne2$. It is known that this fails when $n=2\ell$.
Average height for Abelian sandpiles and the looping constant on Sierpinski graphs
Published
• View Publication
• BIB
For the Abelian sandpile model on Sierpinski graphs, we investigate several statistics such as average height, height probabilities and looping constant. In particular, we calculate the expected average height of a recurrent sandpile on the finite iterations of the Sierpinski gasket and we also give an algorithmic approach for calculating the height probabilities of recurrent sandpiles under stationarity by using the connection between recurrent configurations of the Abelian sandpile Markov chain and uniform spanning trees. We also calculate the expected fraction of vertices of height $i$ for $i\in\{0,1,2,3\}$ of sandpiles under stationarity and relate the bulk average height to the looping constant on the Sierpinski gasket.
Counting two-forests and random cut size via potential theory
We prove a lower bound on the number of spanning two-forests in a graph, in terms of the number of vertices, edges, and spanning trees. This implies an upper bound on the average cut size of a random two-forest. The main tool is an identity relating the number of spanning trees and two-forests to pairwise effective resistances in a graph. Along the way, we make connections to potential theoretic invariants on metric graphs.
On the spectral radius of clique trees with a given zero forcing number
Published
• View Publication
• BIB
Let $G(n,k)$ be the class of clique trees on $n$ vertices and zero forcing number $k$, where $\left \lfloor \frac{n}{2} \right \rfloor + 1 \le k \le n-1$ and each block is a clique of size at least $3$. In this article, we proved the existence and uniqueness of a clique tree in $G(n,k)$ that attains maximal spectral radius among all graphs in $G(n,k)$. We also provide an upper bound for the spectral radius of the extremal graph.
Burning a binary tree and its generalization
Graph burning is a graph process that models the spread of social contagion. Initially, all the vertices of a graph $G$ are unburnt. At each step, an unburnt vertex is put on fire and the fire from burnt vertices of the previous step spreads to their adjacent unburnt vertices. This process continues till all the vertices are burnt. The burning number $b(G)$ of the graph $G$ is the minimum number of steps required to burn all the vertices in the graph. The burning number conjecture by Bonato et al. states that for a connected graph $G$ of order $n$, its burning number $b(G) \leq \lceil \sqrt{n} \rceil$. It is easy to observe that in order to burn a graph it is enough to burn its spanning tree. Hence it suffices to prove that for any tree $T$ of order $n$, its burning number $b(T) \leq \lceil \sqrt{n} \rceil$ where $T$ is the spanning tree of $G$. It was proved in 2018 that $b(T) \leq \lceil \sqrt{n + n_2 + 1/4} +1/2 \rceil$ for a tree $T$ where $n_2$ is the number of degree $2$ vertices in $T$. In this paper, we provide an algorithm to burn a tree and we improve the existing bound using this algorithm. We prove that $b(T)\leq \lceil \sqrt{n + n_2 + 8}\rceil -1$ which is an improved bound for $n\geq 50$. We also provide an algorithm to burn some subclasses of the binary tree and prove the burning number conjecture for the same.
Inequalities Connecting the Annihilation and Independence Numbers
Given a graph $G$, the number of its vertices is represented by $n(G)$, while the number of its edges is denoted as $m(G)$.
An independent set in a graph is a set of vertices where no two vertices are adjacent to each other and the size of the maximum independent set is denoted by $α(G)$. A matching in a graph refers to a set of edges where no two edges share a common vertex and the maximum matching size is denoted by $μ(G)$. If $α(G) + μ(G) = n(G)$, then the graph $G$ is called a König-Egerváry graph.
Considering a graph $G$ with a degree sequence $d_1 \leq d_2 \leq \cdots \leq d_n$, the annihilation number $a(G)$ is defined as the largest integer $k$ such that the sum of the first $k$ degrees in the sequence is less than or equal to $m(G)$ (Pepper, 2004).
It is a known fact that $α(G)$ is less than or equal to $a(G)$ for any graph $G$. Our goal is to estimate the difference between these two parameters. Specifically, we prove a series of inequalities, including
$a(G) - α(G) \leq \frac{μ(G) - 1}{2}$ for trees, $a(G) - α(G) \leq 2 + μ(G) - 2\sqrt{1 + μ(G)}$ for bipartite graphs and $a(G) - α(G) \leq μ(G) - 2$ for König-Egerváry graphs. Furthermore, we demonstrate that these inequalities serve as tight upper bounds for the difference between the annihilation and independence numbers, regardless of the assigned value for $μ(G)$.
An introduction to graph theory
This is a graduate-level introduction to graph theory, corresponding to a quarter-long course. It covers simple graphs, multigraphs as well as their directed analogues, and more restrictive classes such as tournaments, trees and arborescences. Among the features discussed are Eulerian circuits, Hamiltonian cycles, spanning trees, the matrix-tree and BEST theorems, proper colorings, Turan's theorem, bipartite matching and the Menger and Gallai--Milgram theorems. The basics of network flows are introduced in order to prove Hall's marriage theorem.
Around a hundred exercises are included (without solutions).
Random Walk Labelings of Perfect Trees and Other Graphs
Published
• View Publication
• BIB
A Random walk labeling of a graph $G$ is any labeling of $G$ that could have been obtained by performing a random walk on $G$. Continuing two recent works, we calculate the number of random walk labelings of perfect trees, combs, and double combs, the torus $C_2\times C_n$, and the graph obtained by connecting three path graphs to form two cycles.
Completely Additive Height Functions: Profile Laws, Matula Bounds, and Inverse Growth
The height $H(n)$ of $n$ is the least integer $i$ such that the $i$-th iterate of Euler's totient function $\varphi^{(i)}(n)$ equals $1$. H. N. Shapiro showed that this $H$ is almost completely additive. Building on the fact that this function can be modified to yield a completely additive function, we establish a general correspondence: to every multi-partition structure there corresponds a completely additive function. In this paper, a \emph{height function} is a completely additive map $H:\mathbb{N}\to\mathbb{N}_0$ with $H(1)=0$ whose prime fibres $\{p:\,H(p)=k\}$ are finite for every $k\ge1$. Writing \[ π_k=\#\{p:\,H(p)=k\},\qquad N_k=\#\{n:\,H(n)=k\}, \] complete additivity forces the identity \[ \sum_{k\ge0}N_k q^k \;=\; \prod_{j\ge1}(1-q^j)^{-π_j}. \] Thus, the prime--height profile $(π_k)$ canonically determines the height multiplicities $(N_k)$, linking to the asymptotic theory of weighted partitions. We introduce a broad class of iteratively defined heights on primes, encompassing Matula-type heights (encoding rooted trees) and Shapiro-type totient heights, and show they extend to genuine height functions. In the Matula case this yields a purely number-theoretic proof of the classical extremal bounds for minimal and maximal Matula numbers, answering a question of Gutman and Ivić without recourse to graph theory. Using Meinardus' theorem we prove an \emph{inverse-growth} principle in the polynomial regime: if $Π(x)=\sum_{j\le x}π_j \sim (C/α)x^α$, then $\log N_k$ satisfies a stretched-exponential law with an explicit constant, and conversely under a standard Tauberian hypothesis. We further derive average-order consequences in this regime for a canonical sequential realization of a given profile. Finally, we briefly discuss behavior beyond the polynomial setting, with computations in the Shapiro case suggesting substantially richer phenomena.
Uniform attachment with freezing
Published
• View Publication
• BIB
In the classical model of random recursive trees, trees are recursively built by attaching new vertices to old ones. What happens if vertices are allowed to freeze, in the sense that new vertices cannot be attached to already frozen ones? We are interested in the impact of freezing on the height of such trees.
The sum of root-leaf distance interdiction problem with cardinality constraint by upgrading edges on trees
Published
• View Publication
• BIB
A network for the transportation of supplies can be described as a rooted tree with a weight of a degree of congestion for each edge. We take the sum of root-leaf distance (SRD) on a rooted tree as the whole degree of congestion of the tree. Hence, we consider the SRD interdiction problem on trees with cardinality constraint by upgrading edges (denoted by (SDIPTC) in brief). It aims to maximize the SRD by upgrading the weights of $N$ critical edges such that the total upgrade cost under some measurement is upper-bounded by a given value. The relevant minimum cost problem (MCSDIPTC) aims to minimize the total upgrade cost on the premise that the SRD is lower-bounded by a given value. We develop two different norms including weighted $l_\infty$ norm and weighted bottleneck Hamming distance to measure the upgrade cost. We propose two binary search algorithms within O($n\log n$) time for the problems (SDIPTC) under the two norms, respectively. For problems (MCSDIPTC),we propose two binary search algorithms within O($N n^2$) and O($n \log n$) under weighted $l_\infty$ norm and weighted bottleneck Hamming distance, respectively. These problems are solved through their subproblems (SDIPT) and (MCSDIPT), in which we ignore the cardinality constraint on the number of upgraded edges. Finally, we design numerical experiments to show the effectiveness of these algorithms.
The Intermediate Logic of Convex Polyhedra
We investigate a recent semantics for intermediate (and modal) logics in terms of polyhedra. The main result is a finite axiomatisation of the intermediate logic of the class of all polytopes -- i.e., compact convex polyhedra -- denoted PL. This logic is defined in terms of the Jankov-Fine formulas of two simple frames. Soundness of this axiomatisation requires extracting the geometric constraints imposed on polyhedra by the two formulas, and then using substantial classical results from polyhedral geometry to show that convex polyhedra satisfy those constraints. To establish completeness of the axiomatisation, we first define the notion of the geometric realisation of a frame into a polyhedron. We then show that any PL frame is a p-morphic image of one which has a special form: it is a 'sawed tree'. Any sawed tree has a geometric realisation into a convex polyhedron, which completes the proof.