Embeddings in Spaces of Lipschitz Type, Entropy and Approximation Numbers, and Applications

We consider the embeddings of certain Besov and Triebel–Lizorkin spaces in spaces of Lipschitz type. The prototype of such embeddings arises from the result of H. Brézis and S. Wainger (1980, Comm. Partial Differential Equations5, 773–789) about the “almost” Lipschitz continuity of elements of the Sobolev spaces H^1+n/p_p( ⁿ) when 1<p<∞. Two-sided estimates are obtained for the entropy and approximation numbers of a variety of related embeddings. The results are applied to give bounds for the eigenvalues of certain pseudo-differential operators and to provide information about the mapping properties of these operators.     

A Nonsymmetric Correlation Inequality for Gaussian Measure

Letμbe a Gaussian measure (say, onRⁿ) and letK,LRⁿbe such thatKis convex,Lis a “layer” (i.e.,L={x: ax, ub} for somea, bRanduRⁿ), and the centers of mass (with respect toμ) ofKandLcoincide. Thenμ(K∩L)μ(K)·μ(L). This is motivated by the well-known “positive correlation conjecture” for symmetric sets and a related inequality of Sidak concerning confidence regions for means of multivariate normal distributions. The proof uses the estimateΦ(x)> 1−((8/π)^1/2/(3x+(x²+8)^1/2))e^−x2/2,x>−1, for the (standard) Gaussian cumulative distribution function, which is sharper than the classical inequality of Komatsu.     

Robust M-estimators of location vectors

Let X₁,…,X_n be i.i.d. random vectors in R^m, let θεR^m be an unknown location parameter, and assume that the restriction of the distribution of X₁−θ to a sphere of radius d belongs to a specified neighborhood of distributions spherically symmetric about 0. Under regularity conditions on and d, the parameter θ in this model is identifiable, and consistent M-estimators of θ (i.e., solutions of Σ_i=1ⁿψ(|X_i− |)(X_i− )=0) are obtained by using “re-descenders,” i.e., ψ's wh satisfy ψ(x)=0 for x≥c. An iterative method for solving for is shown to produce consistent and asymptotically normal estimates of θ under all distributions in . The following asymptotic robustness problem is considered: finding the ψ which is best among the re-descenders according to Huber's minimax variance criterion.     

A Note on K-Theory of Azumaya Algebras

For an Azumaya algebra A which is free over its centre R, we prove that K-theory of A is isomorphic to K-theory of R up to its rank torsions. We conclude that K _i (A, ?/m) = K _i (R, ?/m) for any m relatively prime to the rank and i ≥ 0. This covers, for example, K-theory of division algebras, K-theory of Azumaya algebras over semilocal rings, and K-theory of graded central simple algebras indexed by a totally ordered abelian group.     

On Quasi-thin Association Schemes with Odd Number of Points

Let (X, R) be an association scheme in the sense of P.-H. Zieschang (1996, “An Algebraic Approach to Association Schemes,” Lecture Notes in Mathematics, Vol. 1628, Springer, New York/Berlin), where X is a finite set and R is a partition of X × X. We say that (X, R) is quasi-thin if each element of R has a valency of at most two. In this paper we focus on quasi-thin association schemes with an odd number of points and obtain that (X, R) has a regular automorphism group when n_O^θ(R) is square-free.     

Some results on embeddings of algebras, after de Bruijn and McKenzie

