SearcharxivSearch

arXiv subjects

Haisheng Li

Publications and source records attributed to Haisheng Li.

At least 19 recordsLinked to original sources

A physics-enhanced bidirectional multi-order graph fusion network for interpretable bearing remaining useful life prediction

Accurate prediction of bearing remaining useful life (RUL) is a key challenge for intelligent maintenance. Although deep learning-based prediction methods have showed effectiveness, existing methods still have limitations in learning nonlinear bearing degradation processes and model interpretability. Especially in engineering applications, the "black box" nature of deep learning models can easily raise concerns about their reliability. Therefore, we propose a physics-enhanced bidirectional multi-order graph fusion network for interpretable bearing RUL prediction. Our network mines complementary information from both forward and backward degradation sequences. Specifically, our network introduces a multi-order graph propagator to capture the local-global degradation dependencies. A gated cross-fusion mechanism is further designed to dynamically balance the feature contributions from both forward and backward directions. Then, our network stores representative historical degradation prototypes in dynamic memory, so that the final RUL prediction no longer depends solely on the current latent features, but is guided by reusable historical degradation knowledge. To reveal how our model learns the nonlinear degradation process, the feature mapping parts utilize the Kolmogorov-Arnold network, which allows the nonlinear mapping to be visualized using learnable functions. Finally, a physics-enhanced dynamic loss function is developed to help our network learn effective and reliable degradation representations. Extensive experiments on two public datasets show that our method achieves the lowest error while providing more conservative estimates than existing methods. Our code is available at https://github.com/IMGresearcher/PE-BMGN.

cs.CE

VirSqueezer: Generating Realistic Deformations and Squeezing Dynamics in VR from Fine-Grained Squeezing Controls

Squeezing is one of the most natural forms of hand manipulation, inherently involving fine-grained, temporally evolving, per-finger flexion. In VR content creation, squeezing plays a unique role in enabling particular visual effects such as localized deformations and dynamic behaviors, e.g., bursting a Coke can or juicing a fruit, thereby expanding the expressive possibilities of VR content. However, existing techniques, such as 3D Gaussian splatting-based methods and diffusion-based video generation models, are limited in their ability to simulate fine-grained virtual squeezing effects. We introduce VirSqueezer, a framework designed to generate both localized deformations (primary effects) and complex squeezing dynamics, such as rupture and overflow (secondary effects). VirSqueezer captures squeezing control signals using a SenseGlove and provides the user with inferred resistance force feedback during the squeezing process. By estimating object contact areas, inferring physical properties, and simulating physical responses, VirSqueezer computes conditions that guide generation models for visual effect generation, ensuring both visual coherence and temporal synchronization with the simulation. Consequently, VirSqueezer enables the generation of physically realistic visual effects directly from continuous, fine-grained squeezing control signals. Our extensive evaluation demonstrates VirSqueezer's ability to reproduce realistic localized deformations, generate convincing visual dynamics, and maintain consistency in fine-grained squeezing controls.

cs.HC

Robust Lightweight Crack Classification for Real-Time UAV Bridge Inspection

With the widespread application of Unmanned Aerial Vehicles (UAVs) in bridge structural health monitoring, deep learning-based automatic crack detection has become a major research focus. However, practical UAV inspections still face four key challenges: weak crack features, degraded imaging conditions, severe class imbalance, and limited computational resources for practical UAV inspection workflows. To address these issues, this paper proposes a unified lightweight convolutional neural network framework composed of four synergistic components: a lightweight backbone network, a Convolutional Block Attention Module (CBAM) for channel and spatial enhancement, a directed robust augmentation strategy based on inspection-scene priors, and Focal Loss for hard-sample learning under class imbalance. Experiments on the SDNET2018 bridge deck dataset show that the proposed method achieves an inference speed of 825 FPS with only 11.21M parameters and 1.82G FLOPs. Compared with the baseline model, the complete framework improves the F1-score by 2.51% and recall by 3.95%. In addition, Grad-CAM visualizations indicate that the introduced attention module shifts the model's focus from scattered regions to precise tracking along crack trajectories. Overall, this study achieves a strong balance among accuracy, speed, and robustness, providing a practical solution for ground-station assisted real-time deployment in UAV bridge inspections. The source code is available at: https://github.com/skylynf/AttXNet .

