Applied Mathematics Commons^™

Nash Blowups Of Toric Varieties In Prime Characteristic, Daniel Duarte, Jack Jeffries, Luis Núñez-Betancourt

Department of Mathematics: Faculty Publications

We initiate the study of the resolution of singularities properties of Nash blowups over fields of prime characteristic. We prove that the iteration of normalized Nash blowups desingularizes normal toric surfaces. We also introduce a prime characteristic version of the logarithmic Jacobian ideal of a toric variety and prove that its blowup coincides with the Nash blowup of the variety. As a consequence, the Nash blowup of a, not necessarily normal, toric variety of arbitrary dimension in prime characteristic can be described combinatorially.

Extremal Absorbing Sets In Low-Density Parity-Check Codes, Emily Mcmillon, Allison Beemer, Christine A. Kelley

Department of Mathematics: Faculty Publications

Absorbing sets are combinatorial structures in the Tanner graphs of low-density parity-check (LDPC) codes that have been shown to inhibit the high signal-to-noise ratio performance of iterative decoders over many communication channels. Absorbing sets of minimum size are the most likely to cause errors, and thus have been the focus of much research. In this paper, we determine the sizes of absorbing sets that can occur in general and left-regular LDPC code graphs, with emphasis on the range of b for a given a for which an (a, b)-absorbing set may exist. We identify certain cases of extremal …

Formal Conjugacy Growth In Graph Products I, Laura Ciobanu,, Susan Hermiller, Valentin Mercier

Department of Mathematics: Faculty Publications

In this paper we give a recursive formula for the conjugacy growth series of a graph product in terms of the conjugacy growth and standard growth series of subgraph products. We also show that the conjugacy and standard growth rates in a graph product are equal provided that this property holds for each vertex group. All results are obtained for the standard generating set consisting of the union of generating sets of the vertex groups.

Bernstein-Sato Theory For Singular Rings In Positive Characteristic, Jack Jack, Luis Núñez-Betancourt, Eamon Quinlan-Gallego

Department of Mathematics: Faculty Publications

The Bernstein-Sato polynomial is an important invariant of an element or an ideal in a polynomial ring or power series ring of characteristic zero, with interesting connections to various algebraic and topological aspects of the singularities of the vanishing locus. Work of Mustaţă, later extended by Bitoun and the third author, provides an analogous Bernstein-Sato theory for regular rings of positive characteristic.

In this paper, we extend this theory to singular ambient rings in positive characteristic. We establish finiteness and rationality results for Bernstein-Sato roots for large classes of singular rings, and relate these roots to other classes of numerical …

Tri-Plane Diagrams For Simple Surfaces In S4, Manuel Aragón, Zack Dooley, Alexander Goldman, Yucong Lei, Isaiah Martinez, Nicholas Meyer, Devon Peters, Scott Warrander, Ana Wright, Alex Zupan

Department of Mathematics: Faculty Publications

Meier and Zupan proved that an orientable surface K in S⁴ admits a tri-plane diagram with zero crossings if and only if K is unknotted, so that the crossing number of K is zero. We determine the minimal crossing numbers of nonorientable unknotted surfaces in S⁴, proving that c(P^n,m) = max{1, |n−m|}, where P^n,m denotes the connected sum of n unknotted projective planes with normal Euler number +2 and m unknotted projective planes with normal Euler number −2. In addition, we convert Yoshikawa’s table of knotted surface ch-diagrams to tri-plane …

Decomposition Rate As An Emergent Property Of Optimal Microbial Foraging, Stefano Manzoni, Arjun Chakrawal, Glenn Ledder

Department of Mathematics: Faculty Publications

Decomposition kinetics are fundamental for quantifying carbon and nutrient cycling in terrestrial and aquatic ecosystems. Several theories have been proposed to construct process-based kinetics laws, but most of these theories do not consider that microbial decomposers can adapt to environmental conditions, thereby modulating decomposition. Starting from the assumption that a homogeneous microbial community maximizes its growth rate over the period of decomposition, we formalize decomposition as an optimal control problem where the decomposition rate is a control variable. When maintenance respiration is negligible, we find that the optimal decomposition kinetics scale as the square root of the substrate concentration, resulting …

