Dérivé convexe d’une loi de probabilité et lois stables. Application a un problème d’isomorphisme

The “convex derived set” of a symmetric probability lawF on the real line is defined as the set of limits of laws ∗ _j−1/k ⁿ F(t _j ⁿ η), inf 1≤j≤k _n t _j ⁿ →∞ ifn→∞ and the stable laws it contains are exhibited. A new criterion of stochastic compacity of the set of the powers of a probability law is established. Finally, an isomorphism theorem between somel ^p andL ⁰ spaces is given.

---

---

Laboratoire associé au C.N.R.S. n^o 224 “Processus stochastiques et applications”.     

Order preserving nonexpansive operators inL 1

We study the limit behaviour ofT ^k f and of Cesaro averagesA _n f of this sequence, whenT is order preserving and nonexpansive inL ₁ ⁺ . IfT contracts also theL _∞-norm, the sequenceT ⁿ f converges in distribution, andA _n f converges weakly inL _p (1<p<∞), and also inL ₁ if the measure is finite. “Speed limit” operators are introduced to show that strong convergence ofA _n f need not hold. The concept of convergence in distribution is extended to infinite measure spaces. Much of this work was done during a visit of the first author at Ben Gurion University of the Negev in Beer Sheva, supported by the Deutsche Forschungsgemeinschaft.     

Inequalities for convex bodies and polar reciprocal lattices inR n

LetL be a lattice and letU be ano-symmetric convex body inR ⁿ . The Minkowski functional ∥ ∥ _U ofU, the polar bodyU ⁰, the dual latticeL ^*, the covering radius μ(L, U), and the successive minima λ _i (L,U)i=1,...,n, are defined in the usual way. Let ℒ _n be the family of all lattices inR ⁿ . Given a pairU,V of convex bodies, we define and kh(U, V) is defined as the smallest positive numbers for which, given arbitraryL∈ℒ _n andu∈R ⁿ /(L+U), somev∈L ^* with ∥v∥ _V ≤sd(uv, ℤ) can be found. Upper bounds for jh(U, U ⁰), j=k, l, m, belong to the so-called transference theorems in the geometry of numbers. The technique of Gaussian-like measures on lattices, developed in an earlier paper [4] for euclidean balls, is applied to obtain upper bounds for jh(U, V) in the case whenU, V aren-dimensional ellipsoids, rectangular parallelepipeds, or unit balls inl _p ⁿ , 1≤p≤∞. The gaps between the upper bounds obtained and the known lower bounds are, roughly speaking, of order at most logn asn→∞. It is also proved that ifU is symmetric through each of the coordinate hyperplanes, then jh(U, U ⁰) are less thanCn logn for some numerical constantC.     

A reciprocity theorem for unitary representations of Lie groups

LetG be a Lie group,H a closed subgroup,L a unitary representation ofH andU ^L the corresponding induced representation onG. The main result of this paper, extending Ol’ŝanskii’s version of the Frobenius reciprocity theorem, expresses the intertwining number ofU ^L and an irreducible unitary representationV ofG in terms ofL and the restriction ofV _∞ toH.     

Isoperimetric inequalities on minimal submanifolds of space forms

For a domainU on a certaink-dimensional minimal submanifold ofS ⁿ orH ⁿ, we introduce a “modified volume”M(U) ofU and obtain an optimal isoperimetric inequality forU k ^k ω _k M (D) ^k-1 ≤Vol(∂D) ^k , where ω _k is the volume of the unit ball ofR ^k . Also, we prove that ifD is any domain on a minimal surface inS ₊ ⁿ (orH ⁿ, respectively), thenD satisfies an isoperimetric inequality2π A≤L ²+A² (2π A≤L²−A² respectively). Moreover, we show that ifU is ak-dimensional minimal submanifold ofH ⁿ, then(k−1) Vol(U)≤Vol(∂U). Supported in part by KME and GARC     

On the maximal ergodic theorem for certain subsets of the integers

It is shown that the set of squares {n ²|n=1, 2,…} or, more generally, sets {n ^t|n=1, 2,…},t a positive integer, satisfies the pointwise ergodic theorem forL ²-functions. This gives an affirmative answer to a problem considered by A. Bellow [Be] and H. Furstenberg [Fu]. The previous result extends to polynomial sets {p(n)|n=1, 2,…} and systems of commuting transformations. We also state density conditions for random sets of integers in order to be “good sequences” forL ^p-functions,p>1.     

Solvability of second-order left-invariant differential operators on the Heisenberg group satisfying a cone condition

We discuss local solvability of operators of the form where theV _j are left-invariant vector fields on the Heisenberg group such that [V _j ,V _j+n ]=U for 1≤j≤n andA=(a _jk )=A ₁+iA ₂ is a complex symmetric matrix satisfying the “cone condition” |A ₂|≤CA ₁. The authors acknowledge the support for this work by the European Commission through the European HCM-program “Fourier Analysis” and the TMR network “Harmonic Analysis”.     

Rates of convex approximation in non-hilbert spaces

This paper deals with sparse approximations by means of convex combinations of elements from a predetermined “basis” subsetS of a function space. Specifically, the focus is on therate at which the lowest achievable error can be reduced as larger subsets ofS are allowed when constructing an approximant. The new results extend those given for Hilbert spaces by Jones and Barron, including, in particular, a computationally attractive incremental approximation scheme. Bounds are derived for broad classes of Banach spaces; in particular, forL _p spaces with 1<p<∞, theO (n ^−1/2) bounds of Barron and Jones are recovered whenp=2. One motivation for the questions studied here arises from the area of “artificial neural networks,” where the problem can be stated in terms of the growth in the number of “neurons” (the elements ofS) needed in order to achieve a desired error rate. The focus on non-Hilbert spaces is due to the desire to understand approximation in the more “robust” (resistant to exemplar noise)L _p, 1 ≤p<2, norms. The techniques used borrow from results regarding moduli of smoothness in functional analysis as well as from the theory of stochastic processes on function spaces.     

The moduli space of (3,3,3) trilinear forms

LetU, V andW be three dimensional vector spaces over ∉ (or an alebraically closed field with characteristic not equal to 2 or 3). We prove that the moduli space of trilinear forms onU ^* ⊗V ^* ⊗W ^* is isomorphic to ℙ² by applying Geometric Invariant Theory to the action ofPGL(U)×PGL(V)×PGL(W) on ℙU⊗V⊗W).     

Spectra of composition operators on the bloch and bergman spaces

Whenϕ is an analytic map of the unit diskU into itself, andX is a Banach space of analytic functions onU, define the composition operatorC _ϕ byC _ϕ (f)=f o ϕ, forf∈X. In this paper we show how to use the Calderón theory of complex interpolation to obtain information on the spectrum ofC _ϕ (under suitable hypotheses onϕ) acting on the Bloch spaceB and BMOA, the space of analytic functions in BMO. To do this we first obtain some results on the essential spectral radius and spectrum ofC _ϕ on the Bergman spacesA ^pand Hardy spacesH ^p,spaces which are connected toB and BMOA by the interpolation relationships [A ¹,B] _t =A ^pand [H ¹,BMOA] _t =H ^pfor 1=p(1−t).     

Regularity of discs attached to a submanifold ofC n

Letp be an analytic disc attached to a generating CR-submanifoldM of C ⁿ . It is proved that some recently introduced conditions onp andM which imply that the family of all smallC ^α holomorphic perturbations ofp alongM is a Banach submanifold of (A^α(D))ⁿ are equivalent. These conditions are given in terms of the partial indices of the discp attached toM and “holomorphic sections” of the conormal bundle ofM along p(∂D). Also, a sufficient geometric conditionon p andM is given so that the family of all smallC ^α holomorphic perturbationsof p alongM, fixed at some boundary point, is a Banach submanifold of (A ^α (D))ⁿ.     

On the index of approximating sets of periodic points

Summary LetK be a compact space andf:K→K a continuous map without fixed points, i.e. Fixf=⊘. For prime numbersp, the sets Fixf ^p are freeℤ/p-spaces with theℤ/p-action induced byf. Our aim is to estimate the topological indicesi(F _p,f) of invariant subsetsF _p⊂Fixf ^p approximating a givenS⊂K. We construct an example (K,f,S) withS⊂Fixf ^q (q being some prime number) such that, for each neighborhoodU ofS, i (Fix (f|u) ^p, f) increases linearly withp. This article was processed by the author using the L^AT_EX style filecljour1 from Springer-Verlag.     

On the corestriction ofp n -symbol

LetF be a field of characteristicp. Teichmüller proved that anyp-algebra overF of indexp ⁿ and exponentp ^e is similar to a tensor product with at mostp ⁿ !(p ⁿ !−1) factors of cyclicp-algebras overF of degreep ^e . In this note we improve Teichmüller bound for two particular types ofp-algebras. LetL be a finite separable extension ofF. IfA is a cyclicp-algebra overL of degreep ^e we show that Cor _L/F A, the corestriction ofA, is similar to a tensor product with at most [L :F] factors of cyclicp-algebras overF of degreep ^e . Moreover we prove that [L :F] is the best possible bound. From this we deduce that ifA is a cyclicp-algebra overF of degreep ⁿ and exponentp ^e thenA is similar to a tensor product with at mostp ^n−e factors of cyclicp-algebras overF of degreep ^e .     

Classification of quasifinite\mathcal{W}_\infty -modules-modules

It is proved that an irreducible quasifinite -module is a highest or lowest weight module or a module of the intermediate series; a uniformly bounded indecomposable weight -module is a module of the intermediate series. For a nondegenerate additive subgroup Λ ofF _n, whereF is a field of characteristic zero, there is a simple Lie or associative algebraW(Λ,n)⁽¹⁾ spanned by differential operatorsuD ₁ ^m …D ₁ ^m foru ∈F[Γ] (the group algebra), andm _i≥0 with , whereD _i are degree operators. It is also proved that an indecomposable quasifinite weightW(Λ,n)⁽¹⁾-module is a module of the intermediate series if Λ is not isomorphic to ℤ. Supported by NSF grant no. 10471091 of China and two grants “Excellent Young Teacher Program” and “Trans-Century Training Programme Foundation for the Talents” from the Ministry of Education of China.     

Moduli spaces of quadratic differentials

The cotangent bundle ofJ (g, n) is a union of complex analytic subvarieties, V(π), the level sets of the function “singularity pattern” of quadratic differentials. Each V(π) is endowed with a natural affine complex structure and volume element. The latter contracts to a real analytic volume element, Μ_π, on the unit hypersurface, V₁(π), for the Teichmüller metric. Μ_π is invariant under the pure mapping class group, γ(g, n), and a certain class of functions is proved to be L^p(Μ_π), 0 <p < 1, over the moduli space V₁(π)/γ (g, n). In particular, Μ_π(V₁(π)/γ(g, n)) < ∞, a statement which generalizes a theorem by H. Masur. Research supported by NSF-MCS-8219148 and NSF-DMS-8521620.     

Fast decoding of quasi-perfect Lee distance codes

A code D over Z ² _n is called a quasi-perfect Lee distance-(2t + 1) code if d _L(V,W) ≥ 2t + 1 for every two code words V,W in D, and every word in Z ² _n is at distance ≤ t + 1 from at least one code word, where D _L(V,W) is the Lee distance of V and W. In this paper we present a fast decoding algorithm for quasi-perfect Lee codes. The basic idea of the algorithm comes from a geometric representation of D in the 2-dimensional plane. It turns out that to decode a word it suffices to calculate its distance to at most four code words.     

Solutions of the matrix equation (1):X m+A 1Xm−1+…+A m=0

SupposeX and the coefficientsA ₁, …,A _m aren×n matrices. LetB be anmn×mn matrix as in (7). LetJ be the Jordan canonical matrix ofB andB=PJP ⁻. LetE _i denote thei×i unit matrix.V is defined bydV/dt=JV andV(t=0)=E _mn. ThenZ=PV satisfiesdZ/dt=BZ.P ^* is a matrix which consists of the firstn rows ofP. The author proves: There is a solution of (1) ↔ there are anmn×n matrixC, ann×n matrixQ and ann×n function matrixN such thatP ^*VC=QN, where detQ≠0 andN is defined byN(t=0)=E _n anddN/dt=RN, in whichR is ann×n Jordan canonical matrix. There are three cases regarding the solutions of (1): No solution, finitek solutions, 1<k<C _n ^m , and infinite solutions which containj parameters, 1<-j<-mn ².     

Computingp-summing norms with few vectors

It is shown that thep-summing norm of any operator withn-dimensional domain can be well-aproximated using only “few” vectors in the definition of thep-summing norm. Except for constants independent ofn and logn factors, “few” meansn if 1<p<2 andn ^p/2 if 2<p<∞. Supported in part by NSF #DMS90-03550 and the U.S.-Israel Binational Science Foundation. Supported in part by the U.S.-Israel Binational Science Foundation.     

NON-EMPTY CROSS-2-INTERSECTING FAMILIES OF SUBSETS

Let Cdenote the set of all k-subests of an n-set.Assume Alohtain in Ca,and A lohtain in (A,B) is called a cross-2-intersecting family if |A B≥2 for and A∈A,B∈B.In this paper,the best upper bounds of the cardinalities for non-empty cross-2-intersecting familles of a-and b-subsets are obtained for some a and b,A new proof for a Frankl-Tokushige theorem[6] is also given.