Mathematics Commons^™

One Teacher's Transformation Of Practice Through The Development Of Covariational Thinking And Reasoning In Algebra : A Self-Study, Jacqueline Dauplaise

Theses, Dissertations and Culminating Projects

CCSSM (2010) describes quantitative reasoning as expertise that mathematics educators should seek to develop in their students. Researchers must then understand how to develop covariational reasoning. The problem is that researchers draw from students’ dialogue as the data for understanding quantitative relationships. As a result, the researcher can only conceive the students’ reasoning. The objective of using the self-study research methodology is to examine and improve existing teaching practices. To improve my practice, I reflected upon the implementation of my algebra curriculum through a hermeneutics cycle of my personal history and living educational theory. The critical friend provoked through dialogues …

Taking Notes: Generating Twelve-Tone Music With Mathematics, Nathan Molder

Electronic Theses and Dissertations

There has often been a connection between music and mathematics. The world of musical composition is full of combinations of orderings of different musical notes, each of which has different sound quality, length, and em phasis. One of the more intricate composition styles is twelve-tone music, where twelve unique notes (up to octave isomorphism) must be used before they can be repeated. In this thesis, we aim to show multiple ways in which mathematics can be used directly to compose twelve-tone musical scores.

Weyl Groups And The Nil-Hecke Algebra, Arta Holaj

Mathematics and Statistics

We begin this paper with a short survey on finite reflection groups. First we establish what a reflection in Euclidean space is. Then we introduce a root system, which is then partitioned into two sets: one of positive roots and one with negative roots. Th is articulates our understanding of groups generated by simple reflections. Furthermore, we develop our insight to Weyl groups and crystallographic groups before exploring crystallographic root systems. The section section of this paper examines the twisted group algebra along with the Demazure element Xi and the Demazure-Lusztig element Ti. Lastly, the third section of this paper …

A Differential Algebra Approach To Commuting Polynomial Vector Fields And To Parameter Identifiability In Ode Models, Peter Thompson

Dissertations, Theses, and Capstone Projects

In the first part, we study the problem of characterizing polynomial vector fields that commute with a given polynomial vector field. One motivating factor is that we can write down solution formulas for an ODE that corresponds to a planar vector field that possesses a linearly independent commuting vector field. This problem is also central to the question of linearizability of vector fields. We first show that a linear vector field admits a full complement of commuting vector fields. Then we study a type of planar vector field for which there exists an upper bound on the degree of a …

Understanding The Impact Of Peer-Led Workshops On Student Learning, Afolabi Ibitoye, Nadia Kennedy, Armando Cosme

Publications and Research

As students we often wonder why some subjects are easy to understand and requires not much effort in terms of re-reading the material, for us to grasp what it entails. One subject seems to remain elusive and uneasy for a vast majority of learners at all levels of education; that subject is Mathematics, it is one subject that most learners finds difficult even after doubling the amount of time spent on studying the material. My intention is to explore ways to make Mathematics easier for other students using feedback from students enrolled in NSF mathematics peer leading workshops, and use …

On The Complexity Of Computing Galois Groups Of Differential Equations, Mengxiao Sun

Dissertations, Theses, and Capstone Projects

The differential Galois group is an analogue for a linear differential equation of the classical Galois group for a polynomial equation. An important application of the differential Galois group is that a linear differential equation can be solved by integrals, exponentials and algebraic functions if and only if the connected component of its differential Galois group is solvable. Computing the differential Galois groups would help us determine the existence of the solutions expressed in terms of elementary functions (integrals, exponentials and algebraic functions) and understand the algebraic relations among the solutions.

Hrushovski first proposed an algorithm for computing the differential …

Analysis Of A Group Of Automorphisms Of A Free Group As A Platform For Conjugacy-Based Group Cryptography, Pavel Shostak

Dissertations, Theses, and Capstone Projects

Let F be a finitely generated free group and Aut(F) its group of automorphisms.

In this monograph we discuss potential uses of Aut(F) in group-based cryptography.

Our main focus is on using Aut(F) as a platform group for the Anshel-Anshel-Goldfeld protocol, Ko-Lee protocol, and other protocols based on different versions of the conjugacy search problem or decomposition problem, such as Shpilrain-Ushakov protocol.

We attack the Anshel-Anshel-Goldfeld and Ko-Lee protocols by adapting the existing types of the length-based attack to the specifics of Aut(F). We also present our own version of the length-based attack that significantly increases the attack' success …

An Anatomical And Functional Analysis Of Digital Arteries, Katie Highsmith

Student Scholar Showcase

Blood flow to the tissue of the hands and digits is efficiently regulated by vasoconstriction and vasodilation. Through a series of cadaveric dissection, we examined arteries in the hands and digits, including ulnar artery, radial artery, palmar arteries, and digital arteries, for their distribution (branching) patterns and morphological parameters (e.g., thickness, length between branches, external and internal diameters). Using data directly collected from three female cadavers as input variables to our mathematical model, we simulated vasoconstriction (-20% and -10% diameter) and vasodilation (+10% and +20 diameter) to evaluate the extent of changes in blood volume and flow within the arteries. …

