A trace formula for Weyl transforms with radial symbols

A trace formula for Weyl transforms onL ² () with radial symbols is given.This research has been partially supported by the Natural Sciences and Engineering Research Council of Canada under Grant OGP0008562.     

Weyl Pseudo-Differential Operator and Wigner Transform on the Poincaré Disk

The purpose of this paper is to investigate some relations between the kernel of a Weyl pseudo-differential operator and the Wigner transform on Poincaré disk defined in our previous paper [11]. The composition formula for the class of the operators defined in [11] has not been proved yet. However, some properties and relations, which are analogous to the Euclidean case, between the Weyl pseudo-differential operator and the Wigner transform have been investigated in [11]. In the present paper, an asymptotic formula for the Wigner transform of the kernel of a Weyl pseudo-differential operator as 0 is given. We also introduce a space of functions on the cotangent bundle T ^* D whose definition is based on the notion of the Schwartz space on the Poincaré disk. For an S ¹-invariant symbol in that space, we obtain a formula to reproduce the symbol from the kernel of the Weyl pseudo-differential operator.     

A Note on *-paranormal Operators

In this note we show that if either T or T^* is totally *-paranormal then Weyls theorem holds for f(T) for every f , and also a-Weyls theorem holds for f(T) if T is totally *-paranormal. We prove that if either T or T^* is *-paranormal then the spectral mapping theorem holds for the Weyl spectrum and for the essential approximate point spectrum.     

Weyl Transforms,the Heat Kernel and Green Function of a Degenerate Elliptic Operator

We give a formula for the heat kernel of a degenerate elliptic partial differential operator L on ℝ² related to the Heisenberg group. The formula is derived by means of pseudo-differential operators of the Weyl type, {i.e.}, Weyl transforms, and the Fourier–Wigner transforms of Hermite functions, which form an orthonormal basis for L²(ℝ²). Using the heat kernel, we give a formula for the Green function of L. Applications to the global hypoellipticity of L in the sense of tempered distributions, the ultracontractivity and hypercontractivity of the strongly continuous one-parameter semigroup e^−tL, t > 0, are given. Communicated by B.-W. Schulze (Potsdam) Mathematics Subject Classifications (2000): 47G30, 47E05.     

The Heat Equation for the Generalized Hermite and the Generalized Landau Operators

We give a formula for the one-parameter strongly continuous semigroups ${e^{-tL^{\lambda}}}We give a formula for the one-parameter strongly continuous semigroups e^-tLl{e^{-tL^{\lambda}}} and e^{-t [(A)\tilde]}{e^{-t \tilde{A}}}, t > 0 generated by the generalized Hermite operator L^l, l ? R\{0}{L^{\lambda}, \lambda \in {\bf R}\backslash \{0\}} respectively by the generalized Landau operator ?. These formula are derived by means of pseudo-differential operators of the Weyl type, i.e. Weyl transforms, Fourier-Wigner transforms and Wigner transforms of some orthonormal basis for L ²(R ²ⁿ ) which consist of the eigenfunctions of the generalized Hermite operator and of the generalized Landau operator. Applications to an L ² estimate for the solutions of initial value problems for the heat equations governed by L ^λ respectively ?, in terms of L ^p norm, 1 ≤ p ≤ ∞ of the initial data are given.     

Kolmogorov diameters of entire functions of given growth

The paper establishes the decrease rate of the Kolmogorov diameters of entire functions from the space L ²(0, ∞) in terms of minimal Blaschke products on the singularity sets of Borel transforms. Besides, in C(K) the decrease rate of the Kolmogorov diameters is calculated for entire functions with given finite order.     

A short proof that N 3 is not a circle containment order

A partially ordered set P is called a circle containment order provided one can assign to each xP a circle C _x so that . We show that the infinite three-dimensional poset N ³ is not a circle containment order and note that it is still unknown whether or not [n]³ is such an order for arbitrarily large n.     

Arithmetical identities of the Brauer-Rademacher type

