Algebra Commons^™

Relation Algebras As Expanded Fl-Algebras, Nikolaos Galatos, Peter Jipsen

Mathematics, Physics, and Computer Science Faculty Articles and Research

This paper studies generalizations of relation algebras to residuated lattices with a unary De Morgan operation. Several new examples of such algebras are presented, and it is shown that many basic results on relation algebras hold in this wider setting. The variety qRA of quasi relation algebras is defined and shown to be a conservative expansion of involutive FL-algebras. Our main result is that equations in qRA and several of its subvarieties can be decided by a Gentzen system, and that these varieties are generated by their finite members.

Cohomology Of Frobenius Algebras And The Yang-Baxter Equation, J. Scott Carter, Alissa S. Crans, Mohamed Elhamdadi, Enver Karadayi, Masahico Saito

Mathematics, Statistics and Data Science Faculty Works

A cohomology theory for multiplications and comultiplications of Frobenius algebras is developed in low dimensions in analogy with Hochschild cohomology of bialgebras based on deformation theory. Concrete computations are provided for key examples. Skein theoretic constructions give rise to solutions to the Yang-Baxter equation using multiplications and comultiplications of Frobenius algebras, and 2-cocycles are used to obtain deformations of R-matrices thus obtained.

A Generalized White Noise Space Approach To Stochastic Integration For A Class Of Gaussian Stationary Increment Processes, Daniel Alpay, Alon Kipnis

Mathematics, Physics, and Computer Science Faculty Articles and Research

Given a Gaussian stationary increment processes, we show that a Skorokhod-Hitsuda stochastic integral with respect to this process, which obeys the Wick-Itô calculus rules, can be naturally defined using ideas taken from Hida’s white noise space theory. We use the Bochner-Minlos theorem to associate a probability space to the process, and define the counterpart of the S-transform in this space. We then use this transform to define the stochastic integral and prove an associated Itô formula.

Non-Commutative Stochastic Distributions And Applications To Linear Systems Theory, Daniel Alpay, Guy Salomon

Mathematics, Physics, and Computer Science Faculty Articles and Research

In this paper, we introduce a non-commutative space of stochastic distributions, which contains the non-commutative white noise space, and forms, together with a natural multiplication, a topological algebra. Special inequalities which hold in this space allow to characterize its invertible elements and to develop an appropriate framework of non-commutative stochastic linear systems.

Representation Formulas For Hardy Space Functions Through The Cuntz Relations And New Interpolation Problems, Daniel Alpay, Palle Jorgensen, Izchak Lewkowicz, Itzik Marziano

Mathematics, Physics, and Computer Science Faculty Articles and Research

We introduce connections between the Cuntz relations and the Hardy space H2 of the open unit disk D. We then use them to solve a new kind of multipoint interpolation problem in H2, where for instance, only a linear combination of the values of a function at given points is preassigned, rather than the values at the points themselves.

Epistemic Updates On Algebras, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We develop the mathematical theory of epistemic updates with the tools of duality theory. We focus on the Logic of Epistemic Actions and Knowledge (EAK), introduced by Baltag-Moss-Solecki, without the common knowledge operator. We dually characterize the product update construction of EAK as a certain construction transforming the complex algebras associated with the given model into the complex algebra associated with the updated model. This dual characterization naturally generalizes to much wider classes of algebras, which include, but are not limited to, arbitrary BAOs and arbitrary modal expansions of Heyting algebras (HAOs). As an application of this dual characterization, we …

Dynamic Sequent Calculus For The Logic Of Epistemic Actions And Knowledge, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

"Dynamic Logics (DLs) form a large family of nonclassical logics, and perhaps the one enjoying the widest range of applications. Indeed, they are designed to formalize change caused by actions of diverse nature: updates on the memory state of a computer, displacements of moving robots in an environment, measurements in models of quantum physics, belief revisions, knowledge updates, etc. In each of these areas, DL-formulas express properties of the model encoding the present state of affairs, as well as the pre- and post-conditions of a given action. Actions are semantically represented as transformations of one model into another, encoding the …

Nominal Regular Expressions For Languages Over Infinite Alphabets, Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Engineering Faculty Articles and Research

