Divisors of Bernoulli Sums

Let where are independent Bernoulli random variables. In relation with the divisor problem, we evaluate the almost sure asymptotic order of the sums , where and is a sequence of positive integers. Received: May 23, 2007. Revised: June 8, 2007.     

Stability results for scattered‐data interpolation on Euclidean spheres

Let denote the unit sphere in and the geodesic distance in . A spherical‐basis function approximant is a function of the form , where are real constants, is a fixed function, and is a set of distinct points in . It is known that if is a strictly positive definite function in , then the interpolation matrix is positive definite, hence invertible, for every choice of distinct points and every positive integer M. The paper studies a salient subclass of such functions , and provides stability estimates for the associated interpolation matrices. This revised version was published online in June 2006 with corrections to the Cover Date.     

Gabor frames by sampling and periodization

By sampling the window of a Gabor frame for belonging to Feichtinger’s algebra, , one obtains a Gabor frame for . In this article we present a survey of results by R. Orr and A.J.E.M. Janssen and extend their ideas to cover interrelations among Gabor frames for the four spaces , , and . Some new results about general dual windows with respect to sampling and periodization are presented as well. This theory is used to show a new result of the Kaiblinger type to construct an approximation to the canonical dual window of a Gabor frame for .      

Reconstruction and Subgaussian Operators in Asymptotic Geometric Analysis

We present a randomized method to approximate any vector from a set . The data one is given is the set T, vectors of and k scalar products , where are i.i.d. isotropic subgaussian random vectors in , and . We show that with high probability, any for which is close to the data vector will be a good approximation of , and that the degree of approximation is determined by a natural geometric parameter associated with the set T. We also investigate a random method to identify exactly any vector which has a relatively short support using linear subgaussian measurements as above. It turns out that our analysis, when applied to {−1, 1}-valued vectors with i.i.d. symmetric entries, yields new information on the geometry of faces of a random {−1, 1}-polytope; we show that a k- dimensional random {−1, 1}-polytope with n vertices is m-neighborly for The proofs are based on new estimates on the behavior of the empirical process when F is a subset of the L ₂ sphere. The estimates are given in terms of the γ ₂ functional with respect to the ψ ₂ metric on F, and hold both in exponential probability and in expectation. Received: November 2005, Revision: May 2006, Accepted: June 2006     

Rigidity of hyperstable complexes

A module J over a ring is said to be hyperstable when . Over a module M for which Ext we show that the projective n-stems for which is hyperstable constitute a single homotopy type. Received: 17 November 2006     

On an Essentially Algebraic Theory for Locally Presentable Categories

This paper presents a general construction, defining for each given strong generator in any locally finitely presentable category an essentially algebraic, finitary theory – maximal in a certain sense – such that is equivalent to the category of models of . For regular generators , generalization to the non-finitary case is easily done, and yields a new proof of the famous characterization of many-sorted quasivarieties.     

On the Existence of Trace for Elements of \mathbb{C}_p

Let T be a transcendental element of and the orbit of T. On we have a Haar measure . The goal of this paper is to characterize all the elements of for which the integral , called the trace of T, is well defined.Presented by A. Verschoren     

Boolean Functions with small Spectral Norm

Let be a boolean function, and suppose that the spectral norm of f is at most M. Then where and each H _j is a subgroup of . This result may be regarded as a quantitative analogue of the Cohen-Helson-Rudin structure theorem for idempotent measures in locally compact abelian groups. Received: May 2006 Accepted: January 2007     

Application of the Trace Inequality to the Poisson Equation

The purpose of this paper is to show that solutions of the Poisson equation

Kinematik in der Laguerre-Ebene I

The geometry of the real Laguerre-plane is defined as the Cayley-Klein-geometry of a 3-dimensional affine space with a non-degenerate absolute conic in the ideal plane. A one-parametric family of transformations of the Laguerre-plane is called a . In this paper the kinematical foundations of the -motions are developed. Furthermore there is given a linear construction of the tangents of the curves generated under a -motion. At the end the dual and the inverse -motions are considered.     

Three-dimensional sets with small sumset

We describe the structure of three dimensional sets of lattice points, having a small doubling property. Let be a finite subset of ℤ³ such that dim = 3. If and , then lies on three parallel lines. Moreover, for every three dimensional finite set that lies on three parallel lines, if , then is contained in three arithmetic progressions with the same common difference, having together no more than terms. These best possible results confirm a recent conjecture of Freiman and cannot be sharpened by reducing the quantity υ or by increasing the upper bounds for .     

The best m-term approximation and greedy algorithms

Two theorems on nonlinear ‐term approximation in , are proved in this paper. The first one (theorem 2.1) says that if a basis is ‐equivalent to the Haar basis then a near best >‐term approximation to any can be realized by the following simple greedy type algorithm. Take the expansion and form a sum of terms with the largest out of this expansion. The second one (theorem 3.3) states that nonlinear ‐term approximations with regard to two dictionaries: the Haar basis and the set of all characteristic functions of intervals are equivalent in a very strong sense. This revised version was published online in June 2006 with corrections to the Cover Date.     

