Showing 1–32 of 32 results for author: Powell, E

Stability of (sub)critical non-local spatial branching processes with and without immigration

Authors: Emma Horton, Andreas E. Kyprianou, Pedro Martín-Chávez, Ellen Powell, Victor Rivero

Abstract: We consider the setting of either a general non-local branching particle process or a general non-local superprocess, in both cases, with and without immigration. Under the assumption that the mean semigroup has a Perron-Frobenious type behaviour for the immigrated mass, as well as the existence of second moments, we consider necessary and sufficient conditions that ensure limiting distributional… ▽ More We consider the setting of either a general non-local branching particle process or a general non-local superprocess, in both cases, with and without immigration. Under the assumption that the mean semigroup has a Perron-Frobenious type behaviour for the immigrated mass, as well as the existence of second moments, we consider necessary and sufficient conditions that ensure limiting distributional stability. More precisely, our first main contribution pertains to proving the asymptotic Kolmogorov survival probability and Yaglom limit for critical non-local branching particle systems and superprocesses under a second moment assumption on the offspring distribution. Our results improve on existing literature by removing the requirement of bounded offspring in the particle setting [21] and generalising [43] to allow for non-local branching mechanisms. Our second main contribution pertains to the stability of both critical and sub-critical non-local branching particle systems and superprocesses with immigration. At criticality, we show that the scaled process converges to a Gamma distribution under a necessary and sufficient integral test. At subcriticality we show stability of the process, also subject to an integral test. In these cases, our results complement classical results for (continuous-time) Galton-Watson processes with immigration and continuous-state branching processes with immigration; see [22,40,42,48,51], among others. In the setting of superprocesses, the only work we know of at this level of generality is summarised in [34]. The proofs of our results, both with and without immigration, appeal to similar technical approaches and accordingly, we include the results together in this paper. △ Less

Submitted 7 July, 2024; originally announced July 2024.

Comments: 35 pages

MSC Class: 60J80; 60J25

Gaussian free field and Liouville quantum gravity

Authors: Nathanaël Berestycki, Ellen Powell

Abstract: Over fourty years ago, the physicist Polyakov proposed a bold framework for string theory, in which the problem was reduced to the study of certain "random surfaces". He further made the tantalising suggestion that this theory could be explicitly solved. Recent breakthroughs from the last fifteen years have not only given a concrete mathematical basis for this theory but also verified some of its… ▽ More Over fourty years ago, the physicist Polyakov proposed a bold framework for string theory, in which the problem was reduced to the study of certain "random surfaces". He further made the tantalising suggestion that this theory could be explicitly solved. Recent breakthroughs from the last fifteen years have not only given a concrete mathematical basis for this theory but also verified some of its most striking predictions, as well as Polyakov's original vision. This theory, now known in the mathematics literature either as Liouville quantum gravity or Liouville conformal field theory, is based on a remarkable combination of ideas coming from different fields, above all probability and geometry. This book is intended to be an introduction to these developments assuming as few prerequisites as possible. △ Less

Submitted 25 April, 2024; originally announced April 2024.

Comments: A book based on this material will be published by Cambridge University Press. This version is free to view and download for personal use only. Not for re-distribution, re-sale or use in derivative works. Copyright Nathanaël Berestycki and Ellen Powell, 2024

A kinetic-magnetohydrodynamic model with adaptive mesh refinement for modeling heliosphere neutral-plasma interaction

Authors: Yuxi Chen, Gabor Toth, Erick Powell, Talha Arshad, Ethan Bair, Marc Kornbleuth, Merav Opher

Abstract: The charge exchange between the interstellar medium (ISM) and the solar wind plasma is crucial for determining the structures of the heliosphere. Since both the neutral-ion and neutral-neutral collision mean free paths are either comparable to or larger than the size of the heliosphere, the neutral phase space distribution can deviate far away from the Maxwellian distribution. A kinetic descriptio… ▽ More The charge exchange between the interstellar medium (ISM) and the solar wind plasma is crucial for determining the structures of the heliosphere. Since both the neutral-ion and neutral-neutral collision mean free paths are either comparable to or larger than the size of the heliosphere, the neutral phase space distribution can deviate far away from the Maxwellian distribution. A kinetic description for the neutrals is crucial for accurately modeling the heliosphere. It is computationally challenging to run three-dimensional (3D) time-dependent kinetic simulations due to the large number of macro-particles. In this paper, we present the new highly efficient SHIELD-2 model with a kinetic model of neutrals and a magnetohydrodynamic (MHD) model for the ions and electrons. To improve the simulation efficiency, we implement adaptive mesh refinement (AMR) and particle splitting and merging algorithms for the neutral particles to reduce the particle number that is required for an accurate simulation. We present several tests to verify and demonstrate the capabilities of the model. △ Less

Submitted 18 March, 2024; originally announced March 2024.

An elementary approach to quantum length of SLE

Authors: Ellen Powell, Avelio Sepúlveda

Abstract: We present an elementary proof establishing the equality of the right and left-sided $\sqrtκ$-quantum lengths for an SLE$_κ$ curve, where $κ\in (0,4]$. We achieve this by demonstrating that the$\sqrtκ$-quantum length is equal to the $(\sqrtκ/2)$-Gaussian multiplicative chaos with reference measure given by half the conformal Minkowski content of the curve, multiplied by $2/(4-κ)$ for $κ\in (0,4)$… ▽ More We present an elementary proof establishing the equality of the right and left-sided $\sqrtκ$-quantum lengths for an SLE$_κ$ curve, where $κ\in (0,4]$. We achieve this by demonstrating that the$\sqrtκ$-quantum length is equal to the $(\sqrtκ/2)$-Gaussian multiplicative chaos with reference measure given by half the conformal Minkowski content of the curve, multiplied by $2/(4-κ)$ for $κ\in (0,4)$ and by $1$ for $κ=4$. Our proof relies on a novel "one-sided" approximation of the conformal Minkowski content, which is compatible with the conformal change of coordinates formula. △ Less

