Showing 1–26 of 26 results for author: Su, Y

Greedy Trial Subspace Selection in Meshfree Time-Stepping Scheme with Applications in Coupled Bulk-Surface Pattern Formations

Authors: Yichen Su, Leevan Ling

Abstract: Combining kernel-based collocation methods with time-stepping methods to solve parabolic partial differential equations can potentially introduce challenges in balancing temporal and spatial discretization errors. Typically, using kernels with high orders of smoothness on some sufficiently dense set of trial centers provides high spatial approximation accuracy that can exceed the accuracy of finit… ▽ More Combining kernel-based collocation methods with time-stepping methods to solve parabolic partial differential equations can potentially introduce challenges in balancing temporal and spatial discretization errors. Typically, using kernels with high orders of smoothness on some sufficiently dense set of trial centers provides high spatial approximation accuracy that can exceed the accuracy of finite difference methods in time. The paper proposes a greedy approach for selecting trial subspaces in the kernel-based collocation method applied to time-stepping to balance errors in both well-conditioned and ill-conditioned scenarios. The approach involves selecting trial centers using a fast block-greedy algorithm with new stopping criteria that aim to balance temporal and spatial errors. Numerical simulations of coupled bulk-surface pattern formations, a system involving two functions in the domain and two on the boundary, illustrate the effectiveness of the proposed method in reducing trial space dimensions while maintaining accuracy. △ Less

Submitted 12 October, 2024; originally announced October 2024.

Journal ref: Mathematics and Computers in Simulation. 228:498-513, 2025

Entanglement area law for 1D gauge theories and bosonic systems

Authors: Nilin Abrahamsen, Yu Tong, Ning Bao, Yuan Su, Nathan Wiebe

Abstract: We prove an entanglement area law for a class of 1D quantum systems involving infinite-dimensional local Hilbert spaces. This class of quantum systems include bosonic models such as the Hubbard-Holstein model, and both U(1) and SU(2) lattice gauge theories in one spatial dimension. Our proof relies on new results concerning the robustness of the ground state and spectral gap to the truncation of H… ▽ More We prove an entanglement area law for a class of 1D quantum systems involving infinite-dimensional local Hilbert spaces. This class of quantum systems include bosonic models such as the Hubbard-Holstein model, and both U(1) and SU(2) lattice gauge theories in one spatial dimension. Our proof relies on new results concerning the robustness of the ground state and spectral gap to the truncation of Hilbert space, applied within the approximate ground state projector (AGSP) framework from previous work. In establishing this area law, we develop a system-size independent bound on the expectation value of local observables for Hamiltonians without translation symmetry, which may be of separate interest. Our result provides theoretical justification for using tensor network methods to study the ground state properties of quantum systems with infinite local degrees of freedom. △ Less

Submitted 3 November, 2022; v1 submitted 29 March, 2022; originally announced March 2022.

Back to Boundaries in Billiards

Authors: Leonid Bunimovich, Yaofeng Su

Abstract: We prove Poisson limit laws for open billiards where the holes are on the boundaries of billiard tables (rather than some abstract holes in the phase space of a billiard). Such holes are of the main interest for billiard systems, especially for applications. Sinai billiards with or without a finite horizon, diamond billiards, and semi-dispersing billiards, as well as focusing billiards with slow d… ▽ More We prove Poisson limit laws for open billiards where the holes are on the boundaries of billiard tables (rather than some abstract holes in the phase space of a billiard). Such holes are of the main interest for billiard systems, especially for applications. Sinai billiards with or without a finite horizon, diamond billiards, and semi-dispersing billiards, as well as focusing billiards with slow decay of correlations, are considered. △ Less

Submitted 31 March, 2024; v1 submitted 1 March, 2022; originally announced March 2022.

Comments: CMP 2024

Quantifying the magic of quantum channels

Authors: Xin Wang, Mark M. Wilde, Yuan Su

