arXiv subjects

Andrew Christlieb

Publications and source records attributed to Andrew Christlieb.

At least 19 recordsLinked to original sources

arXiv2026

Learning a general class of admissible multi-species collision operators from molecular dynamics

We develop a structure-preserving, data-driven collision operator for spatially homogeneous multi-species kinetic systems from molecular dynamics (MD). The operator consists of diagonal self-collision blocks and ordered off-diagonal cross-species blocks to describe intra- and inter-species momentum and energy exchange. Within a local and point-wise identifiable kernel class, we develop the necessary and sufficient condition for the admissible kernel class satisfying the conservation laws, the H-theorem, and the frame indifference. Unlike the classical Landau operator, the off-diagonal kernels are not restricted to be symmetric under permutation of the two velocity variables. This unique structural freedom captures the distinct responses of different species to unresolved correlations and many-body effects arising from micro-scale particle interactions. The equivalent parameterizable kernel formalization enables us to learn a generalized data-driven collision operator directly from MD, where the low-rank tensor representations and random sampling are used to achieve efficient kernel training and numerical simulation. Numerical experiments show that the learned operator accurately predicts transport coefficients and the non-equilibrium relaxation, while retaining discrete conservation and entropy production. In particular, it captures plasma kinetics in the moderately coupled regime, where the predictions of both the Landau and the data-driven model restricted to velocity-permutation symmetry show significant discrepancies.

physics.comp-ph↗

arXiv2026

Performance Evaluation of Stabilized Corrections for Mixed Precision Runge--Kutta Methods

Mixed precision Runge--Kutta methods reduce the cost of the expensive implicit solves in diagonally implicit Runge--Kutta (DIRK) schemes by evaluating them in low precision, while retaining the accuracy of the scheme for larger time steps. The accuracy lost to the low-precision perturbation can be recovered through inexpensive explicit corrections; however, these corrections have an adverse impact on stability. Recently proposed stabilized corrections remedy this by applying a stabilization matrix to the correction step, but their runtime cost has not previously been quantified. In this work, we present a numerical study of the runtime performance of these stabilized corrections. Using spectral semi-discretizations of two nonlinear partial differential equations, the inviscid Burgers' equation and the porous medium equation, we compare uncorrected mixed precision DIRK methods against explicitly corrected and stabilized variants across half, single, double, and quadruple precision pairings, for SDIRK methods of orders two through four. We report convergence, runtime, and speedups, and show that the stabilized corrections improve the accuracy of the mixed precision schemes while preserving substantial runtime savings. All experiments were performed on an Intel Xeon Platinum 8480+ CPU with Julia version 1.11.4.

math.NA↗

arXiv2026

A conservative adaptive rank method for the Wigner-Poisson system

We propose a conservative adaptive rank method for the 1D1V Wigner-Poisson system. The method targets a central challenge in deterministic quantum kinetic simulations: reducing the cost of phase-space evolution while preserving the macroscopic invariants needed for physical fidelity. The scheme combines a sampling-based adaptive rank Wigner-Poisson update [7] with a conservative macroscopic correction. A conservative density-momentum solve provides local macroscopic updates, a Fermi-Dirac-type reconstruction transfers them to the kinetic solution, and a global quadratic moment correction enforces the discrete total energy constraint at the kinetic level. Unlike Maxwell-Boltzmann-type corrections commonly used in classical kinetic settings, the reconstruction uses a Fermi-Dirac-type form motivated by the model's quantum-statistical structure. The corrected state is incorporated into an ACA SVD representation, allowing the numerical rank to adapt to the phase-space complexity generated by the nonlocal Wigner operator and self-consistent Poisson field. Numerical experiments for the two-stream instability, strong Landau damping, and bump-on tail instability show that the method captures benchmark Wigner-Poisson dynamics for several values of the quantum parameter H, maintains bounded adaptive ranks, and preserves the specified global discrete invariants with conservation errors near machine precision. We also compare this formulation, which uses local density-momentum correction plus global total energy correction, with a related globally conservative formulation for mass, momentum, and energy [8]. The two approaches produce nearly identical phase-space and diagnostic results for the periodic benchmark test considered here, indicating that both correction strategies are compatible with adaptive rank compression for Wigner-Poisson dynamics in the tested 1D1V periodic setting.

