Additive Maps Preserving Similarity of Operators on Banach Spaces

Let X be an infinite-dimensional complex Banach space and denote by B（X） the algebra of all bounded linear operators acting on X. It is shown that a surjective additive map Φ from B（X） onto itself preserves similarity in both directions if and only if there exist a scalar c, a bounded invertible linear or conjugate linear operator A and a similarity invariant additive functional ψ on B（X） such that either Φ（T） = cATA^-1 ＋ ψ（T）I for all T, or Φ（T） = cAT＊A^-1 ＋ ψ（T）I for all T. In the case where X has infinite multiplicity, in particular, when X is an infinite-dimensional Hilbert space, the above similarity invariant additive functional ψ is always zero.     

Minimum and Surjectivity Moduli Preserving in Banach Space

Let m(T) and q(T) be respectively the minimum and the surjectivity moduli of T∈ℬ(X), where ℬ(X) denotes the algebra of all bounded linear operators on a complex Banach space X. If there exists a semi-invertible but non-invertible operator in ℬ(X) then, given a surjective unital linear map φ: ℬ(X)⟶ℬ(X), we prove that m(T)=m(φ(T)) for all T∈ℬ(X), if and only if, q(T)=q(φ(T)) for all T∈ℬ(X), if and only if, there exists a bijective isometry U∈ℬ(X) such that φ(T)=UTU ⁻¹ for all T∈ℬ(X).     

A generalization of peripherally-multiplicative surjections between standard operator algebras

Let A and B be standard operator algebras on Banach spaces X and Y, respectively. The peripheral spectrum σ_π (T) of T is defined by σ_π (T) = z ∈ σ(T): |z| = max_w∈σ(T) |w|. If surjective (not necessarily linear nor continuous) maps φ, ϕ: A → B satisfy σ_π (φ(S)ϕ(T)) = σ_π (ST) for all S; T ∈ A, then φ and ϕ are either of the form φ(T) = A ₁ TA ₂ ⁻¹ and ϕ(T) = A ₂ TA ₁ ⁻¹ for some bijective bounded linear operators A ₁; A ₂ of X onto Y, or of the form φ(T) = B ₁ T*B ₂ ⁻¹ and ϕ(T) = B ₂ T*B ⁻¹ for some bijective bounded linear operators B ₁;B ₂ of X* onto Y.      

A nilpotent Roth theorem

Let T and S be invertible measure preserving transformations of a probability measure space (X, ℬ, μ). We prove that if the group generated by T and S is nilpotent, then exists in L ²-norm for any u, v∈L ^∞(X, ℬ, μ). We also show that for A∈ℬ with μ(A)>0 one has . By the way of contrast, we bring examples showing that if measure preserving transformations T, S generate a solvable group, then (i) the above limits do not have to exist; (ii) the double recurrence property fails, that is, for some A∈ℬ, μ(A)>0, one may have μ(A∩T _-n A∩S ^{- n} A)=0 for all n∈ℕ. Finally, we show that when T and S generate a nilpotent group of class ≤c, in L ²(X) for all u, v∈L ^∞(X) if and only if T×S is ergodic on X×X and the group generated by T ^-1 S, T ^-2 S ²,..., T ^-c S ^c acts ergodically on X. Oblatum 19-V-2000 & 5-VII-2001?Published online: 12 October 2001     

An algebraic invariant for Jordan automorphisms on β(<Emphasis Type="Italic">H</Emphasis>): The set of idempotents