In 1957, N.G. de Bruijn showed that the symmetric group Sym(Ω) on an infinite set Ω contains a free subgroup on 2^card(Ω) generators, and proved a more general statement, a sample consequence of which is that for any group A of cardinality card(Ω), the group Sym(Ω) contains a coproduct of 2^card(Ω) copies of A, not only in the variety of all groups, but in any variety of groups to which A belongs. His key lemma is here generalized to an arbitrary variety of algebras V, and formulated as a statement about functors Set V. From this one easily obtains analogs of the results stated above with “group” and Sym(Ω) replaced by “monoid” and the monoid Self(Ω) of endomaps of Ω, by “associative K-algebra” and the K-algebra End_K (V) of endomorphisms of a K-vector-space V with basis Ω, and by “lattice” and the lattice Equiv(Ω) of equivalence relations on Ω. It is also shown, extending another result from de Bruijn's 1957 paper, that each of Sym(Ω), Self(Ω) and End_K(V) contains a coproduct of 2^card(Ω) copies of itself.That paper also gave an example of a group of cardinality 2^card(Ω) that was not embeddable in Sym(Ω), and R. McKenzie subsequently established a large class of such examples. Those results are shown here to be instances of a general property of the lattice of solution sets in Sym(Ω) of sets of equations with constants in Sym(Ω). Again, similar results - this time of varying strengths - are obtained for Self(Ω), End_K(V), and Equiv(Ω), and also for the monoid Rel(Ω) of binary relations on Ω.Many open questions and areas for further investigation are noted.     

The K-theory of fields in characteristic p

We show that for a field k of characteristic p, H ⁱ (k,ℤ(n)) is uniquely p-divisible for i≠n (we use higher Chow groups as our definition of motivic cohomology). This implies that the natural map K _n ^M (k)?K _n (k) from Milnor K-theory to Quillen K-theory is an isomorphism up to uniquely p-divisible groups, and that K _n ^M (k) and K _n (k) are p-torsion free. As a consequence, one can calculate the K-theory mod p of smooth varieties over perfect fields of characteristic p in terms of cohomology of logarithmic de Rham Witt sheaves, for example K _n (X,ℤ/p ^r )=0 for n>dimX. Another consequence is Gersten’s conjecture with finite coefficients for smooth varieties over discrete valuation rings with residue characteristic p. As the last consequence, Bloch’s cycle complexes localized at p satisfy all Beilinson-Lichtenbaum-Milne axioms for motivic complexes, except possibly the vanishing conjecture. Oblatum 21-I-1998 & 26-VII-1999 / Published online: 18 October 1999     

Commutators for Fourier multipliers on Besov Spaces

If T is any bounded linear operator on Besov spaces B_p^σ_j,q_j(Rⁿ)(j=0,1, and 0<σ₁<σ<σ₀), it is proved that the commutator [T,T_μ]=TT_μ−T_μT is bounded on B_p^σ,q(Rⁿ), if T_μ is a Fourier multiplier such that μ is any (possibly unbounded) symbol with uniformly bounded variation on dyadic coronas.     

Average Width and Optimal Interpolation of the Sobolev-Wiener Class Wpq(R) in the Metric Lq(R)

In this paper, we determine the exact value of average n − K width _n(W^r_pq(R), L_q(R)) of Sobolev-Wiener class W^r_pq(R) in the metric L_q(R) for 1 > q ≥ p > ∞ and get the value of _n(W^r_p(R), L_qp(R)) for the dual case. We also solve the optimal interpolation problems of W^r_pq(R) in the metric L_q(R) and W^r_p(R) in the metric L_qp(R) for 1 < q ≤ p < ∞.     

Two New Classes of Difference Families

A Z-cyclic triplewhist tournament for 4n+1 players, or briefly a TWh(4n+1), is equivalent to a n-set {(a_i, b_i, c_i, d_i) | i=1, …, n} of quadruples partitioning Z_4n+1−{0} with the property that ⁿ_i=1 {±(a_i−c_i), ±(b_i−d_i)}=ⁿ_i=1 {±(a_i−b_i), ±(c_i−d_i)}=ⁿ_i=1 {±(a_i−d_i), ±(b_i−c_i)}=Z_4n+1−{0}. The existence problem for Z-cyclic TWh(p)'s with p a prime has been solved for p1 (mod 16). I. Anderson et al. (1995, Discrete Math.138, 31–41) treated the case of p≡5 (mod 8) while Y. S. Liaw (1996, J. Combin. Des.4, 219–233) and G. McNay (1996, Utilitas Math.49, 191–201) treated the case of p≡9 (mod 16). In this paper, besides giving easier proofs of these authors' results, we solve the problem also for primes p≡1 (mod 16). The final result is the existence of a Z-cyclic TWh(v) for any v whose prime factors are all≡1 (mod 4) and distinct from 5, 13, and 17.     

