Related papers: Computationally proving triangulated 4-manifolds t…
Invariant manifolds are important constructs for the quantitative and qualitative understanding of nonlinear phenomena in dynamical systems. In nonlinear damped mechanical systems, for instance, spectral submanifolds have emerged as useful…
The theory of multidimensional persistence captures the topology of a multifiltration -- a multiparameter family of increasing spaces. Multifiltrations arise naturally in the topological analysis of scientific data. In this paper, we give a…
We propose a definition of computable manifold by introducing computability as a structure that we impose to a given topological manifold, just in the same way as differentiability or piecewise linearity are defined for smooth and PL…
We give a complete diffeomorphism classification of 1-connected manifolds (of dimension different from 4) whose integral homology is H(M)=Z+Z+Z.
We present an algorithm for producing Delaunay triangulations of manifolds. The algorithm can accommodate abstract manifolds that are not presented as submanifolds of Euclidean space. Given a set of sample points and an atlas on a compact…
We define essential and strongly essential triangulations of 3-manifolds, and give four constructions using different tools (Heegaard splittings, hierarchies of Haken 3-manifolds, Epstein-Penner decompositions, and cut loci of Riemannian…
We study closed orientable manifolds whose topological complexity is at most 3 and determine their cohomology rings. For some of admissible cohomology rings we are also able to identify corresponding manifolds up to homeomorphism.
Stratified digraphs are popular models for feedforward neural networks. However, computation of their path homologies has been limited to low dimensions due to high computational complexity. A recursive algorithm is proposed to compute…
Polynomial solving algorithms are essential to applied mathematics and the sciences. As such, reduction of their complexity has become an incredibly important field of topological research. We present a topological approach to constructing…
Any smooth, closed oriented 4-manifold has a surface diagram of arbitrarily high genus g>2 that specifies it up to diffeomorphism. The goal of this paper is to prove the following statement: For any smooth, closed oriented 4-manifold M,…
We describe algorithms based on invariant theory to solve problems on the geometry of curves, mainly those of genus 2, 3 and 4. New theoretical results building on the first author's PhD thesis are also included.
This is the first in a series of papers where we will derive invariants of three-manifolds and framed knots in them from the geometry of a manifold pseudotriangulation put in some way in a four-dimensional Euclidean space. Thus, the…
This note wants to explain how to obtain meaningful pictures of (possibly high-dimensional) convex polytopes, triangulated manifolds, and other objects from the realm of geometric combinatorics such as tight spans of finite metric spaces…
Topological phases of matter are often understood and predicted with the help of crystal symmetries, although they don't rely on them to exist. In this chapter we review how topological phases have been recently shown to emerge in amorphous…
This paper proposes a new framework and algorithms to address the problem of diffeomorphic registration on a general class of geometric objects that can be described as discrete distributions of local direction vectors. It builds on both…
The topological classification of gradient like Morse-Smale vector fields and diffeomorphisms on 3-manifolds was obtained.
We prove that the existence of finite combinatorial objects such as affine planes, mutually orthogonal Latin squares, and resolvable balanced incomplete block designs can be reformulated as the existence of certain algorithmic reductions…
There are a least uncountably many diffeomorphism types for open manifolds. Hence the classification problem is extremely difficult. We proceed as follows: We define several uniform structures of proper metric spaces and consider their arc…
We give diagrammatic algorithms for computing the group trisection, homology groups, and intersection form of a closed, orientable, smooth 4-manifold, presented as a branched cover of a bridge-trisected surface in $\mathbb{S}^{4}$. The…
It was shown by Seaman that if a compact, oriented 4-dimensional riemannian manifold (M, g) of positive sectional curvature admits a harmonic 2-form of constant length, its intersection form is definite and such a harmonic form is unique up…