Mathematics Commons^™

Derivation Of Adjoint Based Error Estimates For Nonlinear Ordinary Differential Equations With Application To Multistage Sir Models With Demographics, Daniel Alcala

Mathematics & Statistics ETDs

Ordinary Differential Equations (ODEs) are central to the mathematical modeling of various real-world phenomena, from mechanical systems governed by Newton’s laws to epidemic dynamics described by SIR-type ODEs. Since many ODEs do not admit closed-form analytic solutions, we approximate them numerically (e.g., with Euler’s, Runge–Kutta, or other such methods). This raises the key question: How accurate are these numerical solutions? In particular, reliably estimating the error in some quantity of interest (QoI) at time T without having an exact solution is of great scientific interest.

The first main contribution of this thesis is the development and analysis of adjoint-based error …

Quasistatic Peridynamics, Existence Of Unique Solution In The Presence Of Damage, Nuwanthi N. Samarawickrama

LSU Doctoral Dissertations

A mathematical model for damage propagation based on nonlocal potentials is developed within the framework of peridynamics. This model is applied to simulate damage evolution in cyclically loaded structures. By neglecting inertial effects, a well-posed quasistatic formulation for cyclic loading is obtained.\\ The resulting equation is expressed as a nonlocal and nonlinear integral operator that couples damage evolution to the deformation field.\\ This coupling occurs through the product of a damage factor and the derivative of a force potential. The damage factor ranges between zero and one, where one represents undamaged material and zero indicates complete damage.\\ It serves to …

Gain Threshold Optimization Using Fano Resonance, Alina Oktiabrskaia

LSU Doctoral Dissertations

The study of resonances in electromagnetics plays a critical role in the design of optical systems. This dissertation investigates the interaction between resonance and gain in optical structures to establish a universal principle for achieving ultra-low-threshold lasing. Through the analysis of geometric symmetries, material properties, and coupling mechanisms, this research develops prototype structures applicable to a wide range of optical and electromagnetic systems. A range of models is considered, starting from a simple onedimensional string-resonator system (based on the model of H. Lamb), then advancing to two- and three-dimensional waveguide models, and culminating with a realistic high-contrast model in open …

Applications Of Contracting Self-Similar Groups To Cryptography And Scale Groups, Arsalan Akram Malik

USF Tampa Graduate Theses and Dissertations

Given their peculiar properties, self-similar groups are of great interest both from applications and theoretical standpoints. In this work we study the scope of their applications in post-quantum cryptography and in constructing scale groups via lifting maps.

We propose self-similar contracting groups as a platform for cryptographic schemes based on simultaneous conjugacy search problem (SCSP). This class of groups admits fast polynomial-time algorithms for the word problem and element multiplication that can be used for effective encryption and decryption of messages. It contains extraordinary examples like the Grigorchuk group, which is known to be non-linear, thus making some of existing …

Notes On The Invariance Of Tautness Under Lie Sphere Transformations, Thomas E. Cecil

Mathematics and Computer Science Department Faculty Scholarship

An embedding ϕ : V → Sⁿ of a compact, connected manifold V into the unit sphere Sⁿ ⊂ Rⁿ⁺¹ is said to be taut, if every nondegenerate spherical distance function d_p, p ∈ Sⁿ, is a perfect Morse function on V , i.e., it has the minimum number of critical points on V required by the Morse inequalities. In these notes, we give an exposition of the proof of the invariance of tautness under Lie sphere transformations due to ´Alvarez Paiva. First we extend the definition of tautness of submanifolds of S …

The Other Side Of The Equation: De-Simplification, A Prerequisite For Calculus, Stephen L. Brown

ACMS Conference Proceedings 2005

No abstract provided.

Stability Insights From Modeling Chronic Myelogenous Leukemia, Giovani Thai

Master's Theses

This thesis centers around a model for chronic myelogenous leukemia (CML) as it behaves under imatinib treatment, a common medication for CML patients, and the anti-leukemia immune response. The dynamics are represented with a system of nonlinear delay-differential equations first constructed by Kim et al. in 2008, capturing population changes of T-cells and various CML growth stages. We investigate stability in both the clinical and mathematical sense. Through numerical simulations, we computationally incorporate a supplementary treatment plan to determine its effectiveness in aiding immune response and medication in achieving remission and full elimination. The primary goal is to conduct a …

