SearcharxivSearch

arXiv subjects

David Eklund

Publications and source records attributed to David Eklund.

13 recordsLinked to original sources

Certifying Robustness via Topological Representations

We propose a neural network architecture that can learn discriminative geometric representations of data from persistence diagrams, common descriptors of Topological Data Analysis. The learned representations enjoy Lipschitz stability with a controllable Lipschitz constant. In adversarial learning, this stability can be used to certify $\epsilon$-robustness for samples in a dataset, which we demonstrate on the ORBIT5K dataset representing the orbits of a discrete dynamical system.

stat.ML

Identifying latent distances with Finslerian geometry

Riemannian geometry provides us with powerful tools to explore the latent space of generative models while preserving the underlying structure of the data. The latent space can be equipped it with a Riemannian metric, pulled back from the data manifold. With this metric, we can systematically navigate the space relying on geodesics defined as the shortest curves between two points. Generative models are often stochastic, causing the data space, the Riemannian metric, and the geodesics, to be stochastic as well. Stochastic objects are at best impractical, and at worst impossible, to manipulate. A common solution is to approximate the stochastic pullback metric by its expectation. But the geodesics derived from this expected Riemannian metric do not correspond to the expected length-minimising curves. In this work, we propose another metric whose geodesics explicitly minimise the expected length of the pullback metric. We show this metric defines a Finsler metric, and we compare it with the expected Riemannian metric. In high dimensions, we prove that both metrics converge to each other at a rate of $O\left(\frac{1}{D}\right)$. This convergence implies that the established expected Riemannian metric is an accurate approximation of the theoretically more grounded Finsler metric. This provides justification for using the expected Riemannian metric for practical implementations.

cs.LG

Computing geometric feature sizes for algebraic manifolds

We introduce numerical algebraic geometry methods for computing lower bounds on the reach, local feature size, and the weak feature size of the real part of an equidimensional and smooth algebraic variety using the variety's defining polynomials as input. For the weak feature size, we also show that non-quadratic complete intersections generically have finitely many geometric bottlenecks, and describe how to compute the weak feature size directly rather than a lower bound in this case. In all other cases, we describe additional computations that can be used to determine feature size values rather than lower bounds. We also present homology inference experiments that combine persistent homology computations with implemented versions of our feature size algorithms, both with globally dense samples and samples that are adaptively dense with respect to the local feature size.

math.AG

Sampling and homology via bottlenecks

In this paper we present an efficient algorithm to produce a provably dense sample of a smooth compact variety. The procedure is partly based on computing $\textit{bottlenecks}$ of the variety. Using geometric information such as the bottlenecks and the $\textit{local reach}$ we also provide bounds on the density of the sample needed in order to guarantee that the homology of the variety can be recovered from the sample. An implementation of the algorithm is provided together with numerical experiments and a computational comparison to the algorithm by Dufresne et. al.

math.AG

Variational Autoencoders with Riemannian Brownian Motion Priors

Variational Autoencoders (VAEs) represent the given data in a low-dimensional latent space, which is generally assumed to be Euclidean. This assumption naturally leads to the common choice of a standard Gaussian prior over continuous latent variables. Recent work has, however, shown that this prior has a detrimental effect on model capacity, leading to subpar performance. We propose that the Euclidean assumption lies at the heart of this failure mode. To counter this, we assume a Riemannian structure over the latent space, which constitutes a more principled geometric view of the latent codes, and replace the standard Gaussian prior with a Riemannian Brownian motion prior. We propose an efficient inference scheme that does not rely on the unknown normalizing factor of this prior. Finally, we demonstrate that this prior significantly increases model capacity using only one additional scalar parameter.

cs.LG

The bottleneck degree of algebraic varieties

