Mathematics Commons^™

Computational Utilities For The Game Of Simplicial Nim, Nelson Penn

Theses and Dissertations--Computer Science

Simplicial nim games, a class of impartial games, have very interesting mathematical properties. Winning strategies on a simplicial nim game can be determined by the set of positions in the game whose Sprague-Grundy values are zero (also zero positions). In this work, I provide two major contributions to the study of simplicial nim games. First, I provide a modern and efficient implementation of the Sprague-Grundy function for an arbitrary simplicial complex, and discuss its performance and scope of viability. Secondly, I provide a method to find a simple mathematical expression to model that function if it exists. I show the …

Simiode Expo 2021 - Minicourse M-R2 - Delay Differential Equations In Epidemiology, Nsoki Mavinga

Mathematics & Statistics Faculty Works

Many problems in epidemiology give rise to delay differential equations (DDEs). These are differential equations in which the current rate of change of the system depends not only on the current state but also on the history of the system; i.e. the system has memory. In this minicourse, we will discuss some key tools necessary to understand the applications involving DDEs. We will go through an example that illustrates the need and implementation of DDE in certain infectious diseases.

Glycinergic Axonal Inhibition Subserves Acute Spatial Sensitivity To Sudden Increases In Sound Intensity, T. P. Franken, B. J. Bondy, D. B. Haimes, Joshua H. Goldwyn, N. L. Golding, P. H. Smith, P. X. Joris

Mathematics & Statistics Faculty Works

Locomotion generates adventitious sounds which enable detection and localization of predators and prey. Such sounds contain brisk changes or transients in amplitude. We investigated the hypothesis that ill-understood temporal specializations in binaural circuits subserve lateralization of such sound transients, based on different time of arrival at the ears (interaural time differences, ITDs). We find that Lateral Superior Olive (LSO) neurons show exquisite ITD-sensitivity, reflecting extreme precision and reliability of excitatory and inhibitory postsynaptic potentials, in contrast to Medial Superior Olive neurons, traditionally viewed as the ultimate ITD-detectors. In vivo, inhibition blocks LSO excitation over an extremely short window, which, in …

Dynamics Of The Auditory Continuity Illusion, Qianyi Cao , '22, Noah Parks , '22, Joshua H. Goldwyn

Mathematics & Statistics Faculty Works

Illusions give intriguing insights into perceptual and neural dynamics. In the auditory continuity illusion, two brief tones separated by a silent gap may be heard as one continuous tone if a noise burst with appropriate characteristics fills the gap. This illusion probes the conditions under which listeners link related sounds across time and maintain perceptual continuity in the face of sudden changes in sound mixtures. Conceptual explanations of this illusion have been proposed, but its neural basis is still being investigated. In this work we provide a dynamical systems framework, grounded in principles of neural dynamics, to explain the continuity …

Branched Covers Bounding Rational Homology Balls, P. Aceto, J. Meier, Allison N. Miller, M. Miller, Jh Park, A. I. Stipsicz

Mathematics & Statistics Faculty Works

Prime power–fold cyclic branched covers along smoothly slice knots all bound rational homology balls. This phenomenon, however, does not characterize slice knots. We give a new construction of nonslice knots that have the above property. The sliceness obstruction comes from computing twisted Alexander polynomials, and we introduce new techniques to simplify their calculation.

A Mathematical Analysis Of The Wind Triangle Problem And An Inquiry Of True Airspeed Calculations In Supersonic Flight, Leonard T. Huang, Lisa I. Cummings

International Journal of Aviation, Aeronautics, and Aerospace

In the first half of this paper, we present a fresh perspective toward the Wind Triangle Problem in aerial navigation by deriving necessary and sufficient conditions, which we call "go/no-go conditions", for the existence/non-existence of a solution of the problem. Although our derivation is based on simple trigonometry and basic properties of quadratic functions, it is mathematically rigorous. We also offer examples to demonstrate how easy it is to check these conditions graphically. In the second half of this paper, we use function theory to re-examine another problem in aerial navigation, namely, that of computing true airspeed — even in …

Proper 3-Colorings Of Cycles And Hypercubes, Emily Cairncross

Honors Papers

