arXiv subjects

Chunyu Chen

Publications and source records attributed to Chunyu Chen.

12 recordsLinked to original sources

arXiv2026

Explicit Planar Finite Element Elasticity Complexes and $C^1$ Elements on Barycentric Refinements

The exact-sequence structure behind the Arnold--Douglas--Gupta family of higher-order mixed finite elements for plane elasticity on barycentric refinements is made explicit. On each macro triangle, the symmetric stress space is obtained by enriching polynomial stresses with three locally supported functions. We derive closed-form formulas for these enrichments and identify explicit Airy potentials that generate them. This leads to a concrete Hsieh--Clough--Tocher type $C^1$ potential space whose Airy image is exactly the Arnold--Douglas--Gupta stress space. By enforcing single-valued degrees of freedom, we obtain global spaces and a fully explicit finite element elasticity complex on simply connected domains. As a consequence, we construct a new family of $C^1$ finite elements on barycentric refinements, including quadratic, cubic, quartic, and higher-order elements.

math.NA↗

arXiv2025

FEALPy: A Cross-platform Intelligent Numerical Simulation Engine

In resent years, the software ecosystem for numerical simulation still remains fragmented, with different algorithms and discretization methods often implemented in isolation, each with distinct data structures and programming conventions. This fragmentation is compounded by the growing divide between packages from different research fields and the lack of a unified, universal data structure, hindering the development of integrated, cross-platform solutions. In this work, we introduce FEALPy, a numerical simulation engine built around a unified tensor abstraction layer in a modular design. It enables seamless integration between diverse numerical methods along with deep learning workflows. By supporting multiple computational backends such as NumPy, PyTorch, and JAX, FEALPy ensures consistent adaptability across CPU and GPU hardware systems. Its modular architecture facilitates the entire simulation pipeline, from mesh handling and assembly to solver execution, with built-in support for automatic differentiation. In this paper, the versatility and efficacy of the framework are demonstrated through applications spanning linear elasticity, high-order PDEs, moving mesh methods, inverse problems and path planning.

math.NA↗

arXiv2025

Implementation and Basis Construction for Smooth Finite Element Spaces

The construction of $C^m$ conforming finite elements on simplicial meshes has recently advanced through the groundbreaking work of Hu, Lin, and Wu (Found. Comput. Math. 24, 2024). Their framework characterizes smoothness via moments of normal derivatives over subsimplices, leading to explicit degrees of freedom and unisolvence, unifying earlier constructions. However, the absence of explicit basis functions has left these spaces largely inaccessible for practical computation. In parallel, multivariate spline theory (Chui and Lai, J. Approx. Theory 60, 1990) enforces $C^m$ smoothness through linear constraints on Bernstein--B\'{e}zier coefficients, but stable, locally supported bases remain elusive beyond low dimensions. Building on the geometric decomposition of the simplicial lattice proposed by Chen and Huang (Math. Comp. 93, 2024), this work develops an explicit, computable framework for smooth finite elements. The degrees of freedom defined by moments of normal derivatives are modified to align with the dual basis of the Bernstein polynomials, yielding structured local bases on each simplex. Explicit basis construction is essential not merely for completeness, but for enabling efficient matrix assembly, global continuity, and scalable solution of high-order elliptic partial differential equations. This development closes the gap between theoretical existence and practical realization, making smooth finite element methods accessible to broad computational applications.

math.NA↗

arXiv2025

Global Energy Minimization for Simplex Mesh Optimization: A Radius Ratio Approach to Sliver Elimination

This paper constructs an energy function for simplex mesh based on the radius ratio and develops a corresponding mesh optimization method. The method combines vertex relocation and connectivity improvement, and can effectively remove slivers and improve the overall mesh quality. Based on the structure of the gradient of the energy function, we design a preconditioner, which reduces the number of iterations and improves the efficiency of the optimization algorithm. Numerical experiments show that the proposed method is effective in both sliver removal and mesh quality improvement.

math.NA↗

arXiv2025

BQSched: A Non-intrusive Scheduler for Batch Concurrent Queries via Reinforcement Learning

