arXiv Science⌕ Search

arXiv subjects

Jinwei Yang

Publications and source records attributed to Jinwei Yang.

At least 19 recordsLinked to original sources
arXiv2026

The tensor category for W(2,2)-vertex algebra

This paper studies the category $\mathcal{C}$ of grading-restricted $C_1$-cofinite generalized modules for the vertex operator algebra associated to the $W$-algebra $W(2,2)$. We first show that $\mathcal{C}$ is the same as the category of finite length modules whose simple composition factors are the irreducible highest weight $W(2,2)$--modules $L[r]$ of highest weight $(\frac{1-r}{2}, 0)$ for $r \in \mathbb{Z}_{> 0}$, and hence $\mathcal{C}$ carries a braided tensor category structure. Then we prove the fusion rules for the simple objects $L[r]$ are governed by the $\mathfrak{sl}_2$ Clebsch--Gordan rule. In particular, we prove \[ L[r]\boxtimes L[s]\cong \bigoplus_{i=0}^{\min\{r,s\}-1} L[r+s-1-2i]. \] Using the fusion rules and a recent result of Etingof--Penneys, we establish the rigidity of $\mathcal{C}$. We also show the semisimple subcategory generated by the simple objects $L[r]$ is tensor equivalent to the category Rep $\mathfrak{sl}_2$ of finite dimensional $\mathfrak{sl}_2$-modules.

math.QA↗
arXiv2026

Recommender System as Slow and Fast Thinkers

Sequential recommendation models are foundational to modern personalized services, yet their effectiveness varies substantially across heterogeneous user environments. In particular, static one-pass recommenders often perform well on common behavior patterns but degrade on operationally challenging user groups, such as users with longer histories or less mainstream item profiles. To address this limitation, we propose \textsc{DS-Frame}, an adaptive fast--slow inference framework for sequential recommendation. \textsc{DS-Frame} combines a Fast System for efficient routine prediction, a Slow System for iterative latent refinement, and a learned selector that routes each sample under a controllable computation budget. Experiments on five real-world datasets show that \textsc{DS-Frame} consistently improves representative sequential recommendation backbones, with larger gains on challenging groups and effective accuracy--efficiency trade-offs. This highlights the potential of adaptive inference for more efficient and robust recommendation. Code is available at \href{https://github.com/ZichenYuan233/Recommender-System-as-Slow-and-Fast-Thinkers}{this link}.

cs.IR↗
arXiv2026

Tensor category of $\mathbb{Z}_2$-orbifold of Heisenberg vertex operator algebra and its applications

In this paper, we prove the category of finite length modules for the $\mathbb{Z}_2$-orbifold $M(1)^+$ of the Heisenberg vertex operator algebra whose simple composition factors are $M(1)^\pm$ or $M(1,\lambda)$ for $\lambda \in \mathbb{C}^\times$ is a vertex and braided tensor category. Our strategy is to show these simple composition factors are $C_1$-cofinite and the category of finite length $M(1)^+$-modules is exactly the category of grading-restricted $C_1$-cofinite modules. We also determine the fusion product decompositions of simple objects and prove the rigidity of this category. As an application of the tensor category structure of $M(1)^+$-modules, we prove the category $\mathcal{C}_{-1}(sp(2n))$ of grading-restricted generalized modules for the simple affine vertex algebra $L_{-1}(sp(2n))$ is semisimple. For this, we first prove $M(1)^+$ and simple affine vertex algebra $L_{-\frac{1}{2}}(sp(2n))$ form a commutant pair in the simple minimal $W$-algebra $W_{-1}^{min}(sp(2n))$ for $n \geq 2$ and determine $W_{-1}^{min}(sp(2n))$ as well as its irreducible modules obtained from quantum Hamilton reduction as decompositions of $M(1)^+ \otimes L_{-\frac{1}{2}}(sp(2n))$-modules, then we show all the highest weight modules for $L_{-1}(sp(2n))$ in $\mathcal{C}_{-1}(sp(2n))$ are irreducible via the quantum Hamilton reduction. We also prove a Schur-Weyl duality between $L_{-1}(sp(2n))$ and $M(1)^+$ by showing they form a commutant pair in the $\mathbb{Z}_2$-orbifold of the rank $n$ $\beta\gamma$ system, and then establish a braided reversed equivalence between the category $\mathcal{C}_{-1}(sp(2n))$ and the full subcategory of $C_1$-cofinite $M(1)^+$-modules consisting of direct sums of irreducible modules $M(1)^\pm$ and $M\big(1, \frac{s}{\sqrt{-2n}}\big)$ for $s \in \mathbb{Z}_{\geq 0}$.

math.QA↗
arXiv2025

Domain Overlapping Algorithm with Nonlinear Mapping for Collocation-Based Solutions of Eigenvalue Problems

This paper presents four novel domain decomposition algorithms integrated with nonlinear mapping techniques to address collocation-based solutions of eigenvalue problems involving sharp interfaces or steep gradients. The proposed methods leverage the spectral accuracy of Chebyshev polynomials while overcoming limitations of existing tools like Chebfun, particularly in preserving higher-order derivative continuity and enabling flexible node clustering near discontinuities. Key findings include the following: for algorithm Performance: The one-point overlap method demonstrated significant improvements over global mapping approaches, reducing required grid points by orders of magnitude while maintaining spectral convergence. The two-point overlap method further methods generalized the approach, allowing arbitrary node distributions and nonlinear mappings. These achieved exponential error reduction for Burgers equation) by combining Taylor expansions with Chebyshev derivatives in overlap regions. While Chebfun splitting strategy automates domain decomposition, it enforces only C0 continuity, leading to discontinuous higher derivatives. In contrast, the proposed algorithms preserved smoothness up to CN continuity, critical for eigenvalue problems in hydrodynamic stability and nonlinear BVPs. Validation on 3D channel flow with viscosity stratification and Burgers equation highlighted the methods robustness. For instance, eigenvalue calculations for miscible core-annular flows matched prior results while resolving sharp viscosity gradients with fewer nodes.

