Declarative Modeling and Bayesian Inference of Dark Matter Halos

  • Gabriel Kronberger
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8111)


Probabilistic programming allows specification of probabilistic models in a declarative manner. Recently, several new software systems and languages for probabilistic programming have been developed in the on the basis of newly developed and improved methods for approximate inference in probabilistic models. In this contribution a probabilistic model for an idealized dark matter localization problem is described. We first derive the probabilistic model for the inference of dark matter locations and masses, and then show how this model can be implemented using BUGS and Infer.NET, two software systems for probabilistic programming. Finally, the different capabilities of both systems are discussed. The presented dark matter model includes mainly non-conjugate factors, thus, it is difficult to implement this model with Infer.NET.


Declarative Models Probabilistic Programming Bayesian Inference Dark Matter Localization 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Hansen, N., Ostermeier, A.: Completely derandomized self-adaptation in evolution strategies. Evolutionary Computation 9(2), 159–195 (2001)CrossRefGoogle Scholar
  2. 2.
    Hoffman, M.D., Gelman, A.: The No-U-Turn Sampler: Adaptively Setting Path Lengths in Hamiltonian Monte Carlo. ArXiv e-prints (November 2011)Google Scholar
  3. 3.
    Jullo, E., Kneib, J.P., Limousin, M., Eliasdottir, A., Marshall, P., Verdugo, T.: A Bayesian approach to strong lensing modelling of galaxy clusters. New Journal of Physics 9(447) (2007)Google Scholar
  4. 4.
    Kaiser, N., Squires, G.: Mapping the dark matter with weak gravitational lensing. Astrophysical Journal 404(2), 441–450 (1993)CrossRefGoogle Scholar
  5. 5.
    Lunn, D., Jackson, C., Best, N., Spiegelhalter, D.J., Thomas, A.: The BUGS book: A practical introduction to Bayesian analysis, vol. 98. Chapman & Hall (2012)Google Scholar
  6. 6.
    Lunn, D., Spiegelhalter, D., Thomas, A., Best, N.: The BUGS project: Evolution, critique and future directions. Statistics in Medicine 28(25), 3049–3067 (2009)MathSciNetCrossRefGoogle Scholar
  7. 7.
    Massey, R., Rhodes, J., Ellis, R., Scoville, N., Leauthaud, A., Finoguenov, A., Capak, P., Bacon, D., Aussel, H., Kneib, J.P., Koekemoer, A., McCracken, H., Mobasher, B., Pires, S., Refregier, A., Sasaki, S., Starck, J.L., Taniguchi, Y., Taylor, A., Taylor, J.: Dark matter maps reveal cosmic scaffolding. Nature 445, 286–290 (2007)CrossRefGoogle Scholar
  8. 8.
    McCallum, A., Schultz, K., Singh, S.: FACTORIE: Probabilistic programming via imperatively defined factor graphs. In: Neural Information Processing Systems (NIPS) (2009)Google Scholar
  9. 9.
    Minka, T.P., Winn, J., Guiver, J., Knowles, D.: Infer.NET 2.5. Microsoft Research Cambridge (2012),
  10. 10.
    Minka, T.P.: Expectation propagation for approximate Bayesian inference. In: Proceedings of the Seventeenth Conference on Uncertainty in Artificial Intelligence, pp. 362–369. Morgan Kaufmann Publishers Inc. (2001)Google Scholar
  11. 11.
    Neal, R.M.: MCMC using Hamiltonian dynamics. In: Brooks, S., Gelman, A., Jones, G.L., Meng, X.L. (eds.) Handbook of Markov Chain Monte Carlo, pp. 113–162. Chapman and Hall/CRC (2011)Google Scholar
  12. 12.
    Sato, T., Kameya, Y.: New advances in logic-based probabilistic modeling by PRISM. In: De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S. (eds.) ILP 2007. LNCS (LNAI), vol. 4911, pp. 118–155. Springer, Heidelberg (2008)Google Scholar
  13. 13.
    Stan Development Team: Stan: A C++ Library for Probability and Sampling, Version 1.3 (2013),
  14. 14.
    Wang, S., Wand, M.: Using infer.NET for statistical analyses. The American Statistician 65(2), 115–126 (2011)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Winn, J., Bishop, C.M.: Variational message passing. Journal of Machine Learning Research 6(1), 661 (2006)MathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Gabriel Kronberger
    • 1
  1. 1.School of Informatics, Communications and MediaUniversity of Applied Sciences Upper AustriaHagenbergAustria

Personalised recommendations