Mathematics Commons^™

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 …

Solving Partial Differential Equations Using The Finite Difference Method And The Fourier Spectral Method, Jenna Siobhan Parkinson

Undergraduate Student Research Internships Conference

This paper discusses the finite difference method and the Fourier spectral method for solving partial differential equations.

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 …

Machine Learning Model Comparison And Arma Simulation Of Exhaled Breath Signals Classifying Covid-19 Patients, Aaron Christopher Segura

Mathematics & Statistics ETDs

This study compared the performance of machine learning models in classifying COVID-19 patients using exhaled breath signals and simulated datasets. Ground truth classification was determined by the gold standard Polymerase Chain Reaction (PCR) test results. A residual bootstrapped method generated the simulated datasets by fitting signal data to Autoregressive Moving Average (ARMA) models. Classification models included neural networks, k-nearest neighbors, naïve Bayes, random forest, and support vector machines. A Recursive Feature Elimination (RFE) study was performed to determine if reducing signal features would improve the classification models performance using Gini Importance scoring for the two classes. The top 25% of …

Robust Uncertainty Quantification With Analysis Of Error In Standard And Non-Standard Quantities Of Interest, Zachary Stevens

Mathematics & Statistics ETDs

This thesis derives two Uncertainty Quantification (UQ) methods for differential equations that depend on random parameters: (\textbf{i}) error bounds for a computed cumulative distribution function (\textbf{ii}) a multi-level Monte Carlo (MLMC) algorithm with adaptively refined meshes and accurately computed stopping-criteria. Both UQ approaches utilize adjoint-based \textit{a posteriori} error analysis in order to accurately estimate the error in samples of numerically approximated quantities of interest. The adaptive MLMC algorithm developed in this thesis relies on the adjoint-based error analysis to adaptively create meshes and accurately monitor a stopping criteria. This is in contrast to classical MLMC algorithms which employ either a …

Efficiency Of Homomorphic Encryption Schemes, Kyle Yates

All Theses

In 2009, Craig Gentry introduced the first fully homomorphic encryption scheme using bootstrapping. In the 13 years since, a large amount of research has gone into improving efficiency of homomorphic encryption schemes. This includes implementing leveled homomorphic encryption schemes for practical use, which are schemes that allow for some predetermined amount of additions and multiplications that can be performed on ciphertexts. These leveled schemes have been found to be very efficient in practice. In this thesis, we will discuss the efficiency of various homomorphic encryption schemes. In particular, we will see how to improve sizes of parameter choices in homomorphic …

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

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 …

Inexact Fixed-Point Proximity Algorithms For Nonsmooth Convex Optimization, Jin Ren

Mathematics & Statistics Theses & Dissertations

The aim of this dissertation is to develop efficient inexact fixed-point proximity algorithms with convergence guaranteed for nonsmooth convex optimization problems encountered in data science. Nonsmooth convex optimization is one of the core methodologies in data science to acquire knowledge from real-world data and has wide applications in various fields, including signal/image processing, machine learning and distributed computing. In particular, in the context of image reconstruction, compressed sensing and sparse machine learning, either the objective functions or the constraints of the modeling optimization problems are nondifferentiable. Hence, traditional methods such as the gradient descent method and the Newton method are …

Academic Hats And Ice Cream: Two Optimization Problems, Valery F. Ochkov, Yulia V. Chudova

Journal of Humanistic Mathematics

This article describes the use of computer software to optimize the design of an academic hat and an ice cream cone!

Bbt Acoustic Alternative Top Bracing Cadd Data Set-Norev-2022jun28, Bill Hemphill

STEM Guitar Project’s BBT Acoustic Kit

This electronic document file set consists of an overview presentation (PDF-formatted) file and companion video (MP4) and CADD files (DWG & DXF) for laser cutting the ETSU-developed alternate top bracing designs and marking templates for the STEM Guitar Project’s BBT (OM-sized) standard acoustic guitar kit. The three (3) alternative BBT top bracing designs in this release are
(a) a one-piece base for the standard kit's (Martin-style) bracing,
(b) 277 Ladder-style bracing, and
(c) an X-braced fan-style bracing similar to traditional European or so-called 'classical' acoustic guitars.

