Construction of excited multi-solitons for the focusing 4D cubic wave equation

Consider the focusing 4D cubic wave equation $$\partial_{tt}u-\Delta u-u^{3}=0,\quad \mbox{on}\ (t,x)\in [0,\infty)\times \mathbb{R}^{4}.$$ The main result states the existence in energy space $\dot{H}^{1}\times L^{2}$ of multi-solitary waves where each traveling wave is generated by Lorentz transform from a specific excited state, with different but collinear Lorentz speeds. The specific excited state is deduced from the non-degenerate sign-changing state constructed in Musso-Wei [34]. The proof is inspired by the techniques developed for the 5D energy-critical wave equation and the nonlinear Klein-Gordon equation in a similar context by Martel-Merle [30] and C\^ote-Martel [6]. The main difficulty originates from the strong interactions between solutions in the 4D case compared to other dispersive and wave-type models. To overcome the difficulty, a sharp understanding of the asymptotic behavior of the excited states involved and of the kernel of their linearized operator is needed.