We propose regular expressions to abstractly model and study properties of resource-aware computations. Inspired by nominal techniques – as those popular in process calculi – we extend classical regular expressions with names (to model computational resources) and suitable operators (for allocation, deallocation, scoping of, and freshness conditions on resources). We discuss classes of such nominal regular expressions, show how such expressions have natural interpretations in terms of languages over infinite alphabets, and give Kleene theorems to characterise their formal languages in terms of nominal automata.

Full Newton Step Interior Point Method For Linear Complementarity Problem Over Symmetric Cones, Andrii Berdnikov

College of Graduate Studies: Theses & Dissertations

In this thesis, we present a new Feasible Interior-Point Method (IPM) for Linear Complementarity Problem (LPC) over Symmetric Cones. The advantage of this method lies in that it uses full Newton-steps, thus, avoiding the calculation of the step size at each iteration. By suitable choice of parameters we prove the global convergence of iterates which always stay in the the central path neighborhood. A global convergence of the method is proved and an upper bound for the number of iterations necessary to find ε-approximate solution of the problem is presented.

Singular Value Inequalities: New Approaches To Conjectures, Peter Chilstrom

UNF Graduate Theses and Dissertations

Singular values have been found to be useful in the theory of unitarily invariant norms, as well as many modern computational algorithms. In examining singular value inequalities, it can be seen how these can be related to eigenvalues and how several algebraic inequalities can be preserved and written in an analogous singular value form. We examine the fundamental building blocks to the modern theory of singular value inequalities, such as positive matrices, matrix norms, block matrices, and singular value decomposition, then use these to examine new techniques being used to prove singular value inequalities, and also look at existing conjectures.

Solution Of Fuzzy System Of Linear Equations With Polynomial Parametric Form, Diptiranjan Behera, S. Chakraverty

Applications and Applied Mathematics: An International Journal (AAM)

This paper proposed two new and simple solution methods to solve a fuzzy system of linear equations having fuzzy coefficients and crisp variables using a polynomial parametric form of fuzzy numbers. Related theorems are stated and proved. The proposed methods are used to solve example problems. The results obtained are also compared with the known solutions and are found to be in good agreement.

A New Approach For Computing Wz Factorization, Effat Golpar-Raboky

Applications and Applied Mathematics: An International Journal (AAM)

Linear systems arise frequently in scientific and engineering computing. Various serial and parallel algorithms have been introduced for their solution. This paper seeks to compute the WZ and the ZW factorizations of a nonsingular matrix A using the right inverse of nested submatrices of A. We introduce two new matrix factorizations, the QZ and the QW factorizations, and compute the factorizations using our proposed approach.

An Analysis Of Differences In Approaches To Systems Of Linear Equations Problems Given Multiple Choice Answers, Amber Lagasse

Honors Theses and Capstones

This descriptive study focuses on the approaches college students (ages 20 -24) use when solving systems of linear equations problems that have multiple choice answers. Participants were from a midsize public university in the northeast. Four approaches were considered – three forwards approaches: 1) substitution, 2) elimination, and 3) graphing, and one backwards approach: plugging in the x and y values from each multiple choice option. Participants solved systems of linear equations problems and answered questions based on their methods in a structured clinical interview. Each participant also filled out a questionnaire. It was shown from the results of this …

Weierstrass Points On Families Of Graphs, William D. Lindsay Jr.

Master's Theses

No abstract provided.

Cognitively Guided Instruction (Cgi): Whats The Point? A Look Into Cgi And Cgi’S Potential Role In An 8th Grade Mathematics Class, Bryan C. Anderson

Mathematics Graduate Theses

This study examined the current research that exists on Cognitively Guided Instruction (CGI) and how it would look when implemented into an 8th grade mathematics classroom. Additional questions examined are if CGI would develop strong student understanding between mathematical concepts and their real world applications; if CGI techniques and questioning impact the interest level of mathematics students; and what type of extra resources would be needed by teachers to implement Cognitively Guided Instruction into their curriculum. Although much of the CGI research has been done on elementary students, by also examining key algebra practices the author was able to synthesize …

Commutative Rings Graded By Abelian Groups, Brian P. Johnson

