title: On closed unbounded sets consisting of former regulars

abstract: We give the optimal conditions for the existence of a club consisting of former regular over an inaccessible and a measurable. The foricing construction based on iteration of distributive posets.


title: Type and cotype with respect to arbitrary orthonormal systems

abstract: Let $\on_{k \in \nz}$ be an orthonormal system on some $\sigma$-finite measure space $(\Om,p)$. We study the notion of cotype with respect to $\Phi$ for an operator $T$ between two Banach spaces $X$ and $Y$, defined by $\fco T := \inf$ $c$ such that \[ \Tfmm \pl \le \pl c \pll \gmm \hspace{.7cm}\mbox{for all}\hspace{.7cm} (x_k)\subset X \pl,\] where $(g_k)_{k\in \nz}$ is a sequence of independent and normalized gaussian variables. It is shown that this $\Phi$-cotype coincides with the usual notion of cotype $2$ iff \linebreak $\fco {I_{\lin}} \sim \sqrt{\frac{n}{\log (n+1)}}$ uniformly in $n$ iff there is a positive $\eta>0$ such that for all $n \in \nz$ one can find an orthonormal $\Psi = (\psi_l)_1^n \subset {\rm span}\{ \phi_k \p|\p k \in \nz\}$ and a sequence of disjoint measurable sets $(A_l)_1^n \subset \Om$ with \[ \int\limits_{A_l} \bet \psi_l\rag^2 d p \pl \ge \pl \eta \quad \mbox{for all}\quad l=1,...,n \pl. \] A similar result holds for the type situation. The study of type and cotype with respect to orthonormal systems of a given length provides the appropriate approach to this result. We intend to give a quite complete picture for orthonormal systems in measure space with few atoms.


title: Q-Reflexive Banach spaces

abstract: Let $E$ be a Banach space and, for any positive integer $n$, let ${\cal P}(^nE)$ denote the Banach space of continuous $n$-homogeneous polynomials on $E$. Davie and Gamelin showed that the natural extension mapping from ${\cal P}(^nE)$ to ${\cal P}(^nE^{\ast\ast})$ is an isometry into the latter space. Here, we investigate when there is a natural isomorphism between ${\cal P}(^nE)^{\ast\ast}$ and ${\cal P}(^nE^{\ast\ast})$. Among other things, we show that if $E$ satisfies: \break (a) no spreading model built on a normalised weakly null sequence has a lower $q$-estimate for any $q < \infty,$ (b) $E^{\ast}$ has RNP, and (c) $E^{\ast}$ has the approximation property, then ${\cal P}(^nE)$ has RNP for every $n$. Moreover, if $E$ satisfies (a) and is such that $E^{\ast\ast}$ has both the RNP and the approximation property, then ${\cal P}(^nE)^{\ast\ast}$ and ${\cal P}(^nE^{\ast\ast})$ are isomorphic for every $n$. We also exhibit a quasi-reflexive Banach space $E$ for which ${\cal P}(^nE)^{\ast\ast}$ and ${\cal P}(^nE^{\ast\ast})$ are isomorphic for every $n$. Related work has been done recently by (i) M. Gonzalez, (ii) M. Valdivia, and (iii) J. Jaramillo, A. Prieto, and I. Zalduendo.


title: On a weak type (1,1) inequality for a maximal conjugate function

abstract: In a celebrated paper, Burkholder, Gundy, and Silverstein used Brownian motion to derive a maximal function characterization of H^p spaces for 0 < p < infinity. In this paper, we show that their method extends to higher dimensions and yields a dimension-free weak type (1,1) estimate for a conjugate function on the N-dimensional torus.


title: Criterion for the resolvent set of nonsymmetric tridiagonal operators

abstract: We study nonsymmetric tridiagonal operators acting in the Hilbert space $\ell^2$ and describe the spectrum and the resolvent set of such operators in terms of a continued fraction related to the resolvent. In this way we establish a connection between Pad\'e approximants and spectral properties of nonsymmetric tridiagonal operators.


title: Weak convergence of orthogonal polynomials

abstract: The weak convergence of orthogonal polynomials is given under conditions on the asymptotic behaviour of the coefficients in the three-term recurrence relation. The results generalize known results and are applied to several systems of orthogonal polynomials, including orthogonal polynomials on a finite set of points.


title: On the number of non-isomorphic subgraphs

abstract: Let K be the family of graphs on omega_1 without cliques or independent subsets of size omega_1 . We prove that: 1) it is consistent with CH that every G in K has 2^{omega_1} many pairwise non-isomorphic subgraphs, 2) the following proposition holds in L: (*) there is a G in K such that for each partition (A,B) of omega_1 either G cong G[A] or G cong G[B], 3) the failure of (*) is consistent with ZFC.


title: Can you feel the double jump?

abstract: Paul Erd\H{o}s and Alfred Renyi considered the evolution of the random graph G(n,p) as p ``evolved'' from 0 to 1. At p=1/n a sudden and dramatic change takes place in G. When p=c/n with c<1 the random G consists of small components, the largest of size Theta(log n). But by p=c/n with c>1 many of the components have ``congealed'' into a ``giant component'' of size Theta (n). Erd\H{o}s and Renyi called this the double jump, the terms phase transition (from the analogy to percolation) and Big Bang have also been proferred. Now imagine an observer who can only see G through a logical fog. He may refer to graph theoretic properties A within a limited logical language. Will he be able to detect the double jump? The answer depends on the strength of the language. Our rough answer to this rough question is: the double jump is not detectible in the First Order Theory of Graphs but it is detectible in the Second Order Monadic Theory of Graphs.


title: Complete quotient Boolean algebras

abstract: For I a proper, countably complete ideal on P(X) for some set X, can the quotient Boolean algebra P(X)/I be complete? This question was raised by Sikorski in 1949. By a simple projection argument as for measurable cardinals, it can be assumed that X is an uncountable cardinal kappa, and that I is a kappa-complete ideal on P(kappa) containing all singletons. In this paper we provide consequences from and consistency results about completeness.


title: Universal theories categorical in power and kappa-generated models

abstract: We investigate a notion called uniqueness in power kappa that is akin to categoricity in power kappa, but is based on the cardinality of the generating sets of models instead of on the cardinality of their universes. The notion is quite useful for formulating categoricity-like questions regarding powers below the cardinality of a theory. We prove, for (uncountable) universal theories T, that if T is kappa-unique for one uncountable kappa, then it is kappa-unique for every uncountable kappa ; in particular, it is categorical in powers greater than the cardinality of T.


title: Random sparse unary predicates

abstract: The main result is the following Theorem: Let p=p(n) be such that p(n) in [0,1] for all n and either p(n)<< n^{-1} or for some positive integer k, n^{-1/k}<< p(n)<< n^{-1/(k+1)} or for all epsilon >0, n^{- epsilon}<< p(n) and n^{- epsilon}<< 1-p(n) or for some positive integer k, n^{-1/k}<< 1-p(n)<< n^{-1/(k+1)} or 1-p(n)<< n^{-1}. Then p(n) satisfies the Zero-One Law for circular unary predicates. Inversely, if p(n) falls into none of the above categories then it does not satisfy the Zero-One Law for circular unary predicates.


title: Killing Luzin and Sierpinski sets

abstract: We will kill the old Luzin and Sierpinski sets in order to build a model where U(Meager) = U(Null)= aleph_1 and there are neither Luzin nor Sierpinski sets. Thus we answer a question of J. Steprans, communicated by S. Todorcevic on route from Evans to MSRI.


title: The strength of the isomorphism property

abstract: In section 1 of this paper, we characterize the isomorphism property of nonstandard universes in terms of the realization of some second--order types in model theory. In section 2, several applications are given. One of the applications answers a question of D. Ross about infinite Loeb measure spaces


title: Essential Kurepa trees versus essential Jech---Kunen trees

abstract: By an omega_1 --tree we mean a tree of size omega_1 and height omega_1. An omega_1 --tree is called a Kurepa tree if all its levels are countable and it has more than omega_1 branches. An omega_1 --tree is called a Jech--Kunen tree if it has kappa branches for some kappa strictly between omega_1 and 2^{omega_1}. A Kurepa tree is called an essential Kurepa tree if it contains no Jech--Kunen subtrees. A Jech--Kunen tree is called an essential Jech--Kunen tree if it contains no Kurepa subtrees. In this paper we prove that (1) it is consistent with CH and 2^{omega_1}> omega_2 that there exist essential Kurepa trees and there are no essential Jech--Kunen trees, (2) it is consistent with CH and 2^{omega_1}> omega_2 plus the existence of a Kurepa tree with 2^{omega_1} branches that there exist essential Jech--Kunen trees and there are no essential Kurepa trees. In the second result we require the existence of a Kurepa tree with 2^{omega_1} branches in order to avoid triviality.


title: Decomposing Baire class 1 functions into continuous functions

abstract: Let dec be the least cardinal kappa such that every function of first Baire class can be decomposed into kappa continuous functions. Cichon, Morayne, Pawlikowski and Solecki proved that cov(Meager) <= dec <= d and asked whether these inequalities could, consistently, be strict. By cov(Meager) is meant the least number of closed nowhere dense sets required to cover the real line and by d is denoted the least cardinal of a dominating family in omega^omega. Steprans showed that it is consistent that cov(Meager) not= dec. In this paper we show that the second inequality can also be made strict. The model where dec is different from d is the one obtained by adding omega_2 Miller - sometimes known as super-perfect or rational-perfect - reals to a model of the Continuum Hypothesis. It is somewhat surprising that the model used to establish the consistency of the other inequality, cov(Meager) not= dec, is a slight modification of the iteration of super-perfect forcing.


title: Genera of algebraic varieties and counting of lattice points

abstract: This paper announces results on the behavior of some important algebraic and topological invariants --- Euler characteristic, arithmetic genus, and their intersection homology analogues; the signature, etc. --- and their associated characteristic classes, under morphisms of projective algebraic varieties. The formulas obtained relate global invariants to singularities of general complex algebraic (or analytic) maps. These results, new even for complex manifolds, are applied to obtain a version of Grothendieck-Riemann-Roch, a calculation of Todd classes of toric varieties, and an explicit formula for the number of integral points in a polytope in Euclidean space with integral vertices.


title: The rigid analytic period mapping, Lubin-Tate space, and stable homotopy theory

abstract: The geometry of the Lubin-Tate space of deformations of a formal group is studied via an \'etale, rigid analytic map from the deformation space to projective space. This leads to a simple description of the equivariant canonical bundle of the deformation space which, in turn, yields a formula for the dualizing complex in stable homotopy theory.


title: Pointwise convergence of wavelet expansions

abstract: In this note we announce that under general hypotheses, wavelet-type expansions (of functions in $L^p,\ 1\leq p \leq \infty$, in one or more dimensions) converge pointwise almost everywhere, and identify the Lebesgue set of a function as a set of full measure on which they converge. It is shown that unlike the Fourier summation kernel, wavelet summation kernels $P_j$ are bounded by radial decreasing $L^1$ convolution kernels. As a corollary it follows that best $L^2$ spline approximations on uniform meshes converge pointwise almost everywhere. Moreover, summation of wavelet expansions is partially insensitive to order of summation. \footnote We also give necessary and sufficient conditions for given rates of convergence of wavelet expansions in the sup norm. Such expansions have order of convergence $s$ if and only if the basic wavelet $\psi$ is in the homogeneous Sobolev space $H^{-s-d/2}_h$. We also present equivalent necessary and sufficient conditions on the scaling function. The above results hold in one and in multiple dimensions.


title: Conformal invariance in two-dimensional percolation

abstract: The immediate purpose of the paper was neither to review the basic definitions of percolation theory nor to rehearse the general physical notions of universality and renormalization (an important technique to be described in Part Two). It was rather to describe as concretely as possible, although in hypothetical form, the geometric aspects of universality, especially conformal invariance, in the context of percolation, and to present the numerical results that support the hypotheses. On the other hand, one ulterior purpose is to draw the attention of mathematicians to the mathematical problems posed by the physical notions. Some precise basic definitions are necessary simply to orient the reader. Moreover a brief description of scaling and universality on the one hand and of renormalization on the other is also essential in order to establish their physical importance and to clarify their mathematical content.


title: Pseudo-periodic homeomorphisms and degeneration of Riemann surfaces

abstract: We will announce two theorems. The first theorem will classify all topological types of degenerate fibers appearing in one-parameter families of Riemann surfaces, in terms of ``pseudoperiodic'' surface homeomorphisms. The second theorem will give a complete set of conjugacy invariants for the mapping classes of such homeomorphisms. This latter result implies that Nielsen's set of invariants [{\it Surface transformation classes of algebraically finite type}, Collected Papers 2, Birkh\"auser (1986)] is not complete.


title: Henon mappings in the complex domain II: projective and inductive limits of polynomials

abstract: Let H: C^2 -> C^2 be the Henon mapping given by (x,y) --> (p(x) - ay,x). The key invariant subsets are K_+/-, the sets of points with bounded forward images, J_+/- = the boundary of K_+/-, J = the union of J_+ and J_-, and K = the union of K_+ and K_-. In this paper we identify the topological structure of these sets when p is hyperbolic and |a| is sufficiently small, ie, when H is a small perturbation of the polynomial p. The description involves projective and inductive limits of objects defined in terms of p alone.


title: Absorbing Cantor sets in dynamical systems: Fibonacci maps

abstract: In this paper we shall show that there exists a polynomial unimodal map f: [0,1] -> [0,1] which is 1) non-renormalizable(therefore for each x from a residual set, $\omega(x)$ is equal to an interval), 2) for which $\omega(c)$ is a Cantor set, and 3) for which $\omega(x)=\omega(c)$ for Lebesgue almost all x. So the topological and the metric attractor of such a map do not coincide. This gives the answer to a question posed by Milnor.


title: Cartwright-type and Bernstein-type theorems for functions analytic in a cone

abstract: Cartwright-type and Bernstein-type theorems, previously known only for functions of exponential type in $\C^n$, are extended to the case of functions of arbitrary order in a cone.


title: Entire periodic functions with plane zeros

abstract: We give a complete description of divisors of entire periodic functions in $\C^n$ with plane zeros.


title: A Dvoretsky Theorem for Polynomials

abstract: We lift upper and lower estimates from linear functionals to $n$-homogeneous polynomials and using this result show that $l_\infty$ is finitely represented in the space of $n$-homogeneous polynomials, $n\ge2$, for any infinite dimensional Banach space. Refinements are also given.


title: On the embedding of 2-concave Orlicz spaces into $L^1$

abstract: In [K--S 1] it was shown that $$ \underset {\pi} \to {\text{Ave}} (\sum_{i=1}^{n}|x_i a_{\pi(i)}|^2)^{\frac {1}{2}} $$ is equivalent to an Orlicz norm whose Orlicz function is 2-concave. Here we give a formula for the sequence $a_1, a_2,....,a_n$ so that the above expression is equivalent to a given Orlicz norm.


title: On the structure of tensor products of l_p spaces

abstract: We examine some structural properties of (injective and projective) tensor products of $\ell_p$-spaces (projections, complemented subspaces, reflexivity, isomorphisms, etc.). We combine these results with combinatorial arguments to address the question of primarity for these spaces and their duals. Our main results are: \medbreak \item{(1)} If $1<p<\infty$, then $B(\ell_p)\approx B(L_p)$ ($B(X)$ consists of the bounded linear operators on $X$). \medbreak \item{(2)} If ${1\over p_i}+{1\over p_j}\leq1$ for every $i\neq j$, or if all of the $p_i$'s are equal, then $\ell_{p_1}\hat{\otimes}\cdots \hat{\otimes}\ell_{p_N}$ is primary. \medbreak \item{(3)} $\ell_p$ embeds into $\ell_{p_1}\hat{\otimes}\cdots \hat{\otimes}\ell_{p_N}$ if and only if there exists $A\subset \{1,2,\cdots,n\}$ such that ${1\over p}=\min\{\sum_{i\in A}{1\over p_i},1\}$. \medbreak \item{(4)} If $1\leq p<\infty$ and $m\geq1$, then the space of homogeneous analytic polynomials ${\cal P}_m(\ell_p)$ and the symmetric tensor product of $m$ copies of $\ell_p$ are primary.


title: Complex interpolation of Hardy-type subspaces

abstract: We consider the problem of complex interpolation of certain Hardy-type subspaces of K\"othe function spaces. For example, suppose $X_0$ and $X_1$ are K\"othe function spaces on the unit circle $\bold T,$ and let $H_{X_0}$ and $H_{X_1}$ be the corresponding Hardy spaces. Under mild conditions on $X_0,X_1$ we give a necessary and sufficient condition for the complex interpolation space $[H_{X_0},H_{X_1}]_{\theta}$ to coincide with $H_{X_{\theta}}$ where $X_{\theta}=[X_0,X_1]_{\theta}.$ We develop a very general framework for such results and our methods apply to many more general sitauations including the vector-valued case.


title: An elementary example of a Banach space not isomorphic to its complex conjugate

abstract: We give a simple and explicit example of a complex Banach space which is not isomorphic to its complex conjugate, and hence of two real-isomorphic spaces which are not complex-isomorphic.


title: Embedding Orlicz Sequence Spaces into $C(\alpha)$

abstract: Let $M$ be a non-degenerate Orlicz function such that there exist $\ep > 0$ and $0 < s < 1$ with $\su M(\ep s^i)/M(s^i) < \infty$. It is shown that the Orlicz sequence space $h_M$ is isomorphic to a subspace of $C(\om^\om)$. It is also shown that for any non-degenerate Orlicz function $M$, $h_M$ does not embed into $C(\al)$ for any $\al < \om^\om$.


title: Nest algebras in $c_1$

abstract: In this paper we address some basic questions of the Banach space structure of the nest algebras in the trace class; in particular, we study whether any two of them are isomorphic to each other, and show that the nest algebras in the trace class have bases. We construct three non-isomorphic examples of nest algebras in $c_1$; present a new proof of the primarity of $c_1$ (Arazy, [Ar1], [Ar2]), and prove that $K(H)$, and the nest algebras in $B(H)$ are primary.


title: From weak to strong types of $L_E^1$-convergence by the Bocce-criterion

abstract: Necessary and sufficient oscillation conditions are given for a weakly convergent sequence (resp. relatively weakly compact set) in the Bochner-Lebesgue space $\l1$ to be norm convergent (resp. relatively norm compact), thus extending the known results for $\rl1$. Similarly, necessary and sufficient oscillation conditions are given to pass from weak to limited (and also to Pettis-norm) convergence in $\l1$. It is shown that tightness is a necessary and sufficient condition to pass from limited to strong convergence. Other implications between several modes of convergence in $\l1$ are also studied.


title: Isomorphisms of operator algebras

abstract: In this paper we prove that several operator algebras are completely isomorphic to each other; e.g., the $C^*_\lambda(F_k)$, $k\geq 2$, the $C^*$-algebras generated by the regular left representation $\lambda:F_k\to B(\ell_2(F_k))$, are completely isomorphic to each other. We also study the ``non-commutative'' analytic spaces introduced by G. Popescu [Po], and give applications to Popescu's version of Von Neumann's inequality.


title: A characterization of the Rogers q-Hermite polynomials

abstract: In this paper we characterize the Rogers q-Hermite polynomials as the only orthogonal polynomial set which is also ${\cal D}_q$-Appell where ${\cal D}_q $ is the Askey-Wilson finite difference operator.


title: On Taylor's problem

abstract: We describe some (countably many) classes K^{n,e} of finite graphs and prove that if lambda^{aleph_0}= lambda then every lambda^+-chromatic graph of cardinal lambda^+ contains, for some n, e, all members of K^{n,e} as subgraphs. On the other hand, it is consistent for every regular infinite cardinal kappa that there is a kappa^+-chromatic graph on kappa^+ that contains finite subgraphs only from K^{n,e} .


title: The combinatorics of combinatorial coding by a real

abstract: We lay the combinatorial foundations for [ShSt:340] by setting up and proving the essential properties of the coding apparatus for singular cardinals. We also prove another result concerning the coding apparatus for inaccessible cardinals.


title: Polynomial maps with a Julia set of positive measure

abstract: In this paper we shall show that there exists L_0 such that for each even integer L >= L_0 there exists $c_1 \in \rz$ for which the Julia set of $z --> z^L + c_1$ has positive Lebesgue measure. This solves an old problem. Editor's note: In 1997, it was shown by Xavier Buff that there was a serious flaw in the argument, leaving a gap in the proof. Currently (1999), the question of polynomials with a positive measure Julia sets remains open.


title: Bracket notation for the `coefficient of' operator

abstract: When $G(z)$ is a power series in $z$, many authors now write `$[z^n] G(z)$' for the coefficient of $z^n$ in $G(z)$, using a notation introduced by Goulden and Jackson in [\GJ, p. 1]. More controversial, however, is the proposal of the same authors [\GJ, p. 160] to let `$[z^n/n!] G(z)$' denote the coefficient of $z^n/n!$, i.e., $n!$ times the coefficient of $z^n$. An alternative generalization of $[z^n] G(z)$, in which we define $[F(z)] G(z)$ to be a linear function of both $F$ and $G$, seems to be more useful because it facilitates algebraic manipulations. The purpose of this paper is to explore some of the properties of such a definition. The remarks are dedicated to Tony Hoare because of his lifelong interest in the improvement of notations that facilitate manipulation.


title: A Special Class of Almost Disjoint Families

abstract: The collection of branches (maximal linearly ordered sets of nodes) of the tree ${}^{<\omega}\omega$ (ordered by inclusion) forms an almost disjoint family (of sets of nodes). This family is not maximal -- for example, any level of the tree is almost disjoint from all of the branches. How many sets must be added to the family of branches to make it maximal? This question leads to a series of definitions and results: a set of nodes is {\it off-branch} if it is almost disjoint from every branch in the tree; an {\it off-branch family} is an almost disjoint family of off-branch sets; ${\frak o}=\min\{|{\Cal O}|: {\Cal O}$ is a maximal off-branch family$\}$. Results concerning $\frak o$ include: (in ZFC) ${\frak a}\leq{\frak o}$, and (consistent with ZFC) $\frak o$ is not equal to any of the standard small cardinal invariants $\frak b$, $\frak a$, $\frak d$, or ${\frak c}=2^\omega$. Most of these consistency results use standard forcing notions -- for example, $Con({\frak b}={\frak a}<{\frak o}={\frak d}={\frak c})$ comes from starting with a model of $ZFC+CH$ and adding $\omega_2$-many Cohen reals. Many interesting open questions remain, though -- for example, $Con({\frak o}<{\frak d})$.


title: Shooting a club with finite conditions

abstract: We study cohabitation of the poset $P_S$ shooting a club through a given stationary subset $S$ of $\omega _1$ with finite conditions with other forcings. Sample results: (1) $P_S$ "sometimes" preserves presaturatedness of $NS_{\omega _1}$ (2) $P_S=P_T$ if $S=T mod NS_{\omega _1}$ (in Boolean algebra sense) (3) Cons ( one can embed $Q,$ the poset adding $\aleph _1$ Cohen reals, to $P_S$ such that reals in $V^Q$ are the same as reals in $V^{P_S}.$ )


title: More on the cut and choose game

abstract: We improve some ancient results of Velickovic on the cut and choose (c&c) game on complete Boolean algebras. (1) If Nonempty has a winning strategy for c&c game on $B$ then $B$ is semiproper. (2) If Nonempty has a winning strategy and $B$ has $2^{\aleph _0}$ -c.c. then Nonempty has a winning strategy in the descending chain game. (3) Cons ($B$ is $\aleph _1$-distributive implies Nonempty has a winning strategy in c&c on $B$ ) We also give some new examples of forcings where Nonempty has or does not have a winning strategy in c&c game.


title: Ideals associated to two sequences and a matrix

abstract: Let $\u_{1\times n}$, $\X_{n\times n}$, and $\v_{n\times 1}$ be matrices of indeterminates, $\Adj \X$ be the classical adjoint of $\X$, and $H(n)$ be the ideal $I_1(\u\X)+I_1(\X\v)+I_1(\v\u-\Adj \X)$. Vasconcelos has conjectured that $H(n)$ is a perfect Gorenstein ideal of grade $2n$. In this paper, we obtain the minimal free resolution of $H(n)$; and thereby establish Vasconcelos' conjecture.


title: The Banach space $H^1(X,d,\mu)$, II

abstract: In this paper we give the isomorphic classification of atomic $H^1(X,d,\mu)$, where $(X,d,\mu)$ is a space of homogeneous type, hereby completing a line of investigation opened by the work of Bernard Maurey [Ma1], [Ma2], [Ma3] and continued by Lennard Carleson [C] and Przemyslaw Wojtaszczyk [Woj1], [Wpj2].


title: Banach spaces with the $2$-summing property

abstract: A Banach space $X$ has the $2$-summing property if the norm of every linear operator from $X$ to a Hilbert space is equal to the $2$-summing norm of the operator. Up to a point, the theory of spaces which have this property is independent of the scalar field: the property is self-dual and any space with the property is a finite dimensional space of maximal distance to the Hilbert space of the same dimension. In the case of real scalars only the real line and real $\ell_\infty^2$ have the $2$-summing property. In the complex case there are more examples; e.g., all subspaces of complex $\ell_\infty^3$ and their duals.


title: Contractive projections and isometries in sequence spaces

abstract: We characterize 1-complemented subspaces of finite codimension in strictly monotone one-$p$-convex, $2<p<\infty,$ sequence spaces. Next we describe, up to isometric isomorphism, all possible types of 1-unconditional structures in sequence spaces with few surjective isometries. We also give a new example of a class of real sequence spaces with few surjective isometries.


title: Asymptotic infinite-dimensional theory of Banach spaces

abstract: In this paper structure of infinite dimensional Banach spaces is studied by using an asymptotic approach based on stabilization at infinity of finite dimensional subspaces which appear everywhere far away. This leads to notions of asymptotic structures and asymptotic versions of a given Banach space. As an example of application of this approach, a class of asymptotic $l_p$-spaces is introduced and investigated in detail. Some properties of this class, as duality and complementation, are analogous to properties of classical $l_p$ spaces, although the latter is more ``regular'' than its classical counterpart; in contrast, the property exhibited in the uniqueness theorem is very different than for spaces $l_p$.


title: Quojections without Banach subspaces

abstract: A quojection (projective limit of Banach spaces with surjective linking mappings) without infinite dimensional Banach subspaces is constructed. This results answers a question posed by G.Metafune and V.B.Moscatelli.


title: Self-Induced Compactness in Banach Spaces

abstract: The question which led to the title of this note is the following: {\it If $X$ is a Banach space and $K$ is a compact subset of $X$, is it possible to find a compact, or even approximable, operator $v:X\to X$ such that $K\subset\ol{v(B_X)}$?} This question was first posed by P.G.Dixon [6] in connection with investigating the problem of the existence of approximate identities in certain operator algebras. We shall provide a couple of observations related to the above question and give in particular a negative answer in case of approximable operators. We shall also provide the first examples of Banach spaces having the approximation property but failing the bounded compact approximation property though all of their duals do even have the metric compact approximation property.


title: New proofs of Rosenthal's $\ell^{1}$--theorem and the Josefson--Nissenzweig theorem

abstract: We give elementary proofs of the theorems mentioned in the title. Our methods rely on a simple version of Ramsey theory and a martingale difference lemma. They also provide quantitative results: if a Banach space contains $\ell^{1}$ only with a bad constant then every bounded sequence admits a subsequence which is ``nearly'' a weak Cauchy sequence.


title: Classes of Banach spaces stable and unstable with respect to the opening

abstract: The paper is a complement to the survey: M.I.Ostrovskii "To\-po\-lo\-gies on the set of all subspaces of a Banach space and related questions of Banach space geometry", Quaestiones Math. (to appear). It contains proofs of some results on stability of properties of Banach spaces with respect to the geometric opening stated in the survey without proofs. Some results of the present paper are of independent interest, in particular the description of a predual property of the Banach--Saks property.


title: Relative asymptotics for polynomials orthogonal with respect to a discrete Sobolev inner product

abstract: We investigate the asymptotic properties of orthogonal polynomials for a class of inner products including the discrete Sobolev inner products $\langle h,g \rangle = \int hg\, d\mu + \sum_{j=1}^m \sum_{i=0}^{N_j} M_{j,i} h^{(i)}(c_j) g^{(i)}(c_j)$, where $\mu$ is a certain type of complex measure on the real line, and $c_j$ are complex numbers in the complement of $\supp(\mu)$. The Sobolev orthogonal polynomials are compared with the orthogonal polynomials corresponding to the measure $\mu$.


title: Asymptotics for the simplest generalized Jacobi polynomials recurrence coefficients from Freud's equations: numerical explorations.

abstract: Generalized Jacobi polynomials are orthogonal polynomials related to a weight function which is smooth and positive on the whole interval of orthogonality up to a finite number of points, where algebraic singularities occur. The influence of these singular points on the asymptotic behaviour of the recurrence coefficients is investigated.


title: Three Recitations on Holonomic Systems and Hypergeometric Series

abstract: A tutorial on what later became to be known as WZ theory, as well as a motivated account of the seminal Gosper algorithm.


title: q-Special functions, a tutorial

abstract: A tutorial introduction is given to q-special functions and to q-analogues of the classical orthogonal polynomials, up to the level of Askey-Wilson polynomials.


title: Discrete hypergroups associated with compact quantum Gelfand Pairs

abstract: A discrete DJS-hypergroup is constructed in connection with the linearization formula for the product of two spherical elements for a quantum Gelfand pair of two compact quantum groups. A similar construction is discussed for the case of a generalized quantum Gelfand pair, where the role of the quantum subgroup is taken over by a two-sided coideal in the dual Hopf algebra. The paper starts with a review of compact quantum groups, with an approach in terms of so-called CQG algebras. The paper concludes with some examples of hypergroups thus obtained.


title: Gauss hypergeometric function and quadratic R-matrix algebras

abstract: We consider representations of quadratic $R$-matrix algebras by means of certain first order ordinary differential operators. These operators turn out to act as parameter shifting operators on the Gauss hypergeometric function and its limit cases and on classical orthogonal polynomials. The relationship with W. Miller's treatment of Lie algebras of first order differential operators will be discussed.


title: Cardinalities of topologies with small base

abstract: Let T be the family of open subsets of a topological space (not necessarily Hausdorff or even T_0). We prove that if T has a base of cardinality <= mu, lambda <= mu < 2^lambda, lambda strong limit of cofinality aleph_0, then T has cardinality <= mu or >= 2^lambda. This is our main conclusion. First we prove it under some set theoretic assumption, which is clear when lambda = mu ; then we eliminate the assumption by a theorem on pcf from [Sh 460] motivated originally by this. Next we prove that the simplest examples are the basic ones; they occur in every example (for lambda = aleph_0 this fulfill a promise from [Sh 454]). The main result for the case lambda = aleph_0 was proved in [Sh 454].


title: A combinatorial principle equivalent to the existence of non-free Whitehead groups

abstract: As a consequence of identifying the principle described in the title, we prove that for any uncountable cardinal lambda, if there is a lambda-free Whitehead group of cardinality lambda which is not free, then there are many ``nice'' Whitehead groups of cardinality lambda which are not free.


title: Inducing, slopes, and conjugacy classes

abstract: We show that the conjugacy class of an eventually expanding continuous piecewise affine interval map is contained in a smooth codimension 1 submanifold of parameter space. In particular conjugacy classes have empty interior. This is based on a study of the relation between induced Markov maps and ergodic theoretical behavior.


title: Hausdorff dimension and Kleinian groups

abstract: Let G be a non-elementary, finitely generated Kleinian group, Lambda(G) its limit set and Omega(G) = S \ Lambda(G) (S = the sphere) its set of discontinuity. Let delta(G) be the critical exponent for the Poincar\'e series and let Lambda_c be the conical limit set of G. Suppose Omega_0 is a simply connected component of Omega(G). We prove that (1) delta(G) = dim(Lambda_c). (2) A simply connected component Omega is either a disk or dim(Omega)>1$. (3) Lambda(G) is either totally disconnected, a circle or has dimension > 1, (4) G is geometrically infinite iff dim(Lambda)=2. (5) If G_n \to G algebraically then dim(Lambda) <= \liminf dim(Lambda_n). (6) The Minkowski dimension of Lambda equals the Hausdorff dimension. (7) If Area(Lambda)=0 then delta(G) = dim(Lambda(G)). The proof also shows that \dim(Lambda(G)) > 1 iff the conical limit set has dimension > 1 iff the Poincar\'e exponent of the group is > 1. Furthermore, a simply connected component of Omega(G) either is a disk or has non-differentiable boundary in the the sense that the (inner) tangent points of \partial Omega have zero 1-dimensional measure. Almost every point (with respect to harmonic measure) is a twist point.


title: CR manifolds with noncompact connected automorphism groups

abstract: The main result of this paper is that the identity component of the automorphism group of a compact, connected, strictly pseudoconvex CR manifold is compact unless the manifold is CR equivalent to the standard sphere. In dimensions greater than 3, it has been pointed out by D. Burns that this result follows from known results on biholomorphism groups of complex manifolds with boundary and the fact that any such CR manifold M can be realized as the boundary of an analytic variety. When M is 3-dimensional, Burns's proof breaks down because abstract CR 3-manifolds are generically not realizable as boundaries. This paper provides an intrinsic proof of compactness that works in any dimension.


title: Hyperbolic buildings, affine buildings and automatic groups

abstract: We see that a building whose Coxeter group is hyperbolic is itself hyperbolic. Thus any finitely generated group acting co-compactly on such a building is hyperbolic, hence automatic. We turn our attention to affine buildings and consider a group $\Gamma$ which acts simply transitively and in a ``type-rotating'' way on the vertices of a locally finite thick building of type $\tilde A_n$. We show that $\Gamma$ is biautomatic, using a presentation of $\Gamma$ and unique normal form for each element of $\Gamma$, as described in ``Groups acting simply transitively on the vertices of a building of type $\tilde A_n$'' by D.I. Cartwright, to appear, Proceedings of the 1993 Como conference ``Groups of Lie type and their geometries''.


title: Central quotients of biautomatic groups

abstract: The quotient of a biautomatic group by a subgroup of the center is shown to be biautomatic. The main tool used is the Neumann-Shapiro triangulation of $S^{n-1}$, associated to a biautomatic structure on ${\Bbb Z}^n$. As an application, direct factors of biautomatic groups are shown to be biautomatic.


title: Blowing up the power of a singular cardinal

abstract: Suppose that kappa is a singular cardinal of cofinality omega and GCH holds. Assume that for every n<omega the set of alphas with o(alpha)>= alpha^{+n} is unbounded in kappa.Then there is a cardinal preserving extension satisfying 2^kappa=kappa^++ and GCH below kappa. By a result of W. Mitchell and the author the assumptions are optimal.


title: Consistency Strength of the Axiom of Full Reflection at Large Cardinals

abstract: The Axiom of Full Reflection at a measurable cardinal has been conjectured to be equiconsitent with the existence of a coherent sequence of measures with a repeat point. However we prove that the Axiom of Full Reflection at a measurable cardinal is surprisingly equiconsistent just with the existence of a measurable cardinal. We also generalize the result to larger cardinals as strong or supercompact. Hence we can conclude that the Axiom of Full Reflection at large cardinals weaker than measurable, e.g. as n-Mahlo, does push the consistency strength up, but does not push the consistency strength up at measurable or larger cardinals.


title: Reverse Mathematics and Recursive Graph Theory

abstract: We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theorems included concern colorings of graphs and bounded graphs, Euler paths, and Hamilton paths.


title: Real and complex operator ideals

abstract: The powerful concept of an operator ideal on the class of all Banach spaces makes sense in the real and in the complex case. In both settings we may, for example, consider compact, nuclear, or $2$--summing operators, where the definitions are adapted to each other in a natural way. This paper deals with the question whether or not that fact is based on a general philosophy. Does there exists a one--to--one correspondence between ``real properties'' and ``complex properties'' defining an operator ideal? In other words, does there exist for every real operator ideal a uniquely determined corresponding complex ideal and vice versa? Unfortunately, we are not abel to give a final answer. Nevertheless, some preliminary results are obtained. In particular, we construct for every real operator ideal a corresponding complex operator ideal and for every complex operator ideal a corresponding real one. However, we conjecture that there exists a complex operator ideal which can not be obtained from a real one by this construction. The following approach is based on the observation that every complex Banach space can be viewed as a real Banach space with an isometry acting on it like the scalar multiplication by the imaginary unit $i$.


title: Ideal norms and trigonometric orthonormal systems

abstract: In this article, we characterize the $UMD$--property of a Banach space $X$ by ideal norms associated with trigonometric orthonormal systems. The asymptotic behavior of that numerical parameters can be used to decide whether or not $X$ is a $UMD$--space. Moreover, in the negative case, we obtain a measure that shows how far $X$ is from being a $UMD$--space. The main result is, that all described parameters are equivalent also in the quantitative setting.


title: Factorization and Reflexivity on Fock spaces

abstract: The framework of the paper is that of the full Fock space ${\Cal F}^2({\Cal H}_n)$ and the Banach algebra $F^\infty$ which can be viewed as non-commutative analogues of the Hardy spaces $H^2$ and $H^\infty$ respectively. An inner-outer factorization for any element in ${\Cal F}^2({\Cal H}_n)$ as well as characterization of invertible elements in $F^\infty$ are obtained. We also give a complete characterization of invariant subspaces for the left creation operators $S_1,\cdots, S_n$ of ${\Cal F}^2({\Cal H}_n)$. This enables us to show that every weakly (strongly) closed unital subalgebra of $\{\varphi(S_1,\cdots,S_n):\varphi\in F^\infty\}$ is reflexive, extending in this way the classical result of Sarason [S]. Some properties of inner and outer functions and many examples are also considered.


title: Orlicz property of operator spaces and eigenvalue estimates

abstract: As is well known absolute convergence and unconditional convergence for series are equivalent only in finite dimensional Banach spaces. Replacing the classical notion of absolutely summing operators by the notion of 1 summing operators \[ \summ_k || Tx_k || \leq c || \summ_k e_k \otimes x_k ||_{\ell_1\otimes_{min}E}\] in the category of operator spaces, it turns out that there are quite different interesting examples of 1 summing operator spaces. Moreover, the eigenvalues of a composition $TS$ decreases of order $n^{\frac{1}{q}}$ for all operators $S$ factorizing completely through a commutative $C^*$-algebra if and only if the 1 summing norm of the operator $T$ restricted to a $n$-dimensional subspace is not larger than $c n^{1-\frac{1}{q}}$, provided $q>2$. This notion of 1 summing operators is closely connected to the notion of minimal and maximal operator spaces.


title: Representing non-weakly compact operators

