Physical Sciences and Mathematics Commons^™

The Construction Of Khovanov Homology, Shiaohan Liu

Master's Theses

Knot theory is a rich topic in topology that studies the how circles can be embedded in Euclidean 3-space. One of the main questions in knot theory is how to distinguish between different types of knots efficiently. One way to approach this problem is to study knot invariants, which are properties of knots that do not change under a standard set of deformations. We give a brief overview of basic knot theory, and examine a specific knot invariant known as Khovanov homology. Khovanov homology is a homological invariant that refines the Jones polynomial, another knot invariant that assigns a Laurent …

Complex Dimensions Of 100 Different Sierpinski Carpet Modifications, Gregory Parker Leathrum

Master's Theses

We used Dr. M. L. Lapidus's Fractal Zeta Functions to analyze the complex fractal dimensions of 100 different modifications of the Sierpinski Carpet fractal construction. We will showcase the theorems that made calculations easier, as well as Desmos tools that helped in classifying the different fractals and computing their complex dimensions. We will also showcase all 100 of the Sierpinski Carpet modifications and their complex dimensions.

Foundations Of Memory Capacity In Models Of Neural Cognition, Chandradeep Chowdhury

Master's Theses

A central problem in neuroscience is to understand how memories are formed as a result of the activities of neurons. Valiant’s neuroidal model attempted to address this question by modeling the brain as a random graph and memories as subgraphs within that graph. However the question of memory capacity within that model has not been explored: how many memories can the brain hold? Valiant introduced the concept of interference between memories as the defining factor for capacity; excessive interference signals the model has reached capacity. Since then, exploration of capacity has been limited, but recent investigations have delved into the …

Representations From Group Actions On Words And Matrices, Joel T. Anderson

Master's Theses

We provide a combinatorial interpretation of the frequency of any irreducible representation of Sn in representations of Sn arising from group actions on words. Recognizing that representations arising from group actions naturally split across orbits yields combinatorial interpretations of the irreducible decompositions of representations from similar group actions. The generalization from group actions on words to group actions on matrices gives rise to representations that prove to be much less transparent. We share the progress made thus far on the open problem of determining the irreducible decomposition of certain representations of Sm × Sn arising from group actions on matrices.

Groups Of Non Positive Curvature And The Word Problem, Zoe Nepsa

Master's Theses

Given a group $\Gamma$ with presentation $\relgroup{\scr{\scr{A}}}{\scr{R}}$, a natural question, known as the word problem, is how does one decide whether or not two words in the free group, $F(\scr{\scr{A}})$, represent the same element in $\Gamma$. In this thesis, we study certain aspects of geometric group theory, especially ideas published by Gromov in the late 1980's. We show there exists a quasi-isometry between the group equipped with the word metric, and the space it acts on. Then, we develop the notion of a CAT(0) space and study groups which act properly and cocompactly by isometries on these spaces, such groups …

Deep Learning Recommendations For The Acl2 Interactive Theorem Prover, Robert K. Thompson, Robert K. Thompson

Master's Theses

Due to the difficulty of obtaining formal proofs, there is increasing interest in partially or completely automating proof search in interactive theorem provers. Despite being a theorem prover with an active community and plentiful corpus of 170,000+ theorems, no deep learning system currently exists to help automate theorem proving in ACL2. We have developed a machine learning system that generates recommendations to automatically complete proofs. We show that our system benefits from the copy mechanism introduced in the context of program repair. We make our system directly accessible from within ACL2 and use this interface to evaluate our system in …

Irreducible Representations From Group Actions On Trees, Charlie Liou

Master's Theses

We study the representations of the symmetric group $S_n$ found by acting on

labeled graphs and trees with $n$ vertices. Our main results provide

combinatorial interpretations that give the number of times the irreducible

representations associated with the integer partitions $(n)$ and $(1^n)$ appear

in the representations. We describe a new sign

reversing involution with fixed points that provide a combinatorial

interpretation for the number of times the irreducible associated with the

integer partition $(n-1, 1)$ appears in the representations.

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 …

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.

An Introduction To Fröberg's Conjecture, Caroline Semmens

Master's Theses

The goal of this thesis is to make Fröberg's conjecture more accessible to the average math graduate student by building up the necessary background material to understand specific examples where Fröberg's conjecture is true.

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 …

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 …

Dynamical Systems And Matching Symmetry In Beta-Expansions, Karl Zieber

Master's Theses

Symbolic dynamics, and in particular β-expansions, are a ubiquitous tool in studying more complicated dynamical systems. Applications include number theory, fractals, information theory, and data storage.

In this thesis we will explore the basics of dynamical systems with a special focus on topological dynamics. We then examine symbolic dynamics and β-transformations through the lens of sequence spaces. We discuss observations from recent literature about how matching (the property that the itinerary of 0 and 1 coincide after some number of iterations) is linked to when T_β,⍺ generates a subshift of finite type. We prove the set of ⍺ in …

An Investigation Into Crouzeix's Conjecture, Timothy T. Royston

Master's Theses

