tree
6861 papers tagged with this keyword
Observables of random spanning trees in random environment
In this thesis, we study a new disordered system called random spanning tree in random environment (RSTRE) across different families of graphs with varying disorder distributions. We examine several observables as functions of the disorder strength (inverse temperature) $β\geq 0$, and compare their values to the extreme cases $β= 0$ and $β\rightarrow \infty$, which correspond to the uniform spanning tree (UST) and the minimum spanning tree (MST), respectively. The results concerning the diameter are in line with those of arXiv:2311.01808 and arXiv:2410.16830, while the findings on local observables are based on arXiv:2410.16836. This thesis also includes new material on the RSTRE in the Euclidean infinite lattice, as well as a novel result on the diameter of the unweighted UST on a slightly supercritical random graph.
Spectra of high-dimensional sparse random geometric graphs
We analyze the spectral properties of the high-dimensional random geometric graph $G(n, d, p)$, formed by sampling $n$ i.i.d vectors $\{v_i\}_{i=1}^{n}$ uniformly on a $d$-dimensional unit sphere and connecting each pair $\{i,j\}$ whenever $\langle v_i, v_j \rangle \geq τ$ so that $p=\mathbb P(\langle v_i,v_j\rangle \geq τ)$. This model defines a nonlinear random matrix ensemble with dependent entries. We show that if $d =ω( np\log^{2}(1/p))$ and $np\to\infty$, the limiting spectral distribution of the normalized adjacency matrix $\frac{A}{\sqrt{np(1-p)}}$ is the semicircle law. To our knowledge, this is the first such result for $G(n, d, p)$ in the sparse regime. In the constant sparsity case $p=α/n$, we further show that if $d=ω(\log^2(n))$ the limiting spectral distribution of $A$ in $G(n,α/n)$ coincides with that of the Erdős-Rényi graph $G(n,α/n)$.
Our approach combines the classical moment method in random matrix theory with a novel recursive decomposition of closed-walk graphs, leveraging block-cut trees and ear decompositions, to control the moments of the empirical spectral distribution. A refined high trace analysis further yields a near-optimal bound on the second eigenvalue when $np=Ω(\log^4 (n))$, removing technical conditions previously imposed in (Liu et al. 2023). As an application, we demonstrate that this improved eigenvalue bound sharpens the parameter requirements on $d$ and $p$ for spontaneous synchronization on random geometric graphs in (Abdalla et al. 2024) under the homogeneous Kuramoto model.
On Sierpiński packing chromatic number and recognition of Sierpiński products
The Sierpiński product $G \otimes _f H$ of graphs $G$ and $H$ with respect to a function $f \colon V(G)\rightarrow V(H)$ has the vertex set $V(G)\times V(H)$. For every $g\in V(G)$ it contains a disjoint copy $gH$ of $H$, and for every edge $gg'$ of $G$ there is the edge $(g,f(g'))(g',f(g))$ between $gH$ and $g'H$. In this paper, the Sierpiński packing chromatic number is defined as the minimum of $χ_ρ(G\otimes _f H)$ over all functions $f$, where $χ_ρ(X)$ is the packing chromatic number of $X$. The upper Sierpiński packing chromatic number is analogously defined as the maximum corresponding value. The (upper) Sierpiński packing chromatic number is determined for all Sierpiński product graphs whose both factors are complete. Sierpiński product graphs whose factors are paths or stars are also studied. Their Sierpiński packing chromatic number is always $3$, while their upper Sierpiński packing chromatic number is bounded from below and above. It is also proved that for a given graph $G$, it can be checked in polynomial time whether $G$ has a representation as a Sierpiński product graphs both factors of which being trees.
Spanning k-trees, odd [1,b]-factors and spectral radius in binding graphs
The binding number of a graph $G$, written as $\mbox{bind}(G)$, is defined by $$ \mbox{bind}(G)=\min\left\{\frac{|N_G(X)|}{|X|}:\emptyset\neq X\subseteq V(G),N_G(X)\neq V(G)\right\}. $$ A graph $G$ is called $r$-binding if $\mbox{bind}(G)\geq r$. An odd $[1,b]$-factor of a graph $G$ is a spanning subgraph $F$ with $d_F(v)\in\{1,3,\ldots,b\}$ for all $v\in V(G)$, where $b\geq1$ is an odd integer. A spanning $k$-tree of a connected graph $G$ is a spanning tree $T$ with $d_T(v)\leq k$ for every $v\in V(G)$. In this paper, we first show a tight sufficient condition with respect to the adjacency spectral radius for connected $\frac{1}{b}$-binding graphs to have odd $[1,b]$-factors, which generalizes Fan and Lin's previous result [D. Fan, H. Lin, Binding number, $k$-factor and spectral radius of graphs, Electron. J. Combin. 31(1) (2024) \#P1.30] and partly improves Fan, Liu and Ao's previous result [A. Fan, R. Liu, G. Ao, Spectral radius, odd $[1,b]$-factor and spanning $k$-tree of 1-binding graphs, Linear Algebra Appl. 705 (2025) 1--16]. Then we put forward a tight sufficient condition via the adjacency spectral radius for connected $\frac{1}{k-2}$-binding graphs to have spanning $k$-trees, which partly improves Fan, Liu and Ao's previous result [A. Fan, R. Liu, G. Ao, Spectral radius, odd $[1,b]$-factor and spanning $k$-tree of 1-binding graphs, Linear Algebra Appl. 705 (2025) 1--16].
When does a tree activate the random graph?
Let $F$ and $G$ be two graphs. A spanning subgraph $H$ of $G$ is called weakly $F$-saturated if one can add to $H$ the edges of $G \setminus H$ in some order, so that whenever a new edge is added, a new copy of $F$ is formed. Obtaining lower bounds for the minimum size $\mathrm{wsat}(G,F)$ of such an $H$ is a classical problem in extremal combinatorics. In particular, in the past 40 years, various algebraic tools have been developed to prove lower bounds on the weak saturation number $\mathrm{wsat}(G,F)$. Our paper uncovers a new connection of weak saturation to topology of clique complexes, that allows to prove tight lower bounds in some cases when the algebraic tools are not efficient.
It is easy to see that the smallest $K_3$-saturating graphs in $K_n$ are trees, thus $\mathrm{wsat}(K_n,K_3)=n-1$. In 2017, Korándi and Sudakov proved that this is also the case in dense random graphs $G\sim G_{n,p}$, $p=\mathrm{const}\in(0,1)$, and posed the question of determining the smallest $p$ for which $G_{n,p}$ contains a $K_3$-saturating tree with high probability. Using the new topological connection, we show that this critical $p$ is of order $n^{-1/3-o(1)}$.
Inspired by Gromov's local-to-global principle for hyperbolic groups, we further develop our topological approach and determine the critical probability up to a constant factor, for trees with diameter at most $n^{c}$, for some $c>0$.
The new connection also enables us to improve the best known upper bound on the threshold probability for simple connectivity of the 2-dimensional clique complex of $G_{n,p}$, due to Kahle.
Bounded diameter monochromatic component covers
Published
• View Publication
• BIB
Ryser conjectured that every $r$-edge-coloured complete graph can be covered by $r-1$ monochromatic trees. Motivated by a question of Austin in analysis, Milićević predicted something stronger -- that every $r$-edge-coloured complete graph can be covered by $r-1$ monochromatic trees \emph{of bounded diameter}. Here we show that the two conjectures are equivalent. As immediate corollaries we obtain new results about Milićević's Conjecture, most notably that it is true for $r=5$. We also obtain several new cases of a generalization of Milićević's Conjecture to non-complete graphs due to DeBiasio-Kamel-McCourt-Sheats.
On the multiplicity of 1 as a Laplacian eigenvalue of a graph
Published
• View Publication
• BIB
Let $G$ be a graph with $p(G)$ pendant vertices and $q(G)$ quasi-pendant vertices. Denote by $m_{L(G)}(λ)$ the multiplicity of $λ$ as a Laplacian eigenvalue of $G$. Let $\overline{G}$ be the reduced graph of $G$, which can be obtained from $G$ by deleting some pendant vertices such that $p(\overline{G})=q(\overline{G})$. We first prove that $m_{L(G)}(1)=p(G)-q(G)+m_{L(\overline{G})}(1)$. Since deleting pendant path $P_3$ does not change the multiplicity of Laplacian eigenvalue 1 of a graph, we further focus on reduced graphs without pendant path $P_3$. Let $T$ be a reduced tree on $n(\geq 6)$ vertices without pendant path $P_3$, then it is proved that $$m_{L(T)}(1)\leq \frac{n-6}{4},$$ and all the trees attaining the upper bound are characterized completely. As an application, for a reduced unicyclic graph $G$ of order $n\geq 10$ without pendant path $P_3$, we get $$m_{L(G)}(1)\leq \frac{n}{4},$$ and all the unicyclic graphs attaining the upper bound are determined completely.
Majority dynamics on finite trees
Published
• View Publication
• BIB
For an arbitrary finite tree $T$, we find the exact value of the wort-case stabilisation time of majority dynamics on $T$. We also prove that for a perfect rooted cubic tree $T$ with diameter $D$ and uniformly random initial opinions, the dynamics stabilises in time $τ\in(D/4,D/3)$ with high probability.
Automated Counting of Spanning Trees for Several Infinite Families of Graphs
Published
• View Publication
• BIB
Using the theoretical basis developed by Yao and Zeilberger, we consider certain graph families whose structure results in a rational generating function for sequences related to spanning tree enumeration. Said families are Powers of Cycles and Powers of Path; later, we briefly discuss Torus graphs and Grid graphs. In each case we know, a priori, that the set of spanning trees of the family of graphs can be described in terms of a finite-state-machine, and hence there is a finite transfer-matrix that guarantees the generating function is rational. Finding this ``grammar'', and hence the transfer-matrix is very tedious, so a much more efficient approach is to use experimental mathematics. Since computing numerical determinants is so fast, one can use the matrix tree theorem to generate sufficiently many terms, then fit the data to a rational function. The whole procedure can be done rigorously a posteriori.
On a magneto-spectral invariant on finite graphs
In this paper, we introduce a magneto-spectral invariant for finite graphs. This invariant vanishes on trees and is maximized by complete graphs. We compute this invariant for cycles, complete graphs, wheel graphs, hypercubes, complete bipartite graphs and suspensions of trees and derive various lower and upper bounds. In particular, we provide a sharp upper bound for regular bipartite graphs and derive a direct relation between the class of graphs assuming this upper bound and the class of unit weighing matrices, which are generalizations of complex Hadamard matrices. Moreover, this class of bipartite graphs has non-negative magnetic Bakry-Émery curvature and is preserved under both the Cartesian product and a partial tensor product for bipartite graphs. The study of our invariant for certain pairs of cospectral graphs indicates also that this invariant allows us to distinguish between them. Finally, we discuss the behaviour of this invariant under various graph operations and investigate relations to the spectral gap.
Fundamental and homogeneous bases of Hopf algebras built from nonsymmetric operads
We introduce new partial order structures on the underlying sets of free nonsymmetric operads. These posets involve decorated ordered rooted trees, and their terminal intervals are lattices. These lattices are not graded, not self-dual, and not semi-distributive, but they are EL-shellable, and their Mbius functions take values in $\{-1, 0, 1\}$. They admit sublattices on the families of $m$-Fuss-Catalan objects and of forests of trees. This latter order structure is used to construct two new bases for the natural Hopf algebras of free nonsymmetric operads: a fundamental basis and a homogeneous basis. Along with the already known elementary basis of these Hopf algebras, this yields a triple of bases. The situation is similar to what is observed in the Hopf algebras of Malvenuto-Reutenauer, Loday-Ronco, and noncommutative symmetric functions, each of which presents such triples of bases and basis changes involving, respectively, the right weak partial order, the Tamari partial order, and the Boolean lattice partial order.
Computational complexity of covering regular trees
A graph covering projection, also referred to as a locally bijective homomorphism, is a mapping between the vertices and edges of two graphs that preserves incidences and is a local bijection. This concept originates in topological graph theory but has also found applications in combinatorics and theoretical computer science. In this paper we consider undirected graphs in the most general setting -- graphs may contain multiple edges, loops, and semi-edges. This is in line with recent trends in topological graph theory and mathematical physics.
We advance the study of the computational complexity of the {\sc $H$-Cover} problem, which asks whether an input graph allows a covering projection onto a parameter graph $H$. The quest for a complete characterization started in 1990's. Several results for simple graphs or graphs without semi-edges have been known, the role of semi-edges in the complexity setting has started to be investigated only recently. One of the most general known NP-hardness results states that {\sc $H$}-Cover is NP-complete for every simple connected regular graph of valency greater than two. We complement this result by considering regular graphs $H$ arising from connected acyclic graphs by adding semi-edges. Namely, we prove that any graph obtained by adding semi-edges to the vertices of a tree making it a $d$-regular graph with $d \geq 3$, defines an NP-complete graph covering problem. In line with the so called Strong Dichotomy Conjecture, we prove that the NP-hardness holds even for simple graphs on input.
The Neighbour Sum Problem on Trees
A graph $\mathcal G = (\mathcal V, \mathcal E)$ is said to satisfy the Neighbour Sum Property if there exists some $f:\mathcal V\to\mathbb R$ such that $f\not\equiv 0$ and it maps every vertex to the sum of the values taken by its neighbours. In this article, we provide an algorithm to check whether a given finite tree satisfies the neighbour sum property. We also find a large class of trees on $n$ vertices that satisfy the property.
Approximate Itai-Zehavi conjecture for random graphs
A famous conjecture by Itai and Zehavi states that, for every $d$-vertex-connected graph $G$ and every vertex $r$ in $G$, there are $d$ spanning trees of $G$ such that, for every vertex $v$ in $G\setminus \{r\}$, the paths between $r$ and $v$ in different trees are internally vertex-disjoint. We show that with high probability the Itai-Zehavi conjecture holds asymptotically for the Erdős-Rényi random graph $G(n,p)$ when $np= ω(\log n)$ and for random regular graphs $G(n,d)$ when $d= ω(\log n)$. Moreover, we essentially confirm the conjecture up to a constant factor for sparser random regular graphs. This answers positively a question of Draganić and Krivelevich. Our proof makes use of recent developments on sprinkling techniques in random regular graphs.
On Link-irregular labelings of Graphs
We introduce the concept of link-irregular labelings for graphs, extending the notion of link-irregular graphs through edge labeling with positive integers. A labeling is link-irregular if every vertex has a uniquely labeled subgraph induced by its neighbors. We establish necessary and sufficient conditions for the existence of such labelings and define the link-irregular labeling number $η(G)$ as the minimum number of distinct labels required. Our main results include necessary and sufficient conditions for the existence of link-irregular labelings. We show that certain families of graphs, such as bipartite graphs, trees, cycles, hypercubes, and complete multipartite graphs, do not admit link-irregular labelings, while complete graphs and wheel graphs do. Specifically, we prove that $η(K_n) = 2$ for $n \geq 6$ and $η(K_n) = 3$ for $n \in \{3,4,5\}$. For wheel graphs $W_n$, we establish that $η(W_n) \approx \sqrt{2n}$ asymptotically. Finally, we prove that for every positive integer $n$, there exists a graph with a link-irregular labeling number exactly $n$, and provide several results on graph operations that preserve labeling numbers.
A dichotomy law for certain classes of phylogenetic networks
Published
• View Publication
• BIB
Many classes of phylogenetic networks have been proposed in the literature. A feature of several of these classes is that if one restricts a network in the class to a subset of its leaves, then the resulting network may no longer lie within this class. This has implications for their biological applicability, since some species -- which are the leaves of an underlying evolutionary network -- may be missing (e.g., they may have become extinct, or there are no data available for them) or we may simply wish to focus attention on a subset of the species. On the other hand, certain classes of networks are `closed' when we restrict to subsets of leaves, such as (i) the classes of all phylogenetic networks or all phylogenetic trees; (ii) the classes of galled networks, simplicial networks, galled trees; and (iii) the classes of networks that have some parameter that is monotone-under-leaf-subsampling (e.g., the number of reticulations, height, etc.) bounded by some fixed value. It is easily shown that a closed subclass of phylogenetic trees is either all trees or a vanishingly small proportion of them (as the number of leaves grows). In this short paper, we explore whether this dichotomy phenomenon holds for other classes of phylogenetic networks, and their subclasses.
Parameter Identifiability of Linear-Compartmental Mammillary Models
Published
• View Publication
• BIB
Linear compartmental models are a widely used tool for analyzing systems arising in biology, medicine, and more. In such settings, it is essential to know whether model parameters can be recovered from experimental data. This is the identifiability problem. For a class of linear compartmental models with one input and one output, namely, those for which the underlying graph is a bidirected tree, Bortner et al. completely characterized which such models are structurally identifiability, which means that every parameter is generically locally identifiable. Here, we delve deeper, by examining which individual parameters are locally versus globally identifiable. Specifically, we analyze mammillary models, which consist of one central compartment which is connected to all other (peripheral) compartments. For these models, which fall into five infinite families, we determine which individual parameters are locally versus globally identifiable, and we give formulas for some of the globally identifiable parameters in terms of the coefficients of input-output equations. Our proofs rely on a combinatorial formula due to Bortner et al. for these coefficients.
On Weary Drivers, Records of Trees, and Parking Functions
This work builds on a decomposition of a Cayley tree using the notion of a record, a concept closely related to the blob encoding of a tree introduced by Kreweras and Moszkowski, and Picciotto, that we explore and extend. We provide an alternative definition of parking functions and derive from it a record-preserving bijection between Cayley trees and parking functions. Finally, we use this bijection to establish an equidistribution between a sextuple of statistics on Cayley trees and a corresponding sextuple of statistics on parking functions.
Labeled Chip-Firing on Directed $k$-ary Trees and Where Chips Land
Chip-firing is a combinatorial game played on a graph, in which chips are placed and dispersed on the vertices until a stable configuration is achieved. We study a chip-firing variant on an infinite, rooted directed $k$-ary tree, where we place $k^n$ chips labeled $1,2,3,\dots, k^n$ on the root for some nonnegative integer $n$. A vertex $v$ can fire if it has at least $k$ chips; when it fires, $k$ chips are selected, and the chip with the $i$th smallest label is sent to the $i$th leftmost child of $v$. A stable configuration is reached when no vertices can fire. In this paper, we prove numerous properties of the stable configuration, such as that chips land on vertices in ranges and the lengths of those ranges. We also describe where each chip can land. This helps us describe possible stable configurations of the game.
All Ramsey critical graphs for a large tree versus $tK_{m}$
Let $H, H_{1}$ and $H_{2}$ be graphs, and let $H\rightarrow (H_{1}, H_{2})$ denote that any red-blue coloring of $E(H)$ yields a red copy of $H_{1}$ or a blue copy of $H_{2}$. The Ramsey number for $H_{1}$ versus $H_{2}$, $r(H_{1}, H_{2})$, is the minimum integer $N$ such that $K_{N}\rightarrow (H_{1}, H_{2})$. The Ramsey critical graph $H$ for $H_{1}$ versus $H_{2}$ is a red-blue edge-colored $K_{N- 1}$ such that $H\not\rightarrow (H_{1}, H_{2})$, where $N= r(H_{1}, H_{2})$. In this paper, we characterize all Ramsey critical graphs for a large tree versus $tK_{m}$. As a corollary, we determine the star-critical Ramsey number for a large tree versus $tK_{m}$.