A Combinatorial Application of the Maximal Ergodic Theorem

Let X be a compact space,µ a Borel probability measureon X, T: X X a measure preserving continuous transformationand g: X R a continuous function. Then for some yX, This Lemma is used to give an alternative proof of a resultby Ruzsa [6], which implies the following extension of a resultof Bergelson [1]. If E N satisfies then there exists a set N such that n–1|[1,n]| (E) for all, n 1, and any finite subset{₁, ... _k} satisfies Ø. 7 Moria St., Ramat Hasharon, Israel     

A Schwarz Lemma for the Symmetrized Bidisc

Let be an analytic function from D to the symmetrized bidisc We show that if (0) = (0,0) and () = (s, p) in the interiorof , then Moreover, the inequality is sharp: we give an explicit formulafor a suitable in the event that the inequality holds withequality. We show further that the inverse hyperbolic tangentof the left-hand side of the inequality is equal to both theCaratheodory distance and the Kobayashi distance from (0,0)to (s, p) in int      

A Radial Uniqueness Theorem for Sobolev Functions

We show that continuous functions u in the Sobolev space , 1 < p n, which have the limitzero in a certain weak sense in a set of positive p-capacityon B with where B is the open unit ball of Rⁿ and for 0 > > , are identically zero. Conversely, we produce for each 1 > p n and each positive a non-constant function u in , continuous in , and a compact set EB of positive p-capacity such that u = 0 in E and the aboveinequality holds with exponent p – l + .     

Calculs De Facteurs Epsilon De Paires Pour GLn Sur Un Corps Local, I

Soient F un corps commutatif localement compact non archimédienet un caractère additif non trivial de F. Soient unereprésentation du groupe de Weil–Deligne de F,et sa contragrédiente. Nous calculons le facteur (, , ). De manière analogue, nous calculons le facteur (x, , ) pour toute représentationadmissible irréductible de GL_n(F). En conséquence,si F est de caractéristique nulle et si et se correspondentpar la correspondance de Langlands construite par M. Harris,ou celle construite par les auteurs, alors les facteurs (, , s) et (x, , s) sont égaux pour tout nombre complexe s. Let F be a non-Archimedean local field and a non-trivial additivecharacter of F. Let be a representation of the Weil–Delignegroup of F and its contragredient representation. We compute (, , ). Analogously, we compute (x, , ) for all irreducible admissible representations of GL_n(F).Consequently, if F has characteristic zero, and , correspondvia the Langlands correspondence established by M. Harris orthe correspondence constructed by the authors, then we have(, , s) = (x, , s) for all sC. 1991 Mathematics Subject Classification22E50.     

Some Relations Between Packing Premeasure and Packing Measure

Let K be a compact subset of Rⁿ, 0 s n. Let , P^s denote s-dimensional packing premeasure andmeasure, respectively. We discuss in this paper the relationbetween and P^s. We prove:if , then ; and if , then for any > 0, there exists a compact subset F of K such that and P^s(F) P^s(K) – .1991 Mathematics Subject Classification 28A80, 28A78.     

The Bicanonical Map of Surfaces with pg = 0 and K2 >= 7

A minimal surface of general type with p_g(S) = 0 satisfies 1 K² 9, and it is known that the image of the bicanonical map is a surface for , whilst for , the bicanonical map is always a morphism. In this paper it is shown that is birationalif , and that the degree of is at most 2 if or By presenting two examples of surfaces S with and 8 and bicanonical map of degree 2, it is alsoshown that this result is sharp. The example with is, to our knowledge, a new example of a surfaceof general type with p_g = 0. The degree of is also calculated for two other known surfacesof general type with p_g = 0 and . In both cases, the bicanonical map turns out to be birational.     

Estimates of Eigenfunctions for One Class of Boundary Conditions

Requirements for boundary conditions are found which imply sharpby order estimates in L-metrics of eigenfunctions of the ordinarydifferential operator It is shown that the inequalities for the eigenfunctions {y} yield certain restrictions on thespectrum. 1991 Mathematics Subject Classification 34L05.     

Determinants of Lattices induced by Rational Subspaces

Let L and be orthogonal complementary rational linear subspaces of Eⁿ, and let = L Zⁿ and $$\stackrel{\&macr;}{\Lambda}$$ = Zⁿ be the sublatticesof the usual integer lattice Zⁿ induced by L and . Then the determinants of and are equal. The samerelationship holds between the determinants of the lattices and obtained by orthogonal projection of Zⁿ on to L and .     

On Storer Difference Sets

Let p, q be distinct odd primes, and let a, b be positive integers.In this paper we prove that if S(p^a, q^b) is a Storer differenceset with the parameters = p^aq^b, k = (–1)/4 and =(–5)/16,then we have a = b = 1, and , where , and r is a positiveinteger. 1991 Mathematics Subject Classification 05B10.     

Property (T) for C*-Algebras

