在这篇后续论文中，我们再次研究了由$\varphi_{d, c}(z) = z^d + c$（对所有$c, z \in \mathcal{O}_{K}$）定义的多项式映射的不动点集与系数$c$之间的意外联系，其中$K$为任意次数$n > 1$的数域，且$d > 2$为整数。如同文献\cite{BK1}所述，我们的目标是研究受算术统计领域令人兴奋进展启发的计数问题，部分灵感也来源于Narkiewicz关于实数域$K$周期点的点计数结果。通过这些研究，我们证明了对于任意素数$p \geq 3$以及任意整数$\ell \geq 1$，当素理想$p\mathcal{O}_{K}$对应的主理想域$K$为任意次数$n \geq 2$的实代数数域时，映射$\varphi_{p^{\ell}, c}$的模$p\mathcal{O}_{K}$下不同的积分不动点的平均数量在$p$趋于无穷时为$3$或$0$。进一步受到Benedetto关于任意给定素数$p \geq 5$和$\ell \in \mathbb{Z}^{+}$的算术动力学中$\varphi_{(p-1)^{\ell}, c}$的$K$-有理周期点计数结果的启发，我们还无条件地证明了当$p$趋于无穷时，映射$\varphi_{(p-1)^{\ell}, c}$的模$p\mathcal{O}_{K}$下的不同积分不动点的平均数量为$1$或$2$或$0$，其中$K$为任意次数$n \geq 2$的数域（不一定为实数域）。最后，我们将算术统计中的计数与统计结果应用于推导出若干计数和统计结果；其中包括利用Lemke-Thorne最近的数域计数结果，对$\mathbb{Q}$上次数为$m := np^{\ell}$的数域$K_{f}$的数量进行上界估计，并且类似地对$\mathbb{Q}$上次数为$r := n(p-1)^{\ell}$的数域$L_{g}$的数量进行上界估计。

In this follow-up paper, we again study a surprising connection between the set of fixed points of a polynomial map $\varphi_{d, c}$ defined by $\varphi_{d, c}(z) = z^d + c$ for all $c, z \in \mathcal{O}_{K}$ and the coefficient $c$, where $K$ is any number field of degree $n>1$ and $d>2$ an integer. As in \cite{BK1}, we wish to study counting problems which are inspired by exciting advances in arithmetic statistics, and also partly by a point-counting result of Narkiewicz on real $K$-periodic points of any $\varphi_{p^{\ell}, c}$ in arithmetic dynamics. In doing so, we prove that for any given prime integer $p\geq 3$ and any integer $\ell \geq 1$, the average number of distinct integral fixed points of any $\varphi_{p^{\ell}, c}$ modulo a prime ideal $p\mathcal{O}_{K}$ where $K$ is a real algebraic number field of any degree $n\geq 2$ is $3$ or $0$, as $p$ tends to infinity. Motivated further by a $K$-rational periodic point-counting result of Benedetto on any $\varphi_{(p-1)^{\ell}, c}$ for any given prime integer $p\geq 5$ and $\ell \in \mathbb{Z}^{+}$ in arithmetic dynamics, we then also prove unconditionally that the average number of distinct integral fixed points of any $\varphi_{(p-1)^{\ell}, c}$ modulo a prime ideal $p\mathcal{O}_{K}$ where $K$ is any number field (not necessarily real) of degree $n\geq 2$ is $1$ or $2$ or $0$, as $p$ tends to infinity. Finally, we then apply counting and statistical results from arithmetic statistics to then deduce here several counting and statistical results; and among them includes applying here a more recent number field-counting result of Oliver Lemke-Thorne to bound above the number of number fields $K_{f}$ of degree $m:= np^{\ell}$ over $\mathbb{Q}$ with bounded discriminant; and similarly also bound above the number of number fields $L_{g}$ of degree $r:= n(p-1)^{\ell}$ over $\mathbb{Q}$ with bounded discriminant.