Modeling And Analyzing Homogeneous Tumor Growth Under Virotherapy, Chayu Yang, Jin Wang

Department of Mathematics: Faculty Publications

We present a mathematical model based on ordinary differential equations to investigate the spatially homogeneous state of tumor growth under virotherapy. The model emphasizes the interaction among the tumor cells, the oncolytic viruses, and the host immune system that generates both innate and adaptive immune responses. We conduct a rigorous equilibrium analysis and derive threshold conditions that determine the growth or decay of the tumor under various scenarios. Numerical simulation results verify our analytical predictions and provide additional insight into the tumor growth dynamics.

Minimizers Of Nonlocal Polyconvex Energies In Nonlocal Hyperelasticity, José C. Bellido, Javier Cueto, Carlos Mora-Corral

Department of Mathematics: Faculty Publications

We develop a theory of existence of minimizers of energy functionals in vectorial problems based on a nonlocal gradient under Dirichlet boundary conditions. The model shares many features with the peridynamics model and is also applicable to nonlocal solid mechanics, especially nonlinear elasticity. This nonlocal gradient was introduced in an earlier work, inspired by Riesz’ fractional gradient, but suitable for bounded domains. The main assumption on the integrand of the energy is polyconvexity. Thus, we adapt the corresponding results of the classical case to this nonlocal context, notably, Piola’s identity, the integration by parts of the determinant and the weak …

Bounds On Cohomological Support Varieties, Benjamin Briggs, Eloisa Grifo, Josh Pollitz

Department of Mathematics: Faculty Publications

Over a local ring R, the theory of cohomological support varieties attaches to any bounded complex M of finitely generated R-modules an algebraic variety VR(M) that encodes homological properties of M. We give lower bounds for the dimension of VR(M) in terms of classical invariants of R. In particular, when R is Cohen-Macaulay and not complete intersection we find that there are always varieties that cannot be realized as the cohomological support of any complex. When M has finite projective dimension, we also give an upper bound for dimVR(M) in terms of the dimension of the radical of the homotopy …

Computing Rational Powers Of Monomial Ideals, Pratik Dongre, Benjamin Drabkin, Josiah Lim, Ethan Partida, Ethan Roy, Dylan Ruff, Alexandra Seceleanu, Tingting Tang

Department of Mathematics: Faculty Publications

This paper concerns fractional powers of monomial ideals. Rational powers of a monomial ideal generalize the integral closure operation as well as recover the family of symbolic powers. They also highlight many interesting connections to the theory of convex polytopes. We provide multiple algorithms for computing the rational powers of a monomial ideal. We also introduce a mild generalization allowing real powers of monomial ideals. An important result is that given any monomial ideal I, the function taking a real number to the corresponding real power of I is a step function which is left continuous and has rational …

Duality For Asymptotic Invariants Of Graded Families, Michael Dipasquale, Thái Thành Nguyễn, Alexandra Seceleanu

Department of Mathematics: Faculty Publications

The starting point of this paper is a duality for sequences of natural numbers which, under mild hypotheses, interchanges subadditive and superadditive sequences and inverts their asymptotic growth constants.

We are motivated to explore this sequence duality since it arises naturally in at least two important algebraic-geometric contexts. The first context is Macaulay- Matlis duality, where the sequence of initial degrees of the family of symbolic powers of a radical ideal is dual to the sequence of Castelnuovo-Mumford regularity values of a quotient by ideals generated by powers of linear forms. This philosophy is drawn from an influential paper of …

Lorentzian Polynomials, Higher Hessians, And The Hodge-Riemann Property For Codimension Two Graded Artinian Gorenstein Algebras, Pedro Macias-Marques, Chris Mcdaniel, Alexandra Seceleanu, Junzo Watanabe

Department of Mathematics: Faculty Publications

We study the Hodge-Riemann property (HRP) for graded Artinian Gorenstein (AG) algebras. We classify AG algebras in codimension two that have HRP in terms of higher Hessian matrices and positivity of Schur functions associated to certain rectangular partitions.

