Other Mathematics Commons^™

Computer Programming To Advance Gravitational Lensing, Alex Roche

Undergraduate Review

The purpose of this research was to create a computer code that would numerically test a Poisson equation relating the mass distribution of a lens galaxy cluster to weak gravitational shear. Einstein’s theory of general relativity predicts that space-time is bent by massive objects, and in weak gravitational lensing, galaxy clusters act as lenses. The observable result is that galaxies far behind the gravitational lens will appear slightly more elliptical than they actually are. The ellipticity of the background galaxies is quantifiable and is directly related to the weak gravitational shear, and the shear is used to determine the mass …

Chasing Squares [Pamphlet], Jeremiah Farrell

Scholarship and Professional Work - LAS

Pamphlet accompanying Jeremiah Farrell's mass-produced "Chasing Squares" puzzle.

Nightmares, Jeremiah Farrell, Karen Farrell

Scholarship and Professional Work - LAS

Jeremiah's puzzle "Nightmare", which was exchanged at the 2013 Washington, DC International Puzzle Party. 100 puzzle designers create 100 copies of their puzzle and pass it out at the party and exchange them. This puzzle was a special puzzle gift that was given to IPP32 exchangers by its designer, Jerry Farrell, in memory of longtime IPP member, Tom Rodgers, Jr.

Flying Saucer, Jeremiah Farrell, Karen Farrell

Scholarship and Professional Work - LAS

Jeremiah's puzzle "Flying Saucer", which was exchanged at the 2013 International Puzzle Party in Washington, DC. 100 puzzle designers create 100 copies of their puzzle and pass it out at the party and exchange them. This puzzle is also manufactured by Walter Hoppe as "Flying Saucer".

Invisibility: A Mathematical Perspective, Austin G. Gomez

CMC Senior Theses

The concept of rendering an object invisible, once considered unfathomable, can now be deemed achievable using artificial metamaterials. The ability for these advanced structures to refract waves in the negative direction has sparked creativity for future applications. Manipulating electromagnetic waves of all frequencies around an object requires precise and unique parameters, which are calculated from various mathemat- ical laws and equations. We explore the possible interpretations of these parameters and how they are implemented towards the construction of a suitable metamaterial. If carried out correctly, the wave will exit the metamaterial exhibiting the same behavior as when it had entered. …

Relation Lifting, With An Application To The Many-Valued Cover Modality, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jirí Velebil

Engineering Faculty Articles and Research

We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the existence of a distributive law of T over the “powerset monad” on categories, one is the preservation by T of “exactness” of certain squares. Both characterisations are generalisations of the “classical” results known for set functors: the first characterisation generalises the existence of a distributive law over the genuine powerset monad, the second generalises preservation of weak pullbacks.

The results presented in this paper …

Nominal Coalgebraic Data Types With Applications To Lambda Calculus, Alexander Kurz, Daniela Petrişan, Paula Severi, Fer-Jan De Vries

Engineering Faculty Articles and Research

We investigate final coalgebras in nominal sets. This allows us to define types of infinite data with binding for which all constructions automatically respect alpha equivalence. We give applications to the infinitary lambda calculus.

Nominal Computation Theory (Dagstuhl Seminar 13422), Mikołaj Bojanczyk, Bartek Klin, Alexander Kurz, Andrew M. Pitts

Engineering Faculty Articles and Research

This report documents the program and the outcomes of Dagstuhl Seminar 13422 “Nominal Computation Theory”. The underlying theme of the seminar was nominal sets (also known as sets with atoms or Fraenkel-Mostowski sets) and they role and applications in three distinct research areas: automata over infinite alphabets, program semantics using nominal sets and nominal calculi of concurrent processes.

Student Success In Subsequent Mathematics Courses After Taking Ma 004, Andrea Winchester

Summer Community of Scholars Posters (RCEU and HCR Combined Programs)

No abstract provided.

Convex Cones Of Generalized Positive Rational Functions And Nevanlinna-Pick Interpolation, Daniel Alpay, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

Scalar rational functions with a non-negative real part on the right half plane, called positive, are classical in the study of electrical networks, dissipative systems, Nevanlinna-Pick interpolation and other areas. We here study generalized positive functions, i.e with a non-negative real part on the imaginary axis. These functions form a Convex Invertible Cone, cic in short, and we explore two partitionings of this set: (i) into (infinitely many non-invertible) convex cones of functions with prescribed poles and zeroes in the right half plane and (ii) each generalized positive function can be written as a sum of even and odd parts. …

