Maps preserving the idempotency of products of operators

Let B(X) be the algebra of all bounded linear operators on a complex Banach space X. We give the concrete form of every unital surjective map φ on B(X) such that AB is a non-zero idempotent if and only if φ(A)φ(B) is for all A,B∈B(X) when the dimension of X is at least 3.     

Extremal integral representations

Let X be a closed bounded convex subset with the Radon-Nikodym property of a Banach space. For tight Borel probability measures μ, v on X, define μ ? v iff there is a dilation T on X such that T(μ) = v. Then, for every x?X, there is a measure μ on X which is maximal in the partial order ? and which has barycenter x. If X is separable, then μ(ex X) = 1 for all maximal measures μ. In general, a maximal measure need not be “on” ex X in this strong sense. If X is weakly compact, then a maximal measure is “on” ex X in the looser sense that μ(B) = 1 for all weak Baire sets B ? ex X.     

Harmonic analysis and asymptotic behavior of solutions to the abstract cauchy problem

LetC _ub ( $\mathbb{J}$ , X) denote the Banach space of all uniformly continuous bounded functions defined on $\mathbb{J}$ 2 ε {?⁺, ?} with values in a Banach spaceX. Let ? be a class fromC _ub( $\mathbb{J}$ ,X). We introduce a spectrumsp?(φ) of a functionφ εC _ub (?,X) with respect to ?. This notion of spectrum enables us to investigate all twice differentiable bounded uniformly continuous solutions on ? to the abstract Cauchy problem (*)ω′(t) =Aω(t) +φ(t),φ(0) =x,φ ε ?, whereA is the generator of aC ₀-semigroupT(t) of bounded operators. Ifφ = 0 andσ(A) ∩i? is countable, all bounded uniformly continuous mild solutions on ?⁺ to (*) are studied. We prove the bound-edness and uniform continuity of all mild solutions on ?⁺ in the cases (i)T(t) is a uniformly exponentially stableC ₀-semigroup andφ εC _ub(?,X); (ii)T(t) is a uniformly bounded analyticC ₀-semigroup,φ εC _ub (?,X) andσ(A) ∩i sp(φ) = Ø. Under the condition (i) if the restriction ofφ to ?⁺ belongs to ? = ?(?⁺,X), then the solutions belong to ?. In case (ii) if the restriction ofφ to ?⁺ belongs to ? = ?(?⁺,X), andT(t) is almost periodic, then the solutions belong to ?. The existence of mild solutions on ? to (*) is also discussed.     

Browder-Weyl theorems, tensor products and multiplications

A Banach space operator T∈B(X) satisfies Browder's theorem if the complement of the Weyl spectrum σw(T) of T in σ(T) equals the set of Riesz points of T; T is polaroid if the isolated points of σ(T) are poles (no restriction on rank) of the resolvent of T. Let Φ(T) denote the set of Fredholm points of T. Browder's theorem transfers from A,B∈B(X) to S=LARB (resp., S=A⊗B) if and only if A and B^∗ (resp., A and B) have SVEP at points μ∈Φ(A) and ν∈Φ(B) for which λ=μν∉σw(S). If A and B are finitely polaroid, then the polaroid property transfers from A∈B(X) and B∈B(Y) to LARB; again, restricting ourselves to the completion of X⊗Y in the projective topology, if A and B are finitely polaroid, then the polaroid property transfers from A∈B(X) and B∈B(Y) to A⊗B.     

Nonlinear random ergodic theorems for affine operators

Let (Ω,ß,μ) be a finite measure space and let (S,F,ν) be another probability measure space on which a measure preserving transformation φ is given. We introduce the so-called affine systems and prove a vector-valued nonlinear random ergodic theorem for the random affine system determined by a strongly F-measurable family of affine operators, where B is a reflexive Banach space, is a strongly F-measurable family of linear contractions on L₁(Ω,B) as well as on L_∞(Ω,B) and ξ is a function in (I−T)Lp(S×Ω,B) (1?p<∞) with the operator T defined by Tf(s,ω)=[Tsfφs](ω) which denotes the F⊗ß-measurable version of Tsfφs(ω). Moreover, some variant forms of the nonlinear random ergodic theorem are also obtained with some examples of affine systems for which the nonlinear ergodic theorems fail to hold.     

A recurrence among the elements of functions of triangular matrices

A simple relation exists among the elements of φ(T) when φ is an analytic function and T is triangular. This permits the rapid build up of φ(T) from its diagonal. Moreover, exp(B^?1A) can be formed without inverting B.     

Converse theorem for the Minkowski inequality

Let (Ω,Σ,μ) a measure space such that 0<μ(A)<1<μ(B)<∞ for some A,B∈Σ. Under some natural conditions on the bijective functions φ,φ₁,φ₂,ψ,ψ₁,ψ₂:(0,∞)→(0,∞) we prove that if

     

On exterior powers of endomorphisms