Department of Mathematics: Dissertations, Theses, and Student Research

Rings graded by Z and Z^d play a central role in algebraic geometry and commutative algebra, and the purpose of this thesis is to consider rings graded by any abelian group. A commutative ring is graded by an abelian group if the ring has a direct sum decomposition by additive subgroups of the ring indexed over the group, with the additional condition that multiplication in the ring is compatible with the group operation. In this thesis, we develop a theory of graded rings by defining analogues of familiar properties---such as chain conditions, dimension, and Cohen-Macaulayness. We then study the …

Prime Ideals In Two-Dimensional Noetherian Domains And Fiber Products And Connected Sums, Ela Celikbas

Department of Mathematics: Dissertations, Theses, and Student Research

This thesis concerns three topics in commutative algebra:

1) The projective line over the integers (Chapter 2),

2) Prime ideals in two-dimensional quotients of mixed power series-polynomial rings (Chapter 3),

3) Fiber products and connected sums of local rings (Chapter 4),

In the first chapter we introduce basic terminology used in this thesis for all three topics.

In the second chapter we consider the partially ordered set (poset) of prime ideals of the projective line Proj(Z[h,k]) over the integers Z, and we interpret this poset as Spec(Z[x]) U Spec(Z[1/x]) with an appropriate identification. …

Characterizing And Supporting Change In Algebra Students' Representational Fluency In A Cas/Paper-And-Pencil Environment, Nicole L. Fonger

Dissertations

Representational fluency (RF) includes an ability to interpret, create, move within and among, and connect tool-based representations of mathematical objects. Taken as an indicator of conceptual understanding, there is a need to better support school algebra students’ RF in learning environments that utilize both computer algebra systems (CAS) and paper-and-pencil. The purpose of this research was to: (a) characterize change in ninth-grade algebra students’ RF in solving problems involving linear equations, and (b) determine conditions of a CAS and paper-and-pencil learning environment in which those students changed their RF.

Change in RF was measured by comparing results from initial to …

How To Create A Lie Algebra, Ian M. Anderson

How to... in 10 minutes or less

We show how to create a Lie algebra in Maple using three of the most common approaches: matrices, vector fields and structure equations. PDF and Maple worksheets can be downloaded from the links below.

A New Four Point Circular-Invariant Corner-Cutting Subdivision For Curve Design, Jian-Ao Lian

Applications and Applied Mathematics: An International Journal (AAM)

A 4-point nonlinear corner-cutting subdivision scheme is established. It is induced from a special C-shaped biarc circular spline structure. The scheme is circular-invariant and can be effectively applied to 2-dimensional (2D) data sets that are locally convex. The scheme is also extended adaptively to non-convex data. Explicit examples are demonstrated.

Numerical Solution Of Interval And Fuzzy System Of Linear Equations, Suparna Das, S. Chakraverty

Applications and Applied Mathematics: An International Journal (AAM)

A system of linear equations, in general is solved in open literature for crisp unknowns, but in actual case the parameters (coefficients) of the system of linear equations contain uncertainty and are less crisp. The uncertainties may be considered in term of interval or fuzzy number. In this paper, a detail of study of linear simultaneous equations with interval and fuzzy parameter (triangular and trapezoidal) has been performed. New methods have been proposed for solving such systems. First, the methods have been tested for known problems viz. a circuit analysis solved in the literature and the results are found to …

A Novel Algorithm To Forecast Enrollment Based On Fuzzy Time Series, Haneen T. Jasim, Abdul G. Jasim Salim, Kais I. Ibraheem

Applications and Applied Mathematics: An International Journal (AAM)

In this paper we propose a new method to forecast enrollments based on fuzzy time series. The proposed method belongs to the first order and time-variant methods. Historical enrollments of the University of Alabama from year 1948 to 2009 are used in this study to illustrate the forecasting process. By comparing the proposed method with other methods we will show that the proposed method has a higher accuracy rate for forecasting enrollments than the existing methods.

On Lattice Structure Of The Probability Functions On L*, Mashaallah Mashinchi, Ghader Khaledi

Applications and Applied Mathematics: An International Journal (AAM)

