Mathematics Commons^™

Strongly Complete Logics For Coalgebras, Alexander Kurz, Jiří Rosický

Engineering Faculty Articles and Research

Coalgebras for a functor model different types of transition systems in a uniform way. This paper focuses on a uniform account of finitary logics for set-based coalgebras. In particular, a general construction of a logic from an arbitrary set-functor is given and proven to be strongly complete under additional assumptions. We proceed in three parts.

Part I argues that sifted colimit preserving functors are those functors that preserve universal algebraic structure. Our main theorem here states that a functor preserves sifted colimits if and only if it has a finitary presentation by operations and equations. Moreover, the presentation of the …

Completeness For The Coalgebraic Cover Modality, Clemens Kupke, Alexander Kurz, Yde Venema

Engineering Faculty Articles and Research

We study the finitary version of the coalgebraic logic introduced by L. Moss. The syntax of this logic, which is introduced uniformly with respect to a coalgebraic type functor, required to preserve weak pullbacks, extends that of classical propositional logic with a so-called coalgebraic cover modality depending on the type functor. Its semantics is defined in terms of a categorically defined relation lifting operation.

As the main contributions of our paper we introduce a derivation system, and prove that it provides a sound and complete axiomatization for the collection of coalgebraically valid inequalities. Our soundness and completeness proof is algebraic, …

Oyun: A New, Free Program For Iterated Prisoner’S Dilemma Tournaments In The Classroom, Charles H. Pence, Lara Buchak

Faculty Publications

