Other Mathematics Commons^™

Exact And Strongly Exact Filters, M. A. Moshier, A. Pultr, A. L. Suarez

Mathematics, Physics, and Computer Science Faculty Articles and Research

A meet in a frame is exact if it join-distributes with every element, it is strongly exact if it is preserved by every frame homomorphism. Hence, finite meets are (strongly) exact which leads to the concept of an exact resp. strongly exact filter, a filter closed under exact resp. strongly exact meets. It is known that the exact filters constitute a frame FiltE(L) somewhat surprisingly isomorphic to the frame of joins of closed sublocales. In this paper we present a characteristic of the coframe of meets of open sublocales as the dual to the frame of strongly exact filters FiltsE(L).

On The Extension Of Positive Definite Kernels To Topological Algebras, Daniel Alpay, Ismael L. Paiva

Mathematics, Physics, and Computer Science Faculty Articles and Research

We define an extension of operator-valued positive definite functions from the real or complex setting to topological algebras and describe their associated reproducing kernel spaces. The case of entire functions is of special interest, and we give a precise meaning to some power series expansions of analytic functions that appears in many algebras.

Acoustic Versus Electromagnetic Field Theory: Scalar, Vector, Spinor Representations And The Emergence Of Acoustic Spin, Lucas Burns, Konstantin Y. Bliokh, Franco Nori, Justin Dressel

Mathematics, Physics, and Computer Science Faculty Articles and Research

We construct a novel Lagrangian representation of acoustic field theory that describes the local vector properties of longitudinal (curl-free) acoustic fields. In particular, this approach accounts for the recently-discovered nonzero spin angular momentum density in inhomogeneous sound fields in fluids or gases. The traditional acoustic Lagrangian representation with a scalar potential is unable to describe such vector properties of acoustic fields adequately, which are however observable via local radiation forces and torques on small probe particles. By introducing a displacement vector potential analogous to the electromagnetic vector potential, we derive the appropriate canonical momentum and spin densities as conserved Noether …

Structure Theorems For Idempotent Residuated Lattices, José Gil-Férez, Peter Jipsen, George Metcalfe

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we study structural properties of residuated lattices that are idempotent as monoids. We provide descriptions of the totally ordered members of this class and obtain counting theorems for the number of finite algebras in various subclasses. We also establish the finite embeddability property for certain varieties generated by classes of residuated lattices that are conservative in the sense that monoid multiplication always yields one of its arguments. We then make use of a more symmetric version of Raftery’s characterization theorem for totally ordered commutative idempotent residuated lattices to prove that the variety generated by this class has …

Ziplines And Stuntwork, Kelly W. Remijan

Teacher Resources

This activity involves an engineering activity which connects the work of stuntmen/stuntwomen working with ziplines to the concept of linear functions. Students create a physical model replicating a given situation and then model the zipline algebraically by writing the equation of the zipline.

Extension Of Hypergraph To N-Superhypergraph And To Plithogenic N-Superhypergraph, And Extension Of Hyperalgebra To N-Ary (Classical-/Neutro-/Anti-)Hyperalgebra, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

We recall and improve our 2019 concepts of n-Power Set of a Set, n-SuperHyperGraph, Plithogenic n-SuperHyperGraph, and n-ary HyperAlgebra, n-ary NeutroHyperAlgebra, n-ary AntiHyperAlgebra respectively, and we present several properties and examples connected with the real world.

Neutro-Bck-Algebra, Florentin Smarandache, Mohammad Hamidi

Branch Mathematics and Statistics Faculty and Staff Publications

This paper introduces the novel concept of Neutro-BCK-algebra. In Neutro-BCK-algebra, the outcome of any given two elements under an underlying operation (neutro-sophication procedure) has three cases, such as: appurtenance, non-appurtenance, or indeterminate. While for an axiom: equal, non-equal, or indeterminate. This study investigates the Neutro-BCK-algebra and shows that Neutro-BCK-algebra are different from BCK-algebra. The notation of Neutro-BCK-algebra generates a new concept of NeutroPoset and Neutro-Hass-diagram for NeutroPosets. Finally, we consider an instance of applications of the Neutro-BCK-algebra.

On Neutro-Be-Algebras And Anti-Be-Algebras, Florentin Smarandache, Akbar Rezaei

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper, the concepts of Neutro-BE-algebra and Anti-BE-algebra are introduced, and some related properties and four theorems are investigated. We show that the classes of Neutro-BE-algebra and Anti-BE-algebras are alternatives of the class of BE-algebras.

