On the simplicial cohomology of Banach operator algebras

We investigate the simplicial cohomology of certain Banach operator algebras. The two main examples considered are the Banach algebra of all bounded operators on a Banach space and its ideal of approximable operators. Sufficient conditions will be given forcing Banach algebras of this kind to be simplicially trivial.

Spectral isometries on non-simple C*-algebras

We prove that unital surjective spectral isometries on certain non-simple unital C*-algebras are Jordan isomorphisms. Along the way, we establish several general facts in the setting of semisimple Banach algebras.

C∗-Segal algebras with order unit

We introduce the notion of a (noncommutative) C *-Segal algebra as a Banach algebra (A, {norm of matrix}{dot operator}{norm of matrix} A) which is a dense ideal in a C *-algebra (C, {norm of matrix}{dot operator}{norm of matrix} C), where {norm of matrix}{dot operator}{norm of matrix} A is strictly stronger than {norm of matrix}{dot operator}{norm of matrix} C onA. Several basic properties are investigated and, with the aid of the theory of multiplier modules, the structure of C *-Segal algebras with order unit is determined.

Semiring induced valuation algebras: Exact and approximate local computation algorithms

Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra.There are many models of this algebraic structure ranging from probability theory to numerical analysis, relational databases and various classical and non-classical logics. It turns out that many interesting models of valuation algebras may be derived from semiring valued mappings. In this paper we study how valuation algebras are induced by semirings and how the structure of the valuation algebra is related to the algebraic structure of the semiring. In particular, c-semirings with idempotent multiplication induce idempotent valuation algebras and therefore permit particularly efficient architectures for local computation. Also important are semirings whose multiplicative semigroup is embedded in a union of groups. They induce valuation algebras with a partially defined division. For these valuation algebras, the well-known architectures for Bayesian networks apply. We also extend the general computational framework to allow derivation of bounds and approximations, for when exact computation is not feasible.

A graded BDI agent model to represent and reason about preferences

In this research note, we introduce a graded BDI agent development framework, g-BDI for short, that allows to build agents as multi-context systems that reason about three fundamental and graded mental attitudes (i.e. beliefs, desires and intentions). We propose a sound and complete logical framework for them and some logical extensions to accommodate slightly different views on desires. © 2011 Elsevier B.V. All rights reserved.

Chaotic Banach algebras

We construct an infinite dimensional non-unital Banach algebra $A$ and $a\in A$ such that the sets $\{za^n:z\in\C,\ n\in\N\}$ and $\{({\bf 1}+a)^na:n\in\N\}$ are both dense in $A$, where $\bf 1$ is the unity in the unitalization $A^{\#}=A\oplus \spann\{{\bf 1}\}$ of $A$. As a byproduct, we get a hypercyclic operator $T$ on a Banach space such that $T\oplus T$ is non-cyclic and $\sigma(T)=\{1\}$.

Minimal Hilbert series for quadratic algebras and the Anick conjecture

We study the question on whether the famous Golod–Shafarevich estimate, which gives a lower bound for the Hilbert series of a (noncommutative) algebra, is attained. This question was considered by Anick in his 1983 paper ‘Generic algebras and CW-complexes’, Princeton Univ. Press, where he proved that the estimate is attained for the number of quadratic relations $d\leq n^2/4$
and $d\geq n^2/2$, and conjectured that it is the case for any number of quadratic relations. The particular point where the number of relations is equal to $n(n-1)/2$ was addressed by Vershik. He conjectured that a generic algebra with this number of relations is finite dimensional. We announce here the result that over any infinite field, the Anick conjecture holds for $d \geq 4(n2+n)/9$ and an arbitrary number of generators. We also discuss the result that confirms the Vershik conjecture over any field of characteristic 0, and a series of related
asymptotic results.

Finite dimensional semigroup quadratic algebras with the minimal number of relations

A quadratic semigroup algebra is an algebra over a field given by the generators x_1, . . . , x_n and a finite set of quadratic relations each of which either has the shape x_j x_k = 0 or the shape x_j x_k = x_l x_m . We prove that a quadratic semigroup algebra given by n generators and d=(n^2+n)/4 relations is always infinite dimensional. This strengthens the Golod–Shafarevich estimate for the above class of algebras. Our main result however is that for every n, there is a finite dimensional quadratic semigroup algebra with n generators and d_n relations, where d_n is the first integer greater than (n^2+n)/4 . That is, the above Golod–Shafarevich-type estimate for semigroup algebras is sharp.

On Quillen's calculation of graded K-theory

We adapt Quillen’s calculation of graded K-groups of Z-graded rings with support in N to graded K-theory, allowing gradings in a product Z×G with G an arbitrary group. This in turn allows us to use induction and calculate graded K-theory of Z -multigraded rings.

Computation of stress intensity factors in functionally graded materials using partition-of-unity meshfee method

This paper describes the computation of stress intensity factors (SIFs) for cracks in functionally graded materials (FGMs) using an extended element-free Galerkin (XEFG) method. The SIFs are extracted through the crack closure integral (CCI) with a local smoothing technique, non-equilibrium and incompatibility formulations of the interaction integral and the displacement method. The results for mode I and mixed mode case studies are presented and compared with those available in the literature. They are found to be in good agreement where the average absolute error for the CCI with local smoothing, despite its simplicity, yielded a high level of accuracy.

Display; A Lie

Two original poems

Logics for belief functions on MV-algebras

In this paper we present a generalization of belief functions over fuzzy events. In particular we focus on belief functions defined in the algebraic framework of finite MV-algebras of fuzzy sets. We introduce a fuzzy modal logic to formalize reasoning with belief functions on many-valued events. We prove, among other results, that several different notions of belief functions can be characterized in a quite uniform way, just by slightly modifying the complete axiomatization of one of the modal logics involved in the definition of our formalism. © 2012 Elsevier Inc. All rights reserved.