Physical Sciences and Mathematics Commons^™

Modeling Vibration Stiffness: An Analytical Extension Of Hertzian Theory For Angular Contact Bearings With A Thin Viscoelastic Coating, Davis R. Burton

Honors Theses

This thesis considers the novel angular contact rolling-element bearings proposed by NASA’s Glenn Research Center, which are coated with a thin solid lubricant that exhibits viscoelastic behavior. Current analytical models for the dynamic stiffness matrix of angular contact bearings, critical for vibration analysis, lack the ability to model the effects of a solid coating, as well as the time dependencies inherent in viscoelastic theory. The author first presents an overview of the stiffness matrix derivation, followed by a treatment of the underlying Hertzian contact theory. An analytical extension of this theory is proposed which accounts for a thin elastic layer …

The Mathematical And Historical Significance Of The Four Color Theorem, Brock Bivens

Honors Theses

Researching how the Four Color Theorem was proved, its implications on the mathematical community, and interviews with working mathematicians to develop my own personal opinions on the significance of the Four Color Theorem.

Echolocation On Manifolds, Kerong Wang

Honors Theses

We consider the question asked by Wyman and Xi [WX23]: ``Can you hear your location on a manifold?” In other words, can you locate a unique point x on a manifold, up to symmetry, if you know the Laplacian eigenvalues and eigenfunctions of the manifold? In [WX23], Wyman and Xi showed that echolocation holds on one- and two-dimensional rectangles with Dirichlet boundary conditions using the pointwise Weyl counting function. They also showed echolocation holds on ellipsoids using Gaussian curvature.

In this thesis, we provide full details for Wyman and Xi's proof for one- and two-dimensional rectangles and we show that …

The Precedence-Constrained Quadratic Knapsack Problem, Changkun Guan

Honors Theses

This thesis investigates the previously unstudied Precedence-Constrained Quadratic Knapsack Problem (PC-QKP), an NP-hard nonlinear combinatorial optimization problem. The PC-QKP is a variation of the traditional Knapsack Problem (KP) that introduces several additional complexities. By developing custom exact and approximate solution methods, and testing these on a wide range of carefully structured PC-QKP problem instances, we seek to identify and understand patterns that make some cases easier or harder to solve than others. The findings aim to help develop better strategies for solving this and similar problems in the future.

Imperfect Immunity And The Stability Of A Modified Kermack-Mckendrick Model, Kaylee Sims

Honors Theses

The classic Kermack-McKendrick model of mathematical epidemiology suggests that a population is only in equilibrium when there is no disease present. In the modern era, we have several cyclic infectious diseases that show no signs of eradication, despite global health measures. In this thesis, we introduce a coefficient of waning immunity in order to produce a modified Kermack-McKendrick model and analyze whether the model yields system stability with a certain amount of infection present. Ultimately, the model is incongruent with real-world case data, with its most glaring failure being exponential dampening of the height of each disease case peak due …

From Big Farm To Big Pharma: A Differential Equations Model Of Antibiotic-Resistant Salmonella In Industrial Poultry Populations, Rilyn Mckallip

Honors Theses

Antibiotics are used in poultry production as prophylaxis, curative treatment, and growth promotion. The first use is as prophylaxis, or prevention of common bacterial diseases. The crowded conditions in concentrated animal feeding operations necessitate management of infectious disease to ensure overall animal health and the profitability of such operations. In these farms, between 20,000 and 125,000 birds are raised in shed-like enclosures [3], with an average of less than one square foot of space per chicken [34]. Antibiotics are currently used in chicken farms to manage and prevent common bacterial diseases such as respiratory and digestive tract infections, as well …

The Commutant Of The Fourier–Plancherel Transform, Brianna Cantrall

Honors Theses

One can see that this matrix is unitary and has eigenvalues {1,−i,−1, I}, each of infinite multiplicity. Throughout the remainder of this thesis, we will convince the reader that the above linear transformation is actually the Fourier transform. We will compute the commutant, as well as its invariant subspaces. The key to do this relies on the Hermite polynomials. Why do we recast the Fourier transform from its well-known and well studied integral form to the matrix form shown above? As we will see, the matrix form allows us to efficiently discover the operator theory of the Fourier transform obfuscated …

Fine-Tuning A 𝑘-Nearest Neighbors Machine Learning Model For The Detection Of Insurance Fraud, Alliyah Stout

Honors Theses

