On convergence rates and the expectation of sums of random variables

Let X_i be iidrv's and S_n=X₁+X₂+…+X_n. When EX²₁<+∞, by the law of the iterated logarithm $\text{(S}{}_{\mathrm{n}}\text{?α}{}_{\mathrm{n}}\text{)}\text{(n log n)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{→0 a.s.}$ for some constants α_n. Thus the r.v. $\text{Y=sup}{}_{\mathrm{n?1}}\text{[|S}{}_{\mathrm{n}}\text{?α}{}_{\mathrm{n}}\text{|?(δn log n)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{]}{}^{\mathrm{+}}$ is a.s.finite when δ>0. We prove a rate of convergence theorem related to the classical results of Baum and Katz, and apply it to show, without the prior assumption EX²₁<+∞ that EY^h<+∞ if and only if $\text{E}\text{|X}{}_1\text{|}{}^{\mathrm{2+h}}\text{[log|X}{}_1\text{|]}{}^{-1}\text{<+∞}$ for 0<h<1 and δ> $\text{h}\text{E}\text{(X}{}_1\text{?}\text{E}\text{X}{}_1\text{)}{}^2$, whereas $\text{E}\text{Y}{}^{\mathrm{h}}\text{=+∞}$ whenever h>0 and $\text{0<δ<h}\text{E}\text{(X}{}_1\text{?}\text{E}\text{X}{}_1\text{)}{}^2$.     

Exposed points and extremal problems in H1

If φ ∈ L_∞, we denote by T_φ the functional defined on the Hardy space H¹ by

$\text{T}{}_{\mathrm{\phi }}\text{(?) =}\text{∫}\text{?π}\text{π}\text{?(e}{}^{\mathrm{i\theta }}\text{) φ(e}{}^{\mathrm{i\theta }}\text{)}\text{dθ}\text{2π}$

. Let S_φ be the set of functions in H¹ which satisfy $\text{T}{}_{\mathrm{\phi }}\text{(?) = ∥T}{}_{\mathrm{\phi }}\text{∥}\text{and}\text{∥? ∥}{}_1\text{? 1}$. It is known that if φ is continuous, then S_φ is weak-¹ compact and not empty. For many noncontinuous φ each S_φ is weak-¹ compact and not empty. A complete descr ption of S_φ if S_φ is weak-¹ compact and not empty is obtained. S_φ is not empty if and only if $\text{S}{}_{\mathrm{\phi }}\text{= S}{}_{\mathrm{\psi }}\text{and}\text{ψ = ¦ ?¦}\text{?}$ for some nonzero ? in H¹. It is shown that if $\text{φ = ¦? ¦}\text{?}$ and $\text{? = pg}$, where p is an analytic polynomial and g is a strong outer function, then S_φ is weak-¹ compact. As the consequence, if $\text{? = p}$, then S_φ is weak-¹ compact.     

A Note on pinching sphere theorem

Let M²ⁿ be a 2n-dimensional compact, simply connected Riemannian manifold without boundary and S²ⁿ be the unit sphere of 2n+1 dimension Euclidean space $\text{R}{}^{\mathrm{2n+1}}$. We prove in this note that if the sectional curvature K_M varies in (0,1] and the volume V(M) is not larger than $\text{(}\text{3}\text{2}\text{+η)V(S}{}^{\mathrm{2n}}\text{)}$ for some positive number η depending only on n, then M²ⁿ is homeomorphic to S²ⁿ. To cite this article: Y. Wen, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Higher analogues of Stickelberger's theorem

