title: Efficient pooling designs for library screening

abstract: We describe efficient methods for screening clone libraries, based on pooling schemes which we call ``random $k$-sets designs''. In these designs, the pools in which any clone occurs are equally likely to be any possible selection of $k$ from the $v$ pools. The values of $k$ and $v$ can be chosen to optimize desirable properties. Random $k$-sets designs have substantial advantages over alternative pooling schemes: they are efficient, flexible, easy to specify, require fewer pools, and have error-correcting and error-detecting capabilities. In addition, screening can often be achieved in only one pass, thus facilitating automation. For design comparison, we assume a binomial distribution for the number of ``positive'' clones, with parameters $n$, the number of clones, and $c$, the coverage. We propose the expected number of {\em resolved positive} clones---clones which are definitely positive based upon the pool assays---as a criterion for the efficiency of a pooling design. We determine the value of $k$ which is optimal, with respect to this criterion, as a function of $v$, $n$ and $c$. We also describe superior $k$-sets designs called $k$-sets packing designs. As an illustration, we discuss a robotically implemented design for a 2.5-fold-coverage, human chromosome 16 YAC library of $n=1,298$ clones. We also estimate the probability each clone is positive, given the pool-assay data and a model for experimental errors.


title: The degree-diameter problem for several varieties of Cayley graphs, I: the Abelian case

abstract: We address the degree-diameter problem for Cayley graphs of Abelian groups (Abelian graphs), both directed and undirected. The problem turns out to be closely related to the problem of finding efficient lattice coverings of Euclidean space by shapes such as octahedra and tetrahedra; we exploit this relationship in both directions. In particular, we find the largest Abelian graphs with 2 generators (dimensions) and a given diameter. (The results for 2 generators are not new; they are given in the literature of distributed loop networks.) We find an undirected Abelian graph with 3 generators and a given diameter which we conjecture to be as large as possible; for the directed case, we obtain partial results, which lead to unusual lattice coverings of 3-space. We discuss the asymptotic behavior of the problem for large numbers of generators. The graphs obtained here are substantially better than traditional toroidal meshes, but, in the simpler undirected cases, retain certain desirable features such as good routing algorithms, easy constructibility, and the ability to host mesh-connected numerical algorithms without any increase in communication times.


title: Addition formula for 2-parameter family of Askey-Wilson polynomials

abstract: For a two parameter family of Askey-Wilson polynomials, that can be regarded as basic analogues of the Legendre polynomials, an addition formula is derived. The addition formula is a two-parameter extension of Koornwinder's addition formula for the little $q$-Legendre polynomials. A corresponding product formula is derived. As the base tends to one, the addition and product formula go over into the addition and product formula for the Legendre polynomial. The addition formula is derived from the interpretation of Askey-Wilson polynomials as generalised matrix elements on the quantum $SU(2)$ group.


title: Spectral analysis and the Haar functional on the quantum SU(2) group

abstract: The Haar functional on the quantum $SU(2)$ group is the analogue of invariant integration on the group $SU(2)$. If restricted to a subalgebra generated by a self-adjoint element the Haar functional can be expressed as an integral with a continuous measure or with a discrete measure or by a combination of both. These results by Woronowicz and Koornwinder have been proved by using the corepresentation theory of the quantum $SU(2)$ group and Schur's orthogonality relations for matrix elements of irreducible unitary corepresentations. These results are proved here by using a spectral analysis of the generator of the subalgebra. The spectral measures can be described in terms of the orthogonality measures of orthogonal polynomials by using the theory of Jacobi matrices.


title: Algebraische Darstellung transzendenter Funktionen

abstract: Ich m\"ochte in diesem Bericht algorithmische Methoden vorstellen, die im wesentlichen in diesem Jahrzehnt Einzug in die Computeralgebra gefunden haben. Die haupts\"achlichen Ideen gehen auf Stanley \cite{Sta} und Zeilberger \cite{Zei1}--\cite{Zei4} zur\"uck, vgl.\ die Beschreibung \cite{Strehl1}, und haben ihre Wurzeln teilweise bereits im letzten Jahrhundert (siehe z.\ B.\ \cite{Beke1}--\cite{Beke2}), gerieten aber auf Grund der Komplexit\"at der auftretenden Algorithmen wieder in Vergessenheit.


title: Algorithms for the indefinite and definite summation

abstract: The celebrated Zeilberger algorithm which finds holonomic recurrence equations for definite sums of hypergeometric terms $F(n,k)$ is extended to certain nonhypergeometric terms. An expression $F(n,k)$ is called a hypergeometric term if both $F(n+1,k)/F(n,k)$ and $F(n,k+1)/F(n,k)$ are rational functions. Typical examples are ratios of products of exponentials, factorials, $\Gamma$ function terms, bin omial coefficients, and Pochhammer symbols that are integer-linear with respect to $n$ and $k$ in their arguments. We consider the more general case of ratios of products of exponentials, factorials, $\Gamma$ function terms, binomial coefficients, and Pochhammer symbols that are rational-linear with respect to $n$ and $k$ in their arguments, and present an extended version of Zeilberger's algorithm for this case, using an extended version of Gosper's algorithm for indefinite summation. In a similar way the Wilf-Zeilberger method of rational function certification of integer-linear hypergeometric identities is extended to rational-linear hypergeometric identities.


title: REDUCE package for the indefinite and definite summation

abstract: This article describes the REDUCE package ZEILBERG implemented by Gregor St\"olting and the author. The REDUCE package ZEILBERG is a careful implementation of the Gosper and Zeilberger algorithms for indefinite, and definite summation of hypergeometric terms, respectively. An expression $a_k$ is called a {\sl hypergeometric term} (or {\sl closed form}), if $a_{k}/a_{k-1}$ is a rational function with respect to $k$. Typical hypergeometric terms are ratios of products of powers, factorials, $\Gamma$ function terms, binomial coefficients, and shifted factorials (Pochhammer symbols) that are integer-linear in their arguments.


title: The universality spectrum: Consistency for more classes

abstract: We deal with consistency results for the existence of universal models in natural classes of models (more exactly--a somewhat weaker version). We apply a result on quite general family to T_feq and to the class of triangle-free graphs.


title: The cofinality spectrum of the infinite symmetric group

abstract: A group G that is not finitely generated can be written as the union of a chain of proper subgroups. The cofinality spectrum of G, written CF(S), is the set of regular cardinals lambda such that G can be expressed as the union of a chain of lambda proper subgroups. The cofinality of G, written c(G), is the least element of CF(G). We show that it is consistent that CF(S) is quite a bizarre set of cardinals. For example, we prove Theorem (A): Let T be any subset of omega setminus {0}. Then it is consistent that aleph_n in CF(S) if and only if n in T . One might suspect that it is consistent that CF(S) is an arbitrarily prescribed set of regular uncountable cardinals, subject only to the above mentioned constraint. This is not the case. Theorem (B): If aleph_n in CF(S) for all n in omega setminus {0}, then aleph_{omega +1} in CF(S) .


title: Uniformization and Skolem functions 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 definable Skolem functions (by a monadic formula with parameters)? This continues [LiSh539] where the question was asked only with respect to choice functions. Here we define a subclass of the class of tame trees (trees with a definable choice function) and prove that this is exactly the class (actually set) of trees with definable Skolem functions.


title: Differential geometry of Cartan connections

abstract: For a more general notion of Cartan connection we define characteristic classes, we investigate their relation to usual characteristic classes.


title: Laminations in holomorphic dynamics

abstract: We suggest a way to associate to a rational map of the Riemann sphere a three dimensional object called a hyperbolic orbifold 3-lamination. The relation of this object to the map is analogous to the relation of a hyperbolic 3-manifold to a Kleinian group. In order to construct the 3-lamination we analyze the natural extension of a rational map and the complex affine structure on the canonical 2-dimensional leaf space contained in it. In this paper the construction is carried out in full for post-critically finite maps. We show that the corresponding laminations have a compact convex core. As a first application we give a three-dimensional proof of Thurston's rigidity for post-critically finite mappings, via the "lamination extension" of the proofs of the Mostow and Marden rigidity and isomorphism theorems for hyperbolic 3-manifolds. An Ahlfors-type argument for zero measure of the Julia set is applied along the way. This approach also provides a new point of view on the Lattes deformable examples.


title: Unbounded Symmetric Homogeneous Domains in Spaces of Operators

abstract: We define the domain of a linear fractional transformation in a space of operators and show that both the affine automorphisms and the compositions of symmetries act transitively on these domains. Further, we show that Liouville's theorem holds for domains of linear fractional transformations, and, with an additional trace class condition, so does the Riemann removable singularities theorem. We also show that every biholomorphic mapping of the operator domain $I < Z^*Z$ is a linear isometry when the space of operators is a complex Jordan subalgebra of ${\cal L}(H)$ with the removable singularity property and that every biholomorphic mapping of the operator domain $I + Z_1^*Z_1 < Z_2^*Z_2$ is a linear map obtained by multiplication on the left and right by J-unitary and unitary operators, respectively. Readers interested only in the finite dimensional case may identify our spaces of operators with spaces of square and rectangular matrices.


title: The Bers-Greenberg Theorem and the Maskit Embedding for Teichm\"{u}ller spaces

abstract: The Bers-Greenberg theorem tells that the Teichm\"{u}ller space of a Riemann surface with branch points (orbifold) depends only on the genus and the number of special points, but not on the particular ramification values. On the other hand, the Maskit embedding provides a mapping from the Teichm\"{u}ller space of an orbifold, into the product of one dimensional Teichm\"{u}ller spaces. In this paper we prove that there is a set of isomorphisms between one dimensional Teichm\"{u}ller spaces that, when restricted to the image of the Teichm\"{u}ller space of an orbifold under the Maskit embedding, provides the Bers-Greenberg isomorphism.


title: The complexity of the reals in inner models of set theory

abstract: The usual definition of the set of constructible reals is $\Sigma ^1_2$. This set can have a simpler definition if, for example, it is countable or if every real is constructible. H. Friedman asked if the set of constructible reals can be analytic or even Borel in a nontrivial way. A related problem was posed by K. Prikry: can there exist a nonconstructible perfect set of constructible reals? The main result of this paper is a negative answer to Friedman's question. In fact we prove that if $M$ is an inner model of set theory and the set of reals in $M$ is analytic then either all reals are in $M$ or else $\aleph _1^M$ is countable. We also extend this result to higher levels of the projective hierarchy under appropriate large cardinal assumptions. Concerning Prikry's problem we show that the answer is negative if "perfect" is replaced by "superperfect" but that it can be positive if "constructible" is replaced by "belonging to some inner model $M$".


title: Decomposing with smooth sets