Submitted 6 March, 2024; originally announced March 2024.

Sampled Together: Assessing the Value of Simultaneous Co-located Measurements

Authors: C. E. Powell, Christopher S. Ruf, Scott Gleason, Scot C. R. Rafkin

Abstract: This work applies a quantitative metric well-known to the data assimilation community to a new context in order to capture the relative representativeness of non-simultaneous or non-co-located observations and quantify how these observations decorrelate in both space and time. This methodology allows for the effective determination of thresholding decisions for representative matchup conditions, a… ▽ More This work applies a quantitative metric well-known to the data assimilation community to a new context in order to capture the relative representativeness of non-simultaneous or non-co-located observations and quantify how these observations decorrelate in both space and time. This methodology allows for the effective determination of thresholding decisions for representative matchup conditions, and is especially useful for informing future network designs and architectures. Future weather and climate satellite missions must consider a range of architectural trades to meet observing requirements. Frequently, fundamental decisions such as the number of observatories, the instruments manifested, and orbit parameters are determined based upon assumptions about the characteristic temporal and spatial scales of variability of the target observation. With the introduced methodology, representativity errors due to separations in space and time can be quantified without prior knowledge of instrument performance, and errors driven by constellation design can be estimated without model ingest or analysis. △ Less

Submitted 1 August, 2023; originally announced August 2023.

Many-to-few for non-local branching Markov process

Authors: Simon C. Harris, Emma Horton, Ellen Powell, Andreas E. Kyprianou

Abstract: We provide a many-to-few formula in the general setting of non-local branching Markov processes. This formula allows one to compute expectations of k-fold sums over functions of the population at k different times. The result generalises [14] to the non-local setting, as introduced in [11] and [8]. As an application, we consider the case when the branching process is critical, and conditioned to s… ▽ More We provide a many-to-few formula in the general setting of non-local branching Markov processes. This formula allows one to compute expectations of k-fold sums over functions of the population at k different times. The result generalises [14] to the non-local setting, as introduced in [11] and [8]. As an application, we consider the case when the branching process is critical, and conditioned to survive for a large time. In this setting, we prove a general formula for the limiting law of the death time of the most recent common ancestor of two particles selected uniformly from the population at two different times, as t tends to infinity. Moreover, we describe the limiting law of the population sizes at two different times, in the same asymptotic regime. △ Less

Submitted 15 November, 2022; originally announced November 2022.

Comments: 29 pages, 3 figures

Efficient Adaptive Stochastic Collocation Strategies for Advection-Diffusion Problems with Uncertain Inputs

Authors: Benjamin M. Kent, Catherine E. Powell, David J. Silvester, Małgorzata J. Zimoń

Abstract: Physical models with uncertain inputs are commonly represented as parametric partial differential equations (PDEs). That is, PDEs with inputs that are expressed as functions of parameters with an associated probability distribution. Develo** efficient and accurate solution strategies that account for errors on the space, time and parameter domains simultaneously is highly challenging. Indeed, it… ▽ More Physical models with uncertain inputs are commonly represented as parametric partial differential equations (PDEs). That is, PDEs with inputs that are expressed as functions of parameters with an associated probability distribution. Develo** efficient and accurate solution strategies that account for errors on the space, time and parameter domains simultaneously is highly challenging. Indeed, it is well known that standard polynomial-based approximations on the parameter domain can incur errors that grow in time. In this work, we focus on advection-diffusion problems with parameter-dependent wind fields. A novel adaptive solution strategy is proposed that allows users to combine stochastic collocation on the parameter domain with off-the-shelf adaptive timestep** algorithms with local error control. This is a non-intrusive strategy that builds a polynomial-based surrogate that is adapted sequentially in time. The algorithm is driven by a so-called hierarchical estimator for the parametric error and balances this against an estimate for the global timestep** error which is derived from a scaling argument. △ Less

Submitted 12 May, 2023; v1 submitted 7 October, 2022; originally announced October 2022.

Comments: 33 pages, 19 figures. Revised version with additional numerical experiment

MSC Class: 65C20; 65M22; 65M15; 65M70

IFISS3D: A computational laboratory for investigating finite element approximation in three dimensions

Authors: Georgios Papanikos, Catherine E. Powell, David J. Silvester

Abstract: IFISS is an established MATLAB finite element software package for studying strategies for solving partial differential equations (PDEs). IFISS3D is a new add-on toolbox that extends IFISS capabilities for elliptic PDEs from two to three space dimensions. The open-source MATLAB framework provides a computational laboratory for experimentation and exploration of finite element approximation and err… ▽ More IFISS is an established MATLAB finite element software package for studying strategies for solving partial differential equations (PDEs). IFISS3D is a new add-on toolbox that extends IFISS capabilities for elliptic PDEs from two to three space dimensions. The open-source MATLAB framework provides a computational laboratory for experimentation and exploration of finite element approximation and error estimation, as well as iterative solvers. The package is designed to be useful as a teaching tool for instructors and students who want to learn about state-of-the-art finite element methodology. It will also be useful for researchers as a source of reproducible test matrices of arbitrarily large dimension. △ Less