Let l be an odd prime number, F denote any totally real number field and E/F be an Abelian CM extension of F of conductor f. In this paper we prove that for every n odd and almost all prime numbers l we have where S_n(E/F,l) is the Stickelberger ideal (Ann. of Math. 135 (1992) 325–360; J. Coates, p-adic L-functions and Iwasawa's theory, in: Algebraic Number Fields by A. Fröhlich, Academic Press, London, 1977). In addition if we assume the Quillen–Lichtenbaum conjecture then To cite this article: G. Banaszak, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

On strings containing all subsets as substrings

Let S_π be the length of a shortest sequence of positive integers which contains every Y ?{1,…,n} as a subsequence of |Y| consecutive terms. We give the following asymptotic estimation: $\text{(}\text{2}\text{πn)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{2}{}^{\mathrm{n}}\text{?S}{}_{\mathrm{n}}\text{?(}\text{2}\text{π)}\text{2}{}^{\mathrm{n}}$. The upper bound is derived constructively.     

Central limit theorems for C(S)-valued random variables

Let C(S) be the space of real-valued continuous functions on a compact metric space S. Let {X_n, n ? 1} be a sequence of independent identically distributed C(S)-valued random variables with mean zero and sup_t?sE[X₁²(t)] = 1. We show that the measures induced by ($\text{X}{}_1\text{+ ··· + X}{}_{\mathrm{n}}\text{) n}{}^{\mathrm{<mtext>?</mtext><mtext>1</mtext><mtext>2</mtext>}}$ converge weakly to a Gaussian measure on C(S) under different conditions on X₁, one of which consolidates and extends results of Strassen and Dudley, Giné, and Dudley. Our method of proof is different from the methods employed by these authors.     

On the Smale theorem in weak shape theory

We modify various lemmas from Dydak's paper on the Vietoris-Smale theorem to obtain more general results. We consider closed subsets X and Y of paracompact spaces M, N respectively, and a map F:M→N such that F∥X:X→Y is closed and surjective and X=F^-1(Y) to obtain the following result.(Theorem). If $\text{F}{}^{-1}\text{(y)ϵAC}{}^{\mathrm{n}}{}_{\mathrm{M}}\text{(}\text{K}\text{)}$ for each y ϵ Y and N is LCⁿ⁺¹, then the morphism in-pro-$\text{π}{}_{\mathrm{k}}\text{[F]:π}{}_{\mathrm{k}}\text{U}{}^{\mathrm{<mtext>K</mtext>}}{}_{\mathrm{M}}\text{(X,x)→π}{}_{\mathrm{k}}\text{U}{}^{\mathrm{<mtext>K</mtext>}}{}_{\mathrm{N}}\text{(Y,y)}$ induced by the morphism $\text{[F]:U}{}^{\mathrm{<mtext>K</mtext>}}{}_{\mathrm{M}}\text{(X,x)→U}{}^{\mathrm{<mtext>K</mtext>}}{}_{\mathrm{N}}\text{(Y,y)}$ is an isomorphism of in-pro-Grp for k⩽n and an epimorphism for k=n+1.     

On the length of optimal TSP circuits in sets of bounded diameter

Let V be a set of n points in R^k. Let d(V) denote the diameter of V, and l(V) denote the length of the shortest circuit which passes through all the points of V. (Such a circuit is an “optimal TSP circuit”.) l^k(n) are the extremal values of l(V) defined by l^k(n)=max{l(V)|V∈V_n^k}, where V_n^k={V|V?R^k,|V|=n, d(V)=1}. A set V∈V_n^k is “longest” if l(V)=l^k(n). In this paper, first some geometrical properties of longest sets in R² are studied which are used to obtain l²(n) for small n′s, and then asymptotic bounds on l^k(n) are derived. Let δ(V) denote the minimal distance between a pair of points in V, and let: δ^k(n)=max{δ(V)|V∈V_n^k}. It is easily observed that $\text{δ}{}^{\mathrm{k}}\text{(n)=O(n}{}^{\mathrm{<mtext>?1</mtext><mtext>k</mtext>}}\text{)}$. Hence, $\text{c}{}_{\mathrm{k}}\text{=}\text{lim sup}{}_{\mathrm{n\to \infty }}\text{δ}{}^{\mathrm{k}}\text{(n)n}{}^{\mathrm{<mtext>1</mtext><mtext>k</mtext>}}$ exists. It is shown that for all $\text{n, c}{}_{\mathrm{k}}\text{n}{}^{\mathrm{<mtext>?1</mtext><mtext>k</mtext>}}\text{≤δ}{}^{\mathrm{k}}\text{(n)}$, and hence, for all $\text{n, l}{}^{\mathrm{k}}\text{(n)≥ c}{}_{\mathrm{k}}\text{n}{}^{\mathrm{<mtext>1?1</mtext><mtext>k</mtext>}}$. For k=2, this implies that $\text{l}{}^2\text{(n)≥(}\text{π}{}^2\text{12}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>4</mtext>}}\text{n}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}$, which generalizes an observation of Fejes-Toth that $\text{lim}{}_{\mathrm{n\to \infty }}\text{l}{}^2\text{(n)n}{}^{\mathrm{<mtext>?1</mtext><mtext>2</mtext>}}\text{≥(}\text{π}{}^2\text{12}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>4</mtext>}}$. It is also shown that $\text{l}{}^{\mathrm{k}}\text{(n) ≤ [}\text{(3?√3)k}\text{(k?1)}\text{]nδ}{}^{\mathrm{k}}\text{(n) + o(n}{}^{\mathrm{<mtext>1?</mtext><mtext>1</mtext><mtext>k</mtext>}}\text{) ≤ [}\text{(3?√3)k}\text{(k?1)}\text{]n}{}^{\mathrm{<mtext>1?</mtext><mtext>1</mtext><mtext>k</mtext>}}\text{+ o(n}{}^{\mathrm{<mtext>1?</mtext><mtext>1</mtext><mtext>k</mtext>}}\text{)}$. The above upper bound is used to improve related results on longest sets in k-dimensional unit cubes obtained by Few (Mathematika2 (1955), 141–144) for almost all k′s. For k=2, Few's technique is used to show that $\text{l}{}^2\text{(n)≤(}\text{πn}\text{2}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{+ O(1)}$.     

