tree
6861 papers tagged with this keyword
Proof of a conjecture of Graham and Lovász concerning unimodality of coefficients of the distance characteristic polynomial of a tree
Published
• View Publication
• BIB
We establish a conjecture of Graham and Lovász that the (normalized) coefficients of the distance characteristic polynomial of a tree are unimodal; we also prove they are log-concave.
'On the signless Laplacian spectra of $k$-trees'-- CORRIGENDUM
Published
• View Publication
• BIB
In this paper, we use a new and correct method to determine the $n$-vertex $k$-trees with the first three largest signless Laplacian indices.
On Minimum Terminal Distance Spectral Radius of Trees with Given Degree Sequence
For a tree with the given sequence of vertex degrees the spectral radius of its terminal distance matrix is shown to be bounded from below by the the average row sum of the terminal distance matrix of the, so called, BFS-tree (also known as a greedy tree). This lower bound is typically not tight; nevertheless, since spectral radius of the terminal distance matrix of BFS-tree is a natural upper bound, the numeric simulation shows that relative gap between the upper and the lower bound does not exceed 3% (we also make a step towards justifying this fact analytically.) Therefore, the conjecture that BFS-tree has the minimum terminal distance spectral radius among all trees with the given degree sequence is valid with accuracy at least 97%. The same technique can be applied to the distance spectral radius of trees, which is a more popular topological index.
Generic properties of subgroups of free groups and finite presentations
Published in Contemporary Mathematics 677 (2016) 1-44
• View Publication
• BIB
Asymptotic properties of finitely generated subgroups of free groups, and of finite group presentations, can be considered in several fashions, depending on the way these objects are represented and on the distribution assumed on these representations: here we assume that they are represented by tuples of reduced words (generators of a subgroup) or of cyclically reduced words (relators). Classical models consider fixed size tuples of words (e.g. the few-generator model) or exponential size tuples (e.g. Gromov's density model), and they usually consider that equal length words are equally likely. We generalize both the few-generator and the density models with probabilistic schemes that also allow variability in the size of tuples and non-uniform distributions on words of a given length.Our first results rely on a relatively mild prefix-heaviness hypothesis on the distributions, which states essentially that the probability of a word decreases exponentially fast as its length grows. Under this hypothesis, we generalize several classical results: exponentially generically a randomly chosen tuple is a basis of the subgroup it generates, this subgroup is malnormal and the tuple satisfies a small cancellation property, even for exponential size tuples. In the special case of the uniform distribution on words of a given length, we give a phase transition theorem for the central tree property, a combinatorial property closely linked to the fact that a tuple freely generates a subgroup. We then further refine our results when the distribution is specified by a Markovian scheme, and in particular we give a phase transition theorem which generalizes the classical results on the densities up to which a tuple of cyclically reduced words chosen uniformly at random exponentially generically satisfies a small cancellation property, and beyond which it presents a trivial group.
Greedy Is an Almost Optimal Deque
Published
• View Publication
• BIB
In this paper we extend the geometric binary search tree (BST) model of Demaine, Harmon, Iacono, Kane, and Patrascu (DHIKP) to accommodate for insertions and deletions. Within this extended model, we study the online Greedy BST algorithm introduced by DHIKP. Greedy BST is known to be equivalent to a maximally greedy (but inherently offline) algorithm introduced independently by Lucas in 1988 and Munro in 2000, conjectured to be dynamically optimal.
With the application of forbidden-submatrix theory, we prove a quasilinear upper bound on the performance of Greedy BST on deque sequences. It has been conjectured (Tarjan, 1985) that splay trees (Sleator and Tarjan, 1983) can serve such sequences in linear time. Currently neither splay trees, nor other general-purpose BST algorithms are known to fulfill this requirement. As a special case, we show that Greedy BST can serve output-restricted deque sequences in linear time. A similar result is known for splay trees (Tarjan, 1985; Elmasry, 2004).
As a further application of the insert-delete model, we give a simple proof that, given a set U of permutations of [n], the access cost of any BST algorithm is Omega(log |U| + n) on "most" of the permutations from U. In particular, this implies that the access cost for a random permutation of [n] is Omega(n log n) with high probability.
Besides the splay tree noted before, Greedy BST has recently emerged as a plausible candidate for dynamic optimality. Compared to splay trees, much less effort has gone into analyzing Greedy BST. Our work is intended as a step towards a full understanding of Greedy BST, and we remark that forbidden-submatrix arguments seem particularly well suited for carrying out this program.
Combinatorics of Poincaré's and Schröder's equations
Published
• View Publication
• BIB
We investigate the combinatorial properties of the functional equation $φ[h(z)]=h(qz)$ for the conjugation of a formal diffeomorphism $φ$ of $\mathbb{C}$ to its linear part $z\mapsto qz$. This is done by interpreting the functional equation in terms of symmetric functions, and then lifting it to noncommutative symmetric functions. We describe explicitly the expansion of the solution in terms of plane trees and prove that its expression on the ribbon basis has coefficients in ${\mathbb N}[q]$ after clearing the denominators $(q)_n$. We show that the conjugacy equation can be lifted to a quadratic fixed point equation in the free triduplicial algebra on one generator. This can be regarded as a $q$-deformation of the duplicial interpretation of the noncommutative Lagrange inversion formula. Finally, these calculations are interpreted in terms of the group of the operad of Stasheff polytopes, and are related to Ecalle's arborified expansion by means of morphisms between various Hopf algebras of trees.
Erdős-Ko-Rado Theorems for a Family of Trees
Published
• View Publication
• BIB
Given a graph $G$ and an integer $r\geq 1$, let $\mathcal{I}^{(r)}(G)$ denote the family of independent sets of size $r$ of $G$. For a vertex $v$ of $G$, let $\mathcal{I}^{(r)}_v(G)$ denote the family of independent sets of size $r$ that contain~$v$. This family is called an $r$-star and $v$ is the centre of the star. Then $G$ is said to be $r$-EKR if no pairwise intersecting subfamily of $\mathcal{I}^{(r)}(G)$ is bigger than the largest $r$-star, and if every maximum size pairwise intersecting subfamily of $\mathcal{I}^{(r)}(G)$ is an $r$-star, then $G$ is said to be strictly $r$-EKR. Let $μ(G)$ denote the minimum size of a maximal independent set of $G$. Holroyd and Talbot conjectured that if $2r \leq μ(G)$, then $G$ is $r$-EKR and strictly $r$-EKR if $2r < μ(G)$.
An elongated claw is a tree in which one vertex is designated the root and no vertex other than the root has degree greater than 2. A depth-two claw is an elongated claw in which every vertex of degree~1 is at distance 2 from the root. We show that if $G$ is a depth-two claw, then $G$ is strictly $r$-EKR if $2r \leq μ(G)+1$, confirming the conjecture of Holroyd and Talbot for this family. We also show that if $G $ is an elongated claw with $n$ leaves and at least one leaf adjacent to the root, then $G$ is $r$-EKR if $2r \leq n$.
Hurlbert and Kamat had conjectured that one can always find a largest $r$-star of a tree whose centre is a leaf. Baber and Borg have separately shown this to be false. We show that, moreover, for all $n \geq 2$, $d \geq 3$, there exists a positive integer $r$ such that there is a tree where the centre of the largest $r$-star is a vertex of degree $n$ at distance at least $d$ from every leaf.
Canonizing Graphs of Bounded Tree Width in Logspace
Published
• View Publication
• BIB
Graph canonization is the problem of computing a unique representative, a canon, from the isomorphism class of a given graph. This implies that two graphs are isomorphic exactly if their canons are equal. We show that graphs of bounded tree width can be canonized by logarithmic-space (logspace) algorithms. This implies that the isomorphism problem for graphs of bounded tree width can be decided in logspace. In the light of isomorphism for trees being hard for the complexity class logspace, this makes the ubiquitous class of graphs of bounded tree width one of the few classes of graphs for which the complexity of the isomorphism problem has been exactly determined.
On the growth of permutation classes
We study aspects of the enumeration of permutation classes, sets of permutations closed downwards under the subpermutation order.
First, we consider monotone grid classes of permutations. We present procedures for calculating the generating function of any class whose matrix has dimensions $m \times 1$ for some $m$, and of acyclic and unicyclic classes of gridded permutations. We show that almost all large permutations in a grid class have the same shape, and determine this limit shape.
We prove that the growth rate of a grid class is given by the square of the spectral radius of an associated graph and deduce some facts relating to the set of grid class growth rates. In the process, we establish a new result concerning tours on graphs. We also prove a similar result relating the growth rate of a geometric grid class to the matching polynomial of a graph, and determine the effect of edge subdivision on the matching polynomial. We characterise the growth rates of geometric grid classes in terms of the spectral radii of trees.
We then investigate the set of growth rates of permutation classes and establish a new upper bound on the value above which every real number is the growth rate of some permutation class. In the process, we prove new results concerning expansions of real numbers in non-integer bases in which the digits are drawn from sets of allowed values.
Finally, we introduce a new enumeration technique, based on associating a graph with each permutation, and determine the generating functions for some previously unenumerated classes. We conclude by using this approach to provide an improved lower bound on the growth rate of the class of permutations avoiding the pattern $1324$. In the process, we prove that, asymptotically, patterns in Łukasiewicz paths exhibit a concentrated Gaussian distribution.
Simplicial and Cellular Trees
Published
• View Publication
• BIB
Much information about a graph can be obtained by studying its spanning trees. On the other hand, a graph can be regarded as a 1-dimensional cell complex, raising the question of developing a theory of trees in higher dimension. As observed first by Bolker, Kalai and Adin, and more recently by numerous authors, the fundamental topological properties of a tree --- namely acyclicity and connectedness --- can be generalized to arbitrary dimension as the vanishing of certain cellular homology groups. This point of view is consistent with the matroid-theoretic approach to graphs, and yields higher-dimensional analogues of classical enumerative results including Cayley's formula and the matrix-tree theorem. A subtlety of the higher-dimensional case is that enumeration must account for the possibility of torsion homology in trees, which is always trivial for graphs. Cellular trees are the starting point for further high-dimensional extensions of concepts from algebraic graph theory including the critical group, cut and flow spaces, and discrete dynamical systems such as the abelian sandpile model.
Bias and dessins
Grothendieck's theory of dessins provides a bridge between algebraic numbers and combinatorics. This paper adds a new concept, called 'bias', to the bridge. This produces: (i) from a biased plane tree the construction of a sequence of algebraic numbers, and (ii) a Galois invariant lattice structure on the set of biased dessins. Bias brings these benefits by (i) using individual polynomials instead of equivalence classes of polynomials, and (ii) applying properties of covering spaces and the fundamental group. The new features give new opportunities.
At the 2014 SIGMAP conference the author spoke [1] on 'The decorated lattice of biased dessins'. This decorated lattice $\mathcal{L}$ is combinatorially defined, and its automorphism group contains the absolute Galois group $Γ$, perhaps as an index 6 subgroup.
This paper defines new families of invariants of dessins, although they require further work to be understood and useful. For this, $\mathcal{L}$ is vital. This paper relies on the the existing, unbiased, theory. Also, it only sketches the construction of $\mathcal{L}$. In [2], [3] the author will remove this dependency, develop the biased theory further, with a focus on $Γ$, and make the theory more accessible.
On Euclid's Algorithm and Elementary Number Theory
Published in Sci. Comput. Program. 76 (3) (2011) 160-180
• View Publication
• BIB
Algorithms can be used to prove and to discover new theorems. This paper shows how algorithmic skills in general, and the notion of invariance in particular, can be used to derive many results from Euclid's algorithm. We illustrate how to use the algorithm as a verification interface (i.e., how to verify theorems) and as a construction interface (i.e., how to investigate and derive new theorems).
The theorems that we verify are well-known and most of them are included in standard number theory books. The new results concern distributivity properties of the greatest common divisor and a new algorithm for efficiently enumerating the positive rationals in two different ways. One way is known and is due to Moshe Newman. The second is new and corresponds to a deforestation of the Stern-Brocot tree of rationals. We show that both enumerations stem from the same simple algorithm. In this way, we construct a Stern-Brocot enumeration algorithm with the same time and space complexity as Newman's algorithm. A short review of the original papers by Stern and Brocot is also included.
The computational complexity of calculating partition functions of optimal medians with Hamming distance
In this paper, we show that calculating the partition function of optimal medians of binary strings with Hamming distance is \#P-complete for several weight functions. The case when the weight function is the factorial function has application in bioinformatics. In that case, the partition function counts the most parsimonious evolutionary scenarios on a star tree under several models in bioinformatics. The results are extended to binary trees and we show that it is also \#P-complete to calculate the most parsimonious evolutionary scenarios on an arbitrary binary tree under the substitution model of biological sequences and under the Single Cut-or-Join model for genome rearrangements.
Extremal H-colorings of trees and 2-connected graphs
Published
• View Publication
• BIB
For graphs $G$ and $H$, an $H$-coloring of $G$ is an adjacency preserving map from the vertices of $G$ to the vertices of $H$. $H$-colorings generalize such notions as independent sets and proper colorings in graphs. There has been much recent research on the extremal question of finding the graph(s) among a fixed family that maximize or minimize the number of $H$-colorings. In this paper, we prove several results in this area.
First, we find a class of graphs ${\mathcal H}$ with the property that for each $H \in {\mathcal H}$, the $n$-vertex tree that minimizes the number of $H$-colorings is the path $P_n$. We then present a new proof of a theorem of Sidorenko, valid for large $n$, that for every $H$ the star $K_{1,n-1}$ is the $n$-vertex tree that maximizes the number of $H$-colorings. Our proof uses a stability technique which we also use to show that for any non-regular $H$ (and certain regular $H$) the complete bipartite graph $K_{2,n-2}$ maximizes the number of $H$-colorings of $n$-vertex $2$-connected graphs. Finally, we show that the cycle $C_n$ maximizes the number of proper colorings of $n$-vertex $2$-connected graphs.
Automorphism Groups of Comparability Graphs
Comparability graphs are graphs which have transitive orientations. The dimension of a poset is the least number of linear orders whose intersection gives this poset. The dimension ${\rm dim}(X)$ of a comparability graph $X$ is the dimension of any transitive orientation of X, and by $k$-DIM we denote the class of comparability graphs $X$ with ${\rm dim}(X) \le k$. It is known that the complements of comparability graphs are exactly function graphs and permutation graphs equal 2-DIM.
In this paper, we characterize the automorphism groups of permutation graphs similarly to Jordan's characterization for trees (1869). For permutation graphs, there is an extra operation, so there are some extra groups not realized by trees. For $k \ge 4$, we show that every finite group can be realized as the automorphism group of some graph in $k$-DIM, and testing graph isomorphism for $k$-DIM is GI-complete.
Replacing the host K_n by n-chromatic graphs in Ramsey-type results
We extend two well-known results in Ramsey theory from from $K_n$ to arbitrary $n$-chromatic graphs. The first is a note of Erd\H os and Rado stating that in every 2-coloring of the edges of $K_n$ there is a monochromatic tree on $n$ vertices. The second is the theorem of Cockayne and Lorimer stating that for positive integers satisfying $n_1=\max\{n_1,n_2,\dots,n_t\}$ and with $n=n_1+1+\sum_{i=1}^t (n_i-1)$, the following holds. In every coloring of the edges of $K_n$ with colors $1,2\dots,t$ there is a monochromatic matching of size $n_i$ for some $i\in \{1,2,\dots,t\}$.
Graph Invertibility and Median Eigenvalues
Published
• View Publication
• BIB
Let $(G,w)$ be a weighted graph with a weight-function $w: E(G)\to \mathbb R\backslash\{0\}$. A weighted graph $(G,w)$ is invertible to a new weighted graph if its adjacency matrix is invertible. A graph inverse has combinatorial interest and can be applied to bound median eigenvalues of a graph such as have physical meanings in Quatumn Chemistry. In this paper, we characterize the inverse of a weighted graph based on its Sachs subgraphs that are spanning subgraphs with only $K_2$ or cycles (or loops) as components. The characterization can be used to find the inverse of a weighted graph based on its structures instead of its adjacency matrix. If a graph has its spectra split about the origin, i.e., half of eigenvalues are positive and half of them are negative, then its median eigenvalues can be bounded by estimating the largest and smallest eigenvalues of its inverse. We characterize graphs with a unique Sachs subgraph and prove that these graphs has their spectra split about the origin if they have a perfect matching. As applications, we show that the median eigenvalues of stellated graphs of trees and corona graphs belong to different halves of the interval $[-1,1]$.
On the total variation distance between the binomial random graph and the random intersection graph
Published
• View Publication
• BIB
When each vertex is assigned a set, the intersection graph generated by the sets is the graph in which two distinct vertices are joined by an edge if and only if their assigned sets have a nonempty intersection. An interval graph is an intersection graph generated by intervals in the real line. A chordal graph can be considered as an intersection graph generated by subtrees of a tree. In 1999, Karoński, Scheinerman and Singer-Cohen [Combin Probab Comput 8 (1999), 131--159] introduced a random intersection graph by taking randomly assigned sets. The random intersection graph $G(n,m;p)$ has $n$ vertices and sets assigned to the vertices are chosen to be i.i.d. random subsets of a fixed set $M$ of size $m$ where each element of $M$ belongs to each random subset with probability $p$, independently of all other elements in $M$. Fill, Scheinerman and Singer-Cohen [Random Struct Algorithms 16 (2000), 156--176] showed that the total variation distance between the random graph $G(n,m;p)$ and the Erdös-Rényi graph $G(n,\hat{p})$ tends to $0$ for any $0 \leq p=p(n) \leq 1$ if $m=n^α$, $α>6$, where $\hat{p}$ is chosen so that the expected numbers of edges in the two graphs are the same. In this paper, it is proved that the total variation distance still tends to $0$ for any $0 \leq p=p(n) \leq 1$ whenever $m \gg n^4$.
Parking functions and tree inversions revisited
Published in Advances in Applied Mathematics, 80, 2016
• View Publication
• BIB
Kreweras proved that the reversed sum enumerator for parking functions of length $n$ is equal to the inversion enumerator for labeled trees on $n+1$ vertices. Recently, Perkinson, Yang, and Yu gave a bijective proof of this equality that moreover generalizes to graphical parking functions. Using a depth-first search variant of Dhar's burning algorithm they proved that the codegree enumerator for $G$-parking functions equals the $κ$-number enumerator for spanning trees of $G$. The $κ$-number is a kind of generalized tree inversion number originally defined by Gessel. We extend the work of Perkinson-Yang-Yu to what are referred to as "generalized parking functions" in the literature, but which we prefer to call vector parking functions because they depend on a choice of vector $\mathbf{x} \in \mathbb{N}^n$. Specifically, we give an expression for the reversed sum enumerator for $\mathbf{x}$-parking functions in terms of inversions in rooted plane trees with respect to certain admissible vertex orders. Along the way we clarify the relationship between graphical and vector parking functions.
A natural counting of lambda terms
Published
• View Publication
• BIB
We study the sequences of numbers corresponding to lambda terms of given sizes, where the size is this of lambda terms with de Bruijn indices in a very natural model where all the operators have size 1. For plain lambda terms, the sequence corresponds to two families of binary trees for which we exhibit bijections. We study also the distribution of normal forms, head normal forms and strongly normalizing terms. In particular we show that strongly normalizing terms are of density 0 among plain terms.