Group Theoretical Analysis Of Arbitrarily Large, Colored Square Grids, Brett Ehrman

Student Scholar Showcase

In this research, we examine n x n grids whose individual squares are each colored with one of k distinct colors. We seek a general formula for the number of colored grids that are distinct up to rotations, reflections, and color reversals. We examine the problem using a group theoretical approach. We define a specific group action that allows us to incorporate Burnside’s Lemma, which leads us to the desired general results

Patterns, Symmetries, And Mathematical Structures In The Arts, Sarah C. Deloach

Honors College Theses

Mathematics is a discipline of academia that can be found everywhere in the world around us. Mathematicians and scientists are not the only people who need to be proficient in numbers. Those involved in social sciences and even the arts can benefit from a background in math. In fact, connections between mathematics and various forms of art have been discovered since as early as the fourth century BC. In this thesis we will study such connections and related concepts in mathematics, dances, and music.

How To Calculate Pi: Buffon's Needle (Non-Calculus Version), Dominic Klyve

Pre-calculus and Trigonometry

No abstract provided.

Greatest Common Divisor: Algorithm And Proof, Mary K. Flagg

Number Theory

No abstract provided.

Integrating Mathematics And Educational Robotics: Simple Motion Planning, Ronald I. Greenberg, George K. Thiruvathukal, Sara T. Greenberg

Computer Science: Faculty Publications and Other Works

This paper shows how students can be guided to integrate elementary mathematical analyses with motion planning for typical educational robots. Rather than using calculus as in comprehensive works on motion planning, we show students can achieve interesting results using just simple linear regression tools and trigonometric analyses. Experiments with one robotics platform show that use of these tools can lead to passable navigation through dead reckoning even if students have limited experience with use of sensors, programming, and mathematics.

Does Teaching The History Of Mathematics In High School Aid In Student Understanding?, Anne Campbell

Undergraduate Honors Thesis Projects

This research will study the effect teaching the history of mathematics in a high school classroom has on student understanding. To accomplish this, lessons both including and excluding historical background on different topics were taught in an Honors Algebra 2 class in the high school setting. This research aims to engage student learning and investigation of topics that normally do not draw a lot of student focus and spark a new or revived interest in mathematics for students by broadening lessons to include material of which students would not otherwise be exposed. The lessons themselves aim to engage other current …

Monoidal Supercategories And Superadjunction, Dene Lepine

Rose-Hulman Undergraduate Mathematics Journal

We define the notion of superadjunction in the context of supercategories. In particular, we give definitions in terms of counit-unit superadjunctions and hom-space superadjunctions, and prove that these two definitions are equivalent. These results generalize well-known statements in the non-super setting. In the super setting, they formalize some notions that have recently appeared in the literature. We conclude with a brief discussion of superadjunction in the language of string diagrams.

Strengthening Relationships Between Neural Ideals And Receptive Fields, Angelique Morvant

Rose-Hulman Undergraduate Mathematics Journal

Neural codes are collections of binary vectors that represent the firing patterns of neurons. The information given by a neural code C can be represented by its neural ideal J_C. In turn, the polynomials in J_C can be used to determine the relationships among the receptive fields of the neurons. In a paper by Curto et al., three such relationships, known as the Type 1-3 relations, were linked to the neural ideal by three if-and-only-if statements. Later, Garcia et al. discovered the Type 4-6 relations. These new relations differed from the first three in that they were …

Parametric Natura Morta, Maria C. Mannone

The Transdisciplinary STEAM+ Journal

Parametric equations can also be used to draw fruits, shells, and a cornucopia of a mathematical still life. Simple mathematics allows the creation of a variety of shapes and visual artworks, and it can also constitute a pedagogical tool for students.

Positivity, Rational Schur Functions, Blaschke Factors, And Other Related Results In The Grassmann Algebra, Daniel Alpay, Ismael L. Paiva, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

We begin a study of Schur analysis in the setting of the Grassmann algebra when the latter is completed with respect to the 1-norm. We focus on the rational case. We start with a theorem on invertibility in the completed algebra, and define a notion of positivity in this setting. We present a series of applications pertaining to Schur analysis, including a counterpart of the Schur algorithm, extension of matrices and rational functions. Other topics considered include Wiener algebra, reproducing kernels Banach modules, and Blaschke factors.

Logics For Rough Concept Analysis, Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis

Mathematics, Physics, and Computer Science Faculty Books and Book Chapters

Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough algebra counterparts of certain subclasses of rough formal contexts, and introduce proper display calculi for the logics associated with these varieties which are sound, complete, conservative and with uniform cut elimination and subformula property. These calculi modularly extend the multi-type calculi for rough algebras to a ‘nondistributive’ (i.e. general lattice-based) setting.

A Re-Emergent Analysis Of Early Algebraic Learning, Steven Boyce, Diana Moss

Extension Research

