Other Mathematics Commons^™

Constructing Orthonormal Bases With The Residuals Of Successive Approximations, An Introduction To Multiresolution Analysis, Elijah J. Guptill

Master's Theses

Wavelets and wavelet analysis are used in the study of signal processing, quantum field theory, functional analysis, multifractal analysis, and various other areas of mathematics. Multiresolution analysis provides a framework for building a wavelet basis of $\mathcal{L}^{2}(\mathbb{R})$ from a scaling function $\phi$, whose dyadic dilations and translations, $\{2^{j /2}\phi(2^{j}x-k):j,k\in \mathbb{Z}\}$, approximate $\mathcal{L}^{2}(\mathbb{R})$. One of the key properties of  $\phi$ is that it must satisfy $\phi(x)=\sum_{k\in \mathbb{Z}}{p_{k}2^{j /2}\phi(2^{j}x-k)}$ with respect to the norm on $\mathcal{L}^{2}(\mathbb{R})$. This equation is called a two-scale difference equation. Such equations enforce a regularity on the ordinary generating function $2^{-1 /2}\sum_{k\in \mathbb{Z}}{p_{k}z^{k}}$, known as the quadrature condition. …

Banach Algebras And The Gelfand Theory Of Group Algebras On Locally Compact Abelian Groups, James Gabriel Bonvanie

Master's Theses

A Banach algebra is a complex algebra that is simultaneously a Banach space in which the norm is submultiplicative. Notably, $L^1(\mathbb{R})$ with the convolutional product is an Abelian, non-unital Banach algebra that admits an approximate identity. We rectify $L^1(\mathbb{R})$ lacking a unit via the unitization $L^1(\mathbb{R})\times\mathbb{C}$ with identity $(0,1)$. Unitization opens the discussion to the spectrum $\sigma(x)$ of a Banach algebra element, in which the spectrum is a nonempty, compact subset of the complex plane. The spectrum of an Abelian Banach algebra is fully characterized with multiplicative linear functionals, and we prove that the Fourier transform is the unique multiplicative …

Representation Theory And Its Applications In Physics, Max Varverakis

Master's Theses

Representation theory, which encodes the elements of a group as linear operators on a vector space, has far-reaching implications in physics. Fundamental results in quantum physics emerge directly from the representations describing physical symmetries. We first examine the connections between specific representations and the principles of quantum mechanics. Then, we shift our focus to the braid group, which describes the algebraic structure of braids. We apply representations of the braid group to physical systems in order to investigate quasiparticles known as anyons. Finally, we obtain governing equations of anyonic systems to highlight the differences between braiding statistics and conventional Bose-Einstein/Fermi-Dirac …

Exploring The Numerical Range Of Block Toeplitz Operators, Brooke Randell

Master's Theses

We will explore the numerical range of the block Toeplitz operator with symbol function \(\phi(z)=A_0+zA_1\), where \(A_0, A_1 \in M_2(\mathbb{C})\). A full characterization of the numerical range of this operator proves to be quite difficult and so we will focus on characterizing the boundary of the related set, \(\{W(A_0+zA_1) : z \in \partial \mathbb{D}\}\), in a specific case. We will use the theory of envelopes to explore what the boundary looks like and we will use geometric arguments to explore the number of flat portions on the boundary. We will then make a conjecture as to the number of flat …

On The Numerical Range Of Compact Operators, Montserrat Dabkowski

Master's Theses

One of the many characterizations of compact operators is as linear operators which
can be closely approximated by bounded finite rank operators (theorem 25). It is
well known that the numerical range of a bounded operator on a finite dimensional
Hilbert space is closed (theorem 54). In this thesis we explore how close to being
closed the numerical range of a compact operator is (theorem 56). We also describe
how limited the difference between the closure and the numerical range of a compact
operator can be (theorem 58). To aid in our exploration of the numerical range of
a compact …

Van Kampen Diagrams And Small Cancellation Theory, Kelsey N. Lowrey