Property Testing Ai: An Efficient Frontier, Paul Sopher Lintilhac

Dartmouth College Ph.D Dissertations

In this dissertation, we take a step towards addressing the major problem of a lack of standardized and rigorous approaches to testing and evaluation of AI systems. Taking inspiration from both the fields of Property Testing and Property Based Testing (for programs), we develop a novel taxonomy of partially overlapping classes of properties of AI systems, including simple properties, compound properties, higher order properties, data relation properties, and architecture-utility properties. We argue that this taxonomy categorizes a diverse set of AI traits -- including accuracy, fairness, robustness, monotonicity, point-wise and global privacy properties, sensitivity, and more -- according to the …

From Neural Networks To Large Language Models: Innovations In Financial Ai, Mathematical Reasoning, And Structured Data Representation, Junyi Ye

Dissertations

This dissertation explores the evolution and application of artificial intelligence techniques across three critical domains: financial modeling, mathematical reasoning, and structured data analysis. The dissertation presents seven research projects that chart a progression from specialized neural architectures to sophisticated large language models (LLMs), contributing novel methodologies and frameworks at each stage.

In the financial domain, the research first introduces TS-Mixer, a MLP-based architecture for time-series forecasting that captures both feature relationships and temporal dependencies through a simple yet effective design, outperforming more complex models in S&P500 index prediction. The dissertation then presents DySTAGE, a dynamic graph representation learning framework that …

Applications Of The Mathieu Groups And Information Theory In Dna Encoding Functions, Juan C. Nava Jr

Theses and Dissertations

A foundational idea in mathematics lies in breaking down existing components into their bare fundamentals. As evidenced by prime numbers and composites, we learn this idea at an early age. Categorizing these broken-down components into their simplest form allows mathematicians to construct proofs from emergent patterns. John Conway’s Atlas of Finite Groups in the 1990s was particularly concerned with the categorization of structures known as groups. There are certain axioms a group must adhere to, which amount to the retention of symmetry; ultimately a group helps us to better understand symmetric actions performed on a set with a binary operation. …

Crystallization Of The Quantized Function Algebras Of Suq(N + 1), Manabendra Giri

Doctoral Theses

The $q$-deformation of a connected, simply connected Lie group $G$ is typically studied through two Hopf algebras associated with it: the quantized universal enveloping algebra $\mathcal{U}_q(\mathfrak{g})$ and the quantized function algebra $\mathcal{O}(G_q)$. If $G$ has a compact real form $K$, one can use the Cartan involution to give a $*$-structure on $\mathcal{O}(G_q)$. The QFA $\mathcal{O}(G_q)$ with this $*$ structure is denoted by $\mathcal{O}(K_q)$ and its $C^*$-completion by $C(K_q)$. Here we study the crystal limits of $\mathcal{O}(SU_q(n+1))$ and $C(SU_q(n+1))$ and classify all irreducible representations of the crystallized algebras. We also prove that the crystallized algebra carries a natural bialgebra structure.

Improving Research Software Engineering In Mathematics, Abram Miller

Honors Theses

Research Software Engineering is critical to modern mathematical research, enabling the creation, maintenance, and dissemination of computational tools that bridge theory and practice. However, the field faces systemic challenges, including insufficient funding, lack of institutional recognition, and gaps in training and infrastructure. This thesis investigates these challenges through two approaches: (1) a comparative survey study focused on mathematicians and (2) hands-on contributions to an open-source research software project.

The Improving Research Software Engineering in Mathematics survey, conducted from September 2024 to January 2025, adapts the survey framework developed by Carver et al. in A survey of the state of the …

Using Permutation Groups To Identify Family Of Capacity Achieving Codes, Daniel Joseph Welchons

Dissertations and Doctoral Documents, University of Nebraska-Lincoln, 2023–

