tree
6737 papers tagged with this keyword
Parking functions on directed stars and orientation reversal with an extension to general directed trees
Parking functions, classically defined in terms of cars with preferred parking spots on a directed path attempting to park there, arise in many combinatorial situations and have seen various generalizations. In particular, parking functions have been defined for general digraphs, which yields many more enumeration problems. For example, in a directed tree whose edges are orientated away from the root, it is unknown in general how the number of parking functions on it changes once the orientation is reversed, even in the case when the tree is a star. We show that this orientation reversal results in more parking functions on the directed star in most cases, after which we extend these methods to show that this also results in more parking functions on the general directed tree if, in some sense, the number of vertices greatly exceeds the number of cars.
Higher Independence Complexes of graphs and their homotopy types
Published in Journal of the Ramanujan Mathematical Society, 2021
• Search Publication
For $r\geq 1$, the $r$-independence complex of a graph $G$ is a simplicial complex whose faces are subset $I \subseteq V(G)$ such that each component of the induced subgraph $G[I]$ has at most $r$ vertices. In this article, we determine the homotopy type of $r$-independence complexes of certain families of graphs including complete $s$-partite graphs, fully whiskered graphs, cycle graphs and perfect $m$-ary trees. In each case, these complexes are either homotopic to a wedge of equi-dimensional spheres or are contractible. We also give a closed form formula for their homotopy types.
Non-binary universal tree-based networks
Published
• View Publication
• BIB
A tree-based network $N$ on $X$ is called universal if every phylogenetic tree on $X$ is a base tree for $N$. Recently, binary universal tree-based networks have attracted great attention in the literature and their existence has been analyzed in various studies. In this note, we extend the analysis to non-binary networks and show that there exist both a rooted and an unrooted non-binary universal tree-based network with $n$ leaves for all positive integers $n$.
Nullspace Vertex Partition in Graphs
Published
• View Publication
• BIB
The core vertex set of a graph is an invariant of the graph. It consists of those vertices associated with the non-zero entries of the nullspace vectors of a $\{0,1\}$-adjacency matrix. The remaining vertices of the graph form the core--forbidden vertex set. For graphs with independent core vertices, such as bipartite minimal configurations and trees, the nullspace induces a well defined three part vertex partition. The parts of this partition are the core vertex set, their neighbours and the remote core--forbidden vertices. The set of the remote core--forbidden vertices are those not adjacent to any core vertex. We show that this set can be removed, leaving the nullity unchanged. We show that for graphs with independent core vertices, the submatrix of the adjacency matrix defining the edges incident to the core vertices determines the nullity of adjacency matrix. To maximize the number of edges for optimal network graphs with a specified nullity, we determine which perturbations make up sufficient conditions for the core vertex set of the adjacency matrix of a graph to be preserved on adding edges.
Bijective link between Chapoton's new intervals and bipartite planar maps
Published
• View Publication
• BIB
In 2006, Chapoton defined a class of Tamari intervals called "new intervals" in his enumeration of Tamari intervals, and he found that these new intervals are equi-enumerated with bipartite planar maps. We present here a direct bijection between these two classes of objects using a new object called "degree tree". Our bijection also gives an intuitive proof of an unpublished equi-distribution result of some statistics on new intervals given by Chapoton and Fusy.
The first uniformly finite homology group with coefficients in $\mathbb{Z}$ and a characterisation of its vanishing in the transitive case
We study the first uniformly finite homology group of Block and Weinberger for uniformly locally finite graphs, with coefficients in $\mathbb{Z}$ and $\mathbb{Z}_2$. When the graph is a tree, or coefficients are in $\mathbb{Z}_2$, a characterisation of the group is obtained. In the general case, we describe three phenomena that entail non-vanishing of the group; their disjunction is shown to also be necessary for non-vanishing in the case of transitive graphs.
Tilting modules arising from knot invariants
Published
• View Publication
• BIB
We construct tilting modules over Jacobian algebras arising from knots. To a two-bridge knot $L[a_1,\ldots,a_n]$, we associate a quiver $Q$ with potential and its Jacobian algebra $A$. We construct a family of canonical indecomposable $A$-modules $M(i)$, each supported on a different specific subquiver $Q(i)$ of $Q$. Each of the $M(i)$ is expected to parametrize the Jones polynomial of the knot. We study the direct sum $M=\oplus_iM(i)$ of these indecomposables inside the module category of $A$ as well as in the cluster category.
In this paper we consider the special case where the two-bridge knot is given by two parameters $a_1,a_2$. We show that the module $M$ is rigid and $τ$-rigid, and we construct a completion of $M$ to a tilting (and $τ$-tilting) $A$-module $T$. We show that the endomorphism algebra $\operatorname{End}_AT$ of $T$ is isomorphic to $A$, and that the mapping $T\mapsto A[1]$ induces a cluster automorphism of the cluster algebra $\mathcal{A}(Q)$. This automorphism is of order two. Moreover, we give a mutation sequence that realizes the cluster automorphism. In particular, we show that the quiver $Q$ is mutation equivalent to an acyclic quiver of type $T_{p,q,r}$ (a tree with three branches). This quiver is of finite type if $(a_1,a_2)=(a_1,2), (1,a_2),$ or $(2,3)$, it is tame for $(a_1,a_2)=(2,4)$ or $(3,3)$, and wild otherwise.
The Burning Number of Directed Graphs: Bounds and Computational Complexity
Published
• View Publication
• BIB
The burning number of a graph was recently introduced by Bonato et al. Although they mention that the burning number generalises naturally to directed graphs, no further research on this has been done. Here, we introduce graph burning for directed graphs, and we study bounds for the corresponding burning number and the hardness of finding this number. We derive sharp bounds from simple algorithms and examples. The hardness question yields more surprising results: finding the burning number of a directed tree is NP-hard, but FPT; however, it is W[2]-complete for DAGs. Finally, we give a fixed-parameter algorithm to find the burning number of a digraph, with a parameter inspired by research in phylogenetic networks.
A short proof of the blow-up lemma for approximate decompositions
Published
• View Publication
• BIB
Kim, Kühn, Osthus and Tyomkyn (Trans. Amer. Math. Soc. 371 (2019), 4655--4742) greatly extended the well-known blow-up lemma of Komlós, Sárközy and Szemerédi by proving a `blow-up lemma for approximate decompositions' which states that multipartite quasirandom graphs can be almost decomposed into any collection of bounded degree graphs with the same multipartite structure and slightly fewer edges. This result has already been used by Joos, Kim, Kühn and Osthus to prove the tree packing conjecture due to Gyárfás and Lehel from 1976 and Ringel's conjecture from 1963 for bounded degree trees as well as implicitly in the recent resolution of the Oberwolfach problem (asked by Ringel in 1967) by Glock, Joos, Kim, Kühn and Osthus. Here we present a new and significantly shorter proof of the blow-up lemma for approximate decompositions. In fact, we prove a more general theorem that yields packings with stronger quasirandom properties so that it can be combined with Keevash's results on designs to obtain results of the following form. For all $\varepsilon>0$, $r\in \mathbb{N}$ and all large $n$ (such that $r$ divides $n-1$), there is a decomposition of $K_n$ into any collection of $r$-regular graphs $H_1,\ldots,H_{(n-1)/r}$ on $n$ vertices provided that $H_1,\ldots,H_{\varepsilon n}$ contain each at least $\varepsilon n$ vertices in components of size at most $\varepsilon^{-1}$.
Ramsey goodness of trees in random graphs
For a graph $G$, we write $G\rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)$ if every blue-red colouring of the edges of $G$ contains either a blue copy of $K_{r+1}$, or a red copy of each tree with $n$ edges and maximum degree at most $D$. In 1977, Chvátal proved that for any integers $r,n,D \ge 2$, $K_N \rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)$ if and only if $N \ge rn+1$. We prove a random analogue of Chvátal's theorem for bounded degree trees, that is, we show that for each $r,D\ge 2$ there exist constants $C,C'>0$ such that if $p \ge C{n}^{-2/(r+2)}$ and $N \geq rn + C'/p$, then \[G(N,p) \rightarrow \big(K_{r+1},\mathcal{T}(n,D)\big)\] with high probability as $n\to \infty$. The proof combines a stability argument with the embedding of trees in expander graphs. Furthermore, the proof of the stability result is based on a sparse random analogue of the Erdős--Sós conjecture for trees with linear size and bounded maximum degree, which may be of independent interest.
A proof of Ringel's Conjecture
Published
• View Publication
• BIB
A typical decomposition question asks whether the edges of some graph $G$ can be partitioned into disjoint copies of another graph $H$. One of the oldest and best known conjectures in this area, posed by Ringel in 1963, concerns the decomposition of complete graphs into edge-disjoint copies of a tree. It says that any tree with $n$ edges packs $2n+1$ times into the complete graph $K_{2n+1}$. In this paper, we prove this conjecture for large $n$.
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.