Abstract: To achieve universal quantum computation via general fault-tolerant schemes, stabilizer operations must be supplemented with other non-stabilizer quantum resources. Motivated by this necessity, we develop a resource theory for magic quantum channels to characterize and quantify the quantum "magic" or non-stabilizerness of noisy quantum circuits. For qudit quantum computing with odd dimension $d$,… ▽ More To achieve universal quantum computation via general fault-tolerant schemes, stabilizer operations must be supplemented with other non-stabilizer quantum resources. Motivated by this necessity, we develop a resource theory for magic quantum channels to characterize and quantify the quantum "magic" or non-stabilizerness of noisy quantum circuits. For qudit quantum computing with odd dimension $d$, it is known that quantum states with non-negative Wigner function can be efficiently simulated classically. First, inspired by this observation, we introduce a resource theory based on completely positive-Wigner-preserving quantum operations as free operations, and we show that they can be efficiently simulated via a classical algorithm. Second, we introduce two efficiently computable magic measures for quantum channels, called the mana and thauma of a quantum channel. As applications, we show that these measures not only provide fundamental limits on the distillable magic of quantum channels, but they also lead to lower bounds for the task of synthesizing non-Clifford gates. Third, we propose a classical algorithm for simulating noisy quantum circuits, whose sample complexity can be quantified by the mana of a quantum channel. We further show that this algorithm can outperform another approach for simulating noisy quantum circuits, based on channel robustness. Finally, we explore the threshold of non-stabilizerness for basic quantum circuits under depolarizing noise. △ Less

Submitted 8 October, 2019; v1 submitted 11 March, 2019; originally announced March 2019.

Comments: 44 pages, 7 figures; v2 close to published version

Journal ref: New Journal of Physics 21 103002, 2019

Efficiently computable bounds for magic state distillation

Authors: Xin Wang, Mark M. Wilde, Yuan Su

Abstract: Magic-state distillation (or non-stabilizer state manipulation) is a crucial component in the leading approaches to realizing scalable, fault-tolerant, and universal quantum computation. Related to non-stabilizer state manipulation is the resource theory of non-stabilizer states, for which one of the goals is to characterize and quantify non-stabilizerness of a quantum state. In this paper, we int… ▽ More Magic-state distillation (or non-stabilizer state manipulation) is a crucial component in the leading approaches to realizing scalable, fault-tolerant, and universal quantum computation. Related to non-stabilizer state manipulation is the resource theory of non-stabilizer states, for which one of the goals is to characterize and quantify non-stabilizerness of a quantum state. In this paper, we introduce the family of thauma measures to quantify the amount of non-stabilizerness in a quantum state, and we exploit this family of measures to address several open questions in the resource theory of non-stabilizer states. As a first application, we establish the hypothesis testing thauma as an efficiently computable benchmark for the one-shot distillable non-stabilizerness, which in turn leads to a variety of bounds on the rate at which non-stabilizerness can be distilled, as well as on the overhead of magic-state distillation. We then prove that the max-thauma can be used as an efficiently computable tool in benchmarking the efficiency of magic-state distillation and that it can outperform pervious approaches based on mana. Finally, we use the min-thauma to bound a quantity known in the literature as the "regularized relative entropy of magic." As a consequence of this bound, we find that two classes of states with maximal mana, a previously established non-stabilizerness measure, cannot be interconverted in the asymptotic regime at a rate equal to one. This result resolves a basic question in the resource theory of non-stabilizer states and reveals a difference between the resource theory of non-stabilizer states and other resource theories such as entanglement and coherence. △ Less

Submitted 15 February, 2020; v1 submitted 25 December, 2018; originally announced December 2018.

Comments: 15 pages, 1 figure; v2 to appear in Physical Review Letters

Journal ref: Phys. Rev. Lett. 124, 090505 (2020)

Infinite rank Schrodinger-Virasoro type Lie conformal algebras

Authors: Guangzhe Fan, Yucai Su, Chunguang Xia

