On extremal point distributions in the Euclidean plane

We ask for the maximum σ _n ^γ of Σ _i,j=1 ⁿ ‖x _i-x _j‖^γ, where x ₁,χ,x _n are points in the Euclidean plane R ² with ‖x_i-x_j‖ ≦1 for all 1≦ i,j ≦ n and where ‖.‖^γ denotes the γ-th power of the Euclidean norm, γ ≧ 1. (For γ =1 this question was stated by L. Fejes Tóth in [1].) We calculate the exact value of σ _n ^γ for all γ γ 1,0758χ and give the distributions which attain the maximum σ _n ^γ . Moreover we prove upper bounds for σ _n ^γ for all γ ≧ 1 and calculate the exact value of σ ₄ ^γ for all γ ≧ 1. This revised version was published online in June 2006 with corrections to the Cover Date.     

Onp-absolutely summing constants of banach spaces

Given 1≦p<∞ and a real Banach spaceX, we define thep-absolutely summing constantμ _p(X) as inf{Σ _i ^=1/m |x*(x _i)|^p p Σ _i ^=1/m ‖x _i‖^p p]¹ p}, where the supremum ranges over {x*∈X*; ‖x*‖≤1} and the infimum is taken over all sets {x ₁,x ₂, …,x _m} ⊂X such that Σ _i ^=1/m ‖x _i‖>0. It follows immediately from [2] thatμ _p(X)>0 if and only ifX is finite dimensional. In this paper we find the exact values ofμ _p(X) for various spaces, and obtain some asymptotic estimates ofμ _p(X) for general finite dimensional Banach spaces. This is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Prof. A. Dvoretzky and Prof. J. Lindenstrauss.     

The Johnson–Lindenstrauss Lemma Almost Characterizes Hilbert Space, But Not Quite

Let X be a normed space that satisfies the Johnson–Lindenstrauss lemma (J–L lemma, in short) in the sense that for any integer n and any x ₁,…,x _n ∈X, there exists a linear mapping L:X→F, where F⊆X is a linear subspace of dimension O(log n), such that ‖x _i −x _j ‖≤‖L(x _i )−L(x _j )‖≤O(1)⋅‖x _i −x _j ‖ for all i,j∈{1,…,n}. We show that this implies that X is almost Euclidean in the following sense: Every n-dimensional subspace of X embeds into Hilbert space with distortion 2^2O(log*n)2^{2^{O(\log^{*}n)}} . On the other hand, we show that there exists a normed space Y which satisfies the J–L lemma, but for every n, there exists an n-dimensional subspace E _n ⊆Y whose Euclidean distortion is at least 2^Ω(α(n)), where α is the inverse Ackermann function.     

Mixing properties of Markov operators and ergodic transformations,and ergodicity of cartesian products

LetT be a Markov operator onL ₁(X, Σ,m) withT*=P. We connect properties ofP with properties of all productsP ×Q, forQ in a certain class: (a) (Weak mixing theorem)P is ergodic and has no unimodular eigenvalues ≠ 1 ⇔ for everyQ ergodic with finite invariant measureP ×Q is ergodic ⇔ for everyu ∈L ₁ with∝ udm=0 and everyf ∈L _∞ we haveN ⁻¹Σ _n ^≠1/N |<u, P ⁿf>|→0. (b) For everyu ∈L ₁ with∝ udm=0 we have ‖T ⁿu‖₁ → 0 ⇔ for every ergodicQ, P ×Q is ergodic. (c)P has a finite invariant measure equivalent tom ⇔ for every conservativeQ, P ×Q is conservative. The recent notion of mild mixing is also treated. Dedicated to the memory of Shlomo Horowitz An erratum to this article is available at .     

Orthogonal almost locally minimal projections on ℓ 1 n

A projectionP on a Banach spaceX with ‖P‖≤λ₀ is called almost locally minimal if, for every α>0 small enough, the ballB(P,α) in the space of operatorsL(X) does not contain a projectionQ with ‖Q‖≤‖P‖(1–Dα²), whereD=D(λ₀) is a constant independent of ‖P‖. It is shown that, for everyp≥1 and every compact abelian groupG, every translation invariant projection onL _p(G) is almost locally minimal. Orthogonal projections on ℓ ₁ ⁿ are investigated with respect to some weaker local minimality properties. Participant in Workshop in Linear Analysis and Probability, Texas A&M University, College Station, Texas 1998. Partially supported by the Edmund Landau Center for Research in Mathematical Analysis and Related Areas, sponsored by the Minerva Foundation (Germany).     

