The symmetric Meixner-Pollaczek polynomials with real parameter

The Symmetric Meixner-Pollaczek polynomials for λ>0 are well-studied polynomials. These are polynomials orthogonal on the real line with respect to a continuous, positive real measure. For λ?0, are also polynomials, however they are not orthogonal on the real line with respect to any real measure. This paper defines a non-standard inner product with respect to which the polynomials for λ?0, become orthogonal polynomials. It examines the major properties of the polynomials, for λ>0 which are also shared by the polynomials, for λ?0.     

Laplace and Segal-Bargmann transforms on Hermitian symmetric spaces and orthogonal polynomials

Let be a complex bounded symmetric domain of tube type in a complex Jordan algebra V and let be its real form in a formally real Euclidean Jordan algebra J⊂V; is a bounded realization of the symmetric cone in J. We consider representations of H that are gotten by the generalized Segal-Bargmann transform from a unitary G-space of holomorphic functions on to an L²-space on . We prove that in the unbounded realization the inverse of the unitary part of the restriction map is actually the Laplace transform. We find the extension to of the spherical functions on and find their expansion in terms of the L-spherical polynomials on , which are Jack symmetric polynomials. We prove that the coefficients are orthogonal polynomials in an L²-space, the measure being the Harish-Chandra Plancherel measure multiplied by the symbol of the Berezin transform. We prove the difference equation and recurrence relation for those polynomials by considering the action of the Lie algebra and the Cayley transform on the polynomials on . Finally, we use the Laplace transform to study generalized Laguerre functions on symmetric cones.     

A new majorization between functions, polynomials, and operator inequalities

Let P₊ be the set of all non-negative operator monotone functions defined on [0,∞), and put . Then and . For a function and a strictly increasing function h we write if is operator monotone. If and and if and , then . We will apply this result to polynomials and operator inequalities. Let and be non-increasing sequences, and put for t≧a₁ and for t≧b₁. Then v₊?u₊ if m≦n and : in particular, for a sequence of orthonormal polynomials, (p_n-1)₊?(p_n)₊. Suppose 0<r,p and s=0 or 1≦s≦1+p/r. Then 0≦A≦B implies for 0<α≦r/(p+r).     

Monoids with sub-log-exponential free spectra

A classic result from the 1960s states that the asymptotic growth of the free spectrum of a finite group is sub-log-exponential if and only if is nilpotent. Thus a monoid is sub-log-exponential implies , the pseudovariety of semigroups with nilpotent subgroups. Unfortunately, little more is known about the boundary between the sub-log-exponential and log-exponential monoids.The pseudovariety consists of those finite semigroups satisfying (x^ωy^ω)^ω(y^ωx^ω)^ω(x^ωy^ω)^ω≈(x^ωy^ω)^ω. Here it is shown that a monoid is sub-log-exponential implies . A quick application: a regular sub-log-exponential monoid is orthodox. It is conjectured that a finite monoid is sub-log-exponential if and only if it is , the finite monoids in having nilpotent subgroups. The forward direction of the conjecture is proved; moreover, the conjecture is proved for when is completely (0)-simple. In particular, the six-element Brandt monoid (the Perkins semigroup) is sub-log-exponential.     

Systems of orthogonal polynomials arising from the modular j-function

Let be the polynomial whose zeros are the j-invariants of supersingular elliptic curves over . Generalizing a construction of Atkin described in a recent paper by Kaneko and Zagier (Computational Perspectives on Number Theory (Chicago, IL, 1995), AMS/IP 7 (1998) 97-126), we define an inner product on for every . Suppose a system of orthogonal polynomials {P_n,ψ(x)}_n=0^∞ with respect to exists. We prove that if n is sufficiently large and ψ(x)P_n,ψ(x) is p-integral, then over . Further, we obtain an interpretation of these orthogonal polynomials as a p-adic limit of polynomials associated to p-adic modular forms.     

Cospectral graphs and the generalized adjacency matrix