In this paper we introduce the Hodge Riemann property (HRP) on an arbitrary graded oriented Artinian Gorenstein (AG) algebra defined over R, and we give a criterion on the higher Hessian matrix of its Macaulay dual generator (Theorem 3.1). AG algebras can be regarded as algebraic analogues of cohomology rings (in even degrees) of complex manifolds, and the HRP is analogous to …

Polynomial Growth Of Betti Sequences Over Local Rings, Luchezar L. Avramov, Alexandra Seceleanu, Zheng Yang

Department of Mathematics: Faculty Publications

We study sequences of Betti numbers (β^R_i (M)) of finite modules M over a complete intersection local ring, R. It is known that for every M the subsequence with even, respectively, odd indices i is eventually given by some polynomial in i. We prove that these polynomials agree for all R-modules if the ideal I^☐ generated by the quadratic relations of the associated graded ring of R satisfies height I^☐ ≥ codim R − 1, and that the converse holds when R is homogeneous and when codim R ≤ 4. Avramov, …

Low-Gain Integral Control For A Class Of Discrete-Time Lur’E Systems With Applications To Sampled-Data Control, Chris Guiver, Richard Rebarber, Stuart Townley

Department of Mathematics: Faculty Publications

We study low-gain (P)roportional (I)ntegral control of multivariate discrete-time, forced Lur’e systems to solve the output-tracking problem for constant reference signals. We formulate an incremental sector condition which is sufficient for a usual linear low-gain PI controller to achieve exponential disturbance-to-state and disturbance-to-tracking-error stability in closed-loop, for all sufficiently small integrator gains. Output tracking is achieved in the absence of exogenous disturbance (noise) terms. Our line of argument invokes a recent circle criterion for exponential incremental input-to-state stability. The discrete-time theory facilitates a similar result for a continuous-time forced Lur’e system in feedback with sampled-data low-gain integral control. The theory …

Symbolic Power Containments In Singular Rings In Positive Characteristic, Eloísa Grifo, Linquan Ma, Karl Schwede

Department of Mathematics: Faculty Publications

The containment problem for symbolic and ordinary powers of ideals asks for what values of a and b we have I(a)⊆Ib. Over a regular ring, a result by Ein-Lazarsfeld-Smith, Hochster-Huneke, and Ma-Schwede partially answers this question, but the containments it provides are not always best possible. In particular, a tighter containment conjectured by Harbourne has been shown to hold for interesting classes of ideals - although it does not hold in general. In this paper, we develop a Fedder (respectively, Glassbrenner) type criterion for F-purity (respectively, strong F-regularity) for ideals of finite projective dimension over F-finite Gorenstein rings and use …

Human Perception Of Exponentially Increasing Data Displayed On A Log Scale Evaluated Through Experimental Graphics Tasks, Emily Robinson

Department of Statistics: Dissertations, Theses, and Student Research

Log scales are often used to display data over several orders of magnitude within one graph. We conducted a series of three graphical studies to evaluate the impact displaying data on the log scale has on human perception of exponentially increasing trends compared to displaying data on the linear scale. Each study was related to a different graphical task, each requiring a different level of interaction and cognitive use of the data being presented. The first experiment evaluated whether our ability to perceptually notice differences in exponentially increasing trends is impacted by the choice of scale. Participants were shown a …

Bridge Trisections And Classical Knotted Surface Theory, Jason Joseph, Jeffrey Meier, Maggie Miller, Miller Zupan

Department of Mathematics: Faculty Publications

We seek to connect ideas in the theory of bridge trisections with other wellstudied facets of classical knotted surface theory. First, we show how the normal Euler number can be computed from a tri-plane diagram, and we use this to give a trisection-theoretic proof of the Whitney–Massey theorem, which bounds the possible values of this number in terms of the Euler characteristic. Second, we describe in detail how to compute the fundamental group and related invariants from a tri-plane diagram, and we use this, together with an analysis of bridge trisections of ribbon surfaces, to produce an infinite family of …

