Abstract:Consider a graph $G$ with a long path $P$. When is it the case that $G$ also contains a long induced path? This question has been investigated in general as well as within a number of different graph classes since the 80s. We have recently observed in a companion paper (Long induced paths in sparse graphs and graphs with forbidden patterns, <a class="link-https" data-arxiv-id="2411.08685" href="https://arxiv.org/abs/2411.08685">arXiv:2411.08685</a>, 2024) that most existing results can recovered in a simple way by considering forbidden ordered patterns of edges along the path $P$. In particular we proved that if we forbid some fixed ordered matching along a path of order $n$ in a graph $G$, then $G$ must contain an induced path of order $(\log n)^{\Omega(1)}$. Moreover, we completely characterized the forbidden ordered patterns forcing the existence of an induced path of polynomial size. The purpose of the present paper is to completely characterize the ordered patterns $H$ such that forbidding $H$ along a path $P$ of order $n$ implies the existence of an induced path of order $(\log n)^{\Omega(1)}$. These patterns are star forests with some specific ordering, which we called constellations. As a direct consequence of our result, we show that if a graph $G$ has a path of length $n$ and does not contain $K_t$ as a topological minor, then $G$ contains an induced path of order $(\log n)^{\Omega(1/t \log^2 t)}$. The previously best known bound was $(\log n)^{f(t)}$ for some unspecified function $f$ depending on the Topological Minor Structure Theorem of Grohe and Marx (2015).

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: Given a graph $G$ containing a long path $P$, under what conditions does $G$ also contain a long induced path? Specifically, the authors explore whether, when the graph $G$ contains a long path, it can be guaranteed that there is a long enough induced path in this graph. This problem has been widely studied since the 1980s and has been explored in different graph classes. ### Main Problem The main problem of the paper is to fully characterize those ordered patterns $H$ such that prohibiting these patterns from appearing along the path $P$ can lead to the existence of an induced path of length $(\log n)^{\Omega(1)}$ in the graph $G$. Here, $n$ is the number of vertices of the path $P$. ### Specific Contributions 1. **Definitions and Properties**: - A specific type of ordered star forest, called "constellation", is introduced, and it is proved that prohibiting certain constellation patterns can ensure the existence of polylogarithmic induced paths in the graph. 2. **Improving Existing Results**: - By prohibiting certain specific ordered matchings, the paper improves the existing lower bound of the induced path from $\Omega((\log \log n)^{1/3})$ to $\Omega(\log n)^{\Omega(1/t\log^{2}t)}$, where $t$ is the parameter of the prohibited topological minor. 3. **Application Examples**: - As a direct application of the main result, the paper shows that if the graph $G$ contains a path of length $n$ and does not contain $K_{t}$ as a topological minor, then $G$ must contain an induced path of length $(\log n)^{\Omega(1/t\log^{2}t)}$. This simplifies and improves the previous results that relied on complex structure theorems. 4. **Upper Bound Construction**: - The paper also provides a construction method, showing that the existence of some non - constellation patterns does not lead to the appearance of polylogarithmic induced paths in the graph. In particular, they construct a 2 - degenerate graph that contains a path of length $n$ but does not have an induced path of length $\Omega((\log \log n)^{2})$. ### Summary By introducing new concepts (such as "constellation") and using the method of prohibiting patterns, this paper not only improves the existing results but also provides a new perspective to understand the problem of the existence of induced paths in graphs. This is of great significance for the fields of graph theory and combinatorial optimization.

Long induced paths and forbidden patterns: Polylogarithmic bounds