Mathematics Commons^™

Geodesic Completeness And The Hopf-Rinow Theorem, Christopher Farias

Electronic Theses, Projects, and Dissertations

Differential geometry is concerned with the properties of calculus and geometry on curved n-dimensional manifolds. As a result, thinking about such a space often runs counter to the Euclidean geometer's intuition of distances, angles, and transformations. This thesis aims to build up to proving an important result in the study of Riemannian manifolds: the Hopf-Rinow theorem.

In Chapter 2, we begin by defining what a manifold is and showing that the collection of directional derivatives at a point on the manifold spans a tangent vector space. After defining a basis and a metric for this space, in Chapter 3, we …

Differential Topology And The Poincaré-Hopf Theorem, Tara Saini

Rose-Hulman Undergraduate Mathematics Journal

In this paper, we will develop the ideas needed to understand and prove the Poincaré–Hopf Theorem, which connects the local behavior of smooth vector fields to global topological properties. We will begin by introducing smooth manifolds and smooth maps, which are the basis of differential topology. We will then define derivatives of smooth maps through tangent spaces and use these to classify points. To build toward the theorem, we will introduce orientation, degree, and smooth vector fields. These concepts will culminate in a proof of the Poincaré–Hopf Theorem, aided by Brouwer’s Fixed Point Theorem. Finally, we will apply the result …

(R2170) Delta-Continuous Functions In Interval-Valued Neutrosophic Soft Topological Spaces And An Application Using Distance And Similarity Measures, B. Vijayalakshmi, S. Madhunika

Applications and Applied Mathematics: An International Journal (AAM)

This paper introduces delta-continuous functions in interval-valued neutrosophic soft topological spaces and investigates their fundamental properties. Additionally, delta-irresolute functions are introduced within the same framework. The relationships between these functions and existing function classes are explored. Several theorems, accompanied by illustrative examples, are provided to support the theoretical findings. The study also includes an application of the proposed concepts to distance and similarity measures.

Reduced Product Type Monoid-Module Extensions, Darryl Jent

Dissertations

In 1955, I. M. James introduced the James Construction, a free topological monoid that models the loops on the suspension of a given space. In 1969, S. Y. Husseini generalized this idea to RPT monoids: topological monoids with a free-like monoid structure that can be used to model a broader class of loop spaces. In order to prove that these topological monoids are models of loop spaces, both I. M. James and S. Y. Husseini constructed contractible spaces on which these topological monoids act. We define a topological module as a space equipped with an action by a topological monoid. …

Classes Of Analytic Functions Defined By Salagean Derivative Operator Associated With Neutrosophic Generalized Poisson Distribution, Soliu O. Opeyemi Okunola, Olushola Adeyemo, Sayo A. Abidemi Gbangbala, Folorunso I. Isola Akinwale

Neutrosophic Systems with Applications

This study introduces and analyses new subclasses of analytic functions by applying the Salagean derivative operator to the Neutrosophic Generalized Poisson Distribution (NGPD) series. We develop a model where the mean parameter is treated as an interval or set to account for indeterminacy in complex systems. By employing Stirling numbers of the second kind and decreasing factorials, we derive necessary and sufficient coefficient inequalities and inclusion relations for these new subclasses. Numerical results and graphical illustrations demonstrate the sensitivity of these functions to orientation and the neutrosophic parameter, providing a framework for applications in fields like medical imaging and network …

Conditional Product Sampling For Gaussian Process Implicit Surfaces, Song Shi

Dartmouth College Master’s Theses

Gaussian Process Implicit Surfaces (GPISes) provide a powerful and unified stochastic geometry representation for rendering surfaces, volumes, and the rich continuum between them. Recent work has shown that GPISes can model a broad space of visual appearances under a unified light transport framework. However, practical rendering with GPISes remains challenging: existing estimators can become inefficient for particular correlation structures, and highly anisotropic or heightfield-like GPISes require specialized treatment to obtain robust variance reduction.

This thesis extends recent work on GPIS rendering by introducing a new next-event estimation (NEE) technique for anisotropic GPISes.We show that standard NEE provides diminishing benefits as …

The Isoperimetric Inequality And Wirtinger’S Inequality, Mason Neal

Honors Theses

In this thesis, we present Hurwitz’s proof of the Isoperimetric Inequality, which roughly states that the area enclosed by a simple closed curve is always less than or equal to the area of a circle with the same perimeter. Hurwitz’s proof relies on Wirtinger’s Inequality. We survey results about periodic functions and Fourier series, and we use them to provide a proof of Wirtinger’s Inequality. We then give a new proof of a variant of Wirtinger’s Inequality due to Alzer and generalize this variant to higher powers.