Billions of dollars are lost within insurance companies due to fraud. Large money losses force insurance companies to increase premium costs and/or restrict policies. This negatively affects a company’s loyal customers. Although this is a prevalent problem, companies are not urgently working toward bettering their machine learning algorithms. Underskilled workers paired with inefficient computer algorithms make it difficult to accurately and reliably detect fraud.

The goal of this study is to understand the idea of -Nearest Neighbors ( -NN) and to use this classification technique to accurately detect fraudulent auto insurance claims. Using -NN requires choosing a value and a …

Analysis Of Covid-19 And Vaccine Administration In Mississippi, Megan Sickinger

Honors Theses

In this work, we develop a simple mathematical model to observe the spread of COVID-19 and vaccine administration in Mississippi. Based on the well-known Kermack-McKendrick Susceptible-Infected-Removed epidemiological model, the ASIRD−V model has eight ordinary differential equations that split infected populations and recovered populations into vaccinated and unvaccinated populations. After determining that the system is reliable for real-world applications, we investigate and determine the stability and equilibrium points of this system. The system is found to be disease-free when R0 < 1 and endemic when R0 > 1. We use MATLAB to numerically solve the system and optimize the model’s parameters over four short periods, two with the …

Relative Energy Comparison For Various Water Clusters Using Mp2, Df-Mp2, And Ccsd(T):Mp2 Methods, Qihang Wang

Honors Theses

The study of water clusters is an important area of research in many disciplines, such as biology, physical chemistry, and environmental studies. However, due to the difficulty in studying larger water clusters, such as clathrate hydrates, it is beneficial to obtain accurate descriptions of smaller water clusters to use as models for larger systems via computational methods. By starting with small water clusters, such as (H2O)₆, and moving into larger systems it is possible to build up data on various water structures that can determine the energetics of the various geometries within a certain number of water molecules. …

Decoding Cyclic Codes Via Gröbner Bases, Eduardo Sosa

Honors Theses

In this paper, we analyze the decoding of cyclic codes. First, we introduce linear and cyclic codes, standard decoding processes, and some standard theorems in coding theory. Then, we will introduce Gr¨obner Bases, and describe their connection to the decoding of cyclic codes. Finally, we go in-depth into how we decode cyclic codes using the key equation, and how a breakthrough by A. Brinton Cooper on decoding BCH codes using Gr¨obner Bases gave rise to the search for a polynomial-time algorithm that could someday decode any cyclic code. We discuss the different approaches taken toward developing such an algorithm and …

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 …

Developing Prediction Models For Kidney Stone Disease, Joseph Palko

Honors Theses

Kidney stone disease has become more prevalent through the years, leading to high treatment cost and associated health risks. In this study, we explore a large medical database and machine learning methods to extract features and construct models for diagnosing kidney stone disease.

Data of 46,250 patients and 58,976 hospital admissions were extracted and analyzed, including patients’ demographic information, diagnoses, vital signs, and laboratory measurements of the blood and urine. We compared the kidney stone (KDS) patients to patients with abdominal and back pain (ABP), patients diagnosed with nephritis, nephrosis, renal sclerosis, chronic kidney disease, or acute and unspecified renal …

Modeling Of Covid-19 Utilizing Various Compartmental Models To Predict Infection Rates Throughout Michigan, Colleen M. Staniszewski

Honors Theses

Compartmental modeling is a method of employing math to create a visual representation of a disease interacting with a select population, typically used in epidemiology analyses. This project applies compartmental modeling equations to data collected on the various aspects of COVID-19 in Michigan. Comparing current data to past predictive models, as well as the visual representations that were developed through the various compartmental modeling methods, allows an assessment of the effects of the preventative measures taken by the state, the various rates at which the infection is able to spread, as well as the potential path and spread of the …

A Generalized Polar-Coordinate Integration Formula, Oscillatory Integral Techniques, And Applications To Convolution Powers Of Complex-Valued Functions On $\Mathbb{Z}^D$, Huan Q. Bui

Honors Theses

In this thesis, we consider a class of function on $\mathbb{R}^d$, called positive homogeneous functions, which interact well with certain continuous one-parameter groups of (generally anisotropic) dilations. Generalizing the Euclidean norm, positive homogeneous functions appear naturally in the study of convolution powers of complex-valued functions on $\mathbb{Z}^d$. As the spherical measure is a Radon measure on the unit sphere which is invariant under the symmetry group of the Euclidean norm, to each positive homogeneous function $P$, we construct a Radon measure $\sigma_P$ on $S=\{\eta \in \mathbb{R}^d:P(\eta)=1\}$ which is invariant under the symmetry group of $P$. With this measure, we prove …

