He obtained the upper bounds for the
$p$
parts:
$\left{H}_{1}\right({X}_{r};\mathbb{Z}){}^{\left(p\right)}<A{{H}^{p}}^{E}{r}^{n}$
, where
$A,H,E,n$
are constants depending on a knot (Theorem 2 in [
25]
). This result implies that the
$p$
parts have trivial growth with respect to
$r$
for any primes (as against
${e}^{r}$
). Silver and Williams [
29]
reproved this trivial growth and generalized it under mild hypotheses, and their argument is helpful for us. As Silver and Williams mentioned, this fact implies that if
$\left{H}_{1}\right({X}_{r};\mathbb{Z}\left)\right$
dose not have the trivial growth then the sequence of them displays infinitely many prime numbers in the factorization of its terms. Furthermore, Riley also confirmed that almost all
$p$
parts actually increase and his upper bounds are best possible (except for the constant multiplier) with respect to
$r$
and also
$p$
(Theorem 3 in [
25]
).
Acknowledgment.
I would like to thank Dr. Kazuo Masuda for his helpful advice and valuable discussion, and also thank Dr. Sadayoshi Kojima, Dr. Hitoshi Murakami, Dr. Masanori Morishita and Dr. Gregor Masbaum for their kind reading my rough draft and giving helpful comments. And, I am grateful to Dr. Kunio Murasugi for his encouragement in this study and kind hospitality during my visiting University of Toronto, and also Dr. Miho Aoki for her helpful conversation on number theory. I also appreciate the seminor with Dr. Shoichi Nakajima, Dr. Shin Nakano and Dr. Mikami Hirasawa, which was helpful to meke this paper readable.
2 Preliminaries
2.1 Fourier analysis on number fields
The classical Fourier analysis is based on the Pontryagin duality between the integers
$\mathbb{Z}$
and the torus
$\mathbb{T}=\mathbb{R}/\mathbb{Z}$
. The modern Fourier analysis is extended over more general Pontryagin dualities. It is called harmonic analysis sometimes. In this section, we review the Pontryagin duality for the rational number field
$\mathbb{Q}$
and related topics.
2.1.1 Fourier analysis on LCA groups
Let
$G$
be a locally compact group. A collection
$\widehat{G}$
of all continuous homomorphisms
$\chi :G\to \mathbb{C}$
is called a dual group or character group if
$\left\chi \right(g\left)\right=1$
for all
$g\in G$
with pointwise multiplication and compactopen topology. The dual group
$\widehat{G}$
has the following properties. For more details, Rudin's book [
27]
is a standard exposition.
Proposition 1.
A locally compact abelian group
$G$
and its dual group
$\widehat{G}$
have the following properties.

(1)
$\widehat{G}$
is also a locally compact abelian group.

(2)
$G$
is compact if and only if
$\widehat{G}$
is discrete.

(3)
$\widehat{\widehat{G}}$
is naturally isomorphic to
$G$
, which is called the Pontryagin duality.

(4)
Let
$\langle g,\chi \rangle =\chi \left(g\right)$
for every
$g\in G,\chi \in \widehat{G}$
. Then, for any continuous homomorphism
$\phi :G\to H$
, there exists a continuous homomorphism
$\widehat{\phi}:\widehat{H}\to \widehat{G}$
such that
$\langle \phi \left(g\right),{\chi}_{H}\rangle =\langle g,\widehat{\phi}\left({\chi}_{H}\right)\rangle $
and
$\widehat{\widehat{\phi}}=\phi $
.

(5)
If
$G$
and
$H$
are both either compact or discrete,
$\phi $
is surjective if and only if
$\widehat{\phi}$
is injective.
By the above proposition, an automorphism of a discrete abelian group can be transformed to an automorphism of a compact abelian group, and this transformation is reversible.
The duality translates topological structures to algebraic structures.
Proposition 2.
Let
$G$
be a compact abelian group.

(1)
$G$
is connected if and only if
$\widehat{G}$
is torsion free.

(2)
$G$
is finite dimension
$d$
if and only if
$\widehat{G}$
is finite rank
$d$
.

