Skip to yearly menu bar Skip to main content


Poster

On the (In)tractability of Computing Normalizing Constants for the Product of Determinantal Point Processes

Naoto Ohsaka · Tatsuya Matsuoka

Keywords: [ Approximate Inference ] [ Monte Carlo Methods ] [ Probabilistic Inference - Approximate, Monte Carlo, and Spectral Methods ]


Abstract: We consider the product of determinantal point processes (DPPs), a point process whose probability mass is proportional to the product of principal minors of multiple matrices as a natural, promising generalization of DPPs. We study the computational complexity of computing its normalizing constant, which is among the most essential probabilistic inference tasks. Our complexity-theoretic results (almost) rule out the existence of efficient algorithms for this task, unless input matrices are forced to have favorable structures. In particular, we prove the following: (1) Computing Sdet(\matAS,S)pSdet(\matAS,S)p exactly for every (fixed) positive even integer pp is UP-hard and Mod3P-hard, which gives a negative answer to an open question posed by Kulesza and Taskar (2012). (2) Sdet(\matAS,S)det(\matBS,S)det(\matCS,S)Sdet(\matAS,S)det(\matBS,S)det(\matCS,S) is NP-hard to approximate within a factor of 2O(|I|1ϵ)2O(|I|1ϵ) for any ϵ>0ϵ>0, where |I||I| is the input size. This result is stronger than #P-hardness for the case of two matrices by Gillenwater (2014). (3) There exists a kO(k)|I|O(1)kO(k)|I|O(1)-time algorithm for computing Sdet(\matAS,S)det(\matBS,S)Sdet(\matAS,S)det(\matBS,S), where kk is the maximum rank of \matA\matA and \matB\matB'' or the treewidth of the graph formed by nonzero entries of \matA\matA and \matB\matB.'' Such parameterized algorithms are said to be fixed-parameter tractable.

Chat is not available.