-
Quasi-interpolation for the Helmholtz-Hodge decomposition
Authors:
Nicholas Fisher,
Gregory Fasshauer,
Wenwu Gao
Abstract:
The paper aims at proposing an efficient and stable quasi-interpolation based method for numerically computing the Helmholtz-Hodge decomposition of a vector field. To this end, we first explicitly construct a matrix kernel in a general form from polyharmonic splines such that it includes divergence-free/curl-free/harmonic matrix kernels as special cases. Then we apply the matrix kernel to vector d…
▽ More
The paper aims at proposing an efficient and stable quasi-interpolation based method for numerically computing the Helmholtz-Hodge decomposition of a vector field. To this end, we first explicitly construct a matrix kernel in a general form from polyharmonic splines such that it includes divergence-free/curl-free/harmonic matrix kernels as special cases. Then we apply the matrix kernel to vector decomposition via the convolution technique together with the Helmholtz-Hodge decomposition. More precisely, we show that if we convolve a vector field with a scaled divergence-free (curl-free) matrix kernel, then the resulting divergence-free (curl-free) convolution sequence converges to the corresponding divergence-free (curl-free) part of the Helmholtz-Hodge decomposition of the field. Finally, by discretizing the convolution sequence via certain quadrature rule, we construct a family of (divergence-free/curl-free) quasi-interpolants for the Helmholtz-Hodge decomposition (defined both in the whole space and over a bounded domain). Corresponding error estimates derived in the paper show that our quasi-interpolation based method yields convergent approximants to both the vector field and its Helmholtz-Hodge decomposition
△ Less
Submitted 5 December, 2024;
originally announced December 2024.
-
Explainable Binary Classification of Separable Shape Ensembles
Authors:
Zachary Grey,
Nicholas Fisher,
Andrew Glaws,
Gunay Dogan
Abstract:
Materials scientists utilize image segmentation of micrographs to create large curve ensembles representing grain boundaries of material microstructures. Observations of these collections of shapes can facilitate inferences about material properties and manufacturing processes. We seek to bolster this application, and related engineering/scientific tasks, using novel pattern recognition formalisms…
▽ More
Materials scientists utilize image segmentation of micrographs to create large curve ensembles representing grain boundaries of material microstructures. Observations of these collections of shapes can facilitate inferences about material properties and manufacturing processes. We seek to bolster this application, and related engineering/scientific tasks, using novel pattern recognition formalisms and inference over large ensembles of segmented curves -- i.e., facilitate principled assessments for quantifying differences in distributions of shapes. To this end, we apply a composite integral operator to motivate accurate and efficient numerical representations of discrete planar curves over matrix manifolds. The main result is a rigid-invariant orthonormal decomposition of curve component functions into separable forms of scale variations and complementary features of undulation. We demonstrate how these separable shape tensors -- given thousands of curves in an ensemble -- can inform explainable binary classification of segmented images by utilizing a product maximum mean discrepancy to distinguish the shape distributions; absent labelled data, building interpretable feature spaces in seconds without high performance computation, and detecting discrepancies below cursory visual inspections.
△ Less
Submitted 16 October, 2024;
originally announced October 2024.
-
A metric boundary theory for Carnot groups
Authors:
Nate Fisher
Abstract:
In this paper, we study characteristics of horofunction boundaries of Carnot groups. In particular, we show that for Carnot groups, i.e., stratified nilpotent Lie groups equipped with certain left-invariant homogeneous metrics, all horofunctions are piecewise-defined using Pansu derivatives. For higher Heisenberg groups and filiform Lie groups, two families which generalize the standard 3-dimensio…
▽ More
In this paper, we study characteristics of horofunction boundaries of Carnot groups. In particular, we show that for Carnot groups, i.e., stratified nilpotent Lie groups equipped with certain left-invariant homogeneous metrics, all horofunctions are piecewise-defined using Pansu derivatives. For higher Heisenberg groups and filiform Lie groups, two families which generalize the standard 3-dimensional real Heisenberg group, we study the dimensions and topologies of their horofunction boundaries. In doing so, we find that filiform Lie groups $L_n$ of dimension $n\geq 8$ provide the first-known examples of Carnot groups whose horofunction boundaries are not full-dimensional, i.e., of codimension 1.
△ Less
Submitted 12 August, 2024;
originally announced August 2024.
-
Sub-Finsler horofunction boundaries of the Heisenberg group
Authors:
Nate Fisher,
Sebastiano Nicolussi Golo
Abstract:
We give a complete analytic and geometric description of the horofunction boundary for polygonal sub-Finsler metrics---that is, those that arise as asymptotic cones of word metrics---on the Heisenberg group. We develop theory for the more general case of horofunction boundaries in homogeneous groups by connecting horofunctions to Pansu derivatives of the distance function.
We give a complete analytic and geometric description of the horofunction boundary for polygonal sub-Finsler metrics---that is, those that arise as asymptotic cones of word metrics---on the Heisenberg group. We develop theory for the more general case of horofunction boundaries in homogeneous groups by connecting horofunctions to Pansu derivatives of the distance function.
△ Less
Submitted 24 October, 2020; v1 submitted 14 September, 2020;
originally announced September 2020.
-
Stars at infinity in Teichmüller space
Authors:
Moon Duchin,
Nathan Fisher
Abstract:
We investigate a metric structure on the Thurston boundary of Teichmüller space. To do this, we develop tools in sup metrics and apply Minsky's theorem.
We investigate a metric structure on the Thurston boundary of Teichmüller space. To do this, we develop tools in sup metrics and apply Minsky's theorem.
△ Less
Submitted 8 April, 2020;
originally announced April 2020.
