tree
6737 papers tagged with this keyword
Entropy and the growth rate of universal covering trees
This work studies the relation between two graph parameters, $ρ$ and $Λ$. For an undirected graph $G$, $ρ(G)$ is the growth rate of its universal covering tree, while $Λ(G)$ is a weighted geometric average of the vertex degree minus one, corresponding to the rate of entropy growth for the non-backtracking random walk (NBRW). It is well known that $ρ(G) \geq Λ(G)$ for all graphs, and that graphs with $ρ=Λ$ exhibit some special properties. In this work we derive an easy to check, necessary and sufficient condition for the equality to hold. Furthermore, we show that the variance of the number of random bits used by a length $\ell$ NBRW is $O(1)$ if $ρ= Λ$ and $Ω(\ell)$ if $ρ> Λ$. As a consequence we exhibit infinitely many non-trivial examples of graphs with $ρ= Λ$.
Inverse Fiedler vector problem of a graph
Given a graph and one of its weighted Laplacian matrix, a Fiedler vector is an eigenvector with respect to the second smallest eigenvalue. The Fiedler vectors have been used widely for graph partitioning, graph drawing, spectral clustering, and finding the characteristic set. This paper studies how the graph structure can control the possible Fiedler vectors for different weighted Laplacian matrices. For a given tree, we characterize all possible Fiedler vectors among its weighted Laplacian matrix. As an application, the characteristic set can be anywhere on a tree, except for the set containing a single leaf. For a given cycle, we characterize all possible eigenvectors corresponding to the second or the third smallest eigenvalue.
Canonical Ramsey numbers of sparse graphs
The canonical Ramsey theorem of Erdős and Rado implies that for any graph $H$, any edge-coloring (with an arbitrary number of colors) of a sufficiently large complete graph $K_N$ contains a monochromatic, lexicographic, or rainbow copy of $H$. The least such $N$ is called the Erdős-Rado number of $H$, denoted by $ER(H)$. Erdős-Rado numbers of cliques have received considerable attention, and in this paper we extend this line of research by studying Erdős-Rado numbers of sparse graphs. For example, we prove that if $H$ has bounded degree, then $ER(H)$ is polynomial in $|V(H)|$ if $H$ is bipartite, but exponential in general.
We also study the closely-related problem of constrained Ramsey numbers. For a given tree $S$ and given path $P_t$, we study the minimum $N$ such that every edge-coloring of $K_N$ contains a monochromatic copy of $S$ or a rainbow copy of $P_t$. We prove a nearly optimal upper bound for this problem, which differs from the best known lower bound by a function of inverse-Ackermann type.
Enumeration of planar bipartite tight irreducible maps
We consider planar bipartite maps which are both tight, i.e. without vertices of degree $1$, and $2b$-irreducible, i.e. such that each cycle has length at least $2b$ and such that any cycle of length exactly $2b$ is the contour of a face. It was shown by Budd that the number $\mathcal N_n^{(b)}$ of such maps made out of a fixed set of $n$ faces with prescribed even degrees is a polynomial in both $b$ and the face degrees. In this paper, we give an explicit expression for $\mathcal N_n^{(b)}$ by a direct bijective approach based on the so-called slice decomposition. More precisely, we decompose any of the maps at hand into a collection of $2b$-irreducible tight slices and a suitable two-face map. We show how to bijectively encode each $2b$-irreducible slice via a $b$-decorated tree drawn on its derived map, and how to enumerate collections thereof. We then discuss the polynomial counting of two-face maps, and show how to combine it with the former enumeration to obtain $\mathcal N_n^{(b)}$.
Graphs with nonnegative resistance curvature
Published
• View Publication
• BIB
This article introduces and studies a new class of graphs motivated by discrete curvature. We call a graph resistance nonnegative if there exists a distribution on its spanning trees such that every vertex has expected degree at most two in a random spanning tree; these are precisely the graphs that admit a metric with nonnegative resistance curvature, a discrete curvature introduced by Devriendt and Lambiotte. We show that this class of graphs lies between Hamiltonian and $1$-tough graphs and, surprisingly, that a graph is resistance nonnegative if and only if its twice-dilated matching polytope intersects the interior of its spanning tree polytope. We study further characterizations and basic properties of resistance nonnegative graphs and pose several questions for future research.
Heating Up Quasi-Monte Carlo Graph Random Features: A Diffusion Kernel Perspective
We build upon a recently introduced class of quasi-graph random features (q-GRFs), which have demonstrated the ability to yield lower variance estimators of the 2-regularized Laplacian kernel (Choromanski 2023). Our research investigates whether similar results can be achieved with alternative kernel functions, specifically the Diffusion (or Heat), Matérn, and Inverse Cosine kernels. We find that the Diffusion kernel performs most similarly to the 2-regularized Laplacian, and we further explore graph types that benefit from the previously established antithetic termination procedure. Specifically, we explore Erdős-Rényi and Barabási-Albert random graph models, Binary Trees, and Ladder graphs, with the goal of identifying combinations of specific kernel and graph type that benefit from antithetic termination. We assert that q-GRFs achieve lower variance estimators of the Diffusion (or Heat) kernel on Ladder graphs. However, the number of rungs on the Ladder graphs impacts the algorithm's performance; further theoretical results supporting our experimentation are forthcoming. This work builds upon some of the earliest Quasi-Monte Carlo methods for kernels defined on combinatorial objects, paving the way for kernel-based learning algorithms and future real-world applications in various domains.
Some sufficient conditions for graphs to have component factors
Let $G$ denote a graph and $k\geq2$ be an integer. A $\{K_{1,1},K_{1,2},\ldots,K_{1,k},\mathcal{T}(2k+1)\}$-factor of $G$ is a spanning subgraph, whose every connected component is isomorphic to an element of $\{K_{1,1},K_{1,2},\ldots,K_{1,k},\mathcal{T}(2k+1)\}$, where $\mathcal{T}(2k+1)$ is one special family of tree. In this paper, we put forward some sufficient conditions for the existence of $\{K_{1,1},K_{1,2},\ldots,K_{1,k},\mathcal{T}(2k+1)\}$-factors in graphs. Furthermore, we construct some extremal graphs to show that the main results in this paper are best possible.
Reconfigurations of Plane Caterpillars and Paths
Let $S$ be a point set in the plane, $\mathcal{P}(S)$ and $\mathcal{C}(S)$ sets of all plane spanning paths and caterpillars on $S$. We study reconfiguration operations on $\mathcal{P}(S)$ and $\mathcal{C}(S)$. In particular, we prove that all of the commonly studied reconfigurations on plane spanning trees still yield connected reconfiguration graphs for caterpillars when $S$ is in convex position. If $S$ is in general position, we show that the rotation, compatible flip and flip graphs of $\mathcal{C}(S)$ are connected while the slide graph is disconnected. For paths, we prove the existence of a connected component of size at least $2^{n-1}$ and that no component of size at most $7$ can exist in the flip graph on $\mathcal{P}(S)$.
Asymptotic normality arising in Baxter permutations
Baxter permutations arose in the study of fixed points of the composite of commuting functions by Glen Baxter in 1964. This type of permutations are counted by Baxter numbers $B_n$. It turns out that $B_n$ enumerate a lot of discrete objects such as the bases for subalgebras of the Malvenuto-Reutenauer Hopf algebra, the pairs of twin binary trees on $n$ nodes, or the diagonal rectangulations of an $n\times n$ grid. The refined Baxter number $D_{n,k}$ also count many interesting objects including the Baxter permutations of $n$ with $k-1$ descents and $n-k$ rises, twin pairs of binary trees with $k$ left leaves and $n-k+1$ right leaves, or plane bipolar orientations with $k+1$ faces and $n-k+2$ vertices. In this paper, we obtain the asymptotic normality of the refined Baxter number $D_{n,k}$ by using a sufficient condition due to Bender. In the course of our proof, the computation involving $B_n$ and some related numbers is crucial, while $B_n$ has no closed form which make the computation untractable. To address this problem, we employ the method of asymptotics of the solutions of linear recurrence equations. Our proof is semi-automatic. All the asymptotic expansions and recurrence relations are proved by utilizing symbolic computation packages.
On the local convergence of integer-valued Lipschitz functions on regular trees
We study random integer-valued Lipschitz functions on regular trees. It was shown by Peled, Samotij and Yehudayoff that such functions are localized, however, finer questions about the structure of Gibbs measures remain unanswered. Our main result is that the weak limit of a uniformly chosen 1-Lipschitz function with 0 boundary condition on a $d$-ary tree of height $n$ exists as $n \to \infty$ if $2 \le d \le 7$, but not if $d \ge 8$, thereby partially answering a question posed by Peled, Samotij and Yehudayoff. For large $d$, the value at the root alternates between being almost entirely concentrated on 0 for even $n$ and being roughly uniform on $\{-1,0,1\}$ for odd $n$, leading to different limits as $n$ approaches infinity along evens or odds. For $d \ge 8$, the essence of this phenomenon is preserved, which obstructs the convergence. For $d \le 7$, this phenomenon ceases to exist, and the law of the value at the root loses its connection with the parity of $n$. Along the way, we also obtain an alternative proof of localization. The key idea is a fixed point convergence result for a related operator on $\ell^\infty$, and a procedure to show that the iterations get into a `basin of attraction' of the fixed point. We also prove some accompanying analogous `even-odd phenomenon' type results about $M$-lipschitz functions on general non-amenable graphs with high enough expansion (this includes for example the large $d$ case for regular trees). We also prove a convergence result for 1-Lipschitz functions with $\{0,1\}$ boundary condition. This last result relies on an absolute value FKG for uniform 1-Lipschitz functions when shifted by $1/2$.
Brushing Directed Graphs
Brushing of graphs is a graph searching process in which the searching agents are called brushes. We focus on brushing directed graphs based on a new model in which the brushes can only travel in the same direction as the orientation of the arcs that they traverse. We discuss strategies to brush directed graphs as well as values and bounds for the brushing number of directed graphs. We determine the brushing number for any transitive tournament, which we use to give an upper bound for the brushing number of directed acyclic graphs in general. We also establish exact values for the brushing numbers of complete directed graphs, rooted trees, and rotational tournaments.
Construction and Conditions for Completely Independent Spanning Trees in Hypercubes and Regular Bipartite Graphs
A set of \( k \) spanning trees in a graph \( G \) is called a set of \textit{completely independent spanning trees (CISTs)} if, for every pair of vertices \( x \) and \( y \), the paths connecting \( x \) and \( y \) across different trees do not share any vertices or edges, except for \( x \) and \( y \) themselves. Hasunuma conjectured that every \(2k\)-connected graph contains exactly \(k\) completely independent spanning trees (CISTs). However, Pétérfalvi disproved this conjecture.
When \( k = 2 \), the two CISTs are called a \textit{dual-CIST}. It has been shown that determining whether a graph can have \( k \) CISTs is an NP-complete problem, even when \( k = 2 \). In $2017$, Darties et al. raised the question of whether the $6-$dimensional hypercube \( Q_6 \) can have three completely independent spanning trees (CISTs). This paper provides an answer to that question.
In this paper, we first present a necessary condition for \( k \)-regular, \( k \)-connected bipartite graphs to have \( \left\lfloor \frac{k}{2} \right\rfloor \) CISTs. We also investigate that the hypercube of dimension \( n \) cannot have \( \frac{n}{2} \) CISTs, which means Hasunuma's conjecture does not hold for the hypercube \( Q_n \) when \( n \) is an even integer \(2 < n \leq 10^7 \), except when \(n = 2^r\) and \( n \in \{161038, 215326, 2568226, 3020626, 7866046, 9115426 \} \). This result also resolves a question posed by Darties et al.
The construction of multiple CISTs on the underlying graph of a network has practical applications in ensuring the fault tolerance of data transmission. In this context, we also provide a construction for three completely independent spanning trees in the hypercube \(Q_n\) for \(n \geq 7\). Our results show that Hasunuma's conjecture holds for odd integer \(n = 7\) in \(Q_n\), but does not hold for even integer \(n = 6\).
On strong odd colorings of graphs
A strong odd coloring of a simple graph $G$ is a proper coloring of the vertices of $G$ such that for every vertex $v$ and every color $c$, either $c$ is used an odd number of times in the open neighborhood $N_G(v)$ or no neighbor of $v$ is colored by $c$. The smallest integer $k$ for which $G$ admits a strong odd coloring with $k$ colors is the strong odd chromatic number, $χ_{soc}(G)$. These coloring notion and graph parameter were recently defined in [H. Kwon and B. Park, Strong odd coloring of sparse graphs, ArXiv:2401.11653v2]. We answer a question raised by the originators concerning the existence of a constant bound for the strong odd chromatic number of all planar graphs. We also consider strong odd colorings of trees, unicyclic graphs and graph products.
Normal trees of digraphs
In this paper, we investigate normal trees of directed graphs, which extend the fundamental concept of normal trees of undirected graphs. We prove that a directed graph $D$ has a normal spanning tree if and only if the topological space $|D|$ is metrizable, which generalises Diestel's result for undirected graphs. Furthermore, we show that the existence of normal arborescences implies the existence of normal trees in directed graphs, and that the converse is generally not true.
The Kneser chromatic function distinguishes trees
R.P. Stanley defined a invariant for graphs called the chromatic symmetric function and conjectured it is complete invariant for trees. Miezaki et al. generalised the chromatic symmetric function and defined the Kneser chromatic functions denoted by $\{X_{K_{\mathbb{N},k}}\}_{k\in\mathbb{N}}$, and rephrase Stanley's conjecture that $X_{K_{\mathbb{N},1}}$ is a complete invariant for trees. This paper shows $X_{K_{\mathbb{N},2}}$ is a complete invariant for trees.
The Closed Geodetic Game: algorithms and strategies
The geodetic closure of a set S of vertices of a graph is the set of all vertices in shortest paths between pairs of vertices of S. A set S of vertices in a graph is geodetic if its geodetic closure contains all the vertices of the graph. Buckley introduced in 1984 the idea of a game where two players construct together a geodetic set by alternately selecting vertices, the game ending when all vertices are in the geodetic closure. The Geodetic Game was then studied in 1985 by Buckley and Harary, and allowed players to select vertices already in the geodetic closure of the current set. We study the more natural variant, also introduced in 1985 by Buckley and Harary and called the Closed Geodetic Game, where the players alternate adding to a set S vertices that are not in the geodetic closure of S, until no move is available. This variant was only studied ever since for trees by Araujo et al. in 2024. We provide a full characterization of the Sprague-Grundy values of graph classes such as paths and cycles, of the outcomes of the Cartesian product of several graphs in function of their individual outcomes, and give polynomial-time algorithms to determine the Sprague-Grundy values of cactus and block graphs.
Tree height and the asymptotic mean of the Colijn-Plazzotta rank of unlabeled binary rooted trees
The Colijn--Plazzotta ranking is a bijective encoding of the unlabeled binary rooted trees with positive integers. We show that the rank $f(t)$ of a tree $t$ is closely related to its height $h$, the length of the longest path from a leaf to the root. We consider the rank $f(τ_n)$ of a random $n$-leaf tree $τ_n$ under each of three models: (i) uniformly random unlabeled unordered binary rooted trees, or unlabeled topologies; (ii) uniformly random leaf-labeled binary trees, or labeled topologies under the uniform model; and (iii) random binary search trees, or labeled topologies under the Yule--Harding model. Relying on the close relationship between tree rank and tree height, we obtain results concerning the asymptotic properties of $\log \log f(τ_n)$. In particular, we find $\mathbb{E} \{\log_2 \log f(τ_n)\} \sim 2 \sqrt{πn}$ for uniformly random unlabeled ordered binary rooted trees and uniformly random leaf-labeled binary trees, and for a constant $α\approx 4.31107$, $\mathbb{E}\{\log_2 \log f(τ_n)\} \sim α\log n $ for leaf-labeled binary trees under the Yule--Harding model. We show that the mean of $f(τ_n)$ itself under the three models is largely determined by the rank $c_{n-1}$ of the highest-ranked tree -- the caterpillar -- obtaining an asymptotic relationship with $π_n c_{n-1}$, where $π_n$ is a model-specific function of $n$. The results resolve open problems, providing a new class of results on an encoding useful in mathematical phylogenetics.
Canonical labelling of sparse random graphs
We show that if $p=O(1/n)$, then the Erdős-Rényi random graph $G(n,p)$ with high probability admits a canonical labeling computable in time $O(n\log n)$. Combined with the previous results on the canonization of random graphs, this implies that $G(n,p)$ with high probability admits a polynomial-time canonical labeling whatever the edge probability function $p$. Our algorithm combines the standard color refinement routine with simple post-processing based on the classical linear-time tree canonization. Noteworthy, our analysis of how well color refinement performs in this setting allows us to complete the description of the automorphism group of the 2-core of $G(n,p)$.
On Chip-Firing on Undirected Binary Trees
Chip-firing is a combinatorial game played on an undirected graph in which we place chips on vertices. We study chip-firing on an infinite binary tree in which we add a self-loop to the root to ensure each vertex has degree 3. A vertex can fire if the number of chips placed on it is at least its degree. In our case, a vertex can fire if it has at least 3 chips, and it fires by dispersing $1$ chip to each neighbor. Motivated by a 2023 paper by Musiker and Nguyen on this setting of chip-firing, we give an upper bound for the number of stable configurations when we place $2^\ell - 1$ labeled chips at the root. When starting with $N$ chips at the root where $N$ is a positive integer, we determine the number of times each vertex fires when $N$ is not necessarily of the form $2^\ell - 1$. We also calculate the total number of fires in this case.
Listing spanning trees of outerplanar graphs by pivot-exchanges
We prove that the spanning trees of any outerplanar triangulation $G$ can be listed so that any two consecutive spanning trees differ in an exchange of two edges that share an end vertex. For outerplanar graphs $G$ with faces of arbitrary lengths (not necessarily 3) we establish a similar result, with the condition that the two exchanged edges share an end vertex or lie on a common face. These listings of spanning trees are obtained from a simple greedy algorithm that can be implemented efficiently, i.e., in time $\mathcal{O}(n \log n)$ per generated spanning tree, where $n$ is the number of vertices of $G$. Furthermore, the listings correspond to Hamilton paths on the 0/1-polytope that is obtained as the convex hull of the characteristic vectors of all spanning trees of $G$.