Generalizations And Alternatives Of Classical Algebraic Structures To Neutroalgebraic Structures And Antialgebraic Structures, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we present the development from paradoxism to neutrosophy, which gave birth to neutrosophic set and logic and especially to NeutroAlgebraic Structures (or NeutroAlgebras) and AntiAlgebraic Structures (or AntiAlgebras) that are generalizations and alternatives of the classical algebraic structures.

Stationary Distribution Of Recombination On 4x4 Grid Graph As It Relates To Gerrymandering, Camryn Hollarsmith

Scripps Senior Theses

A gerrymandered political districting plan is used to benefit a group seeking to elect more of their own officials into office. This practice happens at the city, county and state level. A gerrymandered plan can be strategically designed based on partisanship, race, and other factors. Gerrymandering poses a contradiction to the idea of “one person, one vote” ruled by the United States Supreme Court case Reynolds v. Sims (1964) because it values one demographic’s votes more than another’s, thus creating an unfair advantage and compromising American democracy. To prevent the practice of gerrymandering, we must know how to detect a …

Codes, Cryptography, And The Mceliece Cryptosystem, Bethany Matsick

Senior Honors Theses

Over the past several decades, technology has continued to develop at an incredible rate, and the importance of properly securing information has increased significantly. While a variety of encryption schemes currently exist for this purpose, a number of them rely on problems, such as integer factorization, that are not resistant to quantum algorithms. With the reality of quantum computers approaching, it is critical that a quantum-resistant method of protecting information is found. After developing the proper background, we evaluate the potential of the McEliece cryptosystem for use in the post-quantum era by examining families of algebraic geometry codes that allow …

On The Bures–Wasserstein Distance Between Positive Definite Matrices, Rajendra Bhatia, T. Jain, Yongdo Lim

Journal Articles

The metric d(A,B)=trA+trB−2tr(A1∕2BA1∕2)1∕21∕2 on the manifold of n×n positive definite matrices arises in various optimisation problems, in quantum information and in the theory of optimal transport. It is also related to Riemannian geometry. In the first part of this paper we study this metric from the perspective of matrix analysis, simplifying and unifying various proofs. Then we develop a theory of a mean of two, and a barycentre of several, positive definite matrices with respect to this metric. We explain some recent work on a fixed point iteration for computing this Wasserstein barycentre. Our emphasis is on ideas natural to …

Analogues Between Leibniz's Harmonic Triangle And Pascal's Arithmetic Triangle, Lacey Taylor James

Electronic Theses, Projects, and Dissertations

This paper will discuss the analogues between Leibniz's Harmonic Triangle and Pascal's Arithmetic Triangle by utilizing mathematical proving techniques like partial sums, committees, telescoping, mathematical induction and applying George Polya's perspective. The topics presented in this paper will show that Pascal's triangle and Leibniz's triangle both have hockey stick type patterns, patterns of sums within shapes, and have the natural numbers, triangular numbers, tetrahedral numbers, and pentatope numbers hidden within. In addition, this paper will show how Pascal's Arithmetic Triangle can be used to construct Leibniz's Harmonic Triangle and show how both triangles relate to combinatorics and arithmetic through the …

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.

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 …

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.

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.

Special Issue: New Types Of Neutrosophic Set/Logic/Probability, Neutrosophic Over-/Under-/ Off-Set, Neutrosophic Refined Set, And Their Extension To Plithogenic Set/Logic/ Probability, With Applications, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Special Subset Vertex Multisubgraphs For Multi Networks, Florentin Smarandache, W.B. Vasantha Kandasamy, Ilanthenral K

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors study special type of subset vertex multi subgraphs; these multi subgraphs can be directed or otherwise. Another special feature of these subset vertex multigraphs is that we are aware of the elements in each vertex set and how it affects the structure of both subset vertex multisubgraphs and edge multisubgraphs. It is pertinent to record at this juncture that certain ego centric directed multistar graphs become empty on the removal of one edge, there by theorising the importance, and giving certain postulates how to safely form ego centric multi networks. Given any subset vertex multigraph we …

Special Issue: Algebraic Structures Of Neutrosophic Triplets, Neutrosophic Duplets, Or Neutrosophic Multisets, Vol. Ii, Florentin Smarandache, Xiaohong Zhang, Mumtaz Ali

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

About A Non-Standard Interpolation Problem, Daniel Alpay, Alain Yger

Mathematics, Physics, and Computer Science Faculty Articles and Research

Using algebraic methods, and motivated by the one variable case, we study a multipoint interpolation problem in the setting of several complex variables. The duality realized by the residue generator associated with an underlying Gorenstein algebra, using the Lagrange interpolation polynomial, plays a key role in the arguments.