Submitted 27 September, 2022; originally announced September 2022.

Comments: 15 pages, 8 figures

Thick points of the planar GFF are totally disconnected for all $γ\ne 0$

Authors: Juhan Aru, Léonie Papon, Ellen Powell

Abstract: We prove that the set of $γ$-thick points of a planar Gaussian free field (GFF) with Dirichlet boundary conditions is a.s. totally disconnected for all $γ\neq 0$. Our proof relies on the coupling between a GFF and the nested CLE$_4$. In particular, we show that the thick points of the GFF are the same as those of the weighted CLE$_4$ nesting field and establish the almost sure total disconnectedne… ▽ More We prove that the set of $γ$-thick points of a planar Gaussian free field (GFF) with Dirichlet boundary conditions is a.s. totally disconnected for all $γ\neq 0$. Our proof relies on the coupling between a GFF and the nested CLE$_4$. In particular, we show that the thick points of the GFF are the same as those of the weighted CLE$_4$ nesting field and establish the almost sure total disconnectedness of the complement of a nested CLE$_κ$, $κ\in (8/3,4]$. As a corollary we see that the set of singular points for supercritical LQG metrics is a.s. totally disconnected. △ Less

Submitted 9 September, 2022; originally announced September 2022.

SA-SASV: An End-to-End Spoof-Aggregated Spoofing-Aware Speaker Verification System

Authors: Zhongwei Teng, Quchen Fu, Jules White, Maria E. Powell, Douglas C. Schmidt

Abstract: Research in the past several years has boosted the performance of automatic speaker verification systems and countermeasure systems to deliver low Equal Error Rates (EERs) on each system. However, research on joint optimization of both systems is still limited. The Spoofing-Aware Speaker Verification (SASV) 2022 challenge was proposed to encourage the development of integrated SASV systems with ne… ▽ More Research in the past several years has boosted the performance of automatic speaker verification systems and countermeasure systems to deliver low Equal Error Rates (EERs) on each system. However, research on joint optimization of both systems is still limited. The Spoofing-Aware Speaker Verification (SASV) 2022 challenge was proposed to encourage the development of integrated SASV systems with new metrics to evaluate joint model performance. This paper proposes an ensemble-free end-to-end solution, known as Spoof-Aggregated-SASV (SA-SASV) to build a SASV system with multi-task classifiers, which are optimized by multiple losses and has more flexible requirements in training set. The proposed system is trained on the ASVSpoof 2019 LA dataset, a spoof verification dataset with small number of bonafide speakers. Results of SASV-EER indicate that the model performance can be further improved by training in complete automatic speaker verification and countermeasure datasets. △ Less

Submitted 24 March, 2022; v1 submitted 12 March, 2022; originally announced March 2022.

Comments: Update Experiment Results in ASV2019 protocol

Mating of trees for critical Liouville quantum gravity

Authors: Juhan Aru, Nina Holden, Ellen Powell, Xin Sun

Abstract: In a groundbreaking work, Duplantier, Miller and Sheffield showed that subcritical Liouville quantum gravity (LQG) coupled with Schramm-Loewner evolutions (SLE) can be described by the mating of two continuum random trees. In this paper, we consider the counterpart of their result for critical LQG and SLE, i.e., for the case when $γ^2=κ=16/κ=4$. We prove that as one sends $κ\downarrow 4$ in the su… ▽ More In a groundbreaking work, Duplantier, Miller and Sheffield showed that subcritical Liouville quantum gravity (LQG) coupled with Schramm-Loewner evolutions (SLE) can be described by the mating of two continuum random trees. In this paper, we consider the counterpart of their result for critical LQG and SLE, i.e., for the case when $γ^2=κ=16/κ=4$. We prove that as one sends $κ\downarrow 4$ in the subcritical setting, the space-filling SLE$_κ$ in a disk degenerates to the CLE$_4$ exploration introduced by Werner and Wu, along with a collection of i.i.d.\ coin tosses indexed by the branch points of the exploration. Furthermore, in the $κ=16/γ^2\downarrow 4$ limit, the pair of continuum random trees collapse into a single continuum random tree, and we observe that upon applying an appropriate affine transform to the encoding Brownian motions before taking the limit, we get convergence to a pair of independent Brownian motions $(A,B)$. The Brownian motion $A$ encodes the LQG distance from the CLE loops to the boundary of the disk, while the Brownian motion $B$ encodes the boundary lengths of the CLE$_4$ loops. In contrast to the subcritical setting, $(A,B)$ does not determine the CLE-decorated LQG surface. △ Less

Submitted 31 August, 2022; v1 submitted 1 September, 2021; originally announced September 2021.

A characterisation of the continuum Gaussian free field in $d \geq 2$ dimensions

Authors: Juhan Aru, Ellen Powell

Abstract: We prove that under certain mild moment and continuity assumptions, the $d$-dimensional Gaussian free field is the only stochastic process in $d\geq 2$ that is translation invariant, exhibits a certain scaling, and satisfies the usual domain Markov property. Our proof is based on a decomposition of the underlying functional space in terms of radial processes and spherical harmonics. We prove that under certain mild moment and continuity assumptions, the $d$-dimensional Gaussian free field is the only stochastic process in $d\geq 2$ that is translation invariant, exhibits a certain scaling, and satisfies the usual domain Markov property. Our proof is based on a decomposition of the underlying functional space in terms of radial processes and spherical harmonics. △ Less

