SearcharxivSearch

arXiv subjects

Giacomo Elefante

Publications and source records attributed to Giacomo Elefante.

14 recordsLinked to original sources

$hp$-adaptive trees for graph signal approximation

Tree-encoded partitionings of graphs are fundamental tools for the decomposition and approximation of graph signals. For the efficient approximation of such graph signals, we develop strategies based on $hp$-refinement by combining domain decomposition with an improved local approximation using polynomials of higher degree. In this way, from a given graph partitioning tree, a more efficient subtree is extracted in which the cost of the signal approximation is considerably reduced by still maintaining the same total error. To this end, we interpret the refinement process as a binary knapsack problem to determine an enhanced partitioning tree. We further study an a-posteriori strategy which prunes the partitioning tree by optimizing the polynomial degrees over the subdomains. To make polynomial basis systems accessible for general graphs or high-dimensional data, we propose local embeddings of graphs into low dimensional Euclidean spaces. We underpin the efficiency of our algorithms with extensive numerical tests which carefully assess the impact of the applied refinements and optimization strategies.

eess.SP

Polynomial approximation from diffused data: unisolvence and stability

In this work, we address the problem of polynomial interpolation of non-pointwise data. More specifically, we assume that our input information comes from measurements obtained on diffuse compact domains. Although the nodal and the diffused problems are related by the mean value theorem, such an approach does not provide any concrete insights in terms of well-posedness and stability. We hence develop a different framework in which {\it unisolvence} can be again recovered from nodal results, for which a wide literature is available. To analyze the stability of the so-obtained diffused interpolation procedure, we characterize the norm of the interpolation operator in terms of a Lebesgue constant-like quantity. After analyzing some of its features, such as invariance properties and sensitivity to support overlapping, we numerically verify the theoretical findings.

math.NA

Bespoke multiresolution analysis of graph signals

We present a novel framework for discrete multiresolution analysis of graph signals. The main analytical tool is the samplet transform, originally defined in the Euclidean framework as a discrete wavelet-like construction, tailored to the analysis of scattered data. The first contribution of this work is defining samplets on graphs. To this end, we subdivide the graph into a fixed number of patches, embed each patch into a Euclidean space, where we construct samplets, and eventually pull the construction back to the graph. This ensures orthogonality, locality, and the vanishing moments property with respect to properly defined polynomial spaces on graphs. Compared to classical Haar wavelets, this framework broadens the class of graph signals that can efficiently be compressed and analyzed. Along this line, we provide a definition of a class of signals that can be compressed using our construction. We support our findings with different examples of signals defined on graphs whose vertices lie on smooth manifolds. For efficient numerical implementation, we combine heavy edge clustering, to partition the graph into meaningful patches, with landmark \texttt{Isomap}, which provides low-dimensional embeddings for each patch. Our results demonstrate the method's robustness, scalability, and ability to yield sparse representations with controllable approximation error, significantly outperforming traditional Haar wavelet approaches in terms of compression efficiency and multiresolution fidelity.

eess.SP

A least squares approach to Whitney forms

In this work we describe and test the construction of least squares Whitney forms based on weights. If, on the one hand, the relevance of such a family of differential forms is nowadays clear in numerical analysis, on the other hand the selection of performing sets of supports (hence of weights) for projecting onto high order Whitney forms turns often to be a rough task. As an account of this, it is worth mentioning that Runge-like phenomena have been observed but still not resolved completely. We hence move away from sharp results on unisolvence and consider a least squares approach, obtaining results that are consistent with the nodal literature and making some steps towards the resolution of the aforementioned Runge phenomenon for high order Whitney forms.

math.NA

Interpolation by integrals on balls

In this work we blend interpolation theory with numerical integration, constructing an interpolator based on integrals over $n$-dimensional balls. We show that, under hypotheses on the radius of the $n$-balls, the problem can be treated as an interpolation problem both on a collection of $(n-1)$-spheres $ S^{n-1} $ and multivariate point sets, for which a wide literature is available. With the aim of exact quadrature and cubature formulae, we offer a neat strategy for the exact computation of the Vandermonde matrix of the problem and propose a meaningful Lebesgue constant. Problematic situations are evidenced and a charming aspect is enlightened: the majority of the theoretical results only deal with the centre of the domains of integration and are not really sensitive to their radius. We flank our theoretical results by a large amount of comprehensive numerical examples.

math.NA

A barycentric trigonometric Hermite interpolant via an iterative approach

In this work we construct an Hermite interpolant starting from basis functions that satisfy a Lagrange property. In fact, we extend and generalise an iterative approach, introduced by Cirillo and Hormann (2018) for the Floater-Hormann family of interpolants. Secondly, we apply this scheme to produce an effective barycentric rational trigonometric Hermite interpolant at general ordered nodes using as basis functions the ones of the trigonometric interpolant introduced by Berrut (1988). For an easy computational construction, we calculate analytically the differentation matrix. Finally, we conclude with various examples and a numerical study of the rate of convergence at equidistant nodes and conformally mapped nodes.

math.NA

More properties of $(β,γ)$-Chebyshev functions and points

