-
Is an encoder within reach?
Authors:
Helene Hauschultz,
Rasmus Berg Palm. Pablo Moreno-Muños,
Nicki Skafte Detlefsen,
Andrew Allan du Plessis,
Søren Hauberg
Abstract:
The encoder network of an autoencoder is an approximation of the nearest point projection onto the manifold spanned by the decoder. A concern with this approximation is that, while the output of the encoder is always unique, the projection can possibly have infinitely many values. This implies that the latent representations learned by the autoencoder can be misleading. Borrowing from geometric me…
▽ More
The encoder network of an autoencoder is an approximation of the nearest point projection onto the manifold spanned by the decoder. A concern with this approximation is that, while the output of the encoder is always unique, the projection can possibly have infinitely many values. This implies that the latent representations learned by the autoencoder can be misleading. Borrowing from geometric measure theory, we introduce the idea of using the reach of the manifold spanned by the decoder to determine if an optimal encoder exists for a given dataset and decoder. We develop a local generalization of this reach and propose a numerical estimator thereof. We demonstrate that this allows us to determine which observations can be expected to have a unique, and thereby trustworthy, latent representation. As our local reach estimator is differentiable, we investigate its usage as a regularizer and show that this leads to learned manifolds for which projections are more often unique than without regularization.
△ Less
Submitted 25 October, 2022; v1 submitted 3 June, 2022;
originally announced June 2022.
-
Reconstruction of r-Regular Objects from Trinary Images
Authors:
Helene Svane,
Andrew du Plessis
Abstract:
We study digital images of r-regular objects where a pixel is black if it is completely inside the object, white if it is completely inside the complement of the object, and grey otherwise. We call such images trinary. We discuss possible configurations of pixels in trinary images of r-regular objects at certain resolutions and propose a method for reconstructing objects from such images. We show…
▽ More
We study digital images of r-regular objects where a pixel is black if it is completely inside the object, white if it is completely inside the complement of the object, and grey otherwise. We call such images trinary. We discuss possible configurations of pixels in trinary images of r-regular objects at certain resolutions and propose a method for reconstructing objects from such images. We show that the reconstructed object is close to the original object in Hausdorff norm, and that there is a homeomorphism of the plane taking the reconstructed set to the original.
△ Less
Submitted 26 March, 2019;
originally announced March 2019.
-
The structure of groups of multigerm equivalences
Authors:
Aasa Feragen,
Andrew du Plessis
Abstract:
We study the structure of classical groups of equivalences for smooth multigerms $f \colon (N,S) \to (P,y)$, and extend several known results for monogerm equivalences to the case of mulitgerms. In particular, we study the group $\A$ of source- and target diffeomorphism germs, and its stabilizer $\A_f$. For monogerms $f$ it is well-known that if $f$ is finitely $\A$-determined, then $\A_f$ has a m…
▽ More
We study the structure of classical groups of equivalences for smooth multigerms $f \colon (N,S) \to (P,y)$, and extend several known results for monogerm equivalences to the case of mulitgerms. In particular, we study the group $\A$ of source- and target diffeomorphism germs, and its stabilizer $\A_f$. For monogerms $f$ it is well-known that if $f$ is finitely $\A$-determined, then $\A_f$ has a maximal compact subgroup $MC(\A_f)$, unique up to conjugacy, and $\A_f/MC(\A_f)$ is contractible. We prove the same result for finitely $\A$-determined multigerms $f$. Moreover, we show that for a ministable multigerm $f$, the maximal compact subgroup $MC(\A_f)$ decomposes as a product of maximal compact subgroups $MC(\A_{g_i})$ for suitable representatives $g_i$ of the monogerm components of $f$. We study a product decomposition of $MC(\A_f)$ in terms of $MC(\mathscr{R}_f)$ and a group of target diffeomorphisms, and conjecture a decomposition theorem. Finally, we show that for a large class of maps, maximal compact subgroups are small and easy to compute.
△ Less
Submitted 10 October, 2011;
originally announced October 2011.