On the growth order of partial sums of non-orthogonal series

a _k f _k , f _k L ₂, w-, (2), w(n) — . a _k f _k N {a _k }l ₂, {a _k }l ₂ ( 1, 2, 1a, 2a). ( 2) [8]. , {a _k } w-.     

On the stochastic independence properties of hard-core distributions

A probability measurep on the set of matchings in a graph (or, more generally 2-bounded hypergraph) ishard-core if for some : [0,), the probabilityp(M) ofM is proportional to . We show that such distributions enjoy substantial approximate stochastic independence properties. This is based on showing that, withM chosen according to the hard-core distributionp, MP () the matching polytope of , and >0, if the vector ofmarginals, (Pr(AM):A an edge of ), is in (1–) MP (), then the weights (A) are bounded by someA(). This eventually implies, for example, that under the same assumption, with fixed, as the distance betweenA, B tends to infinity.Thought to be of independent interest, our results have already been applied in the resolutions of several questions involving asymptotic behaviour of graphs and hypergraphs (see [14, 16], [11]–[13]).Supported in part by NSFThis work forms part of the author's doctoral dissertation [16]; see also [17]. The author gratefully acknowledges NSERC for partial support in the form of a 1967 Science and Engineering Scholarship.     

Contraction of Exterior Powers in Characteristic 2 and the Spin Module

Let K be a field of characteristic 2 and letV be a vector space of dimension 2m over K. Let f be a non-degenerate alternating bilinear form defined on V × V. The symplectic group Sp(2m, K) acts on the exterior powers ^k V for 0 k. 2m There is a contraction map defined on the exterior algebra , which commutes with the Sp(2m, K) action and satisfies ² = 0 and ( ^k V) ^k–1 V We prove that ( ^k V)= ker ^k–1 V except when k=m+2. In the exceptional case, ( ^m+2 V) has codimension 2^m in ker ^m V and we show that the quotient module ker ^m V/ ^m+2 V is a spin module for Sp(2m,K). When K is algebraically closed, we show that this spin module occurs with multiplicity 1 in ^m V and multiplicity 0 in all other components of V.     

On equivalence of rearrangements of the Haar system in dyadic Hardy and BMO spaces

H={h ₁,I } — , . : , I ¦(I)¦=¦I¦, ¦I¦ — I. H H ={h _(I),I} . , , . L ^p .

---

---

Dedicated to Professor B. Szökefalvi-Nagy on his 75th birthday

---

This research was supported in part by MTA-NSF Grants INT-8400708 and 8620153.     

Lévy homeomorphic parametrization and exponential families

Summary Let P={P : } be an exponential family of probability distributions with the canonical parameter and consider the one to one mapping : P . It is shown that, under mild regularity assumptions, and ^–1 are continuous with respect to the Lévy metric in P and Euclidean metric in .     

Quasi-conformal mapping theorem and bifurcations

LetH be a germ of holomorphic diffeomorphism at 0 . Using the existence theorem for quasi-conformal mappings, it is possible to prove that there exists a multivalued germS at 0, such thatS(ze ²ⁱ )=HS(z) (1). IfH is an unfolding of diffeomorphisms depending on (,0), withH ₀=Id, one introduces its ideal . It is the ideal generated by the germs of coefficients (a _i (), 0) at 0 ^k , whereH (z)–z=a _i ()z ⁱ . Then one can find a parameter solutionS (z) of (1) which has at each pointz ₀ belonging to the domain of definition ofS ₀, an expansion in seriesS (z)=z+b _i ()(z–z ₀) ⁱ with , for alli.This result may be applied to the bifurcation theory of vector fields of the plane. LetX be an unfolding of analytic vector fields at 0 ² such that this point is a hyperbolic saddle point for each . LetH (z) be the holonomy map ofX at the saddle point and its associated ideal of coefficients. A consequence of the above result is that one can find analytic intervals , , transversal to the separatrices of the saddle point, such that the difference between the transition mapD (z) and the identity is divisible in the ideal . Finally, suppose thatX is an unfolding of a saddle connection for a vector fieldX ₀, with a return map equal to identity. It follows from the above result that the Bautin ideal of the unfolding, defined as the ideal of coefficients of the difference between the return map and the identity at any regular pointz, can also be computed at the singular pointz=0. From this last observation it follows easily that the cyclicity of the unfoldingX , is finite and can be computed explicity in terms of the Bautin ideal.Dedicated to the memory of R. Mañé     

C 1 changes of variable: Beurling-Helson type theorem and Hörmander conjecture on Fourier multipliers

We prove that if aC ¹ smooth change of variable : generates a bounded composition operatorff° in the spaceA _p()=L ^p ,p2, then is linear (affine).We also prove that for a nonlinearC ¹ mapping , the norms of exponentialse ⁱ as Fourier multipliers inL ^p () tend to infinity (,||). In both results the condition C ¹ is sharp, it cannot be replaced by the Lipschitz condition.     

The Spectral Theory of Amenable Actions and Invariants of Discrete Groups

Let G denote a semisimple group, a discrete subgroup, B=G/P the Poisson boundary. Regarding invariants of discrete subgroups we prove, in particular, the following:(1) For any -quasi-invariant measure on B, and any probablity measure on , the norm of the operator () on L ²(B,) is equal to (), where is the unitary representation in L ²(X,), and is the regular representation of .(2) In particular this estimate holds when is Lebesgue measure on B, a Patterson–Sullivan measure, or a -stationary measure, and implies explicit lower bounds for the displacement and Margulis number of (w.r.t. a finite generating set), the dimension of the conformal density, the -entropy of the measure, and Lyapunov exponents of .(3) In particular, when G=PSL₂() and is free, the new lower bound of the displacement is somewhat smaller than the Culler–Shalen bound (which requires an additional assumption) and is greater than the standard ball-packing bound.We also prove that ()=_G() for any amenable action of G and L ¹(G), and conversely, give a spectral criterion for amenability of an action of G under certain natural dynamical conditions. In addition, we establish a uniform lower bound for the -entropy of any measure quasi-invariant under the action of a group with property T, and use this fact to construct an interesting class of actions of such groups, related to 'virtual' maximal parabolic subgroups. Most of the results hold in fact in greater generality, and apply for instance when G is any semi-simple algebraic group, or when is any word-hyperbolic group, acting on their Poisson boundary, for example.     

