A characterization of signed discrete infinitely divisible distributions

1

Huiming Zhanga , Bo Lib , G. Jay Kernsc
a School

of Mathematical Sciences, Peking University, Beijing, 100871, China
of Mathematics and Statistics, Central China Normal University, Wuhan, 430079, China
c Department of Mathematics and Statistics, Youngstown State University, Youngstown, Ohio 44555-0002 USA
b Department

arXiv:1701.03892v1 [math.ST] 14 Jan 2017

Abstract
In this article, we give some reviews concerning negative probabilities model and quasi-infinitely divisible at
the beginning. We next extend Feller’s characterization of discrete infinitely divisible distributions to signed
discrete infinitely divisible distributions, which are discrete pseudo compound Poisson (DPCP) distributions
with connections to the Lévy-Wiener theorem. This is a special case of an open problem which is proposed
by Sato (2014), Chaumont and Yor (2012). An analogous result involving characteristic functions is shown
for signed integer-valued infinitely divisible distributions. We show that many distributions are DPCP by
the non-zero p.g.f. property, such as the mixed Poisson distribution and fractional Poisson process. DPCP
has some bizarre properties, and one is that the parameter λ in the DPCP class cannot be arbitrarily small.
Keywords: discrete distribution, quasi infinitely divisible, pseudo compound Poisson, signed measure,
negative probability, absolutely convergent Fourier series, Jørgensen set.
MSC2010: 60E07 60E10 28A20 42A32

1. Convolutions of signed measure model and quasi-infinitely divisible
Székely (2005) spoke of flipping two “half-coins” (which have infinitely many sides numbered 0, 1, 2, . . .
whose even values are assigned negative probabilities) to obtain a fair coin with outcomes 0 or 1 with
probability
√ 1/2 each. The negative probabilities arise because his probability generating function (p.g.f.)
G(z) = 0.5 + 0.5z has negative coefficients. He went on to consider the general n-th root of a p.g.f. as
a generating function with negative coefficients. In this work we continue along the same lines. In short,
the aim of this paper is to determine necessary and sufficient conditions on a discrete distribution such that
1
1
the [G(z)] n (or [ϕ(θ)] n ) is also the p.g.f. (or characteristic function) of a signed measure with bounded
total variation. Székely used the word “signed infinitely divisible” to describe a phenomenon that writing a
discrete probability mass as a convolution of signed point measures.
Notice that central to the inversion problem of the Central Limit Theorem is the search for some char1
acteristic function ϕ(θ) such that [ϕ(θ)] n is also a characteristic function. This is indeed the very definition
of an infinitely divisible distribution, or the deconvolution problem. In the foundation of this body of
work is the fundamental Lévy-Khinchine result: “A distribution is infinitely divisible if and only if it has a
Lévy-Khinchine representation.”
Continuing along these lines, Sato (2014), Nakamura (2013) proposed the following definition of quasi
infinite divisibility for distributions having a Lévy-Khinchine representation but with signed Lévy measure.
By constructing a complete Riemann zeta distribution corresponding to Riemann hypothesis, Nakamura
(2015) showed that a complete Riemann zeta distribution is quasi-infinitely divisible for some conditions.
Based on quantum physics, Demni and Mouayn (2015) constructed a generalized Poisson distribution and
derived a Lévy-Khintchine-type representation of its characteristic function with signed Lévy measure.
1 Accepted

for publication in Studia Scientiarum Mathematicarum, 10 October 2016.
Email addresses: zhanghuiming@pku.edu.cn (Huiming Zhang ), haoyoulibo@163.com (Bo Li), gkerns@ysu.edu (G. Jay
Kerns)
Preprint submitted to Studia Scientiarum Mathematicarum Hungarica

January 17, 2017

A random variable X on R is called quasi-infinitely divisible if the characteristic function of X has the
following form.
Definition 1.1 (Quasi-infinitely divisible). A distribution µ on R is said to be quasi-infinitely divisible if
its characteristic function has the form



