Denting and strongly extreme points in the unit ball of spaces of operators

For 1 ≤p ≤ ∞ we show that there are no denting points in the unit ball of ℓ(l^p). This extends a result recently proved by Grząślewicz and Scherwentke whenp = 2 [GS1]. We also show that for any Banach spaceX and for any measure space (Ω, A, μ), the unit ball of ℓ(L ¹ (μ), X) has denting points iffL ¹(μ) is finite dimensional and the unit ball ofX has a denting point. We also exhibit other classes of Banach spacesX andY for which the unit ball of ℓ(X, Y) has no denting points. When X* has the extreme point intersection property, we show that all ‘nice’ operators in the unit ball of ℓ(X, Y) are strongly extreme points.     

Weak* Hypercyclicity and Supercyclicity of Shifts on ℓ∞

We study hypercyclicity and supercyclicity of weighted shifts on ℓ^∞, with respect to the weak * topology. We show that there exist bilateral shifts that are weak * hypercyclic but fail to be weak * sequentially hypercyclic. In the unilateral case, a shift T is weak * hypercyclic if and only if it is weak * sequentially hypercyclic, and this is equivalent to T being either norm, weak, or weak-sequentially hypercyclic on c₀ or ℓ^p (1 ≤ p < ∞). We also show that the set of weak * hypercyclic vectors of any unilateral or bilateral shift on ℓ^∞ is norm nowhere dense. Finally, we show that ℓ^∞ supports an isometry that is weak * sequentially supercyclic.     

Pressure and equilibrium states for countable state markov shifts

We give a general definition of the topological pressureP _top (f, S) for continuous real valued functionsf: X→ℝ on transitive countable state Markov shifts (X, S). A variational principle holds for functions satisfying a mild distortion property. We introduce a new notion of Z-recurrent functions. Given any such functionf, we show a general method how to obtain tight sequences of invariant probability measures supported on periodic points such that a weak accumulation pointμ is an equilibrium state forf if and only if εf ⁻ dμ<∞. We discuss some conditions that ensure this integrability. As an application we obtain the Gauss measure as a weak limit of measures supported on periodic points.     

Norm optimization problem for linear operators in classical Banach spaces

The main result of the paper shows that, for 1 < p < ∞ and 1 ≤ q < ∞, a linear operator T: ℓ _p → ℓ _q attains its norm if, and only if, there exists a not weakly null maximizing sequence for T (counterexamples can be easily constructed when p = 1). For 1 < p ≠ q < ∞, as a consequence of the previous result we show that any not weakly null maximizing sequence for a norm attaining operator T: ℓ _p → ℓ _q has a norm-convergent subsequence (and this result is sharp in the sense that it is not valid if p = q). We also investigate lineability of the sets of norm-attaining and non-norm attaining operators.     

An answer to a question by J. Milnor

We consider two commuting automorphismsT ₁,T ₂ of the Lebesque space (M, M, μ) such thath _m,n=h(T ₁ ^m T ₂ ⁿ )<∞ whereh is the measure-theoretic entropy. Under additional assumptions we show the existence of the limits lim (1/m)h _m,n wherem→∞,n→∞,m/n→ω and ω is an irrational number.     

A distortion problem for the space ℓ ∞ c (ω 1)

The Banach space ℓ _∞ ^c (ω ₁) is the space of boundedω ₁-sequences of countable support. A pointwise-closed subspaceV≤ℓ _∞ ^c (ω ₁) will be calledunbounded if lcub;min(supp(υ)):υ ∈Vrcub; is unbounded inω ₁. It is shown that there are Lipshitz functionsf: Sph(ℓ _∞ ^c (ω ₁)) → ℝ which have large variation on the unit sphere of any unbounded subspace. This answers a question implicit in Partington [P 80].     

Ising model in half-space: A series of phase transitions in low magnetic fields

For the Ising model in half-space at low temperatures and for the “unstable boundary condition,” we prove that for each value of the external magnetic field μ, there exists a spin layer of thickness q(μ) adjacent to the substrate such that the mean spin is close to −1 inside this layer and close to +1 outside it. As μ decreases, the thickness of the (−1)-spin layer changes jumpwise by unity at the points μ_q, and q(μ) → ∞ as μ → +0. At the discontinuity points μ_q of q(μ), two surface phases coexist. The surface free energy is piecewise analytic in the domain Re μ > 0 and at low temperatures. We consider the Ising model in half-space with an arbitrary external field in the zeroth layer and investigate the corresponding phase diagram. We prove Antonov’s rule and construct the equation of state in lower orders with the precision of x⁷, x = e^−7ɛ. In particular, with this precision, we find the points of coexistence of the phases 0, 1, 2 and the phases 0, 2, 3, where the phase numbers correspond to the height of the layer of unstable spins over the substrate. Dedicated to Roland L’vovich Dobrushin __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 153, No. 2, pp. 220–261, November, 2007.     

Bernoulli convolutions and an intermediate value theorem for entropies of<Emphasis Type="Italic">K</Emphasis>-partitions

We establish a strong regularity property for the distributions of the random sums Σ±λ ⁿ , known as “infinite Bernoulli convolutions”: For a.e. λ ∃ (1/2, 1) and any fixed ℓ, the conditional distribution of (w _n+1...,w _n+ℓ) given the sum Σ _n=0 ^∞ w _n λ ⁿ , tends to the uniform distribution on {±1}^ℓ asn → ∞. More precise results, where ℓ grows linearly inn, and extensions to other random sums are also obtained. As a corollary, we show that a Bernoulli measure-preserving system of entropyh hasK-partitions of any prescribed conditional entropy in [0,h]. This answers a question of Rokhlin and Sinai from the 1960’s, for the case of Bernoulli systems. The authors were partially supported by NSF grants DMS-9729992 (E. L.), DMS-9803597 (Y. P.) and DMS-0070538 (W. S.).     

The inclusion of the Schur algebra in B(?2) is not inverse-closed

The Schur algebra is the algebra of operators which are bounded on ℓ ¹ and on ℓ ^∞. In this note, we exhibit an element of the group algebra of the free group with two generators, which, as a convolution operator, is invertible in ℓ ², and whose inverse is not bounded on ℓ ¹ nor on ℓ ^∞. In particular, this shows that the Schur algebra is not inverse-closed.     

Uniform Infinite Planar Triangulation and Related Time-Reversed Critical Branching Process

We consider the uniform infinite planar triangulation, which is defined as the weak limit of the uniform distributions on finite triangulations with N triangles as N → ∞. Take the ball of radius R in an infinite triangulation. One of the components of its boundary separates this ball from the infinite part of the triangulation, and we denote its length by ℓ(R). The main question we study is the asymptotic behavior of the sequence ℓ(R), R = 1, 2,..., called the triangulation profile. First, we prove that the ratio ℓ(R)/R² converges to a nondegenerate random variable. Second, we establish a connection between the triangulation profile and a certain time-reversed critical branching process. Finally, we show that there exists a contour of length linear in R that lies outside of the R-ball and separates this ball from the infinite part of the triangulation. Bibliography: 8 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 307, 2004, pp. 141–174.     

An F. and M. Riesz Theorem on the Complex Sphere

Let μ be a measure on the complex sphere. Denote by μ_pq the projection of μ on H(p, q), the space of complex spherical harmonics. Assume that μ_pq = 0 if (p − 1)q ≠ 0, and ∥μ_1q∥_∞ → 0 as q → ∞. Then μ is absolutely continuous with respect to Lebesgue measure on the sphere.     

Spaces of Operators,the ψ-Daugavet Property,and Numerical Indices

Suppose ψ : [0, ∞) → [1, ∞) is a strictly increasing function. A Banach space X is said to have the ψ-Daugavet Property if the inequality holds for every compact operator T : X → X. We show that, if 1 < p < ∞ and K(ℓ_p)↪ X ↪ B(ℓ_p), then X has the ψ-Daugavet Property with (here and c_p is an absolute constant). We also prove that a C^*-algebra A is commutative if and only if for any . Together, these results allow us to distinguish between some types of von Neumann algebras by considering spaces of operators on them. The author was supported in part by the NSF grant DMS-9970369.     

Expansion of derivatives in one-dimensional dynamics

We study the expansion of derivatives along orbits of real and complex one-dimensional mapsf, whose Julia setJ _f attracts a finite setCrit of non-flat critical points. Assuming that for eachcεCrit, either |D f ⁿ(f(c))|→∞ (iff is real) orb _n·|Df ⁿ(f(c))|→∞ for some summable sequence {b _n} (iff is complex; this is equivalent to summability of |D f ⁿ(f(c))|⁻¹), we show that for everyxεJ _f\U _i f ⁻ⁱ(Crit), there existℓ(x)≤max _c ℓ(c) andK′(x)>0

