On the Asphericity of Length Five Relative Group Presentations

We investigate asphericity of the relative group presentation G,t |atbtctdtet=1 and prove it aspherical provided thesubgroupof G generated by ab^–1, bc^–1, cd^–1, de^–1is neither finite cyclic nor a finite triangle group. We alsoprove a similar result for the closely related relative grouppresentation G,s,t | sßst=1=tts^–1. 2000 MathematicsSubject Classification: 20F05, 57M05.     

Vinogradov's Integral and Bounds for the Riemann Zeta Function

The main result is an upper bound for the Riemann zeta functionin the critical strip: with A = 76.2 and B = 4.45, valid for 1 and |t| 3. The previousbest constant B was 18.5. Tools include a variant of the Korobov–Vinogradovmethod of bounding exponential sums, an explicit version ofT. D. Wooley's bounds for Vinogradov's integral, and explicitbounds for mean values of exponential sums over numbers withoutsmall prime factors, also using methods of Wooley. An auxiliaryresult is the exponential sum bound , where N is a positive integer, t is a real number, = log (t)/(logN) and 2000 Mathematical Subject Classification: primary 11M06, 11N05,11L15; secondary 11D72, 11M35.     

On the Pair Correlation of Zeros of the Riemann Zeta-Function

To study the distribution of pairs of zeros of the Riemann zeta-function,Montgomery introduced the function where is real and T 2, and ' denote the imaginary parts ofzeros of the Riemann zeta-function, and w(u) = 4/(4 + u²). Assumingthe Riemann Hypothesis, Montgomery proved an asymptotic formulafor F() when || 1, and made the conjecture that F() = 1 + o(1)as T for any bounded with || 1. In this paper we use anapproximation for the prime indicator function together witha new mean value theorem for long Dirichlet polynomials andtails of Dirichlet series to prove that, assuming the GeneralizedRiemann Hypothesis for all Dirichlet L-functions, then for any > 0 we have uniformlyfor and all T T₀(). 1991Mathematics Subject Classification: primary 11M26; secondary11P32.     

Multivariate R-O Varying Measures Part I: Uniform Bounds

A finite Borel measure µ on R^d is called R-O varying withindex F if there exist a GL(R^d)-valued function f varying regularlywith index (–F), an increasing function k: (0, ) (0,) with k(t) and k(t + 1)/k(t) c 1 as t , and a -finitemeasure on R^d\0 such that R-O varying measures generalize regularly varying measures introducedby Meerschaert (see M. M. Meerschaert, ‘Regular variationin R^k’, Proc. Amer. Math. Soc. 102 (1988) 341–348)and have numerous applications in limit theorems for probabilitymeasures. For an R-O varying measure µ and – < let denote the tail- andtruncated moment functions of µ in the direction || =1. The purpose of this paper is to show that R-O variation ofa measure implies sharp bounds on the growth rate of the tail-and truncated moment functions depending on the real parts ofthe eigenvalues of the index F along a compact set of directions.Furthermore, bounds on the ratio of these functions for certainvalues of a and b are obtained. 1991 Mathematics Subject Classification:60B10, 28C15.     

The Representation of Some Integers as a Subset Sum

Let A N. The cardinality (the sum of the elements) of A willbe denoted by |A| ((A)). Let m N and p be a prime. Let A {1, 2,...,p}. We prove thefollowing results. If |A| [(p+m–2)/m]+m, then for every integer x such that0 x p – 1, there is B A such that |B| = m and (B) x mod p. Moreover, the bound is attained. If |A| [(p+m–2)/m]+m!, then there is B A such that |B| 0 mod m and (B) = (m – 1)!p. If |A| [(p + 1)/3]+29, then for every even integer x such that4p s x p(p + 170)/48, there is S A such that x = (S). In particular,for every even integer a 2 such that p 192a – 170, thereare an integer j 0 and S A such that (S) = a^j+1.     

On Lp boundedness of wave operators for 4-dimensional Schrodinger operators with threshold singularities

