Abstract:The famous tree packing conjecture of Gyárfás from 1976 says that any sequence of trees $T_1,\ldots,T_n$ such that $|T_i|=i$ for each $i\in [n]$ packs into the complete $n$-vertex graph $K_n$. Packing even just the largest trees in such a sequence has proven difficult, with Bollobás drawing attention to this in 1995 by conjecturing that, for each $k$, if $n$ is sufficiently large then the largest $k$ trees in any such sequence can be packed into $K_n$. This has only been shown for $k\leq 5$, by Żak, despite many partial results and much related work on the full tree packing conjecture. We prove Bollobás's conjecture, by showing that, moreover, a linear number of the largest trees can be packed in the tree packing conjecture.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is an important variant of the Tree Packing Conjecture (TPC). Specifically, it is about how to pack the largest several trees in a sequence into a complete graph \(K_n\). The following is a summary of the core problems and background of the paper:
---
### Core Problems
The main goal of the paper is to prove a conjecture by Bollobás, that is, for any positive integer \(k\), when \(n\) is large enough, the largest \(k\) trees in the tree - packing sequence can be packed into the complete graph \(K_n\). Moreover, the author proves that not only \(k\) trees can be packed, but also a linear number of the largest trees (i.e., \(\Omega(n)\) trees) can be packed into \(K_n\).
---
### Background and Motivation
1. **Tree Packing Conjecture (TPC)**:
- Gyárfás proposed the TPC conjecture in 1976: For any tree sequence \(T_1, T_2,\ldots, T_n\), where the number of vertices of each tree \(T_i\) is \(i\), these trees can be packed into the complete graph \(K_n\).
- If such a packing exists, it is a perfect packing, also known as a decomposition.
2. **Existing Results**:
- For smaller sub - classes of trees (such as star - shaped trees or path - shaped trees), the TPC has been proven to be valid.
- Bollobás proved in 1983 that the smallest \(\lfloor n /\sqrt{2}\rfloor\) trees in the sequence can be packed into \(K_n\).
- Recent results show that the largest 5 trees in the sequence can be packed into \(K_n\) when \(n\) is large enough.
3. **Bollobás's Conjecture**:
- Bollobás proposed in 1995 that for any positive integer \(k\), when \(n\) is large enough, the largest \(k\) trees in the sequence can be packed into \(K_n\).
- This conjecture has only been verified for \(k\leqslant5\) before.
4. **New Challenges**:
- Packing the largest trees in the sequence is more difficult than packing the smallest trees.
- The goal of this paper is to prove Bollobás's conjecture and further extend it to a linear number of the largest trees.
---
### Main Contributions of the Paper
The paper solves the problem in the following ways:
1. **Main Theorem (Theorem 1.2)**:
- There exists a constant \(\varepsilon> 0\) such that for all \(n\), if \(T_{n - r+1},\ldots, T_n\) is a tree sequence, where the number of vertices of each tree \(T_i\) is \(i\) (\(n - r < i\leqslant n\)), then these \(r=\varepsilon n\) trees can be packed into \(K_n\).
- This means that the weak version of Bollobás's conjecture is correct.
2. **Method Overview**:
- Divide the trees into "star - shaped trees" (trees with many leaves) and "path - shaped trees" (trees with fewer leaves).
- Use different strategies to embed these two types of trees respectively.
- The key is to ensure that the number of right - neighbor vertices of each vertex in the embedding process satisfies specific conditions (Rules A1 and A2).
3. **Technical Details**:
- Use the step - by - step embedding method (Steps I, II, III) to gradually embed path - shaped trees.
- When embedding star - shaped trees, reserve edges to deal with high - degree vertices.
- Introduce the concept of "artificial ends" to better control the use of edges in the embedding process.