When communicating over a noisy channel, the probability of message interference sets a maximum possible transmission rate known as the channel capacity. Any family of codes which have rates converging to the channel capacity and arbitrarily low probability of decoding failure is called capacity achieving. Such codes have been known to exist since the birth of information theory but are difficult to find explicitly. It has recently been shown that the permutation groups of a family of codes can be used to show that the family is capacity achieving on the q-ary erasure channel.

This this thesis seeks to …

Using Permutation Groups To Identify Families Of Capacity Achieving Codes, Daniel Welchons

Department of Mathematics: Dissertations, Theses, and Student Research

When communicating over a noisy channel, the probability of message interference sets a maximum possible transmission rate known as the channel capacity. Any family of codes which have rates converging to the channel capacity and arbitrarily low probability of decoding failure is called capacity achieving. Such codes have been known to exist since the birth of information theory, but are difficult to find explicitly. It has recently been shown that the permutation groups of a family of codes can be used to show that the family is capacity achieving on the q-ary erasure channel.

This thesis seeks to apply the …

The Herzog-Takayama Resolution Over A Skew Polynomial Ring, Linoy Utkina

Theses and Dissertations

Let k be a field, and let I be a monomial ideal in the polynomial ring R = k[x1,..., xn]. In her thesis, Taylor introduced a complex that yields a finite free resolution of R/I as an R-module. Building on Taylor’s work, Ferraro, Martin, and Moore extended this construction to monomial ideals in skew polynomial rings. Because the Taylor resolution is typically not minimal, subsequent research efforts went into identifying specific classes of ideals whose minimal free resolutions can be constructed more simply. In 1990, Eliahou and Kervaire devised an approach for handling minimal resolutions of …

Congruences In Arithmetic Progression For Coefficients Of Gaussian Polynomials And Crank Statistics, Joselyne Aniceto

Theses and Dissertations

The study of partition congruences, inspired by Ramanujan’s discoveries for ��(��) over a century ago, remains a central topic in this field. This dissertation examines congruence properties in two restricted partition functions: ��(��,��), which counts partitions of �� into at most �� parts, and ��(��,��,��), which further limits the size of the largest part to be at most ��. Building on Kronholm’s 2007 result, now known as the Interval Theorem, and a recent result by Eichhorn, Engle, and Kronholm, we establish new infinite families of congruences for ��(��,��,��). This dissertation extends not only the recent results of Eichhorn, Engle, …

A Dg-Algebra Structure With Divided Powers On The Generalized Taylor Resolution, Raul F, Alvarez

Theses and Dissertations

This thesis investigates the construction of a DG Γ-algebra structure on the Generalized Taylor Resolution (GTR) associated with monomial ideals. The classical Taylor resolution is known for providing a free but generally non-minimal resolution, leading to computational challenges and inefficiencies in algebraic analysis. In contrast, the GTR preserves essential algebraic structures while optimizing the resolution process, offering a more efficient and comprehensive framework for studying monomial ideals.

We introduce a novel DG Γ-structure that incorporates divided powers into the GTR, enhancing its multiplicative and homological properties. This structure preserves strict graded commutativity and is fully compatible with the differential graded …

Car Price Prediction Using Machine Learning: Analyzing The Dvm-Car Dataset, Yaman Abu Ghareebaih

Electronic Theses and Dissertations

The objective of this study is to predict car prices using machine learning models and the DVM-CAR dataset, which includes over 1.4 million images and car specifi- cations from 899 car models. Key factors such as mileage, engine power, and year of registration were analyzed for their correlation with car prices. Extensive data cleaning was performed, including filling missing values, identifying outliers, and normalizing numerical variables. Discrete variables like car make and body type were encoded using one-hot encoding. Linear relationships were analyzed with Multiple Logistic Regression, and Random Forest models were used for nonlinear patterns. Model performance was evaluated …

Existence And Nonexistence Of Positive Solutions For Fractional Boundary Value Problems With Lidstone-Inspired Fractional Conditions, Jeffrey Lyons, Jeffrey T. Neugebauer, Aaron G. Wingo

EKU Faculty and Staff Scholarship

