Open Access. Powered by Scholars. Published by Universities.®

Applied Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

University of Nebraska - Lincoln

Discipline
Keyword
Publication Year
Publication
Publication Type

Articles 1 - 30 of 228

Full-Text Articles in Applied Mathematics

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

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

Department of Mathematics: Dissertations, Theses, and Student Research

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 …


Experimental Analysis Of Nonlinear Wave Propagation In Bistable Mechanical Metamaterials With A Defect, Samuel R. Harre Dec 2023

Experimental Analysis Of Nonlinear Wave Propagation In Bistable Mechanical Metamaterials With A Defect, Samuel R. Harre

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

Mechanical metamaterials built up of compliant units can support the propagation of linear and nonlinear waves. A popular architecture consists of a one-dimensional chain of bistable elements connected by linear springs. This type of chain can support nonlinear transition waves that switch each element from one stable state to the other as they propagate along the chain. One way to manipulate the propagation of such waves is via introduction of a local inhomogeneity, i.e., a defect in the otherwise periodic chain. Recent analytical and numerical work has shown that based on its initial velocity, a transition wave may be reflected, …


Differentiating By Prime Numbers, Jack Jeffries Nov 2023

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 …


Convolutional Neural Network-Based Gene Prediction Using Buffalograss As A Model System, Michael Morikone Nov 2023

Convolutional Neural Network-Based Gene Prediction Using Buffalograss As A Model System, Michael Morikone

Complex Biosystems PhD Program: Dissertations

The task of gene prediction has been largely stagnant in algorithmic improvements compared to when algorithms were first developed for predicting genes thirty years ago. Rather than iteratively improving the underlying algorithms in gene prediction tools by utilizing better performing models, most current approaches update existing tools through incorporating increasing amounts of extrinsic data to improve gene prediction performance. The traditional method of predicting genes is done using Hidden Markov Models (HMMs). These HMMs are constrained by having strict assumptions made about the independence of genes that do not always hold true. To address this, a Convolutional Neural Network (CNN) …


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

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 Jul 2023

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 Jul 2023

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 Jul 2023

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 Jul 2023

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 Jul 2023

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; …


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 May 2023

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.1 This article is a report on that forum by the authors listed above, who were among the organizers and presenters.


Theory Of Invariant Manifold And Foliation And Uniqueness Of Center Manifold Dynamics, Bo Deng Apr 2023

Theory Of Invariant Manifold And Foliation And Uniqueness Of Center Manifold Dynamics, Bo Deng

Department of Mathematics: Faculty Publications

Here we prove that the dynamics on any two center-manifolds of a fixed point of any Ck,1 dynamical system of finite dimension with k ≥ 1 are Ck-conjugate to each other. For pedagogical purpose, we also extend Perron’s method for differential equations to diffeomorphisms to construct the theory of invariant manifolds and invariant foliations at fixed points of dynamical systems of finite dimensions.


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

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 Apr 2023

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 Mar 2023

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.


Chatgpt As Metamorphosis Designer For The Future Of Artificial Intelligence (Ai): A Conceptual Investigation, Amarjit Kumar Singh (Library Assistant), Dr. Pankaj Mathur (Deputy Librarian) Mar 2023

Chatgpt As Metamorphosis Designer For The Future Of Artificial Intelligence (Ai): A Conceptual Investigation, Amarjit Kumar Singh (Library Assistant), Dr. Pankaj Mathur (Deputy Librarian)

Library Philosophy and Practice (e-journal)

Abstract

Purpose: The purpose of this research paper is to explore ChatGPT’s potential as an innovative designer tool for the future development of artificial intelligence. Specifically, this conceptual investigation aims to analyze ChatGPT’s capabilities as a tool for designing and developing near about human intelligent systems for futuristic used and developed in the field of Artificial Intelligence (AI). Also with the helps of this paper, researchers are analyzed the strengths and weaknesses of ChatGPT as a tool, and identify possible areas for improvement in its development and implementation. This investigation focused on the various features and functions of ChatGPT that …


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

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 Feb 2023

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 S4 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 S4, proving that c(Pn,m) = max{1, |nm|}, where Pn,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 Feb 2023

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 Jan 2023

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 Nov 2022

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 Oct 2022

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 Aug 2022

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 Aug 2022

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 Aug 2022

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 Aug 2022

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 (βRi (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 Aug 2022

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 …


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

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 Work

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 Aug 2022

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 …


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

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 …