cs.CV

Double Yangians and quantum vertex algebras, I

For any symmetrizable generalized Cartan matrix $A$, we introduce an algebra $\widehat{\mathcal{DY}}(A)$, which is essentially the centrally extended double Yangian when $A$ is of finite type, and we give a new field (current) presentation of $\widehat{\mathcal{DY}}(A)$. Among the main results, for any $\ell\in \mathbb C$ we construct a universal vacuum $\widehat{\mathcal{DY}}(A)$-module $\mathcal{V}_A(\ell)$ of level $\ell$, prove that there exists a natural $\hbar$-adic weak quantum vertex algebra structure on $\mathcal{V}_A(\ell)$, and give an isomorphism between the category of restricted $\widehat{\mathcal{DY}}(A)$-modules of level $\ell$ and the category of $\mathcal{V}_A(\ell)$-modules.

math.QA

Double Yangians and lattice quantum vertex algebras

For any simply-laced GCM $A$, a $\mathbb C[[\hbar]]$-algebra $\widehat{\mathcal{DY}}(A)$ was introduced in [KL1], where it was proved that the universal vacuum $\widehat{\mathcal{DY}}(A)$-module ${\mathcal{V}}_A(\ell)$ for any fixed level $\ell$ is naturally an $\hbar$-adic weak quantum vertex algebra. Let $L$ be the root lattice of $\mathfrak g(A)$. As the main results of this paper, we construct an $\hbar$-adic quantum vertex algebra $V_L[[\hbar]]^η$ as a formal deformation of the lattice vertex algebra $V_L$ and show that every $V_L[[\hbar]]^η$-module is naturally a restricted $\widehat{\mathcal{DY}}(A)$-module of level one. For $A$ of finite type, we obtain a realization of $V_L[[\hbar]]^η$ as a quotient of the $\hbar$-adic weak quantum vertex algebra ${\mathcal{V}}_A(1)$, giving a characterization of $V_L[[\hbar]]^η$-modules as restricted $\widehat{\mathcal{DY}}(A)$-modules of level one.

math.QA

PINN-MG: A physics-informed neural network for mesh generation

In numerical simulation, structured mesh generation often requires a lot of time and manpower investment. The general scheme for structured quad mesh generation is to find a mapping between the computational domain and the physical domain. This mapping can be obtained by solving partial differential equations. However, existing structured mesh generation methods are difficult to ensure both efficiency and mesh quality. In this paper, we propose a structured mesh generation method based on physics-informed neural network, PINN-MG. It takes boundary curves as input and then utilizes an attention network to capture the potential mapping between computational and physical domains, generating structured meshes for the input physical domain. PINN-MG introduces the Navier-Lamé equation in linear elastic as a partial differential equation term in the loss function, ensuring that the neural network conforms to the law of elastic body deformation when optimizing the loss value. The training process of PINN-MG is completely unsupervised and does not require any prior knowledge or datasets, which greatly reduces the previous workload of producing structured mesh datasets. Experimental results show that PINN-MG can generate higher quality structured quad meshes than other methods, and has the advantages of traditional algebraic methods and differential methods.

cs.CE

Topological doublon edge states induced by the spatially modulated interactions

The topological properties of the one-dimensional interacting systems with spatially modulated interaction in two-particle regime are theoretically investigated. Taking the boson-Hubbard model and spinless fermion interacting model as examples, we show that the energy spectra for doublon (known as two-particle pair) as a function of modulated period exhibit the butterfly-like structure for strongly-correlated limit, whose topological features can be decoded by the topological invariants and topological nontrivial doublon bound edge states. When the nearest-neighbor hopping evolves stronger, the doublon bands could intersect with scattering bands, the one-dimensional interacting systems display the phases of topological insulators and two-particle bound states in the continuum. For a sufficiently larger nearest-neighbor hopping, the doublon collapse takes place, where both the bulk doublon states and topological doublon edge states become unstable and could dissociate into two weakly interacting bosons. For the mapped two-dimensional single-particle systems, numerical calculations manifest the existence of the topological insulator and topological metal phases with corner states located in only one or two corners.

