Digital Commons Network^™

Categories, Homology And Sheaves For Hypergraphs, Robert Green

Electronic Theses & Dissertations (2024 - present)

Hypergraphs are a prominent tool for representing networks with connections among three or more entities. There is an inherent flexibility that allows hypergraphs to more naturally represent certain types of networks than graphs or simplicial complexes can on their own. This flexibility, however, comes at a cost, as there is a zoo of various categories and homology theories that are applicable to hypergraphs. The first chapter of this dissertation explores various categorical perspectives on hypergraphs, focusing on what the natural notion of morphism between hypergraphs should be. It also contains an exploration of the functoriality of vertex-edge duality in these …

On Quantum Processes And The Epistemic Constraints, Varun Immanuel Premkumar Immanuel

Electronic Theses & Dissertations (2024 - present)

This doctoral dissertation on the foundations of quantum theory tells the story of a conceptual protagonist I have called “Epistemic Constraint.” Here, epistemic constraints are the definite, intersubjectively agreeable, ordinary-language conditions under which experiments are described.

The usual formulation of the quantum measurement problem, which I call the Schrodingerian measurement problem, has the structure of an anomaly: if we take quantum theory at face value, we expect no definite values, and yet we see definite values in experiments. The responses to this problem have been either to solve it or to dissolve it. These responses, which have taken the form …

All Games Have Equilibria, Arthur Paul Pedersen, M. Ali Khan, Maxwell B. Stinchcombe

Publications and Research

Research on Nash equilibrium existence for infinite games has grown into a patchwork of technical preconditions and counterexamples. This paper presents a unified program in equilibrium theory by revising the predominant model of mixed strategies based on countable additivity. A game is specified by a nonempty set of players and, for each player, a nonempty action set and a bounded von Neumann-Morgenstern utility function. Every such game is shown to admit a Nash equilibrium in finitely additive mixed strategies. In addition, the equilibrium correspondence for any such game is shown to be nonempty, compact-valued, and upper hemicontinuous, and the same …

Digital Technologies And Calculus: Students’ Peaks And Pits, Ricela Feliciano-Semidei, Kevin A. Palencia Infante, Alcibiades Bustillo-Zarate

Faculty Articles, Papers, and Other Scholarship

Understanding calculus students’ perspectives can provide valuable insights into their learning needs and help develop strategies to enhance persistence in STEM programs. Numerous studies have shown that the use of digital technologies (DT) influences student engagement, motivation, and mathematics achievement. In this project, we explored students’ perspectives on using DT in calculus. We interviewed eight calculus students from a midwestern doctorate-granting institution in the United States and used thematic analysis informed by the didactical tetrahedron, accounting for internal and external factors that may influence the teaching and learning process. Students reflected on their use of technology, identifying various benefits, including …

Computational Insights Into Orthotropic Fracture: Crack-Tip Fields In Strain-Limiting Materials Under Non-Uniform Loads, Saugata Ghosh, Dambaru Bhatta, S. M. Mallikarjunaiah

School of Mathematical & Statistical Sciences Faculty Publications

A finite element framework is presented for analyzing crack-tip phenomena in transversely isotropic, strain-limiting elastic materials. Mechanical response is characterized by an algebraically nonlinear constitutive model, relating stress to linearized strain. Non-physical strain singularities at the crack apex are mitigated, ensuring bounded strain magnitudes. This methodology significantly advances boundary value problem (BVP) formulation, especially for first-order approximate theories. For a transversely isotropic elastic solid with a crack, the governing equilibrium equation, derived from linear momentum balance and the nonlinear constitutive model, is reduced to a second-order, vector-valued, quasi-linear elliptic BVP. This BVP is solved using a robust numerical scheme combining …

Fully Discrete Finite Element Methods For The Stochastic Kuramoto–Sivashinsky Equation With Multiplicative Noise, Hung D. Nguyen, Liet Vo

School of Mathematical & Statistical Sciences Faculty Publications

We investigate a fully discrete finite element approximation for the stochastic Kuramoto–Sivashinsky equation, combining the standard finite element methods in spatial discretization with the implicit Euler–Maruyama scheme in time. Rigorous error estimates are established for two distinct noise regimes. In the case of bounded multiplicative noise, we prove optimal strong convergence rates in full expectation. The analysis relies crucially on a stochastic Gronwall inequality and an exponential stability estimate for the PDE solution, which together control the interplay between the nonlinear drift and the multiplicative stochastic forcing. For general multiplicative noise, where boundedness no longer holds, we derive sub-optimal convergence …