More On Intuitionistic Neutrosophic Soft Sets, Said Broumi, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Intuitionistic Neutrosophic Soft Set theory proposed by S. Broumi and F. Samarandache [28], has been regarded as an effective mathematical tool to deal with uncertainties. In this paper new operations on intuitionistic neutrosophic soft sets have been introduced . Some results relating to the properties of these operations have been established. Moreover ,we illustrate their interconnections between each other.

Truncated Toeplitz Operators And Boundary Values In Nearly Invariant Subspaces, William T. Ross, Andreas Hartmann

Department of Math & Statistics Faculty Publications

We consider truncated Toeplitz operator on nearly invariant subspaces of the Hardy space H². Of some importance in this context is the boundary behavior of the functions in these spaces which we will discuss in some detail.

On A Theorem Of Livsic, William T. Ross, Alexandru Aleman, R. T. W. Martin

Department of Math & Statistics Faculty Publications

The theory of symmetric, non-selfadjoint operators has several deep applications to the complex function theory of certain reproducing kernel Hilbert spaces of analytic functions, as well as to the study of ordinary differential operators such as Schrodinger operators in mathematical physics. Examples of simple symmetric operators include multiplication operators on various spaces of analytic functions such as model subspaces of Hardy spaces, deBranges-Rovnyak spaces and Herglotz spaces, ordinary differential operators (including Schrodinger operators from quantum mechanics), Toeplitz operators, and infinite Jacobi matrices.

In this paper we develop a general representation theory of simple symmetric operators with equal deficiency indices, and …

Recent Progress On Truncated Toeplitz Operators, William T. Ross, Stephan Ramon Garcia

Department of Math & Statistics Faculty Publications

This paper is a survey on the emerging theory of truncated Toeplitz operators. We begin with a brief introduction to the subject and then highlight the many recent developments in the field since Sarason’s seminal paper [88] from 2007.

Reverse Carleson Embeddings For Model Spaces, William T. Ross, Alain Blandigneres, Emmanuel Fricain, Frederic Gaunard, Andreas Hartmann

Department of Math & Statistics Faculty Publications

The classical embedding theorem of Carleson deals with finite positive Borel measures μ on the closed unit disk for which there exists a positive constant c such that for all f∈H², the Hardy space of the unit disk. Lefèvre et al. examined measures μ for which there exists a positive constant c such that for all f∈H². The first type of inequality above was explored with H² replaced by one of the model spaces (Θ H²)^⊥ by Aleksandrov, Baranov, Cohn, Treil, and Vol'berg. In this paper, we discuss …

Subset Non Associative Topological Spaces, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The concept of non associative topological space is new and innovative. In general topological spaces are defined as union and intersection of subsets of a set X. In this book authors for the first time define non associative topological spaces using subsets of groupoids or subsets of loops or subsets of groupoid rings or subsets of loop rings. This study leads to several interesting results in this direction.

Over hundred problems on non associative topological spaces using of subsets of loops or groupoids is suggested at the end of chapter two. Also conditions for these non associative subset topological spaces …

Subset Groupoids, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors introduce the new notion of constructing non associative algebraic structures using subsets of a groupoid. Thus subset groupoids are constructed using groupoids or loops. Even if we use subsets of loops still the algebraic structure we get with it is only a groupoid. However we can get a proper subset of it to be a subset loop which will be isomorphic with the loop which was used in the construction of the subset groupoid. To the best of the authors’ knowledge this is the first time non associative algebraic structures are constructed using subsets. We get …

Filters Via Neutrosophic Crisp Sets, A. A. Salama, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we introduce the notion of filter on the neutrosophic crisp set, then we consider a generalization of the filter’s studies. Afterwards, we present the important neutrosophic crisp filters. We also study several relations between different neutrosophic crisp filters and neutrosophic topologies. Possible applications to database systems are touched upon.

Subset Semirings, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors study the new notion of the algebraic structure of the subset semirings using the subsets of rings or semirings. This study is innovative and interesting for the authors feel giving algebraic structure to collection of sets is not a new study, for when set theory was introduced such study was in vogue. But a systematic development of constructing algebraic structures using subsets of a set is absent, except for the set topology and in the construction of Boolean algebras. The authors have explored the study of constructing subset algebraic structures like semigroups, groupoids, semirings, non commutative …

Subset Polynomial Semirings And Subset Matrix Semirings, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors introduce the notion of subset polynomial semirings and subset matrix semirings. The study of algebraic structures using subsets were recently carried out by the authors. Here we define the notion of subset row matrices, subset column matrices and subset m × n matrices. Study of this kind is developed in chapter two of this book. If we use subsets of a set X; say P(X), the power set of the set X....

Hence if P(X) is replaced by a group or a semigroup we get the subset matrix to be only a subset matrix semigroup. If …