math.NA↗

arXiv2026

WSINDy for Model Predictive Control with Applications to Fusion, Drones, and Chaos

The control of complex dynamical systems remains a fundamental challenge in science and engineering, where strong nonlinearities, the presence of noise, and computational constraints often pose significant obstacles in traditional control approaches. Recent advances in data-driven methods, particularly system identification techniques, have shown a powerful alternative by providing fast, parsimonious, interpretable models that are well-suited for model predictive control (MPC). Building on these developments, the present article embeds WSINDy with actuation inputs (WSINDYc) within a MPC framework. Compared to benchmark data-driven methods, WSINDYc enables a more robust identification of the governing dynamics, particularly in the presence of high noise levels, resulting in more accurate and efficient control. The capabilities of the proposed WSINDY-MPC framework are demonstrated on a range of problems, including a tokamak plasma boundary model that includes main ion gas puff actuation, drone tracking and collision avoidance, the chaotic Lorenz system, and a simplified flight control model for an F-8 aircraft. The proposed framework achieves superior performance in the presence of noise, enabling longer prediction horizons, lower trajectory tracking error, and a more reliable obstacle clearance, while simultaneously achieving lower MPC cost values compared to the baseline methods.

math.DS↗

arXiv2025

A Sampling-Based Adaptive Rank Approach to the Wigner-Poisson System

We develop a mass-conserving, adaptive-rank solver for the 1D1V Wigner-Poisson system. Our work is motivated by applications to the study of the stopping power of $\alpha$ particles at the National Ignition Facility (NIF). In this regime, electrons are in a warm dense state, requiring more than a standard kinetic model. They are hot enough to neglect Pauli exclusion, yet quantum enough to require accounting for uncertainty. The Wigner-Poisson system captures these effects but presents challenges due to its nonlocal nature. Based on a second-order Strang splitting method, we first design a full-rank solver with a structure-preserving Fourier update that ensures the intermediate solutions remain real-valued (up to machine precision), improving upon previous methods. Simulations demonstrate that the solutions exhibit a low rank structure for moderate to high dimensionless Planck constants ($H \ge 0.1$). This observed low rank structure motivates the development of an adaptive-rank solver, built on a Semi-Lagrangian adaptive-rank (SLAR) scheme for advection and an adaptive-rank, structure-preserving Fourier update for the Wigner integral terms, with a rigorous proof of structure-preserving property provided. Our solver achieves $O(N)$ complexity in both storage and computation time, while preserving mass and maintaining momentum accuracy up to the truncation error. The adaptive rank simulations are visually indistinguishable from the full-rank simulations in capturing solution structures. These results highlight the potential of adaptive rank methods for high-dimensional Wigner-Poisson simulations, paving the way toward fully kinetic studies of stopping power in warm dense plasmas.

math.NA↗

arXiv2025

Data-driven construction of a generalized kinetic collision operator from molecular dynamics

We introduce a data-driven approach to learn a generalized kinetic collision operator directly from molecular dynamics. Unlike the conventional (e.g., Landau) models, the present operator takes an anisotropic form that accounts for a second energy transfer arising from the collective interactions between the pair of collision particles and the environment. Numerical results show that preserving the broadly overlooked anisotropic nature of the collision energy transfer is crucial for predicting the plasma kinetics with non-negligible correlations, where the Landau model shows limitations.

physics.comp-ph↗

arXiv2024

A Semi-Lagrangian Adaptive-Rank (SLAR) Method for Linear Advection and Nonlinear Vlasov-Poisson System

