Mathematics Commons^™

Realizing The 2-Associahedron, Patrick N. Tierney

HMC Senior Theses

The associahedron has appeared in numerous contexts throughout the field of mathematics. By representing the associahedron as a poset of tubings, Michael Carr and Satyan L. Devadoss were able to create a gener- alized version of the associahedron in the graph-associahedron. We seek to create an alternative generalization of the associahedron by considering a particle-collision model. By extending this model to what we dub the 2- associahedron, we seek to further understand the space of generalizations of the associahedron.

Subgroups Of Finite Wreath Product Groups For P=3, Jessica L. Gonda

Williams Honors College, Honors Research Projects

Let M be the additive abelian group of 3-by-3 matrices whose entries are from the ring of integers modulo 9. The problem of determining all the normal subgroups of the regular wreath product group P=Z₉≀(Z₃ × Z₃) that are contained in its base subgroup is equivalent to the problem of determining the subgroups of M that are invariant under two particular endomorphisms of M. In this thesis we give a partial solution to the latter problem by implementing a systematic approach using concepts from group theory and linear algebra.

Smallest Eigenvalues For A Fractional Boundary Value Problem With A Fractional Boundary Condition, Angela Koester

Online Theses and Dissertations

We establish the existence of and then compare smallest eigenvalues for the fractional boundary value problems D_(0^+)^α u+λ_1 p(t)u=0 and $D_(0^+)^α u+λ_2 q(t)u=0,0< t< 1, satisfying the boundary conditions when n-1<α≤ n. First, we consider the case when 0<β

Low-Dimensional Reality-Based Algebras, Rachel Victoria Barber

Online Theses and Dissertations

In this paper we introduce the definition of a reality-based algebra (RBA) as well as a subclass of reality-based algebras, table algebras. Using sesquilinear forms, we prove that a reality-based algebra is semisimple. We look at a specific reality-based algebra of dimension 5 and provide formulas for the structure constants of this algebra. We determine by looking at these structure constants and setting conditions on specific structural components when this particular reality-based algebra is a table algebra. In fact, this will be a noncommutative table algebra of dimension 5.

Links With Finite N-Quandles, Jim Hoste, Patrick D. Shanahan

Mathematics, Statistics and Data Science Faculty Works

We prove a conjecture of Przytycki which asserts that the n-quandle of a link L in the 3-sphere is finite if and only if the fundamental group of the n-fold cyclic branched cover of the 3-sphere, branched over L, is finite.

Gorenstein Projective (Pre)Covers, Michael J. Fox

College of Graduate Studies: Theses & Dissertations

The existence of the Gorenstein projective precovers is one of the main open problems in Gorenstein Homological algebra. We give sufficient conditions in order for the class of Gorenstein projective complexes to be special precovering in the category of complexes of R-modules Ch(R). More precisely, we prove that if every complex in Ch(R) has a special Gorenstein flat cover, every Gorenstein projective complex is Gorenstein flat, and every Gorenstein flat complex has finite Goenstein projective dimension, then the class of Gorenstein projective complexes, GP(C), is special precovering in Ch(R).

Gorenstein Projective Precovers In The Category Of Modules, Katelyn Coggins

College of Graduate Studies: Theses & Dissertations

It was recently proved that if R is a coherent ring such that R is also left n-perfect, then the class of Gorenstein projective modules, GP, is precovering. We will prove that the class of Gorenstein projective modules is special precovering over any left GF-closed ring R such that every Gorenstein projective module is Gorenstein flat and every Gorenstein flat module has finite Gorenstein projective dimension. This class of rings includes that of right coherent and left n-perfect rings.

The Diameter Of A Rouquier Block, Andrew Mayer

Williams Honors College, Honors Research Projects

For my Honors Research Project, I will be researching special properties of Rouquier blocks that represent the partitions of integers. This problem is motivated by ongoing work in representation theory of the symmetric group. For each integer n and each prime p, there is an object called a Rouquier block; this block can be visualized as a collection of points in a plane, each corresponding to a partition. In this group of points, we say a pair of points is “connected” if certain conditions on the partitions are met. We compare each partition with each other partition, add edges when …

Multi-Type Display Calculus For Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić

Engineering Faculty Articles and Research

