An extremal problem for sets with applications to graph theory

Let X₁, …, X_n be n disjoint sets. For 1 ? i ? n and 1 ? j ? h let A_ij and B_ij be subsets of X_i that satisfy |A_ij| ? r_i and |B_ij| ? s_i for 1 ? i ? n, 1 ? j ? h, $\text{(∪}{}_{\mathrm{i}}\text{A}{}_{\mathrm{ij}}\text{) ∩ (∪}{}_{\mathrm{i}}\text{B}{}_{\mathrm{ij}}\text{) = ?}$ for 1 ? j ? h, $\text{(∪}{}_{\mathrm{i}}\text{A}{}_{\mathrm{ij}}\text{) ∩ (∪}{}_{\mathrm{i}}\text{B}{}_{\mathrm{il}}\text{) ≠ ?}$ for 1 ? j < l ? h. We prove that $\text{h?}\text{Π}\text{i=1}\text{n}\text{r}{}_{\mathrm{i}}\text{+s}{}_{\mathrm{i}}\text{r}{}_{\mathrm{i}}$. This result is best possible and has some interesting consequences. Its proof uses multilinear techniques (exterior algebra).     

Strong ergodicity of nonnegative matrix products

The sequence H_k, k? 1, of n×n nonnegative matrices is said to be asymptotically homogeneous (with respect to D) if, for some probability vector D, $\text{D′H}{}_{\mathrm{k}}\text{D′H}{}_{\mathrm{k}}\text{1→D′}$ as k→∞. Under a prior compactness assumption on the set {H_k}, asymptotic homogeneity is shown to be necessary and sufficient for strong ergodicity, as r→∞, of T_p,r=H_p+1H_p+2?H_p+r in a unified expository account for the two cases: (i) each T_p,r is primitive; (ii) each T_p,r is stochastic and regular. The first of these generalizes a known result [2]; and further generalizations are made.     

On the number of zeros of diagonal cubic forms

Let M_s, be the number of solutions of the equation

$\text{X}{}_1{}^3\text{+ X}{}_2{}^3\text{+ … + X}{}_{\mathrm{s}}{}^3\text{=0}$

in the finite field GF(p). For a prime p ≡ 1(mod 3),

$\text{∑}\text{s=1}\text{∞}\text{M}{}_{\mathrm{s}}\text{X}{}^{\mathrm{s}}\text{=}\text{x}\text{1 ? px}\text{+}\text{x}{}^2\text{(p ? 1)(2 + dx)}\text{1 ? 3px}{}^2\text{? pdx}{}^3$

,

$\text{M}{}_3\text{= p}{}^2\text{+ d(p ? 1)}$

, and

$\text{M}{}_4\text{= p}{}^2\text{+ 6(p}{}^2\text{? p)}$

. Here d is uniquely determined by

$\text{4}{}_{\mathrm{p}}\text{= d}{}^2\text{+ 27b}{}^2\text{and}\text{d ≡ 1(}\text{mod}\text{3)}$

.     

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

Powers of matrices and idempotency

In this paper, we establish the following results: Let A be a square matrix of rank r. Then (a) $\text{(A+A}{}^1\text{)}\text{2}$ is idempotent of rank r, and tr_rA (defined as the sum of the principal minors of order r in A) is one iff A is Hermitian idempotent. (b) A^s=A^t for some positive integers s≠t, and trA=rankA iff A is idempotent. (c) $\text{A(A1A)}{}^{\mathrm{s}}\text{= A(AA}{}^1\text{)}{}^{\mathrm{t}}$ for some integers s≠t iff $\text{AA}{}^1\text{=A}{}^1\text{A}$ is idempotent, while $\text{A(A}{}^1\text{A)}{}^{\mathrm{s}}\text{= A(AA}{}^1\text{)}{}^{\mathrm{s}}$ for some integers s≠0 iff $\text{AA}{}^1\text{=A}{}^1\text{A}$. (d) $\text{A(A}{}^1\text{A)}{}^{\mathrm{s}}\text{=A}{}^1\text{(AA}{}^1\text{)}{}^{\mathrm{t}}$ for some integers s≠t and rankA=trA iff A is Hermitian idempotent, while $\text{A(A}{}^1\text{A)}{}^{\mathrm{s}}\text{= A}{}^1\text{(AA}{}^1\text{)}{}^{\mathrm{s}}$ for some integer s iff A is Hermitian. Here $\text{A}{}^1$ indicates the conjugate transpose of A, and P^-α is defined iff (P⁺)^α=(P^α)⁺ for all positive integers α and P⁺ is the Moore-Penrose inverse of P.     

Un analogue d'un théorème de Hardy pour la transformation de DunklAn analogue of Hardy's theorem for the Dunkl transform