math.NA↗
arXiv2024

$N=1$ super Virasoro tensor categories

We show that the category of $C_1$-cofinite modules for the universal $N=1$ super Virasoro vertex operator superalgebra $\mathcal{S}(c,0)$ at any central charge $c$ is locally finite and admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. For central charges $c^{\mathfrak{ns}}(t)=\frac{15}{2}-3(t+t^{-1})$ with $t\notin\mathbb{Q}$, we show that this tensor category is semisimple, rigid, and slightly degenerate, and we determine its fusion rules. For central charge $c^{\mathfrak{ns}}(1)=\frac{3}{2}$, we show that this tensor category is rigid and that its simple modules have the same fusion rules as $\mathrm{Rep}\,\mathfrak{osp}(1\vert 2)$, in agreement with earlier fusion rule calculations of Milas. Finally, for the remaining central charges $c^{\mathfrak{ns}}(t)$ with $t\in \mathbb{Q}^\times$, we show that the simple $\mathcal{S}(c^{\mathfrak{ns}}(t),0)$-module $\mathcal{S}_{2,2}$ of lowest conformal weight $h^{\mathfrak{ns}}_{2,2}(t)=\frac{3(t-1)^2}{8t}$ is rigid and self-dual, except possibly when $t^{\pm 1}$ is a negative integer or when $c^{\mathfrak{ns}}(t)$ is the central charge of a rational $N=1$ superconformal minimal model. As $\mathcal{S}_{2,2}$ is expected to generate the category of $C_1$-cofinite $\mathcal{S}(c^{\mathfrak{ns}}(t),0)$-modules under fusion, rigidity of $\mathcal{S}_{2,2}$ is the first key step to proving rigidity of this category for general $t\in\mathbb{Q}^\times$.

math.QA↗
arXiv2024

Ribbon categories of weight modules for affine $\mathfrak{sl}_2$ at admissible levels

