arXiv subjects

Wenju Zhao

Publications and source records attributed to Wenju Zhao.

10 recordsLinked to original sources

arXiv2026

EvoCG: Self-Evolving Precision Control for Faster Conjugate Gradient

Modern GPUs offer far higher throughput in low precision than in FP64, but exploiting this in conjugate gradient (CG) solvers is difficult because tolerance to reduced precision evolves with the Krylov state. We present EvoCG, a mixed-precision CG solver that treats tile-wise precision as an online control action rather than a fixed setting: a reinforcement-learning policy in the iteration loop selects per-tile precision from the evolving solver state, made profitable by co-design with a Tile-CSC unified mixed-precision SpMV kernel and a low-overhead in-loop runtime. Across 47 SPD matrices from eight scientific domains, EvoCG is the fastest solver overall, with geometric-mean speedups of 2.52x, 3.06x, 2.48x, 1.93x, and 6.99x over cuSPARSE, PETSc, Ginkgo, Mille-FP64, and Mille-Mixed. On the same substrate, it improves time-to-solution over EvoCG-FP64 by 1.28x at only 11.4% more iterations and 1.09% overhead, with FP64-recomputed final true-residual norms nearly identical to those of FP64, and extends to Jacobi-preconditioned CG without retraining, yielding a further 1.15x geometric-mean speedup over EvoCG-FP64.

cs.DC↗

arXiv2026

ActTune: Action-Aware Precision and GPU Operating-Point Adaptation for Energy-Efficient Vision-Language-Action Inference

Vision-language-action (VLA) policies repeatedly invoke inference to control robots, making graphics processing unit (GPU) energy a recurring cost of task execution. Reducing energy per inference call, however, may not reduce energy per successful task if numerical errors increase failures or slower inference prolongs execution. We therefore target GPU energy per successful task while preserving task success and keeping the inference-latency increase within 10\%. Our approach builds on two observations: quantization sensitivity varies across action classes, model layers, and weights versus activations; and numerical precision changes the workload, shifting favorable GPU operating points. We introduce ActTune, an action-aware framework that connects layer-wise precision allocation with workload-dependent GPU operating-point selection over requested frequency--power-cap pairs. A lightweight decision tree learns its splits and leaf precision configurations directly from configuration action errors, then selects precision before each policy call. The controller forecasts the next workload and applies the selected GPU operating point asynchronously using a lookup table calibrated under a latency budget. A shared resident quantized weight bank enables configuration switching without weight reconstruction or additional policy evaluations. On LIBERO, a benchmark for lifelong robot learning, ActTune improves mean task success by up to 2.3\% relative to state of the art. Relative to the original BF16 implementations, it delivers up to $2.02\times$ faster inference and, with GPU operating-point adaptation, reduces energy per successful task by up to 76.8\%.

cs.RO↗

arXiv2026

From Splats to Silicon: Rethinking Computational Efficiency of 3DGS

3D Gaussian splatting (3DGS) represents scenes with explicit primitives and supports real-time novel-view synthesis, yet its system efficiency varies substantially across scenes, viewpoints, rendering paths, and platform constraints. Existing studies pursue efficiency through representation and algorithm design, GPU runtime optimization, and architectural support, but their reported gains correspond to different points along the rendering and update paths. Connecting these indicators to end-to-end system benefit requires tracing how each optimization changes Gaussian selection, screen-space work, data movement, and stage or frame time. We therefore use a workload-centric framework to connect representation and algorithm research, GPU runtimes, and hardware architectures and to identify recurring workload patterns. We complement literature analysis with reproduced measurements and controlled GPU profiling of selected implementations, relating workload counts to stage time and memory traffic. Together, these comparisons show that system gains depend on workload reductions reaching downstream execution, granularity matching each stage, and the cost of data transfers, synchronization, and cached results, gradients, and optimizer data. Building on these findings, we discuss more consistent evaluation under rendering-quality constraints and identify key directions for future system design.