Parameterized Polynomial Systems: Monodromy, Sparse Polynomials, And Solutions, Julianne Barnhart

All Dissertations

The lift of a loop in the base space of a branched cover to the cover induces a permutation of points in a fibre. The monodromy group of the branched cover is the permutation group generated by all such permutations. When loops are restricted to a particular subset of the base space, the corresponding permutation group induced by these loops is the restricted monodromy group. Monodromy groups encode structure and symmetries of many enumerative problems. We describe the relationship between the restricted monodromy group and the monodromy group of the original branched cover. Our main result is a local-to-global property: …

The Fundamental Group: A Geometric Perspective, Kayla M. Bittenbinder

All NMU Master's Theses

This thesis explores the deep mathematical connection between the flexible, continuous world of topology and the rigid, distance-preserving world of metric geometry. We begin by constructing the fundamental group of a topological space, using the concept of loops and loop homotopy to identify a global topological invariant such as a hole or puncture. We then transition to the geometric realm of metric spaces and isometries, demonstrating how the isometry group of a space algebraically encodes its rigid symmetries. To bridge these two distinct mathematical frameworks, we utilize the construction of the universal covering space. We pull back the metric from …

From The Hopf Fibration To Instantons: Geometry In Gauge Theory, Emily D. Wessman

Undergraduate Honors Capstone Projects

This paper explores the relationship between topology, differential geometry, and gauge theory through the study of Yang-Mills theory and its solutions, known as instantons. Beginning with the Hopf fibration, we show how principal fiber bundles encode topological information and appear in physical contexts such as electromagnetism. In particular, we consider how the fibration of S³ over CP¹ ≅ S² represents the Dirac magnetic monopole, and how the Chern number associated with the bundle is exactly the winding number for the monopole.

We then develop the framework of gauge theory, focusing on connections on principal SU(2) bundles …

Redefining Certainty: Non-Euclidean Geometry And Theology Transformation Throughout The Intellectual Unrest Of The Early 1800s, Luke Bensinger

Honors Theses

To bridge the gap between mathematics and theology, it is necessary to explore their intersection and challenge the notion that these fields are incompatible. This study focuses on the 19th century, a period when non-Euclidean geometries emerged and disrupted mathematical certainty, while Protestant theologians such as Barton W. Stone and Alexander Campbell grappled with Calvinism and shifting theological perspectives. By analyzing mathematicians studying geometry, such as Gauss, Lobachevsky, and Riemann, this research examines how both disciplines balance change with enduring truths.

The Euler Characteristic, Cara Admiraal

SPARK Symposium Presentations

The Euler characteristic is an example of a topological invariant most famously Leonard Euler proved that for any convex polyhedron with $v$ vertices, $f$ faces, and $e$ edges, $v-e+f=2$. In this presentation, we will extend his ideas to define the Euler characteristic for surfaces.

Unique Combinations Of Packing Integer Squares, Keith M. Dreiling, Austin Leanna, William Mooney

SACAD: Scholarly Activities

This research investigates a function, informally named WAK(x), that describes the number of ways to divide an integer square into integer subsquares counting only the list of parts. Previous research has shown values up to 28, though finding these values is computationally complex and requires a long runtime using computer algorithms. We attempt to find patterns in the values and many aspects of the values, hoping to find a general solution. We are unsure if a solution exists, but we have ideas for how to move forward in finding a solution.

A 4-Dimensional Rubik’S Cube You Can Hold: How It’S Possible And The Math Behind It, Eric J. Moon

SACAD: Scholarly Activities

This poster examines the physical 2x2x2x2, a hand-held realization of a 4-dimensional Rubik’s Cube invented by Melinda Green. Unlike most higher-dimensional twisty puzzles, which exist only as software simulations, this puzzle provides a physical model for exploring 4-dimensional rotation, symmetry, and solving methods. The poster introduces the structure of the puzzle, its canonical move system, and several algebraic ideas that help explain how scrambling and solving work.

From a mathematical perspective, the puzzle can be studied using group actions, commutators, conjugation, and combinatorial counting. In particular, the number of reachable states depends on corner permutations, corner orientations, parity restrictions, twist …

Evolution As Spatial Projection, Charles H. Smith, Ngoc Nguyen

Faculty/Staff Personal Papers

A theory combining explanations for the nature of three-dimensional systems and evolutionary processes is advanced, set to a geometric simulation, and then discussed in the context of several empirical studies bearing on its validity. The concept “evolution” is first discussed, then related to Baruch de Spinoza’s ideas on natural philosophy, including his concept of the conatus. These ideas are then extended by posing the possible existence of a general form of natural systems subsystemization leading to the extended space condition. A geometrical/topological simulation study projecting spatial relations among subsystem structures interpretable through entropy maximization and multidimensional scaling methods is presented, …