(3)
$G$
is metrizable if and only if
$\widehat{G}$
is countable.
2.1.2 Fourier analysis on the rational number field
We now deal with the Pontryagin duality for the rational number field
$\mathbb{Q}$
with the discrete topology. To do that, we need
$p$
adic number fields and the adele ring of
$\mathbb{Q}$
. See [
23,
32]
for more details.
Every nonzero rational number
$a\in \mathbb{Q}$
can be presented as
$a={p}^{m}\frac{u}{v}$
for each rational prime number
$p$
. Then, the
$p$
adic norm of
$a$
is defined by
$$a{}_{p}=\{\begin{array}{cc}{p}^{m}& a\ne 0\\ 0& a=0,\end{array}$$
and defines a metric on
$\mathbb{Q}$
by
${d}_{p}(a,b)=ab{}_{p}$
, which is called the
$p$
adic metric.
The
$p$
adic number field
${\mathbb{Q}}_{p}$
is defined as the completion of
$\mathbb{Q}$
with respect to the
$p$
adic metric
${d}_{p}$
. An algebraic closure
$\overline{{\mathbb{Q}}_{p}}$
has a unique norm which extends from the
$p$
adic norm on
${\mathbb{Q}}_{p}$
.
These spaces do not seem natural. However, they are natural under the following concept.
Definition 1.
Let
$F$
be a locally compact field and
$\mu $
an additive Haar measure on
$F$
. Then for every
$a\in F$
,
$\mu (a\cdot )$
is another Haar measure on
$F$
. Therefore, for every
$a\in F$
, there exists the module
$a{}_{F}$
such that
$\mu (a\cdot )=\lefta{}_{F}\mu \right(\cdot )$
.
Example 1.
When
$F$
is the real number field
$\mathbb{R}$
, the module
$a{}_{\mathbb{R}}$
is the ordinary norm
$\lefta\right$
. When
$F$
is the
$p$
adic number field
${\mathbb{Q}}_{p}$
, the module
$a{}_{{\mathbb{Q}}_{p}}$
is the
$p$
adic norm
$a{}_{p}$
.
The
$p$
adic norms are natural concept with respect to an additive Haar measure on
${\mathbb{Q}}_{p}$
, and consequently
$p$
adic norms are useful for computing an entropy (see Example 2 ).
Definition 2.
The adele ring of the rational numbers is defined as a restricted direct product space of
${\mathbb{Q}}_{p}$
, that is
$${\mathbb{A}}_{\mathbb{Q}}=\left\{x=\left({x}_{p}\right)\in {\prod}_{p\le \infty}{\mathbb{Q}}_{p}\right{x}_{p}{}_{p}\le 1\text{for almost all}p\}.$$
The adele group (with addition) is a locally compact abelian group, and hence has a Haar measure, which is a kind of product measure.
The following proposition means that the adele ring of the rational numbers is parallels to the real numbers
$\mathbb{R}$
in the duality
$\widehat{\mathbb{Z}}\sim =\mathbb{R}/\mathbb{Z}$
.
Proposition 3.
$\mathbb{Q}$
is uniform lattice in
${\mathbb{A}}_{\mathbb{Q}}$
, i.e. discrete cocompact subgroup of
${\mathbb{A}}_{\mathbb{Q}}$
. Moreover,
$${\mathbb{A}}_{\mathbb{Q}}/\mathbb{Q}\sim =\widehat{\mathbb{Q}}.$$
2.2 Entropy
An entropy is a quantity to measure a complexity of a selfmap. There are several definitions of entropies from various aspect. Kolmogorov [
13]
and Sinai [
30]
introduced the measure theoretic entropy
${h}_{\mu}\left(T\right)$
for a measure preserving map
$T$
on a probability space
$(X,\mathfrak{B},\mu )$
. Alder, Konheim and McAndrew [
1]
introduced the topological entropy
$h\left(T\right)$
for a continuous map
$T$
on a compact space. Bowen [
2]
defined a variant of topological entropy
${h}_{d}\left(T\right)$
, which is called Bowen's topological entropy, for a uniformally continuous map
$T$
on a metric space
$(X,d)$
. Each entropy has its own property and is related to the others. For more details, see Walters [
31]
.
Bowen's topological entropy is equal to the original topological entropy for compact metrizable space.
Proposition 4.
When
$X$
is compact,
${h}_{d}\left(T\right)$
is not depend on a metric
$d$
and
$$\begin{array}{cc}{h}_{d}\left(T\right)=h\left(T\right).& \end{array}$$  
$$\begin{array}{}\end{array}$$  
The following proposition shows that the topological entropy is a supremum of measure theoretic entropy, and we usually call it the variational principle.
Proposition 5.
Let
$T$
be a continuous map of a compact metric space
$X$
and
$M(X,T)$
the all probability measures which are preserved by
$T$
. Then
$$\begin{array}{cc}h\left(T\right)=sup\left\{{h}_{\mu}\right(T\left)\right\mu \in M(X,T)\}& \end{array}$$  
$$\begin{array}{}\end{array}$$  
Our main interest is an automorphism of a locally compact abelian group and especially a compact abelian group. Since any surjective endomorphism of a compact group preserves the Haar measure, an automorphism of a compact group is a simple example for which both topological entropy and measure theoretic entropy can be defined. Moreover the both entropies are identical in this case.
Proposition 6.
Suppose
$G$
is a compact metrizable group,
$T$
a surjective endomorphism of
$G$
, and
$\mu $
a normalized Haar measure on
$G$
. Then
$$\begin{array}{cc}{h}_{\mu}\left(T\right)={h}_{d}\left(T\right)=h\left(T\right).& \end{array}$$  
$$\begin{array}{}\end{array}$$  
From Proposition 6 , we can choose any definition for studying the entropy in this condition. Bowen [
2]
also introduce yet another topological entropy, which is computable and inherits its habit from
${h}_{d}\left(T\right)$
and
${h}_{\mu}\left(T\right)$
. In our condition, this entropy can be identified with
${h}_{d}\left(T\right)$
and computed by the following formula.
Example 2.
Let
${T}_{a}$
be an automorphism of
${\mathbb{Q}}_{p}$
defined by a multiplication by
$a\in {\mathbb{Q}}_{p}^{*}$
. Then it follows from Example 1 that
$$\begin{array}{cc}{h}_{{d}_{p}}\left({T}_{a}\right)=\{\begin{array}{cc}loga{}_{p}& a{}_{p}>1,\\ 0& a{}_{p}\le 1.\end{array}& \end{array}$$  
$$\begin{array}{}\end{array}$$  
Bowen's topological entropy is compatible with coverings.
Proposition 8 (Bowen [2] ).
Let
$G$
be a locally compact metrizable abelian group with an invariant metric
$d$
. Suppose
$\Gamma $
is a uniform lattice of
$G$
, that is, a discrete and cocompact subgroup of
$G$
. Let
$\stackrel{~}{T}$
and
$T$
be endomorphisms of
$G$
and
$G/\Gamma $
such that
$\pi \circ \stackrel{~}{T}=T\circ \pi $
, where
$\pi :G\to G/\Gamma $
is the projection. Then
$$\begin{array}{cc}h\left(T\right)={h}_{d}\left(\stackrel{~}{T}\right).& \end{array}$$  
$$\begin{array}{}\end{array}$$  
3 Solenoidal entropy and Alexander polynomial
A solenoid
${\Sigma}^{d}$
is, by definition, a compact connected finitedimensional abelian group and arose from a generalization of the torus
${\mathbb{T}}^{d}$
. The following theorem, which was given by Lind and Ward [
17]
, plays a key role for our results.
Proposition 9 (Lind and Ward [17] ).
Let
$A$
be an automorphism of
$d$
dimensional solenoid
${\Sigma}^{d}$
. Then,

(1)
the entropy of
$A$
is the sum of the entropies of the automorphisms of
${\mathbb{Q}}_{p}^{d}$
induced by
$A$
$$\begin{array}{cc}h(A;{\Sigma}^{d})={\sum}_{p\le \infty}h(A;{\mathbb{Q}}_{p}^{d}),& \end{array}$$  
$$\begin{array}{}\end{array}$$  
and

(2)
the
$p$
adic entropy is computed by the eigenvalues
${\lambda}_{1},...,{\lambda}_{d}$
of the induced automorphism in
$GL(d,{\mathbb{Q}}_{p})$
as follows:
$$\begin{array}{cc}h(A;{\mathbb{Q}}_{p}^{d})={\sum}_{{\lambda}_{i}{}_{p}>1}log{\lambda}_{i}{}_{p}.& \end{array}$$  
$$\begin{array}{}\end{array}$$  
In [
17]
, Lind and Ward computed the entropy of solenoidal automorphisms with intrinsic arguments. The proof is really helpful for our applications later. Although we review an outline of the proof, referring to the original paper is strongly recommend.

Outline of the proof.

Step 1:
Because the dual group of
${\Sigma}^{d}$
can be embed into
${\mathbb{Q}}^{d}$
,
$lim\to {\Gamma}_{n}\sim ={\mathbb{Q}}^{d}$
, where
${\Gamma}_{n}=\frac{1}{n!}{\widehat{\Sigma}}^{d}$
. Hence
${\widehat{\mathbb{Q}}}^{d}\sim =lim\leftarrow {\widehat{\Gamma}}_{n}$
and
${\widehat{\Gamma}}_{n}\sim ={\widehat{\mathbb{Q}}}^{d}/{K}_{n}$
. By addition formula [10] ,
$h(A;{\widehat{\mathbb{Q}}}^{d})=h(A;{\widehat{\Gamma}}_{n})+h(A;{K}_{n})$
. Because
$h(A;{\widehat{\Gamma}}_{n})=h(A;{\Sigma}^{d})$
for any
$n$
and
$h(A;{K}_{n})\to 0$
as
$n\to \infty $
,
$$\begin{array}{cc}h(A;{\Sigma}^{d})=h(A;{\widehat{\mathbb{Q}}}^{d}).& \end{array}$$  
$$\begin{array}{}\end{array}$$  

Step 2:
By Proposition 3 and Proposition 8 , the entropy on the full solenoid
${\widehat{\mathbb{Q}}}^{d}$
can be lifted to the entropy on the adele ring
${\mathbb{A}}_{\mathbb{Q}}$
,
$$\begin{array}{cc}h(A;{\widehat{\mathbb{Q}}}^{d})=h(A;{\mathbb{A}}_{\mathbb{Q}}^{d}).& \end{array}$$  
$$\begin{array}{}\end{array}$$  

Step 3:
Since the adele ring is a restricted direct product space, the entropy on it can be decomposed into the entropies of each direction
$$\begin{array}{cc}h(A;{\mathbb{A}}_{\mathbb{Q}}^{d})={\sum}_{p\le \infty}h(A;{\mathbb{Q}}_{p}^{d}).& \end{array}$$  
$$\begin{array}{}\end{array}$$  
This additivity follows from that
${\mathbb{A}}_{\mathbb{Q}}^{d}$
is almost the direct product space.
But it needs delicate arguments.

Step 4:
Finally, using the formula in Proposition 7 , we have
$$\begin{array}{cc}h(A;{\mathbb{Q}}_{p}^{d})={\sum}_{{\lambda}_{i}{}_{p}>1}log{\lambda}_{i}{}_{p}.& \end{array}$$  
$$\begin{array}{}\end{array}$$  
The computation is essentially similar to Example 2 .
□
To connect the Alexander polynomial with a solenoidal automorphism, we need the following lemma.
Lemma 1.
For any knot, the dual group of the first homology group of an infinite cyclic cover
${H}_{1}({X}_{\infty};\mathbb{Z})$
is a
$n$
dimensional solenoid. Here,
$n$
is the degree of the Alexander polynomial of the knot.

Proof.
From Proposition 1 and 2 , it is sufficient to prove that
${H}_{1}({X}_{\infty};\mathbb{Z})$
is a discrete torsionfree abelian group which has finiterank
$n$
. Rapaport [24] and Crowell [5] proved that
${H}_{1}({X}_{\infty};\mathbb{Z})$
is torsionfree and has finite rank
$n$
. (Here, the rank of
$A$
means the cardinality of any maximal set of
$\mathbb{Z}$
linearly independent elements of
$A$
.) □
Because the Alexander polynomial is equal to the characteristic polynomial of the meridian action on
${H}_{1}({X}_{\infty};\mathbb{Q})$
, up to multiplication by a unit, the following theorem follows from Proposition 9 .
Theorem 1.
Let
${\alpha}_{i}$
be the zeros (counted with multiplicity) of the Alexander polynomial of a knot. Then,

(1)
the entropy of the meridian action on the
$p$
adic Alexander module;
${t}_{p}:{H}_{1}({X}_{\infty};{\mathbb{Q}}_{p})\to {H}_{1}({X}_{\infty};{\mathbb{Q}}_{p})$
is
$$\begin{array}{cc}h\left({t}_{p}\right)={\sum}_{{\alpha}_{i}{}_{p}>1}log{\alpha}_{i}{}_{p},& \end{array}$$  
$$\begin{array}{}\end{array}$$  
where
$\cdot {}_{p}$
is the
$p$
adic norms, and

(2)
the entropy of dual action of meridian
$\widehat{t}:\widehat{{H}_{1}({X}_{\infty};\mathbb{Z})}\to \widehat{{H}_{1}({X}_{\infty};\mathbb{Z})}$
is
$h\left(\widehat{t}\right)={\sum}_{p\le \infty}h\left({t}_{p}\right)$
, that is
$$\begin{array}{cc}h\left(\widehat{t}\right)={\sum}_{p\le \infty}{\sum}_{{\alpha}_{i}{}_{p}>1}log{\alpha}_{i}{}_{p}.& \end{array}$$  
$$\begin{array}{}\end{array}$$  
Here
${\mathbb{Q}}_{\infty}=\mathbb{R}$
by convention.
4 Applications
4.1 Growth of order of homology of branched cyclic covering space
In this section, we study the relation between the
$p$
adic zeros of
${\Delta}_{K}$
and the growth of orders of the first homology groups of the
$r$
fold cyclic covering of
${S}^{3}$
branched over
$K$
. Roughly speaking, the
$r$
fold cyclic covering branched over
$K$
is a compact space which associated with a homomorphism
$$\begin{array}{cc}G={\pi}_{1}({S}^{3}\backslash K)\stackrel{}{\u27f6}\mathbb{Z}/r\mathbb{Z},& \end{array}$$  
$$\begin{array}{}\end{array}$$  
(for precise definition, see [
4,
15,
26]
).
The order of the first homology group of this space can be computed by the following formula.
Proposition 10 (Fox [7] ).
Let
${X}_{r}$
be the
$r$
fold cyclic covering of
${S}^{3}$
branched over
$K$
. Then, the order of the first homology group of
${X}_{r}$
is given by
$$\left{H}_{1}({X}_{r};\mathbb{Z})\right=\left{}^{r1}{\prod}_{d=1}{\Delta}_{K}(exp(2d\pi \sqrt{1}/r\left)\right)\right.$$
By convention,
$\left{H}_{1}\right({X}_{r};\mathbb{Z}\left)\right=0$
means that
${H}_{1}({X}_{r};\mathbb{Z})$
is an infinite group.
Definition 3 (logarithmic Mahler measure [18] ).
For nonzero Laurent polynomial
$f\left(x\right)$
with integral coefficients, the logarithmic Mahler measure of
$f$
is defined by
$$\begin{array}{cc}m\left(f\right)={\int}_{0}^{1}log\leftf\right(exp\left(2\pi t\sqrt{1}\right)\left)\rightdt.& \end{array}$$  
$$\begin{array}{}\end{array}$$  
The growth of orders
$\left{H}_{1}({X}_{r};\mathbb{Z})\right$
is expressed by the logarithmic Mahler measure of the Alexander polynomial. It has been already proved by GonzálezAcun͂a and Short [
8]
, but we show a proof because we base on the other definition from [
8]
.
$$\begin{array}{cc}{lim}_{\stackrel{r\to \infty}{\left{H}_{1}\right(\cdot \left)\right\ne 0}}\frac{log\left{H}_{1}\right({X}_{r};\mathbb{Z}\left)\right}{r}& ={lim}_{\stackrel{r\to \infty}{{\Delta}_{K}(\cdot )\ne 0}}\frac{1}{r}log\left{}^{r1}{\prod}_{d=0}{\Delta}_{K}(exp(2d\pi \sqrt{1}/r\left)\right)\right\end{array}$$  
$$\begin{array}{cc}& ={lim}_{\stackrel{r\to \infty}{{\Delta}_{K}(\cdot )\ne 0}}{\sum}_{d=0}^{r1}\frac{1}{r}log\left{\Delta}_{K}(exp(2\pi \sqrt{1}\frac{d}{r}\left)\right)\right\end{array}$$  
$$\begin{array}{cc}& =m\left({\Delta}_{K}\right).\end{array}$$  
$$\begin{array}{}\end{array}$$  
Mahler measure is deeply related to the entropy of an algebraic dynamical system, which is found in [
16]
for example. In this paper, we use a more suitable result which was proved by Einseidler and Ward [
6]
.
Proposition 11 (Einseidler and Ward [6] ).
Let
$0\stackrel{}{\u27f6}{F}_{n}\stackrel{}{\u27f6}...\stackrel{}{\u27f6}{F}_{1}\stackrel{{\phi}_{1}}{\u27f6}{F}_{0}\stackrel{}{\u27f6}M\stackrel{}{\u27f6}0$
be a finite free resolution of the
$\mathbb{Z}\left[{t}^{\pm}\right]$
module
$M$
and
$J\left({\phi}_{1}\right)$
the initial Fitting ideal.
Let
${\alpha}_{t}$
a natural automorphism which is induced by the shift of the indeterminate
$t$
. Then the entropy of
${\alpha}_{t}$
is
$$h\left(\widehat{{\alpha}_{t}}\right)=m(gcd(J\left({\phi}_{1}\right)\left)\right).$$
By combining Proposition 10 and 11 , we can see that the growth of orders gives another method to compute the entropy in Theorem 1 . Therefore, we can obtain the following corollary.
Corollary 1.
$$\begin{array}{cc}{lim}_{\stackrel{r\to \infty}{\left{H}_{1}\right(\cdot \left)\right\ne 0}}\frac{log\left{H}_{1}\right({X}_{r};\mathbb{Z}\left)\right}{r}={\sum}_{p\le \infty}{\sum}_{{\alpha}_{i}{}_{p}>1}log{\alpha}_{i}{}_{p},& \end{array}$$  
$$\begin{array}{}\end{array}$$  
where
${\alpha}_{i}$
are the zeros of the Alexander polynomial
${\Delta}_{K}\left(t\right)$
.
In a special case of Corollary 1 , we obtain that the growth is zero if and only if the zeros of
${\Delta}_{K}\left(t\right)$
are roots of unity. That is, we have the following.
Corollary 2 (Riley [25] , GonzálezAcun͂a and Short [8] ).
Let
${X}_{r}$
be the
$r$
fold cyclic covering branched over
$K$
. Then, if the Alexander polynomial
${\Delta}_{K}\left(t\right)$
have zeros which are not roots of unity, the finite values of the order of the first homology group
$\left{H}_{1}\right({X}_{r};\mathbb{Z}\left)\right$
grows exponentially with respect to
$r$
.

Proof.
(Indirect proof) Because all
${\alpha}_{i}$
belong to the valuation ring
${\mathcal{O}}_{p}=\{x\in \overline{{\mathbb{Q}}_{p}}x{}_{p}\le 1\}$
,
$f\left(t\right)={\prod}_{i}(t{\alpha}_{i})$
, which is
$\Delta \left(t\right)$
up to constant multiples, belongs to
${\mathbb{Z}}_{p}\left[t\right]\cap \mathbb{Q}\left[t\right]$
, where
${\mathbb{Z}}_{p}=\{x\in {\mathbb{Q}}_{p}x{}_{p}\le 1\}$
. This holds for any prime
$p$
. Hence
$f\left(t\right)\in \mathbb{Z}\left[t\right]$
. (Another way to see this is to prove Corollary 4 before. But in this proof, the condition
$\Delta \left(1\right)=\pm 1$
is not necessary.) Consequently, the zeros of the Alexander polynomial must be roots of unity from
$\left{\alpha}_{i}\right\le 1$
and the Kronecker's theorem [14] . □
Remark 1.
In [
28]
, Silver and Williams generalized the result of GonzálezAcun͂a and Short [
8]
to links with dynamical systems viewpoint. And our study is motivated by their approach.
4.2 Leading coefficient of Alexander polynomial
In this section, we apply Theorem 1 to a criterion for being finitely generated as
$\mathbb{Z}$
module. Formerly, we have utilized the leading coefficient of the Alexander polynomial for the criterion. But it only determines whether the Alexander module is finitely generated or not. Now, we reveal that the leading coefficient of the Alexander polynomial is not just the criterion for being finitely generated as
$\mathbb{Z}$
module.
From the following corollary, we can regard the entropies
$h\left({t}_{p}\right)$
for all primes
$p<\infty $
as obstructions for being finitely generated.
Corollary 3.
Let
$h\left({t}_{p}\right)$
be the entropy of the meridian action on the
$p$
adic Alexander module
${H}_{1}({X}_{\infty};{\mathbb{Q}}_{p})$
. If the Alexander module
${H}_{1}({X}_{\infty};\mathbb{Z})$
is finitely generated as
$\mathbb{Z}$
module, then all the entropies
$h\left({t}_{p}\right)$
are equal to zero for finite prime
$p<\infty $
.

Proof.
The Alexander module
${H}_{1}({X}_{\infty};\mathbb{Z})$
is finitely generated if and only if
$\widehat{{H}_{1}({X}_{\infty};\mathbb{Z})}$
is isomorphic to the
$n$
dimensional torus. Then, it is covered by
${H}_{1}({X}_{\infty};\mathbb{R})$
. By the wellknown result for toral automorphisms, the entropy of the meridian action on
$\widehat{{H}_{1}({X}_{\infty};\mathbb{Z})}$
is
$$\begin{array}{cc}h\left(t\right)={\sum}_{\left{\alpha}_{i}\right>1}log\left{\alpha}_{i}\right,& \end{array}$$  
$$\begin{array}{}\end{array}$$  
where
${\alpha}_{i}$
are eigenvalues of the meridian action on
${H}_{1}({X}_{\infty};\mathbb{R})$
.
These entropy must be equal to the entropy in Theorem 1(2). Therefore, the entropies of the meridian action on
${H}_{1}({X}_{\infty};{\mathbb{Q}}_{p})$
are zero for any
$p<\infty $
, that is
$$h\left({t}_{p}\right)={\sum}_{{\alpha}_{i}{}_{p}>1}log{\alpha}_{i}{}_{p}=0\text{for}p<\infty .$$
□
This obstructions give a new interpretation of the leading coefficient of the Alexander polynomial. In fact, the following Corollary means that the entropies
$h\left({t}_{p}\right)$
are fine factors of the leading coefficient of the Alexander polynomial.
Corollary 4.
Let
${\alpha}_{i}$
be the zeros of
${\Delta}_{K}\left(t\right)={\sum}_{i=0}^{n}{a}_{i}{t}^{i}$
. Then the leading coefficient of
${\Delta}_{K}\left(t\right)$
is the sum of the entropies of the meridian action on the
$p$
adic Alexander module
${H}_{1}({X}_{\infty};{\mathbb{Q}}_{p})$
for the finite primes
$p<\infty $
, that is
$$\begin{array}{cc}log\left{a}_{n}\right& ={\sum}_{p<\infty}{\sum}_{{\alpha}_{i}{}_{p}>1}log{\alpha}_{i}{}_{p}.\end{array}$$  
$$\begin{array}{}\end{array}$$  

Proof.
Let
$f\left(t\right)={\Delta}_{K}\left(t\right)/{a}_{n}=\prod (t{\alpha}_{i})$
and
$s$
the least common multiple of the denominators of the coefficients of
$f\left(t\right)$
. Then,
$$\begin{array}{cc}{\sum}_{p<\infty}h\left({t}_{p}\right)={\sum}_{p<\infty}{\sum}_{{\alpha}_{i}{}_{p}>1}log{\alpha}_{i}{}_{p}=logs.& \end{array}$$  
$$\begin{array}{}\end{array}$$  
Because
${\Delta}_{K}\left(1\right)=\pm 1$
, the coefficients are relatively prime
$({a}_{n},...,{a}_{1})=1$
.
Hence
$s=\left{a}_{n}\right$
. (The above argument is essentially found in the proofs of Theorem 3 in [
17]
and Theorem 2 in [
25]
.) □
Since
${\Delta}_{K}\left(1\right)=\pm 1$
for any knot, the Alexander polynomial can be completely determined (up to
$\pm 1$
) by the zeros. Hence the leading coefficient is also determined.
On the other hand, Corollary
4 shows furthermore that the distribution of the zeros measures how much different from being finitely generated
$\mathbb{Z}$
module the Alexander module is.
4.3 Final remarks
4.3.1 Determining knots by cyclic branched covers
In [
12]
, Kojima showed that prime knots are determined by their cyclic branched covers. So, there might be a method to determine the Alexander module by the data of cyclic branched covers.
The growth of orders
$\left{H}_{1}\right({X}_{r};\mathbb{Z}\left)\right$
does not determine completely the Alexander module
${H}_{1}({X}_{\infty};\mathbb{Z})$
, but it has information of the Alexander module. In fact, the growth measures complexity of the Alexander module and is similar invariant with the leading coefficient of the Alexander polynomial.
In addition, it is still remain open whether infinitely many branched covers are necessary for determining the knot.
4.3.2 Volume conjecture
The volume (or Kashaev) conjecture [
11,
19]
expects that the asymptotic behavior of the Kashaev invariant (= the specialization of the colored Jones polynomial) implies the hyperbolic volume of the complement of the knot (hyperbolic case).
In general, a topological entropy picks up natural measures, which are called measures of the maximal entropy, from the variational principle (see Proposition
5 ).
Then, the topological entropy is equal to the measure theoretic entropy with respect to a measure of the maximal entropy. In our case, the Haar measure on the Alexander module (precisely, the Plancherel measure on its dual group) is a measure of the maximal entropy, and this measure is lifted to adele rings with preserving the entropy.
Consequently the asymptotic behavior (growth of orders) can be translated into expansions of volumes with respect to the Haar measure on the adele ring because the growth is interpreted as the entropy of the meridian action.
Our point is that, when an asymptotic behavior is interpreted as an entropy, it can be related with a natural measure theory. Does this strategy work out for the volume conjecture?
References

R. L. Adler, A. G. Konheim, and M. H. McAndrew. Topological entropy. Trans. Amer. Math. Soc., 114:309–319, 1965.

R. Bowen. Entropy for group endomorphisms and homogeneous spaces. Trans. Amer. Math. Soc., 153:401–414, 1971.

G. Burde. Alexanderpolynome Neuwirthscher Knoten. Topology, 5:321–330, 1966.

G. Burde and H. Zieschang. Knots, volume 5 of de Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin, 1985.

R. H. Crowell. The group
${G}^{\prime}/{G}^{\prime \prime}$
of a knot group
$G$
. Duke Math. J., 30:349–354, 1963.

M. Einsiedler and T. Ward. Fitting ideals for finitely presented algebraic dynamical systems. Aequationes Math., 60(12):57–71, 2000.

R. H. Fox. Free differential calculus. III. Subgroups. Ann. of Math. (2), 64:407–419, 1956.

F. GonzálezAcun͂a and H. Short. Cyclic branched coverings of knots and homology spheres. Rev. Mat. Univ. Complut. Madrid, 4(1):97–120, 1991.

C. M. Gordon. Knots whose branched cyclic coverings have periodic homology. Trans. Amer. Math. Soc., 168:357–370, 1972.

S. A. Juzvinskiĭ. Metric properties of the endomorphisms of compact groups. Izv. Akad. Nauk SSSR Ser. Mat., 29:1295–1328, 1965. English transl. in Ams. Math. Soc. Transl. 66 (1968), 6398.

R. M. Kashaev. The hyperbolic volume of knots from the quantum dilogarithm. Lett. Math. Phys., 39(3):269–275, 1997.

S. Kojima. Determining knots by branched covers. In Lowdimensional topology and Kleinian groups (Coventry/Durham, 1984), volume 112 of London Math. Soc. Lecture Note Ser., pages 193–207. Cambridge Univ. Press, Cambridge, 1986.

A. N. Kolmogorov. A new metric invariant of transient dynamical systems and automorphisms in Lebesgue spaces. Dokl. Akad. Nauk SSSR (N.S.), 119:861–864, 1958.

L. Kronecker. Zwei Sätze ueber Gleichungen mit ganzzahligen Coeffichienten. J. Reine Angew. Math., 53:173–175, 1857.

W. B. R. Lickorish. An introduction to knot theory, volume 175 of Graduate Texts in Mathematics. SpringerVerlag, New York, 1997.

D. Lind, K. Schmidt, and T. Ward. Mahler measure and entropy for commuting automorphisms of compact groups. Invent. Math., 101(3):593–629, 1990.

D. A. Lind and T. Ward. Automorphisms of solenoids and
$p$
adic entropy. Ergodic Theory Dynam. Systems, 8(3):411–419, 1988.

K. Mahler. An application of Jensen's formula to polynomials. Mathematika, 7:98–100, 1960.

H. Murakami and J. Murakami. The colored Jones polynomials and the simplicial volume of a knot. Acta Math., 186(1):85–104, 2001.

K. Murasugi. The commutator subgroups of the alternating knot groups. Proc. Amer. Math. Soc., 28:237–241, 1971.

L. P. Neuwirth. Knot groups. Annals of Mathematics Studies, No. 56. Princeton University Press, Princeton, N.J., 1965.

C. V. Quach. Polynôme d'Alexander des noeuds fibrés. C. R. Acad. Sci. Paris Sér. AB, 289(6):A375–A377, 1979.

D. Ramakrishnan and R. J. Valenza. Fourier analysis on number fields, volume 186 of Graduate Texts in Mathematics. SpringerVerlag, New York, 1999.

E. S. Rapaport. On the commutator subgroup of a knot group. Ann. of Math. (2), 71:157–162, 1960.

R. Riley. Growth of order of homology of cyclic branched covers of knots. Bull. London Math. Soc., 22(3):287–297, 1990.

D. Rolfsen. Knots and links, volume 7 of Mathematics Lecture Series. Publish or Perish Inc., Houston, TX, 1990. Corrected reprint of the 1976 original.

W. Rudin. Fourier analysis on groups. Wiley Classics Library. John Wiley & Sons Inc., New York, 1990. Reprint of the 1962 original, A WileyInterscience Publication.

D. S. Silver and S. G. Williams. Mahler measure, links and homology growth. Topology, 41(5):979–991, 2002.

D. S. Silver and S. G. Williams. Torsion numbers of augmented groups with applications to knots and links. Enseign. Math. (2), 48(34):317–343, 2002.

J. Sinaĭ. On the concept of entropy for a dynamic system. Dokl. Akad. Nauk SSSR, 124:768–771, 1959.

P. Walters. An introduction to ergodic theory, volume 79 of Graduate Texts in Mathematics. SpringerVerlag, New York, 1982.

A. Weil. Basic number theory. SpringerVerlag, New York, third edition, 1974. Die Grundlehren der Mathematischen Wissenschaften, Band 144.
Department of Mathematics, Tokyo Institute of Technology, Ohokayama, Meguroku, Tokyo 1528551, Japan Email address: akio@math.titech.ac.jp