Source author record

Henry Adams

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AT math.MG math.GT math.CO math.DS Computer Vision math.CT math.GN math.PR math.SP math.ST Robotics Statistics Theory

Catalog footprint

Research overview

10works

13topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

The topology of projective codes and the distribution of zeros of odd maps

We show that the size of codes in projective space controls structural results for zeros of odd maps from spheres to Euclidean space. In fact, this relation is given through the topology of the space of probability measures on the sphere whose supports have diameter bounded by some specific parameter. Our main result is a generalization of the Borsuk--Ulam theorem, and we derive four consequences of it: (i) We give a new proof of a result of Simonyi and Tardos on topological lower bounds for the circular chromatic number of a graph; (ii) we study generic embeddings of spheres into Euclidean space and show that projective codes give quantitative bounds for a measure of genericity of sphere embeddings; and we prove generalizations of (iii) the Ham Sandwich theorem and (iv) the Lyusternik--Shnirel'man--Borsuk covering theorem for the case where the number of measures or sets in a covering, respectively, may exceed the ambient dimension.

preprint2021arXiv

Operations on Metric Thickenings

Many simplicial complexes arising in practice have an associated metric space structure on the vertex set but not on the complex, e.g. the Vietoris-Rips complex in applied topology. We formalize a remedy by introducing a category of simplicial metric thickenings whose objects have a natural realization as metric spaces. The properties of this category allow us to prove that, for a large class of thickenings including Vietoris-Rips and Cech thickenings, the product of metric thickenings is homotopy equivalent to the metric thickenings of product spaces, and similarly for wedge sums.

preprint2020arXiv

Metric thickenings and group actions

Let $G$ be a group acting properly and by isometries on a metric space $X$ ; it follows that the quotient or orbit space $X/G$ is also a metric space. We study the Vietoris-Rips and Čech complexes of $X/G$ . Whereas (co)homology theories for metric spaces let the scale parameter of a Vietoris-Rips or Čech complex go to zero, and whereas geometric group theory requires the scale parameter to be sufficiently large, we instead consider intermediate scale parameters (neither tending to zero nor to infinity). As a particular case, we study the Vietoris-Rips and Čech thickenings of projective spaces at the first scale parameter where the homotopy type changes.

preprint2019arXiv

A fractal dimension for measures via persistent homology

We use persistent homology in order to define a family of fractal dimensions, denoted $\mathrm{dim}_{\mathrm{PH}}^i(μ)$ for each homological dimension $i\ge 0$ , assigned to a probability measure $μ$ on a metric space. The case of $0$ -dimensional homology ( $i=0$ ) relates to work by Michael J Steele (1988) studying the total length of a minimal spanning tree on a random sampling of points. Indeed, if $μ$ is supported on a compact subset of Euclidean space $\mathbb{R}^m$ for $m\ge2$ , then Steele's work implies that $\mathrm{dim}_{\mathrm{PH}}^0(μ)=m$ if the absolutely continuous part of $μ$ has positive mass, and otherwise $\mathrm{dim}_{\mathrm{PH}}^0(μ)<m$ . Experiments suggest that similar results may be true for higher-dimensional homology $0<i<m$ , though this is an open question. Our fractal dimension is defined by considering a limit, as the number of points $n$ goes to infinity, of the total sum of the $i$ -dimensional persistent homology interval lengths for $n$ random points selected from $μ$ in an i.i.d. fashion. To some measures $μ,$ we are able to assign a finer invariant, a curve measuring the limiting distribution of persistent homology interval lengths as the number of points goes to infinity. We prove this limiting curve exists in the case of $0$ -dimensional homology when $μ$ is the uniform distribution over the unit interval, and conjecture that it exists when $μ$ is the rescaled probability measure for a compact set in Euclidean space with positive Lebesgue measure.

preprint2019arXiv

A torus model for optical flow

We propose a torus model for high-contrast patches of optical flow. Our model is derived from a database of ground-truth optical flow from the computer-generated video \emph{Sintel}, collected by Butler et al.\ in \emph{A naturalistic open source movie for optical flow evaluation}. Using persistent homology and zigzag persistence, popular tools from the field of computational topology, we show that the high-contrast $3\times 3$ patches from this video are well-modeled by a \emph{torus}, a nonlinear 2-dimensional manifold. Furthermore, we show that the optical flow torus model is naturally equipped with the structure of a fiber bundle, related to the statistics of range image patches.

preprint2019arXiv

Multidimensional Scaling on Metric Measure Spaces