In this Note we give a generalization of Hardy's theorem for the Dunkl transform $\text{F}{}_{\mathrm{D}}$ on $\text{R}{}^{\mathrm{d}}$. More precisely, for all a>0, b>0 and p,q∈[1,+∞], we determine the measurable functions f such that and , where $\text{L}{}_{\mathrm{k}}{}^{\mathrm{p}}\text{(}\text{R}{}^{\mathrm{d}}\text{)}$ are the L^p spaces associated with the Dunkl transform. To cite this article: L. Gallardo, K. Trimèche, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 849–854.     

Sur les équations de Lane–Emden avec opérateurs non linéaires

In this Note we consider nonnegative solutions for the nonlinear equation

$\text{M}{}^{\mathrm{+}}{}_{\mathrm{\lambda ,\Lambda }}\text{D}{}^2\text{u}\text{+|x|}{}^{\mathrm{\alpha }}\text{u}{}^{\mathrm{p}}\text{=0}$

in $\text{R}{}^{\mathrm{N}}$, where $\text{M}{}^{\mathrm{+}}{}_{\mathrm{\lambda ,\Lambda }}\text{(D}{}^2\text{u)}$ is the so called Pucci operator

$\text{M}{}^{\mathrm{+}}{}_{\mathrm{\lambda ,\Lambda }}\text{(M)=λ}\text{∑}\text{e}{}_{\mathrm{i}}\text{<0}\text{e}{}_{\mathrm{i}}\text{+Λ}\text{∑}\text{e}{}_{\mathrm{i}}\text{>0}\text{e}{}_{\mathrm{i}}\text{,}$

and the e_i are the eigenvalues of M et Λ?λ>0. We prove that if u satisfies the decreasing estimate

$\text{lim}\text{|x|→+∞}\text{|x|}{}^{\mathrm{\beta ?1}}\text{u(x)=0}$

for some β satisfying (β?1)(p?1)>2+α then u is radial. In a second time we prove that if $\text{p<}\text{N+2α+2}\text{N?2}$ and u is a nonnegative radial solution of (1), u(x)=g(r), such that g″ changes sign at most once, then u is zero. To cite this article: I. Birindelli, F. Demengel, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

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

Specialized Möbius inversion

Let Φ denote the set of arithmetic functions $\text{f}\text{(n)}$ such that $\text{f}\text{(n) = f(e}{}_1\text{, e}{}_2\text{,…, e}{}_{\mathrm{r}}\text{)}$, where n = p₁^e₁p₂^e₂…p_r^e_r and f(e₁, e₂,…,e_r) depends on the e_j but is independent of the primes p_j. The general Möbius inversion theorem then becomes the equivalence of (1.11) and (1.12) below. This in turn leads to relations between exponential generating functions as well as several applications.     

Critical exponents for the Pucci's extremal operatorsLes exposants critiques pour l'opérateur extrémal de Pucci

In this Note we present some results on the existence of radially symmetric solutions for the nonlinear elliptic equation

(1)$\text{M}{}_{\mathrm{<mtext>\lambda ,</mtext><mtext>\Lambda </mtext>}}{}^{\mathrm{+}}\text{(D}{}^2\text{u)+u}{}^{\mathrm{p}}\text{=0,u?0}\text{in}\text{R}{}^{\mathrm{N}}\text{.}$

Here N?3, p>1 and $\text{M}{}_{\mathrm{<mtext>\lambda ,</mtext><mtext>\Lambda </mtext>}}{}^{\mathrm{+}}$ denotes the Pucci's extremal operators with parameters 0<λ?Λ. The goal is to describe the solution set as function of the parameter p. We find critical exponents $\text{1<p}{}^{\mathrm{s}}{}_{\mathrm{+}}\text{<p}{}^1{}_{\mathrm{+}}\text{<p}{}^{\mathrm{p}}{}_{\mathrm{+}}$, that satisfy: (i) If $\text{1<p<p}{}^1{}_{\mathrm{+}}$ then there is no nontrivial solution of ($\text{1}$). (ii) If $\text{p=p}{}^1{}_{\mathrm{+}}$ then there is a unique fast decaying solution of ($\text{1}$). (iii) If $\text{p}{}^1\text{<p?p}{}^{\mathrm{p}}{}_{\mathrm{+}}$ then there is a unique pseudo-slow decaying solution to ($\text{1}$). (iv) If p^p₊<p then there is a unique slow decaying solution to ($\text{1}$). Similar results are obtained for the operator $\text{M}{}_{\mathrm{<mtext>\lambda ,</mtext><mtext>\Lambda </mtext>}}{}^{\mathrm{?}}$. To cite this article: P.L. Felmer, A. Quaas, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 909–914.     

