On a calculus for a generalized scalar operator

Let $\text{X}$ be a Banach space; S and T bounded scalar-type operators in $\text{X}$. Define Δ on the space of bounded operators on $\text{X}$ by ΔX = TX ? XS if X is a bounded operator. We set up a calculus for Δ which allows us to consider f(Δ), for f a complex-valued bounded Borel measurable function on the spectrum of Δ, as an operator in the space of bounded operators whose domain is a subspace of operators which we call measure generating. This calculus is used to obtain some results on when the kernel of Δ is a complemented subspace of the space of bounded operators on $\text{X}$.     

A criterion for the existence of common invariant subspaces of matrices

It is shown that square matrices $\text{A}$ and $\text{B}$ have a common invariant subspace W of dimension $\text{k⩾1}$ if and only if for some scalar s, $\text{A+sI}$ and $\text{B+sI}$ are invertible and their kth compounds have a common eigenvector, which is a Grassmann representative for $\text{W}$. The applicability of this criterion and its ability to yield a basis for the common invariant subspace are investigated.     

Extension de quelques theoremes sur les densites de series d'elements de n a des series de sous-ensembles finis de n

For a sequence A = {A_k} of finite subsets of N we introduce: $\text{δ(A) =}\text{inf}{}_{\mathrm{m?n}}\text{A(m)}\text{2}{}^{\mathrm{n}}$, $\text{d(A) =}\text{lim inf}{}_{\mathrm{n\to \infty }}\text{A(n)}\text{2}{}^{\mathrm{n}}$, where A(m) is the number of subsets A_k ? {1, 2, …, m}.The collection of all subsets of {1, …, n} together with the operation $\text{a ∪ b, (a ∩ b), (a 1 b = a ∪ b ? a ∩ b)}$ constitutes a finite semi-group N^∪ (semi-group N^∩) (group $\text{N}{}^1$). For N^∪, N^∩ we prove analogues of the Erdös-Landau theorem: δ(A+B) ? δ(A)(1+(2λ)^?1(1?δ(A>))), where B is a base of N of the average order λ. We prove for $\text{N}{}^{\mathrm{\cup }}\text{, N}{}^{\mathrm{\cap }}\text{, N}{}^1$ analogues of Schnirelmann's theorem (that δ(A) + δ(B) > 1 implies δ(A + B) = 1) and the inequalities λ ? 2h, where h is the order of the base.We introduce the concept of divisibility of subsets: a|b if b is a continuation of a. We prove an analog of the Davenport-Erdös theorem: if d(A) > 0, then there exists an infinite sequence {A_kr}, where A_kr | A_kr+1 for r = 1, 2, …. In Section 6 we consider for $\text{N∪, N∩, N1}$ analogues of Rohrbach inequality: $\text{2n}\text{? g(n) ? 2}\text{n}$, where g(n) = min k over the subsets {a₁ < … < a_k} ? {0, 1, 2, …, n}, such that every m? {0, 1, 2, …, n} can be expressed as m = a_i + a_j.Pour une série A = {A_k} de sous-ensembles finis de N on introduit les densités: $\text{δ(A) =}\text{inf}{}_{\mathrm{m?n}}\text{A(m)}\text{2}{}^{\mathrm{m}}$, $\text{d(A) =}\text{lim inf}{}_{\mathrm{n\to \infty }}\text{A(n)}\text{2}{}^{\mathrm{n}}$ où A(m) est le nombre d'ensembles A_k ? {1, 2, …, m}. L'ensemble de toutes les parties de {1, 2, …, n} devient, pour les opérations $\text{a ∪ b, a ∩ b, a 1 b = a ∪ b ? a ∩ b}$, un semi-groupe fini N^∪, N^∩ ou un groupe N¹ respectivement. Pour N^∪, N^∩ on démontre l'analogue du théorème de Erdös-Landau: δ(A + B) ? δ(A)(1 + (2λ)^?1(1?δ(A))), où B est une base de N d'ordre moyen λ. On démontre pour $\text{N}{}^{\mathrm{\cup }}\text{, N}{}^{\mathrm{\cap }}\text{, N}{}^1$ l'analogue du théorème de Schnirelmann (si δ(A) + δ(B) > 1, alors δ(A + B) = 1) et les inégalités λ ? 2h, où h est l'ordre de base. On introduit le rapport de divisibilité des enembles: a|b, si b est une continuation de a. On démontre l'analogue du théorème de Davenport-Erdös: si d(A) > 0, alors il existe une sous-série infinie {A_kr}, où A_kr|A_kr+1, pour r = 1, 2, … . Dans le Paragraphe 6 on envisage pour N^∪, $\text{N}{}^{\mathrm{\cap }}\text{, N}{}^1$ les analogues de l'inégalité de Rohrbach: $\text{2n}\text{? g(n) ? 2}\text{n}$, où g(n) = min k pour les ensembles {a₁ < … < a_k} ? {0, 1, 2, …, n} tels que pour tout m? {0, 1, 2, …, n} on a m = a_i + a_j.     