We show that the braided tensor category of finitely-generated weight modules for the simple affine vertex operator algebra $L_k(\mathfrak{sl}_2)$ of $\mathfrak{sl}_2$ at any admissible level $k$ is rigid and hence a braided ribbon category. The proof uses a recent result of the first two authors with Shimizu and Yadav on embedding a braided Grothendieck-Verdier category $\mathcal{C}$ into the Drinfeld center of the category of modules for a suitable commutative algebra $A$ in $\mathcal{C}$, in situations where the braided tensor category of local $A$-modules is rigid. Here, the commutative algebra $A$ is Adamovi\'{c}'s inverse quantum Hamiltonian reduction of $L_k(\mathfrak{sl}_2)$, which is the simple rational Virasoro vertex operator algebra at central charge $1-\frac{6(k+1)^2}{k+2}$ tensored with a half-lattice conformal vertex algebra. As a corollary, we also show that the category of finitely-generated weight modules for the $N = 2$ super Virasoro vertex operator superalgebra at central charge $-6\ell-3$ is rigid for $\ell$ such that $(\ell+1)(k+2) = 1$.

math.QA↗
arXiv2024

Semisimplicity of module categories of certain affine vertex operator superalgebras

In this paper, we show Kazhdan-Lusztig categories, that is, the categories of lower bounded generalized weight modules for certain affine vertex operator superalgebras that are locally finite modules of the underlying finite dimensional Lie superalgebra, are semisimple. Those are all representation categories of affine vertex operator superalgebras at conformal but non admissible levels. As a consequence, the categories of finite length generalized modules for these affine vertex operator superalgebras have braided tensor category structures.

math.QA↗
arXiv2023

The non-semisimple Kazhdan-Lusztig category for affine $\mathfrak{sl}_2$ at admissible levels

We show that Kazhdan and Lusztig's category $KL^k(\mathfrak{sl}_2)$ of modules for the affine Lie algebra $\widehat{\mathfrak{sl}}_2$ at an admissible level $k$, equivalently the category of finite-length grading-restricted generalized modules for the universal affine vertex operator algebra $V^k(\mathfrak{sl}_2)$, is a braided tensor category. Although this tensor category is not rigid, we show that the subcategory of all rigid objects in $KL^k(\mathfrak{sl}_2)$ is equal to the subcategory of all projective objects, and that every simple module in $KL^k(\mathfrak{sl}_2)$ has a projective cover. Moreover, we show that the full subcategory of projective objects in $KL^k(\mathfrak{sl}_2)$ is monoidal equivalent to the category of tilting modules for quantum $\mathfrak{sl}_2$ at the root of unity $\zeta=e^{\pi i/(k+2)}$. Using this, we establish a universal property of the tensor category $KL^k(\mathfrak{sl}_2)$, and as an application, we prove a weak Kazhdan-Lusztig correspondence, that is, we obtain an exact essentially surjective (but not full or faithful) tensor functor from $KL^k(\mathfrak{sl}_2)$ to the category of finite dimensional weight modules for the quantum group associated to $\mathfrak{sl}_2$ at the root of unity $\zeta $. We also use the universal property to classify the categories $KL^k(\mathfrak{sl}_2)$ up to (braided) tensor equivalence and to obtain a tensor-categorical version of quantum Drinfeld-Sokolov reduction, that is, we construct a braided tensor functor from $KL^k(\mathfrak{sl}_2)$ to a category of modules for the Virasoro algebra at central charge $1-\frac{6(k+1)^2}{k+2}$.

math.QA↗
arXiv2023

Instability of a Low Viscosity Jet Emerging into a High Viscosity Medium: Linear Stability Analysis

