-
Cross-scale covariance for material property prediction
Authors:
Benjamin A. Jasperson,
Ilia Nikiforov,
Amit Samanta,
Fei Zhou,
Ellad B. Tadmor,
Vincenzo Lordi,
Vasily V. Bulatov
Abstract:
A simulation can stand its ground against experiment only if its prediction uncertainty is known. The unknown accuracy of interatomic potentials (IPs) is a major source of prediction uncertainty, severely limiting the use of large-scale classical atomistic simulations in a wide range of scientific and engineering applications. Here we explore covariance between predictions of metal plasticity, fro…
▽ More
A simulation can stand its ground against experiment only if its prediction uncertainty is known. The unknown accuracy of interatomic potentials (IPs) is a major source of prediction uncertainty, severely limiting the use of large-scale classical atomistic simulations in a wide range of scientific and engineering applications. Here we explore covariance between predictions of metal plasticity, from 178 large-scale ($\sim 10^8$ atoms) molecular dynamics (MD) simulations, and a variety of indicator properties computed at small-scales ($\leq 10^2$ atoms). All simulations use the same 178 IPs. In a manner similar to statistical studies in public health, we analyze correlations of strength with indicators, identify the best predictor properties, and build a cross-scale ``strength-on-predictors'' regression model. This model is then used to quantify uncertainty over the statistical pool of IPs. Small-scale predictors found to be highly covariant with strength are computed using expensive quantum-accurate calculations and used to predict flow strength, within the uncertainty bounds established in our statistical study.
△ Less
Submitted 29 May, 2024;
originally announced June 2024.
-
Constructions of bounded solutions of $div\, {\mathbf u}=f$ in critical spaces
Authors:
Albert Cohen,
Ronald DeVore,
Eitan Tadmor
Abstract:
We construct uniformly bounded solutions of the equation $div\, {\mathbf u}=f$ for arbitrary data $f$ in the critical spaces $L^d(Ω)$, where $Ω$ is a domain of ${\mathbb R}^d$. This question was addressed by Bourgain & Brezis, [On the equation ${\rm div}\, Y=f$ and application to control of phases, JAMS 16(2) (2003) 393-426], who proved that although the problem has a uniformly bounded solution, i…
▽ More
We construct uniformly bounded solutions of the equation $div\, {\mathbf u}=f$ for arbitrary data $f$ in the critical spaces $L^d(Ω)$, where $Ω$ is a domain of ${\mathbb R}^d$. This question was addressed by Bourgain & Brezis, [On the equation ${\rm div}\, Y=f$ and application to control of phases, JAMS 16(2) (2003) 393-426], who proved that although the problem has a uniformly bounded solution, it is critical in the sense that there exists no linear solution operator for general $L^d$-data. We first discuss the validity of this existence result under weaker conditions than $f\in L^d(Ω)$, and then focus our work on constructive processes for such uniformly bounded solutions. In the $d=2$ case, we present a direct one-step explicit construction, which generalizes for $d>2$ to a $(d-1)$-step construction based on induction. An explicit construction is proposed for compactly supported data in $L^{2,\infty}(Ω)$ in the $d=2$ case. We also present constructive approaches based on optimization of a certain loss functional adapted to the problem. This approach provides a two-step construction in the $d=2$ case. This optimization is used as the building block of a hierarchical multistep process introduced in [E. Tadmor, Hierarchical construction of bounded solutions in critical regularity spaces, CPAM 69(6) (2016) 1087-1109] that converges to a solution in more general situations.
△ Less
Submitted 21 May, 2024;
originally announced May 2024.
-
Swarm-based gradient descent meets simulated annealing
Authors:
Zhiyan Ding,
Martin Guerra,
Qin Li,
Eitan Tadmor
Abstract:
We introduce a novel method for non-convex optimization which is at the interface between the swarm-based gradient-descent (SBGD) [J. Lu et. al., ArXiv:2211.17157; E.Tadmor and A. Zenginoglu, Acta Applicandae Math., 190, 2024] and Simulated Annealing (SA) [V. Cerny, J. optimization theory and appl., 45:41-51, 1985; S.Kirkpatrick et. al., Science, 220(4598):671-680, 1983; S. Geman and C.-R. Hwang,…
▽ More
We introduce a novel method for non-convex optimization which is at the interface between the swarm-based gradient-descent (SBGD) [J. Lu et. al., ArXiv:2211.17157; E.Tadmor and A. Zenginoglu, Acta Applicandae Math., 190, 2024] and Simulated Annealing (SA) [V. Cerny, J. optimization theory and appl., 45:41-51, 1985; S.Kirkpatrick et. al., Science, 220(4598):671-680, 1983; S. Geman and C.-R. Hwang, SIAM J. Control and Optimization, 24(5):1031-1043, 1986]. We follow the methodology of SBGD in which a swarm of agents, each identified with a position, ${\mathbf x}$ and mass $m$, explores the ambient space. The agents proceed in gradient descent direction, and are subject to Brownian motion with annealing-rate dictated by a decreasing function of their mass. Thus, instead of the SA protocol for time-decreasing temperature, we let the swarm decide how to `cool down' agents, depending on their accumulated mass over time. The dynamics of masses is coupled with the dynamics of positions: agents at higher ground transfer (part of) their mass to those at lower ground. Consequently, the swarm is dynamically divided between heavier, cooler agents viewed as `leaders' and lighter, warmer agents viewed as `explorers'. Mean-field convergence analysis and benchmark optimizations demonstrate the effectiveness of the swarm-based method as a multi-dimensional global optimizer.
△ Less
Submitted 27 April, 2024;
originally announced April 2024.
-
Critical thresholds in pressureless Euler--Poisson equations with background states
Authors:
Young-Pil Choi,
Dong-ha Kim,
Dowan Koo,
Eitan Tadmor
Abstract:
We investigate the critical threshold phenomena in a large class of one dimensional pressureless Euler--Poisson (EP) equations, with non-vanishing background states. First, we establish local-in-time well-posedness in proper regularity spaces, which are adapted for a certain \textit{neutrality condition} to hold. The neutrality condition is shown to be necessary: we construct smooth solutions that…
▽ More
We investigate the critical threshold phenomena in a large class of one dimensional pressureless Euler--Poisson (EP) equations, with non-vanishing background states. First, we establish local-in-time well-posedness in proper regularity spaces, which are adapted for a certain \textit{neutrality condition} to hold. The neutrality condition is shown to be necessary: we construct smooth solutions that exhibit instantaneous failure of the neutrality condition, which in turn yields non-existence of solutions, even locally in time, in the classical Sobolev spaces $H^s({\mathbb R})$, $s \geq 2$. Next, we study the critical threshold phenomena in the neutrality-condition-satisfying pressureless EP systems, where we distinguish between two cases. We prove that in the case of attractive forcing, the neutrality condition can further restrict the sub-critical region into its borderline, namely -- the sub-critical region is reduced to a single line in the phase plane. We then turn to provide a rather definitive answer for the critical thresholds in the case of repulsive EP systems with variable backgrounds. As an application, we analyze the critical thresholds for the damped EP system for cold plasma ion dynamics, where the density of electrons is given by the \textit{Maxwell--Boltzmann relation}.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Runge-Kutta methods are stable
Authors:
Eitan Tadmor
Abstract:
We prove that Runge-Kutta (RK) methods for numerical integration of arbitrarily large systems of Ordinary Differential Equations are linearly stable. Standard stability arguments -- based on spectral analysis, resolvent condition or strong stability, fail to secure the stability of arbitrarily large RK systems. We explain the failure of different approaches, offer a new stability theory and demons…
▽ More
We prove that Runge-Kutta (RK) methods for numerical integration of arbitrarily large systems of Ordinary Differential Equations are linearly stable. Standard stability arguments -- based on spectral analysis, resolvent condition or strong stability, fail to secure the stability of arbitrarily large RK systems. We explain the failure of different approaches, offer a new stability theory and demonstrate a few examples.
△ Less
Submitted 24 December, 2023;
originally announced December 2023.
-
Swarm-based optimization with random descent
Authors:
Eitan Tadmor,
Anil Zenginoglu
Abstract:
We extend our study of the swarm-based gradient descent method for non-convex optimization, [Lu, Tadmor & Zenginoglu, arXiv:2211.17157], to allow random descent directions. We recall that the swarm-based approach consists of a swarm of agents, each identified with a position, ${\mathbf x}$, and mass, $m$. The key is the transfer of mass from high ground to low(-est) ground. The mass of an agent di…
▽ More
We extend our study of the swarm-based gradient descent method for non-convex optimization, [Lu, Tadmor & Zenginoglu, arXiv:2211.17157], to allow random descent directions. We recall that the swarm-based approach consists of a swarm of agents, each identified with a position, ${\mathbf x}$, and mass, $m$. The key is the transfer of mass from high ground to low(-est) ground. The mass of an agent dictates its step size: lighter agents take larger steps. In this paper, the essential new feature is the choice of direction: rather than restricting the swarm to march in the steepest gradient descent, we let agents proceed in randomly chosen directions centered around -- but otherwise different from -- the gradient direction. The random search secures the descent property while at the same time, enabling greater exploration of ambient space. Convergence analysis and benchmark optimizations demonstrate the effectiveness of the swarm-based random descent method as a multi-dimensional global optimizer.
△ Less
Submitted 17 February, 2024; v1 submitted 23 July, 2023;
originally announced July 2023.
-
ColabFit Exchange: open-access datasets for data-driven interatomic potentials
Authors:
Joshua A. Vita,
Eric G. Fuemmeler,
Amit Gupta,
Gregory P. Wolfe,
Alexander Quanming Tao,
Ryan S. Elliott,
Stefano Martiniani,
Ellad B. Tadmor
Abstract:
Data-driven (DD) interatomic potentials (IPs) trained on large collections of first principles calculations are rapidly becoming essential tools in the fields of computational materials science and chemistry for performing atomic-scale simulations. Despite this, apart from a few notable exceptions, there is a distinct lack of well-organized, public datasets in common formats available for use with…
▽ More
Data-driven (DD) interatomic potentials (IPs) trained on large collections of first principles calculations are rapidly becoming essential tools in the fields of computational materials science and chemistry for performing atomic-scale simulations. Despite this, apart from a few notable exceptions, there is a distinct lack of well-organized, public datasets in common formats available for use with IP development. This deficiency precludes the research community from implementing widespread benchmarking, which is essential for gaining insight into model performance and transferability, and also limits the development of more general, or even universal, IPs. To address this issue, we introduce the ColabFit Exchange, the first database providing open access to a large collection of systematically organized datasets from multiple domains that is especially designed for IP development. The ColabFit Exchange is publicly available at \url{https://colabfit.org/}, providing a web-based interface for exploring, downloading, and contributing datasets. Composed of data collected from the literature or provided by community researchers, the ColabFit Exchange currently (September 2023) consists of 139 datasets spanning nearly 70,000 unique chemistries, and is intended to continuously grow. In addition to outlining the software framework used for constructing and accessing the ColabFit Exchange, we also provide analyses of the data, quantifying the diversity of the database and proposing metrics for assessing the relative diversity of multiple datasets. Finally, we demonstrate an end-to-end IP development pipeline, utilizing datasets from the ColabFit Exchange, fitting tools from the KLIFF software package, and validation tests provided by the OpenKIM framework.
△ Less
Submitted 6 September, 2023; v1 submitted 19 June, 2023;
originally announced June 2023.
-
Revisting high-resolution schemes with van-Albada slope limiter
Authors:
**gcheng Lu,
Eitan Tadmor
Abstract:
Slope limiters play an essential role in maintaining the non-oscillatory behavior of high-resolution methods for nonlinear conservation laws. The family of minmod limiters serves as the prototype example. Here, we revisit the question of non-oscillatory behavior of high-resolution central schemes in terms of the slope limiter proposed by van Albada et. al. 1982. The van Albada (vA) limiter is smoo…
▽ More
Slope limiters play an essential role in maintaining the non-oscillatory behavior of high-resolution methods for nonlinear conservation laws. The family of minmod limiters serves as the prototype example. Here, we revisit the question of non-oscillatory behavior of high-resolution central schemes in terms of the slope limiter proposed by van Albada et. al. 1982. The van Albada (vA) limiter is smoother near extrema, and consequently, in many cases, it outperforms the results obtained using the standard minmod limiter. In particular, we prove that the vA limiter ensures 1D TVD stability and demonstrate that it yields noticeable improvement in computation of one- and two-dimensional systems.
△ Less
Submitted 30 October, 2023; v1 submitted 1 April, 2023;
originally announced April 2023.
-
Active Mass Distribution Estimation from Tactile Feedback
Authors:
Jiacheng Yuan,
Changhyun Choi,
Ellad B. Tadmor,
Volkan Isler
Abstract:
In this work, we present a method to estimate the mass distribution of a rigid object through robotic interactions and tactile feedback. This is a challenging problem because of the complexity of physical dynamics modeling and the action dependencies across the model parameters. We propose a sequential estimation strategy combined with a set of robot action selection rules based on the analytical…
▽ More
In this work, we present a method to estimate the mass distribution of a rigid object through robotic interactions and tactile feedback. This is a challenging problem because of the complexity of physical dynamics modeling and the action dependencies across the model parameters. We propose a sequential estimation strategy combined with a set of robot action selection rules based on the analytical formulation of a discrete-time dynamics model. To evaluate the performance of our approach, we also manufactured re-configurable block objects that allow us to modify the object mass distribution while having access to the ground truth values. We compare our approach against multiple baselines and show that our approach can estimate the mass distribution with around 10% error, while the baselines have errors ranging from 18% to 68%.
△ Less
Submitted 2 March, 2023;
originally announced March 2023.
-
The Emergence of Lines of Hierarchy in Collective Motion of Biological Systems
Authors:
James Greene,
Eitan Tadmor,
Ming Zhong
Abstract:
The emergence of large scale structures in biological systems, and in particular the formation of lines of hierarchy, is observed in many scales, from collections of cells to groups of insects to herds of animals. Motivated by phenomena in chemotaxis and phototaxis, we present a new class of alignment models which exhibit alignment into lines. The spontaneous formation of such ``fingers" can be in…
▽ More
The emergence of large scale structures in biological systems, and in particular the formation of lines of hierarchy, is observed in many scales, from collections of cells to groups of insects to herds of animals. Motivated by phenomena in chemotaxis and phototaxis, we present a new class of alignment models which exhibit alignment into lines. The spontaneous formation of such ``fingers" can be interpreted as the emergence of leaders and followers in a system of identically interacting agents. Various numerical examples are provided, which demonstrate emergent behaviors similar to the ``fingering'' phenomenon observed in some phototaxis and chemotaxis experiments; this phenomenon is generally known as a challenging pattern to capture for existing models. The novel pairwise interactions provides a fundamental mechanism by which agents may form social hierarchy across a wide range of biological systems.
△ Less
Submitted 3 June, 2023; v1 submitted 20 February, 2023;
originally announced February 2023.
-
Automated determination of grain boundary energy and potential-dependence using the OpenKIM framework
Authors:
Brendon Waters,
Daniel S. Karls,
Ilia Nikiforov,
Ryan S. Elliott,
Ellad B. Tadmor,
Brandon Runnels
Abstract:
We present a systematic methodology, built within the Open Knowledgebase of Interatomic Models (OpenKIM) framework (https://openkim.org), for quantifying properties of grain boundaries (GBs) for arbitrary interatomic potentials (IPs), GB character, and lattice structure and species. The framework currently generates results for symmetric tilt GBs in cubic materials, but can be readily extended to…
▽ More
We present a systematic methodology, built within the Open Knowledgebase of Interatomic Models (OpenKIM) framework (https://openkim.org), for quantifying properties of grain boundaries (GBs) for arbitrary interatomic potentials (IPs), GB character, and lattice structure and species. The framework currently generates results for symmetric tilt GBs in cubic materials, but can be readily extended to other types of boundaries. In this paper, GB energy data are presented that were generated automatically for Al, Ni, Cu, Fe, and Mo with 225 IPs; the system is installed on openkim.org and will continue to generate results for all new IPs uploaded to OpenKIM. The results from the atomistic calculations are compared to the lattice matching model, which is a semi-analytic geometric model for approximating GB energy. It is determined that the energy predicted by all IPs (that are stable for the given boundary type) correlate closely with the energy from the model, up to a multiplicative factor. It thus is concluded that the qualitative form of the GB energy versus tilt angle is dominated more by geometry than the choice of IP, but that the IP can strongly affect the energy level. The spread in GB energy predictions across the ensemble of IPs in OpenKIM provides a measure of uncertainty for GB energy predictions by classical IPs.
△ Less
Submitted 10 February, 2023; v1 submitted 22 December, 2022;
originally announced December 2022.
-
Swarm-Based Gradient Descent Method for Non-Convex Optimization
Authors:
**gcheng Lu,
Eitan Tadmor,
Anil Zenginoglu
Abstract:
We introduce a new Swarm-Based Gradient Descent (SBGD) method for non-convex optimization. The swarm consists of agents, each is identified with a position, ${\mathbf x}$, and mass, $m$. The key to their dynamics is communication: masses are being transferred from agents at high ground to low(-est) ground. At the same time, agents change positions with step size, $h=h({\mathbf x},m)$, adjusted to…
▽ More
We introduce a new Swarm-Based Gradient Descent (SBGD) method for non-convex optimization. The swarm consists of agents, each is identified with a position, ${\mathbf x}$, and mass, $m$. The key to their dynamics is communication: masses are being transferred from agents at high ground to low(-est) ground. At the same time, agents change positions with step size, $h=h({\mathbf x},m)$, adjusted to their relative mass: heavier agents proceed with small time-steps in the direction of local gradient, while lighter agents take larger time-steps based on a backtracking protocol. Accordingly, the crowd of agents is dynamically divided between `heavier' leaders, expected to approach local minima, and `lighter' explorers. With their large-step protocol, explorers are expected to encounter improved position for the swarm; if they do, then they assume the role of `heavy' swarm leaders and so on. Convergence analysis and numerical simulations in one-, two-, and 20-dimensional benchmarks demonstrate the effectiveness of SBGD as a global optimizer.
△ Less
Submitted 30 April, 2024; v1 submitted 30 November, 2022;
originally announced November 2022.
-
Injecting Domain Knowledge from Empirical Interatomic Potentials to Neural Networks for Predicting Material Properties
Authors:
Zeren Shui,
Daniel S. Karls,
Mingjian Wen,
Ilia A. Nikiforov,
Ellad B. Tadmor,
George Karypis
Abstract:
For decades, atomistic modeling has played a crucial role in predicting the behavior of materials in numerous fields ranging from nanotechnology to drug discovery. The most accurate methods in this domain are rooted in first-principles quantum mechanical calculations such as density functional theory (DFT). Because these methods have remained computationally prohibitive, practitioners have traditi…
▽ More
For decades, atomistic modeling has played a crucial role in predicting the behavior of materials in numerous fields ranging from nanotechnology to drug discovery. The most accurate methods in this domain are rooted in first-principles quantum mechanical calculations such as density functional theory (DFT). Because these methods have remained computationally prohibitive, practitioners have traditionally focused on defining physically motivated closed-form expressions known as empirical interatomic potentials (EIPs) that approximately model the interactions between atoms in materials. In recent years, neural network (NN)-based potentials trained on quantum mechanical (DFT-labeled) data have emerged as a more accurate alternative to conventional EIPs. However, the generalizability of these models relies heavily on the amount of labeled training data, which is often still insufficient to generate models suitable for general-purpose applications. In this paper, we propose two generic strategies that take advantage of unlabeled training instances to inject domain knowledge from conventional EIPs to NNs in order to increase their generalizability. The first strategy, based on weakly supervised learning, trains an auxiliary classifier on EIPs and selects the best-performing EIP to generate energies to supplement the ground-truth DFT energies in training the NN. The second strategy, based on transfer learning, first pretrains the NN on a large set of easily obtainable EIP energies, and then fine-tunes it on ground-truth DFT energies. Experimental results on three benchmark datasets demonstrate that the first strategy improves baseline NN performance by 5% to 51% while the second improves baseline performance by up to 55%. Combining them further boosts performance.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
Hydrodynamic alignment with pressure II. Multispecies
Authors:
**gcheng Lu,
Eitan Tadmor
Abstract:
We study the long-time hydrodynamic behavior of systems of multi-species which arise from agent-based description of alignment dynamics. The interaction between species is governed by an array of symmetric communication kernels. We prove that the crowd of different species flock towards the mean velocity if (i) cross-interactions form a heavy-tailed connected array of kernels, while (ii) self-inte…
▽ More
We study the long-time hydrodynamic behavior of systems of multi-species which arise from agent-based description of alignment dynamics. The interaction between species is governed by an array of symmetric communication kernels. We prove that the crowd of different species flock towards the mean velocity if (i) cross-interactions form a heavy-tailed connected array of kernels, while (ii) self-interactions are governed by kernels with singular heads. The main new aspect here, is that flocking behavior holds without closure assumption on the specific form of pressure tensors. Specifically, we prove the long-time flocking behavior for connected arrays of multi-species, with self-interactions governed by entropic pressure laws [E. Tadmor, Swarming: hydrodynamic alignment with pressure, ArXiv 2208.11786, (2022)] and driven by fractional $p$-alignment. In particular, it follows that such multi-species hydrodynamics approaches a mono-kinetic description. This generalizes the mono-kinetic, "pressure-less" study in [S. He and E. Tadmor, A game of alignment: collective behavior of multi-species, AIHP (c) Non Linear Anal. 38(4) (2021) 1031-1053.]
△ Less
Submitted 4 September, 2022; v1 submitted 25 August, 2022;
originally announced August 2022.
-
Swarming: hydrodynamic alignment with pressure
Authors:
Eitan Tadmor
Abstract:
We study the swarming behavior of hydrodynamic alignment. Alignment reflects steering towards a weighted average heading. We consider the class of so-called $p$-alignment hydrodynamics, based on $2p$-Laplacians, and weighted by a general family of symmetric communication kernels. The main new aspect here is the long time emergence behavior for a general class of pressure tensors without a closure…
▽ More
We study the swarming behavior of hydrodynamic alignment. Alignment reflects steering towards a weighted average heading. We consider the class of so-called $p$-alignment hydrodynamics, based on $2p$-Laplacians, and weighted by a general family of symmetric communication kernels. The main new aspect here is the long time emergence behavior for a general class of pressure tensors without a closure assumption, beyond the mere requirement that they form an energy dissipative process. We refer to such pressure laws as `entropic', and prove the flocking of $p$-alignment hydrodynamics, driven by singular kernels with general class of entropic pressure tensors. These results indicate the rigidity of alignment in driving long-time flocking behavior despite the lack of thermodynamic closure.
△ Less
Submitted 4 September, 2022; v1 submitted 24 August, 2022;
originally announced August 2022.
-
Extending OpenKIM with an Uncertainty Quantification Toolkit for Molecular Modeling
Authors:
Yonatan Kurniawan,
Cody L. Petrie,
Mark K. Transtrum,
Ellad B. Tadmor,
Ryan S. Elliott,
Daniel S. Karls,
Mingjian Wen
Abstract:
Atomistic simulations are an important tool in materials modeling. Interatomic potentials (IPs) are at the heart of such molecular models, and the accuracy of a model's predictions depends strongly on the choice of IP. Uncertainty quantification (UQ) is an emerging tool for assessing the reliability of atomistic simulations. The Open Knowledgebase of Interatomic Models (OpenKIM) is a cyberinfrastr…
▽ More
Atomistic simulations are an important tool in materials modeling. Interatomic potentials (IPs) are at the heart of such molecular models, and the accuracy of a model's predictions depends strongly on the choice of IP. Uncertainty quantification (UQ) is an emerging tool for assessing the reliability of atomistic simulations. The Open Knowledgebase of Interatomic Models (OpenKIM) is a cyberinfrastructure project whose goal is to collect and standardize the study of IPs to enable transparent, reproducible research. Part of the OpenKIM framework is the Python package, KIM-based Learning-Integrated Fitting Framework (KLIFF), that provides tools for fitting parameters in an IP to data. This paper introduces a UQ toolbox extension to KLIFF. We focus on two sources of uncertainty: variations in parameters and inadequacy of the functional form of the IP. Our implementation uses parallel-tempered Markov chain Monte Carlo (PTMCMC), adjusting the sampling temperature to estimate the uncertainty due to the functional form of the IP. We demonstrate on a Stillinger--Weber potential that makes predictions for the atomic energies and forces for silicon in a diamond configuration. Finally, we highlight some potential subtleties in applying and using these tools with recommendations for practitioners and IP developers.
△ Less
Submitted 22 August, 2022; v1 submitted 1 June, 2022;
originally announced June 2022.
-
HPC Extensions to the OpenKIM Processing Pipeline
Authors:
Daniel S. Karls,
Steven M. Clark,
Brendon A. Waters,
Ryan S. Elliott,
Ellad B. Tadmor
Abstract:
The Open Knowledgebase of Interatomic Models (OpenKIM) is an NSF Science Gateway that archives fully functional computer implementations of interatomic models (potentials and force fields) and simulation codes that use them to compute material properties. Interatomic models are coupled with compatible simulation codes and executed in a fully automated manner by the OpenKIM processing pipeline, a c…
▽ More
The Open Knowledgebase of Interatomic Models (OpenKIM) is an NSF Science Gateway that archives fully functional computer implementations of interatomic models (potentials and force fields) and simulation codes that use them to compute material properties. Interatomic models are coupled with compatible simulation codes and executed in a fully automated manner by the OpenKIM processing pipeline, a cloud-based computation platform. The pipeline as previously introduced in the literature was insufficient to support the large-scale computations that have become necessary within the materials science community. Accordingly, we present extensions made to the pipeline that allow it to utilize High-Performance Computing (HPC) resources in an efficient and performant fashion.
△ Less
Submitted 28 May, 2022;
originally announced May 2022.
-
Atomistically-informed continuum modeling and isogeometric analysis of 2D materials over holey substrates
Authors:
Moon-ki Choi,
Marco Pasetto,
Zhaoxiang Shen,
Ellad B. Tadmor,
David Kamensky
Abstract:
This work develops, discretizes, and validates a continuum model of a molybdenum disulfide (MoS$_2$) monolayer interacting with a periodic holey silicon nitride substrate via van der Waals (vdW) forces. The MoS$_2$ layer is modeled as a geometrically nonlinear Kirchhoff-Love shell, and vdW forces are modeled by a Lennard-Jones potential, simplified using approximations for a smooth substrate topog…
▽ More
This work develops, discretizes, and validates a continuum model of a molybdenum disulfide (MoS$_2$) monolayer interacting with a periodic holey silicon nitride substrate via van der Waals (vdW) forces. The MoS$_2$ layer is modeled as a geometrically nonlinear Kirchhoff-Love shell, and vdW forces are modeled by a Lennard-Jones potential, simplified using approximations for a smooth substrate topography. The material parameters of the shell model are calibrated by comparing small-strain tensile and bending tests with atomistic simulations. This model is efficiently discretized using isogeometric analysis (IGA) for the shell structure and a pseudo-time continuation method for energy minimization. The IGA shell model is validated against fully-atomistic calculations for several benchmark problems with different substrate geometries. The continuum simulations reproduce deflections, strains and curvatures predicted by atomistic simulations, which are known to strongly affect the electronic properties of MoS$_2$, with deviations well below the modeling errors suggested by differences between the widely-used reactive empirical bond order and Stillinger-Weber interatomic potentials. Agreement with atomistic results depends on geometric nonlinearity in some cases, but a simple isotropic St. Venant-Kirchhoff model is found to be sufficient to represent material behavior. We find that the IGA discretization of the continuum model has a much lower computational cost than atomistic simulations, and expect that it will enable efficient design space exploration in strain engineering applications. This is demonstrated by studying the dependence of strain and curvature in MoS$_2$ over a holey substrate as a function of the hole spacing on scales inaccessible to atomistic calculations. The results show an unexpected qualitative change in the deformation pattern below a critical hole separation.
△ Less
Submitted 30 March, 2022;
originally announced March 2022.
-
Torsional Periodic Lattice Distortions and Diffraction of Twisted 2D Materials
Authors:
Suk Hyun Sung,
Yin Min Goh,
Hyobin Yoo,
Rebecca Engelke,
Hongchao Xie,
Kuan Zhang,
Zidong Li,
Andrew Ye,
Parag B. Deotare,
Ellad B. Tadmor,
Andrew J. Mannix,
Jiwoong Park,
Liuyan Zhao,
Philip Kim,
Robert Hovden
Abstract:
Twisted 2D materials form complex moiré structures that spontaneously reduce symmetry through picoscale deformation within a mesoscale lattice. We show twisted 2D materials contain a torsional displacement field comprised of three transverse periodic lattice distortions (PLD). The torsional PLD amplitude provides a single order parameter that concisely describes the structural complexity of twiste…
▽ More
Twisted 2D materials form complex moiré structures that spontaneously reduce symmetry through picoscale deformation within a mesoscale lattice. We show twisted 2D materials contain a torsional displacement field comprised of three transverse periodic lattice distortions (PLD). The torsional PLD amplitude provides a single order parameter that concisely describes the structural complexity of twisted bilayer moirés. Moreover, the structure and amplitude of a torsional periodic lattice distortion is quantifiable using rudimentary electron diffraction methods sensitive to reciprocal space. In twisted bilayer graphene, the torsional PLD begins to form at angles below 3.89° and the amplitude reaches 8 pm around the magic angle of 1.1°. At extremely low twist angles (e.g. below 0.25°) the amplitude increases and additional PLD harmonics arise to expand Bernal stacked domains separated by well defined solitonic boundaries. The torsional distortion field in twisted bilayer graphene is analytically described and has an upper bound of 22.6 pm. Similar torsional distortions are observed in twisted WS$_2$, CrI$_3$, and WSe$_2$ / MoSe$_2$.
△ Less
Submitted 28 December, 2022; v1 submitted 12 March, 2022;
originally announced March 2022.
-
Long time and large crowd dynamics of discrete Cucker-Smale alignment models
Authors:
Eitan Tadmor
Abstract:
We provide a bird's eye view on developments in analyzing the long time, large crowd behavior of Cucker-Smale alignment dynamics. We consider a class of (fully-)discrete models, paying particular attention to general alignment protocols in which agents, with possibly time-dependent masses, are driven by a large class of heavy-tailed communication kernels. The presence of time-dependent masses allo…
▽ More
We provide a bird's eye view on developments in analyzing the long time, large crowd behavior of Cucker-Smale alignment dynamics. We consider a class of (fully-)discrete models, paying particular attention to general alignment protocols in which agents, with possibly time-dependent masses, are driven by a large class of heavy-tailed communication kernels. The presence of time-dependent masses allows, in particular, non-symmetric communication. While revisiting known results in the literature, we also shed new light of various aspects on the long time flocking/swarming behavior, driven by the decay of energy fluctuations and heavy-tailed connectivity. We also discuss the large crowd dynamics in terms of the hydrodynamic description of Euler alignment models.
△ Less
Submitted 3 June, 2023; v1 submitted 6 January, 2022;
originally announced January 2022.
-
Bayesian, frequentist, and information geometric approaches to parametric uncertainty quantification of classical empirical interatomic potentials
Authors:
Yonatan Kurniawan,
Cody L. Petrie,
Kinamo J. Williams,
Mark K. Transtrum,
Ellad B. Tadmor,
Ryan S. Elliott,
Daniel S. Karls,
Mingjian Wen
Abstract:
In this paper, we consider the problem of quantifying parametric uncertainty in classical empirical interatomic potentials (IPs) using both Bayesian (Markov Chain Monte Carlo) and frequentist (profile likelihood) methods. We interface these tools with the Open Knowledgebase of Interatomic Models and study three models based on the Lennard-Jones, Morse, and Stillinger--Weber potentials. We confirm…
▽ More
In this paper, we consider the problem of quantifying parametric uncertainty in classical empirical interatomic potentials (IPs) using both Bayesian (Markov Chain Monte Carlo) and frequentist (profile likelihood) methods. We interface these tools with the Open Knowledgebase of Interatomic Models and study three models based on the Lennard-Jones, Morse, and Stillinger--Weber potentials. We confirm that IPs are typically sloppy, i.e., insensitive to coordinated changes in some parameter combinations. Because the inverse problem in such models is ill-conditioned, parameters are unidentifiable. This presents challenges for traditional statistical methods, as we demonstrate and interpret within both Bayesian and frequentist frameworks. We use information geometry to illuminate the underlying cause of this phenomenon and show that IPs have global properties similar to those of sloppy models from fields such as systems biology, power systems, and critical phenomena. IPs correspond to bounded manifolds with a hierarchy of widths, leading to low effective dimensionality in the model. We show how information geometry can motivate new, natural parameterizations that improve the stability and interpretation of uncertainty quantification analysis and further suggest simplified, less-sloppy models.
△ Less
Submitted 14 June, 2022; v1 submitted 20 December, 2021;
originally announced December 2021.
-
KLIFF: A framework to develop physics-based and machine learning interatomic potentials
Authors:
Mingjian Wen,
Yaser Afshar,
Ryan S. Elliott,
Ellad B. Tadmor
Abstract:
Interatomic potentials (IPs) are reduced-order models for calculating the potential energy of a system of atoms given their positions in space and species. IPs treat atoms as classical particles without explicitly modeling electrons and thus are computationally far less expensive than first-principles methods, enabling molecular simulations of significantly larger systems over longer times. Develo…
▽ More
Interatomic potentials (IPs) are reduced-order models for calculating the potential energy of a system of atoms given their positions in space and species. IPs treat atoms as classical particles without explicitly modeling electrons and thus are computationally far less expensive than first-principles methods, enabling molecular simulations of significantly larger systems over longer times. Develo** an IP is a complex iterative process involving multiple steps: assembling a training set, designing a functional form, optimizing the function parameters, testing model quality, and deployment to molecular simulation packages. This paper introduces the KIM-based learning-integrated fitting framework (KLIFF), a package that facilitates the entire IP development process. KLIFF supports both physics-based and machine learning IPs. It adopts a modular approach whereby various components in the fitting process, such as atomic environment descriptors, functional forms, loss functions, optimizers, quality analyzers, and so on, work seamlessly with each other. This provides a flexible framework for the rapid design of new IP forms. Trained IPs are compatible with the Knowledgebase of Interatomic Models (KIM) application programming interface (API) and can be readily used in major materials simulation packages compatible with KIM, including ASE, DL_POLY, GULP, LAMMPS, and QC. KLIFF is written in Python with computationally intensive components implemented in C++. It is parallelized over data and supports both shared-memory multicore desktop machines and high-performance distributed memory computing clusters. We demonstrate the use of KLIFF by fitting a physics-based Stillinger--Weber potential and a machine learning neural network potential for silicon. The KLIFF package, together with its documentation, is publicly available at: https://github.com/openkim/kliff.
△ Less
Submitted 1 October, 2021; v1 submitted 7 August, 2021;
originally announced August 2021.
-
Critical threshold for global regularity of Euler-Monge-Ampère system with radial symmetry
Authors:
Eitan Tadmor,
Changhui Tan
Abstract:
We study the global wellposedness of the Euler-Monge-Ampère (EMA) system. We obtain a sharp, explicit critical threshold in the space of initial configurations which guarantees the global regularity of EMA system with radially symmetric initial data. The result is obtained using two independent approaches -- one using spectral dynamics of Liu & Tadmor [Comm. Math. Physics 228(3):435-466, 2002] and…
▽ More
We study the global wellposedness of the Euler-Monge-Ampère (EMA) system. We obtain a sharp, explicit critical threshold in the space of initial configurations which guarantees the global regularity of EMA system with radially symmetric initial data. The result is obtained using two independent approaches -- one using spectral dynamics of Liu & Tadmor [Comm. Math. Physics 228(3):435-466, 2002] and another based on the geometric approach of Brenier & Loeper [Geom. Funct. Analysis 14(6):1182--1218, 2004]. The results are extended to 2D radial EMA with swirl.
△ Less
Submitted 21 December, 2021; v1 submitted 30 July, 2021;
originally announced August 2021.
-
On the Fast Spreading Scenario
Authors:
Siming He,
Eitan Tadmor,
Andrej Zlatoš
Abstract:
We study two types of divergence-free fluid flows on unbounded domains in two and three dimensions -- hyperbolic and shear flows -- and their influence on chemotaxis and combustion. We show that fast spreading by these flows, when they are strong enough, can suppress growth of solutions to PDE modeling these phenomena. This includes prevention of singularity formation and global regularity of solu…
▽ More
We study two types of divergence-free fluid flows on unbounded domains in two and three dimensions -- hyperbolic and shear flows -- and their influence on chemotaxis and combustion. We show that fast spreading by these flows, when they are strong enough, can suppress growth of solutions to PDE modeling these phenomena. This includes prevention of singularity formation and global regularity of solutions to advective Patlak-Keller-Segel equations on ${\mathbb R}^2$ and ${\mathbb R}^3$, confirming numerical observations in [Khan, Johnson,Cartee and Yao, Global regularity of chemotaxis equations with advection, Involve, 9(1) 2016], as well as quenching in advection-reaction-diffusion equations.
△ Less
Submitted 1 April, 2021;
originally announced April 2021.
-
On the Mathematics of Swarming: Emergent Behavior in Alignment Dynamics
Authors:
Eitan Tadmor
Abstract:
We overview recent developments in the study of alignment hydrodynamics, driven by a general class of symmetric communication kernels. A main question of interest is to characterize the emergent behavior of such systems, which we quantify in terms of the spectral gap of a weighted Laplacian associated with the alignment operator. Our spectral analysis of energy fluctuation covers both long-range a…
▽ More
We overview recent developments in the study of alignment hydrodynamics, driven by a general class of symmetric communication kernels. A main question of interest is to characterize the emergent behavior of such systems, which we quantify in terms of the spectral gap of a weighted Laplacian associated with the alignment operator. Our spectral analysis of energy fluctuation covers both long-range and short-range kernels and does not require thermal equilibrium (no closure for the pressure). In particular, in the prototypical case of metric-based short-range kernels, the spectral gap admits a lower-bound expressed in terms of the discrete Fourier coefficients of the radial kernel, which enables us to quantify an emerging flocking behavior for non-vacuous solutions. These large-time behavior results apply as long as the solutions remain smooth. It is known that global smooth solutions exist in one and two spatial dimensions, subject to sub-critical initial data. We settle the question for arbitrary dimension, obtaining non-trivial initial threshold conditions which guarantee existence of multiD global smooth solutions.
△ Less
Submitted 17 February, 2021;
originally announced February 2021.
-
Dynamics of Particles on a Curve with Pairwise Hyper-singular Repulsion
Authors:
Douglas Hardin,
Edward B. Saff,
Ruiwen Shu,
Eitan Tadmor
Abstract:
We investigate the large time behavior of $N$ particles restricted to a smooth closed curve in $\mathbb{R}^d$ and subject to a gradient flow with respect to Euclidean hyper-singular repulsive Riesz $s$-energy with $s>1.$ We show that regardless of their initial positions, for all $N$ and time $t$ large, their normalized Riesz $s$-energy will be close to the $N$-point minimal possible. Furthermore,…
▽ More
We investigate the large time behavior of $N$ particles restricted to a smooth closed curve in $\mathbb{R}^d$ and subject to a gradient flow with respect to Euclidean hyper-singular repulsive Riesz $s$-energy with $s>1.$ We show that regardless of their initial positions, for all $N$ and time $t$ large, their normalized Riesz $s$-energy will be close to the $N$-point minimal possible. Furthermore, the distribution of such particles will be close to uniform with respect to arclength measure along the curve.
△ Less
Submitted 11 October, 2020;
originally announced October 2020.
-
Newtonian repulsion and radial confinement: convergence towards steady state
Authors:
Ruiwen Shu,
Eitan Tadmor
Abstract:
We investigate the large time behavior of multi-dimensional aggregation equations driven by Newtonian repulsion, and balanced by radial attraction and confinement. In case of Newton repulsion with radial confinement we quantify the algebraic convergence decay rate towards the unique steady state. To this end, we identify a one-parameter family of radial steady states, and prove dimension-dependent…
▽ More
We investigate the large time behavior of multi-dimensional aggregation equations driven by Newtonian repulsion, and balanced by radial attraction and confinement. In case of Newton repulsion with radial confinement we quantify the algebraic convergence decay rate towards the unique steady state. To this end, we identify a one-parameter family of radial steady states, and prove dimension-dependent decay rate in energy and 2-Wassertein distance, using a comparison with properly selected radial steady states. We also study Newtonian repulsion and radial attraction. When the attraction potential is quadratic it is known to coincide with quadratic confinement. Here we study the case of perturbed radial quadratic attraction, proving that it still leads to one-parameter family of unique steady states. It is expected that this family to serve for a corresponding comparison argument which yields algebraic convergence towards steady repulsive-attractive solutions.
△ Less
Submitted 22 February, 2021; v1 submitted 28 September, 2020;
originally announced September 2020.
-
Geometric Structure of Mass Concentration Sets for Pressureless Euler Alignment Systems
Authors:
Daniel Lear,
Trevor M. Leslie,
Roman Shvydkoy,
Eitan Tadmor
Abstract:
We study the limiting dynamics of the Euler Alignment system with a smooth, heavy-tailed interaction kernel $φ$ and unidirectional velocity $\mathbf{u} = (u, 0, \ldots, 0)$. We demonstrate a striking correspondence between the entropy function $e_0 = \partial_1 u_0 + φ*ρ_0$ and the limiting 'concentration set', i.e., the support of the singular part of the limiting density measure. In a typical sc…
▽ More
We study the limiting dynamics of the Euler Alignment system with a smooth, heavy-tailed interaction kernel $φ$ and unidirectional velocity $\mathbf{u} = (u, 0, \ldots, 0)$. We demonstrate a striking correspondence between the entropy function $e_0 = \partial_1 u_0 + φ*ρ_0$ and the limiting 'concentration set', i.e., the support of the singular part of the limiting density measure. In a typical scenario, a flock experiences aggregation toward a union of $C^1$ hypersurfaces: the image of the zero set of $e_0$ under the limiting flow map. This correspondence also allows us to make statements about the fine properties associated to the limiting dynamics, including a sharp upper bound on the dimension of the concentration set, depending only on the smoothness of $e_0$. In order to facilitate and contextualize our analysis of the limiting density measure, we also include an expository discussion of the wellposedness, flocking, and stability of the Euler Alignment system, most of which is new.
△ Less
Submitted 3 August, 2020;
originally announced August 2020.
-
The OpenKIM Processing Pipeline: A Cloud-Based Automatic Materials Property Computation Engine
Authors:
Daniel S. Karls,
Matthew Bierbaum,
Alexander A. Alemi,
Ryan S. Elliott,
James P. Sethna,
Ellad B. Tadmor
Abstract:
The Open Knowledgebase of Interatomic Models (OpenKIM) project is a framework intended to facilitate access to standardized implementations of interatomic models for molecular simulations along with computational protocols to evaluate them. These protocols includes tests to compute materials properties predicted by models and verification checks to assess their coding integrity. While housing this…
▽ More
The Open Knowledgebase of Interatomic Models (OpenKIM) project is a framework intended to facilitate access to standardized implementations of interatomic models for molecular simulations along with computational protocols to evaluate them. These protocols includes tests to compute materials properties predicted by models and verification checks to assess their coding integrity. While housing this content in a unified, publicly available environment constitutes a major step forward for the molecular modeling community, it further presents the opportunity to understand the range of validity of interatomic models and their suitability for specific target applications. To this end, OpenKIM includes a computational pipeline that runs tests and verification checks using all available interatomic models contained within the OpenKIM Repository at https://openkim.org. The OpenKIM Processing Pipeline is built on a set of Docker images hosted on distributed, heterogeneous hardware and utilizes open-source software to automatically run test-model and verification check-model pairs and resolve dependencies between them. The design philosophy and implementation choices made in the development of the pipeline are discussed as well as an example of its application to interatomic model selection.
△ Less
Submitted 18 May, 2020;
originally announced May 2020.
-
On the sparsity of LASSO minimizers in sparse data recovery
Authors:
Simon Foucart,
Eitan Tadmor,
Ming Zhong
Abstract:
We present a detailed analysis of the unconstrained $\ell_1$-weighted LASSO method for recovery of sparse data from its observation by randomly generated matrices, satisfying the Restricted Isometry Property (RIP) with constant $δ<1$, and subject to negligible measurement and compressibility errors. We prove that if the data is $k$-sparse, then the size of support of the LASSO minimizer, $s$, main…
▽ More
We present a detailed analysis of the unconstrained $\ell_1$-weighted LASSO method for recovery of sparse data from its observation by randomly generated matrices, satisfying the Restricted Isometry Property (RIP) with constant $δ<1$, and subject to negligible measurement and compressibility errors. We prove that if the data is $k$-sparse, then the size of support of the LASSO minimizer, $s$, maintains a comparable sparsity, $s\leq C_δk$. For example, if $δ=0.7$ then $s< 11k$ and a slightly smaller $δ=0.4$ yields $s< 4k$. We also derive new $\ell_2/\ell_1$ error bounds which highlight precise dependence on $k$ and on the LASSO parameter $λ$, before the error is driven below the scale of negligible measurement/ and compressiblity errors.
△ Less
Submitted 14 March, 2022; v1 submitted 8 April, 2020;
originally announced April 2020.
-
Commutator Method for Averaging Lemmas
Authors:
Pierre-Emmanuel Jabin,
Hsin-Yi Lin,
Eitan Tadmor
Abstract:
We introduce a commutator method with multipliers to prove averaging lemmas, the regularizing effect for the velocity average of solutions for kinetic equations. This method requires only elementary techniques in Fourier analysis and shows a new range of assumptions that are sufficient for the velocity average to be in $L^2([0,T],H^{1/2}_x).$ This result not only shows an interesting connection be…
▽ More
We introduce a commutator method with multipliers to prove averaging lemmas, the regularizing effect for the velocity average of solutions for kinetic equations. This method requires only elementary techniques in Fourier analysis and shows a new range of assumptions that are sufficient for the velocity average to be in $L^2([0,T],H^{1/2}_x).$ This result not only shows an interesting connection between averaging lemmas and local smoothing property of dispersive equations, but also provide a direct proof for the regularizing effect for the measure-valued solutions of scalar conservation laws in space dimension one.
△ Less
Submitted 22 April, 2020; v1 submitted 10 March, 2020;
originally announced March 2020.
-
Multi-flocks: emergent dynamics in systems with multi-scale collective behavior
Authors:
Roman Shvydkoy,
Eitan Tadmor
Abstract:
We study the multi-scale description of large-time collective behavior of agents driven by alignment. The resulting multi-flock dynamics arises naturally with realistic initial configurations consisting of multiple spatial scaling, which in turn peak at different time scales. We derive a `master-equation' which describes a complex multi-flock congregations governed by two ingredients: (i) a fast i…
▽ More
We study the multi-scale description of large-time collective behavior of agents driven by alignment. The resulting multi-flock dynamics arises naturally with realistic initial configurations consisting of multiple spatial scaling, which in turn peak at different time scales. We derive a `master-equation' which describes a complex multi-flock congregations governed by two ingredients: (i) a fast inner-flock communication; and (ii) a slow(-er) inter-flock communication. The latter is driven by macroscopic observables which feature the up-scaling of the problem. We extend the current mono-flock theory, proving a series of results which describe rates of multi-flocking with natural dependencies on communication strengths. Both agent-based, kinetic, and hydrodynamic descriptions are considered, with particular emphasis placed on the discrete and macroscopic descriptions.
△ Less
Submitted 9 March, 2020;
originally announced March 2020.
-
Hybrid neural network potential for multilayer graphene
Authors:
Mingjian Wen,
Ellad B. Tadmor
Abstract:
Monolayer and multilayer graphene are promising materials for applications such as electronic devices, sensors, energy generation and storage, and medicine. In order to perform large-scale atomistic simulations of the mechanical and thermal behavior of graphene-based devices, accurate interatomic potentials are required. Here, we present a new interatomic potential for multilayer graphene structur…
▽ More
Monolayer and multilayer graphene are promising materials for applications such as electronic devices, sensors, energy generation and storage, and medicine. In order to perform large-scale atomistic simulations of the mechanical and thermal behavior of graphene-based devices, accurate interatomic potentials are required. Here, we present a new interatomic potential for multilayer graphene structures referred to as "hNN--Gr$_x$." This hybrid potential employs a neural network to describe short-range interactions and a theoretically-motivated analytical term to model long-range dispersion. The potential is trained against a large dataset of monolayer graphene, bilayer graphene, and graphite configurations obtained from ab initio total-energy calculations based on density functional theory (DFT). The potential provides accurate energy and forces for both intralayer and interlayer interactions, correctly reproducing DFT results for structural, energetic, and elastic properties such as the equilibrium layer spacing, interlayer binding energy, elastic moduli, and phonon dispersions to which it was not fit. The potential is used to study the effect of vacancies on thermal conductivity in monolayer graphene and interlayer friction in bilayer graphene. The potential is available through the OpenKIM interatomic potential repository at \url{https://openkim.org}.
△ Less
Submitted 16 November, 2019; v1 submitted 22 September, 2019;
originally announced September 2019.
-
A game of alignment:collective behavior of multi-species
Authors:
Siming He,
Eitan Tadmor
Abstract:
We study the (hydro-)dynamics of multi-species driven by alignment. What distinguishes the different species is the protocol of their interaction with the rest of the crowd: the collective motion is described by different communication kernels, $φ_{αβ}$, between the crowds in species $α$ and $β$. We show that flocking of the overall crowd emerges provided the communication array between species fo…
▽ More
We study the (hydro-)dynamics of multi-species driven by alignment. What distinguishes the different species is the protocol of their interaction with the rest of the crowd: the collective motion is described by different communication kernels, $φ_{αβ}$, between the crowds in species $α$ and $β$. We show that flocking of the overall crowd emerges provided the communication array between species forms a connected graph. In particular, the crowd within each species need not interact with its own kind, i.e., $φ_{αα}=0$; different species which are engaged in such `game' of alignment require a connecting path for propagation of information which will lead to the flocking of overall crowd. The same methodology applies to multi-species aggregation dynamics governed by first-order alignment: connectivity implies concentration around an emerging consensus.
△ Less
Submitted 17 October, 2020; v1 submitted 28 August, 2019;
originally announced August 2019.
-
A minimum entropy principle in the compressible multicomponent Euler equations
Authors:
Ayoub Gouasmi,
Karthik Duraisamy,
Scott M. Murman,
Eitan Tadmor
Abstract:
In this work, the space of admissible entropy functions for the compressible multicomponent Euler equations is explored, following up on [Harten, \textit{J. Comput. Phys.}, 49 (1), 1983, pp. 151-164]. This effort allows us to prove a minimum entropy principle on entropy solutions, whether smooth or discrete, in the same way it was originally demonstrated for the compressible Euler equations by [Ta…
▽ More
In this work, the space of admissible entropy functions for the compressible multicomponent Euler equations is explored, following up on [Harten, \textit{J. Comput. Phys.}, 49 (1), 1983, pp. 151-164]. This effort allows us to prove a minimum entropy principle on entropy solutions, whether smooth or discrete, in the same way it was originally demonstrated for the compressible Euler equations by [Tadmor, \textit{Appl. Numer. Math.}, 49 (3-5), 1986, pp. 211-219].
△ Less
Submitted 28 August, 2019; v1 submitted 20 June, 2019;
originally announced June 2019.
-
Anticipation breeds alignment
Authors:
Ruiwen Shu,
Eitan Tadmor
Abstract:
We study the large-time behavior of systems driven by radial potentials, which react to anticipated positions, ${\mathbf x}^τ(t)={\mathbf x}(t)+τ{\mathbf v}(t)$, with anticipation increment $τ>0$. As a special case, such systems yield the celebrated Cucker-Smale model for alignment, coupled with pairwise interactions. Viewed from this perspective, such anticipated-driven systems are expected to em…
▽ More
We study the large-time behavior of systems driven by radial potentials, which react to anticipated positions, ${\mathbf x}^τ(t)={\mathbf x}(t)+τ{\mathbf v}(t)$, with anticipation increment $τ>0$. As a special case, such systems yield the celebrated Cucker-Smale model for alignment, coupled with pairwise interactions. Viewed from this perspective, such anticipated-driven systems are expected to emerge into flocking due to alignment of velocities, and spatial concentration due to confining potentials. We treat both the discrete dynamics and large crowd hydrodynamics, proving the decisive role of anticipation in driving such systems with attractive potentials into velocity alignment and spatial concentration. We also study the concentration effect near equilibrium for anticipated-based dynamics of pair of agents governed by attractive-repulsive potentials.
△ Less
Submitted 2 May, 2019;
originally announced May 2019.
-
Multi-species Patlak-Keller-Segel system
Authors:
Siming He,
Eitan Tadmor
Abstract:
We study the regularity and large-time behavior of a crowd of species driven by chemo-tactic interactions. What distinguishes the different species is the way they interact with the rest of the crowd: the collective motion is driven by different chemical reactions which end up in a coupled system of parabolic Patlak-Keller-Segel equations. We show that the densities of the different species diffus…
▽ More
We study the regularity and large-time behavior of a crowd of species driven by chemo-tactic interactions. What distinguishes the different species is the way they interact with the rest of the crowd: the collective motion is driven by different chemical reactions which end up in a coupled system of parabolic Patlak-Keller-Segel equations. We show that the densities of the different species diffuse to zero provided the chemical interactions between the different species satisfy certain sub-critical condition; the latter is intimately related to a log-Hardy-Littlewood-Sobolev inequality for systems due to Shafrir & Wolansky. Thus for example, when two species interact, one of which has mass less than $4π$, then the 2-system stays smooth for all time independent of the total mass of the system, in sharp contrast with the well-known breakdown of one specie with initial mass$> 8π$.
△ Less
Submitted 23 August, 2021; v1 submitted 6 March, 2019;
originally announced March 2019.
-
Optimal regularity in time and space for the porous medium equation
Authors:
Benjamin Gess,
Jonas Sauer,
Eitan Tadmor
Abstract:
Regularity estimates in time and space for solutions to the porous medium equation are shown in the scale of Sobolev spaces. In addition, higher spatial regularity for powers of the solutions is obtained. Scaling arguments indicate that these estimates are optimal. In the linear limit, the proven regularity estimates are consistent with the optimal regularity of the linear case.
Regularity estimates in time and space for solutions to the porous medium equation are shown in the scale of Sobolev spaces. In addition, higher spatial regularity for powers of the solutions is obtained. Scaling arguments indicate that these estimates are optimal. In the linear limit, the proven regularity estimates are consistent with the optimal regularity of the linear case.
△ Less
Submitted 22 February, 2019;
originally announced February 2019.
-
Flocking hydrodynamics with external potentials
Authors:
Ruiwen Shu,
Eitan Tadmor
Abstract:
We study the large-time behavior of hydrodynamic model which describes the collective behavior of continuum of agents, driven by pairwise alignment interactions with additional external potential forcing. The external force tends to compete with alignment which makes the large time behavior very different from the original Cucker-Smale (CS) alignment model, and far more interesting. Here we focus…
▽ More
We study the large-time behavior of hydrodynamic model which describes the collective behavior of continuum of agents, driven by pairwise alignment interactions with additional external potential forcing. The external force tends to compete with alignment which makes the large time behavior very different from the original Cucker-Smale (CS) alignment model, and far more interesting. Here we focus on uniformly convex potentials. In the particular case of \emph{quadratic} potentials, we are able to treat a large class of admissible interaction kernels, $φ(r) \gtrsim (1+r^2)^{-β}$ with `thin' tails $β\leq 1$ --- thinner than the usual `fat-tail' kernels encountered in CS flocking $β\leq\frac{1}{2}$: we discover unconditional flocking with exponential convergence of velocities \emph{and} positions towards a Dirac mass traveling as harmonic oscillator. For general convex potentials, we impose a stability condition, requiring large enough alignment kernel to avoid crowd scattering. We then prove, by hypocoercivity arguments, that both the velocities \emph{and} positions of smooth solution must flock. We also prove the existence of global smooth solutions for one and two space dimensions, subject to critical thresholds in initial configuration space. It is interesting to observe that global smoothness can be guaranteed for sub-critical initial data, independently of the apriori knowledge of large time flocking behavior.
△ Less
Submitted 21 January, 2019;
originally announced January 2019.
-
Flocking with short-range interactions
Authors:
Javier Morales,
Jan Peszek,
Eitan Tadmor
Abstract:
We study the large-time behavior of continuum alignment dynamics based on Cucker-Smale (CS)-type interactions which involve short-range kernels, that is, communication kernels with support much smaller than the diameter of the crowd. We show that if the amplitude of the interactions is larger than a finite threshold, then unconditional hydrodynamic flocking follows. Since we do not impose any regu…
▽ More
We study the large-time behavior of continuum alignment dynamics based on Cucker-Smale (CS)-type interactions which involve short-range kernels, that is, communication kernels with support much smaller than the diameter of the crowd. We show that if the amplitude of the interactions is larger than a finite threshold, then unconditional hydrodynamic flocking follows. Since we do not impose any regularity nor do we require the kernels to be bounded, the result covers both regular and singular interaction kernels. Moreover, we treat initial densities in the general class of compactly supported measures which are required to have positive mass on average (over balls at small enough scale), but otherwise vacuum is allowed at smaller scales. Consequently, our arguments of hydrodynamic flocking apply, mutatis mutandis, to the agent-based CS model with finitely many Dirac masses. In particular, discrete flocking threshold is shown to depend on the number of dense clusters of communication but otherwise does not grow with the number of agents.
△ Less
Submitted 1 May, 2019; v1 submitted 9 December, 2018;
originally announced December 2018.
-
Dihedral-angle-corrected registry-dependent interlayer potential for multilayer graphene structures
Authors:
Mingjian Wen,
Stephen Carr,
Shiang Fang,
Efthimios Kaxiras,
Ellad B. Tadmor
Abstract:
The structural relaxation of multilayer graphene is essential in describing the interesting electronic properties induced by intentional misalignment of successive layers, including the recently reported superconductivity in twisted bilayer graphene. This is difficult to accomplish without an accurate interatomic potential. Here, we present a new, registry-dependent Kolmogorov-Crespi type interato…
▽ More
The structural relaxation of multilayer graphene is essential in describing the interesting electronic properties induced by intentional misalignment of successive layers, including the recently reported superconductivity in twisted bilayer graphene. This is difficult to accomplish without an accurate interatomic potential. Here, we present a new, registry-dependent Kolmogorov-Crespi type interatomic potential to model interlayer interactions in multilayer graphene structures. It consists of two parts representing attractive interaction due to dispersion, and repulsive interaction due to anisotropic overlap of electronic orbitals. An important new feature is a dihedral-angle-dependent term that is added to the repulsive part in order to describe correctly several distinct stacking states that the original Kolmogorov-Crespi potential cannot distinguish. We refer to the new model as the Dihedral-angle-corrected Registry-dependent Interlayer Potential (DRIP). Computations for several test problems show that DRIP correctly reproduces the binding, sliding, and twisting energies and forces obtained from ab initio total-energy calculations based on density functional theory. We use the new potential to study the structural properties of a twisted graphene bilayer and the exfoliation of graphene from graphite. Our potential is available through the OpenKIM interatomic potential repository at https://openkim.org.
△ Less
Submitted 10 November, 2018; v1 submitted 13 August, 2018;
originally announced August 2018.
-
Topologically-based fractional diffusion and emergent dynamics with short-range interactions
Authors:
Roman Shvydkoy,
Eitan Tadmor
Abstract:
We introduce a new class of models for emergent dynamics. It is based on a new communication protocol which incorporates two main features: short-range kernels which restrict the communication to local geometric balls, and anisotropic communication kernels, adapted to the local density in these balls, which form topological neighborhoods. We prove flocking behavior -- the emergence of global align…
▽ More
We introduce a new class of models for emergent dynamics. It is based on a new communication protocol which incorporates two main features: short-range kernels which restrict the communication to local geometric balls, and anisotropic communication kernels, adapted to the local density in these balls, which form topological neighborhoods. We prove flocking behavior -- the emergence of global alignment for regular, non-vacuous solutions of the $n$-dimensional models based on short-range topological communication. Moreover, global regularity (and hence unconditional flocking) of the one-dimensional model is proved via an application of a De Giorgi-type method. To handle the non-symmetric singular kernels that arise with our topological communication, we develop a new analysis for local fractional elliptic operators, interesting for its own sake, encountered in the construction of our class of models.
△ Less
Submitted 27 August, 2020; v1 submitted 4 June, 2018;
originally announced June 2018.
-
Atomic and electronic reconstruction at van der Waals interface in twisted bilayer graphene
Authors:
Hyobin Yoo,
Rebecca Engelke,
Stephen Carr,
Shiang Fang,
Kuan Zhang,
Paul Cazeaux,
Suk Hyun Sung,
Robert Hovden,
Adam W. Tsen,
Takashi Taniguchi,
Kenji Watanabe,
Gyu-Chul Yi,
Miyoung Kim,
Mitchell Luskin,
Ellad B. Tadmor,
Efthimios Kaxiras,
Philip Kim
Abstract:
Control of the interlayer twist angle in two-dimensional (2D) van der Waals (vdW) heterostructures enables one to engineer a quasiperiodic moiré superlattice of tunable length scale. In twisted bilayer graphene (TBG), the simple moiré superlattice band description suggests that the electronic band width can be tuned to be comparable to the vdW interlayer interaction at a 'magic angle', exhibiting…
▽ More
Control of the interlayer twist angle in two-dimensional (2D) van der Waals (vdW) heterostructures enables one to engineer a quasiperiodic moiré superlattice of tunable length scale. In twisted bilayer graphene (TBG), the simple moiré superlattice band description suggests that the electronic band width can be tuned to be comparable to the vdW interlayer interaction at a 'magic angle', exhibiting strongly correlated behavior. However, the vdW interlayer interaction can also cause significant structural reconstruction at the interface by favoring interlayer commensurability, which competes with the intralayer lattice distortion. Here we report the atomic scale reconstruction in TBG and its effect on the electronic structure. We find a gradual transition from incommensurate moiré structure to an array of commensurate domain structures as we decrease the twist angle across the characteristic crossover angle, $θ_c$ ~1°. In the twist regime smaller than $θ_c$ where the atomic and electronic reconstruction become significant, a simple moiré band description breaks down. Upon applying a transverse electric field, we observe electronic transport along the network of one-dimensional (1D) topological channels that surround the alternating triangular gapped domains, providing a new pathway to engineer the system with continuous tunability.
△ Less
Submitted 2 October, 2018; v1 submitted 11 April, 2018;
originally announced April 2018.
-
Well-Balanced Schemes for the Euler Equations with Gravitation: Conservative Formulation Using Global Fluxes
Authors:
Alina Chertock,
Shumo Cui,
Alexander Kurganov,
Şeyma Nur Özcan,
Eitan Tadmor
Abstract:
We develop a second-order well-balanced central-upwind scheme for the compressible Euler equations with gravitational source term. Here, we advocate a new paradigm based on a purely conservative reformulation of the equations using global fluxes. The proposed scheme is capable of exactly preserving steady-state solutions expressed in terms of a nonlocal equilibrium variable. A crucial step in the…
▽ More
We develop a second-order well-balanced central-upwind scheme for the compressible Euler equations with gravitational source term. Here, we advocate a new paradigm based on a purely conservative reformulation of the equations using global fluxes. The proposed scheme is capable of exactly preserving steady-state solutions expressed in terms of a nonlocal equilibrium variable. A crucial step in the construction of the second-order scheme is a well-balanced piecewise linear reconstruction of equilibrium variables combined with a well-balanced central-upwind evolution in time, which is adapted to reduce the amount of numerical viscosity when the flow is at (near) steady-state regime. We show the performance of our newly developed central-upwind scheme and demonstrate importance of perfect balance between the fluxes and gravitational forces in a series of one- and two-dimensional examples.
△ Less
Submitted 21 December, 2017;
originally announced December 2017.
-
Suppressing chemotactic blow-up through a fast splitting scenario on the plane
Authors:
Siming He,
Eitan Tadmor
Abstract:
We revisit the question of global regularity for the Patlak-Keller-Segel (PKS) chemotaxis model. The classical 2D hyperbolic-elliptic model blows up for initial mass M>8π. We consider more realistic scenario which takes into account the flow of the ambient environment induced by harmonic potentials, and thus retain the identical elliptic structure as in the original PKS. Surprisingly, we find that…
▽ More
We revisit the question of global regularity for the Patlak-Keller-Segel (PKS) chemotaxis model. The classical 2D hyperbolic-elliptic model blows up for initial mass M>8π. We consider more realistic scenario which takes into account the flow of the ambient environment induced by harmonic potentials, and thus retain the identical elliptic structure as in the original PKS. Surprisingly, we find that already the simplest case of linear stationary vector field, $Ax^\top$, with large enough amplitude $A$, prevents chemotactic blow-up. Specifically, the presence of such an ambient fluid transport creates what we call a 'fast splitting scenario', which competes with the focusing effect of aggregation so that 'enough mass' is pushed away from concentration along the $x_1$-axis, thus avoiding a finite time blow-up, at least for M<16π. Thus, the enhanced ambient flow doubles the amount of allowable mass which evolve to global smooth solutions.
△ Less
Submitted 25 October, 2018; v1 submitted 18 October, 2017;
originally announced October 2017.
-
Eulerian dynamics with a commutator forcing III. Fractional diffusion of order $0<α<1$
Authors:
Roman Shvydkoy,
Eitan Tadmor
Abstract:
We continue our study of hydrodynamic models of self-organized evolution of agents with singular interaction kernel $φ(x) = |x|^{-(1+α)}$. Following our works \cite{ST2017a,ST2017b} which focused on the range $1\leq α<2$, and Do et. al. \cite{DKRT2017} which covered the range $0<α<1$, in this paper we revisit the latter case and give a short(-er) proof of global in time existence of smooth solutio…
▽ More
We continue our study of hydrodynamic models of self-organized evolution of agents with singular interaction kernel $φ(x) = |x|^{-(1+α)}$. Following our works \cite{ST2017a,ST2017b} which focused on the range $1\leq α<2$, and Do et. al. \cite{DKRT2017} which covered the range $0<α<1$, in this paper we revisit the latter case and give a short(-er) proof of global in time existence of smooth solutions, together with a full description of their long time dynamics. Specifically, we prove that starting from any initial condition in $(ρ_0,u_0) \in H^{2+α}\times H^3$, the solution approaches exponentially fast to a flocking state solution consisting of a wave $\barρ=ρ_\infty(x-t\bar{u}))$ traveling with a constant velocity determined by the conserved average velocity $\bar{u}$. The convergence is accompanied by exponential decay of all higher order derivatives of $u$.
△ Less
Submitted 26 June, 2017;
originally announced June 2017.
-
Global regularity of two-dimensional flocking hydrodynamics
Authors:
Siming He,
Eitan Tadmor
Abstract:
We study the systems of Euler equations which arise from agent-based dynamics driven by velocity \emph{alignment}. It is known that smooth solutions of such systems must flock, namely -- the large time behavior of the velocity field approaches a limiting "flocking" velocity. To address the question of global regularity, we derive sharp critical thresholds in the phase space of initial configuratio…
▽ More
We study the systems of Euler equations which arise from agent-based dynamics driven by velocity \emph{alignment}. It is known that smooth solutions of such systems must flock, namely -- the large time behavior of the velocity field approaches a limiting "flocking" velocity. To address the question of global regularity, we derive sharp critical thresholds in the phase space of initial configuration which characterize the global regularity and hence flocking behavior of such \emph{two-dimensional} systems. Specifically, we prove for that a large class of \emph{sub-critical} initial conditions such that the initial divergence is "not too negative" and the initial spectral gap is "not too large", global regularity persists for all time.
△ Less
Submitted 24 February, 2017;
originally announced February 2017.
-
Eulerian dynamics with a commutator forcing II: flocking
Authors:
R. Shvydkoy,
E. Tadmor
Abstract:
We continue our study of one-dimensional class of Euler equations, introduced in \cite{ST2016}, driven by a forcing with a commutator structure of the form $[\aL_φ,u](ρ)=φ*(ρu)- (φ*ρ)u$, where $u$ is the velocity field and $φ$ belongs to a rather general class of \emph{influence} or interaction kernels.
In this paper we quantify the large-time behavior of such systems in terms of \emph{fast floc…
▽ More
We continue our study of one-dimensional class of Euler equations, introduced in \cite{ST2016}, driven by a forcing with a commutator structure of the form $[\aL_φ,u](ρ)=φ*(ρu)- (φ*ρ)u$, where $u$ is the velocity field and $φ$ belongs to a rather general class of \emph{influence} or interaction kernels.
In this paper we quantify the large-time behavior of such systems in terms of \emph{fast flocking} for two prototypical sub-classes of kernels: bounded positive $φ$'s, and singular $φ(r) = r^{-(1+\a)}$ of order $α\in [1,2)$ associated with the action of the fractional Laplacian $\aL_φ=-(-\partial_{xx})^{α/2}$. Specifically, we prove fast velocity alignment as the velocity $u(\cdot,t)$ approaches a constant state, $u \to \bar{u}$, with exponentially decaying slope and curvature bounds $|u_x(\cdot,t)|_{\infty}+ |u_{xx}(\cdot,t)|_{\infty}\lesssim e^{-\d t}$. The alignment is accompanied by exponentially fast flocking of the density towards a fixed traveling state $ρ(\cdot,t) - {ρ_{\infty}}(x - \bar{u} t) \rightarrow 0$.
△ Less
Submitted 26 January, 2017;
originally announced January 2017.
-
Eulerian dynamics with a commutator forcing
Authors:
Roman Shvydkoy,
Eitan Tadmor
Abstract:
We study a general class of Euler equations driven by a forcing with a \emph{commutator structure} of the form $[\mathcal{L},\mathbf{u}](ρ)=\mathcal{L}(ρ\mathbf{u})- \mathcal{L}(ρ)\mathbf{u}$, where $\mathbf{u}$ is the velocity field and $\mathcal{L}$ is the "action" which belongs to a rather general class of translation invariant operators. Such systems arise, for example, as the hydrodynamic des…
▽ More
We study a general class of Euler equations driven by a forcing with a \emph{commutator structure} of the form $[\mathcal{L},\mathbf{u}](ρ)=\mathcal{L}(ρ\mathbf{u})- \mathcal{L}(ρ)\mathbf{u}$, where $\mathbf{u}$ is the velocity field and $\mathcal{L}$ is the "action" which belongs to a rather general class of translation invariant operators. Such systems arise, for example, as the hydrodynamic description of velocity alignment, where action involves convolutions with bounded, positive influence kernels, $\mathcal{L}_φ(f)=φ*f$. Our interest lies with a much larger class of $\mathcal{L}$'s which are neither bounded nor positive.
In this paper we develop a global regularity theory in the one-dimensional setting, considering three prototypical sub-classes of actions. We prove global regularity for \emph{bounded} $φ$'s which otherwise are allowed to change sign. Here we derive sharp critical thresholds such that sub-critical initial data $(ρ_0,u_0)$ give rise to global smooth solutions. Next, we study \emph{singular} actions associated with $\mathcal{L}=-(-\partial_{xx})^{α/2}$, which embed the fractional Burgers' equation of order $α$. We prove global regularity for $α\in [1,2)$. Interestingly, the singularity of the fractional kernel $|x|^{-(n+α)}$, avoids an initial threshold restriction. Global regularity of the critical endpoint $α=1$ follows with double-exponential $W^{1,\infty}$-bounds. Finally, for the other endpoint $α=2$, we prove the global regularity of the Navier-Stokes equations with density-dependent viscosity associated with the \emph{local} $\mathcal{L}=Δ$.
△ Less
Submitted 13 December, 2016;
originally announced December 2016.
-
A KIM-compliant potfit for fitting sloppy interatomic potentials: Application to the EDIP model for silicon
Authors:
Mingjian Wen,
Junhao Li,
Peter Brommer,
Ryan S. Elliott,
James P. Sethna,
Ellad B. Tadmor
Abstract:
Fitted interatomic potentials are widely used in atomistic simulations thanks to their ability to compute the energy and forces on atoms quickly. However, the simulation results crucially depend on the quality of the potential being used. Force matching is a method aimed at constructing reliable and transferable interatomic potentials by matching the forces computed by the potential as closely as…
▽ More
Fitted interatomic potentials are widely used in atomistic simulations thanks to their ability to compute the energy and forces on atoms quickly. However, the simulation results crucially depend on the quality of the potential being used. Force matching is a method aimed at constructing reliable and transferable interatomic potentials by matching the forces computed by the potential as closely as possible, with those obtained from first principles calculations. The potfit program is an implementation of the force-matching method that optimizes the potential parameters using a global minimization algorithm followed by a local minimization polish. We extended potfit in two ways. First, we adapted the code to be compliant with the KIM Application Programming Interface (API) standard (part of the Knowledgebase of Interatomic Models Project). This makes it possible to use potfit to fit many KIM potential models, not just those prebuilt into the potfit code. Second, we incorporated the geodesic Levenberg--Marquardt (LM) minimization algorithm into potfit as a new local minimization algorithm. The extended potfit was tested by generating a training set using the KIM Environment-Dependent Interatomic Potential (EDIP) model for silicon and using potfit to recover the potential parameters from different initial guesses. The results show that EDIP is a "sloppy model" in the sense that its predictions are insensitive to some of its parameters, which makes fitting more difficult. We find that the geodesic LM algorithm is particularly efficient for this case. The extended potfit code is the first step in develo** a KIM-based fitting framework for interatomic potentials for bulk and two dimensional materials. The code is available for download via https://www.potfit.net.
△ Less
Submitted 11 November, 2016;
originally announced November 2016.