Algebra Commons^™

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 …

Wiener Algebra For The Quaternions, Daniel Alpay, Fabrizio Colombo, David P. Kimsey, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

We define and study the counterpart of the Wiener algebra in the quaternionic setting, both for the discrete and continuous case. We prove a Wiener-Lévy type theorem and a factorization theorem. We give applications to Toeplitz and Wiener-Hopf operators.

The Spectral Theorem For Unitary Operators Based On The S-Spectrum, Daniel Alpay, Fabrizio Colombo, David P. Kimsey, Irene Sabadini

Mathematics, Physics, and Computer Science Faculty Articles and Research

The quaternionic spectral theorem has already been considered in the literature, see e.g. [22], [31], [32], however, except for the finite dimensional case in which the notion of spectrum is associated to an eigenvalue problem, see [21], it is not specified which notion of spectrum underlies the theorem.

In this paper we prove the quaternionic spectral theorem for unitary operators using the S-spectrum. In the case of quaternionic matrices, the S-spectrum coincides with the right-spectrum and so our result recovers the well known theorem for matrices. The notion of S-spectrum is relatively new, see [17], and has been used for …

A New Realization Of Rational Functions, With Applications To Linear Combination Interpolation, Daniel Alpay, Palle Jorgensen, Izchak Lewkowicz, Dan Volok

Mathematics, Physics, and Computer Science Faculty Articles and Research

We introduce the following linear combination interpolation problem (LCI): Given N distinct numbers w1,…wN and N+1 complex numbers a1,…,aN and c, find all functions f(z) analytic in a simply connected set (depending on f) containing the points w1,…,wN such that ∑u=1Nauf(wu)=c. To this end we prove a representation theorem for such functions f in terms of an associated polynomial p(z). We first introduce the following two operations, (i) substitution of p, and (ii) multiplication by monomials zj,0≤j

My Math Gps: Elementary Algebra Guided Problem Solving (2016 Edition), Jonathan Cornick, G Michael Guy, Karan Puri

Open Educational Resources

My Math GPS: Elementary Algebra Guided Problem Solving is a textbook that aligns to the CUNY Elementary Algebra Learning Objectives that are tested on the CUNY Elementary Algebra Final Exam (CEAFE). This book contextualizes arithmetic skills into Elementary Algebra content using a problem-solving pedagogy. Classroom assessments and online homework are available from the authors.

Gorenstein Projective (Pre)Covers, Michael J. Fox

Electronic Theses and 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).

The Automorphism Group Of The Halved Cube, Benjamin B. Mackinnon

Theses and Dissertations

An n-dimensional halved cube is a graph whose vertices are the binary strings of length n, where two vertices are adjacent if and only if they differ in exactly two positions. It can be regarded as the graph whose vertex set is one partite set of the n-dimensional hypercube, with an edge joining vertices at hamming distance two. In this thesis we compute the automorphism groups of the halved cubes by embedding them in R n and realizing the automorphism group as a subgroup of GLn(R). As an application we show that a halved cube is a circulant graph if …

Gorenstein Projective Precovers In The Category Of Modules, Katelyn Coggins

Electronic Theses and 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.