tree
6861 papers tagged with this keyword
Partitioning the set of natural numbers into Mersenne trees and into arithmetic progressions; Natural Matrix and Linnik's constant
We partition a series of natural numbers into infinite number sequences. We consider two partitioning options: (a) a forest of unary trees with recurrence formula of Mersenne numbers, and (b) a set of arithmetic progressions with difference $2^k$. Every tree starts with an even number, and any even number starts a certain tree. In the partitioning into arithmetic progressions, each progression starts with a Mersenne number, and each Mersenne number is the beginning of a particular arithmetic progression. Unary trees starting from some term are contained in OEIS A036991 (compact Dyck path codes), so we consider A036991 as a backbone of the partitions. In particular, we prove the existence of an arithmetic progression of any length in A036991. As a result of the partitions, we obtain a Natural Matrix with a packing function that captures the bijection between the set of natural numbers and the set of ordered pairs of natural numbers. In Natural Matrix, the even natural numbers are located on the $x$-axis, so the selection of primes in the considered arithmetic progressions is greatly simplified. A method for proving the infinity of primes in A036991 is proposed. In this regard, an attempt is made to reduce the Linnik's constant to $2$.
The generalized 4-connectivity of godan graphs
The generalized $k$-connectivity of a graph $G$, denoted by $κ_k(G)$, is the minimum number of internally edge disjoint $S$-trees for any $S\subseteq V(G)$ and $|S|=k$. The generalized $k$-connectivity is a natural extension of the classical connectivity and plays a key role in applications related to the modern interconnection networks. The godan graph $EA_n$ is a kind of Cayley graphs which posses many desirable properties. In this paper, we shall study the generalized 4-connectivity of $EA_n$ and show that $κ_4(EA_n)=n-1$ for $n\ge 3$.
Connectoids II: existence of normal trees
In this series, we introduce and investigate the concept of connectoids, which captures the connectivity structure of various discrete objects such as undirected graphs, directed graphs, bidirected graphs, hypergraphs and finitary matroids. In the first paper, we developed a universal end space theory based on connectoids that unifies the existing end spaces of undirected and directed graphs. In this paper, we establish normal trees of connectoids as a natural generalisation of normal trees of undirected graphs, which are one of the most important tools in infinite graph theory. More precisely, we show that the existence of normal trees of connectoids can be characterised in the same way as for normal trees of undirected graphs: We extend Jung's famous characterisation via dispersed sets to connectoids, and prove that normal spanning trees exist if they exist in some neighbourhood of each end. Furthermore, we show that a connectoid has a normal spanning tree if and only if its groundset can be well-ordered in a certain way, called countable separation number.
Embedding Nearly Spanning Trees
Published
• View Publication
• BIB
The Erdős-Sós Conjecture states that every graph with average degree exceeding $k-1$ contains every tree with $k$ edges as a subgraph. We prove that there are $δ>0$ and $k_0\in\mathbb N$ such that the conjecture holds for every tree $T$ with $k \ge k_0$ edges and every graph $G$ with $|V(G)| \le (1+δ)|V(T)|$.
On the path ideals of chordal graphs
Published in Journal of Algebraic Combinatorics, 62(27), 2025
• View Publication
• BIB
In this article, we give combinatorial formulas for the regularity and the projective dimension of $3$-path ideals of chordal graphs, extending the well-known formulas for the edge ideals of chordal graphs given in terms of the induced matching number and the big height, respectively. As a consequence, we get that the $3$-path ideal of a chordal graph is Cohen-Macaulay if and only if it is unmixed. Additionally, we show that the Alexander dual of the $3$-path ideal of a tree is vertex splittable, thereby resolving the $t=3$ case of a recent conjecture in [Internat. J. Algebra Comput., 33(3):481--498, 2023]. Also, we give examples of chordal graphs where the duals of their $t$-path ideals are not vertex splittable for $t\ge 3$. Furthermore, we extend the formula of the regularity of $3$-path ideals of chordal graphs to all $t$-path ideals of caterpillar graphs. We then provide some families of graphs to show that these formulas for the regularity and the projective dimension cannot be extended to higher $t$-path ideals of chordal graphs (even in the case of trees).
Connectoids I: a universal end space theory
Published
• View Publication
• BIB
In this series we introduce and investigate the concept of connectoids, which captures the connectivity structure of various discrete objects like undirected graphs, directed graphs, bidirected graphs, hypergraphs or finitary matroids.
In this paper we develop a universal end space theory based on connectoids: the end spaces of connectoids unify the existing end spaces of undirected and directed graphs and establish end spaces for bidirected graphs, hypergraphs and finitary matroids.
The main result shows that the tangle-like description of ends in undirected graphs, called directions, extends to connectoids: there is a one-to-one correspondence between the directions of a connectoid and its ends. Furthermore, we generalise normal trees of undirected graphs to connectoids and show that normal trees represent the ends of a connectoid as they do for undirected graphs.
On a new problem about the local irregularity of graphs
Published
• View Publication
• BIB
A graph/multigraph $G$ is locally irregular if endvertices of every its edge possess different degrees. The locally irregular edge coloring of $G$ is its edge coloring with the property that every color induces a locally irregular sub(multi)graph of $G$; if such a coloring of $G$ exists, the minimum number of colors to color $G$ in this way is the locally irregular chromatic index of $G$ (denoted by ${\rm lir}(G)$). We state the following new problem: given a connected graph $G$ distinct from $K_2$ or $K_3$, what is the minimum number of edges of $G$ to be doubled such that the resulting multigraph is locally irregular edge colorable (with no monochromatic multiedges) using at most two colors? This problem is closely related to several open conjectures (like the Local Irregularity Conjecture for graphs and 2-multigraphs, or (2, 2)-Conjecture) and other similar edge coloring concepts. We present the solution of this problem for several graph classes: paths, cycles, trees, complete graphs, complete $k$-partite graphs, split graphs and powers of cycles. Our solution for complete $k$-partite graphs ($k>1$) and powers of cycles (which are not complete graphs) shows that, in this case, the locally irregular chromatic index equals 2. We also consider this problem for special families of cacti and prove that the minimum number of edges in a graph whose doubling yields an local irregularly colorable multigraph does not have a constant upper bound not only for locally irregular uncolorable cacti.
Counting the number of inequivalent arithmetic expressions on $n$ variables
Published in Filomat 39 (2025) 949-962
• View Publication
• BIB
An expression is any mathematical formula that contains certain formal variables and operations to be executed in a specified order. In computer science, it is usually convenient to represent each expression in the form of an expression tree. Here, we consider only arithmetic expressions, i.e., those that contain only the four standard arithmetic operations: addition, subtraction, multiplication and division, alongside additive inversion. We first provide certain theoretical results concerning the equivalence of such expressions and then disclose a $Θ(n^2)$ algorithm that computes the number of inequivalent arithmetic expressions on $n$ distinct variables.
Maximizing the index of signed complete graphs with spanning trees on $k$ pendant vertices
Published
• View Publication
• BIB
A signed graph $Σ=(G,σ)$ consists of an underlying graph $G=(V,E)$ with a sign function $σ:E\rightarrow\{-1,1\}$. Let $A(Σ)$ be the adjacency matrix of $Σ$ and $λ_1(Σ)$ denote the largest eigenvalue (index) of $Σ$.Define $(K_n,H^-)$ as a signed complete graph whose negative edges induce a subgraph $H$. In this paper, we focus on the following problem: which spanning tree $T$ with a given number of pendant vertices makes the $λ_1(A(Σ))$ of the unbalanced $(K_n,T^-)$ as large as possible? To answer the problem, we characterize the extremal signed graph with maximum $λ_1(A(Σ))$ among graphs of type $(K_n,T^-)$.
Pebble trees
Published in Canad. J. Math., 78 (5):1738-1765, 2026
• View Publication
• BIB
A pebble tree is an ordered tree where each node receives some colored pebbles, in such a way that each unary node receives at least one pebble, and each subtree has either one more or as many leaves as pebbles of each color. We show that the contraction poset on pebble trees is isomorphic to the face poset of a convex polytope called pebble tree polytope. Beside providing intriguing generalizations of the classical permutahedra and associahedra, our motivation is that the faces of the pebble tree polytopes provide realizations as convex polytopes of all assocoipahedra constructed by K. Poirier and T. Tradler only as polytopal complexes.
Symmetric-Difference (Degeneracy) and Signed Tree Models
We introduce a dense counterpart of graph degeneracy, which extends the recently-proposed invariant symmetric difference. We say that a graph has sd-degeneracy (for symmetric-difference degeneracy) at most $d$ if it admits an elimination order of its vertices where a vertex $u$ can be removed whenever it has a $d$-twin, i.e., another vertex $v$ such that at most $d$ vertices outside $\{u,v\}$ are neighbors of exactly one of $u, v$. The family of graph classes of bounded sd-degeneracy is a superset of that of graph classes of bounded degeneracy or of bounded flip-width, and more generally, of bounded symmetric difference. Unlike most graph parameters, sd-degeneracy is not hereditary: it may be strictly smaller on a graph than on some of its induced subgraphs. In particular, every $n$-vertex graph is an induced subgraph of some $O(n^2)$-vertex graph of sd-degeneracy 1. In spite of this and the breadth of classes of bounded sd-degeneracy, we devise $\tilde{O}(\sqrt n)$-bit adjacency labeling schemes for them, which are optimal up to the hidden polylogarithmic factor. This is attained on some even more general classes, consisting of graphs $G$ whose vertices bijectively map to the leaves of a tree $T$, where transversal edges and anti-edges added to $T$ define the edge set of $G$. We call such graph representations signed tree models as they extend the so-called tree models (or twin-decompositions) developed in the context of twin-width, by adding transversal anti-edges. While computing the degeneracy of an input graph can be done in linear time, we show that deciding whether its symmetric difference is at most 8 is co-NP-complete, and whether its sd-degeneracy is at most 1 is NP-complete.
Csikvári's poset and Tutte polynomial
Published
• View Publication
• BIB
Csikvári constructed a poset on trees to prove that several graph functions attain extreme values at the star and the path among the trees on a fixed number of vertices. Reiner and Smith proved that the Tutte polynomials $T(1,y)$ of cones over trees, which are the graphs obtained by attaching a cone vertex to a tree, have the described extreme behavior. They further conjectured that the result can be strengthened in terms of Csikvári's poset. We solve this conjecture affirmatively.
On the number of $P$-free set systems for tree posets $P$
Published
• View Publication
• BIB
We say a finite poset $P$ is a tree poset if its Hasse diagram is a tree. Let $k$ be the length of the largest chain contained in $P$. We show that when $P$ is a fixed tree poset, the number of $P$-free set systems in $2^{[n]}$ is $2^{(1+o(1))(k-1){n \choose \lfloor n/2\rfloor}}$. The proof uses a generalization of a theorem by Boris Bukh together with a variation of the multiphase graph container algorithm.
Distance Critical Graphs
Published
• View Publication
• BIB
In 1971, Graham and Pollak provided a formula for the determinant of the distance matrix of any tree on $n$ vertices. Yan and Yeh reproved this by exploiting the fact that pendant vertices can be deleted from trees without changing the remaining entries of the distance matrix. Considering failures of their argument to generalize invites the question: which graphs have the property that deleting any one vertex results in a change to some pairwise distance? We refer to such worst-case graphs as ``distance critical''. This work explores the structural properties of distance critical graphs, preservation of distance-criticality by products, and the nature of extremal distance critical graphs. We end with a few open questions.
Tree walks and the spectrum of random graphs
Published
• View Publication
• BIB
It is a classic result in spectral theory that the limit distribution of the spectral measure of random graphs G(n, p) converges to the semicircle law in case np tends to infinity with n. The spectral measure for random graphs G(n, c/n) however is less understood. In this work, we combine and extend two combinatorial approaches by Bauer and Golinelli (2001) and Enriquez and Menard (2016) and approximate the moments of the spectral measure by counting walks that span trees.
Forbidden subdivision in integral trees
We show that if all the eigenvalues of a tree are integers, then it does not contain a subdivided edge with 7 vertices.
Critical probabilities for positively associated, finite-range dependent percolation models
On a locally finite, infinite tree $T$, let $p_c(T)$ denote the critical probability for Bernoulli percolation. We prove that every positively associated, finite-range dependent percolation model on $T$ with marginals $p > p_c(T)$ must percolate. Among finite-range dependent models on trees, positive association is thus a favourable property for percolation to occur.
On general graphs of bounded degree, Liggett, Schonmann and Stacey (1997) proved that finite-range dependent percolation models with sufficiently large marginals stochastically dominate product measures. Under the additional assumption of positive association, we prove that stochastic domination actually holds for arbitrary marginals. Our result thereby generalises Proposition 3.4 in Liggett, Schonmann and Stacey (1997) which was restricted to the special case $G = \mathbb{Z}$.
Studying the class of 1-independent percolation models has proven useful in bounding critical probabilities of various percolation models via renormalization. In many cases, the renormalized model is not only 1-independent but also positively associated. This motivates us to introduce the smallest parameter $p_a^+(G)$ such that every positively associated, 1-independent bond percolation model on a graph $G$ with marginals $p > p_a^+(G)$ percolates. We obtain quantitative upper and lower bounds on $p_a^+(\mathbb{Z}^2)$ and on $p_a^+(\mathbb{Z}^n)$ as $n\to \infty$, and also study the case of oriented bond percolation. In proving these results, we revisit several techniques originally developed for Bernoulli percolation, which become applicable thanks to a simple but seemingly new way of combining positive association with finite-range dependence.
A Vector Representation for Phylogenetic Trees
Published
• View Publication
• BIB
Good representations for phylogenetic trees and networks are important for optimizing storage efficiency and implementation of scalable methods for the inference and analysis of evolutionary trees for genes, genomes and species. We introduce a new representation for rooted phylogenetic trees that encodes a binary tree on n taxa as a vector of length 2n in which each taxon appears exactly twice. Using this new tree representation, we introduce a novel tree rearrangement operator, called a HOP, that results in a tree space of diameter n and a quadratic neighbourhood size. We also introduce a novel metric, the HOP distance, which is the minimum number of HOPs to transform a tree into another tree. The HOP distance can be computed in near-linear time, a rare instance of a tree rearrangement distance that is tractable. Our experiments show that the HOP distance is better correlated to the Subtree-Prune-and-Regraft distance than the widely used Robinson-Foulds distance. We also describe how the novel tree representation we introduce can be further generalized to tree-child networks.
Fast and Slow Mixing of the Kawasaki Dynamics on Bounded-Degree Graphs
Published in Random Structures & Algorithms. 67 (2025), no.4, e70038
• View Publication
• BIB
We study the worst-case mixing time of the global Kawasaki dynamics for the fixed-magnetization Ising model on the class of graphs of maximum degree $Δ$. Proving a conjecture of Carlson, Davies, Kolla, and Perkins, we show that below the tree uniqueness threshold, the Kawasaki dynamics mix rapidly for all magnetizations. Disproving a conjecture of Carlson, Davies, Kolla, and Perkins, we show that the regime of fast mixing does not extend throughout the regime of tractability for this model: there is a range of parameters for which there exist efficient sampling algorithms for the fixed-magnetization Ising model on max-degree $Δ$ graphs, but the Kawasaki dynamics can take exponential time to mix. Our techniques involve showing spectral independence in the fixed-magnetization Ising model and proving a sharp threshold for the existence of multiple metastable states in the Ising model with external field on random regular graphs.
Linked tree-decompositions into finite parts
We prove that every graph which admits a tree-decomposition into finite parts has a rooted tree-decomposition into finite parts that is linked, tight and componental.
As an application, we obtain that every graph without half-grid minor has a lean tree-decomposition into finite parts, strengthening the corresponding result by Kriz and Thomas for graphs of finitely bounded tree-width. In particular, it follows that every graph without half-grid minor has a tree-decomposition which efficiently distinguishes all ends and critical vertex sets, strengthening results by Carmesin and by Elm and Kurkofka for this graph class.
As a second application of our main result, it follows that every graph which admits a tree-decomposition into finite parts has a tree-decomposition into finite parts that displays all the ends of $G$ and their combined degrees, resolving a question of Halin from 1977. This latter tree-decomposition yields short, unified proofs of the characterisations due to Robertson, Seymour and Thomas of graphs without half-grid minor, and of graphs without binary tree subdivision.