Abstract: Motivated by the structure of certain modules over the loop Virasoro Lie conformal algebra and the Lie structures of Schrodinger-Virasoro algebras, we construct a class of infinite rank Lie conformal algebras CSV (a, b), where a, b are complex numbers. The conformal derivations of CSV (a, b) are uniformly determined. The rank one conformal modules and Z-graded free intermediate series modules over… ▽ More Motivated by the structure of certain modules over the loop Virasoro Lie conformal algebra and the Lie structures of Schrodinger-Virasoro algebras, we construct a class of infinite rank Lie conformal algebras CSV (a, b), where a, b are complex numbers. The conformal derivations of CSV (a, b) are uniformly determined. The rank one conformal modules and Z-graded free intermediate series modules over CSV (a, b) are classified. Corresponding results of the conformal subalgebra CHV (a, b) of CSV (a, b) are also presented. △ Less

Submitted 2 July, 2016; originally announced July 2016.

Comments: 14pages

MSC Class: 17B05; 17B10; 17B40; 17B65; 17B68

Generalizations of local bijectivity of Keller maps and a proof of $2$-dimensional Jacobian conjecture

Authors: Yucai Su

Abstract: Using the local bijectivity of Keller maps, we give a proof of two-dimensional Jacobian conjecture. Using the local bijectivity of Keller maps, we give a proof of two-dimensional Jacobian conjecture. △ Less

Submitted 11 May, 2024; v1 submitted 6 March, 2016; originally announced March 2016.

Comments: FINAL

MSC Class: 14R15; 14E20; 13B10; 13B25; 17B63

Next order energy asymptotics for Riesz potentials on flat tori

Authors: Douglas P. Hardin, Edward B. Saff, Brian Z. Simanek, Yujian Su