Probabilistic Analysis Of Revenues In Online Games, Nishchal Sapkota

Honors Theses

Online games are captivating and engage users across the world. Some game formats maintain a pseudo-currency to give incentive to the players to play the game in search of rewards as set by the game provider. We model a multi-stage online game and predict how much revenue game providers obtain per game. We compare the revenues generated from different tournament formats to find the one with the maximum per-game revenue for the provider. We have also found the limiting value of the revenue as the game provider increases the number of stages.

Our methods are based on concepts of the …

Automatic Numerical Methods For Enhancement Of Blurred Text-Images Via Optimization And Nonlinear Diffusion, Aaditya Kharel

Honors Theses

In this paper, we propose an automatic numerical method for solving a nonlinear partialdifferential- equation (PDE) based image-processing model. The Perona-Malik diffusion equation (PME) accounts for both forward and backward diffusion regimes so as to perform simultaneous denoising and deblurring depending on the value of the gradient. One of the limitations of this equation is that a large value of the gradient for backward diffusion can lead to singularity formation or staircasing. Guidotti-Kim-Lambers (GKL) came up with a bound for backward diffusion to prevent staircasing, where the backward diffusion is only limited to a specific range beyond which backward diffusion …

The Long Time Behavior Of The Predator-Prey Model With Holling Type Iii, Regen S. Mcgee

Honors Theses

In this paper, the classical Lotka-Volterra model is expanded based on functional response of Holling type III to analyze a dynamical predator-prey relationship with hunting cooperation (a) and the Allee effect among predators. The stability of equilibrium solutions was first analyzed by deriving a Jacobian matrix from partial derivatives of our model. Newly derived eigenvalues are then used to determine the stability. The viability of the model is then demonstrated by using MATLAB. The numerical results show a clear Allee effect and a variety of possible phenomena related to stability when carrying capacity (k) is varied. Two different types of …

Twisted Central Configurations Of The Eight-Body Problem, Gokul Bhusal

Honors Theses

The N-body problem qualifies as the problem of the twenty-first century because of its fundamental importance and difficulty to solve [1]. A number of great mathematicians and physicists have tried but failed to come up with the general solution of the problem. Due to the complexity of the problem, even a partial result will help us in the understanding of the N-body problem. Central configurations play a ‘central’ role in the understanding of the N-body problem. The well known Euler and Lagrangian solutions are both generated from three-body central configurations. The existence and classifications of central configurations have attracted number …

Mathematical Modeling Of A Variable Mass Rocket’S Dynamics Using The Differential Transform Method, Ashwyn Sam

Honors Theses

In this paper, the mathematical modelling of a rocket with varying mass is investigated to construct a function that can describe the velocity and position of the rocket as a function of time. This research is geared more towards small scale rockets where the nonlinear drag term is of great interest to the underlying dynamics of the rocket. A simple force balance on the rocket using Newton’s second law of motion yields a Riccati differential equation for which the solution yields the velocity of the rocket at any given time. This solution can then be integrated with respect to time …

Comparative Error Analysis Of The Black-Scholes Equation, Chuan Chen

Honors Theses

Finance is a rapidly growing area in our banking world today. With this ever-increasing development come more complex derivative products than simple buy-and-sell trades. Financial derivatives such as futures and options have been developed stemming from the traditional stock, bond, currency, and commodity markets. Consequently, the need for more sophisticated mathematical modeling is also rising. The Black-Scholes equation is a partial differential equation that determines the price of a financial option under the Black-Scholes model. The idea behind the equation is that there is a perfect and risk-free way for one to hedge the options by buying and selling the …

Choice Of Choice: Paradoxical Results Surrounding Of The Axiom Of Choice, Connor Hurley

Honors Theses

When people think of mathematics they think "right or wrong," "empirically correct" or "empirically incorrect." Formalized logically valid arguments are one important step to achieving this definitive answer; however, what about the underlying assumptions to the argument? In the early 20th century, mathematicians set out to formalize these assumptions, which in mathematics are known as axioms. The most common of these axiomatic systems was the Zermelo-Fraenkel axioms. The standard axioms in this system were accepted by mathematicians as obvious, and deemed by some to be sufficiently powerful to prove all the intuitive theorems already known to mathematicians. However, this system …

Elliptic Curve Cryptology, Francis Rocco

Honors Theses

In today's digital age of conducting large portions of daily life over the Internet, privacy in communication is challenged extremely frequently and confidential information has become a valuable commodity. Even with the use of commonly employed encryption practices, private information is often revealed to attackers. This issue motivates the discussion of cryptology, the study of confidential transmissions over insecure channels, which is divided into two branches of cryptography and cryptanalysis. In this paper, we will first develop a foundation to understand cryptography and send confidential transmissions among mutual parties. Next, we will provide an expository analysis of elliptic curves and …

Efficient Denoising And Sharpening Of Color Images Through Numerical Solution Of Nonlinear Diffusion Equations, Linh T. Duong

Honors Theses

The purpose of this project is to enhance color images through denoising and sharpening, two important branches of image processing, by mathematically modeling the images. Modifications are made to two existing nonlinear diffusion image processing models to adapt them to color images. This is done by treating the red, green, and blue (RGB) channels of color images independently, contrary to the conventional idea that the channels should not be treated independently. A new numerical method is needed to solve our models for high resolution images since current methods are impractical. To produce an efficient method, the solution is represented as …

Solving The Yang-Baxter Matrix Equation, Mallory O. Jennings

Honors Theses

The Yang-Baxter equation is one that has been widely used and studied in areas such as statistical mechanics, braid groups, knot theory, and quantum mechanics. While many sets of solutions have been found for this equation, it is still an open problem. In this project, I solve the Yang-Baxter matrix equation that is similar in format to the Yang-Baxter equation. I try to solve the corresponding Yang-Baxter matrix equation, ������=������, where X is an unknown ������ matrix, and ��=[0����0] or [0−��−��0], by using the Jordan canonical form to find infinitely many solutions.

Primality Proving Based On Eisenstein Integers, Miaoqing Jia

Honors Theses

According to the Berrizbeitia theorem, a highly efficient method for certifying the primality of an integer N ≡ 1 (mod 3) can be created based on pseudocubes in the ordinary integers Z. In 2010, Williams and Wooding moved this method into the Eisenstein integers Z[ω] and defined a new term, Eisenstein pseudocubes. By using a precomputed table of Eisenstein pseudocubes, they created a new algorithm in this context to prove primality of integers N ≡ 1 (mod 3) in a shorter period of time. We will look at the Eisenstein pseudocubes and analyze how this new algorithm works with the …

Partial Differential Equations, Nathaniel James Onnen

Honors Theses

This paper will discuss methods for solving many different partial differential equations, as well as real world applications in physics. We are interested in finding solutions to the wave and heat equations in one dimension, the wave equation in two dimensions, as well as a solution to Schrodinger’s equation. In order to do this, we will study different methods including Fourier series, Bessel functions, and Hermite polynomials. I will use these methods to derive solutions for the mentioned problems, as well as to produce visualizations for many of them.

Mathematical Modeling Of Emiliania Huxleyi And A Host-Specific Virus, Julia Middleton

Honors Theses

The world’s oceans provide the basis for life on the planet. One microscopic algae, the coccolithophores, and Emiliania huxleyi in particular, is a major source of carbon drawdown in the context of the global carbon cycle and account for a significant amount of the primary production in oceanic ecosystems. We know that the oceans are packed with marine viruses and they have an important role in the rise and fall of plankton populations but current mathematical models do not accurately account for virus-host interactions when predicting plankton blooms. Therefore I am using model optimization and comparison techniques to evaluate current …

Applying The Poincaré Recurrence Theorem To Billiards, Aaron Smith

Honors Theses

The Poincaré recurrence theorem is one of the first and most fundamental theorems of ergodic theory. When applied to a dynamical system satisfying the theorem's hypothesis, it roughly states that the system will, within a finite amount of time, return to a state arbitrarily close to its initial state. This result is intriguing and controversial, providing a contradiction with the Second Law of Thermodynamics known as the recurrence paradox. Here, we treat a set of pool balls on a billiard table as a dynamical system that satisfies the hypotheses of the Poincaré recurrence theorem. We prove that time is a …

Elections With Three Candidates Four Candidates And Beyond: Counting Ties In The Borda Count With Permutahedra And Ehrhart Quasi-Polynomials, Adam Margulies

Honors Theses

In voting theory, the Borda count’s tendency to produce a tie in an election varies as a function of n, the number of voters, and m, the number of candidates. To better understand this tendency, we embed all possible rankings of candidates in a hyperplane sitting in m-dimensional space, to form an (m - 1)-dimensional polytope: the m-permutahedron. The number of possible ties may then be determined computationally using a special class of polynomials with modular coefficients. However, due to the growing complexity of the system, this method has not yet been extended past the case of m = 3. …