Master's Theses

Given a presentation of G, the word problem asks whether there exists an algorithm to determine which words in the free group, F(A), represent the identity in G. In this thesis, we study small cancellation theory, developed by Lyndon, Schupp, and Greendlinger in the mid-1960s, which contributed to the resurgence of geometric group theory. We investigate the connection between Van Kampen diagrams and the small cancellation hypotheses. Groups that have a presentation satisfying the small cancellation hypotheses C'(1/6), or C'(1/4) and T(4) have a nice solution to the word problem known as Dehn’s Algorithm.

Modeling The Spread Of Covid-19 Over Varied Contact Networks, Ryan L. Solorzano

Master's Theses

When attempting to mitigate the spread of an epidemic without the use of a vaccine, many measures may be made to dampen the spread of the disease such as physically distancing and wearing masks. The implementation of an effective test and quarantine strategy on a population has the potential to make a large impact on the spread of the disease as well. Testing and quarantining strategies become difficult when a portion of the population are asymptomatic spreaders of the disease. Additionally, a study has shown that randomly testing a portion of a population for asymptomatic individuals makes a small impact …

The Martingale Approach To Financial Mathematics, Jordan M. Rowley

Master's Theses

In this thesis, we will develop the fundamental properties of financial mathematics, with a focus on establishing meaningful connections between martingale theory, stochastic calculus, and measure-theoretic probability. We first consider a simple binomial model in discrete time, and assume the impossibility of earning a riskless profit, known as arbitrage. Under this no-arbitrage assumption alone, we stumble upon a strange new probability measure Q, according to which every risky asset is expected to grow as though it were a bond. As it turns out, this measure Q also gives the arbitrage-free pricing formula for every asset on our market. In …

Simulating The Electrical Properties Of Random Carbon Nanotube Networks Using A Simple Model Based On Percolation Theory, Roberto Abril Valenzuela

Physics

Carbon nanotubes (CNTs) have been subject to extensive research towards their possible applications in the world of nanoelectronics. The interest in carbon nanotubes originates from their unique variety of properties useful in nanoelectronic devices. One key feature of carbon nanotubes is that the chiral angle at which they are rolled determines whether the tube is metallic or semiconducting. Of main interest to this project are devices containing a thin film of randomly arranged carbon nanotubes, known as carbon nanotube networks. The presence of semiconducting tubes in a CNT network can lead to a switching effect when the film is electro-statically …

Smooth Representation Of Functions On Non-Periodic Domains By Means Of The Fourier Continuation Method, Nicholas Rubel, David Bilyeu, Justin Koo

STAR Program Research Presentations

This report examines a new methodology in solving Partial Differential Equations (PDEs) numerically. The report also studies the accuracy of this new method as a PDE solver. This new Fourier Continuation (FC) method is one of a few that avoids the well-known Gibbs Phenomenon, which is the overestimation or underestimation of a function. These estimations are oscillations around a “jump” when a non-periodic function is expressed in terms of sines and cosines. Instead, the FC algorithm creates a smooth, periodic extension of a function over a general domain, as demonstrated by the many examples presented here. The FC algorithm was …

Evolution Of Perturbations In Flow Field Mechanics, Samantha R. Bell, David Forliti, Nils Sedano, Kriss Vanderhyde

STAR Program Research Presentations

This project explores the stability analysis of a given flow field. Specifically, where the peak disturbance occurs in a flow as this is the disturbance that is most likely to occur. In rocket combustion, it is important to understand where the maximum disturbance occurs so that the mixing of fuel can be stabilized. The instabilities are the results of frequencies in the area surrounding the flow field. The linear stability governing equations are employed to better understand the disturbance. The governing equations for continuity and momentum in the x and y directions are used to form an equation for the …

Field Control Of The Surface Electroclinic Effect In Liquid Crystal Displays, Dana Hipolite

Physics

