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$.     

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).     

Estimation d'une rupture en dépendance faibleChange point estimation for a weakly dependent sequence

Let $\text{(X}{}_{\mathrm{n}}\text{,Y}{}_{\mathrm{n}}\text{)}{}_{\mathrm{<mtext>n\in </mtext><mtext>N</mtext>}}$ be a stationary sequence governed by the model Y_n=m(X_n)+σ(X_n)ε_n where $\text{(ε}{}_{\mathrm{n}}\text{)}{}_{\mathrm{<mtext>n\in </mtext><mtext>N</mtext>}}$ is i.i.d. and independent from $\text{(X}{}_{\mathrm{n}}\text{)}{}_{\mathrm{<mtext>n\in </mtext><mtext>N</mtext>}}\text{.}$ The latter sequence satisfy a weak dependence condition proposed by Doukhan and Louhichi in [2]. We provide a Central Limit Theorem for jumps in the regression function. Our method deals with linear local regression described in [4]. We use a variation on Lindeberg–Rio method as in [5]. To cite this article: P. Ango Nze, C. Prieur, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 267–270.     

On the completely positive and positive-semidefinite-preserving cones

The cone CP_n,q of completely positive linear transformations from $\text{M}{}_{\mathrm{n}}\text{(}\text{C}\text{)=}\text{M}{}_{\mathrm{n}}$ to $\text{M}$_q is shown to be isometrically isomorphic to $\text{P}$_nq, the cone of nq by nq positive semidefinite matrices. Generalizations of scalar and matrix results to $\text{CP}{}_{\mathrm{n,\; q}}\text{?}\text{HP}{}_{\mathrm{n,\; q}}\text{?}\text{L}\text{(}\text{M}{}_{\mathrm{n}}\text{,}\text{M}{}_{\mathrm{q}}\text{)}$ (where HP_n,q represents the hermitian-preserving linear transformations) are discussed. Relationships among the completely positives, the set of positive semidefinite preservers $\text{π(}\text{P}{}_{\mathrm{n}}\text{)}$, and its dual $\text{π(}\text{M}{}_{\mathrm{n}}\text{)}{}^1$ are given. Left and right facial ideals of CP are characterized. Properties of the joint angular field of values of a finite sequence of hermitian matrices H₁,…, H_m are studied, leading to a characterization of $\text{π(}\text{P}{}_{\mathrm{q}}\text{,}\text{P}{}_{\mathrm{n}}\text{)}$.     

Elementary proof of the transformation formula for Lambert series involving generalized Dedekind sums

An elementary proof is given of the author's transformation formula for the Lambert series $\text{G}{}_{\mathrm{p}}\text{(x) =}\text{Σ}{}_{\mathrm{n?1}}{}^{\mathrm{<mtext>\infty </mtext>}}\text{n}{}^{\mathrm{?p}}\text{x}{}^{\mathrm{n}}\text{(1?x}{}^{\mathrm{n}}\text{)}$ relating G_p(e^2πiτ) to G_p(e^2πiAτ), where p > 1 is an odd integer and $\text{Aτ =}\text{(aτ + b)}\text{(cτ + d)}$ is a general modular substitution. The method extends Sczech's argument for treating Dedekind's function $\text{log}\text{η(τ) =}\text{πiτ}\text{12}\text{? G}{}_1\text{(e}{}^{\mathrm{2\pi i\tau }}\text{)}$, and uses Carlitz's formula expressing generalized Dedekind sums in terms of Eulerian functions.     

On the maximum cardinality of a consistent set of arcs in a random tournament

For any tournament T on n vertices, let h(T) denote the maximum number of edges in the intersection of T with a transitive tournament on the same vertex set. Sharpening a previous result of Spencer, it is proved that, if T_n denotes the random tournament on n vertices, then, $\text{P}$$\text{(h(T}{}_{\mathrm{n}}\text{) ≤}\text{1}\text{2}\text{(}{}_2{}^{\mathrm{n}}\text{) + 1.73n}{}^{\mathrm{<mtext>3</mtext><mtext>2</mtext>}}\text{) → 1}$ as n → ∞.     