Z 
iθx
1 2 2
iθx
iθX
ν(dx) ,
(1)
e −1−
Ee
= exp aiθ − σ θ +
2
1 + x2
R
with a ∈ R, σ > 0, and corresponding measure ν a bounded signed measure (that is, a quasi-Lévy measure)
on R with total variation measure |ν| satisfying ∫R min(x2 , 1) |ν| (dx) < ∞.
The above definition also appears in Exercise 12.3 of Sato (2013), p. 66, where it is shown that X is not
infinitely divisible (in the classical sense) if ν is a signed measure. The Lévy-Khinchine representation with
signed Lévy measure is unique; see Exercise 12.3 in Sato (2013).
Problem 1.1. Find a necessary and sufficient condition for the Lévy-Khinchine representation with signed
Lévy measure to hold.
This is an open problem posed by Professor Ken-iti Sato, see p29 of Sato (2014). When X in (1) is
non-negative (a “subordinator” version of (1)), it is given as an unsolved problem in Exercise 4.15(6) of
Chaumont and Yor (2012).
Denote the nonnegative integers by N = {0, 1, 2, . . .}. Let ν be a signed point measure on N and remove
the normal component in (1). Then the characteristic function of the DPCP distribution (see Definition 2.1
below) is a discrete version of the Lévy-Khinchine representation with signed Lévy measure.
Baishanski (1998) considered a complex-valued (which includes negative-valued) probability model for nfold convolutions of i.i.d. integer-valued “random variables”
1 , . . . , Xn )
P (Xivθ
Pwith complex-valued probabilities
P(X1 = v) = av . The characteristic function is ϕ(θ) =
av e , with
av = 1, and P(X1 + · · · + Xn =
v) = anv . He charted this territory perhaps not for the sake of statisticians or probabilists, but certainly to
the benefit of analysts. His work stemmed from an open problem related to the complex-valued probability
model which was first posed by Beurling (1938) and later quoted by Beurling and Helson (1953). It is
called the problem of “Norms of powers of absolutely convergent Fourier series” and has been investigated
at length in many, many papers; see Baishanski (1998) for a review. We only present the problem here and
show its relationship to the DPCP distribution.
Problem 1.2. Let f (θ) =

∞
P
j=0

aj eijθ and kf k =

∞
P

|aj | < ∞. Under what conditions on f are the kf n k

j=0

bounded? Discuss the asymptotic behavior of kf n k as n → ∞.
When av > 0, the behavior of anv has been firmly established via the Central Limit Theorem and gives
rise to the normal law in particular, and stable laws in general. In the case of complex-valued probability,
Baishanski (1998) asks,
Problem 1.3. What is the Central Limit Theorem for complex-valued probabilities?
For some results in this direction, see Baez-Duarte (1993) and Baishanski (1998).
Here, we consider the case of real-valued probabilities. van Haagen (1981) proved Kolmogorov’s Extension Theorem for finite signed measures which guarantees that a suitably “consistent” collection of finitedimensional distributions will define a signed r.v.. Kemp (1979) studied the circumstances under which
convolutions of binomial variables and binomial pseudo-variables (with negative probability density) lead to
valid distributions (with positive probability density). Karymov (2005) obtained asymptotic decompositions
into convolutions of Poisson signed measure that is appropriate for a broad range of lattice distributions.
Let (Ω, F, µ) be a signed measure space with µ(Ω) = 1 and (S, B) be a measurable space. A mapping
X : Ω 7→ R is a signed random variable if it is a measurable function from (Ω, F) to (S, B). Every signed
random variable X has an associated signed measure. The signed measure is µ(B) = P(X ∈ B) = P(X −1 B)
for each B ∈ B.
2

Remark 1 : In this paper, we write “r.v.”(or “distribution”) for a random variable with ordinary (not
negative) probabilities, and we write “signed r.v.”’(or “signed distribution”) for a random variable that
permits negative probabilities.
Definition 1.2 (Signed probability density). A signed random variable X has signed probability distribution
µ(dx) ∈ R satisfying ∫Ω µ(dx) = 1 with ∫Ω |µ|(dx) < ∞.
The signed discrete distribution is well-defined provided the total variation ∫Ω |µ|(dx) is finite. Taking
∞
P
ak guarantees that all reara signed discrete distribution as an example, the absolute convergence of
k=1

rangements of the series are convergent to the same value. Signed random variables defined this way allow
for treatment analogous to the classical case with the concepts of independence, expectation, variance, rth
moments, characteristic functions, etc. operating in the natural way.
∞

P
i
Without the condition of absolute convergence the negativity of αk would cause exp
αi λ(z − 1)
i=1

to be undefinable, since we know from the Riemann series theorem that a conditionally convergent series
can be rearranged to converge to any desired value. The next example drives home this point.
Example 1.1 (Discrete uniform distribution). Let X be Bernoulli r.v. with probability of success p = 0.5.
The logarithm of the p.g.f. of X is

ln

However,

∞
P
i=1

|ai | =

∞
P
i=1

1 1
+ z
2 2

1
i ln 2


= ln

∞
∞
X
(−1)i−1 i
1 X (−1)i−1 i
+
z = ln 2
(z − 1).
2 i=1
i
i ln 2
i=1

= ∞.

The present paper has concerned itself with the study of certain classes of discrete random variables, in
particular, those of the infinitely divisible variety. We started from William Feller’s famous characterization
that all discrete infinitely divisible distributions are compound Poisson distributed. Now, not all discrete
distributions are infinitely divisible (not, at least, in the classical sense). But following the idea of Székely
and others we extend our notion of infinitely divisible to include those distributions whose nth root of their
p.g.f. is also a p.g.f. in a generalized sense. Szekely’s “signed” ID is based on convolution of signed measures
and Sato defines his “quasi” ID from Lévy-Khinchine representation with signed Lévy measure. The goal
of this paper is to find a connection with these two kinds of generalised ID under the discrete r.v..
The paper is structured as follows: In Section 2, after giving the definition of signed probability model,
we present several conditions guaranteeing that a discrete distribution is a signed discrete infinitely divisible
distribution (or discrete pseudo compound Poisson). Also, we exemplify some famous discrete distributions
which belong to the discrete quasi infinitely divisible distributions, such as the mixed Poisson distribution
and the fractional Poisson process. In the same way, in Section 3, we conclude that a distribution is
signed integer-valued ID if and only if it is integer-valued pseudo compound Poisson. In Section 4, some
bizarre properties of signed discrete infinitely divisible distributions are discussed, and we mention a research
problem of finding characteristic function’s Jørgensen set.
2. Feller’s characterization and extension of signed discrete ID
2.1. Discrete pseudo compound Poisson distribution
Feller’s characterization of the compound Poisson distribution states that a non-negative integer valued
r.v. X is infinitely divisible (ID) if and only if its distribution is a discrete compound Poisson distribution.
Taking N and Yi ’s to be independent, X can be written as
X = Y1 + Y2 + · · · + YN ,
3

(2)

where N is Poisson distributed with parameter λ and the Yi ’s are independently and identically distributed
(i.i.d.) discrete r.v.’s with P {Y1 = k} = αk . Hence the p.g.f. of the compound Poisson distribution can be
written as
( ∞
)
∞
∞
X
X
X
k
k
P (z) =
Pk z = exp λ
αk (z − 1) , |z| 6 1, λ > 0,
αk = 1, αk > 0,
(3)
k=0

k=1

k=1

where z is a real number. (In this paper, all the arguments z of a p.g.f. are taken to be real numbers
z ∈ [−1, 1].) For more properties and characterizations of discrete compound Poisson , see Jánossy et al.
(1950), Section 12.2 of Feller (1968), Section 9.3 of Johnson et al. (2005), and Zhang

 p and Li (2016).
However, Feller neither shows nor claims that the sum of the coefficients in n n P (z) − 1 is bounded
for any n, that is, it leaves the question of whether
ln P (z) = lim

n→∞

∞
X


nank z k − 1

∞
X

?

=

k=1

bk (z k − 1),

where

k=1

∞
X

bk < +∞.

k=1

This result of Feller’s can be viewed as a discrete analogue of the derivation of Lévy-Khinchine’s formula; see
Itô (2004), Sato (2013), Meerschaert and Scheffler (2001) for the general case. When some αnk are negative,
it is necessary to find a new method which guarantees that the extension of Feller’s characterization relating
to the nth convolution of a signed measure is valid.
If it turns out that some αi are negative in the p.g.f. of (3), 
then the Yi in (2)
 will have negative
∞
P
probability and a fortiori will rule out any chance for ϕ(z) = exp
αk λ(z k − 1) to be an infinitely
k=1

divisible p.d.f. For instance:
Example 2.1. From the Taylor series expansion it follows that
(
)
(
)
∞
∞
k−1
k−1
X
X
(−1)
(−1)
2 1
+ z = exp ln 23 +
z k = exp ln 23
(z k − 1) .
3 3
k2k
k2k ln 23
k=1

k=1

Note that αk =

(−1)

k−1

3
k2k ln 2

is negative whenever k is even.

Definition 2.1 (Discrete pseudo compound Poisson distribution, DPCP). If a discrete r.v. X with P(X =
i) = Pi , i ∈ N, has a p.g.f. of the form
(∞
)
∞
X
X
i
k
P (z) =
Pi z = exp
αk λ(z − 1) ,
(4)
i=0

where

∞
P
i=1

αi = 1,

∞
P

k=1

|αi | < ∞, αi ∈ R, and λ > 0, then X is said to have a discrete pseudo compound

i=1

Poisson distribution, abbreviated DPCP. We denote it as X ∼ DPCP(α1 λ, α2 λ, · · · ). The r-parameter case:
If X ∼ DPCP(α1 λ, α2 λ, · · · , αr λ), we say X has a DPCP distribution of order r.
Here is an explicit expression for the probability mass function of the DPCP distribution:




1 3 3 −λ
1 2 2 −λ
−λ
−λ
2
P0 = e , P1 = α1 λe , P2 = α2 λ + α1 λ e , P3 = α3 λ + α1 α2 λ + α1 λ e , . . .
2!
3!



Pn = 
αn λ + · · · +

X
k1 +···+ku +···kn =i,ku ∈N
1·k1 +···+uku +···+nkn =n

αn λn  −λ
α1k1 α2k2 · · · αnkn λi
+ ··· + 1 
e ,
k1 !k2 ! · · · kn !
n! 

(5)

see Jánossy et al. (1950), Johnson et al. (2005) for the discrete compound Poisson case (all αi are nonnegative).
4

2.2. Characterizations
It turns out that there already exist a few characterizations of the DPCP distribution in the literature.
Indeed, Lévy (1937b) derived the recurrence relation
Pj+1 =

λ
[α1 Pj + 2α2 Pj−1 + · · · + (j + 1)αj+1 P0 ] ,
j+1

P0 = e−λ , j = 1, 2, . . . .

(6)

of the density of the DPCP distribution when αi might be negative-valued. If we take Pj to be the empirical
probability mass function, then the recursive formula in (6) can be used to estimate the parameters αj , for
j = 1, 2, . . . (see Buchmann and Grübel (2003), p. 1059).
The name “pseudo compound Poisson” was introduced by Hürlimann (1990). For the general situation,
the following Lévy-Wiener theorem provides us a shortcut on necessary and sufficient conditions for a
distribution to be DPCP. The proof is non-trivial; see Zygmund (2002) or Lévy (1935). The simple case
H(t) = t−1 is due to Wiener.
∞
P
Lemma 2.1 (Lévy-Wiener theorem). Let F (θ) =
ck eikθ , for θ ∈ [0, 2π], be an absolutely convergent
k=−∞

Fourier series with kF k =

∞
P

|ck | < ∞. The values of F (θ) lie on a curve C. Let H(t) be a holomorphic

k=−∞

function (analytic function) of a complex variable t which is regular at every point of C. Then H[F (θ)] has
an absolutely convergent Fourier series.
The next two corollaries are direct consequences of the Lévy-Wiener theorem.
∞
P
th
pi z i is
Corollary 2.1. For each k ∈ N, the k1 power of the p.g.f. G(z) =
i=0

p
k

G(z) =

∞
X

(k)

qi z i ,

|z| ≤ 1.

i=0

If G(z) has no zero, then

p
k

G(z) is absolutely convergent, namely,

∞
P
i=0

(k)

qi

< ∞.

When p0 ≥ p1 ≥ p2 ≥ . . . ≥ 0 as in Corollary 2.1, this is Székely’s Discrete Convex Theorem (see
Theorem 2.3.1 of Kerns (2004), p. 29).
∞
∞
P
P
Corollary 2.2. Let f (θ) =
aj eijθ and kf k =
|aj | < ∞. If f (θ) has no zero, then the kf n k are
j=0

j=0

bounded.
Next, we give a lemma about the non-vanishing p.g.f. characterization of DPCP, see Zhang et al. (2014).
We restate the proof here.
Lemma 2.2 (Non-zero p.g.f. of DPCP). For any discrete r.v. X, its p.g.f. G(z) has no zeros if and only if
X is DPCP distributed.
Proof. It is easy to see that the p.g.f. of a DPCP distribution has no zero. On the other hand, if G(z) has
∞
P
no zeros, taking z as a complex number, let z = reiθ , for 1 > r > 0. We have G(reiθ ) =
pk rk eikθ , thus
∞
P
k=0

pk r

k

6

∞
P

k=0
iθ

|pk | = 1. By applying the Lévy-Wiener theorem for all r ∈ [0, 1], ln G(e ) has an absolutely

k=0

convergent Fourier series. Therefore, X is DPCP distributed from Definition 2.1.
For instance, P (z) = 31 + 23 z on |z| 6 1 has no pseudo compound Poisson representation since 13 + 23 z = 0
for z = − 12 .
Next, we define signed discrete infinite divisibility (ID) as an extension of discrete infinite divisibility.
Firstly, we show that p.g.f. of a signed discrete infinitely divisible distribution never vanishes. Secondly, we
obtain an extension of Feller’s characterization by employing the Lévy-Wiener theorem.
5

Definition 2.2. A p.g.f. is said to be signed discrete infinitely divisible if for every n ∈ N, G(z) is the
nth -power of some p.g.f. with signed probability density, namely
"∞
#n
∞
∞
X (n)
X
X
(n)
(n)
(n)
n
i
G(z) = [Gn (z)] =
,
pi z
pi = 1,
pi < ∞, pi ∈ R.
i=0

i=0

i=0

The notion of signed discrete
infinite divisibility first appeared in Székely (2005) where he discusses
p
the conditions under which k G(z) is absolutely convergent in the special case that G(z) is the p.g.f. of a
Bernoulli distribution.
To get a characterization for signed discrete ID distributions, we need Prohorov’s theorem for signed
measures, see p. 202 of Bogachev (2007). Applying Prohorov’s theorem for bounded and uniformly tight
signed measures generalises the continuity theorem for signed p.g.f.’s.
Lemma 2.3 (Prohorov’s theorem for signed measures, Bogachev (2007)). Let (E, τ ) be a complete separable
metric space and let M be a family of signed Borel measures on E. Then the following conditions are
equivalent:
(i) Every sequence µn ∈ M contains a weakly convergent subsequence.
(ii) The family M is uniformly tight and bounded in the variation norm (a signed measure µ in a topological
space (E, τ ) is called uniformly tight if for every ε > 0 there exists a compact set Kε such that
|µ| (E\Kε ) < ε for all µ ∈ M).
Let G be as in Definition 2.2 and take E = N and KεM = {0, 1, . . . , M − 1, M } in Lemma 2.3. For
∞
∞
P
P
(n)
(n)
every n ∈ N,
pi
< ∞, there exists a compact set KεM such that
pi
< ε for every ε > 0,
i=0

namely lim sup

i=M +1

∞
P

M →∞ n i=M +1

(n)
pi

(n)

= 0 (see p. 42 in Sato (2013) for the case of positive measure). So {pi }∞
i=0

is a sequence of uniformly tight signed bounded point measures.
The next lemma is an extension of the continuity theorem for p.g.f.’s. With slight modifications, the
necessity part directly follows the proof of the p.g.f. case; see Feller (1968) p. 280.
∞
P
(n)
Lemma 2.4 (Continuity theorem for signed p.g.f.’s). Let Gn (z) =
pk z k on |z| ≤ 1 be p.g.f.’s for a
k=0
n
o∞
∞
P
(n)
(n)
sequence of bounded signed point measures pk
with
pk < ∞. Then there exists a sequence pk
k=0

k=0

such that
(n)
lim p
n→∞ k

= pk ,

(7)

for k = 0, 1, . . ., if and only if the limit
lim Gn (z) = lim

n→∞

n→∞

∞
X

(n)

∆

pk z k = G(z)

(8)

k=0

exists for each z in the open interval (0, 1). Furthermore, let G(z) =

∞
P
k=0

pk z k . Then

∞
P

pk = 1 if and only

k=0

if lim G(z) = 1.
z%1

(n)

Proof. Necessity: We suppose (7) holds and
n define G(z)
o by (8). If pk is a bounded and tight signed measure,
(n)

then there exists an M such that max |pk | , pk
≤ M for k = K + 1, K + 2, . . .. When 0 < z < 1, it
follows that
∞
K
∞
X
X
X
(n)
(n)
|Gn (z) − G(z)| =
(pk − pk )z k ≤
(pk − pk ) + 2M
zk .
k=0

k=0

6

k=K+1

Set ε > 0. Fix K such that

∞
P

zk =

k=K+1
K
P
k=0

zK
1−z

≤ ε/2M , and choose N sufficiently large such that

(n)

(pk − pk ) ≤ ε/2 for all n ≥ N . Then |Gn (z) − G(z)| ≤ ε for n ≥ N . Hence (8) is true.

Sufficiency: Assuming (8) is true for 0 < z < 1, then there is a subsequence {n(1) } so that

lim Gn(1) (z) =

n(1) →∞
(n

G(z). Note that {pk

(1)

)

} is bounded and uniformly tight. From Prohorov’s theorem for signed measures, we

get a sub-subsequence {n(2) } such that

(n(2) )

lim pk

n(2) →∞

= pk , thus

lim Gn(2) (z) = G(z). The coefficients

n(2) →∞

of the signed p.g.f. (identity theorem) do not depend on the choice of {n(1) } and {n(2) }. Thus we have
(n(1) )

(n(2) )

(7). If every convergent subsequence pk
did not have the same limit pk , then neither would pk
contradiction leads to the truth of (7).
Moreover, the final result is deduced from following equalities:
1 = lim lim Gn (z) = lim lim Gn (z) = lim lim
z%1 n→∞

n→∞ z%1

n→∞ z%1

∞
X

(n)

pk z k =

k=0

∞
X

. This

pk ,

k=0

for 0 < z < 1.
Lemma 2.5. Let G(z) be a p.g.f. of signed discrete infinitely divisible r.v.. Then G(z) 6= 0 for all |z| ≤ 1.
1

Proof. Given n ∈ N, if X is signed discrete infinitely divisible, then G(z) = [Gn (z)] n where Gn (z) is a
signed p.g.f. Let
(
1, if G(z) 6= 0,
P (z) = lim Gn (z) =
n→∞
0, if G(z) = 0.
1

The function G(z) is continuous in z for |z| ≤ 1 and G(1) = 1, likewise so is Gn (z) = [G(z)] n . By the
continuity theorem for signed p.g.f.’s, P (z) is a signed p.g.f. and P (1) = 1. Since P (z) is continuous for
|z| ≤ 1, hence P (z) = 1 for all |z| ≤ 1. The above statements show that G(z) 6= 0 for every |z| ≤ 1.
The continuity theorem for the p.g.f.’s of signed r.v.’s will be applied in the derivation of the general form
for discrete quasi ID distributions. Putting all the above together we get a generalisation of the discrete
compound Poisson distribution. Now we state and prove our characterization of discrete quasi infinitely
divisible distributions.
Theorem 2.1 (Characterization of signed discrete ID distributions). A discrete distribution is signed discrete infinitely divisible if and only if it is a discrete pseudo compound Poisson distribution.
Proof. Sufficiency: Given n ∈ N and PX (z), if X is DPCP distributed then
(∞
)
∞
X1
X
1
∆
(n)
i
n
[PX (z)] = exp
αi λ(z − 1) =
pk z k .
n
i=1
k=0

By using the Lévy-Wiener theorem, we have

∞
P
k=0

(n)

pk

< ∞. So X is signed discrete ID distributed.

Necessity: Lemma 2.5 and Lemma 2.2 say respectively that the p.g.f. of a signed discrete ID r.v. X has
no zeros and any p.g.f. that has no zeros is the p.g.f. of a DPCP distribution. Consequently, X is DPCP
distributed.
Similar to the criterion for discrete infinite divisibility from Feller’s characterization: a function h is an
infinitely divisible p.g.f. if and only if h(1) = 1 and
ln h(z) − ln h(0) =

∞
X
k=1

7

ak z k ,

where ak ≥ 0 and

∞
P

ak = λ < ∞ (see p. 290 of Feller (1968)). The related open problem was first studied

k=1

by Lévy (1937b).
Problem 2.1. If some ai are negative, under what necessary and sufficient conditions on ai is
(∞
)
X
exp
ai (z i − 1)
i=0

a p.g.f.?
Lévy (1937b) proved that P (z) = exp

m
P

αi (z i − 1)


is not a p.g.f. unless a term with a sufficiently

i=1

small negative coefficient is preceded by one term with a positive coefficient and followed by at least two
terms with positive coefficients as well (see Johnson et al. (2005), pp. 393–394), namely, the conditions are
a1 > 0, am−1 > 0, and am > 0. Milne and Westcott (1993) considered the multivariate form of (6) and gave
some conditions under which the exponential of a multivariate polynomial is a p.g.f. For m = 4, van Harn
(1978) gave four inequalities to ensure
A(z) = ea(z−1)−b(z

2

−1)+c(z 3 −1)+d(z 4 −1)
2

2

c
is a p.g.f.; the restrictions are a, b, c, d > 0 and b ≤ min{ a3 , ac , ad
2c , 3d }.
Next we give a few examples of DPCP distributions and the Bernoulli distribution.

Example 2.2. The p.g.f. P (z) = p + (1 − p)z on |z| ≤ 1 has the pseudo compound Poisson representation

i
∞
X
(−1)i−1 1 − p
ln[p + (1 − p)z] = ln p − ln p
zi.
−i
ln
p
p
i=1
Thus we have ai =

(−1)i−1
−i ln p



1−p
p

i

.

(i) If p > 0.5 then X is DPCP distributed since P (z) has no zeros.
P∞
(ii) If p = 0.5 then i=1 ai is conditionally convergent and P (z) has the zero z = −1.
P∞
p
.
(iii) If p < 0.5, then i=1 ai is divergent and P (z) has zero z = p−1
A more general example comes from the following corollary, see also Zhang et al. (2014).
Corollary 2.3. For any discrete r.v. X with p.g.f. G(z), if p0 > p1 > p2 > · · · , then X is DPCP distributed..
Proof. It can be shown that G(z) has no zeros in |z| < 1, since |(1 − z)G(z)| > 0 for |z| < 1, see Theorem
2.3.1 of Kerns (2004), p. 29. And z = ±1 are not zeros due to the facts that G(1) = 1 and G(−1) =
p0 − p1 + p2 − p3 + · · · > 0.
The next corollary will be useful in fitting zero-inflated discrete distribution.
Corollary 2.4. For any discrete r.v. X, if P(X = 0) > 0.5 then X is DPCP distributed.
Proof. If p0 = P(X = 0) > 0.5, then |G(z)| > p0 −

∞
P

pi = 2p0 − 1 > 0.

i=1

Based on the physical background of the fractal calculus, Laskin (2003) generalised ex to Mittag-Leffler
functions:
∞
X
xm
Eµ (x) =
, (0 < µ 6 1)
(9)
Γ(µm + 1)
m=0
8

Then, the fractional Poisson process Nλν (t) has p.g.f.
Eν [λtν (z − 1)], (|z| 6 1, λ > 0, 0 < ν 6 1).
The paper Beghin and Macci (2014) extended the fractional Poisson process to the discrete compound
ν
NP
λ (t)
fractional Poisson process M (t) =
Xk . The p.g.f. of M (t) is
k=1

Eν

ν

t λ

∞
X

!
i

αi (z − 1) ,

i=1

where |z| 6 1, αi > 0, 0 < ν 6 1, and {Xn }n>1 is a sequence of i.i.d. discrete r.v.’s independent of the
fractional Poisson process Nλν (t).
The Proposition 3.1 of Vellaisamy and Maheshwari (2016) shows that the one-dimensional distributions
of the fractional Poisson process Nλν (t), 0 < ν < 1, are not infinitely divisible. Fortunately for us, it is
quasi ID distributed because Mittag-Leffler functions have no real zero as 0 < ν < 1. It remains to use the
following lemma, then Corollary 2.5 follows.
Lemma 2.6. For the single parameter Mittag-Leffler function (10), if 0 < ν 6 1, then Eν (x) has no real
zeros.
Proof. It can be shown that E1 (z) = ez has no zeros for all non-negative z. Just considering negative z in the
case 0 < µ < 1, the proof can be found in Theorem 4.1.1 of Popov and Sedletskii (2013) which states: “The
S

∞
P
∞
1
zn
Mittag-Leffler function Eρ (z; a) =
n=0 [−n + ρ , −n + 1] ∪
Γ(a+n/ρ) , where ρ > 0, a ∈ C, and if a ∈
n=0

[1, +∞), then Eρ (z; a) has no negative roots.”
Remark 2: The other proof can be found in p. 453 of Feller (1971). The Mittag-Leffler function Eµ (x)
can be written as a moment generating function Eµ (t) = EetX > 0, where X is the transformation of a
α
1
positive α stable distributed r.v. Y = X − α with moment generating function Ee−tY = e−t .
Corollary 2.5. The discrete compound fractional Poisson process M (t) is DPCP distributed; so too is the
fractional Poisson process.
As another special case, we have the following result. Another generalization of Poisson distribution, the
mixed Poisson distribution, is also DPCP.
Corollary 2.6. Let X be a mixed Poisson r.v. with p.m.f.
Z +∞ n
λ −λ
P (X = n) =
e dF (λ), (n = 0, 1, 2 · · · ),
n!
0
where F (λ) is a distribution function, then X is DPCP distributed.
Proof. To prove this corollary we need to show that the p.g.f. of the mixed Poisson distribution has no zeros.
Obviously,
Z
+∞

eλ(z−1) dF (λ) > 0.

G(z) =
0

Notice that if F (λ) is an infinitely divisible distribution, then X is discrete compound Poisson distributed,
see Maceda (1948). This is the well-known Maceda’s mixed Poisson with infinitely divisible mixing law. The
mixed Poisson distribution is widely applicable in the non-life insurance science.
9

3. Signed integer-valued ID
In this section we define a class of signed integer-valued infinitely divisible distributions which is wider
than the class of integer-valued infinitely divisible distributions. Next, we show that a signed integer-valued
infinitely divisible characteristic function never vanishes. Then we show that a distribution is signed integervalued infinitely divisible if and only if it is an integer-valued pseudo compound Poisson distribution.
Definition 3.1 (Integer-valued pseudo compound Poisson, IPCP). Let X be an integer-valued random
variable X with P(X = k) = Pk , k ∈ Z. We say that X has an integer-valued pseudo compound Poisson
distribution if its characteristic function has the form
( ∞
)
∞
X
X
ikθ
ikθ
ϕ(θ) =
Pk e = exp
αk λ(e − 1) ,
(10)
k=−∞

where α0 = 0,

∞
P

αk = 1,

k=−∞

∞
P

k=−∞

|αk | < ∞, αi ∈ R, and λ > 0.

k=−∞

The early documental record of IPCP is in Paul Lévy ’s monumental monograph of modern probability
theory, see page 191 of Lévy (1937a). Recent research about IPCP can be found in Karymov (2005).
As an example, consider ϕ(θ) = 13 + 23 eiθ . We would like to write ϕ(θ)
 as an exponential function. On
our first attempt we might try the Taylor series expansion for ln 13 + 23 z , but 13 + 23 z vanishes at z = −1/2,
so this method cannot be employed. On our second attempt we might look to the Fourier inversion formula
for ln 13 + 23 eiθ since 13 + 23 eiθ has no zeros. Let f (θ) be an integrable function on [0, 2π]. The Fourier
coefficients cn for n ∈ Z of f (θ) are defined by
cn =

1
2π

Z

2π

f (θ) e−inθ dθ,

In this example the Fourier coefficients of ϕ(θ) are cn =
lim

M →∞

M
X

n ∈ Z.

0

ck e

ikθ

1
2π

R 2π
0

ln


= f (θ) = ln

k=−M

1
3


+ 23 eiθ e−inθ dθ, for n ∈ Z, and


1 2 iθ
+ e
.
3 3

Remark 3 This example illustrates that a discrete r.v. may be signed integer-valued ID r.v. but not be
signed discrete ID r.v.!
We enlisted Mapler to compute the cn ’s and graphed them in Figure 1. Here, c0 = λ and cn = λαn for
∞
P
n 6= 0. The Lévy-Wiener theorem guarantees that
|αn | < ∞.
n=−∞

In the following,
characterizations of an IPCP distributed r.v. with character( we list three equivalent
)
∞
P
istic function exp
αk λ(eikθ − 1) in (10). The axiomatic derivations of IPCP distributions can be
k=−∞

obtained from any one of these characterizations.
Corollary 3.1. (1◦ ) Signed compound Poisson: Assume that N is Poisson distributed with P(N = i) =
λi −λ
, (λ ∈ R), denoted by N ∼ P o(λ). Then, X can be decomposed as
i! e
X = Y1 + Y2 + · · · + YN ,
where the Yi are i.i.d. integer-valued signed r.v.’s with signed probability density P(Y1 = k) = αk , with
∞
∞
P
P
αk = 1,
|αk | < ∞ and N independent of Yi .
k=−∞

k=−∞

10

Figure 1: Fourier coefficients for ln

1
3

 P
+ 23 eiθ =
ck eikθ .

(2◦ ) Sum of weighted signed Poisson: X can be decomposed as
∞
X

X=

kNk ,

k=−∞, k6=0

where Nk for k ∈ Z are independently signed Poisson distributed Nk ∼ P o(αk λ) with signed probability
n
density P (Nk = n) = (λαn!k ) e−αk λ , where αk and λ are defined in 1◦ .
∞

∞

P +
P −
◦
i
i
(3 ) Difference of discrete pseudo compound Poisson: Let exp
αi λ+ (z − 1) and exp
α−i λ− (z − 1)
i=1

i=1

be the p.g.f.’s of discrete r.v.’s X+ and X− , respectively. αk and λ are defined in 1◦ . Then X can be
seen as a difference of two independent r.v.’s
X = X+ − X− ,
where λ+ =

∞
P
i=1

αi and αi+ = αi /λ+ ; also λ− =

∞
P
i=1

−
α−i and α−i
= α−i /λ− .

Proof. It is easy to check (1◦ ) – (3◦ ) by examining the characteristic function.
Next, we discuss the if-and-only-if relationship between the signed integer-valued ID and integer-valued
pseudo compound Poisson distributions. This equivalence also holds for integer-valued infinitely divisible
and integer-valued compound Poisson distributions.
Definition 3.2. A characteristic function (or the integer-valued r.v. X) is said to be signed integer-valued
infinitely divisible if for every n ∈ N, ϕX (θ) is the n-power of some characteristic function with signed
probability density, namely,
!n
∞
X
(n) kiθ
n
ϕX (θ) = [ϕXn (θ)] =
pk e
,
k=−∞

where

∞
X
k=−∞

(n)

pk

= 1,

∞
X

(n)

pk

k=−∞

11

< ∞,

(n)

pk

∈ R.

To obtain our characterization for signed integer-valued ID distributions we need Prohorov’s theorem
for signed measures, the proof of which being found in Bogachev (2007). Applying Prohorov’s theorem,
we obtain a continuity theorem for characteristic functions with signed probability densities. For more
reading on the application of Prohorov’s theorem to signed measures, see Theorem 2.2 and Theorem 2.3 of
Baez-Duarte (1993).
Lemma 3.1 (Continuity theorem for signed characteristic functions, Baez-Duarte (1993)). (i) µn ⇒ µ if
and only if µ̂n ⇒ µ̂ a.e. and {µn } is bounded and tight; (ii) Let µn be a complex measure and µ̂n be the
characteristic function of µn . If µ̂n → g a.e. and {µn } is bounded and tight, then there exists a signed
measure such that µ̂ = g and µn ⇒ g.
Lemma 3.2. Let ϕX (θ) be a signed integer-valued infinitely divisible characteristic function. Then ϕX (θ) 6=
0 for all θ.

1
2 2n
Proof. Given n ∈ N and ϕX (θ), if X is signed integer-valued infinitely divisible then ϕX (θ) = |ϕXn (θ)|
where ϕXn (θ) is a characteristic function with signed probability. Note that
2

|ϕXn (θ)| = ϕXn (θ)ϕ̄Yn (θ) = EeiθXn Ee−iθYn = Eeiθ(Xn −Yn ) ,
d

where Xn = Yn , is also a characteristic function with signed probability. Let
(
1, if ϕX (θ) 6= 0,
2
ψ(θ) = lim |ϕXn (θ)| =
n→∞
0, if ϕX (θ) = 0.
2

The function ϕX (θ) is continuous in θ for all θ and ϕX (0) = 1, so too is |ϕXn (θ)| = [ϕX (θ)]2n . By the
continuity theorem for signed characteristic functions, ψ(θ) is a signed characteristic function and ψ(0) = 1.
Since ϕX (θ) is continuous for all θ, so is ψ(θ). Hence, ψ(θ) = 1 for all θ. The above statements show that
ϕX (θ) 6= 0 for every θ ∈ R.
The continuity theorem for signed characteristic functions can be used to deduce the general theorem
for signed integer-valued ID.
Theorem 3.1 (Characterization for signed integer-valued ID). An integer-valued distribution is signed
integer-valued infinitely divisible if and only if it is an integer-valued pseudo compound Poisson distribution.
Proof. Sufficiency: For every n ∈ N, ϕX (θ), if X is IPCP distributed, then
( ∞
)
∞
X 1
X
1
∆
(n)
kiθ
[ϕX (θ)] n = exp
αk λ(e − 1) =
pk ekiθ .
n
k=−∞

By the Lévy-Wiener theorem we have

∞
P
k=−∞

(n)

pk

k=−∞

< ∞. Hence, X is signed integer-valued ID.

Necessity: Lemma 3.2 says that the characteristic function of a signed integer-valued ID r.v. X never vanishes. Judging from the Lévy-Wiener theorem, any characteristic function with no zeros is the characteristic
function of an IPCP distribution. Therefore X is IPCP distributed.
4. Some bizarre properties of DCP related to signed r.v.
Ruzsa and Székely (1983) proves a theorem related to signed random variables and Székely (2005) gives
the following result.
Proposition 4.1 (Construction of signed random variables). If f ∈ L1 and ∫ f dω > 0, then one can find
a g ∈ L1+ with g 6≡ 0 such that f ∗ g ∈ L1 + , where L1+ is the set of all non-negative integrable functions.
Moreover, we can choose g such that its Fourier transform is always positive.
12

Proposition 4.2 (Fundamental theorem of negative probability). If a random variable R has a negative
probability density, then there exist two other independent random variables Y, Z with ordinary (not negative)
distributions such that R + Y = Z in distribution, where the operation + is under ‘convolutional plus’. Thus
R can be seen as the ‘difference’ of two ordinary random variables.
This fact gives a new explanation for why some αk may be negative by Theorem 2.1. Let ϕR (θ), ϕY (θ),
and ϕZ (θ) be the corresponding characteristic functions in Proposition 4.2.
(n)
Then we have ϕR (θ)ϕY (θ) = ϕZ (θ). If R is integer-valued quasi ID, then ϕR (θ) = [ϕR (θ)]n and
(n)
ϕR (θ) 6≡ 0, so we have
(n)

ϕR (θ)

∞
X

bnk eikθ =

k=1

∞
X

ank eikθ and

k=1

∞
X

bnk eikθ 6≡ 0,

k=1

from Proposition 4.1. Hence,

ϕR (θ) =

(n)
[ϕR (θ)]n

=

∞
P

k=1
∞
P

ank e

ikθ

n
exp

∞
P

exp

k=1
∞
P



n =
bnk

eikθ

k=1

k=1
0
00
where vnk
and vnk
are non-negative. They satisfy

∞
P
k=1

0
vnk
eikθ
00 eikθ
vnk


(
 = exp

∞
X

)
0
(vnk

−

00
vnk
)eikθ

,

k=1

0
00
|vnk
− vnk
| < ∞ because

∞
P

ank eikθ and

k=1

∞
P

bnk eikθ

k=1

both have no zero, and the Lévy-Wiener theorem makes sense.
For those r.v.’s X whose characteristic function can be written as ϕ(θ) = eη(θ) , the Jørgensen set Λ(X)
of positive reals (see Jørgensen (1997)) is defined by
Λ(X) = {λ > 0 : eλη(θ) is a characteristic function}.
Albeverio et al. (1998) deduces the following two Propositions.
Proposition 4.3. Λ(X) is a semigroup containing 1. Furthermore, Λ(X) is closed in (0,∞).
Proposition 4.4. Let S ⊂ (0, ∞) be a closed semigroup with 1 ∈ S. Then,
(1) Either S = (0, ∞) or S ⊂ [λ, ∞) for some λ > 0.
(2) If the interior of S is non-empty, then S ⊃ [λ, ∞) for some λ, 0 < λ < ∞.
Here we show an example. Suppose there exists a negative ak in
( ∞
)
X
ikθ
ϕ(θ) = exp λ
αk (e − 1) .
k=1

According to Corollary 4.2 below, for λ > 0 sufficiently small, ϕ(θ) cannot be a characteristic function. It
is evident that [ϕ(θ)]λ is still a characteristic function since λ ∈ N \ {0} implies N \ {0} ⊂ Λ(X). Given
the independent convolution of a Bernoulli r.v. and a Gamma distributed r.v. X + Y , where X, Y is nondegenerate, Nahla and Afif (2011) find the set Λ(X + Y ). If X and Y are non-degenerate independent
r.v.’s which have respectively Bernoulli and negative binomial distributions, Letac et al. (2002) find the set
Λ(X + Y ). Nakamura (2013) gives a signed discrete infinitely divisible characteristic function ϕ(θ) such that
[ϕ(θ)]u , u ∈ R, is not a characteristic function except for the non-negative integers. To find the Jørgensen
set of a signed discrete ID characteristic function or a quasi ID distribution defined by Lévy-Khinchine
representation with signed Lévy measure (1) is a research problem.
Here we show that the Jørgensen set of signed discrete infinitely divisible Bernoulli r.v.’s X is N.
Corollary 4.1. Let GX (z) = p + (1 − p)z be the p.g.f., where p > 0.5. Then the Jørgensen set is N.
13

Proof. Trivially, N belongs to the Jørgensen set of X. It remains to show that r ∈ (0, ∞]\N cannot be in
the Jørgensen set. From Taylor’s formula, we have
"

i # X
∞
∞
X
1 1−p
∆
r
r
zi =
[p + (1 − p)z] = p 1 +
ci z i .
r(r − 1) · · · (r − i + 1) ·
i!
p
i=0
i=1
For each r < i − 1, i = 2, 3, . . . , we consider two cases: (i) if there exists an i such that ci < 0, then the
result follows; (ii) if there exists an i such that ci > 0, note that

i

i+1
1
1−p
1 1−p
and ci+1 = r(r − 1) · · · (r − i) ·
.
ci = r(r − 1) · · · (r − i + 1) ·
i!
p
(i + 1)!
p


1−p
ci
< 0 since r − i + 1 < 0.
Then ci+1 = (i+1)(r−i+1)
p

Corollary 4.2. If there exists a negative αk in (4), then ϕX (θ) = exp

∞
P


αk λ(eikθ − 1) is not a char-

k=1

acteristic function for λ > 0 sufficiently small.
Pm
λ→0 λ

Proof. The p.m.f. of X is (5). For m > 1, we have lim

= αm < 0. This is in contradiction of the fact

that Pm /λ > 0.
Remark 4 This theorem shows that we should not replace X by X(t) for t ∈ [0, t) (namely, replace λ
by λt) in (4) to have the DPCP process. The DPCP processes have a strange property that the t can only
belong to the set Λ(X) which have semigroup properties.
It is well-known that Poisson processes are characterized by stationary and independent increments.
Proposition 4.5 (Axioms for the Poisson process). If a nonnegative integer-valued process {X(t), t ≥ 0}
satisfies the following conditions:
(i) Initial condition X(0) = 0 and 0 < P(X(t) > 0) < 1.
(ii) X(t) has stationary increments.
(iii) X(t) has independent increments.
(iv) Let discrete probability mass be given by Pi (t) = P( X(t) = i| X(0) = 0), with the probability of 1 and
∞
P
i > 2 events taking place in [t, ∆t + t) given by P1 (∆t) = λ∆t + o(∆t) and
Pi (∆t) = o(∆t),
i=2

respectively.
Then {X(t), t ≥ 0} is a Poisson process.
Proposition 4.6 (Axioms for the discrete compound Poisson process). If a nonnegative integer-valued
process {X(t), t ≥ 0} satisfies each of (i)–(iii) in Proposition 4.5 and in addition satisfies
(iv) Pk (∆t) = αk λ∆t + o(∆t) where

∞
P

αk = 1 and 0 ≤ αk ≤ 1,

k=1

then {X(t), t ≥ 0} is a discrete compound Poisson process.
Proposition 4.5 is called the Bateman theorem, see Section 2.3 of Haight (1967). The processes in
Proposition 4.6 can be seen in Section 3.8 of Haight (1967), where they are known as stuttering Poisson
processes. For the case discrete r.v., Jánossy et al. (1950) extended axioms for the Poisson process to
Proposition 4.6. We may ask if there exist similar extensions of Proposition 4.6 to DPCP processes. As the
contradiction in the proof of Corollary 4.2 shows, if some ak in (3) are negative, this will yield Pk (∆t) =
14

αk λ∆t + o(∆t) < 0. However, Pk (∆t) must be non-negative. So there are not DPCP processes X(t) on
t ∈ [0, +∞) as some ak in (3) are negative.
To avoid the above contradictions, we highlight a strange property of DPCP processes on the semigroup
Λ(X).
The properties of discrete pseudo compound Poisson: The DPCP process {X(t), t ∈ Λ(X)} satisfies the
following conditions:
(i) Initial condition X(t0 ) = 0, where t0 = inf{λ > 0 : [λ, ∞) ⊂ Λ(X)} and 0 < P(X(t) > 0) < 1.
(ii) X(t) has stationary increments.
(iii) X(t) has independent increments.
5. Conclusion and comment
It was the great mathematician Leopold Kronecker who once said, “God made the integers; all else is the
work of man.” It is in the spirit of that proverb that the present work deals with discrete(integer-valued)
r.v..
Feller’s characterization of discrete ID (namely, non-negative integer-valued infinitely divisible distributions) says that a distribution is discrete ID if and only if it is discrete compound Poisson. Further, we
define the discrete pseudo compound Poisson (DPCP) distribution whose p.g.f. has the exponential polynomial form eP (z) , where P (z) may contain negative coefficients (except coefficient P (0)). Using the definition
of generalized infinitely divisible, then, we have an extension of Feller’s characterization which is that a distribution is discrete quasi-ID if and only if it is discrete pseudo compound Poisson, which is made possible
by Prohorov’s theorem for bounded and tight signed measures. This theorem could be applied to the continuity theorem for p.g.f.’s with negative coefficients, or the continuity theorem for characteristic functions
with signed
 measure.

∞
P
If exp λ
αk (eikθ − 1) is characteristic function, the parameter λ can not tend to 0 when some αk
k=1

take negative values. This property is related to a characteristic function’s Jørgensen set, which is the set
such that the positive real power of the characteristic function maintains as a characteristic function. It
is easy to see that the Jørgensen set of an infinitely divisible characteristic function is R+ . To find the
Jørgensen set of a quasi-infinitely divisible characteristic function is an open problem; there are only some
special cases of Jørgensen sets in the literature, see Nakamura (2013), Nahla and Afif (2011), Letac et al.
(2002), Albeverio et al. (1998).
6. Acknowledgments
The authors want to thank Prof. Székely, G. J. for his helpful suggestion. This work was partly
supported by the National Natural Science Foundation of China (No.11201165). After Zhang and Li (2016)
was accepted in Feb 2014, the first edition manuscript of this work was originally written by studying some
concepts and references in Sato (2014). More theoretical results of quasi-infinitely divisible distributions can
be found in recent manuscript Lindner, Pan and Sato (2017).
7. References
References
Albeverio, S., Gottschalk, H., Wu, J. L. (1998). Partly divisible probability distributions. Forum Mathematicum, 10(6), 687–698.
Baez-Duarte, L. (1993). Central limit theorem for complex measures. Journal of Theoretical Probability, 6(1), 33–56.
Baishanski, B. (1998). Norms of powers and a central limit theorem for complex-valued probabilities. In Analysis of Divergence
(pp. 523-543). Birkhäuser, Boston.
Beghin, L., Macci, C. (2014). Fractional discrete processes: compound and mixed Poisson representations. Journal of Applied
Probability, 51,19–36.

15

Beurling, A. (1938). Sur les intgrales de Fourier absolument convergentes et leur applicationa une transformation fonctionnelle.
In Ninth Scandinavian Mathematical Congress (pp. 345-366).
Beurling, A., Helson, H. (1953). Fourier-Stieltjes transforms with bounded powers. Mathematica Scandinavica, 1, 120-126.
Buchmann, B., Grübel, R. (2003). Decompounding: an estimation problem for Poisson random sums. The Annals of Statistics,
31(4), 1054–1074.
Bogachev, V. I. (2007). Measure theory (Vol. II.). Springer, Berlin.
Chaumont, L., Yor, M. (2012). Exercises in Probability: a guided tour from measure theory to random processes, via conditioning, Second edition. Cambridge University Press.
Demni, N., Mouayn, Z. (2015). Analysis of generalized Poisson distributions associated with higher Landau levels. Infinite
Dimensional Analysis, Quantum Probability and Related Topics, 18(04), 1550028.
Feller, W. (1968).An introduction to probability theory and its applications,Vol. I. 3ed., Wiley, New York.
Feller, W. (1971).An introduction to probability theory and its applications,Vol. II. 2ed., Wiley, New York.
Haight, F. A. (1967). Handbook of the Poisson distribution, Wiley, Los Angeles.
Hürlimann, W. (1990). Pseudo compound Poisson distributions in risk theory. ASTIN Bulletin, 20(1), 57–79.
Itô, K. (2004). Stochastic processes: Lectures given at Aarhus University. Springer, Berlin.
Jánossy, L., Rényi, A., Aczél, J. (1950). On composed Poisson distributions, I. Acta Mathematica Hungarica, 1(2), 209–224.
Johnson, N. L., Kemp, A. W., Kotz S. (2005). Univariate Discrete Distributions, 3ed. Wiley, New Jersey.
Jørgensen, B.(1997). The theory of dispersion models. Chapman & Hall, London.
Karymov, D. N. (2005). On the decomposition of lattice distributions into convolutions of Poisson signed measures. Theory of
Probability & Its Applications, 49(3), 545-552.
Kemp, A. W. (1979). Convolutions involving binomial pseudo-variables. Sankhya: The Indian Journal of Statistics, Series A,
232–243.
Kerns, G. J. (2004). Signed measures in exchangeability and infinite divisibility (Doctoral dissertation, Bowling Green State
University).
Laskin, N. (2003). Fractional Poisson process. Communications in Nonlinear Science and Numerical Simulation, 8(3), 201–213.
Letac, G., Malouche, D., Maurer, S. (2002). The real powers of the convolution of a negative binomial distribution and a
Bernoulli distribution. Proceedings of the American Mathematical Society, 130(7), 2107-2114.
Lévy, P. (1935). Sur la convergence absolue des séries de Fourier. Compositio Mathematica, 1, 1–14.
Lévy, P. (1937a). Théorie de l’addition des variables aléatoires. Gauthiers-Villars, Paris.
Lévy, P. (1937b). Sur les exponentielles de polynômes et sur l’arithmétique des produits de lois de Poisson. Annales scientifiques
de l’École Normale Supérieure, 54, 231–292.
Lindner, A., Pan, L., Sato, K. I. (2017). On quasi-infinitely divisible distributions. arXiv preprint arXiv:1701.02400.
Maceda, E. C. (1948). On the compound and generalized Poisson distributions. The Annals of Mathematical Statistics, 19(3),
414–416.
Meerschaert, M. M., Scheffler, H. P. (2001). Limit distributions for sums of independent random vectors: Heavy tails in theory
and practice. Wiley, New York.
Milne, R. K., Westcott, M. (1993). Generalized multivariate Hermite distributions and related point processes. Annals of the
Institute of Statistical Mathematics, 45(2), 367–381.
Nakamura, T. (2013). A quasi-infinitely divisible characteristic function and its exponentiation. Statistics & Probability Letters,
83(10), 2256–2259.
Nakamura, T. (2015). A complete Riemann zeta distribution and the Riemann hypothesis. Bernoulli, 21(1), 604-617.
Nahla, B. S., Afif, M. (2011). The real powers of the convolution of a gamma distribution and a Bernoulli distribution. Journal
of Theoretical Probability, 24(2), 450–453.
Popov, A. Y., Sedletskii, A. M. (2013). Distribution of roots of Mittag-Leffler functions. Journal of Mathematical Sciences,
190(2), 209–409.
Ruzsa, I. Z., Székely, G. J. (1983). Convolution quotients of nonnegative functions. Monatshefte für Mathematik, 95(3), 235–239.
Sato, K. (2013). Lévy processes and infinitely divisible distributions, Revised edition, Cambridge University Press, Cambridge.
Sato, K. (2014) Stochastic integrals with respect to Lévy processes and infinitely divisible distributions, Sugaku Expositions,
27, 19-42. http://ksato.jp/pdf/suga386.pdf
Székely, G. J. (2005). Half of a coin: negative probabilities. Wilmott Magazine, 66–68.
van Haagen, A. J. (1981). Finite signed measures on function spaces. Pacific Journal of Mathematics, 95(2), 467–482.
van Harn K.(1978). Classifying infinitely divisible distributions by functional equations. Amsterdam: Mathematisch.
Vellaisamy, P., Maheshwari, A. (2016). Fractional negative binomial and Polya processes. arXiv preprint arXiv:1306.2493, to
appear in Probability and Mathematical Statistics.
Zhang, H., Liu, Y., Li, B. (2014). Notes on discrete compound Poisson model with applications to risk theory. Insurance:
Mathematics and Economics, 59, 325-336.
Zhang, H., Li, B. (2016). Characterizations of discrete compound Poisson distributions. Communications in Statistics-Theory
and Methods, 45(22), 6789-6802.
Zygmund, A. (2002). Trigonometric series, third edition, Vol I,II. Cambridge University Press, Cambridge.

16