Liquid crystals (LCs) are a fascinating class of materials exhibiting a range of phases intermediate between liquid and crystalline. Smectic LCs consist of elongated molecules arranged in a periodic stack (along z) of liquid like layers. In the smectic-A (Sm-A) phase, the average molecular long axis (director) points along z. In the smectic-C (Sm-C) phase, it is tilted relative to z, thus picking out a special direction within the layers. Typically, the Sm-A* to Sm- C* transition will occur as temperature is decreased. In chiral smectics (Sm-*A or Sm-C*) it is possible to induce director titling (i.e. the Sm-C* phase) …

Hilbert Space Theory And Applications In Basic Quantum Mechanics, Matthew Gagne

Mathematics

We explore the basic mathematical physics of quantum mechanics. Our primary focus will be on Hilbert space theory and applications as well as the theory of linear operators on Hilbert space. We show how Hermitian operators are used to represent quantum observables and investigate the spectrum of various linear operators. We discuss deviation and uncertainty and briefly suggest how symmetry and representations are involved in quantum theory.

Using Modeling And Simulation To Analyze Complex Aircraft, Kimberlee Margosian, Jason Lechniak

STAR Program Research Presentations

Modeling and Simulation (M&S) is used at the Air Force Flight Test Center (AFFTC) on Edwards Air Force Base (AFB) to better understand physical phenomena on aircraft. M&S allows for the reduction of cost and risk by providing a better understanding of required flight tests and the interactions between various forces and the aircraft (i.e. wind resistance, pressure change, and temperature change). Without this process, the lives of pilots would be at a much greater risk when testing their aircraft and there would be little to no funds to fly due to the cost to repair or modify the aircraft. …

Adaptive Randomization Designs, Jenna Colavincenzo

Statistics

Adaptive design methodologies use prior information to develop a clinical trial design. The goal of an adaptive design is to maintain the integrity and validity of the study while giving the researcher flexibility in identifying the optimal treatment. An example of an adaptive design can be seen in a basic pharmaceutical trial. There are three phases of the overall trial to compare treatments and experimenters use the information from the previous phase to make changes to the subsequent phase before it begins.

Adaptive design methods have been in practice since the 1970s, but have become increasingly complex ever since. One …

Completeness Of Ordered Fields, James Forsythe Hall

Mathematics

The main goal of this project is to prove the equivalency of several characterizations of completeness of Archimedean ordered fields; some of which appear in most modern literature as theorems following from the Dedekind completeness of the real numbers, while a couple are not as well known and have to do with other areas of mathematics, such as nonstandard analysis. Continuing, we study the completeness of non-Archimedean fields, and provide several examples of such fields with varying degrees of properties, using nonstandard analysis to produce some relatively "nice" (in particular, they are Cantor complete) final examples. As a small detour, …

Automated Theorem Prover Axiom Management, Ashley T. Holeman, Ewen Denney

STAR Program Research Presentations

Automated Theorem Provers (ATPs), are computer programs that use collections of axioms,which are logical statements assumed to be true, in order to prove conjectures. NASA uses these programs to verify safety and functional requirements in domains like Guidance, Navigation, and Control. There are about 30 axioms on each major topic including the theory of coordinate systems, elementary arithmetic and linear algebra. These axioms have been created over the duration of many projects and combined into a single file. One task is to manage the axioms by arranging them into logical sections, deleting unnecessary ones and rewriting some into a more …

Software Internationalization: A Framework Validated Against Industry Requirements For Computer Science And Software Engineering Programs, John Huân Vũ

Master's Theses

View John Huân Vũ's thesis presentation at http://youtu.be/y3bzNmkTr-c.

In 2001, the ACM and IEEE Computing Curriculum stated that it was necessary to address "the need to develop implementation models that are international in scope and could be practiced in universities around the world." With increasing connectivity through the internet, the move towards a global economy and growing use of technology places software internationalization as a more important concern for developers. However, there has been a "clear shortage in terms of numbers of trained persons applying for entry-level positions" in this area. Eric Brechner, Director of Microsoft Development Training, suggested …