Simple Constructions of Almost k-wise Independent Random Variables

We present three alternative simple constructions of small probability spaces on n bits for which any k bits are almost independent. The number of bits used to specify a point in the sample space is (2 + o(1)) (log log n + k/2 + log k + log 1/?), where ? is the statistical difference between the distribution induced on any k bit locations and the uniform distribution. This is asymptotically comparable to the construction recently presented by Naor and Naor (our size bound is better as long as ? < 1/(k log n)). An additional advantage of our constructions is their simplicity.     

Symplectic Generating Functions and Moyal Products

We introduce an affine-invariant version of generating functions of symplectic transformations of affine symplectic spaces, together with a generalization for other symmetric symplectic spaces. The composition of these functions has a nice connection with the Moyal product.     

The measure of a translated ball in uniformly convex spaces

Let (E, ¦·¦) be a uniformly convex Banach space with the modulus of uniform convexity of power type. Let be the convolution of the distribution of a random series inE with independent one-dimensional components and an arbitrary probability measure onE. Under some assumptions about the components and the smoothness of the norm we show that there exists a constant such that |{·<t}–{·+r<t}|r ^q , whereq depends on the properties of the norm. We specify it in the case ofL spaces, >1.     

Calculus I: The first derivative of pseudoisotopy theory

Let P be the (stable, smooth) pseudoisotopy space of the space X. For any map Y: YX of spaces, we identify the homotopy type of the fiber of P(f): P(f) P(f) in a stable range, roughly twice the connectivity of the map YX. We establish some language for discussing and manipulating such stable-range relative calculations for any homotopy functor. The theorem about P has a corollary about Waldhausen's A. Dedicated to Alexander GrothendieckResearch supported in part by NSF grant DMS-8806444 and by a Sloan Fellowship. Research at MSRI supported in part by NSF grant DMS-8505550.     

Besov spaces and the multifractal hypothesis

Parisi and Frisch proposed some time ago an explanation for multiscaling of turbulent velocity structure functions in terms of a multifractal hypothesis, i.e., they conjecture that the velocity field has local Hölder exponents in a range [h _min,h _max], with exponents <h occurring on a setS(h) with a fractal dimensionD(h). Heuristic reasoning led them to an expression for the scaling exponentz _p ofpth order as the Legendre transform of the codimensiond-D(h). We show here that a part of the multifractal hypothesis is correct under even weaker assumptions: namely, if the velocity field hasL ^p -mean Hölder indexs, i.e., if it lies in the Besov spaceB _p ^s, , then local Hölder regularity is satisfied. Ifs<d/p, then the hypothesis is true in a generalized sense of Hölder space with negative exponents and we discuss the proper definition of local Hölder classes of negative index. Finally, if a certain box-counting dimension exists, then the Legendre transform of its codimension gives the scaling exponentz _p , and, more generally, the maximal Besov index of order,p, ass _p =z _p /p. Our method of proof is derived from a recent paper of S. Jaffard using compactly-supported, orthonormal wavelet bases and gives an extension of his results. We discuss implications of the theorems for ensemble-average scaling and fluid turbulence.     

Cramér theorem on symmetric spaces of noncompact type

We prove the Cramér theorem forK-invariant Gaussian measures on irreducible symmetric spacesX=G/K withG semisimple noncompact. To do this we use a kind of Abel transform ofK-invariant measures onX.This research is supported by KBN Grant.     

Characterization of measures by potentials

Let μ be a measure in a Banach spaceE, f be an even function onR. We consider the potentialg(a)=f _E f(‖x?a‖)dμ(x). The question is as follows: For whichf does the potentialg determine μ uniquely? In this article we give answers in the cases whereE=l _∞ ⁿ and wheref(t)=|t| ^p andE is a finite dimensional Banach space with symmetric analytic norm. Calculating the Fourier transform of the functionf(‖x‖ _∞) we give a new proof of the J. Misiewicz's result that the functionf(‖x‖ _∞) is positive definite only iff is a constant function.     

Almost linearity of -bi-Lipschitz maps between real Banach spaces

Let and be real Banach spaces. A map between and is called an -bi-Lipschitz map if for all . In this note we show that if is an -bi-Lipschitz map with from onto , then is almost linear. We also show that if is a surjective -bi-Lipschitz map with , then there exists a linear isomorphism such that

where as and .

     

Curvature invariants, differential operators and local homogeneity

We first prove that a Riemannian manifold with globally constant additive Weyl invariants is locally homogeneous. Then we use this result to show that a manifold whose Laplacian commutes with all invariant differential operators is a locally homogeneous space.

     

A characterization of reflexive Banach spaces

A Banach space is not reflexive if and only if there exist a closed separable subspace of and a convex closed subset of with empty interior which contains translates of all compact sets in . If, moreover, is separable, then it is possible to put .