Recently, $(β,γ)$-Chebyshev functions, as well as the corresponding zeros, have been introduced as a generalization of classical Chebyshev polynomials of the first kind and related roots. They consist of a family of orthogonal functions on a subset of $[-1,1]$, which indeed satisfies a three-term recurrence formula. In this paper we present further properties, which are proven to comply with various results about classical orthogonal polynomials. In addition, we prove a conjecture concerning the Lebesgue constant's behavior related to the roots of $(β,γ)$-Chebyshev functions in the corresponding orthogonality interval.

math.CA

Compressed QMC volume and surface integration on union of balls

We discuss an algorithm for Tchakaloff-like compression of Quasi-MonteCarlo (QMC) volume/surface integration on union of balls (multibubbles). The key tools are Davis-Wilhelmsen theorem on the so-called Tchakaloff sets for positive linear functionals on polynomial spaces, and Lawson-Hanson algorithm for NNLS. We provide the corresponding Matlab package together with several examples.

math.NA

Interpolation with the polynomial kernels

The polynomial kernels are widely used in machine learning and they are one of the default choices to develop kernel-based classification and regression models. However, they are rarely used and considered in numerical analysis due to their lack of strict positive definiteness. In particular they do not enjoy the usual property of unisolvency for arbitrary point sets, which is one of the key properties used to build kernel-based interpolation methods. This paper is devoted to establish some initial results for the study of these kernels, and their related interpolation algorithms, in the context of approximation theory. We will first prove necessary and sufficient conditions on point sets which guarantee the existence and uniqueness of an interpolant. We will then study the Reproducing Kernel Hilbert Spaces (or native spaces) of these kernels and their norms, and provide inclusion relations between spaces corresponding to different kernel parameters. With these spaces at hand, it will be further possible to derive generic error estimates which apply to sufficiently smooth functions, thus escaping the native space. Finally, we will show how to employ an efficient stable algorithm to these kernels to obtain accurate interpolants, and we will test them in some numerical experiment. After this analysis several computational and theoretical aspects remain open, and we will outline possible further research directions in a concluding section. This work builds some bridges between kernel and polynomial interpolation, two topics to which the authors, to different extents, have been introduced under the supervision or through the work of Stefano De Marchi. For this reason, they wish to dedicate this work to him in the occasion of his 60th birthday.

math.NA

A linear barycentric rational interpolant on starlike domains

When an approximant is accurate on the interval, it is only natural to try to extend it to several-dimensional domains. In the present article, we make use of the fact that linear rational barycentric interpolants converge rapidly toward analytic and several times differentiable functions to interpolate on two-dimensional starlike domains parametrized in polar coordinates. In radial direction, we engage interpolants at conformally shifted Chebyshev nodes, which converge exponentially toward analytic functions. In circular direction, we deploy linear rational trigonometric barycentric interpolants, which converge similarly rapidly for periodic functions, but now for conformally shifted equispaced nodes. We introduce a variant of a tensor-product interpolant of the above two schemes and prove that it converges exponentially for two-dimensional analytic functions -- up to a logarithmic factor -- and with an order limited only by the order of differentiability for real functions (provided that the boundary enjoys the same order of differentiability). Numerical examples confirm that the shifts permit to reach a much higher accuracy with significantly fewer nodes, a property which is especially important in several dimensions.

math.NA

Polynomial mapped bases: theory and applications

In this paper, we collect the basic theory and the most important applications of a novel technique that has shown to be suitable for scattered data interpolation, quadrature, bio-imaging reconstruction. The method relies on polynomial mapped bases allowing, for instance, to incorporate data or function discontinuities in a suitable mapping function. The new technique substantially mitigates the Runge's and Gibbs effects.

math.NA

Stable discontinuous mapped bases: the Gibbs-Runge-Avoiding Stable Polynomial Approximation (GRASPA) method

The mapped bases or Fake Nodes Approach (FNA), introduced in [10], allows to change the set of nodes without the need of resampling the function. Such scheme has been successfully applied in preventing the appearance of the Gibbs phenomenon when interpolating discontinuous functions. However, the originally proposed S-Gibbs map suffers of a subtle instability when the interpolant is constructed at equidistant nodes, due to the Runge's phenomenon. Here, we propose a novel approach, termed Gibbs-Runge-Avoiding Stable Polynomial Approximation (GRASPA), where both Runge's and Gibbs phenomena are mitigated. After providing a theoretical analysis of the Lebesgue constant associated to the mapped nodes, we test the new approach by performing different numerical experiments which confirm the theoretical findings.

math.NA

On $(β,γ)$-Chebyshev functions and points of the interval

In this paper, we introduce the class of $(β,γ)$-Chebyshev functions and corresponding points, which can be seen as a family of {\it generalized} Chebyshev polynomials and points. For the $(β,γ)$-Chebyshev functions, we prove that they are orthogonal in certain subintervals of $[-1,1]$ with respect to a weighted arc-cosine measure. In particular we investigate the cases where they become polynomials, deriving new results concerning classical Chebyshev polynomials of first kind. Besides, we show that subsets of Chebyshev and Chebyshev-Lobatto points are instances of $(β,γ)$-Chebyshev points. We also study the behavior of the Lebesgue constants of the polynomial interpolant at these points on varying the parameters $β$ and $γ$.

math.NA