tree
6737 papers tagged with this keyword
Multi-objective Matroid Optimization with Ordinal Weights
Published
• View Publication
• BIB
Bi-objective optimization problems on matroids are in general intractable and their corresponding decision problems are in general NP-hard. However, if one of the objective functions is restricted to binary cost coefficients the problem becomes efficiently solvable by an exhaustive swap algorithm. Binary cost coefficients often represent two categories and are thus a special case of ordinal coefficients that are in general non-additive. In this paper we consider ordinal objective functions with more than two categories in the context of matroid optimization. We introduce several problem variants that can be distinguished w.r.t. their respective optimization goals, analyze their interrelations, and derive a polynomial time solution method that is based on the repeated solution of matroid intersection problems. Numerical tests on minimum spanning tree problems and on partition matroids confirm the efficiency of the approach.
Constructing bounded degree graphs with prescribed degree and neighbor degree sequences
Let $D = d_1, d_2, \ldots, d_n$ and $F = f_1, f_2,\ldots, f_n$ be two sequences of positive integers. We consider the following decision problems: is there a $i)$ multigraph, $ii)$ loopless multigraph, $iii)$ simple graph, $iv)$ connected simple graph, $v)$ tree, $vi)$ caterpillar $G = (V,E)$ such that for all $k$, $d(v_k) = d_k$ and $\sum_{w\in \mathcal{N}(v_k)} d(w) = f_k$ ($d(v)$ is the degree of $v$ and $\mathcal{N}(v)$ is the set of neighbors of $v$). Here we show that all these decision problems can be solved in polynomial time if $\max_{k} d_k$ is bounded.
The problem is motivated by NMR spectroscopy of hydrocarbons.
Compact Redistricting Plans Have Many Spanning Trees
Published
• View Publication
• BIB
In the design and analysis of political redistricting maps, it is often useful to be able to sample from the space of all partitions of the graph of census blocks into connected subgraphs of equal population. There are influential Markov chain Monte Carlo methods for doing so that are based on sampling and splitting random spanning trees. Empirical evidence suggests that the distributions such algorithms sample from place higher weight on more "compact" redistricting plans, which is a practically useful and desirable property. In this paper, we confirm these observations analytically, establishing an inverse exponential relationship between the total length of the boundaries separating districts and the probability that such a map will be sampled. This result provides theoretical underpinnings for algorithms that are already making a significant real-world impact.
Tree balance indices: a comprehensive survey
Tree balance plays an important role in phylogenetics and other research areas, which is why several indices to measure tree balance have been introduced over the years. Nevertheless, a formal definition of what a balance index actually is and what makes it a useful measure of balance (or, in other cases, imbalance), has so far not been introduced in the literature. While the established indices all summarize the (im)balance of a tree in a single number, they vary in their definitions and underlying principles. It is the aim of the present manuscript to introduce formal definitions of balance and imbalance indices that classify desirable properties of such indices and to analyze and categorize established indices accordingly. In this regard, we review 19 established (im)balance indices from the literature, summarize their general, statistical and combinatorial properties (where known), prove numerous additional results and indicate directions for future research by making explicit open questions and gaps in the literature. We also prove that a few tree shape statistics that have been used to measure tree balance in the literature do not fulfill our definition of an (im)balance index, which might indicate that their properties are not as useful for practical purposes. Moreover, we show that five additional tree shape statistics from other contexts actually are tree (im)balance indices according to our definition. The manuscript is accompanied by the website \url{treebalance.wordpress.com} containing fact sheets of the discussed indices. Moreover, we introduce the software package \verb|treebalance| implemented in $\mathsf{R}$ that can be used to calculate all indices discussed.
Spectral radius conditions for the existence of all subtrees of diameter at most four
Published in Linear Algebra and its Applications, 663 (2023), 80-101
• View Publication
• BIB
Let $μ(G)$ denote the spectral radius of a graph $G$. We partly confirm a conjecture due to Nikiforov, which is a spectral radius analogue of the well-known Erdős-Sós Conjecture that any tree of order $t$ is contained in a graph of average degree greater than $t-2$. Let $S_{n,k}=K_{k}\vee\overline{K_{n-k}}$, and let $S_{n,k}^{+}$ be the graph obtained from $S_{n,k}$ by adding a single edge joining two vertices of the independent set of $S_{n,k}$. In 2010, Nikiforov conjectured that for a given integer $k$, every graph $G$ of sufficiently large order $n$ with $μ(G)\geq μ(S_{n,k}^{+})$ contains all trees of order $2k+3$, unless $G=S_{n,k}^{+}$. We confirm this conjecture for trees with diameter at most four, with one exception. In fact, we prove the following stronger result for $k\geq 8$. If a graph $G$ with sufficiently large order $n$ satisfies $μ(G)\geq μ(S_{n,k})$ and $G\neq S_{n,k}$, then $G$ contains all trees of order $2k+3$ with diameter at most four, except for the tree obtained from a star $K_{1,k+1}$ by subdividing each of its $k+1$ edges once.
Quasi-Best Match Graphs
Quasi-best match graphs (qBMGs) are a hereditary class of directed, properly vertex-colored graphs. They arise naturally in mathematical phylogenetics as a generalization of best match graphs, which formalize the notion of evolutionary closest relatedness of genes (vertices) in multiple species (vertex colors). They are explained by rooted trees whose leaves correspond to vertices. In contrast to BMGs, qBMGs represent only best matches at a restricted phylogenetic distance. We provide characterizations of qBMGs that give rise to polynomial-time recognition algorithms and identify the BMGs as the qBMGs that are color-sink-free. Furthermore, two-colored qBMGs are characterized as directed graphs satisfying three simple local conditions, two of which have appeared previously, namely bi-transitivity in the sense of Das et al. (2021) and a hierarchy-like structure of out-neighborhoods, i.e., $N(x)\cap N(y)\in\{N(x),N(y),\emptyset\}$ for any two vertices $x$ and $y$. Further results characterize qBMGs that can be explained by binary phylogenetic trees.
Classes of Explicit Phylogenetic Networks and their Biological and Mathematical Significance
Published
• View Publication
• BIB
The evolutionary relationships among organisms have traditionally been represented using rooted phylogenetic trees. However, due to reticulate processes such as hybridization or lateral gene transfer, evolution cannot always be adequately represented by a phylogenetic tree, and rooted phylogenetic networks that describe such complex processes have been introduced as a generalization of rooted phylogenetic trees. In fact, estimating rooted phylogenetic networks from genomic sequence data and analyzing their structural properties is one of the most important tasks in contemporary phylogenetics. Over the last two decades, several subclasses of rooted phylogenetic networks (characterized by certain structural constraints) have been introduced in the literature, either to model specific biological phenomena or to enable tractable mathematical and computational analyses. In the present manuscript, we provide a thorough review of these network classes, as well as provide a biological interpretation of the structural constraints underlying these networks where possible. In addition, we discuss how imposing structural constraints on the network topology can be used to address the scalability and identifiability challenges faced in the estimation of phylogenetic networks from empirical data.
Induction on Descent in Leaper Graphs
We construct an infinite ternary tree $\mathfrak{L}$ whose root is the knight and whose vertices are all skew free leapers. We define the descent of a skew free leaper to be its "address" within $\mathfrak{L}$. We introduce three transformations which relate the leaper graphs of a skew free leaper to the leaper graphs of its three children in $\mathfrak{L}$. By starting with the knight and then applying these transformations so as to advance throughout $\mathfrak{L}$, we can establish theorems about all skew free leapers. We call this proof technique induction on descent and with its help we resolve a number of questions about leaper graphs.
The geodesic transversal problem on some networks
Published
• View Publication
• BIB
A set S of vertices of a graph G is a geodesic transversal of G if every maximal geodesic of G contains at least one vertex of S. We determine a smallest geodesic transversal in certain interconnection networks such as mesh of trees, and some well-known chemical structures such as silicate networks and carbon nanosheets. Some useful general bounds for the corresponding graph invariant are obtained along the way.
A Quantization of the Loday-Ronco Hopf Algebra
Published in Esteves, J.N. A Quantization of the Loday-Ronco Hopf Algebra. Algebr Represent Theor (2024)
• View Publication
• BIB
We propose a quantization algebra of the Loday-Ronco Hopf algebra $k[Y^\infty]$, based on the Topological Recursion formula of Eynard and Orantin. We have shown in previous works that the Loday-Ronco Hopf algebra of planar binary trees is a space of solutions for the genus 0 version of Topological Recursion, and that an extension of the Loday Ronco Hopf algebra as to include some new graphs with loops is the correct setting to find a solution space for arbitrary genus. Here we show that this new algebra $k[Y^\infty]_h$ is still a Hopf algebra that can be seen in some sense to be made precise in the text as a quantization of the Hopf algebra of planar binary trees, and that the solution space of Topological Recursion $\mathcal{A}^h_{\text{TopRec}}$ is a subalgebra of a quotient algebra $\mathcal{A}_{\text{Reg}}^h$ obtained from $k[Y^\infty]_h$ that nevertheless doesn't inherit the Hopf algebra structure. We end the paper with a discussion on the cohomology of $\mathcal{A}^h_{\text{TopRec}}$ in low degree.
On average hitting time and Kemeny's constant for weighted trees
For a connected graph $G$, the average hitting time $α(G)$ and the Kemeny's constant $κ(G)$ are two similar quantities, both measuring the time for the random walk on $G$ to travel between two randomly chosen vertices. We prove that, among all weighted trees whose edge-weights form a fixed multiset, $α$ is maximized by a special type of "polarized" paths and is minimized by a unique weighted star graph. We also give a short proof of the fact that, among all simple trees of a fixed size, $κ$ is maximized by the path and is minimized by the star graph. Our proofs are based on the forest formulas for the average hitting time and the Kemeny's constant.
Families of polytopes with rational linear precision in higher dimensions
Published in Foundations of Computational Mathematics, 2022
• View Publication
• BIB
In this article we introduce a new family of lattice polytopes with rational linear precision. For this purpose, we define a new class of discrete statistical models that we call multinomial staged tree models. We prove that these models have rational maximum likelihood estimators (MLE) and give a criterion for these models to be log-linear. Our main result is then obtained by applying Garcia-Puente and Sottile's theorem that establishes a correspondence between polytopes with rational linear precision and log-linear models with rational MLE. Throughout this article we also study the interplay between the primitive collections of the normal fan of a polytope with rational linear precision and the shape of the Horn matrix of its corresponding statistical model. Finally, we investigate lattice polytopes arising from toric multinomial staged tree models, in terms of the combinatorics of their tree representations.
Optimal pebbling of complete binary trees and a meta-Fibonacci sequence
Published
• View Publication
• BIB
In this paper, we present a new method for determining the optimal pebbling number of a complete binary tree. This method reveals a curious connection between the optimal pebbling numbers of complete binary trees and the Conolly-Fox sequence, a type of meta-Fibonacci sequence.
Spanning Tree Bounds for Grid Graphs
Published
• View Publication
• BIB
Among subgraphs with a fixed number of vertices of the regular square lattice, we prove inequalities that essentially say that those with smaller boundaries have larger numbers of spanning trees and vice-versa. As an application, we relate two commonly used measurements of the compactness of district maps.
An area-depth symmetric $q,t$-Catalan polynomial
Published in Electronic J. Comb. 29(2) (2022), #P2.13
• View Publication
• BIB
We define two symmetric $q,t$-Catalan polynomials in terms of the area and depth statistic and in terms of the dinv and dinv of depth statistics. We prove symmetry using an involution on plane trees. The same involution proves symmetry of the Tutte polynomials. We also provide a combinatorial proof of a remark by Garsia et al. regarding parking functions and the number of connected graphs on a fixed number of vertices.
Hopf algebras of parking functions and decorated planar trees
Published
• View Publication
• BIB
We construct three new combinatorial Hopf algebras based on the Loday-Ronco operations on planar binary trees. The first and second algebras are defined on planar trees and labeled planar trees extending the Loday-Ronco and Malvenuto-Reutenauer Hopf algebras respectively. We show that the latter is bidendriform which implies that is also free, cofree, and self-dual. The third algebra involves a new visualization of parking functions as decorated binary trees; it is also bidendriform, free, cofree, and self-dual, and therefore abstractly isomorphic to the algebra PQSym of Novelli and Thibon.
We define partial orders on the objects indexing each of these three Hopf algebras, one of which, when restricting to (m+1)-ary trees, coarsens the m-Tamari order of Bergeron and Préville-Ratelle. We show that multiplication of dual fundamental basis elements are given by intervals in each of these orders.
Finally, we use an axiomatized version of the techniques of Aguiar and Sottile on the Malvenuto-Reutenauer Hopf algebra to define a monomial basis on each of our Hopf algebras, and to show that comultiplication is cofree on the monomial elements. This in particular, implies the cofreeness of the Hopf algebra on planar trees. We also find explicit positive formulas for the multiplication on monomial basis and a cancellation-free and grouping-free formula for the antipode of monomial elements.
Caterpillars and alternating paths
Let $p(m)$ (respectively, $q(m)$) be the maximum number $k$ such that any tree with $m$ edges can be transformed by contracting edges (respectively, by removing vertices) into a caterpillar with $k$ edges. We derive closed-form expressions for $p(m)$ and $q(m)$ for all $m \ge 1$. The two functions $p(n)$ and $q(n)$ can also be interpreted in terms of alternating paths among $n$ disjoint line segments in the plane, whose $2n$ endpoints are in convex position.
Exact defective colorings of graphs
An exact $(k,d)$-coloring of a graph $G$ is a coloring of its vertices with $k$ colors such that each vertex $v$ is adjacent to exactly $d$ vertices having the same color as $v$. The exact $d$-defective chromatic number, denoted $χ_d^=(G)$, is the minimum $k$ such that there exists an exact $(k,d)$-coloring of $G$. In an exact $(k,d)$-coloring, which for $d=0$ corresponds to a proper coloring, each color class induces a $d$-regular subgraph. We give basic properties for the parameter and determine its exact value for cycles, trees, and complete graphs. In addition, we establish bounds on $χ_d^=(G)$ for all relevant values of $d$ when $G$ is planar, chordal, or has bounded treewidth. We also give polynomial-time algorithms for finding certain types of exact $(k,d)$-colorings in cactus graphs and block graphs. Our main result is on the computational complexity of $d$-EXACT DEFECTIVE $k$-COLORING in which we are given a graph $G$ and asked to decide whether $χ_d^=(G) \leq k$. Specifically, we prove that the problem is NP-complete for all $d \geq 1$ and $k \geq 2$.
Raney numbers, threshold sequences and Motzkin-like paths
Published
• View Publication
• BIB
We provide new interpretations for a subset of Raney numbers, involving threshold sequences and Motzkin-like paths with long up and down steps.
Given three integers n, k, l such that n >= 1, k >= 2 and 0 <= l <= k-2, a (k,l)-threshold sequence of length n is any strictly increasing sequence S=(s_1 s_2 ... s_n) of integers such that ki <= s_i <= kn+l. These sequences are in bijection with ordered (l+1)-tuples of k-ary trees. We prove this result and identify the Raney numbers that count the (k,l)-threshold sequences. As a consequence, when k=2 and k=3, we deduce combinatorial identities involving Catalan numbers and powers of 2, and respectively Fuss-Catalan and Raney numbers. Finally, we show how to represent threshold sequences as Motzkin-like paths with long up and down steps, and deduce that these paths are enumerated by the same Raney numbers.
Restrained condition on double Roman dominating functions
Published in Applied Mathematics and Computation, 2023
• View Publication
• BIB
We continue the study of restrained double Roman domination in graphs. For a graph $G=\big{(}V(G),E(G)\big{)}$, a double Roman dominating function $f$ is called a restrained double Roman dominating function (RDRD function) if the subgraph induced by $\{v\in V(G)\mid f(v)=0\}$ has no isolated vertices. The restrained double Roman domination number (RDRD number) $γ_{rdR}(G)$ is the minimum weight $\sum_{v\in V(G)}f(v)$ taken over all RDRD functions of $G$.
We first prove that the problem of computing $γ_{rdR}$ is NP-hard even for planar graphs, but it is solvable in linear time when restricted to bounded clique-width graphs such as trees, cographs and distance-hereditary graphs. Relationships between $γ_{rdR}$ and some well-known parameters such as restrained domination number $γ_{r}$, domination number $γ$ and restrained Roman domination number $γ_{rR}$ are investigated in this paper by bounding $γ_{rdR}$ from below and above involving $γ_{r}$, $γ$ and $γ_{rR}$ for general graphs, respectively. We prove that $γ_{rdR}(T)\geq n+2$ for any tree $T\neq K_{1,n-1}$ of order $n\geq2$ and characterize the family of all trees attaining the lower bound. The characterization of graphs with small RDRD numbers is given in this paper.