tree
6861 papers tagged with this keyword
A note on semitotal domination in graphs
A set $S$ of vertices in $G$ is a semitotal dominating set of $G$ if it is a dominating set of $G$ and every vertex in $S$ is within distance $2$ of another vertex of $S$. The \emph{semitotal domination number}, $γ_{t2}(G)$, is the minimum cardinality of a semitotal dominating set of $G$. The \emph{semitotal domination multisubdivision number} of a graph $G$, $msd_{γ_{t2}}(G)$, is the minimum positive integer $k$ such that there exists an edge which must be subdivided $k$ times to increase the semitotal domination number of $G$. In this paper, we show that $msd_{γ_{t2}}(G)\leq 3$ for any graph $G$ of order at least $3$, we also determine the semitotal domination multisubdivision number for some classes of graphs and characterize trees $T$ with $msd_{γ_{t2}}(T)=3$. On the other hand, we know that $γ_{t2}(G)$ is a parameter that is squeezed between domination number, $γ(G)$ and total domination number, $γ_t(G)$, so for any tree $T$, we investigate the ratios $\frac{γ_{t2}(T)}{γ(T)}$ and $\frac{γ_t(T)}{γ_{t2}(T)}$, and present the constructive characterizations of the families of trees achieving the upper bounds.
Phylogenetic trees, augmented perfect matchings, and a Thron-type continued fraction (T-fraction) for the Ward polynomials
Published in Electronic Journal of Combinatorics 27(4), article P4.6 (2020)
• View Publication
• BIB
We find a Thron-type continued fraction (T-fraction) for the ordinary generating function of the Ward polynomials, as well as for some generalizations employing a large (indeed infinite) family of independent indeterminates. Our proof is based on a bijection between super-augmented perfect matchings and labeled Schröder paths, which generalizes Flajolet's bijection between perfect matchings and labeled Dyck paths.
(Theta, triangle)-free and (even hole, $K_4$)-free graphs. Part 2 : bounds on treewidth
Published in J Graph Theory. 2021; 97: 624-641
• View Publication
• BIB
A {\em theta} is a graph made of three internally vertex-disjoint chordless paths $P_1 = a \dots b$, $P_2 = a \dots b$, $P_3 = a \dots b$ of length at least~2 and such that no edges exist between the paths except the three edges incident to $a$ and the three edges incident to $b$. A {\em pyramid} is a graph made of three chordless paths $P_1 = a \dots b_1$, $P_2 = a \dots b_2$, $P_3 = a \dots b_3$ of length at least~1, two of which have length at least 2, vertex-disjoint except at $a$, and such that $b_1b_2b_3$ is a triangle and no edges exist between the paths except those of the triangle and the three edges incident to~$a$. An \emph{even hole} is a chordless cycle of even length. For three non-negative integers $i\leq j\leq k$, let $S_{i,j,k}$ be the tree with a vertex $v$, from which start three paths with $i$, $j$, and $k$ edges respectively. We denote by $K_t$ the complete graph on $t$ vertices.
We prove that for all non-negative integers $i, j, k$, the class of graphs that contain no theta, no $K_3$, and no $S_{i, j, k}$ as induced subgraphs have bounded treewidth. We prove that for all non-negative integers $i, j, k, t$, the class of graphs that contain no even hole, no pyramid, no $K_t$, and no $S_{i, j, k}$ as induced subgraphs have bounded treewidth. To bound the treewidth, we prove that every graph of large treewidth must contain a large clique or a minimal separator of large cardinality.
Codes over Trees
Published
• View Publication
• BIB
In graph theory, a tree is one of the more popular families of graphs with a wide range of applications in computer science as well as many other related fields. While there are several distance measures over the set of all trees, we consider here the one which defines the so-called tree distance, defined by the minimum number of edit operations, of removing and adding edges, in order to change one tree into another. From a coding theoretic perspective, codes over the tree distance are used for the correction of edge erasures and errors. However, studying this distance measure is important for many other applications that use trees and properties on their locality and the number of neighbor trees. Under this paradigm, the largest size of code over trees with a prescribed minimum tree distance is investigated. Upper bounds on these codes as well as code constructions are presented. A significant part of our study is dedicated to the problem of calculating the size of the ball of trees of a given radius. These balls are not regular and thus we show that while the star tree has asymptotically the smallest size of the ball, the maximum is achieved for the path tree.
Convergence and limits of finite trees
Published
• View Publication
• BIB
Motivated by the work of Lovász and Szegedy on the convergence and limits of dense graph sequences, we investigate the convergence and limits of finite trees with respect to sampling in normalized distance. Based on separable real trees, we introduce the notion of a dendron and show that the limits of finite trees are exactly the dendrons. We also prove that the limit dendron is unique.
The Locating-Chromatic number of an $n$-ary Trees
The locating-chromatic number of a graph $G$ is the smallest integer $n$, such that $G$ has a proper $n$-coloring $c$ and all vertices have different vectors of distances to the colors generated by $c$. We study the asymptotic value of the locating-chromatic number of a $k$-level $n$-ary tree. The locating-chromatic number of this tree acts very differently when $k$ goes to infinity and when $n$ goes to infinity. If we fix $k\geq2$, almost all $n$-ary Tree $T(n,k)$ satisfy $χ_L(T(n,k))=n+k-1$; so $\lim\limits_{n\to \infty} χ_L(T(n,k))-n=k-1$. But if we fix $n\geq 2$, then $χ_L(T(n,k))=o(k)$.
Perverse Equivalences and Dg-stable Combinatorics
Chuang and Rouquier describe an action by perverse equivalences on the set of bases of a triangulated category of Calabi-Yau dimension $-1$. We develop an analogue of their theory for Calabi-Yau categories of dimension $w<0$ and show it is equivalent to the mutation theory of $w$-simple-minded systems.
Given a non-positively graded, finite-dimensional symmetric algebra $A$, we show that the differential graded stable category of $A$ has negative Calabi-Yau dimension. When $A$ is a Brauer tree algebra, we construct a combinatorial model of the dg-stable category and show that perverse equivalences act transitively on the set of $|w|$-bases.
Quasigraphs and skeletal partitions
Published
• View Publication
• BIB
We give a new proof of the Skeletal Lemma, which is the main technical tool in our paper on Hamilton cycles in line graphs [T. Kaiser and P. Vrána, Hamilton cycles in 5-connected line graphs, European J. Combin. 33 (2012), 924-947]. It generalises results on disjoint spanning trees in graphs to the context of 3-hypergraphs. The lemma is proved in a slightly stronger version that is more suitable for applications. The proof is simplified and formulated in a more accessible way.
Causal Diamonds, Cluster Polytopes and Scattering Amplitudes
Published
• View Publication
• BIB
The "amplituhedron" for tree-level scattering amplitudes in the bi-adjoint $φ^3$ theory is given by the ABHY associahedron in kinematic space, which has been generalized to give a realization for all finite-type cluster algebra polytopes, labelled by Dynkin diagrams. In this letter we identify a simple physical origin for these polytopes, associated with an interesting (1+1)-dimensional causal structure in kinematic space, along with solutions to the wave equation in this kinematic "spacetime" with a natural positivity property. The notion of time evolution in this kinematic spacetime can be abstracted away to a certain "walk", associated with any acyclic quiver, remarkably yielding a finite cluster polytope for the case of Dynkin quivers. The ${\cal A}_{n{-}3},{\cal B}_{n{-}1}/{\cal C}_{n{-}1}$ and ${\cal D}_n$ polytopes are the amplituhedra for $n$-point tree amplitudes, one-loop tadpole diagrams, and full integrand of one-loop amplitudes. We also introduce a polytope $\bar{\cal D}_n$, which chops the ${\cal D}_n$ polytope in half along a symmetry plane, capturing one-loop amplitudes in a more efficient way.
The probability that an operator is nilpotent
Published
• View Publication
• BIB
Choose a random linear operator on a vector space of finite cardinality N: then the probability that it is nilpotent is 1/N. This is a linear analogue of the fact that for a random self-map of a set of cardinality N, the probability that some iterate is constant is 1/N. The first result is due to Fine, Herstein and Hall, and the second is essentially Cayley's tree formula. We give a new proof of the result on nilpotents, analogous to Joyal's beautiful proof of Cayley's formula. It uses only general linear algebra and avoids calculation entirely.
Transversals of Longest Cycles in Partial $k$-Trees and Chordal Graphs
Let $lct(G)$ be the minimum cardinality of a set of vertices that intersects every longest cycle of a 2-connected graph $G$. We show that $lct(G)\leq k-1$ if $G$ is a partial $k$-tree and that $lct(G)\leq \max \{1, {ω(G){-}3}\}$ if $G$ is chordal, where $ω(G)$ is the cardinality of a maximum clique in $G$. Those results imply that all longest cycles intersect in 2-connected series parallel graphs and in 3-trees.
A Polynomial Time Algorithm for Computing the Strong Rainbow Connection Numbers of Odd Cacti
We consider the problem of computing the strong rainbow connection number $src(G)$ for cactus graphs $G$ in which all cycles have odd length. We present a formula to calculate $src(G)$ for such odd cacti which can be evaluated in linear time, as well as an algorithm for computing the corresponding optimal strong rainbow edge coloring, with polynomial worst case run time complexity. Although computing $src(G)$ is NP-hard in general, previous work has demonstrated that it may be computed in polynomial time for certain classes of graphs, including cycles, trees and block clique graphs. This work extends the class of graphs for which $src(G)$ may be computed in polynomial time.
Constant index expectation curvature for graphs or Riemannian manifolds
An integral geometric curvature is defined as the index expectation K(x) = E[i(x)] if a probability measure m is given on vector fields on a Riemannian manifold or on a finite simple graph. Such curvatures are local, satisfy Gauss-Bonnet and are independent of any embedding in an ambient space. While realizing constant Gauss-Bonnet-Chern curvature is not possible in general already for 4-manifolds, we prove that for compact connected manifolds, constant curvature K_m can always be realized with m supported on Morse gradient fields. We give examples of finite simple graphs which do not allow for any constant m-curvature and prove that for one-dimensional connected graphs, there is a convex set of constant curvature configurations with dimension of the first Betti number of the graph. In particular, there is always a unique constant curvature solution for trees.
The incidence comodule bialgebra of the Baez-Dolan construction
Published in Adv. Math. 383 (2021), 107693
• View Publication
• BIB
Starting from any operad P, one can consider on one hand the free operad on P, and on the other hand the Baez--Dolan construction on P. These two new operads have the same space of operations, but with very different notions of arity and substitution. The main result of this paper is that the incidence bialgebras of the two-sided bar constructions of the two operads constitute together a comodule bialgebra. The result is objective: it concerns comodule-bialgebra structures on groupoid slices, and the proof is given in terms of equivalences of groupoids and homotopy pullbacks. Comodule bialgebras in the usual sense are obtained by taking homotopy cardinality. The simplest instances of the construction cover several comodule bialgebras of current interest in analysis. If P is the identity monad, then the result is the Faà di Bruno comodule bialgebra (dual to multiplication and substitution of power series). If P is any monoid $Ω$ (considered as a one-coloured operad with only unary operations), the resulting comodule bialgebra is the dual of the near-semiring of $Ω$-moulds under product and composition, as employed in Écalle's theory of resurgent functions in local dynamical systems. If P is the terminal operad, then the result is essentially the Calaque--Ebrahimi-Fard--Manchon comodule bialgebra of rooted trees, dual to composition and substitution of B-series in numerical analysis (Chartier--Hairer--Vilmart). The full generality is of interest in category theory. As it holds for any operad, the result is actually about the Baez--Dolan construction itself, providing it with a new algebraic perspective.
Kalai's conjecture in $r$-partite $r$-graphs
Kalai conjectured that every $n$-vertex $r$-uniform hypergraph with more than $\frac{t-1}{r} {n \choose r-1}$ edges contains all tight $r$-trees of some fixed size $t$. We prove Kalai's conjecture for $r$-partite $r$-uniform hypergraphs. Our result is asymptotically best possible up to replacing the term $\frac{t-1}{r}$ with the term $\frac{t-r+1}{r}$.
We apply our main result in graphs to show an upper bound for the Turán number of trees.
On the Burning Number of $p$-Caterpillars
Published
• View Publication
• BIB
The burning number is a recently introduced graph parameter indicating the spreading speed of content in a graph through its edges. While the conjectured upper bound on the necessary numbers of time steps until all vertices are reached is proven for some specific graph classes it remains open for trees in general. We present two different proofs for ordinary caterpillars and prove the conjecture for a generalised version of caterpillars and for trees with a sufficient amount of leaves. Furthermore, determining the burning number for spider graphs, trees with maximum degree three and path-forests is known to be $\mathcal{NP}$-complete, however, we show that the complexity is already inherent in caterpillars with maximum degree three.
Some exact results for regular Turán problems
Published
• View Publication
• BIB
As a variant of the famous Turán problem, we study $\mathrm{rex}(n,F)$, the maximum number of edges that an $n$-vertex regular graph can have without containing a copy of $F$. We determine $\mathrm{rex}(n,K_{r+1})$ for all pairs of integers $r$ and large enough $n$. For every tree $T$, we determine $\mathrm{rex}(n,T)$ for every $n$ large enough.
The determinant of the distance matrix of graphs with at most two cycles
Published
• View Publication
• BIB
Let $G$ be a connected graph on $n$ vertices and $D(G)$ its distance matrix. The formula for computing the determinant of this matrix in terms of the number of vertices is known when the graph is either a tree or {a} unicyclic graph. In this work we generalize these results, obtaining the determinant of the distance matrix for {all graphs} in a {class, including trees, unicyclic and bicyclic graphs. This class actually includes graphs with many cycles, provided that each block of the graph is at most bicyclic.}
Distribution of tree parameters by martingale approach
Published
• View Publication
• BIB
For a uniform random labelled tree, we find the limiting distribution of tree parameters which are stable (in some sense) with respect to local perturbations of the tree structure. The proof is based on the martingale central limit theorem and the Aldous--Broder algorithm. In particular, our general result implies the asymptotic normality of the number of occurrences of any given small pattern and the asymptotic log-normality of the number of automorphisms.
Spectra of infinite graphs via freeness with amalgamation
Published
• View Publication
• BIB
We use tools from free probability to study the spectra of Hermitian operators on infinite graphs. Special attention is devoted to universal covering trees of finite graphs. For operators on these graphs we derive a new variational formula for the spectral radius and provide new proofs of results due to Sunada and Aomoto using free probability.
With the goal of extending the applicability of free probability techniques beyond universal covering trees, we introduce a new combinatorial product operation on graphs and show that, in the non-commutative probability context, it corresponds to the notion of freeness with amalgamation. We show that Cayley graphs of amalgamated free products of groups, as well as universal covering trees, can be constructed using our graph product.