A priori probability
An a priori probability is a probability that is derived purely by deductive reasoning.[1] One way of deriving a priori probabilities is the principle of indifference, which has the character of saying that, if there are N mutually exclusive and collectively exhaustive events and if they are equally likely, then the probability of a given event occurring is 1/N. Similarly the probability of one of a given collection of K events is K / N.
One disadvantage of defining probabilities in the above way is that it applies only to finite collections of events.
In Bayesian inference, "uninformative priors" or "objective priors" are particular choices of a priori probabilities.[2] Note that "prior probability" is a broader concept.
Similar to the distinction in philosophy between a priori and a posteriori, in Bayesian inference a priori denotes general knowledge about the data distribution before making an inference, while a posteriori denotes knowledge that incorporates the results of making an inference.[3]
A priori probability in statistical mechanics
The a priori probability has an important application in statistical mechanics. The classical version is defined as the ratio of the number of elementary events (e.g. the number of times a die is thrown) to the total number of events. In the case of the die, each elementary event has the same probability—thus the probability of each outcome of throwing a (perfect) die is 1/6. Each face of the die appears with equal probability—probability being a measure defined for each elementary event.
In statistical mechanics, e.g. that of a gas contained in a finite volume , both the spatial coordinates and the momentum coordinates of the individual gas elements (atoms or molecules) are finite in the phase space spanned by these coordinates. In analogy to the case of the die, the a priori probability is here (in the case of a continuum) proportional to the phase space volume element divided by , and is the number of standing waves (i.e. states) therein, where is the range of the variable and is the range of the variable (here for simplicity considered in one dimension). In 1 dimension (length ) this number or statistical weight or a priori weighting is . In customary 3 dimensions (volume ) the corresponding number can be calculated to be [4]. In view of the uncertainty relation, which in 1 spatial dimension is
- ,
these states are indistinguishable (i.e. these states do not carry labels). An important consequence is a result known as Liouville's theorem, i.e. the time independence of this phase space volume element and thus of the a priori probability. A time dependence of this quantity would imply known information about the dynamics of the system, and hence would not be an a priori probability.[5] Thus the region
when differentiated with respect to time yields zero (with the help of Hamilton's equations): The volume at time is the same as at time zero. One describes this also as conservation of information. In quantum mechanics one has an analogous conservation law. In this case, the phase space region is replaced by a subspace of the space of states expressed in terms of a projection operator , and instead of the probability in phase space, one has the probability density
where is the dimensionality of the subspace. The conservation law in this case is expressed by the unitarity of the S-matrix. In either case, the considerations assume a closed isolated system.
Example
The following example illustrates the a priori probability (or a priori weighting) in (a) classical and (b) quantal contexts.
(a) Classical a priori probability
Consider the rotational energy E of a diatomic molecule with moment of inertia I in spherical polar coordinates , i.e.
The -curve for constant E and is an ellipse of area
- .
By integrating over and the total volume of phase space covered for constant energy E is
- ,
and hence the number of states in the energy range is
- (phase space volume at ) minus (phase space volume at ) is given by
(b) Quantal a priori probability
Assuming that the number of quantum states in a range for each direction of motion is given, per element, by a factor , the number of states in the energy range dE is, as seen under (a) for the rotating diatomic molecule. From wave mechanics it is known that the energy levels of a rotating diatomic molecule are given by
each such level being (2n+1)-fold degenerate. By evaluating one obtains
Thus by comparison with above, one finds that the approximate number of states in the range dE is given by
In the case of the one-dimensional simple harmonic oscillator of natural frequency one finds correspondingly: (a) , and (b) (no degeneracy). Thus in quantum mechanics the a priori probability is effectively a measure of the degeneracy. In the case of the hydrogen atom or Coulomb potential (where the evaluation of the phase space volume for constant energy is more complicated) one knows that the quantum mechanical degeneracy is with . Thus in this case .
References
- ^ Mood A.M., Graybill F.A., Boes D.C. (1974) Introduction to the Theory of Statistics (3rd Edition). McGraw-Hill. Section 2.2 (available online)
- ^ E.g. Harold J. Price and Allison R. Manson, "Uninformative priors for Bayes’ theorem", AIP Conf. Proc. 617, 2001
- ^ Eidenberger, Horst (2014), Categorization and Machine Learning: The Modeling of Human Understanding in Computers, Vienna University of Technology, p. 109, ISBN 9783735761903.
- ^ H.J.W. Müller-Kirsten, Basics of Statistical Physics, 2nd. ed. World Scientific (Singapore, 2013), Chapter 6
- ^ A. Ben-Naim, Entropy Demystified, World Scientific (Singapore, 2007)