Arithmétique d'une famille de corps cubiques

In this Note, we study the family of polynomials: P(X)=X³?nX²?n, with n=3^sp₁…p_t, where s=0 or 1 and where the p_i, for 1?i?t, are distinct prime numbers and all different from 3, and (4n²+27)/9^s is squarefree. For this family, we determine the arithmetic invariants of the number field $\text{K=}\text{Q}\text{(α),}$ where α is the only real root of the polynomial P(X), and we find the following results: $\text{O}{}_{\mathrm{K}}\text{=}\text{Z}\text{[α]}$ is the ring of integers of K, d_K=?n²(4n²+27) is the discriminant of K; ε=α²+1 is the fundamental unit of O_K and R_K=Log(α²+1) is the regulator of K. To cite this article: O. Lahlou, M. El Hassani Charkani, C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

Residue properties of certain quadratic units

Explicit formulas are given for the quadratic and quartic characters of units of certain quadratic fields in terms of representations by positive definite binary quadratic forms, as conjectured by Leonard and Williams (Pacific J. Math.71 (1977), Rocky Mountain J. Math.9 (1979)), and by Lehmer (J. Reine Angew. Math.268/69 (1974)). For example, if p and a are primes such that p≡1 (mod 8), q≡5 (mod 8) and the Legendre symbol $\text{(}\text{q}\text{p}\text{)=1}$, and if ε is the fundamental unit of $\text{Q}$(√q), then $\text{(}\text{ε}\text{p}\text{)}{}_4\text{=(?1)}{}^{\mathrm{b+d}}$, where p=a²+16b² and p^k=c²+16qd² with k odd.     

A Feynman-Kac gauge for solvability of the Schrödinger equation

Let {X_t, t ≥ 0} be Brownian motion in $\text{R}$^d (d ≥ 1). Let D be a bounded domain in $\text{R}$^d with C² boundary, ?D, and let q be a continuous (if d = 1), Hölder continuous (if d ≥ 2) function in D?. If the Feynman-Kac “gauge” E_x{exp(∝₀^τ_Dq(X_t)dt)1_A(X_τD)}, where τ_D is the first exit time from D, is finite for some non-empty open set A on ?D and some x?D, then for any $\text{? ? C}{}^0\text{(?D}$), is the unique solution in $\text{C}{}^2\text{(D) ∩ C}{}^0\text{(}\text{D}\text{?}\text{)}$ of the Schrödinger boundary value problem $\text{(}\text{1}\text{2}\text{Δ}\text{+ q)φ = 0}\text{in}\text{D, φ = ?}\text{on}\text{?D}$.     

Cohérence différentielle des F-isocristaux unités

Let $\text{V}$ be a mixed characteristic complete discrete valuation ring, $\text{P}$ a smooth formal scheme over $\text{V}$, P its special fiber, X a smooth subscheme of P, T a divisor in P such that T_X=T∩X is a divisor in X and $\text{D}{}^2{}_{\mathrm{<mtext>P</mtext>}}$ the weak completion of the sheaf of differential operators on $\text{P}$. We prove that the unit-root F-isocrystals on X?T_X overconvergent along T_X are coherent over $\text{D}{}^2{}_{\mathrm{<mtext>P</mtext><mtext>,</mtext><mtext>Q</mtext>}}$. To cite this article: D. Caro, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Matrix identities of the fast fourier transform