abstract: A subset of Euclidean space will be said to be $n$-smooth if it has an $n$-dimensional tangent plane at each of its points. Let ${\frak d}_n$ denote the least number $n$-smooth sets into which $n+1$-dimensional Euclidean space can be decomposed. For each $n$ it is shown to be consistent that ${\frak d}_n > {\frak d}_{n+1} $. Moreover, the inequalities ${\frak d}_{n+1}^+ \geq ${\frak d}_n$ are established where ${\frak d}_1$ is defined to be the continuum. The cardinal invariant ${\frak d}_2$ is shown to be the same as the least $\kappa$ such that each continuous function from the reals to the reals can be decomposed into $\kappa$ differentiable functions.


title: A proof of Shelah's recent partition theorem

abstract: Shelah's own proof to his recent polarized partition theorem involving a singular strong limit that violates the GCH is presented. The proof is slightly re-arranges so that no use of the ideal I[\lambda] is made. The proof should be readabel to any student with knowledge of set theory.


title: A complete Boolean algebra that has no proper atomless complete subalgebra

abstract: There exists a complete atomless Boolean algebra that has no proper atomless complete subalgebra.


title: There is a maximal homogeneous family over $\omega$

abstract: We tried to show in this paper that CH implies: there is a homogeneous family of subset of omega which is maximal with respect to inclusion. The paper is currently "withdrawn", since a mistake has been discovered.


title: A few special ordinal ultrafilters

abstract: We prove various results on the notion of ordinal ultrafiters introduced by J. Baumgartner. In particular, we show that this notion of ultrafilter complexity is independent of the more familiar Rudin-Keisler ordering.


title: Filter games and combinatorial properties of winning strategies

abstract: We characterize winning strategies in various infinite games involving filters on the natural numbers in terms of combinatorics or structural properties of the given filter. These generalize several ultrafilter games of Galvin.


title: An extension of Milman's reverse Brunn-Minkowski inequality

abstract: The classical Brunn-Minkowski inequality states that for $A_1,A_2\subset\R^n$ compact, $$ |A_1+A_2|^{1/n}\ge |A_1|^{1/n}+|A_2|^{1/n}\eqno(1) $$ where $|\cdot|$ denotes the Lebesgue measure on $\R^n$. In 1986 V. Milman {\bf [Mil 1]} discovered that if $B_1$ and $B_2$ are balls there is always a relative position of $B_1$ and $B_2$ for which a perturbed inverse of $(1)$ holds. More precisely:\lq\lq{\sl There exists a constant $C>0$ such that for all $n\in\N$ and any balls $B_1,B_2\subset\R^n$ we can find a linear transformation $u\colon\R^n\to\R^n$ with $|{\rm det}(u)|=1$ and $$|u(B_1)+B_2|^{1/n}\le C(|B_1|^{1/n}+|B_2|^{1/n})"$$} The aim of this paper is to extend this Milman's result to a larger class of sets.


title: Analytic measures and Bochner measurability

abstract: Let $\Sigma$ be a $\sigma$-algebra over $\Omega$, and let $M(\Sigma)$ denote the Banach space of complex measures. Consider a representation $T_t$ for $t\in\Bbb R$ acting on $M(\Sigma)$. We show that under certain, very weak hypotheses, that if for a given $\mu \in M(\Sigma)$ and all $A \in \Sigma$ the map $t \mapsto T_t \mu(A)$ is in $H^\infty(\Bbb R)$, then it follows that the map $t \mapsto T_t \mu$ is Bochner measurable. The proof is based upon the idea of the Analytic Radon Nikod\'ym Property. Straightforward applications yield a new and simpler proof of Forelli's main result concerning analytic measures ({\it Analytic and quasi-invariant measures}, Acta Math., {\bf 118} (1967), 33--59).


title: On the extension of 2- polynomials

abstract: Let $X$ be a three dimensional real Banach space. Ben\'itez and Otero \cite {BeO} showed that if the unit ball of $X$ is is an intersection of two ellipsoids, then every 2-polynomial defined in a linear subspace of $X$ can be extended to $X$ preserving the norm. In this article, we extend this result to any finite dimensional Banach space.


title: Structural properties of weak cotype 2 spaces

abstract: Several characterizations of weak cotype 2 and weak Hilbert spaces are given in terms of basis constants and other structural invariants of Banach spaces. For finite-dimensional spaces, characterizations depending on subspaces of fixed proportional dimension are proved.


title: Some remarks on the Dunford-Pettis property

abstract: Let $A$ be the disk algebra, $\Omega$ be a compact Hausdorff space and $\mu$ be a finite Borel measure in $\Omega$. It is shown that the dual of $C(\Omega,A)$ has the Dunford-Pettis Property. This proved in particular that the spaces $C(\Omega,A)$ and $L^1(\mu,A*)$ have the Dunford-Pettis property.


title: A uniformly convex hereditarily indecomposable Banach space

abstract: A {\em hereditarily indecomposable (or H.I.)} Banach space is an infinite dimensional Banach space such that no subspace can be written as the topological sum of two infinite dimensional subspaces. As an easy consequence, no such space can contain an unconditional basic sequence. This notion was first introduced in 1993 by T.Gowers and B.Maurey, who constructed the first known example of a hereditarily indecomposable space. Gowers-Maurey space is reflexive, however it is not uniformly convex. In this article, we provide an example of a uniformly convex hereditarily indecomposable space, using similar methods as Gowers and Maurey, and using the theory of complex interpolation for a family of Banach spaces of Coifman, Cwikel, Rochberg, Sagher and Weiss.


title: The Fundamental Lemma for the Shalika Subgroup of GL$(4)$

abstract: The authors establish the fundamental lemma for a relative trace formula. This trace formula compares generic automorphic representations of GSp$(4)$ with automorphic representations of GL$(4)$ which are distinguished with respect to a character of the Shalika subgroup, the subgroup of matrices of $2\times 2$ block form $$ \pmatrix g&0\\0&g\endpmatrix \pmatrix I&0\\X&O\endpmatrix. $$ The fundamental lemma, giving the equality of two orbital integrals, amounts to a comparison of certain exponential sums arising from these two different groups. On the GSp$(4)$ side one has the Kloosterman sums for this group, and on the GL$(4)$ side certain, new, relative Kloosterman sums. To show that these are equal for each relevant Weyl group element, the authors compute the Mellin transforms of the sums and match them in all cases. The file available from the MSRI preprint server gives the first chapter of the manuscript. The entire manuscript, 147 pages long, is available as an MSRI preprint.


title: Approximation of analytic functions with prescribed boundary conditions by circle packing maps

abstract: We use recent advances in circle packing theory to develop a constructive method for the approximation of an analytic function $F:\Omega \to \bold C$ by circle packing maps providing we have only been given $\Omega$, $|F'|\big|_{\Omega}$, and the set of critical points of $F$. This extends the earlier result of Ithiel Carter and Burt Rodin [CR] for $F$ with no critical points.


title: Speed of convergence of two-dimensional Fourier integrals

abstract: Recently we found necessary and sufficient conditions for the convergence at a preassigned point of the spherical partial sums of the Fourier integral in a class of piecewise smooth functions in Euclidean space. These yield elementary examples of divergent Fourier integrals in three dimensions and higher. Meanwhile, several years ago Gottlieb and Orsag observed that in two dimensions we may expect slower convergence at certain points, specifically for Fourier-Bessel series of radial functions. In this paper we investigate the rate of convergence of the spherical partial sums of the Fourier integral for a class of piecewise smooth functions. The basic result is an asymptotic expansion which allows us to read off the rate of convergence at a pre-assigned point.


title: Lectures on the affine Hecke algebras and Macdonald conjectures

abstract: These are the notes from a series of lectures the author gave at Harvard University in the Fall of 1994. The goal of these lectures is to give a self-contained exposition of recent result of Cherednik (\cite{C6}), who proved Macdonald's inner product conjectures (see \cite{M2}) for arbitrary root systems, using the algebraic structure he called ``double affine Hecke algebra''.


title: The tree property at successors of singular cardinals

abstract: Assuming some large cardinals, a model of ZFC is obtained in which aleph_{omega+1} carries no Aronszajn trees. It is also shown that if lambda is a singular limit of strongly compact cardinals, then lambda^+ carries no Aronszajn trees.


title: Convergence in homogeneous random graphs

abstract: For a sequence p=(p(1),p(2), ...) let G(n,p) denote the random graph with vertex set {1,2, ...,n} in which two vertices i, j are adjacent with probability p(|i-j|), independently for each pair. We study how the convergence of probabilities of first order properties of G(n,p), can be affected by the behaviour of p and the strength of the language we use.


title: The Bounded Proper Forcing Axiom

abstract: The bounded proper forcing axiom BPFA is the statement that for any family of aleph_1 many maximal antichains of a proper forcing notion, each of size aleph_1, there is a directed set meeting all these antichains. A regular cardinal kappa is called {Sigma}_1-reflecting, if for any regular cardinal chi, for all formulas phi, ``H(chi) models `phi ' '' implies ``exists delta < kappa, H(delta) models `phi ' '' We show that BPFA is equivalent to the statement that two nonisomorphic models of size aleph_1 cannot be made isomorphic by a proper forcing notion, and we show that the consistency strength of the bounded proper forcing axiom is exactly the existence of a Sigma_1-reflecting cardinal (which is less than the existence of a Mahlo cardinal). We also show that the question of the existence of isomorphisms between two structures can be reduced to the question of rigidity of a structure.


title: On invariants for omega_1-separable groups

abstract: We study the classification of omega_1-separable groups using Ehrenfeucht-Fraisse games and prove a strong classification result assuming PFA, and a strong non-structure theorem assuming diamond.


title: How many zeros of a random polynomial are real?

abstract: We provide an elementary geometric derivation of the Kac integral formula for the expected number of real zeros of a random polynomial with independent standard normally distributed coefficients. We show that the expected number of real zeros is simply the length of the moment curve $(1,t,\ldots,t^n)$ projected onto the surface of the unit sphere, divided by $\pi$. The probability density of the real zeros is proportional to how fast this curve is traced out. We then relax Kac's assumptions by considering a variety of random sums, series, and distributions, and we also illustrate such ideas as integral geometry and the Fubini-Study metric.


title: M\"untz spaces and Remez inequalities

abstract: Two relatively long-standing conjectures concerning M\"untz polynomials are resolved. The central tool is a bounded Remez type inequality for non-dense M\"untz spaces.


title: Wiener's Tauberian theorem in L^1(G//K) and harmonic functions in the unit disk

abstract: Our main result is to give necessary and sufficient conditions, in terms of Fourier transforms, on a closed ideal $I$ in $\loneg$, the space of radial integrable functions on $G=SU(1,1)$, so that $I=\loneg$ or $I=\lonez$---the ideal of $\loneg$ functions whose integral is zero. This is then used to prove a generalization of Furstenberg's theorem which characterizes harmonic functions on the unit disk by a mean value property and a ``two circles" Morera type theorem (earlier announced by Agranovski\u{\i}).


title: Topological entropy of generalized polygon exchanges

abstract: We obtain geometric upper bounds on the topological entropy of generalized polygon exchange transformations. As an application of our results, we show that billiards in polygons and rational polytopes have zero topological entropy.


title: A splitting property for subalgebras of tensor products

abstract: We prove a basic result about tensor products of a $\text{II}_1$ factor with a finite von Neumann algebra and use it to answer, affirmatively, a question asked by S. Popa about maximal injective factors.


title: Not all free arrangements are $K(\pi,1)$

abstract: We produce a one-parameter family of hyperplane arrangements that are counterexamples to the conjecture of Saito that the complexified complement of a free arrangement is $K(\pi,1)$. These arrangements are the restriction of a one-parameter family of arrangements that arose in the study of tilings of certain centrally symmetric octagons. This other family is discussed as well.


title: Chaos in the Lorenz equations: a computer-assisted proof

abstract: A new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique combines abstract existence results based on the Conley index theory with computer- assisted computations. As an application of these methods it is proven that for an explicit parameter value the Lorenz equations exhibit chaotic dynamics.


title: A new series of dense graphs of high girth

abstract: Let $k\ge 1$ be an odd integer, $t=\lfloor {{k+2}\over 4}\rfloor$, and $q$ be a prime power. We construct a bipartite, $q$-regular, edge-transitive graph $C\!D(k,q)$ of order $v \le 2q^{k-t+1}$ and girth $g \ge k+5$. If $e$ is the the number of edges of $C\!D(k,q)$, then $e =\Omega(v^{1+ {1\over {k-t+1}}})$. These graphs provide the best known asymptotic lower bound for the greatest number of edges in graphs of order $v$ and girth at least $g$, $ g\ge 5$, $g \not= 11,12$. For $g\ge 24$, this represents a slight improvement on bounds established by Margulis and Lubotzky, Phillips, Sarnak; for $5\le g\le 23$, $g\not= 11,12$, it improves on or ties existing bounds.


title: Secondary invariants and the singularity of the Ruelle zeta-function in the central critical point

abstract: The Ruelle zeta-function of the geodesic flow on the sphere bundle $S(X)$ of an even-dimensional compact locally symmetric space $X$ of rank $1$ is a meromorphic function in the complex plane that satisfies a functional equation relating its values in $s$ and $-s$. The multiplicity of its singularity in the central critical point $s = 0$ only depends on the hyperbolic structure of the flow and can be calculated by integrating a secondary characteristic class canonically associated to the flow- invariant foliations of $S(X)$ for which a representing differential form is given.


title: Further travels with my ant

abstract: We discuss some properties of a class of cellular automata sometimes called a "generalized ant". This system is perhaps most easily understood by thinking of an ant which moves about a lattice in the plane. At each vertex (or "cell"), the ant turns right or left, depending on the the state of the cell, and then changes the state of the cell according to certain prescribed rule strings. (This system has been the subject of several Mathematical Entertainments columns in the Mathematical Intelligencer; this article will be a future such column). At various times, the distributions of the states of the cells for certain ants is bilaterally symmetric; we categorize a class of ants for which this is the case and give a proof using Truchet tiles.


title: Aztec diamonds, checkerboard graphs, and spanning trees

abstract: This note derives the characteristic polynomial of a graph that represents nonjump moves in a generalized game of checkers. The number of spanning trees is also determined.


title: Coordinates for Teichm\"{u}ller spaces of b-groups with torsion

abstract: In this paper we will use b-groups to construct coordinates for the Teichm\"uller spaces of 2-orbifolds. The main technical tool is the parametrization of triangle groups, which allows us to compute explicitly formul\ae\ for generators of b-groups uniformizing orbifolds. In this way, we obtain a technique to pass from the abstract objects of deformation spaces to concrete calculations with M\"obius transformations. We explore this computational character of our work by finding the expressions of certain classical isomorphisms between Teichm\"uller spaces.


title: On Teichm\"uller spaces of Koebe groups

abstract: In this paper we parametrize the Teichm\"uller spaces of constructible Koebe groups, that is Kleinian group that arise as covering of $2-$orbifolds determined by certain normal subgroups of their fundamental groups. We also study the covering spaces of the Teichm\"uller spaces of those Koebe groups. Finally we prove an isomorphisms theorem similar to the Bers-Greenberg theorem for Fuchsian groups. Our method yields a technique to compute explictly generators of Koebe groups, possibly by programming a computer.


title: On Countably Closed Complete Boolean Algebras

abstract: It is unprovable that every complete subalgebra of a countably closed complete Boolean algebra is countably closed.


title: On a combinatorial property of families of sequences converging to +infinity

abstract: We consider families F of sequences converging to +infinity that F satisfies the following condition (C): (C): if an open set U in the real line is unbounded above then there exists a sequence belonging to F, which has an infinite number of terms belonging to U. For the functions f,g from {0,1,2,...} to {0,1,2,...} we define: f =< g if and only if {i: f(i) > g(i)} is finite. Let b denote the smallest cardinality of a unbounded (in the sense of =<) family of functions from {0,1,2,...} to {0,1,2,...}, see [1]. Theorem 1. If F is a family of sequences converging to +infinity and card F < b, then F does not satisfy condition (C). Corollary. Every family of sequences converging to +infinity which satisfies the condition (C) is uncountable, Martin's axiom implies that each such family has cardinality continuum (because Martin's axiom implies that b=continuum, see [1], [2]). Theorem 2. There exists a family of sequences converging to +infinity which satisfies condition (C) and has cardinality b. References [ 1 ] R. Frankiewicz, P. Zbierski, Hausdorff gaps and limits, Amsterdam: North-Holland, 1994. [ 2 ] T. Jech, Set theory, New York, Academic Press, 1978.