Submitted 28 May, 2024; v1 submitted 12 March, 2021; originally announced March 2021.

Comments: Some small imprecisions and typos that were discovered in the published version are corrected; still no figures

MSC Class: 60G15; 60G60; 60J65

Density Wave Mediated Dzyaloshinskii-Moriya Interactions

Authors: Ian E. Powell, Steven Durr, Nicholas Rombes, Sudip Chakravarty

Abstract: We investigate the effect that density wave states have on the localized spins of a square lattice. We find that topologically nontrivial density wave states can induce stable Dzyaloshinskii-Moriya (DM) interactions among the localized spins of the lattice in the presence of an external magnetic field, and we study the resulting spin models for both antiferromagnetic and ferromagnetic backgrounds.… ▽ More We investigate the effect that density wave states have on the localized spins of a square lattice. We find that topologically nontrivial density wave states can induce stable Dzyaloshinskii-Moriya (DM) interactions among the localized spins of the lattice in the presence of an external magnetic field, and we study the resulting spin models for both antiferromagnetic and ferromagnetic backgrounds. While the density wave state itself can contribute to the the thermal Hall effect, as shown by Li & Lee (arXiv:1905.04248v3), symmetry considerations preclude the resulting spin excitations from inducing a further thermal Hall effect. We utilize a Holstein-Primakoff (HP) substitution about the classical mean-field ground state to calculate the magnon dispersion for LSCO and find that the density wave induces a weak $d_{x^2-y^2}$ anisotropy; upon calculating the non-Abelian Berry curvature for this magnon branch we show explicitly that the magnon contribution to $κ_{xy}$ is zero. Finally, we calculate corrections to the magnetic ground state energy, spin canting angles, and the spin-wave dispersion due to the topological density wave for ferromagnetic backgrounds. We find that terms linear in the HP bosons can affect the critical behavior, a point previously overlooked in the literature. △ Less

Submitted 22 July, 2020; originally announced July 2020.

Comments: 10 pages, 8 figures

Journal ref: Phys. Rev. B 103, 024433 (2021)

Critical Gaussian multiplicative chaos: a review

Authors: Ellen Powell

Abstract: This review-style article presents an overview of recent progress in constructing and studying critical Gaussian multiplicative chaos. A proof that the critical measure in any dimension can be obtained as a limit of subcritical measures is given. This review-style article presents an overview of recent progress in constructing and studying critical Gaussian multiplicative chaos. A proof that the critical measure in any dimension can be obtained as a limit of subcritical measures is given. △ Less

Submitted 2 July, 2020; v1 submitted 24 June, 2020; originally announced June 2020.

Comments: 32 pages. Review written following the Inhomogeneous Random Systems conference (Paris, 2020). Comments very welcome

Alternating Energy Minimization Methods for Multi-term Matrix Equations

Authors: Kook** Lee, Howard C. Elman, Catherine E. Powell, Dongeun Lee

Abstract: We develop computational methods for approximating the solution of a linear multi-term matrix equation in low rank. We follow an alternating minimization framework, where the solution is represented as a product of two matrices, and approximations to each matrix are sought by solving certain minimization problems repeatedly. The solution methods we present are based on a rank-adaptive variant of a… ▽ More We develop computational methods for approximating the solution of a linear multi-term matrix equation in low rank. We follow an alternating minimization framework, where the solution is represented as a product of two matrices, and approximations to each matrix are sought by solving certain minimization problems repeatedly. The solution methods we present are based on a rank-adaptive variant of alternating energy minimization methods that builds an approximation iteratively by successively computing a rank-one solution component at each step. We also develop efficient procedures to improve the accuracy of the low-rank approximate solutions computed using these successive rank-one update techniques. We explore the use of the methods with linear multi-term matrix equations that arise from stochastic Galerkin finite element discretizations of parameterized linear elliptic PDEs, and demonstrate their effectiveness with numerical studies. △ Less

Submitted 15 June, 2020; originally announced June 2020.

$(1+\varepsilon)$-moments suffice to characterise the GFF

Authors: Nathanaël Berestycki, Ellen Powell, Gourab Ray

Abstract: We show that there is "no stable free field of index $α\in (1,2)$", in the following sense. It was proved in a previous work by the authors, that subject to a \emph{fourth moment assumption}, any random generalised function on a domain $D$ of the plane, satisfying conformal invariance and a natural domain Markov property, must be a constant multiple of the Gaussian free field. In this article we s… ▽ More We show that there is "no stable free field of index $α\in (1,2)$", in the following sense. It was proved in a previous work by the authors, that subject to a \emph{fourth moment assumption}, any random generalised function on a domain $D$ of the plane, satisfying conformal invariance and a natural domain Markov property, must be a constant multiple of the Gaussian free field. In this article we show that the existence of $(1+\varepsilon)$-moments is sufficient for the same conclusion. A key idea is a new way of exploring the field, where (instead of looking at the more standard circle averages) we start from the boundary and discover averages of the field with respect to a certain "hitting density" of Itô excursions. △ Less

Submitted 9 December, 2020; v1 submitted 5 May, 2020; originally announced May 2020.

Lecture notes on the Gaussian Free Field

Authors: Wendelin Werner, Ellen Powell