This paper investigates the existence and nonexistence of positive solutions for a class of nonlinear Riemann–Liouville fractional boundary value problems of order 𝛼 +2⁢𝑛, where 𝛼 ∈(𝑚 −1,𝑚] with 𝑚 ≥3 and 𝑚,𝑛 ∈ℕ. The conjugate fractional boundary conditions are inspired by Lidstone conditions. The nonlinearity depends on a positive parameter on which we identify constraints that determine the existence or nonexistence of positive solutions. Our method involves constructing Green’s function by convolving the Green functions of a lower-order fractional boundary value problem and a conjugate boundary value problem and using properties of this Green function to apply the Guo–Krasnosel’skii …

Numerical Analysis Of The Seir Model, Abigail R. Beckelhimer

Departmental Honors & Graduate Capstone Projects

Epidemiological models delineate the spread of diseases within a population. In this research project, the Susceptible-Exposed-Infected-Recovered (SEIR) Model was examined numerically for comparison between several methods. Approximations were obtained through Euler’s Method, Taylor’s Method, Runge-Kutta Methods, and Multi-step Methods. Hypothetical situations with parameter alterations were considered in order to better understand the effects the parameters have on the model. The goal of this project was to portray the usefulness of numerical approximations for predicting the behavior of the SEIR model and thus the course of a pandemic.

Learning With Errors Parameter Analysis, Archana Parameswaran

Cybersecurity Undergraduate Research Showcase

We implement a systematic approach for generating, evaluating, and benchmarking Learning with Errors implementations in Sage Math by varying lattice dimensions, moduli, error standard deviations, and multiple error distributions to observe concrete security-efficiency tradeoffs. The security estimator maps parameter sets to concrete security levels and bits, while performance metrics measured computational efficiency and memory requirements. Results indicate that various distribution types do not significantly impact security, though binomial distributions require more computational overhead than discrete gaussian or uniform. Memory requirements increased when modulus q increased from 12289 to 65537. Larger dimensions have an exponentially growing requirement for memory, but this …

Unraveling The Impact Of Curricular Complexity On Graduation Time: A Causal Analysis In Higher Education, Ameer Slim

Mathematics & Statistics ETDs

This study examines the causal relationship between program complexity and graduation time at UNM. While program complexity is recognized as a factor influencing student outcomes, its precise impact on graduation timelines remains underexplored. Using comprehensive cohort data, this study employs causal inference methods, including generalized propensity scores, to estimate the effect of complexity on time-to-degree. Findings reveal that higher program complexity extends graduation timelines, even after controlling for demographics and academic preparedness. Socioeconomic factors also play a role. Specifically, programs with more Pell Grant recipients and lower median high school GPAs tend to have lower complexity levels. These results provide …

Irreversible K-Threshold Number Ck(G) And Saturation Probability P[G] For Corona Product And Double Corona Product Graphs, Eric J. Moon, Soumya Bhoumik, Paul Flesher

SACAD: Scholarly Activities

We discuss the Irreversible k-conversion process for graphs, where a vertex becomes saturated and remains saturated indefinitely if at least k of its neighbors are saturated. We investigate sets S₀, which when initially saturated, lead to complete graph saturation. We are interested in the minimum |S₀| = C_k(G), called the k-threshold number. We consider the construction of the Corona Product Graphs (of C_n and K_p). Additionally, we extend our analysis by defining and exploring Double Corona Product Graphs (of C_n and K_p). Then we incorporate …

Stability Analysis In The Twist-Bend Nematic Liquid Crystal Model, Zhenqiang Li

Mathematics & Statistics Theses & Dissertations

The recently discovered twist-bend nematic liquid crystal (LC) phase is characterized by a nanoscale helical modulation of the nematic director n, forming a conical helix along the z-axis at an oblique angle θ. While many models assume a constant cone angle and equal elastic constants K11 = K22 = K33, this dissertation removes both assumptions by considering a fully anisotropic elastic energy with K11 ≠ K22 ≠ K33, and allowing θ to vary spatially. We analyze the stability of this system under frustrated and free boundary conditions using variational methods. …

Stability Criteria For The Generalized El Borhamy-Rashad-Sobhy Equation, Mohamed El-Borhamy Assoc.Prof, Essam Eddin Rashad Prof., Fathi Mousa Dr., Mai Hamouda

Journal of Engineering Research

