Applied Mathematics Commons^™

Facial Reduction Of Semidefinite Relaxations Of Binary Quadratic Problems, Ian Sugrue

Graduate Research Theses & Dissertations

A standard technique for bounding a combinatorial optimization problem is to form a semidefinite relaxation of the problem by "lifting" the problem into a higher dimensional space of symmetric matrices. For some combinatorial problems such as maximum k-cluster, the resulting semidefinite relaxation is not strictly feasible. In the context of the maximum k-cluster problem, we present an equivalent, strictly feasible semidefinite relaxation by way of the dimensionality reduction technique known as facial reduction. We provide a recipe to form this semidefinite relaxation directly, bypassing the lifting and facial reduction steps entirely. We then present our work on generalizing this result, …

The Inverse Scattering Transform For The Nonlinear Schrödinger Equation, Ivan Casas-Rocha

Honors Undergraduate Theses

The Nonlinear Schrödinger (NLS) Equation, iψ_t + 1/2 ψ_xx ± |ψ|²ψ = 0, is a nonlinear partial differential equation which is used to model several physical phenomena including nonlinear effects inside optical fibers and the formation of rogue waves in shallow water. It is particu- larly difficult to study solutions to this equation due to the nonlinearity, and the nonlinearity leads to incredibly interesting solutions not found in linear PDEs such as solitons. In this thesis, we highlight two methods of obtaining solutions to the (NLS) equation: the Inverse Scattering Transform and the Dressing Method. Furthermore, …

Solvability Of Stochastic Linear-Quadratic Optimal Control Problems Under Partial Stabilizability Conditions, Al-Sadh Rahman Imadh

Honors Undergraduate Theses

Optimal Control Theory, a branch of Control Theory, is applicable in fields such as engineering, operations research, and economics. Stochastic Optimal Control deals with noisy systems and data using Ito’s formulation. Given a noisy system and a cost functional, the goal is to find a control that will minimize the cost. This thesis focuses on linear quadratic stochastic optimal control, and we explore state equations that are not stabilizable. We first address measurability concerns arising from the semigroup property of the state trajectory. The notions of partial stability and partial stabilizability are introduced, and we formulate their corresponding Lyapunov and …

Quantized Average Agreement Algorithms With Error Correction For Digraphs, Shuaib A. Mughal

Honors Undergraduate Theses

Multi-agent systems have become more and more prevalent as technology increasingly gets integrated into our daily lives. Some of these technological systems are large in size; for example, the smart grid where multiple devices are used to monitor and control different aspects of the energy grid. Another example is a team of autonomous systems deployed for a specific task. When these systems are spatially distributed, an important component of distributed algorithms is the ability for the agents to reach consensus on the global state of the system. Reaching agreement enables the spatially distributed agent make decisions or determine the next …

Bayesian Networks For Safety-Critical Systems, Joseph Mietkiewicz

Theses

This thesis addresses a operational challenge in modern industrial operations: the increasing complexity of systems and the consequent cognitive burden on operators. As industrial technologies advance, the human-computer interface has become the primary conduit for information flow, playing a pivotal role in operational decision-making. However, the proliferation of data often leads to information overload, potentially compromising rather than enhancing operator performance. This research explores an approach to this pressing issue through the application of Bayesian networks as decision support systems in safety- critical scenarios. Our study employs a multi-faceted approach, combining theoretical modeling with empirical testing. Through collaboration with industry …

Mathematical Modelling Of Disease Outbreak, Favour Christian, Matthew Molloy

SURE Journal: Science Undergraduate Research Experience Journal

Establishing a model framework for more research necessitates a thorough understanding of the causes, distribution, prevalence, and evolution of infectious illnesses. The main mathematical concept used in this modelling simulation is ordinary differential equations (ODEs). The purpose of this study was to investigate the significance of the many criteria linked to a zombie virus spread. The zombie framework provides an accessible and relatively simple representation of the nature of infectious disease spread, allowing for tractable assumptions and the development of more complex situations.

The models are designed around a zombie outbreak in which the zombie virus is spread through a …

Operations On Submodules With The Multiplicative And Quotient Properties, Jiekai Pang

Mathematics & Statistics ETDs

Inspired by the works of Petro, Epstein, Vassilev, and Morre, this thesis aims to study the generalized definitions of the semiprime operation, weakly prime operation, and standard closure operation on rings, that is, the multiplicative operation, weakly multiplicative operation, and standardly multiplicative operation on submodules. Then, we will use Matlis duality to induce the dual notions of these definitions on submodules of Matlis-dualizable Artinian modules. In order to understand the dual notion of the standardly multiplicative operation, that is, the standardly quotient operation, we will classify the operations on the injective hull of residue field of the ring K[[x,y]]/(xy) which …

Theory And Algorithms To Learn, Propagate, And Exploit Uncertainty For Stochastic Optimal Control Of Dynamical Systems, Vignesh Sivaramakrishnan

Electrical and Computer Engineering ETDs

Non-Gaussian uncertainty frequently arises in learning and control problems involving stochastic dynamical systems, particularly in autonomous vehicles, UAVs, satellites, and robotics. In this dissertation, we propose a new framework that leverages characteristic functions that provides a frequency-domain representation of random variables. The dissertation is structured into three key areas. First, we address model-based stochastic optimal control for linear systems with non-Gaussian noise, demonstrating that characteristic functions can be used to enforce chance constraints and control systems toward desired distributions. Second, we explore data-driven stochastic control, utilizing empirical characteristic functions to handle systems with unknown disturbances. In addition, we derive several …

Mathematics In Amusement Parks, Kacey Laumann

Honors Projects

This project focuses specifically on the Walt Disney World Park, Magic Kingdom. I started by collecting data through the MyDisneyExperience app. By recording the data, I was then able to create polynomial functions to the fifth the degree. Each attraction received a function which allowed me to predict the wait times for that attraction. Then, by graphing the functions and analyzing the graph using calculus the “best time” and “worst time” to go to the attraction were found. After the analysis the information is used to build a unique schedule for a guest. Then the guest receives this schedule after …

(R2100) Optimality Conditions Of A Topsis Optimization Model And Its Application On Interval-Valued Data, Sudipta Roy, Sandip Chatterjee

Applications and Applied Mathematics: An International Journal (AAM)

The Technique for Order of Preference by Similarity to Ideal Solution (TOPSIS) is widely used in the field of multi-criteria decision analysis. Despite its popularity and widespread application, little attention has been given to the mathematical foundation that underlies the TOPSIS algorithm. The existing literature on this subject is far from comprehensive, leaving many aspects of the algorithm unexplored. This paper aims to address this gap in the literature by delving into the optimization problem associated with TOPSIS. Unlike traditional interval analysis theory, which only covers a limited scope, our approach extends to a broader range of scenarios and offers …

Enhancing Mathematical Models For Covid-19 Pandemic Response: A Philippine Study, Timothy Robin Teng, Elvira De Lara-Tuprio, Ma. Regina Justina Estuar, Christian Pulmano, Lu Christian S. Ong, Zachary Pangan, Lenard Paulo V. Tamayo, Jasper John V. Segismundo, Mark Anthony C. Tolentino, Alyssa Nicole N. Ty

Mathematics Faculty Publications

Mathematical models supported by a robust automated data pipeline proved to be useful tools for a data-driven and science-based response and policy-making during the COVID-19 pandemic in the Philippines. In the first year of the pandemic, FASSSTER (Feasibility Analysis on Syndromic Surveillance using Spatio-Temporal Epidemiological modeleR) used a compartmental model to generate scenario-based projections of COVID-19 cases. The emergence of the Delta variant, however, and the administration of vaccines over the second half of 2021 caused significant changes in the Philippine pandemic landscape. This necessitated making adjustments to the model to better capture the local disease transmission dynamics and address …

Bounding The Convex Hull Relaxation Of The Unit Commitment Problem With The Shapley-Folkman Theorem, Lauren Henderson