High-order semi-Lagrangian methods for kinetic equations have been under rapid development in the past few decades. In this work, we propose a semi-Lagrangian adaptive rank (SLAR) integrator in the finite difference framework for linear advection and nonlinear Vlasov-Poisson systems without dimensional splitting. The proposed method leverages the semi-Lagrangian approach to allow for significantly larger time steps while also exploiting the low-rank structure of the solution. This is achieved through cross approximation of matrices, also referred to as CUR or pseudo-skeleton approximation, where representative columns and rows are selected using specific strategies. To maintain numerical stability and ensure local mass conservation, we apply singular value truncation and a mass-conservative projection following the cross approximation of the updated solution. The computational complexity of our method scales linearly with the mesh size $N$ per dimension, compared to the $\mathcal{O}(N^2)$ complexity of traditional full-rank methods per time step. The algorithm is extended to handle nonlinear Vlasov-Poisson systems using a Runge-Kutta exponential integrator. Moreover, we evolve the macroscopic conservation laws for charge densities implicitly, enabling the use of large time steps that align with the semi-Lagrangian solver. We also perform a mass-conservative correction to ensure that the adaptive rank solution preserves macroscopic charge density conservation. To validate the efficiency and effectiveness of our method, we conduct a series of benchmark tests on both linear advection and nonlinear Vlasov-Poisson systems. The propose algorithm will have the potential in overcoming the curse of dimensionality for beyond 2D high dimensional problems, which is the subject of our future work.

math.NA↗

arXiv2024

Boundary corrections for kernel approximation to differential operators

Kernel-based approach to operator approximation for partial differential equations has been shown to be unconditionally stable for linear PDEs and numerically exhibit unconditional stability for non-linear PDEs. These methods have the same computational cost as an explicit finite difference scheme but can exhibit order reduction at boundaries. In previous work on periodic domains, [8,9], order reduction was addressed, yielding high-order accuracy. The issue addressed in this work is the elimination of order reduction of the kernel-based approach for a more general set of boundary conditions. Further, we consider the case of both first and second order operators. To demonstrate the theory, we provide not only the mathematical proofs but also experimental results by applying various boundary conditions to different types of equations. The results agree with the theory, demonstrating a systematic path to high order for kernel-based methods on bounded domains.

math.NA↗

arXiv2023

Influence of initial conditions on data-driven model identification and information entropy for ideal mhd problems

Data-driven methods of model identification are able to discern governing dynamics of a system from data. Such methods are well suited to help us learn about systems with unpredictable evolution or systems with ambiguous governing dynamics given our current understanding. Many plasma problems of interest fall into these categories as there are a wide range of models that exist, however each model is only useful in a certain regime and often limited by computational complexity. To ensure data-driven methods align with theory, they must be consistent and predictable when acting on data whose governing dynamics are known. Weak Sparse Identification of Nonlinear Dynamics (WSINDy) is a recently developed data-driven method that has shown promise in learning governing dynamics from data with high noise levels [1]. This work examines how WSINDy acts on ideal MHD test problems as the initial conditions are varied and specifies limiting requirements for successful equation identification. It is hard to recover the governing dynamics from data that emphasize a single dominant behavior. In these low information cases, Shannon information entropy is able to pick up on the redundancies in the data that affect recoverability.

physics.data-an↗

arXiv2020

Superconvergent Non-Polynomial Approximations

In this paper, we introduce a superconvergent approximation method that employs radial basis functions (RBFs) in the numerical solution of conservation laws. The use of RBFs for interpolation and approximation is a well developed area of research. Of particular interest in this work is the development of high order finite volume (FV) weighted essentially non-oscillatory (WENO) methods, which utilize RBF approximations to obtain required data at cell interfaces. Superconvergence is addressed through an analysis of the truncation error, resulting in expressions for the shape parameters that lead to improvements in the accuracy of the approximations. This study seeks to address the practical elements of the approach, including the evaluations of shape parameters as well as hybrid implementation. To highlight the effectiveness of the non-polynomial basis, in shock-capturing, the proposed methods are applied to one-dimensional hyperbolic and weakly hyperbolic systems of conservation laws and compared with several well-known FV WENO schemes in the literature. In the case of the non-smooth, weakly hyperbolic test problem, notable improvements are observed in predicting the location and height of the finite time blowup. The convergence results demonstrate that the proposed schemes attain notable improvements in accuracy, as indicated by the analysis of the reconstructions. We also include a discussion regarding extensions to higher dimensional problems, along with convergence results for a nonlinear scalar problem.

math.NA↗

arXiv2020

Benchmark Computation of Morphological Complexity in the Functionalized Cahn-Hilliard Gradient Flow

