In the previous post we described the following result characterizing the zeta distribution.

**Theorem:** Let be a probability distribution on . Suppose that the exponents in the prime factorization of are chosen independently and according to a geometric distribution, and further suppose that is monotonically decreasing. Then for some real .

I have been thinking about the first condition, and I no longer like it. At least, I don’t like how I arrived at it. Here is a better way to conceptualize it: given that , the probability distribution on should be the same as the original distribution on . By Bayes’ theorem, this is equivalent to the condition that

which in turn is equivalent to the condition that

.

(I am adopting the natural assumption that for all . No sense in excluding a positive integer from any reasonable probability distribution on .) In other words, is independent of , from which it follows that for some constant . From here it already follows that is determined by for prime and that the exponents in the prime factorization are chosen geometrically. And now the condition that is monotonically decreasing gives the zeta distribution as before. So I think we should use the following characterization theorem instead.

**Theorem:** Let be a probability distribution on . Suppose that for all and some , and further suppose that is monotonically decreasing. Then for some real .

More generally, the following situation covers all the examples we have used so far. Let be a free commutative monoid on generators , and let be a homomorphism. Let be a probability distribution on . Suppose that for all and some , and further suppose that if then . Then for some such that the zeta function

converges. Moreover, has the Euler product

.

Recall that in the statistical-mechanical interpretation, we are looking at a system whose states are finite collections of particles of types and whose energies are given by ; then the above is just the partition function. In the special case of the zeta function of a Dedekind abstract number ring, is the commutative monoid of nonzero ideals of under multiplication, which is free on the prime ideals by unique factorization, and . In the special case of the dynamical zeta function of an invertible map , is the free commutative monoid on orbits of (equivalently, the invariant submonoid of the free commutative monoid on ), and , where is the number of points in .