c539c8d6324948bc.tex
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: