Geometry and Topology Commons^™

(R2026) Special Smarandache Ruled Surfaces According To Flc Frame In E^3, Süleyman Şenyurt, Kebire Hilal Ayvacı, Davut Canlı

Applications and Applied Mathematics: An International Journal (AAM)

In this study, we introduce some special ruled surfaces according to the Flc frame of a given polynomial curve. We name these ruled surfaces as TD₂, TD₁ ve D₂D₁ Smarandache ruled surfaces and provide their characteristics such as Gauss and mean curvatures in order to specify their developability and minimality conditions. Moreover, we examine the conditions if the parametric curves of the surfaces are asymptotic, geodesic or curvature line. Such conditions are also argued in terms of the developability and minimality conditions. Finally, we give an example and picture the corresponding graphs of ruled …

(R1977) On Geometry Of Equiform Smarandache Ruled Surfaces Via Equiform Frame In Minkowski 3-Space, Emad Solouma

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, some geometric properties of equiform Smarandache ruled surfaces in Minkowski space E₁³ using an equiform frame are investigated. Also, we give the sufficient conditions that make these surfaces are equiform developable and equiform minimal related to the equiform curvatures and when the equiform base curve contained in a plane or general helix. Finally, we provide an example, such as these surfaces.

Groups Of Non Positive Curvature And The Word Problem, Zoe Nepsa

Master's Theses

Given a group $\Gamma$ with presentation $\relgroup{\scr{\scr{A}}}{\scr{R}}$, a natural question, known as the word problem, is how does one decide whether or not two words in the free group, $F(\scr{\scr{A}})$, represent the same element in $\Gamma$. In this thesis, we study certain aspects of geometric group theory, especially ideas published by Gromov in the late 1980's. We show there exists a quasi-isometry between the group equipped with the word metric, and the space it acts on. Then, we develop the notion of a CAT(0) space and study groups which act properly and cocompactly by isometries on these spaces, such groups …

Analyzing Tortuosity In Patterns Formed By Colonies Of Embryonic Stem Cells Using Topological Data Analysis, Jackie Driscoll

Master's Theses

Pluripotent stem cells have been observed to segregate into Turing-like patterns during the early stages of Dox-inducible hiPSC differentiation. In this thesis, we de- velop a tool to quantify the tortuosity in the patterns formed by colonies of pluripo- tent stem cells using methods from topological data analysis. We use clustering techniques and the mapper algorithm to create simplicial complexes representing samples of cells and detail a method of evaluating the tortuosity of these complexes. We use the resulting persistence landscapes and their associated norms to evaluate experimental data and simulated data from an agent based model. This thesis finds …

Jones Polynomial Obstructions For Positivity Of Knots, Lizzie Buchanan

Dartmouth College Ph.D Dissertations

The fundamental problem in knot theory is distinguishing one knot from another. We accomplish this by looking at knot invariants. One such invariant is positivity. A knot is positive if it has a diagram in which all crossings are positive. A knot is almost-positive if it does not have a diagram where all crossings are positive, but it does have a diagram in which all but one crossings are positive. Given a knot with an almost-positive diagram, it is in general very hard to determine whether it might also have a positive diagram. This work provides positivity obstructions for three …

(R1965) Some More Properties On Generalized Double Fuzzy Z Alpha Open Sets, K. Jayapandian, A. Saivarajan, O. Uma Maheswari, J. Sathiyaraj

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, a new class of sets termed as double fuzzy generalized Z alpha closed sets and double fuzzy generalized Z alpha open sets are introduced with the help of double fuzzy Z alpha open and double fuzzy Z alpha closed sets, respectively. Using these sets double fuzzy generalized Z alpha border, double fuzzy generalized Z alpha exterior and double fuzzy generalized Z alpha frontier of a fuzzy set in double fuzzy topological spaces are introduced. Also, the topological properties and characterizations of these sets and operators are studied. Furthermore, suitable examples have been provided to illustrate the theory.

An Explicit Construction Of Sheaves In Context, Tyler A. Bryson

Dissertations, Theses, and Capstone Projects

This document details the body of theory necessary to explicitly construct sheaves of sets on a site together with the development of supporting material necessary to connect sheaf theory with the wider mathematical contexts in which it is applied. Of particular interest is a novel presentation of the plus construction suitable for direct application to a site without first passing to the generated grothendieck topology.

Pairings In A Ring Spectrum-Based Bousfield-Kan Spectral Sequence, Jonathan Toledo

Dissertations, Theses, and Capstone Projects

Bousfield and Kan traditionally formulated their homotopy spectral sequence over a simplicial set X resolved with respect to a ring R. By considering an adequate category of ring spectra, one can take a ring spectrum E, create from it a functor of a triple on the category of simplicial sets, and build a cosimplicial simplicial set EX. The homotopy spectral sequence can then be formed over such cosimplicial spaces by a similar construction to the original. Pairings can be established on these spectral sequences, and, for nice enough spaces, these pairings on the E₂-terms coincide with certain …

