arXiv++ Combinatorics

Browse math.CO papers from arXiv

tree

6737 papers tagged with this keyword
Most Laplacian eigenvalues of a tree are small
Published • View PublicationBIB
We show that the number of Laplacian eigenvalues greater than the average degree of a tree having $n$ vertices is at most $\lfloor\frac{n}{2} \rfloor$.
2019-06-28 v3
Generating Normal Networks via Leaf Insertion and Nearest Neighbor Interchange
Published in RECOMBCG, 2019 • View PublicationBIB
Galled trees are studied as a recombination model in theoretic population genetics. This class of phylogenetic networks has been generalized to tree-child networks, normal networks and tree-based networks by relaxing a structural condition. Although these networks are simple, their topological structures have yet to be fully understood. It is well-known that all phylogenetic trees on $n$ taxa can be generated by the insertion of the $n$-th taxa to each edge of all the phylogenetic trees on $n-1$ taxa. We prove that all tree-child networks with $k$ reticulate nodes on $n$ taxa can be uniquely generated via three operations from all the tree-child networks with $k-1$ or $k$ reticulate nodes on $n-1$ taxa . An application of this result is found in counting tree-child networks and normal networks. In particular, a simple formula is given for the number of rooted phylogenetic networks with one reticulate node.
2019-06-28
On extremal results of multiplicative Zagreb indices of trees with given distance $k$-domination number
Published • View PublicationBIB
The first multiplicative Zagreb index $Π_1$ of a graph $G$ is the product of the square of every vertex degree, while the second multiplicative Zagreb index $Π_2$ is the product of the products of degrees of pairs of adjacent vertices. In this paper, we give sharp lower bound for $Π_1$ and upper bound for $Π_2$ of trees with given distance $k$-domination number, and characterize those trees attaining the bounds.
Perfectly packing graphs with bounded degeneracy and many leaves
Published • View PublicationBIB
We prove that one can perfectly pack degenerate graphs into complete or dense $n$-vertex quasirandom graphs, provided that all the degenerate graphs have maximum degree $o(\frac{n}{\log n})$, and in addition $Ω(n)$ of them have at most $(1-Ω(1))n$ vertices and $Ω(n)$ leaves. This proves Ringel's conjecture and the Gyárfás Tree Packing Conjecture for all but an exponentially small fraction of trees (or sequences of trees, respectively).
2019-06-25 v2
Impartial digraphs
Published • View PublicationBIB
We prove a conjecture of Fox, Huang, and Lee that characterizes directed graphs that have constant density in all tournaments: they are disjoint unions of trees that are each constructed in a certain recursive way.
2019-06-24 v2
On the Erdős-Sós conjecture for trees with bounded degree
Published • View PublicationBIB
We prove the Erd\H os--Sós conjecture for trees with bounded maximum degree and large dense host graphs. As a corollary, we obtain an upper bound on the multicolour Ramsey number of large trees whose maximum degree is bounded by a constant.
2019-06-24 v3
Boundary Independent Broadcasts in Graphs
A broadcast on a nontrivial connected graph G is a function f from the vertices of G to the non-negative integers such that f(v) does not exceed e(v) (the eccentricity of v) for each vertex v. If G is disconnected, we define a broadcast on G as the union of broadcasts on its components. In a search for the best way to generalise the concept of independent sets in graphs to independent broadcasts, there are several ways to look at an independent set X of a graph G. One way is from the point of view of the vertices in X: no two vertices are adjacent -- the usual definition. Another way is from the point of view of the edges of G: no edge is incident with (or covered by) more than one vertex in X. Using the latter approach we define boundary independent broadcasts as an alternative to independent broadcasts as defined by D. Erwin [Cost domination in graphs, Doctoral dissertation, Western Michigan University, 2001], which we refer to here as hearing or h-independent broadcasts. We compare the boundary independence broadcast number to the independence number and the h-independence broadcast number and show that the differences can be arbitrary, while the ratios are bounded; the bounds we present are asymptotically best possible. We also show that, although the difference between the boundary independence broadcast number and the independence number can be arbitrary for trees, they are equal for any 2-connected bipartite graph. We prove a tight upper bound for the boundary independence number and characterise graphs for which equality holds. Using this bound and the established ratio we obtain a new tight upper bound for Erwin's h-independence broadcast number.
2019-06-21 v3
The Size of the Giant Joint Component in a Binomial Random Double Graph
Published • View PublicationBIB
We study the joint components in a random `double graph' that is obtained by superposing red and blue binomial random graphs on $n$~vertices. A joint component is a maximal set of vertices, which contains both a red and a blue spanning tree. We show that there are critical pairs of red and blue edge densities at which a joint-giant component appears. In contrast to the standard binomial graph model, the phase transition is first order: the size of the largest joint component jumps from $O(1)$ vertices to $Θ(n)$ at the critical point. We connect this phenomenon to the properties of a certain bicoloured branching process.
The size Ramsey number of graphs with bounded treewidth
Published • View PublicationBIB
A graph $G$ is Ramsey for a graph $H$ if every 2-colouring of the edges of $G$ contains a monochromatic copy of $H$. We consider the following question: if $H$ has bounded treewidth, is there a `sparse' graph $G$ that is Ramsey for $H$? Two notions of sparsity are considered. Firstly, we show that if the maximum degree and treewidth of $H$ are bounded, then there is a graph $G$ with $O(|V(H)|)$ edges that is Ramsey for $H$. This was previously only known for the smaller class of graphs $H$ with bounded bandwidth. On the other hand, we prove that the treewidth of a graph $G$ that is Ramsey for $H$ cannot be bounded in terms of the treewidth of $H$ alone. In fact, the latter statement is true even if the treewidth is replaced by the degeneracy and $H$ is a tree.
The strong spectral property for graphs
Published • View PublicationBIB
We introduce the set $\mathcal{G}^{\rm SSP}$ of all simple graphs $G$ with the property that each symmetric matrix corresponding to a graph $G \in \mathcal{G}^{\rm SSP}$ has the strong spectral property. We find several families of graphs in $\mathcal{G}^{\rm SSP}$ and, in particular, characterise the trees in $\mathcal{G}^{\rm SSP}$.
The Moran forest
Published in Random Structures & Algorithms, 59(2):155-188 (2021) • View PublicationBIB
Starting from any graph on $\{1, \ldots, n\}$, consider the Markov chain where at each time-step a uniformly chosen vertex is disconnected from all of its neighbors and reconnected to another uniformly chosen vertex. This Markov chain has a stationary distribution whose support is the set of non-empty forests on $\{1, \ldots, n\}$. The random forest corresponding to this stationary distribution has interesting connections with the uniform rooted labeled tree and the uniform attachment tree. We fully characterize its degree distribution, the distribution of its number of trees, and the limit distribution of the size of a tree sampled uniformly. We also show that the size of the largest tree is asymptotically $α\log n$, where $α= (1 - \log(e - 1))^{-1} \approx 2.18$, and that the degree of the most connected vertex is asymptotically $\log n / \log\log n$.
2019-06-20 v2
Minimal resolutions of monomial ideals
An explicit combinatorial minimal free resolution of an arbitrary monomial ideal $I$ in a polynomial ring in $n$ variables over a field of characteristic $0$ is defined canonically, without any choices, using higher-dimensional generalizations of combined spanning trees for cycles and cocycles ("hedges") in the upper Koszul simplicial complexes of $I$ at lattice points in $\mathbb{Z}^n$. The differentials in these "sylvan resolutions" are expressed as matrices whose entries are sums over lattice paths of weights determined combinatorially by sequences of hedges ("hedgerows") along each lattice path. This combinatorics enters via an explicit matroidal expression for the Moore-Penrose pseudoinverses of the differentials in any CW complex as weighted averages of splittings defined by hedges. This "Hedge Formula" also yields a projection formula from CW chains to boundaries. The translation from Moore-Penrose combinatorics to free resolutions relies on Wall complexes, which construct minimal free resolutions of graded ideals from vertical splittings of Koszul bicomplexes. The algebra of Wall complexes applied to individual hedgerows yields explicit but noncanonical combinatorial minimal free resolutions of arbitrary monomial ideals in any characteristic.
2019-06-18
Aggregate Play and Welfare in Strategic Interactions on Networks
Published • View PublicationBIB
In recent work by Bramoullé and Kranton, a model for the provision of public goods on a network was presented and relations between equilibria of such a game and properties of the network were established. This model was further extended to include games with imperfect substitutability in Bramoullé et al. The vast multiplicity of equilibria in such games along with the drastic changes in equilibria with small changes in network structure, makes it challenging for a system planner to estimate the maximum social welfare of such a game or to devise interventions that enhance this welfare. Our main results address this challenge by providing close approximations to the maximum social welfare and the maximum aggregate play in terms of only network characteristics such as the maximum degree and independence number. For the special case when the underlying network is a tree, we derive formulae which use only the number of nodes and their degrees. These results allow a system planner to assess aggregate outcomes and design interventions for the game, directly from the underlying graph structure, without enumerating all equilibria of the game, thereby significantly simplifying the planner's problem. A part of our results can be viewed as a logical extension of [7] where the maximum weighted aggregate effort of the model in [2] was characterized as the weighted independence number of the graph.
2019-06-17 v2
Throttling numbers for adversaries on connected graphs
In this paper, we answer two open problems from [Breen et al., Throttling for the game of Cops and Robbers on graphs, Discrete Math., 341 (2018) 2418-2430]. The throttling number $th_c(G)$ of a graph $G$ is the minimum possible value of $k + capt_k(G)$ over all positive integers $k$, where $capt_k(G)$ is the number of rounds needed for $k$ cops to capture the robber on $G$. One of the problems from [Breen et al., 2018] was to determine whether there exists a family of trees $T$ of order $n$ for which $th_c(T)$ is asymptotically equal to $2 \sqrt{n}$. We show that such a family cannot exist by improving the upper bound on $\displaystyle \max_{T} th_c(T)$ for all trees $T$ of order $n$ from $2 \sqrt{n}$ to $\frac{\sqrt{14}}{2} \sqrt{n} + O(1)$. We prove this bound by deriving a more general throttling bound for connected graphs that applies to multiple graph adversaries, including the robber and the gambler. This also improves the best known upper bounds on $th_c(G)$ for chordal graphs and unicyclic graphs $G$, as well as throttling numbers for positive semidefinite (PSD) zero forcing on trees. In addition to the results about cop versus robber, we use our general throttling bound to improve previous upper bounds on throttling numbers for the cop versus gambler game on connected graphs. Another open problem from [Breen et al., 2018] was to obtain a bound on $th_c(G)$ for cactus graphs $G$. We prove an $O(\sqrt{n})$ bound for all cactus graphs $G$ of order $n$. Furthermore, we exhibit a family of trees $T$ of order $n$ that have $th_c(T) > 1.4502 \sqrt{n}$ for all $n$ sufficiently large, improving on the previous lower bound of $\lceil \sqrt{2n}-\frac{1}{2} \rceil + 1$ on $\displaystyle \max_{T} th_c(T)$ for trees $T$ of order $n$.
2019-06-15
Braided dendriform and tridendriform algebras and braided Hopf algebras of planar trees
Published in J. Algebraic Combin. 53 (2021), 1147-1185 • View PublicationBIB
This paper introduces the braidings of dendriform algebras and tridendriform algebras. By studying free braided dendriform algebras, we obtain braidings of the Hopf algebras of Loday and Ronco of planar binary rooted trees. We also give a variation of the braiding of Foissy for the noncommutative Connes-Kreimer (a.k.a the Foissy-Holtkamp) Hopf algebra of planar rooted forests so that the well-known isomorphism between this Hopf algebra and the Loday-Ronco Hopf algebra is extended to the braided context. As free braided tridendriform algebras, we also give braided extension of the Hopf algebra of Loday and Ronco on planar rooted trees.
2019-06-14
Linear extension numbers of $n$-element posets
Published • View PublicationBIB
We address the following natural but hitherto unstudied question: what are the possible linear extension numbers of an $n$-element poset? Let $\mathbf{LE}(n)$ denote the set of all positive integers that arise as the number of linear extensions of some $n$-element poset. We show that $\mathbf{LE}(n)$ skews towards the "small" end of the interval $[1,n!]$. More specifically, $\mathbf{LE}(n)$ contains all of the positive integers up to $\exp\left(c\frac{n}{\log n}\right)$ for some absolute constant $c$, and $|\mathbf{LE}(n) \cap ((n-1)!,n!]|<(n-3)!$. The proof of the former statement involves some intermediate number-theoretic results about the Stern-Brocot tree that are of independent interest.
Combinatorial generation via permutation languages. I. Fundamentals
Published • View PublicationBIB
In this work we present a general and versatile algorithmic framework for exhaustively generating a large variety of different combinatorial objects, based on encoding them as permutations. This approach provides a unified view on many known results and allows us to prove many new ones. In particular, we obtain four classical Gray codes for permutations, bitstrings, binary trees and set partitions as special cases. We present two distinct applications for our new framework: The first main application is the generation of pattern-avoiding permutations, yielding new Gray codes for different families of permutations that are characterized by the avoidance of certain classical patterns, (bi)vincular patterns, barred patterns, boxed patterns, Bruhat-restricted patterns, mesh patterns, monotone and geometric grid classes, and many others. We also obtain new Gray codes for all the combinatorial objects that are in bijection to these permutations, in particular for five different types of geometric rectangulations, also known as floorplans, which are divisions of a square into $n$ rectangles subject to certain restrictions. The second main application of our framework are lattice congruences of the weak order on the symmetric group $S_n$. Recently, Pilaud and Santos realized all those lattice congruences as $(n-1)$-dimensional polytopes, called quotientopes, which generalize hypercubes, associahedra, permutahedra etc. Our algorithm generates the equivalence classes of each of those lattice congruences, by producing a Hamilton path on the skeleton of the corresponding quotientope, yielding a constructive proof that each of these highly symmetric graphs is Hamiltonian. We thus also obtain a provable notion of optimality for the Gray codes obtained from our framework: They translate into walks along the edges of a polytope.
2019-06-14
On the Degree Sequences of Multigraphs with Edge Additions and Deletions
The degree sequence of a graph is a numerical method to characterize the properties of graphs. Generalized forms of degree sequences exist for complete graphs and complete graphs. Nikolopolus et al. characterized the number of spanning trees from edge deletions and edge additions. Instead of investigating the number of spanning trees of graphs that arise from edge additions and deletions, we sought to characterize degree sequences of such graphs. We conjecture a characterization for the degree sequence of the addition and edge deletion for many families of graphs including threshold graphs and complete multigraphs. Keywords: multigraphs, split graphs, degree sequence, threshold graph, Havel-Hakimi, Ruch-Gutman, Edge Deletion
2019-06-14 v2
The Inverse Eigenvalue Problem for Linear Trees
Published • View PublicationBIB
We prove the sufficiency of the Linear Superposition Principle for linear trees, which characterizes the spectra achievable by a real symmetric matrix whose underlying graph is a linear tree. The necessity was previously proven in 2014. This is the most general class of trees for which the inverse eigenvalue problem has been solved. We explore many consequences, including the Degree Conjecture for possible spectra, upper bounds for the minimum number of eigenvalues of multiplicity $1$, and the equality of the diameter of a linear tree and its minimum number of distinct eigenvalues, etc.
2019-06-14 v2
Throttling processes equivalent to full throttling on trees
Published • View PublicationBIB
Consider a discrete-time process on a graph $G$ where a set $B$ of initial vertices are chosen to be colored blue (the remainder being white) and then a time step consists of every currently blue vertex forcing all of its neighbors to become blue; this process stops when every vertex of the graph is blue, and the process is called full forcing. The full throttling number of $G$ is then defined to be the minimum sum of the cardinality of $B$ and the number of time steps needed to complete the forcing process. On trees, the full throttling number is equivalent to the throttling numbers of several other graph processes, such as positive-semidefinite zero forcing, the game of cops and robbers, and the distance domination number (alternately, the $k$-radius) of a graph. For all of these, it is known that maximum possible throttling number for a tree on $n$ vertices is somewhere between $1.4502\sqrt{n}$ and $\frac{\sqrt{14}}{2}\sqrt{n}$, with the former exhibited by a family of spiders. After introducing some new ideas and methods for working with throttling on trees, this paper determines the exact full throttling number of all balanced spiders (trees with equal-length paths extending from a center vertex), and proves that their full throttling numbers are bounded above by that of paths of the same order $n$, which are known to have full throttling number $\lceil\sqrt{2n}-\frac{1}{2}\rceil$.