Many natural and engineering systems involve the mixing of two fluid streams, in which the effects of density and viscosity gradients play important roles in determining flow stability. We perform linear stability calculations for a jet emerging into an ambient medium of a different viscosity but the same density. These calculations are intended to isolate the effects of viscosity variation alone. We conduct a systematic study of the effect of ambient-to-jet viscosity ratio, jet Reynolds number and the velocity profile specified by the shear layer thickness, the thickness over which the viscosity change occurs, and radial shifts in velocity profiles, on the growth of axisymmetric and helical modes. Additional terms in the disturbance kinetic energy equation that represent the coupling between the velocity fluctuations and the viscosity field are shown to be responsible for the additional destabilization. Radial shifts in velocity profile that represent real effects likely to be encountered in experiments are shown to be strongly destabilizing. In all cases, the temporal growth rates of axisymmetric and helical mode are very close, except at low Reynolds numbers. Spatio-temporal analysis in the complex wavenumber plane suggests that for sufficiently large ambient viscosity, low-viscosity jets become absolutely unstable. Over a wide range of parameters, two modes of absolute instability exist simultaneously, with an axisymmetric mode predicted to dominate a helical mode. Over a certain narrower space, the helical mode dominates. The transition boundary for absolute/convective instability is compared with recent experiments, and the results are found to in reasonable agreement for the transition of the helical mode, when velocity profiles are used that correspond to the similarity solution for development of the boundary layer under a spatially variable viscosity.

physics.flu-dyn↗
arXiv2023

Self-Sustained Oscillations in a Low Viscosity Round Jet

This experimental study investigates the effects of viscosity contrast between a saltwater jet and its high-viscosity propylene glycol surroundings. Using density-matched fluids in a gravity-driven flow, Jet Reynolds numbers (Re) from 1600 to 3400 and ambient-to-jet viscosity ratios (M) from 1 to 50 were examined. Observations indicate that low viscosity ratios lead to axisymmetric jet breakdown, while higher ratios result in helical modes. The study employs various diagnostic tools to delineate this transition. Hot film anemometry reveals a discrete peak in the velocity fluctuation frequency spectrum, marking the onset of helical modes. This peak shows minimal spatial variation downstream. Laser-induced fluorescence (LIF) was utilized to distinguish the jet boundary. High-speed LIF imaging facilitated the determination of wave growth rates on the jet boundary and oscillation frequencies of the interface. These frequencies, consistent with self-sustained oscillation behavior, depend on the viscosity ratio and align with absolutely unstable modes from spatio-temporal linear stability theory. Spectral Proper Orthogonal Decomposition of the images identifies several spatial modes, predominantly a single dominant mode. These findings suggest the presence of a global mode, likely stemming from absolute instability in velocity and viscosity profiles near the nozzle exit, providing significant insights into fluid dynamics at varying viscosity contrasts.

physics.flu-dyn↗
arXiv2022

Rigid tensor structure on big module categories for some $W$-(super)algebras in type $A$

We establish rigid tensor category structure on finitely-generated weight modules for the subregular $W$-algebras of $\mathfrak{sl}_n$ at levels $ - n + \frac{n}{n+1}$ (the $\mathcal{B}_{n+1}$-algebras of Creutzig-Ridout-Wood) and at levels $- n + \frac{n+1}{n}$ (the finite cyclic orbifolds of the $\beta\gamma$-vertex algebra), as well as for their Feigin-Semikhatov dual principal $W$-superalgebras of $\mathfrak{sl}_{n|1}$. These categories are neither finite nor semisimple, and in the $W$-algebra case they contain modules with infinite-dimensional conformal weight spaces and no lower bound on conformal weights. We give complete lists of indecomposable projective modules in these tensor categories and fusion rules for simple modules. All these vertex operator (super)algebras are simple current extensions of singlet algebras tensored with a rank-one Heisenberg algebra, so we more generally study simple current extensions in direct limit completions of vertex algebraic tensor categories. Then our results for $W$-(super)algebras follow from the known ribbon category structure on modules for the singlet algebras. Our results include and generalize those of Allen-Wood on the $\beta\gamma$-vertex algebra, as well as our own on the affine vertex superalgebra of $\mathfrak{gl}_{1|1}$. Our results also include the first examples of ribbon category structure on all finitely-generated weight modules for an affine vertex algebra at a non-integral admissible level, namely for affine $\mathfrak{sl}_2$ at levels $-\frac{4}{3}$ and $-\frac{1}{2}$.

math.QA↗
arXiv2022

An $\mathfrak{sl}_2$-type tensor category for the Virasoro algebra at central charge $25$ and applications

