-
An Energy Stable High-Order Cut Cell Discontinuous Galerkin Method with State Redistribution for Wave Propagation
Authors:
Christina G. Taylor,
Lucas C. Wilcox,
Jesse Chan
Abstract:
Cut meshes are a type of mesh that is formed by allowing embedded boundaries to "cut" a simple underlying mesh resulting in a hybrid mesh of cut and standard elements. While cut meshes can allow complex boundaries to be represented well regardless of the mesh resolution, their arbitrarily shaped and sized cut elements can present issues such as the small cell problem, where small cut elements can…
▽ More
Cut meshes are a type of mesh that is formed by allowing embedded boundaries to "cut" a simple underlying mesh resulting in a hybrid mesh of cut and standard elements. While cut meshes can allow complex boundaries to be represented well regardless of the mesh resolution, their arbitrarily shaped and sized cut elements can present issues such as the small cell problem, where small cut elements can result in a severely restricted CFL condition. State redistribution, a technique developed by Berger and Giuliani [1], can be used to address the small cell problem. In this work, we pair state redistribution with a high-order discontinuous Galerkin scheme that is $L_2$ energy stable for arbitrary quadrature. We prove that state redistribution can be added to a provably $L_2$ energy stable discontinuous Galerkin method on a cut mesh without damaging the scheme's $L_2$ stability. We numerically verify the high order accuracy and stability of our scheme on two-dimensional wave propagation problems.
△ Less
Submitted 23 April, 2024; v1 submitted 9 April, 2024;
originally announced April 2024.
-
Affine Semigroup Algebras And Their Fibered Sums
Authors:
C-Y. Jean Chan,
I-Chiau Huang,
Jung-Chen Liu
Abstract:
We study affine semigroup rings as algebras over subsemigroup rings. From this relative viewpoint with respect to a given subsemigroup ring, the fibered sum of two affine semigroup algebras is constructed. Such a construction is compared to the tensor product and to the classical gluings of affine semigroup rings as defined in Rosales (1997).
While fibered sum can always be achieved, gluings of…
▽ More
We study affine semigroup rings as algebras over subsemigroup rings. From this relative viewpoint with respect to a given subsemigroup ring, the fibered sum of two affine semigroup algebras is constructed. Such a construction is compared to the tensor product and to the classical gluings of affine semigroup rings as defined in Rosales (1997).
While fibered sum can always be achieved, gluings of affine semigroup rings do not always exist. Therefore, we further investigate when the fibered sum of affine semigroup algebras gives rise to a gluing. A criterion is recovered in terms of the defining semigroups under which the gluing may take place.
△ Less
Submitted 10 March, 2024;
originally announced March 2024.
-
Pseudodifferential Models for Ultrasound Waves with Fractional Attenuation
Authors:
Sebastian Acosta,
Jesse Chan,
Raven Johnson,
Benjamin Palacios
Abstract:
To strike a balance between modeling accuracy and computational efficiency for simulations of ultrasound waves in soft tissues, we derive a pseudodifferential factorization of the wave operator with fractional attenuation. This factorization allows us to approximately solve the Helmholtz equation via one-way (transmission) or two-way (transmission and reflection) swee** schemes tailored to high-…
▽ More
To strike a balance between modeling accuracy and computational efficiency for simulations of ultrasound waves in soft tissues, we derive a pseudodifferential factorization of the wave operator with fractional attenuation. This factorization allows us to approximately solve the Helmholtz equation via one-way (transmission) or two-way (transmission and reflection) swee** schemes tailored to high-frequency wave fields. We provide explicitly the three highest order terms of the pseudodifferential expansion to incorporate the well-known square-root first order symbol for wave propagation, the zeroth order symbol for amplitude modulation due to changes in wave speed and dam**, and the next symbol to model fractional attenuation. We also propose wide-angle Pade approximations for the pseudodifferential operators corresponding to these three highest order symbols. Our analysis provides insights regarding the role played by the frequency and the Pade approximations in the estimation of error bounds. We also provide a proof-of-concept numerical implementation of the proposed method and test the error estimates numerically.
△ Less
Submitted 8 April, 2024; v1 submitted 14 December, 2023;
originally announced December 2023.
-
High order entropy stable schemes for the quasi-one-dimensional shallow water and compressible Euler equations
Authors:
Jesse Chan,
Khemraj Shukla,
Xinhui Wu,
Ruofeng Liu,
Prani Nalluri
Abstract:
High order schemes are known to be unstable in the presence of shock discontinuities or under-resolved solution features for nonlinear conservation laws. Entropy stable schemes address this instability by ensuring that physically relevant solutions satisfy a semi-discrete entropy inequality independently of discretization parameters. This work extends high order entropy stable schemes to the quasi…
▽ More
High order schemes are known to be unstable in the presence of shock discontinuities or under-resolved solution features for nonlinear conservation laws. Entropy stable schemes address this instability by ensuring that physically relevant solutions satisfy a semi-discrete entropy inequality independently of discretization parameters. This work extends high order entropy stable schemes to the quasi-1D shallow water equations and the quasi-1D compressible Euler equations, which model one-dimensional flows through channels or nozzles with varying width.
We introduce new non-symmetric entropy conservative finite volume fluxes for both sets of quasi-1D equations, as well as a generalization of the entropy conservation condition to non-symmetric fluxes. When combined with an entropy stable interface flux, the resulting schemes are high order accurate, conservative, and semi-discretely entropy stable. For the quasi-1D shallow water equations, the resulting schemes are also well-balanced.
△ Less
Submitted 10 January, 2024; v1 submitted 22 July, 2023;
originally announced July 2023.
-
High order entropy stable discontinuous Galerkin spectral element methods through subcell limiting
Authors:
Yimin Lin,
Jesse Chan
Abstract:
Subcell limiting strategies for discontinuous Galerkin spectral element methods do not provably satisfy a semi-discrete cell entropy inequality. In this work, we introduce an extension to the subcell and monolithic convex limiting strategies that satisfies the semi-discrete cell entropy inequality by formulating the limiting factors as solutions to an optimization problem. The optimization problem…
▽ More
Subcell limiting strategies for discontinuous Galerkin spectral element methods do not provably satisfy a semi-discrete cell entropy inequality. In this work, we introduce an extension to the subcell and monolithic convex limiting strategies that satisfies the semi-discrete cell entropy inequality by formulating the limiting factors as solutions to an optimization problem. The optimization problem is efficiently solved using a deterministic greedy algorithm. We also discuss the extension of the proposed subcell limiting strategy to preserve general convex constraints. Numerical experiments confirm that the proposed limiting strategy preserves high-order accuracy for smooth solutions and satisfies the cell entropy inequality.
△ Less
Submitted 27 November, 2023; v1 submitted 22 June, 2023;
originally announced June 2023.
-
Equalised Odds is not Equal Individual Odds: Post-processing for Group and Individual Fairness
Authors:
Edward A. Small,
Kacper Sokol,
Daniel Manning,
Flora D. Salim,
Jeffrey Chan
Abstract:
Group fairness is achieved by equalising prediction distributions between protected sub-populations; individual fairness requires treating similar individuals alike. These two objectives, however, are incompatible when a scoring model is calibrated through discontinuous probability functions, where individuals can be randomly assigned an outcome determined by a fixed probability. This procedure ma…
▽ More
Group fairness is achieved by equalising prediction distributions between protected sub-populations; individual fairness requires treating similar individuals alike. These two objectives, however, are incompatible when a scoring model is calibrated through discontinuous probability functions, where individuals can be randomly assigned an outcome determined by a fixed probability. This procedure may provide two similar individuals from the same protected group with classification odds that are disparately different -- a clear violation of individual fairness. Assigning unique odds to each protected sub-population may also prevent members of one sub-population from ever receiving equal chances of a positive outcome to another, which we argue is another type of unfairness called individual odds. We reconcile all this by constructing continuous probability functions between group thresholds that are constrained by their Lipschitz constant. Our solution preserves the model's predictive power, individual fairness and robustness while ensuring group fairness.
△ Less
Submitted 19 April, 2024; v1 submitted 19 April, 2023;
originally announced April 2023.
-
High-Order Methods for Hypersonic Flows with Strong Shocks and Real Chemistry
Authors:
Ahmad Peyvan,
Khemraj Shukla,
Jesse Chan,
George Karniadakis
Abstract:
We compare high-order methods including spectral difference (SD), flux reconstruction (FR), the entropy-stable discontinuous Galerkin spectral element method (ES-DGSEM), modal discontinuous Galerkin methods, and WENO to select the best candidate to simulate strong shock waves characteristic of hypersonic flows. We consider several benchmarks, including the Leblanc and modified shock-density wave i…
▽ More
We compare high-order methods including spectral difference (SD), flux reconstruction (FR), the entropy-stable discontinuous Galerkin spectral element method (ES-DGSEM), modal discontinuous Galerkin methods, and WENO to select the best candidate to simulate strong shock waves characteristic of hypersonic flows. We consider several benchmarks, including the Leblanc and modified shock-density wave interaction problems that require robust stabilization and positivity-preserving properties for a successful flow realization. We also perform simulations of the three-species Sod problem with simplified chemistry with the chemical reaction source terms introduced in the Euler equations. The ES-DGSEM scheme exhibits the highest stability, negligible numerical oscillations, and requires the least computational effort in resolving reactive flow regimes with strong shock waves. Therefore, we extend the ES-DGSEM to hypersonic Euler equations by deriving a new set of two-point entropy conservative fluxes for a five-species gas model. Stabilization for capturing strong shock waves occurs by blending high-order entropy conservative fluxes with low-order finite volume fluxes constructed using the HLLC Riemann solver. The hypersonic Euler solver is verified using the non-equilibrium chemistry Sod problem. To this end, we adopt the Mutation++ library to compute the reaction source terms, thermodynamic properties, and transport coefficients. We also investigate the effect of real chemistry versus ideal chemistry, and the results demonstrate that the ideal chemistry assumption fails at high temperatures, hence real chemistry must be employed for accurate predictions. Finally, we consider a viscous hypersonic flow problem to verify the transport coefficients and reaction source terms determined by the Mutation++ library.
△ Less
Submitted 22 November, 2022;
originally announced November 2022.
-
On the entropy projection and the robustness of high order entropy stable discontinuous Galerkin schemes for under-resolved flows
Authors:
Jesse Chan,
Hendrik Ranocha,
Andres Rueda-Ramirez,
Gregor Gassner,
Tim Warburton
Abstract:
High order entropy stable schemes provide improved robustness for computational simulations of fluid flows. However, additional stabilization and positivity preserving limiting can still be required for variable-density flows with under-resolved features. We demonstrate numerically that entropy stable DG methods which incorporate an "entropy projection" are less likely to require additional limiti…
▽ More
High order entropy stable schemes provide improved robustness for computational simulations of fluid flows. However, additional stabilization and positivity preserving limiting can still be required for variable-density flows with under-resolved features. We demonstrate numerically that entropy stable DG methods which incorporate an "entropy projection" are less likely to require additional limiting to retain positivity for certain types of flows. We conclude by investigating potential explanations for this observed improvement in robustness.
△ Less
Submitted 19 March, 2022;
originally announced March 2022.
-
Entropy-Stable Gauss Collocation Methods for Ideal Magneto-Hydrodynamics
Authors:
Andrés M Rueda-Ramírez,
Florian J Hindenlang,
Jesse Chan,
Gregor J Gassner
Abstract:
In this paper, we present an entropy-stable Gauss collocation discontinuous Galerkin (DG) method on 3D curvilinear meshes for the GLM-MHD equations: the single-fluid magneto-hydrodynamics (MHD) equations with a generalized Lagrange multiplier (GLM) divergence cleaning mechanism. For the continuous entropy analysis to hold and to ensure Galilean invariance in the divergence cleaning technique, the…
▽ More
In this paper, we present an entropy-stable Gauss collocation discontinuous Galerkin (DG) method on 3D curvilinear meshes for the GLM-MHD equations: the single-fluid magneto-hydrodynamics (MHD) equations with a generalized Lagrange multiplier (GLM) divergence cleaning mechanism. For the continuous entropy analysis to hold and to ensure Galilean invariance in the divergence cleaning technique, the GLM-MHD system requires the use of non-conservative terms.
Traditionally, entropy-stable DG discretizations have used a collocated nodal variant of the DG method, also known as the discontinuous Galerkin spectral element method (DGSEM) on Legendre-Gauss-Lobatto (LGL) points. Recently, Chan et al. ("Efficient Entropy Stable Gauss Collocation Methods". SIAM -2019) presented an entropy-stable DGSEM scheme that uses Legendre-Gauss points (instead of LGL points) for conservation laws. Our main contribution is to extend the discretization technique of Chan et al. to the non-conservative GLM-MHD system.
We provide a numerical verification of the entropy behavior and convergence properties of our novel scheme on 3D curvilinear meshes. Moreover, we test the robustness and accuracy of our scheme with a magneto-hydrodynamic Kelvin-Helmholtz instability problem. The numerical experiments suggest that the entropy-stable DGSEM on Gauss points for the GLM-MHD system is more accurate than the LGL counterpart.
△ Less
Submitted 11 March, 2022;
originally announced March 2022.
-
A positivity preserving strategy for entropy stable discontinuous Galerkin discretizations of the compressible Euler and Navier-Stokes equations
Authors:
Yimin Lin,
Jesse Chan,
Ignacio Tomas
Abstract:
High-order entropy-stable discontinuous Galerkin methods for the compressible Euler and Navier-Stokes equations require the positivity of thermodynamic quantities in order to guarantee their well-posedness. In this work, we introduce a positivity limiting strategy for entropy-stable discontinuous Galerkin discretizations constructed by blending high order solutions with a low order positivity-pres…
▽ More
High-order entropy-stable discontinuous Galerkin methods for the compressible Euler and Navier-Stokes equations require the positivity of thermodynamic quantities in order to guarantee their well-posedness. In this work, we introduce a positivity limiting strategy for entropy-stable discontinuous Galerkin discretizations constructed by blending high order solutions with a low order positivity-preserving discretization. The proposed low order discretization is semi-discretely entropy stable, and the proposed limiting strategy is positivity preserving for the compressible Euler and Navier-Stokes equations. Numerical experiments confirm the high order accuracy and robustness of the proposed strategy.
△ Less
Submitted 15 September, 2022; v1 submitted 27 January, 2022;
originally announced January 2022.
-
Unitarily invariant Norms on Operators
Authors:
Jor-Ting Chan,
Chi-Kwong Li
Abstract:
Let $f$ be a symmetric norm on ${\mathbb R}^n$ and let ${\mathcal B}({\mathcal H})$ be the set of all bounded linear operators on a Hilbert space ${\mathcal H}$ of dimension at least $n$. Define a norm on ${\mathcal B}({\mathcal H})$ by $\|A\|_f = f(s_1(A), \dots, s_n(A))$, where $s_k(A) = \inf\{\|A-X\|: X\in {\mathcal B}({\mathcal H}) \hbox{ has rank less than } k\}$ is the $k$th singular value o…
▽ More
Let $f$ be a symmetric norm on ${\mathbb R}^n$ and let ${\mathcal B}({\mathcal H})$ be the set of all bounded linear operators on a Hilbert space ${\mathcal H}$ of dimension at least $n$. Define a norm on ${\mathcal B}({\mathcal H})$ by $\|A\|_f = f(s_1(A), \dots, s_n(A))$, where $s_k(A) = \inf\{\|A-X\|: X\in {\mathcal B}({\mathcal H}) \hbox{ has rank less than } k\}$ is the $k$th singular value of $A$. Basic properties of the norm $\|\cdot\|_f$ are obtained including some norm inequalities and characterization of the equality case. Geometric properties of the unit ball of the norm are obtained; the results are used to determine the structure of maps $L$ satisfying $\|L(A)-L(B)\|_f=\|A - B\|_f$ for any $A, B \in {\mathcal B}({\mathcal H})$.
△ Less
Submitted 10 February, 2022; v1 submitted 17 December, 2021;
originally announced December 2021.
-
Efficient implementation of modern entropy stable and kinetic energy preserving discontinuous Galerkin methods for conservation laws
Authors:
Hendrik Ranocha,
Michael Schlottke-Lakemper,
Jesse Chan,
Andrés M. Rueda-Ramírez,
Andrew R. Winters,
Florian Hindenlang,
Gregor J. Gassner
Abstract:
Many modern discontinuous Galerkin (DG) methods for conservation laws make use of summation by parts operators and flux differencing to achieve kinetic energy preservation or entropy stability. While these techniques increase the robustness of DG methods significantly, they are also computationally more demanding than standard weak form nodal DG methods. We present several implementation technique…
▽ More
Many modern discontinuous Galerkin (DG) methods for conservation laws make use of summation by parts operators and flux differencing to achieve kinetic energy preservation or entropy stability. While these techniques increase the robustness of DG methods significantly, they are also computationally more demanding than standard weak form nodal DG methods. We present several implementation techniques to improve the efficiency of flux differencing DG methods that use tensor product quadrilateral or hexahedral elements, in 2D or 3D respectively. Focus is mostly given to CPUs and DG methods for the compressible Euler equations, although these techniques are generally also useful for other physical systems including the compressible Navier-Stokes and magnetohydrodynamics equations. We present results using two open source codes, Trixi.jl written in Julia and FLUXO written in Fortran, to demonstrate that our proposed implementation techniques are applicable to different code bases and programming languages.
△ Less
Submitted 19 September, 2023; v1 submitted 20 December, 2021;
originally announced December 2021.
-
Entropy stable discontinuous Galerkin methods for the shallow water equations with subcell positivity preservation
Authors:
Xinhui Wu,
Nathaniel Trask,
Jesse Chan
Abstract:
High order schemes are known to be unstable in the presence of shock discontinuities or under-resolved solution features, and have traditionally required additional filtering, limiting, or artificial viscosity to avoid solution blow up. Entropy stable schemes address this instability by ensuring that physically relevant solutions satisfy a semi-discrete entropy inequality independently of discreti…
▽ More
High order schemes are known to be unstable in the presence of shock discontinuities or under-resolved solution features, and have traditionally required additional filtering, limiting, or artificial viscosity to avoid solution blow up. Entropy stable schemes address this instability by ensuring that physically relevant solutions satisfy a semi-discrete entropy inequality independently of discretization parameters. However, additional measures must be taken to ensure that solutions satisfy physical constraints such as positivity. In this work, we present a high order entropy stable discontinuous Galerkin (ESDG) method for the nonlinear shallow water equations (SWE) on two-dimensional (2D) triangular meshes which preserves the positivity of the water heights. The scheme combines a low order positivity preserving method with a high order entropy stable method using convex limiting. This method is entropy stable and well-balanced for fitted meshes with continuous bathymetry profiles.
△ Less
Submitted 14 December, 2021;
originally announced December 2021.
-
Differential operators, retracts, and toric face rings
Authors:
Christine Berkesch,
C-Y. Jean Chan,
Patricia Klein,
Laura Felicia Matusevich,
Janet Page,
Janet Vassilev
Abstract:
We give explicit descriptions of rings of differential operators of toric face rings in characteristic $0$. For quotients of normal affine semigroup rings by radical monomial ideals, we also identify which of their differential operators are induced by differential operators on the ambient ring. Lastly, we provide a criterion for the Gorenstein property of a normal affine semigroup ring in terms o…
▽ More
We give explicit descriptions of rings of differential operators of toric face rings in characteristic $0$. For quotients of normal affine semigroup rings by radical monomial ideals, we also identify which of their differential operators are induced by differential operators on the ambient ring. Lastly, we provide a criterion for the Gorenstein property of a normal affine semigroup ring in terms of its differential operators.
Our main technique is to realize the k-algebras we study in terms of a suitable family of their algebra retracts in a way that is compatible with the characterization of differential operators. This strategy allows us to describe differential operators of any k-algebra realized by retracts in terms of the differential operators on these retracts, without restriction on char(k).
△ Less
Submitted 8 March, 2023; v1 submitted 30 November, 2021;
originally announced December 2021.
-
Asymmetric Conjugate Priors for Large Bayesian VARs
Authors:
Joshua C. C. Chan
Abstract:
Large Bayesian VARs are now widely used in empirical macroeconomics. One popular shrinkage prior in this setting is the natural conjugate prior as it facilitates posterior simulation and leads to a range of useful analytical results. This is, however, at the expense of modeling flexibility, as it rules out cross-variable shrinkage -- i.e., shrinking coefficients on lags of other variables more agg…
▽ More
Large Bayesian VARs are now widely used in empirical macroeconomics. One popular shrinkage prior in this setting is the natural conjugate prior as it facilitates posterior simulation and leads to a range of useful analytical results. This is, however, at the expense of modeling flexibility, as it rules out cross-variable shrinkage -- i.e., shrinking coefficients on lags of other variables more aggressively than those on own lags. We develop a prior that has the best of both worlds: it can accommodate cross-variable shrinkage, while maintaining many useful analytical results, such as a closed-form expression of the marginal likelihood. This new prior also leads to fast posterior simulation -- for a BVAR with 100 variables and 4 lags, obtaining 10,000 posterior draws takes less than half a minute on a standard desktop. We demonstrate the usefulness of the new prior via a structural analysis using a 15-variable VAR with sign restrictions to identify 5 structural shocks.
△ Less
Submitted 13 November, 2021;
originally announced November 2021.
-
Provably Stable Flux Reconstruction High-Order Methods on Curvilinear Elements
Authors:
Alexander Cicchino,
David C. Del Rey Fernández,
Siva Nadarajah,
Jesse Chan,
Mark H. Carpenter
Abstract:
Provably stable flux reconstruction (FR) schemes are derived for partial differential equations cast in curvilinear coordinates. Specifically, energy stable flux reconstruction (ESFR) schemes are considered as they allow for design flexibility as well as stability proofs for the linear advection problem on affine elements. Additionally, split forms are examined as they enable the development of en…
▽ More
Provably stable flux reconstruction (FR) schemes are derived for partial differential equations cast in curvilinear coordinates. Specifically, energy stable flux reconstruction (ESFR) schemes are considered as they allow for design flexibility as well as stability proofs for the linear advection problem on affine elements. Additionally, split forms are examined as they enable the development of energy stability proofs. The first critical step proves, that in curvilinear coordinates, the discontinuous Galerkin (DG) conservative and non-conservative forms are inherently different--even under exact integration and analytically exact metric terms. This analysis demonstrates that the split form is essential to develo** provably stable DG schemes on curvilinear coordinates and motivates the construction of metric dependent ESFR correction functions in each element. Furthermore, the provably stable FR schemes differ from schemes in the literature that only apply the ESFR correction functions to surface terms or on the conservative form, and instead incorporate the ESFR correction functions on the full split form of the equations. It is demonstrated that the scheme is divergent when the correction functions are only used for surface reconstruction in curvilinear coordinates. We numerically verify the stability claims for our proposed FR split forms and compare them to ESFR schemes in the literature. Lastly, the newly proposed provably stable FR schemes are shown to obtain optimal orders of convergence. The scheme loses the orders of accuracy at the equivalent correction parameter value c as that of the one-dimensional ESFR scheme.
△ Less
Submitted 23 September, 2021;
originally announced September 2021.
-
Adaptive numerical simulations with Trixi.jl: A case study of Julia for scientific computing
Authors:
Hendrik Ranocha,
Michael Schlottke-Lakemper,
Andrew R. Winters,
Erik Faulhaber,
Jesse Chan,
Gregor J. Gassner
Abstract:
We present Trixi.jl, a Julia package for adaptive high-order numerical simulations of hyperbolic partial differential equations. Utilizing Julia's strengths, Trixi.jl is extensible, easy to use, and fast. We describe the main design choices that enable these features and compare Trixi.jl with a mature open source Fortran code that uses the same numerical methods. We conclude with an assessment of…
▽ More
We present Trixi.jl, a Julia package for adaptive high-order numerical simulations of hyperbolic partial differential equations. Utilizing Julia's strengths, Trixi.jl is extensible, easy to use, and fast. We describe the main design choices that enable these features and compare Trixi.jl with a mature open source Fortran code that uses the same numerical methods. We conclude with an assessment of Julia for simulation-focused scientific computing, an area that is still dominated by traditional high-performance computing languages such as C, C++, and Fortran.
△ Less
Submitted 15 January, 2022; v1 submitted 14 August, 2021;
originally announced August 2021.
-
Commuting normal operators and joint numerical range
Authors:
Jor-Ting Chan,
Chi-Kwong Li,
Yiu-Tung Poon
Abstract:
Let ${\mathcal H}$ be a complex Hilbert space and let ${\mathcal B}({\mathcal H})$ be the algebra of all bounded linear operators on ${\mathcal H}$. For a positive integer $k$ less than the dimension of ${\mathcal H}$ and ${\mathbf A} = (A_1, \dots, A_m)\in {\mathcal B}({\mathcal H})^m$, the joint $k$-numerical range $W_k({\mathbf A})$ is the set of $(α_1, \dots, α_m) \in{\mathbb C}^m$ such that…
▽ More
Let ${\mathcal H}$ be a complex Hilbert space and let ${\mathcal B}({\mathcal H})$ be the algebra of all bounded linear operators on ${\mathcal H}$. For a positive integer $k$ less than the dimension of ${\mathcal H}$ and ${\mathbf A} = (A_1, \dots, A_m)\in {\mathcal B}({\mathcal H})^m$, the joint $k$-numerical range $W_k({\mathbf A})$ is the set of $(α_1, \dots, α_m) \in{\mathbb C}^m$ such that $α_i = \sum_{j = 1}^k \langle A_ix_j, x_j\rangle$ for an orthonormal set $\{x_1, \ldots, x_k\}$ in ${\mathcal H}$. Relations between the geometric properties of $W_k({\mathbf A})$ and the algebraic and analytic properties of $A_1, \dots, A_m$ are studied. It is shown that there is $k\in {\mathbb N}$ such that $W_k({\mathbf A})$ is a polyhedral set, i.e., the convex hull of a finite set, if and only if $A_1, \dots, A_k$ have a common reducing subspace ${\mathbf V}$ of finite dimension such that the compression of $A_1, \dots, A_m$ on the subspace ${\mathbf V}$ are diagonal operators $D_1, \dots, D_m$ and $W_k({\mathbf A}) = W_k(D_1, \dots, D_m)$. Characterization is also given to ${\bf A}$ such that the closure of $W_k({\mathbf A})$ is polyhedral. The conditions are related to the joint essential numerical range of ${\mathbf A}$. These results are used to study ${\bf A}$ such that (a) $\{A_1, \dots, A_m\}$ is a commuting family of normal operators, or (b) $W_k(A_1, \dots, A_m)$ is polyhedral for every positive integer $k$. It is shown that conditions (a) and (b) are equivalent for finite rank operators but it is no longer true for compact operators. Characterizations are given for compact operators $A_1, \dots, A_m$ satisfying (a) and (b), respectively. Results are also obtained for general non-compact operators.
△ Less
Submitted 21 March, 2022; v1 submitted 11 August, 2021;
originally announced August 2021.
-
Discrete adjoint computations for relaxation Runge-Kutta methods
Authors:
Mario J. Bencomo,
Jesse Chan
Abstract:
Relaxation Runge-Kutta methods reproduce a fully discrete dissipation (or conservation) of entropy for entropy stable semi-discretizations of nonlinear conservation laws. In this paper, we derive the discrete adjoint of relaxation Runge-Kutta schemes, which are applicable to discretize-then-optimize approaches for optimal control problems. Furthermore, we prove that the derived discrete relaxation…
▽ More
Relaxation Runge-Kutta methods reproduce a fully discrete dissipation (or conservation) of entropy for entropy stable semi-discretizations of nonlinear conservation laws. In this paper, we derive the discrete adjoint of relaxation Runge-Kutta schemes, which are applicable to discretize-then-optimize approaches for optimal control problems. Furthermore, we prove that the derived discrete relaxation Runge-Kutta adjoint preserves time-symmetry when applied to linear skew-symmetric systems of ODEs. Numerical experiments verify these theoretical results while demonstrating the importance of appropriately treating the relaxation parameter when computing the discrete adjoint.
△ Less
Submitted 23 July, 2021;
originally announced July 2021.
-
The Shape of Hilbert-Kunz Functions
Authors:
C-Y. Jean Chan
Abstract:
We discuss Hilbert-Kunz function from when it was originally defined to its recent developments. A brief history of Hilbert-Kunz theory is first recounted. Then we review several techniques involved in the study of Hilbert-Kunz functions by presenting some illustrative proofs without going into details of the technicalities.
The second part of this article focuses on the Hilbert-Kunz function of…
▽ More
We discuss Hilbert-Kunz function from when it was originally defined to its recent developments. A brief history of Hilbert-Kunz theory is first recounted. Then we review several techniques involved in the study of Hilbert-Kunz functions by presenting some illustrative proofs without going into details of the technicalities.
The second part of this article focuses on the Hilbert-Kunz function of an affine normal semigroup ring and relates it to Ehrhart quasipolynomials. We pay extra attention to its periodic behavior and discuss how the cellular decomposition constructed by Bruns and Gubeladze fits into the computation of the functions. The closed forms of the Hilbert-Kunz function of some examples are presented. The discussion in this part highlights the close relationship between Hilbert-Kunz function and Ehrhart theory.
△ Less
Submitted 26 June, 2021;
originally announced June 2021.
-
The joint $k$-numerical range of operators
Authors:
Jor-Ting Chan,
Chi-Kwong Li,
Yiu-Tung Poon
Abstract:
Let ${\mathcal B}({\mathcal H})$ be the algebra of all bounded linear operators on the Hilbert space ${\mathcal H}$. For a positive integer $k$ less than the dimension of ${\mathcal H}$ and ${\mathbf A} = (A_1, \dots, A_m)\in {\mathcal B}({\mathcal H})^m$, the joint $k$-numerical range $W_k({\mathbf A})$ is the set of vector $(α_1, \dots, α_m) \in{\mathbb C}^m$ such that…
▽ More
Let ${\mathcal B}({\mathcal H})$ be the algebra of all bounded linear operators on the Hilbert space ${\mathcal H}$. For a positive integer $k$ less than the dimension of ${\mathcal H}$ and ${\mathbf A} = (A_1, \dots, A_m)\in {\mathcal B}({\mathcal H})^m$, the joint $k$-numerical range $W_k({\mathbf A})$ is the set of vector $(α_1, \dots, α_m) \in{\mathbb C}^m$ such that $α_i = \sum_{j = 1}^k \langle A_ix_j, x_j\rangle$ for an orthonormal set $\{x_1, \ldots, x_k\}$ in ${\mathcal H}$. Geometrical properties of $W_k({\mathbf A})$ and their relations with the algebraic properties of $\{A_1, \dots, A_m\}$ are investigated in this paper. For example, conditions for $W_k({\mathbf A})$ to be convex are studied. Descriptions are given for the closure of $W_k({\mathbf A})$ and the closure of ${\rm conv}\, W_k({\mathbf A})$ in terms of the joint essential numerical range of ${\mathbf A}$ for infinite dimensional operators $A_1, \dots, A_m$. Characterizations are obtained for $W_k({\mathbf A})$ or ${\rm conv}\, W_k({\mathbf A})$ to be closed. It is shown that $W_k({\mathbf A})$ is a polyhedral set if and only if $A_1, \dots, A_k$ have a common reducing subspace ${\mathbf V}$ of finite dimension such that the compression of $A_1, \dots, A_m$ on the subspace ${\mathbf V}$ are diagonal operators $D_1, \dots, D_m$ and $W_k({\mathbf A}) = W_k(D_1, \dots, D_m)$. Similar results are obtained for ${\bf A}$ such that the closure of $W_k({\mathbf A})$ is polyhedral. Classifications are given for operators satisfying (1) $\{A_1, \dots, A_m\}$ is a commuting family of normal operators, or (2) $W_k(A_1, \dots, A_m)$ is polyhedral for every positive integer $k$ less than $\dim {\mathcal H}$.
△ Less
Submitted 14 May, 2022; v1 submitted 10 May, 2021;
originally announced May 2021.
-
An illustrated view of differential operators of a reduced quotient of an affine semigroup ring
Authors:
Christine Berkesch,
C-Y. Jean Chan,
Patricia Klein,
Laura Felicia Matusevich,
Janet Page,
Janet Vassilev
Abstract:
Through examples, we illustrate how to compute differential operators on a quotient of an affine semigroup ring by a radical monomial ideal, when working over an algebraically closed field of characteristic 0.
Through examples, we illustrate how to compute differential operators on a quotient of an affine semigroup ring by a radical monomial ideal, when working over an algebraically closed field of characteristic 0.
△ Less
Submitted 9 May, 2021;
originally announced May 2021.
-
Divide and Learn: A Divide and Conquer Approach for Predict+Optimize
Authors:
Ali Ugur Guler,
Emir Demirovic,
Jeffrey Chan,
James Bailey,
Christopher Leckie,
Peter J. Stuckey
Abstract:
The predict+optimize problem combines machine learning ofproblem coefficients with a combinatorial optimization prob-lem that uses the predicted coefficients. While this problemcan be solved in two separate stages, it is better to directlyminimize the optimization loss. However, this requires dif-ferentiating through a discrete, non-differentiable combina-torial function. Most existing approaches…
▽ More
The predict+optimize problem combines machine learning ofproblem coefficients with a combinatorial optimization prob-lem that uses the predicted coefficients. While this problemcan be solved in two separate stages, it is better to directlyminimize the optimization loss. However, this requires dif-ferentiating through a discrete, non-differentiable combina-torial function. Most existing approaches use some form ofsurrogate gradient. Demirovicet alshowed how to directlyexpress the loss of the optimization problem in terms of thepredicted coefficients as a piece-wise linear function. How-ever, their approach is restricted to optimization problemswith a dynamic programming formulation. In this work wepropose a novel divide and conquer algorithm to tackle op-timization problems without this restriction and predict itscoefficients using the optimization loss. We also introduce agreedy version of this approach, which achieves similar re-sults with less computation. We compare our approach withother approaches to the predict+optimize problem and showwe can successfully tackle some hard combinatorial problemsbetter than other predict+optimize methods.
△ Less
Submitted 3 December, 2020;
originally announced December 2020.
-
Entropy stable modal discontinuous Galerkin schemes and wall boundary conditions for the compressible Navier-Stokes equations
Authors:
Jesse Chan,
Yimin Lin,
Tim Warburton
Abstract:
Entropy stable schemes ensure that physically meaningful numerical solutions also satisfy a semi-discrete entropy inequality under appropriate boundary conditions. In this work, we describe a discretization of viscous terms in the compressible Navier-Stokes equations which enables a simple and explicit imposition of entropy stable no-slip (adiabatic and isothermal) and reflective (symmetry) wall b…
▽ More
Entropy stable schemes ensure that physically meaningful numerical solutions also satisfy a semi-discrete entropy inequality under appropriate boundary conditions. In this work, we describe a discretization of viscous terms in the compressible Navier-Stokes equations which enables a simple and explicit imposition of entropy stable no-slip (adiabatic and isothermal) and reflective (symmetry) wall boundary conditions for discontinuous Galerkin (DG) discretizations. Numerical results confirm the robustness and accuracy of the proposed approaches.
△ Less
Submitted 22 November, 2020;
originally announced November 2020.
-
A high order discontinuous Galerkin method for the symmetric form of the anisotropic viscoelastic wave equation
Authors:
Khemraj Shukla,
Jesse Chan,
Maarten V. de Hoop
Abstract:
Wave propagation in real media is affected by various non-trivial physical phenomena, e.g., anisotropy, an-elasticity and dissipation. Assumptions on the stress-strain relationship are an integral part of seismic modeling and determine the deformation and relaxation of the medium. Stress-strain relationships based on simplified rheologies will incorrectly predict seismic amplitudes, which are used…
▽ More
Wave propagation in real media is affected by various non-trivial physical phenomena, e.g., anisotropy, an-elasticity and dissipation. Assumptions on the stress-strain relationship are an integral part of seismic modeling and determine the deformation and relaxation of the medium. Stress-strain relationships based on simplified rheologies will incorrectly predict seismic amplitudes, which are used for quantitative reservoir characterization. Constitutive equations for the rheological model include the generalized Hooke's law and Boltzmann's superposition principal with dissipation models based on standard linear solids or a Zener approximation.
In this work, we introduce a high-order discontinuous Galerkin finite element method for wave equation in inhomogeneous and anisotropic dissipative medium. This method is based on a new symmetric treatment of the anisotropic viscoelastic terms, as well as an appropriate memory variable treatment of the stress-strain convolution terms. Together, these result in a symmetric system of first order linear hyperbolic partial differential equations. The accuracy of the proposed numerical scheme is proven and verified using convergence studies against analytical plane wave solutions and analytical solutions of viscoelastic wave equation. Computational experiments are shown for various combinations of homogeneous and heterogeneous viscoelastic media in two and three dimensions.
△ Less
Submitted 31 October, 2020;
originally announced November 2020.
-
Learning to Optimise General TSP Instances
Authors:
Nasrin Sultana,
Jeffrey Chan,
A. K. Qin,
Tabinda Sarwar
Abstract:
The Travelling Salesman Problem (TSP) is a classical combinatorial optimisation problem. Deep learning has been successfully extended to meta-learning, where previous solving efforts assist in learning how to optimise future optimisation instances. In recent years, learning to optimise approaches have shown success in solving TSP problems. However, they focus on one type of TSP problem, namely one…
▽ More
The Travelling Salesman Problem (TSP) is a classical combinatorial optimisation problem. Deep learning has been successfully extended to meta-learning, where previous solving efforts assist in learning how to optimise future optimisation instances. In recent years, learning to optimise approaches have shown success in solving TSP problems. However, they focus on one type of TSP problem, namely ones where the points are uniformly distributed in Euclidean spaces and have issues in generalising to other embedding spaces, e.g., spherical distance spaces, and to TSP instances where the points are distributed in a non-uniform manner. An aim of learning to optimise is to train once and solve across a broad spectrum of (TSP) problems. Although supervised learning approaches have shown to achieve more optimal solutions than unsupervised approaches, they do require the generation of training data and running a solver to obtain solutions to learn from, which can be time-consuming and difficult to find reasonable solutions for harder TSP instances. Hence this paper introduces a new learning-based approach to solve a variety of different and common TSP problems that are trained on easier instances which are faster to train and are easier to obtain better solutions. We name this approach the non-Euclidean TSP network (NETSP-Net). The approach is evaluated on various TSP instances using the benchmark TSPLIB dataset and popular instance generator used in the literature. We performed extensive experiments that indicate our approach generalises across many types of instances and scales to instances that are larger than what was used during training.
△ Less
Submitted 3 November, 2020; v1 submitted 23 October, 2020;
originally announced October 2020.
-
Entropy stable discontinuous Galerkin methods for nonlinear conservation laws on networks and multi-dimensional domains
Authors:
Xinhui Wu,
Jesse Chan
Abstract:
We present a high-order entropy stable discontinuous Galerkin (ESDG) method for nonlinear conservation laws on both multi-dimensional domains and on networks constructed from one-dimensional domains. These methods utilize treatments of multi-dimensional interfaces and network junctions which retain entropy stability when coupling together entropy stable discretizations. Numerical experiments verif…
▽ More
We present a high-order entropy stable discontinuous Galerkin (ESDG) method for nonlinear conservation laws on both multi-dimensional domains and on networks constructed from one-dimensional domains. These methods utilize treatments of multi-dimensional interfaces and network junctions which retain entropy stability when coupling together entropy stable discretizations. Numerical experiments verify the stability of the proposed schemes, and comparisons with fully 2D implementations demonstrate the accuracy of each type of junction treatment.
△ Less
Submitted 21 July, 2021; v1 submitted 19 October, 2020;
originally announced October 2020.
-
High order weight-adjusted discontinuous Galerkin methods for wave propagation on moving curved meshes
Authors:
Kaihang Guo,
Jesse Chan
Abstract:
This paper presents high order accurate discontinuous Galerkin (DG) methods for wave problems on moving curved meshes with general choices of basis and quadrature. The proposed method adopts an arbitrary Lagrangian-Eulerian (ALE) formulation to map the acoustic wave equation from the time-dependent moving physical domain onto a fixed reference domain. For moving curved meshes, weighted mass matric…
▽ More
This paper presents high order accurate discontinuous Galerkin (DG) methods for wave problems on moving curved meshes with general choices of basis and quadrature. The proposed method adopts an arbitrary Lagrangian-Eulerian (ALE) formulation to map the acoustic wave equation from the time-dependent moving physical domain onto a fixed reference domain. For moving curved meshes, weighted mass matrices must be assembled and inverted at each time step when using explicit time step** methods. We avoid this step by utilizing an easily invertible weight-adjusted approximation. The resulting semi-discrete weight-adjusted DG scheme is provably energy stable up to a term which converges to zero with the same rate as the optimal $L^2$ error estimate. Numerical experiments using both polynomial and B-spline bases verify the high order accuracy and energy stability of proposed methods.
△ Less
Submitted 5 November, 2020; v1 submitted 27 September, 2020;
originally announced September 2020.
-
Efficient computation of Jacobian matrices for entropy stable summation-by-parts schemes
Authors:
Jesse Chan,
Christina G. Taylor
Abstract:
Entropy stable schemes replicate an entropy inequality at the semi-discrete level. These schemes rely on an algebraic summation-by-parts (SBP) structure and a technique referred to as flux differencing. We provide simple and efficient formulas for Jacobian matrices for the semi-discrete systems of ODEs produced by entropy stable discretizations. These formulas are derived based on the structure of…
▽ More
Entropy stable schemes replicate an entropy inequality at the semi-discrete level. These schemes rely on an algebraic summation-by-parts (SBP) structure and a technique referred to as flux differencing. We provide simple and efficient formulas for Jacobian matrices for the semi-discrete systems of ODEs produced by entropy stable discretizations. These formulas are derived based on the structure of flux differencing and derivatives of flux functions, which can be computed using automatic differentiation (AD). Numerical results demonstrate the efficiency and utility of these Jacobian formulas, which are then used in the context of two-derivative explicit time-step** schemes and implicit time-step**.
△ Less
Submitted 31 December, 2020; v1 submitted 12 June, 2020;
originally announced June 2020.
-
Mortar-based entropy-stable discontinuous Galerkin methods on non-conforming quadrilateral and hexahedral meshes
Authors:
Jesse Chan,
Mario J. Bencomo,
David C. Del Rey Fernández
Abstract:
High-order entropy-stable discontinuous Galerkin (DG) methods for nonlinear conservation laws reproduce a discrete entropy inequality by combining entropy conservative finite volume fluxes with summation-by-parts (SBP) discretization matrices. In the DG context, on tensor product (quadrilateral and hexahedral) elements, SBP matrices are typically constructed by collocating at Lobatto quadrature po…
▽ More
High-order entropy-stable discontinuous Galerkin (DG) methods for nonlinear conservation laws reproduce a discrete entropy inequality by combining entropy conservative finite volume fluxes with summation-by-parts (SBP) discretization matrices. In the DG context, on tensor product (quadrilateral and hexahedral) elements, SBP matrices are typically constructed by collocating at Lobatto quadrature points. Recent work has extended the construction of entropy-stable DG schemes to collocation at more accurate Gauss quadrature points.
In this work, we extend entropy-stable Gauss collocation schemes to non-conforming meshes. Entropy-stable DG schemes require computing entropy conservative numerical fluxes between volume and surface quadrature nodes. On conforming tensor product meshes where volume and surface nodes are aligned, flux evaluations are required only between "lines" of nodes. However, on non-conforming meshes, volume and surface nodes are no longer aligned, resulting in a larger number of flux evaluations. We reduce this expense by introducing an entropy-stable mortar-based treatment of non-conforming interfaces via a face-local correction term, and provide necessary conditions for high-order accuracy. Numerical experiments in both two and three dimensions confirm the stability and accuracy of this approach.
△ Less
Submitted 10 August, 2020; v1 submitted 6 May, 2020;
originally announced May 2020.
-
High-order entropy stable discontinuous Galerkin methods for the shallow water equations: curved triangular meshes and GPU acceleration
Authors:
Xinhui Wu,
Jesse Chan,
Ethan Kubatko
Abstract:
We present a high-order entropy stable discontinuous Galerkin (ESDG) method for the two dimensional shallow water equations (SWE) on curved triangular meshes. The presented scheme preserves a semi-discrete entropy inequality and remains well-balanced for continuous bathymetry profiles. We provide numerical experiments which confirm the high-order accuracy and theoretical properties of the scheme,…
▽ More
We present a high-order entropy stable discontinuous Galerkin (ESDG) method for the two dimensional shallow water equations (SWE) on curved triangular meshes. The presented scheme preserves a semi-discrete entropy inequality and remains well-balanced for continuous bathymetry profiles. We provide numerical experiments which confirm the high-order accuracy and theoretical properties of the scheme, and compare the presented scheme to an entropy stable scheme based on simplicial summation-by-parts (SBP) finite difference operators. Finally, we report the computational performance of an implementation on Graphics Processing Units (GPUs) and provide comparisons to existing GPU-accelerated implementations of high-order DG methods on quadrilateral meshes.
△ Less
Submitted 14 October, 2020; v1 submitted 5 May, 2020;
originally announced May 2020.
-
Changes to the extreme and erratic behaviour of cryptocurrencies during COVID-19
Authors:
Nick James,
Max Menzies,
Jennifer Chan
Abstract:
This paper introduces new methods for analysing the extreme and erratic behaviour of time series to evaluate the impact of COVID-19 on cryptocurrency market dynamics. Across 51 cryptocurrencies, we examine extreme behaviour through a study of distribution extremities, and erratic behaviour through structural breaks. First, we analyse the structure of the market as a whole and observe a reduction i…
▽ More
This paper introduces new methods for analysing the extreme and erratic behaviour of time series to evaluate the impact of COVID-19 on cryptocurrency market dynamics. Across 51 cryptocurrencies, we examine extreme behaviour through a study of distribution extremities, and erratic behaviour through structural breaks. First, we analyse the structure of the market as a whole and observe a reduction in self-similarity as a result of COVID-19, particularly with respect to structural breaks in variance. Second, we compare and contrast these two behaviours, and identify individual anomalous cryptocurrencies. Tether (USDT) and TrueUSD (TUSD) are consistent outliers with respect to their returns, while Holo (HOT), NEXO (NEXO), Maker (MKR) and NEM (XEM) are frequently observed as anomalous with respect to both behaviours and time. Even among a market known as consistently volatile, this identifies individual cryptocurrencies that behave most irregularly in their extreme and erratic behaviour and shows these were more affected during the COVID-19 market crisis.
△ Less
Submitted 29 November, 2020; v1 submitted 12 December, 2019;
originally announced December 2019.
-
Novel semi-metrics for multivariate change point analysis and anomaly detection
Authors:
Nick James,
Max Menzies,
Lamiae Azizi,
Jennifer Chan
Abstract:
This paper proposes a new method for determining similarity and anomalies between time series, most practically effective in large collections of (likely related) time series, by measuring distances between structural breaks within such a collection. We introduce a class of \emph{semi-metric} distance measures, which we term \emph{MJ distances}. These semi-metrics provide an advantage over existin…
▽ More
This paper proposes a new method for determining similarity and anomalies between time series, most practically effective in large collections of (likely related) time series, by measuring distances between structural breaks within such a collection. We introduce a class of \emph{semi-metric} distance measures, which we term \emph{MJ distances}. These semi-metrics provide an advantage over existing options such as the Hausdorff and Wasserstein metrics. We prove they have desirable properties, including better sensitivity to outliers, while experiments on simulated data demonstrate that they uncover similarity within collections of time series more effectively. Semi-metrics carry a potential disadvantage: without the triangle inequality, they may not satisfy a "transitivity property of closeness." We analyse this failure with proof and introduce an computational method to investigate, in which we demonstrate that our semi-metrics violate transitivity infrequently and mildly. Finally, we apply our methods to cryptocurrency and measles data, introducing a judicious application of eigenvalue analysis.
△ Less
Submitted 3 July, 2020; v1 submitted 3 November, 2019;
originally announced November 2019.
-
Entropy stable reduced order modeling of nonlinear conservation laws
Authors:
Jesse Chan
Abstract:
Reduced order models of nonlinear conservation laws in fluid dynamics do not typically inherit stability properties of the full order model. We introduce projection-based hyper-reduced models of nonlinear conservation laws which are globally conservative and inherit a semi-discrete entropy inequality independently of the choice of basis and choice of parameters.
Reduced order models of nonlinear conservation laws in fluid dynamics do not typically inherit stability properties of the full order model. We introduce projection-based hyper-reduced models of nonlinear conservation laws which are globally conservative and inherit a semi-discrete entropy inequality independently of the choice of basis and choice of parameters.
△ Less
Submitted 15 August, 2020; v1 submitted 19 September, 2019;
originally announced September 2019.
-
A weight-adjusted discontinuous Galerkin method for wave propagation in coupled elastic-acoustic media
Authors:
Kaihang Guo,
Sebastian Acosta,
Jesse Chan
Abstract:
This paper presents a high-order discontinuous Galerkin (DG) scheme for the simulation of wave propagation through coupled elastic-acoustic media. We use a first-order stress-velocity formulation, and derive a simple upwind-like numerical flux which weakly imposes continuity of the normal velocity and traction at elastic-acoustic interfaces. When combined with easily invertible weight-adjusted mas…
▽ More
This paper presents a high-order discontinuous Galerkin (DG) scheme for the simulation of wave propagation through coupled elastic-acoustic media. We use a first-order stress-velocity formulation, and derive a simple upwind-like numerical flux which weakly imposes continuity of the normal velocity and traction at elastic-acoustic interfaces. When combined with easily invertible weight-adjusted mass matrices, the resulting method is efficient, consistent, and energy stable on curvilinear meshes and for arbitrary heterogeneous media, including anisotropy and sub-cell (micro) heterogeneities. We numerically verify the high order accuracy and stability of the proposed method, and investigate its performance for applications in photoacoustic tomography.
△ Less
Submitted 23 April, 2020; v1 submitted 22 May, 2019;
originally announced May 2019.
-
A weight-adjusted discontinuous Galerkin method for the poroelastic wave equation: penalty fluxes and micro-heterogeneities
Authors:
Khemraj Shukla,
Jesse Chan,
Maarten V. de Hoop,
Priyank Jaiswal
Abstract:
We introduce a high-order weight-adjusted discontinuous Galerkin (WADG) scheme for the numerical solution of three-dimensional (3D) wave propagation problems in anisotropic porous media. We use a coupled first-order symmetric stress-velocity formulation. Careful attention is directed at (a) the derivation of an energy-stable penalty-based numerical flux, which offers high-order accuracy in presenc…
▽ More
We introduce a high-order weight-adjusted discontinuous Galerkin (WADG) scheme for the numerical solution of three-dimensional (3D) wave propagation problems in anisotropic porous media. We use a coupled first-order symmetric stress-velocity formulation. Careful attention is directed at (a) the derivation of an energy-stable penalty-based numerical flux, which offers high-order accuracy in presence of material discontinuities, and (b) proper treatment of micro-heterogeneities (sub-element variations) in the numerical scheme. The use of a penalty-based numerical flux avoids the diagonalization of Jacobian matrices into polarized wave constituents necessary when solving element-wise Riemann problems. Micro-heterogeneities are accurately and stably incorporated in the numerical scheme using easily-invertible weight-adjusted mass matrices. The convergence of the proposed numerical scheme is proven and verified by using convergence studies against analytical plane wave solutions. The proposed method is also compared against an existing implementation using the spectral element method to solve the poroelastic wave equation.
△ Less
Submitted 23 May, 2019; v1 submitted 4 April, 2019;
originally announced April 2019.
-
Skew-symmetric entropy stable modal discontinuous Galerkin formulations
Authors:
Jesse Chan
Abstract:
High order entropy stable discontinuous Galerkin (DG) methods for nonlinear conservation laws satisfy an inherent discrete entropy inequality. The construction of such schemes has relied on the use of carefully chosen nodal points or volume and surface quadrature rules to produce operators which satisfy a summation-by-parts (SBP) property. In this work, we show how to construct "modal" skew-symmet…
▽ More
High order entropy stable discontinuous Galerkin (DG) methods for nonlinear conservation laws satisfy an inherent discrete entropy inequality. The construction of such schemes has relied on the use of carefully chosen nodal points or volume and surface quadrature rules to produce operators which satisfy a summation-by-parts (SBP) property. In this work, we show how to construct "modal" skew-symmetric DG formulations which are entropy stable for volume and surface quadratures under which a traditional SBP property does not hold. These skew-symmetric formulations avoid the use of a "strong" matrix-based SBP property, and instead rely on the assumption that discrete operators exactly differentiate constants and satisfy a discrete form of the fundamental theorem of calculus. We conclude with numerical experiments verifying the accuracy and stability of the proposed formulations, and discuss an application of skew-symmetric formulations for entropy stable DG schemes on mixed quadrilateral-triangle meshes.
△ Less
Submitted 3 August, 2019; v1 submitted 5 February, 2019;
originally announced February 2019.
-
On the Distribution of Discriminants over a Finite Field
Authors:
Jonathan Chan,
Soonho Kwon,
Michael Seaman
Abstract:
For a prime power $q$, we show that the discriminants of monic polynomials in $\mathbb{F}_q[x]$ of a fixed degree $m$ are equally distributed if $\gcd(q-1,m(m-1))=2$ when $q$ is odd and $\gcd(q-1,m(m-1))=1$ if $q$ is even. A theorem in the converse direction is proved when $q-1$ is squarefree.
For a prime power $q$, we show that the discriminants of monic polynomials in $\mathbb{F}_q[x]$ of a fixed degree $m$ are equally distributed if $\gcd(q-1,m(m-1))=2$ when $q$ is odd and $\gcd(q-1,m(m-1))=1$ if $q$ is even. A theorem in the converse direction is proved when $q-1$ is squarefree.
△ Less
Submitted 14 December, 2018;
originally announced December 2018.
-
Efficient entropy stable Gauss collocation methods
Authors:
Jesse Chan,
David C. Del Rey Fernandez,
Mark H. Carpenter
Abstract:
The construction of high order entropy stable collocation schemes on quadrilateral and hexahedral elements has relied on the use of Gauss-Legendre-Lobatto collocation points and their equivalence with summation-by-parts (SBP) finite difference operators. In this work, we show how to efficiently generalize the construction of semi-discretely entropy stable schemes on tensor product elements to Gaus…
▽ More
The construction of high order entropy stable collocation schemes on quadrilateral and hexahedral elements has relied on the use of Gauss-Legendre-Lobatto collocation points and their equivalence with summation-by-parts (SBP) finite difference operators. In this work, we show how to efficiently generalize the construction of semi-discretely entropy stable schemes on tensor product elements to Gauss points and generalized SBP operators. Numerical experiments suggest that the use of Gauss points significantly improves accuracy on curved meshes.
△ Less
Submitted 3 August, 2019; v1 submitted 4 September, 2018;
originally announced September 2018.
-
Leapfrog time-step** for Hermite methods
Authors:
Arturo Vargas,
Thomas Hagstrom,
Jesse Chan,
Tim Warburton
Abstract:
We introduce Hermite-leapfrog methods for first order wave systems. The new Hermite-leapfrog methods pair leapfrog time-step** with the Hermite methods of Goodrich and co-authors. The new schemes stagger field variables in both time and space and are high-order accurate. We provide a detailed description of the method and demonstrate that the method conserves variable quantities in one-space dim…
▽ More
We introduce Hermite-leapfrog methods for first order wave systems. The new Hermite-leapfrog methods pair leapfrog time-step** with the Hermite methods of Goodrich and co-authors. The new schemes stagger field variables in both time and space and are high-order accurate. We provide a detailed description of the method and demonstrate that the method conserves variable quantities in one-space dimension. Higher dimensional versions of the method are constructed via a tensor product construction. Numerical evidence and rigorous analysis in one space dimension establish stability and high-order convergence. Experiments demonstrating efficient implementations on a graphics processing unit are also presented.
△ Less
Submitted 30 August, 2018;
originally announced August 2018.
-
Bernstein-Bezier weight-adjusted discontinuous Galerkin methods for wave propagation in heterogeneous media
Authors:
Kaihang Guo,
Jesse Chan
Abstract:
This paper presents an efficient discontinuous Galerkin method to simulate wave propagation in heterogeneous media with sub-cell variations. This method is based on a weight-adjusted discontinuous Galerkin method (WADG), which achieves high order accuracy for arbitrary heterogeneous media. However, the computational cost of WADG grows rapidly with the order of approximation. In this work, we propo…
▽ More
This paper presents an efficient discontinuous Galerkin method to simulate wave propagation in heterogeneous media with sub-cell variations. This method is based on a weight-adjusted discontinuous Galerkin method (WADG), which achieves high order accuracy for arbitrary heterogeneous media. However, the computational cost of WADG grows rapidly with the order of approximation. In this work, we propose a Bernstein-Bézier weight-adjusted discontinuous Galerkin method (BBWADG) to address this cost. By approximating sub-cell heterogeneities by a fixed degree polynomial, the main steps of WADG can be expressed as polynomial multiplication and $L^2$ projection, which we carry out using fast Bernstein algorithms. The proposed approach reduces the overall computational complexity from $O(N^{2d})$ to $O(N^{d+1})$ in $d$ dimensions. Numerical experiments illustrate the accuracy of the proposed approach, and computational experiments for a GPU implementation of BBWADG verify that this theoretical complexity is achieved in practice.
△ Less
Submitted 11 March, 2019; v1 submitted 26 August, 2018;
originally announced August 2018.
-
Discretely entropy stable weight-adjusted discontinuous Galerkin methods on curvilinear meshes
Authors:
Jesse Chan,
Lucas C. Wilcox
Abstract:
We construct entropy conservative and entropy stable high order accurate discontinuous Galerkin (DG) discretizations for time-dependent nonlinear hyperbolic conservation laws on curvilinear meshes. The resulting schemes preserve a semi-discrete quadrature approximation of a continuous global entropy inequality. The proof requires the satisfaction of a discrete geometric conservation law, which we…
▽ More
We construct entropy conservative and entropy stable high order accurate discontinuous Galerkin (DG) discretizations for time-dependent nonlinear hyperbolic conservation laws on curvilinear meshes. The resulting schemes preserve a semi-discrete quadrature approximation of a continuous global entropy inequality. The proof requires the satisfaction of a discrete geometric conservation law, which we enforce through an appropriate polynomial approximation. We extend the construction of entropy conservative and entropy stable DG schemes to the case when high order accurate curvilinear mass matrices are approximated using low-storage weight-adjusted approximations, and describe how to retain global conservation properties under such an approximation. The theoretical results are verified through numerical experiments for the compressible Euler equations on triangular and tetrahedral meshes.
△ Less
Submitted 12 June, 2018; v1 submitted 28 May, 2018;
originally announced May 2018.
-
Multi-patch discontinuous Galerkin isogeometric analysis for wave propagation: explicit time-step** and efficient mass matrix inversion
Authors:
Jesse Chan,
John A Evans
Abstract:
We present a class of spline finite element methods for time-domain wave propagation which are particularly amenable to explicit time-step**. The proposed methods utilize a discontinuous Galerkin discretization to enforce continuity of the solution field across geometric patches in a multi-patch setting, which yields a mass matrix with convenient block diagonal structure. Over each patch, we sho…
▽ More
We present a class of spline finite element methods for time-domain wave propagation which are particularly amenable to explicit time-step**. The proposed methods utilize a discontinuous Galerkin discretization to enforce continuity of the solution field across geometric patches in a multi-patch setting, which yields a mass matrix with convenient block diagonal structure. Over each patch, we show how to accurately and efficiently invert mass matrices in the presence of curved geometries by using a weight-adjusted approximation of the mass matrix inverse. This approximation restores a tensor product structure while retaining provable high order accuracy and semi-discrete energy stability. We also estimate the maximum stable timestep for spline-based finite elements and show that the use of spline spaces result in less stringent CFL restrictions than equivalent piecewise continuous or discontinuous finite element spaces. Finally, we explore the use of optimal knot vectors based on L2 n-widths. We show how the use of optimal knot vectors can improve both approximation properties and the maximum stable timestep, and present a simple heuristic method for approximating optimal knot positions. Numerical experiments confirm the accuracy and stability of the proposed methods.
△ Less
Submitted 14 January, 2018; v1 submitted 9 August, 2017;
originally announced August 2017.
-
On discretely entropy conservative and entropy stable discontinuous Galerkin methods
Authors:
Jesse Chan
Abstract:
High order methods based on diagonal-norm summation by parts operators can be shown to satisfy a discrete conservation or dissipation of entropy for nonlinear systems of hyperbolic PDEs. These methods can also be interpreted as nodal discontinuous Galerkin methods with diagonal mass matrices. In this work, we describe how use flux differencing, quadrature-based projections, and SBP-like operators…
▽ More
High order methods based on diagonal-norm summation by parts operators can be shown to satisfy a discrete conservation or dissipation of entropy for nonlinear systems of hyperbolic PDEs. These methods can also be interpreted as nodal discontinuous Galerkin methods with diagonal mass matrices. In this work, we describe how use flux differencing, quadrature-based projections, and SBP-like operators to construct discretely entropy conservative schemes for DG methods under more arbitrary choices of volume and surface quadrature rules. The resulting methods are semi-discretely entropy conservative or entropy stable with respect to the volume quadrature rule used. Numerical experiments confirm the stability and high order accuracy of the proposed methods for the compressible Euler equations in one and two dimensions.
△ Less
Submitted 13 February, 2018; v1 submitted 3 August, 2017;
originally announced August 2017.
-
Generalized coinvariant algebras for wreath products
Authors:
Kin Tung Jonathan Chan,
Brendon Rhoades
Abstract:
Let $r$ be a positive integer and let $G_n$ be the reflection group of $n \times n$ monomial matrices whose entries are $r^{th}$ complex roots of unity and let $k \leq n$. We define and study two new graded quotients $R_{n,k}$ and $S_{n,k}$ of the polynomial ring $\mathbb{C}[x_1, \dots, x_n]$ in $n$ variables. When $k = n$, both of these quotients coincide with the classical coinvariant algebra at…
▽ More
Let $r$ be a positive integer and let $G_n$ be the reflection group of $n \times n$ monomial matrices whose entries are $r^{th}$ complex roots of unity and let $k \leq n$. We define and study two new graded quotients $R_{n,k}$ and $S_{n,k}$ of the polynomial ring $\mathbb{C}[x_1, \dots, x_n]$ in $n$ variables. When $k = n$, both of these quotients coincide with the classical coinvariant algebra attached to $G_n$. The algebraic properties of our quotients are governed by the combinatorial properties of $k$-dimensional faces in the Coxeter complex attached to $G_n$ (in the case of $R_{n,k}$) and $r$-colored ordered set partitions of $\{1, 2, \dots, n\}$ with $k$ blocks (in the case of $S_{n,k}$). Our work generalizes a construction of Haglund, Rhoades, and Shimozono from the symmetric group $\mathfrak{S}_n$ to the more general wreath products $G_n$.
△ Less
Submitted 23 October, 2017; v1 submitted 22 January, 2017;
originally announced January 2017.
-
Weight-adjusted discontinuous Galerkin methods: matrix-valued weights and elastic wave propagation in heterogeneous media
Authors:
Jesse Chan
Abstract:
Weight-adjusted inner products are easily invertible approximations to weighted $L^2$ inner products. These approximations can be paired with a discontinuous Galerkin (DG) discretization to produce a time-domain method for wave propagation which is low storage, energy stable, and high order accurate for arbitrary heterogeneous media and curvilinear meshes. In this work, we extend weight-adjusted D…
▽ More
Weight-adjusted inner products are easily invertible approximations to weighted $L^2$ inner products. These approximations can be paired with a discontinuous Galerkin (DG) discretization to produce a time-domain method for wave propagation which is low storage, energy stable, and high order accurate for arbitrary heterogeneous media and curvilinear meshes. In this work, we extend weight-adjusted DG (WADG) methods to the case of matrix-valued weights, with the linear elastic wave equation as an application. We present a DG formulation of the symmetric form of the linear elastic wave equation, with upwind-like dissipation incorporated through simple penalty fluxes. A semi-discrete convergence analysis is given, and numerical results confirm the stability and high order accuracy of WADG for several problems in elastic wave propagation.
△ Less
Submitted 7 December, 2017; v1 submitted 1 January, 2017;
originally announced January 2017.
-
On the penalty stabilization mechanism for upwind discontinuous Galerkin formulations of first order hyperbolic systems
Authors:
Jesse Chan,
T. Warburton
Abstract:
Penalty fluxes are dissipative numerical fluxes for high order discontinuous Galerkin (DG) methods which depend on a penalization parameter. We investigate the dependence of the spectra of high order DG discretizations on this parameter, and show that as its value increases, the spectra of the DG discretization splits into two disjoint sets of eigenvalues. One set converges to the eigenvalues of a…
▽ More
Penalty fluxes are dissipative numerical fluxes for high order discontinuous Galerkin (DG) methods which depend on a penalization parameter. We investigate the dependence of the spectra of high order DG discretizations on this parameter, and show that as its value increases, the spectra of the DG discretization splits into two disjoint sets of eigenvalues. One set converges to the eigenvalues of a conforming discretization, while the other set corresponds to spurious eigenvalues which are damped proportionally to the parameter. Numerical experiments also demonstrate that undamped spurious modes present in both in the limit of zero and large penalization parameters are damped for moderate values of the upwind parameter.
△ Less
Submitted 20 October, 2017; v1 submitted 31 October, 2016;
originally announced November 2016.
-
GPU Acceleration of Hermite Methods for the Simulation of Wave Propagation
Authors:
Arturo Vargas,
Jesse Chan,
Thomas Hagstrom,
Timothy Warburton
Abstract:
The Hermite methods of Goodrich, Hagstrom, and Lorenz (2006) use Hermite interpolation to construct high order numerical methods for hyperbolic initial value problems. The structure of the method has several favorable features for parallel computing. In this work, we propose algorithms that take advantage of the many-core architecture of Graphics Processing Units. The algorithm exploits the compac…
▽ More
The Hermite methods of Goodrich, Hagstrom, and Lorenz (2006) use Hermite interpolation to construct high order numerical methods for hyperbolic initial value problems. The structure of the method has several favorable features for parallel computing. In this work, we propose algorithms that take advantage of the many-core architecture of Graphics Processing Units. The algorithm exploits the compact stencil of Hermite methods and uses data structures that allow for efficient data load and stores. Additionally the highly localized evolution operator of Hermite methods allows us to combine multi-stage time-step** methods within the new algorithms incurring minimal accesses of global memory. Using a scalar linear wave equation, we study the algorithm by considering Hermite interpolation and evolution as individual kernels and alternatively combined them into a monolithic kernel. For both approaches we demonstrate strategies to increase performance. Our numerical experiments show that although a two kernel approach allows for better performance on the hardware, a monolithic kernel can offer a comparable time to solution with less global memory usage.
△ Less
Submitted 30 September, 2016;
originally announced September 2016.
-
Weight-adjusted discontinuous Galerkin methods: curvilinear meshes
Authors:
Jesse Chan,
Russell J. Hewett,
T. Warburton
Abstract:
Traditional time-domain discontinuous Galerkin (DG) methods result in large storage costs at high orders of approximation due to the storage of dense elemental matrices. In this work, we propose a weight-adjusted DG (WADG) methods for curvilinear meshes which reduce storage costs while retaining energy stability. A priori error estimates show that high order accuracy is preserved under sufficient…
▽ More
Traditional time-domain discontinuous Galerkin (DG) methods result in large storage costs at high orders of approximation due to the storage of dense elemental matrices. In this work, we propose a weight-adjusted DG (WADG) methods for curvilinear meshes which reduce storage costs while retaining energy stability. A priori error estimates show that high order accuracy is preserved under sufficient conditions on the mesh, which are illustrated through convergence tests with different sequences of meshes. Numerical and computational experiments verify the accuracy and performance of WADG for a model problem on curved domains.
△ Less
Submitted 12 August, 2016;
originally announced August 2016.
-
A Geometric Multigrid Preconditioning Strategy for DPG System Matrices
Authors:
Nathan V. Roberts,
Jesse Chan
Abstract:
The discontinuous Petrov-Galerkin (DPG) methodology of Demkowicz and Gopalakrishnan [15,17] guarantees the optimality of the solution in an energy norm, and provides several features facilitating adaptive schemes. A key question that has not yet been answered in general - though there are some results for Poisson, e.g. - is how best to precondition the DPG system matrix, so that iterative solvers…
▽ More
The discontinuous Petrov-Galerkin (DPG) methodology of Demkowicz and Gopalakrishnan [15,17] guarantees the optimality of the solution in an energy norm, and provides several features facilitating adaptive schemes. A key question that has not yet been answered in general - though there are some results for Poisson, e.g. - is how best to precondition the DPG system matrix, so that iterative solvers may be used to allow solution of large-scale problems.
In this paper, we detail a strategy for preconditioning the DPG system matrix using geometric multigrid which we have implemented as part of Camellia [26], and demonstrate through numerical experiments its effectiveness in the context of several variational formulations. We observe that in some of our experiments, the behavior of the preconditioner is closely tied to the discrete test space enrichment.
We include experiments involving adaptive meshes with hanging nodes for lid-driven cavity flow, demonstrating that the preconditioners can be applied in the context of challenging problems. We also include a scalability study demonstrating that the approach - and our implementation - scales well to many MPI ranks.
△ Less
Submitted 8 August, 2016;
originally announced August 2016.