English
Related papers

Related papers: Canonical trees of tree-decompositions

200 papers

The shrinking operation converts a hypergraph into a graph by choosing, from each hyperedge, two endvertices of a corresponding graph edge. A hypertree is a hypergraph which can be shrunk to a tree on the same vertex set. Klimo\v{s}ov\'{a}…

Combinatorics · Mathematics 2025-12-09 Karolína Hylasová , Tomáš Kaiser

In an early work from 1896, Maschke established the complete list of all finite planar Cayley graphs. This result initiated a long line of research over the next century, aiming at characterizing in a similar way all planar infinite Cayley…

Combinatorics · Mathematics 2025-08-01 Ugo Giocanti

In 1990, Thomas proved that every graph admits a tree decomposition of minimum width that additionally satisfies a certain vertex-connectivity condition called leanness [A Menger-like property of tree-width: The finite case. Journal of…

For some $k \in \mathbb{Z}_{\geq 0}\cup \infty$, we call a linear forest $k$-bounded if each of its components has at most $k$ edges. We will say a $(k,\ell)$-bounded linear forest decomposition of a graph $G$ is a partition of $E(G)$ into…

Combinatorics · Mathematics 2023-01-30 Rutger Campbell , Florian Hörsch , Benjamin Moore

In matching theory, one of the most fundamental and classical branches of combinatorics, {\em canonical decompositions} of graphs are powerful and versatile tools that form the basis of this theory. However, the abilities of the known…

Combinatorics · Mathematics 2017-08-04 Nanao Kita

We study higher-dimensional analogues of graph-theoretic trees within the class of pure n-simplicial complexes. Focusing on the case m = n-1 in Dewdney's (m, n)-tree framework, we introduce refined notions of path and circuit sequences that…

Combinatorics · Mathematics 2026-02-24 Gaurav Kottari , Niteesh Sahni , Qazi J. Azhad

Bojanczyk and Pilipczuk showed in their celebrated article "Definability equals recognizability for graphs of bounded treewidth" (LICS 2016) that monadic second-order logic can define tree-decompositions in graphs of bounded treewidth. This…

Logic in Computer Science · Computer Science 2021-06-09 Julien Grange

This paper proves the reconstruction conjecture for graphs which are isomorphic to the cube of a tree. The proof uses the reconstructibility of trees from their peripheral vertex deleted subgraphs. The main result follows from (i)…

Discrete Mathematics · Computer Science 2012-07-10 S. K. Gupta , Akash Khandelwal

End-spaces of infinite graphs naturally generalise the Freudenthal boundary and sit at the interface between graph theory, geometric group theory and topology. Our main result is that every end-space can topologically be represented by a…

Combinatorics · Mathematics 2024-09-02 Jan Kurkofka , Max Pitz

A graph is chordal if it contains no induced cycle of length four or more. While finite chordal graphs are precisely those admitting tree-decompositions into cliques, this fails for infinite graphs. We establish two results extending the…

Combinatorics · Mathematics 2026-03-26 Max Pitz , Lucas Real , Roman Schaut

We provide a finite equational presentation of graphs of treewidth at most three, solving an instanceof an open problem by Courcelle and Engelfriet. We use a syntax generalising series-parallel expressions, denoting graphs with a small…

Logic in Computer Science · Computer Science 2025-01-23 Amina Doumane , Samuel Humeau , Damien Pous

There are many intriguing questions in extremal graph theory that are well-understood in the undirected setting and yet remain elusive for digraphs. A natural instance of such a problem was recently studied by Hons, Klimo\v{s}ov\'{a},…

Combinatorics · Mathematics 2025-05-28 Micha Christoph , Raphael Steiner

Given a graph or a matroid, a tree of tangles is a tree decomposition that displays the structure of the connectivity: every edge of the decomposition tree induces a separation, that is, a way to divide the graph or matroid into two parts;…

Combinatorics · Mathematics 2023-02-06 Ann-Kathrin Elm

We here investigate on the complexity of computing the \emph{tree-length} and the \emph{tree-breadth} of any graph $G$, that are respectively the best possible upper-bounds on the diameter and the radius of the bags in a tree decomposition…

Computational Complexity · Computer Science 2016-01-11 Guillaume Ducoffe , Sylvain Legay , Nicolas Nisse

We define and give explicit construction of the universal tree-graded space with a given collection of pieces. We apply that to proving uniqueness of asymptotic cones of relatively hyperbolic groups whose peripheral subgroups have unique…

Group Theory · Mathematics 2011-03-22 Denis Osin , Mark Sapir

In 2019, Dvo\v{r}\'{a}k asked whether every connected graph $G$ has a tree decomposition $(T, \mathcal{B})$ so that $T$ is a subgraph of $G$ and the width of $(T, \mathcal{B})$ is bounded by a function of the treewidth of $G$. We prove that…

Combinatorics · Mathematics 2023-02-24 Pablo Blanco , Linda Cook , Meike Hatzel , Claire Hilaire , Freddie Illingworth , Rose McCarty

We study analogues of Cartan decompositions of Lie groups for totally disconnected locally compact groups. It is shown using these decompositions that a large class of totally disconnected locally compact groups acting on trees and…

Group Theory · Mathematics 2025-03-28 Max Carter , George A. Willis

The pseudoforest version of the Strong Nine Dragon Tree Conjecture states that if a graph $G$ has maximum average degree $\text{mad}(G) = 2 \max_{H \subseteq G} \frac{e(G)}{v(G)}$ at most $2(k + \frac{d}{k+d+1})$, then it has a…

Combinatorics · Mathematics 2025-06-23 Sebastian Mies , Benjamin Moore , Evelyne Smith-Roberge

A typical decomposition question asks whether the edges of some graph $G$ can be partitioned into disjoint copies of another graph $H$. One of the oldest and best known conjectures in this area, posed by Ringel in 1963, concerns the…

Combinatorics · Mathematics 2020-02-25 Richard Montgomery , Alexey Pokrovskiy , Benny Sudakov

Let $\phi(x,y)$ be a continuous function, smooth away from the diagonal, such that, for some $\alpha>0$, the associated generalized Radon transforms \begin{equation} \label{Radon} R_t^{\phi}f(x)=\int_{\phi(x,y)=t} f(y) \psi(y)…

Classical Analysis and ODEs · Mathematics 2025-04-22 Allan Greenleaf , Alex Iosevich , Krystal Taylor