In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The displayapproach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki’s dynamic epistemic logic, and enjoys Belnap-style cut …

Strong Neutrosophic Graphs And Subgraph Topological Subspaces, Florentin Smarandache, W.B. Vasantha Kandasamy, Ilantheral K

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time introduce the notion of strong neutrosophic graphs. They are very different from the usual graphs and neutrosophic graphs. Using these new structures special subgraph topological spaces are defined. Further special lattice graph of subgraphs of these graphs are defined and described. Several interesting properties using subgraphs of a strong neutrosophic graph are obtained. Several open conjectures are proposed. These new class of strong neutrosophic graphs will certainly find applications in NCMs, NRMs and NREs with appropriate modifications.

Special Type Of Fixed Points Of Mod Matrix Operators, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time introduce a special type of fixed points using MOD square matrix operators. These special type of fixed points are different from the usual classical fixed points. A study of this is carried out in this book. Several interesting properties are developed in this regard. The notion of these fixed points find many applications in the mathematical models which are dealt systematically by the authors in the forth coming books. These special type of fixed points or special realized limit cycles are always guaranteed as we use only MOD matrices as operators with …

Semigroups On Mod Natural Neutrosophic Elements, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book the notion of semigroups under + is constructed using the Mod natural neutrosophic integers or MOD natural neutrosophic-neutrosophic numbers or mod natural neutrosophic finite complex modulo integer or MOD natural neutrosophic dual number integers or MOD natural neutrosophic special dual like number or MOD natural neutrosophic special quasi dual numbers are analysed in a systematic way. All these semigroups under + have an idempotent subsemigroup under +. This is the first time we are able to give a class of idempotent subsemigroups under + by taking only those MOD natural neutrosophic elements

Problems On Mod Structures, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time give several types of problems on MOD structures happens to be an interesting field of study as it makes the whole 4 quadrant plane into a single quadrant plane and the infinite line into a half closed open interval. So study in this direction will certainly yield several interesting results. The law of distributivity is not true. Further the MOD function in general do not obey all the laws of integration or differentiation. Likewise MOD polynomials in general do not satisfy the basic properties of polynomials like its roots etc. Thus over …

Mod Relational Maps Models And Mod Natural Neutrosophic Relational Maps Models, Florentin Smarandache, K. Ilanthenral, W.B. Vasantha Kandasamy

Branch Mathematics and Statistics Faculty and Staff Publications

Zadeh introduced the degree of membership/truth (t) in 1965 and defined the fuzzy set. Atanassov introduced the degree of non membership/falsehood (f) in 1986 and defined the intuitionistic fuzzy set. Smarandache introduced the degree of indeterminacy/neutrality (i) as independent component in 1995 (published in 1998) and defined the neutrosophic set on three components (t,i,f) = (truth, indeterminacy, falsehood). The words “neutrosophy” and “neutrosophic” were coined/invented by F. Smarandache in his 1998 book. Etymologically, “neutro-sophy” (noun) [French neutre 1), or complete information (sum of components = 1).

Mod Natural Neutrosophic Subset Topological Spaces And Kakutani’S Theorem, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time develop the notion of MOD natural neutrosophic subset special type of topological spaces using MOD natural neutrosophic dual numbers or MOD natural neutrosophic finite complex number or MOD natural neutrosophic-neutrosophic numbers and so on to build their respective MOD semigroups. Later they extend this concept to MOD interval subset semigroups and MOD interval neutrosophic subset semigroups. Using these MOD interval semigroups and MOD interval natural neutrosophic subset semigroups special type of subset topological spaces are built. Further using these MOD subsets we build MOD interval subset matrix semigroups and MOD interval subset …

Mod Cognitive Maps Models And Mod Natural Neutrosophic Cognitive Maps Models, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

Zadeh introduced the degree of membership/truth (t) in 1965 and defined the fuzzy set. Atanassov introduced the degree of non membership/falsehood (f) in 1986 and defined the intuitionistic fuzzy set. Smarandache introduced the degree of indeterminacy/neutrality (i) as independent component in 1995 (published in 1998) and defined the neutrosophic set on three components (t,i,f) = (truth, indeterminacy, falsehood). The words “neutrosophy” and “neutrosophic” were coined/invented by F. Smarandache in his 1998 book. Etymologically, “neutro-sophy” (noun) [French neutre 1), or complete information (sum of components = 1).

