-
An Adaptive-rank Approach with Greedy Sampling for Multi-scale BGK Equations
Authors:
William A. Sands,
Jing-Mei Qiu,
Daniel Hayes,
Nanyi Zheng
Abstract:
In this paper, we propose a novel adaptive-rank method for simulating multi-scale BGK equations, based on a greedy sampling strategy. The method adaptively selects important rows and columns of the solution matrix and updates them using a local semi-Lagrangian solver. An adaptive cross approximation then reconstructs the full solution matrix. This extends our prior semi-Lagrangian adaptive-rank fr…
▽ More
In this paper, we propose a novel adaptive-rank method for simulating multi-scale BGK equations, based on a greedy sampling strategy. The method adaptively selects important rows and columns of the solution matrix and updates them using a local semi-Lagrangian solver. An adaptive cross approximation then reconstructs the full solution matrix. This extends our prior semi-Lagrangian adaptive-rank framework, developed for the Vlasov-Poisson system, to nonlinear collisional kinetic equations. Unlike step-and-truncate low-rank integrators, our greedy sampling approach avoids explicit low-rank decompositions of nonlinear terms, such as the local Maxwellian in the BGK operator. To ensure conservation, we introduce a locally macroscopic conservative correction that implicitly couples the kinetic and macroscopic systems, enforcing mass, momentum, and energy conservation. Through asymptotic analysis, we show that this correction preserves the full-grid scheme's asymptotic behavior, and that the proposed method is conditionally asymptotic-preserving in the low-rank setting. A key advantage of our approach is its use of a local semi-Lagrangian solver, which allows large time steps. This flexibility is retained in the macroscopic solver using high-order stiffly accurate diagonally implicit Runge-Kutta methods. The resulting nonlinear systems are solved efficiently using a Jacobian-free Newton-Krylov method, avoiding the need for preconditioning at modest CFL numbers. Each nonlinear iteration provides a self-consistent correction to a provisional kinetic solution, which serves as a dynamic closure for the macroscopic model. Numerical results demonstrate the method's accuracy in capturing shocks and its robustness across mixed-regime problems with wide-ranging Knudsen numbers.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
High-order Adaptive Rank Integrators for Multi-scale Linear Kinetic Transport Equations in the Hierarchical Tucker Format
Authors:
William A. Sands,
Wei Guo,
Jing-Mei Qiu,
Tao Xiong
Abstract:
In this paper, we present a new adaptive rank approximation technique for computing solutions to the high-dimensional linear kinetic transport equation. The approach we propose is based on a macro-micro decomposition of the kinetic model in which the angular domain is discretized with a tensor product quadrature rule under the discrete ordinates method. To address the challenges associated with th…
▽ More
In this paper, we present a new adaptive rank approximation technique for computing solutions to the high-dimensional linear kinetic transport equation. The approach we propose is based on a macro-micro decomposition of the kinetic model in which the angular domain is discretized with a tensor product quadrature rule under the discrete ordinates method. To address the challenges associated with the curse of dimensionality, the proposed low-rank method is cast in the framework of the hierarchical Tucker decomposition. The adaptive rank integrators we propose are built upon high-order discretizations for both time and space. In particular, this work considers implicit-explicit discretizations for time and finite-difference weighted-essentially non-oscillatory discretizations for space. The high-order singular value decomposition is used to perform low-rank truncation of the high-dimensional time-dependent distribution function. The methods are applied to several benchmark problems, where we compare the solution quality and measure compression achieved by the adaptive rank methods against their corresponding full-grid methods. We also demonstrate the benefits of high-order discretizations in the proposed low-rank framework.
△ Less
Submitted 6 May, 2025; v1 submitted 27 June, 2024;
originally announced June 2024.
-
A Particle-in-cell Method for Plasmas with a Generalized Momentum Formulation, Part II: Enforcing the Lorenz Gauge Condition
Authors:
Andrew J. Christlieb,
William A. Sands,
Stephen White
Abstract:
In a previous paper, we developed a new particle-in-cell method for the Vlasov-Maxwell system in which the electromagnetic fields and the equations of motion for the particles were cast in terms of scalar and vector potentials through a Hamiltonian formulation. This paper extends this new class of methods by focusing on the enforcement the Lorenz gauge condition in both exact and approximate forms…
▽ More
In a previous paper, we developed a new particle-in-cell method for the Vlasov-Maxwell system in which the electromagnetic fields and the equations of motion for the particles were cast in terms of scalar and vector potentials through a Hamiltonian formulation. This paper extends this new class of methods by focusing on the enforcement the Lorenz gauge condition in both exact and approximate forms using co-located meshes. A time-consistency property of the proposed field solver for the vector potential form of Maxwell's equations is established, which is shown to preserve the equivalence between the semi-discrete Lorenz gauge condition and the analogous semi-discrete continuity equation. Using this property, we present three methods to enforce a semi-discrete gauge condition. The first method introduces an update for the continuity equation that is consistent with the discretization of the Lorenz gauge condition. The second approach we propose enforces a semi-discrete continuity equation using the boundary integral solution to the field equations. The third approach introduces a gauge correcting method that makes direct use of the gauge condition to modify the scalar potential and uses local maps for both the charge and current densities. The vector potential coming from the current density is taken to be exact, and using the Lorenz gauge, we compute a correction to the scalar potential that makes the two potentials satisfy the gauge condition. We demonstrate two of the proposed methods in the context of periodic domains. Problems defined on bounded domains, including those with complex geometric features remain an ongoing effort. However, this work shows that it is possible to design computationally efficient methods that can effectively enforce the Lorenz gauge condition in an non-staggered PIC formulation.
△ Less
Submitted 16 January, 2024;
originally announced January 2024.
-
A Particle-in-cell Method for Plasmas with a Generalized Momentum Formulation, Part I: Model Formulation
Authors:
Andrew J. Christlieb,
William A. Sands,
Stephen White
Abstract:
This paper formulates a new particle-in-cell method for the Vlasov-Maxwell system. Under the Lorenz gauge condition, Maxwell's equations for the electromagnetic fields can be written as a collection of scalar and vector wave equations. The use of potentials for the fields motivates the adoption of a Hamiltonian formulation for particles that employs the generalized momentum. The resulting updates…
▽ More
This paper formulates a new particle-in-cell method for the Vlasov-Maxwell system. Under the Lorenz gauge condition, Maxwell's equations for the electromagnetic fields can be written as a collection of scalar and vector wave equations. The use of potentials for the fields motivates the adoption of a Hamiltonian formulation for particles that employs the generalized momentum. The resulting updates for particles require only knowledge of the fields and their spatial derivatives. An analytical method for constructing these spatial derivatives is presented that exploits the underlying integral solution used in the field solver for the wave equations. Moreover, these derivatives are shown to converge at the same rate as the fields in the both time and space. The field solver we consider in this work is first-order accurate in time and fifth-order accurate in space and belongs to a larger class of methods which are unconditionally stable, can address geometry, and leverage fast summation methods for efficiency. We demonstrate the method on several well-established benchmark problems, and the efficacy of the proposed formulation is demonstrated through a comparison with standard methods presented in the literature. The new method shows mesh-independent numerical heating properties even in cases where the plasma Debye length is close to the grid spacing. The use of high-order spatial approximations in the new method means that fewer grid points are required in order to achieve a fixed accuracy. Our results also suggest that the new method can be used with fewer simulation particles per cell compared to standard explicit methods, which permits further computational savings.
△ Less
Submitted 16 January, 2024; v1 submitted 24 August, 2022;
originally announced August 2022.
-
Superconvergent Non-Polynomial Approximations
Authors:
Andrew Christlieb,
William Sands,
Hyoseon Yang
Abstract:
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 utili…
▽ More
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.
△ Less
Submitted 17 June, 2021; v1 submitted 4 November, 2020;
originally announced November 2020.
-
Parallel Algorithms for Successive Convolution
Authors:
Andrew J. Christlieb,
Pierson T. Guthrey,
William A. Sands,
Mathialakan Thavappiragasm
Abstract:
In this work, we consider alternative discretizations for PDEs which use expansions involving integral operators to approximate spatial derivatives. These constructions use explicit information within the integral terms, but treat boundary data implicitly, which contributes to the overall speed of the method. This approach is provably unconditionally stable for linear problems and stability has be…
▽ More
In this work, we consider alternative discretizations for PDEs which use expansions involving integral operators to approximate spatial derivatives. These constructions use explicit information within the integral terms, but treat boundary data implicitly, which contributes to the overall speed of the method. This approach is provably unconditionally stable for linear problems and stability has been demonstrated experimentally for nonlinear problems. Additionally, it is matrix-free in the sense that it is not necessary to invert linear systems and iteration is not required for nonlinear terms. Moreover, the scheme employs a fast summation algorithm that yields a method with a computational complexity of $\mathcal{O}(N)$, where $N$ is the number of mesh points along a direction. While much work has been done to explore the theory behind these methods, their practicality in large scale computing environments is a largely unexplored topic. In this work, we explore the performance of these methods by developing a domain decomposition algorithm suitable for distributed memory systems along with shared memory algorithms. As a first pass, we derive an artificial CFL condition that enforces a nearest-neighbor communication pattern and briefly discuss possible generalizations. We also analyze several approaches for implementing the parallel algorithms by optimizing predominant loop structures and maximizing data reuse. Using a hybrid design that employs MPI and Kokkos for the distributed and shared memory components of the algorithms, respectively, we show that our methods are efficient and can sustain an update rate $> 1\times10^8$ DOF/node/s. We provide results that demonstrate the scalability and versatility of our algorithms using several different PDE test problems, including a nonlinear example, which employs an adaptive time-stepping rule.
△ Less
Submitted 22 July, 2020; v1 submitted 6 July, 2020;
originally announced July 2020.
-
A Kernel-Based Explicit Unconditionally Stable Scheme for Hamilton-Jacobi Equations on Nonuniform Meshes
Authors:
Andrew Christlieb,
William Sands,
Hyoseon Yang
Abstract:
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-oscillat…
▽ More
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.
△ Less
Submitted 1 February, 2020;
originally announced February 2020.
-
The special value $u=1$ of Artin-Ihara $L$-functions
Authors:
Kyle Hammer,
Thomas W. Mattman,
Jonathan W. Sands,
Daniel Vallières
Abstract:
We study the special value $u=1$ of Artin-Ihara $L$-functions associated to characters of the automorphism group of abelian covers of multigraphs. In particular, we show an annihilation statement analogous to a classical conjecture of Brumer on annihilation of class groups for abelian extensions of number fields and we also calculate the index of an ideal analogous to the classical Stickelberger i…
▽ More
We study the special value $u=1$ of Artin-Ihara $L$-functions associated to characters of the automorphism group of abelian covers of multigraphs. In particular, we show an annihilation statement analogous to a classical conjecture of Brumer on annihilation of class groups for abelian extensions of number fields and we also calculate the index of an ideal analogous to the classical Stickelberger ideal in algebraic number theory. Along the way, we make some observations about the number of spanning trees in abelian multigraph coverings that may be of independent interest.
△ Less
Submitted 10 July, 2019;
originally announced July 2019.
-
Split-facets for Balanced Minimal Evolution Polytopes and the Permutoassociahedron
Authors:
Stefan Forcey,
Logan Keefe,
William Sands
Abstract:
Understanding the face structure of the balanced minimal evolution (BME) polytope, especially its top-dimensional facets, is crucially important to phylogenetic applications. We show that BME polytope has a sub-lattice of its poset of faces which is isomorphic to a quotient of the well-studied permutoassociahedron. This sub-lattice corresponds to compatible sets of splits displayed by phylogenetic…
▽ More
Understanding the face structure of the balanced minimal evolution (BME) polytope, especially its top-dimensional facets, is crucially important to phylogenetic applications. We show that BME polytope has a sub-lattice of its poset of faces which is isomorphic to a quotient of the well-studied permutoassociahedron. This sub-lattice corresponds to compatible sets of splits displayed by phylogenetic trees, and extends the lattice of faces of the BME polytope found by Hodge, Haws, and Yoshida. Each of the maximal elements in our new poset of faces corresponds to a single split of the leaves. Nearly all of these turn out to actually be facets of the BME polytope, a collection of facets which grows exponentially.
△ Less
Submitted 7 April, 2021; v1 submitted 4 August, 2016;
originally announced August 2016.
-
Facets of the Balanced Minimal Evolution Polytope
Authors:
Stefan Forcey,
Logan Keefe,
William Sands
Abstract:
A phylogenetic tree is a way to organize a finite set of species, individuals or other sources of related data. The species for which we have existing DNA data make up the set of leaves of the tree. The balanced minimal evolution method of creating phylogenetic trees can be formulated as a linear programming problem, minimizing an inner product over the vertices of the BME polytope. In this paper…
▽ More
A phylogenetic tree is a way to organize a finite set of species, individuals or other sources of related data. The species for which we have existing DNA data make up the set of leaves of the tree. The balanced minimal evolution method of creating phylogenetic trees can be formulated as a linear programming problem, minimizing an inner product over the vertices of the BME polytope. In this paper we undertake the first steps of describing the facets of this polytope.
△ Less
Submitted 4 August, 2016; v1 submitted 22 January, 2015;
originally announced January 2015.
-
Values at s=-1 of L-functions for multi-quadratic extensions of number fields, and the fitting ideal of the tame kernel
Authors:
Jonathan W. Sands
Abstract:
Fix a Galois extension E/F of totally real number fields such that the Galois group G has exponent 2. Let S be a finite set of primes of F containing the infinite primes and all those which ramify in E, let S_E denote the primes of E lying above those in S, and let O_E^S denote the ring of S_E-integers of E. We then compare the Fitting ideal of K_2(O_E^S) as a Z[G]-module with a higher Stickelbe…
▽ More
Fix a Galois extension E/F of totally real number fields such that the Galois group G has exponent 2. Let S be a finite set of primes of F containing the infinite primes and all those which ramify in E, let S_E denote the primes of E lying above those in S, and let O_E^S denote the ring of S_E-integers of E. We then compare the Fitting ideal of K_2(O_E^S) as a Z[G]-module with a higher Stickelberger ideal. The two extend to the same ideal in the maximal order of Q[G], and hence in Z[1/2][G]. Results in Z[G] are obtained under the assumption of the Birch-Tate conjecture, especially for biquadratic extensions, where we compute the index of the higher Stickelberger ideal.
We find a sufficient condition for the Fitting ideal to contain the higher Stickelberger ideal in the case where E is a biquadratic extension of F containing the first layer of the cyclotomic Z_2-extension of F, and describe a class of biquadratic extensions of F=Q that satisfy this condition.
△ Less
Submitted 6 August, 2007;
originally announced August 2007.
-
Values at s=-1 of L-functions for relative quadratic extensions of number fields, and the Fitting ideal of the tame kernel
Authors:
Jonathan W. Sands
Abstract:
Fix a relative quadratic extension E/F of totally real number rields and let G denote the Galois group of order 2. Let S be a finite set of primes of F containing the infinite primes and all those which ramify in E, let S_E denote the primes of E and let O_E^S denote the ring of S_E-integers of E. Assume the truth of the 2-part of the Birch-Tate conjecture relating the order of the tame kernel K…
▽ More
Fix a relative quadratic extension E/F of totally real number rields and let G denote the Galois group of order 2. Let S be a finite set of primes of F containing the infinite primes and all those which ramify in E, let S_E denote the primes of E and let O_E^S denote the ring of S_E-integers of E. Assume the truth of the 2-part of the Birch-Tate conjecture relating the order of the tame kernel K_2(O_E^S) to the value of the Dedekind zeta function of E at s=-1, and assume the same for F as well. We then prove that the Fitting ideal of K_2(O_E^S) as a Z[G]-module is equal to a generalized Stickelberger ideal. Equality after tensoring with Z[1/2][G] holds unconditionally.
△ Less
Submitted 12 February, 2007;
originally announced February 2007.
-
Values at s=-1 of L-functions for multiquadratic extensions of number fields, and annililation of the tame kernel
Authors:
Jonathan W. Sands,
Lloyd D. Simons
Abstract:
Suppose that $EE$ is a totally real number field which is the composite of all of its subfields $E$ that are relative quadratic extensions of a base field $F$. For each such $E$ with ring of integers $Ø_E$, assume the truth of the Birch-Tate conjecture (which is almost fully established) relating the order of the tame kernel $K_2(Ø_E)$ to the value of the Dedekind zeta function of $E$ at $s=-1$,…
▽ More
Suppose that $EE$ is a totally real number field which is the composite of all of its subfields $E$ that are relative quadratic extensions of a base field $F$. For each such $E$ with ring of integers $Ø_E$, assume the truth of the Birch-Tate conjecture (which is almost fully established) relating the order of the tame kernel $K_2(Ø_E)$ to the value of the Dedekind zeta function of $E$ at $s=-1$, and assume the same for $F$ as well. Excluding a certain rare situation, we prove the annihilation of $K_2(\Oc_EE)$ by a generalized Stickelberger element in the group ring of the Galois group of $EE/F$. Annihilation of the odd part of this group is proved unconditionally.
△ Less
Submitted 6 June, 2006;
originally announced June 2006.