Abstract: The Gaussian Free Field (GFF) in the continuum appears to be the natural generalisation of Brownian motion, when one replaces time by a multidimensional continuous parameter. The goal of these lecture notes is to describe some aspects of the continuum GFF and of its discrete counterpart defined on lattices, with the aim of providing a gentle self-contained introduction to some recent developments… ▽ More The Gaussian Free Field (GFF) in the continuum appears to be the natural generalisation of Brownian motion, when one replaces time by a multidimensional continuous parameter. The goal of these lecture notes is to describe some aspects of the continuum GFF and of its discrete counterpart defined on lattices, with the aim of providing a gentle self-contained introduction to some recent developments on this topic, such as the relation between the continuum GFF, Brownian loop-soups and the Conformal Loop Ensembles CLE(4). This is an updated and expanded version of the notes written by the first author for graduate courses at ETH Zürich. The exercises that are interspersed in the first half of these notes mostly originate from the exercise sheets prepared by the second author for this course in 2018. △ Less

Submitted 22 April, 2021; v1 submitted 9 April, 2020; originally announced April 2020.

Comments: Final version, 145 pages, to appear in the "Cours Spécialisés" series published by the Société Mathématique de France

Parameter-robust Stochastic Galerkin mixed approximation for linear poroelasticity with uncertain inputs

Authors: Arbaz Khan, Catherine E. Powell

Abstract: Linear poroelasticity models have a number of important applications in biology and geophysics. In particular, Biot's consolidation model is a well-known model that describes the coupled interaction between the linear response of a porous elastic medium and a diffusive fluid flow within it, assuming small deformations. Although deterministic linear poroelasticity models and finite element methods… ▽ More Linear poroelasticity models have a number of important applications in biology and geophysics. In particular, Biot's consolidation model is a well-known model that describes the coupled interaction between the linear response of a porous elastic medium and a diffusive fluid flow within it, assuming small deformations. Although deterministic linear poroelasticity models and finite element methods for solving them numerically have been well studied, there is little work to date on robust algorithms for solving poroelasticity models with uncertain inputs and for performing uncertainty quantification (UQ). The Biot model has a number of important physical parameters and inputs whose precise values are often uncertain in real world scenarios. In this work, we introduce and analyse the well-posedness of a new five-field model with uncertain and spatially varying Young's modulus and hydraulic conductivity field. By working with a properly weighted norm, we establish that the weak solution is stable with respect to variations in key physical parameters, including the Poisson ratio. We then introduce a novel locking-free stochastic Galerkin mixed finite element method that is robust in the incompressible limit. Armed with the `right' norm, we construct a parameter-robust preconditioner for the associated discrete systems. Our new method facilitates forward UQ, allowing efficient calculation of statistical quantities of interest and is provably robust with respect to variations in the Poisson ratio, the Biot--Willis constant and the storage coefficient, as well as the discretization parameters. △ Less

Submitted 14 March, 2020; originally announced March 2020.

Comments: 22 pages, 12 figures

MSC Class: 65N30; 65F08; 35R60

Conformal welding for critical Liouville quantum gravity

Authors: Nina Holden, Ellen Powell

Abstract: Consider two critical Liouville quantum gravity surfaces (i.e., $γ$-LQG for $γ=2$), each with the topology of $\mathbb{H}$ and with infinite boundary length. We prove that there a.s. exists a conformal welding of the two surfaces, when the boundaries are identified according to quantum boundary length. This results in a critical LQG surface decorated by an independent SLE$_4$. Combined with the pr… ▽ More Consider two critical Liouville quantum gravity surfaces (i.e., $γ$-LQG for $γ=2$), each with the topology of $\mathbb{H}$ and with infinite boundary length. We prove that there a.s. exists a conformal welding of the two surfaces, when the boundaries are identified according to quantum boundary length. This results in a critical LQG surface decorated by an independent SLE$_4$. Combined with the proof of uniqueness for such a welding, recently established by McEnteggart, Miller, and Qian (2018), this shows that the welding operation is well-defined. Our result is a critical analogue of Sheffield's quantum gravity zipper theorem (2016), which shows that a similar conformal welding for subcritical LQG (i.e., $γ$-LQG for $γ\in(0,2)$) is well-defined. △ Less

Submitted 28 October, 2020; v1 submitted 31 December, 2018; originally announced December 2018.

Comments: 27 pages, 3 figures. Minor changes

Surrogate Accelerated Bayesian Inversion for the Determination of the Thermal Diffusivity of a Material

Authors: James Rynn, Simon Cotter, Catherine E Powell, Louise Wright

Abstract: Determination of the thermal properties of a material is an important task in many scientific and engineering applications. How a material behaves when subjected to high or fluctuating temperatures can be critical to the safety and longevity of a system's essential components. The laser flash experiment is a well-established technique for indirectly measuring the thermal diffusivity, and hence the… ▽ More Determination of the thermal properties of a material is an important task in many scientific and engineering applications. How a material behaves when subjected to high or fluctuating temperatures can be critical to the safety and longevity of a system's essential components. The laser flash experiment is a well-established technique for indirectly measuring the thermal diffusivity, and hence the thermal conductivity, of a material. In previous works, optimization schemes have been used to find estimates of the thermal conductivity and other quantities of interest which best fit a given model to experimental data. Adopting a Bayesian approach allows for prior beliefs about uncertain model inputs to be conditioned on experimental data to determine a posterior distribution, but probing this distribution using sampling techniques such as Markov chain Monte Carlo methods can be incredibly computationally intensive. This difficulty is especially true for forward models consisting of time-dependent partial differential equations. We pose the problem of determining the thermal conductivity of a material via the laser flash experiment as a Bayesian inverse problem in which the laser intensity is also treated as uncertain. We introduce a parametric surrogate model that takes the form of a stochastic Galerkin finite element approximation, also known as a generalized polynomial chaos expansion, and show how it can be used to sample efficiently from the approximate posterior distribution. This approach gives access not only to the sought-after estimate of the thermal conductivity but also important information about its relationship to the laser intensity, and information for uncertainty quantification. We also investigate the effects of the spatial profile of the laser on the estimated posterior distribution for the thermal conductivity. △ Less