Summary LetA be a regular arithmetical convolution andk a positive integer. LetA _k (r) = {d: d ^k A(r ^k )}, and letf A _k g denote the convolution of arithmetical functionsf andg with respect toA _k . A pair (f, g) of arithmetical functions is calledadmissible if(f A _k g)(m) 0 for allm and if the functions satisfy an arithmetical functional equation which generalizes the Brauer—Rademacher identity. Necessary and sufficient conditions are found for a pair (f, g) of multiplicative functions to be admissible, and it follows that, if(f A _k g)(m) 0 f(m) for allm, then (f, g) is admissible if and only if itsdual pair (f A _k g, g ^–1 ) is admissible.Iff andg ^–1 areA _k -multiplicative (a condition stronger than being multiplicative), and(f A _k g)(m) 0 for allm, then (f, g) is admissible, calledCohen admissible. Its dual pair is calledSubbarao admissible. If (f A _k g) ^–1 (m) 0 itsinverse pair (g ^–1 , f ^–1 ) is also Cohen admissible.Ifg is a multiplicative function then there exists a multiplicative functionf such that the pair (f, g) is admissible if and only if for everyA _k -primitive prime powerp ⁱ either (i)g(p ⁱ ) 0 or (ii)g(p ) = 0 for allp havingA _k -type equal tot. There is a similar kind of characterization of the multiplicative functions which are first components of admissible pairs of multiplicative functions. IfA _k is not the unitary convolution, then there exist multiplicative functionsg which satisfy (i) and are such that neitherg norg ^–1 isA _k -multiplicative: hence there exist admissible pairs of multiplicative functions which are neither Cohen admissible nor Subbarao admissible.An arithmetical functionf is said to be anA _k -totient if there areA _k -multiplicative functionsf _T andf _V such thatf = f _T A _k f _V ^-1 Iff andg areA _k -totients with(f A _k g)(m) 0 for allm, and iff _V = g _T , then the pair (f, g) is admissible. The class of such admissible pairs includes many pairs which are neither Cohen admissible nor Subbarao admissible. If (f, g) is a pair in this class, and iff(m), (f A _k g) ^–1 (m), g ^–1 (m),f ^–1 (m) andg(m) are all nonzero for allm, then its dual, its inverse, the dual of its inverse, the inverse of its dual and the inverse of the dual of its inverse are also admissible, and in many cases these six pairs are distinct.A number of related results, and many examples, are given.     

A class of integral transforms which are projections

We consider all convolution tranforms onL ²() which are projections, and determine their ranges and null-spaces; it turns out that all are orthogonal projections. By modification of the kernel, integral transforms are defined which are oblique projections, and their angle of inclination is approximated using finite dimensional spaces. Several families of such projections are treated and results for the angle of inclination as function of the parameters are displayed. In some cases an exact formula has been obtained.     

On the width of an orientation of a tree

There are 2 ^n-1 ways in which a tree on n vertices can be oriented. Each of these can be regarded as the (Hasse) diagram of a partially ordered set. The maximal and minimal widths of these posets are determined. The maximal width depends on the bipartition of the tree as a bipartite graph and it can be determined in time O(n). The minimal width is one of [/2] or [/2]+1, where is the number of leaves of the tree. An algorithm of execution time O(n + ² log ) to construct the minimal width orientation is given.This research was partially funded by the National Science and Engineering Research Council of Canada under Grant Number A4219.     

Regressions and monotone chains II: The poset of integer intervals

A regressive function (also called a regression or contractive mapping) on a partial order P is a function mapping P to itself such that (x)x. A monotone k-chain for is a k-chain on which is order-preserving; i.e., a chain x ₁<...ksuch that (x ₁)...(x_k). Let P _nbe the poset of integer intervals {i, i+1, ..., m} contained in {1, 2, ..., n}, ordered by inclusion. Let f(k) be the least value of n such that every regression on P _nhas a monotone k+1-chain, let t(x,j) be defined by t(x, 0)=1 and t(x,j)=x ^t(x,j–1). Then f(k) exists for all k (originally proved by D. White), and t(2,k) < f(K) <t( + _k, k) , where _k 0 as k. Alternatively, the largest k such that every regression on P _nis guaranteed to have a monotone k-chain lies between lg^*(n) and lg^*(n)–2, inclusive, where lg^*(n) is the number of appliations of logarithm base 2 required to reduce n to a negative number. Analogous results hold for choice functions, which are regressions in which every element is mapped to a minimal element.     

On sums of subsets of a set of integers

Forr2 letp(n, r) denote the maximum cardinality of a subsetA ofN={1, 2,...,n} such that there are noBA and an integery with b=y ^r. It is shown that for any>0 andn>n(), (1+o(1))2^1/(r+1) n ^{(r–1)/(r+1)}p(n, r)n ^+2/3 for allr5, and that for every fixedr6,p(n, r)=(1+o(1))·2^1/(r+1) n ^{(r–1)/(r+1)} asn. Letf(n, m) denote the maximum cardinality of a subsetA ofN such that there is noBA the sum of whose elements ism. It is proved that for 3n ^6/3+mn ²/20 log² n andn>n(), f(n, m)=[n/s]+s–2, wheres is the smallest integer that does not dividem. A special case of this result establishes a conjecture of Erds and Graham.Research supported in part by Allon Fellowship, by a Bat-Sheva de Rothschild Grant and by the Fund for Basic Research administered by the Israel Academy of Sciences.     

Index transforms for multidimensional DFT's and convolutions