All Theses

The Unit Commitment (UC) problem finds an optimal schedule for a set of generators by minimizing the total operation cost subject to demand and operational constraints. The UC problem is often modeled with a mixed-integer linear program (MILP). We employ the Shapley-Folkman Theorem to provide a bound on the size of fractional solutions of its convex hull relaxation. This result is used to obtain a bound on the optimality gap between the MILP and the convex hull relaxation, which is further tightened using several problem-specific properties of UC. We conduct extensive numerical experiments to study the tightness of this threshold, …

A Dynamical Systems Approach For Modeling Malware Propagating Through A Network And Potential Solutions Towards Mitigating Spread, James Johnson

Cybersecurity Undergraduate Research Showcase

Many people draw close parallels between malware propagating through a network and an epidemic spreading through a population. Epidemics are often modeled by a Susceptible-Infected-Recovered (SIR) model, in which a similar system of equations can model the spread of a virus through a computer network, and can be simplified when making assumptions about the network itself and its fixed number of nodes and edges. In this instance, malware propagating in a network also should reflect the network it is propagating through, in which the dynamical system will factor in the nodes of the network and their properties. The system itself …

Modeling Opioid Addiction In Hand Surgery Patients, Eli Goldwyn, Grace Bowman, Kathryn Montovan, Julie Blackwood

Annual Symposium on Biomathematics and Ecology Education and Research

No abstract provided.

On The Work Of Cartan And Münzner On Isoparametric Hypersurfaces, Thomas E. Cecil, Patrick J. Ryan

Mathematics and Computer Science Department Faculty Scholarship

A hypersurface Mⁿ in a real space form Rⁿ⁺¹, Sⁿ⁺¹, or Hⁿ⁺¹ is isoparametric if it has constant principal curvatures. This paper is a survey of the fundamental work of Cartan and Münzner on the theory of isoparametric hypersurfaces in real space forms, in particular, spheres. This work is contained in four papers of Cartan [3]–[6] published during the period 1938–1940, and two papers of Münzner [47]–[48] that were published in preprint form in the early 1970’s, and as journal articles in 1980–1981. These papers of Cartan and Münzner have been the …

Cp Decomposition Initialization Schemes For Speeding-Up Of Convolutional Neural Networks, Mollee M. Swift

LSU Master's Theses

While machine learning and convolutional neural networks (CNNs) are making strides, a persistent effort remains to optimize classification techniques and target redundancies from a large number of parameters naturally present in CNNs. While CNNs have become more accessible across machine learning, the aim is to make their use optimal for central processing unit (CPU) schemes with varying degrees of computational power. Tensor decomposition methods, specifically canonical polyadic (CP) decomposition, look to reduce parameters by compressing specific layers in a CNN. However, they have certain inconsistencies, and their full potential remains untouched as decomposition research is endless, with many facets one …

Nano Topology And Decision Making In Medical Applications, Samir Mukhtar, Mohamed Shokry, Manar Omran

Journal of Engineering Research

Nano Topology is one of the essential topics that receive special attention from some athletes in the field of General Topology, Operations Research, and Computer Science, because it has a vital role in the generalizing most of the various mathematical concepts. Recently, many efforts have been made to study many types of Nano Topology, as the previous studies lacked real applications in Engineering, Medicine, Pharmacy, and Social Sciences. In this paper, we present some different applications of these studies. The paper is divided into two parts: Firstly, we study the theory of The Nano Topology and investigate its relation with …

(Si13-07) Optimal Range For Value Of Two-Person Zero-Sum Game Models With Uncertain Payoffs, Sana Afreen, Ajay Kumar Bhurjee

Applications and Applied Mathematics: An International Journal (AAM)

Game theory deals with the decision-making of individuals in conflicting situations with known payoffs. However, these payoffs are imprecisely known, which means they have uncertainty due to vagueness in the data set of most real-world problems. Therefore, we consider a two-person zero-sum game model on a larger scale where the payoffs are imprecise and lie within a closed interval. We define the pure and mixed strategy as well as value for the game models. The proposed method computes the optimal range for the value of the game model using interval analysis. To derive some important results, we establish some lemmas …