Let A_n(ω) be the nxn matrix A_n(ω)=(a_ij with a_ij=ω^ij, 0?i,j?n?1, ωⁿ=1. For n=rs we show

$\text{A}{}_{\mathrm{n}}\text{(w)P}{}_{\mathrm{s}}{}^{\mathrm{r}}\text{P}{}_{\mathrm{r}}{}^{\mathrm{s}}\text{∵}\text{0}\text{s?1}\text{A}{}_{\mathrm{r}}\text{(w}{}^{\mathrm{s}}\text{)}\text{P}{}_{\mathrm{s}}{}^{\mathrm{r}}\text{{T}{}_{\mathrm{r}}{}^{\mathrm{s}}\text{(w)}}\text{∵}\text{0}\text{r?1}\text{A}{}_{\mathrm{s}}\text{(w}{}^{\mathrm{r}}\text{)}$

=(A_r?I_s)T^s_r(I_r?A_s). When r and s are relatively prime this identity implies a wide class of identities of the form PA_n(ω)Q^T=A_r(ω^αs)?A_s(ω^βr). The matrices P^s_r, P^r_s, P, and Q are permutation matrices corresponding to the “data shuffling” required in a computer implementation of the FFT, and T^s_r is a diagonal matrix whose nonzeros are called “twiddle factors.” We establish these identities and discuss their algorithmic significance.     

New bounds on exponential sums related to the Diffie–Hellman distributions

Given $\text{θ∈}\text{F}{}_{\mathrm{p}}{}^1$ (p prime) of multiplicative order t>p^δ, we obtain nontrivial bounds on exponential sums

$\text{∑}\text{s′=1}\text{t}\text{∑}\text{s=1}\text{t}\text{e}{}_{\mathrm{p}}\text{aθ}{}^{\mathrm{s}}\text{+cθ}{}^{\mathrm{ss\prime }}$

as well as the corresponding incomplete sums. These estimates are of relevance to several issues, such as the Diffie–Hellman distributions in cryptography, prime divisors of ‘sparse integers’, the distribution $\text{mod}\text{p}$ of Mersenne numbers M_q=2^q?1 (q prime). The method is closely related to that of Bourgain and Konyagin (C. R. Acad. Sci. Paris, Ser. I 337 (2) (2003) 75–80). To cite this article: J. Bourgain, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Minimax estimation of location parameters for certain spherically symmetric distributions

Families of minimax estimators are found for the location parameters of a p-variate distribution of the form

, where G(·) is a known c.d.f. on (0, ∞), p ≥ 3 and the loss is sum of squared errors. The estimators are of the form $\text{(1 ? ar(X′X)}\text{E}{}_0\text{(}\text{1}\text{X′X}\text{)X′X)X}$ where 0 ≤ a ≤ 2, r(X′X) is nondecreasing, and $\text{r(X′X)}\text{X′X}$ is nonincreasing. Generalized Bayes minimax estimators are found for certain G(·)'s.     

Poisson limits for a hard-core clustering model

Let X_1n,…,X_>nn denote the locations of n points in a bounded, γ-dimensional, Euclidean region D_n which has positive γ-dimensional Lebesgue measure μ(D_n). Let {Y_n(r): r > 0} be the interpoint distance process for these points where Y_n(r) is the number of pairs of points(X_in, X_in) which with i < j have Euclidean distance 6X_in ? X_>in6 < r. In this article we study the limiting distribution of Y_n(r) when n → ∞ and μ(D_n) → ∞, and the joint density of X_1n,…,X_nnis of the form

where r₀ is a positive constant and C_n is a normalizing constant. These joint densities modify the Strauss [11] clustering model densities by introducing a hard-core component (no two points can have 6X_in ? X_in6 < r₀) found in the Matérn [4] models. In our main result we show that the interpoint distance process converges to a non-homogeneous Poisson process for r values in a bounded interval 0 < r₀ < r < r₀₀ provided sparseness conditions discussed by Saunders and Funk [9] hold. The sparseness conditions which require $\text{μ(D}{}_{\mathrm{n}}\text{)}\text{n}{}^2$ converges to a positive constant and the boundary of D_n is negligible are essentially equivalent to requiring that although the number of points n is large the region is large enough so that the points are sparse in this region. That is, it is rare for a point to have another point close to it. These results extend results for v ? 0 given by Saunders and Funk [9] where it is shown that without the hard core component such results do not hold for v > 0. Statistical applications are discussed.     

An inequality relating the regulator and the discriminant of a number field

Let K be a number field of degree d with regulator R_K and absolute discriminant D_K. Let r(K) be the rank of the unit group in K, and let p(K) be the maximum of r(k) as k ranges over proper subfields of K. We prove

$\text{R}{}_{\mathrm{K}}\text{> c}{}_{\mathrm{d}}\text{(}\text{log}\text{γ}{}_{\mathrm{d}}\text{D}{}_{\mathrm{K}}\text{)}{}^{\mathrm{r(K)?\rho (K)}}$

for constants c_d, γ_d > 0 depending only on d.     

Extension of a Riemannian metric with vanishing curvature

Let $\text{Ω}$ be a connected and simply-connected open subset of $\text{R}{}^{\mathrm{n}}$ such that the geodesic distance in $\text{Ω}$ is equivalent to the Euclidean distance. Let there be given a Riemannian metric (g_ij) of class $\text{C}{}^2$ and of vanishing curvature in $\text{Ω}$, such that the functions g_ij and their partial derivatives of order $\text{?}\text{2}$ have continuous extensions to $\text{Ω}$. Then there exists a connected open subset $\text{Ω}$ of $\text{R}{}^{\mathrm{n}}$ containing $\text{Ω}$ and a Riemannian metric $\text{(}\text{g}\text{?}{}_{\mathrm{ij}}\text{)}$ of class $\text{C}{}^2$ and of vanishing curvature in $\text{Ω}$ that extends the metric (g_ij). To cite this article: P.G. Ciarlet, C. Mardare, C. R. Acad. Sci. Paris, Ser. I 338 (2004).