Let V be an n-dimensional vector space and T?Hom(V,V). The first result shows that if C_m(T), the mth compound of T, possesses a basis of eigenvectors, then it possesses a basis consisting of decomposable eigenvectors in the mth Grassman space over V. The paper also contains a simplified proof of a recent result of S. Belcerzyk on traces of compounds as well as conditions for the equality of fixed coefficients in the polynomials det(λA+μX) and det(λB+μX).     

Remarks on pseudo-contractive mappings

Let X be a Banach space, B a closed ball centered at the origin in X, and T: B → X a pseudo-contractive mapping (i.e., (λ ? 1) ∥x ? y∥ ? ∥(λI ? T)(x) ? (λI ? T) (y)∥ for all x, y?B and λ > 1). It is shown here that the antipodal boundary condition: T(x) = ?T(?x) for all x?δB assures existence of a fixed point of T in B provided that the ball B has the fixed point property with respect to non-expansive self-mappings. Also included are some fixed point theorems which involve the Leray-Schauder condition.     

Projections on spaces of invariant functions

Let (X, ∑, μ) be a measure space and S be a semigroup of measure-preserving transformations T:X → X. In case μ(X) < ∞, Aribaud [1] proved the existence of a positive contractive projection P of L¹(μ) such that for every $\text{? ? L}{}^1\text{(μ), Pf}$ belongs to the closure $\text{C}{}_1\text{(?)}\text{in}\text{L}{}^1\text{(μ)}$ of the convex hull $\text{C(?)}$ of the set {$\text{? ○ T:T ? S}$}. In this paper we extend this result in three directions: we consider infinite measure spaces, vector-valued functions, and L^p spaces with 1 ? p < ∞, and prove that P is in fact the conditional expectation with respect to the σ-algebra Λ of sets of ∑ which are invariant with respect to all T?S.     

Multiplicatively range-preserving maps between Banach function algebras

Let A and B be two Banach function algebras on locally compact Hausdorff spaces X and Y, respectively. Let T be a multiplicatively range-preserving map from A onto B in the sense that (TfTg)(Y)=(fg)(X) for all f,g∈A. We define equivalence relations on appropriate subsets and of X and Y, respectively, and show that T induces a homeomorphism between the quotient spaces of and by these equivalence relations. In particular, if all points in the Choquet boundaries of A and B are strong boundary points, then and are equal to the Choquet boundaries of A and B, respectively, and moreover, there exist a continuous function h on the Choquet boundary of B taking its values in {−1,1} and a homeomorphism φ from the Choquet boundary of B onto the Choquet boundary of A such that Tf(y)=h(y)f(φ(y)) for all f∈A and y in the Choquet boundary of B. For certain Banach function algebras A and B on compact Hausdorff spaces X and Y, respectively, we can weaken the surjectivity assumption and give a representation for maps belonging 2-locally to the family of all multiplicatively range-preserving maps from A onto B.     

On an Explicit Skorokhod Embedding for Spectrally Negative Lévy Processes

We present an explicit solution to the Skorokhod embedding problem for spectrally negative Lévy processes. Given a process X and a target measure μ satisfying an explicit admissibility condition we define functions φ _± such that the stopping time T=inf?{t>0:X _t ∈{?φ _?(L _t ),φ ₊(L _t )}} induces X _T ～μ, where (L _t ) is the local time in zero of X. We also treat versions of T which take into account the sign of the excursion straddling time t. We prove that our stopping times are minimal and we describe criteria under which they are integrable. We compare our solution with the one proposed by Bertoin and Le Jan (Ann. Probab. 20(1):538–548, [1992]). In particular, we compute explicitly the quantities introduced in Bertoin and Le Jan (Ann. Probab. 20(1):538–548, [1992]) in our setup. Our method relies on some new explicit calculations relating scale functions and the Itô excursion measure of X. More precisely, we compute the joint law of the maximum and minimum of an excursion away from 0 in terms of the scale function.     

Coincidences of projections and linear n-valued maps of tori

We prove that the Nielsen fixed point number N(φ) of an n-valued map φ:X?X of a compact connected triangulated orientable q-manifold without boundary is equal to the Nielsen coincidence number of the projections of the graph of φ, a subset of X×X, to the two factors. For certain q×q integer matrices A, there exist “linear” n-valued maps Φn,A,σ:Tq?Tq of q-tori that generalize the single-valued maps fA:Tq→Tq induced by the linear transformations TA:Rq→Rq defined by TA(v)=Av. By calculating the Nielsen coincidence number of the projections of its graph, we calculate N(Φn,A,σ) for a large class of linear n-valued maps.     

Hereditarily polaroid operators, SVEP and Weyl's theorem

