Weyl's law for the cuspidal spectrum of SLn

Let Γ be a principal congruence subgroup of $\text{SL}{}_{\mathrm{n}}\text{(}\text{Z}\text{)}$ and let σ be an irreducible unitary representation of SO(n). Let N_cus^Γ(λ,σ) be the counting function of the eigenvalues of the Casimir operator acting in the space of cusp forms for Γ which transform under SO(n) according to σ. In this Note we prove that the counting function N_cus^Γ(λ,σ) satisfies Weyl's law. In particular, this implies that there exist infinitely many cusp forms for the full modular group $\text{SL}{}_{\mathrm{n}}\text{(}\text{Z}\text{)}$. To cite this article: W. Müller, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Random Euclidean embeddings in spaces of bounded volume ratio

Let $\text{(}\text{R}{}^{\mathrm{N}}\text{,6·6)}$ be the space $\text{R}{}^{\mathrm{N}}$ equipped with a norm 6·6 whose unit ball has a bounded volume ratio with respect to the Euclidean unit ball. Let Γ be any random N×n matrix with N>n, whose entries are independent random variables satisfying some moment assumptions. We show that with high probability Γ is a good isomorphism from the n-dimensional Euclidean space $\text{(}\text{R}{}^{\mathrm{n}}\text{,|·|)}$ onto its image in $\text{(}\text{R}{}^{\mathrm{N}}\text{,6·6)}$: there exist α,β>0 such that for all $\text{x∈}\text{R}{}^{\mathrm{n}}$, $\text{α}\text{N}\text{|x|?6Γx6?β}\text{N}\text{|x|}$. This solves a conjecture of Schechtman on random embeddings of ?₂ⁿ into ?₁^N. To cite this article: A. Litvak et al., C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Matricial logarithmic derivatives

If θ is a norm on Cⁿ, then the mapping $\text{A→}\text{lim}{}_{\mathrm{h\downarrow 0}}\text{6I+hA6}{}_{\mathrm{\theta }}\text{?1}\text{/h}$ from M_n(C) (=C^{n × n}) into R is called the logarithmic derivative induced by the vector norm θ. In this paper we generalize this concept to a mapping γ from M_n(C) into M_k(R), where k ? n. Denoting by α(B) the spectral abscissa of a square matrix B (the largest of the real parts of the eigenvalues), we show, in particular, that α(A) ?α(γ(A)). As a byproduct we obtain simple sufficient conditions for the stability of a matrix.     

Fourier transforms of smooth functions on certain nilpotent Lie groups

The authors consider irreducible representations $\text{π ?}\text{N}\text{?}$ of a nilpotent Lie group and define a Fourier transform for Schwartz class (and other) functions φ on N by forming the kernels K_φ(x, y) of the trace class operations π_φ = ∝_Nφ(n)π_ndn, regarding the π as modeled in L²(R^k) for all π in general position. For a special class of groups they show that the models, and parameters λ labeling the representations in general position, can be chosen so the joint behavior of the kernels K_φ(x, y, λ) can be interpreted in a useful way. The variables (x, y, λ) run through a Zariski open set in Rⁿ, n = dim N. The authors show there is a polynomial map u = A(x, y, λ) that is a birational isomorphism A: Rⁿ → Rⁿ with the following properties. The Fourier transforms F₁φ = K_φ(x, y, λ) all factor through A to give “rationalized” Fourier transforms Fφ(u) such that Fφ ° A = F₁φ. On the rationalized parameter space a function f(u) is of the form F_φ = f ? f is Schwartz class on Rⁿ. If polynomial operators T?P(N) are transferred to operators $\text{T}\text{?}$ on Rⁿ such that $\text{F(Tφ) =}\text{T}\text{?}\text{(Fφ), P(N)}$ is transformed isomorphically to P(Rⁿ).     

Classes of orderings of measures and related correlation inequalities. I. Multivariate totally positive distributions

