tree
6861 papers tagged with this keyword
Cyclic Cellular Automata and Greenberg-Hastings Models on Regular Trees
Published
• View Publication
• BIB
We study the cyclic cellular automaton (CCA) and the Greenberg-Hastings model (GHM) with $κ\ge 3$ colors and contact threshold $θ\ge 2$ on the infinite $(d+1)$-regular tree, $T_d$. When the initial state has the uniform product distribution, we show that these dynamical systems exhibit at least two distinct phases. For sufficiently large $d$, we show that if $κ(θ-1) \le d - O(\sqrt{dκ\ln(d)})$, then every vertex almost surely changes its color infinitely often, while if $κθ\ge d + O(κ\sqrt{d\ln(d)})$, then every vertex almost surely changes its color only finitely many times. Roughly, this implies that as $d\to \infty$, there is a phase transition where $κθ/d = 1$. For the GHM dynamics, in the scenario where every vertex changes color finitely many times, we moreover give an exponential tail bound for the distribution of the time of the last color change at a given vertex.
A coefficient related to splay-to-root traversal, correct to thousands of decimal places
This paper takes another look at the cost of traversing a binary tree using repeated splay-to-root. This was shown to cost $O(n)$ (in rotations) by Tarjan and later, in different ways, by Elmasry and others.
It would be interesting to know the minimal possible coefficient implied by the $O(n)$ cost; call this coefficient $β$. In this paper we define a related coefficient $α$ describing the cost of splay-to-root traversal on maximal (i.e., complete) binary trees, and show that $β\geq 2 + α$. We give the first 3009 digits of $α$, including the decimal point, and show that every digit is correct.
We make two conjectures: first, that $β= 2 + α$, and second, that $α$ is irrational.
Random increasing plane trees: asymptotic enumeration of vertices by distance from leaves
We prove that for any fixed $k$, the probability that a random vertex of a random increasing plane tree is of rank $k$, that is, the probability that a random vertex is at distance $k$ from the leaves, converges to a constant $c_k$ as the size $n$ of the tree goes to infinity. {\color{blue} We prove that $1-\sum_{j\le k} c_k<\tfrac{3^{k+1}}{(2k+1)!}$, so that the tail of the limiting rank distribution is super-exponentially narrow. We prove that the latter property holds uniformly for all finite $n$ as well.} More generally, we prove that the ranks of a finite uniformly random set of vertices are asymptotically independent, each with distribution $\{c_k\}$. We compute the exact value of $c_k$ for $0\leq k\leq 3$, demonstrating that the limiting expected fraction of vertices with rank $\le 3$ is $0.9997\dots$. We show that with probability $1-n^{-0.99\eps}$ the highest rank of a vertex in the tree is sandwiched between $(1-\eps)\log n /\log\log n$ and $(1.5+\eps)\log n/\log\log n$, {\color{blue} and that this rank is asymptotic to $\log n/\log\log n$ with probability $1-o(1)$.}
Edge Partitions of Complete Geometric Graphs (Part 1)
In this paper, we disprove the long-standing conjecture that any complete geometric graph on $2n$ vertices can be partitioned into $n$ plane spanning trees. Our construction is based on so-called bumpy wheel sets. We fully characterize which bumpy wheels can and in particular which \emph{cannot} be partitioned into plane spanning trees (or even into arbitrary plane \emph{subgraphs}), including a complete description of all possible partitions (into plane spanning trees).
Furthermore, we show a sufficient condition for \emph{generalized wheels} to not admit a partition into plane spanning trees, and give a complete characterization when they admit a partition into plane spanning double stars.
Enumeration of binary trees compatible with a perfect phylogeny
Published
• View Publication
• BIB
Evolutionary models used for describing molecular sequence variation suppose that at a non-recombining genomic segment, sequences share ancestry that can be represented as a genealogy--a rooted, binary, timed tree, with tips corresponding to individual sequences. Under the infinitely-many-sites mutation model, mutations are randomly superimposed along the branches of the genealogy, so that every mutation occurs at a chromosomal site that has not previously mutated; if a mutation occurs at an interior branch, then all individuals descending from that branch carry the mutation. The implication is that observed patterns of molecular variation from this model impose combinatorial constraints on the hidden state space of genealogies. In particular, observed molecular variation can be represented in the form of a perfect phylogeny, a tree structure that fully encodes the mutational differences among sequences. For a sample of n sequences, a perfect phylogeny might not possess n distinct leaves, and hence might be compatible with many possible binary tree structures that could describe the evolutionary relationships among the n sequences. Here, we investigate enumerative properties of the set of binary ranked and unranked tree shapes that are compatible with a perfect phylogeny, and hence, the binary ranked and unranked tree shapes conditioned on an observed pattern of mutations under the infinitely-many-sites mutation model. We provide a recursive enumeration of these shapes. We consider both perfect phylogenies that can be represented as binary and those that are multifurcating. The results have implications for computational aspects of the statistical inference of evolutionary parameters that underlie sets of molecular sequences.
The chromatic symmetric function of a graph centred at a vertex
Published
• View Publication
• BIB
We discover new linear relations between the chromatic symmetric functions of certain sequences of graphs and apply these relations to find new families of e-positive unit interval graphs. Motivated by the results of Gebhard and Sagan, we revisit their ideas and reinterpret their equivalence relation in terms of a new quotient algebra of NCSym. We investigate the projection of the chromatic symmetric function $Y_G$ in noncommuting variables in this quotient algebra, which defines $y_{G : v}$, the chromatic symmetric function of a graph G centred at a vertex v. We then apply our methods to $y_{G :v}$ and find new families of unit interval graphs that are (e)-positive, a stronger condition than classical e-positivity, thus confirming new cases of the (3+1)-free conjecture of Stanley and Stembridge.
In our study of $y_{G : v}$, we also describe methods of constructing new e-positive graphs from given $(e)$-positive graphs and classify the (e)-positivity of trees and cut vertices. We moreover construct a related quotient algebra of NCQSym to prove theorems relating the coefficients of $y_{G : v}$ to acyclic orientations of graphs, including a noncommutative refinement of Stanley's sink theorem.
A Combinatorial Interpretation for Sequence A345973 in OEIS
We give a combinatorial interpretation in terms of bicolored ordered trees for the sequence (a_n)_{n>=1}=(1, 1, 1, 2, 3, 6, 10, 20, 36, 73,... ), A345973 in OEIS, whose generating function satisfies the defining identity Sum_{n>=1}a_n x^n = x + x^2/Product_{n>=1}(1 - a_n x^n).
On the relationship between variable Wiener index and variable Szeged index
Published in Applied Mathematics and Computation Volume 431 (2022), 127320
• View Publication
• BIB
We resolve two conjectures of Hriňáková, Knor and Škrekovski (2019) concerning the relationship between the variable Wiener index and variable Szeged index for a connected, non-complete graph, one of which would imply the other. The strong conjecture is that for any such graph there is a critical exponent in $(0,1]$, below which the variable Wiener index is larger and above which the variable Szeged index is larger. The weak conjecture is that the variable Szeged index is always larger for any exponent exceeding $1$. They proved the weak conjecture for bipartite graphs, and the strong conjecture for trees. In this note we disprove the strong conjecture, although we show that it is true for almost all graphs, and for bipartite and block graphs. We also show that the weak conjecture holds for all graphs by proving a majorization relationship.
Restricted generating trees for weak orderings
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Combinatorics (March 21, 2022) dmtcs:8350
• View Publication
• BIB
Motivated by the study of pattern avoidance in the context of permutations and ordered partitions, we consider the enumeration of weak-ordering chains obtained as leaves of certain restricted rooted trees. A tree of order $n$ is generated by inserting a new variable into each node at every step. A node becomes a leaf either after $n$ steps or when a certain stopping condition is met. In this paper we focus on conditions of size 2 ($x=y$, $x<y$, or $x\le y$) and several conditions of size 3. Some of the cases considered here lead to the study of descent statistics of certain `almost' pattern-avoiding permutations.
Complexity of Restricted Star Colouring
Published
• View Publication
• BIB
Restricted star colouring is a variant of star colouring introduced to design heuristic algorithms to estimate sparse Hessian matrices. For $k\in\mathbb{N}$, a $k$-restricted star colouring ($k$-rs colouring) of a graph $G$ is a function $f:V(G)\to{0,1,\dots,k-1}$ such that (i)$f(x)\neq f(y)$ for every edge $xy$ of G, and (ii) there is no bicoloured 3-vertex path ($P_3$) in $G$ with the higher colour on its middle vertex. We show that for $k\geq 3$, it is NP-complete to test whether a given planar bipartite graph of maximum degree $k$ and arbitrarily large girth admits a $k$-rs colouring, and thereby answer a problem posed by Shalu and Sandhya (Graphs and Combinatorics, 2016). In addition, it is NP-complete to test whether a 3-star colourable graph admits a 3-rs colouring. We also prove that for all $ε> 0$, the optimization problem of restricted star colouring a 2-degenerate bipartite graph with the minimum number of colours is NP-hard to approximate within $n^{(1/3)-ε}$. On the positive side, we design (i) a linear-time algorithm to test 3-rs colourability of trees, and (ii) an $O(n^3)$-time algorithm to test 3-rs colourability of chordal graphs.
The line graph of a tree and its edge ideal
We describe all the trees with the property that the corresponding edge ideal of their line graph has a linear resolution. As a consequence, we give a complete characterization of those trees $T$ for which the line graph $L(T)$ is co-chordal. We also compute the second Betti number of the edge ideal of $L(T)$ and we determine the number of cycles in $\overline{L(T)}$. As a consequence, we obtain also the first Zagreb index of a graph. For edge ideals of line graphs of caterpillar graphs we determine the Krull dimension, the Castelnuovo-Mumford regularity, and the projective dimension under some additional assumption on the degrees of the cutpoints.
Multipath cohomology of directed graphs
Published in Algebr. Geom. Topol. 24 (2024) 4373-4421
• View Publication
• BIB
This work is part of a series of papers focusing on multipath cohomology of directed graphs. Multipath cohomology is defined as the (poset) homology of the path poset -- i.e., the poset of disjoint simple paths in a graph -- with respect to a certain functor. This construction is essentially equivalent, albeit more computable, to taking the higher limits of said functor on (a certain modification of) the path poset. We investigate the functorial properties of multipath cohomology. We provide a number of sample computations, show that the multipath cohomology does not vanish on trees, and that, when evaluated at the coherently oriented polygon, it recovers Hochschild homology. Finally, we use the same techniques employed to study the functoriality to investigate the connection with the chromatic homology of (undirected) graphs introduced by L. Helme-Guizon and Y. Rong.
Biobjective Optimization Problems on Matroids with Binary Costs
Published
• View Publication
• BIB
Like most multiobjective combinatorial optimization problems, biobjective optimization problems on matroids are in general intractable and their corresponding decision problems are in general NP-hard. In this paper, we consider biobjective optimization problems on matroids where one of the objective functions is restricted to binary cost coefficients. We show that in this case the problem has a connected efficient set with respect to a natural definition of a neighborhood structure and hence, can be solved efficiently using a neighborhood search approach. This is, to the best of our knowledge, the first non-trivial problem on matroids where connectedness of the efficient set can be established.
The theoretical results are validated by numerical experiments with biobjective minimum spanning tree problems (graphic matroids) and with biobjective knapsack problems with a cardinality constraint (uniform matroids). In the context of the minimum spanning tree problem, coloring all edges with cost 0 green and all edges with cost 1 red leads to an equivalent problem where we want to simultaneously minimize one general objective and the number of red edges (which defines the second objective) in a Pareto sense.
A 1-Separation Formula for the Graph Kemeny Constant and Braess Edges
Published
• View Publication
• BIB
Kemeny's constant of a simple connected graph $G$ is the expected length of a random walk from $i$ to any given vertex $j \neq i$. We provide a simple method for computing Kemeny's constant for 1-separable via effective resistance methods from electrical network theory. Using this formula, we furnish a simple proof that the path graph on $n$ vertices maximizes Kemeny's constant for the class of undirected trees on $n$ vertices. Applying this method again, we simplify existing expressions for the Kemeny's constant of barbell graphs and demonstrate which barbell maximizes Kemeny's constant. This 1-separation identity further allows us to create sufficient conditions for the existence of Braess edges in 1-separable graphs. We generalize the notion of the Braess edge to Braess sets, collections of non-edges in a graph such that their addition to the base graph increases the Kemeny constant. We characterize Braess sets in graphs with any number of twin pendant vertices, generalizing work of Kirkland et.~al.~\cite{kirkland2016kemeny} and Ciardo \cite{ciardo2020braess}.
Approximate counting and sampling via local central limit theorems
Published
• View Publication
• BIB
We give an FPTAS for computing the number of matchings of size $k$ in a graph $G$ of maximum degree $Δ$ on $n$ vertices, for all $k \le (1-δ)m^*(G)$, where $δ>0$ is fixed and $m^*(G)$ is the matching number of $G$, and an FPTAS for the number of independent sets of size $k \le (1-δ) α_c(Δ) n$, where $α_c(Δ)$ is the NP-hardness threshold for this problem. We also provide quasi-linear time randomized algorithms to approximately sample from the uniform distribution on matchings of size $k \leq (1-δ)m^*(G)$ and independent sets of size $k \leq (1-δ)α_c(Δ)n$.
Our results are based on a new framework for exploiting local central limit theorems as an algorithmic tool. We use a combination of Fourier inversion, probabilistic estimates, and the deterministic approximation of partition functions at complex activities to extract approximations of the coefficients of the partition function. For our results for independent sets, we prove a new local central limit theorem for the hard-core model that applies to all fugacities below $λ_c(Δ)$, the uniqueness threshold on the infinite $Δ$-regular tree.
Induced subgraphs and tree decompositions II. Toward walls and their line graphs in graphs of bounded degree
Published in Journal of Combinatorial Theory, Series B, Volume 164, January 2024, Pages 371-403
• View Publication
• BIB
This paper is motivated by the following question: what are the unavoidable induced subgraphs of graphs with large treewidth? Aboulker et al. made a conjecture which answers this question in graphs of bounded maximum degree, asserting that for all $k$ and $Δ$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a subdivision of the $(k\times k)$-wall or the line graph of a subdivision of the $(k\times k)$-wall as an induced subgraph. We prove two theorems supporting this conjecture, as follows.
1. For $t\geq 2$, a $t$-theta is a graph consisting of two nonadjacent vertices and three internally disjoint paths between them, each of length at least $t$. A $t$-pyramid is a graph consisting of a vertex $v$, a triangle $B$ disjoint from $v$ and three paths starting at $v$ and disjoint otherwise, each joining $v$ to a vertex of $B$, and each of length at least $t$. We prove that for all $k,t$ and $Δ$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a $t$-theta, or a $t$-pyramid, or the line graph of a subdivision of the $(k\times k)$-wall as an induced subgraph. This affirmatively answers a question of Pilipczuk et al. asking whether every graph of bounded maximum degree and sufficiently large treewidth contains either a theta or a triangle as an induced subgraph (where a theta means a $t$-theta for some $t\geq 2$).
2. A subcubic subdivided caterpillar is a tree of maximum degree at most three whose all vertices of degree three lie on a path. We prove that for every $Δ$ and subcubic subdivided caterpillar $T$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a subdivision of $T$ or the line graph of a subdivision of $T$ as an induced subgraph.
Rooted Clusters for Graph LP Algebras
Published in SIGMA 18 (2022), 089, 30 pages
• View Publication
• BIB
LP algebras, introduced by Lam and Pylyavskyy, are a generalization of cluster algebras. These algebras are known to have the Laurent phenomenon, but positivity remains conjectural. Graph LP algebras are finite LP algebras encoded by a graph. For the graph LP algebra defined by a tree, we define a family of clusters called rooted clusters. We prove positivity for these clusters by giving explicit formulas for each cluster variable. We also give a combinatorial interpretation for these expansions using a generalization of $T$-paths.
Lazy tournaments and multidegrees of a projective embedding of $\overline{M}_{0,n}$
Published
• View Publication
• BIB
We provide a new geometric interpretation of the multidegrees of the (iterated) Kapranov embedding $Φ_n:\overline{M}_{0,n+3}\hookrightarrow \mathbb{P}^1\times \mathbb{P}^2\times \cdots \times \mathbb{P}^n$, where $\overline{M}_{0,n+3}$ is the moduli space of stable genus $0$ curves with $n+3$ marked points. We enumerate the multidegrees by disjoint sets of boundary points of $\overline{M}_{0,n+3}$ via a combinatorial algorithm on trivalent trees that we call a lazy tournament. These sets are compatible with the forgetting maps used to derive the recursion for the multidegrees proven in 2020 by Gillespie, Cavalieri, and Monin.
The lazy tournament points are easily seen to total $(2n-1)!!=(2n-1)\cdot (2n-3) \cdots 5 \cdot 3 \cdot 1$, giving a natural proof of the fact that the total degree of $Φ_n$ is the odd double factorial. This fact was first proven using an insertion algorithm on certain parking functions, and we additionally give a bijection to those parking functions.
Counting independent sets in amenable groups
Given a locally finite graph $Γ$, an amenable subgroup $G$ of graph automorphisms acting freely and almost transitively on its vertices, and a $G$-invariant activity function $λ$, consider the free energy $f_G(Γ,λ)$ of the hardcore model defined on the set of independent sets in $Γ$ weighted by $λ$.
Under the assumption that $G$ is finitely generated and its word problem can be solved in exponential time, we define suitable ensembles of hardcore models and prove the following: if $\|λ\|_\infty < λ_c(Δ)$, there exists a randomized $ε$-additive approximation scheme for $f_G(Γ,λ)$ that runs in time $\mathrm{poly}((1+ε^{-1})\lvert Γ/G \rvert)$, where $λ_c(Δ)$ denotes the critical activity on the $Δ$-regular tree. In addition, if $G$ has a finite index linearly ordered subgroup such that its algebraic past can be decided in exponential time, we show that the algorithm can be chosen to be deterministic. On the other hand, we observe that if $\|λ\|_\infty > λ_c(Δ)$, there is no efficient approximation scheme, unless $\mathrm{NP} = \mathrm{RP}$. This recovers the computational phase transition for the partition function of the hardcore model on finite graphs and provides an extension to the infinite setting.
As an application in symbolic dynamics, we use these results to develop efficient approximation algorithms for the topological entropy of subshifts of finite type with enough safe symbols, we obtain a representation formula of pressure in terms of random trees of self-avoiding walks, and we provide new conditions for the uniqueness of the measure of maximal entropy based on the connective constant of a particular associated graph.
Multidimensional Lambert-Euler inversion and vector-multiplicative coalescent processes
Published
• View Publication
• BIB
In this paper we show the existence of the minimal solution to the multidimensional Lambert-Euler inversion, a multidimensional generalization of $[-e^{-1} ,0)$ branch of Lambert W function $W_0(x)$. Specifically, for a given nonnegative irreducible symmetric matrix $V \in \mathbb{R}^{k \times k}$, we show that for ${\bf u}\in(0,\infty)^k$, if equation $$y_j \exp\{-{\bf e}_j^T V {\bf y} \} = u_j ~~~~~~\forall j=1,...,k,$$ has at least one solution, it must have a minimal solution ${\bf y}^*$, where the minimum is achieved in all coordinates $y_j$ simultaneously. Moreover, such ${\bf y}^*$ is the unique solution satisfying $ρ\left(V D[y^*_j] \right) \leq 1$, where $D[y^*_j]={\sf diag}(y_j^*)$ is the diagonal matrix with entries $y^*_j$ and $ρ$ denotes the spectral radius.
Our main application is in the vector-multiplicative coalescent process. It is a coalescent process with $k$ types of particles and vector-valued weights that begins with $α_1n+...+α_k n$ particles partitioned into types of respective sizes, and in which two clusters of weights ${\bf x}$ and ${\bf y}$ would merge with rate $({\bf x}^{\sf T} V {\bf y})/n$. We use combinatorics to solve the corresponding modified Smoluchowski equations, obtained as a hydrodynamic limit of vector-multiplicative coalescent as $n \to \infty$, and use multidimensional Lambert-Euler inversion to establish gelation and find a closed form expression for the gelation time.
We also find the asymptotic length of the minimal spanning tree for a broad range of graphs equipped with random edge lengths.