On improved estimators of the generalized variance

Treated in this paper is the problem of estimating with squared error loss the generalized variance | Σ | from a Wishart random matrix S: p × p W_p(n, Σ) and an independent normal random matrix X: p × k N(ξ, Σ I_k) with ξ(p × k) unknown. Denote the columns of X by X₍₁₎ ,…, X_(k) and set ψ⁽⁰⁾(S, X) = {(n − p + 2)!/(n + 2)!} | S |, ψ⁽ⁱ⁾(X, X) = min[ψ⁽ⁱ⁻¹⁾(S, X), {(n − p + i + 2)!/(n + i + 2)!} | S + X₍₁₎ X′₍₁₎ + + X_(i) X′_(i) |] and Ψ⁽ⁱ⁾(S, X) = min[ψ⁽⁰⁾(S, X), {(n − p + i + 2)!/(n + i + 2)!}| S + X₍₁₎ X′₍₁₎ + + X_(i) X′_(i) |], i = 1,…,k. Our result is that the minimax, best affine equivariant estimator ψ⁽⁰⁾(S, X) is dominated by each of Ψ⁽ⁱ⁾(S, X), i = 1,…,k and for every i, ψ⁽ⁱ⁾(S, X) is better than ψ⁽ⁱ⁻¹⁾(S, X). In particular, ψ^(k)(S, X) = min[{(n − p + 2)!/(n + 2)!} | S |, {(n − p + 2)!/(n + 2)!} | S + X₍₁₎X′₍₁₎|,…,| {(n − p + k + 2)!/(n + k + 2)!} | S + X₍₁₎X′₍₁₎ + + X_(k)X′_(k)|] dominates all other ψ's. It is obtained by considering a multivariate extension of Stein's result (Ann. Inst. Statist. Math. 16, 155–160 (1964)) on the estimation of the normal variance.     

Mappings of finite distortion: the degree of regularity

This paper investigates the self-improving integrability properties of the so-called mappings of finite distortion. Let K(x)1 be a measurable function defined on a domain ΩRⁿ, n2, and such that exp(βK(x))L_loc¹(Ω), β>0. We show that there exist two universal constants c₁(n),c₂(n) with the following property: Let f be a mapping in W_loc^1,1(Ω,Rⁿ) with |Df(x)|ⁿK(x)J(x,f) for a.e. xΩ and such that the Jacobian determinant J(x,f) is locally in L¹ log^−c₁(n)βL. Then automatically J(x,f) is locally in L¹ log^c₂(n)βL(Ω). This result constitutes the appropriate analog for the self-improving regularity of quasiregular mappings and clarifies many other interesting properties of mappings of finite distortion. Namely, we obtain novel results on the size of removable singularities for bounded mappings of finite distortion, and on the area distortion under this class of mappings.     

Hyperoctahedral Operations on Hochschild Homology