A function f(x) defined on $\text{X}$ = $\text{X}$₁ × $\text{X}$₂ × … × $\text{X}$_n where each $\text{X}$_i is totally ordered satisfying f(x ∨ y) f(x ∧ y) ≥ f(x) f(y), where the lattice operations ∨ and ∧ refer to the usual ordering on $\text{X}$, is said to be multivariate totally positive of order 2 (MTP₂). A random vector Z = (Z₁, Z₂,…, Z_n) of n-real components is MTP₂ if its density is MTP₂. Classes of examples include independent random variables, absolute value multinormal whose covariance matrix Σ satisfies ?DΣ^?1D with nonnegative off-diagonal elements for some diagonal matrix D, characteristic roots of random Wishart matrices, multivariate logistic, gamma and F distributions, and others. Composition and marginal operations preserve the MTP₂ properties. The MTP₂ property facilitate the characterization of bounds for confidence sets, the calculation of coverage probabilities, securing estimates of multivariate ranking, in establishing a hierarchy of correlation inequalities, and in studying monotone Markov processes. Extensions on the theory of MTP₂ kernels are presented and amplified by a wide variety of applications.     

Third order efficiency of conditional tests for exponential families

Let P_η, η = (θ, γ) ∈ Θ × Γ ? $\text{R}$ × $\text{R}$^k, be a (k + 1)-dimensional exponential family. Let $\text{?}{}_{\mathrm{n}}{}^1$, n ∈ $\text{N}$, be an optimal similar test for the hypothesis {P_(θ,γ)ⁿ: γ ∈ Γ} (θ ∈ Θ fixed) against alternatives P_(θ1,γ1)ⁿ, θ₁ > θ, γ₁ ∈ Γ. It is shown that (?_n¹)_{n∈$\text{N}$} is third order efficient in the class of all test-sequences that are asymptotically similar of level α + o(n^?1) (locally uniformly in the nuisance parameter γ).     

Injectivity and operator spaces

Let B(H) be the bounded operators on a Hilbert space H. A linear subspace R ? B(H) is said to be an operator system if 1 ?R and R is self-adjoint. Consider the category $\text{b}$ of operator systems and completely positive linear maps. R ∈ $\text{C}$ is said to be injective if given A ? B, A, B ∈ $\text{C}$, each map A → R extends to B. Then each injective operator system is isomorphic to a conditionally complete C¹-algebra. Injective von Neumann algebras R are characterized by any one of the following: (1) a relative interpolation property, (2) a finite “projectivity” property, (3) letting M_m = B(C^m), each map R → N ? M_m has approximate factorizations R → M_n → N, (4) letting K be the orthogonal complement of an operator system N ? M_m, each map $\text{M}{}_{\mathrm{m}}\text{K}\text{→ R}$ has approximate factorizations $\text{M}{}_{\mathrm{m}}\text{K}\text{→ M}{}_{\mathrm{n}}\text{→ R}$. Analogous characterizations are found for certain classes of C¹-algebras.     

Some explicit formulae in simultaneous padé approximation

Using old results on the explicit calculation of determinants, formulae are given for the coefficients of P₀(z) and P₀(z)f_i(z) ? P_i(z), where P_i(z) are polynomials of degree σ ? ρ_i (i=0,1,…,n), P₀(z)f_i(z) ? P_i(z) are power series in which the terms with z^k, 0?k?σ, vanish (i=1,2,…,n), (ρ₀,ρ₁,…,ρ_n) is an (n+1)-tuple of nonnegative integers, σ=ρ₀+ρ₁+?+ρ_n, and {f_i}ⁿ_i=1 is the set of hypergeometric functions {₁F₁(1;c_i;z)}ⁿ_i=1$\text{(c}{}_{\mathrm{i}}\text{?}\text{Z}\text{z.drule;}\text{N}\text{, c}{}_{\mathrm{i}}\text{? c}{}_{\mathrm{j}}\text{?}\text{Z}\text{)}$ or {₂F₀(a_i,1;z)}ⁿ_i=1$\text{(a}{}_{\mathrm{i}}\text{?}\text{Z}\text{?}\text{N}\text{, a}{}_{\mathrm{i}}\text{? a}{}_{\mathrm{j}}\text{?}\text{Z}\text{)}$ under the condition ρ₀?ρ_i ? 1 (i=1,2,…,n).     

