Mathematics Commons^™

Gevrey Class Estimates Towards Null Controllability Of A Fluid Structure Interaction System, Dylan Mcknight

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

Fluid-Structure Interaction concerns the interaction of parabolic fluids and hyperbolic elastic structures via numerous mechanisms such as boundary coupling and pressure. These models find application in blood flow, fluid flow in the eye, and air flow over plane wings. Parabolic equations are well known for “infinite speed of propagation,” which manifests itself via a uniform bound on the resolvent of the infinitesimal generator of the associated strongly continuous semigroup. Qualitatively, a solution of a parabolic pde with rough initial data is immediately smooth for any positive time. A priori, it is not clear whether a fluid structure interaction inherits any …

Torus Surgery, Fibrations, Multisections, And Spun 4-Manifolds, Nicholas Paul Meyer

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

A compact n-manifold X is fibered if it is a fiber bundle where the fiber F and base space B are manifolds. Fibered manifolds are particularly nice, as they are essentially classified by their monodromy maps. Two common examples of 4-dimensional fibered manifolds are surface bundles over surfaces and 3-manifold bundles over the circle.

The main focus of this dissertation is to investigate fibered 4-manifolds whose boundaries are the 3-torus and how these manifolds glue together to give new closed, fibered 4-manifolds. In particular, suppose W is diffeomorphic to S¹ × E_Y (K) where Y …

Nonlocal Frameworks For Nonlinear Conservation Laws And Advection-Diffusion Processes, Anh Thuong Vo

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

Conservation laws are fundamental principles that play an important role in modeling various phenomena in physics, chemistry, and biology. However, their limitations, such as the development of shocks despite smooth initial conditions, are well known. The nonlocal model framework can be used to overcome these challenges. Nonlocal frameworks utilize integral operators that mimic differential operators but also incorporate long-range interactions within a finite horizon. This approach not only allows for non-smooth solutions, but also provides flexibility in modeling different phenomena. This study investigates the convergence of nonlocal divergence operators, defined with a general flux density function, to their classical counterparts. …

Asteroidal Sets And Dominating Targets In Graphs, Oleksiy Al-Saadi

School of Computing: Dissertations, Theses, and Student Research

The focus of this PhD thesis is on various distance and domination properties in graphs. In particular, we prove strong results about the interactions between asteroidal sets and dominating targets. Our results add to or extend a plethora of results on these properties within the literature. We define the class of strict dominating pair graphs and show structural and algorithmic properties of this class. Notably, we prove that such graphs have diameter 3, 4, or contain an asteroidal quadruple. Then, we design an algorithm to to efficiently recognize chordal hereditary dominating pair graphs. We provide new results that describe the …

Mathematical And Computational Analysis Of Certain Regularizations For The 3d Navier-Stokes Equations And Nonlocal Peridynamic Conservation Laws, Isabel Safarik

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

Voigt regularization is a technique used to model turbulent flows, offering advantages such as sharing steady states with the Navier-Stokes equations and requiring no modification of boundary conditions. We explore a modification to the Voigt regularization technique by introducing fractional dissipation into the system, specifically incorporating a fractional power, r. In this work, the proofs are in the context of periodic boundary conditions. The resulting fractional Navier-Stokes-Voigt (fNSV) and fractional Euler-Voigt (fEV) equations are studied for global well-posedness in three dimensions. It is shown that global well-posedness holds in the 3D case for fEV when the fractional power r …

Approximation Via Degree Reduction Of Nonlinearities With Applications To Turbulent Flows, Flame Fronts, And Magnetohydrodynamics, Matthew Enlow

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

We perform an analytical and computational investigation on the effectiveness of a locally bounded truncation function, which we call a calming function, when applied to the nonlinear terms of several dissipative partial differential equations. In particular, the 3D Navier-Stokes equations of incompressible fluid flow, the 2D Kuramoto-Sivashinsky equations of laminar flame fronts, and the 2D MHD-Boussinesq equations of magnetohydrodynamics. Each of these equations have open questions about the global existence and uniqueness of their solutions. These calming functions effectively reduce the algebraic degree of select nonlinear terms, thus one can verify global wellposedness for these "calmed systems." More specifically, in …

Discrete Macaulay-Steiner Geometry, Nikola Kuzmanovski

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

This thesis is concerned with discrete isoperimetric inequalities and Hilbert functions. Two generalizations of the Ahlswede-Cai local global principle are presented. These results give positive answers to two questions posed by Harper. One of these results is achieved by proving uniqueness of the lexicographic and colexicographic orders in two dimensions. The other result generalizes the technique which is commonly known as compression and includes almost all previously published results in this direction. The Ahlswede-Cai local global principle is a direct corollary of this result. Optimal downsets are studied in rectangles and triangles. All optimal downsets are found. The main result …