A Banach space operator T∈B(X) is hereditarily polaroid, T∈HP, if every part of T is polaroid. HP operators have SVEP. It is proved that if T∈B(X) has SVEP and R∈B(X) is a Riesz operator which commutes with T, then T+R satisfies generalized a-Browder's theorem. If, in particular, R is a quasi-nilpotent operator Q, then both T+Q and T^∗+Q^∗ satisfy generalized a-Browder's theorem; furthermore, if Q is injective, then also T+Q satisfies Weyl's theorem. If A∈B(X) is an algebraic operator which commutes with the polynomially HP operator T, then T+N is polaroid and has SVEP, f(T+N) satisfies generalized Weyl's theorem for every function f which is analytic on a neighbourhood of σ(T+N), and f^∗(T+N) satisfies generalized a-Weyl's theorem for every function f which is analytic on, and constant on no component of, a neighbourhood of σ(T+N).     

A Grothendieck-type theorem for the space of totally measurable functions

Let Σ be a σ-algebra of subsets of a non-empty set Ω. Let X be a real Banach space and let X^* stand for the Banach dual of X. Let B(Σ, X) be the Banach space of Σ-totally measurable functions f: Ω → X, and let B(Σ, X)^* and B(Σ, X)^** denote the Banach dual and the Banach bidual of B(Σ, X) respectively. Let bvca(Σ, X^*) denote the Banach space of all countably additive vector measures ν: Σ → X^* of bounded variation. We prove a form of generalized Vitali-Hahn-Saks theorem saying that relative σ(bvca(Σ, X^*), B(Σ, X))-sequential compactness in bvca(Σ, X^*) implies uniform countable additivity. We derive that if X reflexive, then every relatively σ(B(Σ, X)^*, B(Σ, X))-sequentially compact subset of B(Σ, X)_c^~ (= the σ-order continuous dual of B(Σ, X)) is relatively σ(B(Σ, X)^*, B(Σ, X)^**)-sequentially compact. As a consequence, we obtain a Grothendieck type theorem saying that σ(B(Σ, X)^*, B(Σ, X))-convergent sequences in B(Σ, X)_c^~ are σ(B(Σ, X)^*, B(Σ, X)^**)-convergent.     

Jointly ergodic measure-preserving transformations

The notion of ergodicity of a measure-preserving transformation is generalized to finite sets of transformations. The main result is that ifT ₁,T ₂, …,T _s are invertible commuting measure-preserving transformations of a probability space (X, ?, μ) then 1 $$\frac{1}{{N - M}}\sum\limits_{n = M}^{N - 1} {T{}_1^n } f_1 .T_2^n f_2 .....T_s^n f_s \xrightarrow[{N - M \to \propto }]{{I^2 (X)}}(\int_X {f1d\mu )} (\int_X {f2d\mu )...(\int_X {fsd\mu )} } $$ for anyf ₁,f ₂, …,f _s∈L ^x (X, ?, μ) iffT ₁×T ₂×…×T _s and all the transformationsT _iT_j ¹,i≠j, are ergodic. The multiple recurrence theorem for a weakly mixing transformation follows as a special case.     

Approximately spectrum-preserving maps

Let X and Y be superreflexive complex Banach spaces and let B(X) and B(Y) be the Banach algebras of all bounded linear operators on X and Y, respectively. If a bijective linear map Φ:B(X)→B(Y) almost preserves the spectra, then it is almost multiplicative or anti-multiplicative. Furthermore, in the case where X=Y is a separable complex Hilbert space, such a map is a small perturbation of an automorphism or an anti-automorphism.     

Hyperreflexivity and operator ideals

Suppose (B,β) is an operator ideal, and A is a linear space of operators between Banach spaces X and Y. Modifying the classical notion of hyperreflexivity, we say that A is called B-hyperreflexive if there exists a constant C such that, for any T∈B(X,Y) with α=supβ(qTi)<∞ (the supremum runs over all isometric embeddings i into X, and all quotient maps of Y, satisfying qAi=0), there exists a∈A, for which β(T−a)?Cα. In this paper, we give examples of B-hyperreflexive spaces, as well as of spaces failing this property. In the last section, we apply SE-hyperreflexivity of operator algebras (SE is a regular symmetrically normed operator ideal) to constructing operator spaces with prescribed families of completely bounded maps.     

Representing Graphs in Steiner Triple Systems

Let G =  (V, E) be a simple graph and let T =  (P, B) be a Steiner triple system. Let φ be a one-to-one function from V to P. Any edge e =  {u, v} has its image {φ(u), φ(v)} in a unique block in B. We also denote this induced function from edges to blocks by φ. We say that T represents G if there exists a one-to-one function φ : V → P such that the induced function φ : E → B is also one-to-one; that is, if we can represent vertices of the graph by points of the triple system such that no two edges are represented by the same block. In this paper we examine when a graph can be represented by an STS. First, we find a bound which ensures that every graph of order n is represented in some STS of order f(n). Second, we find a bound which ensures that every graph of order n is represented in every STS of order g(n). Both of these answers are related to finding an independent set in an STS. Our question is a generalization of finding such independent sets. We next examine which graphs can be represented in STS’s of small orders. Finally, we give bounds on the orders of STS’s that are guaranteed to embed all graphs of a given maximum degree.