Mathematics Commons^™

Elliptic Curves, Trinity Mecklenburg

Electronic Theses, Projects, and Dissertations

The main focus of this paper is the study of elliptic curves, non-singular projective curves of genus 1. Under a geometric operation, the rational points E(Q) of an elliptic curve E form a group, which is a finitely-generated abelian group by Mordell’s theorem. Thus, this group can be expressed as the finite direct sum of copies of Z and finite cyclic groups. The number of finite copies of Z is called the rank of E(Q).

From John Tate and Joseph Silverman we have a formula to compute the rank of curves of the form …

Symmetric Presentations And Generation, Dustin J. Grindstaff

Electronic Theses, Projects, and Dissertations

The aim of this thesis is to generate original symmetric presentations for finite non-abelian simple groups. We will discuss many permutation progenitors, including but not limited to 2^*14 : D₂₈, 2^∗9 : 3^•(3²), 3^∗9 : 3^•(3²), 2^∗21 : (7X3) : 2 as well as monomial progenitors, including 7^∗5 :_m A₅, 3^∗5 :_m S₅. We have included their homomorphic images which include the Mathieu group M₁₂, 2^•J_{2 …}

Algebra 1 Students’ Ability To Relate The Definition Of A Function To Its Representations, Sarah A. Thomson

Electronic Theses, Projects, and Dissertations

One hundred high school Algebra students from a southern California school participated in this study to provide information on students’ ability to relate the definition of function to its representations. The goals of the study were (1) to explore the extent to which students are able to distinguish between representations of functions/non-functions; (2) to compare students’ ability to distinguish between familiar/unfamiliar representations of functions/non-functions; (3) to explore the extent to which students are able to apply the definition of function to verify function representations; and (4) to explore the extent to which students are able to provide an adequate definition …

Commutative N-Ary Arithmetic, Aram Bingham

LSU New Orleans Theses and Dissertations

Motivated by primality and integer factorization, this thesis introduces generalizations of standard binary multiplication to commutative n-ary operations based upon geometric construction and representation. This class of operations are constructed to preserve commutativity and identity so that binary multiplication is included as a special case, in order to preserve relationships with ordinary multiplicative number theory. This leads to a study of their expression in terms of elementary symmetric polynomials, and connections are made to results from the theory of polyadic (n-ary) groups. Higher order operations yield wider factorization and representation possibilities which correspond to reductions in the set of primes …

Video Event Understanding With Pattern Theory, Fillipe Souza, Sudeep Sarkar, Anuj Srivastava, Jingyong Su

MODVIS Workshop

We propose a combinatorial approach built on Grenander’s pattern theory to generate semantic interpretations of video events of human activities. The basic units of representations, termed generators, are linked with each other using pairwise connections, termed bonds, that satisfy predefined relations. Different generators are specified for different levels, from (image) features at the bottom level to (human) actions at the highest, providing a rich representation of items in a scene. The resulting configurations of connected generators provide scene interpretations; the inference goal is to parse given video data and generate high-probability configurations. The probabilistic structures are imposed using energies that …

Geometry Of Hilbert Space Frames, Stephen Sorokanich Iii

Renée Crown University Honors Thesis Projects - All

In applied linear algebra, the term frame is used to refer to a redundant or linearly dependent coordinate system. The concept was introduced in the study of Fourier series and is pertinent in signal processing, where the reconstruction property for finite frames allows for redundant transmission of data to guard against losses due to noise. We give a brief introduction to the theory of finite frames in Section 1, including the major results that allow for the easy construction and description of frames. The subsequent sections relate to the theoretical importance of frames. As a natural extension of the definition …

Invariant Basis Number And Basis Types For C*-Algebras, Philip M. Gipson

Department of Mathematics: Dissertations, Theses, and Student Research

We develop the property of Invariant Basis Number (IBN) in the context of C*-algebras and their Hilbert modules. A complete K-theoretic characterization of C*- algebras with IBN is given. A scheme for classifying C*-algebras which do not have IBN is given and we prove that all such classes are realized. We investigate the invariance of IBN, or lack thereof, under common C*-algebraic construction and perturbation techniques. Finally, applications of Invariant Basis Number to the study of C*-dynamical systems and the classification program are investigated.

