AI & ML
A virtual element exterior calculus framework
arXiv cs.NA0 views
arXiv:2611.09813v1 Announce Type: new Abstract: We develop a conforming virtual element framework for differential forms on general polytopal meshes in arbitrary dimension and at arbitrary order. Recursive local Hodge-Laplace boundary value problems define a trimmed virtual de Rham complex, from which moment constraints yield a complete subcomplex. The local spaces of these two complexes contain the trimmed and complete polynomial spaces of differential forms, respectively, and admit unisolvent degrees of freedom and computable polynomial projections. The canonical interpolants commute with the exterior derivative, and both complexes have cohomology isomorphic to that of the continuous de Rham complex. For both virtual families, we establish negative-norm inverse estimates and mesh-uniform norm equivalences in all form degrees. We further derive canonical interpolation error bounds and discrete Poincar'e inequalities. As an application, we obtain an inf-sup stable mixed Hodge-Laplace method with harmonic variables and optimal-order convergence under sufficient regularity. Moreover, the two conforming complexes are cochain isomorphic to their fully discrete counterparts (J. Eur. Math. Soc., 2025, doi:10.4171/JEMS/1602), and the norm equivalences provide a key analytical bridge between the conforming and fully discrete formulations.
Source:https://arxiv.org/abs/2611.09813PreviousFinite-time Cholesky FactorizationNextMass-lumped finite elements with maximum-bound preservation and original-energy dissipation for the degenerate-mobility Allen-Cahn equation
Related posts
An Empirical Analysis of Static Analysis Methods for Detection and Mitigation of Code Library Hallucinations
0arXiv cs.SE
TATG: Tracking-Aware Testing Objective for LLM-based Test Generation
0arXiv cs.SE
MCP Server Architecture Patterns for LLM-Integrated Applications
0arXiv cs.SE
Introducing Cluster Efficiency to LLM Serving: Pooling Economical Accelerators over Fast Interconnects
0arXiv cs.DC
Evidence-Linked Radiology Reporting: A Human-Supervised Reference Architecture for Structured Imaging Intelligence
0arXiv cs.HC
Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery
0arXiv cs.HC