SearcharxivSearch

arXiv subjects

Faezeh Yazdi

Publications and source records attributed to Faezeh Yazdi.

4 recordsLinked to original sources

GPU-accelerated Bayesian inference for block-cave geometry recovery via muon tomography

We describe a Bayesian framework for the inverse problem of geometry recovery of block caving via muon tomography. We work with a low dimensional surface-based representation of the geometry of the block cave, which dramatically reduces the computational requirements of the model while allowing realistic geometries. Adopting a Bayesian approach, we define a prior distribution on the space of geometries that favors realistic cave shapes. Pairing this prior with a likelihood based on the muon tomography forward model, we obtain a posterior distribution over cave geometries using Bayes rule. We obtain approximate samples from this posterior distribution using Markov chain Monte Carlo algorithms running on GPUs, resulting in fast and accurate sampling. We test the fidelity of our methodology by applying it to a simulated block caving scenario for which the ground truth is known. Results show that our method produces sensible geometries that are simultaneously compatible with the data.

stat.AP

Non-Parametric Model Calibration with Stochastic Control Parameters

We present a method for calibrating a computer model using non-parametric techniques where the inputs are stochastic but include calibration parameters whose distributions are unknown and control parameters whose distributions are specified. Our solution gives a distributional estimate over the input space that is consistent with observed field data, while also preserving the distribution of the known marginal of the control parameters. This property is desirable since stochastic inputs often include physical processes affecting the experimental conditions, and a scientifically plausible calibration estimate should preserve well-established distributional properties of these inputs. The method builds on recently developed non-parametric computer model calibration techniques based on the disintegration of measure and Bayesian inference.

stat.ME

Deep Gaussian Process Emulation and Uncertainty Quantification for Large Computer Experiments

Computer models are used as a way to explore complex physical systems. Stationary Gaussian process emulators, with their accompanying uncertainty quantification, are popular surrogates for computer models. However, many computer models are not well represented by stationary Gaussian processes models. Deep Gaussian processes have been shown to be capable of capturing non-stationary behaviors and abrupt regime changes in the computer model response. In this paper, we explore the properties of two deep Gaussian process formulations within the context of computer model emulation. For one of these formulations, we introduce a new parameter that controls the amount of smoothness in the deep Gaussian process layers. We adapt a stochastic variational approach to inference for this model, allowing for prior specification and posterior exploration of the smoothness of the response surface. Our approach can be applied to a large class of computer models, and scales to arbitrarily large simulation designs. The proposed methodology was motivated by the need to emulate an astrophysical model of the formation of binary black hole mergers.

stat.ME

Prime M-Ideals, M-Prime Submodules, M-Prime Radical and M-Baer's Lower Nilradical of Modules

Let M be a fixed left R-module. For a left R-module X, we introduce the notion of M-prime (resp. M-semiprime) submodule of X such that in the case M=R, which coincides with prime (resp. semiprime) submodule of X. Other concepts encountered in the general theory are M-m-system sets, M-n-system sets, M-prime radical and M-Baer's lower nilradical of modules. Relationships between these concepts and basic properties are established. In particular, we identify certain submodules of M, called "prime M-ideals", that play a role analogous to that of prime (two-sided) ideals in the ring R. Using this definition, we show that if M satisfes condition H (defined latter) and Hom_R(M,X)\neq 0$ for all modules X in the category σ[M], then there is a one-to-one correspondence between isomorphism classes of indecomposable M-injective modules in σ[M] and prime M-ideals of M. Also, we investigate the prime M-ideals, M-prime submodules and M-prime radical of Artinian modules.

math.RA