Let $\mathcal{O}_{25}$ be the vertex algebraic braided tensor category of finite-length modules for the Virasoro Lie algebra at central charge $25$ whose composition factors are the irreducible quotients of reducible Verma modules. We show that $\mathcal{O}_{25}$ is rigid and that its simple objects generate a semisimple tensor subcategory that is braided tensor equivalent to an abelian $3$-cocycle twist of the category of finite-dimensional $\mathfrak{sl}_2$-modules. We also show that this $\mathfrak{sl}_2$-type subcategory is braid-reversed tensor equivalent to a similar category for the Virasoro algebra at central charge $1$. As an application, we construct a simple conformal vertex algebra which contains the Virasoro vertex operator algebra of central charge $25$ as a $PSL_2(\mathbb{C})$-orbifold. We also use our results to study Arakawa's chiral universal centralizer algebra of $SL_2$ at level $-1$, showing that it has a symmetric tensor category of representations equivalent to $\mathrm{Rep}\,PSL_2(\mathbb{C})$. This algebra is an extension of the tensor product of Virasoro vertex operator algebras of central charges $1$ and $25$, analogous to the modified regular representations of the Virasoro algebra constructed earlier for generic central charges by I. Frenkel-Styrkas and I. Frenkel-M. Zhu.

math.QA↗
arXiv2022

Ribbon tensor structure on the full representation categories of the singlet vertex algebras

We show that the category of finite-length generalized modules for the singlet vertex algebra $\mathcal{M}(p)$, $p\in\mathbb{Z}_{>1}$, is equal to the category $\mathcal{O}_{\mathcal{M}(p)}$ of $C_1$-cofinite $\mathcal{M}(p)$-modules, and that this category admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. Since $\mathcal{O}_{\mathcal{M}(p)}$ includes the uncountably many typical $\mathcal{M}(p)$-modules, which are simple $\mathcal{M}(p)$-module structures on Heisenberg Fock modules, our results substantially extend our previous work on tensor categories of atypical $\mathcal{M}(p)$-modules. We also introduce a tensor subcategory $\mathcal{O}_{\mathcal{M}(p)}^T$, graded by an algebraic torus $T$, which has enough projectives and is conjecturally tensor equivalent to the category of finite-dimensional weight modules for the unrolled restricted quantum group of $\mathfrak{sl}_2$ at a $2p$th root of unity. We compute all tensor products involving simple and projective $\mathcal{M}(p)$-modules, and we prove that both tensor categories $\mathcal{O}_{\mathcal{M}(p)}$ and $\mathcal{O}_{\mathcal{M}(p)}^T$ are rigid and thus also ribbon. As an application, we use vertex operator algebra extension theory to show that the representation categories of all finite cyclic orbifolds of the triplet vertex algebras $\mathcal{W}(p)$ are non-semisimple modular tensor categories, and we confirm a conjecture of Adamovi\'{c}-Lin-Milas on the classification of simple modules for these finite cyclic orbifolds.

math.QA↗
arXiv2020

Structure of Virasoro tensor categories at central charge $13-6p-6p^{-1}$ for integers $p > 1$

Let $\mathcal{O}_c$ be the category of finite-length central-charge-$c$ modules for the Virasoro Lie algebra whose composition factors are irreducible quotients of reducible Verma modules. Recently, it has been shown that $\mathcal{O}_c$ admits vertex algebraic tensor category structure for any $c\in\mathbb{C}$. Here, we determine the structure of this tensor category when $c=13-6p-6p^{-1}$ for an integer $p>1$. For such $c$, we prove that $\mathcal{O}_{c}$ is rigid, and we construct projective covers of irreducible modules in a natural tensor subcategory $\mathcal{O}_{c}^0$. We then compute all tensor products involving irreducible modules and their projective covers. Using these tensor product formulas, we show that $\mathcal{O}_c$ has a semisimplification which, as an abelian category, is the Deligne product of two tensor subcategories that are tensor equivalent to the Kazhdan-Lusztig categories for affine $\mathfrak{sl}_2$ at levels $-2+p^{\pm 1}$. Next, as a straightforward consequence of the braided tensor category structure on $\mathcal{O}_c$ together with the theory of vertex operator algebra extensions, we rederive known results for triplet vertex operator algebras $\mathcal{W}(p)$, including rigidity, fusion rules, and construction of projective covers. Finally, we prove a recent conjecture of Negron that $\mathcal{O}_c^0$ is braided tensor equivalent to the $PSL(2,\mathbb{C})$-equivariantization of the category of $\mathcal{W}(p)$-modules.