Submitted 27 November, 2018; originally announced November 2018.

Robust a posteriori error estimation for stochastic Galerkin formulations of parameter-dependent linear elasticity equations

Authors: Arbaz Khan, Alex Bespalov, Catherine E. Powell, David J. Silvester

Abstract: The focus of this work is a posteriori error estimation for stochastic Galerkin approximations of parameter-dependent linear elasticity equations. The starting point is a three-field PDE model in which the Young's modulus is an affine function of a countable set of parameters. We analyse the weak formulation, its stability with respect to a weighted norm and discuss approximation using stochastic… ▽ More The focus of this work is a posteriori error estimation for stochastic Galerkin approximations of parameter-dependent linear elasticity equations. The starting point is a three-field PDE model in which the Young's modulus is an affine function of a countable set of parameters. We analyse the weak formulation, its stability with respect to a weighted norm and discuss approximation using stochastic Galerkin mixed finite element methods (SG-MFEMs). We introduce a novel a posteriori error estimation scheme and establish upper and lower bounds for the SG-MFEM error. The constants in the bounds are independent of the Poisson ratio as well as the SG-MFEM discretisation parameters. In addition, we discuss proxies for the error reduction associated with certain enrichments of the SG-MFEM spaces and we use these to develop an adaptive algorithm that terminates when the estimated error falls below a user-prescribed tolerance. We prove that both the a posteriori error estimate and the error reduction proxies are reliable and efficient in the incompressible limit case. Numerical results are presented to validate the theory. All experiments were performed using open source (IFISS) software that is available online. △ Less

Submitted 17 October, 2018; originally announced October 2018.

Comments: 23 pages, 5 figures

Efficient adaptive multilevel stochastic Galerkin approximation using implicit a posteriori error estimation

Authors: Adam J. Crowder, Catherine E. Powell, Alex Bespalov

Abstract: Partial differential equations (PDEs) with inputs that depend on infinitely many parameters pose serious theoretical and computational challenges. Sophisticated numerical algorithms that automatically determine which parameters need to be activated in the approximation space in order to estimate a quantity of interest to a prescribed error tolerance are needed. For elliptic PDEs with parameter-dep… ▽ More Partial differential equations (PDEs) with inputs that depend on infinitely many parameters pose serious theoretical and computational challenges. Sophisticated numerical algorithms that automatically determine which parameters need to be activated in the approximation space in order to estimate a quantity of interest to a prescribed error tolerance are needed. For elliptic PDEs with parameter-dependent coefficients, stochastic Galerkin finite element methods (SGFEMs) have been well studied. Under certain assumptions, it can be shown that there exists a sequence of SGFEM approximation spaces for which the energy norm of the error decays to zero at a rate that is independent of the number of input parameters. However, it is not clear how to adaptively construct these spaces in a practical and computationally efficient way. We present a new adaptive SGFEM algorithm that tackles elliptic PDEs with parameter-dependent coefficients quickly and efficiently. We consider approximation spaces with a multilevel structure---where each solution mode is associated with a finite element space on a potentially different mesh---and use an implicit a posteriori error estimation strategy to steer the adaptive enrichment of the space. At each step, the components of the error estimator are used to assess the potential benefits of a variety of enrichment strategies, including whether or not to activate more parameters. No marking or tuning parameters are required. Numerical experiments for a selection of test problems demonstrate that the new method performs optimally in that it generates a sequence of approximations for which the estimated energy error decays to zero at the same rate as the error for the underlying finite element method applied to the associated parameter-free problem. △ Less

Submitted 15 June, 2018; originally announced June 2018.

Comments: 22 pages

MSC Class: 35R60; 60H35; 65N30; 65F10

Robust preconditioning for stochastic Galerkin formulations of parameter-dependent nearly incompressible linear elasticity equations

Authors: Arbaz Khan, Catherine E. Powell, David J. Silvester

Abstract: We consider the nearly incompressible linear elasticity problem with an uncertain spatially varying Young's modulus. The uncertainty is modelled with a finite set of parameters with prescribed probability distribution. We introduce a novel three-field mixed variational formulation of the PDE model and discuss its approximation by stochastic Galerkin mixed finite element techniques. First, we estab… ▽ More We consider the nearly incompressible linear elasticity problem with an uncertain spatially varying Young's modulus. The uncertainty is modelled with a finite set of parameters with prescribed probability distribution. We introduce a novel three-field mixed variational formulation of the PDE model and discuss its approximation by stochastic Galerkin mixed finite element techniques. First, we establish the well posedness of the proposed variational formulation and the associated finite-dimensional approximation. Second, we focus on the efficient solution of the associated large and indefinite linear system of equations. A new preconditioner is introduced for use with the minimal residual method (MINRES). Eigenvalue bounds for the preconditioned system are established and shown to be independent of the discretisation parameters and the Poisson ratio. The S-IFISS software used for computation is available online. △ Less

Submitted 3 October, 2018; v1 submitted 5 March, 2018; originally announced March 2018.

Comments: 19 pages

Critical Liouville measure as a limit of subcritical measures

Authors: Juhan Aru, Ellen Powell, Avelio Sepúlveda

