Mathematics Commons^™

Generic Trace Logics, Christian Kissig, Alexander Kurz

Engineering Faculty Articles and Research

We combine previous work on coalgebraic logic with the coalgebraic traces semantics of Hasuo, Jacobs, and Sokolova.

Xenakis' Combination Of Music And Mathematics, Janelle Anderson

The Journal of Undergraduate Research

My interest in using mathematics in music composition stems from the works of the contemporary composer Iannis Xenakis. As a physics and music education major I am able to combine both fields of study for this topic. Although Xenakis wrote many orchestral compositions it is his vocal music that I have concentrated on as I too am a singer. Graphic representation and new music notation are among the methods used to analyze his music. I found that his first choral work was called “Nuits,” which I proceeded to analyze. I also found myself interested in the analysis of a more …

The Jordan Curve Theorem Is Non-Trivial, Fiona Ross, William T. Ross

Department of Math & Statistics Faculty Publications

The formal mathematical definition of a Jordan curve (a non-self-intersecting continuous loop in the plane) is so simple that one is often lead to the unimaginative view that a Jordan curve is nothing more than a circle or an ellipse. In this paper, we pursue the theme that a Jordan curve can be quite fantastical in the sense that there are some bizarre properties such a curve might have (jagged at every point, space filling, etc.) or that such a curve can have a difficult to discover inside and outside as promised by the celebrated Jordan Curve Theorem (JCT). We …

Putting The X In Biology: A Review Of The Mathematics Of Life, John Adam

Mathematics & Statistics Faculty Publications

(First Paragraph) Charles Darwin's 1859 work On the Origin of the Species contained no equations. But that does not mean mathematics has no role to play in the science of life; in fact, the field of biomathematics is burgeoning and has been for several decades. Ian Stewart's new book does an admirable job of unfolding the mathematics undergirding so much of the research being carried out today in the many fields that comprise the subject of biology. Stewart sets the context by noting five great revolutions that have changed the way scientists think about life. These five revolutions are: (i) …

Women In Mathematics: An Historical Account Of Women's Experiences And Achievement, Kendra D. Huff

CMC Senior Theses

For a long time, women have struggled to gain complete acceptance in the mathematics field. The purpose of this paper is to explore the history of women in the field of mathematics, the impact and experiences of current female mathematicians, and the common trends for women in the mathematics field, through literature review and personal interviews. This paper looks at the lives of four famous female mathematicians, as well as female mathematicians in the Claremont Colleges who were interviewed for this paper. Specifically this paper examines the discrimination they faced and how they overcame this discrimination, as well as the …

Relation Liftings On Preorders And Posets, Marta Bílková, Alexander Kurz, Daniela Petrişan, Jiří Velebil

Engineering Faculty Articles and Research

The category Rel(Set) of sets and relations can be described as a category of spans and as the Kleisli category for the powerset monad. A set-functor can be lifted to a functor on Rel(Set) iff it preserves weak pullbacks. We show that these results extend to the enriched setting, if we replace sets by posets or preorders. Preservation of weak pullbacks becomes preservation of exact lax squares. As an application we present Moss’s coalgebraic over posets.

A Class Of Gaussian Processes With Fractional Spectral Measures, Daniel Alpay, Palle Jorgensen, David Levanony

Mathematics, Physics, and Computer Science Faculty Articles and Research

We study a family of stationary increment Gaussian processes, indexed by time. These processes are determined by certain measures σ (generalized spectral measures), and our focus here is on the case when the measure σ is a singular measure. We characterize the processes arising from when σ is in one of the classes of affine self-similar measures. Our analysis makes use of Kondratiev-white noise spaces. With the use of a priori estimates and the Wick calculus, we extend and sharpen (see Theorem 7.1) earlier computations of Ito stochastic integration developed for the special case of stationary increment processes having absolutely …

The Positive Real Lemma And Construction Of All Realizations Of Generalized Positive Rational Functions, Daniel Alpay, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

We here extend the well known Positive Real Lemma (also known as the Kalman-Yakubovich-Popov Lemma) to complex matrix-valued generalized positive rational function, when non-minimal realizations are considered. All state space realizations are partitioned into subsets, each is identified with a set of matrices satisfying the same Lyapunov inclusion. Thus, each subset forms a convex invertible cone, cic in short, and is in fact is replica of all realizations of positive functions of the same dimensions. We then exploit this result to provide an easy construction procedure of all (not necessarily minimal) state space realizations of generalized positive functions. As a …

A New Approach To Algebraic Coding Theory Through The Applications Of Soft Sets, Florentin Smarandache, Mumtaz Ali

Branch Mathematics and Statistics Faculty and Staff Publications

Algebraic codes play a signifcant role in the minimisation of data corruption which caused by defects such as inference, noise channel, crosstalk, and packet loss. In this paper, we introduce soft codes (soft linear codes) through the application of soft sets which is an approximated collection of codes. We also discuss several types of soft codes such as type-1 soft codes, complete soft codes etc. Further, we construct the soft generator matrix and soft parity check matrix for the soft linear codes. Moreover, we develop two techniques for the decoding of soft codes.