Most large enterprises build predefined data pipelines and execute them periodically to process operational data using SQL queries for various tasks. A key issue in minimizing the overall makespan of these pipelines is the efficient scheduling of concurrent queries within the pipelines. Existing tools mainly rely on simple heuristic rules due to the difficulty of expressing the complex features and mutual influences of queries. The latest reinforcement learning (RL) based methods have the potential to capture these patterns from feedback, but it is non-trivial to apply them directly due to the large scheduling space, high sampling cost, and poor sample utilization. Motivated by these challenges, we propose BQSched, a non-intrusive Scheduler for Batch concurrent Queries via reinforcement learning. Specifically, BQSched designs an attention-based state representation to capture the complex query patterns, and proposes IQ-PPO, an auxiliary task-enhanced proximal policy optimization (PPO) algorithm, to fully exploit the rich signals of Individual Query completion in logs. Based on the RL framework above, BQSched further introduces three optimization strategies, including adaptive masking to prune the action space, scheduling gain-based query clustering to deal with large query sets, and an incremental simulator to reduce sampling cost. To our knowledge, BQSched is the first non-intrusive batch query scheduler via RL. Extensive experiments show that BQSched can significantly improve the efficiency and stability of batch query scheduling, while also achieving remarkable scalability and adaptability in both data and queries. For example, across all DBMSs and scales tested, BQSched reduces the overall makespan of batch queries on TPC-DS benchmark by an average of 34% and 13%, compared with the commonly used heuristic strategy and the adapted RL-based scheduler, respectively.

cs.DB↗

arXiv2024

3D Face Reconstruction Using A Spectral-Based Graph Convolution Encoder

Monocular 3D face reconstruction plays a crucial role in avatar generation, with significant demand in web-related applications such as generating virtual financial advisors in FinTech. Current reconstruction methods predominantly rely on deep learning techniques and employ 2D self-supervision as a means to guide model learning. However, these methods encounter challenges in capturing the comprehensive 3D structural information of the face due to the utilization of 2D images for model training purposes. To overcome this limitation and enhance the reconstruction of 3D structural features, we propose an innovative approach that integrates existing 2D features with 3D features to guide the model learning process. Specifically, we introduce the 3D-ID Loss, which leverages the high-dimensional structure features extracted from a Spectral-Based Graph Convolution Encoder applied to the facial mesh. This approach surpasses the sole reliance on the 3D information provided by the facial mesh vertices coordinates. Our model is trained using 2D-3D data pairs from a combination of datasets and achieves state-of-the-art performance on the NoW benchmark.

cs.CV↗

arXiv2023

Geometric Decomposition and Efficient Implementation of High Order Face and Edge Elements

This study investigates high-order face and edge elements in finite element methods, with a focus on their geometric attributes, indexing management, and practical application. The exposition begins by a geometric decomposition of Lagrange finite elements, setting the foundation for further analysis. The discussion then extends to $H(\rm{div})$-conforming and $H(\rm{curl})$-conforming finite element spaces, adopting variable frames across differing sub-simplices. The imposition of tangential or normal continuity is achieved through the strategic selection of corresponding bases. The paper concludes with a focus on efficient indexing management strategies for degrees of freedom, offering practical guidance to researchers and engineers. It serves as a comprehensive resource that bridges the gap between theory and practice.

math.NA↗

arXiv2023

Anisotropic analysis of VEM for time-harmonic Maxwell equations in inhomogeneous media with low regularity