Mckinsey-Tarski Algebras And Raney Extensions, G. Bezhanishvili, R. Raviprakash, A. L. Suarez, Joanne Walters-Wayland

Mathematics, Physics, and Computer Science Faculty Articles and Research

We introduce the notion of Raney morphism between MT-algebras and show that the resulting category is equivalent to the category of Raney extensions. This is done by generalizing the construction of the Funayama envelope of a frame. The resulting notion of the T₀-hull of a Raney extension generalizes that of the T_D-hull of a frame.

(Si16-04) Some Fixed Point Theorems On Chatterjea Type Contractions, Irom Shashikanta Singh, Y. Mahendra Singh

Applications and Applied Mathematics: An International Journal (AAM)

This paper establishes the existence of fixed points related to strict Chatterjee contractive mappings by relaxing the compactness of the underlying spaces and the continuity of the mapping involved, using altering distance functions and comparison functions in the general setting of metric spaces. Several non-trivial and illustrative examples are provided to demonstrate, support, and validate the obtained theoretical results. In addition, a theorem that can characterize the completeness of metric spaces through the existence of fixed points is rigorously proven and discussed. Furthermore, a theorem on strict Chatterjea-type modulus contractive mappings without continuity assumptions and with relaxed compactness conditions is …

(Si16-06) Equations Of Geodesics In Two-Dimensional Finsler Manifold With A Special Cubic (Α, Β)-Metric, Sejal Prajapati, Brijesh Kumar Tripathi, V. K. Chaubey

Applications and Applied Mathematics: An International Journal (AAM)

Geodesics represent the shortest path between two points in curved spacetime and are vital in the study of Finsler manifolds. Matsumoto and Park first derived the geodesic equation as a secondorder differential equation in a two-dimensional Finsler manifold with Randers, Kropina, and Matsumoto metrics. Building on this foundation, our paper presents the geodesic differential equation for a two-dimensional Finsler manifold using a special cubic power metric. In this two-dimensional setting, this work also looks at certain well-known geometric curves and analyzes their variants as solutions to the geodesic differential equation. Additionally, this work examines the geometric applications of the geodesic’s …

Polygonal Number Similarity, Gunhan Caglayan

Journal of Humanistic Mathematics

This note takes an exploratory approach to define and then visualize the notion of polygonal number similarity between pairs of k-gonal numbers P_k(αn) and P_k(n) , where α is an integer scale factor of 2 or greater.

Infinite Line, Infinite Knowledge: The 'Spera' And Organized Chaos In Lambert's Encyclopedia, The 'Liber Floridus', Ava Romano

Theses and Dissertations

The Liber Floridus is a medieval encyclopedia renowned for its program of circular diagrams, or sperae. Inside this manuscript of 190 chapters, these diagrams frame and embody written knowledge, revealing a connection between encyclopedism and life in the Benedictine monastery by creating a coherent visual organization of chapters.

Shrinking Attachment Spaces, Anastasia M. Clements

West Chester University Graduate Theses, Dissertations, and Final Projects

Gluing constructions such as pushouts and other colimits are often used to attach spaces to- gether in algebraic topology. The weak topology is a natural choice of topology for attachment spaces in the context of CW-complexes and simplicial complexes because of its universal property but is insufficient for gluing together infinitely many spaces and preserving topological properties like compactness or metrizability. In this thesis, we introduce a modification of the weak topology called the shrinking attachment topology, which is defined on a space Y constructed by attaching an infinite sequence of spaces B₁, B₁, B_{3 …}

Classifying Surfaces With Handle Decomposition, Elizabeth Sipes

Murray State Theses and Dissertations

Among topological spaces, manifolds draw a lot of interest. An
n-manifold is a space that is locally like R^n. Manifolds of dimension 2
are called surfaces. Using handle decomposition, we decompose surfaces
into k-handles, where 0< =k< =2. Techniques such as handle sliding and
handle cancellation allow us to get a more favorable representation of
our surface. We use these tools and calculation of the fundamental group
to classify all compact surfaces.

An Introduction To Modern Conversations On Knot Invariants, Stella Shah

Scripps Senior Theses

Knot Theory is a vast and diverse subfield of modern mathematics involving the classification and abstraction of knots and links. In this thesis, we wish to provide the necessary background for and an explanation of two papers in different subfields of knot theory, The Forbidden Quiver of a Link, and Biquandle Fares and Link Invariants.

In Chapter I, we begin with an introduction to knot theory and knot invariants. We continue to present the example of Fox Colorings, and conclude the chapter with an example of the Fox Coloring Number Invariant.

In Chapter II, we explore the derivation and utilization …

On Stripping And Antipodes In Motivic Steenrod Algebras, Joshua A. Peterson

