Empirical and Poisson processes on classes of sets or functions too large for central limit theorems

Summary Let P be the uniform probability law on the unit cube I ^d in d dimensions, and P _n the corresponding empirical measure. For various classes of sets AI ^d , upper and lower bounds are found for the probable size of sup {¦P _n –P) (A)¦ A }. If is the collection of lower layers in I ², or of convex sets in I ³, an asymptotic lower bound is ((log n)/n) ^1/2(log log n)^––1/2 for any >0. Thus the law of the iterated logarithm fails for these classes.If >0, is the greatest integer <, and 0 d f(x₁,...,x _d-1)} where f has all its partial derivatives of orders bounded by K and those of order satisfy a uniform Hölder condition ¦D ^p (f(x)–f(y))¦K¦x –y¦ ^–. For 0<–/(d–1+) for a constant = (d,)>0. When = d-1 the same lower bound is obtained as for the lower layers in I ² or convex sets in I ³. For 0 – 1 there is also an upper bound equal to a power of log n times the lower bound, so the powers of n are sharp.This research was partially supported by National Science Foundation Grant MCS-79-04474     

Cyclic Group Actions on 4-Manifolds

Let X be a closed, oriented Riemannian 4-manifold. Suppose that a cyclic group Z( _p (p is prime) acts on X by an orientation preserving isometry with an embedded Riemann surface as fixed point set. We study the representation of Z _p on the Spin^c-bundles and the Z _p-invariant moduli space of the solutions of the Seiberg–Witten equations for a Spin^c-structure X. When the Z _p action on the determinant bundle det L acts non-trivially on the restriction L| over the fixed point set , we consider -twisted solutions of the Seiberg-Witten equations over a Spin^c-structure ' on the quotient manifold X/Z _p X', (0,1). We relate the Z _p -invariant moduli space for the Spin^c-structure on X and the -twisted moduli space for the Spin^c-structure on X'. From this we induce a one-to-one correspondence between these moduli spaces and calculate the dimension of the -twisted moduli space. When Z _p acts trivially on L|, we prove that there is a one-to-one correspondence between the Z _p -invariant moduli space M( ^Zp and the moduli space M (") where ' is a Spin^c-structure on X' associated to the quotient bundle L/Z _p X'. vskip0pt When p = 2, we apply the above constructions to a Kahler surface X with b ₂ ⁺ (X) > 3 and H ₂(X;Z) has no 2-torsion on which an anti-holomorphic involution acts with fixed point set , a Lagrangian surface with genus greater than 0 and []2H ₂(H ;Z). If _K ^X 2 > 0 or K _X ² = 0 and the genus g()> 1, we have a vanishing theorem for Seiberg–Witten invariant of the quotient manifold X'. When K _X ² = 0 and the genus g()= 1, if there is a Z ²-equivariant Spin^c-structure on X whose virtual dimension of the Seiberg–Witten moduli space is zero then there is a Spin^c-structure " on X' such that the Seiberg-Witten invariant is ±1.     

Annihilating properties of convolution operators on complex spheres

Summary This paper studies annihilating properties of operators generated by spherical convolution over the unit sphere _2q of C^q. Its specific aim is to answer the following question: given a complex number , ||1, to determine what functions of L²(_2q) have zero average over every section _w^{,q :=}{ z _2q: <z,w> = } of _2q . Here, <.,.>stands for the usual inner product of C^q.     

Minimality of root vectors of operator functions analytic in an angle

We study the minimality of elementsx _h,j,k of canonical systems of root vectors. These systems correspond to the characteristic numbers _k of operator functionsL() analytic in an angle; we assume that operators act in a Hilbert space . In particular, we consider the case whereL()=I+T()c, >0,I is an identity operator,C is a completely continuous operator, (I- C)^–1c for ¦arg¦, 0<<, the operator functionT() is analytic, and T()c for ¦arg¦<. It is proved that, in this case, there exists >0 such that the system of vectorsC ^v x _h,j,k is minimal in for arbitrary positive <1+, provided that ¦_k¦>.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 5, pp. 545–566, May, 1994.This research was partially supported by the Ukrainian State Committee of Science and Technology.     

Mean Cesàro summability of Laguerre expansions and norm estimates with shifted parameter

L ^p (0, ). , , . , , (1965) . , , ^{1/6 1/2} . . =–1/2. , .     

A Second Descent Problem for Quadratic Forms

Let F be a field of characteristic different from 2. We discuss a new descent problem for quadratic forms, complementing the one studied by Kahn and Laghribi. More precisely, we conjecture that for any quadratic form q over F and any Im(W(F) W(F(q))), there exists a quadratic form W(F) such that dim 2 dim and _F(q), where F(q) is the function field of the projective quadric defined by q = 0. We prove this conjecture for dim 3 and any q, and get partial results for dim {4, 5,6}. We also give other related results.     

Comparison results for the lower tail of Gaussian seminorms

Let =( _n ) be i.i.d.N(0, 1) random variables andq(x), q(x):R [0, ) be seminorms. We investigate necessary and sufficient conditions that the ratio ofP(q()<) andP(q()<) goes to a positive constant as 0⁺. We give satisfactory answers forl ₂-norms and also some results for sup-norms andl _p-norms. Some applications are given to the rate of escape of infinite dimensional Brownian motion, and we give the lower tail of the Ornstein-Uhlenbeck process and a weighted Brownian bridge under theL ₂-norms.     

On blocking sets in affine planes

Denote by _q an affine plane of order q. In the desarguesian case _q=AG(2,q), q 5(q= p^h, p prime), we prove that the smallest cardinality of a blocking set is 2q–1. In any arbitrary affine plane _q (desarguesian or not) with q5, for any integer k with 2q–1 k(q–1)², we construct a blocking set S with ¦S¦=k. For an irreducible blocking set S of _q we determine the upper bound S [qq]+1. We prove that if _q contains a blocking set S which is irreducible with its complementary blocking set, then necessarily _q=AG(2, 4) and S is uniquely determined. Finally we introduce techniques to obtain blocking sets in AG(2, q) and in PG(2, q).Research partially supported by G.N.S.A.G.A. (CNR)     

Distribution of primes of the form P=[tc]-[nd] in arithmetic progressions

Ew obtain an asymptotic formula and a theorem about the mean (of the type of the large sieve) for the numberF _c,d (x;q,l) of primes px such thatp=(modq), p=[t^c]=[n ^d ], t,n , whereq>0, ,c,d are given numbers.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 121, pp. 94–202, 1983.     

(q, δ)-Numeration Systems with Missing Digits

We consider the (q, ) numeration system, with basis q2 and the set of digits {, +1,,q+–1} where –(q–1)0. We study properties of numbers where some digits do not occur. This is analogous to the Cantor set {0.a₁a₂a_i{0,2}}. We compute an asymptotic equivalent of the nth moment of the Cantor (q, D)-distribution which can be described as the numbers 0. w₁w₂ with w_iD{,,q+–1}, and each such letter can occur with the same probability 1/CardD. Furthermore, we consider n random strings according to the distribution and the expected minimum of them. We find a recursion which we solve asymptotically.This author was supported by the CNRS/NRF-project no 10959. Part of this work was done during the first authors visit to the John Knopfmacher Centre for Applicable Analysis and Number Theory at the University of the Witwatersrand, Johannesburg, South Africa.This author was supported by the CNRS/NRF-project no 10959.     

The Terwilliger Algebra of a Distance-Regular Graph that Supports a Spin Model

Let denote a distance-regular graph with vertex set X, diameter D 3, valency k 3, and assume supports a spin model W. Write W = _{i = 0}^D t_i A_i where A_i is the ith distance-matrix of . To avoid degenerate situations we assume is not a Hamming graph and t_i {t₀, –t₀ } for 1 i D. In an earlier paper Curtin and Nomura determined the intersection numbers of in terms of D and two complex parameters and q. We extend their results as follows. Fix any vertex x X and let T = T(x) denote the corresponding Terwilliger algebra. Let U denote an irreducible T-module with endpoint r and diameter d. We obtain the intersection numbers c_i(U), b_i(U), a_i(U) as rational expressions involving r, d, D, and q. We show that the isomorphism class of U as a T-module is determined by r and d. We present a recurrence that gives the multiplicities with which the irreducible T-modules appear in the standard module. We compute these multiplicites explicitly for the irreducible T-modules with endpoint at most 3. We prove that the parameter q is real and we show that if is not bipartite, then q > 0 and is real.AMS 2000 Subject Classification: Primary 05E30     

Skew-symmetric association schemes with two classes and strongly regular graphs of type L 2n−1(4n−1)

A construction of a pair of strongly regular graphs ⁿ and ⁿ of type L _2n–1(4n–1) from a pair of skew-symmetric association schemes W, W of order 4n–1 is presented. Examples of graphs with the same parameters as ⁿ and ⁿ, i.e., of type L _2n–1(4n–1), were known only if 4n–1=p ³, where p is a prime. The first new graph appearing in the series has parameters (v, k, )=(225, 98, 45). A 4-vertex condition for relations of a skew-symmetric association scheme (very similar to one for the strongly regular graphs) is introduced and is proved to hold in any case. This has allowed us to check the 4-vertex condition for ⁿ and ⁿ, thus to prove that ⁿ and ⁿ are not rank three graphs if n>2.     

The Dual of the martingale Hardy space ℋΦ with general Young function Φwith general Young function Φ

[10], ¹ . [4] K _q-, , 1p2 _pp K _q, q=p/p–1)(q=+, p=1 K = ). — p ⊃<<. , , , — , K . , ( ) , q .     