Adviser: David Pitts

Student Understanding Of Function And Success In Calculus, Daniel I. Drlik

Boise State University Theses and Dissertations

The purpose of this study was to determine if there is a relationship between student success in calculus and student understanding of function. Student understanding of function was measured using two questionnaires, one of which is a modification of an existing measure based on APOS theory. The other I developed with items from the concept image literature. The participants of this study were 116 high school students who were enrolled in a first-year calculus course. The results of the questionnaires were aligned to course exam scores to determine connections between function understanding and rate of success in calculus.

A major …

Teaching Algebra: A Comparison Of Scottish And American Perspectives, Brittany Munro

Undergraduate Honors Theses

A variety of factors influence what teaching strategies an educator uses. I analyze survey responses from algebra teachers in Scotland and Appalachia America to discover how a teacher's perception of these factors, particularly their view of mathematics itself, determines the pedagogical strategies employed in the classroom.

Knörrer Periodicity And Bott Periodicity, Michael K. Brown

Department of Mathematics: Dissertations, Theses, and Student Research

The main goal of this dissertation is to explain a precise sense in which Knörrer periodicity in commutative algebra is a manifestation of Bott periodicity in topological K-theory. In Chapter 2, we motivate this project with a proof of the existence of an 8-periodic version of Knörrer periodicity for hypersurfaces defined over the real numbers. The 2- and 8-periodic versions of Knörrer periodicity for complex and real hypersurfaces, respectively, mirror the 2- and 8-periodic versions of Bott periodicity in KU- and KO-theory. In Chapter 3, we introduce the main tool we need to demonstrate the compatibility between Knörrer …

Solving Ordinary Differential Equations Using Differential Forms And Lie Groups, Richard M. Shumate

Senior Honors Theses

Differential equations have bearing on practically every scientific field. Though they are prevalent in nature, they can be challenging to solve. Most of the work done in differential equations is dependent on the use of many methods to solve particular types of equations. Sophus Lie proposed a modern method of solving ordinary differential equations in the 19th century along with a coordinate free variation of finding the infinitesimal generator by combining the influential work of Élie Cartan among others in the field of differential geometry. The driving idea behind using symmetries to solve differential equations is that there exists a …

My Math Gps: Elementary Algebra Guided Problem Solving, Jonathan Cornick, G Michael Guy, Karan Puri

Open Educational Resources

My Math GPS: Elementary Algebra Guided Problem Solving is a textbook that aligns to the CUNY Elementary Algebra Learning Objectives that are tested on the CUNY Elementary Algebra Final Exam (CEAFE). This book contextualizes arithmetic skills into Elementary Algebra content using a problem-solving pedagogy. Classroom assessments and online homework are available from the authors. In a paper to appear in PRIMUS, this textbook and accompanying pedagogy showed significant increases in learning outcomes.

Hurwitz's Theorem, Marianna Malek

Masters Essays

No abstract provided.

Betti Sequences Over Local Rings And Connected Sums Of Gorenstein Rings, Zheng Yang

Department of Mathematics: Dissertations, Theses, and Student Research

This thesis consists of two parts:

1) Polynomial growth of Betti sequences over local rings (Chapter 2),

2) Connected sums of Gorenstein rings (Chapter 3).

Chapter 1 gives an introduction for the two topics discussed in this thesis.

The first part of the thesis deals with modules over complete intersections using free resolutions. The asymptotic patterns of the Betti sequences of the finitely generated modules over a local ring R reflect and affect the singularity of R. Given a commutative noetherian local ring and an integer c, sufficient conditions and necessary conditions are obtained for all Betti sequences …

Global Holomorphic Functions In Several Noncommuting Variables, Jim Agler, John E. Mccarthy

Mathematics Faculty Research

We define a free holomorphic function to be a function that is locally, with respect to the free topology, a bounded nc-function. We prove that free holomorphic functions are the functions that are locally uniformly approximable by free polynomials. We prove a realization formula and an Oka-Weil theorem for free analytic functions.

