Equivalence,linearization, and decomposition of holomorphic operator functions

This paper discusses the problem of classifying holomorphic operator functions up to equivalence. A survey is given in 41 of the main results about equivalence classes of holomorphic matrix functions and holomorphic Fredholm-operator functions. In 42, it is shown that given a holomorphic function A on a bounded domain Ω into a space of bounded linear operators between two Banach spaces, it is possible to extend the operators A(λ) (for each λ ? Ω) by an identity operator I_Z in such a way that the extended operator function A(·) ⊕ I_Z is equivalent on Ω to a linear function of λ, T ? λI. Other versions of this “linearization by extension” are described, including the cases of entire functions and polynomials (where Ω = $\text{C}$). As an application of these results, we consider the operator function equation $\text{A}{}_2\text{(λ) Z}{}_2\text{(λ) + Z}{}_1\text{(λ) A}{}_1\text{(λ) = C(λ), λ ? Ω}$, (1) and explicitly construct the solutions Z₁ and Z₂. The formulas for Z₁ and Z₂ seem to be new, even when A₁, A₂ and C are matrix polynomials. The existence of solutions of (¹) makes it possible to analyze an operator function A whose spectrum decomposes into pairwise disjoint compact subsets σ₁, …, σ_n of Ω. In this case, a suitable extension of A is equivalent on Ω to a direct sum of operator functions, A₁, …, A_n, such that the spectrum of A_i is σ_i (i = 1, …, n). In the final section of the paper, we discuss the relation between local and global equivalence on Ω, and show that there exist operator functions A and B which are locally equivalent on Ω, but admit no extensions (of the sort considered in this paper) which are globally equivalent on Ω.     

The additive and logical complexities of linear and bilinear arithmetic algorithms

Let C_A(±) be the additive complexity of a (bi)linear algorithm A for a given problem; D(A) and $\text{D}\text{(A)}$ are two acyclic diagraphs that represent A, each of them is obtained from another one by reversing directions of all edges; ir(D) and do(D) are two numbers that are introduced to measure the structural deficiencies of an acyclic digraph D. K and Q are the numbers of outputs and input-variables. $\text{do(}\text{D}\text{(A))}$, do(D(A)), and ir(D(A)) characterize the logical complexity of A. It is shown that C_A(±) + do(D(A)) + ir(D(A)) = ω(K + Q)log(K + Q) and $\text{C}{}_{\mathrm{A}}\text{(±) + do(}\text{D}\text{(A)) = ω(K + Q)}\text{log}\text{(K + Q)}$ in the cases of DFT, vector convolution, and matrix multiplication. Also lower bounds on C_A(±) + do(D(A)) and on C_A(±) are expressed in terms of algebraic quantities such as the ranks of matrices and of multidimensional tensors associated with the problems.     

C0-semigroups on a locally convex space

A necessary and sufficient condition that a densely defined linear operator A in a sequentially complete locally convex space X be the infinitesimal generator of a quasi-equicontinuous C₀-semigroup on X is that there exist a real number β ? 0 such that, for each λ > β, the resolvent (λI ? A)^?1 exists and the family {(λ ? β)^k(λI ? A)^?k; λ > β, k = 0, 1, 2,…} is equicontinuous. In this case all resolvents (λI ? A)^?1, λ > β, of the given operator A and all exponentials exp(tA), t ? 0, of the operator A belong to a Banach algebra $\text{B}{}_{\mathrm{г}}\text{(X)}$ which is a subspace of the space L(X) of all continuous linear operators on X, and, for each t ? 0 and for each x?X, one has lim_{k → z} (I ? k^?1tA)^?kx = exp(tA) x. A perturbation theorem for the infinitesimal generator of a quasi-equicontinuous C₀-semigroup by an operator which is an element of $\text{B}{}_{\mathrm{г}}\text{(X)}$ is obtained.     

Générateurs et semi-groupes dans les espaces de Banach uniformement lisses