Circle Actions On Oriented 4-Manifolds, Donghoon Jang, Oleg R. Musin

School of Mathematical & Statistical Sciences Faculty Publications

In this present paper, we consider an action of the circle group on a compact oriented 4-manifold. We derive the Atiyah–Hirzebruch formula for the manifold, and associate a graph in terms of data on the fixed point set. We show in the case of isolated fixed points that if an abstract graph satisfies the Atiyah–Hirzebruch formula, then there exists a corresponding 4-dimensional oriented S1-manifold.

Plumbed 3-Manifolds And Neumann Moves, Noah J. Pope

Theses and Dissertations

We give a constructive proof that every weakly negative definite plumbing tree can be transformed into a negative definite one by a finite sequence of Neumann moves. The argument combines Neumann’s plumbing calculus with the diagonalization algorithm of Duchon, Eisenbud, and Neumann, which extracts the eigenvalues of the framing matrix directly from the combinatorics of the tree. We show that any positive eigenvalues are supported on linear branches and can be eliminated systematically via controlled applications of Neumann moves. This provides an explicit algorithm reducing weakly negative definite plumbing trees to negative definite ones.

A Mathematical Frameworks For Singular, Nonlinear Phenomena: Applications To Nematocyst Firing And Inhomogeneous Nls With Coulomb Potential, Abdulrahman Alharbi

Theses and Dissertations

Nematocysts are specialized cellular organelles found in all cnidarians, including corals and jellyfish, as well as in some single-celled protists such as dinoflagellates. These organelles display remarkable diversity in morphology and function, playing roles in prey capture and defense. The firing of a nematocyst is one of the fastest accelerations in nature, yet the underlying physical mechanisms remain not fully understood. In this work, we address key questions: how sufficient force is generated to overcome the fluid boundary layer, whether fluid–structure interaction models can reproduce observed dynamics, and what mechanisms trigger discharge.

Our research investigates models based on osmotic pressure …

Mg-Spair: Multi-Grade Sparse-Guided Implicit Representation For Training-Data-Free Image Restoration, Jianmin Liao, Lei Huang, Ronglong Fang, Ashley Prater-Bennette, Lixin Shen, Yuesheng Xu

Mathematics & Statistics Faculty Publications

MG-SpaIR is a training-data-free framework for restoring a clean image from a single observation corrupted by a mixture of blur, downsampling, noise, and missing pixels. Building on implicit neural representations (INRs), we introduce a multi-grade residual hierarchy that progressively refines the reconstruction from low to high spatial frequencies across grades, improving representational fidelity and mitigating spectral limitations. To stabilize reconstruction optimization and suppress INR-induced artifacts, we further propose an explicit sparse proximal regularization (e.g., ℓ0 type) applied directly in the high-resolution image domain, which discourages spurious high-frequency patterns while preserving sharp structures. The resulting optimization is solved efficiently via a …

Machine Learning-Based Intrusion Detection System For Iot Networks Using The Rt-Iot 2022 Dataset, Bukunmi Ebenezer Afolabi

Theses, Dissertations and Capstones

The rapid expansion of the Internet of Things (IoT) has transformed modern computing by enabling seamless connectivity among heterogeneous devices across diverse application domains. However, this increased interconnectivity has significantly enlarged the attack surface of IoT networks, exposing them to a wide range of sophisticated cyber threats. Conventional security mechanisms often lack the capability to detect emerging attacks in real time, thereby necessitating the development of intelligent Intrusion Detection Systems (IDS) capable of accurately identifying malicious network activities. This study developed and evaluated a machine learning-based intrusion detection framework for multiclass IoT attack detection using the RT-IoT2022 dataset. The dataset …

On Values Taken By Characters Of Finite Groups, Christopher William Herbig

Graduate Research Theses & Dissertations

The characters of finite groups are a fundamental tool for analyzing the structure of finite groups and are interesting in their own right. In particular, we are concerned with how certain assumptions on the values taken by characters impact the structure of finite groups and vice versa. After establishing notation and stating some fundamental results in Chapter 2, this work begins with a presentation of results in relation to a conjecture of N. N. Hung and P. H. Tiep on fields generated by character values. In particular, we have found a large family of counterexamples to the conjecture by taking …

The Effects Of Problem-Based Learning On Mathematical Creativity And Self-Efficacy Of High School Students, Margaret Remus