A central limit theorem for the sojourn times of strongly ergodic Markov chains

Let X_n be an irreducible aperiodic recurrent Markov chain with countable state space I and with the mean recurrence times having second moments. There is proved a global central limit theorem for the properly normalized sojourn times. More precisely, if $\text{t}{}^{\mathrm{(n}}\text{)}{}_{\mathrm{i}}\text{=Σ}{}^{\mathrm{n}}{}_{\mathrm{k=1}}\text{i}\text{?}{}_{\mathrm{i}}\text{(X}{}_{\mathrm{k}}\text{)}$, then the probability measures induced by {t⁽ⁿ⁾_i/√n?√nπ_i}_i?I(π_i being the ergotic distribution) on the Hilbert-space of square summable I-sequences converge weakly in this space to a Gaussian measure determined by a certain weak potential operator.     

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.     

Periodic-type functionals and their extensions

Let Ω denote a simply connected domain in the complex plane and let $\text{K[Ω]}$ be the collection of all entire functions of exponential type whose Laplace transforms are analytic on Ω′, the complement of Ω with respect to the sphere. Define a sequence of functionals $\text{{L}{}_{\mathrm{n}}\text{}}\text{on}\text{K[Ω]}$ by $\text{L}{}_{\mathrm{n}}\text{(f) =}\text{1}\text{2πi}\text{∝}{}_{\mathrm{\Gamma }}\text{g}{}_{\mathrm{n}}\text{(ζ) F(ζ) dζ}$, where F denotes the Laplace transform of f, Γ ? Ω is a simple closed contour chosen so that F is analytic outside and on Ω, and g_n is analytic on Ω. The specific functionals considered by this paper are patterned after the Lidstone functions, L_2n(f) = f⁽²ⁿ⁾(0) and L_{2n + 1}(f) = f⁽²ⁿ⁾(1), in that their sequence of generating functions {g_n} are “periodic.” Set g_{pn + k}(ζ) = h_k(ζ) ζ^pn, where p is a positive integer and each h_k (k = 0, 1,…, p ? 1) is analytic on Ω. We find necessary and sufficient conditions for $\text{f ∈ k[Ω]}\text{with}\text{L}{}_{\mathrm{n}}\text{(f) = 0 (n = 0, 1,…)}$. DeMar previously was able to find necessary conditions [7]. Next, we generalize {L_n} in several ways and find corresponding necessary and sufficient conditions.     

A combinatorial interpretation for two transformations of series that commute with compositional inversion

For a formal power series $\text{g(t) =}\text{1}\text{[1 + ∑}{}_{\mathrm{n=1}}{}^{\mathrm{\infty }}\text{h}{}_{\mathrm{n}}\text{t}{}^{\mathrm{n}}\text{]}$ with nonnegative integer coefficients, the compositional inverse $\text{f}\text{(t) = t · f(t)}$ of $\text{g}\text{(t) = t · g(t)}$ is shown to be the generating function for the colored planted plane trees in which each vertex of degree i + 1 is colored one of h_i colors. Since the compositional inverse of the Euler transformation of f(t) is the star transformation [[g(t)]^?1 ? 1]^?1 of g(t), [2], it follows that the Euler transformation of f(t) is the generating function for the colored planted plane trees in which each internal vertex of degree i + 1 is colored one of h_i colors for i > 1, and h₁ ? 1 colors for i = 1.     

A note on polynomial matrix functions over a finite field

Let F_n denote the ring of n×n matrices over the finite field F=GF(q) and let A(x)=A_Nx^N+ ?+ A₁x+A₀?F_n[x]. A function $\text{?:F}{}_{\mathrm{n}}\text{→F}{}_{\mathrm{n}}$ is called a right polynomial function iff there exists an A(x)?F_n[x] such that $\text{?(B)=A}{}_{\mathrm{N}}\text{B}{}^{\mathrm{N}}\text{+?+A}{}_1\text{B+ A}{}_0$ for every B?F_n. This paper obtains unique representations for and determines the number of right polynomial functions.     