Abstract: We study how the Gaussian multiplicative chaos (GMC) measures $μ^γ$ corresponding to the 2D Gaussian free field change when $γ$ approaches the critical parameter $2$. In particular, we show that as $γ\to 2^{-}$, $(2-γ)^{-1}μ^γ$ converges in probability to $2μ'$, where $μ'$ is the critical GMC measure. We study how the Gaussian multiplicative chaos (GMC) measures $μ^γ$ corresponding to the 2D Gaussian free field change when $γ$ approaches the critical parameter $2$. In particular, we show that as $γ\to 2^{-}$, $(2-γ)^{-1}μ^γ$ converges in probability to $2μ'$, where $μ'$ is the critical GMC measure. △ Less

Submitted 9 January, 2019; v1 submitted 23 February, 2018; originally announced February 2018.

Comments: 15 pages, no figures needed

A characterisation of the Gaussian free field

Authors: Nathanael Berestycki, Ellen Powell, Gourab Ray

Abstract: We prove that a random distribution in two dimensions which is conformally invariant and satisfies a natural domain Markov property is a multiple of the Gaussian free field. This result holds subject only to a fourth moment assumption. We prove that a random distribution in two dimensions which is conformally invariant and satisfies a natural domain Markov property is a multiple of the Gaussian free field. This result holds subject only to a fourth moment assumption. △ Less

Submitted 16 August, 2019; v1 submitted 4 February, 2018; originally announced February 2018.

Comments: Minor revisions. To appear in PTRF

Robust error estimation for lowest-order approximation of nearly incompressible elasticity

Authors: Arbaz Khan, Catherine E. Powell, David J. Silvester

Abstract: We consider so-called Herrmann and Hydrostatic mixed formulations of classical linear elasticity and analyse the error associated with locally stabilised $P_1-P_0$ finite element approximation. First, we prove a stability estimate for the discrete problem and establish an a priori estimate for the associated energy error. Second, we consider a residual-based a posteriori error estimator as well as… ▽ More We consider so-called Herrmann and Hydrostatic mixed formulations of classical linear elasticity and analyse the error associated with locally stabilised $P_1-P_0$ finite element approximation. First, we prove a stability estimate for the discrete problem and establish an a priori estimate for the associated energy error. Second, we consider a residual-based a posteriori error estimator as well as a local Poisson problem estimator. We establish bounds for the energy error that are independent of the Lamé coefficients and prove that the estimators are robust in the incompressible limit. A key issue to be addressed is the requirement for pressure stabilisation. Numerical results are presented that validate the theory. The software used is available online. △ Less

Submitted 12 January, 2018; originally announced January 2018.

Comments: 19 pages, 5 figures

Robust a posteriori error estimators for mixed approximation of nearly incompressible elasticity

Authors: Arbaz Khan, Catherine E. Powell, David J. Silvester

Abstract: This paper is concerned with the analysis and implementation of robust finite element approximation methods for mixed formulations of linear elasticity problems where the elastic solid is almost incompressible. Several novel a posteriori error estimators for the energy norm of the finite element error are proposed and analysed. We establish upper and lower bounds for the energy error in terms of t… ▽ More This paper is concerned with the analysis and implementation of robust finite element approximation methods for mixed formulations of linear elasticity problems where the elastic solid is almost incompressible. Several novel a posteriori error estimators for the energy norm of the finite element error are proposed and analysed. We establish upper and lower bounds for the energy error in terms of the proposed error estimators and prove that the constants in the bounds are independent of the Lamé coefficients: thus the proposed estimators are robust in the incompressible limit. Numerical results are presented that validate the theoretical estimates. The software used to generate these results is available online. △ Less

Submitted 14 June, 2018; v1 submitted 9 October, 2017; originally announced October 2017.

Comments: 23 pages, 9 figures

MSC Class: 65N30; 65N15

Critical Gaussian chaos: convergence and uniqueness in the derivative normalisation

Authors: Ellen Powell

Abstract: We show that, for general convolution approximations to a large class of log-correlated fields, including the 2d Gaussian free field, the critical chaos measures with derivative normalisation converge to a limiting measure μ'. This limiting measure does not depend on the choice of approximation. Moreover, it is equal to the measure obtained using the Seneta--Heyde renormalisation at criticality, o… ▽ More We show that, for general convolution approximations to a large class of log-correlated fields, including the 2d Gaussian free field, the critical chaos measures with derivative normalisation converge to a limiting measure μ'. This limiting measure does not depend on the choice of approximation. Moreover, it is equal to the measure obtained using the Seneta--Heyde renormalisation at criticality, or using a white-noise approximation to the field. △ Less

Submitted 22 November, 2022; v1 submitted 20 April, 2017; originally announced April 2017.

Comments: Lemma 2.3 corrected in most recent version

Liouville measure as a multiplicative cascade via level sets of the Gaussian free field

Authors: Juhan Aru, Ellen Powell, Avelio Sepúlveda

Abstract: We provide new constructions of the subcritical and critical Gaussian multiplicative chaos (GMC) measures corresponding to the 2D Gaussian free field (GFF). As a special case we recover E. Aidekon's construction of random measures using nested conformally invariant loop ensembles, and thereby prove his conjecture that certain CLE$_4$ based limiting measures are equal in law to the GMC measures for… ▽ More We provide new constructions of the subcritical and critical Gaussian multiplicative chaos (GMC) measures corresponding to the 2D Gaussian free field (GFF). As a special case we recover E. Aidekon's construction of random measures using nested conformally invariant loop ensembles, and thereby prove his conjecture that certain CLE$_4$ based limiting measures are equal in law to the GMC measures for the GFF. The constructions are based on the theory of local sets of the GFF and build a strong link between multiplicative cascades and GMC measures. This link allows us to directly adapt techniques used for multiplicative cascades to the study of GMC measures of the GFF. As a proof of principle we do this for the so-called Seneta--Heyde rescaling of the critical GMC measure. △ Less