A notion of Property (T) is defined for an arbitrary unitalC*-algebra A admitting a tracial state. This is extended toa notion of Property (T) for a pair (A, B) where B is a C*-subalgebraof A. Let be a discrete group and its reduced algebra. We show that has Property (T) if and only if the group has Property (T).More generally, given a subgroup of , the pair has Property (T) if and only if the pair of groups(, ) has Property (T). 2000 Mathematics Subject Classification46L05, 22D25.     

On the Discrete Hardy Inequality

Necessary and sufficient conditions for the boundedness of thediscrete Hardy operator of the form , from to when 0 < q < 1 <p , is given.     

On the Best Constant in Weighted Inequalities for Riemann-Liouville Integrals

For 1 k < and 1 p q , the problem of finding the bestconstant C_pq in the weighted inequality involving the Riemann-Liouville integrals of theform is considered.     

On Approximately Midconvex Functions

A real-valued function f defined on an open, convex set D ofa real normed space is called (, )-midconvex if it satisfies The main result of the paper states that if f is locally boundedfrom above at a point of D and is (, )-midconvex, then it satisfiesthe convexity-type inequality where : [0, 1] R is a continuous function satisfying The particular case = 0 of this result is due to Ng and Nikodem(Proc. Amer. Math. Soc. 118 (1993) 103–108), while thespecialization = = 0 yields the theorem of Bernstein and Doetsch(Math. Ann. 76 (1915) 514–526). 2000 Mathematics SubjectClassification 26A51, 26B25.     

Outer Automorphisms on Cuntz Algebras

We prove that if an automorphism on the Cuntz algebra O_n satisfies(S₁) = S₁ for one isometry S₁ of generators S₁, ..., S_n suchthat , , l i n and a complex number with modulus one,then it is outer. In particular, any non trivial automorphismon O_n leaving one generator fixed is outer.     

Uniqueness of a Nonharmonic Trigonometric Series under an Exponential Growth Condition

We prove uniqueness for the nonharmonic trigonometric series under the weaker condition (*) where , for some 0 < < 1. In other words, if satisfies the above condition (*), and if , then a_k = 0 for all k = 0, 1,.... Finally, we statean improvement of Zygmund's uniqueness result as a corollary.     

Generalized Catalan Numbers, Weyl Groups and Arrangements of Hyperplanes

For an irreducible, crystallographic root system in a Euclideanspace V and a positive integer m, the arrangement of hyperplanesin V given by the affine equations (, x) = k, for and k =0, 1, ..., m, is denoted here by . The characteristic polynomial of is related in the paper to that of the Coxeter arrangement A(corresponding to m = 0), and the number of regions into whichthe fundamental chamber of A is dissected by the hyperplanesof is deduced to be equal to the product , where e₁,e₂, ..., e_l are the exponents of and h is the Coxeter number.A similar formula for the number of bounded regions follows.Applications to the enumeration of antichains in the root posetof are included. 2000 Mathematics Subject Classification 20F55(primary), 05A15, 52C35 (secondary).     

Intersections of the Left and Right Essential Spectra of 2 x 2 Upper Triangular Operator Matrices

In this paper, perturbations of the left and right essentialspectra of 2 x 2 upper triangular operator matrix M_C are studied,where is an operator acting on the Hilbert space H K. For given operators A and B, thesets and are determined, where _le(T) and _re(T) denote, respectively,the left essential spectrum and the right essential spectrumof an operator T. 2000 Mathematics Subject Classification 47A10,47A55.     

Sub- and Superadditive Properties of Fejer's sine Polynomial

Let be Fejér's sine polynomial. We prove the following statements.

1. The inequality holds for all x, y (0, ) with x + y < if and only if 0 and + rß 1.
2. The converse of the above inequality is valid for allx, y (0, ) with x + y < if and only if 0 and + rß 1.
3. For all n N and x, y [0, ] we have . Both bounds are best possible.

2000 Mathematics Subject Classification 42A05, 26D05 (primary),39B62 (secondary).     

Un Critere De La Derivee Cinquieme Pour Les Sommes D'Exponentielles

Nous donnons une majoration de la somme d'exponentielles lorsque la dérivée cinquièmede f est d'un ordre de grandeur constant petit, noté, en fonction de M et de , améliorant un résultatancien de Van Der Corput. La démonstration utilise unthéorème de moyenne des puissances sixièmesde sommes d'exponentielles qui fait l'objet d'un article indépendant[6]. We give a bound for the exponential sum where f is a real-valued function whose fifth derivativeis of a constant small size, say , by means of M and , improvingan old result of Van Der Corput. The proof relies on a meanvalue theorem for sixth powers of exponential sums which istreated independently in [6]. 1991 Mathematics Subject Classification11L07.     

On Prime Divisors of Binomial Coefficients

In 1985, Sárközy proved a conjecture of Erdösby showing that ) is never square-free for sufficiently large n. By applying a new estimateon exponential sums, we prove that this also holds for if dis not ‘too big’. Let 0 < < 1, p₀ N. For m m₀ and 1 k m satisfying |m– 2k| < m^{1 –} , there is a prime p > p₀ suchthat .