cond-mat.str-el

MQENet: A Mesh Quality Evaluation Neural Network Based on Dynamic Graph Attention

With the development of computational fluid dynamics, the requirements for the fluid simulation accuracy in industrial applications have also increased. The quality of the generated mesh directly affects the simulation accuracy. However, previous mesh quality metrics and models cannot evaluate meshes comprehensively and objectively. To this end, we propose MQENet, a structured mesh quality evaluation neural network based on dynamic graph attention. MQENet treats the mesh evaluation task as a graph classification task for classifying the quality of the input structured mesh. To make graphs generated from structured meshes more informative, MQENet introduces two novel structured mesh preprocessing algorithms. These two algorithms can also improve the conversion efficiency of structured mesh data. Experimental results on the benchmark structured mesh dataset NACA-Market show the effectiveness of MQENet in the mesh quality evaluation task.

cs.CE

Twisted quantum affine algebras and equivariant $ϕ$-coordinated modules for quantum vertex algebras

This paper is about establishing a natural connection of quantum affine algebras with quantum vertex algebras. Among the main results, we establish $\hbar$-adic versions of the smash product construction of quantum vertex algebras and their $ϕ$-coordinated quasi modules, which were obtained before in a sequel, we construct a family of $\hbar$-adic quantum vertex algebras $V_L[[\hbar]]^η$ as deformations of the lattice vertex algebras $V_L$, and establish a natural connection between twisted quantum affine algebras of type $A, D, E$ and equivariant $ϕ$-coordinated quasi modules for the $\hbar$-adic quantum vertex algebras $V_L[[\hbar]]^η$ with certain specialized $η$.

math.QA

Boundary Guided Semantic Learning for Real-time COVID-19 Lung Infection Segmentation System

The coronavirus disease 2019 (COVID-19) continues to have a negative impact on healthcare systems around the world, though the vaccines have been developed and national vaccination coverage rate is steadily increasing. At the current stage, automatically segmenting the lung infection area from CT images is essential for the diagnosis and treatment of COVID-19. Thanks to the development of deep learning technology, some deep learning solutions for lung infection segmentation have been proposed. However, due to the scattered distribution, complex background interference and blurred boundaries, the accuracy and completeness of the existing models are still unsatisfactory. To this end, we propose a boundary guided semantic learning network (BSNet) in this paper. On the one hand, the dual-branch semantic enhancement module that combines the top-level semantic preservation and progressive semantic integration is designed to model the complementary relationship between different high-level features, thereby promoting the generation of more complete segmentation results. On the other hand, the mirror-symmetric boundary guidance module is proposed to accurately detect the boundaries of the lesion regions in a mirror-symmetric way. Experiments on the publicly available dataset demonstrate that our BSNet outperforms the existing state-of-the-art competitors and achieves a real-time inference speed of 44 FPS.

eess.IV

Trigonometric Lie algebras, affine Kac-Moody Lie algebras, and equivariant quasi modules for vertex algebras

In this paper, we study a family of infinite-dimensional Lie algebras $\widehat{X}_{S}$, where $X$ stands for the type: $A,B,C,D$, and $S$ is an abelian group, which generalize the $A,B,C,D$ series of trigonometric Lie algebras. Among the main results, we identify $\widehat{X}_{S}$ with what are called the covariant algebras of the affine Lie algebra $\widehat{\mathcal{L}_{S}}$ with respect to some automorphism groups, where $\mathcal{L}_{S}$ is an explicitly defined associative algebra viewed as a Lie algebra. We then show that restricted $\widehat{X}_{S}$-modules of level $\ell$ naturally correspond to equivariant quasi modules for affine vertex algebras related to $\mathcal{L}_{S}$. Furthermore, for any finite cyclic group $S$, we completely determine the structures of these four families of Lie algebras, showing that they are essentially affine Kac-Moody Lie algebras of certain types.

math.QA

BCS-Net: Boundary, Context and Semantic for Automatic COVID-19 Lung Infection Segmentation from CT Images