More coverings by rook domains

The set V_kⁿ of all n-tuples (x₁, x₂,…, x_n) with x_i?, $\text{Z}$_k is considered. The problem treated in this paper is determining σ(n, k), the minimum size of a set W ? V_kⁿ such that for each x in V_kⁿ, there is an element in W that differs from x in at most one coordinate. By using a new constructive method, it is shown that σ(n, p) ? (p ? t + 1)p^n?r, where p is a prime and $\text{n = 1 +}\text{t(p}{}^{\mathrm{r?1}}\text{? 1)}\text{(p ? 1)}$ for some integers t and r. The same method also gives σ(7, 3) ? 216. Another construction gives the inequality σ(n, kt) ? σ(n, k)t^n?1 which implies that σ(q + 1, qt) = q^q?1t^q when q is a prime power. By proving another inequality σ(np + 1, p) ? σ(n, p)p^n(p?1), σ(10, 3) ? 5 · 3⁶ and σ(16, 5) ? 13 · 5¹² are obtained.     

Character formulas and spectra of compact nilmanifolds

The authors give a new method for calculating the spectrum and multiplicities of the irreducible unitary representations appearing in the quasi-regular representation U: N × L²(ΓβN) → L²(ΓβN) on a compact nilmanifold ΓβN. They proceed by decomposing the trace of U into traces of irreducible representations. The basic calculations in the paper deal with lattice subgroups (Λ = log Γ an additive lattice in the Lie algebra $\text{N}$), essentially using the Poisson summation formula. Let Ad′ be the contragredient adjoint action of N on $\text{N}$¹. If ?₀ ? $\text{N}$¹, the multiplicity of π(?₀) in U is zero unless the Ad′(N) orbit of ?₀ meets $\text{Λ}{}^{\mathrm{\perp }}\text{= {h ? N}{}^1\text{: <h, Λ> ?}\text{Z}\text{}}$. If ?₀ ? Λ^⊥, then the multiplicity is a sum over representatives of certain Ad′(Γ)-orbits in,

$\text{m(π(?}{}_0\text{),U) =}\text{∑}\text{Ad′(N)?}{}_0\text{∩Λ}{}^{\mathrm{\perp }}\text{Ad′(Γ)}\text{k(?)}$

.The constants $\text{k(?)}$ are given both algebraic and geometric interpretations that lead to simple and effective calculations. Similar formulas hold if Γ is not a lattice subgroup.     

Sharp nonlogarithmic Kneser theorems for fourth-order elliptic equations

Let D(?) be the Doob's class containing all functions f(z) analytic in the unit disk Δ such that f(0) = 0 and lim $\text{inf}\text{¦f(z) ¦ ? 1}$ on an arc A of ?Δ with length $\text{¦A ¦? ?}$. It is first proved that if f?D(?) then the spherical norm ∥ f ∥ = sup_z?Δ$\text{(}\text{1 ? ¦z¦}{}^2\text{)¦f′(z)¦}\text{(1 + ¦f(z)¦}{}^2\text{) ? C}{}_1\text{sin}\text{(π ? (}\text{?}\text{2}\text{))/ (π ? (}\text{g9}\text{2}\text{))}$, where C₁ = lim_n→∞$\text{∥ z}{}^{\mathrm{n}}\text{∥}\text{and}\text{1}\text{2}\text{< C}{}_1\text{<}\text{2}\text{e}$. Next, U represents the Seidel's class containing all non-constant functions f(z) bounded analytic in Δ such that $\text{¦tf(e}{}^{\mathrm{i0}}\text{)¦ = 1}$ almost everywhere. It is proved that inf_f?U∥f∥ = 0, and if f has either no singularities or only isolated singularities on ?Δ, then ∥f∥ ? C₁. Finally, it is proved that if f is a function normal in Δ, namely, the norm ∥f∥< ∞, then we have the sharp estimate ∥f^p∥ ? p∥f∥, for any positive integer p.     

