arXiv subjects

Hao-Ning Wu

Publications and source records attributed to Hao-Ning Wu.

At least 19 recordsLinked to original sources

arXiv2026

Cellular flow control design for mixing based on the least action principle

We consider a novel approach for the enhancement of fluid mixing via pure stirring strategies building upon the Least Action Principle (LAP) for incompressible flows. The LAP is formally analogous to the Benamou--Brenier formulation of optimal transport, but imposes an incompressibility constraint. Our objective is to find a velocity field, generated by Hamiltonian flows, that minimizes the kinetic energy while ensuring that the initial scalar distribution reaches a prescribed degree of mixedness by a finite time. This formulation leads to a ``point-to-set" type of optimization problem which relaxes the requirement on controllability of the system compared to the classic LAP framework. In particular, we assume that the velocity field is induced by a finite set of cellular flows that can be controlled in time. To establish finite time feasibility, we introduce an operator-theoretic switching argument that combines the long-time cellular flow mixing result with the von Neumann alternating-projection theorem. We then leverage the direct method to establish the existence of an optimal solution. Finally, we derive the corresponding optimality conditions for the time-dependent control problem and conduct numerical experiments demonstrating the effectiveness of the proposed control design.

math.OC↗

arXiv2026

Nested QMC designs on spheres

Nested cubature rules, in which each refinement retains all previously used nodes and thus reuses earlier function evaluations, are natural in multilevel and adaptive integration. For every fixed $s>d/2$, we show that the equal-weight QMC integration rate on $\mathbb S^d$ is compatible with such nested point sets. In the subcritical range $d/2 1$. At and above the critical index $s=d$, where the block-averaging estimate no longer yields the optimal rate, we prove an equal-weight completion theorem based on low-frequency discrepancy cancellation. A block-sensitive estimate sharpens the iteration and yields nested QMC designs for all $s\ge d$ with $N_{j+1}\lesssim(j+1)^{2s/d-1}N_j$. Every prescribed finite point set also admits an optimal-rate completion.

math.NA↗

arXiv2026

Positivity loss in bandlimited spectral reproduction on spheres

How small can the positivity loss be for an $N$-bandlimited spectral operator that exactly reproduces all modes up to degree $L$? For spherical polynomial approximation on $\mathbb S^d$, we prove that the smallest possible excess of the uniform operator norm above 1, equivalently the least positivity loss, is of sharp order $\left({L}/{(N+1)}\right)^2$ when $1\le L< N$. The lower bound follows from a Fejér peak test and a concentration estimate for bandlimited kernels, while a matching upper bound is obtained by correcting a positive Jackson operator with a smooth filter. We illustrate the result in three settings. On the circle, taking $N=sL-1$, this determines the sharp order of the generalized-projection constant above 1 and identifies the gap between the $s^{-1}$ excess of delayed de la Vallée--Poussin means and the optimal $s^{-2}$ order. For filtered hyperinterpolation, whose operator norm has long been known to be uniformly bounded, we give a quantitative lower bound on its separation from the positivity threshold 1. Finally, we identify an operator-level obstruction to maximum principles.

math.NA↗

arXiv2026

Nearly tight framelet systems from nested Marcinkiewicz--Zygmund measures on compact Riemannian manifolds

Tight framelet systems on manifolds provide exact energy preservation and one-pass reconstruction, but their standard semi-discretization relies on polynomial-exact quadrature rules, which are difficult to reconcile with scattered and progressively refined data. We develop nested Marcinkiewicz--Zygmund (MZ) measures on compact Riemannian manifolds as a quantitative alternative. Using dyadic quasi-uniform nested point sets and local partition weights, we establish a sequence of deterministic MZ inequalities for diffusion polynomial spaces. The result has two complementary forms: a fixed-tolerance version, in which the polynomial bandwidth grows dyadically with the level, and a fixed-bandwidth refinement version, in which the MZ tolerance improves as more nested nodes are added. When these measures are used to discretize continuous tight framelets, the MZ tolerance transfers directly to the deviation of the frame bounds from one. Thus quadrature exactness is relaxed with a controlled loss of tightness, and near-tightness improves along the same nested hierarchy. For the fully discrete setting, we develop filter-bank analysis and synthesis procedures, characterize one-pass and canonical reconstruction, and show that the MZ tolerance also controls the conditioning of the frame-operator equation. Fast implementation of filter-bank transforms is also presented. Numerical experiments on the sphere and the flat torus illustrate the resulting multiscale decompositions and reconstruction behavior.

