Random embeddings of bounded degree trees with optimal spread

Paul Bastide,Clément Legrand-Duchesne,Alp Müyesser
2024-09-11
Abstract:A seminal result of Komlós, Sárközy, and Szemerédi states that any n-vertex graph G with minimum degree at least (1/2 + {\alpha})n contains every n-vertex tree T of bounded degree. Recently, Pham, Sah, Sawhney, and Simkin extended this result to show that such graphs G in fact support an optimally spread distribution on copies of a given T, which implies, using the recent breakthroughs on the Kahn-Kalai conjecture, the robustness result that T is a subgraph of sparse random subgraphs of G as well. Pham, Sah, Sawhney, and Simkin construct their optimally spread distribution by following closely the original proof of the Komlós-Sárközy-Szemerédi theorem which uses the blow-up lemma and the Szemerédi regularity lemma. We give an alternative, regularity-free construction that instead uses the Komlós-Sárközy-Szemerédi theorem (which has a regularity-free proof due to Kathapurkar and Montgomery) as a black-box. Our proof is based on the simple and general insight that, if G has linear minimum degree, almost all constant sized subgraphs of G inherit the same minimum degree condition that G has.
Combinatorics
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the distribution optimization problem of randomly embedding bounded - degree trees in graphs. Specifically, the goal of the paper is to provide a new method to construct an optimal distribution, so that a given bounded - degree tree \(T\) can be randomly embedded into a graph \(G\) with sufficient minimum - degree conditions, and this distribution has good "spread" (i.e., \(O(1/n)\)-spread). Here, "spread" means that for each vertex of \(T\), its embedding position in \(G\) is uniformly random, similar to a random mapping from \(V(T)\) to \(V(G)\). ### Background and Motivation of the Paper 1. **Review of Classical Results**: - **Komlós - Sárközy - Szemerédi Theorem**: For any \(n\)-vertex graph \(G\), if the minimum degree of \(G\) is at least \((1/2+\alpha)n\), then \(G\) contains every \(n\)-vertex tree \(T\) whose maximum degree does not exceed \(\Delta\). - **Extension by Pham, Sah, Sawhney, and Simkin**: They further proved that such a graph \(G\) actually supports an optimal distribution, so that the copies of \(T\) in \(G\) are uniformly randomly distributed. This result utilizes the latest breakthrough of the Kahn - Kalai conjecture, indicating that \(T\) is also a subgraph of a sparse random subgraph. 2. **Limitations of Existing Methods**: - Existing methods usually rely on Szemerédi's Regularity Lemma and the blow - up lemma. Although these tools are powerful, they are complex and have poor constant - dependence relationships. ### Main Contributions of the Paper 1. **New Construction Method**: - This paper proposes a new method that does not rely on the Regularity Lemma and directly uses the Komlós - Sárközy - Szemerédi Theorem as a black - box tool. This method not only simplifies the proof process but also has a better constant - dependence relationship. 2. **Key Idea**: - If the minimum degree of graph \(G\) is linear, then almost all subgraphs of \(G\) of a fixed size inherit the same minimum - degree condition. This observation is the key to constructing the optimal distribution. 3. **Technical Details**: - **Tree Splitting**: By splitting the tree \(T\) into several small sub - trees, each sub - tree can be independently embedded into a random subset of \(G\). - **Random Partition**: Randomly partition the vertex set of \(G\) to ensure that the minimum - degree condition of each subset is still satisfied. - **Random Matching**: Adjust the size of the subsets through random matching to ensure that each sub - tree can be correctly embedded into the corresponding subset. ### Future Research Directions - **Wider Applications**: The authors believe that their method can be applied to other types of sub - graph embedding problems, such as directed trees, hyper - trees, etc. - **Further Generalization**: Explore a larger class of target graphs, so that Dirac - type theorems can be generalized to more general situations. ### Summary This paper successfully constructs an optimal distribution by proposing a new method that does not rely on the Regularity Lemma, so that bounded - degree trees can be randomly embedded in graphs with sufficient minimum - degree conditions. This method not only simplifies the proof process but also improves the efficiency of the constant - dependence relationship, providing new ideas for further research in related fields.