Positive definite functions and stable random vectors

We say that a random vector X = (X ₁, …, X _n ) in ℝ ⁿ is an n-dimensional version of a random variable Y if, for any a ∈ ℝ ⁿ , the random variables Σa _i X _i and γ(a)Y are identically distributed, where γ: ℝ ⁿ → [0,∞) is called the standard of X. An old problem is to characterize those functions γ that can appear as the standard of an n-dimensional version. In this paper, we prove the conjecture of Lisitsky that every standard must be the norm of a space that embeds in L ₀. This result is almost optimal, as the norm of any finite-dimensional subspace of L _p with p ∈ (0, 2] is the standard of an n-dimensional version (p-stable random vector) by the classical result of P. Lèvy. An equivalent formulation is that if a function of the form f(‖ · ‖ _K ) is positive definite on ℝ ⁿ , where K is an origin symmetric star body in ℝ ⁿ and f: ℝ → ℝ is an even continuous function, then either the space (ℝ ⁿ , ‖·‖ _K ) embeds in L ₀ or f is a constant function. Combined with known facts about embedding in L ₀, this result leads to several generalizations of the solution of Schoenberg’s problem on positive definite functions.     

On some properties of Musielak-Orlicz spaces and their subspaces of order continuous elements

Some criterions in order thatl ¹ embeds complementably inE ^Φ(μ) and inL ^Φ(μ) are given. It is also proved that every idealL inL ^Φ(μ) such thatI _Φ(x/‖x‖Φ)=1 for anyxεL/{0} is contained inE ^Φ(μ).     

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.     

Extensions of the Menchoff-Rademacher theorem with applications to ergodic theory

We prove extensions of Menchoff's inequality and the Menchoff-Rademacher theorem for sequences {f _n } ∪L _p , based on the size of the norms of sums of sub-blocks of the firstn functions. The results are aplied to the study of a.e. convergence of series Σ _n a _n T ⁿ g/ n whenT is anL ₂ -contraction,g∃L ₂ , and {a _n } is an appropriate sequence. Given a sequence {f _n }∪L _p (Ω, μ), 1<p≤2, of independent centered random variables, we study conditions for the existence of a set ofx of μ-probability 1, such that for every contractionT on andg∈L ₂ (π), the random power series Σ _n f _n (x)T ⁿ g converges π-a.e. The conditions are used to show that for {f _n } centered i.i.d. withf ₁∃L log⁺ L, there exists a set ofx of full measure such that for every contractionT on andg∃L ₂ (π), the random series Σ _n f _n (x)T ⁿ g/n converges π-a.e. We use Menchoff's own spelling of his name in the papers he wrote in French. Dedicated to Hillel Furstenberg upon his retirement     

Wavelet expansions of fractal measures

Let μ be a measure on ℝⁿ that satisfies the estimate μ(B _r(x))≤cr ^α for allx ∈ ℝⁿ and allr ≤ 1 (B _r(x) denotes the ball of radius r centered atx. Let ϕ _j,k ^(ɛ) (x)=2 ^nj2ϕ^(ɛ)(2 ^j x-k) be a wavelet basis forj ∈ ℤ, κ ∈ ℤⁿ, and ∈ ∈E, a finite set, and letP _j (T)=Σ_ɛ,k <T,ϕ _j,k ^(ɛ) >ϕ _j,k ^(ɛ) denote the associated projection operators at levelj (T is a suitable measure or distribution). Iff ∈Ls ^p(dμ) for 1 ≤p ≤ ∞, we show thatP _j(f dμ) ∈ L^p(dx) and ||P _j (fdμ)||L _p(dx)≤c2 ^{j((n-α)/p′))}||f||L _p(dμ) for allj ≥ 0. We also obtain estimates for the limsup and liminf of ||P _j (fdμ)||L _p(dx) under more restrictive hypotheses. Communicated by Guido Weiss     

Small into-isomorphism from L∞(A,μ) into L∞(B,υ)

