Representation ofL p-norms and isometric embedding inL p-spaces

For fixed 1≦p<∞ theL _p-semi-norms onR ⁿ are identified with positive linear functionals on the closed linear subspace ofC(R ⁿ ) spanned by the functions |<ξ, ·>| ^p , ξ∈R ⁿ . For every positive linear functional σ, on that space, the function Φ_σ:R ⁿ →R given by Φ_σ is anL _p-semi-norm and the mapping σ→Φ_σ is 1-1 and onto. The closed linear span of |<ξ, ·>| ^p , ξ∈R ⁿ is the space of all even continuous functions that are homogeneous of degreep, ifp is not an even integer and is the space of all homogeneous polynomials of degreep whenp is an even integer. This representation is used to prove that there is no finite list of norm inequalities that characterizes linear isometric embeddability, in anyL _p unlessp=2. Supported by the National Science Foundation MCS-79-06634 at U.C. Berkeley.     

Double stage estimation of population variance

Summary Consider a normal population with mean μ and variance σ². We are interested in the estimation of population variance with the help of guess value σ ₀ ² and a sample of observations. In this paper, a double stage shrinkage estimator based on the shrinkage estimatorks ₁ ² +(1-k)σ ₀ ² ifs ₁ ² ∈R and the usual estimator ifs ₁ ² ∋R, whereR is some specified region, have been proposed. The expressions for bias and mean squared error have been obtained. Comparison with the usual estimators ² have been made. It was found that though the largest gain is obtained fork=0, we can use with 0≦k≦1/2 even when σ² is very close to σ ₀ ²     

On extremal point distributions in the Euclidean plane

We ask for the maximum σ _n ^γ of Σ _i,j=1 ⁿ ‖x _i-x _j‖^γ, where x ₁,χ,x _n are points in the Euclidean plane R ² with ‖x_i-x_j‖ ≦1 for all 1≦ i,j ≦ n and where ‖.‖^γ denotes the γ-th power of the Euclidean norm, γ ≧ 1. (For γ =1 this question was stated by L. Fejes Tóth in [1].) We calculate the exact value of σ _n ^γ for all γ γ 1,0758χ and give the distributions which attain the maximum σ _n ^γ . Moreover we prove upper bounds for σ _n ^γ for all γ ≧ 1 and calculate the exact value of σ ₄ ^γ for all γ ≧ 1. This revised version was published online in June 2006 with corrections to the Cover Date.     

An extremal problem for Dirichlet-finite holomorphic functions on Riemann surfaces

Iff is a nonconstant holomorphic function with finite Dirichlet integralD(f) on a Riemann surfaceR, then |f|² has the least harmonic majorantf ₂ onR. We show Σf ₂(a ≦π ⁻¹ D(f)), wherea runs over all the roots off = 0 onR. The equality holds if and only iff is of type ℬℓ₁ fromR onto a disk of center 0. A consideration is proposed for the non-Euclidean case.     

Isotonic tests for spread and tail

Summary One-sample test problem for ‘stochastically more (or less) spread’ is defined and a family of tests with isotonic power is given. The problem is closely related to that for ‘longer (or shorter) tail’ in the reliability theory and the correspondence between them is shown. To characterize the tests three spread preorders inR ⁿ and corre-sponding tail preorders inR ₊ ⁿ are introduced. Functions which are ‘monotone’ in these orders, and subsets which are ‘centrifugal’ or ‘centripetal’ with respect to these orders are studied. These notions generalize the Schur convexity. The Institute of Statistical Mathematics     

On subgroups of the general linear group that contain a maximal nonsplit torus

The paper deals with the structure of intermediate subgroups of the general linear group GL(n, k) of degree n over a field k of odd characteristic that contain a nonsplit maximal torus related to a radical extension of degree n of the ground field k. The structure of ideal nets over a ring that determine the structure of intermediate subgroups containinga transvection is given. Let K = k( ⁿ?{d} ) K = k\left( {\sqrt[n]{d}} \right) be a radical degree-n extension of a field k of odd characteristic, and let T =(d) be a nonsplit maximal torus, which is the image of the multiplicative group of the field K under the regular embedding in G =GL(n, k). In the paper, the structure of intermediate subgroups H, T ≤ H ≤ G, that contain a transvection is studied. The elements of the matrices in the torus T = T (d) generate a subring R(d) in the field k.Let R be an intermediate subring, R(d) ⊆ R ⊆ k, d ∈ R. Let σ_R denote the net in which the ideal dR stands on the principal diagonal and above it and all entries of which beneath the principal diagonal are equal to R. Let σ^R denote the net in which all positions on the principal diagonal and beneath it are occupied by R and all entries above the principal diagonal are equal to dR. Let E(σ_R) be the subgroup generated by all transvections from the net group G(σ_R). In the paper it is proved that the product TE(σ_R) is a group (and thus an intermediate subgroup). If the net σ associated with an intermediate subgroup H coincides with σ_R,then TE(σ_R) ≤ H ≤ N(σ_R),where N(σ_R) is the normalizer of the elementary net group E(σ_R) in G. For the normalizer N(σ_R),the formula N(σ_R)= TG(σ^R) holds. In particular, this result enables one to describe the maximal intermediate subgroups. Bibliography: 13 titles.     