In this paper, we look at two families of graphs, cycles and hypercubes, and compare how their sets of proper 3-colorings differ as the graphs get arbitrarily large. In particular, we find the probability of pairs of vertices at various distances being the same color in order to understand the range and scale of interactions between them. As we look at larger and larger cycles, larger and larger hypercubes, patterns begin to emerge. While the colors of vertices fixed fractions of the cycle away from each other are independent, a random 3-coloring of the hypercube is essentially a 2-coloring. This …

Collaborative Game Mosaics, Xiaoyun Gong

Honors Papers

Imagine two players are playing a strategy board game. With one player holding black stones and the other player holding white stones, they take turns to place their pieces. After a while, they start to recognize some patterns. With three colors in front of them, black, white, and the color of the game board, they are curious about if they can form a recognizable image. Instead of playing the game to win, they start to collaborate with each other to form a mosaic. Later, they invite more players and provide them their own stones in different shades of gray. The …

Joint Modeling Of Rnaseq And Radiomics Data For Glioma Molecular Characterization And Prediction, Zeina A. Shboul, Norou Diawara, Arastoo Vossough, James Y. Chen, Khan M. Iftekharuddin

Electrical & Computer Engineering Faculty Publications

RNA sequencing (RNAseq) is a recent technology that profiles gene expression by measuring the relative frequency of the RNAseq reads. RNAseq read counts data is increasingly used in oncologic care and while radiology features (radiomics) have also been gaining utility in radiology practice such as disease diagnosis, monitoring, and treatment planning. However, contemporary literature lacks appropriate RNA-radiomics (henceforth, radiogenomics) joint modeling where RNAseq distribution is adaptive and also preserves the nature of RNAseq read counts data for glioma grading and prediction. The Negative Binomial (NB) distribution may be useful to model RNAseq read counts data that addresses potential shortcomings. …

Spectral Extremal Results For Hypergraphs, Yuan Hou, An Chang, Joshua Cooper

Faculty Publications

Let F be a graph. A hypergraph is called Berge F if it can be obtained by replacing each edge in F by a hyperedge containing it. Given a family of graphs F, we say that a hypergraph H is Berge F-free if for every F ∈ F, the hypergraph H does not contain a Berge F as a subhypergraph. In this paper we investigate on the connections between spectral radius of the adjacency tensor and structural properties of a linear hypergraph. In particular, we obtain a spectral version of Turán-type problems over linear k-uniform hypergraphs by using spectral methods.

Higher Homotopy Invariants For Spaces And Maps, David Blanc, Mark W. Johnson

University Faculty Publications and Creative Works

For a pointed topological space X, we use an inductive construction of a simplicial resolution of X by wedges of spheres to construct a “higher homotopy structure” for X (in terms of chain complexes of spaces). This structure is then used to define a collection of higher homotopy invariants which suffice to recover X up to weak equivalence. It can also be used to distinguish between different maps f : X → Y which induce the same morphism f∗ : π∗X → π∗Y.

Proctoring And Apps In College Algebra, Cynthia M. Shelton

Theses and Dissertations--Education Sciences

The pandemic forced more instructors and students to move to online learning. For the first time, many experienced a loosening of the reigns and were forced to allow students to submit non-proctored work. Many may have questioned what students really learned in the year 2020. Many college math course competencies emphasize procedures. Now that apps can do that for students, where does that leave math instructors? Additionally, online instruction has exploded over the last decade and has challenged the teaching of college mathematics. While online instruction opens the door to access, it does beg the question of whether students complete …

Occam Software (And Manual) For Reconstructability Analysis, Martin Zwick, Kenneth Willett, Joe Fusion, Heather Alexander

Complex Systems Faculty Publications and Presentations

OCCAM is a Discrete Multivariate Modeling (DMM) tool based on the methodology of Reconstructability Analysis (RA). As an acronym it stands for Organizational Complexity Computation and Modeling, and the name is also a reference (with a non-standard spelling) to Ockham’s Razor. The principal programmers of its current version have been Kenneth Willett, Joe Fusion, and Heather Alexander. Ken Willett totally rewrote earlier versions of OCCAM. His version was originally called “OCCAM3” to distinguish it from these earlier OCCAM incarnations; the “3” has finally been dropped.

