-
Classification of Covering Spaces and Canonical Change of Basepoint
Authors:
Jelle Wemmenhove,
Cosmin Manea,
Jim Portegies
Abstract:
Using the language of homotopy type theory (HoTT), we 1) prove a synthetic version of the classification theorem for covering spaces, and 2) explore the existence of canonical change-of-basepoint isomorphisms between homotopy groups. There is some freedom in choosing how to translate concepts from classical algebraic topology into HoTT. The final translations we ended up with are easier to work wi…
▽ More
Using the language of homotopy type theory (HoTT), we 1) prove a synthetic version of the classification theorem for covering spaces, and 2) explore the existence of canonical change-of-basepoint isomorphisms between homotopy groups. There is some freedom in choosing how to translate concepts from classical algebraic topology into HoTT. The final translations we ended up with are easier to work with than the ones we started with. We discuss some earlier attempts to shed light on this translation process. The proofs are mechanized using the Coq proof assistant and closely follow classical treatments like those by Hatcher.
△ Less
Submitted 11 September, 2024;
originally announced September 2024.
-
Topological degree as a discrete diagnostic for disentanglement, with applications to the $Δ$VAE
Authors:
Mahefa Ratsisetraina Ravelonanosy,
Vlado Menkovski,
Jacobus W. Portegies
Abstract:
We investigate the ability of Diffusion Variational Autoencoder ($Δ$VAE) with unit sphere $\mathcal{S}^2$ as latent space to capture topological and geometrical structure and disentangle latent factors in datasets. For this, we introduce a new diagnostic of disentanglement: namely the topological degree of the encoder, which is a map from the data manifold to the latent space. By using tools from…
▽ More
We investigate the ability of Diffusion Variational Autoencoder ($Δ$VAE) with unit sphere $\mathcal{S}^2$ as latent space to capture topological and geometrical structure and disentangle latent factors in datasets. For this, we introduce a new diagnostic of disentanglement: namely the topological degree of the encoder, which is a map from the data manifold to the latent space. By using tools from homology theory, we derive and implement an algorithm that computes this degree. We use the algorithm to compute the degree of the encoder of models that result from the training procedure. Our experimental results show that the $Δ$VAE achieves relatively small LSBD scores, and that regardless of the degree after initialization, the degree of the encoder after training becomes $-1$ or $+1$, which implies that the resulting encoder is at least homotopic to a homeomorphism.
△ Less
Submitted 2 September, 2024;
originally announced September 2024.
-
Waterproof: Educational Software for Learning How to Write Mathematical Proofs
Authors:
Jelle Wemmenhove,
Dick Arends,
Thijs Beurskens,
Maitreyee Bhaid,
Sean McCarren,
Jan Moraal,
Diego Rivera Garrido,
David Tuin,
Malcolm Vassallo,
Pieter Wils,
Jim Portegies
Abstract:
In order to help students learn how to write mathematical proofs, we adapt the Coq proof assistant into an educational tool we call Waterproof. Like with other interactive theorem provers, students write out their proofs inside the software using a specific syntax, and the software provides feedback on the logical validity of each step. Waterproof consists of two components: a custom proof languag…
▽ More
In order to help students learn how to write mathematical proofs, we adapt the Coq proof assistant into an educational tool we call Waterproof. Like with other interactive theorem provers, students write out their proofs inside the software using a specific syntax, and the software provides feedback on the logical validity of each step. Waterproof consists of two components: a custom proof language that allows formal, machine-verified proofs to be written in a style that closely resembles handwritten proofs, and a custom editor that allows these proofs to be combined with formatted text to improve readability. The editor can be used for Coq documents in general, but also offers special features designed for use in education. Student input, for example, can be limited to specific parts of the document to prevent exercises from being accidentally deleted. Waterproof has been used to supplement teaching the Analysis 1 course at Eindhoven University of Technology (TU/e) for the last four years. Students started using the specific formulations of proof steps from the custom proof language in their handwritten proofs; the explicit phrasing of these sentences helped to clarify the logical structure of their arguments.
△ Less
Submitted 8 April, 2024; v1 submitted 24 November, 2022;
originally announced November 2022.
-
Small time asymptotics of the entropy of the heat kernel on a Riemannian manifold
Authors:
Vlado Menkovski,
Jacobus W. Portegies,
Mahefa Ratsisetraina Ravelonanosy
Abstract:
We give an asymptotic expansion of the relative entropy between the heat kernel $q_Z(t,z,w)$ of a compact Riemannian manifold $Z$ and the normalized Riemannian volume for small values of $t$ and for a fixed element $z\in Z$. We prove that coefficients in the expansion can be expressed as universal polynomials in the components of the curvature tensor and its covariant derivatives at $z$, when they…
▽ More
We give an asymptotic expansion of the relative entropy between the heat kernel $q_Z(t,z,w)$ of a compact Riemannian manifold $Z$ and the normalized Riemannian volume for small values of $t$ and for a fixed element $z\in Z$. We prove that coefficients in the expansion can be expressed as universal polynomials in the components of the curvature tensor and its covariant derivatives at $z$, when they are expressed in terms of normal coordinates. We describe a method to compute the coefficients, and we use the method to compute the first three coefficients. The asymptotic expansion is necessary for an unsupervised machine-learning algorithm called the Diffusion Variational Autoencoder.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
Semicontinuity of capacity under pointed intrinsic flat convergence
Authors:
Jeffrey L. Jauregui,
Raquel Perales,
Jacobus W. Portegies
Abstract:
The concept of the capacity of a compact set in $\mathbb R^n$ generalizes readily to noncompact Riemannian manifolds and, with more substantial work, to metric spaces (where multiple natural definitions of capacity are possible). Motivated by analytic and geometric considerations, and in particular Jauregui's definition of capacity-volume mass and Jauregui and Lee's results on the lower semicontin…
▽ More
The concept of the capacity of a compact set in $\mathbb R^n$ generalizes readily to noncompact Riemannian manifolds and, with more substantial work, to metric spaces (where multiple natural definitions of capacity are possible). Motivated by analytic and geometric considerations, and in particular Jauregui's definition of capacity-volume mass and Jauregui and Lee's results on the lower semicontinuity of the ADM mass and Huisken's isoperimetric mass, we investigate how the capacity functional behaves when the background spaces vary. Specifically, we allow the background spaces to consist of a sequence of local integral current spaces converging in the pointed Sormani--Wenger intrinsic flat sense. For the case of volume-preserving ($\mathcal{VF}$) convergence, we prove two theorems that demonstrate an upper semicontinuity phenomenon for the capacity: one version is for balls of a fixed radius centered about converging points; the other is for Lipschitz sublevel sets. Our approach is motivated by Portegies' investigation of the semicontinuity of eigenvalues under $\mathcal{VF}$ convergence. We include examples to show the semicontinuity may be strict, and that the volume-preserving hypothesis is necessary. Finally, there is a discussion on how capacity and our results may be used towards understanding the general relativistic total mass in non-smooth settings.
△ Less
Submitted 20 April, 2022;
originally announced April 2022.
-
Universal Approximation in Dropout Neural Networks
Authors:
Oxana A. Manita,
Mark A. Peletier,
Jacobus W. Portegies,
Jaron Sanders,
Albert Senen-Cerda
Abstract:
We prove two universal approximation theorems for a range of dropout neural networks. These are feed-forward neural networks in which each edge is given a random $\{0,1\}$-valued filter, that have two modes of operation: in the first each edge output is multiplied by its random filter, resulting in a random output, while in the second each edge output is multiplied by the expectation of its filter…
▽ More
We prove two universal approximation theorems for a range of dropout neural networks. These are feed-forward neural networks in which each edge is given a random $\{0,1\}$-valued filter, that have two modes of operation: in the first each edge output is multiplied by its random filter, resulting in a random output, while in the second each edge output is multiplied by the expectation of its filter, leading to a deterministic output. It is common to use the random mode during training and the deterministic mode during testing and prediction.
Both theorems are of the following form: Given a function to approximate and a threshold $\varepsilon>0$, there exists a dropout network that is $\varepsilon$-close in probability and in $L^q$. The first theorem applies to dropout networks in the random mode. It assumes little on the activation function, applies to a wide class of networks, and can even be applied to approximation schemes other than neural networks. The core is an algebraic property that shows that deterministic networks can be exactly matched in expectation by random networks. The second theorem makes stronger assumptions and gives a stronger result. Given a function to approximate, it provides existence of a network that approximates in both modes simultaneously. Proof components are a recursive replacement of edges by independent copies, and a special first-layer replacement that couples the resulting larger network to the input.
The functions to be approximated are assumed to be elements of general normed spaces, and the approximations are measured in the corresponding norms. The networks are constructed explicitly. Because of the different methods of proof, the two results give independent insight into the approximation properties of random dropout networks. With this, we establish that dropout neural networks broadly satisfy a universal-approximation property.
△ Less
Submitted 18 December, 2020;
originally announced December 2020.
-
PDE-based Group Equivariant Convolutional Neural Networks
Authors:
Bart Smets,
Jim Portegies,
Erik Bekkers,
Remco Duits
Abstract:
We present a PDE-based framework that generalizes Group equivariant Convolutional Neural Networks (G-CNNs). In this framework, a network layer is seen as a set of PDE-solvers where geometrically meaningful PDE-coefficients become the layer's trainable weights. Formulating our PDEs on homogeneous spaces allows these networks to be designed with built-in symmetries such as rotation in addition to th…
▽ More
We present a PDE-based framework that generalizes Group equivariant Convolutional Neural Networks (G-CNNs). In this framework, a network layer is seen as a set of PDE-solvers where geometrically meaningful PDE-coefficients become the layer's trainable weights. Formulating our PDEs on homogeneous spaces allows these networks to be designed with built-in symmetries such as rotation in addition to the standard translation equivariance of CNNs.
Having all the desired symmetries included in the design obviates the need to include them by means of costly techniques such as data augmentation. We will discuss our PDE-based G-CNNs (PDE-G-CNNs) in a general homogeneous space setting while also going into the specifics of our primary case of interest: roto-translation equivariance.
We solve the PDE of interest by a combination of linear group convolutions and non-linear morphological group convolutions with analytic kernel approximations that we underpin with formal theorems. Our kernel approximations allow for fast GPU-implementation of the PDE-solvers, we release our implementation with this article in the form of the LieTorch extension to PyTorch, available at https://gitlab.com/bsmetsjr/lietorch . Just like for linear convolution a morphological convolution is specified by a kernel that we train in our PDE-G-CNNs. In PDE-G-CNNs we do not use non-linearities such as max/min-pooling and ReLUs as they are already subsumed by morphological convolutions.
We present a set of experiments to demonstrate the strength of the proposed PDE-G-CNNs in increasing the performance of deep learning based imaging applications with far fewer parameters than traditional CNNs.
△ Less
Submitted 30 May, 2022; v1 submitted 24 January, 2020;
originally announced January 2020.
-
The homotopy significant spectrum compared to the Krasnoselskii spectrum
Authors:
S. J. Fokma,
J. W. Portegies
Abstract:
How to generalize the concept of eigenvalues of quadratic forms to eigenvalues of arbitrary, even, homogeneous continuous functionals, if stability of the set of eigenvalues under small perturbations is required? We compare two possible generalizations, Gromov's homotopy significant spectrum and the Krasnoselskii spectrum. We show that in the finite dimensional case, the Krasnoselskii spectrum i…
▽ More
How to generalize the concept of eigenvalues of quadratic forms to eigenvalues of arbitrary, even, homogeneous continuous functionals, if stability of the set of eigenvalues under small perturbations is required? We compare two possible generalizations, Gromov's homotopy significant spectrum and the Krasnoselskii spectrum. We show that in the finite dimensional case, the Krasnoselskii spectrum is contained in the homotopy significant spectrum, but provide a counterexample to the opposite inclusion. Moreover, we propose a small modification of the definition of the homotopy significant spectrum for which we can prove stability. Finally, we show that the Cheeger constant of a closed Riemannian manifold corresponds to the second Krasnoselskii eigenvalue.
△ Less
Submitted 15 September, 2020; v1 submitted 3 October, 2019;
originally announced October 2019.
-
Arrow Contraction and Expansion in Tropical Diagrams
Authors:
Rostislav Matveev,
Jacobus W. Portegies
Abstract:
Arrow contraction applied to a tropical diagram of probability spaces is a modification of the diagram, replacing one of the morphisms by an isomorphims, while preserving other parts of the diagram. It is related to the rate regions introduced by Ahlswede and Körner. In a companion article we use arrow contraction to derive information about the shape of the entropic cone. Arrow expansion is the i…
▽ More
Arrow contraction applied to a tropical diagram of probability spaces is a modification of the diagram, replacing one of the morphisms by an isomorphims, while preserving other parts of the diagram. It is related to the rate regions introduced by Ahlswede and Körner. In a companion article we use arrow contraction to derive information about the shape of the entropic cone. Arrow expansion is the inverse operation to the arrow contraction.
△ Less
Submitted 16 May, 2019; v1 submitted 8 May, 2019;
originally announced May 2019.
-
Conditioning in tropical probability theory
Authors:
Rostislav Matveev,
Jacobus W. Portegies
Abstract:
We define a natural operation of conditioning of tropical diagrams of probability spaces and show that it is Lipschitz continuous with respect to the asymptotic entropy distance.
We define a natural operation of conditioning of tropical diagrams of probability spaces and show that it is Lipschitz continuous with respect to the asymptotic entropy distance.
△ Less
Submitted 16 May, 2019; v1 submitted 8 May, 2019;
originally announced May 2019.
-
Tropical probability theory and an application to the entropic cone
Authors:
Rostislav Matveev,
Jacobus W. Portegies
Abstract:
In a series of articles, we have been developing a theory of tropical diagrams of probability spaces, expecting it to be useful for information optimization problems in information theory and artificial intelligence. In this article, we give a summary of our work so far and apply the theory to derive a dimension-reduction statement about the shape of the entropic cone.
In a series of articles, we have been developing a theory of tropical diagrams of probability spaces, expecting it to be useful for information optimization problems in information theory and artificial intelligence. In this article, we give a summary of our work so far and apply the theory to derive a dimension-reduction statement about the shape of the entropic cone.
△ Less
Submitted 16 May, 2019; v1 submitted 8 May, 2019;
originally announced May 2019.
-
Tropical diagrams of probability spaces
Authors:
Rostislav Matveev,
Jacobus W. Portegies
Abstract:
After endowing the space of diagrams of probability spaces with an entropy distance, we study its large-scale geometry by identifying the asymptotic cone as a closed convex cone in a Banach space. We call this cone the tropical cone, and its elements tropical diagrams of probability spaces. Given that the tropical cone has a rich structure, while tropical diagrams are rather flexible objects, we e…
▽ More
After endowing the space of diagrams of probability spaces with an entropy distance, we study its large-scale geometry by identifying the asymptotic cone as a closed convex cone in a Banach space. We call this cone the tropical cone, and its elements tropical diagrams of probability spaces. Given that the tropical cone has a rich structure, while tropical diagrams are rather flexible objects, we expect the theory of tropical diagrams to be useful for information optimization problems in information theory and artificial intelligence. In a companion article, we give a first application to derive a statement about the entropic cone.
△ Less
Submitted 16 May, 2019; v1 submitted 8 May, 2019;
originally announced May 2019.
-
Total Variation and Mean Curvature PDEs on $\mathbb{R}^d \rtimes S^{d-1}$
Authors:
Remco Duits,
Etienne St-Onge,
Jim Portegies,
Bart Smets
Abstract:
Total variation regularization and total variation flows (TVF) have been widely applied for image enhancement and denoising. To include a generic preservation of crossing curvilinear structures in TVF we lift images to the homogeneous space $M = \mathbb{R}^d \rtimes S^{d-1}$ of positions and orientations as a Lie group quotient in SE(d). For d = 2 this is called 'total roto-translation variation'…
▽ More
Total variation regularization and total variation flows (TVF) have been widely applied for image enhancement and denoising. To include a generic preservation of crossing curvilinear structures in TVF we lift images to the homogeneous space $M = \mathbb{R}^d \rtimes S^{d-1}$ of positions and orientations as a Lie group quotient in SE(d). For d = 2 this is called 'total roto-translation variation' by Chambolle & Pock. We extend this to d = 3, by a PDE-approach with a limiting procedure for which we prove convergence. We also include a Mean Curvature Flow (MCF) in our PDE model on M. This was first proposed for d = 2 by Citti et al. and we extend this to d = 3. Furthermore, for d = 2 we take advantage of locally optimal differential frames in invertible orientation scores (OS). We apply our TVF and MCF in the denoising/enhancement of crossing fiber bundles in DW-MRI. In comparison to data-driven diffusions, we see a better preservation of bundle boundaries and angular sharpness in fiber orientation densities at crossings. We support this by error comparisons on a noisy DW-MRI phantom. We also apply our TVF and MCF in enhancement of crossing elongated structures in 2D images via OS, and compare the results to nonlinear diffusions (CED-OS) via OS.
△ Less
Submitted 29 June, 2019; v1 submitted 21 February, 2019;
originally announced February 2019.
-
Embedding of $RCD^*(K,N)$ spaces in $L^2$ via eigenfunctions
Authors:
Luigi Ambrosio,
Shouhei Honda,
Jacobus W. Portegies,
David Tewodrose
Abstract:
In this paper we study the family of embeddings $Φ_t$ of a compact $RCD^*(K,N)$ space $(X,d,m)$ into $L^2(X,m)$ via eigenmaps. Extending part of the classical results by Bérard, Bérard-Besson-Gallot, known for closed Riemannian manifolds, we prove convergence as $t\downarrow 0$ of the rescaled pull-back metrics $Φ_t^*g_{L^2}$ in $L^2(X,m)$ induced by $Φ_t$. Moreover we discuss the behavior of…
▽ More
In this paper we study the family of embeddings $Φ_t$ of a compact $RCD^*(K,N)$ space $(X,d,m)$ into $L^2(X,m)$ via eigenmaps. Extending part of the classical results by Bérard, Bérard-Besson-Gallot, known for closed Riemannian manifolds, we prove convergence as $t\downarrow 0$ of the rescaled pull-back metrics $Φ_t^*g_{L^2}$ in $L^2(X,m)$ induced by $Φ_t$. Moreover we discuss the behavior of $Φ_t^*g_{L^2}$ with respect to measured Gromov-Hausdorff convergence and $t$. Applications include the quantitative $L^p$-convergence in the noncollapsed setting for all $p<\infty$, a result new even for closed Riemannian manifolds and Alexandrov spaces.
△ Less
Submitted 18 February, 2021; v1 submitted 10 December, 2018;
originally announced December 2018.
-
Nilpotent Approximations of Sub-Riemannian Distances for Fast Perceptual Grouping of Blood Vessels in 2D and 3D
Authors:
Erik J. Bekkers,
Da Chen,
Jorg M. Portegies
Abstract:
We propose an efficient approach for the grouping of local orientations (points on vessels) via nilpotent approximations of sub-Riemannian distances in the 2D and 3D roto-translation groups $SE(2)$ and $SE(3)$. In our distance approximations we consider homogeneous norms on nilpotent groups that locally approximate $SE(n)$, and which are obtained via the exponential and logarithmic map on $SE(n)$.…
▽ More
We propose an efficient approach for the grouping of local orientations (points on vessels) via nilpotent approximations of sub-Riemannian distances in the 2D and 3D roto-translation groups $SE(2)$ and $SE(3)$. In our distance approximations we consider homogeneous norms on nilpotent groups that locally approximate $SE(n)$, and which are obtained via the exponential and logarithmic map on $SE(n)$. In a qualitative validation we show that the norms provide accurate approximations of the true sub-Riemannian distances, and we discuss their relations to the fundamental solution of the sub-Laplacian on $SE(n)$. The quantitative experiments further confirm the accuracy of the approximations. Quantitative results are obtained by evaluating perceptual grouping performance of retinal blood vessels in 2D images and curves in challenging 3D synthetic volumes. The results show that 1) sub-Riemannian geometry is essential in achieving top performance and 2) that grouping via the fast analytic approximations performs almost equally, or better, than data-adaptive fast marching approaches on $\mathbb{R}^n$ and $SE(n)$.
△ Less
Submitted 8 November, 2017; v1 submitted 10 July, 2017;
originally announced July 2017.
-
Continuity of nonlinear eigenvalues in $CD(K,\infty)$ spaces with respect to measured Gromov-Hausdorff convergence
Authors:
Luigi Ambrosio,
Shouhei Honda,
Jacobus W. Portegies
Abstract:
In this note we prove in the nonlinear setting of $CD(K,\infty)$ spaces the stability of the Krasnoselskii spectrum of the Laplace operator $-Δ$ under measured Gromov-Hausdorff convergence, under an additional compactness assumption satisfied, for instance, by sequences of $CD^*(K,N)$ metric measure spaces with uniformly bounded diameter. Additionally, we show that every element $λ$ in the Krasnos…
▽ More
In this note we prove in the nonlinear setting of $CD(K,\infty)$ spaces the stability of the Krasnoselskii spectrum of the Laplace operator $-Δ$ under measured Gromov-Hausdorff convergence, under an additional compactness assumption satisfied, for instance, by sequences of $CD^*(K,N)$ metric measure spaces with uniformly bounded diameter. Additionally, we show that every element $λ$ in the Krasnoselskii spectrum is indeed an eigenvalue, namely there exists a nontrivial $u$ satisfying the eigenvalue equation $- Δu = λu$.
△ Less
Submitted 26 June, 2017;
originally announced June 2017.
-
Tropical Limits of Probability Spaces, Part I: The Intrinsic Kolmogorov-Sinai Distance and the Asymptotic Equipartition Property for Configurations
Authors:
Rostislav Matveev,
Jacobus W. Portegies
Abstract:
The entropy of a finite probability space $X$ measures the observable cardinality of large independent products $X^{\otimes n}$ of the probability space. If two probability spaces $X$ and $Y$ have the same entropy, there is an almost measure-preserving bijection between large parts of $X^{\otimes n}$ and $Y^{\otimes n}$. In this way, $X$ and $Y$ are asymptotically equivalent.
It turns out to be…
▽ More
The entropy of a finite probability space $X$ measures the observable cardinality of large independent products $X^{\otimes n}$ of the probability space. If two probability spaces $X$ and $Y$ have the same entropy, there is an almost measure-preserving bijection between large parts of $X^{\otimes n}$ and $Y^{\otimes n}$. In this way, $X$ and $Y$ are asymptotically equivalent.
It turns out to be challenging to generalize this notion of asymptotic equivalence to configurations of probability spaces, which are collections of probability spaces with measure-preserving maps between some of them.
In this article we introduce the intrinsic Kolmogorov-Sinai distance on the space of configurations of probability spaces. Concentrating on the large-scale geometry we pass to the asymptotic Kolmogorov-Sinai distance. It induces an asymptotic equivalence relation on sequences of configurations of probability spaces. We will call the equivalence classes \emph{tropical probability spaces}.
In this context we prove an Asymptotic Equipartition Property for configurations. It states that tropical configurations can always be approximated by homogeneous configurations. In addition, we show that the solutions to certain Information-Optimization problems are Lipschitz-con\-tinuous with respect to the asymptotic Kolmogorov-Sinai distance. It follows from these two statements that in order to solve an Information-Optimization problem, it suffices to consider homogeneous configurations.
Finally, we show that spaces of trajectories of length $n$ of certain stochastic processes, in particular stationary Markov chains, have a tropical limit.
△ Less
Submitted 16 June, 2017; v1 submitted 2 April, 2017;
originally announced April 2017.
-
Optimal Paths for Variants of the 2D and 3D Reeds-Shepp Car with Applications in Image Analysis
Authors:
Remco Duits,
Stephan P. L. Meesters,
Jean-Marie Mirebeau,
Jorg M. Portegies
Abstract:
We present a PDE-based approach for finding optimal paths for the Reeds-Shepp car. In our model we minimize a (data-driven) functional involving both curvature and length penalization, with several generalizations. Our approach encompasses the two and three dimensional variants of this model, state dependent costs, and moreover, the possibility of removing the reverse gear of the vehicle. We prove…
▽ More
We present a PDE-based approach for finding optimal paths for the Reeds-Shepp car. In our model we minimize a (data-driven) functional involving both curvature and length penalization, with several generalizations. Our approach encompasses the two and three dimensional variants of this model, state dependent costs, and moreover, the possibility of removing the reverse gear of the vehicle. We prove both global and local controllability results of the models.
Via eikonal equations on the manifold $\mathbb{R}^d \times \mathbb{S}^{d-1}$ we compute distance maps w.r.t. highly anisotropic Finsler metrics, which approximate the singular (quasi)-distances underlying the model. This is achieved using a Fast-Marching (FM) method, building on work by Mirebeau. The FM method is based on specific discretization stencils which are adapted to the preferred directions of the Finsler metric and obey a generalized acuteness property. The shortest paths can be found with a gradient descent method on the distance map, which we formalize in a theorem. We justify the use of our approximating metrics by proving convergence results.
Our curve optimization model in $\mathbb{R}^{d} \times \mathbb{S}^{d-1}$ with data-driven cost allows to extract complex tubular structures from medical images, e.g. crossings, and incomplete data due to occlusions or low contrast. Our work extends the results of Sanguinetti et al. on numerical sub-Riemannian eikonal equations and the Reeds-Shepp Car to 3D, with comparisons to exact solutions by Duits et al.
Numerical experiments show the high potential of our method in two applications: vessel tracking in retinal images for the case $d=2$, and brain connectivity measures from diffusion weighted MRI-data for the case $d=3$, extending the work of Bekkers et al. We demonstrate how the new model without reverse gear better handles bifurcations.
△ Less
Submitted 15 December, 2017; v1 submitted 19 December, 2016;
originally announced December 2016.
-
On the regular representation of measures
Authors:
Jürgen Jost,
Rostislav Matveev,
Jacobus W. Portegies,
Christian S. Rodrigues
Abstract:
We give sufficient conditions for a parametrised family of probability measures on a Riemannian manifold with boundary to be represented by random maps of class $C^k$. The conditions allow for the probability densities to approach zero towards the boundary of the manifold. We also formulate two obstructions to regular representability.
We give sufficient conditions for a parametrised family of probability measures on a Riemannian manifold with boundary to be represented by random maps of class $C^k$. The conditions allow for the probability densities to approach zero towards the boundary of the manifold. We also formulate two obstructions to regular representability.
△ Less
Submitted 10 October, 2016;
originally announced October 2016.
-
New Exact and Numerical Solutions of the (Convection-)Diffusion Kernels on SE(3)
Authors:
J. M. Portegies,
R. Duits
Abstract:
We consider hypo-elliptic diffusion and convection-diffusion on $\mathbb{R}^3 \rtimes S^2$, the quotient of the Lie group of rigid body motions SE(3) in which group elements are equivalent if they are equal up to a rotation around the reference axis. We show that we can derive expressions for the convolution kernels in terms of eigenfunctions of the PDE, by extending the approach for the SE(2) cas…
▽ More
We consider hypo-elliptic diffusion and convection-diffusion on $\mathbb{R}^3 \rtimes S^2$, the quotient of the Lie group of rigid body motions SE(3) in which group elements are equivalent if they are equal up to a rotation around the reference axis. We show that we can derive expressions for the convolution kernels in terms of eigenfunctions of the PDE, by extending the approach for the SE(2) case. This goes via application of the Fourier transform of the PDE in the spatial variables, yielding a second order differential operator. We show that the eigenfunctions of this operator can be expressed as (generalized) spheroidal wave functions. The same exact formulas are derived via the Fourier transform on SE(3). We solve both the evolution itself, as well as the time-integrated process that corresponds to the resolvent operator. Furthermore, we have extended a standard numerical procedure from SE(2) to SE(3) for the computation of the solution kernels that is directly related to the exact solutions. Finally, we provide a novel analytic approximation of the kernels that we briefly compare to the exact kernels.
△ Less
Submitted 12 May, 2017; v1 submitted 13 April, 2016;
originally announced April 2016.
-
Intrinsic flat and Gromov-Hausdorff convergence of manifolds with Ricci curvature bounded below
Authors:
Rostislav Matveev,
Jacobus W. Portegies
Abstract:
We show that for a noncollapsing sequence of closed, connected, oriented Riemannian manifolds with Ricci curvature uniformly bounded from below and diameter uniformly bounded above, Gromov-Hausdorff convergence essentially agrees with intrinsic flat convergence.
We show that for a noncollapsing sequence of closed, connected, oriented Riemannian manifolds with Ricci curvature uniformly bounded from below and diameter uniformly bounded above, Gromov-Hausdorff convergence essentially agrees with intrinsic flat convergence.
△ Less
Submitted 26 October, 2015;
originally announced October 2015.
-
New Approximation of a Scale Space Kernel on SE(3) and Applications in Neuroimaging
Authors:
J. M. Portegies,
G. R. Sanguinetti,
S. P. L Meesters,
R. Duits
Abstract:
We provide a new, analytic kernel for scale space filtering of dMRI data. The kernel is an approximation for the Green's function of a hypo-elliptic diffusion on the 3D rigid body motion group SE(3), for fiber enhancement in dMRI. The enhancements are described by linear scale space PDEs in the coupled space of positions and orientations embedded in SE(3). As initial condition for the evolution we…
▽ More
We provide a new, analytic kernel for scale space filtering of dMRI data. The kernel is an approximation for the Green's function of a hypo-elliptic diffusion on the 3D rigid body motion group SE(3), for fiber enhancement in dMRI. The enhancements are described by linear scale space PDEs in the coupled space of positions and orientations embedded in SE(3). As initial condition for the evolution we use either a Fiber Orientation Distribution (FOD) or an Orientation Density Function (ODF). Explicit formulas for the exact kernel do not exist. Although approximations well-suited for fast implementation have been proposed in literature, they lack important symmetries of the exact kernel. We introduce techniques to include these symmetries in approximations based on the logarithm on SE(3), resulting in an improved kernel. Regarding neuroimaging applications, we apply our enhancement kernel (a) to improve dMRI tractography results and (b) to quantify coherence of obtained streamline bundles.
△ Less
Submitted 8 June, 2015;
originally announced June 2015.
-
Semicontinuity of eigenvalues under intrinsic flat convergence
Authors:
Jacobus W. Portegies
Abstract:
We use the theory of rectifiable metric spaces to define a Dirichlet energy of Lipschitz functions defined on the support of integral currents. This energy is obtained by integration of the square of the norm of the tangential derivative, or equivalently of the approximate local dilatation, of the Lipschitz functions. We define min-max values based on the normalized energy and show that when integ…
▽ More
We use the theory of rectifiable metric spaces to define a Dirichlet energy of Lipschitz functions defined on the support of integral currents. This energy is obtained by integration of the square of the norm of the tangential derivative, or equivalently of the approximate local dilatation, of the Lipschitz functions. We define min-max values based on the normalized energy and show that when integral current spaces converge in the intrinsic flat sense without loss of volume, the min-max values of the limit space are larger than or equal to the upper limit of the min-max values of the currents in the sequence. In particular, the infimum of the normalized energy is semicontinuous. On spaces that are infinitesimally Hilbertian, we can define a linear Laplace operator. We can show that semicontinuity under intrinsic flat convergence holds for eigenvalues below the essential spectrum, if the total volume of the spaces converges as well.
△ Less
Submitted 6 November, 2014; v1 submitted 20 January, 2014;
originally announced January 2014.
-
Embeddings of Riemannian manifolds with heat kernels and eigenfunctions
Authors:
Jacobus W. Portegies
Abstract:
We show that any closed n-dimensional Riemannian manifold can be embedded by a map constructed from heat kernels at a certain time from a finite number of points. Both this time and this number can be bounded in terms of the dimension, a lower bound on the Ricci curvature, the injectivity radius and the volume. It follows that the manifold can be embedded by a finite number of eigenfunctions of th…
▽ More
We show that any closed n-dimensional Riemannian manifold can be embedded by a map constructed from heat kernels at a certain time from a finite number of points. Both this time and this number can be bounded in terms of the dimension, a lower bound on the Ricci curvature, the injectivity radius and the volume. It follows that the manifold can be embedded by a finite number of eigenfunctions of the Laplace operator. Again, this number only depends on the geometric bounds and the dimension. In addition, both maps can be made arbitrarily close to an isometry. In the appendix, we derive quantitative estimates of the harmonic radius, so that the estimates on the number of eigenfunctions or heat kernels needed can be made quantitative as well.
△ Less
Submitted 23 July, 2014; v1 submitted 29 November, 2013;
originally announced November 2013.
-
Properties of the Intrinsic Flat Distance
Authors:
J. Portegies,
C. Sormani
Abstract:
Here we explore a variety of properties of intrinsic flat convergence. We introduce the sliced filling volume and interval sliced filling volume and explore the relationship between these notions, the tetrahedral property and the disappearance of points under intrinsic flat convergence. We prove two new Gromov-Hausdorff and intrinsic flat compactness theorems including the Tetrahedral Compactness…
▽ More
Here we explore a variety of properties of intrinsic flat convergence. We introduce the sliced filling volume and interval sliced filling volume and explore the relationship between these notions, the tetrahedral property and the disappearance of points under intrinsic flat convergence. We prove two new Gromov-Hausdorff and intrinsic flat compactness theorems including the Tetrahedral Compactness Theorem. Much of the work in this paper builds upon Ambrosio-Kirchheim's Slicing Theorem combined with an adapted version Gromov's Filling Volume.
△ Less
Submitted 17 June, 2015; v1 submitted 15 October, 2012;
originally announced October 2012.
-
Semicontinuity of Eigenvalues under Flat Convergence in Euclidean Space
Authors:
Jacobus W Portegies
Abstract:
Recall that Federer-Fleming defined the notion of flat convergence of submanifolds of Euclidean space to solve the Plateau problem. Here we prove the upper semicontinuity of Neumann eigenvalues of the submanifolds when they converge in the flat sense without losing volume. With an additional condition on the boundaries of the submanifolds we prove the Dirichlet eigenvalues are semicontinuous as we…
▽ More
Recall that Federer-Fleming defined the notion of flat convergence of submanifolds of Euclidean space to solve the Plateau problem. Here we prove the upper semicontinuity of Neumann eigenvalues of the submanifolds when they converge in the flat sense without losing volume. With an additional condition on the boundaries of the submanifolds we prove the Dirichlet eigenvalues are semicontinuous as well. We show this additional boundary condition is necessary as well as the condition that the volumes converge to the volume of the limit submanifold. As an application of our theorems we see that the Dirichlet and Neumann eigenvalues of a sequence of surfaces with a common smooth boundary curve approaching the solution to the Plateau problem are upper semicontinuous. This work is built upon Fukaya's study of the metric measure convergence of Riemannian manifolds. One may recall that Cheeger-Colding proved continuity of the eigenvalues when manifolds with uniform lower Ricci curvature bounds converge in the metric measure sense. While they obtain continuity, here, we produce an example demonstrating that continuity is impossible to obtain with our weaker hypothesis.
△ Less
Submitted 19 September, 2012;
originally announced September 2012.