Strongly approximative similarity of operators

Two operators A, B ∈ B（H） are said to be strongly approximatively similar, denoted by A -sas B, if （i） given ε 〉 0, there exist Ki ∈ B（H） compact with ｜｜Ki｜｜ 〈ε（i = 1,2） such that A＋K1 and B ＋ K2 are similar; （ii） σ0（A） = σ0（B） and dim H（λ; A） = dim H（λ; B） for each λ ∈ σ0（A）. In this paper, we prove the following result. Let S,T ∈ B（H） be quasitriangular satisfying： （i） σ（T） = σ（S） = σw（S） is connected and σe（S） = σlre（S）; （ii） ρs-F（S） ∩ σ（S） consists of at most finite components and each component Ω satisfies that Ω = int Ω, where int Ω is the interior of Ω. Then, S -sas T if and only if S and T are essentially similar.     

On samples of independent random vectors in spaces of infinitely increasing dimension

We study the asymptotic behavior of a set of random vectors ξ_i, i = 1,..., m, whose coordinates are independent and identically distributed in a space of infinitely increasing dimension. We investigate the asymptotics of the distribution of the random vectors, the consistency of the sets M _m⁽ⁿ⁾ = ξ₁,..., ξ_m and X _n^λ = x ∈ X _n: ρ(x) ≤ λn, and the mutual location of pairs of vectors. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 12, pp. 1706–1711, December, 1998.     

Instances of the Conjecture of Chang