math.NA↗

arXiv2026

Superconvergence and aliasing saturation in Sloan iteration for spherical integral equations

Sloan iteration raises the convergence order of Galerkin and degenerate-kernel approximations to second-kind integral equations. After quadrature discretization, these become a discrete Galerkin method and a product-integration Nyström method, respectively. How much of this improvement survives quadrature discretization? For zonal integral equations on the sphere, we give a sharp answer by expressing the Sloan error identity in terms of spherical harmonics. In the absence of quadrature, Sloan iteration fully exploits the smoothing of the integral operator. Quadrature can destroy this gain by aliasing unresolved information into low-frequency modes, where further iteration no longer improves the asymptotic rate. This yields a unified tail--aliasing description of these four methods. For positive-weight polynomially exact quadrature and multipliers of exact algebraic order, we derive sharp two-sided worst-case bounds that separate the spectral-tail and aliasing contributions. Their balance yields a depth-dependent recovery--saturation threshold: sufficient overintegration recovers the quadrature-free rate, while below the threshold aliasing determines the sharp order. We also extend the analysis beyond polynomial exactness using Marcinkiewicz--Zygmund stability and Gram-corrected least squares. Numerical experiments illustrate both regimes.

math.NA↗

arXiv2026

When do perturbed Chebyshev--Lobatto points remain Chebyshev?

Chebyshev points are distinguished in polynomial interpolation by the logarithmic growth of their Lebesgue constants. This paper asks a simple question: how much can Chebyshev points be perturbed before they cease to behave like Chebyshev points? We study perturbed Chebyshev--Lobatto nodes $x_j=\cos(jπ/n+\varepsilon_j)$, with angular perturbations $|\varepsilon_j|\leq σ_n$. The study is motivated by numerical experiments showing a broad stable region when the mesh fraction $nσ_n$ is small and rapid amplification for larger perturbations; the observed transition region is consistent with the curve $nσ_n\asymp(\log n)^{-1}$. The main result is a deterministic worst-case stability estimate: if $nσ_n(\log n+1)$ is bounded by a sufficiently small constant, then the Lebesgue constant remains logarithmic. The proof uses the cosine parametrization and Bernstein's inequality for trigonometric polynomials, thereby exploiting the angular geometry of the Chebyshev--Lobatto grid rather than a Markov inequality in the physical variable. We also give a worst-case obstruction at the angular mesh scale, showing that perturbations of order $1/n$ cannot be allowed uniformly. Consequences are derived for analytic interpolation in Bernstein ellipses, for the absence of Runge-type divergence in the stable analytic regime, and for pseudospectral differentiation. Numerical experiments illustrate the transition in the Lebesgue constants, the shape of the associated Lebesgue functions, Runge-function interpolants, and finite-precision differentiation errors.

math.NA↗

arXiv2026

Hyperinterpolation beyond exact cubature: a spectral multiplier approach

We study hyperinterpolation and its spectral multiplier variants on the sphere under weak cubature assumptions formulated through Sobolev discrepancy estimates. In contrast with classical hyperinterpolation theory, our framework does not require exact polynomial cubature formulas or Marcinkiewicz--Zygmund inequalities. The main idea is to interpret the discretization error as the action of a spectral multiplier operator on the cubature discrepancy measure. This viewpoint separates approximation properties of the underlying spectral operator from geometric properties of the sampling measure, leading to stable Sobolev approximation estimates under weak cubature assumptions. The resulting theory applies to a broad class of spectral approximation operators, including sharp spectral projections, compactly supported smooth filters, Bessel potential operators, and heat kernel operators. For sufficiently localized spectral multipliers, we additionally obtain uniform $L^\infty$-stability of the corresponding discrete approximation operators. The results establish a direct connection between hyperinterpolation, Sobolev discrepancy, and quasi-Monte Carlo (QMC) designs, showing that stable approximation from scattered data can be achieved without exact polynomial reproduction.

