Chinese restaurant process
In probability theory, the Chinese restaurant process is a discrete-time stochastic process, analogous to seating customers at tables in a restaurant. Imagine a restaurant with an infinite number of circular tables, each with infinite capacity. Customer 1 sits at the first table. The next customer either sits at the same table as customer 1, or the next table. This continues, with each customer choosing to either sit at an occupied table with a probability proportional to the number of customers already there (i.e., they are more likely to sit at a table with many customers than few), or an unoccupied table. At time n, the n customers have been partitioned among m ≤ n tables (or blocks of the partition). The results of this process are exchangeable, meaning the order in which the customers sit does not affect the probability of the final distribution. This property greatly simplifies a number of problems in population genetics, linguistic analysis, and image recognition.
The restaurant analogy first appeared in a 1985 write-up by David Aldous,[1] where it was attributed to Jim Pitman (who additionally credits Lester Dubins).[2]
An equivalent partition process was published a year earlier by Fred Hoppe,[3] using an "urn scheme" akin to Pólya's urn. In comparison with Hoppe's urn model, the Chinese restaurant process has the advantage that it naturally lends itself to describing random permutations via their cycle structure, in addition to describing random partitions.
Formal definition
[edit]For any positive integer , let denote the set of all partitions of the set . The Chinese restaurant process takes values in the infinite Cartesian product .
The value of the process at time is a partition of the set , whose probability distribution is determined as follows. At time , the trivial partition is obtained (with probability one). At time the element "" is either:
- added to one of the blocks of the partition , where each block is chosen with probability where is the size of the block (i.e. number of elements), or
- added to the partition as a new singleton block, with probability .
The random partition so generated has some special properties. It is exchangeable in the sense that relabeling does not change the distribution of the partition, and it is consistent in the sense that the law of the partition of obtained by removing the element from the random partition is the same as the law of the random partition .
The probability assigned to any particular partition (ignoring the order in which customers sit around any particular table) is
where is a block in the partition and is the size of .
The definition can be generalized by introducing a parameter which modifies the probability of the new customer sitting at a new table to and correspondingly modifies the probability of them sitting at a table of size to . The vanilla process introduced above can be recovered by setting . Intuitively, can be interpreted as the effective number of customers sitting at the first empty table.
Alternative definition
[edit]An equivalent, but subtly different way to define the Chinese restaurant process, is to let new customers choose companions rather than tables.[4] Customer chooses to sit at the same table as any one of the seated customers with probability , or chooses to sit at a new, unoccupied table with probability . Notice that in this formulation, the customer chooses a table without having to count table occupancies---we don't need .
Distribution of the number of tables
[edit]Parameters |
| ||
---|---|---|---|
Support | |||
PMF | |||
Mean |
(see digamma function) |
The Chinese restaurant table distribution (CRT) is the probability distribution on the number of tables in the Chinese restaurant process.[5] It can be understood as the sum of independent Bernoulli random variables, each with a different parameter:
The probability mass function of is given by [6]
where denotes Stirling numbers of the first kind.
Two-parameter generalization
[edit]This construction can be generalized to a model with two parameters, & ,[2][7] commonly called the strength (or concentration) and discount parameters respectively. At time , the next customer to arrive finds occupied tables and decides to sit at an empty table with probability
or at an occupied table of size with probability
In order for the construction to define a valid probability measure it is necessary to suppose that either and for some ; or that and .
Under this model the probability assigned to any particular partition of , can be expressed in the general case (for any values of that satisfy the above-mentioned constraints) in terms of the Pochhammer k-symbol, as
where, the Pochhammer k-symbol is defined as follows: by convention, , and for
where is the rising factorial and is the falling factorial. It is worth noting that for the parameter setting where and , then , which evaluates to zero whenever , so that is an upper bound on the number of blocks in the partition; see the subsection on the Dirichlet-categorical model below for more details.
For the case when and , the partition probability can be rewritten in terms of the Gamma function as
In the one-parameter case, where is zero, and this simplifies to
Or, when is zero, and
As before, the probability assigned to any particular partition depends only on the block sizes, so as before the random partition is exchangeable in the sense described above. The consistency property still holds, as before, by construction.
If , the probability distribution of the random partition of the integer thus generated is the Ewens distribution with parameter , used in population genetics and the unified neutral theory of biodiversity.
Derivation
[edit]Here is one way to derive this partition probability. Let be the random block into which the number is added, for . Then
The probability that is any particular partition of the set is the product of these probabilities as runs from to . Now consider the size of block : it increases by one each time we add one element into it. When the last element in block is to be added in, the block size is . For example, consider this sequence of choices: (generate a new block )(join )(join )(join ). In the end, block has 4 elements and the product of the numerators in the above equation gets . Following this logic, we obtain as above.
Expected number of tables
[edit]For the one parameter case, with and , the number of tables is distributed according to the chinese restaurant table distribution. The expected value of this random variable, given that there are seated customers, is[9]
where is the digamma function. For the two-parameter case, for , the expected number of occupied tables is[7]
where is the rising factorial (as defined above).
The Dirichlet-categorical model
[edit]For the parameter choice and , where , the two-parameter Chinese restaurant process is equivalent to the Dirichlet-categorical model, which is a hierarchical model that can be defined as follows. Notice that for this parameter setting, the probability of occupying a new table, when there are already occupied tables, is zero; so that the number of occupied tables is upper bounded by . If we choose to identify tables with labels that take values in , then to generate a random partition of the set , the hierarchical model first draws a categorical label distribution, from the symmetric Dirichlet distribution, with concentration parameter . Then, independently for each of the customers, the table label is drawn from the categorical . Since the Dirichlet distribution is conjugate to the categorical, the hidden variable can be marginalized out to obtain the posterior predictive distribution for the next label state, , given previous labels
where is the number of customers that are already seated at table . With and , this agrees with the above general formula, , for the probability of sitting at an occupied table when . The probability for sitting at any of the unoccupied tables, also agrees with the general formula and is given by
The marginal probability for the labels is given by
where and is the rising factorial. In general, there are however multiple label states that all correspond to the same partition. For a given partition, , which has blocks, the number of label states that all correspond to this partition is given by the falling factorial, . Taking this into account, the probability for the partition is
which can be verified to agree with the general version of the partition probability that is given above in terms of the Pochhammer k-symbol. Notice again, that if is outside of the support, i.e. , the falling factorial, evaluates to zero as it should. (Practical implementations that evaluate the log probability for partitions via will return , whenever , as required.)
Relationship between Dirichlet-categorical and one-parameter CRP
[edit]Consider on the one hand, the one-parameter Chinese restaurant process, with and , which we denote ; and on the other hand the Dirichlet-categorical model with a positive integer and where we choose , which as shown above, is equivalent to . This shows that the Dirichlet-categorical model can be made arbitrarily close to , by making large.
Stick-breaking process
[edit]The two-parameter Chinese restaurant process can equivalently be defined in terms of a stick-breaking process.[10] For the case where and , the stick breaking process can be described as a hierarchical model, much like the above Dirichlet-categorical model, except that there is an infinite number of label states. The table labels are drawn independently from the infinite categorical distribution , the components of which are sampled using stick breaking: start with a stick of length 1 and randomly break it in two, the length of the left half is and the right half is broken again recursively to give . More precisely, the left fraction, , of the -th break is sampled from the beta distribution:
The categorical probabilities are:
For the parameter settings and , where is a positive integer, and where the categorical is finite: , we can sample from an ordinary Dirchlet distribution as explained above, but it can also be sampled with a truncated stick-breaking recipe, where the formula for sampling the fractions is modified to:
and .
The Indian buffet process
[edit]It is possible to adapt the model such that each data point is no longer uniquely associated with a class (i.e., we are no longer constructing a partition), but may be associated with any combination of the classes. This strains the restaurant-tables analogy and so is instead likened to a process in which a series of diners samples from some subset of an infinite selection of dishes on offer at a buffet. The probability that a particular diner samples a particular dish is proportional to the popularity of the dish among diners so far, and in addition the diner may sample from the untested dishes. This has been named the Indian buffet process and can be used to infer latent features in data.[11]
Applications
[edit]The Chinese restaurant process is closely connected to Dirichlet processes and Pólya's urn scheme, and therefore useful in applications of Bayesian statistics including nonparametric Bayesian methods. The Generalized Chinese Restaurant Process is closely related to Pitman–Yor process. These processes have been used in many applications, including modeling text, clustering biological microarray data,[12] biodiversity modelling, and image reconstruction [13][14]
See also
[edit]References
[edit]- ^ Aldous, D. J. (1985). "Exchangeability and related topics". École d'Été de Probabilités de Saint-Flour XIII — 1983. Lecture Notes in Mathematics. Vol. 1117. pp. 1–198. doi:10.1007/BFb0099421. ISBN 978-3-540-15203-3. The restaurant process is described on page 92.
- ^ a b Pitman, Jim (1995). "Exchangeable and Partially Exchangeable Random Partitions". Probability Theory and Related Fields. 102 (2): 145–158. doi:10.1007/BF01213386. MR 1337249. S2CID 16849229.
- ^ Hoppe, Fred M. (1984). "Pólya-like urns and the Ewens' sampling formula". Journal of Mathematical Biology. 20: 91–94.
- ^ Blei, David M.; Frazier, Peter I. (2011). "Distance Dependent Chinese Restaurant Processes" (PDF). Journal of Machine Learning Research. 12: 2461–2488.
- ^ Zhou, Mingyuan; Carin, Lawrence (2012). "Negative Binomial Process Count and Mixture Modeling". IEEE Transactions on Pattern Analysis and Machine Intelligence. 37 (2): 307–20. arXiv:1209.3442. Bibcode:2012arXiv1209.3442Z. doi:10.1109/TPAMI.2013.211. PMID 26353243. S2CID 1937045.
- ^ Antoniak, Charles E (1974). "Mixtures of Dirichlet processes with applications to Bayesian nonparametric problems". The Annals of Statistics. 2 (6): 1152–1174. doi:10.1214/aos/1176342871.
- ^ a b Pitman, Jim (2006). Combinatorial Stochastic Processes. Vol. 1875. Berlin: Springer-Verlag. ISBN 9783540309901. Archived from the original on 2012-09-25. Retrieved 2011-05-11.
- ^ "Dirichlet Process and Dirichlet Distribution -- Polya Restaurant Scheme and Chinese Restaurant Process".
- ^ Xinhua Zhang, "A Very Gentle Note on the Construction of Dirichlet Process", September 2008, The Australian National University, Canberra. Online: http://users.cecs.anu.edu.au/~xzhang/pubDoc/notes/dirichlet_process.pdf Archived April 11, 2011, at the Wayback Machine
- ^ Hemant Ishwaran and lancelot F. James (2001), "Gibbs Sampling Methods for Stick-Breaking Priors", Journal of the American Statistical Association, vol. 96, no. 543, March 2001. Online: https://www.jstor.org/stable/2670356
- ^ Griffiths, T.L. and Ghahramani, Z. (2005) Infinite Latent Feature Models and the Indian Buffet Process Archived 2008-10-31 at the Wayback Machine. Gatsby Unit Technical Report GCNU-TR-2005-001.
- ^ Qin, Zhaohui S (2006). "Clustering microarray gene expression data using weighted Chinese restaurant process". Bioinformatics. 22 (16): 1988–1997. doi:10.1093/bioinformatics/btl284. PMID 16766561.
- ^ White, J. T.; Ghosal, S. (2011). "Bayesian smoothing of photon-limited images with applications in astronomy" (PDF). Journal of the Royal Statistical Society, Series B (Statistical Methodology). 73 (4): 579–599. CiteSeerX 10.1.1.308.7922. doi:10.1111/j.1467-9868.2011.00776.x. S2CID 2342134.
- ^ Li, M.; Ghosal, S. (2014). "Bayesian multiscale smoothing of Gaussian noised images". Bayesian Analysis. 9 (3): 733–758. doi:10.1214/14-ba871.