Uniform And Partially Uniform Redistribution Rules, Florentin Smarandache, Jean Dezert

Branch Mathematics and Statistics Faculty and Staff Publications

This paper introduces two new fusion rules for combining quantitative basic belief assignments. These rules although very simple have not been proposed in literature so far and could serve as useful alternatives because of their low computation cost with respect to the recent advanced Proportional Conflict Redistribution rules developed in the DSmT framework.

Evidence Supporting Measure Of Similarity For Reducing The Complexity In Information Fusion, Xinde Li, Jean Dezert, Florentin Smarandache, Xinhan Huang

Branch Mathematics and Statistics Faculty and Staff Publications

This paper proposes a new solution for reducing the number of sources of evidence to be combined in order to diminish the complexity of the fusion process required in some applications where the real-time constraint and strong computing resource limitation are of prime importance. The basic idea consists in selecting, among the whole set of sources of evidence, only the biggest subset of sources which are not too contradicting based on a criterion of Evidence Supporting Measure of Similarity (ESMS) in order to process solely the coherent information received. The ESMS criterion serves actually as a generic tool for outlier …

Contradiction Measures And Specificity Degrees Of Basic Belief Assignments, Florentin Smarandache, Arnaud Martin, Christophe Osswald

Branch Mathematics and Statistics Faculty and Staff Publications

In the theory of belief functions, many measures of uncertainty have been introduced. However, it is not always easy to understand what these measures really try to represent. In this paper, we re-interpret some measures of uncertainty in the theory of belief functions. We present some interests and drawbacks of the existing measures. On these observations, we introduce a measure of contradiction. Therefore, we present some degrees of non-specificity and Bayesianity of a mass. We propose a degree of specificity based on the distance between a mass and its most specific associated mass. We also show how to use the …

Neutrosophic Code, Mumtaz Ali, Florentin Smarandache, Munazza Naz, Muhammad Shabir

Branch Mathematics and Statistics Faculty and Staff Publications

The idea of neutrosophic code came into my mind at that time when i was reading the literature about linear codes and i saw that, if there is data transformation between a sender and a receiver. They want to send 11and 00 as codewords. They suppose 11 for true and 00 for false. When the sender sends the these two codewords and the error occurs. As a result the receiver received 01 or 10 instead of 11 and 00. This story give a way to the neutrosophic codes and thus we introduced neutrosophic codes over finite field in this paper.

G-Neutrosophic Space, Mumtaz Ali, Florentin Smarandache, Munazza Naz, Muhammad Shabir

Branch Mathematics and Statistics Faculty and Staff Publications

The Concept of a G-space came into being as a consequence of Group action on an ordinary set. Over the history of Mathematics and Algebra, theory of group action has emerged and proven to be an applicable and effective framework for the study of different kinds of structures to make connection among them.

Generalized Interval Neutrosophic Soft Set And Its Decision Making Problem, Said Broumi

Branch Mathematics and Statistics Faculty and Staff Publications

In this work, we introduce the concept of generalized interval neutrosophic soft set and study their operations. Finally, we present an application of generalized interval neutrosophic soft set in decision making problem.

Neutrosophic Interval Bialgebraic Structures, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors for the first time introduce the notion of neutrosophic intervals and study the algebraic structures using them. Concepts like groups and fields using neutrosophic intervals are not possible. Pure neutrosophic intervals and mixed neutrosophic intervals are introduced and by the very structure of the interval one can understand the category to which it belongs. We in this book introduce the notion of pure (mixed) neutrosophic interval bisemigroups or neutrosophic biinterval semigroups. We derive results pertaining to them. The new notion of quasi bisubsemigroups and ideals are introduced. Smarandache interval neutrosophic bisemigroups are also introduced and …

Algebraic Structures Using Super Interval Matrices, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

The advantage of using super interval matrices is that one can build only one vector space using m × n interval matrices, but in case of super interval matrices we can have several such spaces depending on the partition on the interval matrix.

This book has seven chapters. Chapter one is introductory in nature, just introducing the super interval matrices or interval super matrices. In chapter two essential operations on super interval matrices are defined. Further in this chapter algebraic structures are defined on these super interval matrices using these operation. Using these super interval matrices semirings and semivector spaces …

Finite Neutrosophic Complex Numbers, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book for the first time the authors introduce the notion of real neutrosophic complex numbers. Further the new notion of finite complex modulo integers is defined. For every C(Zn) the complex modulo integer iF is such that 2 Fi = n – 1. Several algebraic structures on C(Zn) are introduced and studied. Further the notion of complex neutrosophic modulo integers is introduced. Vector spaces and linear algebras are constructed using these neutrosophic complex modulo integers. This book is organized into 5 chapters. The first chapter introduces real neutrosophic complex numbers. Chapter two introduces the notion of finite complex …

