arXiv++ Combinatorics

Browse math.CO papers from arXiv

tree

6737 papers tagged with this keyword
2017-12-17 v3
A proof of Tomescu's graph coloring conjecture
Published • View PublicationBIB
In 1971, Tomescu conjectured that every connected graph $G$ on $n$ vertices with chromatic number $k\geq4$ has at most $k!(k-1)^{n-k}$ proper $k$-colorings. Recently, Knox and Mohar proved Tomescu's conjecture for $k=4$ and $k=5$. In this paper, we complete the proof of Tomescu's conjecture for all $k\ge 4$, and show that equality occurs if and only if $G$ is a $k$-clique with trees attached to each vertex.
Resistance distance in straight linear 2-trees
Published • View PublicationBIB
We consider the graph $G_n$ with vertex set $V(G_n) = \{ 1, 2, \ldots, n\}$ and $\{i,j\} \in E(G_n)$ if and only if $0<|i-j| \leq 2$. We call $G_n$ the straight linear 2-tree on $n$ vertices. Using $Δ$--Y transformations and identities for the Fibonacci and Lucas numbers we obtain explicit formulae for the resistance distance $r_{G_n}(i,j)$ between any two vertices $i$ and $j$ of $G_n$. To our knowledge $\{G_n\}_{n=3}^\infty$ is the first nontrivial family with diameter going to $\infty$ for which all resistance distances have been explicitly calculated. Our result also gives formulae for the number of spanning trees and 2-forests in a straight linear 2-tree. We show that the maximal resistance distance in $G_n$ occurs between vertices 1 and $n$ and the minimal resistance distance occurs between vertices $n/2$ and $n/2+1$ for $n$ even (with a similar result for $n$ odd). It follows that $r_n(1,n) \to \infty$ as $n \to \infty$. Moreover, our explicit formula makes it possible to order the non-edges of $G_n$ exactly according to resistance distance, and this ordering agrees with the intuitive notion of distance on a graph. Consequently, $G_n$ is a geometric graph with entirely different properties than the random geometric graphs investigated in [6]. These results for straight linear 2-trees along with an example of a bent linear 2-tree and empirical results for additional graph classes convincingly demonstrate that resistance distance should not be discounted as a viable method for link prediction in geometric graphs.
Resistance distance in bent linear 2-trees
In this note we consider the bent linear 2-tree and provide an explicit formula for the resistance distance $r_{G_n}(1,n)$ between the first and last vertices of the graph. We call the graph $G_n$ with vertex set $V(G_n) = \{ 1, 2, \ldots, n\}$ and $\{i,j\} \in E(G_n)$ if and only if $0<|i-j| \leq 2$ a straight linear 2-tree. We define the graph $H_n$ with $V(H_n)= V(G_n)$ and $E(H_n) = (E(G_n) \cup \{k,k+3\})\setminus(\{k+1,k+3\}$ to be a bent linear 2-tree with bend at vertex $k$.
2017-12-13 v2
Permuted composition tableaux, 0-Hecke algebra and labeled binary trees
Published in J. Combin. Theory Ser. A 161: 420--452 (2019) • View PublicationBIB
We introduce a generalization of semistandard composition tableaux called permuted composition tableaux. These tableaux are intimately related to permuted basement semistandard augmented fillings studied by Haglund, Mason and Remmel. Our primary motivation for studying permuted composition tableaux is to enumerate all possible ordered pairs of permutations $(σ_1,σ_2)$ that can be obtained by standardizing the entries in two adjacent columns of an arbitrary composition tableau. We refer to such pairs as compatible pairs. To study compatible pairs in depth, we define a $0$-Hecke action on permuted composition tableaux. This action naturally defines an equivalence relation on these tableaux. Certain distinguished representatives of the resulting equivalence classes in the special case of two-columned tableaux are in bijection with compatible pairs. We provide a bijection between two-columned tableaux and labeled binary trees. This bijection maps a quadruple of descent statistics for 2-columned tableaux to left and right ascent-descent statistics on labeled binary trees introduced by Gessel, and we use it to prove that the number of compatible pairs is $(n+1)^{n-1}$.
Hypergraphs not containing a tight tree with a bounded trunk
An $r$-uniform hypergraph is a tight $r$-tree if its edges can be ordered so that every edge $e$ contains a vertex $v$ that does not belong to any preceding edge and the set $e-v$ lies in some preceding edge. A conjecture of Kalai [Kalai], generalizing the Erdős-Sós Conjecture for trees, asserts that if $T$ is a tight $r$-tree with $t$ edges and $G$ is an $n$-vertex $r$-uniform hypergraph containing no copy of $T$ then $G$ has at most $\frac{t-1}{r}\binom{n}{r-1}$ edges. A trunk $T'$ of a tight $r$-tree $T$ is a tight subtree such that every edge of $T-T'$ has $r-1$ vertices in some edge of $T'$ and a vertex outside $T'$. For $r\ge 3$, the only nontrivial family of tight $r$-trees for which this conjecture has been proved is the family of $r$-trees with trunk size one in [FF] from 1987. Our main result is an asymptotic version of Kalai's conjecture for all tight trees $T$ of bounded trunk size. This follows from our upper bound on the size of a $T$-free $r$-uniform hypergraph $G$ in terms of the size of its shadow. We also give a short proof of Kalai's conjecture for tight $r$-trees with at most four edges. In particular, for $3$-uniform hypergraphs, our result on the tight path of length $4$ implies the intersection shadow theorem of Katona [Katona].
2017-12-12 v2
Attaching leaves and picking cherries to characterise the hybridisation number for a set of phylogenies
Published in Advances in Applied Mathematics, 105:102-129, 2019 • View PublicationBIB
Throughout the last decade, we have seen much progress towards characterising and computing the minimum hybridisation number for a set P of rooted phylogenetic trees. Roughly speaking, this minimum quantifies the number of hybridisation events needed to explain a set of phylogenetic trees by simultaneously embedding them into a phylogenetic network. From a mathematical viewpoint, the notion of agreement forests is the underpinning concept for almost all results that are related to calculating the minimum hybridisation number for when |P|=2. However, despite various attempts, characterising this number in terms of agreement forests for |P|>2 remains elusive. In this paper, we characterise the minimum hybridisation number for when P is of arbitrary size and consists of not necessarily binary trees. Building on our previous work on cherry-picking sequences, we first establish a new characterisation to compute the minimum hybridisation number in the space of tree-child networks. Subsequently, we show how this characterisation extends to the space of all rooted phylogenetic networks. Moreover, we establish a particular hardness result that gives new insight into some of the limitations of agreement forests.
2017-12-12
An Erdős-Gallai type theorem for vertex colored graphs
Published in Graphs and Combinatorics (2019) 35 • View PublicationBIB
While investigating odd-cycle free hypergraphs, Győri and Lemons introduced a colored version of the classical theorem of Erdős and Gallai on $P_k$-free graphs. They proved that any graph $G$ with a proper vertex coloring and no path of length $2k+1$ with endpoints of different colors has at most $2kn$ edges. We show that Erdős and Gallai's original sharp upper bound of $kn$ holds for their problem as well. We also introduce a version of this problem for trees and present a generalization of the Erdős-Sós conjecture.
A bandwidth theorem for approximate decompositions
Published • View PublicationBIB
We provide a degree condition on a regular $n$-vertex graph $G$ which ensures the existence of a near optimal packing of any family $\mathcal H$ of bounded degree $n$-vertex $k$-chromatic separable graphs into $G$. In general, this degree condition is best possible. Here a graph is separable if it has a sublinear separator whose removal results in a set of components of sublinear size. Equivalently, the separability condition can be replaced by that of having small bandwidth. Thus our result can be viewed as a version of the bandwidth theorem of Böttcher, Schacht and Taraz in the setting of approximate decompositions. More precisely, let $δ_k$ be the infimum over all $δ\ge 1/2$ ensuring an approximate $K_k$-decomposition of any sufficiently large regular $n$-vertex graph $G$ of degree at least $δn$. Now suppose that $G$ is an $n$-vertex graph which is close to $r$-regular for some $r \ge (δ_k+o(1))n$ and suppose that $H_1,\dots,H_t$ is a sequence of bounded degree $n$-vertex $k$-chromatic separable graphs with $\sum_i e(H_i) \le (1-o(1))e(G)$. We show that there is an edge-disjoint packing of $H_1,\dots,H_t$ into $G$. If the $H_i$ are bipartite, then $r\geq (1/2+o(1))n$ is sufficient. In particular, this yields an approximate version of the tree packing conjecture in the setting of regular host graphs $G$ of high degree. Similarly, our result implies approximate versions of the Oberwolfach problem, the Alspach problem and the existence of resolvable designs in the setting of regular host graphs of high degree.
2017-12-11
Embeddings of weighted graphs in Erdős-type settings
Published in Moscow J. Comb. Number Th. 8 (2019) 117-123 • View PublicationBIB
Many recent results in combinatorics concern the relationship between the size of a set and the number of distances determined by pairs of points in the set. One extension of this question considers configurations within the set with a specified pattern of distances. In this paper, we use graph-theoretic methods to prove that a sufficiently large set $E$ must contain at least $C_G|E|$ distinct copies of any given weighted tree $G$, where $C_G$ is a constant depending only on the graph $G$.
2017-12-11
Operads in algebraic combinatorics
The main ideas developed in this habilitation thesis consist in endowing combinatorial objects (words, permutations, trees, Young tableaux, etc.) with operations in order to construct algebraic structures. This process allows, by studying algebraically the structures thus obtained (changes of bases, generating sets, presentations, morphisms, representations), to collect combinatorial information about the underlying objects. The algebraic structures the most encountered here are magmas, posets, associative algebras, dendriform algebras, Hopf bialgebras, operads, and pros. This work explores the aforementioned research direction and provides many constructions having the particularity to build algebraic structures on combinatorial objects. We develop for instance a functor from nonsymmetric colored operads to nonsymmetric operads, from monoids to operads, from unitary magmas to nonsymmetric operads, from finite posets to nonsymmetric operads, from stiff pros to Hopf bialgebras, and from precompositions to nonsymmetric operads. These constructions bring alternative ways to describe already known structures and provide new ones, as for instance, some of the deformations of the noncommutative Faà di Bruno Hopf bialgebra of Foissy and a generalization of the dendriform operad of Loday. We also use algebraic structures to obtain enumerative results. In particular, nonsymmetric colored operads are promising devices to define formal series generalizing the usual ones. These series come with several products (for instance a pre-Lie product, an associative product, and their Kleene stars) enriching the usual ones on classical power series. This provides a framework and a toolbox to strike combinatorial questions in an original way. The first two chapters pose the elementary notions of combinatorics and algebraic combinatorics used here. The last ten chapters contain our original research.
2017-12-10
The minimum stretch spanning tree problem for typical graphs
Published • View PublicationBIB
With applications in distribution systems and communication networks, the minimum stretch spanning tree problem is to find a spanning tree T of a graph G such that the maximum distance in T between two adjacent vertices is minimized. The problem has been proved to be NP-hard and fixed-parameter polynomial algorithms have been obtained for some special classes of graphs. In this paper, we concentrate on the optimality characterizations for typical classes of graphs. We determine the exact optimality representations for Petersen graph, the complete k-partite graphs, split graphs, generalized convex graphs, and several planar grids, including rectangular grids, triangular grids, and triangular-rectangular grids.
2017-12-10
Graphs with prescribed local neighborhoods of their universal coverings
Published • View PublicationBIB
Given a collection of n rooted trees with depth h, we give a necessary and sufficient condition for this collection to be the collection of h-depth universal covering neighborhoods at each vertex.
2017-12-10
Asymptotic results on Hoppe trees and its variations
Published • View PublicationBIB
A uniform recursive tree on $n$ vertices is a random tree where each possible $(n-1)!$ labeled recursive rooted tree is selected with equal probability. In this paper we introduce and study weighted trees, a non-uniform recursive tree model departing from the recently introduced Hoppe trees. This class generalizes both uniform recursive trees and Hoppe trees. The generalization provides diversity among the nodes, making the model more flexible for applications. We also analyze the number of leaves, the height, the depth, the number of branches, and the size of the largest branch in these weighted trees.
Dispersion processes
Published • View PublicationBIB
We study a synchronous dispersion process in which $M$ particles are initially placed at a distinguished origin vertex of a graph $G$. At each time step, at each vertex $v$ occupied by more than one particle at the beginning of this step, each of these particles moves to a neighbour of $v$ chosen independently and uniformly at random. The dispersion process ends once the particles have all stopped moving, i.e. at the first step at which each vertex is occupied by at most one particle. For the complete graph $K_n$ and star graph $S_n$, we show that for any constant $δ>1$, with high probability, if $M \le n/2(1-δ)$, then the process finishes in $O(\log n)$ steps, whereas if $M \ge n/2(1+δ)$, then the process needs $e^{Ω(n)}$ steps to complete (if ever). We also show that an analogous lazy variant of the process exhibits the same behaviour but for higher thresholds, allowing faster dispersion of more particles. For paths, trees, grids, hypercubes and Cayley graphs of large enough sizes (in terms of $M$) we give bounds on the time to finish and the maximum distance traveled from the origin as a function of the number of particles $M$.
2017-12-07 v4
The Representation Theory of 2-Sylow Subgroups of the Symmetric Group
We use binary trees to study the Bratteli diagram of Sylow 2-subgroups of symmetric groups. We show that it is simple, has a recursive structure, and self-similarities at all scales. We contrast its subgraph of one-dimensional representations with the Macdonald tree. We exploit the recursive structure to find the multiplicities of irreducible characters in the restriction to a Sylow 2-subgroup of odd-dimensional representations of the symmetric group $S_{2^k}$.
2017-12-06 v3
A Note on Construction of Dual-Hamiltonian Graphs
A connected simple graph is said dual-hamiltonian if its vertex set has a $2$-coloring such that each color class induces a tree. We call such a coloring a hamiltonian coloring. We prove that if $G$ is a graph with a certain type of hamiltonian coloring and $T$ is a tree, then $G\times T$ is also dual-hamiltonian having the same certain type of hamiltonian coloring. This result is used to constructed a class of dual-hamiltonian graphs, which includes the hypercubes and other multidimensional grids.
2017-12-05
Rooted tree maps and the derivation relation for multiple zeta values
Published • View PublicationBIB
Rooted tree maps assign to an element of the Connes-Kreimer Hopf algebra of rooted trees a linear map on the noncommutative polynomial algebra in two letters. Evaluated at any admissible word these maps induce linear relations between multiple zeta values. In this note we show that the derivation relations for multiple zeta values are contained in this class of linear relations.
Leaf realization problem, caterpillar graphs and prefix normal words
Published • View PublicationBIB
Given a simple graph $G$ with $n$ vertices and a natural number $i \leq n$, let $L_G(i)$ be the maximum number of leaves that can be realized by an induced subtree $T$ of $G$ with $i$ vertices. We introduce a problem that we call the \emph{leaf realization problem}, which consists in deciding whether, for a given sequence of $n+1$ natural numbers $(\ell_0, \ell_1, \ldots, \ell_n)$, there exists a simple graph $G$ with $n$ vertices such that $\ell_i = L_G(i)$ for $i = 0, 1, \ldots, n$. We present basic observations on the structure of these sequences for general graphs and trees. In the particular case where $G$ is a caterpillar graph, we exhibit a bijection between the set of the discrete derivatives of the form $(ΔL_G(i))_{1 \leq i \leq n - 3}$ and the set of prefix normal words.
2017-12-04
Rooted Tree Maps
Published • View PublicationBIB
Based on Hopf algebra of rooted trees introduced by Connes and Kreimer, we construct a class of linear maps on noncommutative polynomial algebra in two indeterminates, namely rooted tree maps. We also prove that their maps induce a class of relations among multiple zeta values.
2017-12-04
Asymptotic properties of random unlabelled block-weighted graphs
Published • View PublicationBIB
We study the asymptotic shape of random unlabelled graphs subject to certain subcriticality conditions. The graphs are sampled with probability proportional to a product of Boltzmann weights assigned to their $2$-connected components. As their number of vertices tends to infinity, we show that they admit the Brownian tree as Gromov--Hausdorff--Prokhorov scaling limit, and converge in a strengthened Benjamini--Schramm sense toward an infinite random graph. We also consider a family of random graphs that are allowed to be disconnected. Here a giant connected component emerges and the small fragments converge without any rescaling towards a finite random limit graph.