Quantifying Separability In Limit Groups, Keino Brown

Dissertations, Theses, and Capstone Projects

We show that for any finitely generated non-abelian subgroup H of a limit group L, there exists a finite-index subgroup K which is fully residually H. This generalizes the result of Wilton that limit groups admit local retractions. We also show that for any finitely generated subgroup of a limit group, there is a finite-dimensional representation of the limit group which separates the subgroup in the induced Zariski topology. As a corollary, we establish a polynomial upper bound on the size of the quotients used to separate a finitely generated subgroup in a limit group. This generalizes results of Louder, …

A Strong-Type Furstenberg–Sárközy Theorem For Sets Of Positive Measure, Polona Durcik, Vjekoslav Kovač, Mario Stipčić

Mathematics, Physics, and Computer Science Faculty Articles and Research

For every β ∈ (0,∞), β ≠ 1, we prove that a positive measure subset A of the unit square contains a point (x₀, y₀) such that A nontrivially intersects curves y − y0 = a(x −x0)^β for a whole interval I ⊆ (0,∞) of parameters a ∈ I . A classical Nikodym set counterexample prevents one to take β = 1, which is the case of straight lines. Moreover, for a planar set A of positive density, we show that the interval I can be arbitrarily large on the logarithmic scale. These results can …

Motion Planning Algorithm In A Y-Graph, David Baldi

Rose-Hulman Undergraduate Mathematics Journal

We present an explicit algorithm for two robots to move autonomously and without collisions on a track shaped like the letter Y. Configuration spaces are of practical relevance in designing safe control schemes for automated guided vehicles. The topological complexity of a configuration space is the minimal number of continuous instructions required to move robots between any initial configuration to any final one without collisions. Using techniques from topological robotics, we calculate the topological complexity of two robots moving on a Y-track and exhibit an optimal algorithm realizing this exact number of instructions given by the topological complexity.

Effective Non-Hermiticity And Topology In Markovian Quadratic Bosonic Dynamics, Vincent Paul Flynn

Dartmouth College Ph.D Dissertations

Recently, there has been an explosion of interest in re-imagining many-body quantum phenomena beyond equilibrium. One such effort has extended the symmetry-protected topological (SPT) phase classification of non-interacting fermions to driven and dissipative settings, uncovering novel topological phenomena that are not known to exist in equilibrium which may have wide-ranging applications in quantum science. Similar physics in non-interacting bosonic systems has remained elusive. Even at equilibrium, an "effective non-Hermiticity" intrinsic to bosonic Hamiltonians poses theoretical challenges. While this non-Hermiticity has been acknowledged, its implications have not been explored in-depth. Beyond this dynamical peculiarity, major roadblocks have arisen in the search …

Restrictions On Topological Symmetry Groups Of The 3-Rung Möbius Ladder On The Torus, Logan Willhoite

Electronic Theses and Dissertations

In this work, we discuss properties of the 3-rung Möbius ladder embedded on the surface of a torus. We present proofs on restrictions of topological symmetry groups of the Möbius ladder with and without the assumption of preserving orientation. Specifically, we show that Z₂ is the only possible non-trivial orientation-preserving topological symmetry groups, and also that Z₂ and D₂ are the only possible nontrivial topological symmetry groups.

Constructing Spanning Sets Of Affine Algebraic Curvature Tensors, Stephen J. Kelly

Rose-Hulman Undergraduate Mathematics Journal

In this paper, we construct two spanning sets for the affine algebraic curvature tensors. We then prove that every 2-dimensional affine algebraic curvature tensor can be represented by a single element from either of the two spanning sets. This paper provides a means to study affine algebraic curvature tensors in a geometric and algebraic manner similar to previous studies of canonical algebraic curvature tensors.

A Note On The Involutive Concordance Invariants For Certain (1,1)-Knots, Anna Antal, Stanley Pritchard

Rose-Hulman Undergraduate Mathematics Journal

A knot K is a smooth embedding of the circle into the three-dimensional sphere; two knots are said to be concordant if they form the boundary of an annulus properly embedded into the product of the three-sphere with an interval. Heegaard Floer knot homology is an invariant of knots introduced by P. Ozsváth and Z. Szabó in the early 2000's which associates to a knot a filtered chain complex CFK(K), which improves on classical invariants of the knot. Involutive Heegaard Floer homology is a variant theory introduced in 2015 by K. Hendricks and C. Manolescu which additionally considers a chain …

On The Superabundance Of Singular Varieties In Positive Characteristic, Jake Kettinger

Department of Mathematics: Dissertations, Theses, and Student Research