A Cohomological Perspective To Nonlocal Operators, Nicholas White

Honors Program: Senior Projects (Public)

Nonlocal models have experienced a large period of growth in recent years. In particular, nonlocal models centered around a finite horizon have been the subject of many novel results. In this work we consider three nonlocal operators defined via a finite horizon: a weighted averaging operator in one dimension, an averaging differential operator, and the truncated Riesz fractional gradient. We primarily explore the kernel of each of these operators when we restrict to open sets. We discuss how the topological structure of the domain can give insight into the behavior of these operators, and more specifically the structure of their …

Quantum Computing And U.S. Cybersecurity: A Case Study Of The Breaking Of Rsa And Plan For Cryptographic Algorithm Transition, Helena Holland

Honors Program: Senior Projects (Public)

The invention of a cryptographically relevant quantum computer would revolutionize computing power, transforming industry and national security. While a theoretical possibility at the time of this writing, the ability of quantum algorithms to solve the factoring and discrete logarithm problems, upon which all currently employed public-key cryptography depends, presents a serious threat to digital communications. This research examines both the mathematics and government policy behind these risks and their implications for cybersecurity. Specifically, a case study of RSA, Shor’s algorithm, and the American Intelligence Community’s plan to transition toward quantum-resistant algorithms is presented to analyze quantum threats and opportunities and …

Modeling The Population Dynamics And Movement Of Zebra Mussels, Alexanderia Lacy, Yu Jin, David Strayer, Suzanne Lenhart

Department of Mathematics: Faculty Publications

Zebra mussels have caused significant damage in many lakes and rivers. By using a hybrid population model with discrete-time equations and ordinary differential equations, we represent the zebra mussel’s life cycle, growth, and population movement. The dynamics of the larvae (unsettled and settled larvae) are represented during the summer months in a system of two ordinary differential equations, while the juvenile, small adult, and large adult stages are represented by a discrete model with yearly time steps. The goal is to investigate the effects of zebra mussel movement between three different spatial locations and possible control measures. Zebra mussel data …

Regular Ideals, Ideal Intersections, And Quotients, Jonathan H. Brown, Adam H. Fuller, David R. Pitts, Sarah A. Reznikoff

Department of Mathematics: Faculty Publications

Let B ⊆ A be an inclusion of C^∗ -algebras. We study the relationship between the regular ideals of B and regular ideals of A.We show that if B ⊆ A is a regular C^∗ -inclusion and there is a faithful invariant conditional expectation from A onto B, then there is an isomorphism between the lattice of regular ideals of A and invariant regular ideals of B. We study properties of inclusions preserved under quotients by regular ideals. This includes showing that if D ⊆ A is a Cartan inclusion and J is a regular ideal in A, …

A Mathematical Model For Frogeye Leaf Spot Epidemics In Soybean, Chayu Yang, Jin Wang

Department of Mathematics: Faculty Publications

We propose a new mathematical model based on differential equations to investigate the transmission and spread of frogeye leaf spot, a major soybean disease caused by the fungus Cercospora sojina. The model incorporates the primary and secondary transmission routes of the disease as well as the intrinsic dynamics of the pathogen in the contaminated soil. We conduct detailed equilibrium and stability analyses for this model using theories of dynamical systems. We additionally conduct numerical simulations to verify the analytical predictions and to implement the model for a practical application.

On Dyadic Parity Check Codes And Their Generalizations, Meraiah Martinez

Department of Mathematics: Dissertations, Theses, and Student Research

In order to communicate information over a noisy channel, error-correcting codes can be used to ensure that small errors don’t prevent the transmission of a message. One family of codes that has been found to have good properties is low-density parity check (LDPC) codes. These are represented by sparse bipartite graphs and have low complexity graph-based decoding algorithms. Various graphical properties, such as the girth and stopping sets, influence when these algorithms might fail. Additionally, codes based on algebraically structured parity check matrices are desirable in applications due to their compact representations, practical implementation advantages, and tractable decoder performance analysis. …

Unexpectedness Stratified By Codimension, Frank Zimmitti

Department of Mathematics: Dissertations, Theses, and Student Research

A recent series of papers, starting with the paper of Cook, Harbourne, Migliore, and Nagel on the projective plane in 2018, studies a notion of unexpectedness for finite sets Z of points in N-dimensional projective space. Say the complete linear system L of forms of degree d vanishing on Z has dimension t yet for any general point P the linear system of forms vanishing on Z with multiplicity m at P is nonempty. If the dimension of L is more than the expected dimension of t−r, where r is N+m−1 choose …

Differentiating By Prime Numbers, Jack Jeffries

Department of Mathematics: Faculty Publications

