tree
6861 papers tagged with this keyword
Cutting down $\mathbf p$-trees and inhomogeneous continuum random trees
Published
• View Publication
• BIB
We study a fragmentation of the $\mathbf p$-trees of Camarri and Pitman [Elect. J. Probab., vol. 5, pp. 1--18, 2000]. We give exact correspondences between the $\mathbf p$-trees and trees which encode the fragmentation. We then use these results to study the fragmentation of the ICRTs (scaling limits of $\mathbf p$-trees) and give distributional correspondences between the ICRT and the tree encoding the fragmentation. The theorems for the ICRT extend the ones by Bertoin and Miermont [Ann. Appl. Probab., vol. 23(4), pp. 1469--1493, 2013] about the cut tree of the Brownian continuum random tree.
On Chromatic Number and Minimum Cut
Published
• View Publication
• BIB
For a graph $G$, the tree graph ${\cal T}_{G,t}$ has all tree subgraphs of $G$ with $t$ vertices as vertex set and two tree subgraphs are neighbors if they are edge-disjoint. Also, the $r^{th}$ cut number of $G$ is the minimum number of edges between parts of a partition of vertex set of $G$ into two parts such that each part has size at least $r$. We show that if $t=(1-o(1))n$ and $n$ is large enough, then for any dense graph $G$ with $n$ vertices, the chromatic number of the tree graph ${\cal T}_{G,t}$ is equal to the $(n-t+1)^{th}$ cut number of $G$. In particular, as a consequence, we prove that if $n$ is large enough and $G$ is a dense graph, then the chromatic number of the spanning tree graph ${\cal T}_{G,n}$ is equal to the size of the minimum cut of $G$. The proof method is based on alternating Turán number inspired by Tucker's lemma, an equivalent combinatorial version of the Borsuk-Ulam theorem.
A disjoint union theorem for trees
Published
• View Publication
• BIB
We prove an infinitary disjoint union theorem for level products of trees. To implement the proof we develop a Hales-Jewett type result for words indexed by a level product of trees.
On the Complexity of the Positive Semidefinite Zero Forcing Number
Published
• View Publication
• BIB
The positive zero forcing number of a graph is a graph parameter that arises from a non-traditional type of graph colouring, and is related to a more conventional version of zero forcing. We establish a relation between the zero forcing and the fast-mixed searching, which implies some NP-completeness results for the zero forcing problem. For chordal graphs much is understood regarding the relationships between positive zero forcing and clique coverings. Building upon constructions associated with optimal tree covers and forest covers, we present a linear time algorithm for computing the positive zero forcing number of chordal graphs. We also prove that it is NP-complete to determine if a graph has a positive zero forcing set with an additional property.
On the distance preserving trees in graphs
For a vertex $v$ of a graph $G$, a spanning tree $T$ of $G$ is distance-preserving from $v$ if, for any vertex $w$, the distance from $v$ to $w$ on $T$ is the same as the distance from $v$ to $w$ on $G$. If two vertices $u$ and $v$ are distinct, then two distance-preserving spanning trees $T_{u}$ from $u$ and $T_{v}$ from $v$ are distinct in general. A purpose of this paper is to give a characterization for a given weighted graph $G$ to have a spanning tree $T$ such that $T$ is a distance-preserving spanning tree from distinct two vertices.
Combinatorics of k-Interval Cospeciation for Cophylogeny
We show that the cophylogenetic distance, k-interval cospeciation, is distinct from other metrics and accounts for global congruence between locally incongruent trees. The growth of the neighborhood of trees which satisfy the largest possible k-interval cospeciation with a given tree indicates that k-interval cospeciation is useful for analyzing simulated data.
A product for permutation groups and topological groups
Published in Duke Math. J. 166, no. 15 (2017), 2965-2999
• View Publication
• BIB
We introduce a new product for permutation groups. It takes as input two permutation groups, M and N, and produces an infinite group M [X] N which carries many of the permutational properties of M. Under mild conditions on M and N the group M [X] N is simple.
As a permutational product, its most significant property is the following: M [X] N is primitive if and only if M is primitive but not regular, and N is transitive. Despite this remarkable similarity with the wreath product in product action, M [X] N and M Wr N are thoroughly dissimilar. The product provides a general way to build exotic examples of non-discrete, simple, totally disconnected, locally compact, compactly generated topological groups from discrete groups.
We use this to solve a well-known open problem from topological group theory, by obtaining the first construction of uncountably many pairwise non-isomorphic simple topological groups that are totally disconnected, locally compact, compactly generated and non-discrete. The groups we construct all contain the same compact open subgroup.
To build the product, we describe a group U(M,N) that acts on an edge-transitive biregular tree T. This group has a natural universal property and is analogous to the iconic universal group construction of M. Burger and S. Mozes for locally finite regular trees.
Domination polynomials of k-tree related graphs
Published
• View Publication
• BIB
Let $G$ be a simple graph of order $n$. The domination polynomial of $G$ is the polynomial $D(G, x)=\sum_{i=γ(G)}^{n} d(G,i) x^{i}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$ and $γ(G)$ is the domination number of $G$. In this paper we study the domination polynomials of several classes of $k$-tree related graphs. Also, we present families of these kind of graphs, whose domination polynomial have no nonzero real roots.
Domination, Eternal Domination, and Clique Covering
Published
• View Publication
• BIB
Eternal and m-eternal domination are concerned with using mobile guards to protect a graph against infinite sequences of attacks at vertices. Eternal domination allows one guard to move per attack, whereas more than one guard may move per attack in the m-eternal domination model. Inequality chains consisting of the domination, eternal domination, m-eternal domination, independence, and clique covering numbers of graph are explored in this paper. Among other results, we characterize bipartite and triangle-free graphs with domination and eternal domination numbers equal to two, trees with equal m-eternal domination and clique covering numbers, and two classes of graphs with equal domination, eternal domination and clique covering numbers.
Equivalence classes of nodes in trees and rational generating functions
Let $c_n$ denote the number of nodes at a distance $n$ from the root of a rooted tree. A criterion for proving the rationality and computing the rational generating function of the sequence $\{c_n\}$ is described. This criterion is applied to counting the number of conjugacy classes of commuting tuples in finite groups and the number of isomorphism classes of representations of polynomial algebras over finite fields. The method for computing the rational generating functions, when applied to the study of point configurations in finite sets, gives rise to some classical combinatorial results on Bell numbers and Stirling numbers of the second kind. When applied to the study of vector configurations in a finite vector space, it reveals a connection between counting such configurations and Gaussian binomial coefficients.
On the tractability of some natural packing, covering and partitioning problems
In this paper we fix 7 types of undirected graphs: paths, paths with prescribed endvertices, circuits, forests, spanning trees, (not necessarily spanning) trees and cuts. Given an undirected graph $G=(V,E)$ and two "object types" $\mathrm{A}$ and $\mathrm{B}$ chosen from the alternatives above, we consider the following questions. \textbf{Packing problem:} can we find an object of type $\mathrm{A}$ and one of type $\mathrm{B}$ in the edge set $E$ of $G$, so that they are edge-disjoint? \textbf{Partitioning problem:} can we partition $E$ into an object of type $\mathrm{A}$ and one of type $\mathrm{B}$? \textbf{Covering problem:} can we cover $E$ with an object of type $\mathrm{A}$, and an object of type $\mathrm{B}$? This framework includes 44 natural graph theoretic questions. Some of these problems were well-known before, for example covering the edge-set of a graph with two spanning trees, or finding an $s$-$t$ path $P$ and an $s'$-$t'$ path $P'$ that are edge-disjoint. However, many others were not, for example can we find an $s$-$t$ path $P\subseteq E $ and a spanning tree $T\subseteq E$ that are edge-disjoint? Most of these previously unknown problems turned out to be NP-complete, many of them even in planar graphs. This paper determines the status of these 44 problems. For the NP-complete problems we also investigate the planar version, for the polynomial problems we consider the matroidal generalization (wherever this makes sense).
Note on the upper bound of the rainbow index of a graph
Published
• View Publication
• BIB
A path in an edge-colored graph $G$, where adjacent edges may be colored the same, is a rainbow path if every two edges of it receive distinct colors. The rainbow connection number of a connected graph $G$, denoted by $rc(G)$, is the minimum number of colors that are needed to color the edges of $G$ such that there exists a rainbow path connecting every two vertices of $G$. Similarly, a tree in $G$ is a rainbow~tree if no two edges of it receive the same color. The minimum number of colors that are needed in an edge-coloring of $G$ such that there is a rainbow tree connecting $S$ for each $k$-subset $S$ of $V(G)$ is called the $k$-rainbow index of $G$, denoted by $rx_k(G)$, where $k$ is an integer such that $2\leq k\leq n$. Chakraborty et al. got the following result: For every $ε> 0$, a connected graph with minimum degree at least $εn$ has bounded rainbow connection, where the bound depends only on $ε$. Krivelevich and Yuster proved that if $G$ has $n$ vertices and the minimum degree $δ(G)$ then $rc(G)<20n/δ(G)$. This bound was later improved to $3n/(δ(G)+1)+3$ by Chandran et al. Since $rc(G)=rx_2(G)$, a natural problem arises: for a general $k$ determining the true behavior of $rx_k(G)$ as a function of the minimum degree $δ(G)$. In this paper, we give upper bounds of $rx_k(G)$ in terms of the minimum degree $δ(G)$ in different ways, namely, via Szemerédi's Regularity Lemma, connected $2$-step dominating sets, connected $(k-1)$-dominating sets and $k$-dominating sets of $G$.
Pfaffian formulas for spanning tree probabilities
Published
• View Publication
• BIB
We show that certain topologically defined uniform spanning tree probabilities for graphs embedded in an annulus can be computed as linear combinations of Pfaffians of matrices involving the line-bundle Green's function, where the coefficients count cover-inclusive Dyck tilings of skew Young diagrams.
h-Polynomials of Reduction Trees
Reduction trees are a way of encoding a substitution procedure dictated by the relations of an algebra. We use reduction trees in the subdivision algebra to construct canonical triangulations of flow polytopes which are shellable. We explain how a shelling of the canonical triangulation can be read off from the corresponding reduction tree in the subdivision algebra. We then introduce the notion of shellable reduction trees in the subdivision and related algebras and define h-polynomials of reduction trees. In the case of the subdivision algebra, the h-polynomials of the canonical triangulations of flow polytopes equal the h-polynomials of the corresponding reduction trees, which motivated our definition. We show that the reduced forms in various algebras, which can be read off from the leaves of the reduction trees, specialize to the shifted h-polynomials of the corresponding reduction trees. This yields a technique for proving nonnegativity properties of reduced forms. As a corollary we settle a conjecture of A.N. Kirillov.
Which nestohedra are removahedra?
Published in Rev. Colombiana Mat., 51(1):21-42, 2017
• View Publication
• BIB
A removahedron is a polytope obtained by deleting inequalities from the facet description of the classical permutahedron. Relevant examples range from the associahedra to the permutahedron itself, which raises the natural question to characterize which nestohedra can be realized as removahedra. In this note, we show that the nested complex of any connected building set closed under intersection can be realized as a removahedron. We present two different complementary proofs: one based on the building trees and the nested fan, and the other based on Minkowski sums of dilated faces of the standard simplex. In general, this closure condition is sufficient but not necessary to obtain removahedra. However, we show that it is also necessary to obtain removahedra from graphical building sets, and that it is equivalent to the corresponding graph being chordful (i.e. any cycle induces a clique).
Turan Problems and Shadows III: expansions of graphs
Published
• View Publication
• BIB
The expansion $G^+$ of a graph $G$ is the $3$-uniform hypergraph obtained from $G$ by enlarging each edge of $G$ with a new vertex disjoint from $V(G)$ such that distinct edges are enlarged by distinct vertices. Let $ex_3(n,F)$ denote the maximum number of edges in a $3$-uniform hypergraph with $n$ vertices not containing any copy of a $3$-uniform hypergraph $F$. The study of $ex_3(n,G^+)$ includes some well-researched problems, including the case that $F$ consists of $k$ disjoint edges, $G$ is a triangle, $G$ is a path or cycle, and $G$ is a tree. In this paper we initiate a broader study of the behavior of $ex_3(n,G^+)$. Specifically, we show \[ ex_3(n,K_{s,t}^+) = Θ(n^{3 - 3/s})\] whenever $t > (s - 1)!$ and $s \geq 3$. One of the main open problems is to determine for which graphs $G$ the quantity $ex_3(n,G^+)$ is quadratic in $n$. We show that this occurs when $G$ is any bipartite graph with Turán number $o(n^{\varphi})$ where $\varphi = \frac{1 + \sqrt{5}}{2}$, and in particular, this shows $ex_3(n,Q^+) = Θ(n^2)$ where $Q$ is the three-dimensional cube graph.
From G-parking functions to B-parking functions
Published in Fengming Dong, From G-parking functions to B-parking functions. J. Combin. Theory Ser. A 160 (2018 Nov), 84-110
• View Publication
• BIB
A matching $M$ in a multigraph $G=(V,E)$ is said to be uniquely restricted if $M$ is the only perfect matching in the subgraph of $G$ induced by $V(M)$ (i.e., the set of vertices saturated by $M$). For any fixed vertex $x_0$ in $G$, there is a bijection from the set of spanning trees of $G$ to the set of uniquely restricted matchings of size $|V|-1$ in $S(G)-x_0$, where $S(G)$ is the bipartite graph obtained from $G$ by subdividing each edge in $G$. Thus the notion "uniquely restricted matchings of a bipartite graph $H$ saturating all vertices in a partite set $X$" can be viewed as an extension of "spanning trees in a connected graph". Motivated by this observation, we extend the notion "G-parking functions" of a connected multigraph to "B-parking functions" $f:X\rightarrow \{-1,0,1,2,\cdots \}$ of a bipartite graph $H$ with a bipartition $(X,Y)$ and find a bijection $ψ$ from the set of uniquely restricted matchings of $H$ to the set of B-parking functions of $H$. We also show that for any uniquely restricted matching $M$ in $H$ with $|M|=|X|$, if $f=ψ(M)$, then $\sum_{x\in X}f(x)$ is exactly the number of elements $y\in Y-V(M)$ which are not externally B-active with respect to $M$ in $H$, where the new notion "externally B-active members with respect to $M$ in $H$" is an extension of "externally active edges with respect to a spanning tree in a connected multigraph".
Automorphism Groups of Geometrically Represented Graphs
We describe a technique to determine the automorphism group of a geometrically represented graph, by understanding the structure of the induced action on all geometric representations. Using this, we characterize automorphism groups of interval, permutation and circle graphs. We combine techniques from group theory (products, homomorphisms, actions) with data structures from computer science (PQ-trees, split trees, modular trees) that encode all geometric representations.
We prove that interval graphs have the same automorphism groups as trees, and for a given interval graph, we construct a tree with the same automorphism group which answers a question of Hanlon [Trans. Amer. Math. Soc 272(2), 1982]. For permutation and circle graphs, we give an inductive characterization by semidirect and wreath products. We also prove that every abstract group can be realized by the automorphism group of a comparability graph/poset of the dimension at most four.
On the complexity of $\mathbb H$-coloring for special oriented trees
For a fixed digraph $\mathbb H$, the $\mathbb H$-coloring problem is the problem of deciding whether a given input digraph $\mathbb G$ admits a homomorphism to $\mathbb H$. The CSP dichotomy conjecture of Feder and Vardi is equivalent to proving that, for any $\mathbb H$, the $\mathbb H$-coloring problem is in in P or NP-complete. We confirm this dichotomy for a certain class of oriented trees, which we call special trees (generalizing earlier results on special triads and polyads). Moreover, we prove that every tractable special oriented tree has bounded width, i.e., the corresponding $\mathbb H$-coloring problem is solvable by local consistency checking. Our proof relies on recent algebraic tools, namely characterization of congruence meet-semidistributivity via pointing operations and absorption theory.
Synchronization of finite-state pulse-coupled oscillators
Published
• View Publication
• BIB
We propose a novel generalized cellular automaton(GCA) model for discrete-time pulse-coupled oscillators and study the emergence of synchrony. Given a finite simple graph and an integer $n\ge 3$, each vertex is an identical oscillator of period $n$ with the following weak coupling along the edges: each oscillator inhibits its phase update if it has at least one neighboring oscillator at a particular "blinking" state and if its state is ahead of this blinking state. We obtain conditions on initial configurations and on network topologies for which states of all vertices eventually synchronize. We show that our GCA model synchronizes arbitrary initial configurations on paths, trees, and with random perturbation, any connected graph. In particular, our main result is the following local-global principle for tree networks: for $n\in \{3,4,5,6\}$, any $n$-periodic network on a tree synchronizes arbitrary initial configuration if and only if the maximum degree of the tree is less than the period $n$.