-
Robust estimation of boundary using doubly stochastic scaling of Gaussian kernel
Authors:
Dhruv Kohli,
Jesse He,
Chester Holtz,
Gal Mishne,
Alexander Cloninger
Abstract:
This paper addresses the problem of detecting points on or near the boundary of a dataset sampled, potentially with noise, from a compact manifold with boundary. We extend recent advances in doubly stochastic scaling of the Gaussian heat kernel via Sinkhorn iterations to this setting. Our main contributions are: (a) deriving a characterization of the scaling factors for manifolds with boundary, (b…
▽ More
This paper addresses the problem of detecting points on or near the boundary of a dataset sampled, potentially with noise, from a compact manifold with boundary. We extend recent advances in doubly stochastic scaling of the Gaussian heat kernel via Sinkhorn iterations to this setting. Our main contributions are: (a) deriving a characterization of the scaling factors for manifolds with boundary, (b) developing a boundary direction estimator, aimed at identifying boundary points, based on doubly stochastic kernel and local principal component analysis, and (c) demonstrating through simulations that the resulting estimates of the boundary points outperform the standard Gaussian kernel-based approach, particularly under noisy conditions.
△ Less
Submitted 5 December, 2024; v1 submitted 28 November, 2024;
originally announced November 2024.
-
On a Generalization of Wasserstein Distance and the Beckmann Problem to Connection Graphs
Authors:
Sawyer Robertson,
Dhruv Kohli,
Gal Mishne,
Alexander Cloninger
Abstract:
We propose a model of optimal parallel transport between vector fields on a connection graph, which consists of a weighted graph along with a map from its edges to an orthogonal group. Inspired by the well-known equivalence of 1-Wasserstein distance and minimum cost flows on standard graphs, we consider two versions of this problem: a minimum norm vector-valued flow problem with divergence constra…
▽ More
We propose a model of optimal parallel transport between vector fields on a connection graph, which consists of a weighted graph along with a map from its edges to an orthogonal group. Inspired by the well-known equivalence of 1-Wasserstein distance and minimum cost flows on standard graphs, we consider two versions of this problem: a minimum norm vector-valued flow problem with divergence constraints reflective of the connection structure of the graph; and a modified version which incorporates both quadratic regularization and a relaxation of the divergence constraint. Our theoretical contributions include: conditions for feasibility and computation of the Lagrangian dual problem for both problems, and duality correspondence for the relaxed-regularized version. Example applications of the model including transport between color images, vector field interpolation, and unsupervised clustering of vector field-valued data (in this case hurricane trajectory data) are also considered.
△ Less
Submitted 14 March, 2025; v1 submitted 15 December, 2023;
originally announced December 2023.
-
Non-degenerate Rigid Alignment in a Patch Framework
Authors:
Dhruv Kohli,
Gal Mishne,
Alexander Cloninger
Abstract:
Given a set of overlapping local views (patches) of a dataset, we consider the problem of finding a rigid alignment of the views that minimizes a $2$-norm based alignment error. In general, the views are noisy and a perfect alignment may not exist. In this work, we characterize the non-degeneracy of an alignment in the noisy setting based on the kernel and positivity of a certain matrix. This lead…
▽ More
Given a set of overlapping local views (patches) of a dataset, we consider the problem of finding a rigid alignment of the views that minimizes a $2$-norm based alignment error. In general, the views are noisy and a perfect alignment may not exist. In this work, we characterize the non-degeneracy of an alignment in the noisy setting based on the kernel and positivity of a certain matrix. This leads to a polynomial time algorithm for testing the non-degeneracy of a given alignment. Subsequently, we focus on Riemannian gradient descent for minimizing the alignment error, providing a sufficient condition on an alignment for the algorithm to converge (locally) linearly to it. \revadd{Additionally, we provide an exact recovery and noise stability analysis of the algorithm}. In the case of noiseless views, a perfect alignment exists, resulting in a realization of the points that respects the geometry of the views. Under a mild condition on the views, we show that a non-degenerate perfect alignment \revadd{characterizes the infinitesimally rigidity of a realization, and thus the local rigidity of a generic realization}. By specializing the non-degeneracy conditions to the noiseless case, we derive necessary and sufficient conditions on the overlapping structure of the views for \revadd{a perfect alignment to be non-degenerate and equivalently, for the resulting realization to be infinitesimally rigid}. Similar results are also derived regarding the uniqueness of a perfect alignment and global rigidity.
△ Less
Submitted 27 September, 2024; v1 submitted 21 March, 2023;
originally announced March 2023.
-
LDLE: Low Distortion Local Eigenmaps
Authors:
Dhruv Kohli,
Alexander Cloninger,
Gal Mishne
Abstract:
We present Low Distortion Local Eigenmaps (LDLE), a manifold learning technique which constructs a set of low distortion local views of a dataset in lower dimension and registers them to obtain a global embedding. The local views are constructed using the global eigenvectors of the graph Laplacian and are registered using Procrustes analysis. The choice of these eigenvectors may vary across the re…
▽ More
We present Low Distortion Local Eigenmaps (LDLE), a manifold learning technique which constructs a set of low distortion local views of a dataset in lower dimension and registers them to obtain a global embedding. The local views are constructed using the global eigenvectors of the graph Laplacian and are registered using Procrustes analysis. The choice of these eigenvectors may vary across the regions. In contrast to existing techniques, LDLE can embed closed and non-orientable manifolds into their intrinsic dimension by tearing them apart. It also provides gluing instruction on the boundary of the torn embedding to help identify the topology of the original manifold. Our experimental results will show that LDLE largely preserved distances up to a constant scale while other techniques produced higher distortion. We also demonstrate that LDLE produces high quality embeddings even when the data is noisy or sparse.
△ Less
Submitted 14 October, 2021; v1 submitted 26 January, 2021;
originally announced January 2021.
-
Asymmetric expansion preserves hyperbolic convexity
Authors:
Dhruv Kohli,
Jeffrey M. Rabin
Abstract:
In an earlier paper we showed that the radial expansion of a hyperbolic convex set in the Poincaré disk about any point inside it results in a hyperbolic convex set. In this work, we generalize this result by showing that the asymmetric expansion of a hyperbolic convex set about any point inside it also results in a hyperbolic convex set.
In an earlier paper we showed that the radial expansion of a hyperbolic convex set in the Poincaré disk about any point inside it results in a hyperbolic convex set. In this work, we generalize this result by showing that the asymmetric expansion of a hyperbolic convex set about any point inside it also results in a hyperbolic convex set.
△ Less
Submitted 30 September, 2020; v1 submitted 11 February, 2020;
originally announced February 2020.
-
Radial expansion preserves hyperbolic convexity and radial contraction preserves spherical convexity
Authors:
Dhruv Kohli,
Jeffrey M. Rabin
Abstract:
On a flat plane, convexity of a set is preserved by both radial expansion and contraction of the set about any point inside it. Using the PoincarĂ© disk model of hyperbolic geometry, we prove that radial expansion of a hyperbolic convex set about a point inside it always preserves hyperbolic convexity. Using stereographic projection of a sphere, we prove that radial contraction of a spherical conve…
▽ More
On a flat plane, convexity of a set is preserved by both radial expansion and contraction of the set about any point inside it. Using the Poincaré disk model of hyperbolic geometry, we prove that radial expansion of a hyperbolic convex set about a point inside it always preserves hyperbolic convexity. Using stereographic projection of a sphere, we prove that radial contraction of a spherical convex set about a point inside it, such that the initial set is contained in the closed hemisphere centred at that point, always preserves spherical convexity.
△ Less
Submitted 11 February, 2020;
originally announced February 2020.