The minimal number of circuits in a finite set inR 2k−1

The minimal number of circuits (i.e., minimal affinely dependent subsets) in a set ofs points inR ^2k−1 isr( ₃ ⁴ )+(k−r)( ₃ ^4⋅1 ) as conjectured by J.-P. Doignon, wheres=qk+r, 0≦r<q.     

The sequence of codimensions of PI-algebras

Bounds and asymptotic formulas are given for the size of the irreducible representations of the symmetric groups. These are applied to obtain information on the identities and codimension sequencec _n(R) of a PI-algebraR, of a PI-algebraR of characteristic zero, e.g., the “ultimate” width of the hook in which the diagrams of the cocharacters ofR lies is <=(lim c _n (R)^1/n ) ² , and lim c_n(R)^1/n≦ 2(lim c_n(R)^1/n)² for rings with no right (or left) total annihilators.     

P.I.G-rings and the contractability of primes

LetR=F{x ₁, …, x_k} be a prime affine p.i. ring andS a multiplicative closed set in the center ofR, Z(R). The structure ofG-rings of the formR _s is completely determined. In particular it is proved thatZ(R _s)—the normalization ofZ(R _s) —is a prüfer ring, 1≦k.d(R _s)≦p.i.d(R _s) and the inequalities can be strict. We also obtain a related result concerning the contractability ofq, a prime ideal ofZ(R) fromR. More precisely, letQ be a prime ideal ofR maximal to satisfyQϒZ(R)=q. Then k.dZ(R)/q=k.dR/Q, h(q)=h(Q) andh(q)+k.dZ(R)/q=k.dz(R). The last condition is a necessary butnot sufficient condition for contractability ofq fromR.     

Martingales with given maxima and terminal distributions

Let μ be any probability measure onR with λ |x|dμ(x)<∞, and let μ^* denote its associated Hardy and Littlewood maximal p.m. It is shown that for any p.m.v for which μ<ν<μ^* in the usual stochastic order, there is a martingale (X _t)_0≦t≦1 for which sup_0≦t≦1 X _t andX ₁ have respective p.m. 'sv and μ. The proof uses induction and weak convergence arguments; in special cases, explicit martingale constructions are given. These results provide a converse to results of Dubins and Gilat [6]; applications are made to give sharp martingale and ‘prophet’ inequalities. Supported in part by NSF grants DMS-86-01153 and DMS-88-01818.     

The classification of injective Banach lattices

LetE be a 1-injective Banach lattice,X any Banach space andT: E ← X a norm bounded linear operator. Then eitherT is an isomorphism on some copy ofl _∞ inE or for all σ > 0 there is φ ∈E ₊ ^′ such that ‖Tu‖≦φ (|u|)+σ ‖u‖ for allu ∈E. We deduce the theorem that: A norm order continuous injective Banach lattice is order isomorphic to an (AL)-space.     

The spectral projections and the resolvent for scattering metrics

In this paper, we consider a compact manifold with boundaryX equipped with a scattering metricg as defined by Melrose [9]. That is,g is a Riemannian metric in the interior ofX that can be brought to the formg=x ⁻⁴ dx²+x^{−2 h’} near the boundary, wherex is a boundary defining function andh’ is a smooth symmetric 2-cotensor which restricts to a metrich on ϖX. LetH=Δ+V, whereV∈x ²C^∞ (X) is real, soV is a ‘short-range’ perturbation of Δ. Melrose and Zworski started a detailed analysis of various operators associated toH in [11] and showed that the scattering matrix ofH is a Fourier integral operator associated to the geodesic flow ofh on ϖX at distance π and that the kernel of the Poisson operator is a Legendre distribution onX×ϖX associated to an intersecting pair with conic points. In this paper, we describe the kernel of the spectral projections and the resolvent,R(σ±i0), on the positive real axis. We define a class of Legendre distributions on certain types of manifolds with corners and show that the kernel of the spectral projection is a Legendre distribution associated to a conic pair on the b-stretched productX _b ² (the blowup ofX ² about the corner, (ϖX)²). The structure of the resolvent is only slightly more complicated. As applications of our results, we show that there are ‘distorted Fourier transforms’ forH, i.e., unitary operators which intertwineH with a multiplication operator and determine the scattering matrix; we also give a scattering wavefront set estimate for the resolventR(σ±i0) applied to a distributionf.     

Jacobson radical of skew polynomial rings and skew group rings

LetR be a ring and σ an automorphism ofR. We prove the following results: (i)J(R _σ[x])={Σ_ir_i x ⁱ:r₀∈I∩J(R]), r _i∈I for alliε 1} whereI↪ {r∈R:rx ∈J(R _Σ[x])|s= (ii)J(R _σ<x>)=(J(R _σ<x>)∩R)_σ<x>. As an application of the second result we prove that ifG is a solvable group such thatG andR, + have disjoint torsions thenJ(R)=0 impliesJ(R(G))=0.     

Intersection properties of boxes. Part I: An upper-bound theorem

LetP be a family ofn boxes inR ^d (with edges parallel to the coordinate axes). Fork=0, 1, 2, …, denote byf _k (P) the number of subfamilies ofP of sizek+1 with non-empty intersection. We show that iff _r (P)=0 for somer≦n, then where thef _k (n, d, r) are ceg196rtain definite numbers defined by (3.4) below. The result is best possible for eachk. Fork=1 it was conjectured by G. Kalai (Israel J. Math.48 (1984), 161–174). As an application, we prove a ‘fractional’ Helly theorem for families of boxes inR ^d .     

On quasi-similarity of subnormal operators

For a compact subset K in the complex plane, let Rat(K) denote the set of the rational functions with poles off K. Given a finite positive measure with support contained in K, let R2(K,v) denote the closure of Rat(K) in L2(v) and let Sv denote the operator of multiplication by the independent variable z on R2(K, v), that is, Svf = zf for every f∈R2(K, v). SupposeΩis a bounded open subset in the complex plane whose complement has finitely many components and suppose Rat(Ω) is dense in the Hardy space H2(Ω). Letσdenote a harmonic measure forΩ. In this work, we characterize all subnormal operators quasi-similar to Sσ, the operators of the multiplication by z on R2(Ω,σ). We show that for a given v supported onΩ, Sv is quasi-similar to Sσif and only if v/■Ω■σ and log(dv/dσ)∈L1(σ). Our result extends a well-known result of Clary on the unit disk.     

On the projection and macphail constants ofl n p spaces

We prove that the projection and Macphail constants ofl _n ^p (1≦p≦2) are asymptotically equivalent ton ^1/2 andn ^−1/2 respectively. We also obtain some relations linking certain parameters of general finite dimensional real Banach spaces. This note is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Prof. J. Lindenstrauss, to whom the author wishes to express his thanks and appreciation.     

Matrices with the edmonds—Johnson property

A matrixA=(a _ij ) has theEdmonds—Johnson property if, for each choice of integral vectorsd ₁,d ₂,b ₁,b ₂, the convex hull of the integral solutions ofd ₁≦x≦d ₂,b ₁≦Ax≦b ₂ is obtained by adding the inequalitiescx≦|δ|, wherec is an integral vector andcx≦δ holds for each solution ofd ₁≦x≦d ₂,b ₁≦Ax≦b ₂. We characterize the Edmonds—Johnson property for integral matricesA which satisfy for each (row index)i. A corollary is that ifG is an undirected graph which does not contain any homeomorph ofK ₄ in which all triangles ofK ₄ have become odd circuits, thenG ist-perfect. This extends results of Boulala, Fonlupt, Sbihi and Uhry. First author’s research supported by the Netherlands Organization for the Advancement of Pure Research (Z.W.O.).     

Half-factorial-domains

LetR be a commutative domain with 1. We termR an HFD (Half-Factorial-Domain) provided the equality Π _i=1 ⁿ χ_i=Π{_f=1/^m}y _f impliesm=n, whenever thex’s and they’s are non-zero, non-unit and irreducible elements ofR. The purpose of this note is to study HFD’s, in particular, Krull domains that are HFD’s, and to provide examples of HFD’s, that contradict a conjecture of Narkiewicz.     

Biinvertible actions of Hopf algebras

We study actions of a Hopf algebraH on an algebraR such that the action is twisted by an invertible mapσ:H⊗H →R; the biinvertible condition means that these actions also have both an inverse and an antiinverse in Hom(H, EndR). WhenR is an ordinaryH-module algebra, the action is biinvertible if the antipose is bijective. As a new example we show that if theH-action is twisted and the coradical ofH is cocommutative, then the action is biinvertible. After studying the continuity of these actions with respect to the filter of ideals ofR with zero annihilator, we consider when the actions may be extended to the symmetric Martindale quotient ring ofR and itsH-analog. Our results can be applied to crossed productsR# _σ . Research supported by NSF Grant No. 89-01491.     

On the ratio of the expected maximum of a martingale and theL p-norm of its last term

For eachp>1, the supremum,S, of the absolute value of a martingale terminating at a random variableX inL _p, satisfiesES≦(Γ(q))^1/q‖X‖_p (q=p(p-1)^-1).The maximum,M, of a mean-zero martingale which starts at zero and terminates atX, satisfiesES≦(Γ(q))^1/q‖X‖_p (q=p(p-1)^-1), whereσ _q is the unique solution of the equationt = ‖Z −t ‖ _q for an exponentially distributed random variableZ with mean 1.σ _p has other characterizations and satisfies lim _p‖ q ^{− 1} σ _q =c withc determined byce ^c+1 = 1. Equalities in (1) and (2) are attainable by appropriate martingales which can be realized as stopped segments of Brownian motion. A presumably new property of the exponential distribution is obtained en route to inequality (2).