Interval Algebraic Bistructures, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Authors in this book construct interval bistructures using only interval groups, interval loops, interval semigroups and interval groupoids. Several results enjoyed by these interval bistructures are described. By this method, we obtain interval bistructures which are associative or non associative or quasi associative. The term quasi is used mainly in the interval bistructure B = B1 ∪ B2 (or in n-interval structure) if one of B1 (or B2) enjoys an algebraic property and the other does not enjoy that property (one section of interval structure satisfies an algebraic property and the remaining section does not satisfy that particular property). The …

Study Of Natural Class Of Intervals Using (–∞,∞) And (∞, –∞), Florentin Smarandache, W.B. Vasantha Kandasamy, D. Datta, H.S. Kushwaha, P.A. Jadhav

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors study the properties of natural class of intervals built using (–∞, ∞) and (∞, –∞). These natural class of intervals behave like the reals R, as far as the operations of addition, multiplication, subtraction and division are concerned. Using these natural class of intervals we build interval row matrices, interval column matrices and m × n interval matrices. Several properties about them are defined and studied. Also all arithmetic operations are performed on them in the usual way. The authors by defining so have made it easier for operations like multiplication, addition, finding determinant and …

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

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the notion of interval semirings are introduced. The authors study and analyse semirings algebraically. Methods are given for the construction of non-associative semirings using loops and interval semirings or interval loops and semirings. Another type of non-associative semirings are introduced using groupoids and interval semirings or interval groupoids and semirings. Examples using integers and modulo integers are given. Also infinite semirings which are semifields are given using interval semigroups and semirings or semigroups and interval semirings or using groups and interval semirings. Interval groups are introduced to construct interval group interval semirings, and properties related with them …

Interval Semigroups, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book we introduce the notion of interval semigroups using intervals of the form [0, a], a is real. Several types of interval semigroups like fuzzy interval semigroups, interval symmetric semigroups, special symmetric interval semigroups, interval matrix semigroups and interval polynomial semigroups are defined and discussed. This book has eight chapters. The main feature of this book is that we suggest 241 problems in the eighth chapter. In this book the authors have defined 29 new concepts and illustrates them with 231 examples. Certainly this will find several applications. The authors deeply acknowledge Dr. Kandasamy for the proof reading …

Dsm Super Vector Space Of Refined Labels, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time introduce the notion of supermatrices of refined labels. Authors prove super row matrix of refined labels form a group under addition. However super row matrix of refined labels do not form a group under product; it only forms a semigroup under multiplication. In this book super column matrix of refined labels and m × n matrix of refined labels are introduced and studied. We mainly study this to introduce to super vector space of refined labels using matrices. We in this book introduce the notion of semifield of refined labels using which …

Problems With And Without … Problems!, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

This book is addressed to College honor students, researchers, and professors. It contains 136 original problems published by the author in various scientific journals around the world. The problems could be used to preparing for courses, exams, and Olympiads in mathematics. Many of these have a generalized form. For each problem we provide a detailed solution.

I was a professeur coopérant between 1982-1984, teaching mathematics in French language at Lycée Sidi EL Hassan Lyoussi in Sefrou, Province de Fès, Morocco. I used many of these problems for selecting and training, together with other Moroccan professors, in Rabat city, of the …

Completeness Of Ordered Fields, James Forsythe Hall

Mathematics

The main goal of this project is to prove the equivalency of several characterizations of completeness of Archimedean ordered fields; some of which appear in most modern literature as theorems following from the Dedekind completeness of the real numbers, while a couple are not as well known and have to do with other areas of mathematics, such as nonstandard analysis. Continuing, we study the completeness of non-Archimedean fields, and provide several examples of such fields with varying degrees of properties, using nonstandard analysis to produce some relatively "nice" (in particular, they are Cantor complete) final examples. As a small detour, …

Approximate Analytical Solutions For Fractional Space- And Time- Partial Differential Equations Using Homotopy Analysis Method, Subir, Das, R. Kumar, P. K. Gupta, Hossein Jafari

Applications and Applied Mathematics: An International Journal (AAM)

This article presents the approximate analytical solutions of first order linear partial differential equations (PDEs) with fractional time- and space- derivatives. With the aid of initial values, the explicit solutions of the equations are solved making use of reliable algorithm like homotopy analysis method (HAM). The speed of convergence of the method is based on a rapidly convergent series with easily computable components. The fractional derivatives are described in Caputo sense. Numerical results show that the HAM is easy to implement and accurate when applied to space- time- fractional PDEs.

Markov Chains And Dynamical Systems: The Open System Point Of View, Stéphane Attal

Communications on Stochastic Analysis

No abstract provided.

Transformation Of Quantum Lévy Processes On Hopf Algebras, Michael Schürmann, Michael Skeide, Silvia Volkwardt

Communications on Stochastic Analysis

No abstract provided.

Characterization Of Unitary Processes With Independent Increments, Un Cig Ji, Lingaraj Sahu, Kalyan B Sinha

Communications on Stochastic Analysis

No abstract provided.

How To Differentiate A Quantum Stochastic Cocycle, J Martin Lindsay

Communications on Stochastic Analysis

No abstract provided.