tree
6861 papers tagged with this keyword
The Threshold Dimension of a Graph
Published
• View Publication
• BIB
Let $G$ be a graph, and let $u$, $v$, and $w$ be vertices of $G$. If the distance between $u$ and $w$ does not equal the distance between $v$ and $w$, then $w$ is said to resolve $u$ and $v$. The metric dimension of $G$, denoted $β(G)$, is the cardinality of a smallest set $W$ of vertices such that every pair of vertices of $G$ is resolved by some vertex of $W$. The threshold dimension of a graph $G$, denoted $τ(G)$, is the minimum metric dimension among all graphs $H$ having $G$ as a spanning subgraph. In other words, the threshold dimension of $G$ is the minimum metric dimension among all graphs obtained from $G$ by adding edges. If $β(G) = τ(G)$, then $G$ is said to be \emph{irreducible}; otherwise, we say that $G$ is reducible. If $H$ is a graph having $G$ as a spanning subgraph and such that $β(H)=τ(G)$, then $H$ is called a threshold graph of $G$.
The threshold dimension of a graph is expressed in terms of a minimum number of strong products of paths that admits a certain type of embedding of the graph. A sharp upper bound for the threshold dimension of trees is established. It is also shown that the irreducible trees are precisely those of metric dimension at most 2. Moreover, if $T$ is a tree with metric dimension 3 or 4, then $T$ has threshold dimension $2$. It is shown, in these two cases, that a threshold graph for $T$ can be obtained by adding exactly one or two edges to $T$, respectively. However, these results do not extend to trees with metric dimension $5$, i.e., there are trees of metric dimension $5$ with threshold dimension exceeding $2$.
Counting linear extensions of posets with determinants of hook lengths
Published
• View Publication
• BIB
We introduce a class of posets, which includes both ribbon posets (skew shapes) and $d$-complete posets, such that their number of linear extensions is given by a determinant of a matrix whose entries are products of hook lengths. We also give $q$-analogues of this determinantal formula in terms of the major index and inversion statistics. As applications, we give families of tree posets whose numbers of linear extensions are given by generalizations of Euler numbers, we draw relations to Naruse-Okada's positive formulas for the number of linear extensions of skew $d$-complete posets, and we give polynomiality results analogous to those of descent polynomials by Diaz-López, Harris, Insko, Omar, and Sagan.
Optimal stopping for many connected components in a graph
Published in Random Structures & Algorithms 59 (2021), no. 2, 267-287
• View Publication
• BIB
We study a new optimal stopping problem: Let $G$ be a fixed graph with $n$ vertices which become active on-line in time, one by another, in a random order. The active part of $G$ is the subgraph induced by the active vertices. Find a stopping algorithm that maximizes the expected number of connected components of the active part of $G$. We prove that if $G$ is a $k$-tree, then there is no asymptotically better algorithm than `wait until $\frac{1}{k+1}$ fraction of vertices'. The maximum expected number of connected components equals to $$\left(\frac{k^k}{(k+1)^{k+1}}+o(1)\right)n.$$
Spectral conditions for graph rigidity in the Euclidean plane
Rigidity is the property of a structure that does not flex. It is well studied in discrete geometry and mechanics, and has applications in material science, engineering and biological sciences. A bar-and-joint framework is a pair $(G,p)$ of graph $G$ together with a map $p$ of the vertices of $G$ into the Euclidean plane. We view the edges of $(G, p)$ as bars and the vertices as universal joints. The vertices can move continuously as long as the distances between pairs of adjacent vertices are preserved. The framework is rigid if any such motion preserves the distances between all pairs of vertices. In 1970, Laman obtained a combinatorial characterization of rigid graphs in the Euclidean plane. In 1982, Lovász and Yemini discovered a new characterization and proved that every $6$-connected graph is rigid. Combined with a characterization of global rigidity, their proof actually implies that every 6-connected graph is globally rigid. Consequently, if Fiedler's algebraic connectivity is greater than 5, then $G$ is globally rigid. In this paper, we improve this bound and show that for a graph $G$ with minimum degree $δ\geq 6$, if its algebraic connectivity is greater than $2+\frac{1}{δ-1}$, then $G$ is rigid and if its algebraic connectivity is greater than $2+\frac{2}{δ-1}$, then $G$ is globally rigid. Our results imply that every connected regular Ramanujan graph with degree at least $8$ is globally rigid. We also prove a more general result giving a sufficient spectral condition for the existence of $k$ edge-disjoint spanning rigid subgraphs. The same condition implies that a graph contains $k$ edge-disjoint spanning $2$-connected subgraphs. This result extends previous spectral conditions for packing edge-disjoint spanning trees.
Globally optimal dense and sparse spanning trees, and their applications
Published in Statistics, Optimization & Information Computing, 8(2), pp. 328-345, 2020
• View Publication
• BIB
Finding spanning trees under various constraints is a classic problem with applications in many fields. Recently, a novel notion of "dense" ("sparse") tree, and in particular spanning tree (DST and SST respectively), is introduced as the structure that have a large (small) number of subtrees, or small (large) sum of distances between vertices. We show that finding DST and SST reduces to solving the discrete optimization problems. New and efficient approaches to find such spanning trees is achieved by imposing certain conditions on the vertex degrees which are then used to define an objective function that is minimized over all spanning trees of the graph under consideration. Solving this minimization problem exactly may be prohibitively time consuming for large graphs. Hence, we propose to use genetic algorithm (GA) which is one of well known metaheuristics methods to solve DST and SST approximately. As far as we are aware this is the first time GA has been used in this context. We also demonstrate on a number of applications that GA approach is well suited for these types of problems both in computational efficiency and accuracy of the approximate solution. Furthermore, we improve the efficiency of the proposed method by using Kruskal's algorithm in combination with GA.
The application of our methods to several practical large graphs and networks is presented. Computational results show that they perform faster than previously proposed heuristic methods and produce more accurate solutions. Furthermore, the new feature of the proposed approach is that it can be applied recursively to sub-trees or spanning trees with additional constraints in order to further investigate the graphical properties of the graph and/or network. The application of this methodology on the gene network of a cancer cell led to isolating key genes in a network that were not obvious from previous studies.
Optimal networks measured by global mean first return time
Published
• View Publication
• BIB
Random walks have wide application in real lives, ranging from target search, reaction kinetics, polymer chains, to the forecast of the arrive time of extreme events, diseases or opinions. In this paper, we consider discrete random walks on general connected networks and focus on the analysis of the global mean first return time (GMFRT), which is defined as the mean first return time averaged over all the possible starting positions (vertices), aiming at finding the structures who have the maximal (or the minimal) GMFRT among all connected graphs with the same number of vertices and edges. Our results show that, among all trees with the same number of vertices, trees with linear structure are the structures with the minimal GMFRT and stars are the structures with the maximal GMFRT. We also find that, among all connected graphs with the same number of vertices, the graphs whose vertices have the same degree, are the structures with the minimal GMFRT; and the graphs whose vertex degrees have the biggest difference, are the structures with the maximal GMFRT. We also present the methods for constructing the graphs with the maximal GMFRT (or the minimal GMFRT), among all connected graphs with the same number of vertices and edges.
Generalized Fitch Graphs III: Symmetrized Fitch maps and Sets of Symmetric Binary Relations that are explained by Unrooted Edge-labeled Trees
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Graph Theory (June 3, 2021) dmtcs:6040
• View Publication
• BIB
Binary relations derived from labeled rooted trees play an import role in mathematical biology as formal models of evolutionary relationships. The (symmetrized) Fitch relation formalizes xenology as the pairs of genes separated by at least one horizontal transfer event. As a natural generalization, we consider symmetrized Fitch maps, that is, symmetric maps $\varepsilon$ that assign a subset of colors to each pair of vertices in $X$ and that can be explained by a tree $T$ with edges that are labeled with subsets of colors in the sense that the color $m$ appears in $\varepsilon(x,y)$ if and only if $m$ appears in a label along the unique path between $x$ and $y$ in $T$. We first give an alternative characterization of the monochromatic case and then give a characterization of symmetrized Fitch maps in terms of compatibility of a certain set of quartets. We show that recognition of symmetrized Fitch maps is NP-complete. In the restricted case where $|\varepsilon(x,y)|\leq 1$ the problem becomes polynomial, since such maps coincide with class of monochromatic Fitch maps whose graph-representations form precisely the class of complete multi-partite graphs.
On number of pendants in local antimagic chromatic number
Published
• View Publication
• BIB
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. Let $χ(G)$ be the chromatic number of $G$. In this paper, sharp upper and lower bounds of $χ_{la}(G)$ for $G$ with pendant vertices, and sufficient conditions for the bounds to equal, are obtained. Consequently, for $k\ge 1$, there are infinitely many graphs with $k \ge χ(G) - 1$ pendant vertices and $χ_{la}(G) = k+1$. We conjecture that every tree $T_k$, other than certain caterpillars, spiders and lobsters, with $k\ge 1$ pendant vertices has $χ_{la}(T_k) = k+1$.
Spanning trees, cycle-rooted spanning forests on discretizations of flat surfaces and analytic torsion
Published
• View Publication
• BIB
We study the asymptotic expansion of the determinant of the graph Laplacian associated to discretizations of a half-translation surface endowed with a flat unitary vector bundle. By doing so, over the discretizations, we relate the asymptotic expansion of the number of spanning trees and the sum of cycle-rooted spanning forests weighted by the monodromy of the connection of the unitary vector bundle, to the corresponding zeta-regularized determinants.
As one application, by combining our result with a recent work of Kassel-Kenyon, modulo some universal topological constants, we give an explicit formula for the limit of the probability that a cycle-rooted spanning forest with non-contractible loops, sampled uniformly on discretizations approaching a given surface, induces the given lamination by its cycles. We also calculate an explicit value for the limit of certain topological observables on the associated loop measures.
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$.