Mathematics Commons^™

Constructible Sandwich Cut, Philip A. Son

FIU Undergraduate Research Journal

In mathematical measure theory, the “Ham-Sandwich” theorem states that any n objects in an n-dimensional Euclidean space can be simultaneously divided in half with a single cut by an (n-1)-dimensional hyperplane. While it guarantees its existence, the theorem does not provide a way of finding this halving hyperplane, as it is only an existence result. In this paper, we look at the problem in dimension 2, more in the style of Euclid and the antique Greeks, that is from a constructible point of view, with straight edge and compass. For two arbitrary regions in the plane, there is certainly no …

A Cohomological Perspective To Nonlocal Operators, Nicholas White

Honors Theses

Nonlocal models have experienced a large period of growth in recent years. In particular, nonlocal models centered around a finite horizon have been the subject of many novel results. In this work we consider three nonlocal operators defined via a finite horizon: a weighted averaging operator in one dimension, an averaging differential operator, and the truncated Riesz fractional gradient. We primarily explore the kernel of each of these operators when we restrict to open sets. We discuss how the topological structure of the domain can give insight into the behavior of these operators, and more specifically the structure of their …

Model Selection Through Cross-Validation For Supervised Learning Tasks With Manifold Data, Derek Brown

The Journal of Purdue Undergraduate Research

No abstract provided.

Problems In Chemical Graph Theory Related To The Merrifield-Simmons And Hosoya Topological Indices, William B. O'Reilly

Electronic Theses and Dissertations

In some sense, chemical graph theory applies graph theory to various physical sciences. This interdisciplinary field has significant applications to structure property relationships, as well as mathematical modeling. In particular, we focus on two important indices widely used in chemical graph theory, the Merrifield-Simmons index and Hosoya index. The Merrifield-Simmons index and the Hosoya index are two well-known topological indices used in mathematical chemistry for characterizing specific properties of chemical compounds. Substantial research has been done on the two indices in terms of enumerative problems and extremal questions. In this thesis, we survey known extremal results and consider the generalized …

Reducing Food Scarcity: The Benefits Of Urban Farming, S.A. Claudell, Emilio Mejia

Journal of Nonprofit Innovation

Urban farming can enhance the lives of communities and help reduce food scarcity. This paper presents a conceptual prototype of an efficient urban farming community that can be scaled for a single apartment building or an entire community across all global geoeconomics regions, including densely populated cities and rural, developing towns and communities. When deployed in coordination with smart crop choices, local farm support, and efficient transportation then the result isn’t just sustainability, but also increasing fresh produce accessibility, optimizing nutritional value, eliminating the use of ‘forever chemicals’, reducing transportation costs, and fostering global environmental benefits.

Imagine Doris, who is …

Aspects Of Stochastic Geometric Mechanics In Molecular Biophysics, David Frost

All Dissertations

In confocal single-molecule FRET experiments, the joint distribution of FRET efficiency and donor lifetime distribution can reveal underlying molecular conformational dynamics via deviation from their theoretical Forster relationship. This shift is referred to as a dynamic shift. In this study, we investigate the influence of the free energy landscape in protein conformational dynamics on the dynamic shift by simulation of the associated continuum reaction coordinate Langevin dynamics, yielding a deeper understanding of the dynamic and structural information in the joint FRET efficiency and donor lifetime distribution. We develop novel Langevin models for the dye linker dynamics, including rotational dynamics, based …

Rigid Body Constrained Motion Optimization And Control On Lie Groups And Their Tangent Bundles, Brennan S. Mccann

Doctoral Dissertations and Master's Theses

Rigid body motion requires formulations where rotational and translational motion are accounted for appropriately. Two Lie groups, the special orthogonal group SO(3) and the space of quaternions H, are commonly used to represent attitude. When considering rigid body pose, that is spacecraft position and attitude, the special Euclidean group SE(3) and the space of dual quaternions DH are frequently utilized. All these groups are Lie groups and Riemannian manifolds, and these identifications have profound implications for dynamics and controls. The trajectory optimization and optimal control problem on Riemannian manifolds presents significant opportunities for theoretical development. Riemannian optimization is an attractive …

Efficient And Secure Digital Signature Algorithm (Dsa), Nissa Mehibel, M'Hamed Hamadouche

Emirates Journal for Engineering Research

The digital signature is used to ensure the integrity of messages as well as the authentication and non-repudiation of users. Today it has a very important role in information security. Digital signature is used in various fields such as e-commerce and e-voting, health, internet of things (IOT). Many digital signature schemes have been proposed, depending on the computational cost and security level. In this paper, we analyzed a recently proposed digital signature scheme based on the discrete logarithm problem (DLP). Our analysis shows that the scheme is not secure against the repeated random number attack to determine the secret keys …

