tree
6861 papers tagged with this keyword
Trajectories in random minimal transposition factorizations
We study random typical minimal factorizations of the $n$-cycle, which are factorizations of $(1, \ldots,n)$ as a product of $n-1$ transpositions, chosen uniformly at random. Our main result is, roughly speaking, a local convergence theorem for the trajectories of finitely many points in the factorization. The main tool is an encoding of the factorization by an edge and vertex-labelled tree, which is shown to converge to Kesten's infinite Bienaymé-Galton-Watson tree with Poisson offspring distribution, uniform i.i.d. edge labels and vertex labels obtained by a local exploration algorithm.
Finding Maximal Sets of Laminar 3-Separators in Planar Graphs in Linear Time
Published
• View Publication
• BIB
We consider decomposing a 3-connected planar graph $G$ using laminar separators of size three. We show how to find a maximal set of laminar 3-separators in such a graph in linear time. We also discuss how to find maximal laminar set of 3-separators from special families. For example we discuss non-trivial cuts, ie. cuts which split $G$ into two components of size at least two. For any vertex $v$, we also show how to find a maximal set of 3-separators disjoint from $v$ which are laminar and satisfy: every vertex in a separator $X$ has two neighbours not in the unique component of $G-X$ containing $v$. In all cases, we show how to construct a corresponding tree decomposition of adhesion three. Our new algorithms form an important component of recent methods for finding disjoint paths in nonplanar graphs.
Lattice consensus: A partial order on phylogenetic trees that induces an associatively stable consensus method
There is a long tradition of the axiomatic study of consensus methods in phylogenetics that satisfy certain desirable properties. One recently-introduced property is associative stability, which is desirable because it confers a computational advantage, in that the consensus method only needs to be computed "pairwise". In this paper, we introduce a phylogenetic consensus method that satisfies this property, in addition to being "regular". The method is based on the introduction of a partial order on the set of rooted phylogenetic trees, itself based on the notion of a hierarchy-preserving map between trees. This partial order may be of independent interest. We call the method "lattice consensus", because it takes the unique maximal element in a lattice of trees defined by the partial order. Aside from being associatively stable, lattice consensus also satisfies the property of being Pareto on rooted triples, answering in the affirmative a question of Bryant et al (2017). We conclude the paper with an answer to another question of Bryant et al, showing that there is no regular extension stable consensus method for binary trees.
Classes of treebased networks
Published
• View Publication
• BIB
Recently, so-called treebased phylogenetic networks have gained considerable interest in the literature, where a treebased network is a network that can be constructed from a phylogenetic tree, called the base tree, by adding additional edges. The main aim of this manuscript is to provide some sufficient criteria for treebasedness by reducing phylogenetic networks to related graph structures. While it is generally known that deciding whether a network is treebased is NP-complete, one of these criteria, namely edgebasedness, can be verified in linear time. Surprisingly, the class of edgebased networks is closely related to a well-known family of graphs, namely the class of generalized series parallel graphs, and we will explore this relationship in full detail. Additionally, we introduce further classes of treebased networks and analyze their relationships.
Unrooted non-binary tree-based phylogenetic networks
Published
• View Publication
• BIB
Phylogenetic networks are a generalization of phylogenetic trees allowing for the representation of non-treelike evolutionary events such as hybridization. Typically, such networks have been analyzed based on their `level', i.e. based on the complexity of their 2-edge-connected components. However, recently the question of how `treelike' a phylogenetic network is has become the center of attention in various studies. This led to the introduction of \emph{tree-based networks}, i.e. networks that can be constructed from a phylogenetic tree, called the \emph{base tree}, by adding additional edges. While the concept of tree-basedness was originally introduced for rooted phylogenetic networks, it has recently also been considered for unrooted networks. In the present study, we compare and contrast findings obtained for unrooted \emph{binary} tree-based networks to unrooted \emph{non-binary} networks. In particular, while it is known that up to level 4 all unrooted binary networks are tree-based, we show that in the case of non-binary networks, this result only holds up to level 3.
Anti-$k$-labeling of graphs
Published
• View Publication
• BIB
It is well known that the labeling problems of graphs arise in many (but not limited to) networking and telecommunication contexts. In this paper we introduce the anti-$k$-labeling problem of graphs which we seek to minimize the similarity (or distance) of neighboring nodes. For example, in the fundamental frequency assignment problem in wireless networks where each node is assigned a frequency, it is usually desirable to limit or minimize the frequency gap between neighboring nodes so as to limit interference.
Let $k\geq1$ be an integer and $ψ$ is a labeling function (anti-$k$-labeling) from $V(G)$ to $\{1,2,\cdots,k\}$ for a graph $G$. A {\em no-hole anti-$k$-labeling} is an anti-$k$-labeling using all labels between 1 and $k$. We define $w_ψ(e)=|ψ(u)-ψ(v)|$ for an edge $e=uv$ and $w_ψ(G)=\min\{w_ψ(e):e\in E(G)\}$ for an anti-$k$-labeling $ψ$ of the graph $G$. {\em The anti-$k$-labeling number} of a graph $G$, $mc_k(G)$ is $\max\{w_ψ(G): ψ\}$. In this paper, we first show that $mc_k(G)=\lfloor \frac{k-1}{χ-1}\rfloor$, and the problem that determines $mc_k(G)$ of graphs is NP-hard. We mainly obtain the lower bounds on no-hole anti-$n$-labeling number for trees, grids and $n$-cubes.
Squared distance matrix of a weighted tree
Published
• View Publication
• BIB
Let $T$ be a tree with vertex set $\{1, \ldots, n\}$ such that each edge is assigned a nonzero weight. The squared distance matrix of $T,$ denoted by $Δ,$ is the $n \times n$ matrix with $(i,j)$-element $d(i,j)^2,$ where $d(i,j)$ is the sum of the weights of the edges on the $(ij)$-path. We obtain a formula for the determinant of $Δ.$ A formula for $Δ^{-1}$ is also obtained, under certain conditions. The results generalize known formulas for the unweighted case.
On the null structure of bipartite graphs without cycles of length a multiple of 4
Published
• View Publication
• BIB
In this work we study the null space of bipartite graphs without cycles of length multiple of $4$, and its relation to structural properties. We decompose them into two subgraphs: $C_N(G)$ and $C_S(G)$. $C_N(G)$ has perfect matching and its adjacency matrix is nonsingular. $C_S(G)$ has a unique maximum independent set and the dimension of its null space equals the dimension of the null space of $G$. Even more, we show that the fundamental spaces of $G$ are the direct sum of the fundamental spaces of $C_N(G)$ and $C_S(G)$. We also obtain formulas relating the independence number and the matching number of a $C_{4k}$-free bipartite graph with $C_N(G)$ and $C_S(G)$, and the dimensions of the fundamental spaces. Among other results, we show that the rank of a $C_{4k}$-free bipartite graph is twice its matching number, generalizing a result for trees due to Bevis et al \cite{bevis1995ranks}, and Cvetković and Gutman \cite{D1972}. About maximum independent sets, we show that the intersection of all maximum independent sets of a $C_{4k}$-free bipartite graph coincides with the support of its null space.
Left-Right Pairs and Complex Forests of Infinite Rooted Binary Trees
Published
• View Publication
• BIB
Let $\mathcal{D}_0:= \{x + iy \ \vert x, y >0\}$, and let $(L, R)$ be a pair of Möbius transformations corresponding to $\mathrm{SL}_2(\mathbb{N}_0)$ matrices such that $R(\mathcal{D}_0)$ and $L(\mathcal{D}_0)$ are disjoint. Given such a pair (called a left-right pair), we can construct a directed graph $\mathcal{F}(L, R)$ with vertices $\mathcal{D}_0$ and edges $\{(z, R(z))\}_{z \in \mathcal{D}_0} \cup \{(z, L(z))\}_{z \in \mathcal{D}_0}$, which is a collection of infinite binary trees. We answer two questions of Nathanson by classifying all the pairs of elements of $\mathrm{SL}_2(\mathbb{N}_0)$ whose corresponding Möbius transformations form left-right pairs and showing that trees in $\mathcal{F}(L, R)$ are always rooted.
Maker-Breaker domination number
Published
• View Publication
• BIB
The Maker-Breaker domination game is played on a graph $G$ by Dominator and Staller. The players alternatively select a vertex of $G$ that was not yet chosen in the course of the game. Dominator wins if at some point the vertices he has chosen form a dominating set. Staller wins if Dominator cannot form a dominating set. In this paper we introduce the Maker-Breaker domination number $γ_{\rm MB}(G)$ of $G$ as the minimum number of moves of Dominator to win the game provided that he has a winning strategy and is the first to play. If Staller plays first, then the corresponding invariant is denoted $γ_{\rm MB}'(G)$. Comparing the two invariants it turns out that they behave much differently than the related game domination numbers. The invariant $γ_{\rm MB}(G)$ is also compared with the domination number. Using the Erdős-Selfridge Criterion a large class of graphs $G$ is found for which $γ_{\rm MB}(G) > γ(G)$ holds. Residual graphs are introduced and used to bound/determine $γ_{\rm MB}(G)$ and $γ_{\rm MB}'(G)$. Using residual graphs, $γ_{\rm MB}(T)$ and $γ_{\rm MB}'(T)$ are determined for an arbitrary tree. The invariants are also obtained for cycles and bounded for union of graphs. A list of open problems and directions for further investigations is given.
The Zonotopal Algebra of the Broken Wheel Graph and its Generalization
Published
• View Publication
• BIB
The machinery of zonotopal algebra is linked with two particular polytopes: the Stanley-Pitman polytope and the regular simplex $\mathfrak{Sim}_n(t_1,...,t_n)$ with parameters $t_1,...,t_n\in \mathbb{R}_+^n$, defined by the inequalities $\sum_{i=1}^n r_i\leq \sum_{i=1}^n t_i, \mbox{ } r_i\in \mathbb{R}_+^n,$ where the $(r_i)_{i\in [n]}$ are variables. Specifically, we will discuss the central Dahmen-Micchelli space of the broken wheel graph $BW_n$ and its dual, the $\mathcal{P}$-central space. We will observe that the $\mathcal{P}$-central space of $BW_n$ is monomial, with a basis given by the $BW_n$-parking functions. We will show that the volume polynomial of the the Stanley-Pitman polytope lies in the central Dahmen-Micchelli space of $BW_n$ and is precisely the polynomial in a particular basis of the central Dahmen-Micchelli space which corresponds to the monomial $t_1t_2\cdots t_n$ in the dual monomial basis of the $\mathcal{P}$-central space. We will then define the generalized broken wheel graph $GBW_n(T)$ for a given rooted tree $T$ on $n$ vertices. For every such tree, we can construct $2^{n-1}$ directed graphs, which we will refer to as \textit{generalized broken wheel graphs}. Each generalized broken wheel graph constructed from $T$ will give us a polytope, its volume polynomial, and a \textit{reference monomial}. The $2^{n-1}$ polytopes together give a polyhedral subdivision of $\mathfrak{Sim}_n(t_1,...,t_n)$, their volume polynomials together give a basis for the subspace of homogeneous polynomials of degree $n$ of the corresponding central Dahmen-Micchelli space, and their reference monomials together give a basis for its dual.
Ramanujan complexes and Golden Gates in PU(3)
Published in Geometric and Functional Analysis 32:193-235 (2022)
• View Publication
• BIB
In a seminal series of papers from the 80's, Lubotzky, Phillips and Sarnak applied the Ramanujan-Petersson Conjecture for $GL_{2}$ (Deligne's theorem), to a special family of arithmetic lattices, which act simply-transitively on the Bruhat-Tits trees associated with $SL_{2}(\mathbb{Q}_{p})$. As a result, they obtained explicit Ramanujan Cayley graphs from $PSL_{2}\left(\mathbb{F}_{p}\right)$, as well as optimal topological generators ("Golden Gates") for the compact Lie group $PU(2)$. In higher dimension, the naive generalization of the Ramanujan Conjecture fails, due to the phenomenon of endoscopic lifts. In this paper we overcome this problem for $PU_{3}$ by constructing a family of arithmetic lattices which act simply-transitively on the Bruhat-Tits buildings associated with $SL_{3}(\mathbb{Q}_{p})$ and $SU_{3}(\mathbb{Q}_{p})$, while at the same time do not admit any representation which violates the Ramanujan Conjecture. This gives us Ramanujan complexes from $PSL_{3}(\mathbb{F}_{p})$ and $PSU_{3}(\mathbb{F}_{p})$, as well as golden gates for $PU(3)$.
Geometry of the minimal spanning tree of a random $3$-regular graph
Published
• View Publication
• BIB
The global structure of the minimal spanning tree (MST) is expected to be universal for a large class of underlying random discrete structures. However, very little is known about the intrinsic geometry of MSTs of most standard models, and so far the scaling limit of the MST viewed as a metric measure space has only been identified in the case of the complete graph [5]. In this work, we show that the MST constructed by assigning i.i.d. continuous edge-weights to either the random (simple) $3$-regular graph or the $3$-regular configuration model on $n$ vertices, endowed with the tree distance scaled by $n^{-1/3}$ and the uniform probability measure on the vertices, converges in distribution with respect to Gromov-Hausdorff-Prokhorov topology to a random compact metric measure space. Further, this limiting space has the same law as the scaling limit of the MST of the complete graph identified in [5] up to a scaling factor of $6^{1/3}$. Our proof relies on a novel argument that proceeds via a comparison between a $3$-regular configuration model and the largest component in the critical Erdős-Rényi random graph. The techniques of this paper can be used to establish the scaling limit of the MST in the setting of general random graphs with given degree sequences provided two additional technical conditions are verified.
On the Relationship between Energy Complexity and other Boolean Function Measures
Published
• View Publication
• BIB
In this work we investigate into energy complexity, a Boolean function measure related to circuit complexity. Given a circuit $\mathcal{C}$ over the standard basis $\{\vee_2,\wedge_2,\neg\}$, the energy complexity of $\mathcal{C}$, denoted by $\mathrm{EC}(\mathcal{C})$, is the maximum number of its activated inner gates over all inputs. The energy complexity of a Boolean function $f$, denoted by $\mathrm{EC}(f)$, is the minimum of $\mathrm{EC}(\mathcal{C})$ over all circuits $\mathcal{C}$ computing $f$. This concept has attracted lots of attention in literature. Recently, Dinesh, Otiv, and Sarma [COCOON'18] gave $\mathrm{EC}(f)$ an upper bound in terms of the decision tree complexity, $\mathrm{EC}(f)=O(\mathrm{D}(f)^3)$. They also showed that $\mathrm{EC}(f)\leq 3n-1$, where $n$ is the input size. Recall that the minimum size of circuit to compute $f$ could be as large as $2^n/n$. We improve their upper bounds by showing that $\mathrm{EC}(f)\leq\min\{\frac12\mathrm{D}(f)^2+O(\mathrm{D}(f)),n+2\mathrm{D}(f)-2\}$. For the lower bound, Dinesh, Otiv, and Sarma defined positive sensitivity, a complexity measure denoted by $\mathrm{psens}(f)$, and showed that $\mathrm{EC}(f)\ge\frac{1}{3}\mathrm{psens}(f)$. They asked whether $\mathrm{EC}(f)$ can also be lower bounded by a polynomial of $\mathrm{D}(f)$. In this paper we affirm it by proving $\mathrm{EC}(f)=Ω(\sqrt{\mathrm{D}(f)})$. For non-degenerated functions with input size $n$, we give another lower bound $\mathrm{EC}(f)=Ω(\log{n})$. All these three lower bounds are incomparable to each other. Besides, we also examine the energy complexity of $\mathtt{OR}$ functions and $\mathtt{ADDRESS}$ functions, which implies the tightness of our two lower bounds respectively. In addition, the former one answers another open question asking for a non-trivial lower bounds for the energy complexity of $\mathtt{OR}$ functions.
Packing chromatic vertex-critical graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (February 18, 2019) dmtcs:4878
• View Publication
• BIB
The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ such that the vertex set of $G$ can be partitioned into sets $V_i$, $i\in [k]$, where vertices in $V_i$ are pairwise at distance at least $i+1$. Packing chromatic vertex-critical graphs, $χ_ρ$-critical for short, are introduced as the graphs $G$ for which $χ_ρ(G-x) < χ_ρ(G)$ holds for every vertex $x$ of $G$. If $χ_ρ(G) = k$, then $G$ is $k$-$χ_ρ$-critical. It is shown that if $G$ is $χ_ρ$-critical, then the set $\{χ_ρ(G) - χ_ρ(G-x):\ x\in V(G)\}$ can be almost arbitrary. The $3$-$χ_ρ$-critical graphs are characterized, and $4$-$χ_ρ$-critical graphs are characterized in the case when they contain a cycle of length at least $5$ which is not congruent to $0$ modulo $4$. It is shown that for every integer $k\ge 2$ there exists a $k$-$χ_ρ$-critical tree and that a $k$-$χ_ρ$-critical caterpillar exists if and only if $k\le 7$. Cartesian products are also considered and in particular it is proved that if $G$ and $H$ are vertex-transitive graphs and ${\rm diam(G)} + {\rm diam}(H) \le χ_ρ(G)$, then $G\,\square\, H$ is $χ_ρ$-critical.
Spanning trees in random graphs
Published
• View Publication
• BIB
For each $Δ>0$, we prove that there exists some $C=C(Δ)$ for which the binomial random graph $G(n,C\log n/n)$ almost surely contains a copy of every tree with $n$ vertices and maximum degree at most $Δ$. In doing so, we confirm a conjecture by Kahn.
A Context-free Grammar for the Ramanujan-Shor Polynomials
Published
• View Publication
• BIB
Ramanujan defined the polynomials $ψ_{k}(r,x)$ in his study of power series inversion. Berndt, Evans and Wilson obtained a recurrence relation for $ψ_{k}(r,x)$. In a different context, Shor introduced the polynomials $Q(i,j,k)$ related to improper edges of a rooted tree, leading to a refinement of Cayley's formula. He also proved a recurrence relation and raised the question of finding a combinatorial proof. Zeng realized that the polynomials of Ramanujan coincide with the polynomials of Shor, and that the recurrence relation of Shor coincides with the recurrence relation of Berndt, Evans and Wilson. So we call these polynomials the Ramanujan-Shor polynomials, and call the recurrence relation the Berndt-Evans-Wilson-Shor recursion. A combinatorial proof of this recursion was obtained by Chen and Guo, and a simpler proof was recently given by Guo. From another perspective, Dumont and Ramamonjisoa found a context-free grammar $G$ to generate the number of rooted trees on $n$ vertices with $k$ improper edges. Based on the grammar $G$, we find a grammar $H$ for the Ramanujan-Shor polynomials. This leads to a formal calculus for the Ramanujan-Shor polynomials. In particular, we obtain a grammatical derivation of the Berndt-Evans-Wilson-Shor recursion. We also provide a grammatical approach to the Abel identities and a grammatical explanation of the Lacasse identity.
Transition Operations over Plane Trees
Published
• View Publication
• BIB
The operation of transforming one spanning tree into another by replacing an edge has been considered widely, both for general and planar straight-line graphs. For the latter, several variants have been studied (e.g., edge slides and edge rotations). In a transition graph on the set $\mathcal{T}(S)$ of noncrossing straight-line spanning trees on a finite point set $S$ in the plane, two spanning trees are connected by an edge if one can be transformed into the other by such an operation. We study bounds on the diameter of these graphs, and consider the various operations on point sets in both general position and convex position. In addition, we address variants of the problem where operations may be performed simultaneously or the edges are labeled. We prove new lower and upper bounds for the diameters of the corresponding transition graphs and pose open problems.
Distinguishing locally finite trees
The distinguishing number $D(G)$ of a graph $G$ is the smallest number of colors that is needed to color the vertices of $G$ such that the only color preserving automorphism is the identity. For infinite graphs $D(G)$ is bounded by the supremum of the valences, and for finite graphs by $Δ(G)+1$, where $Δ(G)$ is the maximum valence. Given a finite or infinite tree $T$ of bounded finite valence $k$ and an integer $c$, where $2 \leq c \leq k$, we are interested in coloring the vertices of $T$ by $c$ colors, such that every color preserving automorphism fixes as many vertices as possible. In this sense we show that there always exists a $c$-coloring for which all vertices whose distance from the next leaf is at least $\lceil\log_ck\rceil$ are fixed by any color preserving automorphism, and that one can do much better in many cases.
Permutation graphs and the Abelian sandpile model, tiered trees and non-ambiguous binary trees
Published
• View Publication
• BIB
A permutation graph is a graph whose edges are given by inversions of a permutation. We study the Abelian sandpile model (ASM) on such graphs. We exhibit a bijection between recurrent configurations of the ASM on permutation graphs and the tiered trees introduced by Dugan et al. [10]. This bijection allows certain parameters of the recurrent configurations to be read on the corresponding tree. In particular, we show that the level of a recurrent configuration can be interpreted as the external activity of the corresponding tree, so that the bijection exhibited provides a new proof of a famous result linking the level polynomial of the ASM to the ubiquitous Tutte polynomial. We show that the set of minimal recurrent configurations is in bijection with the set of complete non-ambiguous binary trees introduced by Aval et al. [2], and introduce a multi-rooted generalization of these that we show to correspond to all recurrent configurations. In the case of permutations with a single descent, we recover some results from the case of Ferrers graphs presented in [11], while we also recover results of Perkinson et al. [16] in the case of threshold graphs.