tree
6737 papers tagged with this keyword
Enumeration of maximum matchings of graphs
Counting maximum matchings in a graph is of great interest in statistical mechanics,
solid-state chemistry, theoretical computer science, mathematics, among other disciplines. However, it is a challengeable problem to explicitly determine the number of maximum matchings of general graphs. In this paper, using Gallai-Edmonds structure theorem, we derive a computing formula for the number of maximum matching in a graph. According to the formula, we obtain an algorithm to enumerate maximum matchings of a graph. In particular, The formula implies that computing the number of maximum matchings of a graph is converted to compute the number of perfect matchings of some induced subgraphs of the graph. As an application, we calculate the number of maximum matchings of opt trees. The result extends a conclusion obtained by Heuberger and Wagner[C. Heuberger, S. Wagner, The number of maximum matchings in a tree, Discrete Math. 311 (2011) 2512--2542].
Bounded diameter tree-decompositions
When does a graph admit a tree-decomposition in which every bag has small diameter? For finite graphs, this is a property of interest in algorithmic graph theory, where it is called having bounded ``tree-length''. We will show that this is equivalent to being ``boundedly quasi-isometric to a tree'', which for infinite graphs is a much-studied property from metric geometry. One object of this paper is to tie these two areas together. We will prove that there is a tree-decomposition in which each bag has small diameter, if and only if there is a map $φ$ from $V(G)$ into the vertex set of a tree $T$, such that for all $u,v\in V(G)$, the distances $d_G(u,v), d_T(φ(u),φ(v))$ differ by at most a constant.
A ``geodesic loaded cycle'' in $G$ is a pair $(C,F)$, where $C$ is a cycle of $G$ and $F\subseteq E(C)$, such that for every pair $u,v$ of vertices of $C$, one of the paths of $C$ between $u,v$ contains at most $d_G(u,v)$ $F$-edges, where $d_G(u,v)$ is the distance between $u,v$ in $G$. We will show that a graph $G$ admits a tree-decomposition in which every bag has small diameter, if and only if $|F|$ is small for every geodesic loaded cycle $(C,F)$. Our proof is an extension of an algorithm to approximate tree-length in finite graphs by Dourisboure and Gavoille.
In metric geometry, there is a similar theorem that characterizes when a graph is quasi-isometric to a tree, ``Manning's bottleneck criterion''. The goal of this paper is to tie all these concepts together, and add a few more related ideas. For instance, we prove a conjecture of Rose McCarty, that $G$ admits a tree-decomposition in which every bag has small diameter, if and only if for all vertices $u,v,w$ of $G$, some ball of small radius meets every path joining two of $u,v,w$.
Extrema of local mean and local density in a tree
Given a tree T, one can define the local mean at some subtree S to be the average order of subtrees containing S. It is natural to ask which subtree of order k achieves the maximal/minimal local mean among all the subtrees of the same order and what properties it has. We call such subtrees k-maximal subtrees. Wagner and Wang showed in 2016 that a 1- maximal subtree is a vertex of degree 1 or 2. This paper shows that for any integer k = 1, . . . , |T| , a k-maximal subtree has at most one leaf whose degree is greater than 2 and at least one leaf whose degree is at most 2. Furthermore, we show that a k-maximal subtree has a leaf of degree greater than 2 only when all its other leaves are leaves in T as well. In the second part, this paper introduces the local density as a normalization of local means, for the sake of comparing subtrees of different orders, and shows that the local density at subtree S is lower-bounded by 1/2 with equality if and only if S contains the core of T. On the other hand, local density can be arbitrarily close to 1.
A telescopic proof of Cayley's formula
We give a short proof of the fact that the number of labelled trees on $n$ vertices is $n^{n-2}$. Although many short proofs are known, we have not seen this one before.
Combinatorial Fiedler Theory and Graph Partition
Partition problems in graphs are extremely important in applications, as shown in the Data science and Machine learning literature. One approach is spectral partitioning based on a Fiedler vector, i.e., an eigenvector corresponding to the second smallest eigenvalue $a(G)$ of the Laplacian matrix $L_G$ of the graph $G$. This problem corresponds to the minimization of a quadratic form associated with $L_G$, under certain constraints involving the $\ell_2$-norm. We introduce and investigate a similar problem, but using the $\ell_1$-norm to measure distances. This leads to a new parameter $b(G)$ as the optimal value. We show that a well-known cut problem arises in this approach, namely the sparsest cut problem. We prove connectivity results and different bounds on this new parameter, relate to Fiedler theory and show explicit expressions for $b(G)$ for trees. We also comment on an $\ell_{\infty}$-norm version of the problem.
Almost spanning distance trees in subsets of finite vector spaces
Published
• View Publication
• BIB
For $d\ge 2$ and an odd prime power $q$, consider the vector space $\mathbb{F}_q^d$ over the finite field $\mathbb{F}_q$, where the distance between two points $(x_1,\ldots,x_d)$ and $(y_1,\ldots,y_d)$ is defined as $\sum_{i=1}^d (x_i-y_i)^2$. A distance graph is a graph associated with a non-zero distance to each of its edges. We show that large subsets of vector spaces over finite fields contain every nearly spanning distance tree with bounded degree in each distance. This quantitatively improves results by Bennett, Chapman, Covert, Hart, Iosevich, and Pakianathan on finding distance paths, and results by Pham, Senger, Tait, and Thu on finding distance trees. A key ingredient in proving our main result is to obtain a colorful generalization of a classical result of Haxell about finding nearly spanning bounded-degree trees in an expander.
Extremal results on the Mostar index of trees with fixed parameters
Published
• View Publication
• BIB
For a graph $G$, the Mostar index of $G$ is the sum of $|n_u(e)$ - $n_v(e)|$ over all edges $e=uv$ of $G$, where $n_u(e)$ denotes the number of vertices of $G$ that have a smaller distance in $G$ to $u$ than to $v$, and analogously for $n_v(e)$. We determine all the graphs that maximize and minimize the Mostar index respectively over all trees in terms of some fixed parameters like the number of odd vertices, the number of vertices of degree two, and the number of pendent paths of fixed length.
Explicit formulas for matrices associated to ladder, circular ladder, and Mobius ladder graphs
We give explicit formulas for resistance distance matrices and Moore-Penrose inverses of incidence and Laplacian matrices of ladder, circular ladder, and Möbius ladder graphs. As a result, we compute the Kirchhoff index of these graphs and give new combinatorial formulas for the number of their spanning trees.
A linear algorithm for obtaining the Laplacian eigenvalues of a cograph
Published in Special Matrices,2024
• View Publication
• BIB
In this paper, we give a linear algorithm for obtaining the Laplacian eigenvalues of a cograph. This approach is more efficient as there is no need to directly compute the eigenvalues of Laplacian matrix related to this class of graph. As an application, we use this algorithm as a tool for obtaining a closed formula for the number of spanning trees of a cograph.
Tropical Logistic Regression Model on Space of Phylogenetic Trees
Classification of gene trees is an important task both in the analysis of multi-locus phylogenetic data, and assessment of the convergence of Markov Chain Monte Carlo (MCMC) analyses used in Bayesian phylogenetic tree reconstruction. The logistic regression model is one of the most popular classification models in statistical learning, thanks to its computational speed and interpretability. However, it is not appropriate to directly apply the standard logistic regression model to a set of phylogenetic trees, as the space of phylogenetic trees is non-Euclidean and thus contradicts the standard assumptions on covariates. It is well-known in tropical geometry and phylogenetics that the space of phylogenetic trees is a tropical linear space in terms of the max-plus algebra. Therefore, in this paper, we propose an analogue approach of the logistic regression model in the setting of tropical geometry. Our proposed method outperforms classical logistic regression in terms of Area under the ROC Curve (AUC) in numerical examples, including with data generated by the multi-species coalescent model. Theoretical properties such as statistical consistency have been proved and generalization error rates have been derived. Finally, our classification algorithm is proposed as an MCMC convergence criterion for Mr Bayes. Unlike the convergence metric used by MrBayes which is only dependent on tree topologies, our method is sensitive to branch lengths and therefore provides a more robust metric for convergence. In a test case, it is illustrated that the tropical logistic regression can differentiate between two independently run MCMC chains, even when the standard metric cannot.
Combinatorial generation via permutation languages. VI. Binary trees
In this paper we propose a notion of pattern avoidance in binary trees that generalizes the avoidance of contiguous tree patterns studied by Rowland and non-contiguous tree patterns studied by Dairyko, Pudwell, Tyner, and Wynn. Specifically, we propose algorithms for generating different classes of binary trees that are characterized by avoiding one or more of these generalized patterns. This is achieved by applying the recent Hartung-Hoang-Mütze-Williams generation framework, by encoding binary trees via permutations. In particular, we establish a one-to-one correspondence between tree patterns and certain mesh permutation patterns. We also conduct a systematic investigation of all tree patterns on at most 5 vertices, and we establish bijections between pattern-avoiding binary trees and other combinatorial objects, in particular pattern-avoiding lattice paths and set partitions.
Some enumerative properties of parking functions
A parking function is a sequence $(a_1,\dots, a_n)$ of positive integers such that if $b_1\leq\cdots\leq b_n$ is the increasing rearrangement of $a_1,\dots,a_n$, then $b_i\leq i$ for $1\leq i\leq n$. In this paper we obtain some new results on the enumeration of parking functions. We will consider the joint distribution of several sets of statistics on parking functions. The distribution of most of these individual statistics is known, but the joint distributions are new. Parking functions of length $n$ are in bijection with labelled forests on the vertex set $[n]=\{1,2,\dots,n\}$ (or rooted trees on $[n]_0=\{0,1,\dots,n\}$ with root $0$), so our results can also be applied to labelled forests. Extensions of our techniques are discussed.
On the edge-density of the Brownian co-graphon and common ancestors of pairs in the CRT
Bassino et al. (arXiv:1907.08517) have shown that uniform random co-graphs (graphs without induced $P_4$) of size $n$ converge to a certain non-deterministic graphon. The edge-density of this graphon is a random variable $Λ\in [0,1]$ whose first moments have been computed by these authors. The first purpose of this note is to observe that, in fact, these moments can be computed by a simple recurrence relation.
The problem leads us to the following question of independent interest: given $k$ i.i.d. uniform pairs of points $(X_1,Y_1),$ $\dots$, $(X_k,Y_k)$ in the Brownian CRT, what is the size $S_k$ of the set $\{X_i\wedge Y_i, i=1\dots k\}$ formed by their pairwise last common ancestors? We show that ${S_k}\sim c{\sqrt{k}\log k}$ in probability, with $c=(\sqrt{2π})^{-1}$.
The method to establish the recurrence relation is reminiscent of Janson's computation of moments of the Wiener index of (large) random trees. The logarithm factor in the convergence result comes from the estimation of Riemann sums in which summands are weighted by the integer divisor function -- such sums naturally occur in the problem. We have not been able to analyse the asymptotics of moments of $Λ$ directly from the recurrence relation, and in fact our study of $S_k$ is independent from it. Several things remain to be done, in particular we only scratch the question of large deviations of $S_k$, and the precise asymptotics of moments of $Λ$ is left open.
Adaptive Monte Carlo Search for Conjecture Refutation in Graph Theory
Graph theory is an interdisciplinary field of study that has various applications in mathematical modeling and computer science. Research in graph theory depends on the creation of not only theorems but also conjectures. Conjecture-refuting algorithms attempt to refute conjectures by searching for counterexamples to those conjectures, often by maximizing certain score functions on graphs. This study proposes a novel conjecture-refuting algorithm, referred to as the adaptive Monte Carlo search (AMCS) algorithm, obtained by modifying the Monte Carlo tree search algorithm. Evaluated based on its success in finding counterexamples to several graph theory conjectures, AMCS outperforms existing conjecture-refuting algorithms. The algorithm is further utilized to refute six open conjectures, two of which were chemical graph theory conjectures formulated by Liu et al. in 2021 and four of which were formulated by the AutoGraphiX computer system in 2006. Finally, four of the open conjectures are strongly refuted by generalizing the counterexamples obtained by AMCS to produce a family of counterexamples. It is expected that the algorithm can help researchers test graph-theoretic conjectures more effectively.
On $(n,m)$-chromatic numbers of graphs having bounded sparsity parameters
An $(n,m)$-graph is characterised by having $n$ types of arcs and $m$ types of edges. A homomorphism of an $(n,m)$-graph $G$ to an $(n,m)$-graph $H$, is a vertex mapping that preserves adjacency, direction, and type. The $(n,m)$-chromatic number of $G$, denoted by $χ_{n,m}(G)$, is the minimum value of $|V(H)|$ such that there exists a homomorphism of $G$ to $H$. The theory of homomorphisms of $(n,m)$-graphs have connections with graph theoretic concepts like harmonious coloring, nowhere-zero flows; with other mathematical topics like binary predicate logic, Coxeter groups; and has application to the Query Evaluation Problem (QEP) in graph database.
In this article, we show that the arboricity of $G$ is bounded by a function of $χ_{n,m}(G)$ but not the other way around. Additionally, we show that the acyclic chromatic number of $G$ is bounded by a function of $χ_{n,m}(G)$, a result already known in the reverse direction. Furthermore, we prove that the $(n,m)$-chromatic number for the family of graphs with a maximum average degree less than $2+ \frac{2}{4(2n+m)-1}$, including the subfamily of planar graphs with girth at least $8(2n+m)$, equals $2(2n+m)+1$. This improves upon previous findings, which proved the $(n,m)$-chromatic number for planar graphs with girth at least $10(2n+m)-4$ is $2(2n+m)+1$.
It is established that the $(n,m)$-chromatic number for the family $\mathcal{T}_2$ of partial $2$-trees is both bounded below and above by quadratic functions of $(2n+m)$, with the lower bound being tight when $(2n+m)=2$. We prove $14 \leq χ_{(0,3)}(\mathcal{T}_2) \leq 15$ and $14 \leq χ_{(1,1)}(\mathcal{T}_2) \leq 21$ which improves both known lower bounds and the former upper bound. Moreover, for the latter upper bound, to the best of our knowledge we provide the first theoretical proof.
Noise Sensitivity of the Minimum Spanning Tree of the Complete Graph
Published in Combinator. Probab. Comp. 33 (2024) 708-723
• View Publication
• BIB
We study the noise sensitivity of the minimum spanning tree (MST) of the $n$-vertex complete graph when edges are assigned independent random weights. It is known that when the graph distance is rescaled by $n^{1/3}$ and vertices are given a uniform measure, the MST converges in distribution in the Gromov-Hausdorff-Prokhorov (GHP) topology. We prove that if the weight of each edge is resampled independently with probability $\varepsilon\gg n^{-1/3}$, then the pair of rescaled minimum spanning trees -- before and after the noise -- converges in distribution to independent random spaces. Conversely, if $\varepsilon\ll n^{-1/3}$, the GHP distance between the rescaled trees goes to $0$ in probability. This implies the noise sensitivity and stability for every property of the MST that corresponds to a continuity set of the random limit. The noise threshold of $n^{-1/3}$ coincides with the critical window of the Erdős-Rényi random graphs. In fact, these results follow from an analog theorem we prove regarding the minimum spanning forest of critical random graphs.
A framework unifying some bijections for graphs and its connection to Lawrence polytopes
Let $G$ be a connected graph. The Jacobian group (also known as the Picard group or sandpile group) of $G$ is a finite abelian group whose cardinality equals the number of spanning trees of $G$. The Jacobian group admits a canonical simply transitive action on the set $\mathcal{R}(G)$ of cycle-cocycle reversal classes of orientations of $G$. Hence one can construct combinatorial bijections between spanning trees of $G$ and $\mathcal{R}(G)$ to build connections between spanning trees and the Jacobian group. The BBY bijections and the Bernardi bijections are two important examples. In this paper, we construct a new family of such bijections that includes both. Our bijections depend on a pair of atlases (different from the ones in manifold theory) that abstract and generalize certain common features of the two known bijections. The definitions of these atlases are derived from triangulations and dissections of the Lawrence polytopes associated to $G$. The acyclic cycle signatures and cocycle signatures used to define the BBY bijections correspond to regular triangulations. Our bijections can extend to subgraph-orientation correspondences. Most of our results hold for regular matroids. We present our work in the language of fourientations, which are a generalization of orientations.
List homomorphisms to separable signed graphs
Published
• View Publication
• BIB
The complexity of the list homomorphism problem for signed graphs appears difficult to classify. Existing results focus on special classes of signed graphs, such as trees and reflexive signed graphs. Irreflexive signed graphs are in a certain sense the heart of the problem, as noted by a recent paper of Kim and Siggers. We focus on a special class of irreflexive signed graphs, namely those in which the unicoloured edges form a spanning path or cycle, which we call separable signed graphs. We classify the complexity of list homomorphisms to these separable signed graphs; we believe that these signed graphs will play an important role for the general resolution of the irreflexive case. We also relate our results to a conjecture of Kim and Siggers concerning the special case of semi-balanced irreflexive signed graphs; we have proved the conjecture in another paper, and the present results add structural information to that topic.
Generalized stepwise transmission irregular graphs
The transmission ${\rm Tr}_G(u)$ of a vertex $u$ of a connected graph $G$ is the sum of distances from $u$ to all other vertices. $G$ is a stepwise transmission irregular (STI) graph if $|{\rm Tr}_G(u) - {\rm Tr}_G(v)|= 1$ holds for any edge $uv\in E(G)$. In this paper, generalized STI graphs are introduced as the graphs $G$ such that for some $k\ge 1$ we have $|{\rm Tr}_G(u) - {\rm Tr}_G(v)|= k$ for any edge $uv$ of $G$. It is proved that generalized STI graphs are bipartite and that as soon as the minimum degree is at least $2$, they are 2-edge connected. Among the trees, the only generalized STI graphs are stars. The diameter of STI graphs is bounded and extremal cases discussed. The Cartesian product operation is used to obtain highly connected generalized STI graphs. Several families of generalized STI graphs are constructed.
Optimal distance query reconstruction for graphs without long induced cycles
Given access to the vertex set $V$ of a connected graph $G=(V,E)$ and an oracle that given two vertices $u,v\in V$, returns the shortest path distance between $u$ and $v$, how many queries are needed to reconstruct $E$?
Firstly, we show that randomised algorithms need to use at least $\frac1{200} Δn\log_Δn$ queries in expectation in order to reconstruct $n$-vertex trees of maximum degree $Δ$. The best previous lower bound (for graphs of bounded maximum degree) was an information-theoretic lower bound of $Ω(n\log n/\log \log n)$. Our randomised lower bound is also the first to break through the information-theoretic barrier for related query models including distance queries for phylogenetic trees, membership queries for learning partitions and path queries in directed trees.
Secondly, we provide a simple deterministic algorithm to reconstruct trees using $Δn\log_Δn+(Δ+2)n$ distance queries. This proves that our lower bound is optimal up to a multiplicative constant. We extend our algorithm to reconstruct graphs without induced cycles of length at least $k$ using $O_{Δ,k}(n\log n)$ queries. Our lower bound is therefore tight for a wide range of tree-like graphs, such as chordal graphs, permutation graphs and AT-free graphs. The previously best randomised algorithm for chordal graphs used $O_Δ(n\log^2 n)$ queries in expectation, so we improve by a $(\log n)$-factor for this graph class.