The paper proposes a deep learning approach to efficiently approximate diffeomorphisms for shape alignment.
problem Finding optimal reparameterizations of shapes for computing geodesic distances.
method The authors develop a neural network-based algorithm to construct approximations of diffeomorphisms using PyTorch.
result The proposed method achieves universal approximation properties and bounds on Lipschitz constants for the constructed diffeomorphisms.
Study uses outer metrics for PDE-constrained shape optimization over diffeomorphism group.
problem Optimizing shapes governed by PDEs over the diffeomorphism group.
method Outer metrics on diffeomorphism group, Riemannian steepest descent method.
result Riemannian approach outperforms other metrics in solving PDE-constrained shape optimization problems.
We address the following problem: given two smooth densities on a manifold, find an optimal diffeomorphism that transforms one density into the other. Our framework builds on connections between the Fisher-Rao information metric on the space of probability densities and right-invariant metrics on the infinite-dimension…
FineMorphs models smooth transformations for multivariate regression.
problem Efficiently modeling complex transformations for multivariate regression.
method Optimal control of affine and diffeomorphic transformations using smooth vector fields.
result FineMorphs can reduce dimensionality and adapt to large datasets.
Geometric analysis on diffeomorphism groups for fluid dynamics and information geometry.
problem Geometric analysis of fluid flows and optimal mass transport.
method Review of metrics and topology on diffeomorphism groups.
result Introduction of new metrics and topology for diffeomorphism groups.
Paper proves CFlows can approximate any diffeomorphism and applies it in Bayesian optimization.
problem Proving the universality of CFlows in approximating diffeomorphisms.
method Deriving the universality of Para-CFlows through affine coupling layers and invertible linear transforms.
result Para-CFlows can approximate any diffeomorphism in C^k-norm.
The paper extends LDDMM framework to include Lie group actions in large deformation shape registration.
problem Modeling smooth, invertible transformations between shapes using Lie groups and diffeomorphisms.
method Develops a registration model that decouples the actions of Lie groups and diffeomorphisms, using semidirect products and right-invariant sub-Riemannian structures.
result Joint optimization over both deformation groups improves registration accuracy and disentangles contributions.
Optimizes maps with controlled distortion for geometric tasks.
problem Free-boundary diffeomorphism optimization in geometric modeling.
method Least-squares quasiconformal (LSQC) operator and Spectral Beltrami Network (SBN).
result LSQC minimizer well-posed under mild conditions, stable under mesh refinement.
A neural network method tackles high-dimensional diffeomorphic mapping problems.
problem High-dimensional diffeomorphic mapping struggles with the curse of dimensionality.
method Combines variational principles with quasi-conformal theory for accurate, bijective mappings.
result Validated accuracy, robustness, and effectiveness in complex registration scenarios.
Study calculates homotopy groups and derivatives for disc diffeomorphisms.
problem Understanding the homotopy groups of diffeomorphisms of discs.
method Computes rational homotopy groups and uses Weiss' orthogonal calculus.
result Determines optimal rational concordance stable range for high-dimensional discs.
DID measures similarity invariant to diffeomorphisms.
problem Measuring similarity invariance to diffeomorphisms.
method DID measures similarity as the solution to an optimization problem in a Reproducing Kernel Hilbert Space.
result DID is invariant to diffeomorphisms and can be efficiently approximated.
We study geodesic equations for a family of right-invariant Riemannian metrics on the group of diffeomorphisms of a compact manifold. The metrics descend to Fisher's information metric on the space of smooth probability densities. The right reduced geodesic equations are higher-dimensional generalisations of the μ--H…
Bayesian method learns optimal momentum for landmark matching.
problem Finding a diffeomorphism between two sets of landmarks.
method Ensemble Kalman filter for derivative-free Bayesian inverse method.
result Efficient algorithm for various target shapes.
We present a new method to compare the shapes of genus-zero surfaces. We introduce a measure of mutual stretching, the symmetric distortion energy, and establish the existence of a conformal diffeomorphism between any two genus-zero surfaces that minimizes this energy. We then prove that the energies of the minimizing …
Solves the gauge problem in diffeomorphisms for non-compact spaces.
problem Recognizing metrics in different coordinates, especially in non-compact spaces.
method Solves a nonlinear system of PDEs to produce a diffeomorphism that fixes an appropriate gauge.
result Shows optimal bounds for the displacement function of the diffeomorphism.
A new algorithm computes elastic shape distances between curves efficiently.
problem Computing elastic shape distances between curves in high dimensions.
method Dynamic Programming for optimal diffeomorphisms and Kabsch-Umeyama algorithm for optimal rotation matrices.
result Efficient computation of elastic shape distances with improved efficiency for closed curves.
A simple model for unbalanced optimal transport captures key features.
problem Capturing the main features of unbalanced optimal transport.
method Introducing a metric on the conical extension of diffeomorphisms and studying its properties.
result Total mass evolves with constant acceleration along geodesics.
Registration, which aims to find an optimal 1-1 correspondence between shapes, is an important process in different research areas. Conformal mappings have been widely used to obtain a diffeomorphism between shapes that minimizes angular distortion. Conformal registrations are beneficial since it preserves the local ge…
The paper explores metrics and models for analyzing biological shapes.
problem Analyzing biological shapes using mathematical metrics.
method Review of Riemannian metrics and evolution equations, focusing on diffeomorphic shape analysis.
result Introduction of a new class of metrics involving optimization of a growth tensor.
We present a method for metric optimization in the Large Deformation Diffeomorphic Metric Mapping (LDDMM) framework, by treating the induced Riemannian metric on the space of diffeomorphisms as a kernel in a machine learning context. For simplicity, we choose the kernel Fischer Linear Discriminant Analysis (KLDA) as th…
Solves the gauge problem for Ricci flow cylinders, proving strong rigidity.
problem Recognizing metrics in different coordinates and diffeomorphisms.
method Solves a nonlinear system of PDEs to produce a diffeomorphism fixing a gauge.
result Strong rigidity of cylinders in Ricci flow, proving all tangent flows are cylinders.
Diffeomorphic Time Warping (DiffTW) is a novel method for time series classification that learns a diffeomorphic mapping between time series.
problem Time series classification
method Diffeomorphic Time Warping (DiffTW)
result Outperforms DTW on 60 out of 86 datasets
We give sufficient conditions on initial and target measures supported on the sphere §n to ensure the solution to the optimal transport problem with the cost ∣x−y∣2/2 is a diffeomorphism.
Smooth manifolds have equivalent diffeomorphism groups if and only if they are diffeomorphic.
problem Understanding when diffeomorphism groups of smooth manifolds are elementarily equivalent.
method Analyzing the equivalence of Cr and Cs diffeomorphism groups of smooth manifolds. result Equivalent diffeomorphism groups imply diffeomorphic manifolds, strengthening previous results.
Constructs entropy-minimizing pseudo-Anosov diffeomorphisms on K3 surfaces.
problem Finding minimal entropy diffeomorphisms on K3 surfaces.
method Constructs pseudo-Anosov diffeomorphisms minimizing entropy.
result Obtains infinitely many entropy-minimizing diffeomorphisms.
We show that a complete Riemannian manifold of dimension n with $\Ric\geq n{-}1$ and its n-st eigenvalue close to n is both Gromov-Hausdorff close and diffeomorphic to the standard sphere. This extends, in an optimal way, a result of P. Petersen. We also show that a manifold with $\Ric\geq n{-}1$ and volume close…
The study proves diffeomorphisms can be localized to simpler submanifolds.
problem Localization of exotic diffeomorphisms on compact simply-connected 4-manifolds.
method Localization theorem for diffeomorphisms isotopic to identity after stabilization.
result Diffeomorphisms can be isotoped to simpler submanifolds.
Paper derives explicit expression of Alekseev-Meinrenken diffeomorphism.
problem Understanding the Alekseev-Meinrenken diffeomorphism.
method Via the Stokes phenomenon of meromorphic linear systems of ODEs with Poncaré rank 1.
result Explicit expression of the Alekseev-Meinrenken diffeomorphism.
According to Pixton, there are Morse-Smale diffeomorphisms of the 3-sphere which have no energy function, that is a Lyapunov function whose critical points are all periodic points of the diffeomorphism. We introduce the concept of quasi-energy function for a Morse-Smale diffeomorphism as a Lyapunov function with the le…
We determine the Riemannian manifolds for which the group of exact volume preserving diffeomorphisms is a totally geodesic subgroup of the group of volume preserving diffeomorphisms, considering right invariant L2-metrics. The same is done for the subgroup of Hamiltonian diffeomorphisms as a subgroup of the group of…
Generalizes π2-diffeomorphism finiteness to non-zero first homotopy groups.
problem Bounding diffeomorphic types of compact manifolds with vanishing first and second homotopy groups.
method Generalizing the π2-diffeomorphism finiteness theorem to include non-zero first homotopy groups. result Diffeomorphic types of compact manifolds with non-zero first homotopy groups can be bounded.
Study on group cocycles for volume-preserving diffeomorphisms.
problem Understanding group cocycles on volume-preserving diffeomorphisms.
method Constructed two types of group cocycles on the volume-preserving diffeomorphism group.
result One cocycle yields the Euler class of flat sphere bundles for the sphere.
Book introduces Hofer's metric on symplectic diffeomorphisms.
problem Understanding dynamics and growth in symplectic geometry.
method Introduces Hofer's metric and analyzes its properties.
result Provides insights into the structure of symplectic diffeomorphisms.
Study local diffeomorphisms of conformal circles in pseudo-Riemannian manifolds.
problem Understanding local diffeomorphisms of conformal circles.
method Variations of conformal circles and pseudo-Riemannian manifolds.
result Local diffeomorphisms of conformal circles are conformal local diffeomorphisms.
Survey on foliations and diffeomorphism groups.
problem Relationship between algebraic and homotopical properties.
method Survey and analysis of existing literature.
result Explains the connection between diffeomorphism groups and foliations.
New exotic 4D spaces found using knot slicing techniques.
problem Finding non-diffeomorphic exotic 4D spaces.
method Using RBG links to create slice knots with non-diffeomorphic complements.
result Distinguished new exotic 4D spaces using end Floer homology.
The paper proves n-transitivity for equivariant diffeomorphisms of manifolds.
problem Proving n-transitivity for equivariant diffeomorphisms. method Analyzing the group of equivariant diffeomorphisms on proper smooth G-manifolds. result The group of equivariant diffeomorphisms acts n-transitively on M. New 4-manifolds with exotic diffeomorphisms found.
problem Existence of exotic diffeomorphisms in 4-manifolds.
method Proves existence of infinitely many contractible 4-manifolds with exotic diffeomorphisms.
result Infinitely many contractible 4-manifolds with absolutely exotic diffeomorphisms.
A new differentiable sphere theorem is obtained from the view of submanifold geometry. An important scalar is defined by the scalar curvature and the mean curvature of an oriented complete submanifold Mn in a space form Fn+p(c) with c≥0. Making use of the Hamilton-Brendle-Schoen convergence result for Ricci…
Study exotic Dehn twists in 4-manifolds, producing first known exotic diffeomorphisms.
problem Detecting exotic diffeomorphisms in 4-manifolds.
method 2-parameter families Seiberg-Witten theory over RP2. result Constructed the smallest closed 4-manifold with exotic diffeomorphisms.
New Lie groups found for Poisson diffeomorphisms.
problem Finding Lie group structures on Poisson diffeomorphism groups.
method Using Poisson groupoids, develop Lie group structures.
result Poisson diffeomorphism groups of various Poisson manifolds are regular Lie groups.
The group of diffeomorphisms of a compact manifold endowed with the L^2 metric acting on the space of probability densities gives a unifying framework for the incompressible Euler equation and the theory of optimal mass transport. Recently, several authors have extended optimal transport to the space of positive Radon …
An area-preserving diffeomorphism of an annulus has an "action function" which measures how the diffeomorphism distorts curves. The average value of the action function over the annulus is known as the Calabi invariant of the diffeomorphism, while the average value of the action function over a periodic orbit of the di…
Paper finds exotic diffeomorphisms on specific 4-manifolds.
problem Understanding exotic diffeomorphisms on 4-manifolds with b2+=2. method Comparing winding numbers of parameter families.
result 2\mathbb{C}\mathbb{P}^2 \# 10 (-\mathbb{C}\mathbb{P}^2) admits exotic diffeomorphisms.
Theta graph diffeomorphism shows nontrivial mapping class of 4-sphere.
problem Identifying nontrivial elements in the smooth mapping class group of 4-sphere.
method Diagrammatic calculus for smooth mapping class group of 4-sphere, Watanabe's clasper surgery construction.
result Theta graph diffeomorphism is isotopic to a nontrivial element of (1,2)-subgroup.
The paper finds diffeomorphic complex intersections with distinct Hodge numbers.
problem Identifying complex intersections with different Hodge numbers.
method Provided three pairs of 3-dimensional and one pair of 5-dimensional complex complete intersections, all diffeomorphic but with different Hodge numbers.
result Diffeomorphic complex intersections can have different Hodge numbers.
Positive paths connect diffeomorphisms on contact manifolds.
problem Defining and analyzing positivity in diffeomorphism groups of manifolds with contact structures.
method By examining paths of diffeomorphisms that are positively transverse to the contact distribution, showing flexibility and connecting diffeomorphisms.
result Any two diffeomorphisms on standard contact structure of R^(2n+1) can be connected by a positive path.
Using the categorical description of supergeometry we give an explicit construction of the diffeomorphism supergroup of a compact finite-dimensional supermanifold. The construction provides the diffeomorphism supergroup with the structure of a Frechet supermanifold. In addition, we derive results about the structure of…