A bounded law of the iterated logarithm for Hilbert space valued martingales and its application to U-statistics

Summary A bounded law of the iterated logarithm for martingales with values in a separable Hilbert space H is proved. It is then applied to prove invariance principles for U-statistics for independent identically distributed (-valued) random variables {X _j , j1} and a kernel h: ^m H, m2, which is degenerate for the common distribution function of X _j , j1. This extends to general m results of an earlier paper on this subject and even gives new results in the case H=.     

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.     

Limiting Cases of a Superstring in AdS5×S5

The superstring action in AdS ₅×S ⁵ depends on two parameters: the inverse string tension and the radius R. The standard AdS/CFT correspondence requires that the string action depend on only the combination . After reviewing previous work on the light-cone superstring, we derive the explicit form of the action at =0. Its zero-mode part coincides with the superparticle action in AdS ₅×S ⁵, and the =0 string spectrum, as expected, must therefore include the protected type-IIB supergravity states. Following recent suggestions, we conjecture that such a tensionless string spectrum must also contain higher-spin massless states in AdS ₅. We also discuss the case of another parameterization of the string action that admits the straightforward flat-space limit R, but the limits R0 and are not equivalent in this case. The limit R0 then corresponds to shrinking S ⁵ to the size zero, simultaneously freezing the fluctuations of the radial coordinate of AdS ₅. This case results in a nonstandard AdS/CFT correspondence picture.     

Discrete Spectrum of Differential Operators in Spectral Gaps under Nonnegative Perturbations of High Order

Let A be a self-adjoint elliptic second-order differential operator, let (, ) be an inner gap in the spectrum of A, and let B(t) = A + tW ^* W, where W is a differential operator of higher order. Conditions are obtained under which the spectrum of the operator B(t) in the gap (, ) is either discrete, or does not accumulate to the right-hand boundary of the spectral gap, or is finite. The quantity N(, A, W, ), (, ), > 0 (the number of eigenvalues of the operator B(t) passing the point (, ) as t increases from 0 to ) is considered. Estimates of N(, A, W, ) are obtained. For the perturbation W ^* W of a special form, the asymptotics of N(, A, W, ) as + is given. Bibliography: 5 titles.     

Approximation by Reciprocals of Polynomials with Positive Coefficients in L p Spaces

We prove that, if f(x) L ^p _[0,1], 1 < p < , f(x) 0, x [0,1], f 0, then there is a polynomial p(x) ⁺ _n such that f - 1/p _LP C(p)(f,n ^-1/2) _LP where ⁺ _n indicates the set of all polynomials of degree n with positive coeficients (see the definition (1) in the text).     

New lower semicontinuity results for polyconvex integrals

Summary We study integral functionals of the formF(u, )= f(u)dx, defined foru C¹(;R ^k), R ⁿ . The functionf is assumed to be polyconvex and to satisfy the inequalityf(A) c₀¦(A)¦ for a suitable constant c₀ > 0, where (A) is then-vector whose components are the determinants of all minors of thek×n matrixA. We prove thatF is lower semicontinuous onC ¹(;R ^k) with respect to the strong topology ofL ¹(;R ^k). Then we consider the relaxed functional , defined as the greatest lower semicontinuous functional onL ¹(;R ^k ) which is less than or equal toF on C¹(;R ^k). For everyu BV(;R ^k) we prove that (u,) f(u)dx+c₀¦D^su¦(), whereDu=u dx+D^su is the Lebesgue decomposition of the Radon measureDu. Moreover, under suitable growth conditions onf, we show that (u,)= f(u)dx for everyu W^1,p(;R ^k), withp min{n,k}. We prove also that the functional (u, ) can not be represented by an inte- gral for an arbitrary functionu BV_loc(R ⁿ;R ^k). In fact, two examples show that, in general, the set function (u, ) is not subadditive whenu BV_loc(R ⁿ;R ^k), even ifu W _loc ^1,p (R ⁿ;R ^k) for everyp < min{n,k}. Finally, we examine in detail the properties of the functionsu BV(;R ^k) such that (u, )= f(u)dx, particularly in the model casef(A)=¦(A)¦.     

Limiting behavior of certain mixtures of distributions

U — [0, 1] Y — . X=[1–U ^1/v /Y], U Y.     

Sum of Divisors in a Ring of Gaussian Integers

We construct an asymptotic formula for a sum function for _a (), where _a () is the sum of the ath powers of the norms of divisors of the Gaussian integer on an arithmetic progression ₀ (mod ) and in a narrow sector ₁ arg < ₂. For this purpose, we use a representation of _a (n) in the form of a series in the Ramanujan sums.     

Une variante à la Coxeter du groupe de Steinberg

LetG _n ()be the semi-direct product of the symmetric groupS _n by the Steinberg groupSt _n ()of a ringWe first prove thatG _n ()has a Coxeter-type presentation. The canonical morphism St _n () GL _n ()extends to a group homo G_n() GL _n ()We next determine the kernel of for n = We also give an expression for the generator of the algebraic K group K ₂(Z)of the integers in terms of permutation matrices.     

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.     

On Tabor's problem concerning a certain quasi-ordering of iterative roots of functions

Summary Using the Isaacs-Zimmermann's theory of iterative roots of functions, we prove a theorem concerning the problemP 250 posed by J. Tabor:Letf: E E be a given mapping. Denote byF the set of all iterative roots off. InF we define the following relation: if and only if is an iterative root of. The relation is obviously reflexive and transitive. The question is: Is it also antisymmetric? If we consider iterative roots of a monotonic function the answer is yes. But in general the question is open.Here we prove that there exists a three-element decomposition { _i ;i = 1, 2, 3} of the setE ^E with blocks _i of the same cardinality 2^cardE such that the functions from ₁ do not possess any proper iterative root, the quasi-ordering is not antisymmetric onF(f) for anyf ₂, and is an ordering onF(f) for anyf ₃. Iff is a strictly increasing continuous self-bijection ofE, then the relation is an ordering onF(f) ifff is different from the identity mapping of the setE.     

