Mathematics Commons^™

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 …

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 …

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.

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.

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.

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.

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.