Reductions of the self-consistent mean field theory model of amphiphilic molecules in solvent can lead to a singular family of functionalized Cahn-Hilliard energies. We modify these energies, mollifying the singularities to stabilize the computation of the gradient flows and develop a series of benchmark problems that emulate the "morphological complexity" observed in experiments. These benchmarks investigate the delicate balance between the rate of absorption of amphiphilic material onto an interface and a least energy mechanism to disperse the arriving mass. The result is a trichotomy of responses in which two-dimensional interfaces either lengthen by a regularized motion against curvature, undergo pearling bifurcations, or split directly into networks of interfaces. We evaluate a number of schemes that use second order BDF2-type time stepping coupled with Fourier pseudo-spectral spatial discretization. The BDF2-type schemes are either based on a fully implicit time discretization with a PSD nonlinear solver, or upon IMEX, SAV, ETD approaches. All schemes use a fixed local truncation error target with adaptive time-stepping to achieve the error target. Each scheme requires proper "preconditioning" to achieve robust performance that can enhance efficiency by several orders of magnitude.

physics.comp-ph↗

arXiv2020

A Kernel-Based Explicit Unconditionally Stable Scheme for Hamilton-Jacobi Equations on Nonuniform Meshes

In \cite{christlieb2019kernel}, the authors developed a class of high-order numerical schemes for the Hamilton-Jacobi (H-J) equations, which are unconditionally stable, yet take the form of an explicit scheme. This paper extends such schemes, so that they are more effective at capturing sharp gradients, especially on nonuniform meshes. In particular, we modify the weighted essentially non-oscillatory (WENO) methodology in the previously developed schemes by incorporating an exponential basis and adapting the previously developed nonlinear filters used to control oscillations. The main advantages of the proposed schemes are their effectiveness and simplicity, since they can be easily implemented on higher-dimensional nonuniform meshes. We perform numerical experiments on a collection of examples, including H-J equations with linear, nonlinear, convex and non-convex Hamiltonians. To demonstrate the flexibility of the proposed schemes, we also include test problems defined on non-trivial geometry.

math.NA↗

arXiv2020

A Kernel Based Unconditionally Stable Scheme for Nonlinear Parabolic Partial Differential Equations

In this paper, a class of high order numerical schemes is proposed to solve the nonlinear parabolic equations with variable coefficients. This method is based on our previous work [10] for convection-diffusion equations, which relies on a special kernel-based formulation of the solutions and successive convolution. However, disadvantages appear when we extend the previous method to our equations, such as inefficient choice of parameters and unprovable stability for high-dimensional problems. To overcome these difficulties, a new kernel-based formulation is designed to approach the spatial derivatives. It maintains the good properties of the original one, including the high order accuracy and unconditionally stable for one-dimensional problems, hence allowing much larger time step evolution compared with other explicit schemes. In additional, without extra computational cost, the proposed scheme can enlarge the available interval of the special parameter in the formulation, leading to less errors and higher efficiency. Moreover, theoretical investigations indicate that it is unconditionally stable for multi-dimensional problems as well. We present numerical tests for one- and two-dimensional scalar and system, demonstrating the designed high order accuracy and unconditionally stable property of the scheme.

math.NA↗

arXiv2019

A Kernel Based High Order "Explicit" Unconditionally Stable Constrained Transport Method for Ideal Magnetohydrodynamics

The ideal Magnetohydrodynamics (MHD) equations are challenging because one needs to maintain the divergence free condition, $\nabla \cdot \Bv = 0$. Many numerical methods have been developed to enforce this condition. In this work, we further our work on mesh aligned constrained transport by developing a new kernel based approach for the vector potential in 2D and 3D. The approach for solving the vector potential is based on the method of lines transpose and is A-stable, eliminating the need for diffusion limiters needed in our previous work in 3D. The work presented here is an improvement over the previous method in the context of problems with strong shocks due to the fact that we could eliminate the diffusion limiter that was needed in our previous version of constrained transport. The method is robust and has been tested on the 2D and 3D cloud shock, blast wave and field loop problems.

math.NA↗

arXiv2019

