-
Linear Spherical Sliced Optimal Transport: A Fast Metric for Comparing Spherical Data
Authors:
Xinran Liu,
Yikun Bai,
Rocío Díaz Martín,
Kaiwen Shi,
Ashkan Shahbazi,
Bennett A. Landman,
Catie Chang,
Soheil Kolouri
Abstract:
Efficient comparison of spherical probability distributions becomes important in fields such as computer vision, geosciences, and medicine. Sliced optimal transport distances, such as spherical and stereographic spherical sliced Wasserstein distances, have recently been developed to address this need. These methods reduce the computational burden of optimal transport by slicing hyperspheres into o…
▽ More
Efficient comparison of spherical probability distributions becomes important in fields such as computer vision, geosciences, and medicine. Sliced optimal transport distances, such as spherical and stereographic spherical sliced Wasserstein distances, have recently been developed to address this need. These methods reduce the computational burden of optimal transport by slicing hyperspheres into one-dimensional projections, i.e., lines or circles. Concurrently, linear optimal transport has been proposed to embed distributions into \( L^2 \) spaces, where the \( L^2 \) distance approximates the optimal transport distance, thereby simplifying comparisons across multiple distributions. In this work, we introduce the Linear Spherical Sliced Optimal Transport (LSSOT) framework, which utilizes slicing to embed spherical distributions into \( L^2 \) spaces while preserving their intrinsic geometry, offering a computationally efficient metric for spherical probability measures. We establish the metricity of LSSOT and demonstrate its superior computational efficiency in applications such as cortical surface registration, 3D point cloud interpolation via gradient flow, and shape embedding. Our results demonstrate the significant computational benefits and high accuracy of LSSOT in these applications.
△ Less
Submitted 8 November, 2024;
originally announced November 2024.
-
Linear Partial Gromov-Wasserstein Embedding
Authors:
Yikun Bai,
Abihith Kothapalli,
Hengrong Du,
Rocio Diaz Martin,
Soheil Kolouri
Abstract:
The Gromov-Wasserstein (GW) problem, a variant of the classical optimal transport (OT) problem, has attracted growing interest in the machine learning and data science communities due to its ability to quantify similarity between measures in different metric spaces. However, like the classical OT problem, GW imposes an equal mass constraint between measures, which restricts its application in many…
▽ More
The Gromov-Wasserstein (GW) problem, a variant of the classical optimal transport (OT) problem, has attracted growing interest in the machine learning and data science communities due to its ability to quantify similarity between measures in different metric spaces. However, like the classical OT problem, GW imposes an equal mass constraint between measures, which restricts its application in many machine learning tasks. To address this limitation, the partial Gromov-Wasserstein (PGW) problem has been introduced. It relaxes the equal mass constraint, allowing the comparison of general positive Radon measures. Despite this, both GW and PGW face significant computational challenges due to their non-convex nature. To overcome these challenges, we propose the linear partial Gromov-Wasserstein (LPGW) embedding, a linearized embedding technique for the PGW problem. For $K$ different metric measure spaces, the pairwise computation of the PGW distance requires solving the PGW problem ${O}(K^2)$ times. In contrast, the proposed linearization technique reduces this to ${O}(K)$ times. Similar to the linearization technique for the classical OT problem, we prove that LPGW defines a valid metric for metric measure spaces. Finally, we demonstrate the effectiveness of LPGW in practical applications such as shape retrieval and learning with transport-based embeddings, showing that LPGW preserves the advantages of PGW in partial matching while significantly enhancing computational efficiency. The code is available at https://github.com/mint-vu/Linearized_Partial_Gromov_Wasserstein.
△ Less
Submitted 22 March, 2025; v1 submitted 21 October, 2024;
originally announced October 2024.
-
Expected Sliced Transport Plans
Authors:
Xinran Liu,
Rocío Díaz Martín,
Yikun Bai,
Ashkan Shahbazi,
Matthew Thorpe,
Akram Aldroubi,
Soheil Kolouri
Abstract:
The optimal transport (OT) problem has gained significant traction in modern machine learning for its ability to: (1) provide versatile metrics, such as Wasserstein distances and their variants, and (2) determine optimal couplings between probability measures. To reduce the computational complexity of OT solvers, methods like entropic regularization and sliced optimal transport have been proposed.…
▽ More
The optimal transport (OT) problem has gained significant traction in modern machine learning for its ability to: (1) provide versatile metrics, such as Wasserstein distances and their variants, and (2) determine optimal couplings between probability measures. To reduce the computational complexity of OT solvers, methods like entropic regularization and sliced optimal transport have been proposed. The sliced OT framework improves efficiency by comparing one-dimensional projections (slices) of high-dimensional distributions. However, despite their computational efficiency, sliced-Wasserstein approaches lack a transportation plan between the input measures, limiting their use in scenarios requiring explicit coupling. In this paper, we address two key questions: Can a transportation plan be constructed between two probability measures using the sliced transport framework? If so, can this plan be used to define a metric between the measures? We propose a "lifting" operation to extend one-dimensional optimal transport plans back to the original space of the measures. By computing the expectation of these lifted plans, we derive a new transportation plan, termed expected sliced transport (EST) plans. We prove that using the EST plan to weight the sum of the individual Euclidean costs for moving from one point to another results in a valid metric between the input discrete probability measures. We demonstrate the connection between our approach and the recently proposed min-SWGG, along with illustrative numerical examples that support our theoretical findings.
△ Less
Submitted 17 October, 2024; v1 submitted 15 October, 2024;
originally announced October 2024.
-
Data representation with optimal transport
Authors:
Rocío Díaz Martín,
Ivan V. Medri,
Gustavo Kunde Rohde
Abstract:
Optimal transport has been used to define bijective nonlinear transforms and different transport-related metrics for discriminating data and signals. Here we briefly describe the advances in this topic with the main applications and properties in each case.
Optimal transport has been used to define bijective nonlinear transforms and different transport-related metrics for discriminating data and signals. Here we briefly describe the advances in this topic with the main applications and properties in each case.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Characterization of frames for source recovery from dynamical samples
Authors:
Akram Aldroubi,
Rocio Diaz Martin,
Le Gong,
Javad Mashreghi,
Ivan Medri
Abstract:
In this paper, we address the problem of recovering constant source terms in a discrete dynamical system represented by $x_{n+1} = Ax_n + w$, where $x_n$ is the $n$-th state in a Hilbert space $\mathcal{H}$, $A$ is a bounded linear operator in $\mathcal{B}(\mathcal{H})$, and $w$ is a source term within a closed subspace $W$ of $\HH$. Our focus is on the stable recovery of $w$ using time-space samp…
▽ More
In this paper, we address the problem of recovering constant source terms in a discrete dynamical system represented by $x_{n+1} = Ax_n + w$, where $x_n$ is the $n$-th state in a Hilbert space $\mathcal{H}$, $A$ is a bounded linear operator in $\mathcal{B}(\mathcal{H})$, and $w$ is a source term within a closed subspace $W$ of $\HH$. Our focus is on the stable recovery of $w$ using time-space sample measurements formed by inner products with vectors from a Bessel system $\mathcal{G} \subset \mathcal{H}$. We establish the necessary and sufficient conditions for the recovery of $w$ from these measurements, independent of the unknown initial state $x_0$ and for any $w \in W$. This research is particularly relevant to applications such as environmental monitoring, where precise source identification is critical.
△ Less
Submitted 27 January, 2024;
originally announced January 2024.
-
Dynamical Sampling for the Recovery of Spatially Constant Source Terms in Dynamical Systems
Authors:
Akram Aldroubi,
Rocio Diaz Martin,
Ivan Medri
Abstract:
In this paper, we investigate the problem of source recovery in a dynamical system utilizing space-time samples. This is a specific issue within the broader field of dynamical sampling, which involves collecting samples from solutions to a differential equation across both space and time with the aim of recovering critical data, such as initial values, the sources, the driving operator, or other r…
▽ More
In this paper, we investigate the problem of source recovery in a dynamical system utilizing space-time samples. This is a specific issue within the broader field of dynamical sampling, which involves collecting samples from solutions to a differential equation across both space and time with the aim of recovering critical data, such as initial values, the sources, the driving operator, or other relevant details. Our focus in this study is the recovery of unknown, stationary sources across both space and time, leveraging space-time samples. This research may have significant applications; for instance, it could provide a model for strategically placing devices to measure the quantity of pollutants emanating from factory smokestacks and dispersing across a specific area. Space-time samples could be collected using measuring devices placed at various spatial locations and activated at different times. We present necessary and sufficient conditions for the positioning of these measuring devices to successfully resolve this dynamical sampling problem. This paper provides both a theoretical foundation for the recovery of sources in dynamical systems and potential practical applications.
△ Less
Submitted 2 August, 2023;
originally announced August 2023.
-
Linear Optimal Partial Transport Embedding
Authors:
Yikun Bai,
Ivan Medri,
Rocio Diaz Martin,
Rana Muhammad Shahroz Khan,
Soheil Kolouri
Abstract:
Optimal transport (OT) has gained popularity due to its various applications in fields such as machine learning, statistics, and signal processing. However, the balanced mass requirement limits its performance in practical problems. To address these limitations, variants of the OT problem, including unbalanced OT, Optimal partial transport (OPT), and Hellinger Kantorovich (HK), have been proposed.…
▽ More
Optimal transport (OT) has gained popularity due to its various applications in fields such as machine learning, statistics, and signal processing. However, the balanced mass requirement limits its performance in practical problems. To address these limitations, variants of the OT problem, including unbalanced OT, Optimal partial transport (OPT), and Hellinger Kantorovich (HK), have been proposed. In this paper, we propose the Linear optimal partial transport (LOPT) embedding, which extends the (local) linearization technique on OT and HK to the OPT problem. The proposed embedding allows for faster computation of OPT distance between pairs of positive measures. Besides our theoretical contributions, we demonstrate the LOPT embedding technique in point-cloud interpolation and PCA analysis.
△ Less
Submitted 23 April, 2024; v1 submitted 6 February, 2023;
originally announced February 2023.
-
Signed Cumulative Distribution Transform for Parameter Estimation of 1-D Signals
Authors:
Sumati Thareja,
Gustavo Rohde,
Rocio Diaz Martin,
Ivan Medri,
Akram Aldroubi
Abstract:
We describe a method for signal parameter estimation using the signed cumulative distribution transform (SCDT), a recently introduced signal representation tool based on optimal transport theory. The method builds upon signal estimation using the cumulative distribution transform (CDT) originally introduced for positive distributions. Specifically, we show that Wasserstein-type distance minimizati…
▽ More
We describe a method for signal parameter estimation using the signed cumulative distribution transform (SCDT), a recently introduced signal representation tool based on optimal transport theory. The method builds upon signal estimation using the cumulative distribution transform (CDT) originally introduced for positive distributions. Specifically, we show that Wasserstein-type distance minimization can be performed simply using linear least squares techniques in SCDT space for arbitrary signal classes, thus providing a global minimizer for the estimation problem even when the underlying signal is a nonlinear function of the unknown parameters. Comparisons to current signal estimation methods using $L_p$ minimization shows the advantage of the method.
△ Less
Submitted 16 July, 2022;
originally announced July 2022.
-
Mean Value Inequalities and Characterizations of Sobolev spaces on graded groups
Authors:
Pablo De Nápoli,
Rocío Díaz Martín
Abstract:
We develop characterizations for Sobolev spaces of potential type on graded Lie groups, by means of Littlewood-Paley square functions, and Strichartz functionals involving second-order differences. A key role is played by some mean value inequalities that may be of independent interest. Indeed, the point-wise first-order inequality is generalized in two directions: on $L^p$-spaces and by consideri…
▽ More
We develop characterizations for Sobolev spaces of potential type on graded Lie groups, by means of Littlewood-Paley square functions, and Strichartz functionals involving second-order differences. A key role is played by some mean value inequalities that may be of independent interest. Indeed, the point-wise first-order inequality is generalized in two directions: on $L^p$-spaces and by considering second-order differences.
△ Less
Submitted 15 June, 2023; v1 submitted 10 September, 2021;
originally announced September 2021.
-
The Signed Cumulative Distribution Transform for 1-D Signal Analysis and Classification
Authors:
Akram Aldroubi,
Rocio Diaz Martin,
Ivan Medri,
Gustavo K. Rohde,
Sumati Thareja
Abstract:
This paper presents a new mathematical signal transform that is especially suitable for decoding information related to non-rigid signal displacements. We provide a measure theoretic framework to extend the existing Cumulative Distribution Transform [ACHA 45 (2018), no. 3, 616-641] to arbitrary (signed) signals on $\overline{\mathbb{R}}$. We present both forward (analysis) and inverse (synthesis)…
▽ More
This paper presents a new mathematical signal transform that is especially suitable for decoding information related to non-rigid signal displacements. We provide a measure theoretic framework to extend the existing Cumulative Distribution Transform [ACHA 45 (2018), no. 3, 616-641] to arbitrary (signed) signals on $\overline{\mathbb{R}}$. We present both forward (analysis) and inverse (synthesis) formulas for the transform, and describe several of its properties including translation, scaling, convexity, linear separability and others. Finally, we describe a metric in transform space, and demonstrate the application of the transform in classifying (detecting) signals under random displacements.
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
Error Analysis on the Initial State Reconstruction Problem
Authors:
Rocío Díaz Martín,
Ivan Medri,
Juliana Osorio
Abstract:
In this paper we propose a method to estimate the initial state of a linear dynamical system with noisy observation. The method allows the user to have estimations in real time, that is, to have a new estimation for each new observation. Moreover, at each step, the covariance matrix of the error is known and it is proved that the dynamic of the state estimator error is always Lyapunov stable. Also…
▽ More
In this paper we propose a method to estimate the initial state of a linear dynamical system with noisy observation. The method allows the user to have estimations in real time, that is, to have a new estimation for each new observation. Moreover, at each step, the covariance matrix of the error is known and it is proved that the dynamic of the state estimator error is always Lyapunov stable. Also, %necessary and sufficient conditions are given to guarantee asymptotic stability for the error dynamics of an LTI dynamical system, which is itself an LTV system.
△ Less
Submitted 5 May, 2021;
originally announced May 2021.
-
Continuous and discrete dynamical sampling
Authors:
Rocío Díaz Martín,
Ivan Medri,
Ursula Molter
Abstract:
In this paper we study the continuous dynamical sampling problem at infinite time in a complex Hilbert space $\mathcal{H}$. We find necessary and sufficient conditions on a bounded linear operator $A\in\mathcal{B}(\mathcal{H})$ and a set of vectors $\mathcal{G}\subset \mathcal{H}$, in order to obtain that $\{e^{tA}g\}_{g\in\mathcal{G}, t\in[0,\infty)}$ is a semi-continuous frame for $\mathcal{H}$.…
▽ More
In this paper we study the continuous dynamical sampling problem at infinite time in a complex Hilbert space $\mathcal{H}$. We find necessary and sufficient conditions on a bounded linear operator $A\in\mathcal{B}(\mathcal{H})$ and a set of vectors $\mathcal{G}\subset \mathcal{H}$, in order to obtain that $\{e^{tA}g\}_{g\in\mathcal{G}, t\in[0,\infty)}$ is a semi-continuous frame for $\mathcal{H}$. We study if it is possible to discretize the time variable $t$ and still have a frame for $\mathcal{H}$. We also relate the continuous iteration $e^{tA}$ on a set $\mathcal{G}$ to the discrete iteration $(A^\prime)^n$ on $\mathcal{G}^\prime$ for an adequate operator $A^\prime$ and set $\mathcal{G}^\prime\subset \mathcal{H}$.
△ Less
Submitted 14 June, 2020;
originally announced June 2020.
-
Dynamical Sampling: a view from control theory
Authors:
Rocío Díaz Martín,
Ivan Medri,
Ursula Molter
Abstract:
In this contribution we establish a dictionary between terms in two different areas in order to show that many of the topics studied are common ones - just with a different terminology. We further analyze the relations between the discrete-time and continuous-time versions of the problem, using results from both of these fields. We will also differentiate between a discretization of the continuous…
▽ More
In this contribution we establish a dictionary between terms in two different areas in order to show that many of the topics studied are common ones - just with a different terminology. We further analyze the relations between the discrete-time and continuous-time versions of the problem, using results from both of these fields. We will also differentiate between a discretization of the continuous-time dynamical system and a discrete-time dynamical system itself.
△ Less
Submitted 3 March, 2020;
originally announced March 2020.
-
On commutative homogeneous vector bundles attached to nilmanifolds
Authors:
Rocío Díaz Martín,
Linda Saal
Abstract:
The notion of Gelfand pair (G, K) can be generalized if we consider homogeneous vector bundles over G/K instead of the homogeneous space G/K and matrix-valued functions instead of scalar-valued functions. This gives the definition of commutative homogeneous vector bundles. Being a Gelfand pair is a necessary condition of being a commutative homogeneous vector bundle. For the case in which G/K is a…
▽ More
The notion of Gelfand pair (G, K) can be generalized if we consider homogeneous vector bundles over G/K instead of the homogeneous space G/K and matrix-valued functions instead of scalar-valued functions. This gives the definition of commutative homogeneous vector bundles. Being a Gelfand pair is a necessary condition of being a commutative homogeneous vector bundle. For the case in which G/K is a nilmanifold having square-integrable representations, in a previous article we determined a big family of commutative homogeneous vector bundles. In this paper, we complete that classification.
△ Less
Submitted 3 March, 2020; v1 submitted 17 February, 2020;
originally announced February 2020.
-
Mehler-Heine formula: a generalization in the context of spherical functions
Authors:
Rocío Díaz Martín,
Inés Pacharoni
Abstract:
In this article, using the notion of group contraction, we obtain the spherical functions of the strong Gelfand pair $(\mathrm{M}(n),\mathrm{SO}(n))$ as an appropriate limit of spherical functions of the strong Gelfand pair $(\mathrm{SO}(n+1),\mathrm{SO}(n))$ and also of the strong Gelfand pair $(\mathrm{SO}_0(n,1),\mathrm{SO}(n))$.
In this article, using the notion of group contraction, we obtain the spherical functions of the strong Gelfand pair $(\mathrm{M}(n),\mathrm{SO}(n))$ as an appropriate limit of spherical functions of the strong Gelfand pair $(\mathrm{SO}(n+1),\mathrm{SO}(n))$ and also of the strong Gelfand pair $(\mathrm{SO}_0(n,1),\mathrm{SO}(n))$.
△ Less
Submitted 10 July, 2018;
originally announced July 2018.
-
Matrix spherical analysis on nilmanifolds
Authors:
Rocío Díaz Martín,
Linda Saal
Abstract:
Given a nilpotent Lie group $N$, a compact subgroup $K$ of automorphisms of $N$ and an irreducible unitary representation $(τ,W_τ)$ of $K$, we study conditions on $τ$ for the commutativity of the algebra of $\mathrm{End}(W_τ)$-valued integrable functions on $N$, with an additional property that generalizes the notion of $K$-invariance. A necessary condition, proved by F. Ricci and A. Samanta, is t…
▽ More
Given a nilpotent Lie group $N$, a compact subgroup $K$ of automorphisms of $N$ and an irreducible unitary representation $(τ,W_τ)$ of $K$, we study conditions on $τ$ for the commutativity of the algebra of $\mathrm{End}(W_τ)$-valued integrable functions on $N$, with an additional property that generalizes the notion of $K$-invariance. A necessary condition, proved by F. Ricci and A. Samanta, is that $(K\ltimes N,K)$ must be a Gelfand pair. In this article we determine all the commutative algebras from a particular class of Gelfand pairs constructed by J. Lauret.
△ Less
Submitted 15 May, 2018; v1 submitted 28 July, 2017;
originally announced July 2017.
-
Spherical analysis on homogeneous vector bundles of the 3-dimensional euclidean motion group
Authors:
Rocío Díaz Martín,
Fernando Levstein
Abstract:
We consider $\mathbb{R}^3$ as a homogeneous manifold for the action of the motion group given by rotations and translations. For an arbitrary $τ\in \widehat{SO(3)}$, let $E_τ$ be the homogeneous vector bundle over $\mathbb{R}^3$ associated with $τ$. An interesting problem consists in studying the set of bounded linear operators over the sections of $E_τ$ that are invariant under the action of…
▽ More
We consider $\mathbb{R}^3$ as a homogeneous manifold for the action of the motion group given by rotations and translations. For an arbitrary $τ\in \widehat{SO(3)}$, let $E_τ$ be the homogeneous vector bundle over $\mathbb{R}^3$ associated with $τ$. An interesting problem consists in studying the set of bounded linear operators over the sections of $E_τ$ that are invariant under the action of $SO(3)\ltimes \mathbb{R}^3$. Such operators are in correspondence with the $End(V_τ)$-valued, bi-$τ$-equivariant, integrable functions on $\mathbb{R}^3$ and they form a commutative algebra with the convolution product. We develop the spherical analysis on that algebra, explicitly computing the $τ$-spherical functions. We first present a set of generators of the algebra of $SO(3)\ltimes \mathbb{R}^3$-invariant differential operators on $E_τ$. We also give an explicit form for the $τ$-spherical Fourier transform, we deduce an inversion formula and we use it to give a characterization of $End(V_τ)$-valued, bi-$τ$-equivariant, functions on $\mathbb{R}^3$.
△ Less
Submitted 20 June, 2017; v1 submitted 24 April, 2017;
originally announced April 2017.