Sharp Sobolev type inequalities for higher fractional derivativesInégalités optimales de type Sobolev pour les dérivées fractionelles d'ordre supérieur

On $\text{R}{}^{\mathrm{n}}$, n?1 and n≠2, we prove the existence of a sharp constant for Sobolev inequalities with higher fractional derivatives. Let s be a positive real number. For n>2s and $\text{q=}\text{2n}\text{n?2s}$ any function $\text{f∈}\text{H}{}^{\mathrm{s}}\text{(}\text{R}{}^{\mathrm{n}}\text{)}$ satisfies

$\text{6f6}{}^2{}_{\mathrm{q}}\text{?S}{}_{\mathrm{n,s}}\text{(?Δ)}{}^{\mathrm{s/2}}\text{f}{}^2{}_2\text{,}$

where the operator (?Δ)^s in Fourier spaces is defined by $\text{(?Δ)}{}^{\mathrm{s}}\text{f}\text{(k):=(2π|k|)}{}^{\mathrm{2s}}\text{f}\text{(k)}$. To cite this article: A. Cotsiolis, N.C. Tavoularis, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 801–804.     

On the spectral synthesis problem for hypersurfaces of RN

Let F¹(Rⁿ) denote the Fourier algebra on $\text{R}$ⁿ, and $\text{D}$($\text{R}$ⁿ) the space of test functions on $\text{R}$ⁿ. A closed subset E of $\text{R}$ⁿ is said to be of spectral synthesis if the only closed ideal J in F¹(Rⁿ) which has E as its hull

$\text{h(J)={x ? R}{}^{\mathrm{n}}\text{:f(x)=0}\text{for all}\text{f ? J}}$

is the ideal

$\text{k(E)={f?F}{}^1\text{(R}{}^{\mathrm{n}}\text{):f(E)=0}}$

. We consider sufficiently regular compact subsets of smooth submanifolds of $\text{R}$ⁿ with constant relative nullity. For such sets E we give an estimate of the degree of nilpotency of the algebra $\text{(k(E)∩D(R}{}^{\mathrm{n}}\text{))}{}^{\mathrm{?}}\text{j(E)}$, where j(E) denotes the smallest closed ideal in F¹(Rⁿ) with hull E. Especially in the case of hypersurfaces this estimate turns out to be exact. Moreover for this case we prove that k(E)∩D(Rⁿ) is dense in k(E). Together this solves the synthesis problem for such sets.     

Approximation diophantienne sur les courbes elliptiques à multiplication complexe