Many Cliques In Bounded-Degree Hypergraphs, Rachel Kirsch, J. Radcliffe

Department of Mathematics: Faculty Publications

Recently Chase determined the maximum possible number of cliques of size t in a graph on n vertices with given maximum degree. Soon afterward, Chakraborti and Chen answered the version of this question in which we ask that the graph have m edges and fixed maximum degree (without imposing any constraint on the number of vertices). In this paper we address these problems on hypergraphs. For s-graphs with s ≥ 3 a number of issues arise that do not appear in the graph case. For instance, for general s-graphs we can assign degrees to any i-subset of the vertex set …

Mentoring Undergraduate Research In Mathematical Modeling, Glenn Ledder

Department of Mathematics: Faculty Publications

In writing about undergraduate research in mathematical modeling, I draw on my 31 years as a mathematics professor at the University of Nebraska–Lincoln, where I mentored students in honors’ theses, REU groups, and research done in a classroom setting, as well as my prior experience. I share my views on the differences between research at the undergraduate and professional levels, offer advice for undergraduate mentoring, provide suggestions for a variety of ways that students can disseminate their research, offer some thoughts on mathematical modeling and how to explain it to undergraduates, and discuss the challenges involved in broadening research participation …

Mentoring Undergraduate Research In Mathematical Modeling, Glenn Ledder

Department of Mathematics: Faculty Publications

In writing about undergraduate research in mathematical modeling, I draw on my 31 years as a mathematics professor at the University of Nebraska–Lincoln, where I mentored students in honors’ theses, REU groups, and research done in a classroom setting, as well as my prior experience. I share my views on the differences between research at the undergraduate and professional levels, offer advice for undergraduate mentoring, provide suggestions for a variety of ways that students can disseminate their research, offer some thoughts on mathematical modeling and how to explain it to undergraduates, and discuss the challenges involved in broadening research participation …

Differential Operators On Classical Invariant Rings Do Not Lift Modulo P, Jack Jeffries, Anurag K. Singh

Department of Mathematics: Faculty Publications

Levasseur and Stafford described the rings of differential operators on various classical invariant rings of characteristic zero; in each of the cases that they considered, the differential operators form a simple ring. Towards an attack on the simplicity of rings of differential operators on invariant rings of linearly reductive groups over the complex numbers, Smith and Van den Bergh asked if differential operators on the corresponding rings of positive prime characteristic lift to characteristic zero differential operators. We prove that, in general, this is not the case for determinantal hypersurfaces, as well as for Pfaffian and symmetric determinantal hypersurfaces. We …

A Uniform Chevalley Theorem For Direct Summands Of Polynomial Rings In Mixed Characteristic, Alessandro De Stefani, Eloisa Grifo, Jack Jeffries

Department of Mathematics: Faculty Publications

We prove an explicit uniform Chevalley theorem for direct summands of graded polynomial rings in mixed characteristic. Our strategy relies on the introduction of a new type of differential powers that does not require the existence of a p-derivation on the direct summand.

Lefschetz Properties Of Some Codimension Three Artinian Gorenstein Algebras, Nancy Abdallah, Nasrin Altafi, Anthony Iarrobino, Alexandra Seceleanu, Joachim Yaméogo

Department of Mathematics: Faculty Publications

Codimension two Artinian algebras A have the strong and weak Lefschetz properties provided the characteristic is zero or greater than the socle degree. It is open to what extent such results might extend to codimension three AG algebras - the most promising results so far have concerned the weak Lefschetz property for such algebras. We here show that every standard-graded codimension three Artinian Gorenstein algebra A having low maximum value of the Hilbert function - at most six - has the strong Lefschetz property, provided that the characteristic is zero. When the characteristic is greater than the socle degree of …

Existence And Uniqueness Of Minimizers For A Nonlocal Variational Problem, Michael Pieper

Honors Program: Senior Projects (Public)

Nonlocal modeling is a rapidly growing field, with a vast array of applications and connections to questions in pure math. One goal of this work is to present an approachable introduction to the field and an invitation to the reader to explore it more deeply. In particular, we explore connections between nonlocal operators and classical problems in the calculus of variations. Using a well-known approach, known simply as The Direct Method, we establish well-posedness for a class of variational problems involving a nonlocal first-order differential operator. Some simple numerical experiments demonstrate the behavior of these problems for specific choices of …