Löwner expansions

A fundamental problem is to estimate the logarithmic coefficients of a power series with constant coefficient zero which represents a function which has distinct values at distinct points of the unit disk. A source of estimates is an expansion theorem for the Löwner equations which is obtained from a study of contractive substitutions in Hilbert spaces of analytic functions. The methods are an outgrowth of the theory of square summable power series [1]. Assume that σ_n is a given function of nonnegative integers n, with nonnegative values, such that σ₀ = 0 and such that σ_{n ? 1} ? σ_n when n is positive. Infinite values are allowed. The underlying Hilbert space is the set $\text{G}$_σ(0) of equivalence classes of power series f(z) = ∑ a_nzⁿ with constant coefficient zero such that f(z)²_{$\text{G}$σ⁽⁰⁾} = ∑(n/σ_n)|a_n|² is finite. Equivalence of power series f(z) and g(z) means that the coefficient of zⁿ in f(z) is equal to the coefficient of zⁿ in g(z) when σ_n is finite.     

Unique continuation for Schrodinger operators with unbounded potentials

We consider unique continuation theorems for solution of inequalities $\text{¦Δu(x)¦ ? W(x) ¦u(x)¦}$ with W allowed to be unbounded. We obtain two kinds of results. One allows W ? L^p_loc($\text{R}$ⁿ) with $\text{p ? n ? 2}\text{for}\text{n > 5, p >}\text{1}\text{3}\text{(2n ? 1)}\text{for}\text{n ? 5}$. The other requires fW² to be ?Δ-form bounded for all f ? C₀^∞.     

On convergence of LAD estimates in autoregression with infinite variance

The least absolute deviation estimates L(N), from N data points, of the autoregressive constants a = (a₁, …, a_q)′ for a stationary autoregressive model, are shown to have the property that N^σ(L(N) ? a) converge to zero in probability, for $\text{σ <}\text{1}\text{α}$, where the disturbances are i.i.d., attracted to a stable law of index α, 1 ≤ α < 2, and satisfy some other conditions.     

Positive operators on the n-dimensional ice cream cone

Let $\text{K}{}_{\mathrm{n}}\text{= {x ? R}{}^{\mathrm{n}}\text{: (x}{}_1{}^2\text{+ · +x}{}^2{}_{\mathrm{n?1}}\text{)}\text{1}\text{2}\text{? x}{}_{\mathrm{n}}\text{}}$ be the n-dimensional ice cream cone, and let Γ(K_n) be the cone of all matrices in $\text{R}$ⁿⁿ mapping K_n into itself. We determine the structure of Γ(K_n), and in particular characterize the extreme matrices in Γ(K_n).     

Permutation-operator inequalities on certain symmetry classes of tensors

