tree
6737 papers tagged with this keyword
Dominator Chromatic Numbers of Orientations of Trees
In this paper we prove that the dominator chromatic number of every oriented tree is invariant under reversal of orientation. In addition to this marquee result, we also prove the exact dominator chromatic number for arborescences and anti-arborescences as well as bounds on other orientations of oft studied tree topologies including generalized stars and caterpillars.
Subtrees of a Given size in Schroeder Trees
In this paper we find the generating function for the number of vertices which have $k$ elements in their subtree and use this generating function to calculate the probability that a vertex has a size $k$ subtree. We also show how this same technique can be applied to calculate the probabilities for other trees and specifically apply it to Motzkin trees.
Testing isomorphism of circular-arc graphs -- Hsu's approach revisited
Circular-arc graphs are intersection graphs of arcs on the circle. The aim of our work is to present a polynomial time algorithm testing whether two circular-arc graphs are isomorphic. To accomplish our task we construct decomposition trees, which are the structures representing all normalized intersection models of circular-arc graphs. Normalized models reflect the neighbourhood relation in circular-arc graphs and can be seen as their canonical representations; in particular, every intersection model can be easily transformed into a normalized one.
Our work adapts and appropriately extends the previous work on the similar topic done by Hsu [\emph{SIAM J. Comput. 24(3), 411--439, (1995)}]. In his work, Hsu developed decomposition trees representing all normalized models of circular-arc graphs. However due to the counterexample given in [\emph{Discrete Math. Theor. Comput. Sci., 15(1), 157--182, 2013}], his decomposition trees can not be used by algorithms testing isomorphism of circular-arc graphs.
Convergence of odd-angulations via symmetrization of labeled trees
Fix $p\geq 5$ an odd integer integer. Let $M_n$ be a uniform $p$-angulation with $n$ vertices and endowed with the uniform probability measure on its vertices. We prove that, there exists $C_p\in \mathbb{R}_+$ such that, after rescaling distances by $C_p/n^{1/4}$, $M_n$ converges in distribution for the Gromov-Hausdorff-Prokhorov topology towards the Brownian map. To prove the preceding fact, we introduce a `bootstrapping' principle for distributional convergence of random labelled plane trees. In particular, the latter allows to obtain an invariance principle for labeled multitype Galton-Watson trees, with only a weak assumption on the centering of label displacements
Independent double Roman domination in graphs
An independent double Roman dominating function (IDRDF) on a graph $G=(V,E)$ is a function $f:V(G)\rightarrow \{0,1,2,3\}$ having the property that if $f(v)=0$, then the vertex $v$ has at least two neighbors assigned $2$ under $f$ or one neighbor $w$ with assigned $3$ under $f$, and if $f(v)=1$, then there exists $w\in N(v)$ with $f(w)\geq2$ such that the positive weight vertices are independent. The weight of an IDRDF is the value $\sum_{u\in V}f(u)$. The independent double Roman domination number $i_{dR}(G)$ of a graph $G$ is the minimum weight of an IDRDF on G. We initiate the study of the independent double Roman domination and show its relationships to both independent domination number (IDN) and independent Roman $\{2\}$-domination number (IR2DN). We present several sharp bounds on the IDRDN of a graph $G$ in terms of the order of $G$, maximum degree and the minimum size of edge cover. Finally, we show that, any ordered pair $(a,b)$ is realizable as the IDN and IDRDN of some non-trivial tree if and only if $2a + 1 \le b \le 3a$.
Spanning tree modulus for secure broadcast games
The theory of $p$-modulus provides a general framework for quantifying the richness of a family of objects on a graph. When applied to the family of spanning trees, $p$-modulus has an interesting probabilistic interpretation. In particular, the $2$-modulus problem in this case has been shown to be equivalent to the problem of finding a probability distribution on spanning trees that utilizes the edges of the graph as evenly as possible. In the present work, we use this fact to produce a game-theoretic interpretation of modulus by employing modulus to solve a secure broadcast game.
A characterization of maximal 2-dimensional subgraphs of transitive graphs
A transitive graph is 2-dimensional if it can be represented as the intersection of two linear orders. Such representations make answering of reachability queries trivial, and allow many problems that are NP-hard on arbitrary graphs to be solved in polynomial time. One may therefore be interested in finding 2-dimensional graphs that closely approximate a given graph of arbitrary order dimension.
In this paper we show that the maximal 2-dimensional subgraphs of a transitive graph G are induced by the optimal near-transitive orientations of the complement of G. The same characterization holds for the maximal permutation subgraphs of a transitively orientable graph. We provide an algorithm that enables this problem reduction in near-linear time, and an approach for enlarging non-maximal 2-dimensional subgraphs, such as trees.
A tree distinguishing polynomial
We define a bivariate polynomial for unlabeled rooted trees and show that the polynomial of an unlabeled rooted tree $T$ is the generating function of a class of subtrees of $T$. We prove that the polynomial is a complete isomorphism invariant for unlabeled rooted trees. Then, we generalize the polynomial to unlabeled unrooted trees and we show that the generalized polynomial is a complete isomorphism invariant for unlabeled unrooted trees.
$X$-Ramanujan Graphs
Let $X$ be an infinite graph of bounded degree; e.g., the Cayley graph of a free product of finite groups. If $G$ is a finite graph covered by $X$, it is said to be $X$-Ramanujan if its second-largest eigenvalue $λ_2(G)$ is at most the spectral radius $ρ(X)$ of $X$, and more generally $k$-quasi-$X$-Ramanujan if $λ_k(G)$ is at most $ρ(X)$. In case $X$ is the infinite $Δ$-regular tree, this reduces to the well known notion of a finite $Δ$-regular graph being Ramanujan. Inspired by the Interlacing Polynomials method of Marcus, Spielman, and Srivastava, we show the existence of infinitely many $k$-quasi-$X$-Ramanujan graphs for a variety of infinite $X$. In particular, $X$ need not be a tree; our analysis is applicable whenever $X$ is what we call an additive product graph. This additive product is a new construction of an infinite graph $\mathsf{AddProd}(A_1, \dots, A_c)$ from finite 'atom' graphs $A_1, \dots, A_c$ over a common vertex set. It generalizes the notion of the free product graph $A_1 * \cdots * A_c$ when the atoms $A_j$ are vertex-transitive, and it generalizes the notion of the universal covering tree when the atoms $A_j$ are single-edge graphs. Key to our analysis is a new graph polynomial $α(A_1, \dots, A_c;x)$ that we call the additive characteristic polynomial. It generalizes the well known matching polynomial $μ(G;x)$ in case the atoms $A_j$ are the single edges of $G$, and it generalizes the $r$-characteristic polynomial introduced in [Ravichandran'16, Leake-Ravichandran'18]. We show that $α(A_1, \dots, A_c;x)$ is real-rooted, and all of its roots have magnitude at most $ρ(\mathsf{AddProd}(A_1, \dots, A_c))$. This last fact is proven by generalizing Godsil's notion of treelike walks on a graph $G$ to a notion of freelike walks on a collection of atoms $A_1, \dots, A_c$.
Protection numbers in simply generated trees and Pólya trees
We determine the limit of the expected value and the variance of the protection number of the root in simply generated trees, in Pólya trees, and in unlabelled non-plane binary trees, when the number of vertices tends to infinity. Moreover, we compute expectation and variance of the protection number of a randomly chosen vertex in all those tree classes. We obtain exact formulas as sum representations, where the obtained sums are rapidly converging and therefore allowing an efficient numerical computation of high accuracy. Most proofs are based on a singularity analysis of generating functions.
The asymptotics of the partition of the cube into Weyl simplices, and an encoding of a Bernoulli scheme
Published in Funct. Anal. and Appl.#2,v.53,2019
• Search Publication
We suggest a combinatorial method of encoding continuous symbolic dynamical systems. A~continuous phase space, the infinite-dimensional cube, turns into the path space of a tree, and the shift is mapped to a transformation which was called a "transfer." The central problem is that of distinguishability: does the encoding separate almost all points of the space? The main result says that the partition of the cube into Weyl simplices satisfies this property.\footnote{{\it Keywords:} combinatorial encoding, transfer, Bernoulli scheme, graded graph.
Bounding the number of $(σ,ρ)$-dominating sets in trees, forests and graphs of bounded pathwidth
The notion of $(σ,ρ)$-dominating set generalizes many notions including dominating set, induced matching, perfect codes or independent sets. Bounds on the maximal number of such (maximal, minimal) sets were established for different $σ$ and $ρ$ and different classes of graphs. In particular, Rote showed that the number of minimal dominating sets in trees of order $n$ is at most $95^{\frac{n}{13}}$ and Golovach et Al. computed the asymptotic of the number of $(σ,ρ)$-dominating sets in paths for all $σ$ and $ρ$.
Here, we propose a method to compute bounds on the number of $(σ,ρ)$-dominating sets in graphs or bounded pathwidth, trees and forests, under the conditions that $σ$ and $ρ$ are finite unions of (possibly infinite) arithmetic progressions. It seems that this method shouldn't always work, but in practice we are able to give many sharp bounds by direct application of the method. Moreover, in the case of graphs of bounded pathwidth, we deduce the existence of an algorithm that can output abritrarily good approximations of the growth rate.
On functions computed on trees
Published in Neural Computation 31 (2019), no. 11, 2075--2137
• View Publication
• BIB
Any function can be constructed using a hierarchy of simpler functions through compositions. Such a hierarchy can be characterized by a binary rooted tree. Each node of this tree is associated with a function which takes as inputs two numbers from its children and produces one output. Since thinking about functions in terms of computation graphs is getting popular we may want to know which functions can be implemented on a given tree. Here, we describe a set of necessary constraints in the form of a system of non-linear partial differential equations that must be satisfied. Moreover, we prove that these conditions are sufficient in both contexts of analytic and bit-valued functions. In the latter case, we explicitly enumerate discrete functions and observe that there are relatively few. Our point of view allows us to compare different neural network architectures in regard to their function spaces. Our work connects the structure of computation graphs with the functions they can implement and has potential applications to neuroscience and computer science.
Catalan Intervals and Uniquely Sorted Permutations
For each positive integer $k$, we consider five well-studied posets defined on the set of Dyck paths of semilength $k$. We prove that uniquely sorted permutations avoiding various patterns are equinumerous with intervals in these posets. While most of our proofs are bijective, some use generating trees and generating functions. We end with several conjectures.
Reconstructing phylogenetic trees from multipartite quartet systems
Published
• View Publication
• BIB
A phylogenetic tree is a graphical representation of an evolutionary history of taxa in which the leaves correspond to the taxa and the non-leaves correspond to speciations. One of important problems in phylogenetic analysis is to assemble a global phylogenetic tree from small phylogenetic trees, particularly, quartet trees. {\sc Quartet Compatibility} is the problem of deciding whether there is a phylogenetic tree inducing a given collection of quartet trees, and to construct such a phylogenetic tree if it exists. It is known that {\sc Quartet Compatibility} is NP-hard and that there are only a few results known for polynomial-time solvable subclasses. In this paper, we introduce two novel classes of quartet systems, called complete multipartite quartet system and full multipartite quartet system, and present polynomial-time algorithms for {\sc Quartet Compatibility} for these systems.
The game chromatic index of trees of maximum degree 4 with at most three degree-four vertices in a row
Fong et al. (The game chromatic index of some trees with maximum degree four and adjacent degree-four vertices, J. Comb Optim 36 (2018) 1-12) proved that the game chromatic index of any tree $T$ of maximum degree 4 whose degree-four vertices induce a forest of paths of length $l$ less than 2 is at most 5. In this paper, we show that the bound 5 is also valid for $l\leq 2$. This partially solves the problem of characterization of the trees whose game chromatic index exceeds the maximum degree by at most 1, which was proposed by Cai and Zhu (Game chromatic index of $k$-degenerate graphs, J. Graph Theory 36 (2001) 144-155).
Some variations on Lyndon words
In this paper we compare two finite words $u$ and $v$ by the lexicographical order of the infinite words $u^ω$ and $v^ω$. Informally, we say that we compare $u$ and $v$ by the infinite order. We show several properties of Lyndon words expressed using this infinite order. The innovative aspect of this approach is that it allows to take into account also non trivial conditions on the prefixes of a word, instead that only on the suffixes. In particular, we derive a result of Ufnarovskij [V. Ufnarovskij, "Combinatorial and asymptotic methods in algebra", 1995] that characterizes a Lyndon word as a word which is greater, with respect to the infinite order, than all its prefixes. Motivated by this result, we introduce the prefix standard permutation of a Lyndon word and the corresponding (left) Cartesian tree. We prove that the left Cartesian tree is equal to the left Lyndon tree, defined by the left standard factorization of Viennot [G. Viennot, "Algèbres de Lie libres et monoïdes libres", 1978]. This result is dual with respect to a theorem of Hohlweg and Reutenauer [C. Hohlweg and C. Reutenauer, "Lyndon words, permutations and trees", 2003].
Parametric shortest-path algorithms via tropical geometry
Published
• View Publication
• BIB
We study parameterized versions of classical algorithms for computing shortest-path trees. This is most easily expressed in terms of tropical geometry. Applications include shortest paths in traffic networks with variable link travel times.
Restricted online Ramsey numbers of matchings and trees
Consider a two-player game between players Builder and Painter. Painter begins the game by picking a coloring of the edges of $K_n$, which is hidden from Builder. In each round, Builder points to an edge and Painter reveals its color. Builder's goal is to locate a particular monochromatic structure in Painter's coloring by revealing the color of as few edges as possible. The fewest number of turns required for Builder to win this game is known as the restricted online Ramsey number. In this paper, we consider the situation where this "particular monochromatic structure" is a large matching or a large tree. We show that in any $t$-coloring of $E(K_n)$, Builder can locate a monochromatic matching on at least ${n-t+1\over t+1}$ edges by revealing at most $O(n\log t)$ edges. We show also that in any $3$-coloring of $E(K_n)$, Builder can locate a monochromatic tree on at least $n/2$ vertices by revealing at most $5n$ edges.
Color Refinement, Homomorphisms, and Hypergraphs
Recent results show that the structural similarity of graphs can be characterized by counting homomorphisms to them: the Tree Theorem states that the well-known color-refinement algorithm does not distinguish two graphs G and H if and only if, for every tree T, the number of homomorphisms Hom(T,G) from T to G is equal to the corresponding number Hom(T,H) from T to H (Dell, Grohe, Rattan 2018). We show how this approach transfers to hypergraphs by introducing a generalization of color refinement. We prove that it does not distinguish two hypergraphs G and H if and only if, for every connected Berge-acyclic hypergraph B, we have Hom(B,G) = Hom(B,H). To this end, we show how homomorphisms of hypergraphs and of a colored variant of their incidence graphs are related to each other. This reduces the above statement to one about vertex-colored graphs.