The $m$-step solvable anabelian geometry of mixed-characteristic local fields

Let $K$ be a mixed-characteristic local field. For an integer $m\ge 0$, we denote by $K^m\mathrm{/}K$ the maximal $m$-step solvable extension of $K$, and by $G_K^m$ the maximal $m$-step solvable quotient of the absolute Galois group $G_K$ of $K$. We regard $G_K$ and its quotients as filtered profinite groups via the respective upper-numbering ramification filtrations. It is known from the previous result due to Mochizuki that the isomorphism class of $K$ is determined by the isomorphism class of the filtered profinite group $G_K$. In this paper, we prove that the isomorphism class of $K$ is determined by the isomorphism class of the maximal $2$-step solvable quotient $G_K^2$ as a filtered profinite group, and furthermore, that $K^m\mathrm{/}K$ is determined functorially by the filtered profinite group $G_K^{m+2}$ (resp. $G_K^{m+3}$) for $m\ge 2$ (resp. $m=0,1$).