OCCAM’s typical use is to analyze data involving a large number of discrete variables, but …

Integer-Valued Polynomials Over Discrete Valuation Domains, Rattiya Meesa

Chulalongkorn University Theses and Dissertations (Chula ETD)

The classical theorem of Lucas states that binomial polynomials, which form a basis for integer-valud polynomials, satisfy a congruence relation, modulo a prime, related to their digits in the base prime representation. In this thesis, we define the Lucas property in the setting of discrete-valued structures and investigate when and where the Lucas property holds. General criteria are derived for bases of integervalued polynomials in this setting to satisfy the Lucas property. Examples of bases including those of Lagrange type and of Carlitz-like polynomials are worked out. In addition, one of the best known properties of binomial polynomials in the …

Detailing The Connection Between A Family Of Polar Graphs And Tremain Equiangular Tight Frames, Nicholas Brown

Electronic Theses and Dissertations

The relationship between strongly regular graphs and equiangular tight frames has been known for several years, and this relationship has been used to construct many of the most recent examples of new strongly regular graphs. In this paper, we present an explicit construction of a family of equiangular tight frames using the geometry of a quadratic space over the field of four elements. We observe that these frames give rise to a strongly regular graph on a subset of points of a quadratic space over the field with 4 elements. We then demonstrate an isomorphism between this graph and a …

Teacher Perceptions Of Using Standards-Based Rubrics For Monitoring Student Growth In Teacher Evaluation, Jennette Susan Winters

Walden Dissertations and Doctoral Studies

In the United States, national and state legislative mandates have forced school districts to include student growth measures in teacher evaluation systems. However, statistical models for monitoring student growth on standardized tests have not been found to foster teachers’ reflective practice or pedagogical content knowledge and goal-based models have been found to lack adequate structure for supporting implementation. This basic qualitative inquiry explored how teachers perceive using standards-based rubrics to monitor student growth for teacher evaluation influences their reflective practice and pedagogical content knowledge in mathematics. Nine teachers who have used standards-based rubrics to monitor student growth were recruited through …

Supporting Student Success And Persistence In Stem With Active Learning Approaches In Emerging Scholars Classrooms, David Miller, Jessica Deshler, Tim Mceldowney, John Stewart, Edgar Fuller, Matt Pascal, Lynnette Michaluk

Faculty & Staff Scholarship

Over the last several decades, Emerging Scholars Programs (ESPs) have incorporated active learning strategies and challenging problems into collegiate mathematics, resulting in students, underrepresented minority (URM) students in particular, earning at least half of a letter grade higher than other students in Calculus. In 2009, West Virginia University (WVU) adapted ESP models for use in Calculus I in an effort to support the success and retention of URM STEM students by embedding group and inquiry-based learning into a designated section of Calculus I. Seats in the class were reserved for URM and first- generation students. We anticipated that supporting students …

Exploring Plane Partitions, Nicholas Heim

Williams Honors College, Honors Research Projects

The combinatorial theory of partitions has a number of applications including the representation theory of the symmetric group. A particularly important result counts the number of standard Young tableau of a given partition in terms of the hook lengths of the partition. In this paper we explore the analog of the hook length formula for plane partitions, the three-dimensional analog of ordinary partitions. We show that equality does not always hold but we conjecture that a certain inequality holds. Using a computer program, we verify this conjectured inequality for all 1982 plane partitions up to n = 11.

Predicting Carcass Cut Yields In Cattle From Digitalimages Using Artificial Intelligence, Darragh Matthews

Theses

Beef carcass classification in Europe is predicated on the EUROP grid for both fatness and conformation. Although this system performs well for grouping visually similar carcasses, it cannot be used to accurately predict meat yields from these groups, especially when considered on an individual cut level. Deep Learning (DL) has proven to be a successful tool for many image classification problems but has yet to be fully proven in a regression scenario using carcass images. Here we have trained DL models to predict carcass cut yields and compared predictions to more standard machine learning (ML) methods. Three approaches were undertaken …

