-
A Rigorous Uncertainty-Aware Quantification Framework Is Essential for Reproducible and Replicable Machine Learning Workflows
Authors:
Line Pouchard,
Kristofer G. Reyes,
Francis J. Alexander,
Byung-Jun Yoon
Abstract:
The ability to replicate predictions by machine learning (ML) or artificial intelligence (AI) models and results in scientific workflows that incorporate such ML/AI predictions is driven by numerous factors. An uncertainty-aware metric that can quantitatively assess the reproducibility of quantities of interest (QoI) would contribute to the trustworthiness of results obtained from scientific workf…
▽ More
The ability to replicate predictions by machine learning (ML) or artificial intelligence (AI) models and results in scientific workflows that incorporate such ML/AI predictions is driven by numerous factors. An uncertainty-aware metric that can quantitatively assess the reproducibility of quantities of interest (QoI) would contribute to the trustworthiness of results obtained from scientific workflows involving ML/AI models. In this article, we discuss how uncertainty quantification (UQ) in a Bayesian paradigm can provide a general and rigorous framework for quantifying reproducibility for complex scientific workflows. Such as framework has the potential to fill a critical gap that currently exists in ML/AI for scientific workflows, as it will enable researchers to determine the impact of ML/AI model prediction variability on the predictive outcomes of ML/AI-powered workflows. We expect that the envisioned framework will contribute to the design of more reproducible and trustworthy workflows for diverse scientific applications, and ultimately, accelerate scientific discoveries.
△ Less
Submitted 23 August, 2023; v1 submitted 13 January, 2023;
originally announced January 2023.
-
Comprehensive analysis of gene expression profiles to radiation exposure reveals molecular signatures of low-dose radiation response
Authors:
Xihaier Luo,
Sean McCorkle,
Gilchan Park,
Vanessa Lopez-Marrero,
Shinjae Yoo,
Edward R. Dougherty,
Xiaoning Qian,
Francis J. Alexander,
Byung-Jun Yoon
Abstract:
There are various sources of ionizing radiation exposure, where medical exposure for radiation therapy or diagnosis is the most common human-made source. Understanding how gene expression is modulated after ionizing radiation exposure and investigating the presence of any dose-dependent gene expression patterns have broad implications for health risks from radiotherapy, medical radiation diagnosti…
▽ More
There are various sources of ionizing radiation exposure, where medical exposure for radiation therapy or diagnosis is the most common human-made source. Understanding how gene expression is modulated after ionizing radiation exposure and investigating the presence of any dose-dependent gene expression patterns have broad implications for health risks from radiotherapy, medical radiation diagnostic procedures, as well as other environmental exposure. In this paper, we perform a comprehensive pathway-based analysis of gene expression profiles in response to low-dose radiation exposure, in order to examine the potential mechanism of gene regulation underlying such responses. To accomplish this goal, we employ a statistical framework to determine whether a specific group of genes belonging to a known pathway display coordinated expression patterns that are modulated in a manner consistent with the radiation level. Findings in our study suggest that there exist complex yet consistent signatures that reflect the molecular response to radiation exposure, which differ between low-dose and high-dose radiation.
△ Less
Submitted 3 January, 2023;
originally announced January 2023.
-
Multi-Objective Latent Space Optimization of Generative Molecular Design Models
Authors:
A N M Nafiz Abeer,
Nathan Urban,
M Ryan Weil,
Francis J. Alexander,
Byung-Jun Yoon
Abstract:
Molecular design based on generative models, such as variational autoencoders (VAEs), has become increasingly popular in recent years due to its efficiency for exploring high-dimensional molecular space to identify molecules with desired properties. While the efficacy of the initial model strongly depends on the training data, the sampling efficiency of the model for suggesting novel molecules wit…
▽ More
Molecular design based on generative models, such as variational autoencoders (VAEs), has become increasingly popular in recent years due to its efficiency for exploring high-dimensional molecular space to identify molecules with desired properties. While the efficacy of the initial model strongly depends on the training data, the sampling efficiency of the model for suggesting novel molecules with enhanced properties can be further enhanced via latent space optimization. In this paper, we propose a multi-objective latent space optimization (LSO) method that can significantly enhance the performance of generative molecular design (GMD). The proposed method adopts an iterative weighted retraining approach, where the respective weights of the molecules in the training data are determined by their Pareto efficiency. We demonstrate that our multi-objective GMD LSO method can significantly improve the performance of GMD for jointly optimizing multiple molecular properties.
△ Less
Submitted 22 December, 2023; v1 submitted 1 March, 2022;
originally announced March 2022.
-
Adaptive Group Testing with Mismatched Models
Authors:
Mingzhou Fan,
Byung-Jun Yoon,
Francis J. Alexander,
Edward R. Dougherty,
Xiaoning Qian
Abstract:
Accurate detection of infected individuals is one of the critical steps in stop** any pandemic. When the underlying infection rate of the disease is low, testing people in groups, instead of testing each individual in the population, can be more efficient. In this work, we consider noisy adaptive group testing design with specific test sensitivity and specificity that select the optimal group gi…
▽ More
Accurate detection of infected individuals is one of the critical steps in stop** any pandemic. When the underlying infection rate of the disease is low, testing people in groups, instead of testing each individual in the population, can be more efficient. In this work, we consider noisy adaptive group testing design with specific test sensitivity and specificity that select the optimal group given previous test results based on pre-selected utility function. As in prior studies on group testing, we model this problem as a sequential Bayesian Optimal Experimental Design (BOED) to adaptively design the groups for each test. We analyze the required number of group tests when using the updated posterior on the infection status and the corresponding Mutual Information (MI) as our utility function for selecting new groups. More importantly, we study how the potential bias on the ground-truth noise of group tests may affect the group testing sample complexity.
△ Less
Submitted 5 October, 2021;
originally announced October 2021.
-
Optimal Decision Making in High-Throughput Virtual Screening Pipelines
Authors:
Hyun-Myung Woo,
Xiaoning Qian,
Li Tan,
Shantenu Jha,
Francis J. Alexander,
Edward R. Dougherty,
Byung-Jun Yoon
Abstract:
The need for efficient computational screening of molecular candidates that possess desired properties frequently arises in various scientific and engineering problems, including drug discovery and materials design. However, the large size of the search space containing the candidates and the substantial computational cost of high-fidelity property prediction models makes screening practically cha…
▽ More
The need for efficient computational screening of molecular candidates that possess desired properties frequently arises in various scientific and engineering problems, including drug discovery and materials design. However, the large size of the search space containing the candidates and the substantial computational cost of high-fidelity property prediction models makes screening practically challenging. In this work, we propose a general framework for constructing and optimizing a virtual screening (HTVS) pipeline that consists of multi-fidelity models. The central idea is to optimally allocate the computational resources to models with varying costs and accuracy to optimize the return-on-computational-investment (ROCI). Based on both simulated as well as real data, we demonstrate that the proposed optimal HTVS framework can significantly accelerate screening virtually without any degradation in terms of accuracy. Furthermore, it enables an adaptive operational strategy for HTVS, where one can trade accuracy for efficiency.
△ Less
Submitted 30 December, 2022; v1 submitted 23 September, 2021;
originally announced September 2021.
-
Robust Importance Sampling for Error Estimation in the Context of Optimal Bayesian Transfer Learning
Authors:
Omar Maddouri,
Xiaoning Qian,
Francis J. Alexander,
Edward R. Dougherty,
Byung-Jun Yoon
Abstract:
Classification has been a major task for building intelligent systems as it enables decision-making under uncertainty. Classifier design aims at building models from training data for representing feature-label distributions--either explicitly or implicitly. In many scientific or clinical settings, training data are typically limited, which makes designing accurate classifiers and evaluating their…
▽ More
Classification has been a major task for building intelligent systems as it enables decision-making under uncertainty. Classifier design aims at building models from training data for representing feature-label distributions--either explicitly or implicitly. In many scientific or clinical settings, training data are typically limited, which makes designing accurate classifiers and evaluating their classification error extremely challenging. While transfer learning (TL) can alleviate this issue by incorporating data from relevant source domains to improve learning in a different target domain, it has received little attention for performance assessment, notably in error estimation. In this paper, we fill this gap by investigating knowledge transferability in the context of classification error estimation within a Bayesian paradigm. We introduce a novel class of Bayesian minimum mean-square error (MMSE) estimators for optimal Bayesian transfer learning (OBTL), which enables rigorous evaluation of classification error under uncertainty in a small-sample setting. Using Monte Carlo importance sampling, we employ the proposed estimator to evaluate the classification accuracy of a broad family of classifiers that span diverse learning capabilities. Experimental results based on both synthetic data as well as real-world RNA sequencing (RNA-seq) data show that our proposed OBTL error estimation scheme clearly outperforms standard error estimators, especially in a small-sample setting, by tap** into the data from other relevant domains.
△ Less
Submitted 5 September, 2021;
originally announced September 2021.
-
Resource-Constrained Optimal Experimental Design
Authors:
Anthony M. DeGennaro,
Francis J. Alexander
Abstract:
The goal of this paper is to make Optimal Experimental Design (OED) computationally feasible for problems involving significant computational expense. We focus exclusively on the Mean Objective Cost of Uncertainty (MOCU), which is a specific methodology for OED, and we propose extensions to MOCU that leverage surrogates and adaptive sampling. We focus on reducing the computational expense associat…
▽ More
The goal of this paper is to make Optimal Experimental Design (OED) computationally feasible for problems involving significant computational expense. We focus exclusively on the Mean Objective Cost of Uncertainty (MOCU), which is a specific methodology for OED, and we propose extensions to MOCU that leverage surrogates and adaptive sampling. We focus on reducing the computational expense associated with evaluating a large set of control policies across a large set of uncertain variables. We propose reducing the computational expense of MOCU by approximating intermediate calculations associated with each parameter/control pair with a surrogate. This surrogate is constructed from sparse sampling and (possibly) refined adaptively through a combination of sensitivity estimation and probabilistic knowledge gained directly from the experimental measurements prescribed from MOCU. We demonstrate our methods on example problems and compare performance relative to surrogate-approximated MOCU with no adaptive sampling and to full MOCU. We find evidence that adaptive sampling does improve performance, but the decision on whether to use surrogate-approximated MOCU versus full MOCU will depend on the relative expense of computation versus experimentation. If computation is more expensive than experimentation, then one should consider using our approach.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
Optimal Bounds on Nonlinear Partial Differential Equations in Model Certification, Validation, and Experimental Design
Authors:
M. McKerns,
F. J. Alexander,
K. S. Hickmann,
T. J. Sullivan,
D. E. Vaughan
Abstract:
We demonstrate that the recently developed Optimal Uncertainty Quantification (OUQ) theory, combined with recent software enabling fast global solutions of constrained non-convex optimization problems, provides a methodology for rigorous model certification, validation, and optimal design under uncertainty. In particular, we show the utility of the OUQ approach to understanding the behavior of a s…
▽ More
We demonstrate that the recently developed Optimal Uncertainty Quantification (OUQ) theory, combined with recent software enabling fast global solutions of constrained non-convex optimization problems, provides a methodology for rigorous model certification, validation, and optimal design under uncertainty. In particular, we show the utility of the OUQ approach to understanding the behavior of a system that is governed by a partial differential equation -- Burgers' equation. We solve the problem of predicting shock location when we only know bounds on viscosity and on the initial conditions. Through this example, we demonstrate the potential to apply OUQ to complex physical systems, such as systems governed by coupled partial differential equations. We compare our results to those obtained using a standard Monte Carlo approach, and show that OUQ provides more accurate bounds at a lower computational cost. We discuss briefly about how to extend this approach to more complex systems, and how to integrate our approach into a more ambitious program of optimal experimental design.
△ Less
Submitted 13 September, 2020;
originally announced September 2020.
-
A Control Variate Approach for Improving Efficiency of Ensemble Monte Carlo
Authors:
T. Borogovac,
F. J. Alexander,
P. Vakili
Abstract:
In this paper we present a new approach to control variates for improving computational efficiency of Ensemble Monte Carlo. We present the approach using simulation of paths of a time-dependent nonlinear stochastic equation. The core idea is to extract information at one or more nominal model parameters and use this information to gain estimation efficiency at neighboring parameters. This idea i…
▽ More
In this paper we present a new approach to control variates for improving computational efficiency of Ensemble Monte Carlo. We present the approach using simulation of paths of a time-dependent nonlinear stochastic equation. The core idea is to extract information at one or more nominal model parameters and use this information to gain estimation efficiency at neighboring parameters. This idea is the basis of a general strategy, called DataBase Monte Carlo (DBMC), for improving efficiency of Monte Carlo. In this paper we describe how this strategy can be implemented using the variance reduction technique of Control Variates (CV). We show that, once an initial setup cost for extracting information is incurred, this approach can lead to significant gains in computational efficiency. The initial setup cost is justified in projects that require a large number of estimations or in those that are to be performed under real-time constraints.
△ Less
Submitted 18 September, 2008;
originally announced September 2008.
-
Equation-free implementation of statistical moment closures
Authors:
Francis J. Alexander,
Gregory Johnson,
Gregory L. Eyink,
Ioannis G. Kevrekidis
Abstract:
We present a general numerical scheme for the practical implementation of statistical moment closures suitable for modeling complex, large-scale, nonlinear systems. Building on recently developed equation-free methods, this approach numerically integrates the closure dynamics, the equations of which may not even be available in closed form. Although closure dynamics introduce statistical assumpt…
▽ More
We present a general numerical scheme for the practical implementation of statistical moment closures suitable for modeling complex, large-scale, nonlinear systems. Building on recently developed equation-free methods, this approach numerically integrates the closure dynamics, the equations of which may not even be available in closed form. Although closure dynamics introduce statistical assumptions of unknown validity, they can have significant computational advantages as they typically have fewer degrees of freedom and may be much less stiff than the original detailed model. The closure method can in principle be applied to a wide class of nonlinear problems, including strongly-coupled systems (either deterministic or stochastic) for which there may be no scale separation. We demonstrate the equation-free approach for implementing entropy-based Eyink-Levermore closures on a nonlinear stochastic partial differential equation.
△ Less
Submitted 5 April, 2007;
originally announced April 2007.
-
Statistical Mechanics of Histories: A Cluster Monte Carlo Algorithm
Authors:
Natali Gulbahce,
Francis J. Alexander,
Gregory Johnson
Abstract:
We present an efficient computational approach to sample the histories of nonlinear stochastic processes. This framework builds upon recent work on casting a $d$-dimensional stochastic dynamical system into a $d+1$-dimensional equilibrium system using the path integral approach. We introduce a cluster algorithm that efficiently samples histories and discuss how to include measurements that are a…
▽ More
We present an efficient computational approach to sample the histories of nonlinear stochastic processes. This framework builds upon recent work on casting a $d$-dimensional stochastic dynamical system into a $d+1$-dimensional equilibrium system using the path integral approach. We introduce a cluster algorithm that efficiently samples histories and discuss how to include measurements that are available into the estimate of the histories. This allows our approach to be applicable to the simulation of rare events and to optimal state and parameter estimation. We demonstrate the utility of this approach for $φ^4$ Langevin dynamics in two spatial dimensions where our algorithm improves sampling efficiency up to an order of magnitude.
△ Less
Submitted 5 January, 2006; v1 submitted 9 November, 2005;
originally announced November 2005.
-
Fourier Acceleration of Langevin Molecular Dynamics
Authors:
Francis J. Alexander,
Bruce M. Boghosian,
Richard C. Brower,
S. Roy Kimura
Abstract:
Fourier acceleration has been successfully applied to the simulation of lattice field theories for more than a decade. In this paper, we extend the method to the dynamics of discrete particles moving in continuum. Although our method is based on a map** of the particles' dynamics to a regular grid so that discrete Fourier transforms may be taken, it should be emphasized that the introduction o…
▽ More
Fourier acceleration has been successfully applied to the simulation of lattice field theories for more than a decade. In this paper, we extend the method to the dynamics of discrete particles moving in continuum. Although our method is based on a map** of the particles' dynamics to a regular grid so that discrete Fourier transforms may be taken, it should be emphasized that the introduction of the grid is a purely algorithmic device and that no smoothing, coarse-graining or mean-field approximations are made. The method thus can be applied to the equations of motion of molecular dynamics (MD), or its Langevin or Brownian variants. For example, in Langevin MD simulations our acceleration technique permits a straightforward spectral decomposition of forces so that the long-wavelength modes are integrated with a longer time step, thereby reducing the time required to reach equilibrium or to decorrelate the system in equilibrium. Speedup factors of up to 30 are observed relative to pure (unaccelerated) Langevin MD. As with acceleration of critical lattice models, even further gains relative to the unaccelerated method are expected for larger systems. Preliminary results for Fourier-accelerated molecular dynamics are presented in order to illustrate the basic concepts. Possible extensions of the method and further lines of research are discussed.
△ Less
Submitted 28 January, 2000;
originally announced January 2000.
-
Clusters and Fluctuations at Mean-Field Critical Points and Spinodals
Authors:
W. Klein,
Harvey Gould,
J. Tobochnik,
F. J. Alexander,
M. Anghel,
Gregory Johnson
Abstract:
We show that the structure of the fluctuations close to spinodals and mean-field critical points is qualitatively different than the structure close to non-mean-field critical points. This difference has important implications for many areas including the formation of glasses in supercooled liquids. In particular, the divergence of the measured static structure function in near-mean-field system…
▽ More
We show that the structure of the fluctuations close to spinodals and mean-field critical points is qualitatively different than the structure close to non-mean-field critical points. This difference has important implications for many areas including the formation of glasses in supercooled liquids. In particular, the divergence of the measured static structure function in near-mean-field systems close to the glass transition is suppressed relative to the mean-field prediction in systems for which a spatial symmetry is broken.
△ Less
Submitted 12 April, 2000; v1 submitted 17 January, 2000;
originally announced January 2000.
-
Coulomb field of an accelerated charge: physical and mathematical aspects
Authors:
Francis J. Alexander,
Ulrich H. Gerlach
Abstract:
The Maxwell field equations relative to a uniformly accelerated frame, and the variational principle from which they are obtained, are formulated in terms of the technique of geometrical gauge invariant potentials. They refer to the transverse magnetic (TM) and the transeverse electric (TE) modes. This gauge invariant "2+2" decomposition is used to see how the Coulomb field of a charge, static i…
▽ More
The Maxwell field equations relative to a uniformly accelerated frame, and the variational principle from which they are obtained, are formulated in terms of the technique of geometrical gauge invariant potentials. They refer to the transverse magnetic (TM) and the transeverse electric (TE) modes. This gauge invariant "2+2" decomposition is used to see how the Coulomb field of a charge, static in an accelerated frame, has properties that suggest features of electromagnetism which are different from those in an inertial frame. In particular, (1) an illustrative calculation shows that the Larmor radiation reaction equals the electrostatic attraction between the accelerated charge and the charge induced on the surface whose history is the event horizon, and (2) a spectral decomposition of the Coulomb potential in the accelerated frame suggests the possibility that the distortive effects of this charge on the Rindler vacuum are akin to those of a charge on a crystal lattice.
△ Less
Submitted 25 October, 1999;
originally announced October 1999.
-
Shape-Dependent Thermodynamics and Non-Local Hydrodynamics in a Non-Gibbsian Steady-State of a Drift-Diffusion System
Authors:
Francis J. Alexander,
Gregory L. Eyink
Abstract:
Shape-dependent thermodynamics and non-local hydrodynamics are argued to occur in dissipative steady states of driven diffusive systems. These predictions are confirmed by numerical simulations. Unlike power-law correlations, these phenomena cannot be explained by a hypothesis of ``criticality''. Instead, they require the effective Hamiltonian of the system to contain very long-range potentials,…
▽ More
Shape-dependent thermodynamics and non-local hydrodynamics are argued to occur in dissipative steady states of driven diffusive systems. These predictions are confirmed by numerical simulations. Unlike power-law correlations, these phenomena cannot be explained by a hypothesis of ``criticality''. Instead, they require the effective Hamiltonian of the system to contain very long-range potentials, making the invariant probability measures formally ``non-Gibbsian''.
△ Less
Submitted 24 January, 1998;
originally announced January 1998.
-
Turbulence Fluctuations and New Universal Realizability Conditions in Modelling
Authors:
Gregory L. Eyink,
Francis J. Alexander
Abstract:
General turbulent mean statistics are shown to be characterized by a variational principle. The variational functionals, or ``effective actions'', have experimental consequences for turbulence fluctuations and are subject to realizability conditions of positivity and convexity. An efficient Rayleigh-Ritz algorithm is available to calculate approximate effective actions within PDF closures. Examp…
▽ More
General turbulent mean statistics are shown to be characterized by a variational principle. The variational functionals, or ``effective actions'', have experimental consequences for turbulence fluctuations and are subject to realizability conditions of positivity and convexity. An efficient Rayleigh-Ritz algorithm is available to calculate approximate effective actions within PDF closures. Examples are given for Navier-Stokes and for a 3-mode system of Lorenz. The new realizability conditions succeed at detecting {\em a priori} the poor predictions of PDF closures even when the classical 2nd-order moment realizability conditions are satisfied.
△ Less
Submitted 26 July, 1996;
originally announced July 1996.
-
Rayleigh-Ritz Calculation of Effective Potential Far From Equilibrium
Authors:
Francis J. Alexander,
Gregory L. Eyink
Abstract:
We demonstrate the utility of a Rayleigh-Ritz scheme recently proposed to compute the nonequilibrium effective potential nonperturbatively in a strong noise regime far from equilibrium. A simple Kramers model of an ionic conductor is used to illustrate the efficiency of the method.
We demonstrate the utility of a Rayleigh-Ritz scheme recently proposed to compute the nonequilibrium effective potential nonperturbatively in a strong noise regime far from equilibrium. A simple Kramers model of an ionic conductor is used to illustrate the efficiency of the method.
△ Less
Submitted 14 June, 1996;
originally announced June 1996.
-
Integer Lattice Gases
Authors:
Bruce M. Boghosian,
Jeffrey Yepez,
Francis J. Alexander,
Norman H. Margolus
Abstract:
We generalize the hydrodynamic lattice gas model to include arbitrary numbers of particles moving in each lattice direction. For this generalization we derive the equilibrium distribution function and the hydrodynamic equations, including the equation of state and the prefactor of the inertial term that arises from the breaking of galilean invariance in these models. We show that this prefactor…
▽ More
We generalize the hydrodynamic lattice gas model to include arbitrary numbers of particles moving in each lattice direction. For this generalization we derive the equilibrium distribution function and the hydrodynamic equations, including the equation of state and the prefactor of the inertial term that arises from the breaking of galilean invariance in these models. We show that this prefactor can be set to unity in the generalized model, therby effectively restoring galilean invariance. Moreover, we derive an expression for the kinematic viscosity, and show that it tends to decrease with the maximum number of particles allowed in each direction, so that higher Reynolds numbers may be achieved. Finally, we derive expressions for the statistical noise and the Boltzmann entropy of these models.
△ Less
Submitted 15 February, 1996;
originally announced February 1996.
-
A Study of Two-Temperature Non-Equilibrium Ising Models: Critical Behavior and Universality
Authors:
P. Tamayo,
F. J. Alexander,
R. Gupta
Abstract:
We study a class of 2D non-equilibrium Ising models based on competing dynamics induced by contact with heat-baths at two different temperatures. We make a comparative study of the non-equilibrium versions of Metropolis, heat bath/Glauber and Swendsen-Wang dynamics and focus on their critical behavior in order to understand their universality classes. We present strong evidence that some of thes…
▽ More
We study a class of 2D non-equilibrium Ising models based on competing dynamics induced by contact with heat-baths at two different temperatures. We make a comparative study of the non-equilibrium versions of Metropolis, heat bath/Glauber and Swendsen-Wang dynamics and focus on their critical behavior in order to understand their universality classes. We present strong evidence that some of these dynamics have the same critical exponents and belong to the same universality class as the equilibrium 2D Ising model. We show that the bond version of the Swendsen-Wang update algorithm can be mapped into an equilibrium model at an effective temperature.
△ Less
Submitted 8 July, 1994;
originally announced July 1994.
-
Statistical Mechanics of Kinks in (1+1)-Dimensions: Numerical Simulations and Double Gaussian Approximation
Authors:
Francis J. Alexander,
Salman Habib,
Alex Kovner
Abstract:
We investigate the thermal equilibrium properties of kinks in a classical $\F^4$ field theory in $1+1$ dimensions. From large scale Langevin simulations we identify the temperature below which a dilute gas description of kinks is valid. The standard dilute gas/WKB description is shown to be remarkably accurate below this temperature. At higher, ``intermediate'' temperatures, where kinks still ex…
▽ More
We investigate the thermal equilibrium properties of kinks in a classical $\F^4$ field theory in $1+1$ dimensions. From large scale Langevin simulations we identify the temperature below which a dilute gas description of kinks is valid. The standard dilute gas/WKB description is shown to be remarkably accurate below this temperature. At higher, ``intermediate'' temperatures, where kinks still exist, this description breaks down. By introducing a double Gaussian variational ansatz for the eigenfunctions of the statistical transfer operator for the system, we are able to study this region analytically. In particular, our predictions for the number of kinks and the correlation length are in agreement with the simulations. The double Gaussian prediction for the characteristic temperature at which the kink description ultimately breaks down is also in accord with the simulations. We also analytically calculate the internal energy and demonstrate that the peak in the specific heat near the kink characteristic temperature is indeed due to kinks. In the neighborhood of this temperature there appears to be an intricate energy sharing mechanism operating between nonlinear phonons and kinks.
△ Less
Submitted 21 August, 1993;
originally announced August 1993.
-
Lattice Boltzmann Thermohydrodynamics
Authors:
F. J. Alexander,
S. Chen,
J. D. Sterling
Abstract:
We introduce a lattice Boltzmann computational scheme capable of modeling thermohydrodynamic flows of monatomic gases. The parallel nature of this approach provides a numerically efficient alternative to traditional methods of computational fluid dynamics. The scheme uses a small number of discrete velocity states and a linear, single-time-relaxation collision operator. Numerical simulations in…
▽ More
We introduce a lattice Boltzmann computational scheme capable of modeling thermohydrodynamic flows of monatomic gases. The parallel nature of this approach provides a numerically efficient alternative to traditional methods of computational fluid dynamics. The scheme uses a small number of discrete velocity states and a linear, single-time-relaxation collision operator. Numerical simulations in two dimensions agree well with exact solutions for adiabatic sound propagation and Couette flow with heat transfer.
△ Less
Submitted 28 April, 1993;
originally announced April 1993.
-
Hydrodynamic Spinodal Decomposition: Growth Kinetics and Scaling Functions
Authors:
F. J. Alexander,
S. Chen,
D. W. Grunau
Abstract:
We examine the effects of hydrodynamics on the late stage kinetics in spinodal decomposition. From computer simulations of a lattice Boltzmann scheme we observe, for critical quenches, that single phase domains grow asymptotically like $t^α$, with $α\approx .66$ in two dimensions and $α\approx 1.0$ in three dimensions, both in excellent agreement with theoretical predictions.
We examine the effects of hydrodynamics on the late stage kinetics in spinodal decomposition. From computer simulations of a lattice Boltzmann scheme we observe, for critical quenches, that single phase domains grow asymptotically like $t^α$, with $α\approx .66$ in two dimensions and $α\approx 1.0$ in three dimensions, both in excellent agreement with theoretical predictions.
△ Less
Submitted 28 April, 1993;
originally announced April 1993.
-
Statistical Mechanics of Kinks in (1+1)-Dimensions
Authors:
Francis J. Alexander,
Salman Habib
Abstract:
We investigate the thermal equilibrium properties of kinks in a classical $φ^4$ field theory in $1+1$ dimensions. The distribution function, kink density, and correlation function are determined from large scale simulations. A dilute gas description of kinks is shown to be valid below a characteristic temperature. A double Gaussian approximation to evaluate the eigenvalues of the transfer operat…
▽ More
We investigate the thermal equilibrium properties of kinks in a classical $φ^4$ field theory in $1+1$ dimensions. The distribution function, kink density, and correlation function are determined from large scale simulations. A dilute gas description of kinks is shown to be valid below a characteristic temperature. A double Gaussian approximation to evaluate the eigenvalues of the transfer operator enables us to extend the theoretical analysis to higher temperatures where the dilute gas approximation fails. This approach accurately predicts the temperature at which the kink description breaks down.
△ Less
Submitted 9 December, 1992;
originally announced December 1992.