Abstract equipartition of energy theorems

Let H be a self-adjoint operator on a complex Hilbert space $\text{H}$. The solution of the abstract Schrödinger equation $\text{idu}\text{dt}\text{= Hu}$ is given by u(t) = exp(?itH)u(0). The energy E = ∥u(t)∥² is independent of t. When does the energy break up into different kinds of energy E = ∑_{j = 1}^NE_j(t) which become asymptotically equipartitioned ? (That is, $\text{E}{}_{\mathrm{j}}\text{(t) →}\text{E}\text{N}\text{as}\text{t → ± ∞}$ for all j and all data u(0).) The “classical” case is the abstract wave equation $\text{d}{}^2\text{v}\text{dt}{}^2\text{+ A}{}^2\text{v = 0}\text{with}\text{A}$ self-adjoint on $\text{H}$₁. This becomes a Schrödinger equation in a Hilbert space $\text{H}$ (essentially $\text{H}$ is two copies of $\text{H}$₁), and there are two kinds of associated energy, viz., kinetic and potential. Two kinds of results are obtained. (1) Equipartition of energy is related to the C¹-algebra approach to quantum field theory and statistical mechanics. (2) Let A₁,…, A_N be commuting self-adjoint operators with N = 2 or 4. Then the equation $\text{Π}{}_{\mathrm{j\; =\; 1}}{}^{\mathrm{N}}\text{(}\text{d}\text{dt}\text{? iA}{}_{\mathrm{j}}\text{) u(t) = 0}$ admits equipartition of energy if and only if exp(it(A_j ? A_k)) → 0 in the weak operator topology as t → ± ∞ for j ≠ k.     

An extremal problem among subsets of a set

We determine the maximum size of a family of subsets in {1, 2,…, n} with the property that if A₁, A₂, A₃,… are any members of the family with $\text{∩A}{}_{\mathrm{i}}\text{= ?}$, then ∪A_i = {1, 2,…, n}.     

Invariant Subspaces for Commuting Operators on a Real Banach Space

It is proved that the commutative algebra A of operators on a reflexive real Banach space has an invariant subspace if each operator T ∈ A satisfies the condition

$${\left\| {1 - \varepsilon {T^2}} \right\|_e} \leqslant 1 + o\left( \varepsilon \right)as\varepsilon \searrow 0,$$

where ║ · ║ _e denotes the essential norm. This implies the existence of an invariant subspace for any commutative family of essentially self-adjoint operators on a real Hilbert space.

     

Analyticity and flows in von Neumann algebras