Canonical Semigroups of States and Cocycles for the Group of Automorphisms of a Homogeneous Tree

Let G=A ut(T) be the group of automorphisms of a homogeneous tree and let d(v,gv) denote the natural tree distance. Fix a base vertex e in T. The function (g)=exp(–d(e,ge)), being positive definte on G, gives rise to a semigroup of states on G whose infinitesimal generator d/d|₌₀=log() is conditionally positive definite but not positive definite. Hence, log() corresponds to a nontrivial cocycle (g): GH in some representation space H . In contrast with the case of PGL(2,), the representation is not irreducible.Let _o (g) be the derivative of the spherical function corresponding to the complementary series of A ut(T). We show that –d(e,ge) and _o (g) come from cohomologous cocycles. Moreover, _o is associated to one of the two (irreducible) special representations of A ut(T).     

Exact estimates for partially monotone approximation

f(x) — , - [–1,1], (f, ) — , as— f, . . (- ) (x _i,x _{i+ 1}) (i=0, 1, ...,s–1; =–1,x _s,=1), f(x) . , n=0,1,... _n() , [– 1,1] signf(x) sign _n(x) 0, ¦f(x)– _n(x)¦ C(s) (f, 1/n+1, C(s) s. , - , « » .     

On the condition of nearness between operators

Summary Let A and B be two mappings defined on a setB taking values in a Banach spaceB ₁. We present a theory of nearness of mappings A and B. We shall prove, for instance, that A is injective, or surjective or bijective if and only if A is near B with these properties (see Appendix). We shall give sufficient conditions for the nearness in the general case and then in the particular case whereinB ₁ C¹ After recalling an appropriate definition of a quasi-basic elliptic operator (see[1] and[2]) we prove, for these operators an isomorphism theorem H^{2, q} H ₀ ¹ ,^q() L^q(), with q > 1, valid also when is not convex. This result improves an earlier result of [3]. The final section is dedicated to parabolic operators.

---

Sunto Siano A e B due applicazioni definite su un insiemeB e a valori in un spazio di BanachB ₁. Si espone una teoria delle applicazioni A e B vicine. Si dimostra, ad esempio, che A è iniettiva, o surgettiva, o bigettiva se e solo se A è vicina ad una B con queste proprietà (cfr. Appendice). Si danno condizioni sufficienti per la vicinanza nel caso generale e poi nel caso particolare in cuiB ₁ è un spazio di Hilbert. Ulteriori condizioni sufficienti si danno quando A e B sono applicazioni differenziali non variazionali, del 2 ordine, definite su un aperto R_n, di classe C₁. Ricordata una opportuna definizione di operatore ellittico quasibase (cfr. [1] e [2]) si dimostra, per questi operatori un teorema di isomorfismo H_2,q H ₀ ^1,q () L^q(), con q > 1, valevole anche quando non è convesso. Questo risultato migliora un précedente risultato di[3]. L'ultimo paragrafo è dedicato agli operatori parabolici.

---

---

This last point of the above proof was communicated to me by Dr. A.Tarsia, for which I thank him.     

Two Exterior Algebras for Orthogonal and Symplectic Quantum Groups

Let be one of the N ²-dimensional bicovariant first-order differential calculi on the quantum groups O _q (N) or Sp _q (N), where q is not a root of unity. We show that the second antisymmetrizer exterior algebra _s is the quotient of the universal exterior algebra _u by the principal ideal generated by . Here denotes the unique up to scalars bi-invariant 1-form. Moreover, is central in _u and _u is an inner differential calculus.     

Evolution in a Gaussian Random Field

We consider an evolution process in a Gaussian random field V(q) with the mean ‹V(q)› = 0 and the correlation function W(|q – q|) ‹V(q)V(q)›, where q ^d and d is the dimension of the Euclidean space ^d . For the value ‹G(q,t;q ₀)›, t > 0, of the Green's function of the evolution equation averaged over all realizations of the random field, we use the Feynman–Kac formula to establish an integral equation that is invariant with respect to a continuous renormalization group. This invariance property allows using the renormalization group method to find an asymptotic expression for ‹G(q,t;q ₀)› as |q – q ₀| and t .     

Finite Representability of ℓp in Quotients of Banach Spaces

A typical result of the paper states that if X is a Banach space with a basis and for some 1pq, the spaces _p and _q are finitely block representable in every block subspace of X, then every block subspace of X admits a block quotient Z such that for every r[p,q], the space _r is finitely block representable in Z. Results of a similar nature are also established for ^N _p-block-sequences and asymptotic spaces.     

The measure of a translated ball in uniformly convex spaces

Let (E, ¦·¦) be a uniformly convex Banach space with the modulus of uniform convexity of power type. Let be the convolution of the distribution of a random series inE with independent one-dimensional components and an arbitrary probability measure onE. Under some assumptions about the components and the smoothness of the norm we show that there exists a constant such that |{·<t}–{·+r<t}|r ^q , whereq depends on the properties of the norm. We specify it in the case ofL spaces, >1.