Arithmetic mean of differences of Dedekind sums

Recently, Girstmair and Schoissengeier studied the asymptotic behavior of the arithmetic mean of Dedekind sums , as N → ∞. In this paper we consider the arithmetic mean of weighted differences of Dedekind sums in the form , where is a continuous function with , runs over , the set of Farey fractions of order Q in the unit interval [0,1] and are consecutive elements of . We show that the limit lim _Q→∞ A _h (Q) exists and is independent of h.     

Covering and packing in ${\Bbb Z}^n$ and ${\Bbb R}^n$, (I)

Given a finite subset of an additive group such as or , we are interested in efficient covering of by translates of , and efficient packing of translates of in . A set provides a covering if the translates with cover (i.e., their union is ), and the covering will be efficient if has small density in . On the other hand, a set will provide a packing if the translated sets with are mutually disjoint, and the packing is efficient if has large density. In the present part (I) we will derive some facts on these concepts when , and give estimates for the minimal covering densities and maximal packing densities of finite sets . In part (II) we will again deal with , and study the behaviour of such densities under linear transformations. In part (III) we will turn to . Authors’ address: Department of Mathematics, University of Colorado at Boulder, Campus Box 395, Boulder, Colorado 80309-0395, USA The first author was partially supported by NSF DMS 0074531.     

On products of <Emphasis Type="Italic">k</Emphasis> atoms

Let H be an atomic monoid. For let denote the set of all with the following property: There exist atoms (irreducible elements) u ₁, …, u _k , v ₁, …, v _m ∈ H with u ₁· … · u _k = v ₁ · … · v _m . We show that for a large class of noetherian domains satisfying some natural finiteness conditions, the sets are almost arithmetical progressions. Suppose that H is a Krull monoid with finite cyclic class group G such that every class contains a prime (this includes the multiplicative monoids of rings of integers of algebraic number fields). We show that, for every , max which settles Problem 38 in [4]. Authors’ addresses: W. Gao, Center for Combinatorics, Nankai University, Tianjin 300071, P.R. China; A. Geroldinger, Institut für Mathematik und Wissenschaftliches Rechnen, Karl-Franzens-Universit?t Graz, Heinrichstra?e 36, 8010 Graz, Austria     

Tameness of Pseudovariety Joins Involving ${\sf R}$

In this paper, we establish several decidability results for pseudovariety joins of the form , where is a subpseudovariety of or the pseudovariety . Here, (resp. ) denotes the pseudovariety of all -trivial (resp. -trivial) semigroups. In particular, we show that the pseudovariety is (completely) κ-tame when is a subpseudovariety of with decidable κ-word problem and is (completely) κ-tame. Moreover, if is a κ-tame pseudovariety which satisfies the pseudoidentity x₁ ⋯ x_ry^ω+1zt^ω = x₁ ⋯ x_ryzt^ω, then we prove that is also κ-tame. In particular the joins , , , and are decidable. Partial support by FCT, through the Centro de Matemática da Universidade do Porto, is also gratefully acknowledged. Partial support by FCT, through the Centro de Matemática da Universidade do Minho, is also gratefully acknowledged.     

Dirichlet and Bergman Spaces of Holomorphic Functions on the Unit Ball of ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Let B denote the unit ball in ⁿ, n 1, and let and denote the volume measure and gradient with respect to the Bergman metric on B. In the paper we consider the weighted Dirichlet spaces , , and weighted Bergman spaces , , , of holomorphic functions f on B for which and respectively are finite, where and The main result of the paper is the following theorem.Theorem 1. Let f be holomorphic on B and .(a) If for some , then for all p, , with .(b) If for some p, , then for all with . Combining Theorem 1 with previous results of the author we also obtain the following.Theorem 2. Suppose is holomorphic in B. If for some p, , and , then . Conversely, if for some p, , then the series in * converges.     

Geometric progressions in sumsets over finite fields

Given two sets , the set of d dimensional vectors over the finite field with q elements, we show that the sumset contains a geometric progression of length k of the form vΛ ^j , where j = 0,…, k − 1, with a nonzero vector and a nonsingular d × d matrix Λ whenever . We also consider some modifications of this problem including the question of the existence of elements of sumsets on algebraic varieties.     

Probability measures on [SIN] groups and some related ideals in group algebras

In 1921, Blichfeldt gave an upper bound on the number of integral points contained in a convex body in terms of the volume of the body. More precisely, he showed that , whenever is a convex body containing n + 1 affinely independent integral points. Here we prove an analogous inequality with respect to the surface area F(K), namely . The proof is based on a slight improvement of Blichfeldt’s bound in the case when K is a non-lattice translate of a lattice polytope, i.e., K = t + P, where and P is an n-dimensional polytope with integral vertices. Then we have . Moreover, in the 3-dimensional case we prove a stronger inequality, namely . Authors’ addresses: Martin Henk, Institut für Algebra und Geometrie, Universit?t Magdeburg, Universit?tsplatz 2, D-39106 Magdeburg, Germany; J?rg M. Wills, Mathematisches Institut, Universit?t Siegen, ENC, D-57068 Siegen, Germany     

Hypersurfaces and Codazzi tensors

In this paper we deal with the following problem. Let (M ⁿ ,〈,〉) be an n-dimensional Riemannian manifold and an isometric immersion. Find all Riemannian metrics on M ⁿ that can be realized isometrically as immersed hypersurfaces in the Euclidean space . More precisely, given another Riemannian metric on M ⁿ , find necessary and sufficient conditions such that the Riemannian manifold admits an isometric immersion into the Euclidean space . If such an isometric immersion exists, how can one describe in terms of f? Author’s address: Thomas Hasanis and Theodoros Vlachos, Department of Mathematics, University of Ioannina, 45110 Ioannina, Greece     