Let J be the all-ones matrix, and let A denote the adjacency matrix of a graph. An old result of Johnson and Newman states that if two graphs are cospectral with respect to yJ − A for two distinct values of y, then they are cospectral for all y. Here we will focus on graphs cospectral with respect to yJ − A for exactly one value of y. We call such graphs -cospectral. It follows that is a rational number, and we prove existence of a pair of -cospectral graphs for every rational . In addition, we generate by computer all -cospectral pairs on at most nine vertices. Recently, Chesnokov and the second author constructed pairs of -cospectral graphs for all rational , where one graph is regular and the other one is not. This phenomenon is only possible for the mentioned values of , and by computer we find all such pairs of -cospectral graphs on at most eleven vertices.     

Exponentiable monomorphisms in categories of domains

We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (ω-chain in the case of ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in .     

Equivariant chain complexes, twisted homology and relative minimality of arrangements

We show that the π-equivariant chain complex (), , associated to a Morse-theoretic minimal CW-structure X on the complement of an arrangement , is independent of X. The same holds for all scalar extensions, , a field, where X is an arbitrary minimal CW-structure on a space M. When is a section of another arrangement , we show that the divisibility properties of the first Betti number of the Milnor fiber of  obstruct the homotopy realization of  as a subcomplex of a minimal structure on .If is aspherical and is a sufficiently generic section of , then may be described in terms of π, L and , for an arbitrary local system L; explicit computations may be done, when is fiber-type. In this case, explicit -presentations of arbitrary abelian scalar extensions of the first non-trivial higher homotopy group of , π_p(M), may also be obtained. For nonresonant abelian scalar extensions, the -rank of is combinatorially determined.     

Quadratic addition rules for quantum integers

For every positive integer n, the quantum integer [n]_q is the polynomial [n]_q=1+q+q²+?+q^n-1. A quadratic addition rule for quantum integers consists of sequences of polynomials , , and such that for all m and n. This paper gives a complete classification of quadratic addition rules, and also considers sequences of polynomials that satisfy the associated functional equation .     

Polynomial identities and noncommutative versal torsors

To any cleft Hopf Galois object, i.e., any algebra obtained from a Hopf algebra H by twisting its multiplication with a two-cocycle α, we attach two “universal algebras” and . The algebra is obtained by twisting the multiplication of H with the most general two-cocycle σ formally cohomologous to α. The cocycle σ takes values in the field of rational functions on H. By construction, is a cleft H-Galois extension of a “big” commutative algebra . Any “form” of can be obtained from by a specialization of and vice versa. If the algebra is simple, then is an Azumaya algebra with center . The algebra is constructed using a general theory of polynomial identities that we set up for arbitrary comodule algebras; it is the universal comodule algebra in which all comodule algebra identities of are satisfied. We construct an embedding of into ; this embedding maps the center of into when the algebra is simple. In this case, under an additional assumption, , thus turning into a central localization of . We completely work out these constructions in the case of the four-dimensional Sweedler algebra.     

Kolmogorov and linear widths of weighted Besov classes

We study the Kolmogorov m-widths and the linear m-widths of the weighted Besov classes on [−1,1], where Lq,μ, 1?q?∞, denotes the Lq space on [−1,1] with respect to the measure , μ>0. Optimal asymptotic orders of and as m→∞ are obtained for all 1?p,τ?∞. It turns out that in many cases, the orders of are significantly smaller than the corresponding orders of the best m-term approximation by ultraspherical polynomials, which is somewhat surprising.     

A note on maximality of analytic crossed products

Let G be a compact abelian group with the totally ordered dual group which admits the positive semigroup . Let N be a von Neumann algebra and be an automorphism group of on N. We denote to the analytic crossed product determined by N and α. We show that if is a maximal σ-weakly closed subalgebra of , then induces an archimedean order in .     

On the asymptotic number of inequivalent binary self-dual codes

Let Ψn be the number of inequivalent self-dual codes in . We prove that , where . Let Δn be the number of inequivalent doubly even self-dual codes in . We also prove that .