On The Fattening Of Lines In P3, Mike Janssen

Faculty Work Comprehensive List

We follow the lead of Bocci and Chiantini and show how differences in the invariant alpha can be used to classify certain classes of subschemes of P^3. Specifically, we will seek to classify arithmetically Cohen-Macaulay codimension 2 subschemes of P^3 in the manner Bocci and Chiantini classified points in P^2. The first section will seek to motivate our consideration of the invariant alpha by relating it to the Hilbert function and gamma, following the work of Bocci and Chiantini, and Dumnicki, et. al. The second section will contain our results classifying arithmetically Cohen-Macaulay codimension 2 subschemes of P^3. This work …

Symmetric Presentations And Related Topics, Mashael U. Alharbi

Electronic Theses, Projects, and Dissertations

In this thesis, we have presented our discovery of symmetric presentations of a number of non-abelian simple groups, including the Mathieu group M₁₂. We have given several progenitors, permutation and monomial, including 2*⁴:(2²:3), 2*⁵:D₁₀, 2*⁸:((4X2).D₄), 3*⁷:_m L₂(7), 2*⁶:(Z₃ wr Z₂), and 2*²⁴: (2^. A₅) and their homomorphic images which include 4.(M₁₂:2), the group of automorphisms of M₁₂ and several classical groups. We have given the isomorphism type of …

A Fundamental Unit Of O_K, Susana L. Munoz

Electronic Theses, Projects, and Dissertations

In the classical case we make use of Pells equation to compute units in the ring O_F. Consider the parallel to the classical case and the quadratic field extension that creates the ring O_K. We use the generalized Pell's equation to find the units in this ring since they are solutions. Through the use of continued fractions we may further characterize this ring and compute its units.

Non-Isomorphic Real Simple Lie Algebras Of The Same Complex Type And Character, Ian M. Anderson

Tutorials on... in 1 hour or less

Complex simple Lie algebras are classified by their root types. The type of a real simple Lie algebra is the root type of the associated complex algebra. The character of a real simple Lie algebra is the signature of its Killing form.

For many root types, the character is sufficient to uniquely classify the corresponding real Lie algebras. However, one should not take this statement to be literally true – there are a few cases where the character does not suffice to distinguish all possible real forms.

In this worksheet we will show that the 2 real non-isomorphic Lie algebras …

My Finite Field, Matthew Schroeder

Journal of Humanistic Mathematics

A love poem written in the language of mathematics.

A Rank 7 Pfaffian System On A 15-Dimensional Manifold With F4 Symmetry Algebra, Ian M. Anderson

Tutorials on... in 1 hour or less

Let I be a differential system on a manifold M. The infinitesimal symmetry algebra of I is the set of all vectors fields X on M such that preserve I. In this worksheet we present an example, due to E. Cartan of a rank 7 Pfaffian system on a 15-dimensional manifold whose infinitesimal symmetry algebra is the split real form of the exceptional Lie algebra f4 .

Cartan Involutions And Cartan Decompositions Of A Semi-Simple Lie Algebra, Ian M. Anderson

Tutorials on... in 1 hour or less

In this worksheet we shall review the basic definitions and properties of Cartan involutions and Cartan decompositions and illustrate these using the DifferentialGeometry software package for Lie algebras.

Multiplication Rules For Schur And Quasisymmetric Schur Functions, Jennifer Anderson

Theses, Dissertations and Capstones

An important problem in algebraic combinatorics is finding expansions of products of symmetric functions as sums of symmetric functions. Schur functions form a well-known basis for the ring of symmetric functions. The Littlewood-Richardson rule was introduced to expand the product of two Schur functions as a positive sum of Schur functions. Remmel and Whitney introduced an algorithmic way to find the coefficients of Schur functions appearing in the expansion. Haglund et al. introduced quasisymmetric Schur functions as a refinement of Schur functions. For quasisymmetric Schur functions, the Littlewood-Richardson rule was introduced to expand the product of a Schur and quasisymmetric …

Polynomials Occuring In Generating Function Identities For B-Ary Partitions, David Dakota Blair

Graduate Student Publications and Research

Let p_b(n) be the number of integer partitions of n whose parts are powers of b. For each m there is a generating function identity:

f_m(b,q)\sum_{n} p_b(n) q^n = (1-q)^m \sum_{n} p_b(b^m n q)q^n

where n ranges over all integer values. The proof of this identity appears in the doctoral thesis of the author. For more information see http://dakota.tensen.net/2015/rp/.

This dataset is a JSON object with keys m from 1 to 23 whose values are f_m(b,q).

The Module Isomorphism Problem Reconsidered, Peter A. Brooksbank

Faculty Journal Articles

Algorithms to decide isomorphism of modules have been honed continually over the last 30 years, and their range of applicability has been extended to include modules over a wide range of rings. Highly efficient computer implementations of these algorithms form the bedrock of systems such as GAP and MAGMA, at least in regard to computations with groups and algebras. By contrast, the fundamental problem of testing for isomorphism between other types of algebraic structures -- such as groups, and almost any type of algebra -- seems today as intractable as ever. What explains the vastly different complexity status of the …

Approximation Of Nested Fixpoints, Alexander Kurz

Engineering Faculty Articles and Research

The question addressed in this paper is how to correctly approximate infinite data given by systems of simultaneous corecursive definitions. We devise a categorical framework for reasoning about regular datatypes, that is, datatypes closed under products, coproducts and fixpoints. We argue that the right methodology is on one hand coalgebraic (to deal with possible nontermination and infinite data) and on the other hand 2-categorical (to deal with parameters in a disciplined manner). We prove a coalgebraic version of Bekic lemma that allows us to reduce simultaneous fixpoints to a single fix point. Thus a possibly infinite object of interest is …

Presenting Distributive Laws, Marcello M. Bonsangue, Helle H. Hansen, Alexander Kurz, Jurriaan Rot

Engineering Faculty Articles and Research

Distributive laws of a monad T over a functor F are categorical tools for specifying algebra-coalgebra interaction. They proved to be important for solving systems of corecursive equations, for the specification of well-behaved structural operational semantics and, more recently, also for enhancements of the bisimulation proof method. If T is a free monad, then such distributive laws correspond to simple natural transformations. However, when T is not free it can be rather difficult to prove the defining axioms of a distributive law. In this paper we describe how to obtain a distributive law for a monad with an equational presentation …

The Central Hankel Transform, Matthew J. Levine

Honors Theses

This honors thesis presents the Hankel transform on an integer sequence, a function with colorful mathematical history and rich theoretical background. We then introduce a matricial Toeplitz transform that parallels some of most famous qualities of the Hankel transform, especially when in consideration of popular sequences like the Fibonacci numbers. The result is a characterization of the injectivity of this new function, a description of some of its interesting behaviors, and a discussion of a few new Fibonacci identities.

Weak Parallelogram Laws On Banach Spaces And Applications To Prediction, William T. Ross, R. Cheng

Department of Math & Statistics Faculty Publications

This paper concerns a family of weak parallelogram laws for Banach spaces. It is shown that the familiar Lebesgue spaces satisfy a range of these inequalities. Connections are made to basic geometric ideas, such as smoothness, convexity, and Pythagorean-type theorems. The results are applied to the linear prediction of random processes spanning a Banach space. In particular, the weak parallelogram laws furnish coefficient growth estimates, Baxter-type inequalities, and criteria for regularity.

The Robinson-Schensted Correspondence And A2-Web Bases, Heather M. Russell, Matthew Housley, Julianna Tymoczko

Department of Math & Statistics Faculty Publications

We study natural bases for two constructions of the irreducible representation of the symmetric group corresponding to [n; n; n]: the reduced web basis associated to Kuperberg's combinatorial description of the spider category; and the left cell basis for the left cell construction of Kazhdan and Lusztig. In the case of [n; n], the spider category is the Temperley-Lieb category; reduced webs correspond to planar matchings, which are equivalent to left cell bases. This paper compares the image of these bases under classical maps: the Robinson-Schensted algorithm between permutations and Young tableaux and Khovanov-Kuperberg's bijection between …