We construct Families {ρ^{l, k}_n} of orthogonal idempotents of the hyperoctahedral group algebras [B_n], which commute with the Hochschild boundary operators b_n=∑ⁿ_i=0 (−1)ⁱd_i. We show that those idempotents are projections onto some hyperoactahedral symmetric powers of the free Lie algebra Lie^{(l, k)}_n( ). The commutations above then decompose the Hochshild homology H_n(C) obtained by any functor C:Δ^op → K-module that factor through Fin′_B, the hyperoctahedral category. Moreover, we show that this decomposition is the finest possible for any such functor. In particular, the Hochschild homology of a commutative algebra equipped with an involutive automorphism splits into components indexed by (l, k) and the corresponding Harrison homology splits into two components indexed by (0, 1) and (1, 0). Generalizing the Harrison complex, we show that H^(l,k)_n(C)H_n(Sh^(l,k)_./Sh^{(l−1, k+1)}_., where Sh^(r,s)_.are some shuffle complexes associated to C. We also give the characters of the representations related to Lie^{(l, k)}_n( ) as a direct sum of induced characters.     

Expansions for the multivariate chi-square distribution

Three classes of expansions for the distribution function of the χ_k²(d, R)-distribution are given, where k denotes the dimension, d the degree of freedom, and R the “accompanying correlation matrix.” The first class generalizes the orthogonal series with generalized Laguerre polynomials, originally given by Krishnamoorthy and Parthasarathy [12]. The second class contains always absolutely convergent representations of the distribution function by univariate chi-square distributions and the third class provides also the probabilities for any unbounded rectangular regions. In particular, simple formulas are given for the three-variate case including singular correlation matrices R, which simplify the computation of third order Bonferroni inequalities, e.g., for the tail probabilities of max{χ_i²|1 ≤ i ≤ k} (k > 3).     

Centres of Convex Sets inLMetrics

It is shown that for each convex bodyARⁿthere exists a naturally defined family _AC(Sⁿ⁻¹) such that for everyg _A, and every convex functionf: R→Rthe mappingy∫_Sⁿ⁻¹ f(g(x)−y, x) dσ(x) has a minimizer which belongs toA. As an application, approximation of convex bodies by balls with respect toL^pmetrics is discussed.     

Characters of the infinite symplectic group—A Riesz ring approach

We classify both the finite and infinite characters of the inductive limit symplectic group G. An important feature of our technique is the systematic use of a multiplicative structure on an “ordered completion” of the K₀-group for the group C^*-algebra A of G. We also give explicit examples of the K-theory for certain primitive quotients of A.     

A new approach to Euler splines

Starting from the exponential Euler polynomials discussed by Euler in “Institutions Calculi Differentialis,” Vol. II, 1755, the author introduced in “Linear operators and approximation,” Vol. 20, 1972, the so-called exponential Euler splines. Here we describe a new approach to these splines. Let t be a constant such that t=|t|e^iα, −π<α<π,t≠0,t≠1.. Let S₁(x:t) be the cardinal linear spline such that S₁(v:t) = t^v for all v ε Z. Starting from S₁(x:t) it is shown that we obtain all higher degree exponential Euler splines recursively by the averaging operation . Here S_n(x:t) is a cardinal spline of degree n if n is odd, while is a cardinal spline if n is even. It is shown that they have the properties S_n(v:t) = t^v for v ε Z.     

Numerical properties of Chern classes of certain covering manifolds

In this paper, we study numerical properties of Chern classes of certain covering manifolds. One of the main results is the following: Let ψ : X → Pⁿ be a finite covering of the n-dimensional complex projective space branched along a hypersurface with only simple normal crossings and suppose X is nonsingular. Let c_i(X) be the i-th Chern class of X. Then (i) if the canonical divisor K_X is numerically effective, then (−1)^kc_k(X) (k ≥ 2) is numerically positive, and (ii) if X is of general type, then (−1)ⁿcⁱ_l (X) cⁱ_r, (X) > 0, where i_l + … + i_r = n. Furthermore we show that the same properties hold for certain Kummer coverings.     

Properties of Hida processes on . 2. Prediction and interpolation problems for processes on

If E is an ordered set, we study the processes Y_t, t E, for which the vectorial spaces _t generated by all the conditional expectations E(Y_sβ _t) for s ≥ t have finite dimensions d(t) ≤ N. ( _t is some convenient filtration.) We first develop a geometrical approach in the general situation and give a “Goursat's representation” Y_t = Σf_i(t)M_i(t), where the M_i(t) are martingales. We then restrict us to the cases E = or E = ² and give representations of the processes by the mean of stochastic integrals of “Goursat's kernels.” The special case when Y_t is the solution of a differential equation is considered.