Tilings With Congruent Edge Coronae, Ma. Louise Antonette N. De Las Peñas, Mark D. Tomenes

Mathematics Faculty Publications

In this paper, we discuss properties of a normal tiling of the Euclidean plane with congruent edge coronae. We prove that the congruence of the first edge coronae is enough to say that the tiling is isotoxal.

Using Mobile Technology To Promote Higher-Order Thinking Skills In Elementary Mathematics, Debbie Marie Versoza, Ma. Louise Antonette N. De Las Peñas, Jumela F. Sarmiento, Maria Alva Q. Aberin, Mark Anthony C. Tolentino, Mark L. Loyola

Mathematics Faculty Publications

The problem of rote-based learning in mathematics is well documented. Mobile technology can provide a potential solution, especially when application (app) design is based on sound pedagogical principles and gamification elements. However, an inventory of available mobile apps for mathematics reveals that many of the available apps are guided by a behaviorist perspective that favors repetition over meaningful learning. This paper reports on the design of mobile mathematics apps that harness gamification techniques to promote higher-order thinking skills (HOTS) even in basic elementary school concepts such as number comparison, and addition and subtraction. The integration of these apps in the …

Quandles With Orbit Series Conditions, Alissa Crans

Mathematics, Statistics and Data Science Faculty Works

We introduce the notion of an orbit series in a quandle. Using this notion we define four families of quandles based on finiteness conditions on their orbit series. Intuitively, the classes tOS and tOSn correspond to finitary compositions of trivial quandles while the classes OS and OSn correspond to finitary compositions of connected quandles. We study properties of these four families of quandles and explore their relationships with several previously studied families of quandles: reductive, n-reductive, locally reductive, n-locally reductive, and solvable quandles

Integer Partitions Under Certain Finiteness Conditions, Tim Wagner

Dissertations, Master's Theses and Master's Reports

This dissertation focuses on problems related to integer partitions under various finiteness restrictions. Much of our work involves the collection of partitions fitting inside a fixed partition $\lambda$, and the associated generating function $G_{\lambda}$.

In Chapter 2, we discuss the flawlessness of such generating functions, as proved by Pouzet using the Multicolor Theorem. We give novel applications of the Multicolor Theorem to re-prove flawlessness of pure $O$-sequences, and show original flawlessness results for other combinatorial sequences. We also present a linear-algebraic generalization of the Multicolor Theorem that may have far-reaching applications.

In Chapter 3, we extend a technique due to …

On The Lagrangian Description And Uniqueness For The One-Dimensional Pressureless Euler System, Mark David Suder

Graduate Theses, Dissertations, and Problem Reports (ETD)