Dna Self-Assembly Of Trapezohedral Graphs, Hytham Abdelkarim

Electronic Theses, Projects, and Dissertations

Self-assembly is the process of a collection of components combining to form an organized structure without external direction. DNA self-assembly uses multi-armed DNA molecules as the component building blocks. It is desirable to minimize the material used and to minimize genetic waste in the assembly process. We will be using graph theory as a tool to find optimal solutions to problems in DNA self-assembly. The goal of this research is to develop a method or algorithm that will produce optimal tile sets which will self-assemble into a target DNA complex. We will minimize the number of tile and bond-edge types …

Asymptotic Cones Of Quadratically Defined Sets And Their Applications To Qcqps, Alexander Joyce

All Dissertations

Quadratically constrained quadratic programs (QCQPs) are a set of optimization problems defined by a quadratic objective function and quadratic constraints. QCQPs cover a diverse set of problems, but the nonconvexity and unboundedness of quadratic constraints lead to difficulties in globally solving a QCQP. This thesis covers properties of unbounded quadratic constraints via a description of the asymptotic cone of a set defined by a single quadratic constraint. A description of the asymptotic cone is provided, including properties such as retractiveness and horizon directions.

Using the characterization of the asymptotic cone, we generalize existing results for bounded quadratically defined regions with …

Stability Of Cauchy's Equation On Δ+., Holden Wells

Electronic Theses and Dissertations

The most famous functional equation f(x+y)=f(x)+f(y) known as Cauchy's equation due to its appearance in the seminal analysis text Cours d'Analyse (Cauchy 1821), was used to understand fundamental aspects of the real numbers and the importance of regularity assumptions in mathematical analysis. Since then, the equation has been abstracted and examined in many contexts. One such examination, introduced by Stanislaw Ulam and furthered by Donald Hyers, was that of stability. Hyers demonstrated that Cauchy's equation exhibited stability over Banach Spaces in the following sense: functions that approximately satisfy Cauchy's equation are approximated with the same level of error by functions …

Solving The Cable Equation, A Second-Order Time Dependent Pde For Non-Ideal Cables With Action Potentials In The Mammalian Brain Using Kss Methods, Nirmohi Charbe

Master's Theses

In this thesis we shall perform the comparisons of a Krylov Subspace Spectral method with Forward Euler, Backward Euler and Crank-Nicolson to solve the Cable Equation. The Cable Equation measures action potentials in axons in a mammalian brain treated as an ideal cable in the first part of the study. We shall subject this problem to the further assumption of a non-ideal cable. Assume a non-uniform cross section area along the longitudinal axis. At the present time, the effects of torsion, curvature and material capacitance are ignored. There is particular interest to generalize the application of the PDEs including and …

Waste Treatment Facility Location For Hotel Chains, Dolores R. Santos-Peñate, Rafael R. Suárez-Vega, Carmen Florido De La Nuez

ITSA 2022 Gran Canaria - 9th Biennial Conference: Corporate Entrepreneurship and Global Tourism Strategies After Covid 19

Tourism generates huge amounts of waste. About half of the waste generated by hotels is food and garden bio-waste. This bio-waste can be used to make compost and pellets. In turn, pellets can be used as an absorbent material in composters and as an energy source. We consider the problem of locating composting and pellet-making facilities so that the bio-waste generated by a chain of hotels can be managed at or close to the generation points. An optimization model is applied to locate the facilities and allocate the waste and products, and several scenarios are analysed. The study shows that, …

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 …

Complex-Valued Approach To Kuramoto-Like Oscillators, Jacqueline Bao Ngoc Doan

Electronic Thesis and Dissertation Repository

The Kuramoto Model (KM) is a nonlinear model widely used to model synchrony in a network of oscillators – from the synchrony of the flashing fireflies to the hand clapping in an auditorium. Recently, a modification of the KM (complex-valued KM) was introduced with an analytical solution expressed in terms of a matrix exponential, and consequentially, its eigensystem. Remarkably, the analytical KM and the original KM bear significant similarities, even with phase lag introduced, despite being determined by distinct systems. We found that this approach gives a geometric perspective of synchronization phenomena in terms of complex eigenmodes, which in turn …

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 …

Problem Of The Week: A Student-Led Initiative To Bring Mathematics To A Broader Audience, Jordan M. Sahs, Brad Horner

UNO Student Research and Creative Activity Fair

