$3435 = 3^3 + 4^4 + 3^3 + 5^5$ is an example of a perfect digit-to-digit invariant.
Fact: The number of PDDIs is finite for any given base; in particular, for base $10$.
Question: Working over base $10$, fix an integer $n \in \mathbb{Z}$ and compute the sum $S_k$ as done above for $3435$ for every positive integer $k$. Must the union $\{k: S_k - n = k\} \cup \{k: S_k + n = k\}$ be finite?
(Note that the fact above says this union is finite when $n = 0$.)