Multidimensional scaling (MDS) is a popular technique for mapping a finite metric space into a low-dimensional Euclidean space in a way that best preserves pairwise distances. We overview the theory of classical MDS, along with its optimality properties and goodness of fit. Further, we present a notion of MDS on infinite metric measure spaces that generalizes these optimality properties. As a consequence we can study the MDS embeddings of the geodesic circle $S^1$ into $\mathbb{R}^m$ for all $m$ , and ask questions about the MDS embeddings of the geodesic $n$ -spheres $S^n$ into $\mathbb{R}^m$ . Finally, we address questions on convergence of MDS. For instance, if a sequence of metric measure spaces converges to a fixed metric measure space $X$ , then in what sense do the MDS embeddings of these spaces converge to the MDS embedding of $X$ ?

preprint2018arXiv

Metric reconstruction via optimal transport

Given a sample of points $X$ in a metric space $M$ and a scale $r>0$ , the Vietoris-Rips simplicial complex $\mathrm{VR}(X;r)$ is a standard construction to attempt to recover $M$ from $X$ up to homotopy type. A deficiency of this approach is that $\mathrm{VR}(X;r)$ is not metrizable if it is not locally finite, and thus does not recover metric information about $M$ . We attempt to remedy this shortcoming by defining a metric space thickening of $X$ , which we call the \emph{Vietoris-Rips thickening} $\mathrm{VR}^m(X;r)$ , via the theory of optimal transport. When $M$ is a complete Riemannian manifold, or alternatively a compact Hadamard space, we show that the the Vietoris-Rips thickening satisfies Hausmann's theorem ( $\mathrm{VR}^m(M;r)\simeq M$ for $r$ sufficiently small) with a simpler proof: homotopy equivalence $\mathrm{VR}^m(M;r)\to M$ is canonically defined as a center of mass map, and its homotopy inverse is the (now continuous) inclusion map $M\hookrightarrow\mathrm{VR}^m(M;r)$ . Furthermore, we describe the homotopy type of the Vietoris-Rips thickening of the $n$ -sphere at the first positive scale parameter $r$ where the homotopy type changes.

preprint2016arXiv

Random cyclic dynamical systems

For X a finite subset of the circle and for 0 < r <= 1 fixed, consider the function f_r : X -> X which maps each point to the clockwise furthest element of X within angular distance less than 2 pi r. We study the discrete dynamical system on X generated by f_r, and especially its expected behavior when X is a large random set. We show that, as |X| -> infinity, the expected fraction of periodic points of f_r tends to 0 if r is irrational and to 1/q if r = p/q is rational with p and q coprime. These results are obtained via more refined statistics of f_r which we compute explicitly in terms of (generalized) Catalan numbers. The motivation for studying f_r comes from Vietoris-Rips complexes, a geometric construction used in computational topology. Our results determine how much one can expect to simplify the Vietoris-Rips complex of a random sample of the circle by removing dominated vertices.

preprint2014arXiv

Evasion Paths in Mobile Sensor Networks

Suppose that ball-shaped sensors wander in a bounded domain. A sensor doesn't know its location but does know when it overlaps a nearby sensor. We say that an evasion path exists in this sensor network if a moving intruder can avoid detection. In "Coordinate-free coverage in sensor networks with controlled boundaries via homology", Vin deSilva and Robert Ghrist give a necessary condition, depending only on the time-varying connectivity data of the sensors, for an evasion path to exist. Using zigzag persistent homology, we provide an equivalent condition that moreover can be computed in a streaming fashion. However, no method with time-varying connectivity data as input can give necessary and sufficient conditions for the existence of an evasion path. Indeed, we show that the existence of an evasion path depends not only on the fibrewise homotopy type of the region covered by sensors but also on its embedding in spacetime. For planar sensors that also measure weak rotation and distance information, we provide necessary and sufficient conditions for the existence of an evasion path.

preprint2014arXiv

Nudged Elastic Band in Topological Data Analysis

We use the nudged elastic band method from computational chemistry to analyze high-dimensional data. Our approach is inspired by Morse theory, and as output we produce an increasing sequence of small cell complexes modeling the dense regions of the data. We test the method on data sets arising in social networks and in image processing. Furthermore, we apply the method to identify new topological structure in a data set of optical flow patches.

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.

Henry Adams

Research overview

Is this your work?

10 publications

The topology of projective codes and the distribution of zeros of odd maps

Operations on Metric Thickenings

Metric thickenings and group actions

A fractal dimension for measures via persistent homology

A torus model for optical flow

Multidimensional Scaling on Metric Measure Spaces

Metric reconstruction via optimal transport

Random cyclic dynamical systems

Evasion Paths in Mobile Sensor Networks

Nudged Elastic Band in Topological Data Analysis

See the researcher in context

Building this map preview