If A∈T(m, N), the real-valued N-linear functions on E_m, and σ∈S_N, the symmetric group on {…,N}, then we define the permutation operator P_σ: T(m, N) → T(m, N) such that P_σ(A)(x₁,x₂,…,x_N = A(x_σ(1),x_σ(2),…, x_σ(N)). Suppose Σ^q_i=1n_i = N, where the n_i are positive integers. In this paper we present a condition on σ that is sufficient to guarantee that 〈P_σ(A₁?A₂???A_q),A₁?A₂?? ? A_q〉 ? 0 for A_i∈S(m, n_i), where S(m, n_i) denotes the subspace of T(m, n_i) consisting of all the fully symmetric members of T(m, n_i). Also we present a broad generalization of the Neuberger identity which is sometimes useful in answering questions of the type described below. Suppose G and H are subgroups of S_N. We let T_G(m, N) denote all A∈T(m, N) such that P_σ(A) = A for all σ∈G. We define the symmetrizer $\text{S}$_G: T(m, N)→T_G(m,N) such that $\text{S}{}_{\mathrm{G}}\text{(A) = 1/|G|Σ}{}_{\mathrm{\sigma \in G}}\text{P}{}_{\mathrm{\sigma }}\text{(A)}$. Suppose H is a subgroup of G and A∈T_H(m, N). Clearly $\text{6}\text{S}{}_{\mathrm{<mtext>G</mtext>}}\text{6(A) 6? 6A6.}$ We are interested in the reverse type of comparison. In particular, if D is a suitably chosen subset of T_H(m,N), then can we explicitly present a constant C>0 such that $\text{6}\text{S}{}_{\mathrm{G}}\text{(A)6?C6A6}$ for all A∈D?     

Extreme points in sets of positive linear maps on B(H)

Three main results are obtained: (1) If $\text{D}$ is an atomic maximal Abelian subalgebra of $\text{B}$($\text{H}$), $\text{P}$ is the projection of $\text{B}$($\text{H}$) onto $\text{D}$ and h is a complex homomorphism on $\text{D}$, then h ° $\text{P}$ is a pure state on $\text{B}$($\text{H}$). (2) If {P_n} is a sequence of mutually orthogonal projections with rank(P_n) = n and ∑ P_n = I, $\text{P}$ is the projection of $\text{B}$($\text{H}$) onto {P_n}″ given by P(T)=∑trace_n(T)P_n and h is a homomorphism on {P_n}″ such that h(P_n) = 0 for all n then h ° $\text{P}$ induces a type II_∞ factor representation of the Calkin algebra. (3) If $\text{M}$ is a nonatomic maximal Abelian subalgebra of $\text{B}$($\text{H}$) then there is an atomic maximal Abelian subalgebra $\text{D}$ of $\text{B}$($\text{H}$) and a large family {Φ_α} of ¹-homomorphisms from $\text{D}$ onto $\text{M}$ such that for each α, Φ_α ° $\text{P}$ is an extreme point in the set of projections from $\text{B}$($\text{H}$) onto $\text{M}$. (Here $\text{P}$ denotes the projection of $\text{B}$($\text{H}$) onto $\text{D}$.)     

Valeurs aux entiers négatifs des séries de Dirichlet associées a un polynôme,I

In this paper, we are studying Dirichlet series Z(P,ξ,s) = Σ_n?$\text{N}$^1rP(n)^?s ξⁿ, where P ∈ $\text{R}$₊ [X₁,…,X_r] and ξⁿ = ξ₁ⁿ¹ … ξ_r^nr, with ξ_i ∈ $\text{C}$, such that |ξ_i| = 1 and ξ_i ≠ 1, 1 ≦ i ≦ r. We show that Z(P, ξ,·) can be continued holomorphically to the whole complex plane, and that the values Z(P, ξ, ?k) for all non negative integers, belong to the field generated over $\text{Q}$ by the ξ_i and the coefficients of P. If, there exists a number field K, containing the ξ_i, 1 ≦ i ≦ r, and the coefficients of P, then we study the denominators of Z(P, ξ, ?k) and we define a $\text{B}$-adic function Z$\text{B}$(P, ξ,·) which is equal, on class of negative integers, to Z(P, ξ, ?k).     

Random fields associated with multiple points of the Brownian motion

Let X_t be the Brownian motion in $\text{R}$^d. The random set Γ = {(t₁,…, t_n, z): X_tl = ··· = X_tn = z} in $\text{R}$^{d + n} is empty a.s. except in the following cases: (a) n = 1, d = 1, 2,…; (b) d = 2, n = 2, 3,…; (c) d = 3, n = 2. In each of these cases, a family of random measures M_λ concentrated on Γ is constructed (λ takes values in a certain class of measures on $\text{R}$^d). Measures M_λ characterize the time-space location of self-intersections for Brownian paths. If n = d = 1, then M_λ(dt, dz) = λ(dz) N_z(dt) where N₂ is the local time at z. In the case n = 2, the set Γ can be identified with the set of Brownian loops. The measure M_λ “explodes” on the diagonal {t₁ = t₂} and, to study small loops, a random distribution which regularizes M_λ is constructed.