Quasi-norms on $\mathbb{R}^d$: Characterization and Approximation by Conic Splines

Abstract

We first show that a regularizer on $\mathbb{R}^d$ that is continuous, symmetric, and amplitude-equivariant is of the form $g=q^γ$ with $γ>0$, where $q$ is continuous and absolutely homogeneous; we call the set of such $q$ the CH class, whose convex members are the seminorms. Within the CH class, we single out two configurations of interest for regularization: the quasi-norms, which are exactly the positive-definite members of the family, and the quasi-seminorms with null space control, which are the composition of a quasi-norm with a linear map that sets the null space. We then propose a universal parametrization of the class by conic splines, the continuous functions that are linear on each cone of a polyhedral fan. Specifically, we show that the polyhedral CH functionals are exactly the symmetric non-negative conic splines, and that these admit a stable nodal representation in a basis of conic B-splines. Finally, we determine the rates of approximation: the conic spline interpolant converges at the second-order rate $h^2\asymp n^{-2/(d-1)}$, in the $L_\infty$-norm on the hyper-sphere when the angular profile is twice differentiable, and in the $L_1$-norm when its spherical Hessian variation is bounded, which covers the polyhedral members of the class. The rate is sharp, already for the Euclidean norm. The planar case is worked out in full, with the trigonometric hat functions as basis and an $\ell_1$-norm of second differences as regularity index.