A Lattice of Quasivarieties of Normal Cryptogroups

A normal cryptogroup S is a completely regular semigroup in which is a congruence and is a normal band. We represent S as a strong semilattice of completely simple semigroups, and may set For each we set and represent by means of an h-quintuple These parameters are used to characterize certain quasivarieties of normal cryptogroups. Specifically, we construct the lattice of quasivarieties generated by the (quasi)varieties and This is the lattice generated by the lattice of quasivarieties of normal bands, groups and completely simple semigroups. We also determine the B-relation on the lattice of all quasivarieties of normal cryptogroups. Each quasivariety studied is characterized in several ways.     

Row Space Cardinalities

Let be the set of all Boolean matrices. Let R(A) denote the row space of , let , and let . By extensive computation we found that

Affine pseudo-planes with torus actions

An affine pseudo-plane X is a smooth affine surface defined over which is endowed with an -fibration such that every fiber is irreducible and only one fiber is a multiple fiber. If there is a hyperbolic -action on X and X is an -surface, we shall show that the universal covering is isomorphic to an affine hypersurface in the affine 3-space and X is the quotient of by the cyclic group via the action where and It is also shown that a -homology plane X with and a nontrivial -action is an affine pseudo-plane. The automorphism group is determined in the last section.     

Line Transversals to Translates of Unit Discs

Let be a family of convex figures in the plane. We say that has property T if there exists a line intersecting every member of . Also, the family has property T(k) if every k-membered subfamily of has property T. Let B be the unit disc centered at the origin. In this paper we prove that if a finite family of translates of B has property T(4) then the family , where , has property T. We also give some results concerning families of translates of the unit disc which has either property T(3) or property T(5).     

Asymptotics of Laurent Polynomials of Odd Degree Orthogonal with Respect to Varying Exponential Weights

Let denote the linear space over spanned by . Define the (real) inner product , where V satisfies: (i) V is real analytic on ; (ii) ; and (iii) . Orthogonalisation of the (ordered) base with respect to yields the even degree and odd degree orthonormal Laurent polynomials , and . Define the even degree and odd degree monic orthogonal Laurent polynomials: and . Asymptotics in the double-scaling limit such that of (in the entire complex plane), , and (in the entire complex plane) are obtained by formulating the odd degree monic orthogonal Laurent polynomial problem as a matrix Riemann-Hilbert problem on , and then extracting the large-n behaviour by applying the non-linear steepest-descent method introduced in [1] and further developed in [2],[3].     

Local Approximations Based on Orthogonal Differential Operators

Let M be a symmetric positive definite moment functional and let be the family of orthonormal polynomials that corresponds to M. We introduce a family of linear differential operators , called the chromatic derivatives associated with M, which are orthonormal with respect to a suitably defined scalar product. We consider a Taylor type expansion of an analytic function f(t), with the values f⁽ⁿ⁾ (t₀) of the derivatives replaced by the values of these orthonormal operators, and with monomials (t − t₀)ⁿ/n! replaced by an orthonormal family of "special functions" of the form , where . Such expansions are called the chromatic expansions. Our main results relate the convergence of the chromatic expansions to the asymptotic behavior of the coefficients appearing in the three term recurrence satisfied by the corresponding family of orthogonal polynomials P^M_n(ω). Like the truncations of the Taylor expansion, the truncations of a chromatic expansion at t = t₀ of an analytic function f(t) approximate f(t) locally, in a neighborhood of t₀. However, unlike the values of f⁽ⁿ⁾(t₀), the values of the chromatic derivatives Kⁿ[f](t₀) can be obtained in a noise robust way from sufficiently dense samples of f(t). The chromatic expansions have properties which make them useful in fields involving empirically sampled data, such as signal processing.     

Interassociates of the Free Commutative Semigroup on n Generators

The interassociates of the free commutative semigroup on n generators, for n > 1, are identified. For fixed n, let (S, ·) denote this semigroup. We show that every interassociate can be written in the form , depending only on a n-tuple . Next, if and are isomorphic interassociates of (S, ·) such that , for x_ii and x_j in the generating set of S, then . Moreover, if and only if is a permutation of .     

Autocorrelation Functions as Translation Invariants in L1 and L2

The Adler-Konheim theorem [Proc. Amer. Math. Soc. 13 (1962), 425-428] states that the collection of nth-order autocorrelation functions is a complete set of translation invariants for real-valued L¹ functions on a locally compact abelian group. It is shown here that there are proper subsets of that also form a complete set of translation invariants, and these subsets are characterized. Specifically, a subset is complete if and only if it contains infinitely many even-order autocorrelation functions. In addition, any infinite subset of is complete up to a sign. While stated here for functions on the proofs presented hold for functions on any locally compact abelian group that is not compact, in particular, on and the integer lattice      

Hardy Spaces for Laguerre Expansions

Let be the standard Laguerre functions of type a. We denote . Let and be the semigroups associated with the orthonormal systems and . We say that a function f belongs to the Hardy space associated with one of the semigroups if the corresponding maximal function belongs to . We prove special atomic decompositions of the elements of the Hardy spaces.     

Hardy Spaces on the Plane and Double Fourier Transforms

We provide a direct computational proof of the known inclusion where is the product Hardy space defined for example by R. Fefferman and is the classical Hardy space used, for example, by E.M. Stein. We introduce a third space of Hardy type and analyze the interrelations among these spaces. We give simple sufficient conditions for a given function of two variables to be the double Fourier transform of a function in and respectively. In particular, we obtain a broad class of multipliers on and respectively. We also present analogous sufficient conditions in the case of double trigonometric series and, as a by-product, obtain new multipliers on and respectively.     

