Source author record

Jacobus W. Portegies

Jacobus W. Portegies appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

8works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2022arXiv

Quantifying and Learning Linear Symmetry-Based Disentanglement

The definition of Linear Symmetry-Based Disentanglement (LSBD) formalizes the notion of linearly disentangled representations, but there is currently no metric to quantify LSBD. Such a metric is crucial to evaluate LSBD methods and to compare to previous understandings of disentanglement. We propose $\mathcal{D}_\mathrm{LSBD}$, a mathematically sound metric to quantify LSBD, and provide a practical implementation for $\mathrm{SO}(2)$ groups. Furthermore, from this metric we derive LSBD-VAE, a semi-supervised method to learn LSBD representations. We demonstrate the utility of our metric by showing that (1) common VAE-based disentanglement methods don't learn LSBD representations, (2) LSBD-VAE as well as other recent methods can learn LSBD representations, needing only limited supervision on transformations, and (3) various desirable properties expressed by existing disentanglement metrics are also achieved by LSBD representations.

preprint2021arXiv

Embedding of $RCD^*(K,N)$ spaces in $L^2$ via eigenfunctions

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.

preprint2019arXiv

Diffusion Variational Autoencoders

A standard Variational Autoencoder, with a Euclidean latent space, is structurally incapable of capturing topological properties of certain datasets. To remove topological obstructions, we introduce Diffusion Variational Autoencoders with arbitrary manifolds as a latent space. A Diffusion Variational Autoencoder uses transition kernels of Brownian motion on the manifold. In particular, it uses properties of the Brownian motion to implement the reparametrization trick and fast approximations to the KL divergence. We show that the Diffusion Variational Autoencoder is capable of capturing topological properties of synthetic datasets. Additionally, we train MNIST on spheres, tori, projective spaces, SO(3), and a torus embedded in R3. Although a natural dataset like MNIST does not have latent variables with a clear-cut topological structure, training it on a manifold can still highlight topological and geometrical properties.

preprint2014arXiv

Embeddings of Riemannian manifolds with heat kernels and eigenfunctions

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.

preprint2014arXiv

Semicontinuity of eigenvalues under intrinsic flat convergence

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.

preprint2010arXiv

Well-posedness of a parabolic moving-boundary problem in the setting of Wasserstein gradient flows

We develop a gradient-flow framework based on the Wasserstein metric for a parabolic moving-boundary problem that models crystal dissolution and precipitation. In doing so we derive a new weak formulation for this moving-boundary problem and we show that this formulation is well-posed. In addition, we develop a new uniqueness technique based on the framework of gradient flows with respect to the Wasserstein metric. With this uniqueness technique, the Wasserstein framework becomes a complete well-posedness setting for this parabolic moving-boundary problem.