Submitted 27 December, 2017; v1 submitted 20 January, 2017; originally announced January 2017.

Comments: 27 pages, still no figures; the new version contains a more detailed treatment of the critical case and slight improvements throughout the paper;

THEO Concept Mission: Testing the Habitability of Enceladus's Ocean

Authors: Shannon M. MacKenzie, Tess E. Caswell, Charity M. Phillips-Lander, E. Natasha Stavros, Jason D. Hofgartner, Vivian Z. Sun, Kathryn E. Powell, Casey J. Steuer, Joesph G. O'Rourke, Jasmeet K. Dhaliwal, Cecilia W. S. Leung, Elaine M. Petro, J. Judson Wynne, Samson Phan, Matteo Crismani, Akshata Krishnamurthy, Kristen K. John, Kevin DeBruin, Charles J. Budney, Karl L. Mitchell

Abstract: Saturn's moon Enceladus offers a unique opportunity in the search for life and habitable environments beyond Earth, a key theme of the National Research Council's 2013-2022 Decadal Survey. A plume of water vapor and ice spews from Enceladus's south polar region. Cassini data suggest that this plume, sourced by a liquid reservoir beneath the moon's icy crust, contain organics, salts, and water-rock… ▽ More Saturn's moon Enceladus offers a unique opportunity in the search for life and habitable environments beyond Earth, a key theme of the National Research Council's 2013-2022 Decadal Survey. A plume of water vapor and ice spews from Enceladus's south polar region. Cassini data suggest that this plume, sourced by a liquid reservoir beneath the moon's icy crust, contain organics, salts, and water-rock interaction derivatives. Thus, the ingredients for life as we know it-- liquid water, chemistry, and energy sources-- are available in Enceladus's subsurface ocean. We have only to sample the plumes to investigate this hidden ocean environment. We present a New Frontiers class, solar-powered Enceladus orbiter that would take advantage of this opportunity, Testing the Habitability of Enceladus's Ocean (THEO). Developed by the 2015 Jet Propulsion Laboratory Planetary Science Summer School student participants under the guidance of TeamX, this mission concept includes remote sensing and in situ analyses with a mass spectrometer, a sub-mm radiometer-spectrometer, a camera, and two magnetometers. These instruments were selected to address four key questions for ascertaining the habitability of Enceladus's ocean within the context of the moon's geological activity: (1) How are the plumes and ocean connected? (2) Are the abiotic conditions of the ocean suitable for habitability? (3) How stable is the ocean environment? (4) Is there evidence of biological processes? By taking advantage of the opportunity Enceladus's plumes offer, THEO represents a viable, solar-powered option for exploring a potentially habitable ocean world of the outer solar system. △ Less

Submitted 2 May, 2016; originally announced May 2016.

Comments: JPL Summer School 2015

An invariance principle for branching diffusions in bounded domains

Authors: Ellen Powell

Abstract: We study branching diffusions in a bounded domain $D$ of $\mathbb{R}^d$ in which particles are killed upon hitting the boundary $\partial D$. It is known that any such process undergoes a phase transition when the branching rate $β$ exceeds a critical value: a multiple of the first eigenvalue of the generator of the diffusion. We investigate the system at criticality and show that the associated g… ▽ More We study branching diffusions in a bounded domain $D$ of $\mathbb{R}^d$ in which particles are killed upon hitting the boundary $\partial D$. It is known that any such process undergoes a phase transition when the branching rate $β$ exceeds a critical value: a multiple of the first eigenvalue of the generator of the diffusion. We investigate the system at criticality and show that the associated genealogical tree, when the process is conditioned to survive for a long time, converges to Aldous' Continuum Random Tree under appropriate rescaling. The result holds under only a mild assumption on the domain, and is valid for all branching mechanisms with finite variance, and a general class of diffusions. △ Less

Submitted 20 April, 2018; v1 submitted 30 November, 2015; originally announced December 2015.

Comments: Substantial revision in v4. Convergence to CRT added in v2

Level lines of the Gaussian Free Field with general boundary data

Authors: Ellen Powell, Hao Wu

Abstract: We study the level lines of a Gaussian free field in a planar domain with general boundary data $F$. We show that the level lines exist as continuous curves under the assumption that $F$ is regulated (i.e., admits left and right limits at every point), and satisfies certain inequalities. Moreover, these level lines are a.s. determined by the field. This allows us to define and study a generalizati… ▽ More We study the level lines of a Gaussian free field in a planar domain with general boundary data $F$. We show that the level lines exist as continuous curves under the assumption that $F$ is regulated (i.e., admits left and right limits at every point), and satisfies certain inequalities. Moreover, these level lines are a.s. determined by the field. This allows us to define and study a generalization of the SLE$_4(\underlineρ)$ process, now with a continuum of force points. A crucial ingredient is a monotonicity property in terms of the boundary data which strengthens a result of Miller and Sheffield and is also of independent interest. △ Less

Submitted 23 August, 2016; v1 submitted 8 September, 2015; originally announced September 2015.

Journal ref: Ann. Inst. H. Poincare Probab. Statist. Volume 53, Number 4, 2229-2259, 2017