Embedding metric spaces into normed spaces and estimates of metric capacity

Let be an arbitrary real normed space of finite dimension d ≥ 2. We define the metric capacity of as the maximal such that every m-point metric space is isometric to some subset of (with metric induced by ). We obtain that the metric capacity of lies in the range from 3 to , where the lower bound is sharp for all d, and the upper bound is shown to be sharp for d ∈ {2, 3}. Thus, the unknown sharp upper bound is asymptotically linear, since it lies in the range from d + 2 to . Research supported by the German Research Foundation, Project AV 85/1-1.     

Smooth Universal Taylor Series

Let be a simply connected domain in , such that is connected. If g is holomorphic in Ω and every derivative of g extends continuously on , then we write g ∈ A^∞ (Ω). For g ∈ A^∞ (Ω) and we denote . We prove the existence of a function f ∈ A^∞(Ω), such that the following hold:

New spaces of functions and hyperfunctions for Hankel transforms and convolutions

In this paper we study the Hankel transformation and convolution on certain spaces of entire functions and its dual that is a space of hyperfunctions and contains the (even)-Schwartz space S _e ′. We prove that the Hankel transform is an automorphism of . Also the Hankel convolutors of are investigated. Authors’ addresses: Jorge J. Betancor, Claudio Jerez and Lourdes Rodríguez-Mesa, Departamento de Análisis Matemático, Universidad de la Laguna, Campus de Anchieta, Avda. Astrofísico Francisco Sánchez, s/n, 38271 La Laguna (Sta. Cruz de Tenerife), Espa?a; Sandra M. Molina, Departamento de Matemáticas, Facultad de Ciencias Exactas y Naturales, Universidad Nacional de Mar del Plata, Funes 3350 (7600), Mar del Plata, Argentina     

A Characteristic Property of Injective Holomorphic Germs

Let X ₀ be the germ at 0 of a complex variety and let be a holomorphic germ. We say that f is pseudoimmersive if for any such that , we have . We prove that f is pseudoimmersive if and only if it is injective. Some results about the real case are also considered.     

On Polynomially Normal Lattice Configurations

In this paper we extend Champernowne’s construction of a normal sequence in base b to the case and obtain an explicit construction of the generic point of the shift transformation of the set . We prove that the intersection of the constructed configuration with an arbitrary polynomial curve in the plane is a normal sequence in base b.     

On the Dimension of Coinvariants of Permutation Representations

Let be a univariate, separable polynomial of degree n with roots x ₁,…,x _n in some algebraic closure of the ground field . It is a classical problem of Galois theory to find all the relations between the roots. It is known that the ideal of all such relations is generated by polynomials arising from G-invariant polynomials, where G is the Galois group of f(Z). Namely: The action of G on the ordered set of roots induces an action on by permutation of the coordinates and each defines a relation P − P(x ₁,…,x _n ) called a G-invariant relation. These generate the ideal of all relations. In this note we show that the ideal of relations admits an H-basis of G-invariant relations if and only if the algebra of coinvariants has dimension ‖G‖ over . To complete the picture we then show that the coinvariant algebra of a transitive permutation representation of a finite group G has dimension ‖G‖ if and only if G = Σ _n acting via the tautological permutation representation.     

(Almost) primitivity of Hecke <Emphasis Type="Italic">L</Emphasis>-functions

Let f be a cusp form of the Hecke space and let L _f be the normalized L-function associated to f. Recently it has been proved that L _f belongs to an axiomatically defined class of functions . We prove that when λ ≤ 2, L _f is always almost primitive, i.e., that if L _f is written as product of functions in , then one factor, at least, has degree zeros and hence is a Dirichlet polynomial. Moreover, we prove that if then L _f is also primitive, i.e., that if L _f = F ₁ F ₂ then F ₁ (or F ₂) is constant; for the factorization of non-primitive functions is studied and examples of non-primitive functions are given. At last, the subset of functions f for which L _f belongs to the more familiar extended Selberg class is characterized and for these functions we obtain analogous conclusions about their (almost) primitivity in .     

A <Emphasis Type="Italic">C</Emphasis><Superscript>∞</Superscript>-Regularity Theorem for Nondegenerate CR Mappings

We prove the following regularity result: If , are smooth generic submanifolds and M is minimal, then every C^k-CR-map from M into M which is k-nondegenerate is smooth. As an application, every CR diffeomorphism of k-nondegenerate minimal submanifolds in of class C^k is smooth.     

Book Reviews

For , let E(λ_*, λ^*) be the set It has been proved in [1] and [3] that E(λ_*, λ^*) is an uncountable set. In the present paper, we strengthen this result by showing that where dim denotes the Hausdorff dimension.     

Book Reviews

For , let E(λ_*, λ^*) be the set It has been proved in [1] and [3] that E(λ_*, λ^*) is an uncountable set. In the present paper, we strengthen this result by showing that where dim denotes the Hausdorff dimension.     

Distribution of Nonlinear Congruential Pseudorandom Numbers Modulo Almost Squarefree Integers

The nonlinear congruential method is an attractive alternative to the classical linear congruential method for pseudorandom number generation. In this paper we present a new bound on the s-dimensional discrepancy of nonlinear congruential pseudorandom numbers over the residue ring modulo M for an “almost squarefree” integer M. It is useful to recall that almost all integers are of this type. Moreover, if the generator is associated with a permutation polynomial over we obtain a stronger bound “on average” over all initial values. This bound is new even in the case when M = p is prime.