Spreading of quasimodes in the Bunimovich stadium

We consider Dirichlet eigenfunctions of the Bunimovich stadium , satisfying . Write where is the central rectangle and denotes the ``wings,' i.e., the two semicircular regions. It is a topic of current interest in quantum theory to know whether eigenfunctions can concentrate in as . We obtain a lower bound on the mass of in , assuming that itself is -normalized; in other words, the norm of is controlled by times the norm in . Moreover, if is an quasimode, the same result holds, while for an quasimode we prove that the norm of is controlled by times the norm in . We also show that the norm of may be controlled by the integral of along , where is a smooth factor on vanishing at . These results complement recent work of Burq-Zworski which shows that the norm of is controlled by the norm in any pair of strips contained in , but adjacent to .

     

A prediction problem in

For a nonnegative integrable weight function on the unit circle , we provide an expression for , in terms of the series coefficients of the outer function of , for the weighted distance , where is the normalized Lebesgue measure and ranges over trigonometric polynomials with frequencies in , , . The problem is open for .

     

Lightface -indescribable cardinals

-absoluteness for forcing means that for any forcing , . `` inaccessible to reals' means that for any real , . To measure the exact consistency strength of `` -absoluteness for forcing and is inaccessible to reals', we introduce a weak version of a weakly compact cardinal, namely, a (lightface) -indescribable cardinal; has this property exactly if it is inaccessible and .

     

On characterization and perturbation of local -semigroups

Let be a -group with generator , and let be a local -semigroup commuting with . Then the operators , , form a local -semigroup. It is proved that if is injective and is the generator of , then is closable and is the generator of . Also proved are a characterization theorem for local -semigroups with not necessarily injective and a theorem about solvability of the abstract inhomogeneous Cauchy problem:

     

Algebras generated by the disc algebra and bounded harmonic functions

Let denote the open unit disc, and let denote the disc algebra. The subsets of such that the inclusion holds for every nonconstant continuous on , or the inclusion holds for every bounded harmonic nonholomorphic function on continuous on , are characterized. In the first case the condition is that has positive measure, and in the second case that has full measure in .

     

On local irreducibility of the spectrum

Let be the algebra of complex matrices, and for denote by and the spectrum and spectral radius of respectively. Let be a domain in containing 0, and let be a holomorphic map. We prove: (1) if for , then for ; (2) if for , then again for . Both results are special cases of theorems expressing the irreducibility of the spectrum near .

     

On a problem of D. H. Lehmer

Let be an odd prime number. For we denote the inverse of modulo by with . Given , we prove that in any range of length the probability that has the same parity as tends to as . This result was previously known only to hold true in the full range of length . We will also obtain quantitative results on the pseudorandomness of the sequence for which we estimate the well-distribution and correlation measures as defined by Mauduit and Sárközy (1997).

     

Hypercyclicity in omega

A sequence of operators is said to be hypercyclic if there exists a vector , called hypercyclic for , such that is dense. A hypercyclic subspace for is a closed infinite-dimensional subspace of, except for zero, hypercyclic vectors. We prove that if is a sequence of operators on that has a hypercyclic subspace, then there exist (i) a sequence of one variable polynomials such that is hypercyclic for every fixed and (ii) an operator that maps nonzero vectors onto hypercyclic vectors for .

We complement earlier work of several authors.

     

Lower degree bounds for modular vector invariants

Let be a finite group of order divisible by a prime acting on an vector space where is the field with elements and . Consider the diagonal action of on copies of This note sharpens a lower bound for for groups which have an element of order whose Jordan blocks have sizes at most 2.

     

Sharp Marchaud and converse inequalities in Orlicz spaces

For spaces on , and , sharp versions of the classical Marchaud inequality are known. These results are extended here to Orlicz spaces (on , and ) for which is convex for some , , where is the Orlicz function. Sharp converse inequalities for such spaces are deduced.

     

More on partitioning triples of countable ordinals

Consider an arbitrary partition of the triples of all countable ordinals into two classes. We show that either for each finite ordinal  the first class of the partition contains all triples from a set of type  , or for each finite ordinal  the second class of the partition contains all triples of an -element set. That is, we prove that for each pair of finite ordinals and .

     

Dimension distortion of hyperbolically convex maps

In this note, we provide an answer to a question of D. Mejia and Chr. Pommerenke, by constructing a hyperbolically convex subdomain of the unit disc so that the conformal map from to maps a set of dimension 0 on to a set of dimension

     

A condition under which follows from

We will give some sufficient conditions for a -hyponormal operator, , to be normal, and a sufficient condition for a triplet of operators , , with , self-adjoint and unitary such that necessarily satisfies .

     

Essential numerical range of elementary operators

Let and denote two -tuples of operators with and Let denote the elementary operators defined on the Hilbert-Schmidt class by We show that

Here is the essential numerical range, is the joint numerical range and is the joint essential numerical range.

     

On frames for countably generated Hilbert -modules

Let be a countably generated Hilbert -module over a -algebra We prove that a sequence is a standard frame for if and only if the sum converges in norm for every and if there are constants such that for every We also prove that surjective adjointable operators preserve standard frames. A class of frames for countably generated Hilbert -modules over the -algebra of all compact operators on some Hilbert space is discussed.

     

On Banach lattices with Levi norms

Schmidt proved that an operator from a Banach lattice into a Banach lattice with property is order bounded if and only if its adjoint is order bounded, and in this case satisfies . In the present paper the result is generalized to Banach lattices with Levi-Fatou norm serving as range, and some characterizations of Banach lattices with a Levi norm are given. Moreover, some characterizations of Riesz spaces having property are also obtained.

     

Henselian valuations and orderings of a commutative ring

The purpose of this paper is to investigate the interplay between henselian valuations and orderings (or semiorderings) of a ring. As a main result, it is proved that for a henselian valuation on a ring , the following statements are equivalent: (1) is compatible with every semiordering of ; (2) is compatible with every ordering of ; (3) Every real prime ideal of is contained in the core of .

     

Minimal rank and reflexivity of operator spaces

Let be an -dimensional space of linear operators between the linear spaces and over an algebraically closed field . Improving results of Larson, Ding, and Li and Pan we show the following.

Theorem. Let be a basis of . Assume that every nonzero operator in has rank larger than . Then a linear operator belongs to if and only if for every , is a linear combination of .

     

Algebraic reflexivity of linear transformations

Let be the set of all linear transformations from to , where and are vector spaces over a field . We show that every -dimensional subspace of is algebraically -reflexive, where denotes the largest integer not exceeding , provided is less than the cardinality of .

     

Isomorphism of Borel full groups

Suppose that and are Polish groups which act in a Borel fashion on Polish spaces and . Let and denote the corresponding orbit equivalence relations, and and the corresponding Borel full groups. Modulo the obvious counterexamples, we show that .