title: On a Spector ultrapower of the Solovay model

abstract: We prove that a Spector--like ultrapower extension $\gN$ of a countable Solovay model $\gM$ (where all sets of reals are Lebesgue measurable) is equal to the set of all sets constructible from reals in a generic extension $\gM[\al]$ where $\al$ is a random real over $\gM.$ The proof involves an almost everywhere uniformization theorem in the Solovay model.


title: Many (omega)-categorical Structures Have the Small Index Property

abstract: A class K of finite structures is said to have the extension property for automorphisms (EP) if for every A in K there exists an extension B in K such that every partial isomorphism on the structure A extends to an automorphism of B. Hrushovski proved EP for the class of all finite graphs. The main problem is to keep B finite. Hodges, Hodkinson, Lascar and Shelah showed in their paper that in certain cases the EP for the class K implies the Small Index Property (SIP) for the "generic" countable structure determined by K. E.g. Hrushovskis result yields the SIP for the random graph. In this preprint we prove the EP for the class of all finite K_n - free graphs (i.e. graphs with no complete subgraph of given size n), which implies SIP for the generic K_n - free graph. Also we prove EP for a certain family of classes of directed graphs, which implies SIP for the "Henson digraphs". This is a family of continuum many non isomorphic countable directed omega-categorical graphs. Finally we state EP for a more general family of classes, which covers all the cases mentioned above.


title: Operators on subspaces of hereditarily indecomposable Banach spaces

abstract: A space $X$ is said to be hereditarily indecomposable if no two (infinite dimensional) subspaces of $X$ are in a direct sum. In this paper, we show that if $X$ is a complex hereditarily indecomposable Banach space, then every operator from a subspace $Y$ of $X$ to $X$ is of the form $\lambda I + S$, where $I$ is the inclusion map and $S$ is strictly singular.


title: A New Construction of Isospectral Riemannian Nilmanifolds with Examples

abstract: We present a new construction for obtaining pairs of higher-step isospectral Riemannian nilmanifolds and compare several resulting new examples. In particular, we present new examples of manifolds that are isospectral on functions, but not isospectral on one-forms.


title: An extension of Hecke's converse theorem

abstract: Associated to a newform $f(z)$ is a Dirichlet series $L_f(s)$ with functional equation and Euler product. Hecke showed that if the Dirichlet series $F(s)$ has a functional equation of the appropriate form, then $F(s)=L_f(s)$ for some holomorphic newform $f(z)$ on $\Gamma(1)$. Weil extended this result to $\Gamma_0(N)$ under an assumption on the twists of $F(s)$ by Dirichlet characters. We show that, at least for small $N$, the assumption on twists can be replaced by an assumption on the local factors of the Euler product of $F(s)$.


title: Recent contributions to the calculus of finite differences: a survey

abstract: We retrace the recent history of the Umbral Calculus. After studying the classic results concerning polynomial sequences of binomial type, we generalize to a certain type of logarithmic series. Finally, we demonstrate numerous typical examples of our theory. Nous passons en revue ici les resultats recents du calcul ombral. Nous nous interessons tout d'abord aux resultats classique appliqu\'es aux suites de polyn\^omes de type binomial, pius elargions le champ d'\'etude aux series logarithmiques. Enfin nous donnons de nombreaux exemples types d'application de cette th\'eorie.


title: DX-operator expansion

abstract: We characterize those linear operators that can be expressed as a sum over k of terms of the form f_k(D) x^k and give several examples.


title: Proof of a conjecture of Narayana on dominance refinements of the Smirnov two-sample test

abstract: We prove the following conjecture of Narayana: there are no dominance refinements of the Smirnov two-sample test if and only if the two sample sizes are relatively prime.


title: Maple umbral calculus package

abstract: We are developing a Maple package of functions related to Rota's Umbral Calculus. A Mathematica version of this package is being developed in parallel.


title: Getting results with negative thinking

abstract: Given a universe of discourse $U$, a {\em multiset} can be thought of as a function $M$ from $U$ to the natural numbers ${\bf N}$. In this paper, we define a {\em hybrid set} to be any function from the universe $U$ to the integers ${\bf Z}$. These sets are called hybrid since they contain elements with either a positive or negative multiplicity. Our goal is to use these hybrid sets {\em as if} they were multisets in order to adequately generalize certain combinatorial facts which are true classically only for nonnegative integers.


title: A simpler characterization of Sheffer polynomial

abstract: We characterize the Sheffer sequences by a single convolution identity $$ F^{(y)} p_{n}(x) = \sum _{k=0}^{n}\ p_{k}(x)\ p_{n-k}(y)$$ where $F^{(y)}$ is a shift-invariant operator. We then study a generalization of the notion of Sheffer sequences by removing the requirement that $F^{(y)}$ be shift-invariant. All these solutions can then be interpreted as cocommutative coalgebras. We also show the connection with generalized translation operators as introduced by Delsarte. Finally, we apply the same convolution to symmetric functions where we find that the ``Sheffer'' sequences differ from ordinary full divided power sequences by only a constant factor.


title: Series with general exponents

