On solving sparse band systems with three algorithms of the ABS family

In this paper, we examine three algorithms in the ABS family and consider their storage requirements on sparse band systems. It is shown that, when using the implicit Cholesky algorithm on a band matrix with band width 2q+1, onlyq additional vectors are required. Indeed, for any matrix with upper band widthq, onlyq additional vectors are needed. More generally, ifa _kj 0,j>k, then thejth row ofH _i is effectively nonzero ifj>i>k. The arithmetic operations involved in solving a band matrix by this method are dominated by (1/2)n ² q. Special results are obtained forq-band tridiagonal matrices and cyclic band matrices.The implicit Cholesky algorithm may require pivoting if the matrixA does not possess positive-definite principal minors, so two further algorithms were considered that do not require this property. When using the implicit QR algorithm, a matrix with band widthq needs at most 2q additional vectors. Similar results forq-band tridiagonal matrices and cyclic band matrices are obtained.For the symmetric Huang algorithm, a matrix with band widthq requiresq–1 additional vectors. The storage required forq-band tridiagonal matrices and cyclic band matrices are again analyzed.This work was undertaken during the visit of Dr. J. Abaffy to Hatfield Polytechnic, sponsored by SERC Grant No. GR/E-07760.     

Reachable and controllable sets for two-dimensional,linear, discrete-time systems

We consider two-dimensional discrete-time linear systems with constrained controls. We propose a simple polynomial time procedure to give an exact external representation of theN-step reachable set and controllable set. The bounding hyperplanes are explicitly derived in terms of the data of the problem. By using a result in computational geometry, all the calculations are made in polynomial time in contrast to classical methods. The limit case asN is also investigated.     

Coulomb scattering of an electron by a monopole

The Coulomb scattering of an electron by a magnetic monopole is analyzed using a lowest-order quantum perturbation approximation suggested by a two-potential Lagrangian form for classical electromagnetism, generalized through the use of spacetime algebra to include magnetic monopoles. Good agreement with existing conventional analyses of this problem is demonstrated.1. Work supported by Department of Energy contract DE-AC03-76SF00515.2. The idea to employ spacetime algebra (sometimes called Dirac algebra) to incorporate magnetic monopoles into classical electromagnetic theory was proposed by de Faria-Rosaet al. [3].3. This is a factori difference between the definition of 5 by Eq. (3) and that by Bjorken and Drell [6]. Since a cross section (without interference terms) is being calculated, we can ignore this distinction.     

Classification of extensions of torus algebra II

We use extension theory and algebraic methods to give a complete characterization of extensions of torus algebra by stable Cuntz algebras,and prove certain classification theorems of these extension algebras.     

Unital affine semigroups

Affine semigroups are convex sets on which there exists an associative binary operation which is affine separately in either variable. They were introduced by Cohen and Collins in 1959. We look at examples of affine semigroups which are of interest to matrix and operator theory and we prove some new results on the extreme points and the absorbing elements of certain types of affine semigroups. Most notably we improve a result of Wendel that every invertible element in a compact affine semigroup is extreme by extending this result to linearly bounded affine semigroups.     

Module Correspondences for Twisted Group Algebras

Abstract

Let G and A be finite groups such that (|G|, |A|) = 1. Let K be an algebraically closed field with Char K = 0. Denote by K ^α G the twisted group algebra of G over K with factor set α. In this paper we prove that if A acts homogeneously on K ^α G, then there exists an action of A on G, and there is a one-to-one correspondence between the set of A-invariant irreducible K ^α G-modules and the set of irreducible K ^α C _G (A)-modules.     

A Brylinski filtration for affine Kac–Moody algebras

Braverman and Finkelberg have recently proposed a conjectural analogue of the geometric Satake isomorphism for untwisted affine Kac–Moody groups. As part of their model, they conjecture that (at dominant weights) Lusztig's q-analog of weight multiplicity is equal to the Poincare series of the principal nilpotent filtration of the weight space, as occurs in the finite-dimensional case. We show that the conjectured equality holds for all affine Kac–Moody algebras if the principal nilpotent filtration is replaced by the principal Heisenberg filtration. The main body of the proof is a Lie algebra cohomology vanishing result. We also give an example to show that the Poincare series of the principal nilpotent filtration is not always equal to the q-analog of weight multiplicity. Finally, we give some partial results for indefinite Kac–Moody algebras.     

The Almost Split Sequences for Trivial Extensions of Hereditary Algebras

Let A be a basic hereditary artin algebra and R = A Q be the trivial extension of A by its minimal injective cogenerator Q. We construct some right （left） almost split morphisms and irreducible morphisms in modR through the corresponding morphisms in modA. Furthermore, we can determine its almost split sequences in modR.