The CADD data set for each of the three (3) top bracing designs includes …

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 …

Applications Of Machine Learning Algorithms In Materials Science And Bioinformatics, Mohammed Quazi

Mathematics & Statistics ETDs

The piezoelectric response has been a measure of interest in density functional theory (DFT) for micro-electromechanical systems (MEMS) since the inception of MEMS technology. Piezoelectric-based MEMS devices find wide applications in automobiles, mobile phones, healthcare devices, and silicon chips for computers, to name a few. Piezoelectric properties of doped aluminum nitride (AlN) have been under investigation in materials science for piezoelectric thin films because of its wide range of device applicability. In this research using rigorous DFT calculations, high throughput ab-initio simulations for 23 AlN alloys are generated.

This research is the first to report strong enhancements of piezoelectric properties …

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 …

Bbt Side Mold Assy, Bill Hemphill

STEM Guitar Project’s BBT Acoustic Kit

This electronic document file set covers the design and fabrication information of the ETSU Guitar Building Project’s BBT (OM-sized) Side Mold Assy for use with the STEM Guitar Project’s standard acoustic guitar kit. The extended 'as built' data set contains an overview file and companion video, the 'parent' CADD drawing, CADD data for laser etching and cutting a drill &/or layout template, CADD drawings in AutoCAD .DWG and .DXF R12 formats of the centerline tool paths for creating the mold assembly pieces on an AXYZ CNC router, and support documentation for CAM applications including router bit specifications, feeds, speed, multi-pass …

Introduction To Classical Field Theory, Charles G. Torre

All Complete Monographs

This is an introduction to classical field theory. Topics treated include: Klein-Gordon field, electromagnetic field, scalar electrodynamics, Dirac field, Yang-Mills field, gravitational field, Noether theorems relating symmetries and conservation laws, spontaneous symmetry breaking, Lagrangian and Hamiltonian formalisms.

Sparse Spectral-Tau Method For The Two-Dimensional Helmholtz Problem Posed On A Rectangular Domain, Gabriella M. Dalton

Mathematics & Statistics ETDs

Within recent decades, spectral methods have become an important technique in numerical computing for solving partial differential equations. This is due to their superior accuracy when compared to finite difference and finite element methods. For such spectral approximations, the convergence rate is solely dependent on the smoothness of the solution yielding the potential to achieve spectral accuracy. We present an iterative approach for solving the two-dimensional Helmholtz problem posed on a rectangular domain subject to Dirichlet boundary conditions that is well-conditioned, low in memory, and of sub-quadratic complexity. The proposed approach spectrally approximates the partial differential equation by means of …

(R1517) Asymptotical Stability Of Riemann-Liouville Fractional Neutral Systems With Multiple Time-Varying Delays, Erdal Korkmaz, Abdulhamit Ozdemir

Applications and Applied Mathematics: An International Journal (AAM)

In this manuscript, we investigate the asymptotical stability of solutions of Riemann-Liouville fractional neutral systems associated to multiple time-varying delays. Then, we use the linear matrix inequality (LMI) and the Lyapunov-Krasovskii method to obtain sufficient conditions for the asymptotical stability of solutions of the system when the given delays are time dependent and one of them is unbounded. Finally, we present some examples to indicate the efficacy of the consequences obtained.

Analysis Of A Quantum Attack On The Blum-Micali Pseudorandom Number Generator, Tingfei Feng

Mathematical Sciences Technical Reports (MSTR)

In 2012, Guedes, Assis, and Lula proposed a quantum attack on a pseudorandom number generator named the Blum-Micali Pseudorandom number generator. They claimed that the quantum attack can outperform classical attacks super-polynomially. However, this paper shows that the quantum attack cannot get the correct seed and provides another corrected algorithm that is in exponential time but still faster than the classical attack. Since the original classical attacks are in exponential time, the Blum-Micali pseudorandom number generator would be still quantum resistant.