abstract: We define the Artinian and Noetherian algebra which consist of formal series involving exponents which are not necessarily integers. All of the usual operations are defined here and characterized. As an application, we compute the algebra of symmetric functions with nonnegative real exponents. The applications to logarithmic series and the Umbral calculus are deferred to another paper. On d\'efinit ici les alg\`ebres Artinienne et Noetherienne comme \'etant des alg\`ebres constitu\'ees des s\'eries formelles \`a exposants pas n\'ecessairement entiers. On definit sur ces alg\`ebres toutes les op\'erations classiques et on les caracterise. Comme exemple d'exploitation de cette th\'eorie, on s'interesse \`a alg\`ebre de fonctions sym\'etriques &agrave exponsants r\`eels en nonn\'egatifs. Une autre publication est consacr\'ee aux applications aux series logarithmiques et au calcul ombral.


title: A generalization of Stirling numbers

abstract: We generalize the Stirling numbers of the first kind $s(a,k)$ to the case where $a$ may be an arbitrary real number. In particular, we study the case in which $a$ is an integer. There, we discover new combinatorial properties held by the classical Stirling numbers, and analogous properties held by the Stirling numbers $s(n,k)$ with $n$ a negative integer. On g\'{e}n\'{e}ralise ici les nombres de Stirling du premier ordre $s(a,k)$ au cas o\`u $a$ est un r\'eel quelconque. On s'interesse en particulier au cas o\`u $a$ est entier. Ceci permet de mettre en evidence de nouvelles propri\'et\'es combinatoires aux quelles obeissent les nombres de Stirling usuels et des propri\'et\'es analougues auquelles obeissent les nombres de Stirling $s(n,k)$ o\`u $n$ est un entier n\`egatif.


title: A generalization of the binomial coefficients

abstract: We pose the question of what is the best generalization of the factorial and the binomial coefficient. We give several examples, derive their combinatorial properties, and demonstrate their interrelationships. On cherche ici \`a d\'eterminer est la meilleure g\'en\'eralisation possible des factorielles et des coefficients du bin\^oome. On s'interesse \`a plusieurs exemples, \`a leurs propri\'et\'es combinatoires, et aux differentes relations qu'ils mettent en jeu.


title: The iterated logarithmic algebra

abstract: We generalize the Umbral Calculus of G-C. Rota by studying not only sequences of polynomials and inverse power series, or even the logarithms studied in, but instead we study sequences of formal expressions involving the iterated logarithms and x to an arbitrary real power. Using a theory of formal power series with real exponents, and a more general definition of factorial, binomial coefficient, and Stirling numbers to all the real numbers, we define the Iterated Logarithmic Algebra I. Its elements are the formal representations of the asymptotic expansions of a large class of real functions, and we define the harmonic logarithm basis of I which will be interpreted as a generalization of the powers x^n since it behaves nicely with respect to the derivative We classify all operators over I which commute with the derivative (classically these are known as shift-invariant operators), and formulate several equivalent definitions of a sequence of binomial type. We then derive many formulas useful towards the calculation of these sequences including the Recurrence Formula, the Transfer Formula, and the Lagrange Inversion Formula. Finally, we study Sheffer sequences, and give many examples.


title: The iterated logarithmic algebra II: Sheffer sequences

abstract: An extension of the theory of the Iterated Logarithmic Algebra gives the logarithmic analog of a Sheffer or Appell sequence of polynomials. This leads to several examples including Stirling's formula and a logarithmic version of the Euler-MacLaurin summation formula. Gr\^ace \`a une g\'en\'eralisation de la th\'eorie de l'alg\`ebre des logarithmes it\'er\'es, on definit un analogue logarithmique des suites de polyn\^omes de Sheffer et d'Appell. Quelques exemples d'applications permettent de d\'eduire la formule de Stirling ainsi qu'un version logarithmique de la formule de sommation de Euler--MacLaurin.


title: Sequences of symmetric functions of binomial type

abstract: We take advantage of the combinatorial interpretations of many sequences of polynomials of binomial type to define a sequence of symmetric functions corresponding to each sequence of polynomials of binomial type. We derive many of the results of Umbral Calculus in this context including a Taylor's expansion and a binomial identity for symmetric functions. Surprisingly, the delta operators for all the sequences of binomial type correspond to the same operator on symmetric functions. On s'appuie ici sur les interpr\'etations combinatoires de nombreuses suites de polyn\^omes de type binomial pour d\'efinir une suite de fonctions sym\'etriques associ\'ee \`a chque suite de polyn\^omes de type binomial. On retrouve dans ce cadre, de nombreaux r\'esultats du calcul ombral, en particulier une version de la formule de Taylor et la formule d'identit\'e du bin\^ome pour les fonctions sym\'etriques. On s'aper\oit que les op\'erateurs differentiels de degr\'e un pour toutes les suite de polyn\^omes de type a binomial correspondent \`a un op\'erateur unique sur les fonction sym\'etriques.


title: Richman games

abstract: A Richman game is a combinatorial game in which, rather than alternating moves, the two players bid for the privilege of making the next move. We consider both the case where the players pay each other and the case where the players pay a neutral third party. We find optimal strategies considering both the case where the players know how much money their opponent has and the case where they do not.


title: A new proof of Monjardet's median theorem

abstract: New proofs are given for Monjardet's theorem that all strong simple games (i.e., ipsodual elements of the free distributive lattice) can be generated by the median operation. Tighter limits are placed on the number of iterations necessary. Comparison is drawn with the $\chi$ function which also generates all strong simple games.


title: Symmetric chain decompositions of B_n and Pi_n

abstract: We review the Green/Kleitman/Leeb interpretation of de Bruijn's symmetric chain decomposition of ${\cal B}_{n}$, and explain how it can be used to find a maximal collection of disjoint symmetric chains in the nonsymmetric lattice of partitions of a set.


title: The combinatorics of Mancala-type games: Ayo, Tchoukaitlon, and 1/pi

abstract: Certain endgame considerations in the two-player Nigerian Mancala-type game Ayo can be identified with the problem of finding winning positions in the solitaire game Tchoukaitlon. The periodicity of the pit occupancies in $s$ stone winning positions is determined. Given $n$ pits, the number of stones in a winning position is found to be asymptotically bounded by $n^{2}/\pi$.


title: Obstructions to within a few vertices or edges of acyclic

abstract: Finite obstruction sets for lower ideals in the minor order are guaranteed to exist by the Graph Minor Theorem. It has been known for several years that, in principle, obstruction sets can be mechanically computed for most natural lower ideals. In this paper, we describe a general-purpose method for finding obstructions by using a bounded treewidth (or pathwidth) search. We illustrate this approach by characterizing certain families of cycle-cover graphs based on the two well-known problems: $k$-{\sc Feedback Vertex Set} and $k$-{\sc Feedback Edge Set}. Our search is based on a number of algorithmic strategies by which large constants can be mitigated, including a randomized strategy for obtaining proofs of minimality.


title: Orthogonal polynomials and Laurent polynomials related to the Hahn-Exton q-Bessel function

abstract: Laurent polynomials related to the Hahn-Exton $q$-Bessel function, which are $q$-analogues of the Lommel polynomials, have been introduced by Koelink and Swarttouw. The explicit strong moment functional with respect to which the Laurent $q$-Lommel polynomials are orthogonal is given. The strong moment functional gives rise to two positive definite moment functionals. For the corresponding sets of orthogonal polynomials the orthogonality measure is determined using the three-term recurrence relation as a starting point. The relation between Chebyshev polynomials of the second kind and the Laurent $q$-Lommel polynomials and related functions is used to obtain estimates for the latter.


title: Special non uniform lattice ($snul$) orthogonal polynomials on discrete dense sets of points.

abstract: Difference calculus compatible with polynomials (i.e., such that the divided difference operator of first order applied to any polynomial must yield a polynomial of lower degree) can only be made on special lattices well known in contemporary $q-$calculus. Orthogonal polynomials satisfying difference relations on such lattices are presented. In particular, lattices which are dense on intervals ($|q|=1$) are considered.


title: Solar structure in terms of Gauss' hypergeometric function

abstract: Hydrostatic equilibrium and energy conservation determine the conditions in the gravitationally stabilized solar fusion reactor. We assume a matter density distribution varying non-linearly through the central region of the Sun. The analytic solutions of the differential equations of mass conservation, hydrostatic equilibrium, and energy conservation, together with the equation of state of the perfect gas and a nuclear energy generation rate $\epsilon=\epsilon_0 \rho^nT^m$, are given in terms of Gauss' hypergeometric function. This model for the structure of the Sun gives the run of density, mass, pressure, temperature, and nuclear energy generation through the central region of the Sun. Because of the assumption of a matter density distribution, the conditions of hydrostatic equilibrium and energy conservation are separated from the mode of energy transport in the Sun.


title: Embeddings of Cohen algebras

abstract: Complete Boolean algebras proved to be an important tool in topology and set theory. Two of the most prominent examples are B(kappa), the algebra of Borel sets modulo measure zero ideal in the generalized Cantor space {0,1}^kappa equipped with product measure, and C(kappa), the algebra of regular open sets in the space {0,1}^kappa, for kappa an infinite cardinal. C(kappa) is much easier to analyse than B(kappa) : C(kappa) has a dense subset of size kappa, while the density of B(kappa) depends on the cardinal characteristics of the real line; and the definition of C(kappa) is simpler. Indeed, C(kappa) seems to have the simplest definition among all algebras of its size. In the Main Theorem of this paper we show that in a certain precise sense, C(aleph_1) has the simplest structure among all algebras of its size, too. MAIN THEOREM: If ZFC is consistent then so is ZFC + 2^{aleph_0}= aleph_2 +``for every complete Boolean algebra B of uniform density aleph_1, C(aleph_1) is isomorphic to a complete subalgebra of B''.


title: Abstract classes with few models have `homogeneous-universal' models