Let $\text{E}$ be an elliptic curve with complex multiplication, defined over $\text{Q}$. We consider linear forms on $\text{Lie}\text{(}\text{E}{}^{\mathrm{n}}\text{)}$ with coefficients in the CM field of $\text{E}$. Within this framework, we present a new measure of linear independence for elliptic logarithms in (logb)(loga)ⁿ. Like recent advances in this domain (works by Ably, David, Hirata-Kohno), our result is best possible in terms of the height of the linear forms (logb) while providing a better estimate in the height of algebraic points considered (loga), removing a term in logloga. To cite this article: M. Ably, É. Gaudron, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Arnold's canonical matrices and the asymptotic simplification of ordinary differential equations

Let A(x,ε) be an n×n matrix function holomorphic for |x|?x₀, 0<ε?ε₀, and possessing, uniformly in x, an asymptotic expansion $\text{A(x,ε)?Σ}{}^{\mathrm{\infty }}{}_{\mathrm{r=0}}\text{A}{}_{\mathrm{r}}\text{(x) ε}{}^{\mathrm{r}}$, as ε→0⁺. An invertible, holomorphic matrix function P(x,ε) with an asymptotic expansion $\text{P(x,ε)?Σ}{}^{\mathrm{\infty }}{}_{\mathrm{r=0}}\text{P}{}_{\mathrm{r}}\text{(x)ε}{}^{\mathrm{r}}$, as ε→0⁺, is constructed, such that the transformation y = P(x,ε)z takes the differential equation $\text{ε}{}^{\mathrm{h}}\text{dy}\text{dx}\text{= A(x,ε)y,h}$ a positive integer, into $\text{ε}{}^{\mathrm{h}}\text{dz}\text{dx}\text{= B(x,ε)z}$, where B(x,ε) is asymptotically equal, to all orders, to a matrix in a canonical form for holomorphic matrices due to V.I. Arnold.     

On the rate for uniform strong consistency of empirical distributions of independent nonidentically distributed multivariate random variables