Let C be a closed convex subset of a uniformly smooth Banach space. Let S(t) : C → C be a semigroup of type ω. Then the generator A₀ of S(t) has a dense domain in C. Moreover there is is an operator A such that: (i) A₀ ? A and $\text{D(A)}\text{= C, (ii) A + gwI}$ accretive, (iii) R(I + λA) ? C for λ > 0 and ωλ < 1, (iv) $\text{S(t)x =}\text{lim}{}_{\mathrm{n\; \to \; \infty }}\text{(I + (}\text{t}\text{n}\text{)A)}{}^{\mathrm{?n}}\text{x}$ for every x?C.     

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.     

Equivalent measures of dependence

The maximal correlation between a pair of σ-fields $\text{A}$ and $\text{B}$ becomes arbitrarily small as sup{|P(A ? B) ? P(A) P(B)|/[P(A) P(B)]^1/2, A ∈ $\text{A}$, B ∈ $\text{B}$, P(A) > 0, P(B) > 0} becomes sufficiently small.     

An identity involving partitional generalized binomial coefficients

Define coefficients (_κ^λ) by C_λ(I_p + Z)/C_λ(I_p) = Σ_k=0^l Σ_{?∈$\text{P}$k} (_?^λ) C_κ(Z)/C_κ(I_p), where the C_λ's are zonal polynomials in p by p matrices. It is shown that C_?(Z) etr(Z)/k! = Σ_l=k^∞ Σ_{λ∈$\text{P}$l} (_?^λ) C_λ(Z)/l!. This identity is extended to analogous identities involving generalized Laguerre, Hermite, and other polynomials. Explicit expressions are given for all (_?^λ), ? ∈ $\text{P}$_k, k ≤ 3. Several identities involving the (_?^λ)'s are derived. These are used to derive explicit expressions for coefficients of $\text{C}{}_{\mathrm{\lambda }}\text{(Z)}\text{l}\text{!}$ in expansions of P(Z), $\text{etr}\text{(Z)}\text{k!}$ for all monomials P(Z) in s_j = tr Z^j of degree k ≤ 5.     

More bounds for elgenvalues using traces

Let the n × n complex matrix A have complex eigenvalues λ₁,λ₂,…λ_n. Upper and lower bounds for Σ(Reλ_i)² are obtained, extending similar bounds for Σ|λ_i|² obtained by Eberlein (1965), Henrici (1962), and Kress, de Vries, and Wegmann (1974). These bounds involve the traces of A¹A, B², C², and D², where $\text{B}\text{=}\text{1}\text{2}\text{(}\text{A}\text{+}\text{A}{}^1\text{)}$, $\text{C}\text{=}\text{1}\text{2}\text{(}\text{A}\text{?}\text{A}{}^1\text{) /i}$, and $\text{D}\text{=}\text{AA}{}^1\text{?}\text{A}{}^1\text{A}$, and strengthen some of the results in our earlier paper “Bounds for eigenvalues using traces” in Linear Algebra and Appl. [12].     

Weak and strong extensions of ordinary differential operators

Let A be a second order differential operator with positive leading term defined on an interval J of R. In this paper we study conditions for the equality D₀(A) = D₁(A) to hold. Here D₀(A) and D₁(A) are the domains of the minimal and maximal extensions of A respectively. Under the general assumption that $\text{A(1)}\text{and}\text{A}{}^1\text{(1)}$ are bounded above it is proven that under certain conditions D₀(A) = D₁(A) if functions which are constant near the boundaries of J are in $\text{D}{}_0\text{(A) ∩ D}{}_0\text{(A}{}^1\text{)}$ whenever they are in $\text{D}{}_1\text{(A) ∩ D}{}_1\text{(A}{}^1\text{)}$. In particular if A is formally selfadjoint and 1 ?D₁(A) then D₁(A) = D₀(A) if and only if 1 ?D₀(A). When the measure of J is infinite at both ends D₀(A) is always equal to D₁(A). This fact is used to show that the leading term of A as well as its terminal coefficient can be chosen arbitrarily (although not independently of one another) in such a way that the equality D₀ = D₁ holds.     

On the Schur multiplier norm of matrices

