The unitary group over the integers of a quaternion algebra

Let L be a lattice over the integers of a quaternion algebra with center K which is a $\text{B}$-adic field. Then the unitary group U(L) equals its own commutator subgroup $\text{Ω(L)}$ and is generated by the unitary transvections and quasitransvections contained in it. Let g be a tableau, U(g), U⁺(g), $\text{Ω(g)}$, T(g) be the corresponding congruence subgroups of order g. Then $\text{U(g)}\text{U}{}^{\mathrm{+}}\text{(g)}\text{? X}{}_{\mathrm{i\; =\; 1}}{}^{\mathrm{\tau }}\text{Z}{}_2$, and $\text{Ω(g) = T(g)}$ (the subgroup generated by the unitary transvections and quasitransvections with order ≤ g). Let G be a subgroup of U(L) with o(G) = g, then G is normal in U(L) if and only if U(g) ? G ? T(g).     

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.     

Positive definite distributions on K\GK

Let G be a semisimple noncompact Lie group with finite center and let K be a maximal compact subgroup. Then W. H. Barker has shown that if T is a positive definite distribution on G, then T extends to Harish-Chandra's Schwartz space $\text{C}$¹(G). We show that the corresponding property is no longer true for the space of double cosets $\text{K}\text{G}\text{K}$. If G is of real-rank 1, we construct liner functionals $\text{T}{}_{\mathrm{p}}\text{? (C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{))′}$ for each p, 0 < p ? 2, such that $\text{T}{}_{\mathrm{p}}\text{(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$ but T_p does not extend to a continuous functional on $\text{C}{}^{\mathrm{p}}\text{(K}\text{G}\text{K}\text{)}$. In particular, if p ? 1, T_v does not extend to a continuous functional on $\text{C}{}^1\text{(K}\text{G}\text{K}\text{)}$. We use this to answer a question (in the negative) raised by Barker whether for a K-bi-invariant distribution T on G to be positive definite it is enough to verify that $\text{T(f 1 f}{}^1\text{) ? 0, ?f ? C}{}_{\mathrm{c}}{}^{\mathrm{\infty }}\text{(K}\text{G}\text{K}\text{)}$. The main tool used is a theorem of Trombi-Varadarajan.     

Projections on spaces of invariant functions

Let (X, ∑, μ) be a measure space and S be a semigroup of measure-preserving transformations T:X → X. In case μ(X) < ∞, Aribaud [1] proved the existence of a positive contractive projection P of L¹(μ) such that for every $\text{? ? L}{}^1\text{(μ), Pf}$ belongs to the closure $\text{C}{}_1\text{(?)}\text{in}\text{L}{}^1\text{(μ)}$ of the convex hull $\text{C(?)}$ of the set {$\text{? ○ T:T ? S}$}. In this paper we extend this result in three directions: we consider infinite measure spaces, vector-valued functions, and L^p spaces with 1 ? p < ∞, and prove that P is in fact the conditional expectation with respect to the σ-algebra Λ of sets of ∑ which are invariant with respect to all T?S.     

Cogrowth and amenability of discrete groups

