Skip to main content

Showing 1–26 of 26 results for author: Portegies, J

Searching in archive math. Search in all archives.
.
  1. arXiv:2409.15351  [pdf, other

    math.AT cs.LO math.LO

    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

    Submitted 11 September, 2024; originally announced September 2024.

    Comments: 23 pages

    MSC Class: 68V20 ACM Class: F.4.1; I.2.4

    Journal ref: LIPIcs, Volume 303, TYPES 2023

  2. arXiv:2409.01303  [pdf, ps, other

    cs.LG cs.AI math.AT

    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

    Submitted 2 September, 2024; originally announced September 2024.

    MSC Class: 51H20 55N35 68T09 68T07

  3. 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

    Submitted 8 April, 2024; v1 submitted 24 November, 2022; originally announced November 2022.

    Comments: In Proceedings ThEdu'23, arXiv:2404.03709. The previous version (v1) of this paper contains more code snippets from the coq-waterproof library that showcase the Ltac2 tactic language

    Journal ref: EPTCS 400, 2024, pp. 96-119

  4. arXiv:2209.11509  [pdf, ps, other

    math.DG

    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

    Submitted 23 September, 2022; originally announced September 2022.

    MSC Class: 58J35

  5. arXiv:2204.09732  [pdf, ps, other

    math.DG math.MG

    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

    Submitted 20 April, 2022; originally announced April 2022.

  6. arXiv:2012.10351  [pdf, ps, other

    cs.LG math.PR stat.ML

    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

    Submitted 18 December, 2020; originally announced December 2020.

    Comments: 45 pages, 6 figures

    MSC Class: 41A30; 68T05

  7. arXiv:2001.09046  [pdf, other

    cs.LG cs.CV math.DG stat.ML

    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

    Submitted 30 May, 2022; v1 submitted 24 January, 2020; originally announced January 2020.

    Comments: 27 pages, 18 figures. v2 changes: - mentioned KerCNNs - added section Generalization of G-CNNs - clarification that the experiments utilized automatic differentiation and SGD. v3 changes: - streamlined theoretical framework - formulation and proof Thm.1 & 2 - expanded experiments. v4 changes: typos in Prop.5 and (20) v5/6 changes: minor revision

  8. arXiv:1910.01435  [pdf, other

    math.SP math.GT math.MG

    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

    Submitted 15 September, 2020; v1 submitted 3 October, 2019; originally announced October 2019.

    MSC Class: 49R05; 47A75; 57R70; 57R65

  9. arXiv:1905.05597  [pdf, other

    math.PR cs.IT

    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

    Submitted 16 May, 2019; v1 submitted 8 May, 2019; originally announced May 2019.

    Comments: 20 pages, V2 updated references

  10. arXiv:1905.05596  [pdf, other

    math.PR cs.IT

    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.

    Submitted 16 May, 2019; v1 submitted 8 May, 2019; originally announced May 2019.

    Comments: 12 pages, V2 - updated references

  11. arXiv:1905.05351  [pdf, other

    cs.IT math.PR

    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.

    Submitted 16 May, 2019; v1 submitted 8 May, 2019; originally announced May 2019.

    Comments: 18 pages, 1 figure, V2 - updated references

  12. arXiv:1905.04375  [pdf, other

    math.DS cs.IT math.PR

    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

    Submitted 16 May, 2019; v1 submitted 8 May, 2019; originally announced May 2019.

    Comments: 22 pages, V2 - updated references

  13. arXiv:1902.08145  [pdf, other

    math.AP math.DG

    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

    Submitted 29 June, 2019; v1 submitted 21 February, 2019; originally announced February 2019.

    Comments: Submission to the Seventh International Conference on Scale Space and Variational Methods in Computer Vision (SSVM 2019). (v2) Typo correction in lemma 1. (v3) Typo correction last paragraph page 9

  14. arXiv:1812.03712  [pdf, ps, other

    math.MG math.DG

    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

    Submitted 18 February, 2021; v1 submitted 10 December, 2018; originally announced December 2018.

    Comments: 57 pages, final version

  15. arXiv:1707.02811  [pdf, other

    math.GR

    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

    Submitted 8 November, 2017; v1 submitted 10 July, 2017; originally announced July 2017.

    Comments: 18 pages, 9 figures, 3 tables, in review at JMIV

  16. arXiv:1706.08368  [pdf, ps, other

    math.MG math.AP math.SP

    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

    Submitted 26 June, 2017; originally announced June 2017.

    MSC Class: 49J35; 49J52; 49R05; 58J35

  17. arXiv:1704.00297  [pdf, other

    math.MG cs.IT math.PR

    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

    Submitted 16 June, 2017; v1 submitted 2 April, 2017; originally announced April 2017.

    Comments: Comment to version 2: Fixed typos, a calculation mistake in Lemma 5.1 and its consequences in Proposition 5.2 and Theorem 6.1

    MSC Class: 51F99; 94A17

  18. arXiv:1612.06137  [pdf, other

    math.NA

    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

    Submitted 15 December, 2017; v1 submitted 19 December, 2016; originally announced December 2016.

    Comments: To appear in JMIV Special Issue

  19. arXiv:1610.02986  [pdf, ps, other

    math.DG math.AP math.DS

    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.

    Submitted 10 October, 2016; originally announced October 2016.

    Comments: 19 pages

    MSC Class: Primary: 37C40; 49K45; 49N60; Secondary: 37H10; 37C05

    Journal ref: Communications in Analysis and Geometry 27 (2019), 1799 - 1823

  20. arXiv:1604.03843  [pdf, other

    math.AP

    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

    Submitted 12 May, 2017; v1 submitted 13 April, 2016; originally announced April 2016.

    Comments: Revised and restructured

  21. arXiv:1510.07547  [pdf, ps, other

    math.DG math.MG

    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.

    Submitted 26 October, 2015; originally announced October 2015.

    Comments: 18 pages

    MSC Class: 53C23; 49Q15

  22. 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

    Submitted 8 June, 2015; originally announced June 2015.

    Comments: 12 pages, 4 figures, SSVM 2015

  23. arXiv:1401.5017  [pdf, ps, other

    math.DG math.MG math.SP

    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

    Submitted 6 November, 2014; v1 submitted 20 January, 2014; originally announced January 2014.

    Comments: 39 pages

    MSC Class: 49Q15; 58J50; 49Q20; 53C23

  24. arXiv:1311.7568  [pdf, ps, other

    math.DG math.AP

    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

    Submitted 23 July, 2014; v1 submitted 29 November, 2013; originally announced November 2013.

    Comments: 29 pages. Appendix added on quantitative estimates of the harmonic radius

    MSC Class: 58J50; 58J35; 35P99

  25. arXiv:1210.3895  [pdf, other

    math.DG math.MG

    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

    Submitted 17 June, 2015; v1 submitted 15 October, 2012; originally announced October 2012.

    Comments: V1-V2: by Sormani included F to GH Conv Thm, Arz-Asc Thms and BW Thms that were then simplified and moved to arXiv:1402.6066 and also an incomplete proof of the Tetrahedral Compactness Thm. V3: has a new coauthor Portegies and new Section 3. V4: new sections 4 and 5. V5: added new Appendix

  26. arXiv:1209.4373  [pdf, ps, other

    math.DG

    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

    Submitted 19 September, 2012; originally announced September 2012.

    Comments: 13 pages, 3 figures

    MSC Class: 53-02