Theorems on Lower Semicontinuity and Relaxation for Integrands with Fast Growth

We prove theorems on the lower semicontinuity and integral representations of the lower semicontinuous envelopes of integral functionals with integrands L of fast growth: c ₁ G(|Du|) + c ₂ L c ₃ G(|Du|) + c ₄ with c ₃ c ₁ > 0 and G : [0, [ [0, [ is an increasing convex function such that vG (v)/G(v) as v and is increasing for large v. Repeating the results for the case of the standard growth (G() = ||^p) the quasiconvexity of integrands characterizes the lower semicontinuity of integral functionals and their quasiconvexifications yield the integral functionals that are lower semicontinuous envelopes.Original Russian Text Copyright © 2005 Sychev M. A.The author was supported by the Russian Foundation for Basic Research (Grant 03-01-00162).__________Translated from Sibirskii Matematicheskii Zhurnal, Vol. 46, No. 3, pp. 679–697, May–June, 2005.     

Some best possible bounds concerning the traces of finite sets II

LetX be ann-element set and be a family of its subsets. Consider the family _x = {F – {x} : F } for a givenx X. We write(m, n) (m – k, n – 1), when for all with || m, there exists an elementx ofX such that| _x| m – k. We show that (m, n) (m – 10,n – 1) for allm 5n and (m, n) (m – 13,n – 1) for allm 29n/5.     

Central limit theorem for complex measures

We prove two central limit theorems for real identically distribution random variables where the distribution is a complex-valued Borel measure . The results involve the weak convergence of the suitably scaledn-fold convolution of certain complex atomic or absolutely continuous measures of spectral radius 1 to ahypergaussian measure whose Fourier-Stieltjes transform is exp(–² for a positive integer . The proof uses a generalization of the method of characteristic functions. Counter-examples are given to rather more general statements that had appeared previously in the literature. This research arose in connection with problems related to general tauberian theorems on the line for complexvalued summability methods which are discussed at the end of the paper. Some interesting examples are given generalizing well-known theorems related to Euler and Borel summability.     

On the postulation of a general projection of a curve inP N,N⩾4

Summary Fix a curve X of genus g and L Pic ^d (X). Let _L(X) be the image of X through the complete linear system H⁰(X, L). Here we prove that a general projection of _L(X) intoP ^N has maximal rank if either (a) N4, 0gN–1, dg+N, or (b) dd (g, N) for suitable d(g, N).     

Orthonormal systems satisfying an inequality of S. M. Nikol'skii

N- (p, q) (1 pN-, L _p - L _q -. , , , L L _q - , , .     

Universal correlations in finite posets

Posets A, BX×X, with X finite, are said to be universally correlated (AB) if, for all posets R over X, (i.e., all posets RY×Y with XY), we have P(RA) P(RB)P(RAB) P(R). Here P(RA), for instance, is the probability that a randomly chosen bijection from Y to the totally ordered set with |Y| elements is a linear extension of RA. We show that AB iff, for all posets R over X, P(RA) P(RB)P(RAB) P(R(AB)).Winkler proved a theorem giving a necessary and sufficient condition for AB. We suggest an alteration to his proof, and give another condition equivalent to AB.Daykin defined the pair (A, B) to be universally negatively correlated (A B) if, for all posets R over X, P(RA) P(RB)P(RAB) P(R(AB)). He suggested a condition for AB. We give a counterexample to that conjecture, and establish the correct condition. We write AB if, for all posets R over X, P(RA) P(RB)P(RAB) P(R). We give a necessary and sufficient condition for AB.We also give constructive techniques for listing all pairs (A, B) satisfying each of the relations AB, AB, and AB.     

О несколвких принципиальных вопросах задач о цоБственных значениях отосительно систем Дифференциальных уравнений. I

Summary In the course of the numerical solution of Eigenvalue-problems connected with linear differential equations, the so-called encompassing theorems are of great importantce. We generalize in this paper the most important results of the theory, especially the encompassing-theorems, to the case of systems of differential equations. We expound further a method of perturbation which can be well applied also in the practice for the solution of Eigenvalue-problems connected with the systems. The problem acrose in connection with the fixation of the number of critical self-oscillation of turbine shovels.

---

---

.      

Scaling limit of anticommuting self-adjoint operators and applications to Dirac operators

LetA andB be two anticommuting self-adjoint operators andV() be a symmetric operator in a Hilbert space, where >0 is a parameter. It is proven that, under some conditions forV(), the resolvents of A+² B±²|B|+V() converge as . Applications to the nonrelativistic-limit problem of Dirac operators and supersymmetry are discussed.This work is supported by the Grant-In-Aid 0560139 for science research from the Ministry of Education, Japan.     

Generalized Davenport-Schinzel sequences

The extremal functionEx(u, n) (introduced in the theory of Davenport-Schinzel sequences in other notation) denotes for a fixed finite alternating sequenceu=ababa... the maximum length of a finite sequencev overn symbols with no immediate repetition which does not containu. Here (following the idea of J. Neetil) we generalize this concept for arbitrary sequenceu. We summarize the already known properties ofEx(u, n) and we present also two new theorems which give good upper bounds onEx(u _i ,n). We use these theorems to describe a wide class of sequencesu (linear sequences) for whichEx(u, n)=O(n). Both theorems are used for obtaining new superlinear upper bounds as well. We partially characterize linear sequences over three symbols. We also present several problems aboutEx(u, n).Supported by Deutsche Forschungsgemeinschaft, grant We 1265/2-1.