Source author record

Benjamin Filippenko

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

ResearcherUnclaimed source record

math.SG Computational Geometry Computer Vision Machine Learning math.AT math.CA math.DS math.FA math.GT Robotics

Catalog footprint

What is connected

5works

10topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2021arXiv

A Polyfold Proof of the Arnold Conjecture

We give a detailed proof of the homological Arnold conjecture for nondegenerate periodic Hamiltonians on general closed symplectic manifolds $M$ via a direct Piunikhin-Salamon-Schwarz morphism. Our constructions are based on a coherent polyfold description for moduli spaces of pseudoholomorphic curves in a family of symplectic manifolds degenerating from $\mathbb{C}\mathbb{P}^1\times M$ to $\mathbb{C}^+ \times M$ and $\mathbb{C}^-\times M$, as developed by Fish-Hofer-Wysocki-Zehnder as part of the Symplectic Field Theory package. To make the paper self-contained we include all polyfold assumptions, describe the coherent perturbation iteration in detail, and prove an abstract regularization theorem for moduli spaces with evaluation maps relative to a countable collection of submanifolds. The 2011 sketch of this proof was joint work with Peter Albers, Joel Fish.

preprint2021arXiv

Topological Deep Learning

This work introduces the Topological CNN (TCNN), which encompasses several topologically defined convolutional methods. Manifolds with important relationships to the natural image space are used to parameterize image filters which are used as convolutional weights in a TCNN. These manifolds also parameterize slices in layers of a TCNN across which the weights are localized. We show evidence that TCNNs learn faster, on less data, with fewer learned parameters, and with greater generalizability and interpretability than conventional CNNs. We introduce and explore TCNN layers for both image and video data. We propose extensions to 3D images and 3D video.

preprint2020arXiv

Polyfold Regularization of Constrained Moduli Spaces

We introduce tame sc-Fredholm sections and slices of sc-Fredholm sections. A slice is a notion of subpolyfold that is compatible with the sc-Fredholm section and has finite locally constant codimension. We prove that the subspace of a tame polyfold that satisfies a transverse sc-smooth constraint in a finite dimensional smooth manifold is a slice of any tame sc-Fredholm section compatible with the constraint. Moreover, we prove that a sc-Fredholm section restricted to a slice is a tame sc-Fredholm section with a drop in Fredholm index given by the codimension of the slice. As a corollary, we obtain fiber products of tame sc-Fredholm sections. We describe applications to Gromov-Witten invariants, constructing the Piunikhin-Salamon-Schwarz maps for general closed symplectic manifolds, and avoiding sphere bubbles in moduli spaces of expected dimension $0$ and $1$.

preprint2020arXiv

The space of sections of a smooth function

Given a compact manifold $X$ with boundary and a submersion $f : X \rightarrow Y$ whose restriction to the boundary of $X$ has isolated critical points with distinct critical values and where $Y$ is $[0,1]$ or $S^1$, the connected components of the space of sections of $f$ are computed from $π_0$ and $π_1$ of the fibers of $f$. This computation is then leveraged to provide new results on a smoothed version of the evasion path problem for mobile sensor networks: From the time-varying homology of the covered region and the time-varying cup-product on cohomology of the boundary, a necessary and sufficient condition for existence of an evasion path and a lower bound on the number of homotopy classes of evasion paths are computed. No connectivity assumptions are required.

preprint2019arXiv

Counterexamples in Scale Calculus

We construct counterexamples to classical calculus facts such as the Inverse and Implicit Function Theorems in Scale Calculus -- a generalization of Multivariable Calculus to infinite dimensional vector spaces in which the reparameterization maps relevant to Symplectic Geometry are smooth. Scale Calculus is a cornerstone of Polyfold Theory, which was introduced by Hofer-Wysocki-Zehnder as a broadly applicable tool for regularizing moduli spaces of pseudoholomorphic curves. We show how the novel nonlinear scale-Fredholm notion in Polyfold Theory overcomes the lack of Implicit Function Theorems, by formally establishing an often implicitly used fact: The differentials of basic germs -- the local models for scale-Fredholm maps -- vary continuously in the space of bounded operators when the base point changes. We moreover demonstrate that this continuity holds only in specific coordinates, by constructing an example of a scale-diffeomorphism and scale-Fredholm map with discontinuous differentials. This justifies the high technical complexity in the foundations of Polyfold Theory.