Rates of growth and sample moduli for weighted empirical processes indexed by sets

Summary Probability inequalities are obtained for the supremum of a weighted empirical process indexed by a Vapnik-ervonenkis class C of sets. These inequalities are particularly useful under the assumption P({CC:P(C)<t})»0 as t»0. They are used to obtain almost sure bounds on the rate of growth of the process as the sample size approaches infinity, to find an asymptotic sample modulus for the unweighted empirical process, and to study the ratio P _n/P of the empirical measure to the actual measure.Research supported under an NSF Postdoctoral Fellowship grant No. MCS 83-11686, and in part by NSF grant No. DMS-8301807     

On the divergence of certain Hermite-Fejér interpolation

Summary In his paper [1]P. Turán discovers the interesting behaviour of Hermite-Fejér interpolation (based on the ebyev roots) not describing the derivative values at exceptional nodes {_n} _n=1 . Answering to his question we construct such exceptional node-sequence for which the mentioned process is bounded for bounded functions whenever –1<x<1 but does not converge for a suitable continuous function at any point of the whole interval [–1, 1].     

Reduction Formulas for Karlsson–Minton-Type Hypergeometric Functions

We prove a master theorem for hypergeometric functions of Karlsson–Minton type, stating that a very general multilateral U(n) Karlsson–Minton-type hypergeometric series may be reduced to a finite sum. This identity contains the Karlsson–Minton summation formula and many of its known generalizations as special cases, and it also implies several Bailey-type identities for U(n) hypergeometric series, including multivariable ₁₀W₉ transformations of Denis and Gustafson and of Kajihara. Even in the one-variable case our identity is new, and even in this case its proof depends on the theory of multivariable hypergeometric series.     

Random Logistic Maps. I

Let {C _i} ₀ be a sequence of independent and identically distributed random variables with vales in [0, 4]. Let {X _n} ₀ be a sequence of random variables with values in [0, 1] defined recursively by X _n+1=C _n+1 X _n(1–X _n). It is shown here that: (i) E ln C ₁<0X _n0 w.p.1. (ii) E ln C ₁=0X _n0 in probability (iii) E ln C ₁>0, E |ln(4–C ₁)| such that (0, 1)=1 and is invariant for {X _n}. (iv) If there exits an invariant probability measure such that {0}=0, then E ln C ₁>0 and – ln(1–x) (dx)=E ln C ₁. (v) E ln C ₁>0, E |ln(4–C ₁)|< and {X _n} is Harris irreducible implies that the probability distribution of X _n converges in the Cesaro sense to a unique probability distribution on (0, 1) for all X ₀0.     

Regularized spectral distributions

For C a bounded, injective operator with dense image, we define a C-regularized spectral distribution. This produces a functional calculus, f f(B), from C() into the space of closed densely defined operators, such that f(B)C is bounded when f has compact support. As an analogue of Stone's theorem, we characterize certain regularized spectral distributions as corresponding to generators of polynomially bounded C-regularized groups. We represent the regularized spectral distribution in terms of the regularized group and in terms of the C-resolvent. Applications include the Schrödinger equation with potential, and symmetric hyperbolic systems, all on L^p(ⁿ) (1p<), C _o(ⁿ), BUC(ⁿ), or any space of functions where translation is a bounded strongly continuous group.     

How non-uniform can a uniform sample be: a histogram approach

