tree
6737 papers tagged with this keyword
On the Geodetic Hull Number of Complementary Prisms
Published
• View Publication
• BIB
Let $G$ be a finite, simple, and undirected graph and let $S$ be a set of vertices of $G$. In the geodetic convexity, a set of vertices $S$ of a graph $G$ is convex if all vertices belonging to any shortest path between two vertices of $S$ lie in $S$. The convex hull $H(S)$ of $S$ is the smallest convex set containing $S$. If $H(S) = V(G)$, then $S$ is a hull set. The cardinality $h(G)$ of a minimum hull set of $G$ is the hull number of $G$. The complementary prism $G\overline{G}$ of a graph $G$ arises from the disjoint union of the graph $G$ and $\overline{G}$ by adding the edges of a perfect matching between the corresponding vertices of $G$ and $\overline{G}$. Motivated by previous work, we determine and present lower and upper bounds on the hull number of complementary prisms of trees, disconnected graphs and cographs. We also show that the hull number on complementary prisms cannot be limited in the geodetic convexity, unlike the $P_3$-convexity.
How to Build a Graph in n Days: Some Variants on Graph Assembly
Published
• View Publication
• BIB
In a recent article by M. Bona and A. Vince, the authors introduced the concept of an assembly tree for a graph. Assembly trees act as record keeping devices for the construction of a given graph from its vertices. In this paper we extend the work initiated by M. Bona and A. Vince as well as define and examine a more generalized definition of assembly tree.
When Do Gomory-Hu Subtrees Exist?
Published
• View Publication
• BIB
Gomory-Hu (GH) Trees are a classical sparsification technique for graph connectivity. It is one of the fundamental models in combinatorial optimization which also continually finds new applications, most recently in social network analysis. For any edge-capacitated undirected graph $G=(V,E)$ and any subset of {\em terminals} $Z \subseteq V$, a Gomory-Hu Tree is an edge-capacitated tree $T=(Z,E(T))$ such that for every $u,v \in Z$, the value of the minimum capacity $uv$ cut in $G$ is the same as in $T$. Moreover, the minimum cuts in $T$ directly identify (in a certain way) those in $G$. It is well-known that we may not always find a GH tree which is a subgraph of $G$. For instance, every GH tree for the vertices of $K_{3,3}$ is a $5$-star. We characterize those graph and terminal pairs $(G,Z)$ which always admit such a tree. We show that these are the graphs which have no \emph{terminal-$K_{2,3}$ minor}. That is, no $K_{2,3}$ minor whose vertices correspond to terminals in $Z$. We also show that the family of pairs $(G,Z)$ which forbid such $K_{2,3}$ "$Z$-minors" arises, roughly speaking, from so-called Okamura-Seymour instances. More precisely, they are subgraphs of {\em $Z$-webs}. A $Z$-web is built from planar graphs with one outside face which contains all the terminals and each inner face is a triangle which may contain an arbitrary graph. This characterization yields an additional consequence for multiflow problems. Fix a graph $G$ and a subset $Z \subseteq V(G)$ of terminals. Call $(G,Z)$ {\em cut-sufficient} if the cut condition is sufficient to characterize the existence of a multiflow for any demands between vertices in $Z$, and any edge capacities on $G$. Then $(G,Z)$ is cut-sufficient if and only if it is terminal-$K_{2,3}$ free.
Vertex Turán problems for the oriented hypercube
Published
• View Publication
• BIB
In this short note we consider the oriented vertex Turán problem in the hypercube: for a fixed oriented graph $\overrightarrow{F}$, determine the maximum size $ex_v(\overrightarrow{F}, \overrightarrow{Q_n})$ of a subset $U$ of the vertices of the oriented hypercube $\overrightarrow{Q_n}$ such that the induced subgraph $\overrightarrow{Q_n}[U]$ does not contain any copy of $\overrightarrow{F}$. We obtain the exact value of $ex_v(\overrightarrow{P_k}, \overrightarrow{Q_n})$ for the directed path $\overrightarrow{P_k}$, the exact value of $ex_v(\overrightarrow{V_2}, \overrightarrow{Q_n})$ for the directed cherry $\overrightarrow{V_2}$ and the asymptotic value of $ex_v(\overrightarrow{T}, \overrightarrow{Q_n})$ for any directed tree $\overrightarrow{T}$.
Time-Bounded Influence Diffusion with Incentives
Published
• View Publication
• BIB
A widely studied model of influence diffusion in social networks represents the network as a graph $G=(V,E)$ with an influence threshold $t(v)$ for each node. Initially the members of an initial set $S\subseteq V$ are influenced. During each subsequent round, the set of influenced nodes is augmented by including every node $v$ that has at least $t(v)$ previously influenced neighbours. The general problem is to find a small initial set that influences the whole network. In this paper we extend this model by using \emph{incentives} to reduce the thresholds of some nodes. The goal is to minimize the total of the incentives required to ensure that the process completes within a given number of rounds. The problem is hard to approximate in general networks. We present polynomial-time algorithms for paths, trees, and complete networks.
Weighted Persistent Homology Sums of Random Čech Complexes
We study the asymptotic behavior of random variables of the form \begin{equation*} E_α^i\left(x_1,\ldots,x_n\right)=\sum_{\left(b,d\right)\in \mathit{PH}_i\left(x_1,\ldots,x_n\right)} \left(d-b\right)^α \end{equation*} where $\left\{x_j\right\}_{j\in\mathbb{N}}$ are i.i.d. samples from a probability measure on a triangulable metric space, and $\textit{PH}_i\left(x_1,\ldots,x_n\right)$ denotes the $i$-dimensional reduced persistent homology of the Čech complex of $\left\{x_1,\ldots,x_n\right\}.$ These quantities are a higher-dimensional generalization of the $α$-weighted sum of a minimal spanning tree; we seek to prove analogues of the theorems of Steele (1988) and Aldous and Steele (1992) in this context.
As a special case of our main theorem, we show that if $\left\{x_j\right\}_{j\in\mathbb{N}}$ are distributed independently and uniformly on the $m$-dimensional Euclidean sphere, $α<m,$ and $0\leq i <n,$ then there are real numbers $γ$ and $Γ$ so that \begin{equation*} γ\leq \lim_{n\rightarrow\infty} n^{-\frac{m-α}{m}} E_i^α\left(x_1,\ldots,x_n\right) \leq Γ\end{equation*}
in probability. More generally, we prove results about the asymptotics of the expectation of $E_α^i$ for points sampled from a locally bounded probability measure on a space that is the bi-Lipschitz image of an $m-$dimensional Euclidean simplicial complex, as well as measures supported on sets of fractional dimension that respect box counting.
Hypergraphs not containing a tight tree with a bounded trunk ~II: 3-trees with a trunk of size 2
A tight $r$-tree $T$ is an $r$-uniform hypergraph that has an edge-ordering $e_1, e_2, \dots, e_t$ such that for each $i\geq 2$, $e_i$ has a vertex $v_i$ that does not belong to any previous edge and $e_i-v_i$ is contained in $e_j$ for some $j<i$. Kalai conjectured in 1984 that every $n$-vertex $r$-uniform hypergraph with more than $\frac{t-1}{r}\binom{n}{r-1}$ edges contains every tight $r$-tree $T$ with $t$ edges.
A trunk $T'$ of a tight $r$-tree $T$ is a tight subtree $T'$ of $T$ such that vertices in $V(T)\setminus V(T')$ are leaves in $T$. Kalai's Conjecture was proved in 1987 for tight $r$-trees that have a trunk of size one. In a previous paper we proved an asymptotic version of Kalai's Conjecture for all tight $r$-trees that have a trunk of bounded size. In this paper we continue that work to establish the exact form of Kalai's Conjecture for all tight $3$-trees with at least $20$ edges that have a trunk of size two.
A Nordhaus-Gaddum conjecture for the minimum number of distinct eigenvalues of a graph
Published
• View Publication
• BIB
We propose a Nordhaus-Gaddum conjecture for $q(G)$, the minimum number of distinct eigenvalues of a symmetric matrix corresponding to a graph $G$: for every graph $G$ excluding four exceptions, we conjecture that $q(G)+q(G^c)\le |G|+2$, where $G^c$ is the complement of $G$. We compute $q(G^c)$ for all trees and all graphs $G$ with $q(G)=|G|-1$, and hence we verify the conjecture for trees, unicyclic graphs, graphs with $q(G)\le 4$, and for graphs with $|G|\le 7$.
The Active Bijection 2.a - Decomposition of activities for matroid bases, and Tutte polynomial of a matroid in terms of beta invariants of minors
We introduce and study filtrations of a matroid on a linearly ordered ground set, which are particular sequences of nested sets. A given basis can be decomposed into a uniquely defined sequence of bases of minors, such that these bases have an internal/external activity equal to 1/0 or 0/1 (in the sense of Tutte polynomial activities). This decomposition, which we call the active filtration/partition of the basis, refines the known partition of the ground set into internal and external elements with respect to a given basis. It can be built by a certain closure operator, which we call the active closure. It relies only on the fundamental bipartite graph of the basis and can be expressed also as a decomposition of general bipartite graphs on a linearly ordered set of vertices.
From this, first, structurally, we obtain that the set of all bases can be canonically partitioned and decomposed in terms of such bases of minors induced by filtrations. Second, enumeratively, we derive an expression of the Tutte polynomial of a matroid in terms of beta invariants of minors. This expression refines at the same time the classical expressions in terms of basis activities and orientation activities (if the matroid is oriented), and the well-known convolution formula for the Tutte polynomial. Third, in a companion paper of the same series (No. 2.b), we use this decomposition of matroid bases, along with a similar decomposition of oriented matroids, and along with a bijection in the 1/0 activity case from a previous paper (No. 1), to define the canonical active bijection between orientations/signatures/reorientations and spanning trees/simplices/bases of a graph/real hyperplane arrangement/oriented matroid, as well as various related bijections.
The active bijection for graphs
Published
• View Publication
• BIB
The active bijection forms a package of results studied by the authors in a series of papers in oriented matroids. The present paper is intended to state the main results in the particular case, and more widespread language, of graphs. We associate any directed graph, defined on a linearly ordered set of edges, with one particular of its spanning trees, which we call its active spanning tree. For any graph on a linearly ordered set of edges, this yields a surjective mapping from orientations onto spanning trees, which preserves activities (for orientations in the sense of Las Vergnas, for spanning trees in the sense of Tutte), as well as some partitions (or filtrations) of the edge set associated with orientations and spanning trees. It yields a canonical bijection between classes of orientations and spanning trees, as well as a refined bijection between all orientations and edge subsets, containing various noticeable bijections [...]. Several constructions of independent interest are involved. The basic case concerns bipolar orientations, which are in bijection with their fully optimal spanning trees, as proved in a previous paper, and as computed in a companion paper. We give a canonical decomposition of a directed graph on a linearly ordered set of edges into acyclic/cyclic bipolar directed graphs. Considering all orientations of a graph, we obtain an expression of the Tutte polynomial in terms of products of beta invariants of minors, a remarkable partition of the set of orientations into activity classes, and a simple expression of the Tutte polynomial using four orientation activity parameters. We derive a similar decomposition theorem for spanning trees. We also provide a general deletion/contraction framework for these bijections and relatives.
Computing the fully optimal spanning tree of an ordered bipolar directed graph
Published
• View Publication
• BIB
It has been previously shown by the authors that a directed graph on a linearly ordered set of edges (ordered graph) with adjacent unique source and sink (bipolar digraph) has a unique fully optimal spanning tree, that satisfies a simple criterion on fundamental cycle/cocycle directions. This result yields, for any ordered graph, a canonical bijection between bipolar orientations and spanning trees with internal activity 1 and external activity 0 in the sense of the Tutte polynomial. This bijection can be extended to all orientations and all spanning trees, yielding the active bijection, presented for graphs in a companion paper. In this paper, we specifically address the problem of the computation of the fully optimal spanning tree of an ordered bipolar digraph. In contrast with the inverse mapping, built by a straightforward single pass over the edge set, the direct computation is not easy and had previously been left aside. We give two independent constructions. The first one is a deletion/contraction recursion, involving an exponential number of minors. It is structurally significant but it is efficient only for building the whole bijection (i.e. all images) at once. The second one is more complicated and is the main contribution of the paper. It involves just one minor for each edge of the resulting spanning tree, and it is a translation and an adaptation in the case of graphs, in terms of weighted cocycles, of a general geometrical linear programming type algorithm, which allows for a polynomial time complexity.
The Active Bijection 2.b - Decomposition of activities for oriented matroids, and general definitions of the active bijection
The active bijection for oriented matroids (and real hyperplane arrangements, and graphs, as particular cases) is introduced and investigated by the authors in a series of papers. Given any oriented matroid defined on a linearly ordered ground set, we exhibit one particularité of its bases, which we call its active basis, with remarkable properties. It preserves activities (for oriented matroids in the sense of Las Vergnas, for matroid bases in the sense of Tutte), as well as some active partitions of the ground set associated with oriented matroids and matroid bases. It yields a canonical bijection between classes of reorientations and bases [...]. It also yields a refined bijection between all reorientations and subsets of the ground set. Those bijections are related to various Tutte polynomial expressions [...]. They contain various noticeable bijections involving orientations/signatures/reorientations and spanning trees/simplices/bases of a graph/real hyperplane arrangement/oriented matroid. [...]
In previous papers of this series, we defined the active bijection between bounded regions and uniactive internal bases by means of fully optimal bases (No. 1), and we defined a decomposition of activities for matroid bases by means of [...] particular sequences of minors (companion paper, No. 2.a). The present paper is central in the series. First, we define a decomposition of activities for oriented matroids, using the same sequences of minors, yielding a decomposition of an oriented matroid into bounded regions of minors. Second, we use the previous results together to provide the canonical and refined active bijections alluded to above. We also give an overview and examples of the various results of independent interest involved in the construction. They arise as soon as the ground set of an oriented matroid is linearly ordered.
Variations of the Catalan numbers from some nonassociative binary operations
Published
• View Publication
• BIB
We investigate certain nonassociative binary operations that satisfy a four-parameter generalization of the associative law. From this we obtain variations of the ubiquitous Catalan numbers and connections to many interesting combinatorial objects such as binary trees, plane trees, lattice paths, and permutations.
Algorithms for #BIS-hard problems on expander graphs
Published
• View Publication
• BIB
We give an FPTAS and an efficient sampling algorithm for the high-fugacity hard-core model on bounded-degree bipartite expander graphs and the low-temperature ferromagnetic Potts model on bounded-degree expander graphs. The results apply, for example, to random (bipartite) $Δ$-regular graphs, for which no efficient algorithms were known for these problems (with the exception of the Ising model) in the non-uniqueness regime of the infinite $Δ$-regular tree. We also find efficient counting and sampling algorithms for proper $q$-colorings of random $Δ$-regular bipartite graphs when $q$ is sufficiently small as a function of $Δ$.
General sum-connectivity index of trees and unicyclic graphs with fixed maximum degree
The general sum-connectivity index of a graph $G$ is defined as $χ_α(G)=\sum\limits_{uv\in E(G)} {(d(u)+d(v))^α}$, where $d(v)$ denotes the degree of the vertex $v$ in $G$ and $α$ is a real number. In this paper it is deduced the maximum value for the general sum-connectivity index of $n$-vertex trees for $-1.7036\leq α<0$ and of $n$-vertex unicyclic graphs for $-1\le α<0$ respectively, with fixed maximum degree $\triangle $. The corresponding extremal graphs, as well as the $n$-vertex unicyclic graphs with the second maximum general sum-connectivity index for $n\ge 4$ are characterized. This extends the corresponding results by Du, Zhou and Trinajsti\' c [arXiv:1210.5043] about sum-connectivity index.
Rank of weighted digraphs with blocks
Let $G$ be a digraph and $r(G)$ be its rank. Many interesting results on the rank of an undirected graph appear in the literature, but not much information about the rank of a digraph is available. In this article, we study the rank of a digraph using the ranks of its blocks. In particular, we define classes of digraphs, namely $r_2$-digraph, and $r_0$-digraph, for which the rank can be exactly determined in terms of the ranks of subdigraphs of the blocks. Furthermore, the rank of directed trees, simple biblock graphs, and some simple block graphs are studied.
Geometric comparison of phylogenetic trees with different leaf sets
Published
• View Publication
• BIB
The metric space of phylogenetic trees defined by Billera, Holmes, and Vogtmann, which we refer to as BHV space, provides a natural geometric setting for describing collections of trees on the same set of taxa. However, it is sometimes necessary to analyze collections of trees on non-identical taxa sets (i.e., with different numbers of leaves), and in this context it is not evident how to apply BHV space. Davidson et al. recently approached this problem by describing a combinatorial algorithm extending tree topologies to regions in higher dimensional tree spaces, so that one can quickly compute which topologies contain a given tree as partial data. In this paper, we refine and adapt their algorithm to work for metric trees to give a full characterization of the subspace of extensions of a subtree. We describe how to apply our algorithm to define and search a space of possible supertrees and, for a collection of tree fragments with different leaf sets, to measure their compatibility.
Induced subgraphs of graphs with large chromatic number. XIII. New brooms
Published
• View Publication
• BIB
Gyárfás and Sumner independently conjectured that for every tree $T$, the class of graphs not containing $T$ as an induced subgraph is $χ$-bounded, that is, the chromatic numbers of graphs in this class are bounded above by a function of their clique numbers. This remains open for general trees $T$, but has been proved for some particular trees. For $k\ge 1$, let us say a broom of length $k$ is a tree obtained from a $k$-edge path with ends $a,b$ by adding some number of leaves adjacent to $b$, and we call $a$ its handle. A tree obtained from brooms of lengths $k_1,...,k_n$ by identifying their handles is a $(k_1,...,k_n)$-multibroom. Kierstead and Penrice proved that every $(1,...,1)$-multibroom $T$ satisfies the Gyárfás-Sumner conjecture, and Kierstead and Zhu proved the same for $(2,...,2)$-multibrooms. In this paper give a common generalization: we prove that every $(1,...,1,2,...,2)$-multibroom satisfies the Gyárfás-Sumner conjecture.
Action graphs, planar rooted forests, and self-convolutions of the Catalan numbers
Published in Involve 14 (2021) 387-399
• View Publication
• BIB
We show that families of action graphs, with initial graphs which are linear of varying length, give rise to self-convolutions of the Catalan sequence. We prove this result via a comparison with planar rooted forests with a fixed number of trees.
Hopf dreams and diagonal harmonics
Published in J. Lond. Math. Soc., 105(3):1546-1600, 2022
• View Publication
• BIB
This paper introduces a Hopf algebra structure on a family of reduced pipe dreams. We show that this Hopf algebra is free and cofree, and construct a surjection onto a commutative Hopf algebra of permutations. The pipe dream Hopf algebra contains Hopf subalgebras with interesting sets of generators and Hilbert series related to subsequences of Catalan numbers. Three other relevant Hopf subalgebras include the Loday-Ronco Hopf algebra on complete binary trees, a Hopf algebra related to a special family of lattice walks on the quarter plane, and a Hopf algebra on $ν$-trees related to $ν$-Tamari lattices. One of this Hopf subalgebras motivates a new notion of Hopf chains in the Tamari lattice, which are used to present applications and conjectures in the theory of multivariate diagonal harmonics.