Table of Contents
Fetching ...

Caterpillars with $n$ vertices are reconstructible from subgraphs with at most $n/2+1$ vertices

Alexandr V. Kostochka, Zishen Qu, Maddy Ritter, Douglas B. West

TL;DR

This work proves that for n ≥ 48, every n-vertex caterpillar is reconstructible from its m-deck when m > n/2, with the bound shown to be sharp via explicit examples. The authors build a two-pronged approach: a low-diameter analysis that recovers the spine and degree sequence from small-spine subgraphs, and a high-diameter strategy that anchors the reconstruction with high-degree vertices using maximal batons and tritons, supported by a robust counting framework. A sequence of case analyses—covering scenarios with four or more maximum-degree vertices, three or two maximum-degree vertices, and the unique-maximum-degree-vertex, as well as cases with at most three branch vertices—establishes reconstruction across the caterpillar family. The results advance the broader reconstruction program for trees, providing a sharp, structure-specific confirmation of Nydl’s conjecture for caterpillars and highlighting powerful deck-based counting techniques (batons, tritons, level-pairs) for spine-structure recovery.

Abstract

The $\textit{$m$-deck}$ of an $n$-vertex graph is the multiset of unlabeled induced subgraphs with $m$ vertices. Caterpillars are trees in which all nonleaf vertices lie on a single path. We prove for $n\ge48$ that any $n$-vertex caterpillar is reconstructible (up to isomorphism) from its $m$-deck when $m>n/2$. The result is sharp, since for $n\ge6$ there are two $n$-vertex caterpillars having the same $\lfloor n/2 \rfloor$-deck. Our result proves the special case for caterpillars of a 1990 conjecture by Nýdl about trees.

Caterpillars with $n$ vertices are reconstructible from subgraphs with at most $n/2+1$ vertices

TL;DR

This work proves that for n ≥ 48, every n-vertex caterpillar is reconstructible from its m-deck when m > n/2, with the bound shown to be sharp via explicit examples. The authors build a two-pronged approach: a low-diameter analysis that recovers the spine and degree sequence from small-spine subgraphs, and a high-diameter strategy that anchors the reconstruction with high-degree vertices using maximal batons and tritons, supported by a robust counting framework. A sequence of case analyses—covering scenarios with four or more maximum-degree vertices, three or two maximum-degree vertices, and the unique-maximum-degree-vertex, as well as cases with at most three branch vertices—establishes reconstruction across the caterpillar family. The results advance the broader reconstruction program for trees, providing a sharp, structure-specific confirmation of Nydl’s conjecture for caterpillars and highlighting powerful deck-based counting techniques (batons, tritons, level-pairs) for spine-structure recovery.

Abstract

The m of an -vertex graph is the multiset of unlabeled induced subgraphs with vertices. Caterpillars are trees in which all nonleaf vertices lie on a single path. We prove for that any -vertex caterpillar is reconstructible (up to isomorphism) from its -deck when . The result is sharp, since for there are two -vertex caterpillars having the same -deck. Our result proves the special case for caterpillars of a 1990 conjecture by Nýdl about trees.

Paper Structure

This paper contains 10 sections, 47 theorems, 89 equations, 4 figures.

Key Result

Theorem 1.3

For $n\ge2\ell+1$, except when $(n,\ell)=(5,2)$, the family of $n$-vertex acyclic graphs is $\ell$-recognizable.

Figures (4)

  • Figure 1: The $j,j'$-triton $B_{j,j':a,b,c}$
  • Figure 2: Caterpillars with $r=8$
  • Figure 3: Notation for Section \ref{['3max']}
  • Figure 4: Only one visible length of $R'$-baton

Theorems & Definitions (101)

  • Conjecture 1.1: Manvel M69M74
  • Conjecture 1.2: N90
  • Theorem 1.3: KNWZa
  • Theorem 1.4
  • Lemma 1.5
  • proof
  • Theorem 1.6
  • proof
  • Definition 2.1
  • Theorem 2.2
  • ...and 91 more