We consider various forms of the Conjecture of Chang. Part A constitutes an introduction. Donder and Koepke have shown that if ρ is a cardinal such that ρ ≧ ω₁, and (ρ⁺⁺,ρ⁺↠(ρ⁺, ρ), then 0⁺ exists. We obtain the same conclusion in Part B starting from some other forms of the transfer hypothesis. As typical corollaries, we get: Theorem A.Assume that there exists cardinals λ, κ, such that λ ≧ K ⁺ ≧ω₂ and (λ⁺, λ)↠(K ⁺,K. Then 0⁺ exists. Theorem B.Assume that there exists a singularcardinal κ such that(K ⁺,K↠(ω₁, ω₀. Then 0⁺ exists. Theorem C.Assume that (λ ⁺⁺, λ). Then 0⁺ exists (also ifK=ω ₀. Remark. Here, as in the paper of Donder and Koepke, “O⁺ exists” is a matter of saying that the hypothesis is strictly stronger than “L(μ) exists”. Of course, the same proof could give a few more sharps overL(μ), but the interest is in expecting more cardinals, coming from a larger core model. Theorem D.Assume that (λ ⁺⁺, λ)↠(K ⁺, K) and thatK≧ω ₁. Then 0⁺ exists. Remark 2. Theorem B is, as is well-known, false if the hypothesis “κ is singular” is removed, even if we assume thatK≧ω ₂, or that κ is inaccessible. We shall recall this in due place. Comments. Theorem B and Remark 2 suggest we seek the consistency of the hypothesis of the form:K ⁺, K↠(ω_n +1, ω_n), for κ singular andn≧0. 0266 0152 V 3 The consistency of several statements of this sort—a prototype of which is (N _ω+1,N _ω)↠(ω₁, ω₀) —have been established, starting with an hypothesis slightly stronger than: “there exists a huge cardinal”, but much weaker than: “there exists a 2-huge cardinal”. These results will be published in a joint paper by M. Magidor, S. Shelah, and the author of the present paper.     

The Ξ operator and its relation to Krein's spectral shift function

We explore connections between Krein's spectral shift function ζ(λ,H ₀, H) associated with the pair of self-adjoint operators (H ₀, H),H=H ₀+V, in a Hilbert spaceH and the recently introduced concept of a spectral shift operator Ξ(J+K ^*(H ₀−λ−i0)⁻¹ K) associated with the operator-valued Herglotz functionJ+K ^*(H ₀−z)⁻¹ K, Im(z)>0 inH, whereV=KJK ^* andJ=sgn(V). Our principal results include a new representation for ζ(λ,H ₀,H) in terms of an averaged index for the Fredholm pair of self-adjoint spectral projections (E J+A(λ)+tB(λ)(−∞, 0)),E _J((−∞, 0))), ℝ, whereA(λ)=Re(K ^*(H ₀−λ−i0⁻¹ K),B(λ)=Im(K ^*(H ₀−λ-i0)⁻¹ K) a.e. Moreover, introducing the new concept of a trindex for a pair of operators (A, P) inH, whereA is bounded andP is an orthogonal projection, we prove that ζ(λ,H ₀, H) coincides with the trindex associated with the pair (Ξ(J+K ^*(H ₀−λ−i0)K), Ξ(J)). In addition, we discuss a variant of the Birman-Krein formula relating the trindex of a pair of Ξ operators and the Fredholm determinant of the abstract scattering matrix. We also provide a generalization of the classical Birman—Schwinger principle, replacing the traditional eigenvalue counting functions by appropriate spectral shift functions.     

A note on Sobolev orthogonality for Laguerre matrix polynomials

Let {Ln(A,λ)(x)}n≥0 be the sequence of monic Laguerre matrix polynomials defined on [0, ∞) by Ln(A,λ)(x)=n!/(-λ)n∑nk=0(-λ)κ/k!(n-1)! (A I)n[(A I)k]-1 xk,where A ∈ Cr×r. It is known that {Ln(A,λ)(x)}n≥0 is orthogonal with respect to a matrix moment functional when A satisfies the spectral condition that Re(z) ＞ - 1 for every z ∈σ(A).In this note we show that forA such that σ(A) does not contain negative integers, the Laguerre matrix polynomials Ln(A,λ) (x) are orthogonal with respect to a non-diagonal SobolevLaguerre matrix moment functional, which extends two cases: the above matrix case and the known scalar case.     

(<Emphasis Type="Italic">p, λ</Emphasis>)-Koszul algebras and modules

In this paper, the notions of (p, λ)-Koszul algebra and (p, λ)-Koszul module are introduced. Some criteria theorems for a positively graded algebra A to be (p, λ)-Koszul are given. The notion of weakly (p, λ)-Koszul module is defined as well and let WK _λ ^p (A) denote the category of weakly (p, λ)-Koszul modules. We show that M ∈ WK _λ ^p (A) if and only if it can be approximated by (p, λ)-Koszul submodules, which is equivalent to that G(M) is a (p, λ)-Koszul module, where G(M) denotes the associated graded module of M. As applications, the relationships of the minimal graded projective resolutions of M, G(M) and (p, λ)-Koszul submodules are established. In particular, for a module M ∈ WK _λ ^p (A) we prove that ⊕ _i≥0 Ext _A ⁱ (M,A ₀) ∈ gr ₀(E(A)), we also get as a consequence that the finitistic dimension conjecture is valid in WK _λ ^p (A) under certain conditions.     

On isometries in GMV-algebras

Let A = (A,⊕,⁻,^∼, 0, 1) be a GMV-algebra and ρ: A × A → A the distance function on A defined by ρ(x, y) = (x∨y)−(x∧y) for each x, y ∈ A.     

Comparison theorems for the volume of a complex submanifold of a Kaehler manifold

LetM be a Kaehler manifold of real dimension 2n with holomorphic sectional curvatureK _H≥4λ and antiholomorphic Ricci curvatureρ _A≥(2n−2)λ, andP is a complex hypersurface. We give a bound for the quotient (volume ofP)/(volume ofM) and prove that this bound is attained if and only ifP=C P ⁿ⁻¹(λ) andM=C P ⁿ(λ). Moreover, we give some results on the volume of of tubes aboutP inM. Work partially supported by a DGICYT Grant No. PS87-0115-CO3-01.     

On the Spectral Function of Some Higher Order Elliptic or Degenerate-elliptic Operators

^m σ/|α|=|β|=m D^α(a _αβD^β) is a higher order degenerate-elliptic operator on L²(R^N) and V ∈ L¹(R^N) we show in particular that s(λ) > 0 for all λ > 0 provided that ∫_RN V(x)dx≥ 0, V not equivalent to 0 and N ≤ 2m.     

Norm conditions for real-algebra isomorphisms between uniform algebras

Let A and B be uniform algebras. Suppose that α ≠ 0 and A ₁ ⊂ A. Let ρ, τ: A ₁ → A and S, T: A ₁ → B be mappings. Suppose that ρ(A ₁), τ(A ₁) and S(A ₁), T(A ₁) are closed under multiplications and contain expA and expB, respectively. If ‖S(f)T(g) − α‖_∞ = ‖ρ(f)τ(g) − α‖_∞ for all f, g ∈ A ₁, S(e ₁)⁻¹ ∈ S(A ₁) and S(e ₁) ∈ T(A ₁) for some e ₁ ∈ A ₁ with ρ(e ₁) = 1, then there exists a real-algebra isomorphism $ \tilde S $ \tilde S : A → B such that $ \tilde S $ \tilde S (ρ(f)) = S(e ₁)⁻¹ S(f) for every f ∈ A ₁. We also give some applications of this result.     

Riemann surfaces in fibered polynomial hulls

Let Δ be the closed unit disk in C, let Γ be the circle, let Π: Δ×C→Δ be projection, and letA(Δ) be the algebra of complex functions continuous on Δ and analytic in int Δ. LetK be a compact set in C² such that Π(K)=Γ, and letK _λ≠{w∈C|(λ,w)∈K}. Suppose further that (a) for every λ∈Γ,K _λ is the union of two nonempty disjoint connected compact sets with connected complement, (b) there exists a function Q(λ,w)≠(w-R(λ))²-S(λ) quadratic in w withR,S∈A(Δ) such that for all λ∈Γ, {w∈C|Q(λ,w)=0}υ intK _λ, whereS has only one zero in int Δ, counting multiplicity, and (c) for every λ∈Γ, the map ω→Q(λ,ω) is injective on each component ofK _λ. Then we prove that К/K is the union of analytic disks 2-sheeted over int Δ, where К is the polynomial convex hull ofK. Furthermore, we show that БК/K is the disjoint union of such disks.     

Residual behavior of induced maps

Consider (X,F, μ,T) a Lebesgue probability space and measure preserving invertible map. We call this a dynamical system. For a subsetA ∈F. byT _A:A →A we mean the induced map,T _A(x)=T^rA(x)(x) wherer _A(x)=min{i〉0:T ⁱ(x) ∈A}. Such induced maps can be topologized by the natural metricD(A, A’) = μ(AΔA’) onF mod sets of measure zero. We discuss here ergodic properties ofT _A which are residual in this metric. The first theorem is due to Conze.Theorem 1 (Conze):For T ergodic, T _A is weakly mixing for a residual set of A.Theorem 2:For T ergodic, 0-entropy and loosely Bernoulli, T _A is rank-1, and rigid for a residual set of A.Theorem 3:For T ergodic, positive entropy and loosely Bernoulli, T _A is Bernoulli for a residual set of A.Theorem 4:For T ergodic of positive entropy, T _A is a K-automorphism for a residual set of A. A strengthening of Theorem 1 asserts thatA can be chosen to lie inside a given factor algebra ofT. We also discuss even Kakutani equivalence analogues of Theorems 1–4.     

Propertyf −1(S) =g −1(S) for entire and meromorphicP-adic functions

LetW be an algebraically closed filed of characteristic zero, letK be an algebraically closed field of characteristic zero, complete for an ultrametric absolute value, and letA(K) (resp. ℳ(K)) be the set of entire (resp. meromorphic) functions inK. For everyn≥7, we show that the setS _n(b) of zeros of the polynomialx ⁿ−b (b≠0) is such that, iff, g ∈W[x] or iff, g ∈A(K), satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), thenf ⁿ=g ⁿ. For everyn≥14, we show thatS _n(b) is such that iff, g ∈W({tx}) or iff, g ∈ ℳ(K) satisfyf ⁻¹(S _n(b))=g ⁻¹(S _n(b)), then eitherf ⁿ=g ⁿ, orfg is a constant. Analogous properties are true for complex entire and meromorphic functions withn≥8 andn≥15, respectively. For everyn≥9, we show that the setY _n(c) of zeros of the polynomial , (withc≠0 and 1) is an ursim ofn points forW[x], and forA(K). For everyn≥16, we show thatY _n(c) is an ursim ofn points forW(x), and for ℳ(K). We follow a method based on thep-adic Nevanlinna Theory and use certain improvement of a lemma obtained by Frank and Reinders.     

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.      

Stability of <Emphasis Type="Italic">C</Emphasis>-regularized Semigroups

Let T = (T(t))t≥0 be a bounded C-regularized semigroup generated by A on a Banach space X and R(C) be dense in X. We show that if there is a dense subspace Y of X such that for every x ∈ Y, σu(A, Cx), the set of all points λ ∈ iR to which (λ - A)^-1 Cx can not be extended holomorphically, is at most countable and σr(A) N iR = Ф, then T is stable. A stability result for the case of R(C) being non-dense is also given. Our results generalize the work on the stability of strongly continuous senfigroups.     

On conditions for Dirichlet series absolutely convergent in a half-plane to belong to the class of convergence

Let M(σ) = sup{|F(σ + it)|: t ∈ ℝ} and μ(σ) = max {|a _n |exp(σλ_n): n ≥ 0}, σ < 0, for a Dirichlet series {fx995-01} with abscissa of absolute convergence σ_a = 0. We prove that the condition ln ln n = o(ln λ_n), n → ∞, is necessary and sufficient for the equivalence of the relations {fx995-02}, for each series of this type. Translated from Ukrains'kyi Matematychnyi Zhurnal, Vol. 60, No. 6, pp. 851–856, June, 2008.     

On quasi-similarity of subnormal operators

For a compact subset K in the complex plane, let Rat(K) denote the set of the rational functions with poles off K. Given a finite positive measure with support contained in K, let R2(K,v) denote the closure of Rat(K) in L2(v) and let Sv denote the operator of multiplication by the independent variable z on R2(K, v), that is, Svf = zf for every f∈R2(K, v). SupposeΩis a bounded open subset in the complex plane whose complement has finitely many components and suppose Rat(Ω) is dense in the Hardy space H2(Ω). Letσdenote a harmonic measure forΩ. In this work, we characterize all subnormal operators quasi-similar to Sσ, the operators of the multiplication by z on R2(Ω,σ). We show that for a given v supported onΩ, Sv is quasi-similar to Sσif and only if v/■Ω■σ and log(dv/dσ)∈L1(σ). Our result extends a well-known result of Clary on the unit disk.     

Clustering of linearly interacting diffusions and universality of their long-time limit distribution

Let K⊂ℝ ^d (d≥ 1) be a compact convex set and Λ a countable Abelian group. We study a stochastic process X in K ^Λ, equipped with the product topology, where each coordinate solves a SDE of the form dX _i (t) = ∑ _j a(j−i) (X _j (t) −X _i (t))dt + σ (X _i (t))dB _i (t). Here a(·) is the kernel of a continuous-time random walk on Λ and σ is a continuous root of a diffusion matrix w on K. If X(t) converges in distribution to a limit X(∞) and the symmetrized random walk with kernel a _S (i) = a(i) + a(−i) is recurrent, then each component X _i (∞) is concentrated on {x∈K : σ(x) = 0 and the coordinates agree, i.e., the system clusters. Both these statements fail if a _S is transient. Under the assumption that the class of harmonic functions of the diffusion matrix w is preserved under linear transformations of K, we show that the system clusters for all spatially ergodic initial conditions and we determine the limit distribution of the components. This distribution turns out to be universal in all recurrent kernels a _S on Abelian groups Λ. Received: 10 May 1999 / Revised version: 18 April 2000 / Published online: 22 November 2000     

On eigenvalues of symmetric (+1, −1) matrices

To every symmetric matrixA with entries ±1, we associate a graph G(A), and ask (for two different definitions of distance) for the distance ofG(A) to the nearest complete bipartite graph (cbg). Letλ ₁(A),λ ¹ (A) be respectively the algebraically largest and least eigenvalues ofA. The Frobenius distance (see Section 4) to the nearest cbg is bounded above and below by functions ofn −λ ₁ (A), wheren=ord A. The ordinary distance (see Section 1) to the nearest cbg is shown to be bounded above and below by functions ofλ ¹ (A). A curious corollary is: there exists a functionf (independent ofn, and given by (1.1)), such that |λ _i (A) | ≦f(λ ¹(A), whereλ _i (A) is any eigenvalue ofA other thanλ _i (A). This work was supported (in part) by the U.S. Army under contract #DAHC04-C-0023.