abstract: This paper is concerned with a class K of models and an abstract notion of submodel <=. Experience in first order model theory has shown the desirability of finding a `monster model' to serve as a universal domain for K. In the original constructions of Jonsson and Fraisse, K was a universal class and ordinary substructure played the role of <=. Working with a cardinal lambda satisfying lambda^{< lambda}= lambda guarantees appropriate downward Lowenheim-Skolem theorems; the existence and uniqueness of a homogeneous-universal model appears to depend centrally on the amalgamation property. We make this apparent dependence more precise in this paper. The major innovation of this paper is the introduction of weaker notion to replace the natural notion of (K, <=)-homogeneous-universal model. Modulo a weak extension of ZFC (provable if V=L), we show that a class K obeying certain minimal restrictions satisfies a fundamental dichotomy: For arbitrarily large lambda, either K has the maximal number of models in power lambda or K has a unique chain homogenous-universal model of power lambda. We show that in a class with amalgamation this dichotomy holds for the notion of K-homogeneous-universal model in the more normal sense.


title: On the strong equality between supercompactness and strong compactness

abstract: We show that supercompactness and strong compactness can be equivalent even as properties of pairs of regular cardinals. Specifically, we show that if V models ZFC + GCH is a given model (which in interesting cases contains instances of supercompactness), then there is some cardinal and cofinality preserving generic extension V[G] models ZFC + GCH in which, (a) (preservation) for kappa <= lambda regular, if V models ``kappa is lambda supercompact'', then V[G] models ``kappa is lambda supercompact'' and so that, (b) (equivalence) for kappa <= lambda regular, V[G] models ``kappa is lambda strongly compact'' iff V[G] models ``kappa is lambda supercompact'', except possibly if kappa is a measurable limit of cardinals which are lambda supercompact.


title: The pcf-theorem revisited

abstract: The pcf theorem (of the possible cofinality theory) was proved for reduced products prod_{i< kappa} lambda_i/I, where kappa < min_{i< kappa} lambda_i. Here we prove this theorem under weaker assumptions such as wsat(I)< min_{i< kappa} lambda_i, where wsat(I) is the minimal theta such that kappa cannot be delivered to theta sets notin I (or even slightly weaker condition). We also look at the existence of exact upper bounds relative to <_I (<_I-eub) as well as cardinalities of reduced products and the cardinals T_D(lambda). Finally we apply this to the problem of the depth of ultraproducts (and reduced products) of Boolean algebras


title: A finite partition theorem with double exponential bounds

abstract: We prove that double exponentiation is an upper bound to Ramsey theorem for colouring of pairs when we want to predetermine the order of the differences of successive members of the homogeneous set.


title: Non-accessible critical points of Cremer polynomials

abstract: It is shown that a polynomial with a Cremer periodic point has a non-accessible critical point in its Julia set provided that the Cremer periodic point is approximated by small cycles.


title: Homogeneous Fourier multipliers of Marcinkiewicz type

abstract: This 1995 paper contains a sharp version of the classical Marcinkiewicz multiplier theorem for the class of homogeneous Fourier multipliers in two dimensions; here a one-dimensional Marcinkiewicz condition is sufficient. Examples are given to show that the straightforward extension of this statement to higher dimensions does not hold. We provide appropriate versions in higher dimensions which rely on a Fefferman-Stein weighted norm inequality for a relevant C\'ordoba type square function. The proof of this inequality is given by an early version of an induction on scales argument. For $p<1$ we prove a multiplier theorem on product-type $H^p$-spaces.


title: The Knowlton-Graham partition problem

abstract: A set partition technique that is useful for identifying wires in cables can be recast in the language of 0--1 matrices, thereby resolving an open problem stated by R.~L. Graham in Volume 1 of this journal. The proof involves a construction of 0--1 matrices having row and column sums without gaps.


title: New constructions for covering designs

abstract: A $(v,k,t)$ {\em covering design}, or {\em covering}, is a family of $k$-subsets, called blocks, chosen from a $v$-set, such that each $t$-subset is contained in at least one of the blocks. The number of blocks is the covering's {\em size}, and the minimum size of such a covering is denoted by $C(v,k,t)$. This paper gives three new methods for constructing good coverings: a greedy algorithm similar to Conway and Sloane's algorithm for lexicographic codes~\cite{lex}, and two methods that synthesize new coverings from preexisting ones. Using these new methods, together with results in the literature, we build tables of upper bounds on $C(v,k,t)$ for $v \leq 32$, $k \leq 16$, and $t \leq 8$.%


title: On extremal mappings in complex ellipsoids

abstract: In the paper we generalize the notion of problem (P) introduced by Poletsky. We introduce the notion of (P_m) extremals. For example, geodesics are (P_1) extremals. Using obtained results we present a description of (P_m) extremals in arbitrary complex ellipsoids. It is a generalization of the result obtained by Jarnicki-Pflug-Zeinstra. We also have a proof of conjecture put forward by Pflug-Zwonek concerning the formulas for geodesics in non-convex complex ellipsoids.


title: On finite induced crossed modules and the homotopy 2-type of mapping cones

abstract: Results on the finiteness of induced crossed modules are proved both algebraically and topologically. Using the Van Kampen type theorem for the fundamental crossed module, applications are given to the 2-types of mapping cones of classifying spaces of groups. Calculations of the cohomology classes of some finite crossed modules are given, using crossed complex methods.


title: Less nonstationary ideals

abstract: We are proving the following: (1) If $\kap$ is a weakly inaccessible then $NS_\kap$ is not $\kap^+$-saturated. (2) If $\kap$ is a weakly inaccessible and $\tet <\kap$ is regular then $NS^\tet_\kap$ is not $\kap^+$-saturated. (3) If $\kap$ is singular then $NS^{cf\kap}_{\kap^+}$ is not $\kap^{++}$-saturated. Combining this with previous results of Shelah, one obtains the following: (A) If $\kap >\aleph_1$ then $NS_\kap$ is not $\kap^+$-saturated. (B) If $\tet^+<\kap$ then $NS^\tet_\kap$ is not $\kap^+$-saturated.


title: Critical points in an algebra of elementary embeddings, II

abstract: In this paper, we continue the study of a left-distributive algebra of elementary embeddings from the collection of sets of rank less than lambda to itself, as well as related finite left-distributive algebras (which can be defined without reference to large cardinals). In particular, we look at the critical points (least ordinals moved) of the elementary embeddings; simple statements about these ordinals can be reformulated as purely algebraic statements concerning the left distributive law. Previously, lower bounds on the number of critical points have been used to show that certain such algebraic statements, known to follow from large cardinals, require more than Primitive Recursive Arithmetic to prove. Here we present the first few steps of a program that, if it can be carried to completion, should give exact computations of the number of critical points, thereby showing that hypotheses only slightly beyond Primitive Recursive Arithmetic would suffice to prove the aforementioned algebraic statements. Some of the main results here were discovered through examination of bit patterns from extensive calculations in the finite algebras; this may be the first serious example of computer-aided research in the theory of large cardinals. The results in this paper have a large overlap with results of A. Drapal, which were obtained independently at about the same time, but from a quite different point of view.


title: Infinite versions of some NP-complete problems

abstract: Recently, connections have been explored between the complexity of finite problems in graph theory and the complexity of their infinite counterparts. As is shown in our paper (and in independent work of Tirza Hirst and D. Harel from a different angle) there is no firm connection between these complexities, namely finite problems of equal complexity can have radically different complexity for the infinite versions and vice versa. Furthermore, the complexity of an infinite counterpart can depend heavily on precisely how the finite problem is rephrased in the infinite case. The finite problems we address include colorability of graphs and existence of subgraph isomorphisms. In particular, we give three infinite versions of the 3-colorability problem that vary considerably in their recursion theoretic and proof theoretic complexity. Additionally, we show that three subgraph isomorphism problems of varying finite complexity have infinite versions with identical recursion theoretic and proof theoretic content.


title: Completeness proof of functional logic, a formalism with variable-binding nonlogical symbols

abstract: We know extensions of first order logic by quantifiers of the kind "there are uncountable many ...", "most ..." with new axioms and appropriate semantics. Related are operations such as "set of x, such that ...", Hilbert's $\epsilon$-operator, Churche's $\lambda$-notation, minimization and similar ones, which also bind a variable within some expression, the meaning of which is however partly defined by a translation into the language of first order logic. In this paper a generalization is presented that comprises arbitrary variable-binding symbols as non-logical operations. The axiomatic extension is determined by new equality-axioms; models assign functionals to variable-binding symbols. The completeness of this system of the so called "Functional Logic of 1st Order" will be proved.


title: A LiFo dynamic dictionary

abstract: Data structures that realize a dictionary are characterized by three basic instructions: (1) Insert (a new entry <key,value>). (2) Search by a key, returning the associated value. (3) Delete an entry. Known realizations are hashing schemes and various types of search trees. Time complexity of the fundamental operations is measured as a function of the number of entries $n$, the (binary) size of a key $s$ is usually not considered. For search trees the expected time as well as the upper limit of time is $O(\log n)$. "LiFo Dynamic Dictionary" (for short "LiFo Dictionary") is a new implementation, the time limits for "Insert" and for "Search" both are a linear function of the length $s$ of the used key, that is $O(s)$. "LiFo Dictionary" furthermore provides two additional basic operations: (4) "open environment" and (5) "close environment" with a constant time for performing. "Close environment" needs only one assignment by which it restores exactly the same internal situation as before the last call of "open environment". This feature cannot be realized by any of the data structures mentioned above, therefore the prefix LiFo (=last in first out), another name for STACK. This ability is highly suitable for software applications that frequently perform local symbol to value binding throughout multiple levels of environments. E.g. Lisp-Interpreters or D. Knuth's \TeX programm are such applications.


title: Forcing countable networks for spaces satisfying R(X^omega)=omega.

abstract: We show that all finite powers of a Hausdorff space X do not contain uncountable weakly separated subspaces iff there is a c.c.c poset P such that 1_P forces that ``X is a countable union of 0-dimensional subspaces of countable weight.'' We also show that this theorem is sharp in two different senses: (i) we can't get rid of using generic extensions, (ii) we have to consider all finite powers of $X$.


title: Precipitous Towers of Normal Filters

abstract: We prove that every tower of normal filters of height $\gd$ ($\gd$ supercompact) is precipitous assuming that each normal filter in the tower is the club filter restricted to a stationary set. We give an example to show that this assumption is necessary. We also prove that every normal filter can be generically extended to a well-founded $V$-ultrafilter (assuming large cardinals).


title: The Artinian Berger Conjecture

abstract: We propose an Artinian version of Berger's Conjecture for curves, concerning the module of K\"ahler differentials of an algebra. Our version implies Berger's Conjecture in characteristic 0. We establish our Artinian Berger Conjecture in a number of cases, and prove that Berger's Conjecture holds for curve singularities whose conductor ideal contains the cube of a maximal ideal.


title: Subspaces of rearrangement-invariant spaces

abstract: We prove a number of results concerning the embedding of a Banach lattice $X$ into an r.i. space $Y$. For example we show that if $Y$ is an r.i. space on $[0,\infty)$ which is $p$-convex for some $p>2$ and has nontrivial concavity then any Banach lattice $X$ which is $r$-convex for some $r>2$ and embeds into $Y$ must embed as a sublattice. Similar conclusions can be drawn under a variety of hypotheses on $Y$; if $X$ is an r.i. space on $[0,1]$ one can replace the hypotheses of $r$-convexity for some $r>2$ by $X\neq L_2.$ We also show that if $Y$ is an order-continuous Banach lattice which contains no complemented sublattice lattice-isomorphic to $\ell_2,$ $X$ is an order-continuous Banach lattice so that $\ell_2$ is not complementably lattice finitely representable in $X$ and $X$ is isomorphic to a complemented subpace of $Y$ then $X$ is isomorphic to a complemented sublattice of $Y^N$ for some integer $N.$


title: Inequalities of correlation type for symmetric stable random vectors

abstract: We prove that, for any jointly stable random variables $X_1, \dots, X_k$ with zero mean, any $m<k,$ and any even continuous positive definite functions $f$ and $g$ on $\Bbb R^m$ and $\Bbb R^{k-m},$ the random variables $f(X_1,\dots,X_m)$ and $g(X_{m+1}, \dots,X_k)$ are non-negatively correlated. We also show another result that is related to an old question of whether $$P(\max_{1\le i\le k} |X_i|<t) \ge P(\max_{1\le i\le m} |X_i|<t) \ P(\max_{m+1\le i\le k} |X_i|<t)$$ where $X_1,\dots,X_k$ are jointly Gaussian random variables with zero mean, and $m<k.$ We show that the quantity in the left-hand side has a local minimum at the point where the random variables $X_i$ and $X_j$ are independent for any choice of $1\le i\le m$ and $m+1\le j\le k.$


title: Hardy martingales and Jensen's Inequality

abstract: We extend ideas of Garling to consider the so called Hardy martingales in a more general setting of H^p theory of compact abelian groups with ordered dual. As a consequence, we obtain a new proof of a result of Helson and Lowdenslager which generalizes Jensen's Inequality for H^1 functions.


title: Lattice coverings and gaussian measures of n-dimensional convex bodies

abstract: Let $\| \cdot \|$ be the euclidean norm on ${\bf R}^n$ and $\gamma_n$ the (standard) Gaussian measure on ${\bf R}^n$ with density $(2 \pi )^{-n/2} e^{- \| x\|^2 /2}$. Let $\vartheta$ ($ \simeq 1.3489795$) be defined by $\gamma_1 ([ - \vartheta /2, \vartheta /2]) = 1/2$ and let $L$ be a lattice in ${\bf R}^n$ generated by vectors of norm $\leq \vartheta$. Then, for any closed convex set $V$ in ${\bf R}^n$ with $\gamma_n (V) \geq \frac{1}{2}$ and for any $a \in {\bf R}^n$, $(a +L) \cap V \neq \phi$. The above statement can be viewed as a ``nonsymmetric'' version of Minkowski Theorem.


title: Dynamics of quadratic polynomials, I: Combinatorics and geometry of the Yoccoz puzzle

abstract: This work studies combinatorics and geometry of the Yoccoz puzzle for quadratic polynomials. It is proven that the moduli of the ``principal nest'' of annuli grow at linear rate. As a corollary we obtain complex a priori bounds and local connectivity of the Julia set for many infinitely renormalizable quadratics.


title: Geometric Zeta Functions, $L^2$-Theory, and Compact Shimura Manifolds

abstract: We define geometric zeta functions for locally symmetric spaces as generalizations of the zeta functions of Ruelle and Selberg. As a special value at zero we obtain the Reidemeister torsion of the manifold. For hermitian spaces these zeta functions have as special value the quotient of the holomorphic torsion of Ray and Singer and the holomorphic $L^2$-torsion, where the latter is defined via the $L^2$-theory of Atiyah. For higher fundamental rank twisted torsion numbers appear.


title: Existence of Orbifolds IV: Examples

abstract: This work concludes a series of four papers on the foundational theory of orbifolds and stacks. We apply the abstract theory, developed in its predecessors, to orbifolds derived from manifolds. Specifically, we show how the very concrete topological base spaces associated to such orbifolds can be described and manipulated in our universal language. At the same time, we interpret our many categorical axioms in several explicit contexts.


title: Generalized Kummer congruences and $p$-adic families of motives

abstract: We describe some new general constructions of $p$-adic $L$-functions attached to certain arithmetically defined complex $L$-functions coming from motives over $\bold Q$ with coefficiens in a number field $T$, with $[T:\bold Q]<\infty$. These constructions are equivalent to proving some generalized Kummer congruences for critical special values of these complex $L$-functions.


title: Galois representations and modular forms

abstract: In this article, I discuss material which is related to the recent proof of Fermat's Last Theorem: elliptic curves, modular forms, Galois representations and their deformations, Frey's construction, and the conjectures of Serre and of Taniyama--Shimura.


title: Geodesic Conjugacy in two-step nilmanifolds

abstract: Two Riemannian manifolds are said to have $C^k$-conjugate geodesic flows if there exist an $C^k$ diffeomorphism between their unit tangent bundles which intertwines the geodesic flows. We obtain a number of rigidity results for the geodesic flows on compact 2-step Riemannian nilmanifolds: For generic 2-step nilmanifolds the geodesic flow is $C^2$ rigid. For special classes of 2-step nilmanifolds, we show that the geodesic flow is $C^0$ or $C^2$ rigid. In particular, there exist continuous families of 2-step nilmanifolds whose Laplacians are isospectral but whose geodesic flows are not $C^0$ conjugate.


title: VLSI layouts and DNA physical mappings

abstract: We show that an important problem ($k$-ICG) in computational biology is equivalent to a colored version of a well-known graph layout problem ($k$-CVS).


title: Scenic trails ascending from sea-level Nim to alpine chess

abstract: Aim: Present a systematic development of part of the theory of combinatorial games from the ground up. Approach: Computational complexity. Combinatorial games are completely determined; the questions of interest are efficiencies of strategies. Methodology: Divide and conquer. Ascend from Nim to chess in small strides at a gradient that's not too steep. Presentation: Informal; examples of games sampled from various strategic viewing points along scenic mountain trails, which illustrate the theory.


title: Principal pairs for oscillatory second order linear differential equations

abstract: Nonoscillatory second order differential equations always admit ``special'', principal solutions. For a certain type of oscillatory equation principal pairs of solutions were introduced by \'A. Elbert, F. Neuman and J. Vosmansk\'y, {\em Diff. Int. Equations} {\bf 5} (1992), 945--960. In this paper, the notion of principal pair is extended to a wider class of oscillatory equations. Also an interesting property of some of the principal pairs is presented that makes the notion of these ``special'' pairs more understandable.


title: Macdonald's symmetric polynomials as zonal spherical functions on some quantum homogeneous spaces

abstract: Quantum analogues of the homogeneous spaces $\GL(n)/\SO(n)$ and $\GL(2n)/\Sp(2n)$ are introduced. The zonal spherical functions on these quantum homogeneous spaces are represented by Macdonald's symmetric polynomials $P_{\ld}=P_{\ld}(x_1,\cdots,x_n;q,t)$ with $t=q^{1 \over 2}$ or $t=q^2$.


title: Quantum symmetric spaces and related q-orthogonal polynomials

abstract: A class of quantum analogues of compact symmetric spaces of classical type is introduced by means of constant solutions to the reflection equations. Their zonal spherical functions are discussed in connection with $q$-orthogonal polynomials.


title: If there is an exactly lambda-free abelian group then there is an exactly lambda-separable one

abstract: We give a solution stated in the title to problem 3 of part 1 of the problems listed in the book of Eklof and Mekler [EM],(p.453). There, in pp. 241-242, this is discussed and proved in some cases. The existence of strongly lambda-free ones was proved earlier by the criteria in [Sh:161] in [MkSh:251]. We can apply a similar proof to a large class of other varieties in particular to the variety of (non-commutative) groups.


title: Hofer's $L^{\infty}$-geometry: energy and stability of Hamiltonian flows, part I

abstract: Consider the group $\Ham^c(M)$ of compactly supported Hamiltonian symplectomorphisms of the symplectic manifold $(M,\om)$ with the Hofer $L^{\infty}$-norm. A path in $\Ham^c(M)$ will be called a geodesic if all sufficiently short pieces of it are local minima for the Hofer length functional $\Ll$. In this paper, we give a necessary condition for a path $\ga$ to be a geodesic. We also develop a necessary condition for a geodesic to be stable, that is, a local minimum for $\Ll$. This condition is related to the existence of periodic orbits for the linearization of the path, and so extends Ustilovsky's work on the second variation formula. Using it, we construct a symplectomorphism of $S^2$ which cannot be reached from the identity by a shortest path. In later papers in this series, we will use holomorphic methods to prove the sufficiency of the condition given here for the characterisation of geodesics as well as the sufficiency of the condition for the stability of geodesics. We will also investigate conditions under which geodesics are absolutely length-minimizing.


title: Hofer's $L^{\infty}$-geometry: energy and stability of Hamiltonian flows, part II

abstract: In this paper we first show that the necessary condition introduced in our previous paper is also a sufficient condition for a path to be a geodesic in the group $\Ham^c(M)$ of compactly supported Hamiltonian symplectomorphisms. This applies with no restriction on $M$. We then discuss conditions which guarantee that such a path minimizes the Hofer length. Our argument relies on a general geometric construction (the gluing of monodromies) and on an extension of Gromov's non-squeezing theorem both to more general manifolds and to more general capacities. The manifolds we consider are quasi-cylinders, that is spaces homeomorphic to $M \times D^2$ which are symplectically ruled over $D^2$. When we work with the usual capacity (derived from embedded balls), we can prove the existence of paths which minimize the length among all homotopic paths, provided that $M$ is semi-monotone. (This restriction occurs because of the well-known difficulty with the theory of $J$-holomorphic curves in arbitrary $M$.) However, we can only prove the existence of length-minimizing paths (i.e. paths which minimize length amongst {\it all} paths, not only the homotopic ones) under even more restrictive conditions on $M$, for example when $M$ is exact and convex or of dimension $2$. The new difficulty is caused by the possibility that there are non-trivial and very short loops in $\Ham^c(M)$. When such length-minimizing paths do exist, we can extend the Bialy--Polterovich calculation of the Hofer norm on a neighbourhood of the identity ($C^1$-flatness).


title: The cohomology of the McLaughlin group and some associated groups

abstract: In this paper we compute the mod 2 cohomology of the McLaughlin group, which is one of the sporadic simple groups.


title: On the cohomology of SL(2,Z[1/p])

abstract: In this paper we compute the integral cohomology of the discrete groups SL(2,Z[1/p]), where p is any prime.


title: The cohomology rings of rank 3 simple groups are Cohen-Macaulay

abstract: In this paper we show that the mod 2 cohomology ring of any finite simple group of rank 3 or less (at the prime 2) must be Cohen-Macaulay.


title: Discrete groups, Grothendieck rings and families of finite subgroups

abstract: In this paper we use families of finite subgroups to study Grothendieck rings associated to certain discrete groups, such as the arithmetic ones.


title: Partitioned tensor products and their spectra

abstract: A pleasant family of graphs defined by Godsil and McKay is shown to have easily computed eigenvalues in many cases.


title: Overlapping Pfaffians

abstract: A combinatorial construction proves an identity for the product of the Pfaffian of a skew-symmetric matrix by the Pfaffian of one of its submatrices. Several applications of this identity are followed by a brief history of Pfaffians.


title: An exact analysis of stable allocation

abstract: Shapley and Scarf introduced a notion of stable allocation between traders and indivisible goods, when each trader has rank-ordered each of the goods. The purpose of this note is to prove that the distribution of ranks after allocation is the same as the distribution of search distances in uniform hashing, when the rank-orderings are independent and uniformly random. Therefore the average sum of final ranks is just $(n+1)H_n-n$, and the standard deviation is O(n). The proof involves a family of interesting one-to-one correspondences between permutations of a special kind.


title: A Note on Superamorphous Sets and Dual Dedekind-Infinity

abstract: We give a simple example of a set that is weakly Dedekind infinite (= can be mapped onto omega) but dually Dedekind finite (=cannot be mapped noninjectively onto itself), namely, the power set of a superamorphous set. (A infinite set is superamorphous if all finitary relations on it are definable in the language of equality.) We also show that the property of "inexhaustibility" is not closed under supersets unless the full axiom of choice holds.


title: Multiple-valued Logics

abstract: This is the final version of a survey on many-valued logic to appear as Chapter 2 of Volume 1 ``Quantified Representation of Uncertainty and Imprecision'' of a ``Handbook of Defensible Reasoning and Uncertainty Management Systems'' to be published by Kluwer. The editors of the Handbook are D. Gabbay and P. Smets, and the editors of Volume 1 are D. Gillies and P. Smets.


title: Hilbert functions of graded algebras over Artinian rings

abstract: In this paper we give an effective characterization of Hilbert functions and polynomials of standard algebras over an Artinian equicharacteristic local ring; the cohomological properties of such algebras are also studied. We describe algorithms to check the admissibility of a given function or polynomial as a Hilbert function or polynomial, and to produce a standard algebra with a given Hilbert function.


title: A Lifting Theorem for Locally Convex Subspaces of Lo

abstract: We prove that for every closed locally convex subspace $E$ of $L_0$ and for any continuous linear operator $T$ from $L_0$ to $L_0/E$ there is a continuous linear operator $S$ from $L_0$ to $L_0$ such that $T = QS$ where $Q$ is the quotient map from $L_0$ to $L_0/E$.


title: Universal Non-Completely-Continuous Operators

abstract: A bounded linear operator between Banach spaces is called {\it completely continuous} if it carries weakly convergent sequences into norm convergent sequences. Isolated is a universal operator for the class of non-completely-continuous operators from $L_1$ into an arbitrary Banach space, namely, the operator from $L_1$ into $\ell_\infty$ defined by $$ T_0 (f) =\left( \int r_n f \, d\mu \right)_{n\ge 0} \ , $$ where $r_n$ is the $n^{\text{th}}$ Rademacher function. It is also shown that there does not exist a universal operator for the class of non-completely-continuous operators between two arbitrary Banach space. The proof uses the factorization theorem for weakly compact operators and a Tsirelson-like space.


title: Dynamics of quadratic polynomials: Complex bounds for real maps

abstract: We extend Sullivan's complex a priori bounds to real quadratic polynomials with essentially bounded combinatorics. Combined with the previous results of the first author, this yields complex bounds for all real quadratics. Local connectivity of the corresponding Julia sets follows.


title: Filling-invariants at infinity for manifolds of nonpositive curvature

abstract: In this paper we construct and study isoperimetric functions at infinity for Hadamard manifolds. These quasi-isometry invariants give a measure of the spread of geodesics in such a manifold.


title: Arithmeticity, Discreteness and Volume

abstract: We give an arithmetic criterion which is sufficient to imply the discreteness of various two-generator subgroups of $PSL(2,{\bold C})$. We then examine certain two-generator groups which arise as extremals in various geometric problems in the theory of Kleinian groups, in particular those encountered in efforts to determine the smallest co-volume, the Margulis constant and the minimal distance between elliptic axes. We establish the discreteness and arithmeticity of a number of these extremal groups, the associated minimal volume arithmetic group in the commensurability class and we study whether or not the axis of a generator is simple.


title: On the Margulis constant for Kleinian groups, I curvature

abstract: The Margulis constant for Kleinian groups is the smallest constant $c$ such that for each discrete group $G$ and each point $x$ in the upper half space ${\bold H}^3$, the group generated by the elements in $G$ which move $x$ less than distance c is elementary. We take a first step towards determining this constant by proving that if $\langle f,g \rangle$ is nonelementary and discrete with $f$ parabolic or elliptic of order $n \geq 3$, then every point $x$ in ${\bold H}^3$ is moved at least distance $c$ by $f$ or $g$ where $c=.1829\ldots$. This bound is sharp.


title: Commuting polynomials and polynomials with same Julia set

abstract: It has been known since Julia that polynomials commuting under composition have the same Julia set. More recently in the works of Baker and Eremenko, Fern\'andez, and Beardon, results were given on the converse question: When do two polynomials have the same Julia set? We give a complete answer to this question and show the exact relation between the two problems of polynomials with the same Julia set and commuting pairs.


title: Error-correcting codes derived from combinatorial games

abstract: The ``losing positions" of certain combinatorial games constitute linear error detecting and correcting codes. We show that a large class of games that can be cast in the form of *annihilation games*, provides a potentially polynomial method for computing codes (*anncodes*). We also give a short proof of the basic properties of the previously known *lexicodes*, which are defined by means of an exponential algorithm, and are related to game theory. The set of lexicodes is seen to constitute a subset of the set of anncodes. In the final section we indicate, by means of an example, how the method of producing lexicodes can be applied optimally to find anncodes. Some extensions are indicated.


title: Algebraic constructions of efficient broadcast networks

abstract: Cayley graph techniques are introduced for the problem of constructing networks having the maximum possible number of nodes, among networks that satisfy prescribed bounds on the parameters maximum node degree and broadcast diameter. The broadcast diameter of a network is the maximum time required for a message originating at a node of the network to be relayed to all other nodes, under the restriction that in a single time step any node can communicate with only one neighboring node. For many parameter values these algebraic methods yield the largest known constructions, improving on previous graph-theoretic approaches. It has previously been shown that hypercubes are optimal for degree $k$ and broadcast diameter $k$. A construction employing dihedral groups is shown to be optimal for degree $k$ and broadcast diameter $k+1$.


title: Path optimization and near-greedy analysis for graph partitioning: an empirical study

abstract: This paper presents the results of an experimental study of graph partitioning. We describe a new heuristic technique, path optimization, and its application to two variations of graph partitioning: the max_cut problem and the min_quotient_cut problem. We present the results of computational comparisons between this technique and the Kernighan-Lin algorithm, the simulated annealing algorithm, the FLOW-lagorithm the multilevel algorithm, and teh recent 0.878-approximation algorithm. The experiments were conducted on two classes of graphs that have become standard for such tests: random and random geometric. They show that for both classes of inputs and both variations of the problem, the new heuristic is competitive with the other algorithms and holds an advantage for min_quotient_cut when applied to very large, sparse geometric graphs. In the last part of the paper, we describe an approach to analyzing graph partitioning algorithms from the statistical point of view. Every partitioning of a graph is viewed as a result achieved by a "near gready" partitioning algorithm. The experiments show that for "good" partitionings, the number of non-greedy steps needed to obtain them is quite small; moreover, it is "statistically" smaller for better partitionings. This led us to conjecture that there exists an "optimal" distribution of the non-greedy steps that characterize the classes of graphs that we studied.


title: New results for the degree/diameter problem

abstract: The results of computer searches for large graphs with given (small) degree and diameter are presented. The new graphs are Cayley graphs of semidirect products of cyclic groups and related groups. One fundamental use of our ``dense graphs'' is in the design of efficient communication network topologies.


title: A Riemann--Lebesgue lemma for Jacobi expansions

abstract: A Lemma of Riemann--Lebesgue type for Fourier--Jacobi coefficients is derived. Via integral representations of Dirichlet--Mehler type for Jacobi polynomials its proof directly reduces to the classical Riemann--Lebesgue Lemma for Fourier coefficients. Other proofs are sketched. Analogous results are also derived for Laguerre expansions and for Jacobi transforms.


title: Ultraspherical multipliers revisited

abstract: Sufficient ultraspherical multiplier criteria are refined in such a way that they are comparable with necessary multiplier conditions. Also new necessary conditions for Jacobi multipliers are deduced which, in particular, imply known Cohen type inequalities. Muckenhoupt's transplantation theorem is used in an essential way.


title: An algebraic interpretation of the continuous big q-Hermite polynomials

abstract: The continuous big $q$-Hermite polynomials are shown to realize a basis for a representation space of an extended $q$-oscillator algebra. An expansion formula is algebraically derived using this model.


title: More on the q-oscillator algebra and q-orthogonal polynomials

abstract: Properties of certain $q$-orthogonal polynomials are connected to the $q$-oscillator algebra. The Wall and $q$-Laguerre polynomials are shown to arise as matrix elements of $q$-exponentials of the generators in a representation of this algebra. A realization is presented where the continuous $q$-Hermite polynomials form a basis of the representation space. Various identities are interpreted within this model. In particular, the connection formula between the continuous big $q$-Hermite polynomials and the continuous $q$-Hermite polynomials is thus obtained, and two generating functions for these last polynomials are algebraically derived.


title: A model for the continuous q-ultraspherical polynomials

abstract: We provide an algebraic interpretation for two classes of continuous $q$-polynomials. Rogers' continuous $q$-Hermite polynomials and continuous $q$-ultraspherical polynomials are shown to realize, respectively, bases for representation spaces of the $q$-Heisenberg algebra and a $q$-deformation of the Euclidean algebra in these dimensions. A generating function for the continuous $q$-Hermite polynomials and a $q$-analog of the Fourier-Gegenbauer expansion are naturally obtained from these models.


title: Can a small forcing create Kurepa trees?

abstract: In the paper we probe the possibilities of creating a Kurepa tree in a generic extension of a model of CH plus no Kurepa trees by an omega_1-preserving forcing notion of size at most omega_1. In the first section we show that in the Levy model obtained by collapsing all cardinals between omega_1 and a strongly inaccessible cardinal by forcing with a countable support Levy collapsing order many omega_1-preserving forcing notions of size at most omega_1 including all omega-proper forcing notions and some proper but not omega-proper forcing notions of size at most omega_1 do not create Kurepa trees. In the second section we construct a model of CH plus no Kurepa trees, in which there is an omega-distributive Aronszajn tree such that forcing with that Aronszajn tree does create a Kurepa tree in the generic extension. At the end of the paper we ask three questions.


title: A consistency result on weak reflection

abstract: In this paper we study the notion of strong non-reflection, and its contrapositive weak reflection. We say theta strongly non-reflects at lambda iff there is a function F: theta ---> lambda such that for all alpha < theta with cf(alpha)= lambda there is C club in alpha such that F restriction C is strictly increasing. We prove that it is consistent to have a cardinal theta such that strong non-reflection and weak reflection each hold on an unbounded set of cardinals less than theta .


title: Families of curves and weight distributions of codes

abstract: In this expository paper we show how one can, in a uniform way, calculate the weight distributions of some well-known binary cyclic codes. The codes are related to certain families of curves, and the weight distributions are related to the distribution of the number of rational points on the curves.


title: Values of indefinite quadratic forms at integral points and flows on spaces of lattices

abstract: This mostly expository paper centers on recently proved conjectures in two areas: A) A conjecture of A. Oppenheim on the values of real indefinite quadratic forms at integral points. B) Conjectures of Dani, Raghunathan, and Margulis on closures of orbits in spaces of lattices such as ${\BSL}_n(\R)/{\BSL}_n(\Z)$. At first sight, A) belongs to analytic number theory and B) belongs to ergodic and Lie theory, and they seem to be quite unrelated. They are discussed together here because of a very interesting connection between the two pointed out by M. S. Raghunathan, namely, a special case of B) yields a proof of A).


title: Orthomodularity in infinite dimensions; a theorem of M. Sol\`er

abstract: Maria Pia Sol\`er has recently proved that an orthomodular form that has an infinite orthonormal sequence is real, complex, or quaternionic Hilbert space. This paper provides an exposition of her result, and describes its consequences for Baer $\ast$-rings, infinite-dimensional projective geometries, orthomodular lattices, and Mackey's quantum logic.


title: Mappings with Integrable Dilatation in Higher Dimensions

abstract: Let $F\in W^{1,n}_{\text{loc}}(\Omega; \Bbb R^n)$ be a mapping with nonnegative Jacobian $J_F(x)=\det DF(x)\ge 0$ for a.e. $x$ in a domain $\Omega\subset\Bbb R^n$. The {\it dilatation} of $F$ is defined (almost everywhere in $\Omega$) by the formula $$K(x)=\frac{|DF(x)|^n}{J_F(x)}\cdot$$ Iwaniec and \v Sver\' ak \ncite{IS} have conjectured that if $p\ge n-1$ and $K\in L^{p}_{\text{loc}}(\Omega)$ then $F$ must be continuous, discrete and open. Moreover, they have confirmed this conjecture in the two-dimensional case $n=2$. In this article, we verify it in the higher- dimensional case $n\ge 2$ whenever $p>n-1$.


title: A Formula for Finding a Potential from Nodal Lines

abstract: In this announcement we consider an eigenvalue problem which arises in the study of rectangular membranes. The mathematical model is an elliptic equation, in potential form, with Dirichlet boundary conditions. We have shown that the potential is uniquely determined, up to an additive constant, by a subset of the nodal lines of the eigenfunctions. A formula is given which, when the additive constant is fixed, yields an approximation to the potential at a dense set of points. An estimate is presented for the error made by the formula.


title: Local connectivity of the Julia set of real polynomials

abstract: One of the main questions in the field of complex dynamics is the question whether the Mandelbrot set is locally connected, and related to this, for which maps the Julia set is locally connected. In this paper we shall prove the following Main Theorem: Let $f$ be a polynomial of the form $f(z)=z^d +c$ with $d$ an even integer and $c$ real. Then the Julia set of $f$ is either totally disconnected or locally connected. In particular, the Julia set of $z^2+c$ is locally connected if $c \in [-2,1/4]$ and totally disconnected otherwise.


title: Two-way rounding

abstract: Given $n$ real numbers $0\leq x_1,...,x_n<1$ and a permutation~$\sigma$ of $\{1,...,n\}$, we can always find $\xbar_1,...,\xbar_n\in\{0,1\}$ so that the partial sums $\xbar_1+... +\xbar_k$ and $\xbar_{\sigma 1}+... +\xbar_{\sigma k}$ differ from the unrounded values $x_1+... + x_k$ and $x_{\sigma 1}+... +x_{\sigma k}$ by at most $n/(n+1)$, for $1\leq k\leq n$. The latter bound is best possible. The proof uses an elementary argument about flows in a certain network, and leads to a simple algorithm that finds an optimum way to round.


title: Polynomials involving the floor function

abstract: Some identities are presented that generalize the formula x^3 = 3x floor(x floor(x)) - 3 floor(x) floor(x floor(x)) + floor(x)^3 + 3 frac(x) frac(x floor(x)) + frac(x)^3 to a representation of the product x_0x_1 ... x_{n-1}.


title: A volume-preserving counterexample to the Seifert conjecture

abstract: We prove that every 3-manifold possesses a $C^1$, volume-preserving flow with no fixed points and no closed trajectories. The main construction is a volume-preserving version of the Schweitzer plug. We also prove that every 3-manifold possesses a volume-preserving, $C^\infty$ flow with discrete closed trajectories and no fixed points (as well as a PL flow with the same geometry), which is needed for the first result. The proof uses a Dehn-twisted Wilson-type plug which also preserves volume.


title: Shulim Kaliman and Mikhail Zaidenberg

abstract: No abstract available.


title: Regularity of CR mappings between algebraic hypersurfaces

abstract: We prove that if $M$ and $M'$ are algebraic hypersurfaces in $ C^ N$, i.e. both defined by the vanishing of real polynomials, then any sufficiently smooth CR mapping with Jacobian not identically zero extends holomorphically provided the hypersurfaces are holomorphically nondegenerate . Conversely, we prove that holomorphic nondegeneracy is necessary for this property of CR mappings to hold. For the case of unequal dimensions, we also prove that if $M$ is an algebraic hypersurface in $ C^N$ which does not contain any complex variety of positive codimension and $M'$ is the sphere in $ C^{N+1 }$ , then extendability holds for all CR mappings with certain minimal a priori regularity. Theorem A. Let $M$ and $M'$ be two algebraic hypersurfaces in $C^N$ and assume that $M$ is connected and holomorphically nondegenerate. If $H$ is a smooth CR mapping from $M$ to $M'$ with $ Jac H \not\equiv 0$, where $Jac H$ is the Jacobian determinant of $H$, then $H$ extends holomorphically in an open neighborhood of $M$ in $ C^N$. A recent example given by Ebenfelt shows that the conclusion of Theorem A need not hold if $M$ is real analytic, but not algebraic. Theorem B. Let $M$ be a connected real analytic hypersurface in $C^N$ which is holomorphically degenerate at some point $p_1$. Let $p_0 \in M$ and suppose there exists a germ at $p_0$ of a smooth CR function on $M$ which does not extend holomorphically to any full neighborhood of $p_0$ in $C^N$. Then there exists a germ at $p_0$ of a smooth CR diffeomorphism from $M$ into itself, fixing $p_0$, which does not extend holomorphically to any neighborhood of $p_0$ in $C^N$. Theorem C. Let $M\subset C^N$ be an algebraic hypersurface. Assume that there is no nontrivial complex analytic variety contained in $M$ through $p_0 \in M$, and let $m=m_{p_0}$ be the D'Angelo type. If $H: M \to S^{2N+1}\subset C^{N+1}$ is a CR map of class $C^m$, where $S^{2N+1}$ denotes the boundary of the unit ball in $C^{N+1 }$, then $H$ admits a holomorphic extension in a neighborhood of $p_0$.


title: How to force a countably tight, initially {\omega}_1-compact and non-compact space?

abstract: Improving a result of M. Rabus we force a normal, locally compact, 0-dimensional,Frechet-Uryson, initially omega_1-compact and non-compact space X of size omega_2 having the following property: for every open (or closed) set A in X we have |A|<omega_2 or |X\A|<omega_2.


title: Locally Constant Functions

abstract: Let X be a compact Hausdorff space and M a metric space. E_0(X,M) is the set of f in C(X,M) such that there is a dense set of points x in X with f constant on some neighborhood of x. We describe some general classes of X for which E_0(X,M) is all of C(X,M). These include beta N - N, any nowhere separable LOTS, and any X such that forcing with the open subsets of X does not add reals. In the case that M is a Banach space, we discuss the properties of E_0(X,M) as a normed linear space. We also build three first countable Eberlein compact spaces, F,G,H, with various E_0 properties: For all metric M: E_0(F,M) contains only the constant functions, and E_0(G,M) = C(G,M). If M is the Hilbert cube or any infinite dimensional Banach space, E_0(H,M) is not all of C(H,M), but E_0(H,M) = C(H,M) whenever M is a subset of RR^n for some finite n.


title: Recurrent random walks, Liouville's theorem, and circle packings

abstract: It has been shown that univalent circle packings filling in the complex plane $\bold C$ are unique up to similarities of $\bold C$. Here we prove that bounded degree branched circle packings properly covering $\bold C$ are uniquely determined, up to similarities of $\bold C$, by their branch sets. In particular, when branch sets of the packings considered are empty we obtain the earlier result. We also establish a circle packing analogue of Liouville's theorem: if $f$ is a circle packing map whose domain packing is infinite, univalent, and has recurrent tangency graph, then the ratio map associated with $f$ is either unbounded or constant.


title: Lectures on the Arthur--Selberg Trace Formula

abstract: These are Notes prepared for nine lectures given at the Mathematical Sciences Research Institute, MSRI, Berkeley during the period January--March 1995. It is a pleasant duty to record here my gratitude to MSRI, and its staff, for making possible this 1994--95 Special Year in Automorphic Forms, and for providing such a setting for work. The purpose of these Notes is to describe the contents of Arthur's earlier, foundational papers on the trace formula. In keeping with the introductory nature of the lectures, we have sometimes illustrated the ideas of Arthur's general theory by applying them in detail to the case of GL$(2)$; we have also included a few lectures on the ``simple trace formula'' (and its applications), and on Jacquet's relative trace formula.


title: Homeomorphisms between Limbs of the Mandelbrot Set

abstract: Given $p/q$ and $p'/q$ both irreducible, we construct homeomorphisms between the $p/q$ and the $p'/q$ limbs of the Mandelbrot set. This homeomorphisms are not compatible with the dynamics. Moreover, the filled Julia sets of corresponding parameter values are also homeomorphic. All the homeomorphisms above have counterparts on the combinatorial level relating corresponding external arguments, in the dynamical planes as well as in the parameter spaces. Assuming local connectivity of $M$ we may conclude that the constructed homeomorphisms between limbs are compatible with the embeddings of the limbs in the plane.


title: The second bounded cohomology of a group with infinitely many ends

abstract: We study the second bounded cohomology of an amalgamated free product of groups, and an HNN extension of a group. As an application, we have a group with infinitely many ends has infinite dimensional second bounded cohomology.


title: Exceptional Theta-correspondences I

abstract: Let $G$ be a split simply laced group defined over a $p$-adic field $F$. In this paper we study the restriction of the minimal representation of $G$ to various dual pairs in $G$. For example, the restriction of the minimal representation of $E_7$ to the dual pair $G_2 \times{}$Sp(6) gives the non-endoscopic Langlands lift of irreducible representations of $G_2$ to Sp(6).


title: The Construction of Self-Similar Tilings

abstract: We give a construction of a self-similar tiling of the plane with any prescribed expansion coefficient $\lambda\in\C$ (satisfying the necessary algebraic condition of being a complex Perron number). For any integer $m>1$ we show that there exists a self-similar tiling with $2\pi/m$-rotational symmetry group and expansion $\lambda$ if and only if either $\lambda$ or $\lambda e^{2\pi i/m}$ is a complex Perron number for which $e^{2\pi i/m}$ is in $\Q[\lambda]$, respectively $Q[\lambda e^{2\pi i/m}]$.


title: Group testing problems in experimental molecular biology

abstract: In group testing, the task is to determine the distinguished members of a set of objects L by asking subset queries of the form ``does the subset Q of L contain a distinguished object?'' The primary biological application of group testing is for screening libraries of clones with hybridization probes. This is a crucial step in constructing physical maps and for finding genes. Group testing has also been considered for sequencing by hybridization. Another important application includes screening libraries of reagents for useful chemically active zones. This preliminary report discusses some of the constrained group testing problems which arise in biology.