Let G be a group and g₁,…, g_t a set of generators. There are approximately (2t ? 1)ⁿ reduced words in g₁,…, g_t, of length ?n. Let $\text{}\text{?}\text{gg}{}_{\mathrm{n}}$ be the number of those which represent 1_G. We show that $\text{γ =}\text{lim}{}_{\mathrm{n\; \to \; \infty }}\text{(}\text{}\text{?}\text{gg}{}_{\mathrm{n}}\text{)}{}^{\mathrm{<mtext>1</mtext><mtext>n</mtext>}}$ exists. Clearly 1 ? γ ? 2t ? 1. $\text{η =}\text{(}\text{log}\text{γ)}\text{(}\text{log}\text{(2t ? 1))}$ is the cogrowth. 0 ? η ? 1. In fact $\text{η ∈ {0} ∪ (}\text{1}\text{2}\text{, 1¦}$. The entropic dimension of G is shown to be 1 ? η. It is then proved that d(G) = 1 if and only if G is free on g₁,…, g_t and d(G) = 0 if and only if G is amenable.     

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.     

Duality theorems for linear systems and convex systems

We show that, if (F →^uX) is a linear system, $\text{Ω ? X}$ a convex target set and $\text{h: X →}\text{R}\text{?}$ a convex functional, then, under suitable assumptions, the computation of inf $\text{h({y ? F ¦ u(y) ? Ω}}$) can be reduced to the computation of the infimum of h on certain strips or hyperplanes in F, determined by elements of $\text{u}{}^1\text{(X}{}^1\text{)}$, or of the infima on F of Lagrangians, involving elements of $\text{u}{}^1\text{(X}{}^1\text{)}$. Also, we prove similar results for a convex system (F →^uX) and the convex cone Ω of all non-positive elements in X.     

Algebras of bounded functions invariant under the restricted backward shift

Let T be the unit circle in the complex plane and let A be a vector space of bounded Lebesgue measurable functions on T. A is said to be invariant under the restricted backward shift if, whenever ? is in A and the 0-th Fourier coefficient of ? vanishes, then $\text{e}{}^{\mathrm{?i\theta }}\text{?(e}{}^{\mathrm{i\theta }}\text{)}$ is also in A. The theorems of this paper provide a characterization of the uniformly closed subalgebras of C(T) which contain the constants and which are invariant under the restricted backward shift and, a similar characterization of the weak-¹ closed subalgebras of L^∞(T, dθ) which contain the constants and which are invariant under the restricted backward shift.     

Trace formulas for a class of Toeplitz-like operators II

Let P_T denote the orthogonal projection of L²(R¹, dΔ) onto the space of entire functions of exponential type ? T which are square summable on the line with respect to the measure $\text{dΔ(γ) = ¦ h(γ)¦}{}^2\text{dγ}$, and let G denote the operator of multiplication by a suitably restricted complex valued function g. It is shown that if $\text{(γ}{}^2\text{+ 1)}{}^{\mathrm{?1}}\text{log}\text{¦ h(γ)¦}$ is summable, if $\text{¦ h ¦}{}^{\mathrm{?2}}$ is locally summable, and if $\text{h}\text{h}{}^{\mathrm{\#}}$ belongs to the span in L^∞ of e^?iyTH^∞:T ? 0, in which h is chosen to be an outer function and h^#(γ) agrees with the complex conjugate of h(γ) on the line, then

$\text{lim trace}\text{T↑∞}\text{{(P}{}_{\mathrm{T}}\text{GP}{}_{\mathrm{T}}\text{)}{}^{\mathrm{n}}\text{? P}{}_{\mathrm{T}}\text{G}{}^{\mathrm{n}}\text{P}{}_{\mathrm{T}}\text{}}$

exists and is independent of h for every positive integer n. This extends the range of validity of a formula due to Mark Kac who evaluated this limit in the special case h = 1 using a different formalism. It also extends earlier results of the author which were established under more stringent conditions on h. The conclusions are based in part upon a preliminary study of a more general class of projections.     

Trace formulas for blocks of Toeplitz-like operators

In this paper we study trace formulas for a class of operators of the form Π_T-GΠ_T in which G designates multiplication by a suitable restricted d × d matrix valued function G(γ) of γ?R¹and Π_T stands for the diagonal d × d matrix (δ_ijP_T) of orthogonal projections P_T of L²(R¹, dδ) onto the space I^T(dδ) of entire functions of exponential type ?T which are square summable on the line relative to the measure $\text{dδ(γ) = ¦h(γ)¦}{}^2\text{dγ}$. It is shown that, for a reasonably large class of h,

$\text{lim}\text{T↑∞}\text{trace}\text{[(?}{}_{\mathrm{T}}\text{G?}{}_{\mathrm{T}}\text{)}{}^{\mathrm{n}}\text{? ?}{}_{\mathrm{T}}\text{G}{}^{\mathrm{n}}\text{?}{}_{\mathrm{T}}\text{]}$

exists and is independent of the choice of h within the permitted class. These results are then used to study the asymptotic behavior, as T ↑ ∞, of the determinant of I ? Π_TGΠ_T.     

Invariant subspaces of certain subnormal operators

Let T be a subnormal, nonnormal operator on a Hilbert space and suppose that the point spectrum of $\text{T}{}^1$ is empty. Then there exist vectors x ≠ 0 for which $\text{(T}{}^1\text{? zI)}{}^{\mathrm{?1}}\text{x}$ exists and is weakly continuous for all z. It is shown that under certain conditions, the Cauchy integral of this vector function taken around an appropriate contour, not necessarily lying in the resolvent set of $\text{T}{}^1$, leads to a proper (nontrivial) invariant subspace of $\text{T}{}^1$.     

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

A transfer spectral sequence for fixed point free involutions with an application to stunted real projective spaces

We show that if X is a finite CW-complex admitting a fixed point free involution then there is a singly graded spectral sequence with $\text{E}{}^1{}_1\text{? H}{}^1\text{(X;}\text{Z}{}_2\text{)}$ and $\text{E}{}^1\text{∞ = 0}$. As an application we prove that for any n > 0 there is a natural number k(n) such that if n > k(n) and X is a homotopy $\text{R}\text{P}{}^{\mathrm{n+k}}\text{R}\text{P}{}^{\mathrm{n}}$, then X will not admit a fixed point free involution.     

Two strong limit theorems for processes with independent increments

Two related almost sure limit theorems are obtained in connection with a stochastic process {ξ(t), ?∞ < t < ∞} with independent increments. The first result deals with the existence of a simultaneous stabilizing function H(t) such that $\text{(ξ(t) ? ξ(0))}\text{H(t)}\text{→ 0}$ for almost all sample functions of the process. The second result deals with a wide-sense stationary process whose random spectral distributions is ξ. It addresses the question: Under what conditions does $\text{(2T)}{}^{\mathrm{?1}}\text{∫}{}_{\mathrm{?T}}{}^{\mathrm{T}}\text{X(t)}\text{X(t + τ)}\text{dt}$ converge as T → ∞ for all τ for almost all sample functions?     

Periodic solutions of nonlinear delay equations

Existence and uniqueness of 2π-periodic solutions of $\text{d}{}^{\mathrm{j}}\text{x(t)}\text{dt}{}^{\mathrm{j}}\text{+}\text{grad}\text{G(x(t ? τ)) = e(t, x(t), x(t ? τ)) (j = 1, 2)}$, where x(t) is in $\text{R}$ⁿ and e(t, u, v) is a given vector function, 2π-periodic in t, are shown under conditions on the spectrum of the Hessian of G. The equation is studied using a fixed point theorem in the space L²(0, 2π). One feature of this approach is that no relationship between the delay and the period is necessary.     

Scaling limits of Gaussian vector fields

For Gaussian vector fields {X(t) ∈ Rⁿ:t ∈ R^d} we describe the covariance functions of all scaling limits Y(t) = $\text{L}$lim_α↓0 B^?1(α) X(αt) which can occur when B(α) is a d × d matrix function with B(α) → 0. These matrix covariance functions $\text{r(t, s) = EY(t) Y}{}^1\text{(s)}$ are found to be homogeneous in the sense that for some matrix L and each α > 0, $\text{(}{}^1\text{) r(αt, αs) = α}{}^{\mathrm{L1}}\text{r(t, s) α}{}^{\mathrm{L}}$. Processes with stationary increments satisfying (¹) are further analysed and are found to be natural generalizations of Lévy's multiparameter Brownian motion.     

Un probleme de partition de l'ensemble des parties a trois elements d'un ensemble fini

Let X be a set of n elements. Let $\text{T}$₃(X) be the set of all triples of X. We define a clique as a set of triples which intersect pairwise in two elements. In this paper we prove that if n?6, the minimum cardinality of a partition of $\text{T}$₃(X) into cliques is $\text{[}\text{1}\text{4}\text{(n?1)}{}^2\text{]}$.     

Strong approximation theorems for density dependent Markov chains

A variety of continuous parameter Markov chains arising in applied probability (e.g. epidemic and chemical reaction models) can be obtained as solutions of equations of the form

$\text{X}{}_{\mathrm{N}}\text{(t)=x}{}_0\text{+∑}\text{1}\text{N}\text{lY}{}_1\text{N ∫}{}^{\mathrm{t}}{}_0\text{f}{}_1\text{(X}{}_{\mathrm{N}}\text{(s))ds}$

where $\text{l∈}\text{Z}{}^{\mathrm{t}}$, the Y₁ are independent Poisson processes, and N is a parameter with a natural interpretation (e.g. total population size or volume of a reacting solution).The corresponding deterministic model, satisfies

$\text{X(t)=x}{}_0\text{+ ∫}{}^{\mathrm{t}}{}_0\text{∑ lf}{}_1\text{(X(s))ds}$

Under very general conditions lim_N→∞X_N(t)=X(t) a.s. The process X_N(t) is compared to the diffusion processes given by

$\text{Z}{}_{\mathrm{N}}\text{(t)=x}{}_0\text{+∑}\text{1}\text{N}\text{lB}{}_1\text{N∫}{}^{\mathrm{t}}{}_0\text{ft(Z}{}_{\mathrm{N}}\text{(s))ds}$

and

$\text{V(t)=∑ l∫}{}^{\mathrm{t}}{}_0\text{f}{}_1\text{(X(s))}\text{d}\text{W}\text{?}{}_1\text{+∫}{}^{\mathrm{t}}{}_0\text{?F(X(s))·V(s)}\text{ds.}$

Under conditions satisfied by most of the applied probability models, it is shown that X_N,Z_N and V can be constructed on the same sample space in such a way that

$\text{X}{}_{\mathrm{N}}\text{(t)=Z}{}_{\mathrm{N}}\text{(t)+O}\text{logN}\text{N}$

and

$\text{N}\text{(X}{}_{\mathrm{N}}\text{(t)?X(t))=V(t)+O}\text{log N}\text{N}$