Graduate Research Theses & Dissertations

Mathematical creativity is recognized as an important component of mathematics education; however, there is limited understanding of how instructional approaches can effectively support this skill among high school students, particularly through problem-based learning (PBL). This study examined the effects of problem-based learning on mathematical creativity among high school students.

This study employed a mixed-methods approach using an alternating treatment design with two groups of participants. Group 1 received the PBL intervention followed by a control condition, while Group 2 received the control condition followed by the PBL intervention. Quantitative data were collected through a mathematical creativity test measuring flexibility, fluency, …

Quantum Mechanics As A Framework For Data Assimilation And Its Application To Atmospheric Parameterization, David Freeman

Dartmouth College Ph.D Dissertations

Quantum mechanics, as a mathematical system, can be understood as a generalization of classical probability theory. Quantum Mechanical Data Assimilation (QMDA) is a method in which classical dynamical systems are embedded into a quantum mechanical setting, with an associated data assimilation scheme leveraging the operator algebraic setting. In this dissertation, the algebraic structure underlying the operator theoretic formulation of QMDA is discussed. A procedure for closure of dynamical systems based on QMDA, known as Quantum Mechanical Closure (QMCl), is then constructed, and the procedures for constructing the quantum embeddings and implementing QMCl in practice are laid out and implemented for …

Near Real-Time Adaptive Isotropic And Anisotropic Image-To-Mesh Conversion For Cerebral Aneurysm Simulations, Kevin Garner, Chander Sadasivan, Nikos Chrisochoides

Computer Science Faculty Publications

This paper presents two performance optimization techniques for a mesh adaptation method that is designed to help streamline the discretization of complex vascular geometries within the numerical modeling process. This method is integrated into a pipeline with an image-to-mesh conversion tool to generate adaptive anisotropic meshes from segmented medical images. The pipeline is shown to satisfy quality, fidelity, smoothness, and robustness requirements while providing near real-time performance for medical image-to-mesh conversion. Tested with two brain aneurysm cases and utilizing up to 96 CPU cores within a single, multicore node on Purdue University’s Anvil supercomputer, the parallel adaptive anisotropic meshing method …

The Global Orbit ∞-Category And Applications To Assembly Maps, Zoë Pope

Electronic Theses & Dissertations (2024 - present)

We reformulate the foundations of assembly maps in the context of the global orbit ∞-category of all discrete groups. We first show that the ∞-categorical slice of the global orbit ∞-category over any fixed group G is equivalent to the orbit 1-category of G, and we also frame the subgroup 1-category of G in this global context. We then use the afore-mentioned equivalence to redefine assembly maps as counits of the adjunction between left Kan extension and restriction, and give purely ∞-categorical and conceptual proofs of known results, such as the Transitivity Principle. Additionally, we give equivalent formulations for what …

Entropic Dynamics Approach To The Classical Limit Of Quantum Mechanics: Decoupling Of The Center Of Mass Motion For A Mesoscopic Particle, Fatimah Judayba

Electronic Theses & Dissertations (2024 - present)

In the Entropic Dynamics (ED) approach, quantum mechanics is derived from the principles of entropic inference and information geometry. The ED approach differs from other interpretations by making a clear commitment to distinguishing which variables are ontic (real) and which are epistemic. The classical limit for the center of mass (CM) coordinate is achieved for a large number of particles, M →∞, while Planck’s constant ℏ remains finite. Typically, the emergence of the classical limit requires decoherence through interactions with the external environment. In this work, we investigate whether the classical behavior of the CM coordinate in a mesoscopic system …

Learning Weibull Loss Severity Models From Truncated And Censored Data, Majed Alkhasha

Graduate Studies Theses and Dissertations 2026

In modern actuarial science and risk management, due to various loss control mechanisms, observed severity losses are typically left-truncated at the deductible, right-censored at the policy limit, and scaled by a pre-specified co-insurance factor. This results in two types of actuarial payment random variables: payment-per-payment (PPP) and payment-per-loss (PPL). To learn ground-up Weibull loss severity models from PPP and PPL sample data, we implement two estimation techniques: Maximum Likelihood Estimation (MLE) and the dynamic Method of Trimmed Moments (MTM). MLE is employed to obtain efficient estimates of the Weibull shape and scale parameters. However, MLE may assign unnecessarily large point …

Likelihood-Based Inference For Random Networks With Changepoints, Daniel Cirkovic, Tiandong Wang, Xianyang Zhang