A sandwich theorem and Hyers—Ulam stability of affine functions

It is shown that two real functionsf andg, defined on a real intervalI, satisfy the inequalitiesf(x + (1 – )y) g(x) + (1 – )g(y) andg(x + (1 – )y) f(x) + (1 – )f(y) for allx, y I and [0, 1], iff there exists an affine functionh: I such thatf h g. As a consequence we obtain a stability result of Hyers—Ulam type for affine functions.     

On the asymptotic equivalence ofL pmetrics for convergence to normality

Summary This paper is concerned with the rate of convergence to zero of theL _pmetrics _np1p, constructed out of differences between distribution functions, for departure from normality for normed sums of independent and identically distributed random variables with zero mean and unit variance. It is shown that the _np are, under broad conditions, asymptotically equivalent in the strong sense that, for 1p, p, _np/_np is universally bounded away from zero and infinity asn.     

Nilpotent complements and Carter subgroups in stable ℜ-groups

The following theorems are proved about the Frattini-free componentG of a soluble stable -group: a) If it has a normal subgroupN with nilpotent quotientG /N, then there is a nilpotent subgroupH ofG withG =NH. b) It has Carter subgroups; if the group is small, they are all conjugate. c) Nilpotency modulo a suitable Frattini-subgroup (to be defined) implies nilpotency. The last result makes use of a new structure theorem for the centre of the derivative of the Frattini-free component of a centreless soluble -group.     

Central Limit Theorem for a Class of Nonhomogeneous Random Walks

A spatially nonhomogeneous random walk _t on the grid =^m X ⁿ is considered. Let _t ⁰ be a random walk homogeneous in time and space, and let _t be obtained from it by changing transition probabilities on the set A= X ⁿ, || < , so that the walk remains homogeneous only with respect to the subgroup ⁿ of the group . It is shown that if >m 2 or the drift is distinct from zero, then the central limit theorem holds for _t.     

Converse theorems for multidimensional Kantorovich operators

L _p [0, l]. . . - .

---

---

Supported by National Science Foundation, Zhejiang Provincial Science Foundation of China, and Alexander von Humboldt Foundation of Germany.     

Arithmetic properties of the Markov function for the Jacobi weight

. . .     

On the distribution of comparisons in sorting algorithms

We considered the following natural conjecture: For every sorting algorithm every key will be involved in(logn) comparisons for some input. We show that this is true for most of the keys and prove matching upper and lower bounds. Every sorting algorithm for some input will involven–n /2+1 keys in at leastlog₂ n comparisons,>0. Further, there exists a sorting algorithm that will for every input involve at mostn–n ^/c keys in greater thanlog₂ n comparisons, wherec is a constant and>0. The conjecture is shown to hold for natural algorithms from the literature.     

A symmetry problem in the calculus of variations

Let be a ball in ^N, centered at zero, and letu be a minimizer of the nonconvex functional over one of the classesC _M := {w W _loc ^1, () 0 w(x) M in,w concave} orE _M := {w W _loc ^1,2 () 0 w(x) M in,w 0 inL()}of admissible functions. Thenu is not radial and not unique. Therefore one can further reduce the resistance of Newton's rotational body of minimal resistance through symmetry breaking.     

A Hubert space characterization among function spaces

— [0,1] ,E — - e=1 [0,1]. I — _E =1, E=L ₂ x _e =xL ₂ x E.

---

---

This work was prepared when the second author was a visiting professor of the CNR at the University of Firenze. He was supported by the Soros International Fund.     

Fastholomorphe Algebren

In this paper we study residue class rings in the sequel called algebras - where R is the ring of germs of complex-valued C- resp. C-functions at the origin of IR^N and is an ideal with. If we have R=R(^N) and with an ideal of germs of holomorphic functions, then we call A holomorphic. For holomorphic algebras it is possible to introduce the modules (A),^p,q(A) of differential forms of degree r and of bidegree (p,q) in a natural way. We have. An almost holomorphic (almost complex) structure on an algebra A is a direct sum ¹(A)=+ with the following property: for the projections p:¹', p:¹ we have for all ¹. Holomorphic algebras have an almost holomorphic structure. We collect some elementary properties of almost holomorphic algebras and then we prove a criterion for integrability in the analytic case, using Cartan's theory of germs of real-analytic sets.     

Perturbation of the poles of the scattering matrix under variation of the boundary condition

The behavior of the poles z_n(), n=1,2,... of the scattering matrix of the operatorl u=–u(x), x , (u/n)+(x)u|=0 as 0 is considered. It is proved that |z_n()–z_n|=0(^(1/2)qn), where q_n is the order of the pole of the scattering matrix for the operator ₀u=–u, u/=0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 117, pp. 183–191, 1981.     

Абсолютная сходимос ть рядов Фурье—Хаара от суперпозиций функци й

A necessary and sufficient condition is found for the function to ensure absolute convergence of the Haar—Fourier series of all functions(f) provided that the Haar—Fourier series off converges absolutely. Absolute convergence means absolute convergence of the series of coefficients, and the condition is that should be in Lip 1.

---

—