The spread of COVID-19 has brought a huge disaster to the world, and the automatic segmentation of infection regions can help doctors to make diagnosis quickly and reduce workload. However, there are several challenges for the accurate and complete segmentation, such as the scattered infection area distribution, complex background noises, and blurred segmentation boundaries. To this end, in this paper, we propose a novel network for automatic COVID-19 lung infection segmentation from CT images, named BCS-Net, which considers the boundary, context, and semantic attributes. The BCS-Net follows an encoder-decoder architecture, and more designs focus on the decoder stage that includes three progressively Boundary-Context-Semantic Reconstruction (BCSR) blocks. In each BCSR block, the attention-guided global context (AGGC) module is designed to learn the most valuable encoder features for decoder by highlighting the important spatial and boundary locations and modeling the global context dependence. Besides, a semantic guidance (SG) unit generates the semantic guidance map to refine the decoder features by aggregating multi-scale high-level features at the intermediate resolution. Extensive experiments demonstrate that our proposed framework outperforms the existing competitors both qualitatively and quantitatively.

eess.IV

Twisted regular representations of vertex operator algebras

This paper is to study what we call twisted regular representations for vertex operator algebras. Let $V$ be a vertex operator algebra, let $σ_1,σ_2$ be commuting finite-order automorphisms of $V$ and let $σ=(σ_1σ_2)^{-1}$. Among the main results, for any $σ$-twisted $V$-module $W$ and any nonzero complex number $z$, we construct a weak $σ_1\otimes σ_2$-twisted $V\otimes V$-module $\mathfrak{D}_{σ_1,σ_2}^{(z)}(W)$ inside $W^{*}$. Let $W_1,W_2$ be $σ_1$-twisted, $σ_2$-twisted $V$-modules, respectively. We show that $P(z)$-intertwining maps from $W_1\otimes W_2$ to $W^{*}$ are the same as homomorphisms of weak $σ_1\otimes σ_2$-twisted $V\otimes V$-modules from $W_1\otimes W_2$ into $\mathfrak{D}_{σ_1,σ_2}^{(z)}(W)$. We also show that a $P(z)$-intertwining map from $W_1\otimes W_2$ to $W^{*}$ is equivalent to an intertwining operator of type $\binom{W'}{W_1\; W_2}$, which is a twisted version of a result of Huang and Lepowsky. Finally, we show that for each $τ$-twisted $V$-module $M$ with $τ$ any finite-order automorphism of $V$, the coefficients of the $q$-graded trace function lie in $\mathfrak{D}_{τ,τ^{-1}}^{(-1)}(V)$, which generate a $τ\otimes τ^{-1}$-twisted $V\otimes V$-submodule isomorphic to $M\otimes M'$.

math.QA

Regular representations and $A_{n}(V)$-$A_{m}(V)$ bimodules

This paper is to establish a natural connection between regular representations for a vertex operator algebra $V$ and $A_{n}(V)$-$A_{m}(V)$ bimodules of Dong and Jiang. Let $W$ be a weak $V$-module and let $(m,n)$ be a pair of nonnegative integers. We study two quotient spaces $A_{n,m}^{\dagger}(W)$ and $A^{\diamond}_{n,m}(W)$ of $W$. It is proved that the dual space $A^{\dagger}_{n,m}(W)^{*}$ viewed as a subspace of $W^*$ coincides with the level-$(m,n)$ vacuum subspace of the regular representation module $\mathfrak{D}_{(-1)}(W)$. By making use of this connection, we obtain an $A_{n}(V)$-$A_m(V)$ bimodule structure on both $A_{n,m}^{\dagger}(W)$ and $A^{\diamond}_{n,m}(W)$. Furthermore, we obtain an $\N$-graded weak $V$-module structure together with a commuting right $A_m(V)$-module structure on $A^{\diamond}_{\Box,m}(W):=\oplus_{n\in \N}A^{\diamond}_{n,m}(W)$. Consequently, we recover the corresponding results and roughly confirm a conjecture of Dong and Jiang.

math.QA

A review on vision-based analysis for automatic dietary assessment

Background: Maintaining a healthy diet is vital to avoid health-related issues, e.g., undernutrition, obesity and many non-communicable diseases. An indispensable part of the health diet is dietary assessment. Traditional manual recording methods are not only burdensome but time-consuming, and contain substantial biases and errors. Recent advances in Artificial Intelligence (AI), especially computer vision technologies, have made it possible to develop automatic dietary assessment solutions, which are more convenient, less time-consuming and even more accurate to monitor daily food intake. Scope and approach: This review presents Vision-Based Dietary Assessment (VBDA) architectures, including multi-stage architecture and end-to-end one. The multi-stage dietary assessment generally consists of three stages: food image analysis, volume estimation and nutrient derivation. The prosperity of deep learning makes VBDA gradually move to an end-to-end implementation, which applies food images to a single network to directly estimate the nutrition. The recently proposed end-to-end methods are also discussed. We further analyze existing dietary assessment datasets, indicating that one large-scale benchmark is urgently needed, and finally highlight critical challenges and future trends for VBDA. Key findings and conclusions: After thorough exploration, we find that multi-task end-to-end deep learning approaches are one important trend of VBDA. Despite considerable research progress, many challenges remain for VBDA due to the meal complexity. We also provide the latest ideas for future development of VBDA, e.g., fine-grained food analysis and accurate volume estimation. This review aims to encourage researchers to propose more practical solutions for VBDA.

cs.CV

On a family of vertex operator superalgebras

This paper is to study vertex operator superalgebras which are strongly generated by their weight-$2$ and weight-$\frac{3}{2}$ homogeneous subspaces. Among the main results, it is proved that if such a vertex operator superalgebra $V$ is simple, then $V_{(2)}$ has a canonical commutative associative algebra structure equipped with a non-degenerate symmetric associative bilinear form and $V_{(\frac{3}{2})}$ is naturally a $V_{(2)}$-module equipped with a $V_{(2)}$-valued symmetric bilinear form and a non-degenerate ($\mathbb{C}$-valued) symmetric bilinear form, satisfying a set of conditions. On the other hand, assume that $A$ is any commutative associative algebra equipped with a non-degenerate symmetric associative bilinear form and assume that $U$ is an $A$-module equipped with a symmetric $A$-valued bilinear form and a non-degenerate ($\mathbb{C}$-valued) symmetric bilinear form, satisfying the corresponding conditions. Then we construct a Lie superalgebra $\mathcal{L}(A,U)$ and a simple vertex operator superalgebra $L_{\mathcal{L}(A,U)}(\ell,0)$ for every nonzero number $\ell$ such that $L_{\mathcal{L}(A,U)}(\ell,0)_{(2)}=A$ and $L_{\mathcal{L}(A,U)}(\ell,0)_{(\frac{3}{2})}=U$.

math.QA

Efficient Light Field Reconstruction via Spatio-Angular Dense Network

As an image sensing instrument, light field images can supply extra angular information compared with monocular images and have facilitated a wide range of measurement applications. Light field image capturing devices usually suffer from the inherent trade-off between the angular and spatial resolutions. To tackle this problem, several methods, such as light field reconstruction and light field super-resolution, have been proposed but leaving two problems unaddressed, namely domain asymmetry and efficient information flow. In this paper, we propose an end-to-end Spatio-Angular Dense Network (SADenseNet) for light field reconstruction with two novel components, namely correlation blocks and spatio-angular dense skip connections to address them. The former performs effective modeling of the correlation information in a way that conforms with the domain asymmetry. And the latter consists of three kinds of connections enhancing the information flow within two domains. Extensive experiments on both real-world and synthetic datasets have been conducted to demonstrate that the proposed SADenseNet's state-of-the-art performance at significantly reduced costs in memory and computation. The qualitative results show that the reconstructed light field images are sharp with correct details and can serve as pre-processing to improve the accuracy of related measurement applications.

eess.IV

Fusion products of twisted modules in permutation orbifolds

Let $V$ be a vertex operator algebra, $k$ a positive integer and $σ$ a permutation automorphism of the vertex operator algebra $V^{\otimes k}$. In this paper, we determine the fusion product of any $V^{\otimes k}$-module with any $σ$-twisted $V^{\otimes k}$-module.

math.QA