On the iteration of holomorphic self-maps of ℂ*

Letf be a holomorphic self-map of the punctured plane ℂ^*=ℂ\{0} with essentially singular points 0 and ∞. In this note, we discuss the setsI ₀(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞} andI _∞(f)={z ∈ ℂ^*:f ⁿ (z) → 0,n → ∞}. We try to find the relation betweenI ₀(f),I _∞(t) andJ(f). It is proved that both the boundary ofI ₀(f) and the boundary ofI _∞)f) equal toJ(f),I ₀(f) ∩J(f) ≠ θ andI _∞(f) ∩J(f) ≠ θ. As a consequence of these results, we find bothI ₀(f) andI _∞(f) are not doubly-bounded. Supported by the National Natural Science Foundation of China     

Invariant densities and mean ergodicity of markov operators

We prove that a Markov operatorT onL ₁ has an invariant density if and only if there exists a densityf that satisfies lim sup _n→∞‖T ⁿ f − f‖ < 2. Using this result, we show that a Frobenius-Perron operatorP is mean ergodic if and only if there exists a densityw such that lim sup _n→∞ ‖P ⁿ f − w‖<2 for every densityf. Corresponding results hold for strongly continuous semigroups.     

Generalized Bounded Variation and Inserting Point Masses

Let d μ be a probability measure on the unit circle and d ν be the measure formed by adding a pure point to d μ. We give a formula for the Verblunsky coefficients of d ν following the method of Simon. Then we consider d μ ₀, a probability measure on the unit circle with ℓ ² Verblunsky coefficients (α _n (d μ ₀)) _n=0^∞ of bounded variation. We insert m pure points z _j into d μ ₀, rescale, and form the probability measure d μ _m . We use the formula above to prove that the Verblunsky coefficients of d μ _m are in the form , where the c _j ’s are constants of norm 1 independent of the weights of the pure points and independent of n; the error term E _n is in the order of o(1/n). Furthermore, we prove that d μ _m is of (m+1)-generalized bounded variation—a notion that we shall introduce in the paper. Then we use this fact to prove that lim  _n→∞ φ _n ^*(z,d μ _m ) is continuous and is equal to D(z,d μ _m )⁻¹ away from the pure points.      

负相依随机变量的自正则化中心极限定理与部分和的方差估计

§ 1　 IntroductionWe firstintroduce some concepts.Random variables X and Y are called negative dependent ( ND) if for any pair ofmonotonically non-decresing functions f and g,Cov{ f( X) ,g( Y) }≤ 0 .Clearly itis equivalenttoP( X≤ x,Y≤ y)≤ P( X≤ x) P( Y≤ y)for all x,y∈R.A random sequence{ Xi,i≥ 1 } is said to be negative quadrant dependent( NQD) if any pairof variables Xi,Xj( i≠j) are ND.A sequence of random variables{ Xi,i≥ 1 } is said to be linear negative quadrand depend…     

Asymptotic behavior of eigenvalues of two-parameter nonlinear Sturm-Liouville problems

The nonlinear two-parameter Sturm-Liouville problemu ^"+μg(u)=λf(u) is studied for μ, λ>0. By using Ljusternik-Schnirelman theory on the general level set developed by Zeidler, we shall show the existence of ann-th variational eigenvalue λ=λ_n(μ). Furthermore, for specialf andg, the asymptotic formula of λ₁(μ)) as μ→∞ is established.     

Schur multiplier characterization of a class of infinite matrices

Let B _w (ℓ ^p ) denote the space of infinite matrices A for which A(x) ∈ ℓ ^p for all x = {x _k } _k=1^∞ ∈ ℓ ^p with |x _k | ↘ 0. We characterize the upper triangular positive matrices from B _w (ℓ ^p ), 1 < p < ∞, by using a special kind of Schur multipliers and the G. Bennett factorization technique. Also some related results are stated and discussed.     

A problem on simultaneous approximation and a conjecture of Hasson

In 1980, M. Hasson raised a conjecture as follows: Let N≥1, then there exists a function f₀(x)∈C _[−1,1] ^2N , for N+1≤k≤2N, such that p _n ^(k) (f₀,1)→f ₀ ^(k) (1), n→∞, where p_n(f,x) is the algebraic polynomial of best approximation of degree ≤n to f(x). In this paper, a, positive answer to this conjecture is given.