Let $mathcal{A}$ be a Banach algebra with BAI and $E$ be an introverted subspace of $mathcal{A}^prime$. In this paper we study the quotient Arens regularity of $mathcal{A}$ with respect to $E$ and prove that the group algebra $L^1(G)$ for a locally compact group $G$, is quotient Arens regular with respect to certain introverted subspace $E$ of $L^infty(G)$. Some related result are given as well.

Abstract We study the computational complexity of satisfiability problem and complement equivalence for complemented (orthocomplemented) modular lattices L classes thereof. Concerning a simple finite height, $$\mathcal {NP}$$ NP -hardness is shown both problems. Moreover, problems are to be polynomial-time eq...

An Ockham algebra L = (L,∧,∨, f, 0, 1) that satisfies the identity f2n+m = fm, n ∈ N and m ∈ N0, is called a Kn,m-algebra. Generalizing some results obtained in [2], J. Varlet and T. Blyth, in [3, Chapter 8], study congruences on K1,1-algebras. In particular, they describe the complement (when it exists) of a principal congruence and characterize these congruences that are complemented. In this...

We prove how any (elementary) topos may be reconstructed from the data of two complemented subtoposes together with a pair of left exact “glueing functors”. This generalizes the classical glueing theorem for toposes, which deals with the special case of an open subtopos and its closed complement. Our glueing analysis applies in a particularly simple form to a locally closed subtopos and its com...

A complementation operation on a vertex of a digraph changes all outgoing arcs into non-arcs, and outgoing non-arcs into arcs. This defines an equivalence relation where two digraphs are equivalent if one can be obtained from the other by a sequence of such operations. We show that given an adjacency-list representation of a digraph G, many fundamental graph algorithms can be carried out on any...

This article presents a new subspace-based technique for reducing the noise of signals in time-series. In the proposed approach, the signal is initially represented as a data matrix. Then using Singular Value Decomposition (SVD), noisy data matrix is divided into signal subspace and noise subspace. In this subspace division, each derivative of the singular values with respect to rank order is u...

This work introduces the concept of an M-complete approximate identity (M-cai) for a given operator subspace X of an operator space Y. M-cai's generalize central approximate identities in ideals in C *-algebras, for it is proved that if X admits an M-cai in Y , then X is a complete M-ideal in Y. It is proved, using " special " M-cai's, that if J is a nuclear ideal in a C *-algebra A, then J is ...

This article is concerned with the numerical solution of subspace optimization problems, consisting minimizing a smooth functional over set orthogonal projectors fixed rank. Such problems are encountered in particular electronic structure calculation (Hartree--Fock and Kohn--Sham density theory models). We compare from analysis perspective two simple representatives, damped self-consistent fiel...

s: Plenary Speakers Spiros Argyros (National Technical University of Athens, Greece) sargyros@math.ntua.gr HI extensions of L∞ spaces and spaces with very few operators Tuesday, July 30, HA4, 9:00–9:50 We will present a general method of embedding Banach spaces with separable dual into L∞ spaces admitting very few operators. In particular we will discuss the following two results. Theorem 1. (i...