In this work we show that the one-dimensional pressureless Euler system admits a Lagragian characterization under fairly general initial conditions, extending recent results by Hynd [7]. Moreover, we show that if the initial velocity is right-continuous and bounded, then we have uniqueness of this Lagrangian solution (called Sticky Particles Flow, or SPF solution), which coincides with the Scalar Conservation Laws (or SCL) solution. An important tool we employed in order to prove existence is a result by Gangbo et al. [5], which establishes a canonical (i.e. the flow is given by the optimal maps pushing the Lebesgue measure restricted to …

Remediation Of Spatial Skills In First Semester Calculus Using Haptics-Based Applications, Kristen L. Murphy

Graduate Theses, Dissertations, and Problem Reports (ETD)

Spatial reasoning is required for many topics in undergraduate mathematics as well as other STEM fields. In calculus specifically, there are few interventions that assess students’ spatial skills and provide remediation. Haptic technology is a novel approach to spatial skills remediation due to its unfamiliarity to students and its flexibility with regard to models. The purpose of this dissertation is two-fold: first, to determine what level of spatial abilities students possess upon entering an undergraduate calculus course, and second, to determine whether haptic feedback will enhance an intervention for improving spatial skills.

The dissertation research was a mixed-methods study using …

Analyzing Applied Calculus Student Understanding Of Definite Integrals In Real-Life Applications, Cody Hood

Graduate Theses, Dissertations, and Problem Reports (ETD)

An individual’s knowledge of definite integrals can range from rote memorization to a strong foundational connection harkening back to its Riemann sum limit definition. In my research, I conducted seven task-based face-to-face interviews with Applied Calculus students. Through the use of real-life examples and guided reinvention, I analyzed ways in which these students, who all initially demonstrated rote memorization, could exhibit a Riemann sum based level of comprehension. This research was conducted in the confines of a student population with definite integral experience, but no formal instruction on limits. My results show that the lack of computational emphasis in class …

Algebraic, Analytic, And Combinatorial Properties Of Power Product Expansions In Two Independent Variables., Mohamed Ammar Elewoday

Graduate Theses, Dissertations, and Problem Reports (ETD)

Let $F(x,y)=I+\hspace{-.3cm}\sum\limits_{\substack{p=1\\m+n=p}}^{\infty}\hspace{-.3cm}A_{m,n}x^my^n$ be a formal power series, where the coefficients $A_{m,n}$ are either all matrices or all scalars. We expand $F(x,y)$ into the formal products $\prod\limits_{\substack{p=1\\m+n=p}}^{\infty}\hspace{-.3cm}(I+G_{m,n}x^m y^n)$, $\prod\limits_{\substack{p=1\\m+n=p}}^{\infty}\hspace{-.3cm}(I-H_{m,n}x^m y^n)^{-1}$, namely the \textit{ power product expansion in two independent variables} and \textit{inverse power product expansion in two independent variables} respectively. By developing new machinery involving the majorizing infinite product, we provide estimates on the domain of absolute convergence of the infinite product via the Taylor series coefficients of $F(x,y)$. This machinery introduces a myriad of "mixed expansions", uncovers various algebraic connections between the $(A_{m,n})$ and the $(G_{m,n})$, and uncovers various algebraic …

Heterogeneous Generalizations Of Vertex Coloring, Lucia Ciletti Mazza

Graduate Theses, Dissertations, and Problem Reports (ETD)

This dissertation proves a collection of results in some heterogeneous generalizations of vertex coloring, i.e. generalizations in which the relationship between the colors of two adjacent vertices may differ throughout the graph. For the most part, the results are from group coloring, group list coloring, and DP coloring. The main results are as follows: a group list coloring analogue of Brooks' Theorem for multigraphs, a result linking group structure (rather than only group size) with group coloring, some results involving coloring edge-disjoint unions, and an examination of the relationship between the group and DP coloring numbers of a multigraph and …

An Algorithm To Compute Cvts For Finitely Generated Cantor Distributions, Carl P. Dettmann, Mrinal Kanti Roychowdhury

School of Mathematical & Statistical Sciences Faculty Publications

Centroidal Voronoi tessellations (CVTs) are Voronoi tessellations of a region such that the generating points of the tessellations are also the centroids of the corresponding Voronoi regions with respect to a given probability measure. CVT is a fundamental notion that has a wide spectrum of applications in computational science and engineering. In this paper, an algorithm is given to obtain the CVTs with n-generators to level m, for any positive integers m and n, of any Cantor set generated by a pair of self-similar mappings given by S1(x)=r1x and S2(x)=r2x+(1−r2) for x∈R, where r1,r2>0 and r1+r20 and p1+p2=1.

Analysis Of Intervention Effectiveness Using Early Outbreak Transmission Dynamics To Guide Future Pandemic Management And Decision-Making In Kuwait, Michael G. Tyshenko, Tamer Oraby, Joseph C. Longenecker, Harri Vainio, Janvier Gasana, Walid Q. Alali, Mohammad Alseaidan, Susie Elsaadany, Mustafa Al-Zoughool

School of Mathematical & Statistical Sciences Faculty Publications

Severe Acute Respiratory Syndrome Coronavirus 2 (SARS-CoV-2) is a World Health Organization designated pandemic that can result in severe symptoms and death that disproportionately affects older patients or those with comorbidities. Kuwait reported its first imported cases of COVID-19 on February 24, 2020. Analysis of data from the first three months of community transmission of the COVID-19 outbreak in Kuwait can provide important guidance for decision-making when dealing with future SARS-CoV-2 epidemic wave management. The analysis of intervention scenarios can help to evaluate the possible impacts of various outbreak control measures going forward which aim to reduce the effective reproduction …