We will explore Crouzeix’s Conjecture, an upper bound on the norm of a matrix after the application of a polynomial involving the numerical range. More formally, Crouzeix’s Conjecture states that for any n × n matrix A and any polynomial p from C → C,
∥p(A)∥ ≤ 2 sup_{z∈W (A)} |p(z)|.
Where W (A) is a set in C related to A, and ∥·∥ is the matrix norm. We first discuss the conjecture, and prove the simple case when the matrix is normal. We then explore a proof for a class of matrices given by Daeshik Choi. We expand …

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 …

A Study Of The Design Of Adaptive Camber Winglets, Justin J. Rosescu

Master's Theses

A numerical study was conducted to determine the effect of changing the camber of a winglet on the efficiency of a wing in two distinct flight conditions. Camber was altered via a simple plain flap deflection in the winglet, which produced a constant camber change over the winglet span. Hinge points were located at 20%, 50% and 80% of the chord and the trailing edge was deflected between -5° and +5°. Analysis was performed using a combination of three-dimensional vortex lattice method and two-dimensional panel method to obtain aerodynamic forces for the entire wing, based on different winglet camber configurations. …

An Introduction To Shape Dynamics, Patrick R. Kerrigan

Physics

Shape Dynamics (SD) is a new fundamental framework of physics which seeks to remove any non-relational notions from its methodology. importantly it does away with a background space-time and replaces it with a conceptual framework meant to reflect direct observables and recognize how measurements are taken. It is a theory of pure relationalism, and is based on different first principles then General Relativity (GR). This paper investigates how SD assertions affect dynamics of the three body problem, then outlines the shape reduction framework in a general setting.

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 …

Invariant Subspaces Of Compact Operators And Related Topics, Weston Mckay Grewe

Mathematics

The invariant subspace problem asks if every bounded linear operator on a Banach space has a nontrivial closed invariant subspace. Per Enflo has shown this is false in general, however it is known that every compact operator has an invariant subspace. The purpose of this project is to explore introductory results in functional analysis. Specifically we are interested in understanding compact operators and the proof that all compact operators on a Hilbert space have an invariant subspace. In the process of doing this we build up many examples and theorems relating to operators on a Hilbert or Banach space. Continuing …

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 …

Optimal Layout For A Component Grid, Michael W. Ebert

Computer Science and Software Engineering

Several puzzle games include a specific type of optimization problem: given components that produce and consume different resources and a grid of squares, find the optimal way to place the components to maximize output. I developed a method to evaluate potential solutions quickly and automated the solving of the problem using a genetic algorithm.

A High Quality, Eulerian 3d Fluid Solver In C++, Lejon Anthony Mcgowan

Computer Science and Software Engineering

Fluids are a part of everyday life, yet are one of the hardest elements to properly render in computer graphics. Water is the most obvious entity when thinking of what a fluid simulation can achieve (and it is indeed the focus of this project), but many other aspects of nature, like fog, clouds, and particle effects. Real-time graphics like video games employ many heuristics to approximate these effects, but large-scale renderers aim to simulate these effects as closely as possible.

In this project, I wish to achieve effects of the latter nature. Using the Eulerian technique of discrete grids, I …

Development Of A Tridimensional Measuring Application For Ipads, Michael Casebolt, Nicolas Kouatli, Jack Mullen

Computer Science and Software Engineering

In today’s fast-paced distribution centers workers and management alike are constantly searching for the quickest and most efficient way to package items for distribution. Even with the advancement of app-oriented solutions to a variety of problems across many industries there is a distinct unmet need in distribution environments for an application capable of increasing the efficiency and accuracy of packaging items. This senior project focused on the development and testing of an application utilizing the Structure Three Dimensional Sensor and a 4th generation iPad to scan an object or group of objects to be packaged and determine the overall dimensions …

Viscosity Dependence Of Faraday Wave Formation Thresholds, Lisa Michelle Slaughter

Physics

This experiment uses an electromagnetic shaker to produce standing wave patterns on the surface of a vertically oscillating sample of silicon liquid. These surface waves, known as Faraday waves, form shapes such as squares, lines, and hexagons. They are known to be dependent upon the frequency and amplitude of the forcing as well as on the viscosity and depth of the liquid in the dish. At a depth of 4mm and for various silicon liquids having kinematic viscosities of 10, 20, and 38 cSt, we determined the acceleration at which patterns form for frequencies between 10 and 60 Hz. For …

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.

Dynamics Of The Fitzhugh-Nagumo Neuron Model, Zechariah Thurman

Physics

In this paper, the dynamical behavior of the Fitzhugh-Nagumo model is examined. The relationship between neuron input current and the firing frequency of the neuron is characterized. Various coupling schemes are also examined, and their effects on the dynamics of the system is discussed. The phenomenon of stochastic resonance is studied for a single uncoupled Fitzhugh-Nagumo neuron.

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 …

Modeling Glacial Termination, Michael Murphy

Natural Resources Management and Environmental Sciences

Examines possible cause of the glacial termination or ice age cycle using a numerical model created by Tziperman et al. Also explores possible physical mechanisms causing the observed cycle of slow cooling followed by rapid warming.

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