-
Bistable boundary conditions implying cusps
Authors:
David A Rand,
Meritxell Saez
Abstract:
We consider generic families of gradient-like dynamical systems with a parameter space $P$ which is a 2-dimensional simply connected domain. We prove that if over the boundary of $P$ there is a S or Z shaped bifurcation graph containing two opposing fold bifurcation points while over the rest of the boundary there are no other bifurcation points then there is an odd number of cusps in the interior…
▽ More
We consider generic families of gradient-like dynamical systems with a parameter space $P$ which is a 2-dimensional simply connected domain. We prove that if over the boundary of $P$ there is a S or Z shaped bifurcation graph containing two opposing fold bifurcation points while over the rest of the boundary there are no other bifurcation points then there is an odd number of cusps in the interior of $P$.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Bayesian inference for stochastic oscillatory systems using the phase-corrected Linear Noise Approximation
Authors:
Ben Swallow,
David A. Rand,
Giorgos Minas
Abstract:
Likelihood-based inference in stochastic non-linear dynamical systems, such as those found in chemical reaction networks and biological clock systems, is inherently complex and has largely been limited to small and unrealistically simple systems. Recent advances in analytically tractable approximations to the underlying conditional probability distributions enable long-term dynamics to be accurate…
▽ More
Likelihood-based inference in stochastic non-linear dynamical systems, such as those found in chemical reaction networks and biological clock systems, is inherently complex and has largely been limited to small and unrealistically simple systems. Recent advances in analytically tractable approximations to the underlying conditional probability distributions enable long-term dynamics to be accurately modelled, and make the large number of model evaluations required for exact Bayesian inference much more feasible. We propose a new methodology for inference in stochastic non-linear dynamical systems exhibiting oscillatory behaviour and show the parameters in these models can be realistically estimated from simulated data. Preliminary analyses based on the Fisher Information Matrix of the model can guide the implementation of Bayesian inference. We show that this parameter sensitivity analysis can predict which parameters are practically identifiable. Several Markov chain Monte Carlo algorithms are compared, with our results suggesting a parallel tempering algorithm consistently gives the best approach for these systems, which are shown to frequently exhibit multi-modal posterior distributions.
△ Less
Submitted 4 July, 2024; v1 submitted 12 May, 2022;
originally announced May 2022.
-
Discriminating protein tags on dsDNA constructs using a dual Nanopore device
Authors:
Swarnadeep Seth,
Arthur Rand,
Walter Reisner,
William B. Dunbar,
Robert Sladek,
Aniket Bhattacharya
Abstract:
We report a novel simulation strategy that enables us to identify key parameters controlling the experimentally measurable characteristics of structural protein tags on dsDNA construct translocating through a double nanopore setup. First, we validate the scheme in silico by reproducing and explaining the physical origin of the experimental dwell time distributions of the Streptavidin markers on a…
▽ More
We report a novel simulation strategy that enables us to identify key parameters controlling the experimentally measurable characteristics of structural protein tags on dsDNA construct translocating through a double nanopore setup. First, we validate the scheme in silico by reproducing and explaining the physical origin of the experimental dwell time distributions of the Streptavidin markers on a 48 kbp long dsDNA. These studies reveal the important differences in the characteristics of the protein tags compared to the dynamics of dsDNA segments, immediately providing clues on how to improve the measurement protocols to decipher the unknown genomic lengths accurately. Of particular importance is the in silico studies on the effect of electric field inside and beyond the pores which we find is critical to discriminate protein tags based on their effective charges and masses revealed through a generic power-law dependence of the average dwell time at each pore. The simulation protocols enable to monitor piecewise dynamics of the individual monomers at a sub-nanometer length scale and provide an explanation of the disparate velocity variation from one tag to the other using the nonequilibrium tension propagation theory, - a key element to decipher genomic lengths accurately. We further justify the model and the chosen simulation parameters by calculating the Peclet number which is in close agreement with the experiment. Analysis of our simulation results from the CG model has the capability to refine the accuracy of the experimentally obtained genomic lengths and carefully chosen simulation strategies can serve as a powerful tool to discriminate different types of neutral and charged tags of different origins on a dsDNA construct in terms of their physical characteristics and can provide insights to increase both the efficiency and accuracy of an experimental dual-nanopore setup.
△ Less
Submitted 11 February, 2022; v1 submitted 21 January, 2022;
originally announced January 2022.
-
Geometry of Gene Regulatory Dynamics
Authors:
David A. Rand,
Archishman Raju,
Meritxell Saez,
Francis Corson,
Eric D. Siggia
Abstract:
Embryonic development leads to the reproducible and ordered appearance of complexity from egg to adult. The successive differentiation of different cell types, that elaborates this complexity, result from the activity of gene networks and was likened by Waddington to a flow through a landscape in which valleys represent alternative fates. Geometric methods allow the formal representation of such l…
▽ More
Embryonic development leads to the reproducible and ordered appearance of complexity from egg to adult. The successive differentiation of different cell types, that elaborates this complexity, result from the activity of gene networks and was likened by Waddington to a flow through a landscape in which valleys represent alternative fates. Geometric methods allow the formal representation of such landscapes and codify the types of behaviors that result from systems of differential equations. Results from Smale and coworkers imply that systems encompassing gene network models can be represented as potential gradients with a Riemann metric, justifying the Waddington metaphor. Here, we extend this representation to include parameter dependence and enumerate all 3-way cellular decisions realisable by tuning at most two parameters, which can be generalized to include spatial coordinates in a tissue. All diagrams of cell states vs model parameters are thereby enumerated. We unify a number of standard models for spatial pattern formation by expressing them in potential form. Turing systems appear non-potential yet in suitable variables the dynamics are low dimensional, potential, and a time independent embedding recovers the biological variables. Lateral inhibition is described by a saddle point with many unstable directions. A model for the patterning of the Drosophila eye appears as relaxation in a bistable potential. Geometric reasoning provides intuitive dynamic models for development that are well adapted to fit time-lapse data.
△ Less
Submitted 28 May, 2021;
originally announced May 2021.
-
Interpolation Error Estimates for Harmonic Coordinates On Polytopes
Authors:
Andrew Gillette,
Alexander Rand
Abstract:
Interpolation error estimates in terms of geometric quality measures are established for harmonic coordinates on polytopes in two and three dimensions. First we derive interpolation error estimates over convex polygons that depend on the geometric quality of the triangles in the constrained Delaunay triangulation of the polygon. This characterization is sharp in the sense that families of polygons…
▽ More
Interpolation error estimates in terms of geometric quality measures are established for harmonic coordinates on polytopes in two and three dimensions. First we derive interpolation error estimates over convex polygons that depend on the geometric quality of the triangles in the constrained Delaunay triangulation of the polygon. This characterization is sharp in the sense that families of polygons with poor quality triangles in their constrained Delaunay triangulations are shown to produce large error when interpolating a basic quadratic function. Non-convex polygons exhibit a similar limitation: large constrained Delaunay triangles caused by vertices approaching a non-adjacent edge also lead to large interpolation error. While this relationship is generalized to convex polyhedra in three dimensions, the possibility of sliver tetrahedra in the constrained Delaunay triangulation prevent the analogous estimate from sharply reflecting the actual interpolation error. Non-convex polyhedra are shown to be fundamentally different through an example of a family of polyhedra containing vertices which are arbitrarily close to non-adjacent faces yet the interpolation error remains bounded.
△ Less
Submitted 2 October, 2015; v1 submitted 2 April, 2015;
originally announced April 2015.
-
Construction of scalar and vector finite element families on polygonal and polyhedral meshes
Authors:
Andrew Gillette,
Alexander Rand,
Chandrajit Bajaj
Abstract:
We combine theoretical results from polytope domain meshing, generalized barycentric coordinates, and finite element exterior calculus to construct scalar- and vector-valued basis functions for conforming finite element methods on generic convex polytope meshes in dimensions 2 and 3. Our construction recovers well-known bases for the lowest order Nédélec, Raviart-Thomas, and Brezzi-Douglas-Marini…
▽ More
We combine theoretical results from polytope domain meshing, generalized barycentric coordinates, and finite element exterior calculus to construct scalar- and vector-valued basis functions for conforming finite element methods on generic convex polytope meshes in dimensions 2 and 3. Our construction recovers well-known bases for the lowest order Nédélec, Raviart-Thomas, and Brezzi-Douglas-Marini elements on simplicial meshes and generalizes the notion of Whitney forms to non-simplicial convex polygons and polyhedra. We show that our basis functions lie in the correct function space with regards to global continuity and that they reproduce the requisite polynomial differential forms described by finite element exterior calculus. We present a method to count the number of basis functions required to ensure these two key properties.
△ Less
Submitted 25 April, 2016; v1 submitted 27 May, 2014;
originally announced May 2014.
-
Quantifying intrinsic and extrinsic noise in gene transcription using the linear noise approximation: An application to single cell data
Authors:
Bärbel Finkenstädt,
Dan J. Woodcock,
Michal Komorowski,
Claire V. Harper,
Julian R. E. Davis,
Mike R. H. White,
David A. Rand
Abstract:
A central challenge in computational modeling of dynamic biological systems is parameter inference from experimental time course measurements. However, one would not only like to infer kinetic parameters but also study their variability from cell to cell. Here we focus on the case where single-cell fluorescent protein imaging time series data are available for a population of cells. Based on van K…
▽ More
A central challenge in computational modeling of dynamic biological systems is parameter inference from experimental time course measurements. However, one would not only like to infer kinetic parameters but also study their variability from cell to cell. Here we focus on the case where single-cell fluorescent protein imaging time series data are available for a population of cells. Based on van Kampen's linear noise approximation, we derive a dynamic state space model for molecular populations which is then extended to a hierarchical model. This model has potential to address the sources of variability relevant to single-cell data, namely, intrinsic noise due to the stochastic nature of the birth and death processes involved in reactions and extrinsic noise arising from the cell-to-cell variation of kinetic parameters. In order to infer such a model from experimental data, one must also quantify the measurement process where one has to allow for nonmeasurable molecular species as well as measurement noise of unknown level and variance. The availability of multiple single-cell time series data here provides a unique testbed to fit such a model and quantify these different sources of variation from experimental data.
△ Less
Submitted 8 January, 2014;
originally announced January 2014.
-
Average Interpolation Under the Maximum Angle Condition
Authors:
Alexander Rand
Abstract:
Interpolation error estimates needed in common finite element applications using simplicial meshes typically impose restrictions on the both the smoothness of the interpolated functions and the shape of the simplices. While the simplest theory can be generalized to admit less smooth functions (e.g., functions in H^1(Ω) rather than H^2(Ω)) and more general shapes (e.g., the maximum angle condition…
▽ More
Interpolation error estimates needed in common finite element applications using simplicial meshes typically impose restrictions on the both the smoothness of the interpolated functions and the shape of the simplices. While the simplest theory can be generalized to admit less smooth functions (e.g., functions in H^1(Ω) rather than H^2(Ω)) and more general shapes (e.g., the maximum angle condition rather than the minimum angle condition), existing theory does not allow these extensions to be performed simultaneously. By localizing over a well-shaped auxiliary spatial partition, error estimates are established under minimal function smoothness and mesh regularity. This construction is especially important in two cases: L^p(Ω) estimates for data in W^{1,p}(Ω) hold for meshes without any restrictions on simplex shape, and W^{1,p}(Ω) estimates for data in W^{2,p}(Ω) hold under a generalization of the maximum angle condition which previously required p>2 for standard Lagrange interpolation.
△ Less
Submitted 18 June, 2012; v1 submitted 17 December, 2011;
originally announced December 2011.
-
Interpolation Error Estimates for Mean Value Coordinates over Convex Polygons
Authors:
Alexander Rand,
Andrew Gillette,
Chandrajit Bajaj
Abstract:
In a similar fashion to estimates shown for Harmonic, Wachspress, and Sibson coordinates in [Gillette et al., AiCM, doi:10.1007/s10444-011-9218-z], we prove interpolation error estimates for the mean value coordinates on convex polygons suitable for standard finite element analysis. Our analysis is based on providing a uniform bound on the gradient of the mean value functions for all convex polygo…
▽ More
In a similar fashion to estimates shown for Harmonic, Wachspress, and Sibson coordinates in [Gillette et al., AiCM, doi:10.1007/s10444-011-9218-z], we prove interpolation error estimates for the mean value coordinates on convex polygons suitable for standard finite element analysis. Our analysis is based on providing a uniform bound on the gradient of the mean value functions for all convex polygons of diameter one satisfying certain simple geometric restrictions. This work makes rigorous an observed practical advantage of the mean value coordinates: unlike Wachspress coordinates, the gradients of the mean value coordinates do not become large as interior angles of the polygon approach pi.
△ Less
Submitted 18 September, 2012; v1 submitted 23 November, 2011;
originally announced November 2011.
-
Quadratic Serendipity Finite Elements on Polygons Using Generalized Barycentric Coordinates
Authors:
Alexander Rand,
Andrew Gillette,
Chandrajit Bajaj
Abstract:
We introduce a finite element construction for use on the class of convex, planar polygons and show it obtains a quadratic error convergence estimate. On a convex n-gon satisfying simple geometric criteria, our construction produces 2n basis functions, associated in a Lagrange-like fashion to each vertex and each edge midpoint, by transforming and combining a set of n(n+1)/2 basis functions known…
▽ More
We introduce a finite element construction for use on the class of convex, planar polygons and show it obtains a quadratic error convergence estimate. On a convex n-gon satisfying simple geometric criteria, our construction produces 2n basis functions, associated in a Lagrange-like fashion to each vertex and each edge midpoint, by transforming and combining a set of n(n+1)/2 basis functions known to obtain quadratic convergence. The technique broadens the scope of the so-called `serendipity' elements, previously studied only for quadrilateral and regular hexahedral meshes, by employing the theory of generalized barycentric coordinates. Uniform `a priori' error estimates are established over the class of convex quadrilaterals with bounded aspect ratio as well as over the class of generic convex planar polygons satisfying additional shape regularity conditions to exclude large interior angles and short edges. Numerical evidence is provided on a trapezoidal quadrilateral mesh, previously not amenable to serendipity constructions, and applications to adaptive meshing are discussed.
△ Less
Submitted 20 July, 2012; v1 submitted 15 September, 2011;
originally announced September 2011.
-
Sensitivity, robustness and identifiability in stochastic chemical kinetics models
Authors:
Michal Komorowski,
Maria J. Costa,
David A. Rand,
Michael Stumpf
Abstract:
We present a novel and simple method to numerically calculate Fisher Information Matrices for stochastic chemical kinetics models. The linear noise approximation is used to derive model equations and a likelihood function which leads to an efficient computational algorithm. Our approach reduces the problem of calculating the Fisher Information Matrix to solving a set of ordinary differential equat…
▽ More
We present a novel and simple method to numerically calculate Fisher Information Matrices for stochastic chemical kinetics models. The linear noise approximation is used to derive model equations and a likelihood function which leads to an efficient computational algorithm. Our approach reduces the problem of calculating the Fisher Information Matrix to solving a set of ordinary differential equations. {This is the first method to compute Fisher Information for stochastic chemical kinetics models without the need for Monte Carlo simulations.} This methodology is then used to study sensitivity, robustness and parameter identifiability in stochastic chemical kinetics models. We show that significant differences exist between stochastic and deterministic models as well as between stochastic models with time-series and time-point measurements. We demonstrate that these discrepancies arise from the variability in molecule numbers, correlations between species, and temporal correlations and show how this approach can be used in the analysis and design of experiments probing stochastic processes at the cellular level. The algorithm has been implemented as a Matlab package and is available from the authors upon request.
△ Less
Submitted 7 April, 2011;
originally announced April 2011.
-
Improved Examples of Non-Termination for Ruppert's Algorithm
Authors:
Alexander Rand
Abstract:
Improving the best known examples, two planar straight-line graphs which cause the non-termination of Ruppert's algorithm for a minimum angle threshold as low as 29.06 degrees are given.
Improving the best known examples, two planar straight-line graphs which cause the non-termination of Ruppert's algorithm for a minimum angle threshold as low as 29.06 degrees are given.
△ Less
Submitted 20 March, 2011;
originally announced March 2011.
-
On the Non-Termination of Ruppert's Algorithm
Authors:
Alexander Rand
Abstract:
A planar straight-line graph which causes the non-termination Ruppert's algorithm for a minimum angle threshold larger than about 29.5 degrees is given. The minimum input angle of this example is about 74.5 degrees meaning that failure is not due to small input angles. Additionally, a similar non-acute input is given for which Chew's second algorithm does not terminate for a minimum angle threshol…
▽ More
A planar straight-line graph which causes the non-termination Ruppert's algorithm for a minimum angle threshold larger than about 29.5 degrees is given. The minimum input angle of this example is about 74.5 degrees meaning that failure is not due to small input angles. Additionally, a similar non-acute input is given for which Chew's second algorithm does not terminate for a minimum angle threshold larger than about 30.7 degrees.
△ Less
Submitted 5 January, 2011;
originally announced January 2011.
-
Error Estimates for Generalized Barycentric Interpolation
Authors:
Andrew Gillette,
Alexander Rand,
Chandrajit Bajaj
Abstract:
We prove the optimal convergence estimate for first order interpolants used in finite element methods based on three major approaches for generalizing barycentric interpolation functions to convex planar polygonal domains. The Wachspress approach explicitly constructs rational functions, the Sibson approach uses Voronoi diagrams on the vertices of the polygon to define the functions, and the Harmo…
▽ More
We prove the optimal convergence estimate for first order interpolants used in finite element methods based on three major approaches for generalizing barycentric interpolation functions to convex planar polygonal domains. The Wachspress approach explicitly constructs rational functions, the Sibson approach uses Voronoi diagrams on the vertices of the polygon to define the functions, and the Harmonic approach defines the functions as the solution of a PDE. We show that given certain conditions on the geometry of the polygon, each of these constructions can obtain the optimal convergence estimate. In particular, we show that the well-known maximum interior angle condition required for interpolants over triangles is still required for Wachspress functions but not for Sibson functions.
△ Less
Submitted 15 April, 2011; v1 submitted 24 October, 2010;
originally announced October 2010.
-
Bayesian inference of biochemical kinetic parameters using the linear noise approximation
Authors:
Michal Komorowski,
Barbel Finkenstadt,
Claire V. Harper,
David A. Rand
Abstract:
Fluorescent and luminescent gene reporters allow us to dynamically quantify changes in molecular species concentration over time on the single cell level. The mathematical modeling of their interaction through multivariate dynamical models requires the development of effective statistical methods to calibrate such models against available data. Given the prevalence of stochasticity and noise in…
▽ More
Fluorescent and luminescent gene reporters allow us to dynamically quantify changes in molecular species concentration over time on the single cell level. The mathematical modeling of their interaction through multivariate dynamical models requires the development of effective statistical methods to calibrate such models against available data. Given the prevalence of stochasticity and noise in biochemical systems inference for stochastic models is of special interest. In this paper we present a simple and computationally efficient algorithm for the estimation of biochemical kinetic parameters from gene reporter data. We use the linear noise approximation to model biochemical reactions through a stochastic dynamic model which essentially approximates a diffusion model by an ordinary differential equation model with an appropriately defined noise process. An explicit formula for the likelihood function can be derived allowing for computationally efficient parameter estimation. The proposed algorithm is embedded in a Bayesian framework and inference is performed using Markov chain Monte Carlo. The major advantage of the method is that in contrast to the more established diffusion approximation based methods the computationally costly methods of data augmentation are not necessary. Our approach also allows for unobserved variables and measurement error. The application of the method to both simulated and experimental data shows that the proposed methodology provides a useful alternative to diffusion approximation based methods.
△ Less
Submitted 4 July, 2009;
originally announced July 2009.
-
Geometric measures for hyperbolic sets on surfaces
Authors:
A. A. Pinto,
D. A. Rand
Abstract:
We present a moduli space for all hyperbolic basic sets of diffeomorphisms on surfaces that have an invariant measure that is absolutely continuous with respect to Hausdorff measure. To do this we introduce two new invariants: the measure solenoid function and the cocycle-gap pair. We extend the eigenvalue formula of A. N. Livsic and Ja. G. Sinai for Anosov diffeomorphisms which preserve an abso…
▽ More
We present a moduli space for all hyperbolic basic sets of diffeomorphisms on surfaces that have an invariant measure that is absolutely continuous with respect to Hausdorff measure. To do this we introduce two new invariants: the measure solenoid function and the cocycle-gap pair. We extend the eigenvalue formula of A. N. Livsic and Ja. G. Sinai for Anosov diffeomorphisms which preserve an absolutely continuous measure to hyperbolic basic sets on surfaces which possess an invariant measure absolutely continuous with respect to Hausdorff measure. We characterise the Lipschitz conjugacy classes of such hyperbolic systems in a number of ways, for example, in terms of eigenvalues of periodic points and Gibbs measures.
△ Less
Submitted 15 May, 2006;
originally announced May 2006.