It is likely a fair assumption that you, the reader, are not only familiar with but even quite adept at differentiating by x. What about differentiating by 13? That certainly didn’t come up in my calculus class! From a calculus perspective, this is ridiculous: are we supposed to take a limit as 13 changes? One notion of differentiating by 13, or any other prime number, is the notion of p-derivation discovered independently by Joyal [Joy85] and Buium [Bui96]. p-derivations have been put to use in a range of applications in algebra, number theory, and arithmetic geometry. Despite the wide range …

Game-Theoretic Approaches To Optimal Resource Allocation And Defense Strategies In Herbaceous Plants, Molly R. Creagar

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

Empirical evidence suggests that the attractiveness of a plant to herbivores can be affected by the investment in defense by neighboring plants, as well as investment in defense by the focal plant. Thus, allocation to defense may not only be influenced by the frequency and intensity of herbivory but also by defense strategies employed by other plants in the environment. We incorporate a neighborhood defense effect by applying spatial evolutionary game theory to optimal resource allocation in plants where cooperators are plants investing in defense and defectors are plants that do not. We use a stochastic dynamic programming model, along …

Unexpectedness Stratified By Codimension, Frank Zimmitti

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

A recent series of papers, starting with the paper of Cook, Harbourne, Migliore and Nagel on the projective plane in 2018, studies a notion of unexpectedness for finite sets Z of points in N-dimensional projective space. Say the complete linear system L of forms of degree d vanishing on Z has dimension t yet for any general point P the linear system of forms vanishing on Z with multiplicity m at P is nonempty. If the dimension of L is more than the expected dimension of t−r, where r is N+m−1 choose N …

An Analysis Of Plant Response To Herbivory, Lawrence Gustavo Seminario-Romero

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

Herbivory is often believed to always negatively affect the growth of plants, but there are plant species that can actually benefit from being consumed by herbivores. These plants have a phenotypic trait known as “compensatory growth.” A plant that exhibits compensatory growth is able to increase its intrinsic growth rate as a response to taking damage caused by herbivory, and as a result, produce more biomass. Very few mathematical models used to describe plant-herbivore interactions have accounted for plant compensatory growth. Moreover, these models tend to assume that herbivores follow a Holling type II functional response, which may not necessarily …

Nuclear Dimension Of Graph C∗-Algebras With Condition (K), Gregory Faurot, Christopher Schafhauser

Department of Mathematics: Faculty Publications

We prove that for any countable directed graph E with Condition (K), the associated graph C^*-algebra C^*(E) has nuclear dimension at most 2. Furthermore, we provide a sufficient condition producing an upper bound of 1.

A Variational Theory For Integral Functionals Involving Finite-Horizon Fractional Gradients, Javier Cueto, Carolin Carolin, Hidde Schönberger

Department of Mathematics: Faculty Publications

The center of interest in this work are variational problems with integral functionals depending on nonlocal gradients with finite horizon that correspond to truncated versions of the Riesz fractional gradient. We contribute several new aspects to both the existence theory of these problems and the study of their asymptotic behavior. Our overall proof strategy builds on finding suitable translation operators that allow to switch between the three types of gradients: classical, fractional, and nonlocal. These provide useful technical tools for transferring results from one setting to the other. Based on this approach, we show that quasiconvexity, which is the natural …

Idempotent Completions Of Equivariant Matrix Factorization Categories, Michael K. Brown, Mark E. Walker

Department of Mathematics: Faculty Publications

We prove that equivariant matrix factorization categories associated to henselian local hypersurface rings are idempotent complete, generalizing a result of Dyckerhoff in the non- equivariant case.

Analysis Of Syndrome-Based Iterative Decoder Failure Of Qldpc Codes, Kirsten D. Morris, Tefjol Pllaha, Christine A. Kelley

Department of Mathematics: Faculty Publications

Iterative decoder failures of quantum low density parity check (QLDPC) codes are attributed to substructures in the code’s graph, known as trapping sets, as well as degenerate errors that can arise in quantum codes. Failure inducing sets are subsets of codeword coordinates that, when initially in error, lead to decoding failure in a trapping set. In this paper we examine the failure inducing sets of QLDPC codes under syndrome-based iterative decoding, and their connection to absorbing sets in classical LDPC codes.

Computation Of The Basic Reproduction Numbers For Reaction-Diffusion Epidemic Models, Chayu Yang, Jin Wang

Department of Mathematics: Faculty Publications

We consider a class of k-dimensional reaction-diusion epidemic models (k = 1; 2; • • • ) that are developed from autonomous ODE systems. We present a computational approach for the calculation and analysis of their basic reproduction numbers. Particularly, we apply matrix theory to study the relationship between the basic reproduction numbers of the PDE models and those of their underlying ODE models. We show that the basic reproduction numbers are the same for these PDE models and their associated ODE models in several important scenarios. We additionally provide two numerical examples to verify our analytical results.