Summary Index transforms ofm-dimensional arrays inton-dimensional arrays play a significant role in many fast algorithms of multivariate discrete Fourier transforms (DFT's) and cyclic convolutions. The computation ofm-dimensional long DFT's or convolutions can be transfered to the parallel computation ofn-dimensional short DFT's or convolutions (n>m). In this paper, the nature of index transforms is explored using group-theoretical ideas. We solve the open problems concerning index transforms posed recently by Hekrdla [5, 6].     

Nonnegative quadratic estimation of the mean squared errors of minimax estimators in the linear regression model

In this paper, the problem of nonnegative quadratic estimation of the mean squared errors of minimax estimators of in the linear regression modelE(y)=X, VAR(y) = ² is discussed. An explicit formula for the admissible nonnegative minimum biased estimator is given. Some applications to one-way classification model are also considered.     

The Volterra Operator is not Supercyclic

It is shown that the classical Volterra operator, which is cyclic, is not supercyclic on any of the spaces L^p[0, 1], 1 p < . This solves a question posed by Héctor Salas. This contrasts with the fact that the derivative operator, the left inverse of the Volterra operator, although unbounded, is hypercyclic on L^p[0, 1].     

Field-theoretic Weyl Quantization as a Strict and Continuous Deformation Quantization

For an arbitrary (possibly infinite-dimensional) pre-symplectic test function space the family of Weyl algebras , introduced in a previous work [1], is shown to constitute a continuous field of C^*-algebras in the sense of Dixmier. Various Poisson algebras, given as abstract (Fréchet-) ^*-algebras which are C^*-norm-dense in , are constructed as domains for a Weyl quantization, which maps the classical onto the quantum mechanical Weyl elements. This kind of a quantization map is demonstrated to realize a continuous strict deformation quantization in the sense of Rieffel and Landsman. The quantization is proved to be equivariant under the automorphic actions of the full affine symplectic group. The relationship to formal field quantization in theoretical physics is discussed by suggesting a representation dependent direct field quantization in mathematically concise terms. Communicated by Joel FeldmanSubmitted 07/10/03, accepted 07/11/03     

On illumination in the plane by line segments

We show that S E ² contains a line segment illuminator if any two points of S are illuminated by a line segment of S in a given direction or if any eight points of S are illuminated by a connected set of line segments of S and a certain connectedness condition is fulfilled. We also show that if any three points of S E ² are illuminated by a translate in S of a line segment T, then S contains a line segment illuminator, which is also a translate of T. As a further result, we have that if any three points of a polygon P are illuminated by some line segment of P then the so-called link center of P illuminates P. Finally, we prove that if any three points of an o-symmetric polygon P are illuminated by a line segment of P through the point o then P contains an o-symmetric convex illuminator which is either a line segment or a parallelogram.Partially supported by the Hungarian National Foundation for Scientific Research grant number 1238.Partially supported by the Natural Sciences and Engineering Research Council of Canada.     

Stability for hypersurfaces of constant mean curvature with free boundary

The partitioning problem for a smooth convex bodyB ³ consists in to study, among surfaces which divideB in two pieces of prescribed volume, those which are critical points of the area functional.We study stable solutions of the above problem: we obtain several topological and geometrical restrictions for this kind of surfaces. In the case thatB is a Euclidean ball we obtain stronger results.Antonio Ros is partially supported by DGICYT grant PB91-0731 and Enaldo Vergasta is partially supported by CNPq grant 202326/91-8.     

Properties of a special class of doubly stochastic measures

Summary A measure on the unit squareI } I is doubly stochastic if(A } I) = (I } A) = the Lebesgue measure ofA for every Lebesgue measurable subsetA ofI = [0, 1]. By the hairpinL L ^–1, we mean the union of the graphs of an increasing homeomorphismL onI and its inverseL ^–1. By the latticework hairpin generated by a sequence {x _n :n Z} such thatx _n-1 < x_n (n Z), x _n = 0 and x _n = 1, we mean the hairpinL L ^–1 , whereL is linear on [x _n-1 ,x _n ] andL(n) =x _n-1 forn Z. In this note, a characterization of latticework hairpins which support doubly stochastic measures is given. This allows one to construct a variety of concrete examples of such measures. In particular, examples are given, disproving J. H. B. Kemperman's conjecture concerning a certain condition for the existence of doubly stochastic measures supported in hairpins.     

Transforming binary sequences using priority queues

A priority queue transforms an input sequence into an output sequence which is a re-ordering of the sequence . The setR of all such related pairs is studied in the case that is a binary sequence. It is proved thatR is a partial order and that ¦R¦=c _n+1, the (n+1)th Catalan number. An efficient (O(n ²)) algorithm is given for computing the number of outputs achievable from a given input.