tree
6737 papers tagged with this keyword
How to encode a tree
We construct bijections giving three "codes" for trees. These codes follow naturally from the Matrix Tree Theorem of Tutte and have many advantages over the one produced by Prufer in 1918. One algorithm gives explicitly a bijection that is implicit in Orlin's manipulatorial proof of Cayley's formula (the formula was actually found first by Borchardt). Another is based on a proof of Knuth. The third is an implementation of Joyal's pseudo-bijective proof of the formula, and is equivalent to one previously found by Egecioglu and Remmel. In each case, we have at least two algorithms, one of which involves hands-on manipulations of the tree while the other involves a combinatorial and linear algebraic manipulation of a matrix.
Tree-based networks: characterisations, metrics, and support trees
Published
• View Publication
• BIB
Phylogenetic networks generalise phylogenetic trees and allow for the accurate representation of the evolutionary history of a set of present-day species whose past includes reticulate events such as hybridisation and lateral gene transfer. One way to obtain such a network is by starting with a (rooted) phylogenetic tree $T$, called a base tree, and adding arcs between arcs of $T$. The class of phylogenetic networks that can be obtained in this way is called tree-based networks and includes the prominent classes of tree-child and reticulation-visible networks. Initially defined for binary phylogenetic networks, tree-based networks naturally extend to arbitrary phylogenetic networks. In this paper, we generalise recent tree-based characterisations and associated proximity measures for binary phylogenetic networks to arbitrary phylogenetic networks. These characterisations are in terms of matchings in bipartite graphs, path partitions, and antichains. Some of the generalisations are straightforward to establish using the original approach, while others require a very different approach. Furthermore, for an arbitrary tree-based network $N$, we characterise the support trees of $N$, that is, the tree-based embeddings of $N$. We use this characterisation to give an explicit formula for the number of support trees of $N$ when $N$ is binary. This formula is written in terms of the components of a bipartite graph.
Nearest-neighbour Markov point processes on graphs with Euclidean edges
Published in Adv. Appl. Probab. 50 (2018) 1275-1293
• View Publication
• BIB
We define nearest-neighbour point processes on graphs with Euclidean edges and linear networks. They can be seen as the analogues of renewal processes on the real line. We show that the Delaunay neighbourhood relation on a tree satisfies the Baddeley--Møller consistency conditions and provide a characterisation of Markov functions with respect to this relation. We show that a modified relation defined in terms of the local geometry of the graph satisfies the consistency conditions for all graphs with Euclidean edges.
Quarter-Turn Baxter Permutations
Baxter permutations are known to be in bijection with a wide number of combinatorial objects. Previously, it was shown that each of these objects had a natural involution which was carried equivariantly by the known bijections, and the number of objects fixed under involution was given by Stembridge's $q=-1$ phenomenon. In this paper, we consider the order 4 action of a quarter-turn rotation of a Baxter permutation matrix, refining the half-turn rotation previously studied. Using the method of generating trees, we show that the number of Baxter permutations fixed under quarter-turn rotation has a very nice enumeration, which suggests the existence of a combinatorial bijection.
Spanning tree with lower bound on the degrees
We concentrate on some recent results of Egawa and Ozeki [J. Graph Theory, 2015 and Combinatorica, 2014], and He et al. [J. Graph Theory, 2002]. We give shorter proofs and polynomial time algorithms as well.
We present two new proofs for the sufficient condition for having a spanning tree with prescribed lower bounds on the degrees, achieved recently by Egawa and Ozeki. The first one is a natural proof using induction, and the second one is a simple reduction to the theorem of Lovász. Using an algorithm of Frank we show that the condition of the theorem can be checked in time $O(m\sqrt{n})$, and moreover, in the same running time -- if the condition is satisfied -- we can also generate the spanning tree required. This gives the first polynomial time algorithm for this problem.
Next we show a nice application of this theorem for the simplest case of the Weak Nine Dragon Tree Conjecture, and for the game coloring number of planar graphs, first discovered by He et al.
Finally, we give a shorter proof and a polynomial time algorithm for a good characterization of having a spanning tree with prescribed degree lower bounds, for the special case when $G[S]$ is a cograph, where $S$ is the set of the vertices having degree lower bound prescription at least two. This theorem was proved by Egawa and Ozeki in 2014 while they did not give a polynomial time algorithm.
The Nonassociativity of the Double Minus Operation
The sequence A000975 in OEIS can be defined by $A_1=1$, $A_{n+1}=2A_n$ if $n$ is odd, and $A_{n+1}=2A_n+1$ if $n$ is even. This sequence satisfies other recurrence relations, admits some closed formulas, and is known to enumerate several interesting families of objects. We provide a new interpretation of this sequence using a binary operation defined by $a\ominus b := -a -b$. We show that the number of distinct results obtained by inserting parentheses in the expression $x_0\ominus x_1\ominus \cdots\ominus x_n$ equals $A_n$, by investigating the leaf depth in binary trees. Our result can be viewed as a quantitative measurement for the nonassociativity of the binary operation $\ominus$.
Special Hist-Snarks
A Hist in a cubic graph $G$ is a spanning tree $T$ which has only vertices of degree three and one. A snark with a Hist is called a Hist-snark, see \cite{HO}. We present several computer generated Hist-snarks which form generalizations of the Petersen graph. Moreover, we state some results on Hist-snarks which have been achieved with computer support.
Cohen--Lenstra heuristics for torsion in homology of random complexes
Published
• View Publication
• BIB
We study torsion in homology of the random $d$-complex $Y \sim Y_d(n,p)$ experimentally. Our experiments suggest that there is almost always a moment in the process where there is an enormous burst of torsion in homology $H_{d-1}(Y)$. This moment seems to coincide with the phase transition studied in \cite{AL,LP,LP3} , where cycles in $H_d(Y)$ first appear with high probability.
Our main study is the limiting distribution on the $q$-part of the torsion subgroup of $H_{d-1}(Y)$ for small primes $q$. We find strong evidence for a limiting Cohen--Lenstra distribution, where the probability that the $q$-part is isomorphic to a given $q$-group $H$ is inversely proportional to the order of the automorphism group $|\mbox{Aut}(H)|$.
We also study the torsion in homology of the uniform random $\Q$-acyclic $2$-complex. This model is analogous to a uniform spanning tree on a complete graph, but more complicated topologically since Kalai showed that the expected order of the torsion group is exponentially large in $n^2$ \cite{Kalai}. We give experimental evidence that in this model also, the torsion is Cohen--Lenstra distributed in the limit.
Trees and $n$-Good Hypergraphs
Trees fill many extremal roles in graph theory, being minimally connected and serving a critical role in the definition of $n$-good graphs. In this article, we consider the generalization of trees to the setting of $r$-uniform hypergraphs and how one may extend the notion of $n$-good graphs to this setting. We prove numerous bounds for $r$-uniform hypergraph Ramsey numbers involving trees and complete hypergraphs and show that in the $3$-uniform case, all trees are $n$-good when $n$ is odd or $n$ falls into specified even cases.
Dominating 2-broadcast in graphs: complexity, bounds and extremal graphs
Limited dominating broadcasts were proposed as a variant of dominating broadcasts, where the broadcast function is upper bounded. As a natural extension of domination, we consider dominating $2$-broadcasts along with the associated parameter, the dominating $2$-broadcast number. We prove that computing the dominating $2$-broadcast number is a NP-complete problem, but can be achieved in linear time for trees. We also give an upper bound for this parameter, that is tight for graphs as large as desired.
Geometry of large Boltzmann outerplanar maps
We study the phase diagram of random outerplanar maps sampled according to non-negative Boltzmann weights that are assigned to each face of a map. We prove that for certain choices of weights the map looks like a rescaled version of its boundary when its number of vertices tends to infinity. The Boltzmann outerplanar maps are then shown to converge in the Gromov-Hausdorff sense towards the $α$-stable looptree introduced by Curien and Kortchemski (2014), with the parameter $α$ depending on the specific weight-sequence. This allows us to describe the transition of the asymptotic geometric shape from a deterministic circle to the Brownian tree.
Constructing Directed Cayley Graphs of Small Diameter: A Potent Solovay-Kitaev Procedure
Published
• View Publication
• BIB
Let $Γ$ be a group and $(Γ_n)_{n=1} ^{\infty}$ be a descending sequence of finite-index normal subgroups. We establish explicit upper bounds on the diameters of the directed Cayley graphs of the $Γ/Γ_n$ , under some natural hypotheses on the behaviour of power and commutator words in $Γ$. The bounds we obtain do not depend on a choice of generating set. Moreover under reasonable conditions our method provides a fast algorithm for constructing directed Cayley graphs of diameter satisfying our bounds. The proof is closely analogous to the the Solovay-Kitaev procedure, which only uses commutator words, but also only constructs small-diameter undirected Cayley graphs. As an application we give directed diameter bounds on finite quotients of two very different groups: $SL_2 (\mathbb{F}_q [[t]])$ (for $q$ even) and a group of automorphisms of the ternary rooted tree introduced by Fabrykowski and Gupta.
Colored discrete spaces: higher dimensional combinatorial maps and quantum gravity
Published
• View Publication
• BIB
In any dimension $D$, the Euclidean Einstein-Hilbert action, which describes gravity in the absence of matter, can be discretized over random discrete spaces obtained by gluing families of polytopes together in all possible ways. In the physical limit of small Newton constant, only the spaces which maximize the mean curvature survive. In two dimensions, this results in a theory of random discrete spheres, which converge in the continuum limit towards the Brownian sphere, a random fractal space interpreted as a quantum random space-time. In this limit, the continuous Liouville theory of $D=2$ quantum gravity is recovered.
Previous results in higher dimension regarded triangulations - gluings of tetrahedra or $D$-dimensional generalizations, leading to the continuum random tree, or gluings of simple colored building blocks of small sizes, for which multi-trace matrix model results are recovered. This work aims at providing combinatorial tools which would allow a systematic study of richer building blocks and of the spaces they generate in the continuum. We develop a bijection with stacked two-dimensional discrete surfaces, and detail how it can be used to classify discrete spaces according to their mean curvature and topology.
A number of blocks are analyzed, including the new infinite family of bi-pyramids, as well as toroidal and $D$-dimensional generalizations. The relation to random tensor models is detailed. A central concern is the lowest bound on the number of ($D-2$)-cells for any given blocks, or equivalently the right scaling for the associated tensor model to have a well-behaved $1/N$ expansion. We also apply our bijection to the identification of the graphs contributing at any order to the $2n$-point functions of the colored SYK model, and to the enumeration of generalized unicellular maps - spaces obtained from a single building block - according to their mean curvature.
New Classes of Set-Sequential Trees
Published
• View Publication
• BIB
A graph is called set-sequential if its vertices can be labeled with distinct nonzero vectors in $\mathbb{F}_2^n$ such that when each edge is labeled with the sum$\pmod{2}$ of its vertices, every nonzero vector in $\mathbb{F}_2^n$ is the label for either a single vertex or a single edge. We resolve certain cases of a conjecture of Balister, Gyori, and Schelp in order to show many new classes of trees to be set-sequential. We show that all caterpillars $T$ of diameter $k$ such that $k \leq 18$ or $|V(T)| \geq 2^{k-1}$ are set-sequential, where $T$ has only odd-degree vertices and $|T| = 2^{n-1}$ for some positive integer $n$. We also present a new method of recursively constructing set-sequential trees.
On accurate domination in graphs
Published in Discussiones Mathematicae Graph Theory 39 (2019) 615-627
• View Publication
• BIB
A dominating set of a graph $G$ is a subset $D \subseteq V_G$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $γ(G)$, is the domination number of $G$. The accurate domination number of $G$, denoted by $γ_{\rm a}(G)$, is the cardinality of a smallest set $D$ that is a dominating set of $G$ and no $|D|$-element subset of $V_G \setminus D$ is a dominating set of $G$. We study graphs for which the accurate domination number is equal to the domination number. In particular, all trees $G$ for which $γ_{\rm a}(G) = γ(G)$ are characterized. Furthermore, we compare the accurate domination number with the domination number of different coronas of a graph.
Decomposing $4$-connected planar triangulations into two trees and one path
Published
• View Publication
• BIB
Refining a classical proof of Whitney, we show that any $4$-connected planar triangulation can be decomposed into a Hamiltonian path and two trees.
Therefore, every $4$-connected planar graph decomposes into three forests, one having maximum degree at most $2$.
We use this result to show that any Hamiltonian planar triangulation can be decomposed into two trees and one spanning tree of maximum degree at most $3$.
These decompositions improve the result of Gonçalves [Covering planar graphs with forests, one having bounded maximum degree. J. Comb. Theory, Ser. B, 100(6):729--739, 2010] that every planar graph can be decomposed into three forests, one of maximum degree at most $4$.
We also show that our results are best-possible.
Laplacian Immanantal polynomials and the GTS poset on Trees
Published in Linear Algebra and its Applications Volume 561, 15 January 2019, Pages 1-23
• View Publication
• BIB
Let $T$ be a tree on $n$ vertices with Laplacian $L_T$ and let $GTS_n$ be the generalized tree shift poset on the set of unlabelled trees on $n$ vertices. Inequalities are known for coefficients of the characteristic polynomial of $L_T$ as we go up the poset $GTS_n$. In this work, we generalize these inequalities to the $q$-Laplacian $L^q_T$ of $T$ and to the coefficients of all immanantal polynomials.
Nonseparating trees in 2-connected graphs and oriented trees in strongly connected digraphs
Published
• View Publication
• BIB
Mader [J. Graph Theory 65 (2010) 61-69] conjectured that for every positive integer $k$ and every finite tree $T$ with order $m$, every $k$-connected, finite graph $G$ with $δ(G)\geq \lfloor\frac{3}{2}k\rfloor+m-1$ contains a subtree $T'$ isomorphic to $T$ such that $G-V(T')$ is $k$-connected. The conjecture has been verified for paths, trees when $k=1$, and stars or double-stars when $k=2$. In this paper we verify the conjecture for two classes of trees when $k=2$.
For digraphs, Mader [J. Graph Theory 69 (2012) 324-329] conjectured that every $k$-connected digraph $D$ with minimum semi-degree $δ(D)=min\{δ^+(D),δ^-(D)\}\geq 2k+m-1$ for a positive integer $m$ has a dipath $P$ of order $m$ with $κ(D-V(P))\geq k$. The conjecture has only been verified for the dipath with $m=1$, and the dipath with $m=2$ and $k=1$. In this paper, we prove that every strongly connected digraph with minimum semi-degree $δ(D)=min\{δ^+(D),δ^-(D)\}\geq m+1$ contains an oriented tree $T$ isomorphic to some given oriented stars or double-stars with order $m$ such that $D-V(T)$ is still strongly connected.
Spectral gaps and discrete magnetic Laplacians
Published in Linear Algebra and its Applications 547 (2018) 183-216
• View Publication
• BIB
The aim of this article is to give a simple geometric condition that guarantees the existence of spectral gaps of the discrete Laplacian on periodic graphs. For proving this, we analyse the discrete magnetic Laplacian (DML) on the finite quotient and interpret the vector potential as a Floquet parameter. We develop a procedure of virtualising edges and vertices that produces matrices whose eigenvalues (written in ascending order and counting multiplicities) specify the bracketing intervals where the spectrum of the Laplacian is localised. We prove Higuchi-Shirai's conjecture for Z-periodic trees and apply our technique in several examples like the polypropylene or the polyacetylene to show the existence spectral gaps.
On asymptotics of two non-uniform recursive tree models
In this thesis the properties of two kinds of non-uniform random recursive trees are studied. In the first model weights are assigned to each node, thus altering the attachment probabilities. We will call these trees weighted recursive trees. In the second model a different distribution rather than the uniform one is chosen on the symmetric group, namely a riffle shuffle distribution. These trees will be called biased recursive trees. For both of these models the number of branches, the number of leaves, the depth of nodes and some other properties are studied. The focus is on asymptotic results and the comparison with uniform random recursive trees. It will be shown that the studied properties of weighted recursive trees are close to uniform recursive trees in many cases when the number of nodes increases. In contrast biased recursive trees show a different behaviour but approach uniform recursive trees depending on the parameters of the riffle shuffle distribution.