On the difference between consecutive zeros of the Riemann zeta function

Let 0 < γ₁ ≤ γ₂ ≤ … be the imaginary part of the zeros, $\text{λ =}\text{lim}{}_{\mathrm{n}}\text{(γ}{}_{\mathrm{n}}\text{? γ}{}_{\mathrm{n\; ?\; 1}}\text{)(}\text{log}\text{γ}{}_{\mathrm{n}}\text{2π}\text{)}$ and $\text{μ =}\text{lim}{}_{\mathrm{n}}\text{(γ}{}_{\mathrm{n}}\text{? γ}{}_{\mathrm{n\; ?\; 1}}\text{)(}\text{log}\text{γ}{}_{\mathrm{n}}\text{2π}\text{)}$. Assuming the Riemann hypothesis, it is known that μ ≤ 0.68 and λ > 1. One suspects that μ = 0 and λ = +∞. The object of this note is to show that λ ≥ 1.9.     

Semiclassical analysis of low lying eigenvalues. IV. The flea on the elephant

The two lowest eigenvalues E₀(λ), E₁(λ) of a symmetric double well tunnelling problem ?Δ + λ²V as λ → ∞ are considered and they are compared to the two lowest eigenvalues $\text{E}\text{?}{}_0\text{(λ),}\text{E}\text{?}{}_1\text{(λ)}\text{of}\text{?Δ + λ}{}^2\text{(V + W),}\text{where}\text{W}$ is supported away from the well-bottoms of V. We determine the leading exponential splitting of various differences of the four numbers $\text{E}{}_0\text{, E}{}_1\text{,}\text{E}\text{?}{}_0\text{,}\text{E}\text{?}{}_1$. Related problems are discussed.     

A new property of reproducing kernels for classical orthogonal polynomials

We exhibit a second-order differential operator commuting with the reproducing kernel $\text{∑}{}_{\mathrm{n\; ?\; 0}}{}^{\mathrm{T}}\text{φ}{}_{\mathrm{n}}\text{(λ)}\text{φ}{}_{\mathrm{n}}\text{(μ)}\text{h}{}_{\mathrm{n}}$ each time that {φ_n(λ)} is one of the classical orthogonal polynomials: Jacobi, Laguerre, Hermite and Bessel. This is the analog of a known property in the study of time and band-limited signals.     

A short elementary proof of Grothendieck's theorem on algebraic vectorbundles over the projective line

Let E be an algebraic (or holomorphic) vectorbundle over the Riemann sphere $\text{P}$¹($\text{C}$). Then Grothendieck proved that E splits into a sum of line bundles E = ⊕L_i and the isomorphism classes of the L_i are (up to order) uniquely determined by E. The L_i in turn are classified by an integer (their Chern numbers) so that m-dimensional vectorbundles over $\text{P}$¹$\text{C}$ are classified by an m-tuple of integers

$\text{κ(E) = (κ}{}_1\text{(E),…,κ}{}_{\mathrm{m}}\text{(E)), κ}{}_1\text{(E)≥?≥κ}{}_{\mathrm{m}}\text{(E), κ}{}_{\mathrm{i}}\text{(E)∈}\text{Z}$

.In this short note we present a completely elementary proof of these facts which, as it turns out, works over any field k.     

Hermite series estimates of a probability density and its derivatives

The following estimate of the pth derivative of a probability density function is examined: $\text{Σ}{}_{\mathrm{k\; =\; 0}}{}^{\mathrm{N}}\text{a}\text{?}{}_{\mathrm{k}}\text{h}{}_{\mathrm{k}}\text{(x)}$, where h_k is the kth Hermite function and $\text{a}\text{?}{}_{\mathrm{k}}\text{= (}\text{(?1)}{}^{\mathrm{p}}\text{n}\text{)}$Σ_{i = 1}ⁿh_k^(p)(X_i) is calculated from a sequence X₁,…, X_n of independent random variables having the common unknown density. If the density has r derivatives the integrated square error converges to zero in the mean and almost completely as rapidly as O(n^?α) and O(n^?α log n), respectively, where $\text{α =}\text{2(r ? p)}\text{(2r + 1)}$. Rates for the uniform convergence both in the mean square and almost complete are also given. For any finite interval they are O(n^?β) and $\text{O(n}{}^{\mathrm{<mtext>?\beta </mtext><mtext>2</mtext>}}\text{log}\text{n)}$, respectively, where $\text{β =}\text{(2(r ? p) ? 1)}\text{(2r + 1)}$.     