Let H=–+V(x) be a Schrödinger operator on L²(R⁴),H₀=–. Assume that |V(x)|+| V(x)|C x ^– for some>8. Let be the wave operators. It is known that W_± extend to bounded operators in L^p(R⁴)for all 1p, if 0 is neither an eigenvalue nor a resonance ofH. We show that if 0 is an eigenvalue, but not a resonance ofH, then the W_± are still bounded in L^p(R⁴) for all psuch that 4/3<p<4.     

Rado Partition Theorem for Random Subsets of Integers

For an l x k matrix A = (a_ij) of integers, denote by L(A) thesystem of homogenous linear equations a_i1x₁ + ... + a_ikx_k =0, 1 i l. We say that A is density regular if every subsetof N with positive density, contains a solution to L(A). Fora density regular l x k matrix A, an integer r and a set ofintegers F, we write if for any partition F = F₁ ... F_r there exists i {1, 2,..., r} and a column vector x such that Ax = 0 and all entriesof x belong to F_i. Let [n]_N be a random N-element subset of{1, 2, ..., n} chosen uniformly from among all such subsets.In this paper we determine for every density regular matrixA a parameter = (A) such that lim_n P([n]_N (A)_r)=0 if N =O(n) and 1 if N = (n). 1991 Mathematics Subject Classification:05D10, 11B25, 60C05     

Sommes D'Exponentielles et Entiers Sans Grand Facteur Premier

Let S(x,y) be the set S(x,y)= 1 n x : P(n) y, where P(n) denotesthe largest prime factor of n. We study , where f is a multiplicative function. When f=1and when f=µ, we widen the domain of uniform approximationusing the method of Fouvry and Tenenbaum and making explicitthe contribution of the Siegel zero. Soit S(x,y) l'ensemble S(x,y)= 1 n x : P(n) y, désigne le plus grand facteur premier den. Nous étudions , lorsque f est une fonction multiplicative. Quand f=1 et quand f=µ,nous élargissons le domaine d'approximation uniformeenutilisant la méthode développée par Fouvryet Tenenbaum et en explicitant la contribution du zérode Siegel. 1991 Mathematics Subject Classification: 11N25, 11N99.     

Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities

We prove a nearly optimal bound on the number of stable homotopytypes occurring in a k-parameter semi-algebraic family of setsin R, each defined in terms of m quadratic inequalities. Ourbound is exponential in k and m, but polynomial in . More precisely,we prove the following. Let R be a real closed field and let = {P₁, ... , P_m} R[Y₁, ... ,Y,X₁, ... ,X_k], with deg_Y(P_i) 2, deg_X(P_i) d, 1 i m. Let S R^+k be a semi-algebraic set,defined by a Boolean formula without negations, with atoms ofthe form P 0, P 0, P . Let : R^+k R^k be the projection onthe last k coordinates. Then the number of stable homotopy typesamongst the fibers S_x = ^–1(x) S is bounded by (2^mkd)^O(mk).     

Fock Space and the Poisson Process

Using the Wiener–Poisson isomorphism, we show that if(F_t)_{0 t 1} is a real, bounded, predictable process adaptedto the filtration of a compensated Poisson process (X_t)_{0 t 1}, and if is the operator corresponding to multiplication by , then for any regular self-adjoint quantum semimartingale , the essentially self-adjoint quantumsemimartingale satisfies the quantum Ito formula. We also introduce a generalisation of the Poisson process toa measure space (M, M, µ) as an isometry I: L² (M, M,µ) L²(, F, P) and give a new construction of the generalisedWiener–Poisson isomorphism W_I: F₊ (L²(M)) L² (, F, P)using exponential vectors. Using C^*-algebra theory, given anymeasure space we construct a canonical generalised Poisson process.Unlike other constructions, we make no a priori use of Poissonmeasures. 2000 Mathematics Subject Classification 60G20, 60G35,46L53, 81S25.     

On the laplace equation with non-linear dynamical boundary conditions

