-
Analysis of a $\boldsymbol{P}_1\oplus \boldsymbol{RT}_0$ finite element method for linear elasticity with Dirichlet and mixed boundary conditions
Authors:
Hongpeng Li,
Xu Li,
Hongxing Rui
Abstract:
In this paper, we investigate a low-order robust numerical method for the linear elasticity problem. The method is based on a Bernardi--Raugel-like $\boldsymbol{H}(\mathrm{div})$-conforming method proposed first for the Stokes flows in [Li and Rui, IMA J. Numer. Anal. {42} (2022) 3711--3734].Therein the lowest-order $\boldsymbol{H}(\mathrm{div})$-conforming Raviart--Thomas space (…
▽ More
In this paper, we investigate a low-order robust numerical method for the linear elasticity problem. The method is based on a Bernardi--Raugel-like $\boldsymbol{H}(\mathrm{div})$-conforming method proposed first for the Stokes flows in [Li and Rui, IMA J. Numer. Anal. {42} (2022) 3711--3734].Therein the lowest-order $\boldsymbol{H}(\mathrm{div})$-conforming Raviart--Thomas space ($\boldsymbol{RT}_0$) was added to the classical conforming $\boldsymbol{P}_1\times P_0$ pair to meet the inf-sup condition, while preserving the divergence constraint and some important features of conforming methods. Due to the inf-sup stability of {the} $\boldsymbol{P}_1\oplus \boldsymbol{RT}_0\times P_0$ pair, a locking-free elasticity discretization {with respect to} {the Lamé constant $λ$} can be naturally obtained. Moreover, our scheme is gradient-robust for the pure and homogeneous displacement boundary problem, that is, the discrete $\boldsymbol{H}^1$-norm of the displacement is $\mathcal{O}(λ^{-1})$ when the external body force is a gradient field. We also consider the mixed displacement and stress boundary problem, whose $\boldsymbol{P}_1\oplus \boldsymbol{RT}_0$ discretization should be carefully designed due to a consistency error arising from the $\boldsymbol{RT}_0$ part. We propose both symmetric and nonsymmetric schemes to approximate the mixed boundary case. The optimal error estimates are derived for the energy norm and/or $\boldsymbol{L}^2$-norm. Numerical experiments demonstrate the accuracy and robustness of our schemes.
△ Less
Submitted 26 January, 2024;
originally announced January 2024.
-
AI and Jobs: Has the Inflection Point Arrived? Evidence from an Online Labor Platform
Authors:
Dandan Qiao,
Huaxia Rui,
Qian Xiong
Abstract:
Artificial intelligence (AI) refers to the ability of machines or software to mimic or even surpass human intelligence in a given cognitive task. While humans learn by both induction and deduction, the success of current AI is rooted in induction, relying on its ability to detect statistical regularities in task input -- an ability learnt from a vast amount of training data using enormous computat…
▽ More
Artificial intelligence (AI) refers to the ability of machines or software to mimic or even surpass human intelligence in a given cognitive task. While humans learn by both induction and deduction, the success of current AI is rooted in induction, relying on its ability to detect statistical regularities in task input -- an ability learnt from a vast amount of training data using enormous computation resources. We examine the performance of such a statistical AI in a human task through the lens of four factors, including task learnability, statistical resource, computation resource, and learning techniques, and then propose a three-phase visual framework to understand the evolving relation between AI and jobs. Based on this conceptual framework, we develop a simple economic model of competition to show the existence of an inflection point for each occupation. Before AI performance crosses the inflection point, human workers always benefit from an improvement in AI performance, but after the inflection point, human workers become worse off whenever such an improvement occurs. To offer empirical evidence, we first argue that AI performance has passed the inflection point for the occupation of translation but not for the occupation of web development. We then study how the launch of ChatGPT, which led to significant improvement of AI performance on many tasks, has affected workers in these two occupations on a large online labor platform. Consistent with the inflection point conjecture, we find that translators are negatively affected by the shock both in terms of the number of accepted jobs and the earnings from those jobs, while web developers are positively affected by the very same shock. Given the potentially large disruption of AI on employment, more studies on more occupations using data from different platforms are urgently needed.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
Berndt-Type Integrals of Order Three and Series Associated with Jacobi Elliptic Functions
Authors:
Hongyuan Rui,
Ce Xu,
Jianqiang Zhao
Abstract:
In this paper, we first establish explicit evaluations of six classes of hyperbolic sums by special values of the Gamma function by using the tools of the Fourier series expansions and the Maclaurin series expansions of a few Jacobi elliptic functions developed in our previous paper. Then, using the method of contour integrations involving hyperbolic and trigonometric functions, we establish expli…
▽ More
In this paper, we first establish explicit evaluations of six classes of hyperbolic sums by special values of the Gamma function by using the tools of the Fourier series expansions and the Maclaurin series expansions of a few Jacobi elliptic functions developed in our previous paper. Then, using the method of contour integrations involving hyperbolic and trigonometric functions, we establish explicit evaluations of two families of Berndt-type integrals of order three by special values of the Gamma function. Furthermore, we present some interesting consequences and illustrative examples.
△ Less
Submitted 28 November, 2023; v1 submitted 27 November, 2023;
originally announced November 2023.
-
Representations of Brauer category and categorification
Authors:
Hebing Rui,
Linliang Song
Abstract:
We study representations of the locally unital and locally finite dimensional algebra $B$ associated to the Brauer category $\mathcal B(δ_0)$ with defining parameter $δ_0$ over an algebraically closed field $K$ with characteristic $p\neq 2$. The Grothendieck group $K_0(B\text{-mod}^Δ)$ will be used to categorify the integrable highest weight $\mathfrak {sl}_{K}$-module…
▽ More
We study representations of the locally unital and locally finite dimensional algebra $B$ associated to the Brauer category $\mathcal B(δ_0)$ with defining parameter $δ_0$ over an algebraically closed field $K$ with characteristic $p\neq 2$. The Grothendieck group $K_0(B\text{-mod}^Δ)$ will be used to categorify the integrable highest weight $\mathfrak {sl}_{K}$-module $ V(\varpi_{\frac{δ_0-1}{2}})$ with the fundamental weight $\varpi_{\frac{δ_0-1}{2}}$ as its highest weight, where $B$-mod$^Δ$ is a subcategory of $B$-lfdmod in which each object has a finite $Δ$-flag, and $\mathfrak {sl}_{K}$ is either $\mathfrak{sl}_\infty$ or $\hat{\mathfrak{sl}}_p$ depending on whether $p=0$ or $2\nmid p$. As $\mathfrak g$-modules, $\mathbb C\otimes_{\mathbb Z} K_0(B\text{-mod}^Δ)$ is isomorphic to $ V(\varpi_{\frac{δ_0-1}{2}})$, where $\mathfrak g$ is a Lie subalgebra of $\mathfrak {sl}_{K}$ (see Definition~4.2). When $p=0$, standard $B$-modules and projective covers of simple $B$-modules correspond to monomial basis and so-called quasi-canonical basis of $V(\varpi_{\frac{δ_0-1}{2}}) $, respectively.
△ Less
Submitted 16 July, 2023;
originally announced July 2023.
-
Isomorphisms between simple modules of degenerate cyclotomic Hecke algebras
Authors:
Hebing Rui,
Linliang Song
Abstract:
We give explicit isomorphisms between simple modules of degenerate cyclotomic Hecke algebras defined via various cellular bases. A special case gives a generalized Mullineux involution in the degenerate case.
We give explicit isomorphisms between simple modules of degenerate cyclotomic Hecke algebras defined via various cellular bases. A special case gives a generalized Mullineux involution in the degenerate case.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Affine Brauer category and parabolic category $\mathcal O$ in types $B, C, D$
Authors:
Hebing Rui,
Linliang Song
Abstract:
A strict monoidal category referred to as affine Brauer category $\mathcal{AB}$ is introduced over a commutative ring $κ$ containing multiplicative identity $1$ and invertible element $2$. We prove that morphism spaces in $\mathcal{AB}$ are free over $κ$. The cyclotomic (or level $k$) Brauer category $\mathcal{CB}^f(ω)$ is a quotient category of $\mathcal{AB}$. We prove that any morphism space in…
▽ More
A strict monoidal category referred to as affine Brauer category $\mathcal{AB}$ is introduced over a commutative ring $κ$ containing multiplicative identity $1$ and invertible element $2$. We prove that morphism spaces in $\mathcal{AB}$ are free over $κ$. The cyclotomic (or level $k$) Brauer category $\mathcal{CB}^f(ω)$ is a quotient category of $\mathcal{AB}$. We prove that any morphism space in $\mathcal{CB}^f(ω)$ is free over $κ$ with maximal rank if and only if the $\mathbf u$-admissible condition holds in the sense of (1.30). Affine Nazarov-Wenzl algebras and cyclotomic Nazarov-Wenzl algebras will be realized as certain endomorphism algebras in $\mathcal{AB}$ and $\mathcal{CB}^f(ω)$, respectively. We will establish higher Schur-Weyl duality between cyclotomic Nazarov-Wenzl algebras and parabolic BGG categories $\mathcal O$ associated to symplectic and orthogonal Lie algebras over the complex field $\mathbb C$. This enables us to use standard arguments in [1,26,27] to compute decomposition matrices of cyclotomic Nazarov-Wenzl algebras. The level two case was considered by Ehrig and Stroppel in [14].
△ Less
Submitted 16 July, 2023;
originally announced July 2023.
-
Blocks of the Brauer category over the complex field
Authors:
Mengmeng Gao,
Hebing Rui,
Linliang Song
Abstract:
Let $\mathcal B(δ)$ be the Brauer category over the complex field $\mathbb C$ with the parameter $δ$. In non-semisimple case, $δ$ is an integer, and each weight space of $(\fracδ2-1)$th semi-infinite wedge space corresponds to either a single block or a union of two different blocks of $\mathcal B(δ)$-lfdmod, the category of the locally finite-dimensional representations of $\mathcal B(δ)$. Furthe…
▽ More
Let $\mathcal B(δ)$ be the Brauer category over the complex field $\mathbb C$ with the parameter $δ$. In non-semisimple case, $δ$ is an integer, and each weight space of $(\fracδ2-1)$th semi-infinite wedge space corresponds to either a single block or a union of two different blocks of $\mathcal B(δ)$-lfdmod, the category of the locally finite-dimensional representations of $\mathcal B(δ)$. Furthermore, each block contains an infinite number of irreducible representations of $\mathcal B(δ)$, and all blocks of $\mathcal B(δ)$-lfdmod can be obtained in this way
△ Less
Submitted 16 July, 2023;
originally announced July 2023.
-
On efficient linear and fully decoupled finite difference method for wormhole propagation with heat transmission process on staggered grids
Authors:
Xiaoli Li,
Ziyan Li,
Hongxing Rui
Abstract:
In this paper, we construct an efficient linear and fully decoupled finite difference scheme for wormhole propagation with heat transmission process on staggered grids, which only requires solving a sequence of linear elliptic equations at each time step. We first derive the positivity preserving properties for the discrete porosity and its difference quotient in time, and then obtain optimal erro…
▽ More
In this paper, we construct an efficient linear and fully decoupled finite difference scheme for wormhole propagation with heat transmission process on staggered grids, which only requires solving a sequence of linear elliptic equations at each time step. We first derive the positivity preserving properties for the discrete porosity and its difference quotient in time, and then obtain optimal error estimates for the velocity, pressure, concentration, porosity and temperature in different norms rigorously and carefully by establishing several auxiliary lemmas for the highly coupled nonlinear system. Numerical experiments in two- and three-dimensional cases are provided to verify our theoretical results and illustrate the capabilities of the constructed method.
△ Less
Submitted 5 July, 2023;
originally announced July 2023.
-
The Jucys-Murphy basis and semisimplicty criteria for the $q$-Brauer algebra
Authors:
Hebing Rui,
Mei Si,
Linliang Song
Abstract:
We construct the Jucys-Murphy elements and the Jucys-Murphy basis for the $q$-Brauer algebra in the sense of Mathas[11]. We also give a necessary and sufficient condition for the $q$-Brauer algebra being (split) semisimple over an arbitrary field.
We construct the Jucys-Murphy elements and the Jucys-Murphy basis for the $q$-Brauer algebra in the sense of Mathas[11]. We also give a necessary and sufficient condition for the $q$-Brauer algebra being (split) semisimple over an arbitrary field.
△ Less
Submitted 27 November, 2022;
originally announced November 2022.
-
The periplectic $q$-Brauer category
Authors:
Hebing Rui,
Linliang Song
Abstract:
We introduce the periplectic $q$-Brauer category over an integral domain of characteristic not $2$. This is a strict monoidal supercategory and can be considered as a $q$-analogue of the periplectic Brauer category. We prove that the periplectic $q$-Brauer category admits a split triangular decomposition in the sense of Brundan-Stroppel. When the ground ring is an algebraically closed field, the c…
▽ More
We introduce the periplectic $q$-Brauer category over an integral domain of characteristic not $2$. This is a strict monoidal supercategory and can be considered as a $q$-analogue of the periplectic Brauer category. We prove that the periplectic $q$-Brauer category admits a split triangular decomposition in the sense of Brundan-Stroppel. When the ground ring is an algebraically closed field, the category of locally finite dimensional right modules for the periplectic $q$-Brauer category is an upper finite fully stratified category in the sense of Brundan and Stroppel. We prove that periplectic $q$-Brauer algebras defined in [1] are isomorphic to endomorphism algebras in the periplectic $q$-Brauer category. Furthermore, a periplectic $q$-Brauer algebra is a standardly based algebra in the sense of Du and Rui. We construct Jucys-Murphy basis for any standard module of the periplectic $q$-Brauer algebra with respect to a family of commutative elements called Jucys-Murphy elements. Via them, we classify blocks for both periplectic $q$-Brauer category and periplectic $q$-Brauer algebras in generic case. Our result shows that both periplectic $q$-Brauer category and periplectic $q$-Brauer algebras are always not semisimple over any algebraically closed field.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Inf-sup stabilized Scott--Vogelius pairs on general simplicial grids by Raviart--Thomas enrichment
Authors:
Volker John,
Xu Li,
Christian Merdon,
Hongxing Rui
Abstract:
This paper considers the discretization of the Stokes equations with Scott--Vogelius pairs of finite element spaces on arbitrary shape-regular simplicial grids. A novel way of stabilizing these pairs with respect to the discrete inf-sup condition is proposed and analyzed. The key idea consists in enriching the continuous polynomials of order $k$ of the Scott--Vogelius velocity space with appropria…
▽ More
This paper considers the discretization of the Stokes equations with Scott--Vogelius pairs of finite element spaces on arbitrary shape-regular simplicial grids. A novel way of stabilizing these pairs with respect to the discrete inf-sup condition is proposed and analyzed. The key idea consists in enriching the continuous polynomials of order $k$ of the Scott--Vogelius velocity space with appropriately chosen and explicitly given Raviart--Thomas bubbles. This approach is inspired by [Li/Rui, IMA J. Numer. Anal, 2021], where the case $k=1$ was studied. The proposed method is pressure-robust, with optimally converging $\boldsymbol{H}^1$-conforming velocity and a small $\boldsymbol{H}(\mathrm{div})$-conforming correction rendering the full velocity divergence-free. For $k\ge d$, with $d$ being the dimension, the method is parameter-free. Furthermore, it is shown that the additional degrees of freedom for the Raviart--Thomas enrichment and also all non-constant pressure degrees of freedom can be condensated, effectively leading to a pressure-robust, inf-sup stable, optimally convergent $\boldsymbol{P}_k \times P_0$ scheme. Aspects of the implementation are discussed and numerical studies confirm the analytic results.
△ Less
Submitted 2 June, 2022;
originally announced June 2022.
-
Longer time simulation of the unsteady Navier-Stokes equations based on a modified convective formulation
Authors:
Xu Li,
Hongxing Rui
Abstract:
For the discretization of the convective term in the Navier-Stokes equations (NSEs), the commonly used convective formulation (CONV) does not preserve the energy if the divergence constraint is only weakly enforced. In this paper, we apply the skew-symmetrization technique in [B. Cockburn, G. Kanschat and D. Schötzau, Math. Comp., 74 (2005), pp. 1067-1095] to conforming finite element methods, whi…
▽ More
For the discretization of the convective term in the Navier-Stokes equations (NSEs), the commonly used convective formulation (CONV) does not preserve the energy if the divergence constraint is only weakly enforced. In this paper, we apply the skew-symmetrization technique in [B. Cockburn, G. Kanschat and D. Schötzau, Math. Comp., 74 (2005), pp. 1067-1095] to conforming finite element methods, which restores energy conservation for CONV. The crucial idea is to replace the discrete advective velocity with its a $H(\operatorname{div})$-conforming divergence-free approximation in CONV. We prove that the modified convective formulation also conserves linear momentum, helicity, 2D enstrophy and total vorticity under some appropriate senses. Its a Picard-type linearization form also conserves them. Under the assumption $\boldsymbol{u}\in L^{2}(0,T;\boldsymbol{W}^{1,\infty}(Ω)),$ it can be shown that the Gronwall constant does not explicitly depend on the Reynolds number in the error estimates. The long time numerical simulations show that the linearized and modified convective formulation has a similar performance with the EMAC formulation and outperforms the usual skew-symmetric formulation (SKEW).
△ Less
Submitted 4 December, 2021;
originally announced December 2021.
-
An EMA-conserving, pressure-robust and Re-semi-robust reconstruction method for the unsteady incompressible Navier-Stokes equations
Authors:
Xu Li,
Hongxing Rui
Abstract:
Proper EMA-balance (E: kinetic energy; M: momentum; A: angular momentum), pressure-robustness and $Re$-semi-robustness ($Re$: Reynolds number) are three important properties of Navier-Stokes simulations with exactly divergence-free elements. This EMA-balance makes a method conserve kinetic energy, linear momentum and angular momentum under some suitable senses; pressure-robustness means that the v…
▽ More
Proper EMA-balance (E: kinetic energy; M: momentum; A: angular momentum), pressure-robustness and $Re$-semi-robustness ($Re$: Reynolds number) are three important properties of Navier-Stokes simulations with exactly divergence-free elements. This EMA-balance makes a method conserve kinetic energy, linear momentum and angular momentum under some suitable senses; pressure-robustness means that the velocity errors are independent of the continuous pressure; $Re$-semi-robustness means that the constants appearing in the error bounds of kinetic and dissipation energies do not explicitly depend on inverse powers of the viscosity. In this paper, based on the pressure-robust reconstruction methods in [{A. Linke and C. Merdon, {\it Comput. Methods Appl. Mech. Engrg.} 311 (2016), 304-326}], we propose a novel reconstruction method for a class of non-divergence-free simplicial elements which admits almost all the above properties. The only exception is the energy balance, where kinetic energy should be replaced by a properly redefined discrete energy. Some numerical comparisons with exactly divergence-free methods, pressure-robust reconstructions and the EMAC scheme are provided to confirm our theoretical results.
△ Less
Submitted 18 October, 2021; v1 submitted 18 August, 2021;
originally announced August 2021.
-
Representations of cyclotomic oriented Brauer categories
Authors:
Mengmeng Gao,
Hebing Rui,
Linliang Song
Abstract:
Let $A$ be the locally unital algebra associated to a cyclotomic oriented Brauer category over an arbitrary algebraically closed field $\Bbbk$ of characteristic $p\ge 0$. The category of locally finite dimensional representations of $A $ is used to give the tensor product categorification (in the general sense of Losev and Webster) for an integrable lowest weight with an integrable highest weight…
▽ More
Let $A$ be the locally unital algebra associated to a cyclotomic oriented Brauer category over an arbitrary algebraically closed field $\Bbbk$ of characteristic $p\ge 0$. The category of locally finite dimensional representations of $A $ is used to give the tensor product categorification (in the general sense of Losev and Webster) for an integrable lowest weight with an integrable highest weight representation of the same level for the Lie algebra $\mathfrak g$, where $\mathfrak g$ is a direct sum of copies of $\mathfrak {sl}_\infty$ (resp., $ \hat{\mathfrak {sl}}_p$ ) if $p=0$ (resp., $p>0$). Such a result was expected in [3] when $\Bbbk=\mathbb C$ and proved previously by Brundan in [2] when the level is $1$.
△ Less
Submitted 3 July, 2021; v1 submitted 13 February, 2021;
originally announced February 2021.
-
Representations of weakly triangular categories
Authors:
Mengmeng Gao,
Hebing Rui,
Linliang Song
Abstract:
A new class of locally unital and locally finite dimensional algebras $A$ over an arbitrary algebraically closed field is discovered. Each of them admits an upper finite weakly triangular decomposition, a generalization of an upper finite triangular decomposition. Any locally unital algebra which admits an upper finite Cartan decomposition is Morita equivalent to some special locally unital algebr…
▽ More
A new class of locally unital and locally finite dimensional algebras $A$ over an arbitrary algebraically closed field is discovered. Each of them admits an upper finite weakly triangular decomposition, a generalization of an upper finite triangular decomposition. Any locally unital algebra which admits an upper finite Cartan decomposition is Morita equivalent to some special locally unital algebra $A$ which admits an upper finite weakly triangular decomposition. It is established that the category $A$-lfdmod of locally finite dimensional left $A$-modules is an upper finite fully stratified category in the sense of Brundan-Stroppel. Moreover, $A$ is semisimple if and only if its centralizer subalgebras associated to certain idempotent elements are semisimple. Furthermore, certain endofunctors are defined and give categorical actions of some Lie algebras on the subcategory of $A$-lfdmod consisting of all objects which have a finite standard filtration. In the case $A$ is the locally unital algebra associated to one of cyclotomic oriented Brauer categories, cyclotomic Brauer categories and cyclotomic Kauffman categories, $A$ admits an upper finite weakly triangular decomposition. This leads to categorifications of representations of the classical limits of coideal algebras, which come from all integrable highest weight modules of $\mathfrak {sl}_\infty$ or $\hat {\mathfrak{sl}}_e$. Finally, we study representations of $A$ associated to either cyclotomic Brauer categories or cyclotomic Kauffman categories in details, including explicit criteria on the semisimplicity of $A$ over an arbitrary field, and on $A$-lfdmod being upper finite highest weight category in the sense of Brundan-Stroppel, and on Morita equivalence between $A$ and direct sum of infinitely many (degenerate) cyclotomic Hecke algebras.
△ Less
Submitted 4 December, 2020;
originally announced December 2020.
-
A low order divergence-free H(div)-conforming finite element method for Stokes flows
Authors:
Xu Li,
Hongxing Rui
Abstract:
In this paper, we propose a ${ P_{1}^{c}}\oplus {RT0}-P0$ discretization of the Stokes equations on general simplicial meshes in two/three dimensions (2D/3D), which yields an exactly divergence-free and pressure-independent velocity approximation with optimal order. Our method has the following features. Firstly, the global number of the degrees of freedom of our method is the same as the low orde…
▽ More
In this paper, we propose a ${ P_{1}^{c}}\oplus {RT0}-P0$ discretization of the Stokes equations on general simplicial meshes in two/three dimensions (2D/3D), which yields an exactly divergence-free and pressure-independent velocity approximation with optimal order. Our method has the following features. Firstly, the global number of the degrees of freedom of our method is the same as the low order Bernardi and Raugel ($B$-$R$) finite element method (Bernardi and Raugel, 1985), while the number of {the non-zero entries} of the former is about half of the latter in the velocity-velocity region of the coefficient matrix. Secondly, the ${ P_{1}^{c}}$ component of the velocity, the $RT0$ component of the velocity and the pressure seem to solve a popular ${ P_{1}^{c}}-{RT0}-P0$ discretization of a poroelastic-type system formally. Finally, our method can be easily transformed into a pressure-robust and stabilized ${ P_{1}^{c}}-P0$ discretization for the Stokes problem via the static condensation of the $RT0$ component, which has a much smaller number of global degrees of freedom. Numerical experiments illustrating the robustness of our method are also provided.
△ Less
Submitted 6 September, 2021; v1 submitted 2 December, 2020;
originally announced December 2020.
-
A basis theorem for the affine Kauffmann category and its cyclotomic quotients
Authors:
Mengmeng Gao,
Hebing Rui,
Linliang Song
Abstract:
The affine Kauffmann category is a strict monoidal category and can be considered as a $q$-analogue of the affine Brauer category in (Rui et al. in Math. Zeit. 293, 503-550, 2019). In this paper, we prove a basis theorem for the morphism spaces in the affine Kauffmann category. The cyclotomic Kauffmann category is a quotient category of the affine Kauffmann category. We also prove that any morphis…
▽ More
The affine Kauffmann category is a strict monoidal category and can be considered as a $q$-analogue of the affine Brauer category in (Rui et al. in Math. Zeit. 293, 503-550, 2019). In this paper, we prove a basis theorem for the morphism spaces in the affine Kauffmann category. The cyclotomic Kauffmann category is a quotient category of the affine Kauffmann category. We also prove that any morphism space in this category is free over an integral domain $\mathbb K$ with maximal rank if and only if the $\mathbf u$-admissible condition holds in the sense of Definition 1.13.
△ Less
Submitted 16 June, 2020;
originally announced June 2020.
-
A Stabilized Hybrid Mixed Finite Element Method for Poroelasticity
Authors:
Chunyan Niu,
Hongxing Rui,
Xiaozhe Hu
Abstract:
In this work, we consider a hybrid mixed finite element method for Biot's model. The hybrid P1-RT0-P0 discretization of the displacement-pressure-Darcy's velocity system of Biot's model presented in \cite{C. Niu} is not uniformly stable with respect to the physical parameters, resulting in some issues in numerical simulations. To alleviate such problems, following \cite{V. Girault}, we stabilize t…
▽ More
In this work, we consider a hybrid mixed finite element method for Biot's model. The hybrid P1-RT0-P0 discretization of the displacement-pressure-Darcy's velocity system of Biot's model presented in \cite{C. Niu} is not uniformly stable with respect to the physical parameters, resulting in some issues in numerical simulations. To alleviate such problems, following \cite{V. Girault}, we stabilize the hybrid scheme with face bubble functions and show the well-posedness with respect to physical and discretization parameters, which provide optimal error estimates of the stabilized method. We introduce a perturbation of the bilinear form of the displacement which allows for the elimination of the bubble functions. Together with eliminating Darcy's velocity by hybridization, we obtain an eliminated system whose size is the same as the classical P1-RT0-P0 discretization. Based on the well-posedness of the eliminated system, we design block preconditioners that are parameter-robust. Numerical experiments are presented to confirm the theoretical results of the stabilized scheme as well as the block preconditioners.
△ Less
Submitted 27 April, 2020; v1 submitted 3 June, 2019;
originally announced June 2019.
-
Energy Stability and Convergence of SAV Block-centered Finite Difference Method for Gradient Flows
Authors:
Xiaoli Li,
Jie Shen,
Hongxing Rui
Abstract:
We present in this paper construction and analysis of a block-centered finite difference method for the spatial discretization of the scalar auxiliary variable Crank-Nicolson scheme (SAV/CN-BCFD) for gradient flows, and show rigorously that scheme is second-order in both time and space in various discrete norms. When equipped with an adaptive time strategy, the SAV/CN-BCFD scheme is accurate and e…
▽ More
We present in this paper construction and analysis of a block-centered finite difference method for the spatial discretization of the scalar auxiliary variable Crank-Nicolson scheme (SAV/CN-BCFD) for gradient flows, and show rigorously that scheme is second-order in both time and space in various discrete norms. When equipped with an adaptive time strategy, the SAV/CN-BCFD scheme is accurate and extremely efficient. Numerical experiments on typical Allen-Cahn and Cahn-Hilliard equations are presented to verify our theoretical results and to show the robustness and accuracy of the SAV/CN-BCFD scheme.
△ Less
Submitted 4 December, 2018;
originally announced December 2018.
-
A proof of Comes-Kujawa's conjecture
Authors:
MengMeng Gao,
Hebing Rui,
Linliang Song,
Yucai Su
Abstract:
Let $κ$ be a commutative ring containing $2^{-1}$. In this paper, we prove the Comes-Kujawa's conjecture on a $κ$-basis of cyclotomic oriented Brauer-Clifford supercategory. As a by-product, we prove that the cyclotomic walled Brauer-Clifford superalgebra defined by Comes and Kujawa and ours are isomorphic if $κ$ is an algebraically closed field with characteristic not two.
Let $κ$ be a commutative ring containing $2^{-1}$. In this paper, we prove the Comes-Kujawa's conjecture on a $κ$-basis of cyclotomic oriented Brauer-Clifford supercategory. As a by-product, we prove that the cyclotomic walled Brauer-Clifford superalgebra defined by Comes and Kujawa and ours are isomorphic if $κ$ is an algebraically closed field with characteristic not two.
△ Less
Submitted 27 January, 2018;
originally announced January 2018.
-
Affine walled Brauer-Clifford superalgebras
Authors:
Mengmeng Gao,
Hebing Rui,
Linliang Song,
Yucai Su
Abstract:
In this paper, a notion of affine walled Brauer-Clifford superalgebras $BC_{r, t}^{\rm aff} $ is introduced over an arbitrary integral domain $R$ containing $2^{-1}$. These superalgebras can be considered as affinization of walled Brauer superalgebras in \cite{JK}. By constructing infinite many homomorphisms from $BC_{r, t}^{\rm aff}$ to a class of level two walled Brauer-Clifford superagebras ove…
▽ More
In this paper, a notion of affine walled Brauer-Clifford superalgebras $BC_{r, t}^{\rm aff} $ is introduced over an arbitrary integral domain $R$ containing $2^{-1}$. These superalgebras can be considered as affinization of walled Brauer superalgebras in \cite{JK}. By constructing infinite many homomorphisms from $BC_{r, t}^{\rm aff}$ to a class of level two walled Brauer-Clifford superagebras over $\mathbb C$, we prove that $BC_{r, t}^{\rm aff} $ is free over $R$ with infinite rank. We explain that any finite dimensional irreducible $BC_{r, t}^{\rm aff} $-module over an algebraically closed field $F$ of characteristic not $2$ factors through a cyclotomic quotient of $BC_{r, t}^{\rm aff} $, called a cyclotomic (or level $k$) walled Brauer-Clifford superalgebra $ BC_{k, r, t}$. Using a previous method on cyclotomic walled Brauer algebras in \cite{RSu1}, we prove that $BC_{k, r, t}$ is free over $R$ with super rank $(k^{r+t}2^{r+t-1} (r+t)!, k^{r+t}2^{r+t-1} (r+t)!)$ if and only if it is admissible in the sense of Definition~6.4. Finally, we prove that the degenerate affine (resp., cyclotomic) walled Brauer-Clifford superalgebras defined by Comes-Kujawa in \cite{CK} are isomorphic to our affine (resp., cyclotomic) walled Brauer-Clifford superalgebras.
△ Less
Submitted 17 August, 2017;
originally announced August 2017.
-
Multigrid Methods for A Mixed Finite Element Method of The Darcy-Forchheimer Model
Authors:
Jian Huang,
Long Chen,
Hongxing Rui
Abstract:
An efficient nonlinear multigrid method for a mixed finite element method of the Darcy-Forchheimer model is constructed in this paper. A Peaceman-Rachford type iteration is used as a smoother to decouple the nonlinearity from the divergence constraint. The nonlinear equation can be solved element-wise with a closed formulae. The linear saddle point system for the constraint is reduced into a symme…
▽ More
An efficient nonlinear multigrid method for a mixed finite element method of the Darcy-Forchheimer model is constructed in this paper. A Peaceman-Rachford type iteration is used as a smoother to decouple the nonlinearity from the divergence constraint. The nonlinear equation can be solved element-wise with a closed formulae. The linear saddle point system for the constraint is reduced into a symmetric positive definite system of Poisson type. Furthermore an empirical choice of the parameter used in the splitting is proposed and the resulting multigrid method is robust to the so-called Forchheimer number which controls the strength of the nonlinearity. By comparing the number of iterations and CPU time of different solvers in several numerical experiments, our multigrid method is shown to convergent with a rate independent of the mesh size and the Forchheimer number and with a nearly linear computational cost.
△ Less
Submitted 25 April, 2017; v1 submitted 17 November, 2016;
originally announced November 2016.
-
Mixed Schur-Weyl duality between general linear Lie algebras and cyclotomic walled Brauer algebras
Authors:
Hebing Rui,
Linliang Song
Abstract:
Motivated by Brundan-Kleshchev's work on higher Schur-Weyl duality, we establish mixed Schur-Weyl duality between general linear Lie algebras and cyclotomic walled Brauer algebras in an arbitrary level. Using weakly cellular bases of cyclotomic walled Brauer algebras, we classify highest weight vectors of certain mixed tensor modules of general linear Lie algebras. This leads to an efficient way t…
▽ More
Motivated by Brundan-Kleshchev's work on higher Schur-Weyl duality, we establish mixed Schur-Weyl duality between general linear Lie algebras and cyclotomic walled Brauer algebras in an arbitrary level. Using weakly cellular bases of cyclotomic walled Brauer algebras, we classify highest weight vectors of certain mixed tensor modules of general linear Lie algebras. This leads to an efficient way to compute decomposition matrices of cyclotomic walled Brauer algebras arising from mixed Schur-Weyl duality, which generalizes early results on level two walled Brauer algebras.
△ Less
Submitted 19 September, 2015;
originally announced September 2015.
-
Decomposition matrices of Birman-Murakami-Wenzl algebras
Authors:
Hebing Rui,
Linliang Song
Abstract:
In this paper, we calculate decomposition matrices of the Birman-Murakami-Wenzl algebras over $\mathbb C$.
In this paper, we calculate decomposition matrices of the Birman-Murakami-Wenzl algebras over $\mathbb C$.
△ Less
Submitted 11 November, 2014;
originally announced November 2014.
-
Convergence of a decoupled mixed FEM for miscible displacement in interfacial porous media
Authors:
Buyang Li,
Hongxing Rui,
Chaoxia Yang
Abstract:
In this paper, we study the stability and convergence of a decoupled and linearized mixed finite element method (FEM) for incompressible miscible displacement in a porous media whose permeability and porosity are discontinuous across some interfaces. We show that the proposed scheme has optimal-order convergence rate unconditionally, without restriction on the grid ratio (between the time-step siz…
▽ More
In this paper, we study the stability and convergence of a decoupled and linearized mixed finite element method (FEM) for incompressible miscible displacement in a porous media whose permeability and porosity are discontinuous across some interfaces. We show that the proposed scheme has optimal-order convergence rate unconditionally, without restriction on the grid ratio (between the time-step size and spatial mesh size). Previous works all required certain restrictions on the grid ratio except for the problem with globally smooth permeability and porosity. Our idea is to introduce an intermediate system of elliptic interface problems, whose solution is uniformly regular in each subdomain separated by the interfaces and its finite element solution coincides with the fully discrete solution of the original problem. In order to prove the boundedness of the fully discrete solution, we study the finite element discretization of the intermediate system of elliptic interface problems.
△ Less
Submitted 16 June, 2014; v1 submitted 10 June, 2014;
originally announced June 2014.
-
Decomposition numbers of quantized walled Brauer algebras
Authors:
Hebing Rui,
Linliang Song
Abstract:
In this paper, we establish explicit relationship between decomposition numbers of quantized walled Brauer algebras and those for either Hecke algebras associated to certain symmetric groups or (rational) $q$-Schur algebras over a field $κ$. This enables us to use Ariki's result \cite{Ar} and Varagnolo-Vasserot's result \cite{VV} to compute such decomposition numbers via inverse Kazhdan-Lusztig po…
▽ More
In this paper, we establish explicit relationship between decomposition numbers of quantized walled Brauer algebras and those for either Hecke algebras associated to certain symmetric groups or (rational) $q$-Schur algebras over a field $κ$. This enables us to use Ariki's result \cite{Ar} and Varagnolo-Vasserot's result \cite{VV} to compute such decomposition numbers via inverse Kazhdan-Lusztig polynomials associated with affine Weyl groups of type $A$ if the ground field is $\mathbb C$.
△ Less
Submitted 30 March, 2014;
originally announced March 2014.
-
The representations of quantized walled Brauer algebras
Authors:
Hebing Rui,
LinLiang Song
Abstract:
In this paper, we give a criterion on the semisimplicity of quantized walled Brauer algebras $\mathscr B_{r,s}$ and classify its simple modules over an arbitrary field $κ$.
In this paper, we give a criterion on the semisimplicity of quantized walled Brauer algebras $\mathscr B_{r,s}$ and classify its simple modules over an arbitrary field $κ$.
△ Less
Submitted 30 March, 2014;
originally announced March 2014.
-
Highest weight vectors of mixed tensor products of general linear Lie superalgebras
Authors:
Hebing Rui,
Yucai Su
Abstract:
In this paper, a notion of cyclotomic (or level $k$) walled Brauer algebras $\mathscr B_{k, r, t}$ is introduced for arbitrary positive integer $k$. It is proven that $\mathscr B_{k, r, t}$ is free over a commutative ring with rank $k^{r+t}(r+t)!$ if and only if it is admissible. Using super Schur-Weyl duality between general linear Lie superalgebras $\mathfrak{gl}_{m|n}$ and…
▽ More
In this paper, a notion of cyclotomic (or level $k$) walled Brauer algebras $\mathscr B_{k, r, t}$ is introduced for arbitrary positive integer $k$. It is proven that $\mathscr B_{k, r, t}$ is free over a commutative ring with rank $k^{r+t}(r+t)!$ if and only if it is admissible. Using super Schur-Weyl duality between general linear Lie superalgebras $\mathfrak{gl}_{m|n}$ and $\mathscr B_{2, r, t}$, we give a classification of highest weight vectors of $\mathfrak{gl}_{m|n}$-modules $M_{pq}^{rt}$, the tensor products of Kac-modules with mixed tensor products of the natural module and its dual. This enables us to establish an explicit relationship between $\mathfrak{gl}_{m|n}$-Kac-modules and right cell (or standard) $\mathscr B_{2, r, t}$-modules over $\mathbb C$. Further, we find an explicit relationship between indecomposable tilting $\mathfrak{gl}_{m|n}$-modules appearing in $M_{pq}^{rt}$, and principal indecomposable right $\mathscr B_{2, r, t}$-modules via the notion of Kleshchev bipartitions. As an application, decomposition numbers of $\mathscr B_{2, r, t}$ arising from super Schur-Weyl duality are determined.
△ Less
Submitted 5 February, 2014;
originally announced February 2014.
-
Affine walled Brauer algebras
Authors:
Hebing Rui,
Yucai Su
Abstract:
A new class of associative algebras referred to as affine walled Brauer algebras are introduced. These algebras are free with infinite rank over a commutative ring containing 1. Then level two walled Brauer algebras over C are defined, which are some cyclotomic quotients of affine walled Brauer algebras. We establish a super Schur-Weyl duality between affine walled Brauer algebras and general line…
▽ More
A new class of associative algebras referred to as affine walled Brauer algebras are introduced. These algebras are free with infinite rank over a commutative ring containing 1. Then level two walled Brauer algebras over C are defined, which are some cyclotomic quotients of affine walled Brauer algebras. We establish a super Schur-Weyl duality between affine walled Brauer algebras and general linear Lie superalgebras, and realize level two walled Brauer algebras as endomorphism algebras of tensor modules of Kac modules with mixed tensor products of the natural module and its dual over general linear Lie superalgebras, under some conditions. We also prove the weakly cellularity of level two walled Brauer algebras, and give a classification of their irreducible modules over C. This in tur enables us to classify the indecomposable direct summands of the said tensor modules.
△ Less
Submitted 2 May, 2013;
originally announced May 2013.
-
On the classification of finite dimensional irreducible modules for affine BMW algebras
Authors:
Hebing Rui
Abstract:
In this paper, we classify the finite dimensional irreducible modules for affine BMW algebra over an algebraically closed field with arbitrary characteristic.
In this paper, we classify the finite dimensional irreducible modules for affine BMW algebra over an algebraically closed field with arbitrary characteristic.
△ Less
Submitted 17 June, 2012;
originally announced June 2012.
-
Singular parameters for the Birman-Murakami-Wenzl algebra
Authors:
Hebing Rui,
Mei Si
Abstract:
In this paper, we classify the singular parameters for the Birman-Murakami-Wenzl algebra over an arbitrary field. Equivalently, we give a criterion for the Birman-Murakami-Wenzl algebra being Morita equivalent to the direct sum of the Hecke algebras associated to certain symmetric groups.
In this paper, we classify the singular parameters for the Birman-Murakami-Wenzl algebra over an arbitrary field. Equivalently, we give a criterion for the Birman-Murakami-Wenzl algebra being Morita equivalent to the direct sum of the Hecke algebras associated to certain symmetric groups.
△ Less
Submitted 5 February, 2011;
originally announced February 2011.
-
Quantum Schur Superalgebras and Kazhdan-Lusztig Combinatorics
Authors:
Jie Du,
Hebing Rui
Abstract:
We introduce the notion of quantum Schur (or $q$-Schur) superalgebras. These algebras share certain nice properties with $q$-Schur algebras such as base change property, existence of canonical $\mathbb Z[v,v^{-1}]$-bases, and the duality relation with quantum matrix superalgebra $\sA(m|n)$. We also construct a cellular $\mathbb Q(\up)$-basis and determine its associated cells, called super-cells,…
▽ More
We introduce the notion of quantum Schur (or $q$-Schur) superalgebras. These algebras share certain nice properties with $q$-Schur algebras such as base change property, existence of canonical $\mathbb Z[v,v^{-1}]$-bases, and the duality relation with quantum matrix superalgebra $\sA(m|n)$. We also construct a cellular $\mathbb Q(\up)$-basis and determine its associated cells, called super-cells, in terms of a Robinson--Schensted--Knuth super-correspondence. In this way, we classify all irreducible representations over $\mathbb Q(\up)$ via super-cell modules.
△ Less
Submitted 19 October, 2010;
originally announced October 2010.
-
The representation theory of cyclotomic BMW algebras
Authors:
H. Rui,
M. Si
Abstract:
In this paper, we go on Rui-Xu's work on cyclotomic Birman-Wenzl algebras $\W_{r, n}$ in \cite{RX}. In particular, we use the representation theory of cellular algebras in \cite{GL} to classify the irreducible $\W_{r, n}$-modules for all positive integers $r$ and $n$. By constructing cell filtrations for all cell modules of $\W_{r, n}$, we compute the discriminants associated to all cell modules…
▽ More
In this paper, we go on Rui-Xu's work on cyclotomic Birman-Wenzl algebras $\W_{r, n}$ in \cite{RX}. In particular, we use the representation theory of cellular algebras in \cite{GL} to classify the irreducible $\W_{r, n}$-modules for all positive integers $r$ and $n$. By constructing cell filtrations for all cell modules of $\W_{r, n}$, we compute the discriminants associated to all cell modules for $\W_{r, n} $. Via such discriminats together with induction and restriction functors given in section~5, we determine explicitly when $\W_{r, n}$ is semisimple over a field. This generalizes our previous result on Birman-Wenzl algebras in \cite{RS1}.
△ Less
Submitted 25 July, 2008;
originally announced July 2008.
-
The representations of cyclotomic BMW algebras
Authors:
Hebing Rui,
Jie Xu
Abstract:
In this paper, we prove that the cyclotomic BMW algebras B2p+1,n are cellular in the sense of [16]. We also classify the irreducible B2p+1,nmodules over a field.
In this paper, we prove that the cyclotomic BMW algebras B2p+1,n are cellular in the sense of [16]. We also classify the irreducible B2p+1,nmodules over a field.
△ Less
Submitted 15 January, 2008; v1 submitted 2 January, 2008;
originally announced January 2008.
-
On the semisimplicity of cyclotomic Baruer algebras, II
Authors:
Hebing Rui,
Jie Xu
Abstract:
In this paper, we give a necessary and sufficient condition for a cyclotomic Brauer algebra being semisimple. This generalizes previous result for a Brauer algebra.
In this paper, we give a necessary and sufficient condition for a cyclotomic Brauer algebra being semisimple. This generalizes previous result for a Brauer algebra.
△ Less
Submitted 22 February, 2007;
originally announced February 2007.
-
Discriminants of Brauer algebras
Authors:
Hebing Rui,
Mei Si
Abstract:
In this paper, we compute the discriminant of the Gram matrix associated to each cell module of the Brauer algebra $\cba{n}$. Theoretically, we know when a cell module of $\cba{n}$ is equal to its simple head. This gives a solution of this long standing problem.
In this paper, we compute the discriminant of the Gram matrix associated to each cell module of the Brauer algebra $\cba{n}$. Theoretically, we know when a cell module of $\cba{n}$ is equal to its simple head. This gives a solution of this long standing problem.
△ Less
Submitted 2 May, 2007; v1 submitted 11 July, 2006;
originally announced July 2006.
-
Gram determinants and semisimplity criteria for Birman-Wenzl algebras
Authors:
Hebing Rui,
Mei Si
Abstract:
In this paper, we compute the Gram determinants associated to each cell module of the Birman-Wenzl algebras. As a by-product, we give the necessary and sufficient condition for semisimple Birman-Wenzl algebras over an arbitrary field.
In this paper, we compute the Gram determinants associated to each cell module of the Birman-Wenzl algebras. As a by-product, we give the necessary and sufficient condition for semisimple Birman-Wenzl algebras over an arbitrary field.
△ Less
Submitted 18 February, 2008; v1 submitted 11 July, 2006;
originally announced July 2006.
-
Cyclotomic Nazarov-Wenzl algebras
Authors:
Susumu Ariki,
Andrew Mathas,
Hebing Rui
Abstract:
Nazarov \cite{Nazarov:brauer} introduced an infinite dimensional algebra, which he called the \textit{affine Wenzl algebra}, in his study of the Brauer algebras. In this paper we study certain ``cyclotomic quotients'' of these algebras. We construct the irreducible representations of these algebras in the generic case and use this to show that these algebras are free of rank $r^n(2n-1)!!$ (when…
▽ More
Nazarov \cite{Nazarov:brauer} introduced an infinite dimensional algebra, which he called the \textit{affine Wenzl algebra}, in his study of the Brauer algebras. In this paper we study certain ``cyclotomic quotients'' of these algebras. We construct the irreducible representations of these algebras in the generic case and use this to show that these algebras are free of rank $r^n(2n-1)!!$ (when $Ω$ is $\bu$--admissible). We next show that these algebras are cellular and give a labelling for the simple modules of the cyclotomic Nazarov--Wenzl algebras over an arbitrary field. In particular, this gives a construction of all of the finite dimensional irreducible modules of the affine Weyl algebra (when $Ω$ is admissible).
△ Less
Submitted 13 July, 2006; v1 submitted 22 June, 2005;
originally announced June 2005.
-
Specht Modules and Branching Rules for Ariki-Koike Algebras
Authors:
J. Du,
H. Rui
Abstract:
Specht modules for an Ariki-Koike algebra have been investigated recently in the context of cellular algebras. Thus, these modules are defined as quotient modules of certain ``permutation'' modules, that is, defined as ``cell modules'' via cellular bases. We shall introduce in this paper Specht modules for an Ariki-Koike algebra as submodules of those ``permutation'' modules and investigate thei…
▽ More
Specht modules for an Ariki-Koike algebra have been investigated recently in the context of cellular algebras. Thus, these modules are defined as quotient modules of certain ``permutation'' modules, that is, defined as ``cell modules'' via cellular bases. We shall introduce in this paper Specht modules for an Ariki-Koike algebra as submodules of those ``permutation'' modules and investigate their basic properties such as Standard Basis Theorem and the ordinary Branching Theorem, generalizing several classical constructions for type $A$. The second part of the paper moves on looking for Kleshchev's branching rules for Specht and irreducible modules over an Ariki-Koike algebra. We shall restrict to the case where the Ariki-Koike algebra has a semi-simple bottom. With a recent work of Ariki on the classification of irreducible modules, we conjecture that the results should be true in general if $l$-regular multipartitions are replaced by Kleshchev's multipartitions. We point out that our approach is independent of the use of cellular bases.
△ Less
Submitted 15 February, 1999;
originally announced February 1999.
-
Ariki-Koike Algebras with Semisimple Bottoms
Authors:
Jie Du,
Hebing Rui
Abstract:
We investigated the representation thoery of an Ariki-Koike algebra whose Poincare polynomial associated with the "bottom", i.e., the subgroup on which the symmetric group acts, is non-zero in the base field. We proved that the module category of such an Ariki-Koike algebra is Morita equivalent to the module category of a direct sum of tensor products of Hecke algebras associated with certain sy…
▽ More
We investigated the representation thoery of an Ariki-Koike algebra whose Poincare polynomial associated with the "bottom", i.e., the subgroup on which the symmetric group acts, is non-zero in the base field. We proved that the module category of such an Ariki-Koike algebra is Morita equivalent to the module category of a direct sum of tensor products of Hecke algebras associated with certain symmetric groups. We also generalized this Morita equivalence theorem to give a Morita equivalenve between a $q$-Schur$^m$ algebra and a direct sum of tensor products of certain $q$-Schur algebras.
△ Less
Submitted 14 February, 1999;
originally announced February 1999.
