Applied Mathematics Commons^™

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 …

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 …

Numerical Solutions To The Robin Inverse Problem With Nonnegativity Constraints, Weifu Fang, Fu-Rong Lin

Mathematics and Statistics Faculty Publications

We present iterative numerical methods for solving the inverse problem of recovering the nonnegative Robin coefficient from partial boundary measurement of the solution to the Laplace equation. Based on the boundary integral equation formulation of the problem, nonnegativity constraints in the form of a penalty term are incorporated conveniently into least-squares iteration schemes for solving the inverse problem. Numerical implementation and examples are presented to illustrate the effectiveness of this strategy in improving recovery results.

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.

Universality And Synchronization In Complex Quadratic Networks (Cqns), Anca R. Radulescu, Danae Evans

Biology and Medicine Through Mathematics Conference

No abstract provided.

Implementation Of A Least Squares Method To A Navier-Stokes Solver, Jada P. Lytch, Taylor Boatwright, Ja'nya Breeden

Rose-Hulman Undergraduate Mathematics Journal

The Navier-Stokes equations are used to model fluid flow. Examples include fluid structure interactions in the heart, climate and weather modeling, and flow simulations in computer gaming and entertainment. The equations date back to the 1800s, but research and development of numerical approximation algorithms continues to be an active area. To numerically solve the Navier-Stokes equations we implement a least squares finite element algorithm based on work by Roland Glowinski and colleagues. We use the deal.II academic library , the C++ language, and the Linux operating system to implement the solver. We investigate convergence rates and apply the least squares …

Mathematical Model Of Immune-Inflammatory Response In Covid-19 Patients, Quiyana M. Murphy

Biology and Medicine Through Mathematics Conference

No abstract provided.

Nessie Notation: A New Tool In Sequential Substitution Systems And Graph Theory For Summarizing Concatenations, Colton Davis

Student Research

While doing research looking for ways to categorize causal networks generated by Sequential Substitution Systems, I created a new notation to compactly summarize concatenations of integers or strings of integers, including infinite sequences of these, in the same way that sums, products, and unions of sets can be summarized. Using my method, any sequence of integers or strings of integers with a closed-form iterative pattern can be compactly summarized in just one line of mathematical notation, including graphs generated by Sequential Substitution Systems, many Primitive Pythagorean Triplets, and various Lucas sequences including the Fibonacci sequence and the sequence of square …

The Primitive Root Problem: A Problem In Bqp, Shixin Wu

Mathematical Sciences Technical Reports (MSTR)

Shor’s algorithm proves that the discrete logarithm problem is in BQP. Based on his algorithm, we prove that the primitive root problem, a problem that verifies if some integer g is a primitive root modulo p where p is the largest prime number smaller than 2n for a given n, which is assumed to be harder than the discrete logarithm problem, is in BQP by using an oracle quantum Turing machine.

Data And Algorithmic Modeling Approaches To Count Data, Andraya Hack

Honors College Theses

Various techniques are used to create predictions based on count data. This type of data takes the form of a non-negative integers such as the number of claims an insurance policy holder may make. These predictions can allow people to prepare for likely outcomes. Thus, it is important to know how accurate the predictions are. Traditional statistical approaches for predicting count data include Poisson regression as well as negative binomial regression. Both methods also have a zero-inflated version that can be used when the data has an overabundance of zeros. Another procedure is to use computer algorithms, also known as …

Structure Of Number Theoretic Graphs, Lee Trent

Mathematical Sciences Technical Reports (MSTR)

The tools of graph theory can be used to investigate the structure
imposed on the integers by various relations. Here we investigate two
kinds of graphs. The first, a square product graph, takes for its vertices
the integers 1 through n, and draws edges between numbers whose product
is a square. The second, a square product graph, has the same vertex set,
and draws edges between numbers whose sum is a square.
We investigate the structure of these graphs. For square product
graphs, we provide a rather complete characterization of their structure as
a union of disjoint complete graphs. For …

Finite Dimensional Approximation And Pin(2)-Equivariant Property For Rarita-Schwinger-Seiberg-Witten Equations, Minh Lam Nguyen

Graduate Theses and Dissertations

The Rarita-Schwinger operator Q was initially proposed in the 1941 paper by Rarita and Schwinger to study wave functions of particles of spin 3/2, and there is a vast amount of physics literature on its properties. Roughly speaking, 3/2−spinors are spinor-valued 1-forms that also happen to be in the kernel of the Clifford multiplication. Let X be a simply connected Riemannian spin 4−manifold. Associated to a fixed spin structure on X, we define a Seiberg-Witten-like system of non-linear PDEs using Q and the Hodge-Dirac operator d∗ + d+ after suitable gauge-fixing. The moduli space of solutions M contains (3/2-spinors, purely …

Analyzing Suicidal Text Using Natural Language Processing, Cassandra Barton

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

Using Natural Language Processing (NLP), we are able to analyze text from suicidal individuals. This can be done using a variety of methods. I analyzed a dataset of a girl named Victoria that died by suicide. I used a machine learning method to train a different dataset and tested it on her diary entries to classify her text into two categories: suicidal vs non-suicidal. I used topic modeling to find out unique topics in each subset. I also found a pattern in her diary entries. NLP allows us to help individuals that are suicidal and their family members and close …