1: \begin{abstract}
2: We prove a general criterion for an irrational power series
3: $f(z)=\displaystyle\sum_{n=0}^{\infty}a_nz^n$ with coefficients in a number field $K$
4: to admit the unit circle as a natural boundary.
5: As an application, let $F$ be a finite field, let $d$ be a positive integer, let
6: $A\in M_d(F[t])$ be a $d\times d$-matrix with entries in $F[t]$, and let
7: $\zeta_A(z)$ be the Artin-Mazur zeta function associated to the
8: multiplication-by-$A$ map on the compact abelian group
9: $F((1/t))^d/F[t]^d$. We provide a complete characterization of when $\zeta_A(z)$
10: is algebraic and prove that it admits the circle of convergence
11: as a natural boundary in the transcendence case.
12: This is in stark contrast to the case of linear endomorphisms on
13: $\mathbb{R}^d/\mathbb{Z}^d$ in which Baake, Lau, and Paskunas prove that
14: the zeta function is always rational. Some connections to earlier work of
15: Bell, Byszewski, Cornelissen, Miles, Royals, and Ward are discussed. Our method uses a similar technique in recent work of Bell, Nguyen, and Zannier together with certain patching arguments involving linear recurrence sequences.
16: \end{abstract}
17: