Applied Mathematics Commons^™

An Agent-Based Model Of Microglia And Neuron Interaction: Implications In Neurodegenerative Disease, Cheyenne Ty, Amanda Case, Emmanuel Mezzulo, Abigail Penland, Kamila Larripa

Spora: A Journal of Biomathematics

Whether immune cells protect or harm the brain is an open question depending on context, and their role is implicated in multiple diseases such as Alzheimer's disease, dementia, and other neurological disorders. Microglia, a specific type of immune cell in the central nervous system, play a key role in homeostasis, and genes associated with an elevated risk of Alzheimer's disease correspond with deficiencies in their behavior. We created an agent-based model that incorporates inflammatory signaling, chemotaxis, and phagocytosis of damaged neurons and allows the exploration of crucial pathways in the maintenance of brain health. We specifically investigated pathways related to …

On Solving Differential Equations Describing The Ecology Of Shallow Lakes: A Comparison Of Classical And Modern Computational Methods Through Python, Vruddhi Kapre, Jeffrey R. Anderson, Alessandro Maria Selvitella

Spora: A Journal of Biomathematics

In this exposition paper, we describe some computational methodologies to solve numerically differential equations modeling the shallow lake ecosystem, with particular focus on the dynamics of the phosphorus. We describe in detail Python implementations of classical algorithms, like Runge-Kutta, and more modern approaches, including physics-informed neural networks.

On The Sharpness Of A Korn’S Inequality For Piecewise H1 Space And Its Applications, Qingguo Hong, Young Ju Lee, Jinchao Xu

Mathematics and Statistics Faculty Research & Creative Works

In this paper, we investigate the sharpness of a Korn's inequality for piecewise H1 space and its applications. We first revisit a Korn's inequality for the piecewise H1 space based on general polygonal or polyhedral decompositions of the domain. We express the Korn's inequality with minimal jump terms. Then we prove that such minimal jump conditions are sharp for achieving the Korn's inequality. The sharpness of the Korn's inequality and explicitly given minimal conditions can be used to test whether any given finite element spaces satisfy Korn's inequality, immediately as well as to build or modify nonconforming finite elements for …

Long-Time Asymptotics For The Kadomtsev–Petviashvili I Equation With Small Initial Data, Samir Donmazov

Theses and Dissertations--Mathematics

We study the initial value problem for the Kadomtsev--Petviashvili I (KP I) equation (u_t + 6uu_x + u_xxx)_x = 3u_yy with small initial data belonging to a subspace of the energy space for the KP I equation. We establish the long-time asymptotics for solutions of the KP I equation using the inverse scattering transform formalism developed by Zhou. Within this framework, the inverse problem for the KP I equation is formulated as a nonlocal Riemann--Hilbert problem (RHP) in two spatial dimensions. As part of the asymptotic analysis, we determine the long-time behavior of the …

Collision Avoidance And Vegetation As Drivers Of Collective Motion In Australian Plague Locusts, Nathan S. Hasegawa

HMC Senior Theses

The Australian plague locust (Chortoicetes terminifera) is an agricultural and ecological pest that causes tens of millions of dollars in crop damage each year. In this thesis, we develop mathematical models of hopper bands, dense formations of juvenile locusts that move across a vegetated field and destroy plants in their path. We develop agent-based and PDE models of hopper bands moving through vegetation to examine how recently discovered behavior where locusts slow down to avoid collisions with other locusts may influence the shape, speed, and destructiveness of hopper bands. We find that collision avoidance may cause locusts to …

Multi-Valued Variational Inequalities For Variable Exponent Double Phase Problems: Comparison And Extremality Results, Siegfried Carl, Vy Khoi Le, Patrick Winkert

Mathematics and Statistics Faculty Research & Creative Works

We prove existence and comparison results for multi-valued variational inequalities in a bounded domain Ω of the form (Formula presented.) where A:W1,H(Ω)→W1,H(Ω)∗ given by (Formula presented.) for u∈W1,H(Ω), is the double phase operator with variable exponents and W1,H(Ω) is the associated Musielak–Orlicz Sobolev space. First, an existence result is proved under some weak coercivity condition. Our main focus aims at the treatment of the problem under consideration when coercivity fails. To this end we establish the method of sub–super-solution for the multi-valued variational inequality in the space W1, H(Ω) based on appropriately defined sub- and super-solutions, which yields the existence …

Caves, Calculus, And Climate Change: Measuring And Modeling The Discharge Of Biz Falls In Mammoth Cave National Park, Ava Lich

Mahurin Honors College Capstone Experience/Thesis Projects

Climate change poses a significant global challenge, with increasing levels of atmospheric carbon dioxide as a primary driver of rising temperatures and environmental disruptions. Karst systems, such as those in South-Central Kentucky, play a role in sequestering atmospheric CO₂ through the dissolution of limestone, a process that forms unique landscapes while mitigating climate impacts. This study investigates the discharge dynamics of Cascade River in Great Onyx Cave to enhance understanding of the relationship between hydrology and carbon sequestration in karst environments. A barrel weir equipped with pressure transducers was employed to collect and measure water flow, and Torricelli’s law was …

Line Graphs Of Directed Graphs I, Vaidy Sivaraman, Daniel Slilaty

Mathematics and Statistics Faculty Publications

We determine the forbidden induced subgraphs for the intersection of the classes of chordal bipartite graphs and line graphs of acyclic directed graphs. This is a first step towards finding the forbidden induced subgraphs for the class of line graphs of directed graphs.

Finite Hybrid- And Semi-Markov Chains, Jose L. Menaldi, Maurice Robin

Mathematics Faculty Research Publications

The ergodic behaviour of finite Markov chains having also instantaneous transition are considered. Some estimates are obtained which complement our previous work [29]. Also, an optimal switching control model for semi-Markov chains is analysed, without any particular assumptions on the recurrent classes.

Diophantine Avoidance, Number Fields, And Quadratic Forms, Sehun Jeong

CGU Theses & Dissertations

Diophantine avoidance has been studied by several authors in recent years. This term refers to effective results on existence of points of bounded size (where size is measured by norm or height, depending on the context) in a given algebraic set avoiding some specified subsets. The application of avoidance conditions allows to understand how ``well distributed" are points of bounded size in a given set. If it is possible to find them outside of some prescribed collection of subsets of the set in question, then it suggests that they are evenly distributed, in some appropriate sense. Our first result investigates …

Stability And Global Dynamics Of Autonomous And Nonautonomous Discrete Population Models With Stocking, Harvesting, And Cooperation, Sam Habach

Open Access Dissertations

This dissertation investigates the local and global behavior of several classes of discrete population models involving stocking, harvesting, and cooperation. The study is divided into three major manuscripts, each offering new theoretical in sights, bifurcation results, and applications to real-world data.

In Manuscript 1, we study the Beverton-Holt population models with constant and proportional stocking and harvesting, as well as sigmoid Beverton-Holt models under constant stocking and harvesting, both in autonomous and non-autonomous settings. We analyze stability and explore global dynamics using established local and global dynamics theorems, bifurcation theory, and explicit solutions when available. Special attention is given to …

Ergodic Switching Control For Markov-Feller Processes Ii, Jose L. Menaldi, Maurice Robin

Mathematics Faculty Research Publications

This is the continuation of Part I [14], where we considered control problems with long term average (or ergodic) cost for Markov switching processes (zt , nt ), nt being a discrete component with values in a finite set N . The control acts only on this discrete component and consists of immediate switching actions. We solve the ergodic problem in several situations extending previous works, mainly when zt is a reflected diffusion with or without jumps and when the set of control values is strictly smaller than N . In this Part II, we conclude our theoretical analysis with …

Ergodic Switching Control For Markov-Feller Processes I, Jose L. Menaldi, Maurice Robin

Mathematics Faculty Research Publications

We consider control problems with long term average (or ergodic) cost for Markov switching processes (zt, nt ), nt being a discrete component with values in a finite set N . The control acts only on this discrete component and consists of immediate switching actions. We solve the ergodic problem in several situations extending previous works, mainly when zt is a reflected diffusion with or without jumps and when the set of control values is strictly smaller than N .

Discrete Time Risk Processes With Stochastic Premiums And Dividends, Enoch J. Dangbe

Mathematics Dissertations - Archive

Risk processes typically emerge in insurance and finance and are concerned with stochastic representation of uncertainties of real-world events. Main objective amounts to quantifying the chances of both desirable and undesirable events and balancing their mutual impact for the purpose of developing models that in some sense optimize the outcome from the business perspective. Our research is concerned with studying the evolution of the surplus process in which time and assets are integer-valued. Initial capital, random premiums, random claims, dividend payments based on assets’ performance constitute the components of our model. Our findings established recursive formulas for the total expected …

A Time-Domain Boundary Integral Equation For Moving Acoustic Sources In Uniform Flow And Its Solution By An Advanced Time Propagation Approach, Fang Q. Hu, Douglas M. Nark

Mathematics & Statistics Faculty Publications

This paper presents a time-domain boundary integral equation (TDBIE) formulation for predicting acoustic scattering from moving sources in a uniform mean flow. This work is motivated by the increasing need for accurate aeroacoustic modeling of modern aircraft configurations, including VTOL and eVTOL systems with rotating components. A key challenge in time-domain scattering simulations with moving sources is the determination of retarded time for a given observer time, which involves solving an implicit equation at each time step. This can be computationally costly, particularly for numerical solution of the TDBIE where every surface element on the scattering body acts as an …

Covariate Selection For Rna-Seq Differential Expression Analysis With Hidden Factor Adjustment, Farzana Noorzahan, Hyeongseon Jeon, Yet Nguyen

Mathematics & Statistics Faculty Publications

In RNA-seq data analysis, a primary objective is the identification of differentially expressed genes, which are genes that exhibit varying expression levels across different conditions of interest. It is widely known that hidden factors, such as batch effects, can substantially influence the differential expression analysis. Furthermore, apart from the primary factor of interest and unforeseen artifacts, an RNA-seq experiment typically contains multiple measured covariates, some of which may significantly affect gene expression levels, while others may not. Existing methods either address the covariate selection or the unknown artifacts separately. In this study, we investigate two integrated strategies, FSR_sva and SVAall_FSR, …

Estimating Per-Infection Cost And Burden For Dengue And Zika As A Function Of Antibody-Dependent Enhancement, Christopher M. Kribs

Mathematics Faculty Publications - Archive

The complex immune interactions produced by the tetravalent dengue vaccine Dengvaxia have foregrounded the important role of antibody-dependent enhancement (ADE) in dengue infection. Some evidence exists that ADE may extend beyond the four dengue serotypes to Zika, a closely related flavivirus transmitted by the same mosquito species as dengue, and may also account for the increased severity of some cases. Estimates of the public health impact of dengue vaccination may then need to include its effects on the transmission of Zika in addition to dengue. This study gathers primary references to build estimates of per-case economic cost and disease burden …

Optimizing Decision-Making In A Cerebral Palsy Model Using Reinforcement Learning, Richard Ampah

Pitzer Senior Theses

This study presents an original interdisciplinary investigation into how reinforcement learning (RL) can model motor and cognitive defects and potentially improve motor and cognitive functions in individuals with cerebral palsy (CP), a non-progressive neurological disorder that impairs movement and adaptability. Integrating computational neuroscience and machine learning, the research applies policy gradient methods and Markov Decision Processes (MDPs) to simulate adaptive learning in agents with and without CP-related constraints.

The central aim is to compare the cumulative rewards of optimal policies, derived from value iteration, and human-like learning policies using the REINFORCE algorithm, both with and without the Bellman baseline. The …

The Anatomy Of A Reconstruction: From Fourier Space To Image Recovery In Computed Tomography, Charlotte P. Maurer

Honors Theses

This thesis develops the mathematical foundations of computed tomography (CT) reconstruction through the lens of harmonic analysis. Beginning with the Schwartz class, we introduce the Fourier transform and its role in expressing the Radon transform and its inversion via a fractional Laplacian. After constructing the Radon transform in general dimension R^d, we specialize to the cases d = 2 and d = 3, demonstrating explicit inversion formulas and the associated instability in lower dimensions. For its computational advantages, we study filtered back-projection using classical low-pass filters (Ram-Lak, Shepp–Logan, Cosine, Gaussian) and formulate a discrete reconstruction algorithm grounded in …

Wave Reflections In A Biophysically Detailed Model Of Cardiac Tissue, Grace Moberg

Honors Theses

Regular heart rhythms are governed by the coordinated spread of action potentials through cardiac tissue. The interaction of an action potential with a tissue heterogeneity may lead to a reflection, where both a retrograde and an anterograde wave propagate off of the initial impulse. Reflections have been experimentally linked to cardiac arrhythmias, but their mechanisms of generation are not well-understood. Mathematically, reflections in phenomenological models of cardiac tissue have been linked to an unstable periodic orbit. These models typically sacrifice detail about the variety of ionic currents and processes involved in action potential propagation in favor of mathematical simplicity. Biophysically …

Estimating Pedestrian Crossing Times At Scramble Crossings Via Machine Learning And Agent-Based Modeling, Sho Takami

CURE Proceedings

Scramble crosswalks differ from conventional crosswalks in their ability for pedestrians to cross diagonally. This research compares the average crossing times and investigates the walking behaviors that pedestrians adopt to produce the speediest times in the two crosswalk configurations. Identification of the most efficient set of walking behaviors is done through an agent-based model, whereas producing polynomials relating crossing times to the most prominent walking behaviors is done through regression algorithms in machine learning. With the combination of these two approaches, it is revealed that pedestrians must adopt a relaxed walking style to make each crosswalk configuration efficient. Additionally, between …

Integrating Sentiment Analysis In Predictive Models: A Comparative Study On Game Popularity On Steam, Khaleefa Alhemeiri

CMC Senior Theses

Over the past decades, the gaming industry has managed to evolve into a multi-billion-dollar enterprise. Gaming platforms such as Steam foster unprecedented amounts of engagement among players worldwide daily. In this thesis, we investigate the effect of incorporating sentiment-driven metrics, specifically YouTube view counts and positive reviews, into predictive models for game popularity. In addition, by comparing our linear regression sentiment-based approach to the Bayesian hierarchical folded normal model used by De Luisa et al. (2021), we can understand the many differences, strengths, and limitations of each methodology. In our thesis, we focus on three games. Each is of varying …

Forecasting Equity Betas Using Option-Implied Moments, Ivan Kolesnikov

CMC Senior Theses

Traditional beta estimates are constructed from historical stock‑and‑market returns and therefore adjust only as fast as realized data accrue. This thesis investigates whether the forward‑looking information embedded in equity‑option prices can enhance beta forecasts. Using near‑end‑of‑day quotes for 236 S&P 500 firms between 2007 and 2024, I extract risk‑neutral variance and skewness, construct five alternative beta estimators (historical, option‑implied, and three hybrids), and evaluate them against realized betas over six‑, twelve‑, and twenty‑four‑month windows. Rolling‑OLS beta remains the most accurate benchmark at short horizons, yet option‑implied moments add economically and statistically significant value when systematic exposure is expected to change …

Suntan (And Other Solar Trigonometric Functions): Solutions For Fermi Questions: February 2025, John Adam

Mathematics & Statistics Faculty Publications

The article discusses the intensity of sunlight on the side of the author's face as they walk to and from their office, focusing on the solar zenith angle θ. It presents a formula for solar irradiance and explores how the intensity changes based on the angle and elevation. The solutions to the questions posed in the article provide insights into the maximum irradiance levels at different angles and elevations.

The Presence Of Outer Giant Planets And Their Role In Inner Planet Formation With And Without Their Influence, Mateo E. Guerra Toro

Graduate Theses/Dissertations

We performed dynamical simulations of the giant impact phase of planet formation to investigate the formation of inner terrestrial planets under the influence of 4 solar system-like outer giant planets. We developed a new code using the N-body simulation suite REBOUND and REBOUNDx (Rein et al. (2019) and Tamayo et al. (2019)) to simulate 2 stages of planetary formation: a residual gaseous protoplanetary disk phase and subsequent dynamical evolution after the disk photoevaporates. The initial conditions for the inner planetary embryos were taken by Morrison et al. (2020) based on a range of solid surface densities that produced Super-Earth terrestrial …

Mathematical Modeling Of Cancer Tumor Evolution, Belgacem Al-Azem

CGU Theses & Dissertations

Several mathematical models of cancer tumor evolution are presented. The aim of this endeavor is to write a thesis that fosters numerical and analytical understanding of certain mathematical models in the area of oncology as well as to offer potential predictive tools of therapeutic and clinical applicability. In this work, we give a panoramic view of the cancer phenotype, for to understand cancer, we need to "see" its biophysics. Indeed, the discovery of oncogenes led to the thinking that cancer tumor is perhaps a genetic disease. But the role of angiogenesis and other microenvironment-related discoveries (such as the role of …

Comprehensive Benchmarking Of Several Machine Learning And Bayesian Models For Early-Stage Diabetes Risk Prediction: A Large-Scale Comparative Study, Md. Iqbal Hossain, Najila Alam Porno

Mathematics & Statistics Faculty Publications

Diabetes remains a critical global health challenge, with early detection is crucial for effective management. This study presents a comprehensive benchmarking analysis of 14 diverse machine learning and Bayesian models for early-stage diabetes risk prediction using clinical data [2] from Sylhet, Bangladesh. This research evaluated traditional methods (Logistic Regression, Decision Trees), ensemble techniques (Random Forest, XGBoost, LightGBM), Bayesian approaches (BART, Bayesian Logistic Regression), and advanced neural architectures (Deep Belief Networks) using both 70-30 train-test splits and 10-fold cross-validation. The results demonstrate that ensemble methods consistently outperformed other approaches, with Random Forest(RF) achieving the highest cross-validated AUC (0.9951) and accuracy (0.9699). …

Suntan (And Other Solar Tigonometric Functions), John Adam

Mathematics & Statistics Faculty Publications

Question 1: If I₀ is the solar irradiance (power per unit area, W/m²) reaching my head, express the intensity on the side of my face (I_s) in terms of θ. Assume for now that the irradiance is independent of path length through the atmosphere and that my face is normal to the direction θ = 90°.

Using the 1962 U.S. Standard Atmosphere,² Hottel (1976)³ expressed the solar irradiance using the formula

I = I₀(a₀ + a₁e^{−k sec θ}), where A is the elevation in kilometers and

a₀ = 0.4237 − 0.00821(6 − A)²; a₁ = 0.5055 …

Golden Spirals Everywhere?, John Adam

Mathematics & Statistics Faculty Publications

The article explores different types of spirals, including Archimedean, hyperbolic, and logarithmic spirals, with a focus on the golden ratio and golden spirals. It discusses the misconception that golden rectangles and spirals can be found in various natural and man-made objects, emphasizing the importance of understanding the properties of logarithmic spirals. The text provides mathematical equations for logarithmic spirals and poses questions for readers to explore the concept further. The author, John Adam, invites readers to engage in Fermi Questions and submit ideas for consideration.

Regularized Methods For Tensor Recovery And Processing, Katherine J. Henneberger

Theses and Dissertations--Mathematics

The rapid growth of high-dimensional data has exposed the limitations of traditional vector and matrix-based methods for data analysis. These methods often struggle with computational inefficiencies, loss of critical cross-dimensional correlations, and challenges inherent in high-dimensional data. Tensors—multidimensional arrays—offer a robust framework for modeling and analyzing complex data. Tensor methods have proven valuable in tasks such as dimensionality reduction, feature extraction, and data compression, underpinning advancements in machine learning, computer vision, signal processing, and remote sensing.

This thesis focuses on two challenges in tensor analysis: tensor recovery and tensor processing. Tensor recovery addresses the reconstruction of incomplete or corrupted tensors. …