Probability Density Functions Attached to Random Euler Products for Automorphic <i>L</i>-Functions

Path-probability density functions for semi-Markovian random walks.

In random walks, the path representation of the Green's function is an infinite sum over the length of path probability density functions (PDFs). Recently, a closed-form expression for the Green's function of an arbitrarily inhomogeneous semi-Markovian random walk in a one-dimensional (1D) chain of L states was obtained by utilizing path-PDFs calculations. Here we derive and solve, in Laplace s...

Random Probability Functions

Probability Generating Functions for Sattolo’s Algorithm

In 1986 S. Sattolo introduced a simple algorithm for uniform random generation of cyclic permutations on a fixed number of symbols. Recently, H. Prodinger analysed two important random variables associated with the algorithm, and found their mean and variance. H. Mahmoud extended Prodinger’s analysis by finding limit laws for the same two random variables.The present article, starting from the ...

Products and Convolutions of Gaussian Probability Density Functions

A Verified Compiler for Probability Density Functions

Bhat et al. [1] developed an inductive compiler that computes density functions for probability spaces described by programs in a probabilistic functional language. In this work, we implement such a compiler for a modified version of this language within the theorem prover Isabelle and give a formal proof of its soundness w.r.t. the semantics of the source and target language. Together with Isa...