Intersection pairings on singular moduli spaces of bundles over a Riemann surface and their partial desingularisations

This paper studies intersection theory on the compactified moduli space of holomorphic bundles of rank n and degree d over a fixed compact Riemann surface of genus where n and d may have common factors. Because of the presence of singularities we work with the intersection cohomology groups defined by Goresky and MacPherson and the ordinary cohomology groups of a certain partial resolution of singularities of Based on our earlier work [25], we give a precise formula for the intersection cohomology pairings and provide a method to calculate pairings on The case when n = 2 is discussed in detail. Finally Witten's integral is considered for this singular case.     

Regular Semigroups with Inverse Transversals

Let C be a semiband with an inverse transversal . In [7], G.T. Song and F.L. Zhu construct a fundamental regular semigroup with an inverse transversal . is isomorphic to a subsemigroup of the Hall semigroup of C but it is easier to handle. Its elements are partial transformations, and the operation-although not the usual composition-is defined by means of composition. Any full regular subsemigroup T of is a fundamental regular semigroup with inverse transversal . Moreover, any regular semigroup S with an inverse transversal is proved to be an idempotent-separating coextension of a full regular subsemigroup T of some . By means of a full regular subsemigroup T of some and by means of an inverse semigroup K satisfying some conditions, in this paper, we construct a regular semigroup with inverse transversal such that is isomorphic to K and to T. Furthermore, it is proved that if S is a regular semigroup with an inverse transversal then S can be constructed from the corresponding T and from in this way.     

Fourier Inequalities and Moment Subspaces in Weighted Lebesgue Spaces

For define where Pointwise estimates and weighted inequalities describing the local Lipschitz continuity of are established. Sufficient conditions are found for the boundedness of from into and a spherical restriction property is proved. A study of the moment subspaces of is next developed in the one-variable case, for locally integrable, a.e. It includes a decomposition theorem and a complete classification of all possible sequences of moment subspaces in Characterizations are also given for each class. Applications related to the approximation and decomposition of are discussed.     

On the Bernstein Constants of Polynomial Approximation

Assume is not an integer. In papers published in 1913 and 1938, S.~N.~Bernstein established the limit

Generating Self-Map Monoids of Infinite Sets

Let be a countably infinite set, the group of permutations of , and the monoid of self-maps of . Given two subgroups , let us write if there exists a finite subset such that the groups generated by and are equal. Bergman and Shelah showed that the subgroups which are closed in the function topology on S fall into exactly four equivalence classes with respect to . Letting denote the obvious analog of for submonoids of E, we prove an analogous result for a certain class of submonoids of E, from which the theorem for groups can be recovered. Along the way, we show that given two subgroups which are closed in the function topology on S, we have if and only if (as submonoids of E), and that for every subgroup (where denotes the closure of G in the function topology in S and its closure in the function topology in E).     

Density of the Set of Generators of Wavelet Systems

Given a function ψ in the affine (wavelet) system generated by ψ, associated to an invertible matrix a and a lattice Γ, is the collection of functions In this paper we prove that the set of functions generating affine systems that are a Riesz basis of ${\cal L}^2({\Bbb R}^d)$ is dense in We also prove that a stronger result is true for affine systems that are a frame of In this case we show that the generators associated to a fixed but arbitrary dilation are a dense set. Furthermore, we analyze the orthogonal case in which we prove that the set of generators of orthogonal (not necessarily complete) affine systems, that are compactly supported in frequency, are dense in the unit sphere of with the induced metric. As a byproduct we introduce the p-Grammian of a function and prove a convergence result of this Grammian as a function of the lattice. This result gives insight in the problem of oversampling of affine systems.     

Direct Sum Decomposition of L2(Rn 1) into Subspaces Invariant under Fourier Transformation

Denote by the real-linear span of , where Under the concept of left-monogeneity defined through the generalized Cauchy-Riemann operator we obtain the direct sum decomposition of

Numerical Integration over Spheres of Arbitrary Dimension

In this paper we study the worst-case error (of numerical integration) on the unit sphere for all functions in the unit ball of the Sobolev space where More precisely, we consider infinite sequences of m(n)-point numerical integration rules where: (i) is exact for all spherical polynomials of degree and (ii) has positive weights or, alternatively to (ii), the sequence satisfies a certain local regularity property. Then we show that the worst-case error (of numerical integration) in has the upper bound where the constant c depends on s and d (and possibly the sequence This extends the recent results for the sphere by K. Hesse and I.H. Sloan to spheres of arbitrary dimension by using an alternative representation of the worst-case error. If the sequence of numerical integration rules satisfies an order-optimal rate of convergence is achieved.     

Distributional Point Values and Convergence of Fourier Series and Integrals

In this article we show that the distributional point values of a tempered distribution are characterized by their Fourier transforms in the following way: If and , and is locally integrable, then distributionally if and only if there exists k such that , for each a > 0, and similarly in the case when is a general distribution. Here means in the Cesaro sense. This result generalizes the characterization of Fourier series of distributions with a distributional point value given in [5] by . We also show that under some extra conditions, as if the sequence belongs to the space for some and the tails satisfy the estimate ,\ as , the asymmetric partial sums\ converge to . We give convergence results in other cases and we also consider the convergence of the asymmetric partial integrals. We apply these results to lacunary Fourier series of distributions.