Let X_j = (X_1j ,…, X_pj), j = 1,…, n be n independent random vectors. For x = (x₁ ,…, x_p) in R^p and for α in [0, 1], let F_j${}^1$(x) = αI(X_1j < x₁ ,…, X_pj < x_p) + (1 ? α) I(X_1j ≤ x₁ ,…, X_pj ≤ x_p), where I(A) is the indicator random variable of the event A. Let F_j(x) = E(F_j${}^1$(x)) and D_n = sup_{x, α} max_{1 ≤ N ≤ n} |Σ₀ⁿ(F_j${}^1$(x) ? F_j(x))|. It is shown that P[D_n ≥ L] < 4pL exp{?2(L²n^?1 ? 1)} for each positive integer n and for all L² ≥ n; and, as n → ∞, $\text{D}{}_{\mathrm{n}}\text{= 0((n}\text{log}\text{n)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}$ with probability one.     

Strong law for the bootstrap

Let X₁, X₂, X₃, … be i.i.d. r.v. with E|X₁| < ∞, E X₁ = μ. Given a realization X = (X₁,X₂,…) and integers n and m, construct Y_n,i, i = 1, 2, …, m as i.i.d. r.v. with conditional distribution $\text{P}{}^1\text{(Y}{}_{\mathrm{n,i}}\text{= X}{}_{\mathrm{j}}\text{) =}\text{1}\text{n}$ for 1 ? j ? n. ($\text{P}{}^1$ denotes conditional distribution given X). Conditions relating the growth rate of m with n and the moments of X₁ are given to ensure the almost sure convergence of $\text{(}\text{1}\text{m}\text{)Σ}{}^{\mathrm{m}}{}_{\mathrm{i=1}}\text{Y}{}_{\mathrm{n,i}}$ toμ. This equation is of some relevance in the theory of Bootstrap as developed by Efron (1979) and Bickel and Freedman (1981).     

Permutations and successions

Let π = (π(1), π(2),…, π(n)) be a permutation on {1, 2, …, n}. A succession (respectively, ¹-succession) in π is any pair π(i), π(i + 1), where π(i + 1) = π(i) + 1 (respectively, π(i + 1) ≡ π(i) + 1 (mod n)), i = 1, 2, …, n ? 1. Let R(n, k) (respectively, $\text{R}{}^1\text{(n, k)}$) be the number of permutations with k successions (respectively, ¹-successions). In this note we determine R(n, k) and $\text{R}{}^1\text{(n, k)}$. In addition, these notions are generalized to the case of circular permutations, where analogous results are developed.     

Equivariant embeddings of principal Z-bundles into complex vector bundles

Let π: E→X be a principal $\text{Z}$_n-bundle and p:V→X an m-dimensional complex vector bundle over, say, a connected CW-complex X. An equivariant embedding of π into p is an embedding h:E → V commuting with projections such that h(e · z)=zh(e) for all eεE and $\text{zε}\text{Z}{}_{\mathrm{n}}\text{?S}{}^1\text{?}\text{Z}$. We compute the primary obstruction $\text{cεH}{}^{\mathrm{2m}}\text{(X;}\text{Z}\text{)}$ to embedding π equivariantly into p. If dim X?2m, then c=0 if and only if π admits an equivariant embedding into p. If dim X>2m and π embeds equivariantly into p, then c=0. Other embedding criteria exist in case p is the trivial m-plane bundle ε^m. We use these criteria for a discussion of the classification of the equivalence classes of principal $\text{Z}$-bundles that admit equivariant embeddings into ε^m. Finally, we offer an example of a principal $\text{Z}$-bundle that admit an ordinary but not an equivariant embedding into ε¹.     

Inequalities concerning numbers of subsets of a finite set

Let S(n) denote the set of subsets of an n-element set. For an element x of S(n), let Γx and Px denote, respectively, all (|x| ?1)-element subsets of x and all (|x| + 1)-element supersets of x in S(n). Several inequalities involving Γ and P are given. As an application, an algorithm for finding an x-element antichain $\text{X}{}^1$ in S(n) satisfying $\text{| YX}{}^1\text{| ? | YX |}$ for all x-element antichains X in S(n) is developed, where YX is the set of all elements of S(n) contained in an element of X. This extends a result of Kleitman [9] who solved the problem in case x is a binomial coefficient.     

Extensions of factorial states of C1-algebras

Let A be a $\text{C}{}^1$-algebra, B be a $\text{C}{}^1$-subalgebra of A, and φ be a factorial state of B. Sometimes, φ may be extended to a factorial state of A by a tensor product method of Sakai (“$\text{C}{}^1$-algebras and $\text{W}{}^1$-algebras, Springer-Verlag, Berlin/Heidelberg/ New York 1971”). Sometimes, there is a weak expectation of A into $\text{π}{}_{\mathrm{\phi }}\text{(B)}$, and then factorial extensions may be found by a method of Sakai and Tsui (Yokohama Math. J.29 (1981), 157–160). These two methods are shown to have the same effect, and the factorial extensions produced by them are analysed.     

On Guerra's broken replica-symmetry bound

Consider a random Hamiltonian $\text{H}{}_{\mathrm{N}}\text{(}\text{σ}\text{→}\text{)}$ for $\text{σ}\text{→}\text{∈Σ}{}_{\mathrm{N}}\text{={0,1}}{}^{\mathrm{<mtext>N</mtext>}}\text{.}$ We assume that the family $\text{(H}{}_{\mathrm{N}}\text{(}\text{σ}\text{→}\text{))}$ is jointly Gaussian centered and that for $\text{σ}\text{→}{}^1\text{,}\text{σ}\text{→}{}^2\text{∈Σ}{}_{\mathrm{N}}\text{,}$$\text{N}{}^{\mathrm{?1}}\text{EH}{}_{\mathrm{N}}\text{(}\text{σ}\text{→}{}^1\text{)H}{}_{\mathrm{N}}\text{(}\text{σ}\text{→}{}^2\text{)}$ =ξ(N^?1∑_i?Nσ¹_iσ²_i) for a certain function ξ on $\text{R}$. F. Guerra proved the remarkable fact that the free energy of the system with Hamiltonian $\text{H}{}_{\mathrm{N}}\text{(}\text{σ}\text{→}\text{)+h∑}{}_{\mathrm{i?N}}\text{σ}{}_{\mathrm{i}}$ is bounded below by the free energy of the Parisi solution provided that ξ is convex on $\text{R}$. We prove that this fact remains (asymptotically) true when the function ξ is only assumed to be convex on $\text{R}{}^{\mathrm{+}}$. This covers in particular the case of the p-spin interaction model for any p. To cite this article: M. Talagrand, C. R. Acad. Sci. Paris, Ser. I 337 (2003).