Mod Natural Neutrosophic Subset Semigroups, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time introduce the notion of MOD subsets using Zn ... On these MOD subsets the operation ‘+’ is defined, S(Zn) denotes the MOD subset and {S(Zn), +} happens to be only a Smarandache semigroup.

These S-semigroups enjoy several interesting properties. The notion of MOD universal subset and MOD absorbing subsets are defined and developed. {S(Zn), x } is also a semigroup and several properties associated with them are derived. MOD natural neutrosophic subsets forms only a semigroup under ‘+’. In fact the main feature enjoyed by this structure is they have subset idempotents …

Mod Graphs, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

Zadeh introduced the degree of membership/truth (t) in 1965 and defined the fuzzy set. Atanassov introduced the degree of nonmembership/ falsehood (f) in 1986 and defined the intuitionistic fuzzy set. Smarandache introduced the degree of indeterminacy/ neutrality (i) as independent component in 1995 (published in 1998) and defined the neutrosophic set on three components (t, i, f) = (truth, indeterminacy, falsehood): http://fs.gallup.unm.edu/FlorentinSmarandache.htm Etymology. The words “neutrosophy” and “neutrosophic” were coined/ invented by F. Smarandache in his 1998 book. Neutrosophy: A branch of philosophy, introduced by F. Smarandache in 1980, which studies the origin, nature, and scope of neutralities, as well …

Special Type Of Fixed Point Pairs Using Mod Rectangular Matrix Operators, Florentin Smarandache, W.B. Vasantha Kandasamy, K. Ilanthenral

Branch Mathematics and Statistics Faculty and Staff Publications

In this book authors for the first time define a special type of fixed points using MOD rectangular matrices as operators. In this case the special fixed points or limit cycles are pairs which is arrived after a finite number of iterations. Such study is both new and innovative for it can find lots of applications in mathematical modeling. Since all these Zn or I nZ or 〈Zn ∪ g〉 or 〈Zn ∪ g〉I or C(Zn) or CI(Zn) are all of finite order we are sure to arrive at a MOD fixed point pair or a MOD limit cycle pair …

Nidus Idearum. Scilogs, I: De Neutrosophia, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Welcome into my scientific lab! My lab[oratory] is a virtual facility with noncontrolled conditions in which I mostly perform scientific meditation and chats: a nest of ideas (nidus idearum, in Latin). I called the jottings herein scilogs (truncations of the words scientific, and gr. Λόγος – appealing rather to its original meanings "ground", "opinion", "expectation"), combining the welly of both science and informal (via internet) talks (in English, French, and Romanian). In this first books of scilogs collected from my nest of ideas, one may find new and old questions and solutions, some of them already put at work, others …

Nidus Idearum. Scilogs, Ii: De Rerum Consectatione, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

Welcome into my scientific lab! My lab[oratory] is a virtual facility with noncontrolled conditions in which I mostly perform scientific meditation and chats: a nest of ideas (nidus idearum, in Latin). I called the jottings herein scilogs (truncations of the words scientific, and gr. Λόγος – appealing rather to its original meanings "ground", "opinion", "expectation"), combining the welly of both science and informal (via internet) talks (in English, French, and Romanian). In this second book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, some of them already put at work, others …

Neutrosophic Set Approach To Algebraic Structures, Florentin Smarandache, Madad Khan, Fazal Tahir

Branch Mathematics and Statistics Faculty and Staff Publications

Real world is featured with complex phenomenons. As uncertainty is inevitably involved in problems arise in various elds of life and classical methods failed to handle these type of problems. Dealing with imprecise, uncertain or imperfect information was a big task for many years. Many modelswerepresentedinordertoproperlyincorporateuncertaintyintosystem description, LotA.Zadeh in 1965 introduced the idea of a fuzzy set. Zadeh replaced conventional characteristic function of classical crisp sets which takes on its values in f0;1g by membership function which takes on its values in closed interval [0;1]. Fuzzy set theory is conceptually a very powerful technique to deal with another aspect or …

Mathematics. Possible Subjects For The High School Entrance Examination And The Capacity Examination In Romania, Florentin Smarandache, Constantin Coanda, Ionuț Ivanescu

