arXiv++ Combinatorics

Browse math.CO papers from arXiv

tree

6861 papers tagged with this keyword
2010-12-26 v2
Vertices of high degree in the preferential attachment tree
Published • View Publication • BIB
We study the basic preferential attachment process, which generates a sequence of random trees, each obtained from the previous one by introducing a new vertex and joining it to one existing vertex, chosen with probability proportional to its degree. We investigate the number $D_t(\ell)$ of vertices of each degree $\ell$ at each time $t$, focussing particularly on the case where $\ell$ is a growing function of $t$. We show that $D_t(\ell)$ is concentrated around its mean, which is approximately $4t/\ell^3$, for all $\ell \le (t/\log t)^{-1/3}$; this is best possible up to a logarithmic factor.
2010-12-22
Note on a relation between Randic index and algebraic connectivity
A conjecture of AutoGraphiX on the relation between the Randić index $R$ and the algebraic connectivity $a$ of a connected graph $G$ is: $$\frac R a\leq (\frac{n-3+2\sqrt{2}}{2})/(2(1- \cos {\fracπ{n}})) $$ with equality if and only if $G$ is $P_n$, which was proposed by Aouchiche and Hansen [M. Aouchiche and P. Hansen, A survey of automated conjectures in spectral graph theory, {\it Linear Algebra Appl.} {\bf 432}(2010), 2293--2322]. We prove that the conjecture holds for all trees and all connected graphs with edge connectivity $κ'(G)\geq 2$, and if $κ'(G)=1$, the conjecture holds for sufficiently large $n$. The conjecture also holds for all connected graphs with diameter $D\leq \frac {2(n-3+2\sqrt{2})}{π^2}$ or minimum degree $δ\geq \frac n 2$. We also prove $R\cdot a\geq \frac {8\sqrt{n-1}}{nD^2}$ and $R\cdot a\geq \frac {nδ(2δ-n+2)} {2(n-1)}$, and then $R\cdot a$ is minimum for the path if $D\leq (n-1)^{1/4}$ or $δ\geq \frac n 2-1$.
2010-12-21 v2
A note on counting labeled and unlabeled trees
We provide a short combinatorial proof of Cayley's formula by means of a bijective map to an outcome space of an urn-drawing problem. Furthermore we introduce an algebraic structure on the set of labeled trees, which provides a more standard approach to Cayley's formula. Moreover, this algebraic structure sheds light on the problem of counting the unlabeled trees. In particular, it indicates how counting the number of unlabeled trees on $n$ vertices is connected to finding the number of partitions of $n-2$
The Planar Slope Number of Planar Partial 3-Trees of Bounded Degree
Published • View Publication • BIB
It is known that every planar graph has a planar embedding where edges are represented by non-crossing straight-line segments. We study the planar slope number, i.e., the minimum number of distinct edge-slopes in such a drawing of a planar graph with maximum degree $Δ$. We show that the planar slope number of every planar partial 3-tree and also every plane partial 3-tree is at most $O(Δ^5)$. In particular, we answer the question of Dujmović et al. [Computational Geometry 38 (3), pp. 194--212 (2007)] whether there is a function $f$ such that plane maximal outerplanar graphs can be drawn using at most $f(Δ)$ slopes.
Distance-balanced closure of some graphs
In this paper we prove that any distance-balanced graph $G$ with $Δ(G)\geq |V(G)|-3$ is regular. Also we define notion of distance-balanced closure of a graph and we find distance-balanced closures of trees $T$ with $Δ(T)\geq |V(T)|-3$.
2010-12-17 v3
Some remarks about the derivative operator and generalized Stirling numbers
Published in Ars. Combin. 100 (2011), 177--192 • Search Publication
Studying expressions of the form $(f(x)D)^p$, where $D={\displaystyle \frac{d}{dx}}$ is the derivative operator, goes back to Scherk's Ph.D. thesis in 1823. We show that this can be extended as ${\displaystyle\sum γ_{p;a} (f^{(0)})^{a(0)+1} (f^{(1)})^{a(1)}...(f^{(p-1)})^{a(p-1)}D^{p-\sum_i i a(i)}}$}, where the summation is taken over the $p$-tuples $(a_0, a_1,..., a_{p-1})$, satisfying $\sum_{i}a(i)=p-1,\, \sum_{i}i a(i)<p$, $f^{(i)}=D^i f$ and $γ_{p;a}$ is the number of increasing trees on the vertex set $[0, p]$ having $a(0)+1$ leaves and having $a(i)$ vertices with $i$ children for $0<i<p$. Thus, previously known results about increasing trees, lead us to some equalities containing coefficients $γ_{p;a}$. In the sequel, we consider the expansion of $(x^k D)^p$ and coefficients appearing there, which are called generalized Stirling numbers by physicists. Some results about these coefficients and their inverses are discussed through bijective methods. Particularly, we introduce and use the notion of $(p, k)$-forest in these arguments.
2010-12-14 v2
Uncoverings on graphs and network reliability
We propose a network protocol similar to the $k$-tree protocol of Itai and Rodeh [{\em Inform.\ and Comput.}\ {\bf 79} (1988), 43--59]. To do this, we define an {\em $t$-uncovering-by-bases} for a connected graph $G$ to be a collection $\mathcal{U}$ of spanning trees for $G$ such that any $t$-subset of edges of $G$ is disjoint from at least one tree in $\mathcal{U}$, where $t$ is some integer strictly less than the edge connectivity of $G$. We construct examples of these for some infinite families of graphs. Many of these infinite families utilise factorisations or decompositions of graphs. In every case the size of the uncovering-by-bases is no larger than the number of edges in the graph and we conjecture that this may be true in general.
2010-12-11 v2
Packing spanning trees and the $k$-tree protocol
We provide a structural description of, and invariants for, maximum spanning tree-packable graphs, i.e. those graphs G for which the edge connectivity of G is equal to the maximum number of edge-disjoint spanning trees in G. These graphs are of interest for the k-tree protocol of Itai and Rodeh [Inform. and Comput. 79 (1988), 43-59].
Minimum k-path vertex cover
Published in Discrete Applied Mathematics Volume 159, Issue 12, 28 July 2011, Pages 1189-1195 • View Publication • BIB
A subset S of vertices of a graph G is called a k-path vertex cover if every path of order k in G contains at least one vertex from S. Denote by ψ_k(G) the minimum cardinality of a k-path vertex cover in G. It is shown that the problem of determining ψ_k(G) is NP-hard for each k \geq 2, while for trees the problem can be solved in linear time. We investigate upper bounds on the value of ψ_k(G) and provide several estimations and exact values of ψ_k(G). We also prove that ψ_3(G) \leq (2n + m)/6, for every graph G with n vertices and m edges.
2010-12-05 v56
A numeral system for the middle-levels graphs
Published • View Publication • BIB
The middle-levels graph $M_k$ ($0<k\in\mathbb{Z}$) has a dihedral quotient pseudograph $R_k$ whose vertices are the $k$-edge ordered trees $T$, each $T$ encoded as a $(2k+1)$-string $F(T)$ formed via $\rightarrow$DFS by: {\bf(i)} ($\leftarrow$BFS-assigned) Kierstead-Trotter lexical colors $0,\ldots,k$ for the descending nodes; {\bf(ii)} asterisks $*$ for the $k$ ascending edges. Two ways of corresponding a restricted-growth $k$-string $α$ to each $T$ exist, namely one Stanley's way and a novel way that assigns $F(T)$ to $α$ via nested substring-swaps. These swaps permit to sort $V(R_k)$ as an ordered tree that allows a lexical visualization of $M_k$ as well as the Hamilton cycles of $M_k$ constructed by P. Gregor, T. Mütze and J. Nummenpalo.
2010-11-30
The number of maximum matchings in a tree
Published in Discrete Math 311 (2011), 2512-2542 • View Publication • BIB
We determine upper and lower bounds for the number of maximum matchings (i.e., matchings of maximum cardinality) $m(T)$ of a tree $T$ of given order. While the trees that attain the lower bound are easily characterised, the trees with largest number of maximum matchings show a very subtle structure. We give a complete characterisation of these trees and derive that the number of maximum matchings in a tree of order $n$ is at most $O(1.391664^n)$ (the precise constant being an algebraic number of degree 14). As a corollary, we improve on a recent result by Górska and Skupień on the number of maximal matchings (maximal with respect to set inclusion).
2010-11-29
Locally-finite connected-homogeneous digraphs
Published • View Publication • BIB
A digraph is connected-homogeneous if any isomorphism between finite connected induced subdigraphs extends to an automorphism of the digraph. We consider locally-finite connected-homogeneous digraphs with more than one end. In the case that the digraph embeds a triangle we give a complete classification, obtaining a family of tree-like graphs constructed by gluing together directed triangles. In the triangle-free case we show that these digraphs are highly arc-transitive. We give a classification in the two-ended case, showing that all examples arise from a simple construction given by gluing along a directed line copies of some fixed finite directed complete bipartite graph. When the digraph has infinitely many ends we show that the descendants of a vertex form a tree, and the reachability graph (which is one of the basic building blocks of the digraph) is one of: an even cycle, a complete bipartite graph, the complement of a perfect matching, or an infinite semiregular tree. We give examples showing that each of these possibilities is realised as the reachability graph of some connected-homogeneous digraph, and in the process we obtain a new family of highly arc-transitive digraphs without property Z.
2010-11-26
Nimbers are inevitable
Published • View Publication • BIB
This article concerns the resolution of impartial combinatorial games, and in particular games that can be split in sums of independent positions. We prove that in order to compute the outcome of a sum of independent positions, it is always more efficient to compute separately the nimbers of each independent position than to develop directly the game tree of the sum. The concept of nimber is therefore inevitable to solve impartial games, even when we only try to determinate the winning or losing outcome of a starting position. We also describe algorithms to use nimbers efficiently and finally, we give a review of the results obtained on two impartial games: Sprouts and Cram.
Stochastic Minority on Graphs
Published • View Publication • BIB
Cellular automata have been mainly studied on very regular graphs carrying the vertices (like lines or grids) and under synchronous dynamics (all vertices update simultaneously). In this paper, we study how the asynchronism and the graph act upon the dynamics of the classical Minority rule. Minority has been well-studied for synchronous updates and is thus a reasonable choice to begin with. Yet, beyond its apparent simplicity, this rule yields complex behaviors when asynchronism is introduced. We investigate the transitory part as well as the asymptotic behavior of the dynamics under full asynchronism (also called sequential: only one random vertex updates at each time step) for several types of graphs. Such a comparative study is a first step in understanding how the asynchronous dynamics is linked to the topology (the graph). Previous analyses on the grid [1,2] have observed that Minority seems to induce fast stabilization. We investigate here this property on arbitrary graphs using tools such as energy, particles and random walks. We show that the worst case convergence time is, in fact, strongly dependent on the topology. In particular, we observe that the case of trees is non trivial.
On the heterochromatic number of hypergraphs associated to geometric graphs and to matroids
Published in Graphs Combin 29(5) (2013), 1517-1522 • View Publication • BIB
The heterochromatic number hc(H) of a non-empty hypergraph H is the smallest integer k such that for every colouring of the vertices of H with exactly k colours, there is a hyperedge of H all of whose vertices have different colours. We denote by nu(H) the number of vertices of H and by tau(H) the size of the smallest set containing at least two vertices of each hyperedge of H. For a complete geometric graph G with n > 2 vertices let H = H(G) be the hypergraph whose vertices are the edges of G and whose hyperedges are the edge sets of plane spanning trees of G. We prove that if G has at most one interior vertex, then hc(H) = nu(H) - tau(H) + 2. We also show that hc(H) = nu(H) - tau(H) + 2 whenever H is a hypergraph with vertex set and hyperedge set given by the ground set and the bases of a matroid, respectively.
2010-11-21
Integral trees of odd diameters
Published • View Publication • BIB
A graph is called integral if all eigenvalues of its adjacency matrix consist entirely of integers. Recently, Csikvari proved the existence of integral trees of any even diameter. In the odd case, integral trees have been constructed with diameter at most 7. In this paper, we show that for every odd integer n > 1, there are infinitely many integral trees of diameter n.
2010-11-18 v3
Algebraic and combinatorial structures on Baxter permutations
Published in Formal Power Series and Algebraic Combinatorics, 387--398, 2011 • View Publication • BIB
We give a new construction of a Hopf subalgebra of the Hopf algebra of Free quasi-symmetric functions whose bases are indexed by objects belonging to the Baxter combinatorial family (i.e. Baxter permutations, pairs of twin binary trees, etc.). This construction relies on the definition of the Baxter monoid, analog of the plactic monoid and the sylvester monoid, and on a Robinson-Schensted-like insertion algorithm. The algebraic properties of this Hopf algebra are studied. This Hopf algebra appeared for the first time in the work of Reading [Lattice congruences, fans and Hopf algebras, Journal of Combinatorial Theory Series A, 110:237--273, 2005].
2010-11-17
Embedding a Forest in a Graph
Published • View Publication • BIB
For \math{p\ge 1}, we prove that every forest with \math{p} trees whose sizes are $a_1,..., a_p$ can be embedded in any graph containing at least $\sum_{i=1}^p (a_i + 1)$ vertices and having a minimum degree at least $\sum_{i=1}^p a_i$.
Lattice Polynomials, 12312-Avoiding Partial Matchings and Even Trees
The lattice polynomials $L_{i,j}(x)$ are introduced by Hough and Shapiro as a weighted count of certain lattice paths from the origin to the point $(i,j)$. In particular, $L_{2n, n}(x)$ reduces to the generating function of the numbers $T_{n,k}={1\over n}{n-1+k\choose n-1}{2n-k\choose n+1}$, which can be viewed as a refinement of the $3$-Catalan numbers $T_n=\frac{1}{2n+1}{3n\choose n}$. In this paper, we establish a correspondence between $12312$-avoiding partial matchings and lattice paths, and we show that the weighted count of such partial matchings with respect to the number of crossings in a more general sense coincides with the lattice polynomials $L_{i,j}(x)$. We also introduce a statistic on even trees, called the $r$-index, and show that the number of even trees with $2n$ edges and with $r$-index $k$ equal to $T_{n,k}$.
2010-11-16 v2
A determinant formula for the Jones polynomial of pretzel knots
Published in Journal of Knot Theory and Its Ramifications vol. 21, no. 6 (2012) 1250062 (23 pages) • View Publication • BIB
This paper presents an algorithm to construct a weighted adjacency matrix of a plane bipartite graph obtained from a pretzel knot diagram. The determinant of this matrix after evaluation is shown to be the Jones polynomial of the pretzel knot by way of perfect matchings (or dimers) of this graph. The weights are Tutte's activity letters that arise because the Jones polynomial is a specialization of the signed version of the Tutte polynomial. The relationship is formalized between the familiar spanning tree setting for the Tait graph and the perfect matchings of the plane bipartite graph above. Evaluations of these activity words are related to the chain complex for the Champanerkar-Kofman spanning tree model of reduced Khovanov homology.