A Dirichlet process is a probability distribution over probability measures. For concentration and base probability measure , write . Every finite measurable partition satisfieswith zero-base-mass cells assigned zero mass. Consequently and : larger concentration keeps random masses closer to the base measure.
For conditionally independent and identically distributed observations , the posterior isThis follows by Dirichlet-multinomial conjugacy on each partition. It supplies a tractable prior distribution for an unknown distribution without choosing a fixed-dimensional parameter family.[ref]
Draws are almost surely discrete on the usual standard Borel sample spaces, even when is continuous. A Dirichlet process prior on a mixing measure can still yield a continuous mixture density.
New to topics? Read the docs here!