In this paper, we discuss a novel approach for collaborative retrospective analysis. One researcher was directly involved in a classroom teaching experiment, adopting an emergent perspective as an interpreter-witness of classroom interactions during a four-week algebra instructional unit with sixth-grade students. The other researcher experienced and analyzed the data in reverse chronological order. We describe how this re-emergent perspective revealed aspects of students’ early algebraic reasoning.

Positive And Generalized Positive Real Lemma For Slice Hyperholomorphic Functions, Daniel Alpay, Fabrizio Colombo, Izchak Lewkowicz, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we prove a quaternionic positive real lemma as well as its generalized version, in case the associated kernel has negative squares for slice hyperholomorphic functions. We consider the case of functions with positive real part in the half space of quaternions with positive real part, as well as the case of (generalized) Schur functions in the open unit ball.

Distribution Spaces And A New Construction Of Stochastic Processes Associated With The Grassmann Algebra, Daniel Alpay, Ismael L. Paiva, Daniele C. Struppa

Mathematics, Physics, and Computer Science Faculty Articles and Research

We associate with the Grassmann algebra a topological algebra of distributions, which allows the study of processes analogous to the corresponding free stochastic processes with stationary increments, as well as their derivatives.

The Explicit Formula And A Motivic Splitting, David P. Roberts

Mathematics Publications

We apply the Guinand-Weil-Mestre explicit formula to resolve two questions about how a certain hypergeometric motive splits into two irreducible motives.

Decidability For Residuated Lattices And Substructural Logics, Gavin St. John

Electronic Theses and Dissertations

We present a number of results related to the decidability and undecidability of various varieties of residuated lattices and their corresponding substructural logics. The context of this analysis is the extension of residuated lattices by various simple equations, dually, the extension of substructural logics by simple structural rules, with the aim of classifying simple equations by the decidability properties shared by their extensions. We also prove a number of relationships among simple extensions by showing the equational theory of their idempotent semiring reducts coincides with simple extensions of idempotent semirings. On the decidability front, we develop both semantical and syntactical …

Enhancing The Quandle Coloring Invariant For Knots And Links, Karina Elle Cho

HMC Senior Theses

Quandles, which are algebraic structures related to knots, can be used to color knot diagrams, and the number of these colorings is called the quandle coloring invariant. We strengthen the quandle coloring invariant by considering a graph structure on the space of quandle colorings of a knot, and we call our graph the quandle coloring quiver. This structure is a categorification of the quandle coloring invariant. Then, we strengthen the quiver by decorating it with Boltzmann weights. Explicit examples of links that show that our enhancements are proper are provided, as well as background information in quandle theory.

Spacetime Groups, Ian M. Anderson, Charles G. Torre

Publications

A spacetime group is a connected 4-dimensional Lie group G endowed with a left invariant Lorentz metric h and such that the connected component of the isometry group of h is G itself. The Newman-Penrose formalism is used to give an algebraic classification of spacetime groups, that is, we determine a complete list of inequivalent spacetime Lie algebras, which are pairs (g,η), with g being a 4-dimensional Lie algebra and η being a Lorentzian inner product on g. A full analysis of the equivalence problem for spacetime Lie algebras is given which leads to a completely algorithmic solution to the …

The State Of Lexicodes And Ferrers Diagram Rank-Metric Codes, Jared E. Antrobus

Theses and Dissertations--Mathematics

In coding theory we wish to find as many codewords as possible, while simultaneously maintaining high distance between codewords to ease the detection and correction of errors. For linear codes, this translates to finding high-dimensional subspaces of a given metric space, where the induced distance between vectors stays above a specified minimum. In this work I describe the recent advances of this problem in the contexts of lexicodes and Ferrers diagram rank-metric codes.

In the first chapter, we study lexicodes. For a ring R, we describe a lexicographic ordering of the left R-module Rⁿ. With this …

An Invitation To Linear Algebra, David N. Pham, Jonathon Funk, Wenjian Liu

Open Educational Resources

This is an OER textbook on linear algebra.

A (Co)Algebraic Approach To Hennessy-Milner Theorems For Weakly Expressive Logics, Zeinab Bakhtiari, Helle Hvid Hansen, Alexander Kurz

Engineering Faculty Articles and Research

"Coalgebraic modal logic, as in [9, 6], is a framework in which modal logics for specifying coalgebras can be developed parametric in the signature of the modal language and the coalgebra type functor T. Given a base logic (usually classical propositional logic), modalities are interpreted via so-called predicate liftings for the functor T. These are natural transformations that turn a predicate over the state space X into a predicate over TX. Given that T-coalgebras come with general notions of T-bisimilarity [11] and behavioral equivalence [7], coalgebraic modal logics are designed to respect those. In particular, if two states are behaviourally …

Basis Reduction In Lattice Cryptography, Raj Kane

Honors Theses

We develop an understanding of lattices and their use in cryptography. We examine how reducing lattice bases can yield solutions to the Shortest Vector Problem and the Closest Vector Problem.