Hyper Normalisation and Conditioning for Discrete Probability Distributions
Abstract
Normalisation in probability theory turns a subdistribution into a proper distribution. It is a partial operation, since it is undefined for the zero subdistribution. This partiality makes it hard to reason equationally about normalisation. A novel description of normalisation is given as a mathematically well-behaved total function. The output of this `hyper' normalisation operation is a distribution of distributions. It improves reasoning about normalisation. After developing the basics of this theory of (hyper) normalisation, it is put to use in a similarly new description of conditioning, producing a distribution of conditional distributions. This is used to give a clean abstract reformulation of refinement in quantitative information flow.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2016
- DOI:
- 10.48550/arXiv.1607.02790
- arXiv:
- arXiv:1607.02790
- Bibcode:
- 2016arXiv160702790J
- Keywords:
-
- Computer Science - Logic in Computer Science;
- 18C10;
- F.1.2;
- I.2.3
- E-Print:
- Logical Methods in Computer Science, Volume 13, Issue 3 (August 29, 2017) lmcs:2009