On The Asymptotic Behavior Of Solutions To A Structure Acoustics Model, Baowei Feng, Yanqiu Guo, Mohammad A. Rammaha

Department of Mathematics: Faculty Publications

This article concerns the long term behavior of solutions to a structural acoustic model consisting of a semilinear wave equation defined on a smooth bounded domain Ω ⊂ R³ which is coupled with a Berger plate equation acting on a flat portion of the boundary of . The system is influenced by several competing forces, in particular a source term acting on the wave equation which is allowed to have a supercritical exponent.

Our results build upon those obtained by Becklin and Rammaha [8]. With some re- strictions on the parameters in the system and with careful analysis involving …

The Smooth 4-Genus Of (The Rest Of) The Prime Knots Through 12 Crossings, Mark Brittenham, Susan Hermiller

Department of Mathematics: Faculty Publications

We compute the smooth 4-genera of the prime knots with 12 crossings whose values, as reported on the KnotInfo website, were unknown. This completes the calculation of the smooth 4-genus for all prime knots with 12 or fewer crossings.

Regularity Criteria For The Kuramoto-Sivashinsky Equation In Dimensions Two And Three, Adam Larios, Mohammad Mahabubur Rahman, Kazuo Yamazaki

Department of Mathematics: Faculty Publications

We propose and prove several regularity criteria for the 2D and 3D Kuramoto-Sivashinsky equation, in both its scalar and vector forms. In particular, we examine integrability criteria for the regularity of solutions in terms of the scalar solution ∅, the vector solution u ≜ ∇∅, as well as the divergence div(u) = Δ∅, and each component of u and ∇u. We also investigate these criteria computationally in the 2D case, and we include snapshots of solutions for several quantities of interest that arise in energy estimates.

Level And Gorenstein Projective Dimension, Laila Awadalla, Thomas Marley

Department of Mathematics: Faculty Publications

We investigate the relationship between the level of a bounded complex over a commutative ring with respect to the class of Gorenstein projective modules and other invariants of the complex or ring, such as projective dimension, Gorenstein projective dimension, and Krull dimension. The results build upon work done by J. Christensen [7], H. Altmann et al. [1], and Avramov et al. [4] for levels with respect to the class of finitely generated projective modules.

The concept of level in a triangulated category, first defined by Avramov, Buch- weitz, Iyengar, and Miller [4], is a measure of how many mapping cones …

The Phase Transition Of Discrepancy In Random Hypergraphs, Calum Macrury, Tomáš Masarík, Leilani Pai, Xavier Perez Gimenez

Department of Mathematics: Faculty Publications

Motivated by the Beck-Fiala conjecture, we study the discrepancy problem in two related models of random hypergraphs on n vertices and m edges. In the first (edge-independent) model, a random hypergraph H₁ is constructed by fixing a parameter p and allowing each of the n vertices to join each of the m edges independently with probability p. In the parameter range in which pn ⟶ ∞ and pm ⟶ ∞, we show that with high probability (w.h.p.) H₁ has discrepancy at least Ω(2^-n/m √pn) when m = O(n …

Cohomological Blow Ups Of Graded Artinian Gorenstein Algebras Along Surjective Maps, Anthony Iarrobino, Pedro Macias Marques, Chris Mcdaniel, Alexandra Seceleanu, Junzo Watanabe

Department of Mathematics: Faculty Publications

We introduce the cohomological blow up of a graded Artinian Gorenstein (AG) algebra along a surjective map, which we term BUG (Blow Up Gorenstein) for short. This is intended to translate to an algebraic context the cohomology ring of a blow up of a projective manifold along a projective submanifold. We show, among other things, that a BUG is a connected sum, that it is the general fiber in a flat family of algebras, and that it preserves the strong Lefschetz property. We also show that standard graded compressed algebras are rarely BUGs, and we classify those BUGs that are …