Let $\text{B}$ be a von Neumann algebra, let {α_t}_tεR be an ultraweakly continuous one-parameter group of ¹-automorphisms of $\text{B}$, and let $\text{U}$ be the set of all A such that for each ? in $\text{B}$₁, the function t → ?(α_t(A)) lies in H^∞($\text{R}$. Then $\text{U}$ is an ultraweakly closed subalgebra of $\text{B}$ containing the identity which is proper and non-self-adjoint if {α_t}_tεR is not trivial. In this paper, a systematic investigation into the structure theory of $\text{U}$ is begun. Two of the more note-worthy developments are these. First of all, conditions under which $\text{U}$ is a subdiagonal algebra in $\text{B}$, in the sense of Arveson, are determined. The analysis provides a common perspective from which to view a large number of hitherto unrelated algebras. Second, the invariant subspace structure of $\text{U}$ is determined and conditions under which $\text{U}$ is a reductive subalgebra of $\text{B}$ are found. These results are then used to produce examples where $\text{U}$ is a proper, non-self-adjoint, reductive subalgebra of $\text{B}$. The examples do not answer the reductive algebra question, however, because although ultraweakly closed, the subalgebras are weakly dense in $\text{B}$.     

Injectivity and operator spaces

Let B(H) be the bounded operators on a Hilbert space H. A linear subspace R ? B(H) is said to be an operator system if 1 ?R and R is self-adjoint. Consider the category $\text{b}$ of operator systems and completely positive linear maps. R ∈ $\text{C}$ is said to be injective if given A ? B, A, B ∈ $\text{C}$, each map A → R extends to B. Then each injective operator system is isomorphic to a conditionally complete C¹-algebra. Injective von Neumann algebras R are characterized by any one of the following: (1) a relative interpolation property, (2) a finite “projectivity” property, (3) letting M_m = B(C^m), each map R → N ? M_m has approximate factorizations R → M_n → N, (4) letting K be the orthogonal complement of an operator system N ? M_m, each map $\text{M}{}_{\mathrm{m}}\text{K}\text{→ R}$ has approximate factorizations $\text{M}{}_{\mathrm{m}}\text{K}\text{→ M}{}_{\mathrm{n}}\text{→ R}$. Analogous characterizations are found for certain classes of C¹-algebras.     

Analytic functions whose range is dense in a ball

Denote by Δ(resp. $\text{Δ}$) the open (resp. closed) unit disc in C. Let E be a closed subset of the unit circle T and let F be a relatively closed subset of T ? E of Lesbesgue measure zero. The following result is proved. Given a complex Banach space X and a bounded continuous function f:F → X, there exists an extension f? of f, bounded and continuous on $\text{}\text{?}\text{gD ? E}$, analytic on Δ and satisfying sup$\text{{6}\text{f}\text{?}\text{(z)6:zε}\text{δ}\text{?E}$. This is applied to show that for any separable complex Banach space X there exists an analytic function from Δ to X whose range is contained and dense in the unit ball of X.     

State estimation for cox processes on general spaces

Let N be an observable Cox process on a locally compact space E directed by an unobservable random measure M. Techniques are presented for estimation of M, using the observations of N to calculate conditional expectations of the form E [M]|$\text{F}$_A], where $\text{F}$_A is the σ–algebra generated by the restriction of N to A. We introduce a random measure whose distribution depends on N_A, from which we obtain both exact estimates and a recursive method for updating them as further observations become available. Application is made to the specific cases of estimation of an unknown, random scalar multiplier of a known measure, of a symmetrically distributed directing measure M and of a Markov–directed Cox process on $\text{R}$. By means of a Poisson cluster representation, the results are extended to treat the situation where N is conditionally additive and infinitely divisible given M.     

Spectral measures and the Bade reflexivity theorem

Let $\text{B}$ be a strongly equicontinuous Boolean algebra of projections on the quasi-complete locally convex space X and assume that the space L(X) of continuous linear operators on X is sequentially complete for the strong operator topology. Methods of integration with respect to spectral measures are used to show that the closed algebra generated by $\text{B}$ in L(X) consists precisely of those continuous linear operators on X which leave invariant each closed $\text{B}$-invariant subspace of X.     

Nonwastefulness of interior iterative procedures

An algorithm parametrized by sequences of matrices {A_i} and {B_i} is presented. The concept of wastefulness of the algorithm on a class $\text{b}$ of constrained optimization problems is introduced. Then it is proved that the algorithm is nonwasteful on $\text{b}$ if and only if the matrices A_i are positive multiples of the identity matrix and the matrices B_i are positive semidefinite.     

Unbounded operators generated by a given spectral measure

Let T be a closed densely-defined operator on a Banach space X and let E(·) be a spectral measure whose range $\text{E}$ is a complete Boolean algebra of projections in X. Then T is of the form ∝f(λ) dE(λ) if and only if T commutes with $\text{E}$ and leaves invariant every invariant subspace of $\text{E}$.     

Remarks on Banach spaces of compact operators

Let E and F be Banach spaces. We generalize several known results concerning the nature of the compact operators K(E, F) as a subspace of the bounded linear operators L(E, F). The main results are: (1) If E is a c₀ or l_p (1 < p < ∞) direct sum of a family of finite dimensional Banach spaces, then each bounded linear functional on K(E) admits a unique norm preserving extension to L(E). (2) If F has the bounded approximation property there is an isomorphism of $\text{L(E, F)}\text{into}\text{K(E, F)}{}^7$ such that its restriction to K(E, F) is the canonical injection. (3) If E is infinite dimensional and if F contains a complemented copy of c₀, K(E, F) is not complemented in L(E, F).     

A note on polynomial matrix functions over a finite field

Let F_n denote the ring of n×n matrices over the finite field F=GF(q) and let A(x)=A_Nx^N+ ?+ A₁x+A₀?F_n[x]. A function $\text{?:F}{}_{\mathrm{n}}\text{→F}{}_{\mathrm{n}}$ is called a right polynomial function iff there exists an A(x)?F_n[x] such that $\text{?(B)=A}{}_{\mathrm{N}}\text{B}{}^{\mathrm{N}}\text{+?+A}{}_1\text{B+ A}{}_0$ for every B?F_n. This paper obtains unique representations for and determines the number of right polynomial functions.     

Reflexive algebras with finite width lattices: Tensor products,cohomology, compact perturbations

Reflexive algebras play a central role in the study of general operator algebras. For a reflexive algebra the associated invariant subspace lattice has structural importance analogous to that of the algebraic commutant in the study of ¹-algebras. Tomita's tensor product commutation theorem can be restated in the form Alg($\text{L}$₁ ? $\text{L}$₂) = Alg $\text{L}$₁ ? Alg $\text{L}$₂, where each $\text{L}$_i is a reflexive ortho-lattice. This same formula is proved (for n-fold tensor products) in the setting when each $\text{L}$_i is a nest. Thus, in particular, a tensor product of nest algebras is again a reflexive algebra. Lance has shown that the Hochschild cohomology of nest algebras vanishes; modifications of his arguments show that cohomology vanishes for arbitrary CSL algebras whose lattices are generated by finitely many independent nests. This appears to be the strongest possible result in this direction. The class of irreducible tridiagonal algebras with finite-width commutative lattices is investigated and it is shown that these algebras have nontrivial first cohomology. Finally, it is shown that if $\text{L}$ is a finite-width commutative subspace lattice and $\text{K}$ is the set of compact operators then the quasitriangular algebra Alg $\text{L}$ + $\text{K}$ is closed in the norm topology. This extends to arbitrary finite-width CSL algebras a result obtained for nest algebras by Fall, Arveson, and Muhly.     

Hyperspaces of compact sets in metric linear spaces

We write 2^x for the hyperspace of all non-empty compact sets in a complete metric linear space X topologized by the Hausdorff metric. Using the notation $\text{F}$(X) = {A ϵ 2^X: A is finite}, l^f₂ = {x} = (x_i) ϵ l₂: x_i = 0 for almost all i}, and l^σ₂ = {x = (x _i) ϵ l₂:σ^∞_i=1 (ix_i)² < ∞}, we have the following theorem:A family $\text{G}$ ⊂$\text{F}$(X) is homeomorphic to l^f₂ if $\text{G}$ is σ-fd-compact, the closure $\text{G}$ of $\text{G}$ in 2^x is not locally compact and if whenever A, B ∈ $\text{G}$, λ ∈ [0, 1] and C ⊂ λA + (1 - λ)B with card C⩽ max{card A, card B} then C ϵ $\text{G}$.Moreover, for any G_δ-AR-set $\text{G}$$\text{G}$ of $\text{G}$ with $\text{G}$$\text{G}$ ⊃ $\text{G}$ we have ($\text{G}$$\text{G}$, $\text{G}$)≅(l₂, l^ƒ₂).Similar conditions for hyperspaces to be homeomorphic to l^σ₂ are also established.     