(Si13-06) Analysis Of Some Unified Integral Equations Of Fredholm Type Associated With Multivariable Incomplete H And I-Functions, Rahul Sharma, Vinod Gill, Naresh Kumar, Kanak Modi, Yudhveer Singh

Applications and Applied Mathematics: An International Journal (AAM)

In this research paper, we examine various effective methods for addressing the problem of solving Fredholm-type integral equations. Our investigation commences by applying the principles of fractional calculus theory. We employ series representations and products of multivariable incomplete H-functions and multivariable incomplete I-functions to solve these integrals. The outcomes derived from our analysis possess a general nature and hold the potential to yield numerous results.

A Micromagnetic Study Of Skyrmions In Thin-Film Multilayered Ferromagnetic Materials, Nicholas J. Dubicki

Dissertations

Magnetic skyrmions are topologically protected, localized, nanoscale spin textures in non-centrosymmetric thin ferromagnetic materials and heterostructures. At present they are of great interest to physicists for potential applications in information technology due to their particle-like properties and stability. In a system of multiple thin ferromagnetic layers, the stray field interaction was typically treated with various simplifications and approximations. It is shown that extensive analysis of the micromagnetic equations leads to an exact representation of the stray field interaction energy in the form of layer interaction kernels, a so-called 'finite thickness' representation. This formulation reveals the competition between perpendicular magnetic anisotropy …

Diagrams In Involutive Residuated Lattices, Isis A. Gallardo

Electronic Theses and Dissertations

First, we show that every distributive lattice-ordered pregroup can be embedded into a functional algebra over an integral chain, thereby improving the existing Cayley/Holland style embedding theorem. Using this result, we demonstrate that the variety of all dis tributive lattice-ordered pregroups is generated by the functional algebra on the integers. Additionally, we prove that the equational theory of this variety is decidable.

Next, we establish that DLP is equal to the join of its subvarieties LP_n, where 𝑛 ∈ ℤ⁺, consisting of 𝑛-periodic ℓ-pregroups. We also prove that every algebra in LP_n can be embedded …

Mathematical Modeling, Analysis, And Simulation Of Patient Addiction Journey, Adan Baca, Diego Gonzalez, Alonso G. Ogueda, Holly C. Matto, Padmanabhan Seshaiyer

CODEE Journal

This paper aims to develop a mathematical model to study the dynamics of addiction as individuals go through their detox journey. The motivation for this work is three fold. First, there has been a significant increase in drug overdose and drug addiction following the COVID-19 pandemic, and addiction may be interpreted as a infectious disease. Secondly, the dynamics of infectious disease could be modeled via compartmental models described by differential equations and one can therefore leverage the existing analytical and numerical methods to model addiction as a disease. Finally, the work helps to inform how mathematical models governed by differential …

Visualization Of Species Tree Likelihood Under The Multispecies Coalescent Model, Jaimasan Sutton

Mathematics & Statistics ETDs

A commonly used tool for evolutionary biologists is a phylogenetic tree that represents the ancestry of a set of species and the evolution of traits. Statistical models can be used to predict the probabilities of gene trees which represent ancestral relationships of genes sampled from species. Because of this, we are able to represent the likelihood of a species tree, which represents the evolutionary history of a set of species, as a function of the counts of gene tree topologies, where each gene tree represents the ancestry of a specific genetic locus for multiple species. Because we can represent these …

Uniformly Distributing Points On A Sphere, Flavio Arrigoni

Rose-Hulman Undergraduate Mathematics Journal

In this paper, we are going to present and discuss different procedures for distributing points on a sphere's surface. Furthermore, we will assess their quality with three different distribution tests. The MATHEMATICA package that we created for testing and plotting the points is publicly available.

