English
Related papers

Related papers: Contractible independence complexes of trees

200 papers

Let $G$ be a $3$-connected graph with a $3$-connected (or sufficiently small) simple minor $H$. We establish that $G$ has a forest $F$ with at least $\left\lceil(|G|-|H|+1)/2\right\rceil$ edges such that $G/e$ is $3$-connected with an…

Combinatorics · Mathematics 2021-01-14 João Paulo Costalonga

Let $T$ be a tree, a vertex of degree one is a leaf of $T$ and a vertex of degree at least three is a branch vertex of $T$. For two distinct vertices $u,v$ of $T$, let $P_T[u,v]$ denote the unique path in $T$ connecting $u$ and $v.$ For a…

Combinatorics · Mathematics 2021-12-09 Pham Hoang Ha

We show that graphs generated by collapsible pushdown systems of level 2 are tree-automatic. Even if we allow epsilon-contractions and reachability predicates (with regular constraints) for pairs of configurations, the structures remain…

Logic in Computer Science · Computer Science 2015-07-01 Alexander Kartzow

For an undirected tree with $n$ edges labelled by single letters, we consider its substrings, which are labels of the simple paths between pairs of nodes. We prove that there are $O(n^{1.5})$ different palindromic substrings. This solves an…

Data Structures and Algorithms · Computer Science 2020-11-30 Paweł Gawrychowski , Tomasz Kociumaka , Wojciech Rytter , Tomasz Waleń

We consider the biased random walk on a tree constructed from the set of finite self-avoiding walks on a lattice, and use it to construct probability measures on infinite self-avoiding walks. The limit measure (if it exists) obtained when…

Probability · Mathematics 2019-12-25 Vincent Beffara , Cong Bang Huynh

We consider the set $\Pi ^*_d$ of monic polynomials $Q_d=x^d+\sum _{j=0}^{d-1}a_jx^j$, $x\in \mathbb{R}$, $a_j\in \mathbb{R}^*$, having $d$ distinct real roots, and its subsets defined by fixing the signs of the coefficients $a_j$. We show…

Classical Analysis and ODEs · Mathematics 2022-03-16 Vladimir Petrov Kostov

Let T be a tree with an action of a finitely generated group G. Given a suitable equivalence relation on the set of edge stabilizers of T (such as commensurability, co-elementarity in a relatively hyperbolic group, or commutation in a…

Group Theory · Mathematics 2016-01-20 Vincent Guirardel , Gilbert Levitt

This paper will show when a rooted path tree of a finite directed rooted graph has only finitely many orbits under the action of its undirected automorphism group (i.e. when it is cocompact). This will allow us to specify which trees are…

Combinatorics · Mathematics 2025-09-30 Roman Gorazd

We show that graphs generated by collapsible pushdown systems of level 2 are tree-automatic. Even when we allow $\epsilon$-contractions and add a reachability predicate (with regular constraints) for pairs of configurations, the structures…

Logic · Mathematics 2010-02-03 Alexander Kartzow

A $\Lambda$-tree is a $\Lambda$-metric space satisfying three axioms (1), (2) and (3). We give a characterization of those ordered abelian groups $\Lambda$ for which axioms (1) and (2) imply axiom (3). As a special case, it follows that for…

Group Theory · Mathematics 2024-07-31 Raphael Appenzeller

We present a graphical criterion for reading dependencies from the minimal directed independence map G of a graphoid p when G is a polytree and p satisfies composition and weak transitivity. We prove that the criterion is sound and…

Artificial Intelligence · Computer Science 2012-06-26 Jose M. Pena

In this paper, we show how the notion of tree dimension can be used in the verification of constrained Horn clauses (CHCs). The dimension of a tree is a numerical measure of its branching complexity and the concept here applies to Horn…

Logic in Computer Science · Computer Science 2018-03-07 Bishoksan Kafle , John P. Gallagher , Pierre Ganty

We characterize unicyclic graphs that are singular using the support of the null space of their pendant trees. From this, we obtain closed formulas for the independence and matching numbers of a unicyclic graph, based on the support of its…

Spanning trees $T_1,T_2, \dots,T_k$ of $G$ are $k$ completely independent spanning trees if, for any two vertices $u,v\in V(G)$, the paths from $u$ to $v$ in these $k$ trees are pairwise edge-disjoint and internal vertex-disjoint. Hasunuma…

Combinatorics · Mathematics 2025-02-18 Jie Ma , Junqing Cai

We study the problem of learning a node-labeled tree given independent traces from an appropriately defined deletion channel. This problem, tree trace reconstruction, generalizes string trace reconstruction, which corresponds to the tree…

Computational Complexity · Computer Science 2020-09-22 Sami Davies , Miklos Z. Racz , Cyrus Rashtchian

In this paper we construct spanning trees in hyperbolic graphs that represent their hyperbolic compactification in a good way: so that the tree has a bounded number of distinct rays to each boundary point. The bound depends only on the…

Combinatorics · Mathematics 2013-01-31 Matthias Hamann

The independence number of a tree decomposition is the maximum of the independence numbers of the subgraphs induced by its bags. The tree-independence number of a graph is the minimum independence number of a tree decomposition of it.…

Data Structures and Algorithms · Computer Science 2025-09-11 Clément Dallard , Fedor V. Fomin , Petr A. Golovach , Tuukka Korhonen , Martin Milanič

We exhibit an identity of abstract simplicial complexes between the well-studied complex of trees and the reduced minimal nested set complex of the partition lattice. We conclude that the order complex of the partition lattice can be…

Combinatorics · Mathematics 2007-05-23 Eva Maria Feichtner

We give an amalgamation construction of free multiple trees with a strongly transitive automorphism group. The construction shows that any partial codistance function on a tuple of finite trees can be extended to yield multiple trees.

Group Theory · Mathematics 2011-10-26 Katrin Tent

The number of stable sets of cardinality $k$ in graph $G$ is the $k$-th coefficient of the independence polynomial of $G$ (I. Gutman and F. Harary, 1983). In 1990, Y. O. Hamidoune proved that for any claw-free graph, its independence…

Combinatorics · Mathematics 2007-05-23 Vadim E. Levit , Eugen Mandrescu