Developments In Multivariate Post Quantum Cryptography., Jeremy Robert Vates

Electronic Theses and Dissertations

Ever since Shor's algorithm was introduced in 1994, cryptographers have been working to develop cryptosystems that can resist known quantum computer attacks. This push for quantum attack resistant schemes is known as post quantum cryptography. Specifically, my contributions to post quantum cryptography has been to the family of schemes known as Multivariate Public Key Cryptography (MPKC), which is a very attractive candidate for digital signature standardization in the post quantum collective for a wide variety of applications. In this document I will be providing all necessary background to fully understand MPKC and post quantum cryptography as a whole. Then, I …

Supporting English Language Learners Inside The Mathematics Classroom: One Teacher’S Unique Perspective Working With Students During Their First Years In America, Amy Marie Fendrick

Research and Evaluation in Education, Technology, Art, and Design

Reflecting upon my personal experiences teaching mathematics to English Language Learners (ELL) in a public high school in Lincoln, Nebraska, this essay largely focuses on the time I spent as the only Accelerated Math teacher in my school building. From 2012 – 2017, I taught three different subjects at this high school: Advanced Algebra, Algebra, and Accelerated Math. This essay highlights why I chose to become a math and ELL teacher, as well as the challenges, issues, struggles, and successes I experienced during my time teaching. I focus on the challenges I faced teaching students who did not share my …

Nonassociative Right Hoops, Peter Jipsen, Michael Kinyon

Mathematics, Physics, and Computer Science Faculty Articles and Research

The class of nonassociative right hoops, or narhoops for short, is defined as a subclass of right-residuated magmas, and is shown to be a variety. These algebras generalize both right quasigroups and right hoops, and we characterize the subvarieties in which the operation x ^^ y = (x/y)y is associative and/or commutative. Narhoops with a left unit are proved to be integral if and only if ^ is commutative, and their congruences are determined by the equivalence class of the left unit. We also prove that the four identities defining narhoops are independent.

Cayley Graphs Of Psl(2) Over Finite Commutative Rings, Kathleen Bell

Masters Theses & Specialist Projects

Hadwiger's conjecture is one of the deepest open questions in graph theory, and Cayley graphs are an applicable and useful subtopic of algebra.

Chapter 1 will introduce Hadwiger's conjecture and Cayley graphs, providing a summary of background information on those topics, and continuing by introducing our problem. Chapter 2 will provide necessary definitions. Chapter 3 will give a brief survey of background information and of the existing literature on Hadwiger's conjecture, Hamiltonicity, and the isoperimetric number; in this chapter we will explore what cases are already shown and what the most recent results are. Chapter 4 will give our decomposition …

Distributive Lattice Models Of The Type C One-Rowed Weyl Group Symmetric Functions, William Atkins

Murray State Theses and Dissertations

We present two families of diamond-colored distributive lattices – one known and one new – that we can show are models of the type C one-rowed Weyl symmetric functions. These lattices are constructed using certain sequences of positive integers that are visualized as filling the boxes of one-rowed partition diagrams. We show how natural orderings of these one-rowed tableaux produce our distributive lattices as sublattices of a more general object, and how a natural coloring of the edges of the associated order diagrams yields a certain diamond-coloring property. We show that each edge-colored lattice possesses a certain structure that is …

On Spectral Theorem, Muyuan Zhang

Honors Theses

There are many instances where the theory of eigenvalues and eigenvectors has its applications. However, Matrix theory, which usually deals with vector spaces with finite dimensions, also has its constraints. Spectral theory, on the other hand, generalizes the ideas of eigenvalues and eigenvectors and applies them to vector spaces with arbitrary dimensions. In the following chapters, we will learn the basics of spectral theory and in particular, we will focus on one of the most important theorems in spectral theory, namely the spectral theorem. There are many different formulations of the spectral theorem and they convey the "same" idea. In …

Decoding Book Barcode Images, Yizhou Tao

CMC Senior Theses

This thesis investigated a method of barcode reconstruction to address the recovery of a blurred and convoluted one-dimensional barcode. There are a lot of types of barcodes used today, such as Code 39, Code 93, Code 128, etc. Our algorithm applies to the universal barcode, EAN 13. We extend the methodologies proposed by Iwen et al. (2013) in the journal article "A Symbol-Based Algorithm for Decoding barcodes." The algorithm proposed in the paper requires a signal measured by a laser scanner as an input. The observed signal is modeled as a true signal corrupted by a Gaussian convolution, additional noises, …