English
Related papers

Related papers: Collapsible Pushdown Graphs of Level 2 are Tree-Au…

200 papers

We show that the Hrushovski-\fraisse limit of certain classes of trees lead to strictly superstable theories of various U-ranks. In fact, for each $ \alpha\in\omega+1\backslash\{0\} $ we introduce a strictly superstable theory of U-rank $…

Logic · Mathematics 2025-10-16 Ali N. Valizadeh , Massoud Pourmahdian

We prove several results about chordal graphs and weighted chordal graphs by focusing on exposed edges. These are edges that are properly contained in a single maximal complete subgraph. This leads to a characterization of chordal graphs…

Combinatorics · Mathematics 2018-08-16 Jared Culbertson , Dan P. Guralnik , Peter F. Stiller

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

Much information about a graph can be obtained by studying its spanning trees. On the other hand, a graph can be regarded as a 1-dimensional cell complex, raising the question of developing a theory of trees in higher dimension. As observed…

Combinatorics · Mathematics 2015-06-24 Art M. Duval , Caroline J. Klivans , Jeremy L. Martin

Deterministic graph grammars generate regular graphs, that form a structural extension of configuration graphs of pushdown systems. In this paper, we study a probabilistic extension of regular graphs obtained by labelling the terminal arcs…

Formal Languages and Automata Theory · Computer Science 2010-11-02 Nathalie Bertrand , Christophe Morvan

Commability is the finest equivalence relation between locally compact groups such that $G$ and $H$ are equivalent whenever there is a continuous proper homomorphism $G \to H$ with cocompact image. Answering a question of Cornulier, we show…

Group Theory · Mathematics 2014-12-18 Mathieu Carette

A 2-tree is a graph that can be formed by starting with a triangle and iterating the operation of making a new vertex adjacent to two adjacent vertices of the existing graph. Leizhen Cai asked in 1995 whether every maximal planar graph…

Combinatorics · Mathematics 2022-03-22 Allan Bickle

We prove that a connected, locally finite, quasi-transitive graph which is quasi-isometric to a planar graph is necessarily accessible. This leads to a complete classification of the finitely generated groups which are quasi-isometric to…

Group Theory · Mathematics 2026-05-14 Joseph Paul MacManus

We present a new overlay, called the {\em Deterministic Decentralized tree} ($D^2$-tree). The $D^2$-tree compares favourably to other overlays for the following reasons: (a) it provides matching and better complexities, which are…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-03-09 G. S. Brodal , S. Sioutas , K. Tsichlas , C. Zaroliagis

Any algebraic connection on a vector bundle on a smooth complex algebraic curve determines an irregular class and in turn a fission tree at each puncture. The fission trees are the discrete data classifying the admissible deformation…

Algebraic Geometry · Mathematics 2025-12-02 Philip Boalch

We present a concept called the branch-depth of a connectivity function, that generalizes the tree-depth of graphs. Then we prove two theorems showing that this concept aligns closely with the notions of tree-depth and shrub-depth of graphs…

Combinatorics · Mathematics 2020-11-05 Matt DeVos , O-joung Kwon , Sang-il Oum

The question of shellability of complexes of directed trees was asked by R. Stanley. D. Kozlov showed that the existence of a complete source in a directed graph provides a shelling of its complex of directed trees. We will show that this…

Combinatorics · Mathematics 2012-04-17 Duško Jojić

We formalize an existing computability-theoretic method of presenting first-order structures whose domains have the cardinality of the continuum. Work using these methods until now has emphasized their topological properties. We shift the…

Logic · Mathematics 2025-11-07 Jason Block , Russell Miller

We prove that for a given deterministic top-down transducer with look-ahead it is decidable whether or not its translation is definable (1)~by a linear top-down tree transducer or (2)~by a tree homomorphism. We present algorithms that…

Formal Languages and Automata Theory · Computer Science 2021-06-01 Sebastian Maneth , Helmut Seidl , Martin Vu

The self-similar structure of the attracting subshift of a primitive substitution is carried over to the limit set of the repelling tree in the boundary of Outer Space of the corresponding irreducible outer automorphism of a free group.…

Group Theory · Mathematics 2012-08-13 Thierry Coulbois

Autostackability for finitely presented groups is a topological property of the Cayley graph combined with formal language theoretic restrictions, that implies solvability of the word problem. The class of autostackable groups is known to…

Group Theory · Mathematics 2015-06-02 Mark Brittenham , Susan Hermiller , Ashley Johnson

Let $T$ be a locally finite tree all of whose vertices have valency at least $6$. We classify, up to isomorphism, the closed subgroups of $\mathrm{Aut}(T)$ acting $2$-transitively on the set of ends of $T$ and whose local action at each…

Group Theory · Mathematics 2020-07-23 Nicolas Radu

The junction-tree representation provides an attractive structural property for organizing a decomposable graph. In this study, we present two novel stochastic algorithms, which we call the junction-tree expander and junction-tree collapser…

Statistics Theory · Mathematics 2021-02-16 Jimmy Olsson , Tetyana Pavlenko , Felix L. Rios

We show that several dichotomy theorems concerning the second level of the Borel hierarchy are special cases of the $\aleph_0$-dimensional generalization of the open graph dichotomy, which itself follows from the usual proof(s) of the…

Logic · Mathematics 2018-03-09 Raphaël Carroy , Benjamin D. Miller , Dániel T. Soukup

We study an abstract notion of tree structure which lies at the common core of various tree-like discrete structures commonly used in combinatorics: trees in graphs, order trees, nested subsets of a set, tree-decompositions of graphs and…

Combinatorics · Mathematics 2017-02-28 Reinhard Diestel