Pull-Push Method: A New Approach To Edge-Isoperimetric Problems, Sergei L. Bezrukov, Nikola Kuzmanovski, Jounglag Lim

Department of Mathematics: Faculty Publications

We prove a generalization of the Ahlswede-Cai local-global principle. A new technique to handle edge-isoperimetric problems is introduced which we call the pull-push method. Our main result includes all previously published results in this area as special cases with the only exception of the edge-isoperimetric problem for grids. With this we partially answer a question of Harper on local-global principles. We also describe a strategy for further generalization of our results so that the case of grids would be covered, which would completely settle Harper’s question.

When Are The Natural Embeddings Of Classical Invariant Rings Pure?, Melvin Hochster, Jack Jeffries, Vaibhav Pandey, Anurag K. Singh

Department of Mathematics: Faculty Publications

Consider a reductive linear algebraic group G acting linearly on a polynomial ring S over an infinite field; key examples are the general linear group, the symplectic group, the orthogonal group, and the special linear group, with the classical representations as inWeyl’s book: For the general linear group, consider a direct sum of copies of the standard representation and copies of the dual; in the other cases, take copies of the standard representation. The invariant rings in the respective cases are determinantal rings, rings defined by Pfaffians of alternating matrices, symmetric determinantal rings and the Plücker coordinate rings of Grassmannians; …

Applications Of Financial Mathematics: An Analysis Of Consumer Financial Decision Making, Alyssa Betterton

Honors Program: Senior Projects (Public)

Students always ask, “How can this be applied to the real world?” Mortgages, car loans, and credit card bills are things that almost everyone will have to make decisions about at some point in their lives. This research discusses the many different financial choices that consumers have to make. Consumers can use this information to understand how interest rates, the length of the loan, and the initial amount being borrowed affects the amount that is paid back to the companies. The intent of this thesis is to present the mathematical theory of interest. A web-based application has been built based …

On The Superabundance Of Singular Varieties In Positive Characteristic, Jake Kettinger

Department of Mathematics: Dissertations, Theses, and Student Research

The geproci property is a recent development in the world of geometry. We call a set of points Z\subseq\P_k^3 an (a,b)-geproci set (for GEneral PROjection is a Complete Intersection) if its projection from a general point P to a plane is a complete intersection of curves of degrees a and b. Examples known as grids have been known since 2011. Previously, the study of the geproci property has taken place within the characteristic 0 setting; prior to the work in this thesis, a procedure has been known for creating an (a,b)-geproci half-grid for 4\leq a\leq b, but it was not …

Partitions Of R^N With Maximal Seclusion And Their Applications To Reproducible Computation, Jason Vander Woude

Department of Mathematics: Dissertations, Theses, and Student Research

We introduce and investigate a natural problem regarding unit cube tilings/partitions of Euclidean space and also consider broad generalizations of this problem. The problem fits well within a historical context of similar problems and also has applications to the study of reproducibility in randomized computation.

Given $k\in\mathbb{N}$ and $\epsilon\in(0,\infty)$, we define a $(k,\epsilon)$-secluded unit cube partition of $\mathbb{R}^{d}$ to be a unit cube partition of $\mathbb{R}^{d}$ such that for every point $\vec{p}\in\R^d$, the closed $\ell_{\infty}$ $\epsilon$-ball around $\vec{p}$ intersects at most $k$ cubes. The problem is to construct such partitions for each dimension $d$ with the primary goal of minimizing …

Gordian Distance And Complete Alexander Neighbors, Ana Wright

Department of Mathematics: Dissertations, Theses, and Student Research

We call a knot K a complete Alexander neighbor if every possible Alexander polynomial is realized by a knot one crossing change away from K. It is unknown whether there exists a complete Alexander neighbor with nontrivial Alexander polynomial. We eliminate infinite families of knots with nontrivial Alexander polynomial from having this property and discuss possible strategies for unresolved cases.

Additionally, we use a condition on determinants of knots one crossing change away from unknotting number one knots to improve KnotInfo’s unknotting number data on 11 and 12 crossing knots. Lickorish introduced an obstruction to unknotting number one, which proves …

Listening For Common Ground In High School And Early Collegiate Mathematics, Gail Burrill, Henry Cohn, Yvonne Lai, Dev P. Sinha, Ji Y. Son, Katherine F. Stevenson

Department of Mathematics: Faculty Publications

Solutions to pressing and complex social challenges require that we reach for common ground. Only through cooperation among people with a broad range of backgrounds and expertise can progress be made on issues as challenging as improving student success in mathematics. In this spirit, the AMS Committee on Education held a forum in May 2022 entitled The Evolving Curriculum in High School and Early Undergraduate Mathematical Sciences Education.¹ This article is a report on that forum by the authors listed above, who were among the organizers and presenters.