The minimal generating space of a polynomial

Given a polynomial $\text{P(X}{}_1\text{,…,X}{}_{\mathrm{N}}\text{)∈}\text{R}\text{[}\text{X}\text{]}$, we calculate a subspace G_p of the linear space 〈X〉 generated by the indeterminates which is minimal with respect to the property $\text{P∈}\text{R}\text{[}\text{G}{}_{\mathrm{p}}\text{]}$ (the algebra generated by G_p, and prove its uniqueness. Furthermore, we use this result to characterize the pairs (P,Q) of polynomials P(X₁,…,X_n) and Q(X₁,…,X_n) for which there exists an isomorphism T:〈X〉 →〈X〉 that “separates P from Q,” i.e., such that for some k(1<k<n) we can write P and Q as $\text{P}{}^1\text{(Y}{}_1\text{,…,Y}{}_{\mathrm{k}}\text{)}$ and $\text{Q}{}^1\text{(Y}{}_{\mathrm{<mtext>k+</mtext><mtext>1</mtext>}}\text{,…,Y}{}_{\mathrm{n}}\text{)}$ respectively, where $\text{Y}\text{=T}\text{X}$.     

Zeta matrices of elliptic curves

Let $\text{O =}\text{lim}{}_{\mathrm{n}}\text{Z/p}{}^{\mathrm{n}}\text{Z}$, let $\text{A}\text{= O[g}{}_2\text{, g}{}_3\text{]}{}_{\mathrm{\Delta }}$, where g₂ and g₃ are coefficients of the elliptic curve: Y² = 4X³ ? g₂X ? g₃ over a finite field and Δ = g₂³ ? 27g₃² and let $\text{B}\text{=}\text{A}\text{[X, Y]}\text{(Y}{}^2\text{? 4X}{}^3\text{+ g}{}_2\text{X + g}{}_3\text{)}$. Then the p-adic cohomology theory will be applied to compute explicitly the zeta matrices of the elliptic curves, induced by the pth power map on the free $\text{A}{}^2\text{?}{}_{\mathrm{Z}}\text{Q}$-module $\text{H}{}^1\text{(X,}\text{A}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$. Main results are; Theorem 1.1: X²dY and YdX are basis elements for $\text{H}{}^1\text{(}\text{X}\text{, Γ}{}_{\mathrm{<mtext>A</mtext>}}{}^1\text{(}\text{X}\text{)}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$; Theorem 1.2: YdX, X²dY, Y^?1dX, Y^?2dX and XY^?2dX are basis elements for $\text{H}{}^1\text{(}\text{X}\text{? (Y = 0), Γ}{}_{\mathrm{<mtext>A</mtext>}}{}^1\text{(}\text{X}\text{)}{}^2\text{?}{}_{\mathrm{Z}}\text{Q)}$, where $\text{X}$ is a lifting of X, and all the necessary recursive formulas for this explicit computation are given.     

Limit laws for record values

{X_n,n?1} are i.i.d. random variables with continuous d.f. F(x). X_j is a record value of this sequence if X_j>max{X₁,…,X_j?1}. Consider the sequence of such record values {X_Ln,n?1}. Set R(x)=-log(1?F(x)). There exist B_n > 0 such that . in probability (i.p.) iff i.p. iff $\text{{R(kx)?R(x)}}\text{R}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{(kx)}$ → ∞ as x→∞ for all k>1. Similar criteria hold for the existence of constants A_n such that X_Ln?A_n → 0 i.p. Limiting record value distributions are of the form N(-log(-logG(x))) where G(·) is an extreme value distribution and N(·) is the standard normal distribution. Domain of attraction criteria for each of the three types of limit laws can be derived by appealing to a duality theorem relating the limiting record value distributions to the extreme value distributions. Repeated use is made of the following lemma: If $\text{P}\text{{X}{}_{\mathrm{n}}\text{?x}=1?e}{}^{\mathrm{-x}}\text{,x?0}$, then X_Ln=Y₀+…+Y_n where the Y_j's are i.i.d. and $\text{P}\text{{Y}{}_{\mathrm{j}}\text{?x}=1?e}{}^{\mathrm{-x}}$.     

On nearly pseudocompact spaces

A completely regular space X is called nearly pseudocompact if υX?X is dense in βX?X, where βX is the Stone-?ech compactification of X and υX is its Hewitt realcompactification. After characterizing nearly pseudocompact spaces in a variety of ways, we show that X is nearly pseudocompact if it has a dense locally compact pseudocompact subspace, or if no point of X has a closed realcompact neighborhood. Moreover, every nearly pseudocompact space X is the union of two regular closed subsets X₁, X₂ such that Int X₁ is locally compact, no points of X₂ has a closed realcompact neighborhood, and $\text{Int(X}{}_1\text{?X}{}_2\text{)=?}$. It follows that a product of two nearly pseudocompact spaces, one of which is locally compact, is also nearly pseudocompact.     

Some optimization problems with applications to canonical correlations and sphericity tests

Optimization problems are connected with maximization of three functions, namely, geometric mean, arithmetic mean and harmonic mean of the eigenvalues of (X′ΣX)^?1ΣY(Y′ΣY)^?1Y′ΣX, where Σ is positive definite, X and Y are p × r and p × s matrices of ranks r and s (≥r), respectively, and X′Y = 0. Some interpretations of these functions are given. It is shown that the maximum values of these functions are obtained at the same point given by X = (h₁ + ?₁h_p, …, h_r + ?_rh_p?r+1) and $\text{Y = (h}{}_1\text{? ?}{}_1\text{h}{}_{\mathrm{p}}\text{, …, h}{}_{\mathrm{r}}\text{? ?}{}_{\mathrm{r}}\text{h}{}_{\mathrm{p?r+1}}\text{,}\text{Y}{}_{\mathrm{r+1}}\text{, …,}\text{Y}{}_{\mathrm{s}}\text{)}$, where h₁, …, h_p are the eigenvectors of Σ corresponding to the eigenvalues λ₁ ≥ λ₂ ≥ … ≥ λ_p > 0, ?_j = +1 or ?1 for j = 1,2,…, r and $\text{Y}{}_{\mathrm{r+1}}\text{, …,}\text{Y}{}_{\mathrm{s}}$, are linear functions of h_r+1,…, h_p?r. These results are extended to intermediate stationary values. They are utilized in obtaining the inequalities for canonical correlations θ₁,…,θ_r and they are given by expressions (3.8)–(3.10). Further, some new union-intersection test procedures for testing the sphericity hypothesis are given through test statistics (3.11)–(3.13).     

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

The category of Urysohn spaces is not cowellpowered

It is shown that the category of Urysohn spaces and continuous maps is not cowellpowered. To this end we will construct for each ordinal number β a Urysohn space Y_β with card $\text{(Y}{}_{\mathrm{\beta }}\text{= ?}{}_0\text{?}\text{card}\text{(β)}$ and a continuous map $\text{e}{}_{\mathrm{\beta }}\text{:}\text{Q}\text{→ Y}{}_{\mathrm{\beta }}$ from the rationals into Y_β. It turns out that $\text{e}{}_{\mathrm{\beta }}$ is an external monomorphism in the category of Hausdorff spaces and an epimorphism in the category of Urysohn spaces.     

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.     

Compactness in translation invariant Banach spaces of distributions and compact multipliers

It is shown that for a comprehensive family of translation invariant Banach spaces (B, ∥ ∥_B) of (classes of) measurable functions or distributions on a locally compact group (including most of the spaces of interest in harmonic analysis) the following compactness criterion generalizing the well-known results due to Kolmogorov-Riesz-Weil concerning compact sets in L^p(G), 1 ? p < ∞, holds true: A closed subset M ? B is compact in B if and only if it satisfies the following conditions: (a) sup_{? ? M} ∥?∥_B < ∞; (b) $\text{? ? > 0 ?k ∈ K(G):∥k1???∥}{}_{\mathrm{B}}\text{? ?}$ for all $\text{?∈M}$; (c) $\text{?? > 0 ?h∈K(G):∥h???∥}{}_{\mathrm{B}}\text{? ?}$ for all $\text{?∈M}$. Among various applications a characterization of the space of all compact multipliers between suitable pairs of such spaces can be derived.     

On some results of Strichartz and of Rallis and Schiffman

Let (i, H, E) and (j, K, F) be abstract Wiener spaces and let α be a reasonable norm on E ? F. We are interested in the following problem: is ($\text{i ? j, H}\text{}\text{?}\text{bo}{}_2\text{K, E}\text{}\text{?}\text{bo}{}_{\mathrm{\alpha F}}$) an abstract Wiener space ? The first thing we do is to prove that the setting of the problem is meaningfull: namely, i ? j is always a continuous one to one map from $\text{H}\text{}\text{?}\text{bo}{}_2\text{K}$ into $\text{E}\text{}\text{?}\text{bo}{}_{\mathrm{\alpha }}\text{F}$. Then we exhibit an example which shows that the answer cannot be positive in full generality. Finally we prove that if F=L^p(X,$\text{X}$,λ) for some σ-finite measure λ ? 0 then $\text{(i?j, H}\text{?}{}_2\text{K,L}{}^{\mathrm{p}}$(X,$\text{X}$,λ) is an abstract Wiener space. By-products are some new results on γ-radonifying operators, and new examples of Banach spaces and cross norms for which the answer is affirmative (in particular α = π the projective norm, and F=L¹(X,$\text{X}$,λ)).     

The Dirichlet problem for the Kohn Laplacian on the Heisenberg group,I

For (x,y,t)∈$\text{R}$ⁿ × $\text{R}$ⁿ × $\text{R}$, denote $\text{X}{}_{\mathrm{j}}\text{=}\text{?}\text{?x}{}_{\mathrm{j}}\text{+ 2y}{}_{\mathrm{j}}\text{?}\text{?t}\text{, y}{}_{\mathrm{j}}\text{=}\text{?}\text{?y}{}_{\mathrm{j}}\text{? 2x}{}_{\mathrm{j}}\text{?}\text{?t}$ and $\text{L}{}_{\mathrm{\alpha }}\text{=?}\text{1}\text{4}\text{∑}\text{j=1}\text{n}\text{X}{}_{\mathrm{j}}{}^2\text{+ Y}{}_{\mathrm{j}}{}^2\text{+}\text{?}\text{?t}$. When α = n ? 2q, $\text{L}$_a represents the action of the Kohn Laplacian □_b on q-forms on the Heisenberg group. For ?n < α < n, we construct a parametrix for the Dirichlet problem in smooth domains D near non-characteristic points of ?D. A point w of ?D is non-characteristic if one of X₁,…, X_n, Y₁,…, Y_n is transverse to ?D at w. This yields sharp local estimates in the Dirichlet problem in the appropriate non-isotropic Lipschitz classes. The main new tool is a “convolution calculus” of pseudo-differential operators that can be applied to the relevant layer potentials, for which the usual asymptotic composition formula is false. Characteristic points are treated in Part II.     

The Fréchet distance between multivariate normal distributions

The Fréchet distance between two multivariate normal distributions having means μ_X, μ_Y and covariance matrices Σ_X, Σ_Y is shown to be given by $\text{d}{}^2\text{= |μ}{}_{\mathrm{X}}\text{? μ}{}_{\mathrm{Y}}\text{|}{}^2\text{+}\text{tr}\text{(Σ}{}_{\mathrm{X}}\text{+ Σ}{}_{\mathrm{Y}}\text{? 2(Σ}{}_{\mathrm{X}}\text{Σ}{}_{\mathrm{Y}}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}$. The quantity d₀ given by $\text{d}{}_0{}^2\text{=}\text{tr}\text{(Σ}{}_{\mathrm{X}}\text{+ Σ}{}_{\mathrm{Y}}\text{? 2(Σ}{}_{\mathrm{X}}\text{Σ}{}_{\mathrm{Y}}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>2</mtext>}}\text{)}$ is a natural metric on the space of real covariance matrices of given order.     

A multivariate correlation ratio

A multivariate correlation ratio of a random vector $\text{Y}$ upon a random vector $\text{X}$ is defined by

$\text{η}{}_{\mathrm{\delta }}\text{(Y;X)={}\text{tr}\text{(δ}{}^{\mathrm{<mtext>?1\; </mtext><mtext>Cov</mtext><mtext>E(Y|X))\}</mtext>}}\text{1}\text{2}\text{{}\text{tr}\text{(δ}{}^{\mathrm{?1}}\text{∑}{}_{\mathrm{Y}}\text{)}}{}^{\mathrm{<mtext>?1</mtext><mtext>2</mtext>}}$

where Λ, a fixed positive definite matrix, is related to the relative importance of predictability for the entries of $\text{Y}$. The properties of η_Λ are discussed, with particular attention paid to a ‘correlation-maximizing’ property. Given are applications of η_Λ to the elliptically symmetric family of distributions and the multinomial distribution. Also discussed is the problem of finding those r linear functions of $\text{Y}$ that are most predictable (in a correlation ratio sense) from $\text{X}$.     

The approximation of flows

Let U, V be two strongly continuous one-parameter groups of bounded operators on a Banach space $\text{X}$ with corresponding infinitesimal generators S, T. We prove the following: ∥U_t, ? V_t ∥ = O(t), t → 0, if and only if U = V; ∥U_t ? V_t∥ = O(t^α), t → 0; with 0 ? α ? 1, if and only if $\text{S = Ω(T + P)Ω}{}^{\mathrm{?1}}$, where Ω, P, are bounded operators on $\text{X}$ such that $\text{∥U}{}_{\mathrm{t}}\text{Ω ? ΩU}{}_{\mathrm{t}}\text{∥ = O(t}{}^{\mathrm{\alpha }}\text{), ∥U}{}_{\mathrm{t}}\text{P ? PU}{}_{\mathrm{t}}\text{∥ = ?O(t}{}^{\mathrm{\alpha }}\text{), t → 0; ∥U}{}_{\mathrm{t}}\text{? V}{}_{\mathrm{t}}\text{∥ = O(t)}$ if and only if $\text{S}{}^1\text{? T}{}^1$ has a bounded extension to $\text{X}$¹. Further results of this nature are inferred for semigroups, reflexive spaces, Hilbert spaces, and von Neumann algebras.     

Linear operators preserving the (p,q)-numerical range

Let $\text{C}{}_{\mathrm{n\times n}}$ and $\text{H}{}_{\mathrm{n}}$ denote respectively the space of n×n complex matrices and the real space of n×n hermitian matrices. Let p,q,n be positive integers such that p?q?n. For $\text{A?}\text{C}{}_{\mathrm{n\times n}}$, the (p,q)-numerical range of A is the set

$\text{W}{}_{\mathrm{p,q}}\text{(A)={trC}{}_{\mathrm{p}}\text{(J}{}_{\mathrm{q}}\text{UAU}{}^1\text{):U}\text{unitary}\text{}}$

, where C_p(X) is the pth compound matrix of X, and Jq is the matrix I_q?O_n-q. Let $\text{L}$ denote $\text{H}$_n or $\text{C}{}_{\mathrm{n\times n}}$. The problem of determining all linear operators T: $\text{L}$→$\text{L}$ such that

$\text{W}{}_{\mathrm{p,q}}\text{(T(A))=W}{}_{\mathrm{p,q}}\text{(A)}\text{for all}\text{A?}\text{L}$

is treated in this paper.     

Singular perturbation problems for linear parabolic differential operators of arbitrary order

We consider the first initial-boundary value problem for $\text{(}\text{?u}\text{?t}\text{) + ?L}{}_1\text{u + L}{}_0\text{u = f(L}{}_0$ and L₁ are linear elliptic partial differential operators) and investigate the properties of u(x, t, ?) as ? ↓ 0 in the maximum norm. Special attention is paid to approximations obtained by the boundary layer method. We use a priori estimates.     

The behavior on fundamental group of a free pro-homotopy equivalence

We study the question: given a morphism $\text{?{(X}{}_{\mathrm{n}}\text{, x}{}_{\mathrm{n}}\text{)}→{(Y}{}_{\mathrm{n}}\text{, y}{}_{\mathrm{<mtext>n</mtext>}}\text{)}}$ in the category pro-(Poi nted. Homotopy) where the domain and range are inverse sequences of well-pointed CW complexes, and given that ? induces an isomorphism {X_n}→{Y_n} in pro-(Homotopy), what additional hypotheses force ? to be an isomorphism in pro-(Pointed Homotopy)? Conjecture. If the dimensions of the Y_n's are bounded, then ? is an isomorphism in pro-(Pointed Homotopy). We first prove the special case of this conjecture in which dim Y_n?d<∞ for all n, and $\text{lim}\text{{H}{}_{\mathrm{d}}\text{Y}{}_{\mathrm{n}}\text{}≠0}$, Y_n being the universal cover of Y_n. Then we deal with the general case: we show that there are certain elements of each π₁Y_n with the properties: (i) these elements commute if and only if ? is an isomorphism in pro-(Pointed Homotopy); (ii) if dim Y_n?d<∞ for all n, then powers of these elements commute. While (i) and (ii) are not incompatible, this result puts severe restrictions on the nature of any possible counter-example to the conjecture.Our method also gives pro-homotopy analogues of the well-known fact that if a K(π, 1) is N-dimensional, then π is torsion-free and contains no abelian subgroup of rank>N. The latter theorems apply to inverse sequences {Y_n} of CW complexes where dim Y_n is finite but not necessarily bounded, hence in particular to infinite-dimensional shape-aspherical compacta.     

A version of Chevet's theorem for stable processes

Let $\text{X}\text{}\text{?}\text{bo}\text{Y}$ be the injective tensor product of the separable Banach spaces X and Y and let S_X, S_Y and $\text{S}{}_{\mathrm{<mtext>X\; </mtext><mtext>\backslash </mtext><mtext>?</mtext><mtext>bo\; Y</mtext>}}$ be the unit spheres of these spaces. The tensor product of two symmetric finite measures η₁ on S_X and η₂ on S_Y, η₁?η₂, is defined in a natural way as a measure on $\text{S}{}_{\mathrm{<mtext>X\; </mtext><mtext>\backslash </mtext><mtext>?</mtext><mtext>bo\; Y</mtext>}}$. It is shown that η₁? η₂ is the spectral measure of a p-stable random variable W on $\text{X}\text{}\text{?}\text{bo}\text{Y}$, 0 <p < 2, if and only if η₁ and η₂ are the spectral measures of p-stable random variables U and V on X and Y, respectively. Actually upper and lower bounds for $\text{(E∥ W∥}{}^{\mathrm{r}}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>r</mtext>}}$ in terms of the random variables U and V are obtained. When X = C(S), Y = C(T) with S, T compact metric spaces, and η₁, and η₂ are discrete, our results imply that if θ_i, θ_ij are i.i.d. standard symmetric real valued p-stable random variables, 0 < p <2, x_i?C(S), and y_i?C(T), then the series ∑_ijθ_ijx_i(s) y_j(t) converges uniformly a.s. iff the series ∑_iθ_ix_i(s) and ∑_iθ_iy_i(t) both converge uniformly a.s. When p = 2 this follows from Chevet's theorem on Gaussian processes. Several examples are given. One of them requires an interesting upper bound on the probability distribution of the maximum of i.i.d. p-stable random variables taking values in a general Banach space.     

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

Coding theory in white Gaussian channel with feedback

The message m = {m(t)} is a Gaussian process that is to be transmitted through the white Gaussian channel with feedback: $\text{Y(t) = ∫}{}_0{}^{\mathrm{t}}\text{F(s, Y}{}_0{}^{\mathrm{s}}\text{, m)ds + W(t)}$. Under the average power constraint, $\text{E[F}{}^2\text{(s, Y}{}_0{}^{\mathrm{s}}\text{, m)] ≤ P}{}_0$, we construct causally the optimal coding, in the sense that the mutual information I_t(m, Y) between the message m and the channel output Y (up to t) is maximized. The optimal coding is presented by $\text{Y(t) = ∫}{}_0{}^{\mathrm{t}}\text{A(s)[m(s) ?}\text{m}\text{?}\text{(s)] ds + W(t)}$, where $\text{m}\text{?}\text{(s) = E[m(s) ¦ Y(u), 0 ≤ u ≤ s]}$ and A(s) is a positive function such that $\text{A}{}^2\text{(s) E |m(s) ?}\text{m}\text{?}\text{(s)|}{}^2\text{= P}{}_0$.