In this paper we shall assert that if T is an isomorphism of L_∞(Ω₁, A, μ) into L_∞(Ω₂, B, υ) satisfying the condition ‖T‖·‖T ⁻¹‖⩽1+ɛ for ɛ∈ , then is close to an isometry with an error less than 6ε in some conditions.     

Estimates of the periods of periodic points for nonexpansive operators

Suppose thatE is a finite-dimensional Banach space with a polyhedral norm ‖·‖, i.e., a norm such that the unit ball inE is a polyhedron. ℝ ⁿ with the sup norm or ℝ ⁿ with thel ₁-norm are important examples. IfD is a bounded set inE andT:D→D is a map such that ‖T(y)−T(z)‖≤ ‖y−z‖ for ally andz inE, thenT is called nonexpansive with respect to ‖·‖, and it is known that for eachx ∈D there is an integerp=p(x) such that lim _j→∞ T ^jp (x) exists. Furthermore, there exists an integerN, depending only on the dimension ofE and the polyhedral norm onE, such thatp(x)≤N: see [1,12,18,19] and the references to the literature there. In [15], Scheutzow has raised a question about the optimal choice ofN whenE=ℝ ⁿ ,D=K ⁿ , the set of nonnegative vectors in ℝ ⁿ , and the norm is thel ₁-norm. We provide here a reasonably sharp answer to Scheutzow’s question, and in fact we provide a systematic way to generate examples and use this approach to prove that our estimates are optimal forn≤24. See Theorem 2.1, Table 2.1 and the examples in Section 3. As we show in Corollary 2.3, these results also provide information about the caseD=ℝ ⁿ , i.e.,T:ℝ ⁿ →ℝ ⁿ isl ₁-nonexpansive. In addition, it is conjectured in [12] thatN=2 ⁿ whenE=ℝ ⁿ and the norm is the sup norm, and such a result is optimal, if true. Our theorems here show that a sharper result is true for an important subclass of nonexpansive mapsT:(ℝ ⁿ ,‖ · ‖_∞)→(ℝ ⁿ ,‖ · ‖_∞). Partially supported by NSF DMS89-03018.     

Averaging distances in real quasihypermetric Banach spaces of finite dimension

The average distance theorem of Gross implies that for each realN-dimensional Banach space (N≥2) there is a unique positive real numberr(E) with the following property: For each positive integern and for all (not necessarily distinct)x ₁,x ₂, …,x _n inE with ‖x ₁‖=‖x ₂‖=…=‖x _n‖=1, there exists anx inE with ‖x‖=1 such that The main result of this paper shows, thatr(E)≤2−1/N for each realN-dimensional Banach spaceE (N≥2) with the so-called quasihypermetric property (which is equivalent toE isL ¹-embeddable). Moreover, equality holds if and only ifE is isometrically isomorphic to ℝ ^N equipped with the usual 1-norm.     

An ergodic theorem on Banach lattices

E is a Banach lattice that is weakly sequentially complete and has a weak unitu. TLf _n=ϕ means that the infimum of |f _n−ϕ| andu converges strongly to zero.T is a positive contraction operator onE andA _n=(1/n)(I+T+...+T ⁿ⁻¹). Without an additional assumption onE, the “truncated limit” TLA _nf need not exist forf inE. This limit exists for eachf ifE satisfies the following additional assumption (C): For everyf inE ₊ and for every numberα>0, there is a numberβ=β(f, α) such that ifg is inE ₊, ‖g‖≦1, 0≦f′≦f and ‖f′‖>α then ‖f′+g‖≧‖g‖+β. Research of this author is partially supported by NSERC Grant A3974. Research of this author is partially supported by NSF Grant 8301619.     

Estimates for the Second Order Derivatives of Eigenvectors in Thin Anisotropic Plates with Variable Thickness

For the second order derivatives of eigenvectors in a thin anisotropic heterogeneous plate Ω_h, we derive estimates of their weighted L₂-norms with majorants whose dependence on the plate thickness h and on the eigenvalue number is expressed explicitly. These estimates maintain the asymptotic sharpness throughout the entire spectrum, whereas inside its low-frequency band the majorants remain bounded as h → +0. The latter is a rather unexpected fact, because for the first eigenfunction u¹ of a similar boundary-value problem for a scalar second order differential operator with variable coefficients, the norm ‖∇ _x ² u⁰; L₂(Ω_h)‖ is of order h⁻¹ and grows as h tends to zero. Bibliography: 35 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 308, 2004, pp. 161–180.     