Abelian fibrations on S[n]

Let $\text{S}\text{→}\text{φ}\text{P}{}^1$ be an elliptic fibration on a K3 surface S. Then the composition $\text{S}{}^{\mathrm{[n]}}\text{→}\text{π}\text{S}{}^{\mathrm{(n)}}\text{→}\text{sym}{}^{\mathrm{n}}\text{φ}\text{P}{}^{\mathrm{n}}$ gives an Abelian fibration on S^[n]. Let E be the exceptional divisor of π, then symⁿφ°π(E) is of dimension n?1. We prove the inverse in this Note. To cite this article: B. Fu, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

On the closability of some positive definite symmetric differential forms on c0∞(ω)

Let $\text{S}$ be a Dirichlet form in $\text{L}{}^2\text{(Ω; m)}$, where Ω is an open subset of $\text{R}$ⁿ, n ? 2, and m a Radon measure on Ω; for each integer k with 1 ? k < n, let $\text{S}$_k be a Dirichlet form on some k-dimensional submanifold $\text{Ω}{}_{\mathrm{k}}$ of Ω. The paper is devoted to the study of the closability of the forms E with domain $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ and defined by: $\text{(?,g)=}$$\text{E}$$\text{(?, g)+}\text{∑}\text{i}\text{p}\text{=1}$$\text{E}$k_i where 1 ? k_p < ? < n, and where , g^k_i denote restrictions of ?, g in $\text{C}{}_0{}^{\mathrm{\infty }}\text{(Ω)}$ to . Conditions are given for E to be closable if, for each i = 1,…, p, one has k_i = n ? i. Other conditions are given for E to be nonclosable if, for some i, k_i < n ? i.     

A divided difference inequality for n-convex functions

For a₍₁₎ ? a₍₂₎ ? ··· ? a_(n) ? 0, b₍₁₎ ? b₍₂₎ ? ··· ? b_(n) ? 0, the ordered values of a_i, b_i, i = 1, 2,…, n, m fixed, m ? n, and p ? 1 it is shown that

$\text{∑}\text{1}\text{n}\text{a}{}_{\mathrm{i}}\text{b}{}_{\mathrm{i}}\text{?}\text{∑}\text{1}\text{m}\text{a}{}^{\mathrm{p}}{}_{\mathrm{(i)}}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext>}}\text{∑}\text{1}\text{m?k?1}\text{b}{}^{\mathrm{q}}{}_{\mathrm{(i)}}\text{+}\text{b}{}^{\mathrm{q}}{}_{\mathrm{[m?k]}}\text{(k+1)}{}^{\mathrm{<mtext>q</mtext><mtext>p</mtext>}}{}^{\mathrm{<mtext>1</mtext><mtext>q</mtext>}}$

where $\text{1}\text{p}\text{+}\text{1}\text{q}\text{= 1, b}{}_{\mathrm{[j]}}\text{= b}{}_{\mathrm{(j)}}\text{+ b}{}_{\mathrm{(j\; +\; 1)}}\text{+ ··· + b}{}_{\mathrm{(n)}}\text{,}\text{and}\text{k}$ is the integer such that $\text{b}{}_{\mathrm{(m\; ?\; k\; ?\; 1)}}\text{?}\text{b[m ? k]}\text{(k + 1)}$ and $\text{b}{}_{\mathrm{(m\; ?\; k)}}\text{<}\text{b}{}_{\mathrm{[m\; ?\; k\; +\; 1]}}\text{k}$. The inequality is shown to be sharp. When p < 1 and a_(i)'s are in increasing order then the inequality is reversed.