Abstract:Answering a question left open in previous research, we study the enumeration of poles of the zeta function $\varphi(s)$ associated to an integer linear recurrence sequence $\{a_n\}$. This enumeration can count poles more than once, and we prove that this happens if and only if the module of relations of the roots of the recurrence is nontrivial. A review of the existing literature on the module of relations yields a series of sufficient conditions for the enumeration of poles of $\varphi(s)$ to be injective. All of this is illustrated by examples of both cases.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the pole enumeration problem of the ζ - function of integer linear recurrence sequences. Specifically, the author studies the pole distribution of the ζ - function $\varphi(s)$ associated with the integer linear recurrence sequence $\{a_n\}$. In high - order recurrence sequences, these poles may repeat at different positions, and the author's goal is to determine the conditions for such repetitions. ### Specific Problem Description 1. **Conditions for Pole Repetitions**: The author attempts to answer a question left over from previous research, namely, under what conditions the poles of the ζ - function $\varphi(s)$ will repeat. More specifically, whether the repetition of poles is related to the module of relations of the roots of the recurrence sequence. 2. **Uniqueness of Poles**: The author hopes to find a necessary and sufficient condition such that the poles of the ζ - function $\varphi(s)$ are unique (i.e., not repeated). This involves characterizing the injectivity of the pole mapping $\iota$. ### Main Contributions - **Theorem 4.4**: The author proves that the pole mapping $\iota$ is injective if and only if the module of relations of the roots of the recurrence sequence is trivial, that is, the relation module $R_\alpha\cap H_0 = \{0\}$. - **Sufficient Conditions**: By reviewing the existing literature, the author gives several sufficient conditions to ensure the triviality of the relation module, for example: - When $\alpha$ is a Pisot number; - When the degree $r$ of the recurrence sequence is a prime number; - When the Galois group is the full symmetric group or the alternating group; - When the Galois group acts 2 - homogeneously on the conjugate roots. ### Applications and Significance This research not only provides a theoretical basis for understanding the ζ - function of high - order recurrence sequences but also paves the way for further research on other types of recurrence sequences and their related analytical properties. In addition, it also reveals the profound connection between the algebraic structure of the roots of the recurrence sequence and the pole distribution of its ζ - function. ### Summary The core problem of this paper is to study the uniqueness and the conditions for the repetition of the poles of the ζ - function of integer linear recurrence sequences, and by introducing the concept of the module of relations of the roots of the recurrence sequence, a necessary and sufficient condition for the uniqueness of the poles is given.

A connection between the poles of the zeta function of a recurrence sequence and the module of relations of its roots

La relation entre $ζ(4n-1)$, $ζ(2p)$ et $ζ(4n-1-2p)$

Archimedean zeta functions, singularities, and Hodge theory

On a problem inspired by Descartes' rule of signs

A modular relation involving non-trivial zeros of the Dedekind zeta function, and the generalized Riemann hypothesis

The modularity of Siegel's zeta functions

An effective Linear Independence conjecture for the zeros of the Riemann zeta function and applications

The zeta function of zeros and poles of a meromorphic function, the criterion for the absence of zeros, and its application to sums of Cauchy kernels

Sufficient conditions for a problem of Polya

Dynamics of endomorphisms of algebraic groups

Linear relations of Ohno sums of multiple zeta values

Deep congruences + the Brauer-Nesbitt theorem

Well-rounded zeta-function of planar arithmetic lattices

Functional Equations and Pole Structure of the Bartholdi Zeta Function

On the behavior of multiple zeta-functions with identical arguments on the real line

A heuristic derivation of linear recurrence relations for $ζ'(-2k)$ and $ζ(2k+1)$

Non-holomorphic modular forms from zeta generators

On the Zeros of Certain Entire Functions

Discrete $Ω$-results for the Riemann zeta function

Modular resurgent structures