-
Shape Expressions with Inheritance
Authors:
Iovka Boneva,
Jose Emilio Labra Gayo,
Eric Prud'hommeaux,
Katherine Thornton,
Andra Waagmeester
Abstract:
We formally introduce an inheritance mechanism for the Shape Expressions language (ShEx). It is inspired by inheritance in object-oriented programming languages, and provides similar advantages such as reuse, modularity, and more flexible data modelling. Using an example, we explain the main features of the inheritance mechanism. We present its syntax and formal semantics. The semantics is an exte…
▽ More
We formally introduce an inheritance mechanism for the Shape Expressions language (ShEx). It is inspired by inheritance in object-oriented programming languages, and provides similar advantages such as reuse, modularity, and more flexible data modelling. Using an example, we explain the main features of the inheritance mechanism. We present its syntax and formal semantics. The semantics is an extension of the semantics of ShEx 2.1. It also directly yields a validation algorithm as an extension of the previous ShEx validation algorithms, while maintaining the same algorithmic complexity.
△ Less
Submitted 31 March, 2025;
originally announced March 2025.
-
Simulation of coarsening in two-phase systems with dissimilar mobilities
Authors:
W. Beck Andrews,
Peter W. Voorhees,
Katsuyo Thornton
Abstract:
In this work, we apply phase field simulations to examine the coarsening behavior of morphologically complex two-phase microstructures in which the phases have highly dissimilar mobilities, a condition approaching that found in experimental solid-liquid systems. Specifically, we consider a two-phase system at the critical composition ($50\%$ volume fraction) in which the mobilities of the two phas…
▽ More
In this work, we apply phase field simulations to examine the coarsening behavior of morphologically complex two-phase microstructures in which the phases have highly dissimilar mobilities, a condition approaching that found in experimental solid-liquid systems. Specifically, we consider a two-phase system at the critical composition ($50\%$ volume fraction) in which the mobilities of the two phases differ by a factor of 100. This system is simulated in two and three dimensions using the Cahn-Hilliard model with a concentration-dependent mobility, and results are compared to simulations with a constant mobility. A morphological transition occurs during coarsening of the two-dimensional system (corresponding to a thin film geometry) with dissimilar mobilities, resulting in a system of nearly-circular particles of high-mobility phase embedded in a low-mobility matrix. This morphological transition causes the coarsening rate constant to decrease over time, which explains why a previous study found lack of agreement with the theoretical $t^{1/3}$ power law. Three-dimensional systems with dissimilar mobilities resulted in bicontinuous microstructures that evolve self-similarly, as determined by quantitative analysis of the interfacial shape distribution. Coarsening kinetics in three dimensions agreed closely with the $t^{1/3}$ power law after the initial transient stage. A model is derived to explain a nearly-linear relationship between the coarsening rate constant and the variance of scaled mean curvature that is observed during this transient stage.
△ Less
Submitted 31 March, 2022;
originally announced March 2022.
-
Effect of Transport Mechanism on the Coarsening of Bicontinuous Structures: A Comparison between Bulk and Surface Diffusion
Authors:
W. Beck Andrews,
Kate L. M. Elder,
Peter W. Voorhees,
Katsuyo Thornton
Abstract:
Coarsening of bicontinuous microstructures is observed in a variety of systems, such as nanoporous metals and mixtures that have undergone spinodal decomposition. To better understand the morphological evolution of these structures during coarsening, we compare the morphologies resulting from two different coarsening mechanisms, surface and bulk diffusion. We perform phase-field simulations of coa…
▽ More
Coarsening of bicontinuous microstructures is observed in a variety of systems, such as nanoporous metals and mixtures that have undergone spinodal decomposition. To better understand the morphological evolution of these structures during coarsening, we compare the morphologies resulting from two different coarsening mechanisms, surface and bulk diffusion. We perform phase-field simulations of coarsening via each mechanism in a two-phase mixture at nominal volume fractions of 50%-50% and 36%-64%, and the simulated structures are characterized in terms of topology (genus density), the interfacial shape distribution, structure factor, and autocorrelations of phase and mean curvature. We observe self-similar evolution of morphology and topology and agreement with the expected power laws for dynamic scaling, in which the characteristic length scale increases over time proportionally to $t^{1/4}$ for surface diffusion and $t^{1/3}$ for bulk diffusion. While we observe the expected difference in the coarsening kinetics, we find that differences in self-similar morphology due to coarsening mechanism are relatively small, although typically they are larger at 36% volume fraction than at 50% volume fraction. In particular, we find that bicontinuous structures coarsened via surface diffusion have lower scaled genus densities than structures coarsened via bulk diffusion. We also compare the self-similar morphologies to those in literature and to two model bicontinuous structures, namely, constant-mean-curvature surfaces based on the Schoen G minimal surface and random leveled-wave structures. The average scaled mean curvatures of these model structures agree reasonably with those of the coarsened structures at both 36% and 50%, but we find substantial disagreements in the scaled genus densities and the standard deviations of mean curvature.
△ Less
Submitted 20 October, 2020; v1 submitted 21 February, 2020;
originally announced February 2020.
-
Simulating complex crystal structures using the phase-field crystal model
Authors:
Eli Alster,
David Montiel,
Katsuyo Thornton,
Peter W. Voorhees
Abstract:
We introduce a phase-field crystal model that creates an array of complex three- and two-dimensional crystal structures via a numerically tractable three-point correlation function. The three-point correlation function is designed in order to energetically favor the principal interplanar angles of a target crystal structure. This is achieved via an analysis performed by examining the crystal's str…
▽ More
We introduce a phase-field crystal model that creates an array of complex three- and two-dimensional crystal structures via a numerically tractable three-point correlation function. The three-point correlation function is designed in order to energetically favor the principal interplanar angles of a target crystal structure. This is achieved via an analysis performed by examining the crystal's structure factor. This approach successfully yields energetically stable simple cubic, diamond cubic, simple hexagonal, graphene layers, and CaF$_2$ crystals. To illustrate the ability of the method to yield a particularly complex and technologically important crystal structure, we show how this three-point correlation function method can be used to generate perovskite crystals.
△ Less
Submitted 10 July, 2017;
originally announced July 2017.
-
Thermodynamic Relationships for Bulk Crystalline and Liquid Phases in the Phase-Field Crystal Model
Authors:
Victor W. L. Chan,
Nirand Pisutha-Arnond,
Katsuyo Thornton
Abstract:
We present thermodynamic relationships between the free energy of the phase-field crystal (PFC) model and thermodynamic state variables for bulk phases under hydrostatic pressure. This relationship is derived based on the thermodynamic formalism for crystalline solids of Larché and Cahn [Larché and Cahn, Acta Metallurgica, Vol. 21, 1051 (1973)]. We apply the relationship to examine the thermodynam…
▽ More
We present thermodynamic relationships between the free energy of the phase-field crystal (PFC) model and thermodynamic state variables for bulk phases under hydrostatic pressure. This relationship is derived based on the thermodynamic formalism for crystalline solids of Larché and Cahn [Larché and Cahn, Acta Metallurgica, Vol. 21, 1051 (1973)]. We apply the relationship to examine the thermodynamic processes associated with varying the input parameters of the PFC model: temperature, lattice spacing, and the average value of the PFC order parameter, $\bar{n}$. The equilibrium conditions between bulk crystalline solid and liquid phases are imposed on the thermodynamic relationships for the PFC model to obtain a procedure for determining solid-liquid phase coexistence. The resulting procedure is found to be in agreement with the method commonly used in the PFC community, justifying the use of the common-tangent construction to determine solid-liquid phase coexistence in the PFC model. Finally, we apply the procedure to an eighth-order-fit (EOF) PFC model that has been parameterized to body-centered-cubic ($bcc$) Fe [Jaatinen et al., Physical Review E 80, 031602 (2009)] to demonstrate the procedure as well as to develop physical intuition about the PFC input parameters. We demonstrate that the EOF-PFC model parameterization does not predict stable $bcc$ structures with positive vacancy densities. This result suggests an alternative parameterization of the PFC model, which requires the primary peak position of the two-body direct correlation function to shift as a function of $\bar{n}$.
△ Less
Submitted 6 February, 2015;
originally announced February 2015.
-
Revised Annotations, Sex-Biased Expression, and Lineage-Specific Genes in the Drosophila melanogaster group
Authors:
Rebekah L. Rogers,
Ling Shao,
Jaleal S. Sanjak,
Peter Andolfatto,
Kevin R. Thornton
Abstract:
Here, we provide revised gene models for D. ananassae, D. yakuba, and D. simulans, which include UTRs and empirically verified intron-exon boundaries, as well as ortholog groups identified using a fuzzy reciprocal-best-hit blast comparison. Using these revised annotations, we perform differential expression testing using the cufflinks suite to provide a broad overview of differential expression be…
▽ More
Here, we provide revised gene models for D. ananassae, D. yakuba, and D. simulans, which include UTRs and empirically verified intron-exon boundaries, as well as ortholog groups identified using a fuzzy reciprocal-best-hit blast comparison. Using these revised annotations, we perform differential expression testing using the cufflinks suite to provide a broad overview of differential expression between reproductive tissues and the carcass. We identify thousands of genes that are differentially expressed across tissues in D. yakuba and D. simulans, with roughly 60% agreement in expression patterns of orthologs in D. yakuba and D. simulans. We identify several cases of putative polycistronic transcripts, pointing to a combination of transcriptional read-through in the genome as well as putative gene fusion and fission events across taxa. We furthermore identify hundreds of lineage specific genes in each species with no blast hits among transcripts of any other Drosophila species, which are candidates for neofunctionalized proteins and a potential source of genetic novelty.
△ Less
Submitted 1 October, 2014; v1 submitted 1 August, 2014;
originally announced August 2014.
-
Tandem duplications and the limits of natural selection in Drosophila yakuba and Drosophila simulans
Authors:
Rebekah L Rogers,
Julie M Cridland,
Ling Shao,
Tina T Hu,
Peter Andolfatto,
Kevin R Thornton
Abstract:
Tandem duplications are an essential source of genetic novelty, and their variation in natural populations is expected to influence adaptive walks. Here, we describe evolutionary impacts of recently-derived, segregating tandem duplications in Drosophila yakuba and Drosophila simulans. We observe an excess of duplicated genes involved in defense against pathogens, insecticide resistance, chorion de…
▽ More
Tandem duplications are an essential source of genetic novelty, and their variation in natural populations is expected to influence adaptive walks. Here, we describe evolutionary impacts of recently-derived, segregating tandem duplications in Drosophila yakuba and Drosophila simulans. We observe an excess of duplicated genes involved in defense against pathogens, insecticide resistance, chorion development, cuticular peptides, and lipases or endopeptidases associated with the accessory glands, suggesting that duplications function in Red Queen dynamics and rapid evolution. We document evidence of widespread selection on the D. simulans X, suggesting adaptation through duplication is common on the X. Despite the evidence for positive selection, duplicates display an excess of low frequency variants consistent with largely detrimental impacts, limiting the variation that can effectively facilitate adaptation. Although we observe hundreds of gene duplications, we show that segregating variation is insufficient to provide duplicate copies of the entire genome, and the number of duplications in the population spans 13.4\% of major chromosome arms in D. yakuba and 9.7\% in D. simulans. Whole gene duplication rates are low at $1.17\times10^{-9}$ per gene per generation in D. yakuba and $6.03\times10^{-10}$ per gene per generation in D. simulans, suggesting long wait times for new mutations on the order of thousands of years for the establishment of sweeps. Hence, in cases where adaption depends on individual tandem duplications, evolution will be severely limited by mutation. We observe low levels of parallel recruitment of the same duplicated gene in different species, suggesting that the span of standing variation will define evolutionary outcomes in spite of convergence across gene ontologies consistent with rapidly evolving phenotypes.} }
△ Less
Submitted 26 August, 2014; v1 submitted 2 May, 2014;
originally announced May 2014.
-
Landscape of standing variation for tandem duplications in Drosophila yakuba and Drosophila simulans
Authors:
Rebekah L. Rogers,
Julie M. Cridland,
Ling Shao,
Tina T. Hu,
Peter Andolfatto,
Kevin R. Thornton
Abstract:
We have used whole genome paired-end Illumina sequence data to identify tandem duplications in 20 isofemale lines of D. yakuba, and 20 isofemale lines of D. simulans and performed genome wide validation with PacBio long molecule sequencing. We identify 1,415 tandem duplications that are segregating in D. yakuba as well as 975 duplications in D. simulans, indicating greater variation in D. yakuba.…
▽ More
We have used whole genome paired-end Illumina sequence data to identify tandem duplications in 20 isofemale lines of D. yakuba, and 20 isofemale lines of D. simulans and performed genome wide validation with PacBio long molecule sequencing. We identify 1,415 tandem duplications that are segregating in D. yakuba as well as 975 duplications in D. simulans, indicating greater variation in D. yakuba. Additionally, we observe high rates of secondary deletions at duplicated sites, with 8% of duplicated sites in D. simulans and 17% of sites in D. yakuba modified with deletions. These secondary deletions are consistent with the action of the large loop mismatch repair system acting to remove polymorphic tandem duplication, resulting in rapid dynamics of gain and loss in duplicated alleles and a richer substrate of genetic novelty than has been previously reported. Most duplications are present in only single strains, suggesting deleterious impacts are common. D. simulans shows larger numbers of whole gene duplications in comparison to larger proportions of gene fragments in D. yakuba. D. simulans displays an excess of high frequency variants on the X chromosome, consistent with adaptive evolution through duplications on the D. simulans X or demographic forces driving duplicates to high frequency. We identify 78 chimeric genes in D. yakuba and 38 chimeric genes in D. simulans, as well as 143 cases of recruited non-coding sequence in D. yakuba and 96 in D. simulans, in agreement with rates of chimeric gene origination in D. melanogaster. Together, these results suggest that tandem duplications often result in complex variation beyond whole gene duplications that offers a rich substrate of standing variation that is likely to contribute both to detrimental phenotypes and disease, as well as to adaptive evolutionary change.
△ Less
Submitted 22 April, 2014; v1 submitted 28 January, 2014;
originally announced January 2014.
-
A C++ template library for efficient forward-time population genetic simulation of large populations
Authors:
Kevin R. Thornton
Abstract:
fwdpp is a C++ library of routines intended to facilitate the development of forward-time simulations under arbitrary mutation and fitness models. The library design provides a combination of speed, low memory overhead, and modeling flexibility not currently available from other forward simulation tools. The library is particularly useful when the simulation of large populations is required, as pr…
▽ More
fwdpp is a C++ library of routines intended to facilitate the development of forward-time simulations under arbitrary mutation and fitness models. The library design provides a combination of speed, low memory overhead, and modeling flexibility not currently available from other forward simulation tools. The library is particularly useful when the simulation of large populations is required, as programs implemented using the library are much more efficient that other available forward simulation programs.
△ Less
Submitted 20 June, 2014; v1 submitted 15 January, 2014;
originally announced January 2014.
-
Particle-Level Modeling of the Charge-Discharge Behavior of Nanoparticulate Phase-Separating Li-Ion Battery Electrodes
Authors:
Bernardo Orvananos,
Todd R. Ferguson,
Hui-Chia Yu,
Martin Z. Bazant,
Katsuyo Thornton
Abstract:
In nanoparticulate phase-separating electrodes, phase separation inside the particles can be hindered during their charge/discharge cycles even when a thermodynamic driving force for phase separation exists. In such cases, particles may (de)lithiate discretely in a process referred to as mosaic instability. This instability could be the key to elucidating the complex charge/discharge dynamics in n…
▽ More
In nanoparticulate phase-separating electrodes, phase separation inside the particles can be hindered during their charge/discharge cycles even when a thermodynamic driving force for phase separation exists. In such cases, particles may (de)lithiate discretely in a process referred to as mosaic instability. This instability could be the key to elucidating the complex charge/discharge dynamics in nanoparticulate phase-separating electrodes. In this paper, the dynamics of the mosaic instability is studied using Smoothed Boundary Method simulations at the particle level, where the concentration and electrostatic potential fields are spatially resolved around individual particles. Two sets of configurations consisting of spherical particles with an identical radius are employed to study the instability in detail. The effect of an activity-dependent exchange current density on the mosaic instability, which leads to asymmetric charge/discharge, is also studied. While we show that our model reproduces the results of a porous-electrode model for the simple setup studied here, it is a powerful framework with the capability to predict the detailed dynamics in three-dimensional complex electrodes and provides further insights into the complex dynamics that result from the coupling of electrochemistry, thermodynamics, and transport kinetics.
△ Less
Submitted 25 September, 2013;
originally announced September 2013.
-
Ni coarsening in the three-phase solid oxide fuel cell anode - a phase-field simulation study
Authors:
Hsun-Yi Chen,
Hui-Chia Yu,
J. Scott Cronin,
James R. Wilson,
Scott A. Barnett,
Katsuyo Thornton
Abstract:
Ni coarsening in Ni-yttria stabilized zirconia (YSZ) solid oxide fuel cell anodes is considered a major reason for anode degradation. We present a predictive, quantative modeling framework based on the phase-field approach to systematically examine coarsening kinetics in such anodes. The initial structures for simulations are experimentally acquired functional layers of anodes. Sample size effects…
▽ More
Ni coarsening in Ni-yttria stabilized zirconia (YSZ) solid oxide fuel cell anodes is considered a major reason for anode degradation. We present a predictive, quantative modeling framework based on the phase-field approach to systematically examine coarsening kinetics in such anodes. The initial structures for simulations are experimentally acquired functional layers of anodes. Sample size effects and error analysis of contact angles are examined. Three phase boundary (TPB) lengths and Ni surface areas are quantatively identified on the basis of the active, dead-end, and isolated phase clusters throughout coarsening. Tortuosity evolution of the pores is also investigated. We find that phase clusters with larger characteristic length evolve slower than those with smaller length scales. As a result, coarsening has small positive effects on transport, and impacts less on the active Ni surface area than the total counter part. TPBs, however, are found to be sensitive to local morphological features and are only indirectly correlated to the evolution kinetics of the Ni phase.
△ Less
Submitted 7 January, 2012;
originally announced January 2012.
-
Extended Smoothed Boundary Method for Solving Partial Differential Equations with General Boundary Conditions on Complex Boundaries
Authors:
Hui-Chia Yu,
Hsun-Yi Chen,
K. Thornton
Abstract:
In this article, we describe an approach for solving partial differential equations with general boundary conditions imposed on arbitrarily shaped boundaries. A continuous function, the domain parameter, is used to modify the original differential equations such that the equations are solved in the region where a domain parameter takes a specified value while boundary conditions are imposed on the…
▽ More
In this article, we describe an approach for solving partial differential equations with general boundary conditions imposed on arbitrarily shaped boundaries. A continuous function, the domain parameter, is used to modify the original differential equations such that the equations are solved in the region where a domain parameter takes a specified value while boundary conditions are imposed on the region where the value of the domain parameter varies smoothly across a short distance. The mathematical derivations are straightforward and generically applicable to a wide variety of partial differential equations. To demonstrate the general applicability of the approach, we provide four examples herein: (1) the diffusion equation with both Neumann and Dirichlet boundary conditions; (2) the diffusion equation with both surface diffusion and reaction; (3) the mechanical equilibrium equation; and (4) the equation for phase transformation with the presence of additional boundaries. The solutions for several of these cases are validated against corresponding analytical and semi-analytical solutions. The potential of the approach is demonstrated with five applications: surface-reaction-diffusion kinetics with a complex geometry, Kirkendall-effect-induced deformation, thermal stress in a complex geometry, phase transformations affected by substrate surfaces, and a self-propelled droplet.
△ Less
Submitted 26 July, 2011;
originally announced July 2011.
-
Smoothed Boundary Method for Solving Partial Differential Equations with General Boundary Conditions on Complex Boundaries
Authors:
Hui-Chia Yu,
Hsun-Yi Chen,
K. Thornton
Abstract:
In this article, we describe an approach for solving partial differential equations with general boundary conditions imposed on arbitrarily shaped boundaries. A function that has a prescribed value on the domain in which a differential equation is valid and smoothly but rapidly varying values on the boundary where boundary conditions are imposed is used to modify the original differential equati…
▽ More
In this article, we describe an approach for solving partial differential equations with general boundary conditions imposed on arbitrarily shaped boundaries. A function that has a prescribed value on the domain in which a differential equation is valid and smoothly but rapidly varying values on the boundary where boundary conditions are imposed is used to modify the original differential equations. The mathematical derivations are straight forward, and generically applicable to a wide variety of partial differential equations. To demonstrate the general applicability of the approach, we provide four examples: (1) the diffusion equation with both Neumann and Dirichlet boundary conditions, (2) the diffusion equation with surface diffusion, (3) the mechanical equilibrium equation, and (4) the equation for phase transformation with additional boundaries. The solutions for a few of these cases are validated against corresponding analytical and semi-analytical solutions. The potential of the approach is demonstrated with five applications: surface-reaction diffusion kinetics with a complex geometry, Kirkendall-effect-induced deformation, thermal stress in a complex geometry, phase transformations affected by substrate surfaces, and a self-propelling droplet.
△ Less
Submitted 7 December, 2009;
originally announced December 2009.
-
Diffuse-Charge Dynamics in Electrochemical Systems
Authors:
Martin Z. Bazant,
Katsuyo Thornton,
Armand Ajdari
Abstract:
The response of a model micro-electrochemical system to a time-dependent applied voltage is analyzed. The article begins with a fresh historical review including electrochemistry, colloidal science, and microfluidics. The model problem consists of a symmetric binary electrolyte between parallel-plate, blocking electrodes which suddenly apply a voltage. Compact Stern layers on the electrodes are…
▽ More
The response of a model micro-electrochemical system to a time-dependent applied voltage is analyzed. The article begins with a fresh historical review including electrochemistry, colloidal science, and microfluidics. The model problem consists of a symmetric binary electrolyte between parallel-plate, blocking electrodes which suddenly apply a voltage. Compact Stern layers on the electrodes are also taken into account. The Nernst-Planck-Poisson equations are first linearized and solved by Laplace transforms for small voltages, and numerical solutions are obtained for large voltages. The ``weakly nonlinear'' limit of thin double layers is then analyzed by matched asymptotic expansions in the small parameter $ε= λ_D/L$, where $λ_D$ is the screening length and $L$ the electrode separation. At leading order, the system initially behaves like an RC circuit with a response time of $λ_D L / D$ (not $λ_D^2/D$), where $D$ is the ionic diffusivity, but nonlinearity violates this common picture and introduce multiple time scales. The charging process slows down, and neutral-salt adsorption by the diffuse part of the double layer couples to bulk diffusion at the time scale, $L^2/D$. In the ``strongly nonlinear'' regime (controlled by a dimensionless parameter resembling the Dukhin number), this effect produces bulk concentration gradients, and, at very large voltages, transient space charge. The article concludes with an overview of more general situations involving surface conduction, multi-component electrolytes, and Faradaic processes.
△ Less
Submitted 8 January, 2004;
originally announced January 2004.
-
Energy Input and Mass Redistribution by Supernovae in the Interstellar Medium
Authors:
Katsuyo Thornton,
Michael Gaudlitz,
Hans-Thomas Janka,
Matthias Steinmetz
Abstract:
We present the results of numerical studies of supernova remnant evolution and their effects on galactic and globular cluster evolution. We show that parameters such as the density and the metallicity of the environment significantly influence the evolution of the remnant, and thus change its effects on the global environment (e.g., globular clusters, galaxies) as a source of thermal and kinetic…
▽ More
We present the results of numerical studies of supernova remnant evolution and their effects on galactic and globular cluster evolution. We show that parameters such as the density and the metallicity of the environment significantly influence the evolution of the remnant, and thus change its effects on the global environment (e.g., globular clusters, galaxies) as a source of thermal and kinetic energy.
We conducted our studies using a one-dimensional hydrodynamics code, in which we implemented a metallicity dependent cooling function.
Global time-dependent quantities such as the total kinetic and thermal energies and the radial extent are calculated for a grid of parameter sets. The quantities calculated are the total energy, the kinetic energy, the thermal energy, the radial extent, and the mass. We distinguished between the hot, rarefied bubble and the cold, dense shell, as those two phases are distinct in their roles in a gas-stellar system.
We also present power-law fits to those quantities as a function of environmental parameters after the extensive cooling has ceased. The power-law fits enable simple incorporation of improved supernova energy input and matter redistribution (including the effect of the local conditions) in galactic/globular cluster models.
Our results for the energetics of supernova remnants in the late stages of their expansion give total energies ranging from 9e49 to 3e50 ergs, with a typical case being 1e50 erg, depending on the surrounding environment. About 8.5e49 erg of this energy can be found in the form of kinetic energy.
Supernovae play an important role in the evolution of the interstellar medium
△ Less
Submitted 17 June, 1997;
originally announced June 1997.