tree
6861 papers tagged with this keyword
Good Will Hunting's Problem: Counting Homeomorphically Irreducible Trees
In the film Good Will Hunting, the main character, a janitor at MIT named Will Hunting, attacks the problem of drawing all the homeomorphically irreducible trees with 10 vertices. Although the film suggests that this is a difficult problem, it is in fact quite easy. A much more interesting problem is counting homeomorphically irreducible trees with $n$ vertices for all $n$, a feat accomplished by Harary and Prins in 1959. Here we give an exposition and simplification of Harary and Prins's result, introducing some of the fundamental ideas of graphical enumeration.
On the divisibility of H-shape trees and their spectral determination
Published
• View Publication
• BIB
A graph $G$ is divisible by a graph $H$ if the characteristic polynomial of $G$ is divisible by that of $H$. In this paper, a necessary and sufficient condition for recursive graphs to be divisible by a path is used to show that the H-shape graph $P_{2,2;n-4}^{2,n-7}$, known to be (for $n$ large enough) the minimizer of the spectral radius among the graphs of order $n$ and diameter $n-5$, is determined by its adjacency spectrum if and only if $n \neq 10,13,15$.
Discrete Differential Geometry and Cluster Algebras via TCD maps
In this PhD thesis we develop the frame work of triple crossing diagram maps (TCD maps), which describes constrained configurations of points in projective spaces and discrete dynamics on these configurations. We are able to capture the constraints and dynamics of a large list of examples that occur in discrete differential geometry (DDG), discrete integrable systems and exactly solvable models. We explain how to apply various geometric operations to TCD maps, including projections, intersections with hyperplanes and projective dualization. In fact, we show how many examples in the literature are related by the aforementioned operations. Moreover, we introduce a hierarchy of cluster structures on TCD maps, thus answering the open question how objects of DDG relate to cluster structures. At the same time, the general cluster structure reproduces cluster structures known for the pentagram map, T-graphs and t-embeddings. We also explain how the cluster structures behave under geometric operations. Via the cluster structures, the TCD maps are also related to the probabilistic dimer model. The spanning tree model and the Ising model can be obtained as special cases of the dimer model, and we investigate how these special cases relate to geometry. This also leads to two new incidence theorems in relation to quadrics and null-polarities in $\mathbb C \mathrm P^3$. Finally, we also show how TCD maps relate to the Fock-Goncharov moduli spaces of projective flag configurations.
Complexity Framework for Forbidden Subgraphs IV: The Steiner Forest Problem
Published
• View Publication
• BIB
We study Steiner Forest on $H$-subgraph-free graphs, that is, graphs that do not contain some fixed graph $H$ as a (not necessarily induced) subgraph. We are motivated by a recent framework that completely characterizes the complexity of many problems on $H$-subgraph-free graphs. However, in contrast to e.g. the related Steiner Tree problem, Steiner Forest falls outside this framework. Hence, the complexity of Steiner Forest on $H$-subgraph-free graphs remained tantalizingly open. In this paper, we make significant progress towards determining the complexity of Steiner Forest on $H$-subgraph-free graphs. Our main results are four novel polynomial-time algorithms for different excluded graphs $H$ that are central to further understand its complexity. Along the way, we study the complexity of Steiner Forest for graphs with a small $c$-deletion set, that is, a small set $S$ of vertices such that each component of $G-S$ has size at most $c$. Using this parameter, we give two noteworthy algorithms that we later employ as subroutines. First, we prove Steiner Forest is FPT parameterized by $|S|$ when $c=1$ (i.e. the vertex cover number). Second, we prove Steiner Forest is polynomial-time solvable for graphs with a 2-deletion set of size at most 2. The latter result is tight, as the problem is NP-complete for graphs with a 3-deletion set of size 2.
The independence polynomial of trees is not always log-concave starting from order 26
Published
• View Publication
• BIB
An independent set in a graph is a collection of vertices that are not adjacent to each other. The cardinality of the largest independent set in $G$ is represented by $α(G)$. The independence polynomial of a graph $G = (V, E)$ was introduced by Gutman and Harary in 1983 and is defined as
\[
I(G;x) = \sum_{k=0}^{α(G)}{s_k}x^{k}={s_0}+{s_1}x+{s_2}x^{2}+...+{s_{α(G)}}x^{α(G)},
\]
where $s_k$ represents the number of independent sets in $G$ of size $k$. The conjecture made by Alavi, Malde, Schwenk, and Erdös in 1987 stated that the independence polynomials of trees are unimodal, and many researchers believed that this conjecture could be strengthened up to its corresponding log-concave version. However, in our paper, we present evidence that contradicts this assumption by introducing infinite families of trees whose independence polynomials are not log-concave.
Descent polynomials for labeled tree
Motivated by the properties of the descent polynomials, which enumerate permutations of $S_n$ with a fixed descent set, we define descent polynomials for labeled rooted trees. We give recursive and explicit formulas for these polynomials and show when known properties of the descent polynomials carry over to the setting of trees.
Integral Cayley graphs of symmetric groups on transpositions
Published
• View Publication
• BIB
We study subsets $T$ consisting of some transpositions $(i,j)$ of the symmetric group $S_n$ on $\{1,\dots,n\}$ such that the Cayley graph $Γ_T:=Cay(S_n,T)$ is an integral graph, i.e., all eigenvalues of an adjacency matrix of $Γ_T$ are integers. Graph properties of $Γ_T$ are determined in terms of ones of the graph $G_T$ whose vertex set is $\{1,\dots,n\}$ and $\{i,j\}$ is an edge if and only if $(i,j)\in T$. Here we prove that if $G_T$ is a tree then $Γ_T$ is integral if and only if $T$ is isomorphic to the star graph $K_{1,n-1}$, answering Problem 5 of [Electron. J. Comnin., 29(2) (2022) \# P2.9]. Problem 6 of the latter article asks to find necessary and sufficient conditions on $T$ for integralness of $Cay(S_n,T)$ without any further assumption on $T$. We show that if $G_T$ is a graph which we call it a ``generalized complete multipartite graph" then $Cay(S_n,T)$ is integral. We conjecture that $Cay(S_n,T)$ is integral only if $G_T$ is a generalized complete multipartitie graph. To support the latter conjecture we show its validity whenever $G_T$ is some classes of graphs including cycles and cubic graphs.
Hardness of Finding Combinatorial Shortest Paths on Graph Associahedra
Published
• View Publication
• BIB
We prove that the computation of a combinatorial shortest path between two vertices of a graph associahedron, introduced by Carr and Devadoss, is NP-hard. This resolves an open problem raised by Cardinal. A graph associahedron is a generalization of the well-known associahedron. The associahedron is obtained as the graph associahedron of a path. It is a tantalizing and important open problem in theoretical computer science whether the computation of a combinatorial shortest path between two vertices of the associahedron can be done in polynomial time, which is identical to the computation of the flip distance between two triangulations of a convex polygon, and the rotation distance between two rooted binary trees. Our result shows that a certain generalized approach to tackling this open problem is not promising. As a corollary of our theorem, we prove that the computation of a combinatorial shortest path between two vertices of a polymatroid base polytope cannot be done in polynomial time unless P = NP. Since a combinatorial shortest path on the matroid base polytope can be computed in polynomial time, our result reveals an unexpected contrast between matroids and polymatroids.
Invariants of Binomial Edge Ideals via Linear Programs
Published
• View Publication
• BIB
We associate to every graph a linear program for packings of vertex disjoint paths. We show that the optimal primal and dual values of the corresponding integer program are the binomial grade and height of the binomial edge ideal of the graph. We deduce from this a new combinatorial characterization of graphs of König type and use it to show that all trees are of König type.
The log canonical threshold and the F-threshold are important invariants associated to the singularities of a variety in characteristic $0$ and characteristic $p$. We show that the optimal value of the linear program (computed over the rationals) agrees with both the F-threshold and the log canonical threshold of the binomial edge ideal if the graph is a block graph or of König type. We conjecture that this linear program computes the log canonical threshold of the binomial edge ideal of any graph.
Our results resemble theorems on monomial ideals arising from hypergraphs due to Howald and others.
Topology of Cut Complexes of Graphs
Published in SIAM J. on Discrete Mathematics,Vol. 38 (2), 1630--1675 (2024)
• View Publication
• BIB
We define the $k$-cut complex of a graph $G$ with vertex set $V(G)$ to be the simplicial complex whose facets are the complements of sets of size $k$ in $V(G)$ inducing disconnected subgraphs of $G$. This generalizes the Alexander dual of a graph complex studied by Fröberg (1990), and Eagon and Reiner (1998). We describe the effect of various graph operations on the cut complex, and study its shellability, homotopy type and homology for various families of graphs, including trees, cycles, complete multipartite graphs, and the prism $K_n \times K_2$, using techniques from algebraic topology, discrete Morse theory and equivariant poset topology.
The Diameter of Sum Basic Equilibria Games
Published
• View Publication
• BIB
A graph $G$ of order $n$ is said to be a sum basic equilibrium if and only if for every edge $uv$ from $G$ and any node $v'$ from $G$, when performing the swap of the edge $uv$ for the edge $uv'$, the sum of the distances from $u$ to all the other nodes is not strictly reduced. This concept lies in the heart of the so-called network creation games, where the central problem is to understand the structure of the resulting equilibrium graphs, and in particular, how well they globally minimize the diameter. It was shown in [Alon, Demaine, Hajiaghayi, Leighton, SIAM J. Discrete Math. 27(2), 2013] that the diameter of sum basic equilibria is $2^{O(\sqrt{\log n})}$ in general, and at most $2$ for trees. In this paper we show that the upper bound of $2$ can be extended to bipartite graphs, and that it also holds for some nonbipartite classes like block graphs and cactus graphs.
Graphical distances & inertia
We study the inertia of distance matrices of weighted graphs. Our novel congruence-based proof of the inertia of weighted trees extends to a proof for the inertia of weighted unicyclic graphs whose cycle is a triangle. Partial results are given on the inertia of other rationally weighted unicylic graphs.
Fractional eternal domination: securely distributing resources across a network
Published
• View Publication
• BIB
This paper initiates the study of fractional eternal domination in graphs, a natural relaxation of the well-studied eternal domination problem. We study the connections to flows and linear programming in order to obtain results on the complexity of determining the fractional eternal domination number of a graph $G$, which we denote $γ_{\,\textit{f}}^{\infty}(G)$. We study the behaviour of $γ_{\,\textit{f}}^{\infty}(G)$ as it relates to other domination parameters. We also determine bounds on, and in some cases exact values for, $γ_{\,\textit{f}}^{\infty}(G)$ when $G$ is a member of one of a variety of important graph classes, including trees, split graphs, strongly chordal graphs, Kneser graphs, abelian Cayley graphs, and graph products.
The Theory of Gene Family Histories
Published
• View Publication
• BIB
Most genes are part of larger families of evolutionary related genes. The history of gene families typically involves duplications and losses of genes as well as horizontal transfers into other organisms. The reconstruction of detailed gene family histories, i.e., the precise dating of evolutionary events relative to phylogenetic tree of the underlying species has remained a challenging topic despite their importance as a basis for detailed investigations into adaptation and functional evolution of individual members of the gene family. The identification of orthologs, moreover, is a particularly important subproblem of the more general setting considered here. In the last few years, an extensive body of mathematical results has appeared that tightly links orthology, a formal notion of best matches among genes, and horizontal gene transfer. The purpose of this chapter is the broadly outline some of the key mathematical insights and to discuss their implication for practical applications. In particular, we focus on tree-free methods, i.e., methods to infer orthology or horizontal gene transfer as well as gene trees, species trees and reconciliations between them without using \emph{a priori} knowledge of the underlying trees or statistical models for the inference of phylogenetic trees. Instead, the initial step aims to extract binary relations among genes.
Optimal trees of tangles: refining the essential parts
Published
• View Publication
• BIB
We combine the two fundamental fixed-order tangle theorems of Robertson and Seymour into a single theorem that implies both, in a best possible way.
We show that, for every $k \in \mathbb{N}$, every tree-decomposition of a graph $G$ which efficiently distinguishes all its $k$-tangles can be refined to a tree-decomposition whose parts are either too small to be home to a $k$-tangle, or as small as possible while being home to a $k$-tangle.
A Persistence-Driven Edit Distance for Trees with Abstract Weights
In this work we define a novel edit distance for trees considered with some abstract weights on the edges. The metric is driven by the idea of considering trees as topological summaries in the context of persistence and topological data analysis. Several examples related to persistent sets are presented. The metric can be computed with a dynamical binary linear programming approach. This framework is applied and further studied in other works focused on merge trees, where the problems of stability and merge trees estimation are also assessed.
Computing Circuit Polynomials in the Algebraic Rigidity Matroid
We present an algorithm for computing circuit polynomials in the algebraic rigidity matroid $\mathcal{A}(\text{CM}_n)$ associated to the Cayley-Menger ideal CM$_n$ for $n$ points in 2D. It relies on combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in this ideal. We show that every rigidity circuit has a construction tree from K4 graphs based on this operation. Our algorithm performs an algebraic elimination guided by such a construction tree, and uses classical resultants, factorization and ideal membership. To highlight its effectiveness, we implemented the algorithm in Mathematica: it took less than 15 seconds on an example where a Gröbner Basis calculation took 5 days and 6 hrs. Additional speed-ups are obtained using non-$K_4$ generators of the Cayley-Menger ideal and simple variations on our main algorithm.
Connectivity keeping trees in 3-connected bipartite graphs with girth conditions
Luo, Tian and Wu conjectured in 2022 that for any tree $T$ with bipartition $X$ and $Y$, every $k$-connected bipartite graph $G$ with $δ(G) \geq k + t$, where $t = \max\{|X|,|Y |\}$, contains a subtree $T' \cong T$ such that $G-V(T')$ remains $k$-connected. This conjecture has been proved for caterpillars and spiders when $k\leq 3$; and for paths with odd order. In this paper, we prove that this conjecture holds if $G$ is a bipartite graph with $g(G)\geq diam(T)-1$ and $k\leq 3$, where $g(G)$ and $diam(T)$ denote the girth of $G$ and the diameter of $T$, respectively.
Powers of vertex cover ideals of Simplicial Trees
Published
• View Publication
• BIB
In $2011$, Herzog, Hibi, and Ohsugi conjectured that if $J$ is the cover ideal of a chordal graph, then $J^s$ is componentwise linear for all $s \ge 1.$ In 2022, Hà and Tuyl considered objects more general than chordal graphs and posed the following problem: Let $J(Δ)$ be the cover ideal of a simplicial tree $Δ.$ Is it true that $J(Δ)^s$ is componentwise linear for all $s \geq 1$? In this article, we give an affirmative answer to this problem.
Quantifying the difference between phylogenetic diversity and diversity indices
Published
• View Publication
• BIB
Phylogenetic diversity is a popular measure for quantifying the biodiversity of a collection $Y$ of species, while phylogenetic diversity indices provide a way to apportion phylogenetic diversity to individual species. Typically, for some specific diversity index, the phylogenetic diversity of $Y$ is not equal to the sum of the diversity indices of the species in $Y.$ In this paper, we investigate the extent of this difference for two commonly-used indices: Fair Proportion and Equal Splits. In particular, we determine the maximum value of this difference under various instances including when the associated rooted phylogenetic tree is allowed to vary across all root phylogenetic trees with the same leaf set and whose edge lengths are constrained by either their total sum or their maximum value.