details of discrete distributions
algebraic; random variable or distribution
The DiscreteValueMap command returns technical details about the Maple implementation of discrete probability distributions.
Maple supports two types of probability distributions: continuous ones, which can assume a continuum of values (each individual value having probability 0), and discrete ones, which can assume a finite or countable set of values (each having positive probability). (It is possible to conceive of mixed distributions, which assume some values with positive probability and can also assume a continuum of values, but they do not occur too frequently in practice and Maple has no support for them.)
By default, discrete probability distributions assume only integer values, but some distributions can also assume non-integer values. One way to achieve this is to use the EmpiricalDistribution - currently the only pre-defined distribution that can be made to have non-integer values.
The other way to use discrete distributions that assume non-integer values is define them using the Distribution command with the option Type = discrete and specify a value for Support and DiscreteValueMap. This will be the subject of the remainder of this help page.
For this approach, Maple needs a way to generate the values that the distribution can assume. This is provided by the Support and DiscreteValueMap arguments. In particular, Support specifies a range of integers, and DiscreteValueMap specifies a mapping, so that applying DiscreteValueMap to this range of integers yields all possible values of the distribution.
For example, consider the distribution that assumes value 13 with probability 12, value 19 with probability 14, and generally value 3−n with probability 2−n for positive integers n. (These probabilities sum to 1, which is necessary for it to be a valid distribution.) We could specify these values as Support=1..∞, DiscreteValueMap=n↦3−n.
For technical reasons, correct results for Maple's calculations can only be guaranteed if DiscreteValueMap is either strictly ascending or strictly descending. (As a consequence, it is impossible to, for example, specify a set of values that are dense in an open interval.)
When used as a separate command, using the calling sequences shown above, DiscreteValueMap evaluates the discrete value map of the given random variable at the parameter n. If the DiscreteValueMap is not defined for this random variable, DiscreteValueMap returns FAIL.
Apart from specifying these values, we will still need to specify the probabilities. These are typically given by specifying the ProbabilityFunction.
The ProbabilityFunction can have nonzero values at values outside the Support generated values; these nonzero values are ignored. This is also true for distributions assuming only integer values; for example, the GeometricDistribution has a ProbabilityFunction equal to n↦0n<0p⋅1−pnotherwise. This is nonzero for, for example, n=32, but this value is ignored. Similarly, when a DiscreteValueMap is given, then the ProbabilityFunction can be nonzero outside images of the DiscreteValueMap - that is, at values the distribution cannot actually assume. The reasons will be illustrated by the continued example from above.
In the previous example, we would specify ProbabilityFunction=t↦0t≤02log3⁡tt≤130otherwise. It would be cumbersome to specify a probability function that is nonzero only at negative powers of 3; but we do not need to, since only the values at images of the DiscreteValueMap are relevant.
The example described in the text above looks like this:
pf ≔ t→piecewise⁡t≤0,0,t<1,2log3⁡t,0
dist ≔ Distribution⁡'ProbabilityFunction'=pf,'Support'=1..∞,'DiscreteValueMap'=n→3−n,'Type=discrete'
dist ≔ moduleoptionDistribution,Discrete;exportSupport,ProbabilityFunction,Conditions,DiscreteValueMap;end module
The normal distribution is continuous; it does not have a DiscreteValueMap. The geometric distribution is discrete, but it necessarily assumes integer values, so it also does not have a DiscreteValueMap.
The EmpiricalDistribution does have a DiscreteValueMap. It enumerates the values in sorted order.
X ≔ RandomVariable⁡EmpiricalDistribution⁡1,Pi,2,2,−5
The Statistics[DiscreteValueMap] command was introduced in Maple 16.
For more information on Maple 16 changes, see Updates in Maple 16.
Download Help Document