This article is concerned with the study of stability criteria for one of the generalization form of El Borhamy-Rashad Sobhy equation, which is a linear second-order ordinary differential equation with periodically time varying coefficients. Many engineering applications can be represented by this generalization, for instance, including the modeling of RLC circuit with time varying inductance, resistance and capacitance, and the vibration of a stretched string, whose mass per unit length is periodic, under a periodic motion. An approximate solution is derived by using the Wenhl-Kramers-Brillonin (WKB) approach. A method of constructing Liapunov function is employed to derive extra conditions for …

Analysis Of Systematic Trade-Offs Between Military And Healthcare Expenditure Alongside Gdp Growth Of Select Asian And Western Exporting Economies In The 21st Century, Rahul Balamurugan, Carlos Gershenson, Preethi Nanjundan, Hiroki Sayama

Northeast Journal of Complex Systems (NEJCS)

This study explores the complexity in the trade-offs between military expenditure, healthcare expenditure, and GDP growth across select Asian nations and major weapon-exporting countries, examining how nations allocate finite resources between national security and human well-being over the past two decades. Using a systems science approach, the research integrates Granger causality testing to analyze temporal and directional relationships among GDP growth, military expenditure, and healthcare expenditure, uncovering their dynamic interdependencies. The methodology includes trend and slope analysis, Granger causality testing, outlier detection, and clustering to identify heterogeneity in resource allocation strategies. Developed, weapon-exporting nations exhibit complementary trends, with strong causality …

Modeling Covid-19 Spread And Effects Of Non-Pharmaceutical Interventions On A College Campus, Jakob Kotas, Priscilla Perey Ratonel

CODEE Journal

We consider an extension to the classical SIR compartmental model from mathematical epidemiology as applied to the spread of COVID-19 on a college campus. While the classical SIR model does not allow for recovered individuals to lose immunity, we alter the equations to allow for such (due to the rise of new variants), leading to a SIRS-type model. We study the system of ODEs analytically and through numerical simulation. Finally we discuss a quantitative approach for how college administrators can decide when to implement stricter non-pharmaceutical interventions (social distancing, mask mandates, quarantine, etc.) to eradicate the infection from the campus …

Optimized Hiv/Aids Resource Allocation In Ohio: A Linear Programming Approach, Godfred Ahenkroa Kesse

Data Science and Data Mining

This study employs a linear and integer programming approach to optimize HIV resource allocation in Ohio, aiming to minimize new infections and enhance the impact of limited resources. With the advances in HIV prevention and treatment, Ohio faces challenges in addressing disparities in access to healthcare, particularly among high-risk populations. The proposed model integrates data on infection rates, transmission patterns, demographic factors, and cost-effectiveness to provide a decision-support framework for policymakers. Using epidemiological data and equity constraints, the model prioritizes high-risk regions and populations while ensuring fair resource distribution. Results indicate that increased funding allocations significantly enhance the potential to …

Project Title: Maximizing The Volume Of A Cardboard Box To Save Trees– An Application Of Polynomial Functions To Address Global Issues [Mathematics], Lucie Mingla

Open Educational Resources

MAT 115 College Algebra & Trigonometry/Precalculus

Project Title: Maximizing the Volume of a Cardboard Box to Save Trees– An Application of Polynomial Functions to Address Global Issues

Reflective Narrative:

This project was inspired by my participation in the "Designing and Implementation of STEM Co-Curricular Activities" CTL seminar in Spring 2023. I am grateful to Drs. Bukurie Gjoci, Daniel Gertner, Ingrid Veras, and Midas Tsai, along with fellow participants, for their invaluable feedback that helped shape its development. The project was implemented in two College Algebra and Trigonometry courses. I participated in two seminars to further develop this project. The Community …

Translation Of: Dupin'sche Hyperflächen In E^4, Manuscripta Math By Ulrich Pinkall, Thomas E. Cecil

Mathematics and Computer Science Department Faculty Scholarship

This is an English translation of the article "Dupin'sche Hyperflächen in E⁴" by Ulrich Pinkall, which was originally published in manuscripta math. 51 (1985), 89-119.

A note from Thomas E. Cecil, translator: This is an unofficial translation of the original paper which was written in German. All references should be made to the original paper.