Geometry and Topology Commons^™

A Variational Approach To The Moving Sofa Problem, Ningning Song

Senior Projects Spring 2016

The moving sofa problem is a two-dimensional idealisation of real-life furniture moving problems, and its goal is to find the biggest area that can be maneuvered around a L-shape hallway with unit width. In this project we will learn about Hammersly’s sofa ,Gerver’s sofa and adapt Hammersly’s sofa to non-right angle hallways. We will also use calculus of variations to maximize the area and find out Gerver’s sofa satisfied several conditions that the best sofa satisfies.

Single Valued Neutrosophic Graphs: Degree, Order And Size, Florentin Smarandache, Said Broumi, Mohamed Talea, Assia Bakali

Branch Mathematics and Statistics Faculty and Staff Publications

The single valued neutrosophic graph is a new version of graph theory presented recently as a generalization of fuzzy graph and intuitionistic fuzzy graph. The single valued neutrosophic graph (SVN-graph) is used when the relation between nodes (or vertices) in problems are indeterminate. In this paper, we examine the properties of various types of degrees, order and size of single valued neutrosophic graphs and a new definition for regular single valued neutrosophic graph is given.

In Search Of A Class Of Representatives For Su-Cobordism Using The Witten Genus, John E. Mosley

Theses and Dissertations--Mathematics

In algebraic topology, we work to classify objects. My research aims to build a better understanding of one important notion of classification of differentiable manifolds called cobordism. Cobordism is an equivalence relation, and the equivalence classes in cobordism form a graded ring, with operations disjoint union and Cartesian product. My dissertation studies this graded ring in two ways:

1. by attempting to find preferred class representatives for each class in the ring.

2. by computing the image of the ring under an interesting ring homomorphism called the Witten Genus.

Geometric Auxetics, Ciprian Borcea, Ileana Streinu

Computer Science: Faculty Publications

We formulate a mathematical theory of auxetic behavior based on one-parameter deformations of periodic frameworks. Our approach is purely geometric, relies on the evolution of the periodicity lattice and works in any dimension. We demonstrate its usefulness by predicting or recognizing, without experiment, computer simulations or numerical approximations, the auxetic capabilities of several well-known structures available in the literature. We propose new principles of auxetic design and rely on the stronger notion of expansive behavior to provide an infinite supply of planar auxetic mechanisms and several new three-dimensional structures.

On The Construction Of Simply Connected Solvable Lie Groups, Mark E. Fels

Research Vignettes

This worksheet contains the implementation of Theorems 4.2, 5.4 and 5.7 in the paper On the Construction of Solvable Lie Groups. All the examples in the paper are demonstrated here, along with one in Section 6 that was too long to include in the article.

Hypercube Unfoldings That Tile R3 And R2, Giovanna Diaz, Joseph O'Rourke

Computer Science: Faculty Publications

We show that the hypercube has a face-unfolding that tiles space, and that unfolding has an edge-unfolding that tiles the plane. So the hypercube is a "dimension-descending tiler." We also show that the hypercube cross unfolding made famous by Dali tiles space, but we leave open the question of whether or not it has an edge-unfolding that tiles the plane.

Asymptotically Double Lacunary Equivalent Sequences In Topological Groups, Ayhan Esi, M. K. Ozdemir

Applications and Applied Mathematics: An International Journal (AAM)

In this paper we study the concept of asymptotically double lacunary statistical convergent sequences in topological groups and prove some inclusion theorems.

Differentialgeometry In Brno, Ian M. Anderson

Presentations

This page will provide files supporting Ian Anderson's presentations in Brno, December 2015. The files can be found and downloaded from "Additional Files", below.

The files include:

(1) DifferentialGeometryUSU.mla: This is the Maple Library Archive file which provides all the DifferentialGeometry functionality. Here are Installation Instructions.

(2) DifferentialGeometry.help : this is the latest version of the DifferentialGeometry documentation. Copy this file to the same directory used for DifferentialGeometryUSU.mla (from step (1)).

Skeleton Structures And Origami Design, John C. Bowers

Doctoral Dissertations

In this dissertation we study problems related to polygonal skeleton structures that have applications to computational origami. The two main structures studied are the straight skeleton of a simple polygon (and its generalizations to planar straight line graphs) and the universal molecule of a Lang polygon. This work builds on results completed jointly with my advisor Ileana Streinu. Skeleton structures are used in many computational geometry algorithms. Examples include the medial axis, which has applications including shape analysis, optical character recognition, and surface reconstruction; and the Voronoi diagram, which has a wide array of applications including geographic information systems …

Spiral Unfoldings Of Convex Polyhedra, Joseph O'Rourke

Computer Science: Faculty Publications

The notion of a spiral unfolding of a convex polyhedron, resulting by flattening a special type of Hamiltonian cut-path, is explored. The Platonic and Archimedian solids all have nonoverlapping spiral unfoldings, although among generic polyhedra, overlap is more the rule than the exception. The structure of spiral unfoldings is investigated, primarily by analyzing one particular class, the polyhedra of revolution.

A Fast Algorithm For Simulating Multiphase Flows Through Periodic Geometries Of Arbitrary Shape, Gary R. Marple, Alex Barnett, Adrianna Gillman, Shravan Veerapaneni

Dartmouth Scholarship