Mathematical and Statistical Science Faculty Research and Publications

Generative, temporal network models play an important role in analyzing the dependence structure and evolution patterns of complex networks. Due to the complicated nature of real network data, it is often naive to assume that the underlying data-generative mechanism itself is invariant with time. Such observation leads to the study of changepoints or sudden shifts in the distributional structure of the evolving network. In this paper, we propose a likelihood-based methodology to detect changepoints in undirected, affine preferential attachment networks where, upon introduction, a new node selects one old to attach to with probability proportional to its degree. In particular, …

Transformer-Based Language Models For Bitcoin Market Prediction And Interpretation, Erich Gozebina

Masters Theses

"In the context of a Master's thesis in applied mathematics, this work investigates compact transformer-based language models as an instrument for Bitcoin-related predictions and decision support. The work connects three topics: the structure of the Bitcoin system and its data, the mathematical and algorithmic foundations of deep autoregressive transformers, and the design of practical training pipelines for financial applications. On this foundation, a reproducible ETL pipeline for Bitcoin data is developed and two forecasting experiments are conducted with the compact language model nanochat. The first experiment approaches the prediction of next-day price movements through autoregressive next-token generation based on structured …

An Energy-Stable Mixed Cg-Dg Scheme For A Full Shliomis Phase Field Model Of Two-Phase Ferrofluid Flows, Mahdi Gharehbaygloo

Doctoral Dissertations

"Ferrofluids are magnetic nanoparticle suspensions whose motion couples surface tension, flow field, magnetostatics, and magnetization dynamics. This dissertation develops, analyzes, and validates an energy-stable finite element method for a two-phase ferrofluid model that couples the Cahn-Hilliard equations with the full Shliomis model of single-phase ferrofluids, retaining its damping torque term, magnetic torque term, and magnetic stress term.

The spatial discretization is a mixed continuous Galerkin (CG) and discontinuous Galerkin (DG) formulation. It uses continuous ��2 elements for the phase field, chemical potential, velocity, and magnetostatic potential, discontinuous ��2 elements for the magnetization, and discontinuous ��1 elements for the pressure. The …

Pedagogical Moves For Provoking Prospective Teachers’ Intellectual Needs While Connecting Abstract Algebra And Secondary Mathematics, Kaitlyn Stephens Serbin, Estrella Johnson, Sthefanía Espinosa

School of Mathematical & Statistical Sciences Faculty Publications

Researchers have exhibited ways in which prospective secondary mathematics teachers can connect content from abstract algebra with secondary mathematics in ways that reshape their understanding of secondary mathematics and thereby support their teaching of that content. However, there has been very little research done on what mathematics teacher educators can do in the classroom to help prospective teachers make connections between abstract algebra and secondary algebra in ways that support such reshaping. This study focuses on a mathematics teacher educator who guided a class of prospective teachers to connect properties of algebraic structures with equation-solving procedures by directing their focus …

Strong Q-Analogues For Values Of The Dirichlet Beta Function, Ankush Goswami, Tim Huber

School of Mathematical & Statistical Sciences Faculty Publications

An infinite class of relations between modular forms is constructed that generalizes evaluations of the Dirichlet beta function at odd positive integers. The work is motivated by a base case appearing in Ramanujan’s Notebooks and a parallel construction for the Riemann zeta function. The identities are shown to be strong q-analogues by virtue of their reduction to the classical beta evaluations as 𝑞→1− and explicit evaluations at CM points for |𝑞|< 1. We also determine asymptotic formulas for the Fourier coefficients of the associated modular forms.

Analyzing Sleep Architecture And Brain State Transitions Via Hidden Markov Models On Fmri Data, Brileigh Jay Cates

Masters Theses

Sleep is associated with systematic changes in brain activity and functional connectivity observable in functional magnetic resonance imagining (fMRI) signals. Because subjects often fall asleep during resting-state experiments, the absence of vigilance monitoring can confound the interpretation of resting-state dynamics. Although electroencephalography (EEG) is the gold standard for sleep staging, simultaneous EEG-fMRI acquisition is not always feasible.

This study investigates whether sleep stages can be inferred directly from fMRI using a probabilistic latent-state framework. Hidden Markov Models (HMMs) are applied to blood-oxygen-level-dependent (BOLD) time series to identify latent brain states and their temporal transitions. Inferred states are aligned with EEG-derived …

The Spacetime Finite Element Method For Investigations Into Physics Ghost Systems And Time Parallel Preconditioning, Jax Wysong