Summary Let _n be the empirical probability measure associated with n i.i.d. random vectors each having a uniform distribution in the unit square S of the plane. After _n is known, take the worst partition of the square into kn rectangles R _i, each with its short side at least times as long as the long side, and let Z= n|_n(R _j)–(R _j)|. We prove distribution inequalities for Z implying the right half of c _p,(n,k)^p/2 EZ ^p C _p,(n,k ^p/2, p > 0. (The left half follows easily by considering non-random partitions.) Similar results are obtained in other dimensions, and for population distributions other than uniform, and our results are related to data based histogram density estimation.Supported by NSF Grant MCS 8201128Supported by NSF Grant DMS-8401996     

Simplicial Cohomology with Coefficients in Symmetric Categorical Groups

In this paper we introduce and study a cohomology theory {H ⁿ (–,A)} for simplicial sets with coefficients in symmetric categorical groups A. We associate to a symmetric categorical group A a sequence of simplicial sets {K(A,n)} _n0, which allows us to give a representation theorem for our cohomology. Moreover, we prove that for any n3, the functor K(–,n) is right adjoint to the functor _n , where _n (X ) is defined as the fundamental groupoid of the n-loop complex ⁿ (X ). Using this adjunction, we give another proof of how symmetric categorical groups model all homotopy types of spaces Y with _i (Y)=0 for all in,n+1 and n3; and also we obtain a classification theorem for those spaces: [–,Y]H ⁿ (–, _n (Y)).     

Über die Verteilung der primen quadratischen Reste und Nicht-Reste modp

LetP be an odd prime, denote byp _n (q _n ) then ^th prime P with (p _n /P)=1(=–1),d _n =q _n –p _n . We discuss the question whetherd _n changes sign infinitely often or not. Without using Turán's power sum method the following theorem is proved. Suppose that the L-function L(s, ), defined by the real primitive character modP, has no real root with 1/2<<1. Then the numbersd _n change sign infinitely often. The hypothesis is known to be true for allP with 2<P227 (J. B. Rosser. J. of Research of the Nat. Bureau of Standards 45, 505–514 (1950)).

     

A decomposition for the exponential dispersion model generated by the invariant measure on the hyperboloid

For = ₀, ₁, ₂) andx=(x₀, x₁, x₂) in R³, define [,x] = ₀ x ₀ – ₁ x ₁ – ₂ x ₂,C = {x³:x ₀ > 0 and [x, x]>0},R(x)=([x, x]) ^1/2 forx inC andH ₁={xC: x₀>0,R(x)=1}. Define the measure onH ₁ such that if is inC and =R(), then exp (–[,x])(dx = ( exp )^–1. Therefore, is invariant under the action ofSO (1, 2), the connected component ofO(1, 2) containing the identity. We first prove that there exists a positive measure in ³ such that its Laplace transform is ( exp )^– if and only if >1. Finally, for 1 and inC, denotingP(,)(dx) = ( exp )^– exp (–[,x])(dx, we show that ifY ₀,...,Y _n aren+1 independent variables with densityP(,),j=0,...,n and ifS _k =X ₀ + ... +X _k andQ _k =R(S _k) –R(S _k–1) –R(Y _k),k=1,...,n, then then+1 statisticsD _n = [/,S _k ] –R _{k – 1} ),Q ₁,...,Q _n are independent random variables with the exponential () or gamma (1,1/) distribution.This research has been partially funded by NSERC Grant A8947.     

Random continued fractions and inverse Gaussian distribution on a symmetric cone

In this paper we introduce the inverse Gaussian and Wishart distributions on the cone of real (n, n) symmetric positive definite matricesH _n ⁺ () and more generally on an irreducible symmetric coneC. Then we study the convergence of random continued fractions onH _n ⁺ () andC by means of real Lagrangians forH _n ⁺ () and by new algebraic identities on symmetric cones forC. Finally we get a characterization of the inverse Gaussian distribution onH _n ⁺ () andC.     

On the Rate of Clustering to the Strassen Set for Increments of the Uniform Empirical Process

We obtain outer rates of clustering in the functional laws of the iterated logarithm of Deheuvels and Mason⁽¹¹⁾ and Deheuvels,⁽⁷⁾ which describe local oscillations of empirical processes. Considering increment sizes a _n 0 such that na _n and na _n(log n)^–7/3 we show that the sets of properly rescaled increment functions cluster with probability one to the _n-enlarged Strassen ball in B(0, 1) endowed with the uniform topology, where _n 0 may be chosen so small as (log (1/a _n) + log log n)^–2/3 for any sufficiently large . This speed of coverage is reduced for smaller a _n.     

Pyramids in the complex projective plane

We study the critical points of the diameter functional on the n-fold Cartesian product of the complex projective plane C P ² with the Fubini-Study metric. Such critical points arise in the calculation of a metric invariant called the filling radius, and are akin to the critical points of the distance function. We study a special family of such critical points, P _kC P ¹C P ², k=1,2... We show that P _k is a local minimum of by verifying the positivity of the Hessian of (a smooth approximation to) at P _k. For this purpose, we use Shirokov's law of cosines and the holonomy of the normal bundle of C P ¹C P ². We also exhibit a critical point of , given by a subset which is not contained in any totally geodesic submanifold of C P ².     

On the relationship between the almost sure stability of weighted empirical distributions and sums of order statistics

Summary We shall disclose a relationship between the almost sure stability of weighted empirical distribution functions and sums of order statistics. First we obtain an extension of a theorem due to Csáki on the almost sure stability of the standardized uniform empirical distribution function. This result is then shown to be an essential tool to derive a characterization of the almost sure stability of the sum of k _nupper order statistics from a sample of n independent observations from a distribution with positive support in the domain of attraction of a non-normal stable law, where 1k _nn and k _n as n.Research performed while the author was at the Catholic University NijmegenResearch supported by the Alexander von Humboldt Foundation while the author was visiting the University of Munich on leave from the University of Delaware     

The endomorphism spectrum of an ordered set

Theendomorphism spectrum of an ordered setP, spec(P)={|f(P)|:f End(P)} andspectrum number, sp(P)=max(spec(P)\{|P|}) are introduced. It is shown that |P|>(1/2)n(n – 1) ^{n – 1} implies spec(P) = {1, 2, ...,n} and that if a projective plane of ordern exists, then there is an ordered setP of size 2n ²+2n+2 with spec(P)={1, 2, ..., 2n+2, 2n+4}. Lettingh(n)=max{|P|: sp(P)n}, it follows thatc ₁ n ²h(n)c ₂ n ⁿ⁺¹ for somec ₁ andc ₂. The lower bound disproves the conjecture thath(n)2n. It is shown that if |P| – 1 spec(P) thenP has a retract of size |P| – 1 but that for all there is a bipartite ordered set with spec(P) = {|P| – 2, |P| – 4, ...} which has no proper retract of size|P| – . The case of reflexive graphs is also treated.Partially supported by a grant from the NSERC.Partially supported by a grant from the NSERC.     

Pointwise estimation of comonotone approximation

We prove that, for a continuous functionf(x) defined on the interval [–1,1] and having finitely many intervals where it is either nonincreasing or nondecreasing, one can always find a sequence of polynomialsP _n (x) with the same local properties of monotonicity as the functionf(x) and such that ¦f(x)–P _n (x) ¦C₂(f;n^–2+n ^–11–x ²), whereC is a constant that depends on the length of the smallest interval.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 11, pp. 1467–1472, November, 1994.The author is grateful to Prof. I. A. Shevchuk for his permanent attention to the work.     

Integrals involving Gegenbauer and Hermite polynomials on the imaginary axis

Summary The integral _- [C _2n (it)]^–2(1+t ²)^–-1/2 dt is evaluated for > –1/2 whereC _2n is the Gegenbauer polynomial of degree 2n. Letting gives the value _- [H _2n (it)]^–2 e ^{1-1/2t 2} dt involving the Hermite polynomialH _2n of degree 2n. The result is obtained using Gegenbauer functions of the second kind.     

Integrability of certain solutions of differential equations

Let L=P_o(d/d_t)ⁿ+P₁(d/d_t)^n–1+...+P_n denote a formally self-adjoint differential expression on an open intervalI=(a, b) (–a. Here the P_k are complex valued with (n — k) continuous derivatives onI, and P₀(t) 0 onI. We discuss integrability of functions which are adjoint to certain fundamental solutions ofLy=y, and a related consequence.     

Average Number of Real Roots of Random Harmonic Equations

Let {g_k}be a sequence of normally distributed independent random variables with mathematical expectation zero and variance unity. Let _k (t ) (k = 0, 1, 2,...) be the normalized Jacobi polynomials orthogonal with respect to the interval [ – 1, 1 ]. Then it is proved that the average number of real roots of the random equations, _k=0 ⁿ g_kk(1)=C where Cis a constant, is asymptotically equal to n/in the same interval when nis large and even for C as long as C=O (n ²).     

A criterion for <Emphasis Type="Italic">C</Emphasis><Superscript>2</Superscript>-rectifiability of sets

The following result is proved: Let be a n-dimensional C¹-submanifold of R^N which is domain of a given _nR^N-valued map of class C¹. Then the set of all points P such that (P) is non-zero, simple and enveloped by T_P is C²-rectifiable. As a corollary we get a criterion for the C²-rectifiability of a rectifiable set based on the rectifiability of some generalized Gauss lift to the Grassmanian bundle R^N×G(N,n). Mathematics Subject Classification (2000) Primary 49Q15, 53A07; Secondary 49Q20, 49N60     

Extremal Eigenvalues of the Laplacian in a Conformal Class of Metrics: The `Conformal Spectrum'

Let M be a compact connected manifold of dimension n endowed witha conformal class C ofRiemannian metrics of volume one. For any integer k 0, we consider the conformal invariant _k ^c (C) defined as the supremum of the k-th eigenvalue _k (g) of the Laplace–Beltrami operator _g , where g runs over C.First, we give a sharp universal lower bound for _k ^c (C) extending to all k a result obtained by Friedlander andNadirashvili for k = 1. Then, we show that the sequence \{ _k ^c (C)\}, that we call `conformal spectrum',is strictly increasing and satisfies, k 0, _k+1 ^c (C) ^n/2– _k ^c (C) ^n/2 n ^n/2 _n , where _n is the volume of the n-dimensionalstandard sphere.When M is an orientable surface of genus , we also considerthe supremum _k ^top()of _k (g) over theset of all the area one Riemannian metrics on M, and study thebehavior of _k ^top() in terms of .