Extensions of operator algebras I

We transcribe a portion of the theory of extensions of C^∗-algebras to general operator algebras. We also include several new general facts about approximately unital ideals in operator algebras and the C^∗-algebras which they generate.     

A new construction of vertex algebras and quasi-modules for vertex algebras

In this paper, a new construction of vertex algebras from more general vertex operators is given and a notion of quasimodule for vertex algebras is introduced and studied. More specifically, a notion of quasilocal subset(space) of for any vector space W is introduced and studied, generalizing the notion of usual locality in the most possible way, and it is proved that on any maximal quasilocal subspace there exists a natural vertex algebra structure and that any quasilocal subset of generates a vertex algebra. Furthermore, it is proved that W is a quasimodule for each of the vertex algebras generated by quasilocal subsets of . A notion of Γ-vertex algebra is also introduced and studied, where Γ is a subgroup of the multiplicative group C^× of nonzero complex numbers. It is proved that any maximal quasilocal subspace of is naturally a Γ-vertex algebra and that any quasilocal subset of generates a Γ-vertex algebra. It is also proved that a Γ-vertex algebra exactly amounts to a vertex algebra equipped with a Γ-module structure which satisfies a certain compatibility condition. Finally, two families of examples are given, involving twisted affine Lie algebras and certain quantum torus Lie algebras.     

Realizations of AF-algebras as graph algebras, Exel-Laca algebras, and ultragraph algebras

We give various necessary and sufficient conditions for an AF-algebra to be isomorphic to a graph C^∗-algebra, an Exel-Laca algebra, and an ultragraph C^∗-algebra. We also explore consequences of these results. In particular, we show that all stable AF-algebras are both graph C^∗-algebras and Exel-Laca algebras, and that all simple AF-algebras are either graph C^∗-algebras or Exel-Laca algebras. In addition, we obtain a characterization of AF-algebras that are isomorphic to the C^∗-algebra of a row-finite graph with no sinks.     

Group actions and Helly's theorem

We describe a connection between the combinatorics of generators for certain groups and the combinatorics of Helly's 1913 theorem on convex sets. We use this connection to prove fixed point theorems for actions of these groups on nonpositively curved metric spaces. These results are encoded in a property that we introduce called “property FAr”, which reduces to Serre's property FA when r=1. The method applies to S-arithmetic groups in higher Q-rank, to simplex reflection groups (including some nonarithmetic ones), and to higher rank Chevalley groups over polynomial and other rings (for example SLn(Z[x₁,…,xd]), n>2).     

Decomposition rank and absorbing extensions of type I algebras

We prove the following: Let A and B be separable C^*-algebras. Suppose that B is a type I C^*-algebra such that

(i)

B has only infinite dimensional irreducible *-representations, and

(ii)

B has finite decomposition rank.

If

0→B→C→A→0     

The algebra of harmonic functions for a matrix-valued transfer operator

We analyze matrix-valued transfer operators. We prove that the fixed points of transfer operators form a finite-dimensional C^∗-algebra. For matrix weights satisfying a low-pass condition we identify the minimal projections in this algebra as correlations of scaling functions, i.e., limits of cascade algorithms.     

On the perturbations of spectra of upper triangular operator matrices

In this paper we investigate perturbations of the regular spectrum of an upper triangular operator matrix such as acting on a Hilbert space H⊕K.     

Applications of operator identities to the multiple q-binomial theorem and q-Gauss summation theorem

In this paper, we first give an interesting operator identity. Furthermore, using the q-exponential operator technique to the multiple q-binomial theorem and q-Gauss summation theorem, we obtain some transformation formulae and summation theorems of multiple basic hypergeometric series.     

A new proof of convergence of MCMC via the ergodic theorem

A key result underlying the theory of MCMC is that any η-irreducible Markov chain having a transition density with respect to η and possessing a stationary distribution π is automatically positive Harris recurrent. This paper provides a short self-contained proof of this fact using the ergodic theorem in its standard form as the most advanced tool.     

The Elliott conjecture for Villadsen algebras of the first type

We study the class of simple C^∗-algebras introduced by Villadsen in his pioneering work on perforated ordered K-theory. We establish six equivalent characterisations of the proper subclass which satisfies the strong form of Elliott's classification conjecture: two C^∗-algebraic (Z-stability and approximate divisibility), one K-theoretic (strict comparison of positive elements), and three topological (finite decomposition rank, slow dimension growth, and bounded dimension growth). The equivalence of Z-stability and strict comparison constitutes a stably finite version of Kirchberg's characterisation of purely infinite C^∗-algebras. The other equivalences confirm, for Villadsen's algebras, heretofore conjectural relationships between various notions of good behaviour for nuclear C^∗-algebras.     

Variations on Weyl's theorem