Some results on b-AM-compact operators

We show that for positive operator B : E → E on Banach lattices, if there exists a positive operator S : E → E such that:1.SB ≤ BS;2.S is quasinilpotent at some x₀ > 0; 3.S dominates a non-zero b-AM-compact operator, then B has a non-trivial closed invariant subspace. Also, we prove that for two commuting non-zero positive operators on Banach lattices, if one of them is quasinilpotent at a non-zero positive vector and the other dominates a non-zero b-AM-compact operator, then both of them have a common non-trivial closed invariant ideal. Then we introduce the class of b-AM-compact-friendly operators and show that a non-zero positive b-AM- compact-friendly operator which is quasinilpotent at some x₀ > 0 has a non-trivial closed invariant ideal.     

On permutations,convex hulls,and normal operators

A spectral characterization is obtained for those normal operators which belong to the convex hull of the unitary orbit of a given normal operator on a finite-dimensional space. This is used to prove the following: if A and B are normal operators on an n-dimensional complex Hilbert space H with eigenvalues given by α₁,…,α_n and β₁,…, β_n respectively, and if A ? B is also normal, then $\text{6A ? B6 ?}\text{max}\text{σ ? S}{}_{\mathrm{n}}\text{6}\text{diag}\text{(α}{}_{\mathrm{k}}\text{?β}{}_{\mathrm{\sigma (k)}}\text{)6}$ for any unitarily invariant norm on L(H).     

On the absorption of eigenvalues by continuous spectrum in regular perturbation problems

We consider the family of operators A + λB with A and B self-adjoint and B relatively form bounded. We consider situations where as λ ↓ λ₁, some eigenvalue μ(λ) approaches the continuous spectrum of A + λB. Typical of our results is the following. If B is relatively form compact, and μ(λ) → μ(λ₁), then either $\text{(μ(λ) ? μ(λ}{}_1\text{))}\text{λ}\text{? λ}{}_1\text{→ 0}\text{or}\text{μ(λ}{}_1\text{)}$ is an eigenvalue of A + λ₁B.