The geproci property is a recent development in the world of geometry. We call a set of points Z\subseq\P_k^3 an (a,b)-geproci set (for GEneral PROjection is a Complete Intersection) if its projection from a general point P to a plane is a complete intersection of curves of degrees a and b. Examples known as grids have been known since 2011. Previously, the study of the geproci property has taken place within the characteristic 0 setting; prior to the work in this thesis, a procedure has been known for creating an (a,b)-geproci half-grid for 4\leq a\leq b, but it was not …

Partitions Of R^N With Maximal Seclusion And Their Applications To Reproducible Computation, Jason Vander Woude

Department of Mathematics: Dissertations, Theses, and Student Research

We introduce and investigate a natural problem regarding unit cube tilings/partitions of Euclidean space and also consider broad generalizations of this problem. The problem fits well within a historical context of similar problems and also has applications to the study of reproducibility in randomized computation.

Given $k\in\mathbb{N}$ and $\epsilon\in(0,\infty)$, we define a $(k,\epsilon)$-secluded unit cube partition of $\mathbb{R}^{d}$ to be a unit cube partition of $\mathbb{R}^{d}$ such that for every point $\vec{p}\in\R^d$, the closed $\ell_{\infty}$ $\epsilon$-ball around $\vec{p}$ intersects at most $k$ cubes. The problem is to construct such partitions for each dimension $d$ with the primary goal of minimizing …

Gordian Distance And Complete Alexander Neighbors, Ana Wright

Department of Mathematics: Dissertations, Theses, and Student Research

We call a knot K a complete Alexander neighbor if every possible Alexander polynomial is realized by a knot one crossing change away from K. It is unknown whether there exists a complete Alexander neighbor with nontrivial Alexander polynomial. We eliminate infinite families of knots with nontrivial Alexander polynomial from having this property and discuss possible strategies for unresolved cases.

Additionally, we use a condition on determinants of knots one crossing change away from unknotting number one knots to improve KnotInfo’s unknotting number data on 11 and 12 crossing knots. Lickorish introduced an obstruction to unknotting number one, which proves …

Framing How We Think About Curves, Megan Sattler

Mathematical Sciences Undergraduate Honors Theses

A frame defines a basis at a point in R^n, and we can frame a curve by placing one at every point along it. This thesis investigates adapted framed curves in R^2 and R^3 in which they are used to provide information about how a curve twists and turns. We derive differential information from the frames that describe how they change and consequently how the curve changes. We also deduce special properties of each framing and discuss how the differential information suffices to describe the shape of curves.

Intrinsic Tame Filling Functions And Other Refinements Of Diameter Functions, Andrew Quaisley

Department of Mathematics: Dissertations, Theses, and Student Research

Tame filling functions are quasi-isometry invariants that are refinements of the diameter function of a group. Although tame filling functions were defined in part to provide a proper refinement of the diameter function, we show that every finite presentation of a group has an intrinsic tame filling function that is equivalent to its intrinsic diameter function. We then introduce some alternative filling functions—based on concepts similar to those used to define intrinsic tame filling functions—that are potential proper refinements of the intrinsic diameter function.

Adviser: Susan Hermiller and Mark Brittenham

Prefix-Rewriting: The Falsification By Fellow Traveler Property And Practical Computation, Ash Declerk

Department of Mathematics: Dissertations, Theses, and Student Research

The word problem is one of the fundamental areas of research in infinite group theory, and rewriting systems (including finite convergent rewriting systems, automatic structures, and autostackable structures) are key approaches to working on the word problem. In this dissertation, we discuss two approaches to creating bounded regular convergent prefix-rewriting systems.

Groups with the falsification by fellow traveler property are known to have solvable word problem, but they are not known to be automatic or to have finite convergent rewriting systems. We show that groups with this geometric property are geodesically autostackable. As a key part of proving this, we …

Knot Equivalence, Jacob Trubey

Electronic Theses, Projects, and Dissertations

A knot is a closed curve in R3. Alternatively, we say that a knot is an embedding f : S1 → R3 of a circle into R3. Analogously, one can think of a knot as a segment of string in a three-dimensional space that has been knotted together in some way, with the ends of the string then joined together to form a knotted loop. A link is a collection of knots that have been linked together.

An important question in the mathematical study of knot theory is that of how we can tell when two knots are, or are …

Roots Of Quaternionic Polynomials And Automorphisms Of Roots, Olalekan Ogunmefun

Electronic Theses and Dissertations

The quaternions are an extension of the complex numbers which were first described by Sir William Rowan Hamilton in 1843. In his description, he gave the equation of the multiplication of the imaginary component similar to that of complex numbers. Many mathematicians have studied the zeros of quaternionic polynomials. Prominent of these, Ivan Niven pioneered a root-finding algorithm in 1941, Gentili and Struppa proved the Fundamental Theorem of Algebra (FTA) for quaternions in 2007. This thesis finds the zeros of quaternionic polynomials using the Fundamental Theorem of Algebra. There are isolated zeros and spheres of zeros. In this thesis, we …