The Schur product of two n×n complex matrices A=(a_ij), B=(b_ij) is defined by A°B=(a_ijb_ij. By a result of Schur [2], the algebra of n×n matrices with Schur product and the usual addition is a commutative Banach algebra under the operator norm (the norm of the operator defined on $\text{C}$ⁿ by the matrix). For a fixed matrix A, the norm of the operator B?A°B on this Banach algebra is called the Schur multiplier norm of A, and is denoted by ∥A∥^m. It is proved here that $\text{∥A∥=∥U}{}^1\text{AU∥}{}_{\mathrm{m}}$ for all unitary U (where ∥·∥ denotes the operator norm) iff A is a scalar multiple of a unitary matrix; and that ∥A∥_m=∥A∥ iff there exist two permutations P, Q, a p×p (1?p?n) unitary U, an (n?p)×(n?p)1 contraction C, and a nonnegative number λ such that

$\text{A=λP}\text{U}\text{0}\text{0}\text{C}\text{Q;}$

and this is so iff $\text{∥A°}\text{A}\text{?}\text{∥=∥A∥}{}^2$, where ā is the matrix obtained by taking entrywise conjugates of A.     

On some t−(2k, k, λ) designs

t?(2k, k, λ) designs having a property similar to that of Hadamard 3-designs are studied. We consider conditions (i), (ii), or (iii) for t?(2k, k, λ) designs: (i) The complement of each block is a block. (ii) If A and B are a complementary pair of blocks, then ∥ A ∩ C ∥ = ∥ B ∩ C ∥ ± u holds for any block C distinct from A and B, where u is a positive integer. (iii) if A and B are a complementary pair of blocks, then ∥ A ∩ C ∥ = ∥ B ∩ C ∥ or ∥ A ∩ C ∥ = ∥ B ∩ C ∥ ± u holds for any block C distinct from A and B, where u is a positive integer. We show that a t?(2k, k, λ) design with t ? 2 and with properties (i) and (ii) is a 3?(2u(2u + 1), u(2u + 1), u(2u² + u ? 2)) design, and that a t?(2k, k, λ) design with t ? 4 and with properties (i) and (iii) is the 5-(12, 6, 1) design, the 4-(8, 4, 1) design, a $\text{5?(2u}{}^2\text{, u}{}^2\text{,}\text{1}\text{4}\text{(u}{}^2\text{? 3) (u}{}^2\text{? 4))}$ design, or a $\text{5?(}\text{2}\text{3}\text{u(2u + 1),}\text{1}\text{3}\text{u(2u = 1),}\text{1}\text{5 4}\text{u(2u}{}^2\text{+ u ? 9) (2u}{}^2\text{+ u ? 12))}$ design.     

Imbedding conditions for λ-matrices

We say that A(λ) is λ-imbeddable in B(λ) whenever B(λ) is equivalent to a λ-matrix having A(λ) as a submatrix. In this paper we solve the problem of finding a necessary and sufficient condition for A(λ) to be λ-imbeddable in B(λ). The solution is given in terms of the invariant polynomials of A(λ) and B(λ). We also solve an analogous problem when A(λ) and B(λ) are required to be equivalent to regular λ-matrices. As a consequence we give a necessary and sufficient condition for the existence of a matrix B, over a field F, with prescribed similarity invariant polynomials and a prescribed principal submatrix A.     

Some apparent connection between Baxter and averaging operators

A formula for the resolvent R(λ, T) of a Baxter operator T, on a complex Banach algebra $\text{A}$ with identity e, is obtained. With the parameter θ ≠ 0 and e, but under some restriction, this formula is analogous to that for the resolvent of an averaging operator. A counterexample is given, which shows that such a Baxter operator is not averaging in general. When θ is regular in $\text{A}$, a simple representation of T in terms of summation and averaging operators is obtained.     

Functions and derivations of C1-algebras

It is shown that there is a closed symmetric derivation δ of a C¹-algebra with dense domain $\text{D}$(δ), an element A = A¹ ?$\text{D}$(δ), and a C¹-function $\text{f}$ such that $\text{f}$(A)?$\text{D}$(δ). Some estimates are derived for $\text{∥ δ(¦ A ¦)∥}\text{and}\text{∥ δ(A}{}_{\mathrm{+}}{}^{\mathrm{\alpha }}\text{)∥}$, where 0 < α < 1. It is shown that there exists a family of one-one self-adjoint operators S(t) in $\text{L}$(H) which depends linearly on t, while $\text{¦ S(t)¦}$ is not differentiable. It is also shown that there exists $\text{L}$(H) which is not C¹-self-adjoint even though it satisfies $\text{∥}\text{exp}\text{(itT)∥ ? C(1 + ¦ t ¦)}$ for all t ? $\text{R}$     

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.     

Unitarization of symplectics and stability for causal differential equations in Hilbert space

Let Sp($\text{H}$) be the symplectic group for a complex Hibert space $\text{H}$. Its Lie algebra sp($\text{H}$) contains an open invariant convex cone C₀; each element of C₀ commutes with a unique sympletic complex structure. The Cayley transform $\text{C}$: X∈ sp($\text{H}$)→(I + X)¹∈ Sp($\text{H}$) is analyzed and compared with the exponential mapping. As an application we consider equations of the form $\text{(}\text{d}\text{dt}\text{) S = A(t)S,}\text{where}\text{t → A(t) ?}\text{C}\text{?}{}_0$ is strongly continuous, and show that if ∝_?∞^∞ ∥A(t)∥ dt < 2 and ∝_{? t8}^∞A(t) dt?C₀, the (scattering) operator

, where S_t′(t) is the solution such that S_t′(t′) = I, is in the range of $\text{B}$ restricted to C₀. It follows that S leaves invariant a unique complex structure; in particular, it is conjugate in Sp($\text{H}$) to a unitary operator.     

Asymptotic properties of matrix differential operators

For given matrices A(s) and B(s) whose entries are polynomials in s, the validity of the following implication is investigated: ?_ylim_{t → ∞}A(D) y(t) = 0 ? lim_{t → ∞}B(D) y(t) = 0. Here D denotes the differentiation operator and y stands for a sufficiently smooth vector valued function. Necessary and sufficient conditions on A(s) and B(s) for this implication to be true are given. A similar result is obtained in connection with an implication of the form ?_yA(D) y(t) = 0, lim_{t → ∞}B(D) y(t) = 0, C(D) y(t) is bounded ? lim_{t → ∞}E(D) y(t) = 0.     

Lifting commuting pairs of C1 algebras

Given a commuting pair $\text{A}$₁, $\text{A}$₂ of abelian $\text{C}{}^1$ subalgebras of the Calkin algebra, we look for a commuting pair $\text{B}$₁,$\text{B}$₂ of $\text{C}{}^1$ subalgebras of $\text{B(H)}$ which project onto $\text{A}$₁ and $\text{A}$₂. We do not insist that $\text{B}$_i, be abelian, so $\text{B}$_i, may contain nontrivial compact operators. If X is the joint spectrum σ($\text{A}$₁, $\text{A}$₂), it is shown that the existence of a pair $\text{B}$₁, $\text{B}$₂ depends only on the element τ in Ext(X) determined by $\text{A}$₁, $\text{A}$₂. The set L(X) of those τ in Ext(X) which “lift” in this sense is shown to be a subgroup of Ext(X) when Ext(X) is Hausdorff, and also when $\text{A}$_i are singly generated. In this latter case, L(X) can be explicitly calculated for large classes of joint spectra. These results are applied to lift certain pairs of commuting elements of the Calkin algebra to pairs of commuting operators.     

Bounds for the variance of certain stationary point processes

For the variance of stationary renewal and alternating renewal processes N_n(·) the paper establishes upper and lower bounds of the form

$\text{?B}{}_1\text{?varN}{}_8\text{(0,x–Aλx?B}{}_2\text{(0<x<∞)}$

, where λ=EN₈(0,1), with constants A, B₁ and B₂ that depend on the first three moments of the interval distributions for the processes concerned. These results are consistent with the value of the constant A for a general stationary point process suggested by Cox in 1963 [1].