cs.AR↗

arXiv2026

A Coupled Conforming-Nonconforming Galerkin Method for Poisson's Equation on Curved Domains

A coupled conforming-nonconforming Galerkin method is proposed for Poisson's equation on two-dimensional curved domains. The method applies a weak Galerkin discretization only on a thin boundary layer of curvilinear elements near the curved boundary, while using a standard continuous Galerkin discretization in the polygonal interior. In this way, geometric flexibility is retained where it is needed most, and the number of nonconforming degrees of freedom is significantly reduced. A key ingredient is a mixed interpolation-projection operator on curvilinear weak Galerkin elements, combining $L^2$ edge projections with conforming nodal interpolation on the interface side to ensure compatibility with the continuous Galerkin trace. Based on this construction, we prove an optimal a priori error estimate of order $O(h^k)$ in the energy norm under the basic geometric assumptions of the method, and an optimal $L^2(Ω)$ estimate of order $O(h^{k+1})$ under the additional elliptic dual regularity assumption. Numerical experiments confirm the theoretical rates and demonstrate substantial savings in degrees of freedom compared with a fully weak Galerkin discretization.

math.NA↗

arXiv2026

Cell-induced densification and tether formation in fibrous extracellular matrices with biomimetic physics-informed neural networks

Nonconvex multi-well energies in cell-induced phase transitions give rise to fine-scale microstructures, low-regularity transition layers and sharp interfaces, all of which pose numerical challenges for physics-informed learning. Here we introduce biomimetic physics-informed neural networks (Bio-PINNs), which implement a near-to-far curriculum by progressively revealing the computational domain away from the cell boundary and combining this schedule with a deformation-uncertainty proxy that concentrates collocation points near evolving transition layers and tether-forming regions. Across single-cell and multicellular benchmarks, Bio-PINNs recover the densified phase more reliably near cell boundaries and in intercellular gaps, while capturing tether morphology more faithfully than representative ungated and residual-driven adaptive baselines.

cs.LG↗

arXiv2025

Unconditionally Stable, Variable Step DLN Methods for the Allen-Cahn Active Fluid Model: A Divergence-free Preserving Approach

This paper addresses the divergence-free mixed finite element method (FEM) for nonlinear fourth-order Allen-Cahn phase field coupled active fluid equations. By introducing an auxiliary variable $w = Δu$, the original fourth-order problem is converted into a system of second-order equations, thereby easing the regularity constraints imposed on standard $H^2$-comforming finite element spaces. To further refine the formulation, an additional auxiliary variable $ξ$, analogous to the pressure, is introduced, resulting in a mixed finite element scheme that preserves the divergence-free condition in $which = Δu$ inherited from the model. A fully discrete scheme is then established by combining the spatial approximation by the divergence-free mixed finite element method with the variable-step Dahlquist-Liniger-Nevanlinna (DLN) time integrator. The boundedness of the scheme is rigorously derived under suitable regularity assumptions. Additionally, an adaptive time-stepping strategy based on the minimum dissipation criterion is carried out to enhance computational efficiency. Several numerical experiments validate the theoretical findings and demonstrate the method's effectiveness and accuracy in simulating complex active fluid dynamics.

math.NA↗

arXiv2025

A Divergence-free Preserving Mixed Finite Element Method for Thermally Driven Active Fluid Model