The Sharp Bounds Of A Quasi-Isometry Of P-Adic Numbers In A Subset Real Plane, Kathleen Zopff

Undergraduate Theses

P-adic numbers are numbers valued by their divisibility by high powers of some prime, p. These numbers are an important concept in number theory that are used in major ideas such as the Reimann Hypothesis and Andrew Wiles’ proof of Fermat’s last theorem, and also have applications in cryptography. In this project, we will explore various visualizations of p-adic numbers. In particular, we will look at a mapping of p-adic numbers into the real plane which constructs a fractal similar to a Sierpinski p-gon. We discuss the properties of this map and give formulas for the sharp bounds of its …

A Discrete Morse Approach For Computing Homotopy Types: An Exploration Of The Morse, Generalized Morse, Matching, And Independence Complexes, Connor Donovan

Mathematics Honors Papers

In this thesis, we study possible homotopy types of four families of simplicial complexes–the Morse complex, the generalized Morse complex, the matching complex, and the independence complex–using discrete Morse theory. Given a simplicial complex, K, we can construct its Morse complex from all possible discrete gradient vector fields on K. A similar construction will allow us to build the generalized Morse complex while considering edges and vertices will allow us to construct the matching complex and independence complex. In Chapter 3, we use the Cluster Lemma and the notion of star clusters to apply matchings to families of Morse, generalized …

Translation Of: Sur Des Familles D’Hypersurfaces Isoparamétriques Des Espaces Sphériques À 5 Et À 9 Dimensions, Revista Univ. Tucuman, Serie A, 1 (1940), 5–22, By Elie Cartan, Thomas E. Cecil

Mathematics and Computer Science Department Faculty Scholarship

English title: On Families of Isoparametric Hypersurfaces in Spherical Spaces of 5 and 9 Dimensions

This is an English translation of the article "Sur des familles d'hypersurfaces isoparamétriques des espaces sphériques à 5 et à 9 dimensions" which was originally published in Revista Univ. Tucuman, Serie A, 1, pp. 5-22 (1940), by Élie Cartan.

A note from Thomas E. Cecil, translator: This is an unofficial translation of the original paper which was written in French. All references should be made to the original paper.

Mathematics Subject Classification Numbers: 53B25, 53C40, 53C42

Topological Data Analysis Of Weight Spaces In Convolutional Neural Networks, Adam Wagenknecht

Dissertations

Convolutional Neural Networks (CNNs) have become one of the most commonly used tools for performing image classification. Unfortunately, as with most machine learning algorithms, CNNs suffer from a lack of interpretability. CNNs are trained by using a training data set and a loss function to tune a set of parameters known as the layer weights. This tuning process is based on the classical method of gradient descent, but it relies on a strong stochastic component, which makes the weight behavior during training difficult to understand. However, since CNNs are governed largely by the weights that make up each of the …

Translation Of: Sur Quelque Familles Remarquables D’Hypersurfaces, C.R. Congrès Math. Liège, 1939, Pp. 30–41, By Élie Cartan., Thomas E. Cecil

Mathematics and Computer Science Department Faculty Scholarship

English title: On some remarkable families of hypersurfaces

This is an English translation of the article "Sur quelque familles remarquables d’hypersurfaces" which was originally published in C.R. Congrès Math. Liège, pp. 30–41 (1939), by Élie Cartan.

A note from Thomas E. Cecil, translator: This is an unofficial translation of the original paper which was written in French. All references should be made to the original paper.

Mathematics Subject Classification Numbers: 53B25, 53C40, 53C42

Area Activity, Admin Stem For Success

STEM for Success Showcase

Lesson plan to teach students about area including an activity plan, activity description, activity video, and additional activity materials

Optimal Monohedral Tilings Of Hyperbolic Surfaces, Leonardo Digiosia, Jahangir Habib, Jack Hirsch, Lea Kenigsberg, Kevin Li, Dylanger Pittman, Jackson Petty, Christopher Xue, Weitao Zhu

Rose-Hulman Undergraduate Mathematics Journal

The hexagon is the least-perimeter tile in the Euclidean plane for any given area. On hyperbolic surfaces, this "isoperimetric" problem differs for every given area, as solutions do not scale. Cox conjectured that a regular k-gonal tile with 120-degree angles is isoperimetric. For area π/3, the regular heptagon has 120-degree angles and therefore tiles many hyperbolic surfaces. For other areas, we show the existence of many tiles but provide no conjectured optima. On closed hyperbolic surfaces, we verify via a reduction argument using cutting and pasting transformations and convex hulls that the regular 7-gon is the optimal n-gonal tile of …