Abstract

State spaces in probabilistic and quantum computation are convex sets, that is, Eilenberg–Moore algebras of the distribution monad. This article studies some computationally relevant properties of convex sets. We introduce the term effectus for a category with suitable coproducts (so that predicates, as arrows of the shape X → 1 + 1, form effect modules, and states, arrows of the shape 1 → X, form convex sets). One main result is that the category of cancellative convex sets is such an effectus. A second result says that the state functor is a “map of effecti”. We also define ‘normalisation of states’ and show how this property is closed related to conditional probability. This is elaborated in an example of probabilistic Bayesian inference.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AE80]
    Asimow, L., Ellis, A.: Convexity Theory and its Applications in Functional Analysis. Academic Press, New York (1980)MATHGoogle Scholar
  2. [BW85]
    Barr, M., Wells, C.: Toposes, triples and theories, vol. 278. Springer, New York (1985)MATHGoogle Scholar
  3. [BW11]
    Barnum, H., Wilce, A.: Information processing in convex operational theories. In: Coecke, B., Mackie, I., Panangaden, P., Selinger, P. (eds.) Proceedings of QPL/DCM 2008. Elect. Notes in Theor. Comp. Sci, vol. 270(2), pp. 3–15. Elsevier, Amsterdam (2008)Google Scholar
  4. [Flo81]
    Flood, J.: Semiconvex geometry. Journal of the Australiam Mathematical Society 30, 496–510 (1981)CrossRefMATHMathSciNetGoogle Scholar
  5. [Fri09]
    Fritz, T.: Convex spaces I: Definition and examples. arXiv preprint arXiv:0903.5522 (2009)Google Scholar
  6. [Gud73]
    Gudder, S.: Convex structures and operational quantum mechanics. Communic. Math. Physics 29(3), 249–264 (1973)CrossRefMathSciNetGoogle Scholar
  7. [Gud77]
    Gudder, S.: Convexity and mixtures. Siam Review 19(2), 221–240 (1977)CrossRefMATHMathSciNetGoogle Scholar
  8. [HZ12]
    Heinosaari, T., Ziman, M.: The mathematical language of quantum theory: from uncertainty to entanglement. AMC 10, 12 (2012)Google Scholar
  9. [Jac10]
    Jacobs, B.: Convexity, duality and effects. In: Calude, C.S., Sassone, V. (eds.) TCS 2010. IFIP AICT, vol. 323, pp. 1–19. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  10. [Jac14]
    Jacobs, B.: New directions in categorical logic, for classical, probabilistic and quantum logic. arXiv preprint arXiv:1205.3940v3 (2014)Google Scholar
  11. [Koc71a]
    Kock, A.: Bilinearity and cartesian closed monads. Mathematica Scandinavica 29, 161–174 (1971)MathSciNetGoogle Scholar
  12. [Koc71b]
    Kock, A.: Closed categories generated by commutative monads. Journal of the Australian Mathematical Society 12(04), 405–424 (1971)CrossRefMATHMathSciNetGoogle Scholar
  13. [Neu70]
    Neumann, W.D.: On the quasivariety of convex subsets of affine spaces. Archiv der Mathematik 21(1), 11–16 (1970)CrossRefMATHMathSciNetGoogle Scholar
  14. [Ś74]
    Świrszcz, T.: Monadic functors and categories of convex sets. PhD thesis, Polish Academy of Sciences (1974)Google Scholar
  15. [Sto49]
    Stone, M.: Postulates for the barycentric calculus. Annali di Matematica Pura ed Applicata 29(1), 25–30 (1949)CrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  1. 1.Institute for Computing and Information SciencesRadboud Universiteit NijmegenNijmegenThe Netherlands

Personalised recommendations