Minimal proximal definable flows over the $p$-adics

Let $G$ be a definable group in an NIP theory. We prove that every minimal proximal definable $G$-flow is strongly proximal. Consequently, the universal minimal proximal definable $G$-flow ${\mathrm{\Pi }}^{\mathrm{d}\mathrm{e}\mathrm{f}}(G)$ coincides with the minimal strongly proximal definable $G$-flow ${\mathrm{\Pi }}_{\mathrm{s}}^{\mathrm{d}\mathrm{e}\mathrm{f}}(G)$. Furthermore, for a $p$-adic definable group $G$, we can compute ${\mathrm{\Pi }}^{\mathrm{d}\mathrm{e}\mathrm{f}}(G)$ explicitly. We show that ${\mathrm{\Pi }}^{\mathrm{d}\mathrm{e}\mathrm{f}}(G)$ is exactly ${\mathrm{\Pi }}^{\mathrm{d}\mathrm{e}\mathrm{f}}(S)$ where $S$ is the semisimple part of the definably amenable-semisimple decomposition of $G$. In addition, ${\mathrm{\Pi }}^{\mathrm{d}\mathrm{e}\mathrm{f}}(S)\cong S_{\mathcal{F}}^{\ast }({\mathbb{Q}}_p)$, the space of types of full dimension on $\mathbf{F}$, where $\mathcal{F}=\mathbf{F}({\mathbb{Q}}_p)$ for a flag variety $\mathbf{F}$ constructed from $S$.