The main part of the paper deals with local existence and globalexistence versus blow-up for solutions of the Laplace equationin bounded domains with a non-linear dynamical boundary condition.More precisely, we study the problem consisting in: (1) theLaplace equation in (0, ) x ; (2) a homogeneous Dirichlet condition(0, ) x ₀; (3) the dynamical boundary condition ; (4) the initial condition u(0, x) = u₀ (x) on . Here is a regular and bounded domain in Rⁿ, with n 1, and₀ and ₁ endow a measurable partition of . Moreover, m>1,2 p < r, where r = 2 (n – 1) / (n – 2) whenn 3, r = when n = 1,2, and u₀ H^1/2 , u₀ = 0 on ₀. The final part of the paper deals with a refinement of a globalnon-existence result by Levine, Park and Serrin, which is appliedto the previous problem. 2000 Mathematics Subject Classification35K55 (primary), 35K90, 35K77 (secondary).     

The Approximation Numbers of Hardy-Type Operators on Trees

The Hardy operator T_a on a tree is defined by Properties of T_a as a map from L^p() into itselfare established for 1 p . The main result is that, with appropriateassumptions on u and v, the approximation numbers a_n(T_a) ofT_a satisfy for a specified constant _p and 1 p < . This extends results of Naimark, Newmanand Solomyak for p = 2. Hitherto, for p 2, (*) was unknowneven when is an interval. Also, upper and lower estimates forthe l^q and weak-l^q norms of a_n(T_a) are determined. 2000 MathematicalSubject Classification: 47G10, 47B10.     

Projection Methods for Discrete Schrodinger Operators

Let H be the discrete Schrödinger operator acting on l² Z⁺, where the potential v is real-valued and v(n) 0 as n . Let P be the orthogonal projection onto a closedlinear subspace l² Z⁺). In a recent paper E. B. Davies definesthe second order spectrum Spec₂(H, ) of H relative to as theset of z C such that the restriction to of the operator P(H- z)²P is not invertible within the space . The purpose of thisarticle is to investigate properties of Spec₂(H, ) when islarge but finite dimensional. We explore in particular the connectionbetween this set and the spectrum of H. Our main result providessharp bounds in terms of the potential v for the asymptoticbehaviour of Spec₂(H, ) as increases towards l² Z⁺). 2000 MathematicsSubject Classification 47B36 (primary), 47B39, 81-08 (secondary).     

Hopf C*-Algebras

In this paper we define and study Hopf C^*-algebras. Roughlyspeaking, a Hopf C^*-algebra is a C^*-algebra A with a comultiplication: A M(A A) such that the maps a b (a)(1 b) and a (a 1)(b)have their range in A A and are injective after being extendedto a larger natural domain, the Haagerup tensor product A _hA. In a purely algebraic setting, these conditions on are closelyrelated to the existence of a counit and antipode. In this topologicalcontext, things turn out to be much more subtle, but neverthelessone can show the existence of a suitable counit and antipodeunder these conditions. The basic example is the C^*-algebra C₀(G) of continuous complexfunctions tending to zero at infinity on a locally compact groupwhere the comultiplication is obtained by dualizing the groupmultiplication. But also the reduced group C^*-algebra of a locally compact group with thewell-known comultiplication falls in this category. In factall locally compact quantum groups in the sense of Kustermansand the first author (such as the compact and discrete ones)as well as most of the known examples are included. This theory differs from other similar approaches in that thereis no Haar measure assumed. 2000 Mathematics Subject Classification: 46L65, 46L07, 46L89.     

On Finite and InfiniteCk-A-Determinacy