Problem of the Week (POW!) is a weekly undergraduate mathematics competition hosted by two graduate students from the UNO Math Department. It started with the goal to showcase variety, creativity, and intrigue in math to those who normally feel math is dry, rote, and formulaic. Problems shine light on both hidden gems and popular recreational math, both math history and contemporary research, both iconic topics and nontraditional ones, both pure abstraction and real-world application. Now POW! aims to increase availability and visibility in Omaha and beyond. Select problems from Fall 2021 to Spring 2023 are highlighted here: these received noteworthy …

An Adaptive Algorithm For `The Secretary Problem': Alternate Proof Of The Divergence Of A Maximizer Sequence, Andrew Benfante, Xiang Xu

OUR Journal: ODU Undergraduate Research Journal

This paper presents an alternate proof of the divergence of the unique maximizer sequence {𝑥∗ 𝑛} of a function sequence {𝐹𝑛(𝑥)} that is derived from an adaptive algorithm based on the now classic optimal stopping problem, known by many names but here ‘the secretary problem’. The alternate proof uses a result established by Nguyen, Xu, and Zhao (n.d.) regarding the uniqueness of maximizer points of a generalized function sequence {𝑆𝜇,𝜎 𝑛 } and relies on the strict monotonicity of 𝐹𝑛(𝑥) as 𝑛 increases in order to show divergence of {𝑥∗ 𝑛}. Towards this, limits of the exponentiated Gaussian CDF are …

Effects Of Slip On Highly Viscous Thin-Film Flows Inside Vertical Tubes (Constant Radius, Constricted And Flexible), Mark S. Schwitzerlett

Theses and Dissertations

Viscous liquid film flows in a tube arise in numerous industrial and biological applications, including the transport of mucus in human airways. Previous modeling studies have typically used no-slip boundary conditions, but in some applications the effects of slip at the boundary may not be negligible. We derive a long-wave model based on lubrication theory which allows for slippage along the boundary. Linear stability analysis verifies the impact of slip-length on the speed, growth rate, and wavelength of the most unstable mode. Nonlinear simulations demonstrate the impact of slip-length on plug formation and wave dynamics. These simulations are conducted for …

Novel Architectures And Optimization Algorithms For Training Neural Networks And Applications, Vasily I. Zadorozhnyy

Theses and Dissertations--Mathematics

The two main areas of Deep Learning are Unsupervised and Supervised Learning. Unsupervised Learning studies a class of data processing problems in which only descriptions of objects are known, without label information. Generative Adversarial Networks (GANs) have become among the most widely used unsupervised neural net models. GAN combines two neural nets, generative and discriminative, that work simultaneously. We introduce a new family of discriminator loss functions that adopts a weighted sum of real and fake parts, which we call adaptive weighted loss functions. Using the gradient information, we can adaptively choose weights to train a discriminator in the direction …

Ambientes De Inclusión Para El Desarrollo Del Pensamiento Numérico Con Población Con Síndrome De Down, Luisa Valeria Escobar Buitrago, Ingry Yuliana Torres Garzón, Juan David Firigua Bejarano

Educación

La importancia de tratar sobre una educación inclusiva es hacer que la humanidad obtenga la aceptación hacia la diversidad, donde se encuentre un mundo lleno de posibilidades reconociendo todos los tipos de población entre ella las personas con Síndrome de Down, lo cual consiste en que la educación esté centrado en el respeto y la valoración de la diversidad, haciendo un enfoque general en las necesidades que esta población tiene, desarrollando habilidades para su desenvolvimiento tanto personal como laboral en determinada sociedad, por lo tanto el objetivo principal de este trabajo es desarrollar el pensamiento numérico de los estudiantes de …

Compilación De Procesos Investigativos En Educación Matemática, Martha Lidia Barreto Moreno, Yeferson Castellanos Novoa, María Alejandra Mayorga Henao, Diana Marcela Contento Sarmiento, Jesús Antonio Villarraga Palomino, Andrés Alberto Gutiérrez Morales, Juan David Firigua Bejarano, Yineth Marleidy Parra Ubaque, Lady Johanna Silva Marín

Educación

En el libro Compilación de procesos de investigación en educación matemática, consta de cuatro capítulos donde se presentan los procesos desarrollados en el marco de proyectos de investigación a nivel de pregrado y postgrado en Educación.

El primer capítulo consiste en la sistematización de la acción docente desarrollada en el marco de los Talleres Itinerantes de Alfabetización Computacional en la provincia de Sumapaz, propuesta de innovación para implementar procesos didácticos que contribuyan al desarrollo del pensamiento matemático computacional en educación básica primaria rural.

El segundo capítulo contiene el proceso investigativo que dio continuidad al trabajo realizado en la Fase1, sobre …

Efficiency Of Homomorphic Encryption Schemes, Kyle Yates

All Theses

In 2009, Craig Gentry introduced the first fully homomorphic encryption scheme using bootstrapping. In the 13 years since, a large amount of research has gone into improving efficiency of homomorphic encryption schemes. This includes implementing leveled homomorphic encryption schemes for practical use, which are schemes that allow for some predetermined amount of additions and multiplications that can be performed on ciphertexts. These leveled schemes have been found to be very efficient in practice. In this thesis, we will discuss the efficiency of various homomorphic encryption schemes. In particular, we will see how to improve sizes of parameter choices in homomorphic …

Unique Signed Minimal Wiring Diagrams And The Stanley-Reisner Correspondence, Vanessa Newsome-Slade

Master's Theses

Biological systems are commonly represented using networks consisting of interactions between various elements in the system. Reverse engineering, a method of mathematical modeling, is used to recover how the elements in the biological network are connected. These connections are encoded using wiring diagrams, which are directed graphs that describe how elements in a network affect one another. A signed wiring diagram provides additional information about the interactions between elements relating to activation and inhibition. Due to cost concerns, it is optimal to gain insight into biological networks with as few experiments and data as possible. Minimal wiring diagrams identify the …

Data And Algorithmic Modeling Approaches To Count Data, Andraya Hack

Honors College Theses

Various techniques are used to create predictions based on count data. This type of data takes the form of a non-negative integers such as the number of claims an insurance policy holder may make. These predictions can allow people to prepare for likely outcomes. Thus, it is important to know how accurate the predictions are. Traditional statistical approaches for predicting count data include Poisson regression as well as negative binomial regression. Both methods also have a zero-inflated version that can be used when the data has an overabundance of zeros. Another procedure is to use computer algorithms, also known as …

Quadratic Neural Network Architecture As Evaluated Relative To Conventional Neural Network Architecture, Reid Taylor

Senior Theses

Current work in the field of deep learning and neural networks revolves around several variations of the same mathematical model for associative learning. These variations, while significant and exceptionally applicable in the real world, fail to push the limits of modern computational prowess. This research does just that: by leveraging high order tensors in place of 2nd order tensors, quadratic neural networks can be developed and can allow for substantially more complex machine learning models which allow for self-interactions of collected and analyzed data. This research shows the theorization and development of mathematical model necessary for such an idea to …

Existence And Uniqueness Of Minimizers For A Nonlocal Variational Problem, Michael Pieper

Honors Theses

Nonlocal modeling is a rapidly growing field, with a vast array of applications and connections to questions in pure math. One goal of this work is to present an approachable introduction to the field and an invitation to the reader to explore it more deeply. In particular, we explore connections between nonlocal operators and classical problems in the calculus of variations. Using a well-known approach, known simply as The Direct Method, we establish well-posedness for a class of variational problems involving a nonlocal first-order differential operator. Some simple numerical experiments demonstrate the behavior of these problems for specific choices of …

An Exploration Of Voting With Partial Orders, Mason Acevedo

HMC Senior Theses

In this thesis, we discuss existing ideas and voting systems in social choice theory. Specifically, we focus on the Kemeny rule and the Borda count. Then, we begin trying to understand generalizations of these voting systems in a setting where voters can submit partial rankings on their ballot, instead of complete rankings.

Role Of Inhibition And Spiking Variability In Ortho- And Retronasal Olfactory Processing, Michelle F. Craft

Theses and Dissertations

Odor perception is the impetus for important animal behaviors, most pertinently for feeding, but also for mating and communication. There are two predominate modes of odor processing: odors pass through the front of nose (ortho) while inhaling and sniffing, or through the rear (retro) during exhalation and while eating and drinking. Despite the importance of olfaction for an animal’s well-being and specifically that ortho and retro naturally occur, it is unknown whether the modality (ortho versus retro) is transmitted to cortical brain regions, which could significantly instruct how odors are processed. Prior imaging studies show different …

Representation Theory And Its Applications In Physics, Jakub Bystrický

Honors Theses

Representation theory is a branch of mathematics that allows us to represent elements of a group as elements of a general linear group of a chosen vector space by means of a homomorphism. The group elements are mapped to linear operators and we can study the group using linear algebra. This ability is especially useful in physics where much of the theories are captured by linear algebra structures. This thesis reviews key concepts in representation theory of both finite and infinite groups. In the case of finite groups we discuss equivalence, orthogonality, characters, and group algebras. We discuss the importance …