Electronic Theses and Dissertations

This work operates on two fronts, focusing on interesting physical phenomena before turning our attention to an interesting numerical math problem. First, using the spacetime finite element method (FEM), we investigate a PDE system consisting of two Klein Gordon equations, which are coupled nonlinearly through the potential energy. The system contains a ghost (negative kinetic energy term). Systems such as these are generally deemed physically unstable, resulting in infinite energy in finite time. However, recent work has shown that this is not always the case. We investigate multiple scenarios arising from different initial conditions to characterize if/when a ghost system …

A Novel Bernstein Operational Matrix Approach For Tempered Fractional Differential Equations: Convergence And Stability Analysis, Jalal Al Hallak, Mohammed Alshbool, Ishak Hashim, Eddie Shahril Ismail, Shaher Momani

All Works

Tempered fractional differential equations (TFDEs) incorporate exponential decay into fractional operators to account for truncated memory and semi-long-range dependence in a variety of applications, including anomalous diffusion, viscoelasticity, transport phenomena, geophysical processes, and financial dynamics. In this work, a tempered fractional Bernstein method (TFBM) was proposed for the numerical solution of TFDEs involving Caputo-type derivatives. The proposed formulation combined a Bernstein polynomial approximation with an analytic representation of the Caputo–tempered fractional derivative through operational matrices. On this basis, two collocation-based variants were developed, namely, a Chebyshev-type method (TFBM-C) and a Legendre-type method (TFBM-L). For the linear setting, a convergence analysis …

Gliders On The Sca Model, Alexa Renner

Mathematical Sciences Technical Reports (MSTR)

The Stranded Cellular Automata (SCA) model consists of a grid of cells which can each contain between zero and two strands apiece and two turning rules that control when strands turn and when they cross. While patterns on this model have been studied previously, such research has not needed an algebraic description of the model. We provide a formal algebraic definition of patterns on the model, define gliders on the model in a way which is semi-compatible with definitions of gliders in other cellular automata models, and classify all 1- and 2-stranded gliders on this model. In addition, we prove …

The Ellipsoidal Principal Semi-Axis Geometry Of The Solution To An Ivp For A Matrix Diffusion Pde, Brandon M. Fox

Electronic Theses & Dissertations (2024 - present)

We analyze the underlying geometry of the solution to an IVP for a matrix diffusion PDE. We first derive the fundamental solution to the PDE. We then determine the unique solution to the IVP. From there, we begin analyzing its underlying geometry. We first observe that the geometry exhibits an ellipsoidal nature. Furthermore, we observe that it is described by the principal semi-axis geometry of the ellipsoids associated with the solution. This conclusion follows from applying the Principal Axis Theorem to the associated ellipsoids to establish their principal semi-axis geometry, as governed by the eigenstructure of the matrix. This thesis …

Geovig And Purevig: Geometry-Aware Architectures For Efficient Computer Vision, Omar Ismail

Theses and Dissertations (Comprehensive)

Deploying deep learning models for medical image analysis on mobile devices requires a balance between inference latency, memory footprint, and delineating anatomical boundaries with high accuracy. While Convolutional Neural Networks (CNNs) and mobile Vision Transformers (ViTs) offer efficiency, they often struggle to model the irregular, non-local geometric structures inherent in biological tissues without incurring prohibitive computational costs. In this thesis, we introduce GeoViG (Geometric Vision Graph), an architecture that bridges the gap between efficient grid-based processing and explicit Geometric Deep Learning. GeoViG introduces a novel transition from high-resolution pixel grids to low-resolution dynamic graphs via a SpreadEdgePool operator, a geometry-aware …

Studies On The Depth Formula And On Reducing Dimensions, Brian Mccourt Laverty

Graduate Theses, Dissertations, and Problem Reports (ETD)

This dissertation presents the author’s recent research, conducted under the supervision of Professor Olgur Celikbas, and based on two articles—one published and one in progress. These works develop two closely related research directions in commutative algebra. Together, they contribute to the subject by addressing aspects of existing conjectures, establishing new results, and introducing methods for studying homological invariants.

The first research direction concerns the depth formula, namely the equality \[ \depth_R(M)+\depth_R(N)=\depth(R)+\depth_R(M\otimes_RN) \] where $M$ and $N$ are finitely generated $R$-modules. A classical result of Auslander \cite{Aus} shows that the depth formula holds provided that either $M$ or $N$ has finite …