Related papers: Coarse-graining and compounding as monads
This paper concerns a stochastic construction of probabilistic coherent spaces by employing novel ingredients (i) linear exponential comonads arising properly in the measure-theory (ii) continuous orthogonality between measures and…
Probability theory can be studied synthetically as the computational effect embodied by a commutative monad. In the recently proposed Markov categories, one works with an abstraction of the Kleisli category and then defines deterministic…
Electrostatic interactions between macroions largely govern the equilibrium thermodynamic and dynamical properties of charge-stabilized colloidal suspensions and polyelectrolyte solutions. Predicting the properties of such complex,…
We have proposed an efficient parameterization method for a recent variant of the Gay-Berne potential for dissimilar and biaxial particles and demonstrated it for a set of small organic molecules. Compared to the previously proposed…
A coarse-grained model is developed to allow large-scale molecular dynamics (MD) simulations of a branched polyetherimide derived from two backbone monomers [4,4'-bisphenol A dianhydride (BPADA) and m-phenylenediamine (MPD)], a chain…
Game comonads have brought forth a new approach to studying finite model theory categorically. By representing model comparison games semantically as comonads, they allow important logical and combinatorial properties to be exressed in…
We show how to coarse grain polymers in a good solvent as single particles, interacting with density-independent or density-dependent interactions. These interactions can be between the centres of mass, the mid-points or end-points of the…
We consider a bag (multiset) monad on the category of standard Borel spaces, and show that it gives a free measurable commutative monoid. Firstly, we show that a recent measurability result for probabilistic database queries (Grohe and…
Monads can be interpreted as encoding formal expressions, or formal operations in the sense of universal algebra. We give a construction which formalizes the idea of "evaluating an expression partially": for example, "2+3" can be obtained…
Granular convergence is a property of a granular pack as it is repeatedly sheared in a cyclic, quasistatic fashion, as the packing configuration changes via discrete events. Under suitable conditions the set of microscopic configurations…
We present the conceptual and technical background required to describe and understand the correlations and fluctuations of the empirical density and current of steady-state diffusion processes on all time scales -- observables central to…
In molecular dynamics and sampling of high dimensional Gibbs measures coarse-graining is an important technique to reduce the dimensionality of the problem. We will study and quantify the coarse-graining error between the coarse-grained…
Granular materials are involved in most industrial and environmental processes, as well as many civil engineering applications. Although significant advances have been made in understanding the statics and dynamics of cohesionless grains…
Coarse graining is a common imperfection of realistic quantum measurement, obstructing the direct observation of quantum features. Under highly coarse-grained measurement, we experimentally detect the continuous-variable nonclassicality of…
We study monads resulting from the combination of nondeterministic and probabilistic behaviour with the possibility of termination, which is essential in program semantics. Our main contributions are presentation results for the monads,…
The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are rapidly moving towards a level in which software becomes…
Shedding a new light in the coarse-graining scenario, in this contribution we came up with different necessary and sufficient conditions for the existence of a well-defined coarse-grained state. For doing so, we had to break apart with the…
Our everyday descriptions of the universe are highly coarse-grained, following only a tiny fraction of the variables necessary for a perfectly fine-grained description. Coarse graining in classical physics is made natural by our limited…
Conditioning, the central operation in Bayesian statistics, is formalised by the notion of disintegration of measures. However, due to the implicit nature of their definition, constructing disintegrations is often difficult. A folklore…
Computational effects may often be interpreted in the Kleisli category of a monad or in the coKleisli category of a comonad. The duality between monads and comonads corresponds, in general, to a symmetry between construction and…