Abstract: Let $Λ$ be a lattice in ${\bf R}^d$ with positive co-volume. Among $Λ$-periodic $N$-point configurations, we consider the minimal renormalized Riesz $s$-energy $\mathcal{E}_{s,Λ}(N)$. While the dominant term in the asymptotic expansion of $\mathcal{E}_{s,Λ}(N)$ as $N$ goes to infinity in the long range case that $0<s<d$ (or $s=\log$) can be obtained from classical potential theory, the next order… ▽ More Let $Λ$ be a lattice in ${\bf R}^d$ with positive co-volume. Among $Λ$-periodic $N$-point configurations, we consider the minimal renormalized Riesz $s$-energy $\mathcal{E}_{s,Λ}(N)$. While the dominant term in the asymptotic expansion of $\mathcal{E}_{s,Λ}(N)$ as $N$ goes to infinity in the long range case that $0<s<d$ (or $s=\log$) can be obtained from classical potential theory, the next order term(s) require a different approach. Here we derive the form of the next order term or terms, namely for $s>0$ they are of the form $C_{s,d}|Λ|^{-s/d}N^{1+s/d}$ and $-\frac{2}{d}N\log N+\left(C_{\log,d}-2ζ'_Λ(0)\right)N$ where we show that the constant $C_{s,d}$ is independent of the lattice $Λ$. △ Less

Submitted 4 November, 2015; originally announced November 2015.

MSC Class: Primary: 52C35; 74G65; Secondary: 40D15

Symmetric $q$-deformed KP hierarch

Authors: Kelei Tian, Jingsong He, Yucai Su

Abstract: Based on the analytic property of the symmetric $q$-exponent $e_q(x)$, a new symmetric $q$-deformed Kadomtsev-Petviashvili ($q$-KP) hierarchy associated with the symmetric $q$-derivative operator $\partial_q$ is constructed. Furthermore, the symmetric $q$-CKP hierarchy and symmetric $q$-BKP hierarchy are defined. Here we also investigate the additional symmetries of the symmetric $q$-KP hierarchy. Based on the analytic property of the symmetric $q$-exponent $e_q(x)$, a new symmetric $q$-deformed Kadomtsev-Petviashvili ($q$-KP) hierarchy associated with the symmetric $q$-derivative operator $\partial_q$ is constructed. Furthermore, the symmetric $q$-CKP hierarchy and symmetric $q$-BKP hierarchy are defined. Here we also investigate the additional symmetries of the symmetric $q$-KP hierarchy. △ Less

Submitted 2 March, 2014; originally announced March 2014.

Comments: 11pages, accepted by Chinese Annals of Mathematics Series B(2014)

Block (or Hamiltonian) Lie symmetry of dispersionless D type Drinfeld-Sokolov hierarchy

Authors: Chuanzhong Li, Jingsong He, Yucai Su

Abstract: In this paper, the dispersionless D type Drinfeld-Sokolov hierarchy, i.e. a reduction of the dispersionless two-component BKP hierarchy, is studied. The additional symmetry flows of this herarchy are presented. These flows form an infinite dimensional Lie algebra of Block type as well as a Lie algebra of Hamiltonian type. In this paper, the dispersionless D type Drinfeld-Sokolov hierarchy, i.e. a reduction of the dispersionless two-component BKP hierarchy, is studied. The additional symmetry flows of this herarchy are presented. These flows form an infinite dimensional Lie algebra of Block type as well as a Lie algebra of Hamiltonian type. △ Less

Submitted 16 January, 2014; originally announced January 2014.

Comments: 8 pages, To appear in Commun. Theor. Phys

Dual Lie Bialgebras of Witt and Virasoro Types

Authors: Guang'ai Song, Yucai Su

Abstract: Structures of dual Lie bialgebras on the one sided Witt algebra, the Witt algebra and the Virasoro algebra are investigated. As a result, we obtain some infinite dimensional Lie algebras. Structures of dual Lie bialgebras on the one sided Witt algebra, the Witt algebra and the Virasoro algebra are investigated. As a result, we obtain some infinite dimensional Lie algebras. △ Less

Submitted 4 June, 2013; originally announced June 2013.

Comments: LaTeX, 11 pages

MSC Class: 17B62

Character and dimension formulae for queer Lie superalgebra

Authors: Yucai Su, R. B. Zhang

Abstract: Closed formulae are constructed for the characters and dimensions of the finite dimensional simple modules of the queer Lie superalgebra q(n). This is achieved by refining Brundan's algorithm for computing simple q(n)-characters. Closed formulae are constructed for the characters and dimensions of the finite dimensional simple modules of the queer Lie superalgebra q(n). This is achieved by refining Brundan's algorithm for computing simple q(n)-characters. △ Less

Submitted 12 May, 2013; originally announced May 2013.

Comments: LaTeX, 16 pages

MSC Class: 17B10

Generalised Jantzen filtration of Lie superalgebras II: the exceptional cases

Authors: Yucai Su, R. B. Zhang

Abstract: Let $g$ be an exceptional Lie superalgebra, and let $p$ be the maximal parabolic subalgebra which contains the distinguished Borel subalgebra and has a purely even Levi subalgebra. For any parabolic Verma module in the parabolic category $O^p$, it is shown that the Jantzen filtration is the unique Loewy filtration, and the decomposition numbers of the layers of the filtration are determined by the… ▽ More Let $g$ be an exceptional Lie superalgebra, and let $p$ be the maximal parabolic subalgebra which contains the distinguished Borel subalgebra and has a purely even Levi subalgebra. For any parabolic Verma module in the parabolic category $O^p$, it is shown that the Jantzen filtration is the unique Loewy filtration, and the decomposition numbers of the layers of the filtration are determined by the coefficients of inverse Kazhdan-Lusztig polynomials. An explicit description of the submodule lattices of the parabolic Verma modules is given, and formulae for characters and dimensions of the finite dimensional simple modules are obtained. △ Less

Submitted 19 March, 2013; originally announced March 2013.

Comments: 30 pages

Block type symmetry of bigraded Toda Hierarchy

Authors: Chuanzhong Li, Jingsong He, Yucai Su

Abstract: In this paper, we define Orlov-Schulman's operators $M_L$, $M_R$, and then use them to construct the additional symmetries of the bigraded Toda hierarchy (BTH). We further show that these additional symmetries form an interesting infinite dimensional Lie algebra known as a Block type Lie algebra, whose structure theory and representation theory have recently received much attention in literature.… ▽ More In this paper, we define Orlov-Schulman's operators $M_L$, $M_R$, and then use them to construct the additional symmetries of the bigraded Toda hierarchy (BTH). We further show that these additional symmetries form an interesting infinite dimensional Lie algebra known as a Block type Lie algebra, whose structure theory and representation theory have recently received much attention in literature. By acting on two different spaces under the weak W-constraints we find in particular two representations of this Block type Lie algebra. △ Less

Submitted 20 January, 2012; v1 submitted 10 January, 2012; originally announced January 2012.

Comments: 30 pages, accepted by Journal of Mathematical Physics

Poisson algebras, Weyl algebras and Jacobi pairs

Authors: Yucai Su

Abstract: We study Jacobi pairs in details and obtained some properties. We also study the natural Poisson algebra structure $(\PP,[...,...],...)$ on the space $\PP:=\C[y]((x^{-\frac1N}))$ for some sufficient large $N$, and introduce some automorphisms of $(\PP,[...,...],...)$ which are (possibly infinite but well-defined) products of the automorphisms of forms $e^{\ad_H}$ for… ▽ More We study Jacobi pairs in details and obtained some properties. We also study the natural Poisson algebra structure $(\PP,[...,...],...)$ on the space $\PP:=\C[y]((x^{-\frac1N}))$ for some sufficient large $N$, and introduce some automorphisms of $(\PP,[...,...],...)$ which are (possibly infinite but well-defined) products of the automorphisms of forms $e^{\ad_H}$ for $H\in x^{1-\frac1N}\C[y][[x^{-\frac1N}]]$ and $τ_c:(x,y)\mapsto(x,y-cx^{-1})$ for some $c\in\C$. These automorphisms are used as tools to study Jacobi pairs in $\PP$. In particular, starting from a Jacobi pair $(F,G)$ in $\C[x,y]$ which violates the two-dimensional Jacobian conjecture, by applying some variable change $(x,y)\mapsto\big(x^{b},x^{1-b}(y+a_1 x^{-b_1}+...+a_kx^{-b_k})\big)$ for some $b,b_i\in\Q_+,a_i\in\C$ with $b_i<1<b$, we obtain a \QJ pair still denoted by $(F,G)$ in $\C[x^{\pm\frac1N},y]$ with the form $F=x^{\frac{m}{m+n}}(f+F_0)$, $G=x^{\frac{n}{m+n}}(g+G_0)$ for some positive integers $m,n$, and $f,g\in\C[y]$, $F_0,G_0\in x^{-\frac1N}\C[x^{-\frac1N},y]$, such that $F,G$ satisfy some additional conditions. Then we generalize the results to the Weyl algebra $\WW=\C[v]((u^{-\frac1N}))$ with relation $[u,v]=1$, and obtain some properties of pairs $(F,G)$ satisfying $[F,G]=1$, referred to as Dixmier pairs. △ Less

Submitted 31 October, 2011; v1 submitted 6 July, 2011; originally announced July 2011.

Comments: arXiv admin note: substantial text overlap with arXiv:math/0512268

MSC Class: 17B63; 14R15; 14E20; 13B10; 13B25

Filtered Lie conformal algebras whose associated graded algebras are isomorphic to that of general conformal algebra $gc_1$

Authors: Yucai Su, Xiaoqing Yue

Abstract: Let $G$ be a filtered Lie conformal algebra whose associated graded conformal algebra is isomorphic to that of general conformal algebra $gc_1$. In this paper, we prove that $G\cong gc_1$ or ${\rm gr\,}gc_1$ (the associated graded conformal algebra of $gc_1$), by making use of some results on the second cohomology groups of the conformal algebra $\fg$ with coefficients in its module $M_{b,0}$ of r… ▽ More Let $G$ be a filtered Lie conformal algebra whose associated graded conformal algebra is isomorphic to that of general conformal algebra $gc_1$. In this paper, we prove that $G\cong gc_1$ or ${\rm gr\,}gc_1$ (the associated graded conformal algebra of $gc_1$), by making use of some results on the second cohomology groups of the conformal algebra $\fg$ with coefficients in its module $M_{b,0}$ of rank 1, where $\fg=\Vir\ltimes M_{a,0}$ is the semi-direct sum of the Virasoro conformal algebra $\Vir$ with its module $M_{a,0}$. Furthermore, we prove that ${\rm gr\,}gc_1$ does not have a nontrivial representation on a finite $\C[\partial]$-module, this provides an example of a finitely freely generated simple Lie conformal algebra of linear growth that cannot be embedded into the general conformal algebra $gc_N$ for any $N$. △ Less

Submitted 4 July, 2011; originally announced July 2011.

MSC Class: 17B10; 17B65; 17B68

Journal ref: Journal of Algebra 340 (2011), 182--198

Generalised Jantzen filtration of Lie superalgebras I

Authors: Yucai Su, R. B. Zhang

Abstract: A Jantzen type filtration for generalised Varma modules of Lie superalgebras is introduced. In the case of type I Lie superalgebras, it is shown that the generalised Jantzen filtration for any Kac module is the unique Loewy filtration, and the decomposition numbers of the layers of the filtration are determined by the coefficients of inverse Kazhdan-Lusztig polynomials. Furthermore, the length of… ▽ More A Jantzen type filtration for generalised Varma modules of Lie superalgebras is introduced. In the case of type I Lie superalgebras, it is shown that the generalised Jantzen filtration for any Kac module is the unique Loewy filtration, and the decomposition numbers of the layers of the filtration are determined by the coefficients of inverse Kazhdan-Lusztig polynomials. Furthermore, the length of the Jantzen filtration for any Kac module is determined explicitly in terms of the degree of atypicality of the highest weight. These results are applied to obtain a detailed description of the submodule lattices of Kac modules. △ Less

Submitted 15 October, 2010; v1 submitted 7 January, 2010; originally announced January 2010.

Comments: This is the final version to appear in the Journal of European Math Society. LaTeX, 31 pages

MSC Class: 17B10; 17B20

Generalised Verma modules for the orthosymplectic Lie superalgebra osp(k|2)

Authors: Yucai Su, R. B. Zhang

Abstract: The composition factors and their multiplicities are determined for generalised Verma modules over the orthosymplectic Lie superalgebra osp(k|2). The results enable us to obtain explicit formulae for the formal characters and dimensions of the finite-dimensional irreducible modules. Applying these results, we also compute the first and second cohomology groups of the Lie superalgebra with coeffi… ▽ More The composition factors and their multiplicities are determined for generalised Verma modules over the orthosymplectic Lie superalgebra osp(k|2). The results enable us to obtain explicit formulae for the formal characters and dimensions of the finite-dimensional irreducible modules. Applying these results, we also compute the first and second cohomology groups of the Lie superalgebra with coefficients in finite-dimensional Kac modules and irreducible modules. △ Less

Submitted 17 December, 2009; v1 submitted 4 November, 2009; originally announced November 2009.

Comments: LaTeX, 23 pages, update reference (adding one reference)

MSC Class: 17B37; 20G42; 17B10

Journal ref: Journal of Algebra 357 (2012), 94-115

Low dimensional cohomology of general conformal algebras $gc_N$

Authors: Yucai Su

Abstract: We compute the low dimensional cohomologies $\tilde H^q(gc_N,C)$, $H^q(gc_N,\C)$ of the infinite rank general Lie conformal algebras $gc_N$ with trivial coefficients for $q\le3, N=1$ or $q\le2, N\ge2$. We also prove that the cohomology of $gc_N$ with coefficients in its natural module is trivial, i.e., $H^*(gc_N,\C[\ptl]^N)=0$; thus partially solve an open problem of Bakalov-Kac-Voronov in [{\it… ▽ More We compute the low dimensional cohomologies $\tilde H^q(gc_N,C)$, $H^q(gc_N,\C)$ of the infinite rank general Lie conformal algebras $gc_N$ with trivial coefficients for $q\le3, N=1$ or $q\le2, N\ge2$. We also prove that the cohomology of $gc_N$ with coefficients in its natural module is trivial, i.e., $H^*(gc_N,\C[\ptl]^N)=0$; thus partially solve an open problem of Bakalov-Kac-Voronov in [{\it Comm. Math. Phys.,} {\bf200} (1999), 561-598]. △ Less

Submitted 25 February, 2004; originally announced February 2004.

Comments: 18 pages

MSC Class: 16B56; 17B65; 17B69

Journal ref: J. Math. Phys., 45 (2004), 509--524

Classification of infinite dimensional weight modules over the Lie superalgebra $sl(2/1)$

Authors: Yucai Su

Abstract: We give a classification of infinite dimensional indecomposable weight modules over the Lie superalgebra $sl(2/1)$. We give a classification of infinite dimensional indecomposable weight modules over the Lie superalgebra $sl(2/1)$. △ Less

Submitted 3 December, 2000; originally announced December 2000.

Comments: 7 pages, Latex, to appear in Comm. Alg

2-Cocycles on the Lie algebras of generalized differential operators

Authors: Yucai Su

Abstract: In a recent paper by Zhao and the author, the Lie algebras $A[D]=A\otimes F[D]$ of Weyl type were defined and studied, where $A$ is a commutative associative algebra with an identity element over a field $F$ of any characteristic, and $F[D]$ is the polynomial algebra of a commutative derivation subalgebra $D$ of $A$. In the present paper, the 2-cocycles of a class of the above Lie algebras… ▽ More In a recent paper by Zhao and the author, the Lie algebras $A[D]=A\otimes F[D]$ of Weyl type were defined and studied, where $A$ is a commutative associative algebra with an identity element over a field $F$ of any characteristic, and $F[D]$ is the polynomial algebra of a commutative derivation subalgebra $D$ of $A$. In the present paper, the 2-cocycles of a class of the above Lie algebras $A[D]$ (which are called the Lie algebras of generalized differential operators in the present paper), with $F$ being a field of characteristic 0, are determined. Among all the 2-cocycles, there is a special one which seems interesting. Using this 2-cocycle, the central extension of the Lie algebra is defined. △ Less

Submitted 3 December, 2000; originally announced December 2000.

Comments: 15 pages, Latex, to appear in Comm. Alg

On indecomposable modules over the Virasoro algebra

Authors: Yucai Su

Abstract: It is proved that an indecomposable Harish-Chandra module over the Virasoro algebra must be (i) a uniformly bounded module, or (ii) a module in Category $\cal O$, or (iii) a module in Category ${\cal O}^-$, or (iv) a module which contains the trivial module as one of its composition factors. It is proved that an indecomposable Harish-Chandra module over the Virasoro algebra must be (i) a uniformly bounded module, or (ii) a module in Category $\cal O$, or (iii) a module in Category ${\cal O}^-$, or (iv) a module which contains the trivial module as one of its composition factors. △ Less

Submitted 3 December, 2000; originally announced December 2000.

Comments: 5 pages, Latex, to appear in Science in China A

Isomorphism classes and automorphism groups of algebras of Weyl type

Authors: Yucai Su, Kaiming Zhao

Abstract: In one of our recent papers, the associative and the Lie algebras of Weyl type $A[D]=A\otimes F[D]$ were defined and studied, where $A$ is a commutative associative algebra with an identity element over a field $F$ of any characteristic, and $F[D]$ is the polynomial algebra of a commutative derivation subalgebra $D$ of $A$. In the present paper, a class of the above associative and Lie algebras… ▽ More In one of our recent papers, the associative and the Lie algebras of Weyl type $A[D]=A\otimes F[D]$ were defined and studied, where $A$ is a commutative associative algebra with an identity element over a field $F$ of any characteristic, and $F[D]$ is the polynomial algebra of a commutative derivation subalgebra $D$ of $A$. In the present paper, a class of the above associative and Lie algebras $A[D]$ with $F$ being a field of characteristic 0, $D$ consisting of locally finite but not locally nilpotent derivations of $A$, are studied. The isomorphism classes and automorphism groups of these associative and Lie algebras are determined. △ Less

Submitted 3 December, 2000; originally announced December 2000.

Comments: 15 pages, Latex, to appear in Science in China A

Simple algebras of Weyl type

Authors: Yucai Su, Kaiming Zhao

Abstract: Over a field $F$ of any characteristic, for a commutative associative algebra $A$ with an identity element and for the polynomial algebra $F[D]$ of a commutative derivation subalgebra $D$ of $A$, the associative and the Lie algebras of Weyl type on the same vector space $A[D]=A\otimes F[D]$ are defined. It is proved that $A[D]$, as a Lie algebra (modular its center) or as an associative algebra,… ▽ More Over a field $F$ of any characteristic, for a commutative associative algebra $A$ with an identity element and for the polynomial algebra $F[D]$ of a commutative derivation subalgebra $D$ of $A$, the associative and the Lie algebras of Weyl type on the same vector space $A[D]=A\otimes F[D]$ are defined. It is proved that $A[D]$, as a Lie algebra (modular its center) or as an associative algebra, is simple if and only if $A$ is $D$-simple and $A[D]$ acts faithfully on $A$. Thus a lot of simple algebras are obtained. △ Less

Submitted 3 December, 2000; originally announced December 2000.

Comments: 9 pages, Latex

Journal ref: Science in China A, 30 (2000), 1057-1063

Primitive vectors of Kac-modules of the Lie superalgebras sl(m/n)

Authors: Yucai Su, J. W. B. Hughes, R. C. King

Abstract: To study finite-dimensional modules of the Lie superalgebras, Kac introduced the Kac-modules and divided them into typical or atypical modules according as they are simple or not. For Lambda being atypical, Hughes et al have an algorithm to determine all the composition factors of a Kac-module; they conjectured that there exists a bijection between the composition factors of a Kac-module and the… ▽ More To study finite-dimensional modules of the Lie superalgebras, Kac introduced the Kac-modules and divided them into typical or atypical modules according as they are simple or not. For Lambda being atypical, Hughes et al have an algorithm to determine all the composition factors of a Kac-module; they conjectured that there exists a bijection between the composition factors of a Kac-module and the so-called permissible codes. The aim of this paper is to prove this conjecture. We give a partial proof here, i.e., to any unlinked code, by constructing explicitly the primitive vector, we prove that there corresponds a composition factor of the Kac-module. We will give a full proof of the conjecture in another paper. △ Less

Submitted 7 July, 1999; originally announced July 1999.

Comments: 25 pages, Latex

Classification of simple Harish-Chandra modules over the high rank Virasoro algebras

Authors: Yucai Su

Abstract: A notion of generalized highest weight modules over the high rank Virasoro algebras is introduced, and a theorem, which was originally given as a conjecture by Kac over the Virasoro algebra, is generalized. Mainly, we prove that a simple Harish-Chandra module over a high rank Virasoro algebra is either a generalized highest weight module, or a module of the intermediate series. A notion of generalized highest weight modules over the high rank Virasoro algebras is introduced, and a theorem, which was originally given as a conjecture by Kac over the Virasoro algebra, is generalized. Mainly, we prove that a simple Harish-Chandra module over a high rank Virasoro algebra is either a generalized highest weight module, or a module of the intermediate series. △ Less

Submitted 17 June, 1999; originally announced June 1999.

Comments: 16 pages, Latex