Let H be an infinite dimensional complex Hilbert space. Denote by B(H) the algebra of all bounded linear operators on H, and by I(H) the set of all idempotents in B(H). Suppose that Φ is a surjective map from B(H) onto itself. If for every λ ∈ -1,1,2,3, and A, B ∈ B(H),A-λB ∈I(H) ⇔ Φ(A) -λΦ(B) ∈I(H, then Φ is a Jordan ring automorphism, i.e. there exists a continuous invertible linear or conjugate linear operator T on H such that Φ(A) = TAT ^-1 for all A ∈ B(H), or Φ(A) = TA*T ^-1 for all A ∈ B(H); if, in addition, A-iB ∈I(H)⇔ Φ(A)-iΦ(B) ∈I(H), here i is the imaginary unit, then Φ is either an automorphism or an anti-automorphism.     

A Boundedness Criterion via Atoms for Linear Operators in Hardy Spaces

Let p∈(0,1] and s≥[n(1/p−1)], where [n(1/p−1)] denotes the maximal integer no more than n(1/p−1). In this paper, the authors prove that a linear operator T extends to a bounded linear operator from the Hardy space H ^p (ℝ ⁿ ) to some quasi-Banach space ℬ if and only if T maps all (p,2,s)-atoms into uniformly bounded elements of ℬ.      

Type norms with respect to characters of compact abelian groups and algebraic relations

Let A _n =(a ₁,...,a _n) be a system of characters of a compact abelian group A _n with normalized Haar measure μ and let T be a bounded linear operator from a Banach space X into a Banach space Y. The type norm τ(T| A _n ) of T with respect to A _n is the least constant c such that

A Characterization of ＊-Automorphism on B（H）

Let H be a Hilbert space and A be a standard ＊-subalgebra of B（H）. We show that a bijective map Ф ： A →A preserves the Lie-skew product AB - BA＊ if and only if there is a unitary or conjugate unitary operator U ∈A（H） such that Ф（A） = UAU＊ for all A ∈ A, that is, Фis a linear ＊ -isomorphism or a conjugate linear ＊-isomorphism.     

A remark on the range of elementary operators

Let L(H) denote the algebra of all bounded linear operators on a separable infinite dimensional complex Hilbert space H into itself. Given A ∈ L(H), we define the elementary operator Δ _A : L(H) → L(H) by Δ _A (X) = AXA − X. In this paper we study the class of operators A ∈ L(H) which have the following property: ATA = T implies AT*A = T* for all trace class operators T ∈ C ₁(H). Such operators are termed generalized quasi-adjoints. The main result is the equivalence between this character and the fact that the ultraweak closure of the range of Δ _A is closed under taking adjoints. We give a characterization and some basic results concerning generalized quasi-adjoints operators.     

On normal and compact operators on Banach spaces

For some normal operators (T=H+iK) on a Banach spaceX we study the dual space of the Banach algebraA (H, K) assuming thatX* is weakly complete and we study the decompositionX=Ker (T) ⊕ (TX)⁻ for spacesX ⊅c ₀.     

Almost sure central limit theorems for random functions

Let {Xn,-∞< n <∞} be a sequence of independent identically distributed random variables with EX1 = 0, EX12 = 1 and let Sn =∑k=1∞Xk, and Tn = Tn(X1,…,Xn) be a random function such that Tn = ASn Rn, where supn E|Rn| <∞and Rn = o(n~(1/2)) a.s., or Rn = O(n1/2-2γ) a.s., 0 <γ< 1/8. In this paper, we prove the almost sure central limit theorem (ASCLT) and the function-typed almost sure central limit theorem (FASCLT) for the random function Tn. As a consequence, it can be shown that ASCLT and FASCLT also hold for U-statistics, Von-Mises statistics, linear processes, moving average processes, error variance estimates in linear models, power sums, product-limit estimators of a continuous distribution, product-limit estimators of a quantile function, etc.     

Lipschitz algebras and peripherally-multiplicative maps

Let X be a compact metric space and let Lip（X） be the Banach algebra of all scalar- valued Lipschitz functions on X, endowed with a natural norm. For each f ∈ Lip（X）, σπ（f） denotes the peripheral spectrum of f. We state that any map Φ from Lip（X） onto Lip（Y） which preserves multiplicatively the peripheral spectrum：
σπ（Φ（f）Φ（g）） = σπ（fg）, A↓f, g ∈ Lip（X）
is a weighted composition operator of the form Φ（f） = τ· （f °φ） for all f ∈ Lip（X）, where τ ： Y → {-1, 1} is a Lipschitz function and φ ： Y→ X is a Lipschitz homeomorphism. As a consequence of this result, any multiplicatively spectrum-preserving surjective map between Lip（X）-algebras is of the form above.     

Linear Maps Preserving Operators of Local Spectral Radius Zero

Let X be a complex Banach space and let B(X){\mathcal{B}(X)} be the space of all bounded linear operators on X. For x ? X{x \in X} and T ? B(X){T \in \mathcal{B}(X)}, let r_T(x) = limsup_{n ? ￥} || Tⁿx|| ^1/n{r_{T}(x) =\limsup_{n \rightarrow \infty} \| T^{n}x\| ^{1/n}} denote the local spectral radius of T at x. We prove that if j: B(X) ? B(X){\varphi : \mathcal{B}(X) \rightarrow \mathcal{B}(X)} is linear and surjective such that for every x ? X{x \in X} we have r _T (x) = 0 if and only if r_j(T)(x) = 0{r_{\varphi(T)}(x) = 0}, there exists then a nonzero complex number c such that j(T) = cT{\varphi(T) = cT} for all T ? B(X){T \in \mathcal{B}(X) }. We also prove that if Y is a complex Banach space and j:B(X) ? B(Y){\varphi :\mathcal{B}(X) \rightarrow \mathcal{B}(Y)} is linear and invertible for which there exists B ? B(Y, X){B \in \mathcal{B}(Y, X)} such that for y ? Y{y \in Y} we have r _T (By) = 0 if and only if r_{j( T)} (y)=0{ r_{\varphi ( T) }(y)=0}, then B is invertible and there exists a nonzero complex number c such that j(T) = cB^-1TB{\varphi(T) =cB^{-1}TB} for all T ? B(X){T \in \mathcal{B}(X)}.     

Multiplicative isometries on the Smirnov class

We show that T is a surjective multiplicative (but not necessarily linear) isometry from the Smirnov class on the open unit disk, the ball, or the polydisk onto itself, if and only if there exists a holomorphic automorphism Φ such that T(f)=f ○ Φ for every class element f or T(f) = [`(f<sup>°</sup> [`(j)] )]\overline {f^\circ \bar \varphi } for every class element f, where the automorphism Φ is a unitary transformation in the case of the ball and Φ(z ₁, ..., z _n ) = (l₁ z_i1 ,...,l_n z_in )(\lambda _1 z_{i_1 } ,...,\lambda _n z_{i_n } ) for |λ _j | = 1, 1 ≤ j ≤ n, and (i ₁; ..., i _n )is some permutation of the integers from 1through n in the case of the n-dimensional polydisk.     