Let f: (Rⁿ,0) (R^p,0) be a C map-germ. We define f to be finitely,or -, A-determined, if there exists an integer m such that allgerms g with j^mg(0) = j^mf(0), or if all germs g with the sameinfinite Taylor series as f, respectively, are A-equivalentto f. For any integer k, 0 k < , we can consider A' sC^kcounterpart (consisting of C^k diffeomorphisms) A^(k), and wecan define the notion of finite, or -,A^(k)-determinacy in asimilar manner. Consider the following conditions for a C germf: (a_k) f is -A^(k)-determined, (b_k) f is finitely A^(k)-determined,(t) , (g) there exists a representative f : U R^p defined on some neighbourhood U of 0 in Rⁿ such thatthe multigerm of f is stable at every finite set , and (g') every f' with j f'(0)=j f(0) satisfiescondition (g). We also define a technical condition which willimply condition (g) above. This condition is a collection ofp+1 Lojasiewicz inequalities which express that the multigermof f is stable at any finite set of points outside 0 and onlybecomes unstable at a finite rate when we approach 0. We willdenote this condition by (e). With this notation we prove thefollowing. For any C map germ f:(Rⁿ,0) (R^p,0) the conditions(e), (t), (g') and (a) are equivalent conditions. Moreover,each of these conditions is equivalent to any of (a_k) (p+1 k < , (b_k) (p+1 k < ). 1991 Mathematics Subject Classification:58C27.     

Spectra of graph neighborhoods and scattering

Let (G)_>0 be a family of ‘-thin’ Riemannian manifoldsmodeled on a finite metric graph G, for example, the -neighborhoodof an embedding of G in some Euclidean space with straight edges.We study the asymptotic behavior of the spectrum of the Laplace–Beltramioperator on G, as 0, for various boundary conditions. We obtaincomplete asymptotic expansions for the kth eigenvalue and theeigenfunctions, uniformly for kC^–1, in terms of scatteringdata on a non-compact limit space. We then use this to determinethe quantum graph which is to be regarded as the limit object,in a spectral sense, of the family (G). Our method is a directconstruction of approximate eigenfunctions from the scatteringand graph data, and the use of a priori estimates to show thatall eigenfunctions are obtained in this way.     

A second-order variational problem with a lack of coercivity

For ⁿ and 2n/(n – 2) < p (2n – 4)/(n –4), we study the functional In an appropriate nonlinear space, the minimization problemcan be solved using the direct method. We also construct solutionsof the gradient flow.     

Weighted Modular Inequalities for Hardy Type Operators

Given weight functions , w, and v, the weighted modular inequality is characterized. Here Qis a strictly increasing function with Q(0) = 0, Q() = and2Q(x) Q(C x), P is a Young's function, and T is the Hardy operatoror a Hardy type operator. In particular, a characterizing conditionfor the Hardy type operator to map L^p(w) to L^q(v) when 0 <q < 1 p < is deduced. In addition, a new proof for theMaz'ja-Sinnamon theorem is given, and weighted Lorentz norminequalities for Hardy type operators are established. 1991Mathematics Subject Classification: primary 26D15, 42B25; secondary26A33, 46E30.     

Base sizes for simple groups and a conjecture of Cameron

Let G be a permutation group on a finite set . A base for Gis a subset B with pointwise stabilizer in G that is trivial;we write b(G) for the smallest size of a base for G. In thispaper we prove that b(G) 6 if G is an almost simple group ofexceptional Lie type and is a primitive faithful G-set. Animportant consequence of this result, when combined with otherrecent work, is that b(G) 7 for any almost simple group G ina non-standard action, proving a conjecture of Cameron. Theproof is probabilistic and uses bounds on fixed point ratios.     

Ideal Spaces of Banach Algebras

The ideal space Id(A) of a Banach algebra A is studied as abitopological space Id(A), _u, _n, where _u is the weakest topologyfor which all the norm functions I || a + I|| (with a A andI Id(A)) are upper semi-continuous, and _n is the de Groot dualof _u. When A is separable, _nu is either a compact, metrizabletopology, or it is neither Hausdorff nor first countable. TAF-algebrasare shown to exhibit the first type of behaviour. Applicationsto Banach bundles (which motivate the study), and to PI-Banachalgebras, are given. 1991 Mathematics Subject Classification:46H10, 46J20.