Theses and Dissertations--Mathematics

We generalize the stripping process to the (mod 2) $\mathbb{C}$- and $\mathbb{R}$-motivic settings. Throughout, we include discussion on how the process changes and the difficulties moving to more general settings. We also introduce antipodes and consider what a potential $\mathbb{R}$-motivic analogue may look like. Finally, we elaborate on how the results may be used in future work to generalize a nilpotence result of Walker and Wood.

A Character Theory For Loop Representations Of Symmetric Monoidal Bicategories, Jordan Sawdy

Theses and Dissertations--Mathematics

Character theory arises in many distinct fields of mathematics, but its many instantiations often share a few key features: they arise in contexts where one object is acted on or parametrized by another, and they are often computed via "trace-like" formulas. Focusing on these properties, we present a categorical formalism for constructing such characters. We first define a notion of "loop representation" for symmetric monoidal bicategories, then build a character for such representations via the canonical symmetric monoidal trace. We then show that this character defines a symmetric monoidal functor which satisfies commutativity properties with respect to both restriction- and …

Geovig And Purevig: Geometry-Aware Architectures For Efficient Computer Vision, Omar Ismail

Theses and Dissertations (Comprehensive)

Deploying deep learning models for medical image analysis on mobile devices requires a balance between inference latency, memory footprint, and delineating anatomical boundaries with high accuracy. While Convolutional Neural Networks (CNNs) and mobile Vision Transformers (ViTs) offer efficiency, they often struggle to model the irregular, non-local geometric structures inherent in biological tissues without incurring prohibitive computational costs. In this thesis, we introduce GeoViG (Geometric Vision Graph), an architecture that bridges the gap between efficient grid-based processing and explicit Geometric Deep Learning. GeoViG introduces a novel transition from high-resolution pixel grids to low-resolution dynamic graphs via a SpreadEdgePool operator, a geometry-aware …

Near Real-Time Adaptive Isotropic And Anisotropic Image-To-Mesh Conversion For Cerebral Aneurysm Simulations, Kevin Garner, Chander Sadasivan, Nikos Chrisochoides

Computer Science Faculty Publications

This paper presents two performance optimization techniques for a mesh adaptation method that is designed to help streamline the discretization of complex vascular geometries within the numerical modeling process. This method is integrated into a pipeline with an image-to-mesh conversion tool to generate adaptive anisotropic meshes from segmented medical images. The pipeline is shown to satisfy quality, fidelity, smoothness, and robustness requirements while providing near real-time performance for medical image-to-mesh conversion. Tested with two brain aneurysm cases and utilizing up to 96 CPU cores within a single, multicore node on Purdue University’s Anvil supercomputer, the parallel adaptive anisotropic meshing method …

Arrangements Of N Planes Resulting In One Bounded Tetrahedral Chamber, Ava Knight

Williams Honors College, Honors Research Projects

This paper investigates the combinatorial geometry of plane arrangements in three-dimensional space, focusing on configurations that produce exactly one bounded tetrahedral chamber. We define T(n) as the number of face-combinatorial equivalence classes of arrangements of n planes in ℝ³ containing exactly one bounded tetrahedral chamber. Known values — T(3) = 0, T(4) = 1, and T(5) = 2 — are established through direct construction, while T(6) remains an open problem. This paper contributes experimental evidence toward resolving T(6) by systematically extending the two valid 5-plane arrangements and verifying, through a plane removal argument, that each yields a valid plane configuration …

Plumbed 3-Manifolds And Neumann Moves, Noah J. Pope

Theses and Dissertations

We give a constructive proof that every weakly negative definite plumbing tree can be transformed into a negative definite one by a finite sequence of Neumann moves. The argument combines Neumann’s plumbing calculus with the diagonalization algorithm of Duchon, Eisenbud, and Neumann, which extracts the eigenvalues of the framing matrix directly from the combinatorics of the tree. We show that any positive eigenvalues are supported on linear branches and can be eliminated systematically via controlled applications of Neumann moves. This provides an explicit algorithm reducing weakly negative definite plumbing trees to negative definite ones.

The Global Orbit ∞-Category And Applications To Assembly Maps, Zoë Pope

Electronic Theses & Dissertations (2024 - present)

We reformulate the foundations of assembly maps in the context of the global orbit ∞-category of all discrete groups. We first show that the ∞-categorical slice of the global orbit ∞-category over any fixed group G is equivalent to the orbit 1-category of G, and we also frame the subgroup 1-category of G in this global context. We then use the afore-mentioned equivalence to redefine assembly maps as counits of the adjunction between left Kan extension and restriction, and give purely ∞-categorical and conceptual proofs of known results, such as the Transitivity Principle. Additionally, we give equivalent formulations for what …