In this report, we propose a divergence-free preserving mixed finite element method (FEM) for the system of nonlinear fourth-order thermally driven active fluid equations. By introducing two auxiliary variables, we lower the complexity of the model and enhance the robustness of the algorithm. The auxiliary variable $w = Δu$ is used to convert the original fourth-order system to an equivalent system of second-order equations, thereby easing the regularity constraints imposed on standard $H^2$-conforming finite element space. The second variable $η$, analogous to the pressure, helps the scheme preserve the divergence-free condition arising from the model. The two-step Dahlquist-Liniger-Nevanlinna (DLN) time integrator, unconditionally non-linear stable and second-order accurate under non-uniform time grids, is combined with the mixed FEM for fully discrete approximation. Due to the fine properties of the DLN scheme, we prove the boundedness of model energy and the associated error estimates under suitable regularity assumptions and mild time restrictions. Additionally, an adaptive time-stepping strategy based on a minimum-dissipation criterion is to balance computational costs and time efficiency. Several numerical experiments validate the theoretical findings and demonstrate the method's effectiveness and accuracy in simulating complex active fluid dynamics.

math.NA↗

arXiv2025

Divergence-free Preserving Mix Finite Element Methods for Fourth-order Active Fluid Model

This paper is concerned with mixed finite element method (FEM) for solving the two-dimensional, nonlinear fourth-order active fluid equations. By introducing an auxiliary variable $w=-Δu$, the original fourth problem is transformed into a system of second-order equations, which relaxes the regularity requirements of standard $H^2$-conforming finite spaces. To further enhance the robustness and efficiency of the algorithm, an additional auxiliary variable $ϕ$, treated analogously to the pressure, is introduced, leading to a divergence-free preserving mixed finite element scheme. A fully discrete scheme is then constructed by coupling the spatial mixed FEM with the variable-step Dahlquist-Liniger-Nevanlinna (DLN) time integrator. The boundedness of the scheme and corresponding error estimates can be rigorously proven under appropriate assumptions due to unconditional non-linear stability and second-order accuracy of the DLN method. To enhance computational efficiency in practice, we develop an adaptive time-stepping strategy based on a minimum-dissipation criterion. Several numerical experiments are displayed to fully validate the theoretical results and demonstrate the accuracy and efficiency of the scheme for complex active fluid simulations.

math.NA↗

arXiv2023

Weak Galerkin finite element method for second order problems on curvilinear polytopal meshes with Lipschitz continuous edges or faces

In this paper, we propose new basis functions defined on curved sides or faces of curvilinear elements (polygons or polyhedrons with curved sides or faces) for the weak Galerkin finite element method. Those basis functions are constructed by collecting linearly independent traces of polynomials on the curved sides/faces. We then analyze the modified weak Galerkin method for the elliptic equation and the interface problem on curvilinear polytopal meshes with Lipschitz continuous edges or faces. The method is designed to deal with less smooth complex boundaries or interfaces. Optimal convergence rates for $H^1$ and $L^2$ errors are obtained, and arbitrary high orders can be achieved for sufficiently smooth solutions. The numerical algorithm is discussed and tests are provided to verify theoretical findings.

math.NA↗

arXiv2018

High-dimensional Stochastic Inversion via Adjoint Models and Machine Learning

Performing stochastic inversion on a computationally expensive forward simulation model with a high-dimensional uncertain parameter space (e.g. a spatial random field) is computationally prohibitive even with gradient information provided. Moreover, the `nonlinear' mapping from parameters to observables generally gives rise to non-Gaussian posteriors even with Gaussian priors, thus hampering the use of efficient inversion algorithms designed for models with Gaussian assumptions. In this paper, we propose a novel Bayesian stochastic inversion methodology, characterized by a tight coupling between a gradient-based Langevin Markov Chain Monte Carlo (LMCMC) method and a kernel principal component analysis (KPCA). This approach addresses the `curse-of-dimensionality' via KPCA to identify a low-dimensional feature space within the high-dimensional and nonlinearly correlated spatial random field. Moreover, non-Gaussian full posterior probability distribution functions are estimated via an efficient LMCMC method on both the projected low-dimensional feature space and the recovered high-dimensional parameter space. We demonstrate this computational framework by integrating and adapting recent developments such as data-driven statistics-on-manifolds constructions and reduction-through-projection techniques to solve inverse problems in linear elasticity.

stat.CO↗