Evolutionary applications of game theory present one of the most pedagogically accessible varieties of genuine, contemporary theoretical biology. We present here Oyun (oy-oon, http://charlespence.net/oyun), a program designed to run iterated prisoner's dilemma tournaments, competitions between prisoner's dilemma strategies developed by the students themselves. Using this software, students are able to readily design and tweak their own strategies, and to see how they fare both in round-robin tournaments and in “evolutionary” tournaments, where the scores in a given “generation” directly determine contribution to the population in the next generation. Oyun is freely available, runs on Windows, Mac, and Linux computers, …

Applications Of Extenics To 2d-Space And 3d-Space, Florentin Smarandache, Victor Vladareanu

Branch Mathematics and Statistics Faculty and Staff Publications

In this article one proposes several numerical examples for applying the extension set to 2D- and 3D-spaces. While rectangular and prism geometrical figures can easily be decomposed from 2D and 3D into 1D linear problems, similarly for the circle and the sphere, it is not possible in general to do the same for other geometrical figures.

"Our Research Was Centered On Whether Or Not The Following Changes Made To The Pre-Calculus Algebra Class Positively Affected Student Performance…", Andrea Winchester

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

No abstract provided.

Bad Boundary Behavior In Star Invariant Subspaces Ii, William T. Ross, Andreas Hartmann

Department of Math & Statistics Faculty Publications

We continue our study begun in [HR11] concerning the radial growth of functions in the model spaces (IH²)^⊥.

Boundary Values In Range Spaces Of Co-Analytic Truncated Toeplitz Operator, William T. Ross, Andreas Hartmann

Department of Math & Statistics Faculty Publications

Functions in backward shift invariant subspaces have nice analytic continuation properties outside the spectrum of the inner function defining the space. Inside the spectrum of the inner function, Ahern and Clark showed that under some distribution condition on the zeros and the singular measure of the inner function, it is possible to obtain non-tangential boundary values of every function in the backward shift invariant subspace as well as for their derivatives up to a certain order. Here we will investigate, at least when the inner function is a Blaschke product, the non-tangential boundary values of the functions of the backward …

On The Class Rsi Of J-Contractive Functions Intertwining Solutions Of Linear Differential Equations, Daniel Alpay, Andrey Melnikov, Victor Vinnikov

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we extend and solve in the class of functions RSI mentioned in the title, a number of problems originally set for the class RS of rational functions contractive in the open right-half plane, and unitary on the imaginary line with respect to some preassigned self-adjoint matrix. The problems we consider include the Schur algorithm, the partial realization problem and the Nevanlinna-Pick interpolation problem. The arguments rely on the one-to-one correspondence between elements in a given subclass of RSI and elements in RS. Another important tool in the arguments is a new result pertaining to the classical tangential …

Exploring The Extension Of Natural Operations On Intervals, Matrices And Complex Numbers, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

This book extends the natural operations defined on intervals, finite complex numbers and matrices. The intervals [a, b] are such that a ≤ b. But the natural class of intervals [a, b] introduced by the authors are such that a ≥ b or a need not be comparable with b. This way of defining natural class of intervals enables the authors to extend all the natural operations defined on reals to these natural class of intervals without any difficulty. Thus with these natural class of intervals working with interval matrices like stiffness matrices finding eigenvalues takes the same time as …

Characterizing Conflict In Wikipedia, Nathaniel Miller

Mathematics, Statistics, and Computer Science Honors Projects

Wikipedia serves as the Internet's most widely viewed reference. In order to ensure its success, editors who create and maintain articles must resolve conflicts over appropriate article content. Previous research has measured Wikipedia conflict at two levels: single articles and categories of pages. I observe conflicts within small groups of articles, identifying their frequency, size, and intensity. Additionally, I identify individual conflicts spanning multiple articles and effects of conflict upon users' editing habits. I analyze cross-article conflict in three stages. First, I cluster a group of 1.4 million Wikipedia articles. Next, I find individual user conflicts within each article cluster …

The Distribution Of Individual Stock Returns In A Modified Black-Scholes Option Pricing Model, Daniel Lee Richey

College of Graduate Studies: Theses & Dissertations

Author's abstract: There have been many attempts to find a model that can accurately price options. These models are built on many assumptions, including which probability distribution stock returns follow. In this paper, we test several distributions to see which best fit the log returns of 20 different companies over a period between November 1, 2006 to October 31, 2011. If a "best" distribution is found, a modified Black-Scholes model will be defined by modifying the Weiner process. We use Monte Carlo simulations to generate estimated prices under specified parameters, and compare these prices to those simulated by the model …

A Wealth Of Numbers: An Anthology Of 500 Years Of Popular Mathematics Writing, By Benjamin Wardhaugh. Princeton University Press: Princeton, 2012 (Book Review), John A. Adam

Mathematics & Statistics Faculty Publications

(First paragraph) To describe the landscape encompassed by this book I can do no better than to quote the dust jacket: "A Wealth of Numbers includes recreational, classroom, and work mathematics; mathematical histories and biographies; accounts of higher mathematics; explanations of mathematical instruments; discussions of how math should be taught and learned; reflections on the place of math in the world; and math in fiction and humor." More such details can be found on the Princeton University Press website. I shall use this as a point of departure to describe the highlights of my own trajectory through the book. Not …

Coalgebraic Logics (Dagstuhl Seminar 12411), Ernst-Erich Doberkat, Alexander Kurz

Engineering Faculty Articles and Research

This report documents the program and the outcomes of Dagstuhl Seminar 12411 “Coalgebraic Logics”. The seminar deals with recent developments in the area of coalgebraic logic, a branch of logics which combines modal logics with coalgebraic semantics. Modal logic finds its uses when reasoning about behavioural and temporal properties of computation and communication, coalgebras have evolved into a general theory of systems. Consequently, it is natural to combine both areas for a mathematical description of system specification. Coalgebraic logics are closely related to the broader categories semantics/formal methods and verification/logic.

Outer Restricted Derivations Of Nilpotent Restricted Lie Algebras, Jorg Feldvoss, Salvatore Siciliano, Thomas Weigel

University Faculty and Staff Publications

In this paper we prove that every finite-dimensional nilpotent restricted Lie algebra over a field of prime characteristic has an outer restricted derivation whose square is zero unless the restricted Lie algebra is a torus or it is one-dimensional or it is isomorphic to the three-dimensional Heisenberg algebra in characteristic two as an ordinary Lie algebra. This result is the restricted analogue of a result of Tôgô on the existence of nilpotent outer derivations of ordinary nilpotent Lie algebras in arbitrary characteristic and the Lie-theoretic analogue of a classical group-theoretic result of Gaschütz on the existence of p-power automorphisms …

White Noise Based Stochastic Calculus Associated With A Class Of Gaussian Processes, Daniel Alpay, Haim Attia, David Levanony

Mathematics, Physics, and Computer Science Faculty Articles and Research

Using the white noise space setting, we define and study stochastic integrals with respect to a class of stationary increment Gaussian processes. We focus mainly on continuous functions with values in the Kondratiev space of stochastic distributions, where use is made of the topology of nuclear spaces. We also prove an associated Ito formula.

An Interpolation Problem For Functions With Values In A Commutative Ring, Daniel Alpay, Haim Attia

Mathematics, Physics, and Computer Science Faculty Articles and Research

It was recently shown that the theory of linear stochastic systems can be viewed as a particular case of the theory of linear systems on a certain commutative ring of power series in a countable number of variables. In the present work we study an interpolation problem in this setting. A key tool is the principle of permanence of algebraic identities.

Schur Functions And Their Realizations In The Slice Hyperholomorphic Setting, Daniel Alpay, Fabrizio Colombo, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we start the study of Schur analysis in the quaternionic setting using the theory of slice hyperholomorphic functions. The novelty of our approach is that slice hyperholomorphic functions allows to write realizations in terms of a suitable resolvent, the so called S-resolvent operator and to extend several results that hold in the complex case to the quaternionic case. We discuss reproducing kernels, positive definite functions in this setting and we show how they can be obtained in our setting using the extension operator and the slice regular product. We define Schur multipliers, and find their co-isometric realization …

Stochastic Processes Induced By Singular Operators, Daniel Alpay, Palle Jorgensen

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we study a general family of multivariable Gaussian stochastic processes. Each process is prescribed by a fixed Borel measure σ on Rn. The case when σ is assumed absolutely continuous with respect to Lebesgue measure was stud- ied earlier in the literature, when n = 1. Our focus here is on showing how different equivalence classes (defined from relative absolute continuity for pairs of measures) translate into concrete spectral decompositions of the corresponding stochastic processes under study. The measures σ we consider are typically purely singular. Our proofs rely on the theory of (singular) unbounded operators in …

New Topological C-Algebras With Applications In Linear Systems Theory, Daniel Alpay, Guy Salomon

Mathematics, Physics, and Computer Science Faculty Articles and Research

Motivated by the Schwartz space of tempered distributions S′ and the Kondratiev space of stochastic distributions S−1 we define a wide family of nuclear spaces which are increasing unions of (duals of) Hilbert spaces H′p,p∈N, with decreasing norms |⋅|p. The elements of these spaces are functions on a free commutative monoid. We characterize those rings in this family which satisfy an inequality of the form |f∗g|p≤A(p−q)|f|q|g|p for all p≥q+d, where * denotes the convolution in the monoid, A(p−q) is a strictly positive number and d is a fixed natural number (in this case we obtain commutative topological C-algebras). Such an …

Fuzzy Linguistic Topological Spaces, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Amal

Branch Mathematics and Statistics Faculty and Staff Publications

No abstract provided.

Centric Cardinal Sine Function, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

According to any standard dictionary, the word "cardinal" is synonymous with "principal", "essential", "fundamental". In centric mathematics (CM), or ordinary mathematics, cardinal is, on the one hand, a number equal to a number of finite aggregate, called the power of the aggregate, and on the other hand, known as the sine cardinal sinc(x) or cosine cardinal cosc(x), is a special function defined by the centric circular function (CCF). sin(x) and cos(x) are commonly used in undulatory physics (see Figure 1) and whose graph, the graph of cardinal sine, which is called as "Mexican hat" (sombrero) because of its shape.

Neutrosophic Masses & Indeterminate Models Applications To Information Fusion, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In this paper we introduce the indeterminate models in information fusion, which are due either to the existence of some indeterminate elements in the fusion space or to some indeterminate masses. The best approach for dealing with such models is the neutrosophic logic.

Innovative Uses Of Matrices, Florentin Smarandache, W.B. Vasantha Kandasamy, Indra Venkatbabu

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors bring out the innovative applications of matrices defined, described and developed by them. Here they do not include the natural product on matrices newly described and defined by them in the book on ‘natural product ×n on matrices’.

This book is organized into seven chapters. The first one is introductory in nature. In the second chapter authors give the unique and new way of analyzing the data which is time dependent. We construct three types of matrices called Average Time Dependent data matrix (ATD matrix), Refined Time Dependent Data matrix (RTD matrix) and Combined Effective Time …

Supermodular Lattices, Florentin Smarandache, Iqbal Unnisa, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In lattice theory the two well known equational class of lattices are the distributive lattices and the modular lattices. All distributive lattices are modular however a modular lattice in general is not distributive.

In this book, new classes of lattices called supermodular lattices and semi-supermodular lattices are introduced and characterized as follows: A subdirectly irreducible supermodular lattice is isomorphic to the two element chain lattice C2 or the five element modular lattice M3. A lattice L is supermodular if and only if L is a subdirect union of a two element chain C2 and the five element modular lattice M3.

Special Quasi Dual Numbers And Groupoids, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the authors introduce a new notion called special quasi dual number, x = a + bg.

Among the reals – 1 behaves in this way, for (– 1)2 = 1 = – (– 1). Likewise –I behaves in such a way (– I)2 = – (– I). These special quasi dual numbers can be generated from matrices with entries from 1 or I using only the natural product ×n. Another rich source of these special quasi dual numbers or quasi special dual numbers is Zn, n a composite number. For instance 8 in Z12 is such that …

Non Associative Linear Algebras, 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 non associative vector spaces and non associative linear algebras over a field. We construct non associative space using loops and groupoids over fields. In general in all situations, which we come across to find solutions may not be associative; in such cases we can without any difficulty adopt these non associative vector spaces/linear algebras. Thus this research is a significant one.

This book has six chapters. First chapter is introductory in nature. The new concept of non associative semilinear algebras is introduced in chapter two. This structure is …

Non Associative Algebraic Structures Using Finite Complex Numbers, Florentin Smarandache, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Authors in this book for the first time have constructed nonassociative structures like groupoids, quasi loops, non associative semirings and rings using finite complex modulo integers. The Smarandache analogue is also carried out. We see the nonassociative complex modulo integers groupoids satisfy several special identities like Moufang identity, Bol identity, right alternative and left alternative identities. P-complex modulo integer groupoids and idempotent complex modulo integer groupoids are introduced and characterized. This book has six chapters. The first one is introductory in nature. Second chapter introduces complex modulo integer groupoids and complex modulo integer loops.

The Geometry Of Homological Triangles, Florentin Smarandache, Ion Patrascu

Branch Mathematics and Statistics Faculty and Staff Publications

This book is addressed to students, professors and researchers of geometry, who will find herein many interesting and original results. The originality of the book The Geometry of Homological Triangles consists in using the homology of triangles as a “filter” through which remarkable notions and theorems from the geometry of the triangle are unitarily passed. Our research is structured in seven chapters, the first four are dedicated to the homology of the triangles while the last ones to their applications. In the first chapter one proves the theorem of homological triangles (Desargues, 1636), one survey the remarkable pairs of homological …

Short-Term Plasticity At The Schaffer Collateral: A New Model With Implications For Hippocampal Processing, Andrew Hamilton Toland

Dissertations and Theses

A new mathematical model of short-term synaptic plasticity (STP) at the Schaffer collateral is introduced. Like other models of STP, the new model relates short-term synaptic plasticity to an interaction between facilitative and depressive dynamic influences. Unlike previous models, the new model successfully simulates facilitative and depressive dynamics within the framework of the synaptic vesicle cycle. The novelty of the model lies in the description of a competitive interaction between calcium-sensitive proteins for binding sites on the vesicle release machinery. By attributing specific molecular causes to observable presynaptic effects, the new model of STP can predict the effects of specific …

Lagrange's Theory Of Analytical Functions And His Ideal Of Purity Of Method, Giovanni Ferraro, Marco Panza

MPP Published Research

We reconstruct essential features of Lagrange’s theory of analytical functions by exhibiting its structure and basic assumptions, as well as its main shortcomings. We explain Lagrange’s notions of function and algebraic quantity, and we concentrate on power-series expansions, on the algorithm for derivative functions, and the remainder theorem—especially on the role this theorem has in solving geometric and mechanical problems. We thus aim to provide a better understanding of Enlightenment mathematics and to show that the foundations of mathematics did not, for Lagrange, concern the solidity of its ultimate bases, but rather purity of method—the generality and internal organization of …