-
Scalable adaptive PDE solvers in arbitrary domains
Authors:
Kumar Saurabh,
Masado Ishii,
Milinda Fernando,
Boshun Gao,
Kendrick Tan,
Ming-Chen Hsu,
Adarsh Krishnamurthy,
Hari Sundar,
Baskar Ganapathysubramanian
Abstract:
Efficiently and accurately simulating partial differential equations (PDEs) in and around arbitrarily defined geometries, especially with high levels of adaptivity, has significant implications for different application domains. A key bottleneck in the above process is the fast construction of a `good' adaptively-refined mesh. In this work, we present an efficient novel octree-based adaptive discr…
▽ More
Efficiently and accurately simulating partial differential equations (PDEs) in and around arbitrarily defined geometries, especially with high levels of adaptivity, has significant implications for different application domains. A key bottleneck in the above process is the fast construction of a `good' adaptively-refined mesh. In this work, we present an efficient novel octree-based adaptive discretization approach capable of carving out arbitrarily shaped void regions from the parent domain: an essential requirement for fluid simulations around complex objects. Carving out objects produces an $\textit{incomplete}$ octree. We develop efficient top-down and bottom-up traversal methods to perform finite element computations on $\textit{incomplete}$ octrees. We validate the framework by (a) showing appropriate convergence analysis and (b) computing the drag coefficient for flow past a sphere for a wide range of Reynolds numbers ($\mathcal{O}(1-10^6)$) encompassing the drag crisis regime. Finally, we deploy the framework on a realistic geometry on a current project to evaluate COVID-19 transmission risk in classrooms.
△ Less
Submitted 8 August, 2021;
originally announced August 2021.
-
A projection-based, semi-implicit time-stepping approach for the Cahn-Hilliard Navier-Stokes equations on adaptive octree meshes
Authors:
Makrand A. Khanwale,
Kumar Saurabh,
Masado Ishii,
Hari Sundar,
James A. Rossmanith,
Baskar Ganapathysubramanian
Abstract:
The Cahn-Hilliard Navier-Stokes (CHNS) system provides a computationally tractable model that can be used to effectively capture interfacial dynamics in two-phase fluid flows. In this work, we present a semi-implicit, projection-based finite element framework for solving the CHNS system. We use a projection-based semi-implicit time discretization for the Navier-Stokes equation and a fully-implicit…
▽ More
The Cahn-Hilliard Navier-Stokes (CHNS) system provides a computationally tractable model that can be used to effectively capture interfacial dynamics in two-phase fluid flows. In this work, we present a semi-implicit, projection-based finite element framework for solving the CHNS system. We use a projection-based semi-implicit time discretization for the Navier-Stokes equation and a fully-implicit time discretization for the Cahn-Hilliard equation. We use a conforming continuous Galerkin (cG) finite element method in space equipped with a residual-based variational multiscale (RBVMS) formulation. Pressure is decoupled using a projection step, which results in two linear positive semi-definite systems for velocity and pressure, instead of the saddle point system of a pressure-stabilized method. All the linear systems are solved using an efficient and scalable algebraic multigrid (AMG) method. We deploy this approach on a massively parallel numerical implementation using parallel octree-based adaptive meshes. The overall approach allows the use of relatively large time steps with much faster time-to-solve than similar fully-implicit methods. We present comprehensive numerical experiments showing detailed comparisons with results from the literature for canonical cases, including the single bubble rise and Rayleigh-Taylor instability.
△ Less
Submitted 23 December, 2022; v1 submitted 11 July, 2021;
originally announced July 2021.
-
Tableau models for semi-infinite Bruhat order and level-zero representations of quantum affine algebras
Authors:
Motohiro Ishii
Abstract:
We prove that semi-infinite Bruhat order on an affine Weyl group is completely determined from those on the quotients by affine Weyl subgroups associated with various maximal (standard) parabolic subgroups of finite type. Furthermore, for an affine Weyl group of classical type, we give a complete classification of all cover relations of semi-infinite Bruhat order (or equivalently, all edges of the…
▽ More
We prove that semi-infinite Bruhat order on an affine Weyl group is completely determined from those on the quotients by affine Weyl subgroups associated with various maximal (standard) parabolic subgroups of finite type. Furthermore, for an affine Weyl group of classical type, we give a complete classification of all cover relations of semi-infinite Bruhat order (or equivalently, all edges of the quantum Bruhat graphs) on the quotients in terms of tableaux. Combining these we obtain a tableau criterion for semi-infinite Bruhat order on an affine Weyl group of classical type. As an application, we give new tableau models for the crystal bases of a level-zero fundamental representation and a level-zero extremal weight module over a quantum affine algebra of classical untwisted type, which we call quantum Kashiwara-Nakashima columns and semi-infinite Kashiwara-Nakashima tableaux. We give an explicit description of the crystal isomorphisms among three different realizations of the crystal basis of a level-zero fundamental representation by quantum Lakshmibai-Seshadri paths, quantum Kashiwara-Nakashima columns, and (ordinary) Kashiwara-Nakashima columns.
△ Less
Submitted 12 May, 2021; v1 submitted 4 May, 2021;
originally announced May 2021.
-
Semi-infinite Lakshmibai-Seshadri path model for level-zero extremal weight modules over quantum affine algebras
Authors:
Motohiro Ishii,
Satoshi Naito,
Daisuke Sagaki
Abstract:
We introduce semi-infinite Lakshmibai-Seshadri paths by using the semi-infinite Bruhat order (or equivalently, Lusztig's generic Bruhat order) on affine Weyl groups in place of the usual Bruhat order. These paths enable us to give an explicit realization of the crystal basis of an extremal weight module of an arbitrary level-zero dominant integral extremal weight over a quantum affine algebra. Thi…
▽ More
We introduce semi-infinite Lakshmibai-Seshadri paths by using the semi-infinite Bruhat order (or equivalently, Lusztig's generic Bruhat order) on affine Weyl groups in place of the usual Bruhat order. These paths enable us to give an explicit realization of the crystal basis of an extremal weight module of an arbitrary level-zero dominant integral extremal weight over a quantum affine algebra. This result can be thought of as a full generalization of our previous result (which uses Littelmann's Lakshmibai-Seshadri paths), in which the level-zero dominant integral weight is assumed to be a positive-integer multiple of a level-zero fundamental weight.
△ Less
Submitted 25 August, 2014; v1 submitted 16 February, 2014;
originally announced February 2014.
-
Automorphisms of Niemeier lattices for Miyamoto's $\mathbb{Z}_3$-orbifold construction
Authors:
Motohiro Ishii,
Daisuke Sagaki,
Hiroki Shimakura
Abstract:
We classify, up to conjugation, all automorphisms of Niemeier lattices to which we can apply Miyamoto's orbifold construction. Using this classification, we prove that the VOAs obtained in [M] and [SS] are all of holomorphic non-lattice VOAs which we can obtain by applying the $\mathbb{Z}_3$-orbifold construction to a Niemeier lattice and its automorphism.
We classify, up to conjugation, all automorphisms of Niemeier lattices to which we can apply Miyamoto's orbifold construction. Using this classification, we prove that the VOAs obtained in [M] and [SS] are all of holomorphic non-lattice VOAs which we can obtain by applying the $\mathbb{Z}_3$-orbifold construction to a Niemeier lattice and its automorphism.
△ Less
Submitted 4 November, 2014; v1 submitted 1 February, 2014;
originally announced February 2014.
-
Demazure Character Formulas for Generalized Kac--Moody Algebras
Authors:
Motohiro Ishii
Abstract:
For a dominant integral weight $lambda $, we introduce a family of $U_q ^+ (mathfrak{g})$-submodules $V_w (lambda)$ of the irreducible highest weight $U_q (mathfrak{g})$-module $V(lambda)$ of highest weight $lambda $ for a generalized Kac--Moody algebra $mathfrak{g}$. We prove that the module $V_w (lambda)$ is spanned by its global basis, and then give a character formula for $V_w (lambda)$, which…
▽ More
For a dominant integral weight $lambda $, we introduce a family of $U_q ^+ (mathfrak{g})$-submodules $V_w (lambda)$ of the irreducible highest weight $U_q (mathfrak{g})$-module $V(lambda)$ of highest weight $lambda $ for a generalized Kac--Moody algebra $mathfrak{g}$. We prove that the module $V_w (lambda)$ is spanned by its global basis, and then give a character formula for $V_w (lambda)$, which generalizes the Demazure character formula for ordinary Kac--Moody algebras.
△ Less
Submitted 13 April, 2013;
originally announced April 2013.
-
Path Model for Representations of Generalized Kac--Moody Algebras
Authors:
Motohiro Ishii
Abstract:
We show that Joseph-Lamprou's path model for representations of generalized Kac-Moody algebras can be embedded into Littelmann's path model for certain Kac-Moody algebras. Using this embedding, for Joseph-Lamprou's path crystals, we give a decomposition rule for tensor product and a branching rule for restriction to Levi subalgebras. Also, we obtain a characterization of standard paths in terms of…
▽ More
We show that Joseph-Lamprou's path model for representations of generalized Kac-Moody algebras can be embedded into Littelmann's path model for certain Kac-Moody algebras. Using this embedding, for Joseph-Lamprou's path crystals, we give a decomposition rule for tensor product and a branching rule for restriction to Levi subalgebras. Also, we obtain a characterization of standard paths in terms of a certain monoid, which can be thought of as a generalization of a Coxeter group.
△ Less
Submitted 13 April, 2013; v1 submitted 15 December, 2011;
originally announced December 2011.
