tree
6737 papers tagged with this keyword
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
We present a Weitz-type FPTAS for the ferromagnetic Ising model across the entire Lee--Yang zero-free region, without relying on the strong spatial mixing (SSM) property. Our algorithm is Weitz-type for two reasons. First, it expresses the partition function as a telescoping product of ratios, with the key being to approximate each ratio. Second, it uses Weitz's self-avoiding walk tree, and truncates it at logarithmic depth to give a good and efficient approximation. The key difference from the standard Weitz algorithm is that we approximate a carefully designed edge-deletion ratio instead of the marginal probability of a vertex being assigned a particular spin, ensuring our algorithm does not require SSM.
Furthermore, by establishing local dependence of coefficients (LDC), we prove a novel form of SSM for these edge-deletion ratios, which, in turn, implies the standard SSM for the random cluster model. This is the first SSM result for the random cluster model on general graphs, beyond lattices. Our proof of LDC is based on a new divisibility relation, and we show such relations hold quite universally. This leads to a broadly applicable framework for proving LDC across a variety of models, including the Potts model, the hypergraph independence polynomial, and Holant problems. Combined with existing zero-freeness results for these models, we derive new SSM results for them.
Revealing the building blocks of tree balance: fundamental units of the Sackin and Colless Indices
Over the past decades, more than 25 phylogenetic tree balance indices and several families of such indices have been proposed in the literature -- some of which even contain infinitely many members. It is well established that different indices have different strengths and perform unequally across application scenarios. For example, power analyses have shown that the ability of an index to detect the generative model of a given phylogenetic tree varies significantly between indices. This variation in performance motivates the ongoing search for new and possibly \enquote{better} (im)balance indices. An easy way to generate a new index is to construct a compound index, e.g., a linear combination of established indices.
Two of the most prominent and widely used imbalance indices in this context are the Sackin index and the Colless index. In this study, we show that these classic indices are themselves compound in nature: they can be decomposed into more elementary components that independently satisfy the defining properties of a tree (im)balance index. We further show that the difference Colless minus Sackin results in another imbalance index that is minimized (amongst others) by all Colless minimal trees. Conversely, the difference Sackin minus Colless forms a balance index.
Finally, we compare the building blocks of which the Sackin and the Colless indices consist to these indices as well as to the stairs2 index, which is another index from the literature. Our results suggest that the elementary building blocks we identify are not only foundational to established indices but also valuable tools for analyzing disagreement among indices when comparing the balance of different trees.
Ramsey numbers of digraphs with local edge structure
One of the classical topics in graph Ramsey theory is the study of which $n$-vertex graphs have Ramsey numbers that are linear in $n$. In this paper, we consider this problem in the context of directed graphs. The oriented Ramsey number of a digraph $G$ is the smallest integer $N$ such that every $N$-vertex tournament contains a copy of $G$. We prove that every bounded-degree acyclic digraph with a ``local edge structure'' has a linear oriented Ramsey number.
More precisely, we say that a digraph $G$ has graded bandwidth $w$ if its vertices can be partitioned into sets $V_1, \dots, V_H$ such that all edges $uv \in E(G)$ with $u \in V_i$ and $v \in V_j$ satisfy $1 \leq j - i \leq w$. We prove that $\vec{r}(G) \leq 3^{57Δw} |V(G)|$ for any acyclic $G$ with graded bandwidth $w$ and maximum degree $Δ$.
This provides a common generalization of several prior results, including on digraphs of bounded height, of digraphs of bounded bandwidth, and blowups of bounded-degree oriented trees. This notion also captures a wide variety of natural digraphs, such as oriented grids and hypercubes.
Constructions for positional games and applications to domination games
We present constructions regarding the general behaviour of biased positional games, and amongst others show that the outcome of such a game can differ in an arbitrary way depending on which player starts the game, and that fair biased games can behave highly non-monotonic. We construct a gadget that helps to transfer such results to Maker-Breaker domination games, and by this we extend a recent result by Gledel, Iršič, and Klavžar, regarding the length of such games. Additionally, we introduce Waiter-Client dominations games, give tight results when they are played on trees or cycles, and using our transference gadget we show that in general the length of such games can differ arbitrarily from the length of their Maker-Breaker analogue.
On the Graham--Sloane harmonious labelling conjecture
Consider an order $n$ abelian group $G$ and a tree $T$ on $n$ vertices. When is it possible to (bijectively) label $V(T)$ by $G$ so that along all edges $xy$ of $T$, the sums $x+y$ are distinct? This problem can be traced back to the work of Graham and Sloane on the harmonious labelling conjecture, and has been studied extensively since its introduction in 1980. We give a precise characterisation that holds for all bounded degree trees. In particular, our characterisation implies that if $G=\mathbb{Z}/n\mathbb{Z}$ and $T$ is a bounded degree tree, the desired labelling exists. This confirms a conjecture of Graham and Sloane from 1980, and another conjecture of Chang, Hsu, and Rogers from 1987, for bounded degree trees. Our results also have further applications for the study of graph coverings.
On the $Z_q$-forcing number: computational approach and exact values
Zero forcing is a graph coloring process that is used to model spreading phenomena in real-world scenarios. It can also be viewed as a single-player combinatorial game on a graph, where the player's goal is to select a subset of vertices of minimum cardinality that eventually leads to all vertices of the graph being colored. A variant of this game, called the $q$-analogue of zero forcing, was later introduced. In this version, the player again seeks to choose the smallest number of vertices that will eventually color the entire graph, while an oracle attempts to force the player to select a larger subset. In this paper, we exploit the structural properties of several graph classes in order to both derive algorithms to compute the exact value of $Z_q$, and to establish bounds and exact values of the parameter for these graph classes. In particular, we present a SAT-based algorithm to compute the $q$-analogue zero forcing number, offering optimal strategies for both the player and the oracle. Additionally, we propose a polynomial-time algorithm for computing the $q$-analogue zero forcing number for $q=1$ of cactus graphs. Lastly, we prove the exact value of this parameter for several graph classes such as block graphs. Our work extends previous results about trees by Butler et al. (2020) and Blanco et al. (2024).
The burning number conjecture holds for trees of order $n$ with at most $\left\lfloor \sqrt{n-1}\right\rfloor$ degree-2 vertices
Inspired by the spread of information in social networks and graph-theoretic processes such as Firefighting and graph cleaning, Bonato, Janssen and Roshanbin introduced in 2016 the burning number $b(G)$ of any finite graph $G$. They conjectured that $b(G)\le \lceil n^\frac{1}{2}\rceil$ holds for all connected graphs $G$ of order $n$, and observed that it suffices to prove the conjecture for all trees. In 2024, Murakami confirmed the conjecture for trees without degree-2 vertices. In this paper, we prove that for all trees $T$ of order $n$ with $n_2$ degree-2 vertices, $$b(T)\le \left\lceil \left(n+n_2-\left\lceil\sqrt{n+n_2+0.25}-1.5\right\rceil\right)^{\frac{1}{2}}\right\rceil.$$ Hence, the conjecture holds for all trees of order $n$ with at most $\left\lfloor \sqrt{n-1}\right\rfloor$ degree-2 vertices.
Tight Bounds for Cycle-Edge Decompositions and Covers
An old conjecture of Erd{ő}s and Gallai states that every $n$ vertex graph can be decomposed, that is $E(G)$ can be partitioned, into $O(n)$ cycles and edges. The covering version of this conjecture was proven by Pyber in 1985, where it was shown that all graphs can be covered by $n-1$ cycles and edges. The best upper bound on the number of cycles and edges required to decompose any graph is $O(n\log^*(n))$, which was recently shown by Buci{ć} and Montgomery in 2023. Here $\log^*(n)$ denotes the iterated logarithm function. Meanwhile, a construction of Erdős demonstrate that there exists graphs which require $(\frac{3}{2}-o(1))n$ cycles and edges to be decomposed. We prove all graphs with maximum degree at most $4$ can be decomposed into $n-1$ or fewer cycles and edges. We also show that every $n$ vertex claw-free graph can be decomposed into $n-1$ or fewer $2$-regular subgraphs and edges. Finally, we prove that every graph $G$ containing a cycle can be covered by $n-2$ or fewer cycles and edges. This improves Pyber's covering theorem by proving that $n-1$ cycles and edges are required only for trees.
Spectral radius and homeomorphically irreducible spanning trees of graphs
For a connected graph $G$, a spanning tree $T$ of $G$ is called a homeomorphically irreducible spanning tree (HIST) if $T$ has no vertices of degree 2. Albertson {\em et al.} proved that it is $NP$-complete to decide whether a graph contains a HIST. In this paper, we provide some spectral conditions that guarantee the existence of a HIST in a connected graph. Furthermore, we also present some sufficient conditions in terms of the order of a graph $G$ to ensure the existence of a HIST in $G$.
On the coefficients of Coxeter polynomials of trees and bipartite quivers
We apply spectral graph theory and a theorem of A'Campo to express the first and second coefficients of the Coxeter polynomials associated with certain bipartite quivers in terms of the degrees of the vertices in their underlying graphs. As a consequence, we provide a new proof of a result by Happel, expressing the second coefficient of the Coxeter polynomial of a tree in terms of its vertex degrees.
Tree decompositions with small width, spread, order and degree
Tree-decompositions of graphs are of fundamental importance in structural and algorithmic graph theory. The main property of tree-decompositions is the width (the maximum size of a bag $-1$). We show that every graph has a tree-decomposition with near-optimal width, plus several additional properties of interest. In particular every graph $G$ with treewidth at most $k$ has a tree-decomposition with width at most $72k+1$, where each vertex $v$ appears in at most $\text{deg}_G(v)+1$ bags, the number of bags is at most $\max\{\frac{|V(G)|}{2k},1\}$, and the tree indexing the decomposition has maximum degree at most 12. This improves exponential bounds to linear in a result of Ding and Oporowski [1995], and establishes a conjecture of theirs in a strong sense.
Degree-similar graphs and cospectral graphs
Let $G$ be a graph with adjacency matrix $A(G)$ and degree matrix $D(G)$, and let $L_μ(G):=A(G)-μD(G)$. Two graphs $G_1$ and $G_2$ are called \emph{degree-similar} if there exists an invertible matrix $M$ such that $M^{-1} A(G_1) M =A(G_2)$ and $M^{-1} D(G_1) M =D(G_2)$. In this paper, we address three problems concerning degree-similar graphs proposed by Godsil and Sun. First, we present a new characterization of degree-similar graphs using degree partition, from which we derive methods and examples for constructing cospectral graphs and degree-similar graphs. Second, we construct infinite pairs of non-degree-similar trees $G_1$ and $G_2$ such that $tI- L_μ(G_1)$ and $tI-L_μ(G_2)$ have the same Smith normal form over $\Q(μ)[t]$, which provides a negative answer to a problem posed by Godsil and Sun. Third, we establish several invariants of degree-similar graphs and obtain results on unicyclic graphs that are degree-similar determined. Lastly we prove that for a strongly regular graph $G$ and any two edges $e$ and $f$ of $G$, $G \backslash e$ and $G \backslash f$ have identical $μ$-polynomial, i.e., $\det(tI-L_μ(G \backslash e))=\det(tI-L_μ(G \backslash f))$, which enables the construction of pairs of non-isomorphic graphs with same $μ$-polynomial, where $G \backslash e$ denotes the graph obtained from $G$ by deleting the edge $e$.
Symmetry in Tree Parking Distributions
In this paper, we explore parking distributions on caterpillar trees, focusing on two primary statistics: the number of lucky cars and the frequency with which cars prefer specific parking spaces. We use first-return decomposition to reveal a symmetry in their joint distribution and develop a $q, t$-analog of the Fuss-Catalan generating function. We prove that this generating function exhibits specific symmetry and satisfies a functional equation. Additionally, we extend our findings to any m statistics that satisfy certain criteria, presenting a concrete example of such $m$ statistics to illustrate the broader applicability of our results.
Irreducible Combinatorially Symmetric Sign Patterns Requiring a Unique Inertia
A sign pattern is a matrix whose entries belong to the set $\{+,-,0\}$. A sign pattern requires a unique inertia if every real matrix in its qualitative class has the same inertia. Symmetric tree sign patterns requiring a unique inertia has been studied extensively in \cite{2001, 2001a, 2018}. Necessary and sufficient conditions in terms of the symmetric minimal and maximal rank, as well as conditions depending on the position and sign of the loops in the underlying graph of such patterns has been used to characterize inertia of symmetric tree sign patterns. In this paper, we consider combinatorially symmetric sign patterns with a $0$-diagonal and identify some such patterns with interesting combinatorial properties, which does not require a unique inertia. Initially, we begin with combinatorially symmetric tree sign patterns with a $0$-diagonal, with a special focus on tridiagonal sign patterns. We then consider patterns whose underlying undirected graph contain cycles but no loops, and we derive necessary conditions based on the sign of the edges and the distance between the cycles in the underlying graph for such patterns to require a unique inertia.
When Many Trees Go to War: On Sets of Phylogenetic Trees With Almost No Common Structure
It is known that any two trees on the same $n$ leaves can be displayed by a network with $n-2$ reticulations, and there are two trees that cannot be displayed by a network with fewer reticulations. But how many reticulations are needed to display multiple trees? For any set of $t$ trees on $n$ leaves, there is a trivial network with $(t - 1)n$ reticulations that displays them. To do better, we have to exploit common structure of the trees to embed non-trivial subtrees of different trees into the same part of the network. In this paper, we show that for $t \in o(\sqrt{\lg n})$, there is a set of $t$ trees with virtually no common structure that could be exploited. More precisely, we show for any $t\in o(\sqrt{\lg n})$, there are $t$ trees such that any network displaying them has $(t-1)n - o(n)$ reticulations. For $t \in o(\lg n)$, we obtain a slightly weaker bound. We also prove that already for $t = c\lg n$, for any constant $c > 0$, there is a set of $t$ trees that cannot be displayed by a network with $o(n \lg n)$ reticulations, matching up to constant factors the known upper bound of $O(n \lg n)$ reticulations sufficient to display \emph{all} trees with $n$ leaves. These results are based on simple counting arguments and extend to unrooted networks and trees.
Generalization and Power of Kocay's Lemma in Graph Reconstruction
This paper generalizes Kocay's lemma, with particular applications to graph reconstruction, as well as discussing and proving aspects around the power of these generalizations and Kocay's original lemma, with a result on the reconstruction of the multiplicity of a tree T as a subgraph of G.
A map between arborifications of multiple zeta values
Arborified multiple zeta values are a generalization of multiple zeta values associated with rooted trees. There are two types of decorated rooted trees, corresponding respectively to the series and the integral expressions. Manchon introduces the contracting arborification (resp. the simple arborification), which is maps from the BCK Hopf algebras of the decorated rooted trees corresponding to the series expression (resp. the integral expression) to the non-commutative polynomial algebras of the set $\mathbb{N}$ (resp. the set $\{0,1\}$). There is a natural map between the two non-commutative polynomial algebras. Manchon posed the question of finding a natural map between the two BCK Hopf algebras that would make the diagram commutative. In this paper, we consider planar rooted trees and use a recursive method to construct such a map between the two BCK Hopf algebras, making the diagram commutative.
Limit spaces of vertex and edge replacement systems
We introduce and study VERSs (vertex and edge replacement systems) as a technology of graph expansions. We consider its history graph, an augmented tree that records each graph expansion, and we provide sufficient conditions under which it is hyperbolic. When hyperbolic, its Gromov boundary is what we call the limit space of the VERS. We provide three examples from different areas of mathematics: Schreier graphs and limit spaces of finitely generated contracting self-similar groups, injective post-critically finite iterated function systems and limit spaces of edge replacement systems.
A Note on Distance-Fall Colorings
We say a proper coloring of a graph is distance-$k$ fall if every vertex is within distance $k$ of at least one vertex of every color. We show that if $G$ is a connected graph of order at least $3$ that is $3$-colorable, thenit has a distance-2 fall 3-coloring. Further, for every integer $k\ge 2$, if $T$ is a tree of order at least $k$, then $T$ has a $k$-coloring such that every vertex is within distance $k-1$ of every color. This proves an old conjecture of Beineke and Henning that every tree of order $n$ has an independent distance-$d$-dominating set of size at most $n/(d + 1)$.
Tridendriform and dendriform Zeta Values from Schroeder trees
To build new generalisations of Multiple Zeta Values, we define new spaces of formal series and formal integrals. We show that they are tridendriform and dendriform algebras. This allows us to reinterpret the fact that Multiple Zeta Values are algebra morphisms for shuffles of words in terms of finer tridendriform and dendriform structures. Applying universal properties of Schroeder trees we obtain generalisations of Multiple Zeta Values that are algebra morphisms for associative products. Hence we find new properties of Arborified Zeta Values and state how this enables the computation of some Shintani Zeta Values.