math.NA↗

arXiv2025

Robot Learning from a Physical World Model

We introduce PhysWorld, a framework that enables robot learning from video generation through physical world modeling. Recent video generation models can synthesize photorealistic visual demonstrations from language commands and images, offering a powerful yet underexplored source of training signals for robotics. However, directly retargeting pixel motions from generated videos to robots neglects physics, often resulting in inaccurate manipulations. PhysWorld addresses this limitation by coupling video generation with physical world reconstruction. Given a single image and a task command, our method generates task-conditioned videos and reconstructs the underlying physical world from the videos, and the generated video motions are grounded into physically accurate actions through object-centric residual reinforcement learning with the physical world model. This synergy transforms implicit visual guidance into physically executable robotic trajectories, eliminating the need for real robot data collection and enabling zero-shot generalizable robotic manipulation. Experiments on diverse real-world tasks demonstrate that PhysWorld substantially improves manipulation accuracy compared to previous approaches. Visit \href{https://pointscoder.github.io/PhysWorld_Web/}{the project webpage} for details.

cs.RO↗

arXiv2025

The path of hyperinterpolation: A survey

This paper surveys hyperinterpolation, a quadrature-based approximation scheme. We cover classical results, provide examples on several domains, review recent progress on relaxed quadrature exactness, introduce methodological variants, and discuss applications to differential and integral equations.

math.NA↗

arXiv2025

Breaking quadrature exactness: A spectral method for the Allen--Cahn equation on spheres

We present a novel spectral method for the Allen-Cahn equation on spheres, eliminating the reliance on conventional quadrature exactness conditions. By replacing these conditions with a restricted isometry relation derived from Marcinkiewicz--Zygmund quadrature systems, our method achieves precise control over quadrature errors for polynomial integrands. This theoretical advancement enables the use of substantially more choices of quadrature points than classical spectral methods while maintaining rigorous error bounds. The proposed method requires only mild constraints on the polynomial degree of numerical solutions to establish both the maximum principle and energy stability, representing a considerable departure from existing techniques that depend on restrictive time stepping sizes, Lipschitz property of the nonlinear term, or $L^{\infty}$ boundedness of numerical solutions. Notably, our method permits time stepping sizes independent of the diffusion coefficient, making it suitable for long-time simulations. Inspired by the effective maximum principle proposed by Li (Ann. Appl. Math., 37(2): 131--290, 2021), we develop an almost sharp maximum principle that allows controllable deviation of numerical solutions from the sharp bound with large time stepping sizes. Furthermore, we prove that when the quadrature rule attains sufficient exactness, our method preserves energy stability and coincides mathematically with the Galerkin method. In addition, we propose an energy-stable mixed-quadrature scheme which works well even with randomly sampled initial condition data. Our numerical experiments on $\mathbb{S}^2$ validate the theoretical results about the energy stability and the almost sharp maximum principle.

math.NA↗

arXiv2024

Marcinkiewicz--Zygmund inequalities for scattered data on polygons

Given a set of scattered points on a regular or irregular 2D polygon, we aim to employ them as quadrature points to construct a quadrature rule that establishes Marcinkiewicz--Zygmund inequalities on this polygon. The quadrature construction is aided by Bernstein--Bézier polynomials. For this purpose, we first propose a quadrature rule on triangles with an arbitrary degree of exactness and establish Marcinkiewicz--Zygmund estimates for 3-, 10-, and 21-point quadrature rules on triangles. Based on the 3-point quadrature rule on triangles, we then propose the desired quadrature rule on the polygon that satisfies Marcinkiewicz--Zygmund inequalities for $1\leq p \leq \infty$. As a byproduct, we provide error analysis for both quadrature rules on triangles and polygons. Numerical results further validate our construction.

math.NA↗

arXiv2024

Spherical configurations and quadrature methods for integral equations of the second kind

In this paper, we propose and analyze a product integration method for the second-kind integral equation with weakly singular and continuous kernels on the unit sphere $\mathbb{S}^2$. We employ quadrature rules that satisfy the Marcinkiewicz--Zygmund property to construct hyperinterpolation for approximating the product of the continuous kernel and the solution, in terms of spherical harmonics. By leveraging this property, we significantly expand the family of candidate quadrature rules and establish a connection between the geometrical information of the quadrature points and the error analysis of the method. We then utilize product integral rules to evaluate the singular integral with the integrand being the product of the singular kernel and each spherical harmonic. We derive a practical $L^{\infty}$ error bound, which consists of two terms: one controlled by the best approximation of the product of the continuous kernel and the solution, and the other characterized by the Marcinkiewicz--Zygmund property and the best approximation polynomial of this product. Numerical examples validate our numerical analysis.

math.NA↗

arXiv2022

Bypassing the quadrature exactness assumption of hyperinterpolation on the sphere

This paper focuses on the approximation of continuous functions on the unit sphere by spherical polynomials of degree $n$ via hyperinterpolation. Hyperinterpolation of degree $n$ is a discrete approximation of the $L^2$-orthogonal projection of degree $n$ with its Fourier coefficients evaluated by a positive-weight quadrature rule that exactly integrates all spherical polynomials of degree at most $2n$. This paper aims to bypass this quadrature exactness assumption by replacing it with the Marcinkiewicz--Zygmund property proposed in a previous paper. Consequently, hyperinterpolation can be constructed by a positive-weight quadrature rule (not necessarily with quadrature exactness). This scheme is referred to as unfettered hyperinterpolation. This paper provides a reasonable error estimate for unfettered hyperinterpolation. The error estimate generally consists of two terms: a term representing the error estimate of the original hyperinterpolation of full quadrature exactness and another introduced as compensation for the loss of exactness degrees. A guide to controlling the newly introduced term in practice is provided. In particular, if the quadrature points form a quasi-Monte Carlo (QMC) design, then there is a refined error estimate. Numerical experiments verify the error estimates and the practical guide.

math.NA↗

arXiv2022

The springback penalty for robust signal recovery

We propose a new penalty, the springback penalty, for constructing models to recover an unknown signal from incomplete and inaccurate measurements. Mathematically, the springback penalty is a weakly convex function. It bears various theoretical and computational advantages of both the benchmark convex $\ell_1$ penalty and many of its non-convex surrogates that have been well studied in the literature. We establish the exact and stable recovery theory for the recovery model using the springback penalty for both sparse and nearly sparse signals, respectively, and derive an easily implementable difference-of-convex algorithm. In particular, we show its theoretical superiority to some existing models with a sharper recovery bound for some scenarios where the level of measurement noise is large or the amount of measurements is limited. We also demonstrate its numerical robustness regardless of the varying coherence of the sensing matrix. The springback penalty is particularly favorable for the scenario where the incomplete and inaccurate measurements are collected by coherence-hidden or -static sensing hardware due to its theoretical guarantee of recovery with severe measurements, computational tractability, and numerical robustness for ill-conditioned sensing matrices.

math.NA↗

arXiv2022

Enhanced total variation minimization for stable image reconstruction

The total variation (TV) regularization has phenomenally boosted various variational models for image processing tasks. We propose to combine the backward diffusion process in the earlier literature of image enhancement with the TV regularization, and show that the resulting enhanced TV minimization model is particularly effective for reducing the loss of contrast. The main purpose of this paper is to establish stable reconstruction guarantees for the enhanced TV model from noisy subsampled measurements with two sampling strategies, non-adaptive sampling for general linear measurements and variable-density sampling for Fourier measurements. In particular, under some weaker restricted isometry property conditions, the enhanced TV minimization model is shown to have tighter reconstruction error bounds than various TV-based models for the scenario where the level of noise is significant and the amount of measurements is limited. Advantages of the enhanced TV model are also numerically validated by preliminary experiments on the reconstruction of some synthetic, natural, and medical images.

eess.IV↗

arXiv2022

On the quadrature exactness in hyperinterpolation

This paper investigates the role of quadrature exactness in the approximation scheme of hyperinterpolation. Constructing a hyperinterpolant of degree $n$ requires a positive-weight quadrature rule with exactness degree $2n$. We examine the behavior of such approximation when the required exactness degree $2n$ is relaxed to $n+k$ with $0<k\leq n$. Aided by the Marcinkiewicz--Zygmund inequality, we affirm that the $L^2$ norm of the exactness-relaxing hyperinterpolation operator is bounded by a constant independent of $n$, and this approximation scheme is convergent as $n\rightarrow\infty$ if $k$ is positively correlated to $n$. Thus, the family of candidate quadrature rules for constructing hyperinterpolants can be significantly enriched, and the number of quadrature points can be considerably reduced. As a potential cost, this relaxation may slow the convergence rate of hyperinterpolation in terms of the reduced degrees of quadrature exactness. Our theoretical results are asserted by numerical experiments on three of the best-known quadrature rules: the Gauss quadrature, the Clenshaw--Curtis quadrature, and the spherical $t$-designs.

math.NA↗

arXiv2022

Is hyperinterpolation efficient in the approximation of singular and oscillatory functions?

Singular and oscillatory functions feature in numerous applications. The high-accuracy approximation of such functions shall greatly help us develop high-order methods for solving applied mathematics problems. This paper demonstrates that hyperinterpolation, a discrete projection method with coefficients obtained by evaluating the $L^2$ orthogonal projection coefficients using some numerical integration methods, may be inefficient for approximating singular and oscillatory functions. A relatively large amount of numerical integration points are necessary for satisfactory accuracy. Moreover, in the spirit of product-integration, we propose an efficient modification of hyperinterpolation for such approximation. The proposed approximation scheme, called efficient hyperinterpolation, achieves satisfactory accuracy with fewer numerical integration points than the original scheme. The implementation of the new approximation scheme is relatively easy. Theorems are also given to explain the outperformance of efficient hyperinterpolation over the original scheme in such approximation, with the functions assumed to belong to $L^1(Ω)$, $L^2(Ω)$, and $\mathcal{C}(Ω)$ spaces, respectively. These theorems, as well as numerical experiments on the interval and the sphere, show that efficient hyperinterpolation has better accuracy in such approximation than the original one when the amount of numerical integration points is limited.

math.NA↗

arXiv2021

Lasso hyperinterpolation over general regions

This paper develops a fully discrete soft thresholding polynomial approximation over a general region, named Lasso hyperinterpolation. This approximation is an $\ell_1$-regularized discrete least squares approximation under the same conditions of hyperinterpolation. Lasso hyperinterpolation also uses a high-order quadrature rule to approximate the Fourier coefficients of a given continuous function with respect to some orthonormal basis, and then it obtains its coefficients by acting a soft threshold operator on all approximated Fourier coefficients. Lasso hyperinterpolation is not a discrete orthogonal projection, but it is an efficient tool to deal with noisy data. We theoretically analyze Lasso hyperinterpolation for continuous and smooth functions. The principal results are twofold: the norm of the Lasso hyperinterpolation operator is bounded independently of the polynomial degree, which is inherited from hyperinterpolation; and the $L_2$ error bound of Lasso hyperinterpolation is less than that of hyperinterpolation when the level of noise becomes large, which improves the robustness of hyperinterpolation. Explicit constructions and corresponding numerical examples of Lasso hyperinterpolation over intervals, discs, spheres, and cubes are given.

math.NA↗