Branch Mathematics and Statistics Faculty and Staff Publications

The present book tries to offer students and teachers knowledge evaluation tools for all the chapters from the current Romanian mathematics syllabus. In the evolution of teenagers, the phase of admission in high schools mobilizes particular efforts and emotions. The present workbook aims to be a permanent advisor in the agitated period starting with the capacity examination and leading to the admittance to high school. The tests included in this workbook have a complementary character as opposed to the many materials written with the purpose to support all those who prepare for such examinations and they refer to the entire …

Various Arithmetic Functions And Their Applications, Florentin Smarandache, Octavian Cira

Branch Mathematics and Statistics Faculty and Staff Publications

Over 300 sequences and many unsolved problems and conjectures related to them are presented herein. These notions, definitions, unsolved problems, questions, theorems corollaries, formulae, conjectures, examples, mathematical criteria, etc. on integer sequences, numbers, quotients, residues, exponents, sieves, pseudo-primes squares cubes factorials, almost primes, mobile periodicals, functions, tables, prime square factorial bases, generalized factorials, generalized palindromes, so on, have been extracted from the Archives of American Mathematics (University of Texas at Austin) and Arizona State University (Tempe): "The Florentin Smarandache papers" special collections, University of Craiova Library, and Arhivele Statului (Filiala Vâlcea & Filiala Dolj, România). The book is based on …

Complements To Classic Topics Of Circles Geometry, Florentin Smarandache, Ion Patrascu

Branch Mathematics and Statistics Faculty and Staff Publications

We approach several themes of classical geometry of the circle and complete them with some original results, showing that not everything in traditional math is revealed, and that it still has an open character. The topics were chosen according to authors’ aspiration and attraction, as a poet writes lyrics about spring according to his emotions.

Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. Second, we provide embeddings of the calculus in the theorem prover Isabelle for formalising proofs about D.EAK. As a case study we show that the solution of the muddy children puzzle is derivable for any number of muddy children. Third, there is a set of meta-tools, …

Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.

The Spectral Theorem For Quaternionic Unbounded Normal Operators Based On The S-Spectrum, Daniel Alpay, Fabrizio Colombo, David P. Kimsey

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we prove the spectral theorem for quaternionic unbounded normal operators using the notion of S-spectrum. The proof technique consists of first establishing a spectral theorem for quaternionic bounded normal operators and then using a transformation which maps a quaternionic unbounded normal operator to a quaternionic bounded normal operator. With this paper we complete the foundation of spectral analysis of quaternionic operators. The S-spectrum has been introduced to define the quaternionic functional calculus but it turns out to be the correct object also for the spectral theorem for quaternionic normal operators. The fact that the correct notion of …

Characterizations Of Rectangular (Para)-Unitary Rational Functions, Daniel Alpay, Palle Jorgensen, Izchak Lewkowicz

Mathematics, Physics, and Computer Science Faculty Articles and Research

We here present three characterizations of not necessarily causal, rational functions which are (co)-isometric on the unit circle:
(i) through the realization matrix of Schur stable systems,
(ii) the Blaschke-Potapov product, which is then employed to introduce an easy-to-use description of all these functions with dimensions and McMillan degree as parameters,
(iii) through the (not necessarily reducible) Matrix Fraction Description (MFD).
In cases (ii) and (iii) the poles of the rational functions involved may be anywhere in the complex plane, but the unit circle (including both zero and infinity). A special attention is devoted to exploring the gap between the …

The H∞ Functional Calculus Based On The S-Spectrum For Quaternionic Operators And For N-Tuples Of Noncommuting Operators, Daniel Alpay, Fabrizio Colombo, Tao Qian, Irene Sabadini, Tao Qian

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper we extend the H∞ functional calculus to quaternionic operators and to n-tuples of noncommuting operators using the theory of slice hyperholomorphic functions and the associated functional calculus, called S-functional calculus. The S-functional calculus has two versions one for quaternionic-valued functions and one for Clifford algebra-valued functions and can be considered the Riesz-Dunford functional calculus based on slice hyperholomorphicity because it shares with it the most important properties.

The S-functional calculus is based on the notion of S-spectrum which, in the case of quaternionic normal operators on a Hilbert space, is also the notion of spectrum that appears …