Modeling Virus Diffusion On Social Media Networks With The Smirq Model, Justin Browning, Arnav Mazumder, Gowri Nanda

Rose-Hulman Undergraduate Mathematics Journal

As social networking services become more complex and widespread, users become increasingly susceptible to becoming infected with malware and risk their data being compromised. In the United States, it costs the government billions of dollars annually to handle malware attacks. Additionally, computer viruses can be spread through schools, businesses, and individuals’ personal devices and accounts. Malware affecting larger groups of people causes problems with privacy, personal files, and financial security. Thus, we developed the probabilistic SMIRQ (pSMIRQ) model that shows how a virus spreads through a generated network as a way to track and prevent future viruses. Our model is …

Resonant Solutions Of The Non-Linear Schrödinger Equation With Periodic Potential, Arein Duaibes, Yulia Karpeshina

Mathematics Faculty Publications

The goal is construction of stationary solutions close to non-trivial combinations of two plane waves at high energies for a periodic non-linear Schrödinger Equation in dimension two. The corresponding isoenergetic surface is described for any sufficiently large energy k2. It is shown that the isoenergetic surface corresponding to k2 is essentially different from that for the zero potential even for small potentials. We use a combination of the perturbative results obtained earlier for the linear case and a method of successive approximation.

Asymptotic Formula For Scattering Problems Related To Thin Metasurfaces, Zachary Jermain

LSU Doctoral Dissertations

The goal of this work is to develop an asymptotic formula for the behavior of a scattered electromagnetic field in the presence of a thin metamaterial known as a metasurface. By using a carefully chosen Green’s function and the single and double layer potentials we analyze the perturbed scattering problem in the presence of the metamaterial and a background scattering problem. By using Lippman-Schwinger type representation formulas for the two fields we develop the asymptotic formula for the perturbed field. From here we prove the asymptotic formula holds up to a specific error term based on the size of the …

Parallel Multigrid In Time For Chaotic Dynamical Systems, David Alan Vargas

Mathematics & Statistics ETDs

Despite the fact that Parallel-in-Time (PinT) methods are predicted to become necessary to fully utilize next-generation exa- and zettascale machines, there are currently no known practical methods which scale well with the length of the time-domain for chaotic problems, due to exponential dependence of the condition number on the fastest chaotic timescale. I present modifications to the coarse-grid equations along with a novel rediscretization approach which together greatly improve convergence of the multigrid reduction in time (MGRIT) algorithm and allow the first known PinT speedup for a chaotic PDE. The novel Local Shadowing Relaxation (LSR) is presented as an alternative …

Parallel-In-Time Implicit Schemes For Nonlinear Pdes, Subhash Paudel

Mathematics & Statistics Theses & Dissertations

An accurate prediction of unsteady physical phenomena arising in various applications (e.g., rotorcraft and turbomachinery flows, fluid-structure interaction, maneuvering flight conditions, etc.) requires a very large number of time steps, thus considerably increasing the total computational time, because conventional time integrators are inherently sequential. Parallel-in-time methods offer a promising direction for drastically reducing the computational time and achieving such scalability that is required for solving these unsteady problems on modern supercomputers with hundreds of thousands of computing cores. The parallel performance of existing parallel-in-time algorithms for nonlinear equations especially of the hyperbolic or mixed type is far from being satisfactory. …

Numerical Issues For A Non-Autonomous Logistic Model, Marina Mancuso, Kaitlyn M. Martinez, Carrie Manore, Fabio Milner

CODEE Journal

The user-friendly aspects of standardized, built-in numerical solvers in
computational software aid in the simulations of many problems solved using
differential equations. The tendency to trust output from built-in numerical
solvers may stem from their ease-of-use or the user’s unfamiliarity with the
inner workings of the numerical methods. Here, we show a case where the
most frequently used and trusted built-in numerical methods in Python’s
SciPy library produce incorrect, inconsistent, and even unstable approxima-
tions for a the non-autonomous logistic equation, which is used to model
biological phenomena across a variety of disciplines. Some of the most com-
monly used …