(R1521) On Weighted Lacunary Interpolation, Swarnima Bahadur, Sariya Bano

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, we considered the non-uniformly distributed zeros on the unit circle, which are obtained by projecting vertically the zeros of the derivative of Legendre polynomial together with x=1 and x=-1 onto the unit circle. We prescribed the function on the above said nodes, while its second derivative at all nodes except at x=1 and x=-1 with suitable weight function and obtained the existence, explicit forms and establish a convergence theorem for such interpolatory polynomial. We call such interpolation as weighted Lacunary interpolation on the unit circle.

(R1882) Effects Of Viscosity, Oblateness, And Finite Straight Segment On The Stability Of The Equilibrium Points In The Rr3bp, Bhavneet Kaur, Sumit Kumar, Rajiv Aggarwal

Applications and Applied Mathematics: An International Journal (AAM)

Associating the influences of viscosity and oblateness in the finite straight segment model of the Robe’s problem, the linear stability of the collinear and non-collinear equilibrium points for a small solid sphere m₃ of density \rho₃ are analyzed. This small solid sphere is moving inside the first primary m₁ whose hydrostatic equilibrium figure is an oblate spheroid and it consists of an incompressible homogeneous fluid of density \rho₁. The second primary m₂ is a finite straight segment of length 2l. The existence of the equilibrium points is discussed after deriving the pertinent …

Unique Signed Minimal Wiring Diagrams And The Stanley-Reisner Correspondence, Vanessa Newsome-Slade

Master's Theses

Biological systems are commonly represented using networks consisting of interactions between various elements in the system. Reverse engineering, a method of mathematical modeling, is used to recover how the elements in the biological network are connected. These connections are encoded using wiring diagrams, which are directed graphs that describe how elements in a network affect one another. A signed wiring diagram provides additional information about the interactions between elements relating to activation and inhibition. Due to cost concerns, it is optimal to gain insight into biological networks with as few experiments and data as possible. Minimal wiring diagrams identify the …

Nystrom Methods For High-Order Cq Solutions Of The Wave Equation In Two Dimensions, Erli Wind-Andersen

Dissertations

An investigation of high order Convolution Quadratures (CQ) methods for the solution of the wave equation in unbounded domains in two dimensions is presented. These rely on Nystrom discretizations for the solution of the ensemble of associated Laplace domain modified Helmholtz problems. Two classes of CQ discretizations are considered: one based on linear multistep methods and the other based on Runge-Kutta methods. Both are used in conjunction with Nystrom discretizations based on Alpert and QBX quadratures of Boundary Integral Equation (BIE) formulations of the Laplace domain Helmholtz problems with complex wavenumbers. CQ in conjunction with BIE is an excellent candidate …

Type I Error Rate Controlling Procedures For Multiple Hypotheses Testing, Beibei Li

Dissertations

This dissertation addresses several different but related topics arising in the field of multiple testing, including weighted procedures and graphical approaches for controlling the familywise error rate (FWER), and stepwise procedures with control of the false discovery rate (FDR) for discrete data. It consists of three major parts.

The first part investigates weighted procedures for controlling the FWER. In many statistical applications, hypotheses may be differentially weighted according to their different importance. Many weighted multiple testing procedures (wMTPs) have been developed for controlling the FWER. Among these procedures, two weighted Holm procedures are commonly used in practice: one is based …

Characterization Of A Family Of Rotationally Symmetric Spherical Quadrangulations, Lowell Abrams, Daniel Slilaty

Mathematics and Statistics Faculty Publications

A spherical quadrangulation is an embedding of a graph G in the sphere in which each facial boundary walk has length four. Vertices that are not of degree four in G are called curvature vertices. In this paper we classify all spherical quadrangulations with n-fold rotational symmetry (n ≥ 3) that have minimum degree 3 and the least possible number of curvature vertices, and describe all such spherical quadrangulations in terms of nets of quadrilaterals. The description reveals that such rotationally symmetric quadrangulations necessarily also have a pole-exchanging symmetry.