It has been extensively studied in the literature that solving Maxwell equations is very sensitive to the mesh structure, space conformity and solution regularity. Roughly speaking, for almost all the methods in the literature, optimal convergence for low-regularity solutions heavily relies on conforming spaces and highly-regular simplicial meshes. This can be a significant limitation for many popular methods based on polytopal meshes in the case of inhomogeneous media, as the discontinuity of electromagnetic parameters can lead to quite low regularity of solutions near media interfaces, and potentially worsened by geometric singularities, making many popular methods based on broken spaces, non-conforming or polytopal meshes particularly challenging to apply. In this article, we present a virtual element method for solving an indefinite time-harmonic Maxwell equation in 2D inhomogeneous media with quite arbitrary polytopal meshes, and the media interface is allowed to have geometric singularity to cause low regularity. There are two key novelties: (i) the proposed method is theoretically guaranteed to achieve robust optimal convergence for solutions with merely $\mathbf{H}^{\theta}$ regularity, $\theta\in(1/2,1]$; (ii) the polytopal element shape can be highly anisotropic and shrinking, and an explicit formula is established to describe the relationship between the shape regularity and solution regularity. Extensive numerical experiments will be given to demonstrate the effectiveness of the proposed method.

math.NA↗

arXiv2022

Virtual Element Methods Without Extrinsic Stabilization

Virtual element methods (VEMs) without extrinsic stabilization in arbitrary degree of polynomial are developed for second order elliptic problems, including a nonconforming VEM and a conforming VEM in arbitrary dimension. The key is to construct local $H(\textrm{div})$-conforming macro finite element spaces such that the associated $L^2$ projection of the gradient of virtual element functions is computable, and the $L^2$ projector has a uniform lower bound on the gradient of virtual element function spaces in $L^2$ norm. Optimal error estimates are derived for these VEMs. Numerical experiments are provided to test the VEMs without extrinsic stabilization.

math.NA↗

arXiv2020

Vulnerability Assessment of Load Frequency Control Considering Cyber Security

Security is one of the biggest concern in power system operation. Recently, the emerging cyber security threats to operational functions of power systems arouse high public attention, and cybersecurity vulnerability thus become an emerging topic to evaluate compromised operational performance under cyber attack. In this paper, vulnerability of cyber security of load frequency control (LFC) system, which is the key component in energy manage system (EMS), is assessed by exploiting the system response to attacks on LFC variables/parameters. Two types of attacks: 1) injection attack and 2) scale attack are considered for evaluation. Two evaluation criteria reflecting the damage on system stability and power generation are used to quantify system loss under cyber attacks. Through a sensitivity-based method and attack tree models, the vulnerability of different LFC components is ranked. In addition, a post-intrusion cyber attack detection scheme is proposed. Classification-based schemes using typical classification algorithms are studied and compared to identify different attack scenarios.

eess.SY↗

arXiv2020

An adaptive virtual element method for the polymer self-consistent field theory

In this paper, we develop a high-order adaptive virtual element method (VEM) to simulate the self-consistent field theory (SCFT) model in arbitrary domains. The VEM is very flexible in handling general polygon elements and can treat hanging nodes as polygon vertices without additional processing. Besides, to effectively simulate the phase separation behavior in strong segregation systems, an adaptive method on polygonal mesh equipped with a new marking strategy is developed. This new marking strategy will indicate the times of marked elements to be refined and coarsened, making full use of the information contained in the current numerical results. Using the halfedge data structure, we can apply the adaptive method to the arbitrary polygonal mesh. Numerical results demonstrate that the developed method is efficient in simulating polymers' phase behavior in complex geometric domains. The accuracy is consistent with theoretical results. The adaptive method can greatly reduce computational costs to obtain prescribed numerical accuracy for strong segregation systems.

math.NA↗

arXiv2013

Experiments in Information Sharing

This paper reports experimental data describing the dynamics of three key information-sharing outcomes: quantity of information shared, falsification and accuracy. The experimental design follows a formal model predicting that cooperative incentives are needed to motivate subsidiaries of large organizations to share information. Empirical reaction functions reveal how lagged values of information-sharing outcomes influence information sharing in the current round. Cooperative treatments pay bonuses to everyone if at least one individual (or subsidiary) achieves accuracy. Tournament treatments pay a single bonus to whoever achieves accuracy first. As expected, tournament incentives tend to reduce sharing, increase falsification and impair accuracy. Several surprises not predicted by the formal model emerge from the data. Conditional cooperation occurs regardless of the incentive scheme, implying that the mechanism through which incentives influence improvements in information sharing is indirect.

cs.GT↗