An uncertainty principle for convolution operators on discrete groups

Consider a discrete group and a bounded self-adjoint convolution operator on ; let be the spectrum of . The spectral theorem gives a unitary isomorphism between and a direct sum , where , and is a regular Borel measure supported on . Through this isomorphism corresponds to multiplication by the identity function on each summand. We prove that a nonzero function and its transform cannot be simultaneously concentrated on sets , such that and the cardinality of are both small. This can be regarded as an extension to this context of Heisenberg's classical uncertainty principle.

     

A characterization of total reflection orders

Let be a Coxeter system with set of reflections . It is known that if is a total reflection order for , then, for each , and its complement are stable under conjugation by . Moreover the upper and lower -conjugates of are still total reflection orders. For any total order on , say that is stable if is stable under conjugation by for each . We prove that if and all orders obtained from by successive lower or upper -conjugations are stable, then is a total reflection order.

     

A generalization of a theorem of Heins

Let be the family of holomorphic selfmaps of the unit disk in the complex plane . Heins established the continuity of the functional which assigns to ( denotes the identity map) either (i) the fixed point of or (ii) the limit of its iterations or (iii) if ( represents the boundary of ). Using an Abate extension of the Denjoy-Wolff lemma to strongly convex domains, we extend this result of Heins to selfmaps of strongly convex domains in with boundary.

     

On the boundary of attractors with non-void interior

Let be a family of contractive mappings on such that the attractor has nonvoid interior. We show that if the 's are injective, have non-vanishing Jacobian on , and have zero Lebesgue measure for then the boundary of has measure zero. In addition if the 's are affine maps, then the conclusion can be strengthened to . These improve a result of Lagarias and Wang on self-affine tiles.

     

The Furuta inequality in Banach -algebras

Let be real numbers with and Furuta (1987) proved that if bounded linear operators on a Hilbert space satisfy , then . This inequality is called the Furuta inequality and has many applications. In this paper, we prove that the Furuta inequality holds in a unital hermitian Banach -algebra with continuous involution.

     

Integer-valued polynomials over Krull-type domains and Prüfer -multiplication domains

Let be a domain with quotient field . The ring of integer-valued polynomials over is . We characterize the Krull-type domains such that is a Prüfer -multiplication domain.

     

On the divergence of the means of double Walsh-Fourier series

In 1992, Móricz, Schipp and Wade proved the a.e. convergence of the double means of the Walsh-Fourier series () for functions in ( is the unit square). This paper aims to demonstrate the sharpness of this result. Namely, we prove that for all measurable function we have a function such as and does not converge to a.e. (in the Pringsheim sense).

     

On the excess of sets of complex exponentials

For let be complex numbers such that is bounded. For define , where . Then the excesses in the sense of Paley and Wiener satisfy .

     

Uniqueness of the least-energy solution for a semilinear Neumann problem

We prove that the least-energy solution of the problem

where is a ball, and if , if , is unique (up to rotation) if is small enough.

     

Long time heat diffusion on homogeneous trees

Let be a homogeneous tree of degree , , the Laplace operator of and the fundamental solution of the heat equation on . We show that the heat kernel is asymptotically concentrated in an annulus moving to infinity with finite speed . Asymptotic concentration of heat in the norm is also investigated.

     

Reflection and uniqueness theorems for harmonic functions

Suppose that is harmonic on an open half-ball in such that the origin 0 is the centre of the flat part of the boundary . If has non-negative lower limit at each point of and tends to 0 sufficiently rapidly on the normal to at 0, then has a harmonic continuation by reflection across . Under somewhat stronger hypotheses, the conclusion is that . These results strengthen recent theorems of Baouendi and Rothschild. While the flat boundary set can be replaced by a spherical surface, it cannot in general be replaced by a smooth -dimensional manifold.

     

Yang index of the deleted product

For any a -dimensional polyhedron is constructed such that the Yang index of its deleted product equals . This answers a question of Izydorek and Jaworowski (1995). For any a -dimensional closed manifold with involution is constructed such that , but can be mapped into a -dimensional polyhedron without antipodal coincidence.

     

Universal -lattices of minimal rank

Let be the minimal rank of -universal -lattices, by which we mean positive definite -lattices which represent all positive -lattices of rank . It is a well known fact that for . In this paper, we determine and find all -universal lattices of rank for .

     

The globally irreducible representations of symmetric groups

Let be an algebraic number field and be the ring of integers of . Let be a finite group and be a finitely generated torsion free -module. We say that is a globally irreducible -module if, for every maximal ideal of , the -module is irreducible, where stands for the residue field .

Answering a question of Pham Huu Tiep, we prove that the symmetric group does not have non-trivial globally irreducible modules. More precisely we establish that if is a globally irreducible -module, then is an -module of rank with the trivial or sign action of .

     

Extremal points of a functional on the set of convex functions

We investigate the extremal points of a functional , for a convex or concave function . The admissible functions are convex themselves and satisfy a condition . We show that the extremal points are exactly and if these functions are convex and coincide on the boundary . No explicit regularity condition is imposed on , , or . Subsequently we discuss a number of extensions, such as the case when or are non-convex or do not coincide on the boundary, when the function also depends on , etc.

     

A bound on the reduction number of a primary ideal

Let be a local ring of positive dimension and let be an -primary ideal. We denote the reduction number of by , which is the smallest integer such that for some reduction of In this paper we give an upper bound on in terms of numerical invariants which are related with the Hilbert coefficients of when is Cohen-Macaulay. If , it is known that where denotes the multiplicity of If in Corollary 1.5 we prove where is the first Hilbert coefficient of From this bound several results follow. Theorem 1.3 gives an upper bound on in a more general setting.

     

Annihilating a subspace of with the sign of a continuous function

Let be a -finite, nonatomic, Baire measure space. Let be a finite dimensional subspace of . There is a bounded, continuous function, , defined on , such that

(1) for all , and (2) almost everywhere.

     

Iwasawa invariants and class numbers of quadratic fields for the prime

Let be a square-free integer with and . Put and . For the cyclotomic -extension of , we denote by the -th layer of over . We prove that the -Sylow subgroup of the ideal class group of is trivial for all integers if and only if the class number of is not divisible by the prime . This enables us to show that there exist infinitely many real quadratic fields in which splits and whose Iwasawa -invariant vanishes.

     

On a theorem of Scott and Swarup

Let be an exact sequence of hyperbolic groups induced by an automorphism of the free group . Let be a finitely generated distorted subgroup of . Then there exist and a free factor of such that the conjugacy class of is preserved by and contains a finite index subgroup of a conjugate of . This is an analog of a theorem of Scott and Swarup for surfaces in hyperbolic 3-manifolds.

     

On conditions for polyconvexity

We give an example of a smooth function , which is not polyconvex and which has the property that its restriction to any ball of radius one can be extended to a smooth polyconvex function . In particular, it implies that there exists no `local condition' which is necessary and sufficient for polyconvexity of functions , where , . We also briefly discuss connections with quasiconvexity.