In this paper, the set of all probability functions on L* is studied, where L* is the lattice of bothvalued fuzzy sets or intuitionistic fuzzy sets. It is shown that the set of all probability functions on L* endowed with two appropriate operations has a monoid structure which is also a distributive complete lattice. Also the lattice structure of the set of all probability functions on L* induced by an appropriate function on [0, 1] to itself is studied. Some lattice (dual) isomorphisms are discussed that suggests probabilities on L* could be considered in the framework of theories modeling imprecision.

The Effects Of Goal Setting In A Developmental Algebra Course, Richard Leo Hunt

Masters Theses & Specialist Projects

The purpose of this study was to study the effects of goal setting on students in a developmental algebra course. This study examined the effects on test scores for students that were prescribed a test score goal, students that created their own test score goal, and then compared to a control group. Three classes of developmental algebra were chosen with a total of 25 participants with reported results. Results showed that students with a goal on a test did not score significantly better than students without a goal, but did score significantly better on a test after the goal than …

The Rook-Brauer Algebra, Elise G. Delmas

Mathematics, Statistics, and Computer Science Honors Projects

We introduce an associative algebra RB_k(x) that has a basis of rook-Brauer diagrams. These diagrams correspond to partial matchings on 2k vertices. The rook-Brauer algebra contains the group algebra of the symmetric group, the Brauer algebra, and the rook monoid algebra as subalgebras. We show that the basis of RB_k(x) is generated by special diagrams s_i, t_i (1 <= i < k) and p_j (1 <= j <= k), where the s_i are the simple transpositions that generated the symmetric group S_k, the t_i are the "contraction maps" which generate the …

Matrix Product Application To Fibonacci Sequence, Abigail Damaris Muniz^, Jesus Loya^, Hamide Dogan*

COURI Symposium Abstracts, Spring 2012

No abstract provided.

Splitting Fields And Periods Of Fibonacci Sequences Modulo Primes, Sanjai Gupta, Parousia Rockstroh '08, Francis E. Su

All HMC Faculty Publications and Research

We consider the period of a Fibonacci sequence modulo a prime and provide an accessible, motivated treatment of this classical topic using only ideas from linear and abstract algebra. Our methods extend to general recurrences with prime moduli and provide some new insights. And our treatment highlights a nice application of the use of splitting fields that might be suitable to present in an undergraduate course in abstract algebra or Galois theory.

Session D-3: Discrete Mathematics: A Great Curriculum Connector, Donald Porzio

Professional Learning Day

Many topics that fall under the umbrella of Discrete Mathematics cut across the traditional high school curriculum areas of algebra, geometry, and pre-calculus. Come try some classroom-ready hands-on Discrete Mathematics activities that illustrate the true interconnectedness of mathematics.

Unitary Equivalence To A Truncated Toeplitz Operator: Analytic Symbols, Stephan Ramon Garcia, Daniel E. Poore '11, William T. Ross

Pomona Faculty Publications and Research

Unlike Toeplitz operators on H², truncated Toeplitz operators do not have a natural matricial characterization. Consequently, these operators are difficult to study numerically. In this paper we provide criteria for a matrix with distinct eigenvalues to be unitarily equivalent to a truncated Toeplitz operator having an analytic symbol. This test is constructive, and we illustrate it with several examples. As a byproduct, we also prove that every complex symmetric operator on a Hilbert space of dimension ≤ 3 is unitarily equivalent to a direct sum of truncated Toeplitz operators.

On The Quantization Of Zero-Weight Super Dynamical R-Matrices, Gizem Karaali

Pomona Faculty Publications and Research

Solutions of the classical dynamical Yang-Baxter equation on a Lie superalgebra are called super dynamical r-matrices. A super dynamical r-matrix r satisfies the zero weight condition if

[h ⊗ 1 + 1 ⊗ h, r(λ)] = 0 for all h ∈ ɧ, λ ∈ ɧ ∗ .

In this paper we explicitly quantize zero-weight super dynamical r-matrices with zero coupling constant for the Lie superalgebra gl(m, n) . We also answer some questions about super dynamical R-matrices. In particular, we prove a classification theorem and offer some support for one particular …