title: Surgery on nullhomologous tori and simply connected 4-manifolds with b^+=1

abstract: For 5 <= k <= 8 we show that the infinite family of exotic smooth structures on CP^2# k(-CP^2) can be achieved by 1/n - surgeries on a single embedded nullhomologous torus in a manifold R_k which is homeomorphic to CP^2# k(-CP^2).


title: Stabiliti and Identity of analytic functions of Hardy classes

abstract: Let $E$ be a subset of the unit disc $U$ of the complex plane $\CC$. Recall that $H^p(U)$ is the space of all holomorphic functions $g$ on $U$ for which $\|g\|_{H^p}$ $<$ $\infty$. Put \begin{equation} C_p(\epsilon, R) = \sup \{\sup_{|z| \leq R}|g(z)|: g\in H^p, \|g\|_p\leq 1, |g(\zeta)| \leq \epsilon \forall \zeta\in E\}, \end{equation} for positive $\epsilon$ and $R$ in $(0, 1)$. It can be seen that $C_p(\epsilon, R)$ is bounded from above by $(1-R^2)^{-1/p}$. \begin{theorem} If $\bar E$ $\subset$ $U$ then there exists $\epsilon_0>0$ such that for $0<\epsilon <\epsilon_0$ there is correspondingly a finite Blaschke product $B_{\epsilon}(z)$ whose zeros are in $\bar E$ satisfying \begin{eqnarray*} \max_{|z|\leq R}|B_\epsilon (z)|\leq C_p(\epsilon, R)\leq C\max_{|z|\leq R}|B_\epsilon (z)|^{1/2}, \end{eqnarray*} where $C$ is a positive constant that depends only on $R$ and $p$. Moreover we have \begin{eqnarray*} \sup_{z\in E}|B_{\epsilon}(z)|\leq \epsilon. \end{eqnarray*} \end{theorem}


title: Category O and sl(k) link invariants

abstract: We construct a functor valued invariant of oriented tangles on certain singular blocks of category O. Parabolic subcategories of these blocks categorify tensor products of various fundamental sl(k) representations. Projective functors restricted to these categories give rise to a functorial action of the Lie algebra. On the derived category, Zuckerman functors categorify sl(k)- homomorphisms. Cones of natural transformations between the identity functor and Zuckerman functors are assigned to crossings and this assignment satisfies the appropriate relations. On the Grothendieck group, the functors assigned to the crossings satisfy the sl(k)- specialization of the two variable HOMFLYPT polynomial. For the special case of links, we get a homological invariant.


title: Old and new examples of k-nets in P^2

abstract: In this paper, we present a number of examples of k-nets, which are special configurations of lines and points in the projective plane. Such a configuration can be regarded as the union of k completely reducible elements of a pencil of complex plane curves; equivalently it can be regarded as a set of k polygons in the complex projective plane that satisfy a condition of mutual perspectivity and nondegenerate intersection. For each example, we describe its construction, combinatorial properties, and parameter space. Most of the examples are historical, although perhaps not very well-known; our only essentially new example is a 3-net of pentagons which does not realize a group. The existence of this example settles a question posed by S. Yuzvinsky.


title: Analytic matrix technique for boundary value problems in applied plasticity

abstract: An efficient matrix formalism for finding power series solutions to boundary value problems typical for technological plasticity is developed. Hyperbolic system of two first order quasilinear PDEs that models two-dimensional plastic flow of von Mises material is converted to the telegraph equation by the hodograph transformation. Solutions to the boundary value problems are found in terms of hypergeometric functions. Convergence issue is also addressed. The method is illustrated by two test problems of metal forming.


title: Convergent noncommutative power series algebras and their finite dimensional representations

abstract: We define ''convergence'' for noncommutative power series and construct two topologies on the algebra of power series, convergent with respect to a positive radius. We indicate all finite dimensional continuous representations of this algebra and prove completeness for both topologies.


title: Tilted stable subordinators, Gamma time changes and Occupation Time of rays by Bessel Spiders

abstract: We exhibit, in the form of some identities in law, some connections between tilted stable subordinators, time-changed by independent Gamma processes and the occupation times of Bessel spiders, or their bridges. These identities in law are then explained thanks to excursion theory.


title: Sur le lemme de Brody

abstract: Brody's lemma is a basic tool in complex hyperbolicity. We present a version of it making more precise the localization of an entire curve coming from a diverging sequence of holomorphic discs. As a byproduct we characterize hyperbolicity in terms of an isoperimetric inequality.


title: Asymptotics of characters of symmetric groups related to Stanley character formula

abstract: We prove an upper bound for characters of the symmetric groups. Namely, we show that there exists a constant a>0 with a property that for every Young diagram \lambda with n boxes, r(\lambda) rows and c(\lambda) columns |Tr \rho^\lambda(\pi) / Tr \rho^\lambda(e)| < [a max(r(\lambda)/n, c(\lambda)/n,|\pi|/n) ]^{|\pi|}, where |\pi| is the minimal number of factors needed to write \pi\in S_n as a product of transpositions. We also give uniform estimates for the error term in the Vershik-Kerov's and Biane's character formulas and give a new formula for free cumulants of the transition measure.


title: On the m-torsion Subgroup of the Brauer Group of a Global Field

abstract: In this note, we give a short proof of the existence of certain abelian extension over a given global field $K$. This result implies that for every positive integer $m$, there exists an abelian extension $L/K$ of exponent $m$ such that the $m$-torsion subgroup of $\Br(K)$ equals $\Br(L/K)$.


title: Grothendieck local duality and Cohomological Hasse principle

abstract: We prove a local duality for some schemes associated to a 2-dimensional complete local ring whose residue field is an n-dimensional local field in the sense of Kato-Parshin. Our results generalize the Saito works in the case n=0 and are applied to study the Bloch-Ogus complex for such rings in various cases.


title: The Beale-Kato-Majda criterion to the 3D Magneto-hydrodynamics equations

abstract: We study the blow-up criterion of smooth solutions to the 3D MHD equations. By means of the Littlewood-Paley decomposition, we prove a Beale-Kato-Majda type blow-up criterion of smooth solutions via the vorticity of velocity only, i. e. $\sup_{j\in\Z}\int_0^T\|\Delta_j(\na\times u)\|_\infty dt$, where $\Delta_j$ is a frequency localization on $|\xi|\approx 2^j$.


title: A note on Poisson brackets for orthogonal polynomials on the unit circle

abstract: The connection of orthogonal polynomials on the unit circle (OPUC) to the defocusing Ablowitz-Ladik integrable system involves the definition of a Poisson structure on the space of Verblunsky coefficients. In this paper, we compute the complete set of Poisson brackets for the monic orthogonal and the orthonormal polynomials on the unit circle, as well as for the second kind polynomials and the Wall polynomials. This answers a question posed by Cantero and Simon for the case of measures with finite support. We also show that the results hold for the case of measures with periodic Verblunsky coefficients.


title: Flatness-based control of a single qubit gate

abstract: This work considers the open-loop control problem of steering a two level quantum system from an initial to a final condition. The model of this system evolves on the state space SU(2), having two inputs that correspond to the complex amplitude of a resonant laser field. A symmetry preserving flat output is constructed using a fully geometric construction and quaternion computations. Simulation results of this flatness-based open-loop control are provided.


title: The modular hierarchy of the Toda lattice

abstract: The modular vector field plays an important role in the theory of Poisson manifolds and is intimately connected with the Poisson cohomology of the space. In this paper we investigate its significance in the theory of integrable systems. We illustrate in detail the case of the Toda lattice both in Flaschka and natural coordinates.


title: Dependence on the Dimension for Complexity of Approximation of Random Fields

