Mathematics Commons^™

Building Community, Competency, And Creativity In Calculus 2: Summary Of A Pilot Year Of Project Implementation, Jennifer Beichman, Candice R. Price

Feminist Pedagogy

In light of the COVID-19 pandemic, instructional modes at our institution moved to fully online and remote, then fully online but on campus, and back to in-person learning in fall 2021. To combat perceived issues in student engagement, we piloted using group projects in place of exams at the natural content break points in Calculus 2.

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 …

Modeling The Evolution Of Differences In Variability Between Sexes, Theodore P. Hill

Research Scholars in Residence

An elementary mathematical theory based on a “selectivity-variability” principle is proposed to address a question raised by Charles Darwin, namely, how one sex of a sexually dimorphic species might tend to evolve with greater variability than the other sex. Two mathematical models of the principle are presented: a discrete-time one-step probabilistic model of the short-term behavior of the subpopulations of a given sex, with an example using normally distributed perceived fitness values; and a continuous-time deterministic coupled ODE model for the long-term asymptotic behavior of the expected sizes of the subpopulations, with an example using exponentially distributed fitness levels.

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 …

Hypersurfaces With Nonnegative Ricci Curvature In Hyperbolic Space, Vincent Bonini, Shiguang Ma, Jie Qing

Mathematics

Based on properties of n-subharmonic functions we show that a complete, noncompact, properly embedded hypersurface with nonnegative Ricci curvature in hyperbolic space has an asymptotic boundary at infinity of at most two points. Moreover, the presence of two points in the asymptotic boundary is a rigidity condition that forces the hypersurface to be an equidistant hypersurface about a geodesic line in hyperbolic space. This gives an affirmative answer to the question raised by Alexander and Currier (Proc Symp Pure Math 54(3):37–44, 1993).

Computing Homology Of Hypergraphs, Jackson Earl

STAR Program Research Presentations

In the modern age of data science, the necessity for efficient and insightful analytical tools that enable us to interpret large data structures inherently presents itself. With the increasing utility of metrics offered by the mathematics of hypergraph theory and algebraic topology, we are able to explore multi-way relational datasets and actively develop such tools. Throughout this research endeavor, one of the primary goals has been to contribute to the development of computational algorithms pertaining to the homology of hypergraphs. More specifically, coding in python to compute the homology groups of a given hypergraph, as well as their Betti numbers …

On Nonnegatively Curved Hypersurfaces In Hyperbolic Space, Vincent Bonini, Shiguang Ma, Jie Qing

Mathematics

In this paper we prove a conjecture of Alexander and Currier that states, except for covering maps of equidistant surfaces in hyperbolic 3-space, a complete, nonnegatively curved immersed hypersurface in hyperbolic space is necessarily properly embedded.

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 …

Can We Detect Undeclared Facilities In The Nuclear Fuel Cycle Using Mathematical Simulations?, Kassandra Guajardo, Lee Burke, Romarie Morales Rosado

STAR Program Research Presentations

What if there was a way to detect undeclared (Clandestine) facilities using data sets from a nuclear facility? The Statistical Modeling and Experimental Design group at the Pacific Northwest National Laboratory are developing the Modeling and Inference for Remote Sensing (MIRS) model. The model uses two deterrence scenarios within the nuclear fuel cycle to detect undeclared facilities. The two scenarios are used in an agent based nuclear fuel cycle simulator to produce the declared and undeclared feed, tails assay, and sink inventory in kilograms of Uranium. In the first scenario, natural uranium is being diverted from the conversion plant to …

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 …

Weakly Horospherically Convex Hypersurfaces In Hyperbolic Space, Vincent Bonini, Jie Qing, Jingyong Zhu

Mathematics

In Bonini et al. (Adv Math 280:506–548, 2015), the authors develop a global correspondence between immersed weakly horospherically convex hypersurfaces ϕ:Mn→Hn+1 and a class of conformal metrics on domains of the round sphere Sn . Some of the key aspects of the correspondence and its consequences have dimensional restrictions n≥3 due to the reliance on an analytic proposition from Chang et al. (Int Math Res Not 2004(4):185–209, 2004) concerning the asymptotic behavior of conformal factors of conformal metrics on domains of Sn . In this paper, we prove a new lemma about the asymptotic behavior of a functional combining the …

Development And Implementation Of An Optimization Model To Improve Airport Security., Kassandra Guajardo, Angela Waterworth, Robert Brigantic Ph.D.

STAR Program Research Presentations

What if airport security teams across the world could quantify and then minimize the amount of risk throughout areas of an airport? The Operations Research Team at the Pacific Northwest National Laboratory is developing and implementing an optimization model called ARAM (Airport Risk Analysis Model) for the Seattle-Tacoma International Airport. ARAM will provide a recommended optimal deployment of security assets to reduce risk in areas of an airport. The model is based on a risk equation that considers consequences, vulnerabilities, and threat magnitudes at airports. ARAM will also provide the estimated risk buy down percentage, which is how much risk …