Coboundaries of irreducible markov operators onC(K)

LetK be a compact Hausdorff space, and letT be an irreducible Markov operator onC(K). We show that ifgεC(K) satisfies sup _N ‖Σ _j ^=0N T ^j g‖<∞, then (and only then) there existsfεC(K) with (I − T)f=g. Generalizing the result to irreducible Markov operator representations of certain semi-groups, we obtain that bounded cocycles are (continuous) coboundaries. For minimal semi-group actions inC(K), no restriction on the semi-group is needed.     

Inequalities and sphere-packing inl p

If 1<p<∞, there is a constantr _p <1/2 so that ifr>r _p only a bounded number of balls inl _p of radiusr can be packed into the unit ball ofl _p . We obtain the exact value of this bound for eachp andr as a consequence of several new inequalities relating the expressions Σλ _i λ _j ‖x _i –x _j ‖ ^p , Σλ _i ‖x _i ‖ ^p and Σλ _i ^/2 for sequences (x _i ) ₁ ⁿ ⊂l _p and (λ _i ) ₁ ⁿ ⊂R.     

Vague convergence of sums of independent random variables

A sequence (μ _n) of probability measures on the real line is said to converge vaguely to a measureμ if∫ fdμ _n →∫ fdμ for every continuous functionf withcompact support. In this paper one investigates problems analogous to the classical central limit problem under vague convergence. Let ‖μ‖ denote the total mass ofμ andδ ₀ denote the probability measure concentrated in the origin. For the theory of infinitesimal triangular arrays it is true in the present context, as it is in the classical one, that all obtainable limit laws are limits of sequences of infinitely divisible probability laws. However, unlike the classical situation, the class of infinitely divisible laws is not closed under vague convergence. It is shown that for every probability measureμ there is a closed interval [0,λ], [0,e ⁻¹] ⊂ [0,λ] ⊂ [0, 1], such thatβμ is attainable as a limit of infinitely divisible probability laws iffβ ε [0,λ]. In the independent identically distributed case, it is shown that if (x ₁ + ... +x _n)/a _n, a_n → ∞, converges vaguely toμ with 0<‖μ‖<1, thenμ=‖μ‖δ ₀. If furthermore the ratiosa _n+1/a _n are bounded above and below by positive numbers, thenL(x)=P[|X ₁|>x] is a slowly varying function ofx. Conversely, ifL(x) is slowly varying, then for everyβ ε (0, 1) one can choosea _n → ∞ so that the limit measure=βδ ₀. To the memory of Shlomo Horowitz This research was partially supported by the National Science Foundation.     

Symmetric block bases of sequences with large average growth

We show that if 0<ε≦1, 1≦p<2 andx ₁, …,x _n is a sequence of unit vectors in a normed spaceX such thatE ‖∑ _l ⁿ ε_i x _l‖≧n ^1/p, then one can find a block basisy ₁, …,y _m ofx ₁, …,x _n which is (1+ε)-symmetric and has cardinality at leastγn ^2/p-1(logn)⁻¹, where γ depends on ε only. Two examples are given which show that this bound is close to being best possible. The first is a sequencex ₁, …,x _n satisfying the above conditions with no 2-symmetric block basis of cardinality exceeding 2n ^2/p-1. This sequence is not linearly independent. The second example is a sequence which satisfies a lowerp-estimate but which has no 2-symmetric block basis of cardinality exceedingCn ^2/p-1(logn)^4/3, whereC is an absolute constant. This applies when 1≦p≦3/2. Finally, we obtain improvements of the lower bound when the spaceX containing the sequence satisfies certain type-condition. These results extend results of Amir and Milman in [1] and [2]. We include an appendix giving a simple counterexample to a question about norm-attaining operators.     

Continuity of Marcinkiewicz integrals on homogeneous Morrey-Herz spaces

Let μmΩ,b be the higher order commutator generated by Marcinkiewicz integral μΩ and a BMO(Rn) function b(x). In this paper, we will study the continuity ofμΩ and μmΩ,b on homogeneous Morrey-Herz spaces.