Aluthge Transforms of Complex Symmetric Operators

If denotes the polar decomposition of a bounded linear operator T, then the Aluthge transform of T is defined to be the operator . In this note we study the relationship between the Aluthge transform and the class of complex symmetric operators (T iscomplex symmetric if there exists a conjugate-linear, isometric involution so that T = CT*C). In this note we prove that: (1) the Aluthge transform of a complex symmetric operator is complex symmetric, (2) if T is complex symmetric, then and are unitarily equivalent, (3) if T is complex symmetric, then if and only if T is normal, (4) if and only if T ² = 0, and (5) every operator which satisfies T ² = 0 is necessarily complex symmetric. This work partially supported by National Science Foundation Grant DMS 0638789.     

Equivariant D-modules attached to nilpotent orbits in a semisimple Lie algebra

Let _u be a compact Lie algebra and let _u be its complexification. Let ζ^−1/2 be the inverse on the set of regular elements of _u of a square root of the discriminant of . Generalizing a result of W. Lichtenstein in the case _u = (n, ℂ) or (nℝ), we prove that ∂(q).ζ^1/2 is non zero for all harmonic polynomialsq ∈S( ) \ {0}. This fact is deduced from results about equivariantD-modules supported on the nilpotent cone of .     

OPC Lattices and Congruence Heredity

We prove that if is a finite algebra which satisfies a nontrivial idempotent Mal’cev condition, and if Con contains a copy of an order polynomially complete lattice other than , , or Con, then Con is not hereditary. Received March 7, 2006; accepted in final form December 5, 2006.     

The C r-fundamental splines of Clough–Tocher and Powell–Sabin types for Lagrange interpolation on a three direction mesh

Let Δ⁽¹⁾ be the uniform three direction mesh of the plane whose vertices are integer points of .Let (respectively of degree d=3r (respectively d=3r+1 ) for r odd (respectively even) on the triangulation , and of degree d=2r (respectively d=2r+1) for r odd (respectively even) on the triangulation . Using linear combinations of translates of these splines we obtain Lagrange interpolants whose corresponding order of approximation is optimal. This revised version was published online in June 2006 with corrections to the Cover Date.     

Selections of lattice-ordered Groups

It is well known that the quasitorsion class of archimedean -groups is the class of -groups G such that every closed convex -subgroup is a polar, and it is also well known that the class of -groups G such that every convex -subgroup is a polar is a torsion class. By defining a selection on -groups, these two results are generalized to show, whenever and are selections on -groups, the class of -groups G such that is a radical class. Three selections in particular — all convex -subgroups, all polars, and all closed convex -subgroups — and the radical classes determined by them are studied in some detail. Received March 7, 2006; accepted in final form August 29, 2006.     

Marcinkiewicz-\theta-Summability of Fourier Transforms

A general summability method of two-dimensional Fourier transforms is given with the help of an integrable function . Under some conditions on we show that the maximal operator of the Marcinkiewicz- -means of a tempered distribution is bounded from to for all and, consequently, is of weak type , where depends only on . As a consequence we obtain a generalization for Fourier transforms of a summability result due to Marcinkievicz and Zhizhiashvili, more exactly, the Marcinkiewicz- -means of a function converge a.e. to the function in question. Moreover, we prove that the Marcinkiewicz- -means are uniformly bounded on the spaces and so they converge in norm . Some special cases of the Marcinkievicz- -summation are considered, such as the Weierstrass, Picar, Bessel, Fejér, de la Vallée-Poussin, Rogosinski and Riesz summations. This revised version was published online in June 2006 with corrections to the Cover Date.     

On a subalgebra of the centre of a group ring II

Let p be a prime, G a finite group with p | |G| and F a field of characteristic p. By we denote the F-subspace of the centre of the group ring FG spanned by the p-regular conjugacy class sums. J. Murray proved that is an algebra, if G is a symmetric or alternating group. This can be used for the computation of the block idempotents of FG. We proved that is an algebra if the Sylow-p-subgroups of G are abelian. Recently, Y. Fan and B. Külshammer generalized this result to blocks with abelian defect groups. Here, we show that is an algebra if the Sylow-2-subgroups of G are dihedral. Therefore and are algebras for all primes p and all prime powers q. Furthermore we prove that is an algebra for the simple Suzuki-groups Sz(q), where q is a certain power of 2 and p is an arbitrary prime dividing |Sz(q)|. Received: 18 May 2007     

Dynamic block GMRES: an iterative method for block linear systems

We present variants of the block-GMRES() algorithms due to Vital and the block-LGMRES(,) by Baker, Dennis and Jessup, obtained with replacing the standard QR factorization by a rank-revealing QR factorization in the Arnoldi process. The resulting algorithm allows for dynamic block deflation whenever there is a linear dependency between the Krylov vectors or the convergence of a right-hand-side occurs. implementations of the algorithms were tested on a number of test matrices and the results show that in some cases a substantial reduction of the execution time is obtained. Also a parallel implementation of our variant of the block-GMRES() algorithm, using and was tested on parallel computer, showing good parallel efficiency. This work was carried out while the author was at IM/UFRGS.