Direct Vertex-Derivative Coefficient Propagation for Homogeneous Numerical Integration (HNI)
Abstract
Homogeneous numerical integration (HNI) combines Euler's identity and Stokes' theorem to integrate homogeneous polynomials over a polytope P. Existing algorithms return scalar integrals or reusable moment families. Any resulting moment table can be recoded afterward: once all degree-q moments are known, integration on ℋq (degree-q forms) has a trivial representation by a pure order-q distribution supported at any single arbitrary point. Our contribution is instead to propagate functionals through the face complex, once for (P,q) and without first forming the moment vector, to obtain a signed vertex-derivative coefficient functional on ℋq, specific to P and determined directly by its supplied face geometry and chosen anchors. A finite-dimensional Riesz framework describes its nonuniqueness, gives an intrinsic L2(P) error for restricted formulas, and supports weighted post-processing. The independently generated degree-q and degree-2q coefficient vectors satisfy an explicit compatibility relation. Vertex anchors can prune the propagated representation as shown in some polygon examples and an offline benchmark quantify this effect without claiming global cardinality optimality or improved conditioning. The construction covers convex polytopes and oriented non-convex polyhedral domains in arbitrary dimension.
Related
- Ω-results for the logarithmic derivative of ζ(s) on vertical homogeneous progressions
- Backward Homogeneous Heat Equation with Ψ-Caputo Time Derivative and Spectral Fractional Laplacian
- Assessment of Numerical Lift Coefficient Data for a Circular Cylinder with Application to Bladeless Turbines
- A Numerical Analysis for Solving the Time-Fractional Cattaneo Model Involving the Riesz Space-Fractional Derivative
- A numerical method for two-dimensional Boussinesq-Full Dispersion systems modelling internal wave propagation
BibTeX
@misc{lasserre2026direct,
title = {{Direct Vertex-Derivative Coefficient Propagation for Homogeneous Numerical Integration (HNI)}},
author = {Jean B Lasserre},
howpublished = {HAL},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.06431},
eprint = {2610.06431},
archivePrefix = {arXiv},
url = {https://laas.hal.science/hal-05775447v1},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Direct Vertex-Derivative Coefficient Propagation for Homogeneous Numerical Integration (HNI)
AU - Jean B Lasserre
PY - 2026
DA - 2026/10/02
PB - HAL
DO - 10.48550/arxiv.2610.06431
UR - https://laas.hal.science/hal-05775447v1
AB - Homogeneous numerical integration (HNI) combines Euler's identity and Stokes' theorem to integrate homogeneous polynomials over a polytope P. Existing algorithms return scalar integrals or reusable moment families. Any resulting moment table can be recoded afterward: once all degree-q moments are known, integration on ℋ_q (degree-q forms) has a trivial representation by a pure order-q distribution supported at any single arbitrary point. Our contribution is instead to propagate functionals through the face complex, once for (P,q) and without first forming the moment vector, to obtain a signed vertex-derivative coefficient functional on ℋ_q, specific to P and determined directly by its supplied face geometry and chosen anchors. A finite-dimensional Riesz framework describes its nonuniqueness, gives an intrinsic L^2(P) error for restricted formulas, and supports weighted post-processing. The independently generated degree-q and degree-2q coefficient vectors satisfy an explicit compatibility relation. Vertex anchors can prune the propagated representation as shown in some polygon examples and an offline benchmark quantify this effect without claiming global cardinality optimality or improved conditioning. The construction covers convex polytopes and oriented non-convex polyhedral domains in arbitrary dimension.
ER -