abstract: For each $S \in L(E)$ (with $E$ a Banach space) the operator $R(S) \in L(E^{**}/E)$ is defined by $R(S)(x^{**}+E) = S^{**}x^{**}+E$ \quad ($x^{**}\in E^{**}$). We study mapping properties of the correspondence $S\to R(S),$ which provides a representation $R$ of the weak Calkin algebra $L(E)/W(E)$ (here $W(E)$ denotes the weakly compact operators on $E$). Our results display strongly varying behaviour of $R.$ For instance, there are no non--zero compact operators in Im$(R)$ in the case of $L^1$ and $C(0,1),$ but $R(L(E)/W(E))$ identifies isometrically with the class of lattice regular operators on $\ell^2$ for $E=\ell^2(J)$ (here $J$ is the James' space). Accordingly, there is an operator $T \in L(\ell^2(J))$ such that $R(T)$ is invertible but $T$ fails to be invertible modulo $W(\ell^2(J)).$


title: A Banach subspace of $L_{1/2}$ which does not embed in $L_1$ (isometric version)

abstract: For every $n\geq 3,$ we construct an $n$-dimensional Banach space which is isometric to a subspace of $L_{1/2}$ but is not isometric to a subspace of $L_1.$ The isomorphic version of this problem (posed by S. Kwapien in 1969) is still open. Another example gives a Banach subspace of $L_{1/4}$ which does not embed isometrically in $L_{1/2}.$ Note that, from the isomorphic point of view, all the spaces $L_q$ with $q<1$ have the same Banach subspaces.


title: Subspaces containing biorthogonal functionals of bases of different types

abstract: The paper is devoted to two particular cases of the following general problem. Let $\alpha$ and $\beta$ be two types of bases in Banach spaces. Let a Banach space $X$ has bases of both types and a subspace $M\subset X^*$ contains the sequence of biorthogonal functionals of some $\alpha$-basis in $X$. Does $M$ contain a sequence of biorthogonal functionals of some $\beta$-basis in $X$? The following particular cases are considered: $(\alpha, \beta)$=(Schauder bases, unconditional bases), $(\alpha, \beta)$=(Nonlinear operational bases, linear operational bases). The paper contains an investigation of some of the spaces constructed by S.Belle\-not in ``The $J$-sum of Banach spaces'', J. Funct. Anal. {\bf 48} (1982), 95--106. (These spaces are used in some examples.)


title: Polynomial Grothendieck properties

abstract: A Banach space $E$ has the Grothendieck property if every (linear bounded) operator from $E$ into $c_0$ is weakly compact. It is proved that, for an integer $k>1$, every $k$-homogeneous polynomial from $E$ into $c_0$ is weakly compact if and only if the space ${\cal P}(^kE)$ of scalar valued polynomials on $E$ is reflexive. This is equivalent to the symmetric $k$-fold projective tensor product of $E$ (i.e., the predual of ${\cal P}(^kE)$) having the Grothendieck property. The Grothendieck property of the projective tensor product $E\widehat{\bigotimes}F$ is also characterized. Moreover, the Grothendieck property of $E$ is described in terms of sequences of polynomials. Finally, it is shown that if every operator from $E$ into $c_0$ is completely continuous, then so is every polynomial between these spaces.


title: When every polynomial is unconditionally converging

abstract: Letting $E$, $F$ be Banach spaces, the main two results of this paper are the following: (1) If every (linear bounded) operator $E\rightarrow F$ is unconditionally converging, then every polynomial from $E$ to $F$ is unconditionally converging (definition as in the linear case). (2) If $E$ has the Dunford-Pettis property and every operator $E\rightarrow F$ is weakly compact, then every $k$-linear mapping from $E^k$ into $F$ takes weak Cauchy sequences into norm convergent sequences. In particular, every polynomial from $\ell_\infty$ into a space containing no copy of $\ell_\infty$ is completely continuous. This solves a problem raised by the authors in a previous paper, where they showed that there exist nonweakly compact polynomials from $\ell_\infty$ into any nonreflexive space.


title: Unconditionally converging polynomials on Banach spaces

abstract: We prove that weakly unconditionally Cauchy (w.u.C.) series and unconditionally converging (u.c.) series are preserved under the action of polynomials or holomorphic functions on Banach spaces, with natural restrictions in the latter case. Thus it is natural to introduce the unconditionally converging polynomials, defined as polynomials taking w.u.C. series into u.c.\ series, and analogously, the unconditionally converging holomorphic functions. We show that most of the classes of polynomials which have been considered in the literature consist of unconditionally converging polynomials. Then we study several ``polynomial properties'' of Banach spaces, defined in terms of relations of inclusion between classes of polynomials, and also some ``holomorphic properties''. We find remarkable differences with the corresponding ``linear properties''. For example, we show that a Banach space $E$ has the polynomial property (V) if and only if the spaces of homogeneous scalar polynomials ${\cal P}(^k\!E)$, $k\in{\bf N}$, or the space of scalar holomorphic mappings of bounded type ${\cal H}_b(E),$ are reflexive. In this case the dual space $E^*$, like the dual of Tsirelson's space, is reflexive and contains no copies of $\ell_p$.


title: A q-analogue of Graf's addition formula for the Hahn-Exton q-Bessel function

abstract: An addition and product formula for the Hahn-Exton $q$-Bessel function, previously obtained by use of a quantum group theoretic interpretation, are proved analytically. A (formal) limit transition to the Graf addition formula and corresponding product formula for the Bessel function is given.


title: Formal power series

abstract: In this article we will describe the \Maple\ implementation of an algorithm presented in~\cite{Koe92}--\cite{Koeortho} which computes an {\em exact\/} formal power series (FPS) of a given function. This procedure will enable the user to reproduce most of the results of the extensive bibliography on series~\cite{Han}. We will give an overview of the algorithm and then present some parts of it in more detail.


title: A package on formal power series

abstract: Formal Laurent-Puiseux series are important in many branches of mathematics. This paper presents a {\it Mathematica} implementation of algorithms developed by the author for converting between certain classes of functions and their equivalent representing series. The package {\tt PowerSeries} handles functions of rational, exponential, and hypergeometric type, and enables the user to reproduce most of the results of Hansen's extensive table of series. Subalgorithms of independent significance generate differential equations satisfied by a given function and recurrence equations satisfied by a given sequence.


title: Algorithmic work with orthogonal polynomials and special functions

abstract: In this article we present a method to implement orthogonal polynomials and many other special functions in Computer Algebra systems enabling the user to work with those functions appropriately, and in particular to verify different types of identities for those functions. Some of these identities like differential equations, power series representations, and hypergeometric representations can even dealt with algorithmically, i.\ e.\ they can be computed by the Computer Algebra system, rather than only verified. The types of functions that can be treated by the given technique cover the generalized hypergeometric functions, and therefore most of the special functions that can be found in mathematical dictionaries. The types of identities for which we present verification algorithms cover differential equations, power series representations, identities of the Rodrigues type, hypergeometric representations, and algorithms containing symbolic sums. The current implementations of special functions in existing Computer Algebra systems do not meet these high standards as we shall show in examples. They should be modified, and we show results of our implementations.


title: Bounded nonvanishing functions and Bateman functions

abstract: We consider the family B-tilde of bounded nonvanishing analytic functions f(z) = a_0 + a_1 z + a_2 z^2 + ... in the unit disk. The coefficient problem had been extensively investigated, and it is known that |a_n| <= 2/e for n=1,2,3, and 4. That this inequality may hold for n in N, is know as the Kry\.z conjecture. It turns out that for f in B-tilde with a_0 = e^-t, f(z) << e^{-t (1+z)/(1-z)} so that the superordinate functions e^{-t (1+z)/(1-z)} = sum F_k(t) z^k are of special interest. The corresponding coefficient function F_k(t) had been independently considered by Bateman [3] who had introduced them with the aid of the integral representation F_k(t) = (-1)^k 2/pi int_0^pi/2 cos(t tan theta - 2 k theta) d theta . We study the Bateman function and formulate properties that give insight in the coefficient problem in B-tilde.


title: Spaces of functions satisfying simple differential equations

abstract: In \cite{Koe92}--\cite{Koe93c} the first author published an algorithm for the conversion of analytic functions for which derivative rules are given into their representing power series $\sum\limits_{k=0}^{\infty}a_{k}z^{k}$ at the origin and vice versa, implementations of which exist in {\sc Mathematica} \cite{Wol}, (s.\ \cite{Koe93c}), {\sc Maple} \cite{Map} (s.\ \cite{GK}) and {\sc Reduce} \cite{Red} (s.\ \cite{Neun}). One main part of this procedure is an algorithm to derive a homogeneous linear differential equation with polynomial coefficients for the given function. We call this type of ordinary differential equations {\sl simple}.


title: Biorthogonal polynomials and zero-mapping transformations

abstract: The authors have presented in \cite{IN2} a technique to generate transformations $\cal T$ of the set ${\Bbb P}_n$ of $n$th degree polynomials to itself such that if $p\in{\Bbb P}_n$ has all its zeros in $(c,d)$ then ${\cal T}\{p\}$ has all its zeros in $(a,b)$, where $(a,b)$ and $(c,d)$ are given real intervals. The technique rests upon the derivation of an explicit form of biorthogonal polynomials whose Borel measure is strictly sign consistent and such that the ratio of consecutive generalized moments is a rational $[1/1]$ function of the parameter. Specific instances of strictly sign consistent measures that have been debated in \cite{IN2} include $x^\mu\D\psi(x)$, $\mu^x\D\psi(x)$ and $x^{\log_q\mu}\D\psi(x)$, $q\in(0,1)$. In this paper we identify all measures $\psi$ such that their consecutive generalized moments have a rational $[1/1]$ quotient, thereby characterizing all possible zero-mapping transformations of this kind.


title: Explicit representations of biorthogonal polynomials

abstract: Given a parametrised weight function $\omega(x,\mu)$ such that the quotients of its consecutive moments are M\"obius maps, it is possible to express the underlying biorthogonal polynomials in a closed form \cite{IN2}. In the present paper we address ourselves to two related issues. Firstly, we demonstrate that, subject to additional assumptions, every such $\omega$ obeys (in $x$) a linear differential equation whose solution is a generalized hypergeometric function. Secondly, using a generalization of standard divided differences, we present a new explicit representation of the underlying orthogonal polynomials.


title: Addition formula for big q-Legendre polynomials

abstract: From Koornwinder's interpretation of big $q$-Legendre polynomials as spherical elements on the quantum $SU(2)$ group an addition formula is derived for the big $q$-Legendre polynomial. The formula involves Al-Salam--Carlitz polynomials, little $q$-Jacobi polynomials and dual $q$-Krawtchouk polynomials. For the little $q$-ultraspherical polynomials a product formula in terms of a big $q$-Legendre polynomial follows by $q$-integration. The addition and product formula for the Legendre polynomials are obtained when $q$ tends to 1.


title: Densities of ultraproducts of Boolean algebras

abstract: We answer three problems by J. D. Monk on cardinal invariants of Boolean algebras. Two of these are whether taking the algebraic density pi(A), resp. the topological density d(A), of a Boolean algebra A commutes with formation of ultraproducts; the third one compares the number of endomorphisms and of ideals of a Boolean algebra.


title: Uniformization, choice functions and well orders in the class of trees

abstract: The monadic second-order theory of trees allows quantification over elements and over arbitrary subsets. We classify the class of trees with respect to the question: does a tree T have a definable choice function (by a monadic formula with parameters)? A natural dichotomy arises where the trees that fall in the first class don't have a definable choice function and the trees in the second class have even a definable well ordering of their elements. This has a close connection to the uniformization problem.


title: Characterizing algebras of smooth functions on manifolds

abstract: Among all $C^\infty$-algebras we characterize those which are algebras of smooth functions on smooth separable Hausdorff manifolds.


title: Responses to ``Theoretical Mathematics: Toward a cultural synthesis of mathematics and theoretical physics'', by A. Jaffe and F. Quinn

abstract: This article is a collection of letters solicited by the editors of the Bulletin in response to a previous article by Jaffe and Quinn [math.HO/9307227]. The authors discuss the role of rigor in mathematics and the relation between mathematics and theoretical physics.


title: On the Busemann-Petty problem concerning central sections of centrally symmetric convex bodies

abstract: We present a method which shows that in $\Eb$ the Busemann-Petty problem, concerning central sections of centrally symmetric convex bodies, has a positive answer. Together with other results, this settles the problem in each dimension.


title: Response to comments on ``Theoretical mathematics''

abstract: The authors discuss various objections and rejoinders in the collected responses [math.HO/9404229,math.HO/9404236] to their original article on the relationship between mathematics and theoretical physics [math.HO/9307227].


title: Recurrence relations and asymptotics for four-manifold invariants

abstract: The polynomial invariants $q_d$ for a large class of smooth 4-manifolds are shown to satisfy universal relations. The relations reflect the possible genera of embedded surfaces in the 4-manifold and lead to a structure theorem for the polynomials. As an application, one can read off a lower bound for the genera of embedded surfaces from the asymptotics of $q_d$ for large $d$. The relations are proved using moduli spaces of singular instantons.


title: Editor's column (on an article by Jaffe and Quinn)

abstract: This note is a preface to various responses [math.HO/9404229,math.HO/9404236] to an opinion piece by Jaffe and Quinn [math.HO/9307227] on the relationship between mathematics and theoretical physics.


title: A subsequence principle characterizing Banach spaces containing $c_0$

abstract: The notion of a strongly summing sequence is introduced. Such a sequence is weak-Cauchy, a basis for its closed linear span, and has the crucial property that the dual of this span is not weakly sequentially complete. The main result is: Theorem. Every non-trivial weak-Cauchy sequence in a \RM(real or complex\RM) Banach space has either a strongly summing sequence or a convex block basis equivalent to the summing basis. (A weak-Cauchy sequence is called {\it non-trivial} if it is {\it non-weakly convergent}.) The following characterization of spaces containing $c_0$ is thus obtained, in the spirit of the author's 1974 subsequence principle. Corollary 1. A Banach space $B$ contains no isomorph of $c_0$ if and only if every non-trivial weak-Cauchy sequence in $B$ has a strongly summing subsequence. Combining the $c_0$-and $\ell^1$-theorems, one obtains Corollary 2. If $B$ is a non-reflexive Banach space such that $X^*$ is weakly sequentially complete for all linear subspaces $X$ of $B$, then $c_0$ embeds in $B$.


title: Dynamical zeta functions for maps of the interval

abstract: A dynamical zeta function $\zeta$ and a transfer operator $\scr L$ are associated with a piecewise monotone map $f$ of the interval $[0,1]$ and a weight function $g$. The analytic properties of $\zeta$ and the spectral properties of $\scr L$ are related by a theorem of Baladi and Keller under an assumption of ``generating partition''. It is shown here how to remove this assumption and, in particular, extend the theorem of Baladi and Keller to the case when $f$ has negative Schwarzian derivative.


title: On proof and progress in mathematics

abstract: In response to Jaffe and Quinn [math.HO/9307227], the author discusses forms of progress in mathematics that are not captured by formal proofs of theorems, especially in his own work in the theory of foliations and geometrization of 3-manifolds and dynamical systems.


title: Iterations of rational functions: which hyperbolic components contain polynomials?

abstract: Let $H^d$ be the set of all rational maps of degree $d\ge 2$ on the Riemann sphere which are expanding on Julia set. We prove that if $f\in H^d$ and all or all but one critical points (or values) are in the immediate basin of attraction to an attracting fixed point then there exists a polynomial in the component $H(f)$ of $H^d$ containing $f$. If all critical points are in the immediate basin of attraction to an attracting fixed point or parabolic fixed point then $f$ restricted to Julia set is conjugate to the shift on the one-sided shift space of $d$ symbols. We give exotic examples of maps of an arbitrary degree $d$ with a non-simply connected, completely invariant basin of attraction and arbitrary number $k \ge 2$ of critical points in the basin. For such a map $f\in H^d$ with $k<d$ there is no polynomial in $H(f)$. Finally we describe a computer experiment joining an exotic example to a Newton's method (for a polynomial) rational function with a 1-parameter family of rational maps.


title: A toral diffeomorphism with a non-polygonal rotation set

abstract: We construct a diffeomorphism of the two-dimensional torus which is isotopic to the identity and whose rotation set is not a polygon.


title: Cardinal Invariants Associated with Hausdorff Capacities

abstract: This is a revision (and partial retraction) of my previous abstarct. Let $\lambda(X)$ denote Lebesgue measure. If $X\subseteq [0,1]$ and $r \in (0,1)$ then the $r$-Hausdorff capacity of $X$ is denoted by $H^r(X)$ and is defined to be the infimum of all $\sum_{i=0}^\infty \lambda(I_i)^r$ where $\{I_i\}_{i\in\omega}$ is a cover of $X$ by intervals. The $r$ Hausdorff capacity has the same null sets as the $r$-Hausdorff measure which is familiar from the theory of fractal dimension. It is shown that, given $r < 1$, it is possible to enlarge a model of set theory, $V$, by a generic extension $V[G]$ so that the reals of $V$ have Lebesgue measure zero but still have positive $r$-Hausdorff capacity.


title: Simple Cardinal Characteristics of the Continuum

abstract: We classify many cardinal characteristics of the continuum according to the complexity, in the sense of descriptive set theory, of their definitions. The simplest characteristics (boldface Sigma^0_2 and, under suitable restrictions, Pi^0_2) are shown to have pleasant properties, related to Baire category. We construct models of set theory where (unrestricted) boldface Pi^0_2-characteristics behave quite chaotically and no new characteristics appear at higher complexity levels. We also discuss some characteristics associated with partition theorems and we present, in an appendix, a simplified proof of Shelah's theorem that the dominating number is less than or equal to the independence number.


title: Baire Category for Monotone Sets

abstract: We study Baire category for subsets of 2^omega that are downward-closed with respect to the almost-inclusion ordering (on the power set of the natural numbers, identified with 2^omega). We show that it behaves better in this context than for general subsets of 2^omega. In the downward-closed context, the ideal of meager sets is prime and b-complete (where b is the bounding number), while the complementary filter is g-complete (where g is the groupwise density cardinal). We also discuss other cardinal characteristics of this ideal and this filter, and we show that analogous results for measure in place of category are not provable in ZFC.


title: An Induction Principle and Pigeonhole Principles for K-Finite Sets

abstract: We establish a course-of-values induction principle for K-finite sets in intuitionistic type theory. Using this principle, we prove a pigeonhole principle conjectured by Benabou and Loiseau. We also comment on some variants of this pigeonhole principle.


title: Seven Trees in One

abstract: Following a remark of Lawvere, we explicitly exhibit a particularly elementary bijection between the set T of finite binary trees and the set T^7 of seven-tuples of such trees. "Particularly elementary" means that the application of the bijection to a seven-tuple of trees involves case distinctions only down to a fixed depth (namely four) in the given seven-tuple. We clarify how this and similar bijections are related to the free commutative semiring on one generator X subject to X=1+X^2. Finally, our main theorem is that the existence of particularly elementary bijections can be deduced from the provable existence, in intuitionistic type theory, of any bijections at all.


title: Subgroups of the Baer-Specker Group with Few Endomorphisms but Large Dual

abstract: The Baer-Specker group is the product of countably many copies of the additive group Z of integers. Assuming the continuum hypothesis, we construct a pure subgroup G of the Baer-Specker group with the following properties. Every endomorphism of G differs from a scalar multiplication by an endomorphism of finite rank. Yet G has uncountably many homomorphisms to Z.


title: Bqo is Pi^1_2-complete

abstract: In this paper we prove that the set of countable bqos (viewed as a subset of the Cantor space) is Pi^1_2-complete. The notion of bqo or better quasi-ordering arises from combinatorics and is a generalization of the canonical example of a Pi^1_1-complete notion, i.e. that of countable well-ordering. The Pi^1_2-completeness of bqo was conjectured by Clote and proved by the author in his Ph.d. thesis: in this paper we prove it using Simpson's definition of bqo and as little bqo theory as possible.


title: Kolmogorov complexity and instance complexity of recursively enumerable sets

abstract: We study in which way Kolmogorov complexity and instance complexity affect properties of r.e. sets. We show that the well-known 2log n upper bound on the Kolmogorov complexity of initial segments of r.e.\ sets is optimal and characterize the T-degrees of r.e. sets which attain this bound. The main part of the paper is concerned with instance complexity of r.e. sets. We construct a nonrecursive r.e. set with instance complexity logarithmic in the Kolmogorov complexity. This refutes a conjecture of Ko, Orponen, Sch"oning, and Watanabe. In the other extreme, we show that all wtt-complete set and all Q-complete sets have infinitely many hard instances.


title: The subspace problem for weighted inductive limits of spaces of holomorphic functions

abstract: We construct a countable inductive limit of weighted Banach spaces of holomorphic functions, which is not a topological subspace of the corresponding weighted inductive limit of spaces of continuous functions. The main step of our construction, using a special sequence of outer holomorphic functions, shows that a certain sequence space is isomorphic to a complemented subspace of a weighted space of holomorphic functions in two complex variables. This example solves in the negative a well-known open problem raised by Bierstedt, Meise and Summers.


title: Complex interpolation and complementably minimal spaces

abstract: We construct a class of super-reflexive complementably minimal spaces, and study uniformly convex distortions of the norm on Hilbert space by using methods of complex interpolation.


title: Some properties of space of compact operators

abstract: Let $X$ be a separable Banach space, $Y$ be a Banach space and $\Lambda$ be a subset of the dual group of a given compact metrizable abelian group. We prove that if $X^*$ and $Y$ have the type I-$\Lambda$-RNP (resp. type II-$\Lambda$-RNP) then $K(X,Y)$ has the type I-$\Lambda$-RNP (resp. type II-$\Lambda$-RNP) provided $L(X,Y)=K(X,Y)$. Some corollaries are then presented as well as results conserning the separability assumption on $X$. Similar results for the NearRNP and the WeakRNP are also presented.


title: How Joe Gillis Discovered Combinatorial Special Function Theory

abstract: How Enumerative Combinatorics met Special Functions, thanks to Joe Gillis


title: Q-Hermite polynomials and classical orthogonal polynomials

abstract: We use generating functions to express orthogonality relations in the form of $q$-beta integrals. The integrand of such a $q$-beta integral is then used as a weight function for a new set of orthogonal or biorthogonal


title: Bext^2(G,T) can be nontrivial, even assuming GCH

abstract: Using the consistency of some large cardinals we produce a model of Set Theory in which the generalized continuum hypothesis holds and for some torsion-free abelian group G of cardinality aleph_{omega +1} and for some torsion group T, Bext^2(G,T) not =0 .


title: On a theorem of Shapiro

abstract: We show that a theorem of Leonid B. Shapiro which was proved under MA, is actually independent from ZFC. We also give a direct proof of the Boolean algebra version of the theorem under MA(Cohen).


title: The set of maps F_{a,b}: x -> x+a+{b/{2 pi}} sin(2 pi x) with any given rotation interval is contractible

abstract: Consider the two-parameter family of real analytic maps $F_{a,b}:x \mapsto x+ a+{b\over 2\pi} \sin(2\pi x)$ which are lifts of degree one endomorphisms of the circle. The purpose of this paper is to provide a proof that for any closed interval $I$, the set of maps $F_{a,b}$ whose rotation interval is $I$, form a contractible set.


title: Ratio geometry, rigidity and the scenery process for hyperbolic Cantor sets

abstract: Given a $C^{1+\gamma}$ hyperbolic Cantor set $C$, we study the sequence $C_{n,x}$ of Cantor subsets which nest down toward a point $x$ in $C$. We show that $C_{n,x}$ is asymptotically equal to an ergodic Cantor set valued process. The values of this process, called limit sets, are indexed by a H\"older continuous set-valued function defined on D. Sullivan's dual Cantor set. We show the limit sets are themselves $C^{k+\gamma}, C^\infty$ or $C^\omega$ hyperbolic Cantor sets, with the highest degree of smoothness which occurs in the $C^{1+\gamma}$ conjugacy class of $C$. The proof of this leads to the following rigidity theorem: if two $C^{k+\gamma}, C^\infty$ or $C^\omega$ hyperbolic Cantor sets are $C^1$-conjugate, then the conjugacy (with a different extension) is in fact already $C^{k+\gamma}, C^\infty$ or $C^\omega$. Within one $C^{1+\gamma}$ conjugacy class, each smoothness class is a Banach manifold, which is acted on by the semigroup given by rescaling subintervals. Conjugacy classes nest down, and contained in the intersection of them all is a compact set which is the attractor for the semigroup: the collection of limit sets. Convergence is exponentially fast, in the $C^1$ norm.


title: Average kissing numbers for non-congruent sphere packings

abstract: The Koebe circle packing theorem states that every finite planar graph can be realized as the nerve of a packing of (non-congruent) circles in R^3. We investigate the average kissing number of finite packings of non-congruent spheres in R^3 as a first restriction on the possible nerves of such packings. We show that the supremum k of the average kissing number for all packings satisfies 12.566 ~ 666/53 <= k < 8 + 4*sqrt(3) ~ 14.928 We obtain the upper bound by a resource exhaustion argument and the upper bound by a construction involving packings of spherical caps in S^3. Our result contradicts two naive conjectures about the average kissing number: That it is unbounded, or that it is supremized by an infinite packing of congruent spheres.


title: Continuity of the complex Monge-Ampere operator

abstract: The complex Monge-Amp\`ere operator $(dd^c)^n$ is an important tool in complex analysis. It would be interesting to find the right notion of convergence $u_j\to u$ such that $(dd^cu_j)^n\to (dd^cu)^n$ in the weak topology. In this paper, using the $C_{n-1}$-capacity, we give a sufficient condition of the weak convergence $(dd^cu_j)^n\to (dd^cu)^n$. We also show that our condition is quite sharp in some case.


title: Coset enumeration strategies

abstract: A primary reference on computer implementation of coset enumeration procedures is a 1973 paper of Cannon, Dimino, Havas and Watson. Programs and techniques described there are updated in this paper. Improved coset definition strategies, space saving techniques and advice for obtaining improved performance are included. New coset definition strategies for Felsch-type methods give substantial reductions in total cosets defined for some pathological enumerations. Significant time savings are achieved for coset enumeration procedures in general. Statistics on performance are presented, both in terms of time and in terms of maximum and total cosets defined for selected enumerations.


title: Algorithms for groups

abstract: Group theory is a particularly fertile field for the design of practical algorithms. Algorithms have been developed across the various branches of the subject and they find wide application. Because of its relative maturity, computational group theory may be used to gain insight into the general structure of algebraic algorithms. This paper examines the basic ideas behind some of the more important algorithms for finitely presented groups and permutation groups, and surveys recent developments in these fields.


title: Applications of substring searching to group presentations

abstract: An important way for describing groups is by finite presentations. Large presentations arise in practice which are poorly suited for either human or computer use. Presentation simplification processes which take bad presentations and produce good presentations have been developed. Substantial use is made of substring searching and appropriate techniques for this context are described. Effective use is made of signatures and change flags. Change flags are shown to be the most beneficial of the methods tested here, with very significant performance improvement. Experimental performance figures are given.


title: Recognizing badly presented Z-modules

abstract: Finitely generated Z-modules have canonical decompositions. When such modules are given in a finitely presented form there is a classical algorithm for computing a canonical decomposition. This is the algorithm for computing the Smith normal form of an integer matrix. We discuss algorithms for Smith normal form computation, and present practical algorithms which give excellent performance for modules arising from badly presented abelian groups. We investigate such issues as congruential techniques, sparsity considerations, pivoting strategies for Gauss-Jordan elimination, lattice basis reduction and computational complexity. Our results, which are primarily empirical, show dramatically improved performance on previous methods.


title: A new problem in string searching

abstract: We describe a substring search problem that arises in group presentation simplification processes. We suggest a two-level searching model: skip and match levels. We give two timestamp algorithms which skip searching parts of the text where there are no matches at all and prove their correctness. At the match level, we consider Harrison signature, Karp-Rabin fingerprint, Bloom filter and automata based matching algorithms and present experimental performance figures.


title: Applications of computational tools for finitely presented groups

abstract: Computer based techniques for recognizing finitely presented groups are quite powerful. Tools available for this purpose are outlined. They are available both in stand-alone programs and in more comprehensive systems. A general computational approach for investigating finitely presented groups by way of quotients and subgroups is described and examples are presented. The techniques can provide detailed information about group structure. Under suitable circumstances a finitely presented group can be shown to be soluble and its complete derived series can be determined, using what is in effect a soluble quotient algorithm.


title: On the Betti numbers of some Gorenstein ideals

abstract: Assume $R$ is a polynomial ring over a field and $I$ is a homogeneous Gorenstein ideal of codimension $g\ge3$ and initial degree $p\ge2$. We prove that the number of minimal generators $\nu(I_p)$ of $I$ that are in degree $p$ is bounded above by $\nu_0={p+g-1\choose g-1}-{p+g-3\choose g-1}$, which is the number of minimal generators of the defining ideal of the extremal Gorenstein algebra of codimension $g$ and initial degree $p$. Further, $I$ is itself extremal if $\nu(I_p)=\nu_0$.


title: Uniform Kadec-Klee Property in Banach lattices

abstract: We prove that a Banach lattice $X$ which does not contain the $l^n_{\infty}$-uniformly has an equivalent norm which is uniformly Kadec-Klee for a natural topology $\tau$ on $X$. In case the Banach lattice is purely atomic, the topology $\tau$ is the coordinatewise convergence topology.


title: A remark on contraction semigroups on Banach spaces

abstract: Let $X$ be a complex Banach space and let $J:X \to X^*$ be a duality section on $X$ (i.e. $\langle x,J(x)\rangle=\|J(x)\|\|x\|=\|J(x)\|^2=\|x\|^2$). For any unit vector $x$ and any ($C_0$) contraction semigroup $T=\{e^{tA}:t \geq 0\}$, Goldstein proved that if $X$ is a Hilbert space and if $|\langle T(t) x,J(x)\rangle| \to 1 $ as $t \to \infty$, then $x$ is an eigenvector of $A$ corresponding to a purely imaginary eigenvalue. In this article, we prove the similar result holds if $X$ is a strictly convex complex Banach space.


title: Stability and Dichotomy of Positive Semigroups on $L_p$

abstract: A new proof of a result of Lutz Weis is given, that states that the stability of a positive strongly continuous semigroup $(e^{tA})_{t \ge 0}$ on $L_p$ may be determined by the quantity $s(A)$. We also give an example to show that the dichotomy of the semigroup may not always be determined by the spectrum $\sigma(A)$.


title: Concentration of Measure and Isoperimetric Inequalities in Product Spaces

abstract: The concentration of measure prenomenon roughly states that, if a set $A$ in a product $\Omega^N$ of probability spaces has measure at least one half, ``most'' of the points of $\Omega^N$ are ``close'' to $A$. We proceed to a systematic exploration of this phenomenon. The meaning of the word ``most'' is made rigorous by isoperimetric-type inequalities that bound the measure of the exceptional sets. The meaning of the work ``close'' is defined in three main ways, each of them giving rise to related, but different inequalities. The inequalities are all proved through a common scheme of proof. Remarkably, this simple approach not only yields qualitatively optimal results, but, in many cases, captures near optimal numerical constants. A large number of applications are given, in particular in Percolation, Geometric Probability, Probability in Banach Spaces, to demonstrate in concrete situations the extremely wide range of application of the abstract tools.


title: Tangent Sequences in Orlicz and Rearrangement Invariant Spaces

abstract: Let (f_n) and (g_n) be two sequences of random variables adapted to an increasing sequence of $\sigma$-algebras $({\cal F}_n)$ such that the conditional distributions of f_n and g_n given ${\cal F}_{n-1}$ coincide, and such that the sequence (g_n) is conditionally independent. Then it is known that $\normo{\sum f_k}_p \le C \normo{\sum g_k}_p$, $1 \le p \le \infty$ where the constant C is independent of p. The aim of this paper is to extend this result to certain classes of Orlicz and rearrangement invariant spaces. This paper includes fairly general techniques for obtaining rearrangement invariant inequalities from Orlicz norm inequalities.


title: Contraction and decoupling inequalities for multilinear forms and u-statistics

abstract: We prove decoupling inequalities for random polynomials in independent random variables with coefficients in vector space. We use various means of comparison, including rearrangement invariant norms (e.g., Orlicz and Lorentz norms), tail distributions, tightness, hypercontractivity, etc.


title: The Uniform Classification of Banach Spaces

abstract: This is a survey of results on the classification of Banach spaces as metric spaces. It is based on a series of lectures I gave at the Functional Analysis Seminar in 1984-1985, and it appeared in the 1984-1985 issue of the Longhorn Notes. I keep receiving requests for copies, because some of the material here does not appear elsewhere and because the Longhorn Notes are not so easy to get. Having it posted on the Bulletin thus seems reasonable despite the fact that it is not updated, and I thank the Editors of the Longhorn Notes for their permission to do so.


title: Constructions of Majorizing Measures, Bernoulli processes and cotype

abstract: We present three methods to construct majorizing measures in various settings. These methods are based on direct constructions of increasing sequences of partitions through a simple exhaustion procedure rather than on the construction of well separated ultrametric subspaces. The first scheme of construction provides a simple unified proof of the Majorizing Measure Theorem for Gaussian processes and of the following fact. If $A,B$ are balanced convex sets in a vector space, and if $A$ is sufficiently convex, a control of the covering numbers $N(A,\varepsilon B)$ for all $\varepsilon>0$ implies the (a priori stronger) existence of a majorizing measure on $A$ provided with the distance induced by $B$. This establishes, apparently for the first time, a clear link between geometry and majorizing measures, and generalizes the earlier results on majorizing measures on ellipsoids in Hilbert space, that were obtained by specific methods. Much of the rest of the paper is concerned with the structure of bounded Bernoulli (=Radmacher) processes. The main conjecture on their structure is reformulated in several ways, that are shown to be equivalent, and to be equivalent to the existence of certain majorizing measures. Two schemes of construction of majorizing measures related to this problem are presented. One allows to describe Bernoulli processes when the index set, provided with the supremum norm, is sufficiently small. The other allows to prove a weak form of the main conjecture.


title: Differences of bounded semi-continuous functions, I

abstract: Structural properties are given for $D(K)$, the Banach algebra of (complex) differences of bounded semi-continuous functons on a metric space $K$. For example, it is proved that if all finite derived sets of $K$ are non-empty, then a complex function $\varphi$ operates on $D(K)$ (i.e., $\varphi\circ f\in D(K)$ for all $f\in D(K)$) if and only if $\varphi$ is locally Lipschitz. Another example: if $W\subset K$ and $g\in D(W)$ is real-valued, then it is proved that $g$ extends to a $\tilde g$ in $D(K)$ with $\|\tilde g\|_{D(K)} = \|g\|_{D(W)}$. Considerable attention is devoted to $SD(K)$, the closure in $D(K)$ of the set of simple functions in $D(K)$. Thus it is proved that every member of $SD(K)$ is a (complex) difference of semi-continuous functions in $SD(K)$, and that $|f|$ belongs to $SD(K)$ if $f$ does. An intrinsic characterization of $SD(K)$ is given, in terms of transfinite oscillation sets. Using the transfinite oscillations, alternate proofs are given of the results of Chaatit, Mascioni and Rosenthal that functions of finite Baire-index belong to $SD(K)$, and that $SD(K)\ne D(K)$ for interesting $K$. It is proved that the ``variable oscillation criterion'' characterizes functions belonging to $B_{1/4}(K)$, thus answering an open problem raised in earlier work of Haydon, Odell and Rosenthal. It is also proved that $f$ belongs to $B_{1/4}(K)$ (if and) only if $f$ is a uniform limit of simple $D$-functions of uniformly bounded $D$-norm iff $\osc_\omega f$ is bounded; the last equivalence has also been obtained by V.~Farmaki, using other methods.


title: A Note on UMD Spaces and Transference in Vector-valued Function Spaces

abstract: We introduce the notion of an ACF space, that is, a space for which a generalized version of M. Riesz's theorem for conjugate functions with values in the Banach space is bounded. We use transference to prove that spaces for which the Hilbert transform is bounded, i\.e\. $X\in\text{HT}$, are ACF spaces. We then show that Bourgain's proof of $X\in\text{HT}\implies X\in\text{UMD}$ is a consequence of this result.


title: Large normal ideals concentrating on a fixed small cardinality

abstract: A property of a filter, a kind of large cardinal property, suffices for the proof in Liu Shelah [LiSh:484] and is proved consistent as required there. A natural property which looks better, not only is not obtained here, but is shown to be false. On earlier related theorems see Gitik Shelah [GiSh310].


title: The Graphical Major Index

abstract: A generalization of the classical statistics ``maj'' and ``inv'' (the major index and number of inversions) on words is introduced, parameterized by arbitrary graphs on the underlying alphabet. The question of characterizing those graphs that lead to equi-distributed "inv" and "maj" is posed and answered.


title: Characterizations of generalized Hermite and sieved ultraspherical polynomials

abstract: A new characterization of the generalized Hermite polynomials and of the orthogonal polynomials with respect to the maesure $|x|^\g (1-x^2)^{\a-1/2}dx$ is derived which is based on a "reversing property" of the coefficients in the corresponding recurrence formulas and does not use the representation in terms of generalized Laguerre and Jacobi polynomials. A similar characterization can be obtained for a generalization of the sieved ultraspherical polynomials of the first and second kind. These results are applied in order to determine the asymptotic limit distribution for the zeros when the degree and the parameters tend to infinity with the same order.


title: A note on some peculiar nonlinear extremal phenomena of the Chebyshev polynomials

abstract: We consider the problem of maximizing the sum of squares of the leading coefficients of polynomials $P_{i_1}(x),\ldots ,P_{i_m}(x)$ (where $P_j(x)$ is a polynomial of degree $j$) under the restriction that the sup-norm of $\sum_{j=1}^m P_{i_j}^2(x)$ is bounded on the interval $[-b,b]$ ($b>0$). A complete solution of the problem is presented using duality theory of convex analysis and the theory of canonical moments. It turns out, that contrary to many other extremal problems the structure of the solution will depend heavily on the size of the interval $[-b,b]$.


title: New bounds for Hahn and Krawichouk polynomials

abstract: For the Hahn and Krawtchouk polynomials orthogonal on the set $\{0, \ldots,N\}$ new identities for the sum of squares are derived which generalize the trigonometric identity for the Chebyshev polynomials of the first and second kind. These results are applied in order to obtain conditions (on the degree of the polynomials) such that the polynomials are bounded (on the interval $[0,N]$) by their values at the points $0$ and $N$. As special cases we obtain a discrete analogue of the trigonometric identity and bounds for the discrete Chebyshev polynomials of the first and second kind.


title: Some new asymptotic properties for the zeros of Jacobi, Laguerre and Hermite polynomials

abstract: For the generalized Jacobi, Laguerre and Hermite polynomials $P_n^{(\alpha_n, \beta_n)} (x), L_n^{(\alpha_n)} (x),$\break $H_n^{(\gamma_n)} (x)$ the limit distributions of the zeros are found, when the sequences $\alpha_n$ or $\beta_n$ tend to infinity with a larger order than $n$. The derivation uses special properties of the sequences in the corresponding recurrence formulae. The results are used to give second order approximations for the largest and smallest zero which improve (and generalize) the limit statements in a paper of Moak, Saff and Varga [11].


title: A matrix equation for association schemes

abstract: {Let ${\Cal X}$ be a self-dual P-polynomial association scheme. Then there are at most 12 diagonal matrices $T$ such that $(PT)^3=I$. Moreover, all of the solutions for the classical infinite families of such schemes (including the Hamming scheme) are classified.


title: Combinatorial orthogonal expansions

abstract: The linearization coefficients for a set of orthogonal polynomials are given explicitly as a weighted sum of combinatorial objects. Positivity theorems of Askey and Szwarc are corollaries of these expansions.


title: Ladder operators for Szeg\H{o} polynomials and related biorthogonal rational functions

abstract: We find the raising and lowering operators for orthogonal polynomials on the unit circle introduced by Szeg\H{o} and for their four parameter generalization to ${}_4\phi_3$ biorthogonal rational functions on the unit circle.


title: Every null additive set of reals is meager additive

abstract: We show that every null-additive set is meager-additive, where: (1) a set X subseteq 2^omega is null-additive if for every Lebesgue null set A subseteq 2^omega, X+A is null too; (2) we say that X subseteq 2^omega is meager-additive if for every A subseteq 2^omega which is meager also X+A is meager.


title: Adding one random real

abstract: We study the cardinal invariants of measure and category after adding one random real. In particular, we show that the number of measure zero subsets of the plane which are necessary to cover graphs of all continuous functions maybe large while the covering for measure is small.


title: Coexistence of critical orbit types in sub-hyperbolic polynomial maps

abstract: We establish necessary and sufficient conditions for the realization of mapping schemata as post-critically finite polynomials, or more generally, as post-critically finite polynomial maps from a finite union of copies of the complex numbers {\bf C} to itself which have degree two or more in each copy. As a consequence of these results we prove a transitivity relation between hyperbolic components in parameter space which was conjectured by Milnor.


title: The Kobayashi metric for non-convex complex ellipsoids

abstract: In the paper we give some necessary conditions for a mapping to be a $\kappa$-geodesic in non-convex complex ellipsoids. Using these results we calculate explicitly the Kobayashi metric in the ellipsoids $\{|z_1|^2+|z_2|^{2m}<1\}\subset\bold C^2$, where $m<\frac12$.


title: Automorphic forms and cubic twists of elliptic curves

abstract: This paper surveys the connection between the elliptic curve E_D: x^3 + y^3 = D and a certain metaplectic form on the cubic cover of GL(3) which has the property that its m,n^{th} Whittaker--Fourier coefficient is essentially the L--series of the curve E_{m^2n}. One may obtain information about the collective behavior the curves E_D by exploiting this connection; for example, one can prove: Theorem: Fix any prime p \ne 3, and any congruence class c mod p. Then there are infinitely many D congruent to c mod p such that the curve E_D has no rational solutions. This paper is fairly self-contained; no prior knowledge of algebraic number theory, analytic number theory or metaplectic forms is assumed. On the other hand, this paper is a survey, no proofs are included.


title: Reductions Between Cardinal Characteristics of the Continuum

abstract: We discuss two general aspects of the theory of cardinal characteristics of the continuum, especially of proofs of inequalities between such characteristics. The first aspect is to express the essential content of these proofs in a way that makes sense even in models where the inequalities hold trivially (e.g., because the continuum hypothesis holds). For this purpose, we use a Borel version of Vojtas's theory of generalized Galois-Tukey connections. The second aspect is to analyze a sequential structure often found in proofs of inequalities relating one characteristic to the minimum (or maximum) of two others. Vojtas's max-min diagram, abstracted from such situations, can be described in terms of a new, higher-type object in the category of generalized Galois-Tukey connections. It turns out to occur also in other proofs of inequalities where no minimum (or maximum) is mentioned.


title: Strolling through Paradise

abstract: With each of the usual tree forcings I (e.g., I = Sacks forcing S, Laver forcing L, Miller forcing M, Mathias forcing R, etc.) we associate a sigma--ideal i^0 on the reals as follows: A \in i^0 iff for all T \in I there is S \leq T (i.e. S is stronger than T or, equivalently, S is a subtree of T) such that A \cap [S] = \emptyset, where [S] denotes the set of branches through S. So, s^0 is the ideal of Marczewski null sets, r^0 is the ideal of Ramsey null sets (nowhere Ramsey sets) etc. We show (in ZFC) that whenever i^0, j^0 are two such ideals, then i^0 \sem j^0 \neq \emptyset. E.g., for I=S and J=R this gives a Marczewski null set which is not Ramsey, extending earlier partial results by Aniszczyk, Frankiewicz, Plewik, Brown and Corazza and answering a question of the latter. In case I=M and J=L this gives a Miller null set which is not Laver null; this answers a question addressed by Spinas. We also investigate the question which pairs of the ideals considered are orthogonal and which are not. Furthermore we include Mycielski's ideal P_2 in our discussion.


title: Mutually Generics and Perfect Free Subsets

abstract: We discuss ways of adjoining perfect sets of mutually generic random reals. In particular, we show that if V \sub W are models of ZFC and W contains a dominating real over V, then W[r], where r is random over W, contains a perfect tree of mutually random reals over V. This result improves an earlier result by Bartoszynski and Judah and sheds new light on an old Theorem of Mycielski's. We also investigate the existence of perfect free subsets for projective functions f: (omega^omega)^n \to omega^omega. In particular, we prove that every projective function has a perfect free subset in the Cohen real model, while in the Sacks real model the following holds: every Delta^1_2-- function f: omega^omega \to omega^omega has a perfect free subset and there is a Delta^1_2--function f: (omega^omega)^2 \to omega^omega without perfect free subsets. This is connected with recent results of Mildenberger. Finally, we show that the existence of a superperfect tree of Cohen reals over a model V of ZFC implies the existence of a dominating real over V, thus answering a question addressed by Spinas.


title: Forcing tightness in products of fans

abstract: The theta--fan F_theta is the quotient space obtained by identifying the non--isolated points of the product theta \times (omega+1) with a single point \infty. (Here, theta has the discrete topology and omega+1 has the order topology.) We define several notions of forcing that allow us to manipulate the tightness t of products of fans. Some consequences include: t (F_theta \times F_omega) = theta does not imply the existence of a (theta,omega)--gap, new examples of first countable <theta--collectionwise Hausdorff (cwH) spaces that are not \leq theta--cwH for singular cardinals theta, and for cardinals lambda \leq theta with cf(theta) \geq omega_1 and lambda regular, a first countable <theta--cwH not \leq theta--cwH space that can be made cwH by removing a closed discrete set of cardinality lambda. We also prove two theorems that characterize tightness of products of fans in terms of families of integer-- valued functions.


title: Evasion and prediction II

abstract: A subgroup G \leq Z^omega exhibits the Specker phenomenon if every homomorphism G \to Z maps almost all unit vectors to 0. We give several combinatorial characterizations of the cardinal se, the size of the smallest G \leq Z^omega exhibiting the Specker phenomenon. We also prove the consistency of b < e, where b is the unbounding number and e the evasion number introduced recently by Blass. Finally we show that e \geq \min { aleph_0--e , cov(M) }, where aleph_0--e is the aleph_0--evasion number (the uniformity of the evasion ideal) and cov(M) is the covering number of the meager ideal. All these results can be dualized. They answer several questions addressed by Blass.


title: Nicely generated and chaotic ideals

abstract: We show that if the real line is the disjoint union of kappa meager sets such that every meager set is contained in a countable union of them, then kappa = omega_1. This answers a question addressed by J. Cichon. We also prove two theorems saying roughly that any attempt to produce the isomorphism type of the meager ideal in the Cohen real and the random real extensions must fail. All our results hold for "meager" replaced by "null", as well.


title: Banach spaces with small spaces of operators

abstract: For a certain class of algebras $\cal A$ we give a method for constructing Banach spaces $X$ such that every operator on $X$ is close to an operator in $\cal A$. This is used to produce spaces with a small amount of structure. We present several applications. Amongst them are constructions of a new prime Banach space, a space isomorphic to its subspaces of codimension two but not to its hyperplanes and a space isomorphic to its cube but not to its square.


title: Examples of asymptotically \ell_^1 Banach spaces

abstract: Two examples of asymptotic $\ell_{1}$ Banach spaces are given. The first, $X_{u}$, has an unconditional basis and is arbitrarily distortable. The second, $X$, does not contain any unconditional basic sequence. Both are spaces of the type of Tsirelson. We thus answer a question raised by W.T.Gowers.


title: Proof of the Alternating Sign Matrix Conjecture

abstract: The number of $n \times n$ matrices whose entries are either -1, 0, or 1, whose row- and column- sums are all 1, and such that in every row and every column the non-zero entries alternate in sign, is proved to be $[1!4! >... (3n-2)!]/[n!(n+1)! ... (2n-1)!]$, as conjectured by Mills, Robbins, and Rumsey.


title: A High-School Algebra and high-school (purely formal) calculus,. Wallet-Sized Proof, of the Bieberbach Conjecture [after L. Weinstein]

abstract: L. Weinstein's brilliant short proof of de Branges's Theorem is made even shorter by using computer algebra.


title: Generalized orthogonality and continued fractions

abstract: The connection between continued fractions and orthogonality which is familiar for $J$-fractions and $T$-fractions is extended to what we call $R$-fractions of type I and II. These continued fractions are associated with recurrence relations that correspond to multipoint rational interpolants. A Favard type theorem is proved for each type. We then study explicit models which lead to biorthogonal rational functions.


title: Askey-Wilson polynomials and the quantum SU(2) group: survey and applications

abstract: Generalised matrix elements of the irreducible representations of the quantum $SU(2)$ group are defined using certain orthonormal bases of the representation space. The generalised matrix elements are relatively infinitesimal invariant with respect to Lie algebra like elements of the quantised universal enveloping algebra of $sl(2)$. A full proof of the theorem announced by Noumi and Mimachi [Proc. Japan Acad. Sci. {\bf 66}, Ser. A (1990), pp. 146--149] describing the generalised matrix elements in terms of the full four-parameter family of Askey-Wilson polynomials is given. Various known and new applications of this interpretation are presented.