tree
6737 papers tagged with this keyword
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.
Partite Saturation Problems
Published
• View Publication
• BIB
We look at several saturation problems in complete balanced blow-ups of graphs. We let $H[n]$ denote the blow-up of $H$ onto parts of size $n$ and refer to a copy of $H$ in $H[n]$ as 'partite' if it has one vertex in each part of $H[n]$. We then ask how few edges a subgraph $G$ of $H[n]$ can have such that $G$ has no partite copy of $H$ but such that the addition of any new edge from $H[n]$ creates a partite $H$. When $H$ is a triangle this value was determined by Ferrara, Jacobson, Pfender, and Wenger. Our main result is to calculate this value for $H=K_4$ when $n$ is large. We also give exact results for paths and stars and show that for $2$-connected graphs the answer is linear in $n$ whilst for graphs which are not $2$-connected the answer is quadratic in $n$. We also investigate a similar problem where $G$ is permitted to contain partite copies of $H$ but we require that the addition of any new edge from $H[n]$ creates an extra partite copy of $H$. This problem turns out to be much simpler and we attain exact answers for all cliques and trees.
Graphs and Their Associated Inverse Semigroups
Published
• View Publication
• BIB
Directed graphs have long been used to gain understanding of the structure of semigroups, and recently the structure of directed graph semigroups has been investigated resulting in a characterization theorem and an analog of Fruct's Theorem. We investigate four inverse semigroups defined over undirected graphs constructed from the notions of subgraph, vertex induced subgraph, rooted tree induced subgraph, and rooted path induced subgraph. We characterize the structure of the semilattice of idempotents and lattice of ideals of these four inverse semigroups. Finally, we prove a characterization theorem that states that every graph has a unique associated inverse semigroup up to isomorphism.
Recovering a tree from the lengths of subtrees spanned by a randomly chosen sequence of leaves
Published
• View Publication
• BIB
Given an edge-weighted tree $T$ with $n$ leaves, sample the leaves uniformly at random without replacement and let $W_k$, $2 \le k \le n$, be the length of the subtree spanned by the first $k$ leaves. We consider the question, "Can $T$ be identified (up to isomorphism) by the joint probability distribution of the random vector $(W_2, \ldots, W_n)$?" We show that if $T$ is known {\em a priori} to belong to one of various families of edge-weighted trees, then the answer is, "Yes." These families include the edge-weighted trees with edge-weights in general position, the ultrametric edge-weighted trees, and certain families with equal weights on all edges such as $(k+1)$-valent and rooted $k$-ary trees for $k \ge 2$ and caterpillars.
On the Equitable Vertex Arboricity of Graphs
The equitable coloring problem, introduced by Meyer in 1973, has received considerable attention and research. Recently, Wu, Zhang and Li introduced the concept of equitable $(t,k)$-tree-coloring, which can be regarded as a generalization of proper equitable $t$-coloring. The \emph{strong equitable vertex $k$-arboricity} of $G$, denoted by ${va_k}^\equiv(G)$, is the smallest integer $t$ such that $G$ has an equitable $(t', k)$-tree-coloring for every $t'\geq t$. The exact value of strong equitable vertex $k$-arboricity of complete equipartition bipartite graph $K_{n,n}$ was studied by Wu, Zhang and Li. In this paper, we first get a sharp upper bound of strong equitable vertex arboricity of complete bipartite graph$K_{n,n+\ell} \ (1\leq \ell\leq n)$, that is, ${va_2}^\equiv(K_{n,n+\ell})\leq2\left\lfloor{\frac{n+\ell+1}{3}}\right\rfloor$. Next, we obtain a sufficient and necessary condition on an equitable $(q,\infty)$-tree coloring of a complete equipartition tripartite graph, and study the strong equitable vertex arboricity of forests. For a simple graph $G$ of order $n$, we show that $1\leq {va_k}^\equiv(G)\leq \lceil n/2 \rceil$. Furthermore, graphs with ${va_k}^\equiv(G)=1,\lceil\frac{n}{2}\rceil,\lceil\frac{n}{2}\rceil-1$ are characterized, respectively. In the end, we obtain the Nordhaus-Gaddum type results of strong equitable vertex $k$-arboricity for general $k$.
Perfect and quasiperfect domination in trees
A $k-$quasiperfect dominating set ($k\ge 1$) of a graph $G$ is a vertex subset $S$ such that every vertex not in $S$ is adjacent to at least one and at most k vertices in $S$. The cardinality of a minimum k-quasiperfect dominating set in $G$ is denoted by $γ_{\stackrel{}{1k}}(G)$. Those sets were first introduced by Chellali et al. (2013) as a generalization of the perfect domination concept. The quasiperfect domination chain $γ_{\stackrel{}{11}}(G)\geγ_{\stackrel{}{12}}(G)\ge\dots\geγ_{\stackrel{}{1Δ}}(G)=γ(G)$, indicates what it is lost in size when you move towards a more perfect domination. We provide an upper bound for $γ_{\stackrel{}{1k}}(T)$ in any tree $T$ and trees achieving this bound are characterized. We prove that there exist trees satisfying all the possible equalities and inequalities in this chain and a linear algorithm for computing $γ_{\stackrel{}{1k}}(T)$ in any tree is presented.
Scaling limits of random outerplanar maps with independent link-weights
Published
• View Publication
• BIB
The scaling limit of large simple outerplanar maps was established by Caraceni using a bijection due to Bonichon, Gavoille and Hanusse. The present paper introduces a new bijection between outerplanar maps and trees decorated with ordered sequences of edge-rooted dissections of polygons. We apply this decomposition in order to provide a new, short proof of the scaling limit that also applies to the general setting of first-passage percolation. We obtain sharp tail-bounds for the diameter and recover the asymptotic enumeration formula for outerplanar maps. Our methods also enable us treat subclasses such as bipartite outerplanar maps.