An Auto-Validating, Trans-Dimensional, Universal Rejection Sampler for Locally Lipschitz Arithmetical Expressions
نویسندگان
چکیده
We introduce a trans-dimensional extension of the rejection sampler of von Neumann. Our interval analytic construction of the rejection sampler provides a universal method that is capable of producing exact samples from a large class of trans-dimensional target densities with locally Lipschitz arithmetical expressions. We illustrate the efficiency of the sampler by theory and by examples in up to ten dimensions. Our sampler is immune to the ‘pathologies’ of some infamous densities including the witch’s hat and can rigorously draw exact trans-dimensional posterior samples from small binomial partition models and phylogenetic tree spaces.
منابع مشابه
An Auto-validating Rejection Sampler for Differentiable Arithmetical Expressions: Posterior Sampling of Phylogenetic Quartets
We introduce an efficient extension of a recently introduced auto-validating rejection sampler that is capable of producing independent and identically distributed (IID) samples from a large class of target densities with locally Lipschitz arithmetical expressions. Our extension is restricted to target densities that are differentiable. We use the centered form, as opposed to the natural interv...
متن کاملAn Auto-validating Rejection Sampler
In Bayesian statistical inference and computationally intensive frequentist inference, one is interested in obtaining samples from a high dimensional, and possibly multi-modal target density. The challenge is to obtain samples from this target without any knowledge of the normalizing constant. Several approaches to this problem rely on Monte Carlo methods. One of the simplest such methods is th...
متن کاملAn effective optimization algorithm for locally nonconvex Lipschitz functions based on mollifier subgradients
متن کامل
Lipschitz selections of the diametric completion mapping in Minkowski spaces
We develop a constructive completion method in general Minkowski spaces, which successfully extends a completion procedure due to Bückner in twoand three-dimensional Euclidean spaces. We prove that this generalized Bückner completion is locally Lipschitz continuous, thus solving the problem of finding a continuous selection of the diametric completion mapping in finite dimensional normed spaces...
متن کاملFast computation of the ambiguity function and the Wigner distribution on arbitrary line segments
By using the fractional Fourier transformation of the time-domain signals, closed-form expressions for the projections of their auto or cross ambiguity functions are derived. Based on a similar formulation for the projections of the auto and cross Wigner distributions and the well known two-dimensional (2-D) Fourier transformation relationship between the ambiguity and Wigner domains, closed-fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Reliable Computing
دوره 18 شماره
صفحات -
تاریخ انتشار 2013