-
Kinetic Monte Carlo methods for three-dimensional diffusive capture problems in exterior domains
Authors:
Alan E. Lindsay,
Andrew J. Bernoff
Abstract:
Cellular scale decision making is modulated by the dynamics of signalling molecules and their diffusive trajectories from a source to small absorbing sites on the cellular surface. Diffusive capture problems are computationally challenging due to the complex geometry and the applied boundary conditions together with intrinsically long transients that occur before a particle is captured. This paper…
▽ More
Cellular scale decision making is modulated by the dynamics of signalling molecules and their diffusive trajectories from a source to small absorbing sites on the cellular surface. Diffusive capture problems are computationally challenging due to the complex geometry and the applied boundary conditions together with intrinsically long transients that occur before a particle is captured. This paper reports on a particle-based Kinetic Monte Carlo (KMC) method that provides rapid accurate simulation of arrival statistics for (i) a half-space bounded by a surface with a finite collection of absorbing traps and (ii) the domain exterior to a convex cell again with absorbing traps. We validate our method by replicating classical results and in addition, newly developed boundary homogenization theories and matched asymptotic expansions on capture rates. In the case of non-spherical domains, we describe a new shielding effect in which geometry can play a role in sharpening cellular estimates on the directionality of diffusive sources.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Mean First Passage Times for Transport Equations
Authors:
Thomas Hillen,
Maria R. D'Orsogna,
Jacob C. Mantooth,
Alan E. Lindsay
Abstract:
Many transport processes in ecology, physics and biochemistry can be described by the average time to first find a site or exit a region, starting from an initial position. Typical mathematical treatments are based on formulations that allow for various diffusive forms and geometries but where only initial and final positions are taken into account. Here, we develop a general theory for the mean f…
▽ More
Many transport processes in ecology, physics and biochemistry can be described by the average time to first find a site or exit a region, starting from an initial position. Typical mathematical treatments are based on formulations that allow for various diffusive forms and geometries but where only initial and final positions are taken into account. Here, we develop a general theory for the mean first passage time (MFPT) for velocity jump processes. For random walkers, both position and velocity are tracked and the resulting Fokker-Planck equation takes the form of a kinetic transport equation. Starting from the forward and backward formulations we derive a general elliptic integro-PDE for the MFPT of a random walker starting at a given location with a given velocity. We focus on two scenarios that are relevant to biological modelling; the diffusive case and the anisotropic case. For the anisotropic case we also perform a parabolic scaling, leading to a well known anisotropic MFPT equation. To illustrate the results we consider a two-dimensional circular domain under radial symmetry, where the MFPT equations can be solved explicitly. Furthermore, we consider the MFPT of a random walker in an ecological habitat that is perturbed by linear features, such as wolf movement in a forest habitat that is crossed by seismic lines.
△ Less
Submitted 2 April, 2024; v1 submitted 30 March, 2024;
originally announced April 2024.
-
Validation and Comparison of HI-STORM Overpack Thermal-Hydraulic Model with MOOSE and NekRS
Authors:
Sinan Okyay,
Elia Merzari,
David A. Reger,
Victor Coppo Leite,
Guillaume Giudicelli,
Peter German,
Alexander Lindsay
Abstract:
Nuclear power is a significant source of electricity in the United States, but the average U.S. nuclear power plant is around 40 years old. Safe management of spent nuclear fuel (SNF) is a crucial aspect of the back end of the nuclear fuel cycle. SNF dry storage systems are increasingly popular as they represent an effective solution in this area, given the absence of a final disposal system. In p…
▽ More
Nuclear power is a significant source of electricity in the United States, but the average U.S. nuclear power plant is around 40 years old. Safe management of spent nuclear fuel (SNF) is a crucial aspect of the back end of the nuclear fuel cycle. SNF dry storage systems are increasingly popular as they represent an effective solution in this area, given the absence of a final disposal system. In particular, the spent fuel cask system (dry cask method) provides a feasible solution for maintaining SNF ($\sim$60 years) prior to the final disposal. The HI-STORM overpack and MPC-32 canister are the primary components of the HI-STORM 100 dry cask storage system. They remove heat from the system via natural circulation with no human intervention required. This characteristic provides passive heat removal while requiring little maintenance in dry cask storage systems. This project aims to validate and compare the capabilities of a thermal model of HI-STORM overpack developed using the Multiphysics Object-Oriented Simulation Environment (MOOSE) based on the author's previous study. MOOSE is an open-source framework developed by Idaho National Laboratory for multiscale, multiphysics simulations. This study will improve the capabilities of the thermal-hydraulic model of the HI-STORM dry cask storage system by producing high-fidelity results for the air circulation in the overpack. Large Eddy Simulations (LES) are performed using the open-source spectral element code NekRS, developed by Argonne National Laboratory (ANL), for simulating transitional and turbulent flows in complex geometries. NekRS will produce high-fidelity results for the HI-STORM overpack to assess the validity of the current thermal-hydraulic model.
△ Less
Submitted 29 August, 2023;
originally announced August 2023.
-
Numerical bifurcation analysis of post-contact states in mathematical models of Micro-Electromechanical Systems
Authors:
Charles Naudet,
Alan E. Lindsay
Abstract:
This paper is a computational bifurcation analysis of a non-linear partial differential equation (PDE) characterizing equilibrium configurations in Micro electromechanical Systems (MEMS). MEMS are engineering systems that utilize electrostatic forces to actuate elastic surfaces. The potential equilibrium states of MEMS are described by solutions of a singularly perturbed elliptic nonlinear PDE. We…
▽ More
This paper is a computational bifurcation analysis of a non-linear partial differential equation (PDE) characterizing equilibrium configurations in Micro electromechanical Systems (MEMS). MEMS are engineering systems that utilize electrostatic forces to actuate elastic surfaces. The potential equilibrium states of MEMS are described by solutions of a singularly perturbed elliptic nonlinear PDE. We develop a numerical method which couples a finite element approximation with mesh refinement to a pseudo arc-length continuation algorithm to numerically obtain bifurcation diagrams in the physically relevant two dimensional scenario. Several geometries, including a unit disk, square, and annulus, are studied to understand the behavior of the system over a range of domains and parameter regimes. We find that solution multiplicity, and importantly the potential for bistability in the system, depends sensitively on the parameters. In the annulus domain, symmetry breaking bifurcations are located and asymmetric solution branches are tracked. This work significantly extends the envelope for numerical characterization of equilibrium states in microscopic electrostatic contact problems relating to MEMS.
△ Less
Submitted 23 January, 2024; v1 submitted 17 July, 2023;
originally announced July 2023.
-
A Socially Assistive Robot using Automated Planning in a Paediatric Clinical Setting
Authors:
Alan Lindsay,
Andres Ramirez-Duque,
Ronald P. A. Petrick,
Mary Ellen Foster
Abstract:
We present an ongoing project that aims to develop a social robot to help children cope with painful and distressing medical procedures in a clinical setting. Our approach uses automated planning as a core component for action selection in order to generate plans that include physical, sensory, and social actions for the robot to use when interacting with humans. A key capability of our system is…
▽ More
We present an ongoing project that aims to develop a social robot to help children cope with painful and distressing medical procedures in a clinical setting. Our approach uses automated planning as a core component for action selection in order to generate plans that include physical, sensory, and social actions for the robot to use when interacting with humans. A key capability of our system is that the robot's behaviour adapts based on the affective state of the child patient. The robot must operate in a challenging physical and social environment where appropriate and safe interaction with children, parents/caregivers, and healthcare professionals is crucial. In this paper, we present our system, examine some of the key challenges of the scenario, and describe how they are addressed by our system.
△ Less
Submitted 18 October, 2022;
originally announced October 2022.
-
Motor antagonism dictates emergent dynamics in active double networks tuned by crosslinkers
Authors:
Ryan J. McGorty,
Christopher J. Currie,
Jonathan Michel,
Mehrzad Sasanpour,
Christopher Gutner,
K. Alice Lindsay,
Michael J. Rust,
Parag Katira,
Moumita Das,
Jennifer L. Ross,
Rae M. Robertson-Anderson
Abstract:
The cytoskeleton relies on diverse populations of motors, filaments, and binding proteins acting in concert to enable non-equilibrium processes ranging from mitosis to chemotaxis. Its versatile reconfigurability, programmed by interactions between its constituents, make the cytoskeleton foundational active matter. Yet, current active matter endeavors are limited largely to single force-generating…
▽ More
The cytoskeleton relies on diverse populations of motors, filaments, and binding proteins acting in concert to enable non-equilibrium processes ranging from mitosis to chemotaxis. Its versatile reconfigurability, programmed by interactions between its constituents, make the cytoskeleton foundational active matter. Yet, current active matter endeavors are limited largely to single force-generating components acting on a single substrate, far from the composite cytoskeleton in cells. Here, we engineer actin-microtubule double-networks, driven by kinesin and myosin motors and tuned by crosslinkers, to ballistically restructure and flow with speeds that span three orders of magnitude depending on the composite formulation and time relative to the onset of motor activity. Differential dynamic microscopy analyses reveal that kinesin and myosin compete to delay the onset of acceleration and suppress discrete restructuring events, while passive crosslinking of either actin or microtubules has an opposite effect. Our minimal advection-diffusion model and spatial correlation analyses correlate these dynamics to structure, with motor antagonism suppressing reconfiguration and de-mixing, while crosslinking enhances clustering. Despite the rich formulation space and emergent formulation-dependent structures, the non-equilibrium dynamics across all networks and timescales can be organized into three classes: slow isotropic reorientation, fast directional flow, and multimode restructuring. Moreover, our mathematical model demonstrates that diverse structural motifs can arise simply from the interplay between motor-driven advection and frictional drag. These general features of our platform facilitate applicability to other active matter systems, and shed light on diverse ways that cytoskeletal components can cooperate or compete to enable wide-ranging cellular processes.
△ Less
Submitted 19 May, 2023; v1 submitted 21 December, 2021;
originally announced December 2021.
-
Trap** of Planar Brownian Motion: Full First Passage Time Distributions by Kinetic Monte-Carlo, Asymptotic and Boundary Integral Methods
Authors:
Jake Cherry,
Alan E. Lindsay,
Adrian Navarro Hernandez,
Bryan Quaife
Abstract:
We consider the problem of determining the arrival statistics of unbiased planar random walkers to complex target configurations. In contrast to problems posed in finite domains, simple moments of the distribution, such as the mean (MFPT) and variance, are not defined and it is necessary to obtain the full arrival statistics. We describe several methods to obtain these distributions and other asso…
▽ More
We consider the problem of determining the arrival statistics of unbiased planar random walkers to complex target configurations. In contrast to problems posed in finite domains, simple moments of the distribution, such as the mean (MFPT) and variance, are not defined and it is necessary to obtain the full arrival statistics. We describe several methods to obtain these distributions and other associated quantities such as splitting probabilities. One approach combines a Laplace transform of the underlying parabolic equation with matched asymptotic analysis followed by numerical transform inversion. The second approach is similar, but uses a boundary integral equation method to solve for the Laplace transformed variable. To validate the results of this theory, and to obtain the arrival time statistics in very general configurations of absorbers, we introduce an efficient Kinetic Monte Carlo (KMC) method that describes trajectories as a combination of large but exactly solvable projection steps. The effectiveness of these methodologies is demonstrated on a variety of challenging examples highlighting the applicability of these methods to a variety of practical scenarios, such as source inference. A particularly useful finding arising from these results is that homogenization theories, in which complex configurations are replaced by equivalent simple ones, are remarkably effective at describing arrival time statistics.
△ Less
Submitted 13 December, 2021;
originally announced December 2021.
-
Investigating Human Response, Behaviour, and Preference in Joint-Task Interaction
Authors:
Alan Lindsay,
Bart Craenen,
Sara Dalzel-Job,
Robin L. Hill,
Ronald P. A. Petrick
Abstract:
Human interaction relies on a wide range of signals, including non-verbal cues. In order to develop effective Explainable Planning (XAIP) agents it is important that we understand the range and utility of these communication channels. Our starting point is existing results from joint task interaction and their study in cognitive science. Our intention is that these lessons can inform the design of…
▽ More
Human interaction relies on a wide range of signals, including non-verbal cues. In order to develop effective Explainable Planning (XAIP) agents it is important that we understand the range and utility of these communication channels. Our starting point is existing results from joint task interaction and their study in cognitive science. Our intention is that these lessons can inform the design of interaction agents -- including those using planning techniques -- whose behaviour is conditioned on the user's response, including affective measures of the user (i.e., explicitly incorporating the user's affective state within the planning model). We have identified several concepts at the intersection of plan-based agent behaviour and joint task interaction and have used these to design two agents: one reactive and the other partially predictive. We have designed an experiment in order to examine human behaviour and response as they interact with these agents. In this paper we present the designed study and the key questions that are being investigated. We also present the results from an empirical analysis where we examined the behaviour of the two agents for simulated users.
△ Less
Submitted 27 November, 2020;
originally announced November 2020.
-
MOOSE: Enabling Massively Parallel Multiphysics Simulation
Authors:
Cody J. Permann,
Derek R. Gaston,
David Andrs,
Robert W. Carlsen,
Fande Kong,
Alexander D. Lindsay,
Jason M. Miller,
John W. Peterson,
Andrew E. Slaughter,
Roy H. Stogner,
Richard C. Martineau
Abstract:
Harnessing modern parallel computing resources to achieve complex multi-physics simulations is a daunting task. The Multiphysics Object Oriented Simulation Environment (MOOSE) aims to enable such development by providing simplified interfaces for specification of partial differential equations, boundary conditions, material properties, and all aspects of a simulation without the need to consider t…
▽ More
Harnessing modern parallel computing resources to achieve complex multi-physics simulations is a daunting task. The Multiphysics Object Oriented Simulation Environment (MOOSE) aims to enable such development by providing simplified interfaces for specification of partial differential equations, boundary conditions, material properties, and all aspects of a simulation without the need to consider the parallel, adaptive, nonlinear, finite-element solve that is handled internally. Through the use of interfaces and inheritance, each portion of a simulation becomes reusable and composable in a manner that allows disparate research groups to share code and create an ecosystem of growing capability that lowers the barrier for the creation of multiphysics simulation codes. Included within the framework is a unique capability for building multiscale, multiphysics simulations through simultaneous execution of multiple sub-applications with data transfers between the scales. Other capabilities include automatic differentiation, scaling to a large number of processors, hybrid parallelism, and mesh adaptivity. To date, MOOSE-based applications have been created in areas of science and engineering such as nuclear physics, geothermal science, magneto-hydrodynamics, seismic events, compressible and incompressible fluid flow, microstructure evolution, and advanced manufacturing processes.
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
Pattern Formation in a Coupled Membrane-Bulk Reaction-Diffusion Model for Intracellular Polarization and Oscillations
Authors:
Frédéric Paquin-Lefebvre,
Bin Xu,
Kelsey L. DiPietro,
Alan E. Lindsay,
Alexandra Jilkine
Abstract:
Reaction-diffusion systems have been widely used to study spatio-temporal phenomena in cell biology, such as cell polarization. Coupled bulk-surface models naturally include compartmentalization of cytosolic and membrane-bound polarity molecules. Here we study the distribution of the polarity protein Cdc42 in a mass-conserved membrane-bulk model, and explore the effects of diffusion and spatial di…
▽ More
Reaction-diffusion systems have been widely used to study spatio-temporal phenomena in cell biology, such as cell polarization. Coupled bulk-surface models naturally include compartmentalization of cytosolic and membrane-bound polarity molecules. Here we study the distribution of the polarity protein Cdc42 in a mass-conserved membrane-bulk model, and explore the effects of diffusion and spatial dimensionality on spatio-temporal pattern formation. We first analyze a 1-D model for Cdc42 oscillations in fission yeast, consisting of two diffusion equations in the bulk domain coupled to nonlinear ODEs for binding kinetics at each end of the cell. In 1-D, our analysis reveals the existence of symmetric and asymmetric steady states, as well as anti-phase relaxation oscillations typical of slow-fast systems. We then extend our analysis to a 2-D model with circular bulk geometry, for which species can either diffuse inside the cell or become bound to the membrane and undergo a nonlinear reaction-diffusion process. We also consider a nonlocal system of PDEs approximating the dynamics of the 2-D membrane-bulk model in the limit of fast bulk diffusion. In all three model variants we find that mass conservation selects perturbations of spatial modes that simply redistribute mass. In 1-D, only anti-phase oscillations between the two ends of the cell can occur, and in-phase oscillations are excluded. In higher dimensions, no radially symmetric oscillations are observed. Instead, the only instabilities are symmetry-breaking, either corresponding to stationary Turing instabilities, leading to the formation of stationary patterns, or to oscillatory Turing instabilities, leading to traveling and standing waves. Codimension-two Bogdanov--Takens bifurcations occur when the two distinct instabilities coincide, causing traveling waves to slow down and to eventually become stationary patterns.
△ Less
Submitted 8 August, 2020; v1 submitted 22 October, 2019;
originally announced October 2019.
-
A scalable multilevel domain decomposition preconditioner with a subspace-based coarsening algorithm for the neutron transport calculations
Authors:
Fande Kong,
Yaqi Wang,
Derek R. Gaston,
Alexander D. Lindsay,
Cody J. Permann,
Richard C. Martineau
Abstract:
The multigroup neutron transport equations has been widely used to study the interactions of neutrons with their background materials in nuclear reactors. High-resolution simulations of the multigroup neutron transport equations using modern supercomputers require the development of scalable parallel solving techniques. In this paper, we study a scalable transport method for solving the algebraic…
▽ More
The multigroup neutron transport equations has been widely used to study the interactions of neutrons with their background materials in nuclear reactors. High-resolution simulations of the multigroup neutron transport equations using modern supercomputers require the development of scalable parallel solving techniques. In this paper, we study a scalable transport method for solving the algebraic system arising from the discretization of the multigroup neutron transport equations. The proposed transport method consists of a fully coupled Newton solver for the generalized eigenvalue problems and GMRES together with a novel multilevel domain decomposition preconditioner for the Jacobian system. The multilevel preconditioner has been successfully used for many problems, but the construction of coarse spaces for certain problems, especially for unstructured mesh problems, is expensive and often unscalable. We introduce a new subspace-based coarsening algorithm to address this issue by exploring the structure of the matrix in the discretized version of the neutron transport problems. We numerically demonstrate that the proposed transport method is highly scalable with more than 10,000 processor cores for the 3D C5G7 benchmark problem on unstructured meshes with billions of unknowns. Compared with the traditional multilevel domain decomposition method, the new approach equipped with the subspace-based coarsening algorithm is much faster on the construction of coarse spaces.
△ Less
Submitted 18 June, 2019;
originally announced June 2019.
-
A highly parallel multilevel Newton-Krylov-Schwarz method with subspace-based coarsening and partition-based balancing for the multigroup neutron transport equations on 3D unstructured meshes
Authors:
Fande Kong,
Yaqi Wang,
Derek R. Gaston,
Cody J. Permann,
Andrew E. Slaughter,
Alexander D. Lindsay,
Richard C. Martineau
Abstract:
The multigroup neutron transport equations have been widely used to study the motion of neutrons and their interactions with the background materials. Numerical simulation of the multigroup neutron transport equations is computationally challenging because the equations is defined on a high dimensional phase space (1D in energy, 2D in angle, and 3D in spatial space), and furthermore, for realistic…
▽ More
The multigroup neutron transport equations have been widely used to study the motion of neutrons and their interactions with the background materials. Numerical simulation of the multigroup neutron transport equations is computationally challenging because the equations is defined on a high dimensional phase space (1D in energy, 2D in angle, and 3D in spatial space), and furthermore, for realistic applications, the computational spatial domain is complex and the materials are heterogeneous. The multilevel domain decomposition methods is one of the most popular algorithms for solving the multigroup neutron transport equations, but the construction of coarse spaces is expensive and often not strongly scalable when the number of processor cores is large. In this paper, we study a highly parallel multilevel Newton-Krylov-Schwarz method equipped with several novel components, such as subspace-based coarsening, partition-based balancing and hierarchical mesh partitioning, that enable the overall simulation strongly scalable in terms of the compute time. Compared with the traditional coarsening method, the subspace-based coarsening algorithm significantly reduces the cost of the preconditioner setup that is often unscalable. In addition, the partition-based balancing strategy enhances the parallel efficiency of the overall solver by assigning a nearly-equal amount of work to each processor core. The hierarchical mesh partitioning is able to generate a large number of subdomains and meanwhile minimizes the off-node communication. We numerically show that the proposed algorithm is scalable with more than 10,000 processor cores for a realistic application with a few billions unknowns on 3D unstructured meshes.
△ Less
Submitted 8 March, 2019;
originally announced March 2019.
-
Moving Mesh simulation of contact sets in two dimensional models of elastic-electrostatic deflection problems
Authors:
Kelsey L. DiPietro,
Ronald D. Haynes,
Weizhang Huang,
Alan E. Lindsay,
Yufei Yu
Abstract:
Numerical and analytical methods are developed for the investigation of contact sets in electrostatic-elastic deflections modeling micro-electro mechanical systems. The model for the membrane deflection is a fourth-order semi-linear partial differential equation and the contact events occur in this system as finite time singularities. Primary research interest is in the dependence of the contact s…
▽ More
Numerical and analytical methods are developed for the investigation of contact sets in electrostatic-elastic deflections modeling micro-electro mechanical systems. The model for the membrane deflection is a fourth-order semi-linear partial differential equation and the contact events occur in this system as finite time singularities. Primary research interest is in the dependence of the contact set on model parameters and the geometry of the domain. An adaptive numerical strategy is developed based on a moving mesh partial differential equation to dynamically relocate a fixed number of mesh points to increase density where the solution has fine scale detail, particularly in the vicinity of forming singularities. To complement this computational tool, a singular perturbation analysis is used to develop a geometric theory for predicting the possible contact sets. The validity of these two approaches are demonstrated with a variety of test cases.
△ Less
Submitted 30 April, 2018;
originally announced May 2018.
-
Overview of the Incompressible Navier-Stokes simulation capabilities in the MOOSE Framework
Authors:
John W. Peterson,
Alexander D. Lindsay,
Fande Kong
Abstract:
The Multiphysics Object Oriented Simulation Environment (MOOSE) framework is a high-performance, open source, C++ finite element toolkit developed at Idaho National Laboratory. MOOSE was created with the aim of assisting domain scientists and engineers in creating customizable, high-quality tools for multiphysics simulations. While the core MOOSE framework itself does not contain code for simulati…
▽ More
The Multiphysics Object Oriented Simulation Environment (MOOSE) framework is a high-performance, open source, C++ finite element toolkit developed at Idaho National Laboratory. MOOSE was created with the aim of assisting domain scientists and engineers in creating customizable, high-quality tools for multiphysics simulations. While the core MOOSE framework itself does not contain code for simulating any particular physical application, it is distributed with a number of physics "modules" which are tailored to solving e.g. heat conduction, phase field, and solid/fluid mechanics problems. In this report, we describe the basic equations, finite element formulations, software implementation, and regression/verification tests currently available in MOOSE's navier_stokes module for solving the Incompressible Navier-Stokes (INS) equations.
△ Less
Submitted 21 February, 2018; v1 submitted 24 October, 2017;
originally announced October 2017.
-
Numerical approximation of diffusive capture rates by planar and spherical surfaces with absorbing pores
Authors:
Andrew J. Bernoff,
Alan E. Lindsay
Abstract:
In 1977 Berg & Purcell published a landmark paper entitled "Physics of Chemoreception" which examined how a bacterium can sense a chemical attractant in the fluid surrounding it. At small scales the attractant molecules move by Brownian motion and diffusive processes dominate. This example is the archetype of diffusive signaling problems where an agent moves via a random walk until it either strik…
▽ More
In 1977 Berg & Purcell published a landmark paper entitled "Physics of Chemoreception" which examined how a bacterium can sense a chemical attractant in the fluid surrounding it. At small scales the attractant molecules move by Brownian motion and diffusive processes dominate. This example is the archetype of diffusive signaling problems where an agent moves via a random walk until it either strikes or eludes a target. Berg & Purcell modeled the target as a sphere with a set of small circular targets (pores) that can capture a diffusing agent. They argued that, in the limit of small radii and wide spacing, each pore could be modeled independently as a circular pore on an infinite plane. Using a known exact solution, they showed the capture rate to be proportional to the combined perimeter of the pores. In this paper we study how to improve this approximation by including inter-pore competition effects and verify this result numerically for a finite collection of pores on a plane or sphere. Asymptotically we have found the corrections to the Berg-Purcell formula that account for enhancement of capture due to the curvature of the spherical target and inhibition of capture due to spatial interactions of the pores. Numerically we develop a spectral boundary element method for the exterior mixed Neumann-Dirichlet boundary value problem. Our formulation reduces the problem to a linear integral equation, specifically a Neumann to Dirichlet map, which is supported only on the individual pores. The difficulty is that both the kernel and the flux are singular, a notorious obstacle in such problems. A judicious choice of singular boundary elements allows us to resolve the flux singularity at the edge of the pore. In biological systems there can be thousands of receptors whose radii are 0.1% the cell radius. Our numerics resolve this realistic limit with an accuracy of roughly one part in 10^8.
△ Less
Submitted 15 July, 2017;
originally announced July 2017.
-
A boundary integral equation method for mode elimination and vibration confinement in thin plates with clamped points
Authors:
Alan E. Lindsay,
Bryan Quaife,
Laura Wendelberger
Abstract:
We consider the bi-Laplacian eigenvalue problem for the modes of vibration of a thin elastic plate with a discrete set of clamped points. A high-order boundary integral equation method is developed for efficient numerical determination of these modes in the presence of multiple localized defects for a wide range of two-dimensional geometries. The defects result in eigenfunctions with a weak singul…
▽ More
We consider the bi-Laplacian eigenvalue problem for the modes of vibration of a thin elastic plate with a discrete set of clamped points. A high-order boundary integral equation method is developed for efficient numerical determination of these modes in the presence of multiple localized defects for a wide range of two-dimensional geometries. The defects result in eigenfunctions with a weak singularity that is resolved by decomposing the solution as a superposition of Green's functions plus a smooth regular part. This method is applied to a variety of regular and irregular domains and two key phenomena are observed. First, careful placement of clam** points can entirely eliminate particular eigenvalues and suggests a strategy for manipulating the vibrational characteristics of rigid bodies so that undesirable frequencies are removed. Second, clam** of the plate can result in partitioning of the domain so that vibrational modes are largely confined to certain spatial regions. This numerical method gives a precision tool for tuning the vibrational characteristics of thin elastic plates.
△ Less
Submitted 1 April, 2017;
originally announced April 2017.
-
Hybrid asymptotic-numerical approach for estimating first passage time densities of the two-dimensional narrow capture problem
Authors:
Alan E. Lindsay,
Ryan T. Spoonmore,
Justin C. Tzou
Abstract:
A hybrid asymptotic-numerical method is presented for obtaining the full probability distribution of capture times of a random walker by multiple small traps located inside a bounded two-dimensional domain with reflective boundaries. As motivation for this study, we calculate the variance in the capture time of a random walker by a single interior trap and determine this quantity to be comparable…
▽ More
A hybrid asymptotic-numerical method is presented for obtaining the full probability distribution of capture times of a random walker by multiple small traps located inside a bounded two-dimensional domain with reflective boundaries. As motivation for this study, we calculate the variance in the capture time of a random walker by a single interior trap and determine this quantity to be comparable in magnitude to the mean. This implies that the mean is not necessarily reflective of typical capture times and that the full density must be determined. To solve the underlying diffusion equation, the method of Laplace transforms is used to obtain an elliptic problem of modified Helmholtz type. In the limit of vanishing trap sizes, each trap is represented as a Dirac point source which permits the solution of the transform equation to be represented as a superposition of Helmholtz Green's functions. Using this solution, we construct asymptotic short time solutions of the first passage time density which captures peaks associated with rapid capture by the absorbing traps. When numerical evaluation of the Helmholtz Green's function is employed followed by numerical inversion of the Laplace transform, the method reproduces the density for larger times. We demonstrate the accuracy of our solution technique with comparison to statistics obtained from a time-dependent solution of the diffusion equation and discrete particle simulations. In particular, we demonstrate that the method is capable of capturing the multimodal behavior in the capture time density that arises when the traps are strategically arranged. The hybrid method presented can be applied to scenarios involving both arbitrary domains and trap shapes.
△ Less
Submitted 6 October, 2016; v1 submitted 24 July, 2016;
originally announced July 2016.
-
Fully Coupled Simulation of the Plasma Liquid Interface and Interfacial Coefficient Effects
Authors:
Alexander Lindsay,
David Graves,
Steven Shannon
Abstract:
There is a growing interest in the study of coupled plasma-liquid systems because of their applications to biomedicine, biological and chemical disinfection, agriculture, and other areas. Without an understanding of the near-surface gas dynamics, modellers are left to make assumptions about the interfacial conditions. For instance it is commonly assumed that the surface loss or sticking coefficien…
▽ More
There is a growing interest in the study of coupled plasma-liquid systems because of their applications to biomedicine, biological and chemical disinfection, agriculture, and other areas. Without an understanding of the near-surface gas dynamics, modellers are left to make assumptions about the interfacial conditions. For instance it is commonly assumed that the surface loss or sticking coefficient of gas-phase electrons at the interface is equal to 1. In this work we explore the consequences of this assumption and introduce a couple of ways to think about the electron interfacial condition. In one set of simulations we impose a kinetic condition with varying surface loss coefficient on the gas phase interfacial electrons. In a second set of simulations we introduce a Henry's law like condition at the interface in which the gas-phase electron concentration is assumed to be in thermodynamic equilibrium with the liquid-phase electron concentration. It is shown that for a range of electron Henry coefficients spanning a range of known hydrophilic specie Henry coefficients, the gas phase electron density in the anode can vary by orders of magnitude. Varying reflection of electrons by the interface also has consequences for the electron energy profile. This variation in anode electron density and energy as a function of the interface characteristics could also lead to significant variation in near-surface gas chemistries when such reactions are included in the model; this could very well in turn affect the reactive species im**ing on the liquid surface. We draw the conclusion that in order to make more confident model predictions about plasma-liquid systems, finer scale simulations and/or new experimental techniques must be used to elucidate the near-surface gas phase electron dynamics.
△ Less
Submitted 4 March, 2016;
originally announced March 2016.
-
Automatic Generation of Minimal Cut Sets
Authors:
Sentot Kromodimoeljo,
Peter A. Lindsay
Abstract:
A cut set is a collection of component failure modes that could lead to a system failure. Cut Set Analysis (CSA) is applied to critical systems to identify and rank system vulnerabilities at design time. Model checking tools have been used to automate the generation of minimal cut sets but are generally based on checking reachability of system failure states. This paper describes a new approach to…
▽ More
A cut set is a collection of component failure modes that could lead to a system failure. Cut Set Analysis (CSA) is applied to critical systems to identify and rank system vulnerabilities at design time. Model checking tools have been used to automate the generation of minimal cut sets but are generally based on checking reachability of system failure states. This paper describes a new approach to CSA using a Linear Temporal Logic (LTL) model checker called BT Analyser that supports the generation of multiple counterexamples. The approach enables a broader class of system failures to be analysed, by generalising from failure state formulae to failure behaviours expressed in LTL. The traditional approach to CSA using model checking requires the model or system failure to be modified, usually by hand, to eliminate already-discovered cut sets, and the model checker to be rerun, at each step. By contrast, the new approach works incrementally and fully automatically, thereby removing the tedious and error-prone manual process and resulting in significantly reduced computation time. This in turn enables larger models to be checked. Two different strategies for using BT Analyser for CSA are presented. There is generally no single best strategy for model checking: their relative efficiency depends on the model and property being analysed. Comparative results are given for the A320 hydraulics case study in the Behavior Tree modelling language.
△ Less
Submitted 11 June, 2015;
originally announced June 2015.
-
Momentum, Heat, and Neutral Mass Transport in Convective Atmospheric Pressure Plasma-Liquid Systems and Implications for Aqueous Targets
Authors:
Alexander Lindsay,
Carly Anderson,
Elmar Slikboer,
Steven Shannon,
David Graves
Abstract:
There is a growing interest in the study of plasma-liquid interactions with application to biomedicine, chemical disinfection, agriculture, and other fields. This work models the momentum, heat, and neutral species mass transfer between gas and aqueous phases in the context of a streamer discharge; the qualitative conclusions are generally applicable to plasma-liquid systems. The problem domain is…
▽ More
There is a growing interest in the study of plasma-liquid interactions with application to biomedicine, chemical disinfection, agriculture, and other fields. This work models the momentum, heat, and neutral species mass transfer between gas and aqueous phases in the context of a streamer discharge; the qualitative conclusions are generally applicable to plasma-liquid systems. The problem domain is discretized using the finite element method. The most interesting and relevant model result for application purposes is the steep gradients in reactive species at the interface. At the center of where the reactive gas stream im**es on the water surface, the aqueous concentrations of OH and ONOOH decrease by roughly 9 and 4 orders of magnitude respectively within 50 $μ$m of the interface. Recognizing the limited penetration of reactive plasma species into the aqueous phase is critical to discussions about the therapeutic mechanisms for direct plasma treatment of biological solutions. Other interesting results from this study include the presence of a 10 K temperature drop in the gas boundary layer adjacent to the interface that arises from convective cooling and water evaporation. Accounting for the resulting difference between gas and liquid bulk temperatures has a significant impact on reaction kinetics; factor of two changes in terminal aqueous species concentrations like H$_2$O$_2$, NO$_2^-$, and NO$_3^-$ are observed if the effect of evaporative cooling is not included.
△ Less
Submitted 13 February, 2015;
originally announced February 2015.
-
Reconstructing high-dimensional two-photon entangled states via compressive sensing
Authors:
Francesco Tonolini,
Susan Chan,
Megan Agnew,
Alan Lindsay,
Jonathan Leach
Abstract:
Accurately establishing the state of large-scale quantum systems is an important tool in quantum information science; however, the large number of unknown parameters hinders the rapid characterisation of such states, and reconstruction procedures can become prohibitively time-consuming. Compressive sensing, a procedure for solving inverse problems by incorporating prior knowledge about the form of…
▽ More
Accurately establishing the state of large-scale quantum systems is an important tool in quantum information science; however, the large number of unknown parameters hinders the rapid characterisation of such states, and reconstruction procedures can become prohibitively time-consuming. Compressive sensing, a procedure for solving inverse problems by incorporating prior knowledge about the form of the solution, provides an attractive alternative to the problem of high-dimensional quantum state characterisation. Using a modified version of compressive sensing that incorporates the principles of singular value thresholding, we reconstruct the density matrix of a high-dimensional two-photon entangled system. The dimension of each photon is equal to $d= 17$, corresponding to a system of 83521 unknown real parameters. Accurate reconstruction is achieved with approximately 2500 measurements, only 3\% of the total number of unknown parameters in the state. The algorithm we develop is fast, computationally inexpensive, and applicable to a wide range of quantum states, thus demonstrating compressive sensing as an effective technique for measuring the state of large-scale quantum systems.
△ Less
Submitted 29 July, 2014; v1 submitted 28 July, 2014;
originally announced July 2014.
-
An asymptotic study of blow up multiplicity in fourth order parabolic partial differential equations
Authors:
A. E. Lindsay
Abstract:
Blow-up in second and fourth order semi-linear parabolic partial differential equations (PDEs) is considered in bounded regions of one, two and three spatial dimensions with uniform initial data. A phenomenon whereby singularities form at multiple points simultaneously is exhibited and explained by means of a singular perturbation theory. In the second order case we pre- dict that points furthest…
▽ More
Blow-up in second and fourth order semi-linear parabolic partial differential equations (PDEs) is considered in bounded regions of one, two and three spatial dimensions with uniform initial data. A phenomenon whereby singularities form at multiple points simultaneously is exhibited and explained by means of a singular perturbation theory. In the second order case we pre- dict that points furthest from the boundary are selected by the dynamics of the PDE for singularity. In the fourth order case, singularities can form simultaneously at multiple locations, even in one spatial dimension. In two spatial dimensions, the singular perturbation theory reveals that the set of possible singularity points depends subtly on the geometry of the domain and the equation parameters. In three spatial dimensions, preliminary numerical simulations indicate that the multiplicity of singularities can be even more complex. For the aforementioned scenarios, the analysis highlights the dichotomy of behaviors exhibited between the second and fourth order cases.
△ Less
Submitted 12 November, 2013;
originally announced November 2013.
-
Derivation and Equilibrium Analysis of a Regularized Model for Electrostatic MEMS
Authors:
A. E. Lindsay,
J. Lega,
K. B. Glasner
Abstract:
In canonical models of Micro-Electro Mechanical Systems (MEMS), an event called touch- down whereby the electrical components of the device come into contact, is characterized by a blow up in the governing equations and a non-physical divergence of the electric field. In the present work, we derive novel regularized governing equations whose solutions remain finite at touchdown and exhibit additio…
▽ More
In canonical models of Micro-Electro Mechanical Systems (MEMS), an event called touch- down whereby the electrical components of the device come into contact, is characterized by a blow up in the governing equations and a non-physical divergence of the electric field. In the present work, we derive novel regularized governing equations whose solutions remain finite at touchdown and exhibit additional dynamics beyond this initial event before eventually relaxing to new stable equilibria. We employ techniques from variational calculus, dynamical systems and singular perturbation theory to obtain a detailed understanding of the novel behaviors exhibited by the regularized family of equations.
△ Less
Submitted 1 October, 2013;
originally announced October 2013.
-
Tight-binding analysis of the electronic structure of dilute bismide alloys of GaP and GaAs
Authors:
Muhammad Usman,
Christopher A. Broderick,
Andrew Lindsay,
Eoin P. O'Reilly
Abstract:
We develop an atomistic, nearest-neighbor sp3s* tight-binding Hamiltonian to investigate the electronic structure of dilute bismide alloys of GaP and GaAs. Using this model we calculate that the incorporation of dilute concentrations of Bi in GaP introduces Bi-related defect states in the band gap, which interact with the host matrix valence band edge via a Bi composition dependent band anti-cross…
▽ More
We develop an atomistic, nearest-neighbor sp3s* tight-binding Hamiltonian to investigate the electronic structure of dilute bismide alloys of GaP and GaAs. Using this model we calculate that the incorporation of dilute concentrations of Bi in GaP introduces Bi-related defect states in the band gap, which interact with the host matrix valence band edge via a Bi composition dependent band anti-crossing (BAC) interaction. By extending this analysis to GaBiAs we demonstrate that the observed strong variation of the band gap Eg and spin-orbit-splitting (SO) energy with Bi composition can be well explained in terms of a BAC interaction between the extended states of the GaAs valence band edge and highly localized Bi-related defect states lying in the valence band, with the change in Eg also having a significant contribution from a conventional alloy reduction in the conduction band edge energy. Our calculated values of Eg and SO are in good agreement with experiment throughout the investigated composition range x less than 13%. In particular, our calculations reproduce the experimentally observed crossover to an Eg < SO regime at approximately 10.5% Bi composition in bulk GaBiAs. Recent x-ray spectroscopy measurements have indicated the presence of Bi pairs and clusters even for Bi compositions as low as 2%. We include a systematic study of different Bi nearest-neighbor environments in the alloy to achieve a quantitative understanding of the effect of Bi pairing and clustering on the GaBiAs electronic structure.
△ Less
Submitted 18 November, 2011;
originally announced November 2011.
-
Analysis of the singular solution branch of a prescribed mean curvature equation with singular nonlinearity
Authors:
Nicholas D. Brubaker,
Alan E. Lindsay
Abstract:
The existence and multiplicity of solutions to a quasilinear, elliptic partial differential equation (PDE) with singular non-linearity is analyzed. The PDE is a recently derived variant of a canonical model used in the modeling of Micro-Electro Mechanical Systems (MEMS). It is observed that the bifurcation curve of solutions terminates at single dead-end point, beyond which no classical solutions…
▽ More
The existence and multiplicity of solutions to a quasilinear, elliptic partial differential equation (PDE) with singular non-linearity is analyzed. The PDE is a recently derived variant of a canonical model used in the modeling of Micro-Electro Mechanical Systems (MEMS). It is observed that the bifurcation curve of solutions terminates at single dead-end point, beyond which no classical solutions exist. A necessary condition for the existence of solutions is developed which reveals that this dead-end point corresponds to a blow-up in the solution derivative at a point internal to the domain. Using asymptotic analysis, an accurate prediction of this dead end point is obtained. An arc-length parameterization of the solution curve can be employed to continue solutions beyond the dead end point, however, all extra solutions are found to be multi-valued.
△ Less
Submitted 31 October, 2011; v1 submitted 4 October, 2011;
originally announced October 2011.
-
Multiple Quenching Solutions of a Fourth Order Parabolic PDE with a singular nonlinearity modelling a MEMS Capacitor
Authors:
Alan Lindsay,
Joceline Lega
Abstract:
Finite time singularity formation in a fourth order nonlinear parabolic partial differential equation (PDE) is analyzed. The PDE is a variant of a ubiquitous model found in the field of Micro-Electro Mechanical Systems (MEMS) and is studied on a one-dimensional (1D) strip and the unit disc. The solution itself remains continuous at the point of singularity while its higher derivatives diverge, a p…
▽ More
Finite time singularity formation in a fourth order nonlinear parabolic partial differential equation (PDE) is analyzed. The PDE is a variant of a ubiquitous model found in the field of Micro-Electro Mechanical Systems (MEMS) and is studied on a one-dimensional (1D) strip and the unit disc. The solution itself remains continuous at the point of singularity while its higher derivatives diverge, a phenomenon known as quenching. For certain parameter regimes it is shown numerically that the singularity will form at multiple isolated points in the 1D strip case and along a ring of points in the radially symmetric 2D case. The location of these touchdown points is accurately predicted by means of asymptotic expansions. The solution itself is shown to converge to a stable self-similar profile at the singularity point. Analytical calculations are verified by use of adaptive numerical methods which take advantage of symmetries exhibited by the underlying PDE to accurately resolve solutions very close to the singularity.
△ Less
Submitted 11 May, 2011; v1 submitted 30 April, 2011;
originally announced May 2011.