math.QA↗
arXiv2020

Tensor structure on the Kazhdan-Lusztig category for affine $\mathfrak{gl}(1|1)$

We show that the Kazhdan-Lusztig category $KL_k$ of level-$k$ finite-length modules with highest-weight composition factors for the affine Lie superalgebra $\widehat{\mathfrak{gl}(1|1)}$ has vertex algebraic braided tensor supercategory structure, and that its full subcategory $\mathcal{O}_k^{fin}$ of objects with semisimple Cartan subalgebra actions is a tensor subcategory. We show that every simple $\widehat{\mathfrak{gl}(1|1)}$-module in $KL_k$ has a projective cover in $\mathcal{O}_k^{fin}$, and we determine all fusion rules involving simple and projective objects in $\mathcal{O}_k^{fin}$. Then using Knizhnik-Zamolodchikov equations, we prove that $KL_k$ and $\mathcal{O}_k^{fin}$ are rigid. As an application of the tensor supercategory structure on $\mathcal{O}_k^{fin}$, we study certain module categories for the affine Lie superalgebra $\widehat{\mathfrak{sl}(2|1)}$ at levels $1$ and $-\frac{1}{2}$. In particular, we obtain a tensor category of $\widehat{\mathfrak{sl}(2|1)}$-modules at level $-\frac{1}{2}$ that includes relaxed highest-weight modules and their images under spectral flow.

math.QA↗
arXiv2020

On ribbon categories for singlet vertex algebras

We construct two non-semisimple braided ribbon tensor categories of modules for each singlet vertex operator algebra $\mathcal{M}(p)$, $p\geq 2$. The first category consists of all finite-length $\mathcal{M}(p)$-modules with atypical composition factors, while the second is the subcategory of modules that induce to local modules for the triplet vertex operator algebra $\mathcal{W}(p)$. We show that every irreducible module has a projective cover in the second of these categories, although not in the first, and we compute all fusion products involving atypical irreducible modules and their projective covers.

math.QA↗
arXiv2020

Direct limit completions of vertex tensor categories

We show that direct limit completions of vertex tensor categories inherit vertex and braided tensor category structures, under conditions that hold for example for all known Virasoro and affine Lie algebra tensor categories. A consequence is that the theory of vertex operator (super)algebra extensions also applies to infinite-order extensions. As an application, we relate rigid and non-degenerate vertex tensor categories of certain modules for both the affine vertex superalgebra of $\mathfrak{osp}(1|2)$ and the $N=1$ super Virasoro algebra to categories of Virasoro algebra modules via certain cosets.

math.QA↗
arXiv2020

Tensor categories of affine Lie algebras beyond admissible levels

We show that if $V$ is a vertex operator algebra such that all the irreducible ordinary $V$-modules are $C_1$-cofinite and all the grading-restricted generalized Verma modules for $V$ are of finite length, then the category of finite length generalized $V$-modules has a braided tensor category structure. By applying the general theorem to the simple affine vertex operator algebra (resp. superalgebra) associated to a finite simple Lie algebra (resp. Lie superalgebra) $\mathfrak{g}$ at level $k$ and the category $KL_k(\mathfrak{g})$ of its finite length generalized modules, we discover several families of $KL_k(\mathfrak{g})$ at non-admissible levels $k$, having braided tensor category structures. In particular, $KL_k(\mathfrak{g})$ has a braided tensor category structure if the category of ordinary modules is semisimple or more generally if the category of ordinary modules is of finite length. We also prove the rigidity and determine the fusion rules of some categories $KL_k(\mathfrak{g})$, including the category $KL_{-1}(\mathfrak{sl}_n)$. Using these results, we construct a rigid tensor category structure on a full subcategory of $KL_1(\mathfrak{sl}(n|m))$ consisting of objects with semisimple Cartan subalgebra actions.

math.RT↗