Mathematics Theses and Dissertations
Permanent URI for this collectionhttp://hdl.handle.net/1903/2793
Browse
3 results
Search Results
Item Towards a Classification of Almost Complex and Spin^h Manifolds(2024) Mills, Keith; Rosenberg, Jonathan; Mathematics; Digital Repository at the University of Maryland; University of Maryland (College Park, Md.)We show that all homotopy CP^ns, smooth closed manifolds with the oriented homotopy type of CP^n, admit almost complex structures for 3 ≤ n ≤ 6, and classify these structures by their Chern classes for n=4, 6. Our methods provide a new proof of a result of Libgober and Wood on the classification of almost complex structures on homotopy CP^4s. We also show that all homotopy RP^(2k+1)s admit stably almost complex structures. Spin^h manifolds are the quaternionic analogue to spin^c manifolds. At the prime 2 we compute the spin^h bordism groups by proving a structure theorem for the cohomology of the spin^h bordism spectrum MSpin^h as a module over the mod 2 Steenrod algebra. This provides a 2-local splitting of MSpin^h as a wedge sum of familiar spectra. We also compute the decomposition of H^*(MSpin^h; Z/2Z) explicitly in degrees up through 30 via a counting process.Item Topological Data Analysis, Dimension Reduction, and Computational Efficiency(2022) Monson, Nathaniel; Czaja, Wojciech; Brosnan, Patrick; Mathematics; Digital Repository at the University of Maryland; University of Maryland (College Park, Md.)In this dissertation, we present a novel stability result for the persistent homology of the Rips complex associated to a point cloud. Our theorem is narrower than the classic result of Cohen-Steiner, Edelsbrunner, and Harer in that it does not apply to Cech complexes, nor to functions which are not measuring distance to a point cloud. It is broader than the classic result in that it is “local”; if a function approximately preserves distances in some range, but is contractionary below or expansionary above that range, our result still applies. The novel stability result is paired with the Johnson-Lindenstrauss Lemma to show that, with high probability, random projection approximately preserves persistent homology. An experimental analysis is given of the computational speedup granted by this dimension reduction. This is followed by some observations suggesting that even when the theoretical bound is loose enough that we have no guarantee of homology preservation, thereis still a high chance that significant features of the dataset are preserved.Item Geometric and Topological Reconstruction(2022) Rawson, Michael G.; Balan, Radu; Robinson, Michael; Mathematics; Digital Repository at the University of Maryland; University of Maryland (College Park, Md.)The understanding of mathematical signals is responsible for the information age. Computation, communication, and storage by computers all use signals, either implicitly or explicitly, and use mathematics to manipulate those signals. Reconstruction of a particular signal can be desirable or even necessary depending on how the signal manifests and is measured. We explore how to use mathematical ideas to manipulate and represent signals. Given measurements or samples or data, we analyze how to produce, or \emph{reconstruct}, the desired signal and the fundamental limits in doing so. We focus on reconstruction through a geometric and topological lens so that we can leverage geometric and topological constraints to solve the problems. As inaccuracies and noise are present in every computation, we adopt a statistical outlook and prove results with high probability given noise. We start off with probability and statistics and then use that for active reconstruction where the probability signal needs to be estimated statistically from sampling various sources. We prove optimal ways to doing this even in the most challenging of situations. Then we discuss functional analysis and how to reconstruct sparse rank one decompositions of operators. We prove optimality of certain matrix classes, based on geometry, and compute the worst case via sampling distributions. With the mathematical tools of functional analysis, we introduce the optimal transportation problem. Then we can use the Wasserstein metric and its geometry to provably reconstruct sparse signals with added noise. We devise an algorithm to solve this optimization problem and confirm its ability on both simulated data and real data. Heavily under-sampled data can be ill-posed which is often the case with magnetic resonance imaging data. We leverage the geometry of the motion correction problem to devise an appropriate approximation with a bound. Then we implement and confirm in simulation and on real data. Topology constraints are often present in non-obvious ways but can often be detected with persistent homology. We introduce the barcode algorithm and devise a method to parallelize it to allow analyzing large datasets. We prove the parallelization speedup and use it for natural language processing. We use topology constraints to reconstruct word-sense signals. Persistent homology is dependent on the data manifold, if it exists. And it is dependent on the manifold's reach. We calculate manifold reach and prove the instability of the formulation. We introduce the combinatorial reach to generalize reach and we prove the combinatorial reach is stable. We confirm this in simulation. Unfortunately, reach and persistent homology are not an invariant of hypergraphs. We discuss hypergraphs and how they can partially reconstruct joint distributions. We define a hypergraph and prove its ability to distinguish certain joint distributions. We give an approximation and prove its convergence. Then we confirm our results in simulation and prove its usefulness on a real dataset.