This paper presents a new boundary integral equation (BIE) method for simulating particulate and mul- tiphase flows through periodic channels of arbitrary smooth shape in two dimensions. The authors consider a particular system—multiple vesicles suspended in a periodic channel of arbitrary shape—to describe the numerical method and test its performance. Rather than relying on the periodic Green’s function as classical BIE methods do, the method combines the free-space Green’s function with a small auxiliary basis, and imposes periodicity as an extra linear condition. As a result, we can exploit existing free-space solver libraries, quadratures, and fast algorithms, and handle a …

Geometry Of Scales, Kyle Stephen Austin

Doctoral Dissertations

The geometry of coverings has widely been used throughout mathematics and it has recently been a promising tool for resolving longstanding problems in topological rigidity such as the Novikov conjecture and Gromov's positive scalar curvature conjecture. We discuss rigidity conjectures and how large scale geometry is being applied in order to resolve them for important cases.

Not only is small scale and large scale geometry very applicable to understanding global geometry of objects, but it is an interesting topic in its own right. The first chapter of this paper is devoted to building a framework for small scale geometry alongside …

Lorentz Invariant Spacelike Surfaces Of Constant Mean Curvature In Anti-De Sitter 3-Space, Jamie Patrick Lambert

Master's Theses

In this thesis, I studied Lorentz invariant spacelike surfaces with constant mean curvature H = c in the anti-de Sitter 3-space H³₁(−c²) of constant curvature −c². In particular, I construct Lorentz invariant spacelike surfaces of constant mean curvature c and maximal Lorentz invariant spacelike surfaces in H³₁(−c²). I also studied the limit behavior of those constant mean curvature c surfaces in H³₁(−c²). It turns out that they approach a maximal catenoid in Minkowski 3-space E³₁ as c → …

Monodromy Representation Of The Braid Group, Phillip W. Hart

Boise State University Theses and Dissertations

In the mid 1980s, it was realized that solutions to what is known as the Knizhnik- Zamolodchikov equation, or KZ equation, provided a pathway to representations of the braid group B_n on n strands, with early mathematical treatments of the topic by Kohno and Drinfel'd. Such representations are typically referred to as monodromy representations of the braid group along solutions of the KZ equation. These linear representations are of great interest within topology, integral to the construction of isotopy invariants of knots and links, such as the well known Jones polynomial. More current discussions of the KZ equation and …

On The Existence And Uniqueness Of Static, Spherically Symmetric Stellar Models In General Relativity, Josh Michael Lipsmeyer

Masters Theses

The "Fluid Ball Conjecture" states that a static stellar model is spherically symmetric. This conjecture has been the motivation of much work since first mentioned by Kunzle and Savage in 1980. There have been many partial results( ul-Alam, Lindblom, Beig and Simon,etc) which rely heavily on arguments using the positive mass theorem and the equivalence of conformal flatness and spherical symmetry. The purpose of this paper is to outline the general problem, analyze and compare the key differences in several of the partial results, and give existence and uniqueness proofs for a particular class of equations of state which represents …

Geometry Of Life, Janice Dykacz

Journal of Humanistic Mathematics

Relationships in life can be expressed through geometric curves

Modular Classes Of Lie Groupoid Representations Up To Homotopy, Rajan Amit Mehta

Mathematics Sciences: Faculty Publications

We describe a construction of the modular class associated to a representation up to homotopy of a Lie groupoid. In the case of the adjoint representation up to homotopy, this class is the obstruction to the existence of a volume form, in the sense of Weinstein’s “The volume of a differentiable stack”.

Discrete Morse Functions, Vector Fields, And Homological Sequences On Trees, Ian B. Rand

Mathematics Summer Fellows

The goal of this project is to construct a discrete Morse function which induces both a unique gradient vector field and homological sequence on a given tree. After reviewing the basics of discrete Morse theory, we will show that the two standard notions of equivalence of discrete Morse functions, Forman and homological equivalence, are independent of one another. We then show through a constructive algorithm the existence of a discrete Morse function on a tree inducing a desired gradient vector field and homological sequence. After proving that our algorithm is correct, we give an example to illustrate its use.

Geometrization Conditions For Perfect Fluids, Scalar Fields, And Electromagnetic Fields, Charles G. Torre, Dionisios Krongos

Charles G. Torre

Rainich-type conditions giving a spacetime “geometrization” of matter fields in general relativity are reviewed and extended. Three types of matter are considered: perfect fluids, scalar fields, and electromagnetic fields. Necessary and sufficient conditions on a spacetime metric for it to be part of a perfect fluid solution of the Einstein equations are given. Formulas for constructing the fluid from the metric are obtained. All fluid results hold for any spacetime dimension. Geometric conditions on a metric which are necessary and sufficient for it to define a solution of the Einstein-scalar field equations and formulas for constructing the scalar field from …

Algorithms To Compute Characteristic Classes, Martin Helmer

Electronic Thesis and Dissertation Repository

In this thesis we develop several new algorithms to compute characteristics classes in a variety of settings. In addition to algorithms for the computation of the Euler characteristic, a classical topological invariant, we also give algorithms to compute the Segre class and Chern-Schwartz-MacPherson (CSM) class. These invariants can in turn be used to compute other common invariants such as the Chern-Fulton class (or the Chern class in smooth cases).

We begin with subschemes of a projective space over an algebraically closed field of characteristic zero. In this setting we give effective algorithms to compute the CSM class, Segre class and …