Applied Mathematics Commons^™

Bernstein-Sato Polynomials In Commutative Algebra, Josep Àlvarez Montaner, Jack Jeffries, Luis Núñez-Betancourt

Department of Mathematics: Faculty Publications

This is an expository survey on the theory of Bernstein-Sato polynomials with special emphasis in its recent developments and its importance in commutative algebra.

Lower Bounds On Betti Numbers, Adam Boocher, Eloisa Grifo

Department of Mathematics: Faculty Publications

We survey recent results on bounds for Betti numbers of modules over polynomial rings, with an emphasis on lower bounds. Along the way, we give a gentle introduction to free resolutions and Betti numbers, and discuss some of the reasons why one would study these.

Lower Bounds On Betti Numbers, Adam Boocher, Eloisa Grifo

Department of Mathematics: Faculty Publications

We survey recent results on bounds for Betti numbers of modules over polynomial rings, with an emphasis on lower bounds. Along the way, we give a gentle introduction to free resolutions and Betti numbers, and discuss some of the reasons why one would study these.

Near-Optimal Learning Of Tree-Structured Distributions By Chow-Liu, Arnab Bhattacharyya, Sutanu Gayen, Eric Price, N. V. Vinodchandran

Department of Mathematics: Faculty Publications

We provide finite sample guarantees for the classical Chow-Liu algorithm (IEEE Trans. Inform. Theory, 1968) to learn a tree-structured graphical model of a distribution. For a distribution P on Σⁿ and a tree T on n nodes, we say T is an ε-approximate tree for P if there is a T-structured distribution Q such that D(P || Q) is at most ε more than the best possible tree-structured distribution for P. We show that if P itself is tree-structured, then the Chow-Liu algorithm with the plug-in estimator for mutual information with eO (|Σ| …

Modernization Of Scienttific Mathematics Formula In Technology, Iwasan D. Kejawa Ed.D, Prof. Iwasan D. Kejawa Ed.D

Department of Mathematics: Faculty Publications

Abstract
Is it true that we solve problem using techniques in form of formula? Mathematical formulas can be derived through thinking of a problem or situation. Research has shown that we can create formulas by applying theoretical, technical, and applied knowledge. The knowledge derives from brainstorming and actual experience can be represented by formulas. It is intended that this research article is geared by an audience of average knowledge level of solving mathematics and scientific intricacies. This work details an introductory level of simple, at times complex problems in a mathematical epidermis and computability and solvability in a Computer Science. …

Chudnovsky's Conjecture And The Stable Harbourne-Huneke Containment, Sankhaneel Bisui, Eloísa Grifo, Huy Tài Hà, Thái Thành Nguyên

Department of Mathematics: Faculty Publications

We investigate containment statements between symbolic and ordinary powers and bounds on the Waldschmidt constant of defining ideals of points in projective spaces. We establish the stable Harbourne conjecture for the defining ideal of a general set of points. We also prove Chudnovsky’s Conjecture and the stable version of the Harbourne–Huneke containment conjectures for a general set of sufficiently many points.

Demailly's Conjecture And The Containment Problem, Sankhaneel Bisui, Eloisa Grifo, Huy Tài Hà, Thái Thành Nguyên

Department of Mathematics: Faculty Publications

We investigate Demailly’s Conjecture for a general set of sufficiently many points. Demailly’s Conjecture generalizes Chudnovsky’s Conjecture in providing a lower bound for the Waldschmidt constant of a set of points in projective space. We also study a containment between symbolic and ordinary powers conjectured by Harbourne and Huneke that in particular implies Demailly’s bound, and prove that a general version of that containment holds for generic determinantal ideals and defining ideals of star configurations.

Novel And Fast Peridynamic Models For Material Degradation And Failure, Siavash Jafarzadeh

Department of Mechanical and Materials Engineering: Dissertations, Theses, and Student Research

Fracture is one of the main mechanisms of structural failure. Corroded surfaces with chemically-induced damage are, notably, potential sites for crack initiation and propagation in metals, which can lead to catastrophic failure of structures. Despite some progress in simulating fracture and damage using classical models, realistic prediction of complex damage progression and failure has been out of reach for many decades. Peridynamics (PD), a nonlocal theory introduced in 2000, opened up new avenues in modeling material degradation and failure. Existing numerical methods used to discretize PD equations, however, are quite expensive as the PD nonlocal interactions make them unaffordable for …

Constructing Non-Proxy Small Test Modules For The Complete Intersection Property, Benjamin Briggs, Eloísa Grifo, Josh Pollitz

Department of Mathematics: Faculty Publications

A local ring R is regular if and only if every finitely generated R-module has finite projective dimension. Moreover, the residue field k is a test module: R is regular if and only if k has finite projective dimension. This characterization can be extended to the bounded derived category Df(R), which contains only small objects if and only if R is regular. Recent results of Pollitz, completing work initiated by Dwyer-Greenlees-Iyengar, yield an analogous characterization for complete intersections: R is a complete intersection if and only if every object in Df(R) is proxy small. In this paper, we study a …

On The Bounded Negativity Conjecture And Singular Plane Curves, Alexandru Dimca, Brian Harbourne, Gabriel Sticlaru

Department of Mathematics: Faculty Publications

There are no known failures of Bounded Negativity in characteristic 0. In the light of recent work showing the Bounded Negativity Conjecture fails in positive characteristics for rational surfaces, we propose new characteristic free conjectures as a replacement. We also develop bounds on numerical characteristics of curves constraining their negativity. For example, we show that the H-constant of a rational curve C with at most 9 singular points satisfies H(C) > -2 regardless of the characteristic.

Symbolic Rees Algebras, Eloísa Grifo, Alexandra Seceleanu

Department of Mathematics: Faculty Publications

We survey old and new approaches to the study of symbolic powers of ideals. Our focus is on the symbolic Rees algebra of an ideal, viewed both as a tool to investigate its symbolic powers and as a source of challenging problems in its own right. We provide an invitation to this area of investigation by stating several open questions.

Symbolic Rees Algebras, Eloísa Grifo, Alexandra Seceleanu

Department of Mathematics: Faculty Publications

We survey old and new approaches to the study of symbolic powers of ideals. Our focus is on the symbolic Rees algebra of an ideal, viewed both as a tool to investigate its symbolic powers and as a source of challenging problems in its own right. We provide an invitation to this area of investigation by stating several open questions.

Common Unit Conversions For Irrigation, Dean E. Eisenhauer, Derrel L. Martin, Derek M. Heeren, Glenn J. Hoffman

Open Learning Resources, General/Selected

A fact sheet that includes common unit conversions for irrigation in international system of units (SI) and United States customary system of units (USCS).

Includes units for: length, area, volume, flow, weight and mass, pressure, crop yield, temperature, and the United States public land survey system.

Spectral Properties Of A Non-Compact Operator In Ecology, Matthew Reichenbach

Department of Mathematics: Dissertations, Theses, and Student Research

Ecologists have used integral projection models (IPMs) to study fish and other animals which continue to grow throughout their lives. Such animals cannot shrink, since they have bony skeletons; a mathematical consequence of this is that the kernel of the integral projection operator T is unbounded, and the operator is not compact. A priori, it is unclear whether these IPMs have an asymptotic growth rate λ, or a stable-stage distribution ψ. In the case of a compact operator, these quantities are its spectral radius and the associated eigenvector, respectively. Under biologically reasonable assumptions, we prove that the non-compact operators in …

A Stable Version Of Harbourne's Conjecture And The Containment Problem For Space Monomial Curves, Eloísa Grifo

Department of Mathematics: Faculty Publications

The symbolic powers I(ⁿ⁾ of a radical ideal I in a polynomial ring consist of the functions that vanish up to order n in the variety defined by I. These do not necessarily coincide with the ordinary algebraic powers In, but it is natural to compare the two notions. The containment problem consists of determining the values of n and m for which I(ⁿ⁾⊆Im holds. When I is an ideal of height 2 in a regular ring, I(³⁾⊆I2 may fail, but we …

Diagrams Of ⋆-Trisections, José Román Aranda, Jesse Moeller

Department of Mathematics: Faculty Publications

In this note we provide a generalization for the definition of a trisection of a 4-manifold with boundary. We demonstrate the utility of this more general definition by finding a trisection diagram for the Cacime Surface, and also by finding a trisection-theoretic way to perform logarithmic surgery. In addition, we describe how to perform 1-surgery on closed trisections. The insight gained from this description leads us to the classification of an infinite family of genus three trisections. We include an appendix where we extend two classic results for relative trisections for the case when the trisection surface is closed.

Expected Resurgence Of Ideals Defining Gorenstein Rings, Eloísa Grifo, Craig Huneke, Vivek Mukundan

Department of Mathematics: Faculty Publications

Building on previous work by the same authors, we show that certain ideals defining Gorenstein rings have expected resurgence, and thus satisfy the stable Harbourne Conjecture. In prime characteristic, we can take any radical ideal defining a Gorenstein ring in a regular ring, provided its symbolic powers are given by saturations with the maximal ideal. While this property is not suitable for reduction to characteristic p, we show that a similar result holds in equicharacteristic 0 under the additional hypothesis that the symbolic Rees algebra of I is noetherian.

Optimal Allocation Of Two Resources In Annual Plants, David Mcmorris

Department of Mathematics: Dissertations, Theses, and Student Research

The fitness of an annual plant can be thought of as how much fruit is produced by the end of its growing season. Under the assumption that annual plants grow to maximize fitness, we can use techniques from optimal control theory to understand this process. We introduce two models for resource allocation in annual plants which extend classical work by Iwasa and Roughgarden to a case where both carbohydrates and mineral nutrients are allocated to shoots, roots, and fruits in annual plants. In each case, we use optimal control theory to determine the optimal resource allocation strategy for the plant …

Structure For Regular Inclusions. Ii Cartan Envelopes, Pseudo-Expectations And Twists, David R. Pitts

Department of Mathematics: Faculty Publications

We introduce the notion of a Cartan envelope for a regular inclusion (C,Ɗ). When a Cartan envelope exists, it is the unique, minimal Cartan pair into which (C,Ɗ) regularly embeds. We prove a Cartan envelope exists if and only if (C,Ɗ) has the unique faithful pseudo-expectation property and also give a characterization of the Cartan envelope using the ideal intersection property.

For any covering inclusion, we construct a Hausdorff twisted groupoid using appropriate linear functionals and we give a description of the Cartan envelope for (C,Ɗ) in terms of a twist …

Expected Resurgence Of Ideals Defining Gorenstein Rings, Eloísa Grifo, Craig Huneke, Vivek Mukundan

Department of Mathematics: Faculty Publications

Building on previous work by the same authors, we show that certain ideals defining Gorenstein rings have expected resurgence, and thus satisfy the stable Harbourne Conjecture. In prime characteristic, we can take any radical ideal defining a Gorenstein ring in a regular ring, provided its symbolic powers are given by saturations with the maximal ideal. While this property is not suitable for reduction to characteristic p, we show that a similar result holds in equicharacteristic 0 under the additional hypothesis that the symbolic Rees algebra of I is noetherian.

Hadamard Well-Posedness For Two Nonlinear Structure Acoustic Models, Andrew Becklin

Department of Mathematics: Dissertations, Theses, and Student Research

This dissertation focuses on the Hadamard well-posedness of two nonlinear structure acoustic models, each consisting of a semilinear wave equation defined on a smooth bounded domain $\Omega\subset\mathbb{R}^3$ strongly coupled with a Berger plate equation acting only on a flat portion of the boundary of $\Omega$. In each case, the PDE is of the following form: \begin{align*} \begin{cases} u_{tt}-\Delta u +g_1(u_t)=f(u) &\text{ in } \Omega \times (0,T),\\[1mm] w_{tt}+\Delta^2w+g_2(w_t)+u_t|_{\Gamma}=h(w)&\text{ in }\Gamma\times(0,T),\\[1mm] u=0&\text{ on }\Gamma_0\times(0,T),\\[1mm] \partial_\nu u=w_t&\text{ on }\Gamma\times(0,T),\\[1mm] w=\partial_{\nu_\Gamma}w=0&\text{ on }\partial\Gamma\times(0,T),\\[1mm] (u(0),u_t(0))=(u_0,u_1),\hspace{5mm}(w(0),w_t(0))=(w_0,w_1), \end{cases} \end{align*} where the initial data reside in the finite energy space, i.e., $$(u_0, u_1)\in H^1_{\Gamma_0}(\Omega) \times L^2(\Omega) \, \text{ …

Modeling Predator–Prey Interaction In A Two Patch System, Marc Wade

UCARE: Research Products

In this study we examine predator-prey relationships in the context of a two patch system. What is meant by a two patch system is that prey live in a habitat that consists of type 1 patches with an abundance of food and type 2 patches with no food. In our study, we will be assuming that predators cannot enter the first type of patch. We combine three well-established ecological theories: migration theory, optimal foraging theory, and the standard predator-prey model in order to answer the motivating question: "Under what environmental conditions is a predator population stable when predation can only …

A Mathematical Model Of Speeding, Jared Ott, Xavier Pérez Giménez

Honors Program: Senior Projects (Public)

Crime is often regarded as nonsensical, impulsive, and irrational. These conjectures are pointed, though conversation about the pros and cons of crime does not happen often. People point to harsh fines, jail times, and life restrictions as their reason for judgement, stating that the trade-offs are far too unbalanced to participate in illicit activity. Yet, everyday people commit small crimes, sometimes based on hedonistic desires, other times based on a rational thought process.

Speeding seems to be one of those that almost all people commit at least once during their life. Our work hopes to make an incremental improvement on …

Expected Resurgences And Symbolic Powers Of Ideals, Eloísa Grifo, Craig Huneke, Vivek Mukundan

Department of Mathematics: Faculty Publications

We give explicit criteria that imply the resurgence of a self-radical ideal in a regular ring is strictly smaller than its codimension, which in turn implies that the stable version of Harbourne's conjecture holds for such ideals. This criterion is used to give several explicit families of such ideals, including the defining ideals of space monomial curves. Other results generalize known theorems concerning when the third symbolic power is in the square of an ideal, and a strong resurgence bound for some classes of space monomial curves

On Von Neumann Equivalence And Group Approximation Properties, Ishan Ishan

Department of Mathematics: Faculty Publications

The notion of von Neumann equivalence (vNE), which encapsulates both measure equivalence and W* -equivalence, was introduced recently by Ishan, Peterson, and Ruth (2019). They have shown that many analytic properties, such as amenability, property (T), the Haagerup property, and proper proximality are preserved under von Neumann equivalence. In this article, we expand on the list of properties that are stable under von Neumann equivalence, and prove that weak amenability, weak Haagerup property, and the approximation property (AP) are von Neumann equivalence invariants. In particular, we get that AP is stable under measure equivalence. Furthermore, our techniques give an alternate …

Convergence Of Approximate Solutions To Nonlinear Caputo Nabla Fractional Difference Equations With Boundary Conditions, Xiang Liu, Baoguo Jia, Scott Gensler, Lynn Erbe, Allan Peterson

Department of Mathematics: Faculty Publications

This article studies a boundary value problem for a nonlinear Ca- puto nabla fractional difference equation. We obtain quadratic convergence results for this equation using the generalized quasi-linearization method. Fur- ther, we obtain the convergence of the sequences is potentially improved by the Gauss-Seidel method. A numerical example illustrates our main results.

Connectivity Differences Between Gulf War Illness (Gwi) Phenotypes During A Test Of Attention, Tomas Clarke, Jessie Jamieson, Patrick Malone, Rakib U. Rayhan, Stuart Washington, John W. Vanmeter, James N. Baraniuk

Department of Mathematics: Faculty Publications

One quarter of veterans returning from the 1990–1991 Persian Gulf War have developed Gulf War Illness (GWI) with chronic pain, fatigue, cognitive and gastrointestinal dysfunction. Exertion leads to characteristic, delayed onset exacerbations that are not relieved by sleep. We have modeled exertional exhaustion by comparing magnetic resonance images from before and after submaximal exercise. One third of the 27 GWI participants had brain stem atrophy and developed postural tachycardia after exercise (START: Stress Test Activated Reversible Tachycardia). The remainder activated basal ganglia and anterior insulae during a cognitive task (STOPP: Stress Test Originated Phantom Perception). Here, the role of attention …

Intermediate C∗-Algebras Of Cartan Embeddings, Jonathan H. Brown, Ruy Exel, Adam H. Fuller, David R. Pitts, Sarah A. Reznikoff

Department of Mathematics: Faculty Publications

Let A be a C*-algebra and let D be a Cartan subalgebra of A. We study the following question: if B is a C*-algebra such that D B A, is D a Cartan subalgebra of B? We give a positive answer in two cases: the case when there is a faithful conditional expectation from A onto B, and the case when A is nuclear and D is a C*-diagonal of A. In both cases there is a one-to-one correspondence between the intermediate C*-algebras B, and a class of open subgroupoids of the groupoid G, where ! G is the twist …

Individual Based Model To Simulate The Evolution Of Insecticide Resistance, William B. Jamieson

Department of Mathematics: Dissertations, Theses, and Student Research

Insecticides play a critical role in agricultural productivity. However, insecticides impose selective pressures on insect populations, so the Darwinian principles of natural selection predict that resistance to the insecticide is likely to form in the insect populations. Insecticide resistance, in turn, severely reduces the utility of the insecticides being used. Thus there is a strong economic incentive to reduce the rate of resistance evolution. Moreover, resistance evolution represents an example of evolution under novel selective pressures, so its study contributes to the fundamental understanding of evolutionary theory.

Insecticide resistance often represents a complex interplay of multiple fitness trade-offs for individual …

A “Rule-Of-Five” Framework For Models And Modeling To Unify Mathematicians And Biologists And Improve Student Learning, C. Diaz Eaton, H. C. Highlander, K. D. Dahlquist, G. Ledder, M.D. Lamar, R.C. Schugart

Department of Mathematics: Faculty Publications

Despite widespread calls for the incorporation of mathematical modeling into the undergraduate biology curriculum, there is lack of a common understanding around the definition of modeling, which inhibits progress. In this paper, we extend the “Rule-of-Four,” initially used in calculus reform efforts, to a “Rule-of-Five” framework for models and modeling that is inclusive of varying disciplinary definitions of each. This unifying framework allows us to both build on strengths that each discipline and its students bring, but also identify gaps in modeling activities practiced by each discipline. We also discuss benefits to student learning and interdisciplinary collaboration.