Multiscale High-Dimensional Sparse Fourier Algorithms for Noisy Data

We develop an efficient and robust high-dimensional sparse Fourier algorithm for noisy samples. Earlier in the paper ``Multi-dimensional sublinear sparse Fourier algorithm" (2016), an efficient sparse Fourier algorithm with $\Theta(ds \log s)$ average-case runtime and $\Theta(ds)$ sampling complexity under certain assumptions was developed for signals that are $s$-sparse and bandlimited in the $d$-dimensional Fourier domain, i.e. there are at most $s$ energetic frequencies and they are in $ \left[-N/2, N/2\right)^d\cap \mathbb{Z}^d$. However, in practice the measurements of signals often contain noise, and in some cases may only be nearly sparse in the sense that they are well approximated by the best $s$ Fourier modes. In this paper, we propose a multiscale sparse Fourier algorithm for noisy samples that proves to be both robust against noise and efficient.

math.NA↗

arXiv2018

A Kernel Based High Order "Explicit" Unconditionally Stable Scheme for Time Dependent Hamilton-Jacobi Equations

In this paper, a class of high order numerical schemes is proposed for solving Hamilton-Jacobi (H-J) equations. This work is regarded as an extension of our previous work for nonlinear degenerate parabolic equations, see Christlieb et al. \emph{arXiv preprint arXiv:1707.09294},, which relies on a special kernel-based formulation of the solutions and successive convolution. When applied to the H-J equations, the newly proposed scheme attains genuinely high order accuracy in both space and time, and more importantly, it is unconditionally stable, hence allowing for much larger time step evolution compared with other explicit schemes and saving computational cost. A high order weighted essentially non-oscillatory methodology and a novel nonlinear filter are further incorporated to capture the correct viscosity solution. Furthermore, by coupling the recently proposed inverse Lax-Wendroff boundary treatment technique, this method is very flexible in handing complex geometry as well as general boundary conditions. We perform numerical experiments on a collection of numerical examples, including H-J equations with linear, nonlinear, convex or non-convex Hamiltonians. The efficacy and efficiency of the proposed scheme in approximating the viscosity solution of general H-J equations is verified.

math.NA↗

arXiv2017

Competition and Complexity in Amphiphilic Polymer Morphology

We analyze the competitive evolution of codimension one and two morphologies within the $H^{-1}$ gradient flow of the strong Functionalized Cahn-Hilliard equation. On a slow time scale a sharp hypersurface reduction yields a degenerate Mullins-Sekerka evolution for both codimension one and two hypersurfaces, leading to a geometric flow that depends locally on curvatures couples to the dynamic value of the spatially constant far-field chemical potential. Both codimension one and two morphologies admit two classes of bifurcations, one leads to pearling, a short-wavelength in-plane modulation of interfacial width, the other flips motion by curvature to the locally-ill posed motion against curvature, which leads to fingering instabilities. We present a bifurcation diagram for the morphological competition, and compare our results quantitatively to simulations of the full system and qualitatively to simulations of self-consistent mean field models and laboratory experiments; illuminating the role of the pearling bifurcation in the development of complex network morphologies.

math.DS↗

arXiv2017

Kernel Based High Order "Explicit" Unconditionally-Stable Scheme for Nonlinear Degenerate Advection-Diffusion Equations

In this paper, we present a novel numerical scheme for solving a class of nonlinear degenerate parabolic equations with non-smooth solutions. The proposed method relies on a special kernel based formulation of the solutions found in our early work on the method of lines transpose and successive convolution. In such a framework, a high order weighted essentially non-oscillatory (WENO) methodology and a nonlinear filter are further employed to avoid spurious oscillations. High order accuracy in time is realized by using the high order explicit strong-stability-preserving (SSP) Runge-Kutta method. Moreover, theoretical investigations of the kernel based formulation combined with an explicit SSP method indicates that the combined scheme is unconditionally stable and up to third order accuracy. Evaluation of the kernel based approach is done with a fast $\mathcal{O}(N)$ summation algorithm. The new method allows for much larger time step evolution compared with other explicit schemes with the same order accuracy, leading to remarkable computational savings.

math.NA↗