tree
6737 papers tagged with this keyword
On a barrier height problem for RNA branching
The branching of an RNA molecule is an important structural characteristic yet difficult to predict correctly, especially for longer sequences. Using plane trees as a combinatorial model for RNA folding, we consider the thermodynamic cost, known as the barrier height, of transitioning between branching configurations. Using branching skew as a coarse energy approximation, we characterize various types of paths in the discrete configuration landscape. In particular, we give sufficient conditions for a path to have both minimal length and minimal branching skew. The proofs offer some biological insights, notably the potential importance of both hairpin stability and domain architecture to higher resolution RNA barrier height analyses.
Bounded twin-width graphs are polynomially $χ$-bounded
Published in Advances in Combinatorics 2025:2, 19pp
• View Publication
• BIB
We show that every graph with twin-width $t$ has chromatic number $O(ω^{k_t})$ for some integer $k_t$, where $ω$ denotes the clique number. This extends a quasi-polynomial bound from Pilipczuk and Sokołowski and generalizes a result for bounded clique-width graphs by Bonamy and Pilipczuk. The proof uses the main ideas of the quasi-polynomial approach, with a different treatment of the decomposition tree. In particular, we identify two types of extensions of a class of graphs: the delayed-extension (which preserves polynomial $χ$-boundedness) and the right-extension (which preserves polynomial $χ$-boundedness under bounded twin-width condition). Our main result is that every bounded twin-width graph is a delayed extension of simpler classes of graphs, each expressed as a bounded union of right extensions of lower twin-width graphs.
Intersecting diametral balls induced by a geometric graph II
Published in Discrete Mathematics, 347(1) 2024, 113694
• View Publication
• BIB
For a graph whose vertices are points in $\mathbb R^d$, consider the closed balls with diameters induced by its edges. The graph is called a Tverberg graph if these closed balls intersect. A max-sum tree of a finite point set $X \subset \mathbb R^d$ is a tree with vertex set $X$ that maximizes the sum of Euclidean distances of its edges among all trees with vertex set $X$. Similarly, a max-sum matching of an even set $X \subset \mathbb R^d$ is a perfect matching of $X$ maximizing the sum of Euclidean distances between the matched points among all perfect matchings of $X$. We prove that a max-sum tree of any finite point set in $\mathbb R^d$ is a Tverberg graph, which generalizes a recent result of Abu-Affash et al., who established this claim in the plane. Additionally, we provide a new proof of a theorem by Bereg et al., which states that a max-sum matching of any even point set in the plane is a Tverberg graph. Moreover, we proved a slightly stronger version of this theorem.
Filling a triangulation of the 2-sphere
Define the tet-volume of a triangulation of the 2-sphere to be the minimum number of tetrahedra in a 3-complex of which it is the boundary, and let $d(v)$ be the maximum tet-volume for $v$-vertex triangulations. In 1986 Sleator, Tarjan, and Thurston (STT) proved that $d(v) = 2v-10$ holds for large $v$, and conjectured that it holds for all $v \geq 13$. Their proof used hyperbolic polyhedra of large volume. They suggested using more general notions of volume instead. In work that was all but lost, Mathieu and Thurston used this approach to outline a combinatorial proof of the STT asymptotic result. Here we use a much simplified version of their approach to prove the full conjecture. This implies STT's weaker conjecture, proven by Pournin in 2014, characterizing the maximum rotation distance between trees.
How connectivity affects the extremal number of trees
Published
• View Publication
• BIB
The Erdős-Sós conjecture states that the maximum number of edges in an $n$-vertex graph without a given $k$-vertex tree is at most $\frac {n(k-2)}{2}$. Despite significant interest, the conjecture remains unsolved. Recently, Caro, Patkós, and Tuza considered this problem for host graphs that are connected. Settling a problem posed by them, for a $k$-vertex tree $T$, we construct $n$-vertex connected graphs that are $T$-free with at least $(1/4-o_k(1))nk$ edges, showing that the additional connectivity condition can reduce the maximum size by at most a factor of 2. Furthermore, we show that this is optimal: there is a family of $k$-vertex brooms $T$ such that the maximum size of an $n$-vertex connected $T$-free graph is at most $(1/4+o_k(1))nk$.
Bounds for the Competition-Independence game on trees
In this paper we prove that Sweller has a strategy so that the Sweller-Start Competition-Independence game lasts at least $(5n+3)/13$ moves for every tree. Moreover, we show that there exist arbitrarily large trees such that the Sweller-Start Competition-Independence game lasts at most $(5n+26)/12$ moves, disproving a conjecture by Henning.
A Comparison of Dijkstra's Algorithm Using Fibonacci Heaps, Binary Heaps, and Self-Balancing Binary Trees
This paper describes the shortest path problem in weighted graphs and examines the differences in efficiency that occur when using Dijkstra's algorithm with a Fibonacci heap, binary heap, and self-balancing binary tree. Using C++ implementations of these algorithm variants, we find that the fastest method is not always the one that has the lowest asymptotic complexity. Reasons for this are discussed and backed with empirical evidence.
Encoding and Enumerating Acyclic Orientations of Graphs
In this work we study the acyclic orientations of graphs. We obtain an encoding of the acyclic orientations of the complete $p$-partite graph with size of its parts $n_1,n_2,\ldots,n_p$ via a vector with $p$ symbols and length $n=n_1+n_2+\ldots+n_p$ when the parts are fixed but not the vertices in each part. We also give a recursive way to construct all acyclic orientations of a complete multipartite graph, this construction can be done by computer easily in order $\mathcal{O}(n)$. Furthermore, we obtain a closed formula for non-isomorphic acyclic orientations of both the complete multipartite graphs and the complete multipartite graphs with a directed spanning tree. Moreover, we obtain a closed formula for the number of acyclic orientations of a complete multipartite graph $K_{n_1,\ldots,n_p}$ with labelled vertices. Finally, we obtain a way encode all acyclic orientations of an arbitrary graph as a permutation code. Using the codification mentioned above we obtain sharp upper and lower bounds of the number of acyclic orientations of a graph.
An $\mathrm{A}_2$ Bailey tree and $\mathrm{A}_2^{(1)}$ Rogers-Ramanujan-type identities
The $\mathrm{A}_2$ Bailey chain of Andrews, Schilling and the author is extended to a four-parameter $\mathrm{A}_2$ Bailey tree. As main application of this tree, we prove the Kanade-Russell conjecture for a three-parameter family of Rogers-Ramanujan-type identities related to the principal characters of the affine Lie algebra $\mathrm{A}_2^{(1)}$. Combined with known $q$-series results, this further implies an $\mathrm{A}_2^{(1)}$-analogue of the celebrated Andrews-Gordon $q$-series identities. We also use the $\mathrm{A}_2$ Bailey tree to prove a Rogers-Selberg-type identity for the characters of the principal subspaces of $\mathrm{A}_2^{(1)}$ indexed by arbitrary level-$k$ dominant integral weights $λ$. This generalises a result of Feigin, Feigin, Jimbo, Miwa and Mukhin for $λ=kΛ_0$.
Uniform random generations and rejection method(I) with binomial majorant
We present three simple algorithms to uniformly generate `Fibonacci words' (i.e., some words that are enumerated by Fibonacci numbers), Schr{ö}der trees of size $n$ and Motzkin left factors of size $n$ and final height $h$. These algorithms have an average complexity of $O(n)$ in the unit-cost RAM model.
A note on the flip distance between non-crossing spanning trees
We consider spanning trees of $n$ points in convex position whose edges are pairwise non-crossing. Applying a flip to such a tree consists in adding an edge and removing another so that the result is still a non-crossing spanning tree. Given two trees, we investigate the minimum number of flips required to transform one into the other. The naive $2n-Ω(1)$ upper bound stood for 25 years until a recent breakthrough from Aichholzer et al. yielding a $2n-Ω(\log n)$ bound. We improve their result with a $2n-Ω(\sqrt{n})$ upper bound, and we strengthen and shorten the proofs of several of their results.
Real trees
We survey the definition and some elementary properties of real trees. There are no new results, as far as we know. One purpose is to give a number of different definitions and show the equivalence between them. We discuss also, for example, the four-point inequality, the length measure and the connection to the theory of Gromov hyperbolic spaces. Several examples are given.
Some techniques to find large lower bound trees for the radio number
For a simple finite connected graph $G$, let $diam(G)$ and $d_{G}(u,v)$ denote the diameter of $G$ and distance between $u$ and $v$ in $G$, respectively. A radio labeling of a graph $G$ is a mapping $f$ : $V(G) \rightarrow \{0, 1, 2,...\}$ such that $|f(u)-f(v)| \geq diam(G) + 1 - d_{G}(u,v)$ holds for every pair of distinct vertices $u,v$ of $G$. The radio number $rn(G)$ of $G$ is the smallest number $k$ such that $G$ has radio labeling $f$ with max$\{f(v):v \in V(G)\}$ = $k$. Bantva et al. gave a lower bound for the radio number of trees in [Lemma 3.1, Discrete Applied Math.,217(2017),110-122] and, a necessary and sufficient condition to achieve this lower bound in [Theorem 3.2, Discrete Applied Math.,217(2017),110-122]. Denote the lower bound for the radio number of trees given in [Lemma 3.1, Discrete Applied Math.,217(2017),110-122] by $lb(T)$. A tree $T$ is called a lower bound tree for the radio number if $rn(T)$ = $lb(T)$. In this paper, we construct some large lower bound trees for the radio number using known lower bound trees.
Classification of Label-Regular Directed Trees up to Almost Isomorphism
This paper outlines a method to determine whether two label-regular directed trees, are isomorphic and when they are almost isomorphic. The approach involves reinterpreting label-regular directed trees as universal covers of rooted graphs. This allows us associate a unique graph with each isomorphism class of a label-regular directed tree. Additionally, by examining the graph monoid we can verify when two unfolding graphs produce almost isomorphic unfolding trees, thereby classifying unfolding trees up to almost isomorphism.
New Results on Edge-coloring and Total-coloring of Split Graphs
A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. A connected graph $G$ is said to be $t$-admissible if admits a special spanning tree in which the distance between any two adjacent vertices is at most $t$. Given a graph $G$, determining the smallest $t$ for which $G$ is $t$-admissible, i.e. the stretch index of $G$ denoted by $σ(G)$, is the goal of the $t$-admissibility problem. Split graphs are $3$-admissible and can be partitioned into three subclasses: split graphs with $σ=1, 2 $ or $3$. In this work we consider such a partition while dealing with the problem of coloring a split graph. Vizing proved that any graph can have its edges colored with $Δ$ or $Δ+1$ colors, and thus can be classified as Class 1 or Class 2, respectively. When both, edges and vertices, are simultaneously colored, i.e., a total coloring of $G$, it is conjectured that any graph can be total colored with $Δ+1$ or $Δ+2$ colors, and thus can be classified as Type 1 or Type 2. These both variants are still open for split graphs. In this paper, using the partition of split graphs presented above, we consider the edge coloring problem and the total coloring problem for split graphs with $σ=2$. For this class, we characterize Class 2 and Type 2 graphs and we provide polynomial-time algorithms to color any Class 1 or Type 1 graph.
Triangulations of cosmological polytopes
A cosmological polytope is defined for a given Feynman diagram, and its canonical form may be used to compute the contribution of the Feynman diagram to the wavefunction of certain cosmological models. Given a subdivision of a polytope, its canonical form is obtained as a sum of the canonical forms of the facets of the subdivision. In this paper, we identify such formulas for the canonical form via algebraic techniques. It is shown that the toric ideal of every cosmological polytope admits a Gröbner basis with a squarefree initial ideal, yielding a regular unimodular triangulation of the polytope. In specific instances, including trees and cycles, we recover graphical characterizations of the facets of such triangulations that may be used to compute the desired canonical form. For paths and cycles, these characterizations admit simple enumeration. Hence, we obtain formulas for the normalized volume of these polytopes, extending previous observations of Kühne and Monin.
Hamilton cycles in pseudorandom graphs
Finding general conditions which ensure that a graph is Hamiltonian is a central topic in graph theory. An old and well known conjecture in the area states that any $d$-regular $n$-vertex graph $G$ whose second largest eigenvalue in absolute value $λ(G)$ is at most $\frac{d}{C}$, for some universal constant $C>0$, has a Hamilton cycle. In this paper, we obtain two main results which make substantial progress towards this problem. Firstly, we settle this conjecture in full when the degree $d$ is at least a small power of $n$. Secondly, in the general case we show that $λ(G) \leq \frac{d}{C(\log n)^{1/3}}$ implies the existence of a Hamilton cycle, improving the 20-year old bound of $\frac{d}{ \log^{1-o(1)} n}$ of Krivelevich and Sudakov. We use in a novel way a variety of methods, such as a robust Pósa rotation-extension technique, the Friedman-Pippenger tree embedding with rollbacks and the absorbing method, combined with additional tools and ideas.
Our results have several interesting applications, giving best bounds on the number of generators which guarantee the Hamiltonicity of random Cayley graphs, which is an important partial case of the well known Hamiltonicity conjecture of Lovász. They can also be used to improve a result of Alon and Bourgain on additive patterns in multiplicative subgroups.
Extending partial edge colorings of cartesian products of graphs
We consider the problem of extending partial edge colorings of cartesian products of graphs. More specifically, we suggest the following Evans-type conjecture: If $G$ is a graph where every precoloring of at most $k$ precolored edges can be extended to a proper $χ'(G)$-edge coloring, then every precoloring of at most $k+1$ edges of $G \square K_2$ is extendable to a proper $(χ'(G) +1)$-edge coloring of $G \square K_2$. In this paper we verify that this conjecture holds for trees, complete and complete bipartite graphs, as well as for graphs with small maximum degree. We also prove versions of the conjecture for general regular graphs where the precolored edges are required to be independent.
Ramsey Achievement Games on Graphs : Algorithms and Bounds
In 1982, Harary introduced the concept of Ramsey achievement game on graphs. Given a graph $F$ with no isolated vertices. Consider the following game played on the complete graph $K_n$ by two players Alice and Bob. First, Alice colors one of the edges of $K_n$ blue, then Bob colors a different edge red, and so on. The first player who can complete the formation of $F$ in his color is the winner. The minimum $n$ for which Alice has a winning strategy is the achievement number of $F$, denoted by $a(F)$. If we replace $K_n$ in the game by the completed bipartite graph $K_{n,n}$, we get the bipartite achievement number, denoted by $\operatorname{ba}(F)$. In his seminal paper, Harary proposed an open problem of determining bipartite achievement numbers for trees. In this paper, we correct $\operatorname{ba}(mK_2)=m+1$ to $m$ and disprove $\operatorname{ba}(K_{1,m})=2m-2$ from Erickson and Harary, and extend their results on bipartite achievement numbers. We also find the exact values of achievement numbers for matchings, and the exact values or upper and lower bounds of bipartite achievement numbers on matchings, stars, and double stars. Our upper bounds are obtained by deriving efficient winning strategies for Alice.
A new strategy for finding spanning trees without small degree stems
For an integer $k\geq 2$, a spanning tree of a graph without vertices of degree from $2$ to $k$ is called a {\it $[2,k]$-ST} of the graph. The concept of $[2,k]$-STs is a natural extension of a homeomorphically irreducible spanning tree (or HIST), which is a well-studied graph structure. In this paper, we give a new strategy for finding $[2,k]$-STs. By using the strategy, we refine or extend a known degree-sum condition for the existence of a HIST. Furthermore, we also investigate a degree-product condition for the existence of a $[2,k]$-ST.