Spaces of analytic functions of Hardy-Bloch type

For 0<p≤∞ and 0<q≤∞, the space of Hardy-Bloch type ℬ(p,q) consists of those functionsf which are analytic in the unit diskD such that (1−r)M _p (r,f′)⊂L ^q (dr/(1−r)). We note that ℬ(∞,∞) coincides with the Bloch space ℬ and that ℬ⊂ℬ(p,∞) for allp. Also, the space ℬ(p,p) is the Dirichlet spaceD _p−1 ^p . We prove a number of results on decomposition of spaces with logarithmic weights which allow us to obtain sharp results about the mean growth of the ℬ(p,q). In particular, we prove that iff is an analytic function inD and 2≤p<∞, then the conditionM _p (r,f′)=O((1−r)⁻¹), asr→1, implies that

Any two irreducible Markov chains are finitarily orbit equivalent

Two invertible dynamical systems (X, gA, μ, T) and (Y, ℬ, ν, S), where X, Y are metrizable spaces and T, S are homeomorphisms on X and Y, are said to be finitarily orbit equivalent if there exists an invertible measure preserving mapping ϕ from a subset X ₀ of X of full measure to a subset Y ₀ of Y of full measure such that ϕ|x ₀ is continuous in the relative topology on X ₀, ϕ ⁻¹|Y ₀ is continuous in the relative topology on Y ₀ and ϕ(Orb _T (x)) = Orb _Sϕ (x) for μ-a.e. x ∈ X. In this article a finitary orbit equivalence mapping is shown to exist between any two irreducible Markov chains.     

On additive maps preserving certain semi-Fredholm subsets

Let X and Y be two infinite dimensional real or complex Banach spaces, and let φ: ?(X)?→??(Y) be an additive surjective mapping that preserves semi-Fredholm operators in both directions. In the complex Hilbert space context, Mbekhta and ?emrl [M. Mbekhta and P. ?emrl, Linear maps preserving semi-Fredholm operators and generalized invertibility, Linear Multilinear Algebra 57 (2009), pp. 55–64] determined the structure of the induced map on the Calkin algebra. In this article, we show the following: given an integer n?≥?1, if φ preserves in both directions ? _n (X) (resp., 𝒬 _n (X)), the set of semi-Fredholm operators on X of non-positive (resp., non-negative) index, having dimension of the kernel (resp., codimension of the range) less than n, then φ(T)?=?UTV for all T or φ(T)?=?UT*V for all T, where U and V are two bijective bounded linear, or conjugate linear, mappings between suitable spaces.     

The range of a projection of small norm inl 1 n

It is proved that there exists a positive function Φ(∈) defined for sufficiently small ∈ 〉 0 and satisfying lim_t→0 Φ(∈) =0 such that for any integersn 〉>0, ifQ is a projection ofl ₁ ⁿ onto ak-dimensional subspaceE with ‖|Q‖|≦1+∈ then there is an integerh〉=k(1−Φ(∈)) and anh-dimensional subspaceF ofE withd(F,l ₁ ^h ) 〈= 1+Φ (∈) whered(X, Y) denotes the Banach-Mazur distance between the Banach spacesX andY. Moreover, there is a projectionP ofl ₁ ⁿ ontoF with ‖|P‖| ≦1+Φ(∈). Author was partially supported by the N.S.F. Grant MCS 79-03042.     

On measure concentration for separately Lipschitz functions in product spaces

Let M _n = X ₁ + ⋯ + X _n be a martingale with bounded differences X _m = M _m − M _m −1 such that ℙ{a _m − σ _m ≤ X _m ≤ a _m + σ _m } = 1 with nonrandom nonnegative σ _m and σ(X ₁, …, X _m −1)-measurable random variables a _m . Write σ ² = σ ₁ ² + ⋯ + σ _n ² . Let I(x) = 1 − Φ(x), where Φ is the standard normal distribution function. We prove the inequalities