A bottleneck of a smooth algebraic variety $X \subset \mathbb{C}^n$ is a pair of distinct points $(x,y) \in X$ such that the Euclidean normal spaces at $x$ and $y$ contain the line spanned by $x$ and $y$. The narrowness of bottlenecks is a fundamental complexity measure in the algebraic geometry of data. In this paper we study the number of bottlenecks of affine and projective varieties, which we call the bottleneck degree. The bottleneck degree is a measure of the complexity of computing all bottlenecks of an algebraic variety, using for example numerical homotopy methods. We show that the bottleneck degree is a function of classical invariants such as Chern classes and polar classes. We give the formula explicitly in low dimension and provide an algorithm to compute it in the general case.

math.AG

Expected path length on random manifolds

Manifold learning seeks a low dimensional representation that faithfully captures the essence of data. Current methods can successfully learn such representations, but do not provide a meaningful set of operations that are associated with the representation. Working towards operational representation learning, we endow the latent space of a large class of generative models with a random Riemannian metric, which provides us with elementary operators. As computational tools are unavailable for random Riemannian manifolds, we study deterministic approximations and derive tight error bounds on expected distances.

cs.LG

The numerical algebraic geometry of bottlenecks

This is a computational study of bottlenecks on algebraic varieties. The bottlenecks of a smooth variety $X \subseteq \mathbb{C}^n$ are the lines in $\mathbb{C}^n$ which are normal to $X$ at two distinct points. The main result is a numerical homotopy that can be used to approximate all isolated bottlenecks. This homotopy has the optimal number of paths under certain genericity assumptions. In the process we prove bounds on the number of bottlenecks in terms of the Euclidean distance degree. Applications include the optimization problem of computing the distance between two real varieties. Also, computing bottlenecks may be seen as part of the problem of computing the reach of a smooth real variety and efficient methods to compute the reach are still to be developed. Relations to triangulation of real varieties and meshing algorithms used in computer graphics are discussed in the paper. The resulting algorithms have been implemented with Bertini and Macaulay2.

math.AG

Curves on Heisenberg invariant quartic surfaces in projective 3-space

This paper is about the family of smooth quartic surfaces $X \subset \mathbb{P}^3$ that are invariant under the Heisenberg group $H_{2,2}$. For a very general such surface $X$, we show that the Picard number of $X$ is 16 and determine its Picard group. It turns out that the general Heisenberg invariant quartic contains 320 smooth conics and that in the very general case, this collection of conics generates the Picard group.

math.AG

Numerical Polar calculus and cohomology of line bundles

Let $L_1,\dots,L_s$ be line bundles on a smooth variety $X\subset \mathbb{P}^r$ and let $D_1,\dots,D_s$ be divisors on $X$ such that $D_i$ represents $L_i$. We give a probabilistic algorithm for computing the degree of intersections of polar classes which are in turn used for computing the Euler characteristic of linear combinations of $L_1,\dots,L_s$. The input consists of generators for the homogeneous ideals $I_X, I_{D_i} \subset \mathbb{C}[x_0,\ldots,x_r]$ defining $X$ and $D_i$.

math.AG

Eigenschemes and the Jordan canonical form

We study the eigenscheme of a matrix which encodes information about the eigenvectors and generalized eigenvectors of a square matrix. The two main results in this paper are this decomposition encodes the numeric data of the Jordan canonical form of the matrix. We also describe how the eigenscheme can be interpreted as the zero locus of a global section of the tangent bundle on projective space. This interpretation allows one to see eigenvectors and generalized eigenvectors of matrices from an alternative viewpoint.

math.AG

Chern Numbers of Smooth Varieties via Homotopy Continuation and Intersection Theory

Homotopy continuation provides a numerical tool for computing the equivalence of a smooth variety in an intersection product. Intersection theory provides a theoretical tool for relating the equivalence of a smooth variety in an intersection product to the degrees of the Chern classes of the variety. A combination of these tools leads to a numerical method for computing the degrees of Chern classes of smooth projective varieties in P^n. We illustrate the approach through several worked examples.

math.AG