Related papers: Bundles of Probability Schemes
Probabilistic programs are a powerful and convenient approach to formalise distributions over system executions. A classical verification problem for probabilistic programs is temporal inference: to compute the likelihood that the execution…
In this paper, starting from a generalized coherent (i.e. avoiding uniform loss) intervalvalued probability assessment on a finite family of conditional events, we construct conditional probabilities with quasi additive classes of…
Evaluating joint probabilities of potential outcomes and observed variables, and their linear combinations, is a fundamental challenge in causal inference. This paper addresses the bounding and identification of these probabilities in…
Higher bundles are homotopy coherent generalisations of classical fibre bundles. They appear in numerous contexts in geometry, topology and physics. In particular, higher principal bundles provide the geometric framework for higher-group…
As inductive inference and machine learning methods in computer science see continued success, researchers are aiming to describe ever more complex probabilistic models and inference algorithms. It is natural to ask whether there is a…
In his book A Practical Theory of Programming, Eric Hehner proposes and applies a remarkably radical reformulation of set theory, in which the collection and packaging of elements are seen as separate activities. This provides for…
We tackle the problem of conditioning probabilistic programs on distributions of observable variables. Probabilistic programs are usually conditioned on samples from the joint data distribution, which we refer to as deterministic…
This paper presents a general and efficient framework for probabilistic inference and learning from arbitrary uncertain information. It exploits the calculation properties of finite mixture models, conjugate families and factorization. Both…
We study affine maps between affine manifolds. Even when the fibers are compact and diffeomorphic, two of them can inherit different affine structures from the source space. This leads to a fixed linear holonomy deformation theory of the…
We introduce the notion of locally trivial quantum principal bundles. The base space and total space are compact quantum spaces (unital $C^{\star}$-algebras), the structure group is a compact matrix quantum group. We prove that a quantum…
We study fiber bundles where the fibers are not a group $G$, but a free $G$-space with disjoint orbits. These bundles closely resemble principal bundles, hence we call them semi-principal bundles. The study of such bundles is facilitated by…
With any \emph{surjective rational map} $f: \mathbb{P}^n \dashrightarrow \mathbb{P}^n$ of the projective space we associate a numerical invariant (\emph{ML degree}) and compute it in terms of a naturally defined vector bundle $E_f…
We study the existence of a natural `linearisation' process for generalised connections on an affine bundle. It is shown that this leads to an affine generalised connection over a prolonged bundle, which is the analogue of what is called a…
A stratified space is a kind of topological space together with a partition into smooth manifolds. These kinds of spaces naturally arise in the study of singular algebraic varieties, symplectic reduction, and differentiable stacks. In this…
In this paper we prove geometric residue theorems for bundle maps over a compact manifold. The theory developed associates residues to the singularity submanifolds of the map for any invariant polynomial. The theory is then applied to a…
We show that the category of affine bundles over a smooth manifold M is equivalent to the category of affine spaces modelled on projective finitely generated C^\infty(M)-modules. Using this equivalence of categories, we are able to give an…
Mixture models have been around for over 150 years, as an intuitively simple and practical tool for enriching the collection of probability distributions available for modelling data. In this chapter we describe the basic ideas of the…
We study various methods to generate ensembles of random density matrices of a fixed size N, obtained by partial trace of pure states on composite systems. Structured ensembles of random pure states, invariant with respect to local unitary…
We introduce a natural concept of positive definiteness for bundle maps between Fell bundles over (possibly different) discrete groups and describe several examples. Such maps induce completely positive maps between the associated full…
We develop a notion of sampling, called \emph{generic sampling}, for the context of global Keisler measures where the standard product is replaced by the Morley product. Choosing a point randomly in this space with respect to our…