In this note we study the property (w), a variant of Weyl's theorem introduced by Rako?evi?, by means of the localized single-valued extension property (SVEP). We establish for a bounded linear operator defined on a Banach space several sufficient and necessary conditions for which property (w) holds. We also relate this property with Weyl's theorem and with another variant of it, a-Weyl's theorem. We show that Weyl's theorem, a-Weyl's theorem and property (w) for T (respectively T^*) coincide whenever T^* (respectively T) satisfies SVEP. As a consequence of these results, we obtain that several classes of commonly considered operators have property (w).     

Upper triangular operator matrices with the single-valued extension property

If A=(Aij)_1?i,j?n∈B(X) is an upper triangular Banach space operator such that AiiAij=AijAjj for all 1?i?j?n, then A has SVEP or satisfies (Dunford's) condition (C) or (Bishop's) property (β) or (the decomposition) property (δ) if and only if Aii, 1?i?n, has the corresponding property.     

Approximate and pseudo-amenability of various classes of Banach algebras

We continue the investigation of notions of approximate amenability that were introduced in work of the second and third authors together with R.J. Loy. It is shown that every boundedly approximately contractible Banach algebra has a bounded approximate identity, and that the Fourier algebra of the free group on two generators is not operator approximately amenable. Further examples are obtained of ?¹-semigroup algebras which are approximately amenable but not amenable; using these, we show that bounded approximate contractibility need not imply sequential approximate amenability. Results are also given for Segal algebras on locally compact groups, and algebras of p-pseudo-functions on discrete groups.     

Common fixed point theorem for hybrid generalized multi-valued contraction mappings

In this paper, we introduce the notion of a hybrid generalized multi-valued contraction mapping and establish the common fixed point theorem for this mapping. Our results generalize, unify, extend and complement several common fixed point theorems of many authors in the literature.     

Projected gradient iteration for nonlinear operator equation

In this paper, we use a projected gradient algorithm to solve a nonlinear operator equation with ?_p-norm (1<p≤2) constraint. Gradient iterations with ?_p-norm constraints have been studied recently both in the context of inverse problem and of compressed sensing. In this paper, the constrained gradient iteration is implemented via a projected operator. We establish the ?₂-norm convergence of sequence constructed by the constrained gradient iteration when p∈(1,2]. The performance of the method is testified by a numerical example.     

Turán's theorem for pseudo-random graphs

The generalized Turán number ex(G,H) of two graphs G and H is the maximum number of edges in a subgraph of G not containing H. When G is the complete graph Km on m vertices, the value of ex(Km,H) is , where o(1)→0 as m→∞, by the Erd?s-Stone-Simonovits theorem.In this paper we give an analogous result for triangle-free graphs H and pseudo-random graphs G. Our concept of pseudo-randomness is inspired by the jumbled graphs introduced by Thomason [A. Thomason, Pseudorandom graphs, in: Random Graphs '85, Poznań, 1985, North-Holland, Amsterdam, 1987, pp. 307-331. MR 89d:05158]. A graph G is (q,β)-bi-jumbled if

     

Faulhaber’s theorem on power sums

We observe that the classical Faulhaber’s theorem on sums of odd powers also holds for an arbitrary arithmetic progression, namely, the odd power sums of any arithmetic progression a+b,a+2b,…,a+nb is a polynomial in na+n(n+1)b/2. While this assertion can be deduced from the original Fauhalber’s theorem, we give an alternative formula in terms of the Bernoulli polynomials. Moreover, by utilizing the central factorial numbers as in the approach of Knuth, we derive formulas for r-fold sums of powers without resorting to the notion of r-reflective functions. We also provide formulas for the r-fold alternating sums of powers in terms of Euler polynomials.     

A minimax theorem for vector-valued functions in lexicographic order

In this paper, a minimax theorem and a saddle point theorem are obtained for vector-valued functions in the sense of lexicographic order, respectively. An equivalent relationship between the minimax inequality and the saddle point is established. Some examples are given to illustrate our results.     

Separation for the biharmonic differential operator in the Hilbert space associated with the existence and uniqueness theorem

In this paper, we have studied the separation for the following biharmonic differential operator:

     

Turán’s theorem inverted

In this note we complete an investigation started by Erd?s in 1963 that aims to find the strongest possible conclusion from the hypothesis of Turán’s theorem in extremal graph theory.Let be the complete r-partite graph with parts of sizes s₁≥2,s₂,…,s_r with an edge added to the first part. Letting t_r(n) be the number of edges of the r-partite Turán graph of order n, we prove that:For all r≥2 and all sufficiently small c>0, every graph of sufficiently large order n with t_r(n)+1 edges contains a .We also give a corresponding stability theorem and two supporting results of wider scope.