abstract: We consider an \eps-approximation by n-term partial sums of the Karhunen-Lo\`eve expansion to d-parametric random fields of tensor product-type in the average case setting. We investigate the behavior, as d tends to infinity, of the information complexity n(\eps,d) of approximation with error not exceeding a given level \eps. It was recently shown by M.A. Lifshits and E.V. Tulyakova that for this problem one observes the curse of dimensionality (intractability) phenomenon. The aim of this paper is to give the exact asymptotic expression for the information complexity n(\eps,d).


title: Upper Semilattices of Finite-Dimensional Gauges

abstract: This is a brief overview of some applications of the ideas of abstract convexity to the upper semilattices of gauges in finite dimensions.


title: On Iwasawa Theory over Function Fields

abstract: Let $k_{\infty}$ be a $\Z_p^d$-extension of a global function field $k$ of characteristic $p$. Let $\Cl_{k_{\infty},p}$ be the $p$ completion of the class group of $k_{\infty}$. We prove that the characteristic ideal of the Galois module $\Cl_{k_{\infty},p}$ is generated by the Stickelberger element of Gross which calculates the special values of $L$ functions.


title: Generalized Stark formulae over function fields

abstract: We establish formulae of Stark type for the Stickelberger elements in the function field setting. Our result generalizes a work of Hayes and a conjecture of Gross. It is used to deduce a $p$-adic version of Rubin-Stark Conjecture and Burns Conjecture.


title: On the Bilateral Series $_2\psi_2$

abstract: We obtain a formula which reduces the evaluation of a $_2\psi_2$ series to two $_2\phi_1$ series. In some sense, this identity may be considered as a companion of Slater's formulas. We also find that a two-term ${}_2\psi_2$ summation formula due to Slater can be derived from a unilateral summation formula of Andrews by bilateral extension and parameter augmentation.


title: A version of the Glimm method based on generalized Riemann problems

abstract: We introduce a generalization of Glimm's random choice method, which provides us with an approximation of entropy solutions to quasilinear hyperbolic system of balance laws. The flux-function and the source term of the equations may depend on the unknown as well as on the time and space variables. The method is based on local approximate solutions of the generalized Riemann problem, which form building blocks in our scheme and allow us to take into account naturally the effects of the flux and source terms. To establish the nonlinear stability of these approximations, we investigate nonlinear interactions between generalized wave patterns. This analysis leads us to a global existence result for quasilinear hyperbolic systems with source-term, and applies, for instance, to the compressible Euler equations in general geometries and to hyperbolic systems posed on a Lorentzian manifold.


title: Galois extensions over commutative and non-commutative base

abstract: This paper is a written form of a talk. It gives a review of various notions of Galois (and in particular cleft) extensions. Extensions by coalgebras,bialgebras and Hopf algebras (over a commutative base ring) and by corings,bialgebroids and Hopf algebroids (over a non-commutative base algebra) are systematically recalled and compared. In the first version of this paper, the journal version of [15, Theorem 2.6] was heavily used, in two respects. First, it was applied to establish an isomorphism between the comodule categories of two constituent bialgebroids in a Hopf algebroid. Second, it was used to construct a Morita context for any bicomodule for a coring extension. Regrettably, it turned out that the proof of [15, Theorem 2.6] contains an unjustified step. Therefore, our derived results are not expected to hold at the stated level of generality either. In the revised version we make the necessary corrections in both respects. In doing so, we obtain a corrected version of \cite[5, Theorem 4.2] as well, whose original proof contains a very similar error to [15, Theorem 2.6].


title: A note on log-convexity of q-Catalan numbers

abstract: The q-Catalan numbers studied by Carlitz and Riordan are polynomials in q with nonnegative coefficients. They evaluate, at q=1, to the Catalan numbers: 1, 1, 2, 5, 14,..., a log-convex sequence. We use a combinatorial interpretation of these polynomials to prove a q-log-convexity result. The sequence of q-Catalan numbers is not q-log-convex in the narrow sense used by other authors, so our work suggests a more flexible definition of q-log convex be adopted.


title: A Unified Elementary Approach to the Dyson, Morris, Aomoto, and Forrester Constant Term Identities

abstract: We introduce an elementary method to give unified proofs of the Dyson, Morris, and Aomoto identities for constant terms of Laurent polynomials. These identities can be expressed as equalities of polynomials and thus can be proved by verifying them for sufficiently many values, usually at negative integers where they vanish. Our method also proves some special cases of the Forrester conjecture.


title: Global decomposition of a Lorentzian manifold as a Generalized Robertson-Walker space

abstract: Generalized Robertson-Walker (GRW) spaces constitute a quite important family in Lorentzian geometry, and it is an interesting question to know whether a Lorentzian manifold can be decomposed in such a way. It is well known that the existence of a suitable vector field guaranties the local decomposition of the manifold. In this paper, we give conditions on the curvature which ensure a global decomposition and apply them to several situations where local decomposition appears naturally. We also study the uniqueness question, obtaining that the de Sitter spaces are the only non trivial complete Lorentzian manifolds with more than one GRW decomposition. Moreover, we show that the Friedmann Cosmological Models admit an unique GRW decomposition, even locally.


title: Excursus into the History of Calculus

abstract: This is a brief overview of some turning points in the history of infinitesimals.


title: The Feynman Legacy

abstract: The article is an overview of the role of graph complexes in the Feynman path integral quantization. The underlying mathematical language is that of PROPs and operads, and their representations. The sum over histories approach, the Feynman Legacy, is the bridge between quantum physics and quantum computing, pointing towards a deeper understanding of the fundamental concepts of space, time and information.


title: Semidefnite Relaxation Bounds for Indefinite Homogeneous Quadratic Optimization

abstract: In this paper we study the relationship between the optimal value of a homogeneous quadratic optimization problem and that of its Semidefinite Programming (SDP) relaxation. We consider two quadratic optimization models: (1) $\min \{x^* C x \mid x^* A_k x \ge 1, x\in\mathbb{F}^n, k=0,1,...,m\}$; and (2) $\max \{x^* C x \mid x^* A_k x \le 1, x\in\mathbb{F}^n, k=0,1,...,m\}$. If \emph{one} of $A_k$'s is indefinite while others and $C$ are positive semidefinite, we prove that the ratio between the optimal value of (1) and its SDP relaxation is upper bounded by $O(m^2)$ when $\mathbb{F}$ is the real line $\mathbb{R}$, and by $O(m)$ when $\mathbb{F}$ is the complex plane $\mathbb{C}$. This result is an extension of the recent work of Luo {\em et al.} \cite{LSTZ}. For (2), we show that the same ratio is bounded from below by $O(1/\log m)$ for both the real and complex case, whenever all but one of $A_k$'s are positive semidefinite while $C$ can be indefinite. This result improves the so-called approximate S-Lemma of Ben-Tal {\em et al.} \cite{BNR02}. We also consider (2) with multiple indefinite quadratic constraints and derive a general bound in terms of the problem data and the SDP solution. Throughout the paper, we present examples showing that all of our results are essentially tight.


title: Adjoints of ideals

abstract: We characterize ideals whose adjoints are determined by their Rees valuations. We generalize the notion of a regular system of parameters, and prove that for ideals generated by monomials in such elements, the integral closure and adjoints are generated by monomials. We prove that the adjoints of such ideals and of all ideals in two-dimensional regular local rings are determined by their Rees valuations. We prove special cases of subadditivity of adjoints.


title: Applications of hypocontinuous bilinear maps in infinite-dimensional differential calculus

abstract: Paradigms of bilinear maps f between locally convex spaces (like evaluation or composition) are not continuous, but merely hypocontinuous. We describe situations where, nonetheless, compositions of f with Keller C^n_c-maps (on suitable domains) are C^n_c. Our main applications concern holomorphic families of operators, and the foundations of locally convex Poisson vector spaces.


title: On the field of rational pseudo-differential operators

abstract: In this paper we study some properties of the field of rational pseudo-differential operators on a field and some other related rings. As an application we reconstruct the Kac co-cycle on the Lie algebra of differential operators on a circle.


title: The moduli stack of stable relative ideal sheaves

abstract: In this paper, we propose a definition of the moduli stack of stable relative ideal sheaves, and prove that it is a separated and proper Deligne-Mumford stack. It is the first part of the project of relative Donaldson-Thomas theory of ideal sheaves on projective threefolds, which in the end provides a degeneration formula of Donaldson-Thomas invariants of threefolds.


title: Specialization of linear systems from curves to graphs

abstract: We investigate the interplay between linear systems on curves and graphs in the context of specialization of divisors on an arithmetic surface. We also provide some applications of our results to graph theory, arithmetic geometry, and tropical geometry.


title: Tangent Lifts of Poisson and Related Structures

abstract: The derivation $d_T$ on the exterior algebra of forms on a manifold $M$ with values in the exterior algebra of forms on the tangent bundle $TM$ is extended to multivector fields. These tangent lifts are studied with applications to the theory of Poisson structures, their symplectic foliations, canonical vector fields and Poisson-Lie groups.


title: Axiomatic Characterization of Ordinary Differential Cohomology

abstract: Cheeger-Simons differential characters, Deligne cohomology in the smooth category, the Hopkins-Singer construction of ordinary differential cohomology and the recent Harvey-Lawson constructions are each in two distinct ways Abelian group extensions of known functors. In one desciption these objects are extensions of integral cohomology by the quotient space of all differential forms by the subspace of closed forms with integral periods. In the other they are extensions of closed differential forms with integral periods by the cohomology with coefficients in the circle. These two series of short exact sequences mesh with two interlocking long exact sequences (the Bockstein sequence and a DeRham sequence) to form a commutative DNA-like array of functors called the Character Diagram. Theorem 1.1 shows that on the category of smooth manifolds and smooth maps any package consisting of a functor into graded abelian groups together with four natural transformations that fit together so as to form a Character Diagram as above is unique up to unique natural equivalence. Theorem 1.2 shows the natural product structure on differential characters is uniquely characterized by its compatibility with the product structures on the known functors in the Character Diagram. The proof of Theorem 1.1 couples the naturality with results about approximating smooth singular cycles and homologies by embedded pseudomanifolds.


title: Left-to-right maxima in words and multiset permutations

abstract: We extend classical theorems of Renyi by finding the distributions of the numbers of both weak and strong left-to-right maxima (a.k.a. outstanding elements) in words over a given alphabet and in permutations of a given multiset.


title: Multiparameter Quantum Deformations of Jordanian Type for Lie Superalgebras

abstract: We discuss quantum deformations of Jordanian type for Lie superalgebras. These deformations are described by twisting functions with support from Borel subalgebras and they are multiparameter in the general case. The total twists are presented in explicit form for the Lie superalgebras sl(m|n) and osp(1|2n). We show also that the classical $r$-matrix for a light-cone deformation of D=4 super-Poincare algebra is of Jordanian type and a corresponding twist is given in explicit form.


title: The Optimal Isodual Lattice Quantizer in Three Dimensions

abstract: The mean-centered cuboidal (or m.c.c.) lattice is known to be the optimal packing and covering among all isodual three-dimensional lattices. In this note we show that it is also the best quantizer. It thus joins the isodual lattices Z, A_2 and (presumably) D_4, E_8 and the Leech lattice in being simultaneously optimal with respect to all three criteria.


title: Upper Maxwellian bounds for the spatially homogeneous Boltzmann equation

abstract: For the spatially homogeneous Boltzmann equation with cutoff hard potentials it is shown that solutions remain bounded from above, uniformly in time, by a Maxwellian distribution, provided the initial data have a Maxwellian upper bound. The main technique is based on a comparison principle that uses a certain dissipative property of the linear Boltzmann equation. Implications of the technique to propagation of upper Maxwellian bounds in the spatially-inhomogeneous case are discussed.


title: Delaunay Ends of Constant Mean Curvature Surfaces

abstract: The generalized Weierstrass representation is used to analyze the asymptotic behavior of a constant mean curvature surface that arises locally from an ordinary differential equation with a regular singularity. We prove that a holomorphic perturbation of an ODE that represents a Delaunay surface generates a constant mean curvature surface which has a properly immersed end that is asymptotically Delaunay. Furthermore, that end is embedded if the Delaunay surface is unduloidal.


title: Multivariate positive definite functions on spheres

abstract: In 1942 I. J. Schoenberg proved that a function is positive definite in the unit sphere if and only if this function is a positive linear combination of the Gegenbauer polynomials. In this paper we extend Schoenberg's theorem for multivariate Gegenbauer polynomials. This extension derives new positive semidefinite constraints for the distance distribution which can be applied for spherical codes.


title: Constructing Lefschetz-type fibrations on four-manifolds

abstract: We show how to construct broken, achiral Lefschetz fibrations on arbitrary smooth, closed, oriented 4-manifolds. These are generalizations of Lefschetz fibrations over the 2-sphere, where we allow Lefschetz singularities with the non-standard orientation as well as circles of singularities corresponding to round 1-handles. We can also arrange that a given surface of square 0 is a fiber. The construction is easier and more explicit in the case of doubles of 4-manifolds without 3- and 4-handles, such as the homotopy 4-spheres arising from nontrivial balanced presentations of the trivial group.


title: Effective classes and Lagrangian tori in symplectic four-manifolds

abstract: An effective class in a closed symplectic four-manifold $(X, \omega)$ is a two-dimensional homology class which is realized by a $J$-holomorphic cycle for every tamed almost complex structure $J$. We prove that effective classes are orthogonal to Lagrangian tori in $H_2 (X ; \Bbb{Z})$.


title: An introduction to the theory of citing

abstract: Statistical analysis of repeat misprints in scientific citations leads to the conclusion that about 80% of scientific citations are copied from the lists of references used in othe papers. Based on this finding a mathematical theory of citing is constructed. It leads to the conclusion that a large number of citations does not have to be a result of paper's extraordinary qualities, but can be explained by the ordinary law of chances.


title: R-Estimates vs. GMM: A Theoretical Case Study of Validity and Efficiency

abstract: What role should assumptions play in inference? We present a small theoretical case study of a simple, clean case, namely the nonparametric comparison of two continuous distributions using (essentially) information about quartiles, that is, the central information displayed in a pair of boxplots. In particular, we contrast a suggestion of John Tukey--that the validity of inferences should not depend on assumptions, but assumptions have a role in efficiency--with a competing suggestion that is an aspect of Hansen's generalized method of moments--that methods should achieve maximum asymptotic efficiency with fewer assumptions. In our case study, the practical performance of these two suggestions is strikingly different. An aspect of this comparison concerns the unification or separation of the tasks of estimation assuming a model and testing the fit of that model. We also look at a method (MERT) that aims not at best performance, but rather at achieving reasonable performance across a set of plausible models.


title: Design Issues for Generalized Linear Models: A Review

abstract: Generalized linear models (GLMs) have been used quite effectively in the modeling of a mean response under nonstandard conditions, where discrete as well as continuous data distributions can be accommodated. The choice of design for a GLM is a very important task in the development and building of an adequate model. However, one major problem that handicaps the construction of a GLM design is its dependence on the unknown parameters of the fitted model. Several approaches have been proposed in the past 25 years to solve this problem. These approaches, however, have provided only partial solutions that apply in only some special cases, and the problem, in general, remains largely unresolved. The purpose of this article is to focus attention on the aforementioned dependence problem. We provide a survey of various existing techniques dealing with the dependence problem. This survey includes discussions concerning locally optimal designs, sequential designs, Bayesian designs and the quantile dispersion graph approach for comparing designs for GLMs.


title: Isaac Newton as a Probabilist

abstract: In 1693, Isaac Newton answered a query from Samuel Pepys about a problem involving dice. Newton's analysis is discussed and attention is drawn to an error he made.


title: Four-dimensional Riemannian manifolds with commuting higher order Jacobi operators

abstract: We consider four-dimensional Riemannian manifolds with commuting higher order Jacobi operators defined on two-dimensional orthogonal subspaces (polygons) and on their orthogonal subspaces. More precisely, we discuss higher order Jacobi operator $\mathcal{J}(X)$ and its commuting associated operator $\mathcal{J}(X^{\perp})$ induced by the orthogonal complement $X^{\perp}$ of the vector $X$, i. e. $\mathcal{J}(X)\circ\mathcal{J}(X^{\perp})=\mathcal{J}(X^{\perp})\circ \mathcal{J}(X)$. At the end some new central theorems have been cited. The latter are due to P. Gilkey, E. Puffini and V. Videv, and have been recently obtained.


title: Differential Graded Lie Algebras and Deformations of Holomorphic Maps

abstract: We construct the deformation functor associated to a couple of morphisms of differential graded Lie algebras, and use it to study the infinitesimal deformations of a holomorphic map of compact complex manifolds. In particular, in the case of K\"ahler manifolds we describe a generalizzation of the semiregularity map.


title: A Conversation with Ulf Grenander

abstract: Ulf Grenander was born in Vastervik, Sweden, on July 23, 1923. He started his undergraduate education at Uppsala University, and earned his B.A. degree in 1946, the Fil. Lic. degree in 1948 and the Fil. Dr. degree in 1950, all from the University of Stockholm. His Ph.D. thesis advisor was Harald Cram\'{e}r. Professor Grenander is well known for pathbreaking research in a number of areas including pattern theory, computer vision, inference in stochastic processes, probabilities on algebraic structures and actuarial mathematics. He has published more than one dozen influential books, of which Statistical Analysis of Stationary Time Series (1957, coauthored with M. Rosenblatt), Probabilities on Algebraic Structures (1963; also in Russian) and Abstract Inference (1981b) are regarded as classics. His three-volume lecture notes, namely, Pattern Synthesis (vol. I, 1976), Pattern Analysis (vol. II, 1978) and Regular Structures (vol. III, 1981a; also in Russian) created and nurtured a brand new area of research. During 1951--1966, Professor Grenander's career path took him to the University of Chicago (1951--1952), the University of California--Berkeley (1952--1953), the University of Stockholm (1953--1957), Brown University (1957--1958) and the Institute for Insurance Mathematics and Mathematical Statistics (1958--1966) as its Professor and Director. From 1966 until his retirement he was L. Herbert Ballou University Professor at Brown University. Professor Grenander also held the position of Scientific Director (1971--1973) of the Swedish Institute of Applied Mathematics. He has earned many honors and awards, including Arhennius Fellow (1948), Fellow of the Institute of Mathematical Statistics (1953), Prize of the Nordic Actuaries (1961), Arnberger Prize of the Royal Swedish Academy of Science (1962), Member of the Royal Swedish Academy of Science (1965), Guggenheim Fellowship (1979) and Honorary Fellow of the Royal Statistical Society, London (1989). He has delivered numerous prestigious lectures, including the Rietz Lecture (1985), the Wald Lectures (1995) and the Mahalanobis Lecture (2004). Professor Grenander received an Honorary D.Sc. degree (1993) from the University of Chicago and is a Fellow of both the American Academy of Arts and Sciences (1995) and the National Academy of Sciences, U.S.A. (1998). Professor Grenander's career, life, passion and hobbies can all be summarized by one simple word: Mathematics.


title: The density of integral points on complete intersections

abstract: In this paper, an upper bound for the number of integral points of bounded height on an affine complete intersection defined over $\mathbb{Z}$ is proven. The proof uses an extension to complete intersections of the method used for hypersurfaces by Heath-Brown, the so called q-analogue of van der Corput's AB process.


title: Kostant Convexity for affine buildings

abstract: We prove an analogue of Kostants convexity theorem for thick affine buildings and give an application for groups with affine BN-pair. Recall that there are two natural retractions of the affine building onto a fixed apartment A: The retraction r centered at an alcove in A and the retraction $\rho$ centered at a chamber in the spherical building at infinity. We prove that for each special vertex x in A the set $\rho(r^{-1}(W.x))$ is a certain convex hull of W.x. The proof can be reduced to a statement about Coxeter complexes and heavily relies on a character formula for highest weight representations of algebraic groups.


title: A Law of Large Numbers for an Interacting Particle System with Confining Potential

abstract: In this paper we consider an interacting particle system modeled as a system of $N$ stochastic differential equations driven by Brownian motions with a drift term including a confining potential acting on each particle, and an interaction potential modeling the interaction among all the particles of the system. The limiting behavior as the size $N$ grows to infinity is achieved as a law of large numbers for the empirical process associated with the interacting particle system


title: A major index for matchings and set partitions

abstract: We introduce a statistic $\pmaj$ on partitions of $[n]=\{1,2,..., n\}$, and show that it is equidistributed with the number of 2-crossings over partitions of $[n]$ with given sets of minimal block elements and maximal block elements. This generalizes the classical result of equidistribution for the permutation statistics inversion number and major index.


title: Meromorphic continuation of dynamical zeta functions via transfer operators

abstract: We describe a general method to prove meromorphic continuation of dynamical zeta functions to the entire complex plane under the condition that the corresponding partition functions are given via a dynamical trace formula from a family of transfer operators. Further we give general conditions for the partition functions associated with general spin chains to be of this type and provide various families of examples for which these conditions are satisfied. Keywords: Dynamical zeta function, transfer operator, trace formulae, thermodynamic formalism, spin chain, Fock space, regularized determinants, weighted composition operator.


title: A minimum principle for plurisubharmonic functions

abstract: The main goal of this work is to give new and precise generalizations to various classes of plurisubharmonic functions of the classical minimum modulus principle for holomorphic functions of one complex variable, in the spirit of the famous lemma of Cartan-Boutroux. As an application we obtain precise estimates on the size of "plurisubharmonic lemniscates" in terms of appropriate Hausdorff contents.


title: A Survey of Weighted Approximation for Exponential Weights

abstract: Let W: R to (0,1] be continuous. Bernstein's approximation problem, posed in 1924, deals with approximation by polynomials in the weighted uniform norm ||fW|| Linfinity(R) . The qualitative form of this problem was solved by Achieser, Mergelyan, and Pollard, in the 1950's. Quantitative forms of the problem were actively investigated starting from the 1960's. We survey old and recent aspects of this topic, including the Bernstein problem, weighted Jackson and Bernstein Theorems, Markov-Bernstein and Nikolskii inequalities, orthogonal expansions and Lagrange interpolation. We present the main ideas used in many of the proofs, and different techniques of proof, though not the full proofs. The class of weights we consider is typically even, and supported on the whole real line, so we exclude Laguerre type weights on [0,infinity). Nor do we discuss Saff's weighted approximation problem, nor the asymptotics of orthogonal polynomials.


title: Symmetries and global solvability of the isothermal gas dynamics equations

abstract: We study the Cauchy problem associated with the system of two conservation laws arising in isothermal gas dynamics, in which the pressure and the density are related by the $\gamma$-law equation $p(\rho) \sim \rho^\gamma$ with $\gamma =1$. Our results complete those obtained earlier for $\gamma >1$. We prove the global existence and compactness of entropy solutions generated by the vanishing viscosity method. The proof relies on compensated compactness arguments and symmetry group analysis. Interestingly, we make use here of the fact that the isothermal gas dynamics system is invariant modulo a linear scaling of the density. This property enables us to reduce our problem to that with a small initial density. One symmetry group associated with the linear hyperbolic equations describing all entropies of the Euler equations gives rise to a fundamental solution with initial data imposed to the line $\rho=1$. This is in contrast to the common approach (when $\gamma >1$) which prescribes initial data on the vacuum line $\rho =0$. The entropies we construct here are weak entropies, i.e. they vanish when the density vanishes. Another feature of our proof lies in the reduction theorem which makes use of the family of weak entropies to show that a Young measure must reduce to a Dirac mass. This step is based on new convergence results for regularized products of measures and functions of bounded variation.


title: The paving conjecture is equivalent to the paving conjecture for triangular matrices

abstract: We resolve a 25 year old problem by showing that The Paving Conjecture is equivalent to The Paving Conjecture for Triangular Matrices.


title: Almost Euclidean sections of the N-dimensional cross-polytope using O(N) random bits

abstract: It is well known that R^N has subspaces of dimension proportional to N on which the \ell_1 norm is equivalent to the \ell_2 norm; however, no explicit constructions are known. Extending earlier work by Artstein--Avidan and Milman, we prove that such a subspace can be generated using O(N) random bits.


title: On a "New" Deformation of GL(2)

abstract: We refute a recent claim in the literature of a "new" quantum deformation of GL(2).


title: Improving power in genome-wide association studies: weights tip the scale

abstract: Genome-wide association analysis has generated much discussion about how to preserve power to detect signals despite the detrimental effect of multiple testing on power. We develop a weighted multiple testing procedure that facilitates the input of prior information in the form of groupings of tests. For each group a weight is estimated from the observed test statistics within the group. Differentially weighting groups improves the power to detect signals in likely groupings. The advantage of the grouped-weighting concept, over fixed weights based on prior information, is that it often leads to an increase in power even if many of the groupings are not correlated with the signal. Being data dependent, the procedure is remarkably robust to poor choices in groupings. Power is typically improved if one (or more) of the groups clusters multiple tests with signals, yet little power is lost when the groupings are totally random. If there is no apparent signal in a group, relative to a group that appears to have several tests with signals, the former group will be down-weighted relative to the latter. If no groups show apparent signals, then the weights will be approximately equal. The only restriction on the procedure is that the number of groups be small, relative to the total number of tests performed.


title: Birational geometry for number theorists

abstract: Awfully idiosyncratic lecture notes from CMI summer school in arithmetic geometry July 31-August 4, 2006. Does not include: rationality problems, techniques of the minimal model problem and much of the rest. Includes: Lecture 0: geometry and arithmetic of curves Lecture 1: Kodaira dimension and properties, rational connectendess, Lang's and Campana's conjectures. Lecture 2: Campana's program; Campana constellations framed in terms of b-divisors, to allow for a definition of Kodaira dimension directly on the base. A speculative notion of firmaments which may deserve further investigation, especially the arithmetic side. Lecture 3: the minimal model program: very short discussion of bend-and-break; even shorter discussion of finite generation and the existence of flip. Lecture 4: Vojta's conjectures, Campana's conjectures, and ABC.


title: The higher order Carath\'eodory--Julia theorem and related boundary interpolation problems

abstract: The higher order analogue of the classical Carath\'eodory-Julia theorem on boundary angular derivatives has been obtained in \cite{bk3}. Here we study boundary interpolation problems for Schur class functions (analytic and bounded by one in the open unit disk) motivated by that result.


title: Aggregation of Nonparametric Estimators for Volatility Matrix

abstract: An aggregated method of nonparametric estimators based on time-domain and state-domain estimators is proposed and studied. To attenuate the curse of dimensionality, we propose a factor modeling strategy. We first investigate the asymptotic behavior of nonparametric estimators of the volatility matrix in the time domain and in the state domain. Asymptotic normality is separately established for nonparametric estimators in the time domain and state domain. These two estimators are asymptotically independent. Hence, they can be combined, through a dynamic weighting scheme, to improve the efficiency of volatility matrix estimation. The optimal dynamic weights are derived, and it is shown that the aggregated estimator uniformly dominates volatility matrix estimators using time-domain or state-domain smoothing alone. A simulation study, based on an essentially affine model for the term structure, is conducted, and it demonstrates convincingly that the newly proposed procedure outperforms both time- and state-domain estimators. Empirical studies further endorse the advantages of our aggregated method.


title: High-dimensional classification using features annealed independence rules

abstract: Classification using high-dimensional features arises frequently in many contemporary statistical studies such as tumor classification using microarray or other high-throughput data. The impact of dimensionality on classifications is poorly understood. In a seminal paper, Bickel and Levina [Bernoulli 10 (2004) 989--1010] show that the Fisher discriminant performs poorly due to diverging spectra and they propose to use the independence rule to overcome the problem. We first demonstrate that even for the independence classification rule, classification using all the features can be as poor as the random guessing due to noise accumulation in estimating population centroids in high-dimensional feature space. In fact, we demonstrate further that almost all linear discriminants can perform as poorly as the random guessing. Thus, it is important to select a subset of important features for high-dimensional classification, resulting in Features Annealed Independence Rules (FAIR). The conditions under which all the important features can be selected by the two-sample $t$-statistic are established. The choice of the optimal number of features, or equivalently, the threshold value of the test statistics are proposed based on an upper bound of the classification error. Simulation studies and real data analysis support our theoretical results and demonstrate convincingly the advantage of our new classification procedure.


title: Biquotient actions on unipotent Lie groups

abstract: We consider pairs (V,H) of subgroups of a connected unipotent complex Lie group G for which the induced VxH-action on G by multiplication from the left and from the right is free. We prove that this action is proper if the Lie algebra g of G is 3-step nilpotent. If g is 2-step nilpotent then there is a global slice of the action that is isomorphic to C^n. Furthermore, a global slice isomorphic to C^n exists if dim V = 1 = dim H or dim V = 1 and g is 3-step nilpotent. We give an explicit example of a 3-step nilpotent Lie group and a pair of 2-dimensional subgroups such that the induced action is proper but the corresponding geometric quotient is not affine.


title: Chow points of C-orbits

abstract: We consider free algebraic actions of the additive group of complex numbers on a complex vector space X embedded in the complex projective space. We find an explicit formula for the map p that assigns to a generic point x in X the Chow point of the closure of the orbit through x. The properties Hausdorff quotient topology and proper action are equivalently characterized by the closure of the image of p in the closed Chow variety.


title: Counting all equilateral triangles in {0,1,2,...,n}^3

abstract: We describe a procedure of counting all equilateral triangles in the three dimensional space whose coordinates are allowed only in the set $\{0,1,...,n\}$. This sequence is denoted here by ET(n) and it has the entry A102698 in "The On-Line Encyclopedia of Integer Sequences". The procedure is implemented in Maple and its main idea is based on the results in \cite{eji}. Using this we calculated the values ET(n) for n=1..55 which are included here. Some facts and conjectures about this sequence are stated. The main of them is that $\ds \lim_{n\to \infty} \frac{\ln ET(n)}{\ln n+1}$ exists.


title: Intersection homology of stratified fibrations and neighborhoods

abstract: We derive spectral sequences for the intersection homology of stratified fibrations and approximate tubular neighborhoods in manifold stratified spaces. These neighborhoods include regular neighborhoods in PL stratified spaces.


title: Hardy-type Inequalities Via Auxiliary Sequences

abstract: We prove some Hardy-type inequalities via an approach that involves constructing auxiliary sequences.


title: Sharp $L^p$-$L^q$ estimates for generalized $k$-plane transforms

abstract: In this paper, optimal $L^p-L^q$ estimates are obtained for operators which average functions over polynomial submanifolds, generalizing the $k$-plane transform. An important advance over previous work is that full $L^p-L^q$ estimates are obtained by methods which have traditionally yielded only restricted weak-type estimates. In the process, one is lead to make coercivity estimates for certain functionals on $L^p$ for $p < 1$.


title: Non-homeomorphic conjugate complex varieties

abstract: We present a method to produce examples of non-homeomorphic conjugate complex varieties based on the genus theory of lattices. As an application, we give examples of arithmetic Zariski pairs.


title: Self-dual Zollfrei conformal structures with alpha-surface foliation

abstract: A global twistor correspondence is established for neutral self-dual conformal structures with alpha-surface foliation when the structure is close to the standard structure on S^2 times S^2. We need to introduce some singularity for the alpha-surface foliation such that the leaves intersect on a fixed two sphere. In this correspondence, we prove that a natural double fibration is induced on some quotient spaces which is equal to the standard double fibration for the standard Zoll projective structure. We also give a local general forms of neutral self-dual metrics with alpha-surface foliation.


title: Circular colorings, orientations, and weighted digraphs

abstract: In this we consider weighted symmetric digraph. Our result generalizes the work of Zhu (J.Comb.Theory, Ser.B, 86 (2002) 109-113) concerning the (k,d)-coloring of a graph, and thus is also a generalization of a corresponding result of Tuza (J.Comb.Theory, Ser.B, 55 (1992) 236-243). Our result also strengthens a result of Goddyn, Tarsi and Zhang (J.Graph Theory 28 (1998) 155-161) concerning the relation between orientation and the (k,d)-coloring of a graph.


title: Linear Programming and Kantorovich Spaces

abstract: This is a brief overview of the life of Leonid Kantorovich (1912--1986) and his contribution to the fields of linear programming and ordered vector spaces.


title: Mapping class groups of Heegaard splittings

abstract: The mapping class group of a Heegaard splitting is the group of automorphisms of the ambient 3-manifold that take the surface onto itself, modulo isotopies that keep the surface on itself. We characterize the mapping classes that restrict to periodic and reducible automorphisms of the surface.


title: Noncommutative Grobner Bases for Almost Commutative Algebras

abstract: Let $K$ be an infinite field and $K< X> =K< X_1,...,X_n>$ the free associative algebra generated by $X=\{X_1,...,X_n\}$ over $K$. It is proved that if $I$ is a two-sided ideal of $K< X>$ such that the $K$-algebra $A=K< X> /I$ is almost commutative in the sense of [3], namely, with respect to its standard $\mathbb{N}$-filtration $FA$, the associated $\mathbb{N}$-graded algebra $G(A)$ is commutative, then $I$ is generated by a finite Gr\"obner basis. Therefor, every quotient algebra of the enveloping algebra $U(\mathbf{g})$ of a finite dimensional $K$-Lie algebra $\mathbf{g}$ is, as a noncommutative algebra of the form $A=K< X> /I$, defined by a finite Gr\"obner basis in $K< X>$.


title: Languages, Algorithms, Procedures, Calculi, and Metalogic

abstract: Logicians study and apply a multiplicity of various logical systems. Consequently, there is necessity to build foundations and common grounds for all these systems. This is done in metalogic. Like metamathematics studies formalized mathematical theories, metalogic studies theories in logic, or logics. The discipline of logic has been developed with the aim to model and study human thinking and reasoning. A more realistic understanding relates logic only to reasoning. Reasoning is a mental and verbal activity. Any activity is based on actions and operations organized by procedures and algorithms. That is why procedures and algorithms are basic for the development of different logics, their study and application. In this work, we study structures used in logic with the aim to reflect goals of logic as a discipline. The main structure is a logical calculus, which pivotal for the contemporary logic. Logical calculus is considered here as a two-tier construction with a logical language on the first level and the calculus itself on the second level. A system of interdependencies that exists between properties of deductive calculi and utilized by these calculi algorithms are explicated and studied. Here only syntactic parts of logics, namely, deductive logical calculi and corresponding languages are considered. Semantic and pragmatic parts are studied elsewhere.


title: Uniqueness and examples of compact toric Sasaki-Einstein metrics

abstract: In [11] it was proved that, given a compact toric Sasaki manifold of positive basic first Chern class and trivial first Chern class of the contact bundle, one can find a deformed Sasaki structure on which a Sasaki-Einstein metric exists. In the present paper we first prove the uniqueness of such Einstein metrics on compact toric Sasaki manifolds modulo the action of the identity component of the automorphism group for the transverse holomorphic structure, and secondly remark that the result of [11] implies the existence of compatible Einstein metrics on all compact Sasaki manifolds obtained from the toric diagrams with any height, or equivalently on all compact toric Sasaki manifolds whose cones have flat canonical bundle. We further show that there exists an infinite family of inequivalent toric Sasaki-Einstein metrics on $S^5 \sharp k(S^2 \times S^3)$ for each positive integer $k$.


title: Diffusion in Fluid Flow: Dissipation Enhancement by Flows in 2D

abstract: We consider the advection-diffusion equation \[ \phi_t + Au \cdot \nabla \phi = \Delta \phi, \qquad \phi(0,x)=\phi_0(x) \] on $\bbR^2$, with $u$ a periodic incompressible flow and $A\gg 1$ its amplitude. We provide a sharp characterization of all $u$ that optimally enhance dissipation in the sense that for any initial datum $\phi_0\in L^p(\bbR^2)$, $p<\infty$, and any $\tau>0$, \[ \|\phi(\cdot,\tau)\|_{L^\infty(\bbR^2)} \to 0 \qquad \text{as $A\to\infty$.} \] Our characterization is expressed in terms of simple geometric and spectral conditions on the flow. Moreover, if the above convergence holds, it is uniform for $\phi_0$ in the unit ball of $L^p(\mathbb{R}^2)$, $p<\infty$, and $\|\cdot\|_\infty$ can be replaced by any $\|\cdot\|_q$, $q>p$. Extensions to higher dimensions and applications to reaction-advection-diffusion equations are also considered.


title: High Dimensional Covariance Matrix Estimation Using a Factor Model

abstract: High dimensionality comparable to sample size is common in many statistical problems. We examine covariance matrix estimation in the asymptotic framework that the dimensionality $p$ tends to $\infty$ as the sample size $n$ increases. Motivated by the Arbitrage Pricing Theory in finance, a multi-factor model is employed to reduce dimensionality and to estimate the covariance matrix. The factors are observable and the number of factors $K$ is allowed to grow with $p$. We investigate impact of $p$ and $K$ on the performance of the model-based covariance matrix estimator. Under mild assumptions, we have established convergence rates and asymptotic normality of the model-based estimator. Its performance is compared with that of the sample covariance matrix. We identify situations under which the factor approach increases performance substantially or marginally. The impacts of covariance matrix estimation on portfolio allocation and risk management are studied. The asymptotic results are supported by a thorough simulation study.


title: On non-projective block components of Lefschetz characters for sporadic geometries

abstract: This work examines the possible projectivity of 2-modular block parts of non-projective Lefschetz characters over 2-local geometries of several sporadic groups. Previously known results on $M_{12}$, $J_2$, and $HS$ are mentioned for completeness. The main new results are on the sporadic groups $Suz$, $Co_3$, $Ru$, $O'N$, and $He$. For each group, the Lefschetz character is calculated, and the 2-modular blocks are examined for projectivity. In each case it is confirmed that a non-principal block contains a non-projective summand. The case of $O'N$ is additionally found to have a non-projective summand in its principal block part.


title: Probe method and a Carleman function

abstract: A Carleman function is a special fundamental solution with a large parameter for the Laplace operator and gives a formula to calculate the value of the solution of the Cauchy problem in a domain for the Laplace equation. The probe method applied to an inverse boundary value problem for the Laplace equation in a bounded domain is based on the existence of a special sequence of harmonic functions which is called a {\it needle sequence}. The needle sequence blows up on a special curve which connects a given point inside the domain with a point on the boundary of the domain and is convergent locally outside the curve. The sequence yields a reconstruction formula of unknown discontinuity, such as cavity, inclusion in a given medium from the Dirichlet-to-Neumann map. In this paper, an explicit needle sequence in {\it three dimensions} is given in a closed form. It is an application of a Carleman function introduced by Yarmukhamedov. Furthermore, an explicit needle sequence in the probe method applied to the reduction of inverse obstacle scattering problems with an {\it arbitrary} fixed wave number to inverse boundary value problems for the Helmholtz equation is also given.


title: Maps to the projective plane

abstract: We prove the projective plane $\rp^2$ is an absolute extensor of a finite-dimensional metric space $X$ if and only if the cohomological dimension mod 2 of $X$ does not exceed 1. This solves one of the remaining difficult problems (posed by A.N.Dranishnikov) in extension theory. One of the main tools is the computation of the fundamental group of the function space $\Map(\rp^n,\rp^{n+1})$ (based at inclusion) as being isomorphic to either $\Z_4$ or $\Z_2\oplus\Z_2$ for $n\ge 1$. Double surgery and the above fact yield the proof.


title: On computational aspects of two classical knot invariants

abstract: We look into computational aspects of two classical knot invariants. We look for ways of simplifying the computation of the coloring invariant and of the Alexander module. We support our ideas with explicit computations on pretzel knots.


title: On the Araki-Lieb-Thirring inequality

abstract: We prove an inequality that complements the famous Araki-Lieb-Thirring (ALT) inequality for positive matrices $A$ and $B$, by giving a lower bound on the quantity $\trace[A^r B^r A^r]^q$ in terms of $\trace[ABA]^{rq}$ for $0\le r\le 1$ and $q\ge0$, whereas the ALT inequality gives an upper bound. The bound contains certain norms of $A$ and $B$ as additional ingredients and is therefore of a different nature than the Kantorovich type inequality obtained by Bourin (\textit{Math. Inequal. Appl.} \textbf{8}(2005) pp. 373--378) and others. Secondly, we also prove a generalisation of the ALT inequality to general matrices.


title: Rigidity for dicritical germ of foliation in the complex plane

abstract: We study some kind of rigidity property for dicritical foliation in the complex plane. In fact, we prove that for a generic dicritical foliation, there exists deformations of the resolution space which cannot carry any deformation of the foliation with constant holonomy pseudo-group. This situation never occurs in the non-dicritical case.


title: Compressed Sensing and Redundant Dictionaries

abstract: This article extends the concept of compressed sensing to signals that are not sparse in an orthonormal basis but rather in a redundant dictionary. It is shown that a matrix, which is a composition of a random matrix of certain type and a deterministic dictionary, has small restricted isometry constants. Thus, signals that are sparse with respect to the dictionary can be recovered via Basis Pursuit from a small number of random measurements. Further, thresholding is investigated as recovery algorithm for compressed sensing and conditions are provided that guarantee reconstruction with high probability. The different schemes are compared by numerical experiments.


title: Classical solutions of drift-diffusion equations for semiconductor devices: the 2d case

abstract: We regard drift-diffusion equations for semiconductor devices in Lebesgue spaces. To that end we reformulate the (generalized) van Roosbroeck system as an evolution equation for the potentials to the driving forces of the currents of electrons and holes. This evolution equation falls into a class of quasi-linear parabolic systems which allow unique, local in time solution in certain Lebesgue spaces. In particular, it turns out that the divergence of the electron and hole current is an integrable function. Hence, Gauss' theorem applies, and gives the foundation for space discretization of the equations by means of finite volume schemes. Moreover, the strong differentiability of the electron and hole density in time is constitutive for the implicit time discretization scheme. Finite volume discretization of space, and implicit time discretization are accepted custom in engineering and scientific computing.--This investigation puts special emphasis on non-smooth spatial domains, mixed boundary conditions, and heterogeneous material compositions, as required in electronic device simulation.


title: Time reversal methods in unknown medium and inverse problems

abstract: A novel method to solve inverse problems for the wave equation is introduced. The method is a combination of the boundary control method and an iterative time reversal scheme, leading to adaptive imaging of coefficient functions of the wave equation using focusing waves in unknown medium. The approach is computationally effective since the iteration lets the medium do most of the processing of the data. The iterative time reversal scheme also gives an algorithm for constructing boundary controls for which the corresponding final values are as close as possible to the final values of a given wave in a part of the domain, and as close as possible to zero elsewhere. The algorithm does not assume that the coefficients of the wave equation are known.


title: Raising and Lowering Operators for Askey-Wilson Polynomials

abstract: In this paper we describe two pairs of raising/lowering operators for Askey-Wilson polynomials, which result from constructions involving very different techniques. The first technique is quite elementary, and depends only on the ''classical'' properties of these polynomials, viz. the q-difference equation and the three term recurrence. The second technique is less elementary, and involves the one-variable version of the double affine Hecke algebra.


title: Elliptic Biorthogonal Polynomials Connected with Hermite's Continued Fraction

abstract: We study a family of the Laurent biorthogonal polynomials arising from the Hermite continued fraction for a ratio of two complete elliptic integrals. Recurrence coefficients, explicit expression and the weight function for these polynomials are obtained. We construct also a new explicit example of the Szeg\"o polynomials orthogonal on the unit circle. Relations with associated Legendre polynomials are considered.


title: The image of a finely holomorphic map is pluripolar

abstract: We prove that the image of a finely holomorphic map on a fine domain in $\mathbb{C}$ is pluripolar subset of $\mathbb{C}^{n}$. We also discuss the relationship between pluripolar hulls and finely holomorphic function.


title: Hurwitz quaternion order and arithmetic Riemann surfaces

abstract: We clarify the explicit structure of the Hurwitz quaternion order, which is of fundamental importance in Riemann surface theory and systolic geometry.


title: Smooth $n$-dimensional subvarieties of ${\mathbb P}^{2n-1}$ containing a family of very degenerate divisors

abstract: A classification and a detailed geometric description are given for smooth $n$-dimensional subvarieties $X\subset{\mathbb P}^{2n-1}$ containing a family of effective divisors each of them spanning a linear ${\mathbb P}^n$ of ${\mathbb P}^{2n-1}$. Some results on multisecant lines to threefolds $X\subset{\mathbb P}^5$ follow, as a byproduct.


title: Norm principles for forms of higher degree permitting composition

abstract: Let F be a field of characteristic 0 or greater than d. Scharlau's norm principle holds for separable field extensions K over F, for certain forms $\phi$ of degree d over F which permit composition.


title: Short-length routes in low-cost networks via Poisson line patterns

abstract: In designing a network to link n cities in a square of area n, one might be guided by the following two desiderata. First, the total network length should not be much greater than the length of the shortest network connecting all cities. Second, the average route length (taken over source-destination pairs) should not be much greater than the average straight-line distance. How small can we make these two differences? For typical configurations the shortest network length is order n and the average straight-line distance is order n^1/2, so it seems implausible that one can construct a network in which the first difference is o(n) and the second difference is o(n^1/2). But in fact one can do better: for an arbitrary configuration one can construct a network where the first difference is o(n) and the second difference is almost as small as O(log n). The construction is conceptually simple: over the minimum-length connected network (Steiner tree) superimpose a sparse stationary and isotropic Poisson line process. The key ingredient is a new result about the Poisson line process. Consider two points at distance r apart, and delete from the line process all lines which separate these two points. The resulting pattern of lines partitions the plane into cells; the cell containing the two points has mean boundary length 2r + C log r. Turning to lower bounds we show that, under a weak equidistribution assumption, if the first difference is O(n) then the second difference cannot be o(sqrt(log n)).


title: Uniqueness in Discrete Tomography of Planar Model Sets

abstract: The problem of determining finite subsets of characteristic planar model sets (mathematical quasicrystals) $\varLambda$, called cyclotomic model sets, by parallel $X$-rays is considered. Here, an $X$-ray in direction $u$ of a finite subset of the plane gives the number of points in the set on each line parallel to $u$. For practical reasons, only $X$-rays in $\varLambda$-directions, i.e., directions parallel to non-zero elements of the difference set $\varLambda - \varLambda$, are permitted. In particular, by combining methods from algebraic number theory and convexity, it is shown that the convex subsets of a cyclotomic model set $\varLambda$, i.e., finite sets $C\subset \varLambda$ whose convex hulls contain no new points of $\varLambda$, are determined, among all convex subsets of $\varLambda$, by their $X$-rays in four prescribed $\varLambda$-directions, whereas any set of three $\varLambda$-directions does not suffice for this purpose. We also study the interactive technique of successive determination in the case of cyclotomic model sets, in which the information from previous $X$-rays is used in deciding the direction for the next $X$-ray. In particular, it is shown that the finite subsets of any cyclotomic model set $\varLambda$ can be successively determined by two $\varLambda$-directions. All results are illustrated by means of well-known examples, i.e., the cyclotomic model sets associated with the square tiling, the triangle tiling, the tiling of Ammann-Beenker, the T\"ubingen triangle tiling and the shield tiling.


title: On the use of self-organizing maps to accelerate vector quantization

abstract: Self-organizing maps (SOM) are widely used for their topology preservation property: neighboring input vectors are quantified (or classified) either on the same location or on neighbor ones on a predefined grid. SOM are also widely used for their more classical vector quantization property. We show in this paper that using SOM instead of the more classical Simple Competitive Learning (SCL) algorithm drastically increases the speed of convergence of the vector quantization process. This fact is demonstrated through extensive simulations on artificial and real examples, with specific SOM (fixed and decreasing neighborhoods) and SCL algorithms.


title: On Asymptotics of Polynomial Eigenfunctions for Exactly-Solvable Differential Operators

abstract: In this paper we study the asymptotic zero distribution of eigenpolynomials for degenerate exactly-solvable operators. We present an explicit conjecture and partial results on the growth of the largest modulus of the roots of the unique and monic n:th degree eigenpolynomial of any such operator as the degree n tends to infinity. Based on this conjecture we deduce the algebraic equation satified by the Cauchy transform of the asymptotic root measure of the properly scaled eigenpolynomials, for which the union of all roots is conjecturally contained in a compact set.


title: Statistical tools to assess the reliability of self-organizing maps

abstract: Results of neural network learning are always subject to some variability, due to the sensitivity to initial conditions, to convergence to local minima, and, sometimes more dramatically, to sampling variability. This paper presents a set of tools designed to assess the reliability of the results of Self-Organizing Maps (SOM), i.e. to test on a statistical basis the confidence we can have on the result of a specific SOM. The tools concern the quantization error in a SOM, and the neighborhood relations (both at the level of a specific pair of observations and globally on the map). As a by-product, these measures also allow to assess the adequacy of the number of units chosen in a map. The tools may also be used to measure objectively how the SOM are less sensitive to non-linear optimization problems (local minima, convergence, etc.) than other neural network models.


title: Bootstrap for neural model selection

abstract: Bootstrap techniques (also called resampling computation techniques) have introduced new advances in modeling and model evaluation. Using resampling methods to construct a series of new samples which are based on the original data set, allows to estimate the stability of the parameters. Properties such as convergence and asymptotic normality can be checked for any particular observed data set. In most cases, the statistics computed on the generated data sets give a good idea of the confidence regions of the estimates. In this paper, we debate on the contribution of such methods for model selection, in the case of feedforward neural networks. The method is described and compared with the leave-one-out resampling method. The effectiveness of the bootstrap method, versus the leave-one-out methode, is checked through a number of examples.


title: Homalg: A meta-package for homological algebra

abstract: The central notion of this work is that of a functor between categories of finitely presented modules over so-called computable rings, i.e. rings R where one can algorithmically solve inhomogeneous linear equations with coefficients in R. The paper describes a way allowing one to realize such functors, e.g. Hom, tensor product, Ext, Tor, as a mathematical object in a computer algebra system. Once this is achieved, one can compose and derive functors and even iterate this process without the need of any specific knowledge of these functors. These ideas are realized in the ring independent package homalg. It is designed to extend any computer algebra software implementing the arithmetics of a computable ring R, as soon as the latter contains algorithms to solve inhomogeneous linear equations with coefficients in R. Beside explaining how this suffices, the paper describes the nature of the extensions provided by homalg.


title: Hochschild Cohomology of II_1 Factors with Cartan Masas

abstract: In this paper we prove that for a type II_1 factor N with a Cartan maximal abelian subalgebra (masa), the Hochschild cohomology groups H^n(N,N)=0, for all n \geq 1. This generalizes the result of Sinclair and Smith, who proved this for all N having separable predual.


title: The L^p-continuity of the wave operators for the three dimensional Schroedinger operator

abstract: This paper has been withdrawn, because of an error in the proof of the main Theorem


title: Sums of Consecutive Integers

abstract: A decomposition of a natural number n is a sequence of consecutive natural numbers that sums to n. We construct a one-to-one correspondence between the odd factors of a natural number and its decompositions. We study the decompositions by their lengths and introduce the concept of length spectrum. Also, we use diagrams to illustrate the ideas behind our proofs.


title: A vacuum problem for multidimensional compressible Navier-Stokes equations with degenerate viscosity coefficients

abstract: Local solutions of the multidimensional Navier-Stokes equations for isentropic compressible flow are constructed with spherically symmetric initial data between a solid core and a free boundary connected to a surrounding vacuum state. The viscosity coefficients $\lambda, \mu$ are proportional to $\rho^\theta}$, $0<\theta<\gamma$, where $\rho$ is the density and $\gamma>1$ is the physical constant of polytropic fluid. It is also proved that no vacuum develops between the solid core and the free boundary, and the free boundary expands with finite speed.


title: Lp-cohomology of symmetric spaces

abstract: This is a short survey of Riemannian geometric applications of Lp-cohomology of thick spaces, p not equal to 2.


title: Missing values : processing with the Kohonen algorithm

abstract: The processing of data which contain missing values is a complicated and always awkward problem, when the data come from real-world contexts. In applications, we are very often in front of observations for which all the values are not available, and this can occur for many reasons: typing errors, fields left unanswered in surveys, etc. Most of the statistical software (as SAS for example) simply suppresses incomplete observations. It has no practical consequence when the data are very numerous. But if the number of remaining data is too small, it can remove all significance to the results. To avoid suppressing data in that way, it is possible to replace a missing value with the mean value of the corresponding variable, but this approximation can be very bad when the variable has a large variance. So it is very worthwhile seeing that the Kohonen algorithm (as well as the Forgy algorithm) perfectly deals with data with missing values, without having to estimate them beforehand. We are particularly interested in the Kohonen algorithm for its visualization properties.


title: Pseudolocality for the Ricci flow and applications

abstract: In \cite{P1}, Perelman established a differential Li-Yau-Hamilton (LYH) type inequality for fundamental solutions of the conjugate heat equation corresponding to the Ricci flow on compact manifolds (also see \cite{N2}). As an application of the LYH inequality, Perelman proved a pseudolocality result for the Ricci flow on compact manifolds. In this article we provide the details for the proofs of these results in the case of a complete non-compact Riemannian manifold. Using these results we prove that under certain conditions, a finite time singularity of the Ricci flow must form within a compact set. We also prove a long time existence result for the \KRF flow on complete non-negatively curved \K manifolds.


title: Efficient estimators : the use of neural networks to construct pseudo panels

abstract: Pseudo panels constituted with repeated cross-sections are good substitutes to true panel data. But individuals grouped in a cohort are not the same for successive periods, and it results in a measurement error and inconsistent estimators. The solution is to constitute cohorts of large numbers of individuals but as homogeneous as possible. This paper explains a new way to do this: by using a self-organizing map, whose properties are well suited to achieve these objectives. It is applied to a set of Canadian surveys, in order to estimate income elasticities for 18 consumption functions..


title: Classification results for biharmonic submanifolds in spheres

abstract: We classify biharmonic submanifolds with certain geometric properties in Euclidean spheres. For codimension 1, we determine the biharmonic hypersurfaces with at most two distinct principal curvatures and the conformally flat biharmonic hypersurfaces. We obtain some rigidity results for pseudo-umbilical biharmonic submanifolds of codimension 2 and for biharmonic surfaces with parallel mean curvature vector field. We also study the type, in the sense of B-Y. Chen, of compact proper biharmonic submanifolds with constant mean curvature in spheres.


title: Explicit formulas for biharmonic submanifolds in non-Euclidean 3-spheres

abstract: We obtain the parametric equations of all biharmonic Legendre curves and Hopf cylinders in the 3-dimensional unit sphere endowed with the modified Sasakian structure defined by Tanno.


title: Orthogonal main effect plans on blocks of small size

abstract: In this paper we define the concept of orthogonality between two factors "through another factor". Exploiting this property we have been able to obtain orthogonal main effect plans (OMEP) on non-orthogonal blocks requiring considerably smaller number of blocks than the existing methods. As particular cases, we have been able to accomodate four six-level factors on 8 blocks of size 4 each using the first method and on 24 runs using the second.


title: Inverse spectral problems for Dirac operators with summable potentials

abstract: The spectral properties of Dirac operators on $(0,1)$ with potentials that belong entrywise to $L_p(0,1)$, for some $p\in[1,\infty)$, are studied. The algorithm of reconstruction of the potential from two spectra or from one spectrum and the corresponding norming constants is established, and a complete solution of the inverse spectral problem is provided.


title: Class-preserving automorphisms and the normalizer property for Blackburn groups

abstract: For a group $G$, let $U$ be the group of units of the integral group ring $\mathbb{Z}G$. The group $G$ is said to have the normalizer property if $\text{N}_U(G)=\text{Z}(U)G$. It is shown that Blackburn groups have the normalizer property. These are the groups which have non-normal finite subgroups, with the intersection of all of them being nontrivial. Groups $G$ for which class-preserving automorphisms are inner automorphisms, $\text{Out}_c(G)=1$, have the normalizer property. Recently, Herman and Li have shown that $\text{Out}_c(G)=1$ for a finite Blackburn group $G$. We show that $\text{out}_c(G)=1$ for the members $G$ of a few classes of metabelian groups, from which the Herman--Li result follows. Together with recent work of Hertweck, Iwaki, Jespers and Juriaans, our main result implies that, for an arbitrary group $G$, the group of hypercentral units of $U$ is contained in $\text{Z}(U)G$.


title: A simple reformulation of Riemann Zeta function

abstract: We rewrite Riemann Zeta function as a sum over the primes. Each term of the sum is a product that depends only on the summation index (a prime) and the primes following it.


title: Cotorsion pairs and model categories

abstract: This paper is an expanded version of two talks given by the author at the Summer School on the Interactions between Homotopy Theory and Algebra at the University of Chicago, July 26 to August 6, 2004. It describes a connection between model categories, a structure invented by algebraic topologists that allows one to introduce the ideas of homotopy theory to situations far removed from topological spaces, and cotorsion pairs, an algebraic notion that simultaneously generalizes the notion of projective and injective objects. It also gives some applications of this connection, some due to the authour about model structures on Z[G]-modules for G a finite group, and some due to Jim Gillespie about flat model structures of sheaves.


title: The Central Limit Theorem for LS Estimator in Simple Linear Ev Regression Models

abstract: In this paper, we obtain the central limit theorems for LS estimator in simple linear errors-in-variables (EV) regression models under some mild conditions. And we also show that those conditions are necessary in some sense.


title: Weak-Hamiltonian dynamical systems

abstract: A big-isotropic structure $E$ is an isotropic subbundle of $TM\oplus T^*M$, endowed with the metric defined by pairing. The structure $E$ is said to be integrable if the Courant bracket $[\mathcal{X},\mathcal{Y}]\in\Gamma E$, $\forall\mathcal{X},\mathcal{Y}\in\Gamma E$. Then, necessarily, one also has $[\mathcal{X},\mathcal{Z}]\in\Gamma E^\perp$, $\forall\mathcal{Z}\in\Gamma E^\perp$ \cite{V-iso}. A weak-Hamiltonian dynamical system is a vector field $X_H$ such that $(X_H,dH)\in E^\perp$ $(H\in C^\infty(M))$. We obtain the explicit expression of $X_H$ and of the integrability conditions of $E$ under the regularity condition $dim(pr_{T^*M}E)=const.$ We show that the port-controlled, Hamiltonian systems (in particular, constrained mechanics) \cite{{BR},{DS}} may be interpreted as weak-Hamiltonian systems. Finally, we give reduction theorems for weak-Hamiltonian systems and a corresponding corollary for constrained mechanical systems.


title: Algorithmic information theory: Some recollections

abstract: Presents a history of the evolution of the author's ideas on program-size complexity and its applications to metamathematics over the course of more than four decades. Includes suggestions for further work.


title: A-infinity-bimodules and Serre A-infinity-functors

abstract: We define A-infinity-bimodules similarly to Tradler and show that this notion is equivalent to an A-infinity-functor with two arguments which takes values in the differential graded category of complexes of k-modules, where k is a ground commutative ring. Serre A-infinity-functors are defined via A-infinity-bimodules likewise Kontsevich and Soibelman. We prove that a unital closed under shifts A-infinity-category A over a field k admits a Serre A-infinity-functor if and only if its homotopy category H^0(A) admits a Serre k-linear functor. The proof uses categories enriched in K, the homotopy category of complexes of k-modules, and Serre K-functors. Also we use a new A-infinity-version of the Yoneda Lemma generalizing the previously obtained result.


title: Algorithims for Representation Theory of Real Groups (withdrawn)

abstract: This article has been replaced by arXiv:0807.3093


title: The law of the iterated logarithm for additive functionals of Markov chains

abstract: In the paper, the law of the iterated logarithm for additive functionals of Markov chains is obtained under some weak conditions, which are weaker than the conditions of invariance principle of additive functionals of Markov chains in M. Maxwell and M. Woodroofe (2000). The main technique is the martingale argument and the theory of fractional coboundaries.


title: Spectral expansions of overconvergent modular functions

abstract: The main result of this paper is an instance of the conjecture made by Gouvea and Mazur (Math. Res. Lett., 1995) which asserts that for certain values of r the space of r-overconvergent p-adic modular forms of tame level N and weight k should be spanned by the finite slope Hecke eigenforms. Using methods adapted from the work of Buzzard and Calegari I show that for p=2, k = 0, N = 1, this holds for all r in (5/12, 7/12). The proof relies on a certain factorisation of the U_p operator which is known in this case but I conjecture also holds for p = 3 and 5; this conjecture also implies exact formulae for the set of slopes similar to those proved for p=2 by Buzzard and Calegari. The same methods also provide an efficient approach to explicit computations of q-expansions of small slope overconvergent eigenforms, extending the computations of Gouvea and Mazur.


title: A New Approach to Universality at the Edge of the Spectrum

abstract: We show how localization and smoothing techniques can be used to establish universality at the edge of the spectrum for a fixed positive measure on [-1,1]. Assume that the measure is a regular measure, and is absolutely continuous in some closed neighborhood J of 1. Assume that in J, w = h * Jacobi, where h(1)>0 and h is continuous at 1. Then universality at 1 for ourgiven measure follows from universality at 1 for the classical Jacobi weight. Note that no smoothness is required of h, only continuity.


title: Geometric theta-lifting for the dual pair SO_{2m}, Sp_{2n}

abstract: Let X be a smooth projective curve over an algebraically closed field of characteristic >2. Consider the dual pair H=SO_{2m}, G=Sp_{2n} over X with H split. Write Bun_G and Bun_H for the stacks of G-torsors and H-torsors on X. The theta-kernel on Bun_G\times Bun_H yields the theta-lifting functors between the derived categories of l-adic sheaves on Bun_G and Bun_H. We describe the relation of these functors with Hecke operators. In two particular cases it becomes the geometric Langlands functoriality for this pair (in the nonramified case). Namely, for n=m the functor from the derived category on Bun_H to that on Bun_G commutes with Hecke functors with respect to the inclusion of the Langlands dual groups SO_{2n}\to SO_{2n+1}. For m=n+1 the functor from the derived category on Bun_G to that on Bun_H commutes with Hecke functors with respect to the inclusion of the Langlands dual groups SO_{2n+1}\to \SO_{2n+2}. In other cases the relation is more complicated and involves the SL_2 of Arthur. As a step of the proof, we establish the geometric theta-lifting for the dual pair GL_m, GL_n. Our global results are derived from the corresponding local ones, which provide a geometric analog of a theorem of Rallis.


title: Discrete excursions

abstract: It is well-known that the length generating function E(t) of Dyck paths (excursions with steps +1 and -1) satisfies 1-E+t^2E^2=0. The generating function E^(k)(t) of Dyck paths of height at most k is E^(k)=F_k/F_{k+1}, where the F_k are polynomials in t given by F_0=F_1=1 and F_{k+1}= F_k-t^2F_{k-1}. This means that the generating function of these polynomials is \sum_{k\ge 0} F_k z^k= 1/(1-z+t^2z^2). We note that the denominator of this fraction is the minimal polynomial of the algebraic series E(t). This pattern persists for walks with more general steps. For any finite set of steps S, the generating function E^(k)(t) of excursions (generalized Dyck paths) taking their steps in S and of height at most k is the ratio F_k/F_{k+1} of two polynomials. These polynomials satisfy a linear recurrence relation with coefficients in Q[t]. Their (rational) generating function can be written \sum_{k\ge 0} F_k z^k= N(t,z)/D(t,z). The excursion generating function E(t) is algebraic and satisfies D(t,E(t))=0 (while N(t,E(t))\not = 0). If max S=a and min S=b, the polynomials D(t,z) and N(t,z) can be taken to be respectively of degree d_{a,b}=binomial(a+b,a) and d_{a,b}-a-b in z. These degrees are in general optimal: for instance, when S={a,-b} with a and b coprime, D(t,z) is irreducible, and is thus the minimal polynomial of the excursion generating function E(t). The proofs of these results involve a slightly unusual mixture of combinatorial and algebraic tools, among which the kernel method (which solves certain functional equations), symmetric functions, and a pinch of Galois theory.


title: On embeddings of proper and equicontinuous actions in zero-dimensional compactifications

abstract: We provide a tool for studying properly discontinuous actions of non-compact groups on locally compact, connected and paracompact spaces, by embedding such an action in a suitable zero-dimensional compactification of the underlying space with pleasant properties. Precisely, given such an action $(G,X)$ we construct a zero-dimensional compactification $\mu X$ of $X$ with the properties: (a) there exists an extension of the action on $\mu X$, (b) if $\mu L\subseteq \mu X\setminus X$ is the set of the limit points of the orbits of the initial action in $\mu X$, then the restricted action $(G,\mu X\setminus \mu L)$ remains properly discontinuous, is indivisible and equicontinuous with respect to the uniformity induced on $\mu X\setminus \mu L$ by that of $\mu X$, and (c) $\mu X$ is the maximal among the zero-dimensional compactifications of $X$ with these properties. Proper actions are usually embedded in the end point compactification $\epsilon X$ of $X$, in order to obtain topological invariants concerning the cardinality of the space of the ends of $X$, provided that $X$ has an additional "nice" property of rather local character ("property Z", i.e., every compact subset of $X$ is contained in a compact and connected one). If the considered space has this property, our new compactification coincides with the end point one. On the other hand, we give an example of a space not having the "property Z" for which our compactification is different from the end point compactification. As an application, we show that the invariant concerning the cardinality of the ends of $X$ holds also for a class of actions strictly containing the properly discontinuous ones and for spaces not necessarily having "property Z".


title: Conley: Computing connection matrices in Maple

abstract: In this work we announce the Maple package conley to compute connection and C-connection matrices. conley is based on our abstract homological algebra package homalg. We emphasize that the notion of braids is irrelevant for the definition and for the computation of such matrices. We introduce the notion of triangles that suffices to state the definition of (C)-connection matrices. The notion of octahedra, which is equivalent to that of braids is also introduced.


title: On the singularities of generalized solutions to $n$--body type problems

abstract: The validity of Sundman-type asymptotic estimates for collision solutions is established for a wide class of dynamical systems with singular forces, including the classical $N$--body problems with Newtonian, quasi--homogeneous and logarithmic potentials. The solutions are meant in the generalized sense of Morse (locally --in space and time-- minimal trajectories with respect to compactly supported variations) and their uniform limits. The analysis includes the extension of the Von Zeipel's Theorem and the proof of isolatedness of collisions. Furthermore, such asymptotic analysis is applied to prove the absence of collisions for locally minimal trajectories.


title: Hardy-type theorem for functions orthogonal with respect to their zeros. The Jacobi weight case

abstract: Motivated by G. H. Hardy's 1939 results \cite{Hardy} on functions orthogonal with respect to their real zeros $\lambda_{n}, n=1,2,... $, we will consider, within the same general conditions imposed by Hardy, functions satisfying an orthogonality with respect to their zeros with Jacobi weights on the interval $(0,1)$, that is, the functions $f(z)=z^{\nu}F(z), \nu \in \mathbb{R}$, where $F$ is entire and \begin{equation*} \int_{0}^{1}f(\lambda _{n}t)f(\lambda_{m}t)t^{\alpha}(1-t)^{\beta}dt=0,\quad \alpha >-1-2\nu, \beta >-1, \end{equation*}% when $n\neq m$. Considering all possible functions on this class we are lead to the discovery of a new family of generalized Bessel functions including Bessel and Hyperbessel functions as special cases.


title: A Combinatorial Classification of Postcritically Fixed Newton Maps

abstract: We give a combinatorial classification for the class of postcritically fixed Newton maps of polynomials and indicate potential for extensions. As our main tool, we show that for a large class of Newton maps that includes all hyperbolic ones, every component of the basin of an attracting fixed point can be connected to infinity through a finite chain of such components.


title: An Eisenstein ideal for imaginary quadratic fields and the Bloch-Kato conjecture for Hecke characters

abstract: For certain algebraic Hecke characters chi of an imaginary quadratic field F we define an Eisenstein ideal in a p-adic Hecke algebra acting on cuspidal automorphic forms of GL_2/F. By finding congruences between Eisenstein cohomology classes (in the sense of G. Harder) and cuspidal classes we prove a lower bound for the index of the Eisenstein ideal in the Hecke algebra in terms of the special L-value L(0,chi). We further prove that its index is bounded from above by the order of the Selmer group of the p-adic Galois character associated to chi^{-1}. This uses the work of R. Taylor et al. on attaching Galois representations to cuspforms of GL_2/F. Together these results imply a lower bound for the size of the Selmer group in terms of L(0,chi), coinciding with the value given by the Bloch-Kato conjecture.


title: Intersections of components of a Springer fiber of codimension one for the two column case

abstract: This paper is a subsequent paper of math.RT/0607673. Here we consider the irreducible components of Springer fibres (or orbital varieties) for two-column case in GL}_n. We describe the intersection of two irreducible components, and specially give the necessary and sufficient condition for this intersection to be of codimension one. Since an orbital variety in two-column case is a finite union of the Borel orbits, we solve the initial question by determining orbits of codimension one in the closure of a given orbit. We show that they are parameterized by a specific set of involutions called descendants, already introduced by the first author in a previous work. Applying this result we show that the intersections of two components of codimension one are irreducible and provide the combinatorial description in terms of Young tableaux of the pairs of such components.


title: A Kiefer--Wolfowitz theorem for convex densities

abstract: Kiefer and Wolfowitz [Z. Wahrsch. Verw. Gebiete 34 (1976) 73--85] showed that if $F$ is a strictly curved concave distribution function (corresponding to a strictly monotone density $f$), then the Maximum Likelihood Estimator $\hat{F}_n$, which is, in fact, the least concave majorant of the empirical distribution function $\mathbb {F}_n$, differs from the empirical distribution function in the uniform norm by no more than a constant times $(n^{-1}\log n)^{2/3}$ almost surely. We review their result and give an updated version of their proof. We prove a comparable theorem for the class of distribution functions $F$ with convex decreasing densities $f$, but with the maximum likelihood estimator $\hat{F}_n$ of $F$ replaced by the least squares estimator $\widetilde{F}_n$: if $X_1,..., X_n$ are sampled from a distribution function $F$ with strictly convex density $f$, then the least squares estimator $\widetilde{F}_n$ of $F$ and the empirical distribution function $\mathbb {F}_n$ differ in the uniform norm by no more than a constant times $(n^{-1}\log n)^{3/5}$ almost surely. The proofs rely on bounds on the interpolation error for complete spline interpolation due to Hall [J. Approximation Theory 1 (1968) 209--218], Hall and Meyer [J. Approximation Theory 16 (1976) 105--122], building on earlier work by Birkhoff and de Boor [J. Math. Mech. 13 (1964) 827--835]. These results, which are crucial for the developments here, are all nicely summarized and exposited in de Boor [A Practical Guide to Splines (2001) Springer, New York].


title: One dimensional nearest neighbor exclusion processes in inhomogeneous and random environments

abstract: The processes described in the title always have reversible stationary distributions. In this paper, we give sufficient conditions for the existence of, and for the nonexistence of, nonreversible stationary distributions. In the case of an i.i.d. environment, these combine to give a necessary and sufficient condition for the existence of nonreversible stationary distributions.


title: Distances between time-series and their autocorrelation statistics

abstract: We begin with an interpretation of the L1-distance between two power spectral densities and then, following an analogous rationale, we develop a natural metric for quantifying distance between respective covariance matrices.


title: On the Structure of Abstract Hubbard Trees and the Space of Abstract Kneading Sequences of Degree Two

abstract: One of the fundamental properties of the Mandelbrot set is that the set of postcritically finite parameters is structured like a tree. We extend this result to the set of quadratic kneading sequences and show that this space contains no irrational decorations. Along the way, we prove a combinatorial analogue to the correspondence principle of dynamic and parameter rays. Our key tool is to work simultaneously with the two equivalent combinatorial concepts of Hubbard trees and kneading sequences.


title: A note for extension of almost sure central limit theory

abstract: H\"ormann (2006) gave an extension of almost sure central limit theorem for bounded Lipschitz 1 function. In this paper, we show that his result of almost sure central limit theorem is also hold for any Lipschitz function under stronger conditions.


title: On the complexity of local search in unconstrained quadratic binary optimization

abstract: We consider the problem of finding a local minimum of a binary quadratic function, and show by an elementary construction that every descending local search algorithm takes exponential time in the worst case.


title: Isometric actions of simple Lie groups on pseudoRiemannian manifolds

abstract: Let M be a connected compact pseudoRiemannian manifold acted upon topologically transitively and isometrically by a connected noncompact simple Lie group G. If m_0, n_0 are the dimensions of the maximal lightlike subspaces tangent to M and G, respectively, where G carries any bi-invariant metric, then we have n_0 \leq m_0. We study G-actions that satisfy the condition n_0 = m_0. With no rank restrictions on G, we prove that M has a finite covering \hat{M} to which the G-action lifts so that \hat{M} is G-equivariantly diffeomorphic to an action on a double coset K\backslash L/\Gamma, as considered in Zimmer's program, with G normal in L (Theorem A). If G has finite center and \rank_\R(G)\geq 2, then we prove that we can choose \hat{M} for which L is semisimple and \Gamma is an irreducible lattice (Theorem B). We also prove that our condition n_0 = m_0 completely characterizes, up to a finite covering, such double coset G-actions (Theorem C). This describes a large family of double coset G-actions and provides a partial positive answer to the conjecture proposed in Zimmer's program.


title: Translation invariant state and its mean entropy-II

abstract: Let $\IM =\otimes_{n \in \IZ}\!M^{(n)}(\IC)$ be the two sided infinite tensor product $C^*$-algebra of $d$ dimensional matrices $\!M^{(n)}(\IC)=\!M_d(\IC)$ over the field of complex numbers $\IC$. Let $\omega$ be a translation invariant state of $\IM$. In a recent paper, we have proved that the mean entropy $s(\omega)$ is a complete invariant for certain classes of translation invariant state $\omega$ of $\IM$. In this paper, we have developed a general theory for dynamical entropy for an automorphism on an arbitrary $C^*$- or von-Neumann algebras based on repeated admissible measurement processes. In particular, we prove that dynamical entropy $h_{\omega}(\theta)$ for translation dynamics $(\IM,\theta,\omega)$ satisfies $s(\omega) \le h_{\omega}(\theta) \le 2s(\omega)$. In case $\omega$ is an infinite tensor product state of $\IM$ then $h_{\omega}(\theta)=s(\omega)$.


title: A Formulation of Noether's Theorem for Fractional Problems of the Calculus of Variations

abstract: Fractional (or non-integer) differentiation is an important concept both from theoretical and applicational points of view. The study of problems of the calculus of variations with fractional derivatives is a rather recent subject, the main result being the fractional necessary optimality condition of Euler-Lagrange obtained in 2002. Here we use the notion of Euler-Lagrange fractional extremal to prove a Noether-type theorem. For that we propose a generalization of the classical concept of conservation law, introducing an appropriate fractional operator.


title: From the Goldbach Conjecture to the Theorem

abstract: In the present work we demonstrate that the so called Goldbach conjecture from 1742, All positive even numbers greater than two can be expressed as a sum of two primes, due to Leonhard Euler, is a true statement. This result is partially based on the Wilson theorem, and complementary on our reasoning to cast the problem into a diophantine equation. The latter is the master equation for the conjectures proof.


title: Cabling Burau Representation

abstract: The Burau representation enables to define many other representations of the braid group $B_n$ by the topological operation of ``cabling braids''. We show here that these representations split into copies of the Burau representation itself and of a representation of $B_n/(P_n,P_n)$. In particular, we show that there is no gain in terms of faithfulness by cabling the Burau representation.