title: Hilbert functions of d-regular ideals

abstract: In the present paper, we characterize all possible Hilbert functions of graded ideals in a polynomial ring whose regularity is smaller than or equal to $d$, where $d$ is a positive integer. In addition, we prove the following result which is a generalization of Bigatti, Hulett and Pardue's result: Let $p \geq 0$ and $d>0$ be integers. If the base field is a field of characteristic 0 and there is a graded ideal $I$ whose projective dimension $\mathrm{proj\ dim}(I)$ is smaller than or equal to $p$ and whose regularity $\mathrm{reg}(I)$ is smaller than or equal to $d$, then there exists a monomial ideal $L$ having the maximal graded Betti numbers among graded ideals $J$ which have the same Hilbert function as $I$ and which satisfy $\mathrm{proj dim}(J) \leq p$ and $\mathrm{reg}(J) \leq d$. We also prove the same fact for squarefree monomial ideals. The main methods for proofs are generic initial ideals and combinatorics on strongly stable ideals.


title: Markovianity and ergodicity for a surface growth PDE

abstract: The paper analyses a model in surface growth, where uniqueness of weak solutions seems to be out of reach. We provide the existence of a weak martingale solution satisfying energy inequalities and having the Markov property. Furthermore, under non-degeneracy conditions on the noise, we establish that any such solution is strong Feller and has a unique invariant measure.


title: An Avoidance Principle with an Application to the Asymptotic Behaviour of Graded Local Cohomology

abstract: We present an Avoidance Principle for certain graded rings. As an application we fill a gap in the proof of a result by Brodmann, Rohrer and Sazeedeh about the antipolynomiality of the Hilbert-Samuel multiplicity of the graded components of the local cohomology modules of a finitely generated module over a Noetherian homogeneous ring with two-dimensional local base ring.


title: Order in the concordance group and Heegaard Floer homology

abstract: We use the Heegaard-Floer homology correction terms defined by Ozsv\'{a}th--Szab\'{o} to formulate a new obstruction for a knot to be of finite order in the smooth concordance group. This obstruction bears a formal resemblance to that of Casson and Gordon but is sensitive to the difference between the smooth versus topological category. As an application we obtain new lower bounds for the concordance order of small crossing knots.


title: Elementary invariants for centralizers of nilpotent matrices

abstract: We construct an explicit set of algebraically independent generators for the center of the universal enveloping algebra of the centralizer of a nilpotent matrix in the Lie algebra gl_N(C). In particular, this gives a new proof of the freeness of the center, a result first proved by Panyushev, Premet and Yakimova (math.RT/0610049).


title: Alternating sum formulae for the determinant and other link invariants

abstract: A classical result states that the determinant of an alternating link is equal to the number of spanning trees in a checkerboard graph of an alternating connected projection of the link. We generalize this result to show that the determinant is the alternating sum of the number of quasi-trees of genus j of the dessin of a non-alternating link. Furthermore, we obtain formulas for other link invariants by counting quantities on dessins. In particular we will show that the $j$-th coefficient of the Jones polynomial is given by sub-dessins of genus less or equal to $j$.


title: On rational maps from a general surface in P^3 to surfaces of general type

abstract: We study the dominant rational maps from a general surface in P^{3} to surfaces of general type. We prove restrictions on the target surfaces, and special properties of the rational maps. We show that for a small degree the general surface has no such map. Moreover a slight improvement of a result of Catanese, on the number of moduli of a surface of general type, is also obtained.


title: Torus Knot complements: A natural series for the natural logarithm

abstract: Lueck expressed the Gromov norm of a knot complement in terms of an infinite series that can be computed from a presentation of the fundamental group of the knot complement. In this note we show that Lueck's formula, applied to torus knots, yields surprising power series expansions for the logarithm function. This generalizes an infinite series of Lehmer for the natural logarithm of 4.


title: Cohomological dimension of Markov compacta

abstract: We rephrase Gromov's definition of Markov compacta, introduce a subclass of Markov compacta defined by one building block and study cohomological dimensions of these compacta. We show that for a Markov compactum $X$, $\dim_{\Z_{(p)}}X=\dim_{\Q}X$ for all but finitely many primes $p$ where $\Z_{(p)}$ is the localization of $\Z$ at $p$. We construct Markov compacta of arbitrarily large dimension having $\dim_{\Q}X=1$ as well as Markov compacta of arbitrary large rational dimension with $\dim_{\Z_p}X=1$ for a given $p$.


title: Asymptotic spectral theory for nonlinear time series

abstract: We consider asymptotic problems in spectral analysis of stationary causal processes. Limiting distributions of periodograms and smoothed periodogram spectral density estimates are obtained and applications to the spectral domain bootstrap are given. Instead of the commonly used strong mixing conditions, in our asymptotic spectral theory we impose conditions only involving (conditional) moments, which are easily verifiable for a variety of nonlinear time series.


title: What is a Young tableau?

abstract: Young tableaux are classical combinatorial objects playing recurring and varied roles in representation theory, algebraic geometry and commutative algebra. This article is a short exposition on Young tableaux, written for the "WHAT IS...?" series of the Notices of the American Mathematical Society. It describes some of their properties and applications.


title: Simulation Studies of Some Voronoi Point Processes

abstract: We introduce a new class of dynamic point process models with simple and intuitive dynamics that are based on the Voronoi tessellations generated by the processes. Under broad conditions, these processes prove to be ergodic and produce, on stabilisation, a wide range of clustering patterns. In the paper, we present results of simulation studies of three statistical measures (Thiel's redundancy, van Lieshout and Baddeley's $J$-function and the empirical distribution of the Voronoi nearest neighbours' numbers) for inference on these models from the clustering behaviour in the stationary regime. In particular, we make comparisons with the area-interaction processes of Baddeley and van Lieshout.


title: The $\epsilon$ - revised system with three linear controls

abstract: In this paper we introduce the $\epsilon$ - revised system associated to a Hamilton - Poisson system. The $\epsilon$ - revised system of the rigid body with three linear controls is defined and some of its geometrical and dynamical properties are investigated.


title: A loop group formulation for constant curvature submanifolds of pseudo-Euclidean space

abstract: We give a loop group formulation for the problem of isometric immersions with flat normal bundle of a simply connected pseudo-Riemannian manifold $M_{c,r}^m$, of dimension $m$, constant sectional curvature $c \neq 0$, and signature $r$, into the pseudo-Euclidean space $\real_s^{m+k}$, of signature $s\geq r$. In fact these immersions are obtained canonically from the loop group maps corresponding to isometric immersions of the same manifold into a pseudo-Riemannian sphere or hyperbolic space $S_s^{m+k}$ or $H_s^{m+k}$, which have previously been studied. A simple formula is given for obtaining these immersions from those loop group maps.


title: On Hilbert extensions of Weierstrass' theorem with weights

abstract: In this paper we study the set of functions $\GG$-valued which can be approximated by $\GG$-valued continuous functions in the norm $L^\infty_{\GG}(I,w)$, where $I$ is a compact interval, $\GG$ is a real and separable Hilbert space and $w$ is certain $\GG$-valued weakly measurable weight. Thus, we obtain a new extension of celebrated Weierstrass approximation theorem.


title: Existence theorems for thin inflated wrinkled membranes subjected to a hydrostatic pressure

abstract: In this paper, we establish rigorous existence theorems for a mathematical model of a thin inflated wrinkled membrane that is subjected to a shape dependent hydrostatic pressure load. We are motivated by the problem of determining the equilibrium shape of a strained high altitude large scientific balloon. This problem has a number of unique features. The balloon is very thin (30 micron), especially when compared with its diameter (over 100 meters). Unlike a standard membrane, the balloon is unable to support compressive stresses and will wrinkle or form folds of excess material. Our approach can be adapted to a wide variety of inflatable membranes, but we will focus on two types of high altitude balloons, a zero-pressure natural shape balloon and a super-pressure pumpkin shaped balloon. We outline the shape finding process for these two classes of balloon designs, formulate the problem of a strained balloon in an appropriate Sobolev space setting, establish rigorous existence theorems using direct methods in the calculus of variations, and present numerical studies to complement our theoretical results.


title: Poincare Complex Diagonals

abstract: Let M be a Poincare duality space of dimension at least four. In this paper we describe a complete obstruction to realizing the diagonal map M -> M x M by a Poincare embedding. The obstruction group depends only on the fundamental group and the parity of the dimension of M.


title: K_0 and the dimension filtration for p-torsion Iwasawa modules

abstract: Let G be a compact p-adic analytic group. We study K-theoretic questions related to the representation theory of the completed group algebra kG of G with coefficients in a finite field k of characteristic p. We show that if M is a finitely generated kG-module whose dimension is smaller than the dimension of the centralizer of any p-regular element of G, then the Euler characteristic of M is trivial. Writing F_i for the abelian category consisting of all finitely generated kG-modules of dimension at most i, we provide an upper bound for the rank of the natural map from the Grothendieck group of F_i to that of F_d, where d denotes the dimension of G. We show that this upper bound is attained in some special cases, but is not attained in general.


title: A survey on the Weierstrass approximation theorem

abstract: The celebrated and famous Weierstrass approximation theorem characterizes the set of continuous functions on a compact interval via uniform approximation by algebraic polynomials. This theorem is the first significant result in Approximation Theory of one real variable and plays a key role in the development of General Approximation Theory. Our aim is to investigate some new results relative to such theorem, to present a history of the subject, and to introduce some open problems.


title: Enumerative properties of triangulations of spherical bundles over S^1

abstract: We give a complete characterization of all possible pairs (v,e), where v is the number of vertices and e is the number of edges, of any simplicial triangulation of an S^k-bundle over S^1. The main point is that Kuhnel's triangulations of S^{2k+1} x S^1 and the nonorientable S^{2k}-bundle over S^1 are unique among all triangulations of (n-1)-dimensional homology manifolds with first Betti number nonzero, vanishing second Betti number, and 2n+1 vertices.


title: Non Tangential Convergence for the Ornstein-Uhlenbeck Semigroup

abstract: In this paper we are going to get the non tangential convergence, in an appropriated parabolic "gaussian cone", of the Ornstein-Uhlenbeck semigroup in providing two proofs of this fact. One is a direct proof by using the truncated non tangential maximal function associated. The second one is obtained by using a general statement. This second proof also allows us to get a similar result for the Poisson-Hermite semigroup.


title: On Rationally Parametrized Modular Equations

abstract: Many rationally parametrized elliptic modular equations are derived. Each comes from a family of elliptic curves attached to a genus-zero congruence subgroup $\Gamma_0(N)$, as an algebraic transformation of elliptic curve periods, parametrized by a Hauptmodul (function field generator). The periods satisfy a Picard-Fuchs equation, of hypergeometric, Heun, or more general type; so the new modular equations are algebraic transformations of special functions. When N=4,3,2 they are modular transformations of Ramanujan's elliptic integrals of signatures 2,3,4. This gives a modern interpretation to his theories of integrals to alternative bases: they are attached to certain families of elliptic curves. His anomalous theory of signature 6 turns out to fit into a general Gauss-Manin rather than a Picard-Fuchs framework.


title: Multiple Intelligences and quotient spaces

abstract: The Multiple Intelligence Theory (MI) is one of the models that study and describe the cognitive abilities of an individual. In [7] is presented a referential system which allows to identify the Multiple Intelligences of the students of a course and to classify the level of development of such Intelligences. Following this tendency, the purpose of this paper is to describe the model of Multiple Intelligences as a quotient space, and also to study the Multiple Intelligences of an individual in terms of this new mathematical representation.


title: Estimation of the Location of a 0-type or $\infty$-type Singularity by Poisson Observations

abstract: We consider an inhomogeneous Poisson process $X$ on $[0,T]$. The intensity function of $X$ is supposed to be strictly positive and smooth on $[0,T]$ except at the point $\theta$, in which it has either a 0-type singularity (tends to 0 like $\abs{x}^p$, $p\in(0,1)$), or an $\infty$-type singularity (tends to $\infty$ like $\abs{x}^p$, $p\in(-1,0)$). We suppose that we know the shape of the intensity function, but not the location of the singularity. We consider the problem of estimation of this location (shift) parameter $\theta$ based on $n$ observations of the process $X$. We study the Bayesian estimators and, in the case $p>0$, the maximum likelihood estimator. We show that these estimators are consistent, their rate of convergence is $n^{1/(p+1)}$, they have different limit distributions, and the Bayesian estimators are asymptotically efficient.


title: Wellposedness and stability results for the Navier-Stokes equations in ${\mathbf R}^{3}$

abstract: In a previous work, we presented a class of initial data to the three dimensional, periodic, incompressible Navier-Stokes equations, generating a global smooth solution although the norm of the initial data may be chosen arbitrarily large. The aim of this article is twofold. First, we adapt the construction to the case of the whole space: we prove that if a certain nonlinear function of the initial data is small enough, in a Koch-Tataru type space, then there is a global solution to the Navier-Stokes equations. We provide an example of initial data satisfying that nonlinear smallness condition, but whose norm is arbitrarily large in $ C^{-1}$. Then we prove a stability result on the nonlinear smallness assumption. More precisely we show that the new smallness assumption also holds for linear superpositions of translated and dilated iterates of the initial data, in the spirit of a construction by the authors and H. Bahouri, thus generating a large number of different examples.


title: A canonical decomposition for linear operators and linear relations

abstract: An arbitrary linear relation (multivalued operator) acting from one Hilbert space to another Hilbert space is shown to be the sum of a closable operator and a singular relation whose closure is the Cartesian product of closed subspaces. This decomposition can be seen as an analog of the Lebesgue decomposition of a measure into a regular part and a singular part. The two parts of a relation are characterized metrically and in terms of Stone's characteristic projection onto the closure of the linear relation.


title: The L-Move and Virtual Braids

abstract: This paper is a short introduction to and statement of the main theorems of our paper "Virtual Braids and the L-Move", JKTR, Vol. 15, No. 6 (2006), pp. 773-811. See also arxiv:Math.GT/0507035.


title: Local cohomologies of isolated non F-rational singularities

abstract: In this paper, we consider positively graded isolated non F-rational singularities (R,m) with d=dim R over the field K of positive characteristic. We give a representation of lower local cohomologies H^i_m(R) (i<d) in terms of tight closure and limit closure of certain type of parameters. As an application to isolated singularities, we show a relation between non-vanishing of the tight closure of zero in the highest local cohomology (0)^*_{H^d(R)} and non-vanishing of the cohomology H^{d-1}_m(R).


title: Limiting modular symbols and their fractal geometry

abstract: In this paper we use fractal geometry to investigate boundary aspects of the first homology group for finite coverings of the modular surface. We obtain a complete description of algebraically invisible parts of this homology group. More precisely, we first show that for any modular subgroup the geodesic forward dynamic on the associated surface admits a canonical symbolic representation by a finitely irreducible shift space. We then use this representation to derive an `almost complete' multifractal description of the higher--dimensional level sets arising from Manin--Marcolli's limiting modular symbols.


title: Linearly rigid metric spaces and the embedding problem

abstract: We consider the problem of isometric embedding of metric spaces to the Banach spaces; and introduce and study the remarkable class of so-called linearly rigid metric spaces: these are the spaces that admit a unique, up to isometry, linearly dense isometric embedding into a Banach space. The first nontrivial example of such a space was given by R. Holmes; he proved that the universal Urysohn space has this property. We give a criterion of linear rigidity of a metric space, which allows us to give a simple proof of the linear rigidity of the Urysohn space and some other metric spaces. The various properties of linearly rigid spaces and related spaces are considered.


title: A note on the exchangeability condition in Stein's method

abstract: We show by a surprisingly simple argument that the exchangeability condition, which is key to the exchangeable pair approach in Stein's method for distributional approximation, can be omitted in many standard settings. This is achieved by replacing the usual antisymmetric function by a simpler one, for which only equality in distribution is required. In the case of normal approximation we also slightly improve the constants appearing in previous results. For Poisson approximation, a different antisymmetric function is used, and additional error terms are needed if the bound is to be extended beyond the exchangeable setting.


title: H\"older continuity of solutions to the complex Monge-Amp\`ere equation with the right hand side in L^p. The case of compact K\"ahler manifolds

abstract: We prove that on compact K\"ahler manifolds solutions to the complex Monge-Amp\`ere equation, with the the right hand side in $L^p, p>1,$ are H\"older continuous.


title: On the Inverse Problem for a Size-Structured Population Model

abstract: We consider a size-structured model for cell division and address the question of determining the division (birth) rate from the measured stable size distribution of the population. We formulate such question as an inverse problem for an integro-differential equation posed on the half line. We develop firstly a regular dependency theory for the solution in terms of the coefficients and, secondly, a novel regularization technique for tackling this inverse problem which takes into account the specific nature of the equation. Our results rely also on generalized relative entropy estimates and related Poincar\'e inequalities.


title: Rational cohomology of M_3,2

abstract: We compute the rational cohomology of the moduli space of non-singular complex projective curves of genus 3 with two marked points.


title: A new formulation of the spine approach to branching diffusions

abstract: We present a formalization of the spine change of measure approach for branching diffusions that improves on the scheme laid out for branching Brownian motion in Kyprianou (2004) ["Travelling wave solutions to the KPP equation, Ann. Inst. H. Poincare Probab. Statist. 40, no.1, pp53-72] which itself made use of earlier works of Lyons et al (1997) ["A conceptual proof of the Kesten-Stigum theorem for multi-type branching processes", Classical and modern branching processes, IMA Vol. Math. Appl., vol.84, Springer, New York, pp181-185]. We use our new formulation to interpret certain `Gibbs-Boltzmann' weightings of particles and use this to give a new, intuitive and proof of a more general `Many-to-One' result which enables expectations of sums over particles in the branching diffusion to be calculated purely in terms of an expectation of one particle. Significantly, our formalization has provided the foundations that facilitate a variety of new, greatly simplified and more intuitive proofs in branching diffusions: see, for example, the L^p convergence of additive martingales in Hardy and Harris (2006) ["Spine proofs for L^p-convergence of branching-diffusion martingales", arXiv:math.PR/0611056], the path large deviation results for branching Brownian motion in Hardy and Harris (2006) ["A conceptual approach to a path result for branching Brownian motion", Stochastic Processes and their Applications, doi:10.1016/j.spa.2006.05.010] and the large deviations for a continuous-typed branching diffusion in Git et al (2006) ["Exponential growth rates in a typed branching diffusion", Annals Applied Prob., (under revision)] and Hardy and Harris (2004) ["A spine proof of a lower-bound for a typed branching diffusion", no.0408, Mathematics Preprint, University of Bath].


title: Minimal length elements in some double cosets of Coxeter groups

abstract: We study the minimal length elements in some double cosets of Coxeter groups and use them to study Lusztig's $G$-stable pieces and the generalization of $G$-stable pieces introduced by Lu and Yakimov. We also use them to study the minimal length elements in a conjugacy class of a finite Coxeter group and prove a conjecture in \cite{GKP}.


title: Spine proofs for Lp-convergence of branching-diffusion martingales

abstract: Using the foundations laid down in Hardy and Harris (2006) ["A new formulation of the spine approach in branching diffusions", arXiv:math.PR/0611054], we present new spine proofs of the L^p-convergence p>=1) of some key `additive' martingales for three distinct models of branching diffusions, including new results for a multi-type branching Brownian motion and discussion of left-most particle speeds. The spine techniques we develop give clear and simple arguments in the spirit of the conceptual spine proofs found in Kyprianou (2004) ["Travelling wave solutions to the KPP equation, Ann. Inst. H. Poincare Probab. Statist. 40, no.1, pp53-72] and Lyons et al (1997) ["A conceptual proof of the Kesten-Stigum theorem for multi-type branching processes", Classical and modern branching processes, IMA Vol. Math. Appl., vol.84, Springer, New York, pp181-185], and they should also extend to more general classes of branching diffusions. Importantly, the techniques in this paper also pave the way for the path large-deviation results for branching diffusions found in Hardy and Harris (2006) ["A conceptual approach to a path result for branching Brownian motion", Stochastic Processes and their Applications, doi:10.1016/j.spa.2006.05.010].


title: Gaussian Summation: An Exponentially Converging Summation Scheme

abstract: Gaussian Quadrature is a well known technique for numerical integration. Recently Gaussian quadrature with respect to discrete measures corresponding to finite sums have found some new interest. In this paper we apply these ideas to infinite sums in general and give an explicit construction for the weights and abscissae of GAUSSIAN SUMMATION formulas. The abscissae of the Gaussian summation have a very interesting asymptotic distribution function with a (cusp) singularity. We apply the Gaussian summation technique to two problems which have been discussed in the literature. We find that the Gaussian summation has an extremely rapid convergence rate for the Hardy-Littlewood sum for a large range of parameters. For functions which are smooth but have a large scale, a, the error of Gaussian Summation shows exponential convergence as a function of summation points. The Gaussian summation achieves a given accuracy with a number of points proportional to the sqrt of the large scale whereas other summation schemes require at least a number of function evaluations proportional to the scale.


title: Boundedness of the Hessian of a biharmonic function in a convex domain

abstract: We consider the Dirichlet problem for the biharmonic equation on an arbitrary convex domain and prove that the second derivatives of the variational solution are bounded in all dimensions.


title: The Elliott conjecture for Villadsen algebras of the first type

abstract: We study the class of simple C*-algebras introduced by Villadsen in his pioneering work on perforated ordered K-theory. We establish six equivalent characterisations of the proper subclass which satisfies the strong form of Elliott's classification conjecture: two C*-algebraic (Z-stability and approximate divisibility), one K-theoretic (strict comparison of positive elements), and three topological (finite decomposition rank, slow dimension growth, and bounded dimension growth). The equivalence of Z-stability and strict comparison constitutes a stably finite version of Kirchberg's characterisation of purely infinite C*-algebras. The other equivalences confirm, for Villadsen's algebras, heretofore conjectural relationships between various notions of good behaviour for nuclear C*-algebras.


title: Rudin's Theorem and Projective Hulls

abstract: Walter Rudin, in 1966, characterized analytic functions in the unit disk in terms of the maximum principle relative to the boundary. We conjecture a generalization of this result when the disk is replaced by the punctured disk, and we prove a special case of this conjecture, making use of the notion of projective hull in P^n introduced by R. Harvey and B. Lawson.


title: On the Berezinian of a moduli space of curves in P^{n|n+1}

abstract: A supermanifold P^{3|4} is a target space for twistor string theory. In this note we identify a line bundle of holomorphic volume elements BerM_gP^{3|4} defined on the moduli space of curves of genus g in P^{3|4} with a pullback of a line bundle defined on M_g(pt). We also give some generalizations of this fact.


title: Comparison of geometric figures

abstract: Although the geometric equality of figures has already been studied thoroughly, little work has been done about the comparison of unequal figures. We are used to compare only similar figures but would it be meaningful to compare non similar ones? In this paper we attempt to build a context where it is possible to compare even non similar figures. Adopting Klein's view for the Euclidean Geometry, we defined a relation "<=" as: S<=T whenever there is a rigid motion f so that f(S) is a subset of T. This relation is not an order because there are figures (subsets of the plane) so that S<=T, T<=S and S, T not geometrically equal. Our goal is to avoid this paradox and to track down non-trivial classes of figures where the relation "<=" becomes, at least, a partial order. Such a class will be called a good class of figures. A reasonable question is whether the figures forming a good class have certain properties and whether the algebra of these figures is also a good class. Therefore we classified the figures into those that cause the paradox mentioned above and those that never cause it. The last ones are called good figures. Although simple, the definition of the good figure was difficult to handle, therefore we introduced a more technical, but intrinsic and handy definition, that of the strongly good figure. With these tools we constructed a new context, where we expanded our perspective about the geometric comparison not only in the Euclidean but also in the Hyperbolic and in the Elliptic Geometry. Eventually, there are still some open and quite challenging issues, which we present them at the last part of the paper.


title: Transformations of flat Lagrangian immersions and Egoroff nets

abstract: We associate a natural $\lambda$-family ($\lambda \in \R \setminus \{0\} $) of flat Lagrangian immersions in $\C^n$ with non-degenerate normal bundle to any given one. We prove that the structure equations for such immersions admit the same Lax pair as the first order integrable system associated to the symmetric space $\frac{\U(n) \ltimes \C^n}{\OO(n) \ltimes \R^n}$. An interesting observation is that the family degenerates to an Egoroff net on $\R^n$ when $\lambda \to 0$. We construct an action of a rational loop group on such immersions by identifying its generators and computing their dressing actions. The action of the generator with one simple pole gives the geometric Ribaucour transformation and we provide the permutability formula for such transformations. The action of the generator with two poles and the action of a rational loop in the translation subgroup produce new transformations. The corresponding results for flat Lagrangian submanifolds in $\C P^{n-1}$ and $\p$-invariant Egoroff nets follow nicely via a spherical restriction and Hopf fibration.


title: Monomial ideals with linear upper bound regularity

abstract: In this paper, we extend a result of Eisenbud-Reeves-Totaro in the frame of ideals of Borel type. As a consequence, we obtain a linear upper bound for the regularity of a new class of ideals, called $\mathcal D$-fixed ideals.


title: Applications of Loop Group Factorization to Geometric Soliton Equations

abstract: The 1-d Schrodinger flow on 2-sphere, the Gauss-Codazzi equation for flat Lagrangian submanifolds in C^n, and the space-time monopole equation are all examples of geometric soliton equations. The linear systems with a spectral parameter (Lax pair) associated to these equations satisfy the reality condition associated to SU(n). In this article, we explain the method developed jointly with K. Uhlenbeck, that uses various loop group factorizations to construct inverse scattering transforms, Backlund transformations, and solutions to Cauchy problems for these equations.


title: Strong homotopy properads

abstract: In this paper we prove that the structure of strong homotopy properad transfers over left homotopy inverses and give explicit formulae for the induced structure.


title: Yet another short proof of the 4-colour theorem

abstract: The better title is "Yet another FALSE proof of the 4-colour theorem." Please consider all versions of this paper as historical material on the way to a non-computer proof of the 4-colour theorem. Interpreted as proofs, all versions are wrong.


title: Normal Hopf subalgebras of semisimple Hopf algebras

abstract: In this note the notion of kernel of a representation of a semisimple Hopf algebra is introduced. Similar properties to the kernel of a group representation are proved in some special cases. In particular, every normal Hopf subalgebra of a semisimple Hopf algebra H is the kernel of a representation of H.


title: On discretization schemes for stochastic evolution equations

abstract: Stochastic evolutional equations with monotone operators are considered in Banach spaces. Explicit and implicit numerical schemes are presented. The convergence of the approximations to the solution of the equations is proved.


title: On existence of [a,b]-factors avoiding given subgraphs

abstract: For a graph $G = (V(G), E(G))$, let $i(G)$ be the number of isolated vertices in $G$. The {\it isolated toughness} of $G$ is defined as $I(G) = min\{|S|/i(G-S) : S\subseteq V(G), i(G-S)\geq 2\}$ if $G$ is not complete; $I(G)=|V(G)|-1$ otherwise. In this paper, several sufficient conditions in terms of isolated toughness are obtained for the existence of $[a, b]$-factors avoiding given subgraphs, e.g., a set of vertices, a set of edges and a matching, respectively.


title: Well-posedness and long-time behavior for a class of doubly nonlinear equations

abstract: This paper addresses a doubly nonlinear parabolic inclusion of the form $A(u_t)+B(u)\ni f$. Existence of a solution is proved under suitable monotonicity, coercivity, and structure assumptions on the operators $A$ and $B$, which in particular are both supposed to be subdifferentials of functionals on $L^2(\Omega)$. Moreover, under additional hypotheses on $B$, uniqueness of the solution is proved. Finally, a characterization of $\omega$-limit sets of solutions is given and we investigate the convergence of trajectories to limit points.


title: Computation of the invariant measure for a L\'{e}vy driven SDE: Rate of convergence

abstract: We study the rate of convergence of some recursive procedures based on some "exact" or "approximate" Euler schemes which converge to the invariant measure of an ergodic SDE driven by a L\'{e}vy process. The main interest of this work is to compare the rates induced by exact and approximate Euler schemes. In our main result, we show that replacing the small jumps by a Brownian component in the approximate case preserves the rate induced by the exact Euler scheme for a large class of L\'{e}vy processes.


title: On implicit and explicit discretization schemes for parabolic SPDEs in any dimension

abstract: We study the speed of convergence of the explicit and implicit space-time discretization schemes of the solution $u(t,x)$ to a parabolic partial differential equation in any dimension perturbed by a space-correlated Gaussian noise. The coefficients only depend on $u(t,x)$ and the influence of the correlation on the speed is observed.


title: On the quiver Grassmannian in the acyclic case

abstract: Let A be the path algebra of a quiver Q with no oriented cycle. We study geometric properties of the Grassmannians of submodules of a given A-module M. In particular, we obtain some sufficient conditions for smoothness, polynomial cardinality and we give different approaches to Euler characteristics. Our main result is the positivity of Euler characteristics when M is an exceptional module. This solves a conjecture of Fomin and Zelevinsky for acyclic cluster algebras.


title: Analysing singularities of a benchmark problem

abstract: The purpose of this paper is to analyze the singularities of a well known benchmark problem ``Andrews' squeezing mechanism''. We show that for physically relevant parameter values this system admits singularities. The method is based on Gr\"obner bases computations and ideal decomposition. It is algorithmic and can thus be applied to study constraint singularities which arise in more general situations.


title: Virtual Homotopy

abstract: Two welded (respectively virtual) link diagrams are homotopic if one may be transformed into the other by a sequence of extended Reidemeister moves, classical Reidemeister moves, and self crossing changes. In this paper, we extend Milnor's mu and bar mu invariants to welded and virtual links. We conclude this paper with several examples, and compute the mu invariants using the Magnus expansion and Polyak's skein relation for the mu invariants.


title: Non-smoothable four-manifolds with cyclic fundamental group

abstract: In [HT], two of us constructed a closed oriented 4-dimensional manifold with fundamental group $\Z$ that does not split off $S^1\times S^3$. In this note we show that this 4-manifold, and various others derived from it, do not admit smooth structures. Moreover, we find an infinite family of 4-manifolds with exactly the same properties (and same intersection form on $H_2$). As a corollary, we obtain topologically slice knots that are not smoothly slice in any rational homology ball.


title: On the simulation of multibody systems with holonomic constraints

abstract: We use Lagrangian formalism and jet spaces to derive a computational model to simulate multibody dynamics with holonomic constraints. Our approach avoids the traditional problems of drift-off and spurious oscillations. Hence even long simulations remain physically relevant. We illustrate our method with several numerical examples.


title: Relaxed commutant lifting and a relaxed Nehari problem: Redheffer state space formulas

abstract: The description of all solutions to the relaxed commutant lifting problem in terms of an underlying contraction, obtained earlier in joint work of the author with A.E. Frazho and M.A. Kaashoek, is transformed into a linear fractional Redheffer state space form. Under certain additional conditions the coefficient functions in this representation are described explicitly in terms of the original data. The main theorem is a generalization of the Redheffer description of all solutions to the classical commutant lifting problem. To illustrate the result a relaxed version of the Nehari extension problem is considered, and an explicit Redheffer description of all its solutions is given, assuming that a certain truncated Hankel operator is a strict contraction. The latter result is specified further for two special cases.


title: Legendrian helix and cable links

abstract: Lisa Traynor has described an example of a two-component Legendrian `circular helix link' in the 1-jet space of the circle (with its canonical contact structure) that is topologically but not Legendrian isotopic to that same link with the order of the two components reversed. We give a complete classification of the Legendrian realisations of this topological link type, as well as all other `cable links' in that 1-jet space.


title: Graded Betti numbers of Cohen-Macaulay modules and the Multiplicity conjecture

abstract: We give conjectures on the possible graded Betti numbers of Cohen-Macaulay modules up to multiplication by positive rational numbers. The idea is that the Betti diagrams should be non-negative linear combinations of pure diagrams. The conjectures are verified in the cases where the structure of resolutions are known, i.e., for modules of codimension two, for Gorenstein algebras of codimension three and for complete intersections. The motivation for the conjectures comes from the Multiplicity conjecture of Herzog, Huneke and Srinivasan.


title: Weighted integral formulas on manifolds

abstract: We present a method of finding weighted Koppelman formulas for $(p,q)$-forms on $n$-dimensional complex manifolds $X$ which admit a vector bundle of rank $n$ over $X \times X$, such that the diagonal of $X \times X$ has a defining section. We apply the method to $\Pn$ and find weighted Koppelman formulas for $(p,q)$-forms with values in a line bundle over $\Pn$. As an application, we look at the cohomology groups of $(p,q)$-forms over $\Pn$ with values in various line bundles, and find explicit solutions to the $\dbar$-equation in some of the trivial groups. We also look at cohomology groups of $(0,q)$-forms over $\Pn \times \Pm$ with values in various line bundles. Finally, we apply our method to developing weighted Koppelman formulas on Stein manifolds.


title: High Order Multi-Scale Wall-Laws, Part I : The Periodic Case

abstract: In this work we present new wall-laws boundary conditions including microscopic oscillations. We consider a newtonian flow in domains with periodic rough boundaries that we simplify considering a Laplace operator with periodic inflow and outflow boundary conditions. Following the previous approaches, see [A. Mikelic, W. J\"ager, J. Diff. Eqs, 170, 96-122, (2001) ] and [Y. Achdou, O. Pironneau, F. Valentin, J. Comput. Phys, 147, 1, 187-218, (1998)], we construct high order boundary layer approximations and rigorously justify their rates of convergence with respect to epsilon (the roughness' thickness). We establish mathematically a poor convergence rate for averaged second-order wall-laws as it was illustrated numerically for instance in [Y. Achdou, O. Pironneau, F. Valentin, J. Comput. Phys, 147, 1, 187-218, (1998)]. In comparison, we establish exponential error estimates in the case of explicit multi-scale ansatz. This motivates our study to derive implicit first order multi-scale wall-laws and to show that its rate of convergence is at least of order epsilon to the three halves. We provide a numerical assessment of the claims as well as a counter-example that evidences the impossibility of an averaged second order wall-law. Our paper may be seen as the first stone to derive efficient high order wall-laws boundary conditions.


title: Aperiodic colorings and tilings of Coxeter groups

abstract: We construct a limit aperiodic coloring of hyperbolic groups. Also we construct limit strongly aperiodic strictly balanced tilings of the Davis complex for all Coxeter groups.


title: A remark on homogeneous affine varieties and related matters

abstract: In this note we give an example of affine quotient $G/H$ where $G$ is an affine algebraic group over an algebraically closed field of characteristic 0 and $H$ is a unipotent subgroup not contained in the unipotent radical of $G$. Some remarks about symmetric algebras of centralizers of nilpotent elements in simple Lie algebras, in particular cases, are added.


title: Integral points on cubic hypersurfaces

abstract: Let g be a cubic polynomial with integer coefficients and n>9 variables, and assume that the congruence g=0 modulo p^k is soluble for all prime powers p^k. We show that the equation g=0 has infinitely many integer solutions when the cubic part of g defines a projective hypersurface with singular locus of dimension <n-10. The proof is based on the Hardy-Littlewood circle method.


title: Modular functors are determined by their genus zero data

abstract: We prove in this paper that the genus zero data of a modular functor determines the modular functor. We do this by establishing that the S-matrix in genus one with one point labeled arbitrarily can be expressed in terms of the genus zero information and we give an explicit formula. We do not assume the modular functor in question has duality or is unitary, in order to establish this.


title: A Kiefer--Wolfowitz comparison theorem for Wicksell's problem

abstract: We extend the isotonic analysis for Wicksell's problem to estimate a regression function, which is motivated by the problem of estimating dark matter distribution in astronomy. The main result is a version of the Kiefer--Wolfowitz theorem comparing the empirical distribution to its least concave majorant, but with a convergence rate $n^{-1}\log n$ faster than $n^{-2/3}\log n$. The main result is useful in obtaining asymptotic distributions for estimators, such as isotonic and smooth estimators.


title: Overconvergent F-isocrystals and differential overcoherence

abstract: Let $\mathcal{V}$ be a mixed characteristic complete discrete valuation ring, $k$ its residual field, $\mathcal{P}$ a proper smooth formal scheme over $\mathcal{V}$, $P$ its special fiber, $T$ a divisor of $P$, $U:=P\setminus T$, $Y$ a smooth closed subscheme of $U$. We prove that the category of overconvergent $F$-isocrystals on $Y$ is equivalent to the category of overcoherent $F$-isocrystals on $Y$. More generally, we prove such an equivalence by gluing for any smooth variety $Y$ over $k$. Moreover, we check that overcoherent $F$-complexes of arithmetic $\mathcal{D}$-modules split in overconvergent $F$-isocrystals.


title: On strongly Petrovskii's parabolic SPDEs in arbitrary dimension and the stochastic Cahn-Hilliard equation

abstract: In this paper we show that the Cahn-Hilliard stochastic SPDE has a function valued solution in dimension 4 and 5 when the perturbation is driven by a space-correlated Gaussian noise. This is done proving general results on SPDEs with globally Lipschitz coefficients associated with operators on smooth domains of $\mathbb{R}^d$ which are parabolic in the sense of Petrovskii}, and do not necessarily define a semi-group of operators. We study the regularity of the trajectories of the solutions and the absolute continuity of the law at some given time and position.


title: New problems on old solitaire boards

abstract: Some old peg solitaire boards are brought down from the literature, dusted off, and re-examined, and some remarkable problems are displayed on them.


title: Stability Testing of Matrix Polytopes

abstract: Motivated by questions in robust control and switched linear dynamical systems, we consider the problem checking whether all convex combinations of k matrices in R^{n x n} are stable. In particular, we are interested whether there exist algorithms which can solve this problem in time polynomial in n and k. We show that if $k= \lceil n^d \rceil$ for any fixed real d>0, then the problem is NP-hard, meaning that no polynomial-time algorithm in n exists provided that P is not NP, a widely believed conjecture in computer science. On the other hand, when k is a constant independent of n, then it is known that the problem may be solved in polynomial time in n. Using these results and the method of measurable switching rules, we prove our main statement: verifying the absolute asymptotic stability of a continuous-time switched linear system with more than n^d matrices A_i in R^{n x n} satisfying 0 >= A_i + A_i^{T} is NP-hard.


title: Theory of Bergman Spaces in the Unit Ball of $C^n$

abstract: There has been a great deal of work done in recent years on weighted Bergman spaces $\apa$ on the unit ball $\bn$ of $\cn$, where $0<p<\infty$ and $\alpha>-1$. We extend this study in a very natural way to the case where $\alpha$ is {\em any} real number and $0<p\le\infty$. This unified treatment covers all classical Bergman spaces, Besov spaces, Lipschitz spaces, the Bloch space, the Hardy space $H^2$, and the so-called Arveson space. Some of our results about integral representations, complex interpolation, coefficient multipliers, and Carleson measures are new even for the ordinary (unweighted) Bergman spaces of the unit disk.


title: Lipschitz type characterizations for Bergman Spaces

abstract: We obtain new characterizations for Bergman spaces with standard weights in terms of Lipschitz type conditions in the Euclidean, hyperbolic, and pseudo-hyperbolic metrics. As a consequence, we prove optimal embedding theorems when an analytic function on the unit disk is symmetrically lifted to the bidisk.


title: Further Generalization of Golden Mean in Relation to Euler Divine Equation

abstract: In the paper a new generalization of the Golden mean, as a further generalization in relation to Stakhov (1989) and to Spinadel (1999), is presented. Also it is first observed that the Euler divine equation represents a possible generalization of Golden mean. In this fourth version Figure A1 and Tables A3-A10 are added.


title: Almost all elliptic curves are Serre curves

abstract: Using a multidimensional large sieve inequality, we obtain a bound for the mean square error in the Chebotarev theorem for division fields of elliptic curves that is as strong as what is implied by the Generalized Riemann Hypothesis. As an application we prove a theorem to the effect that, according to height, almost all elliptic curves are Serre curves, where a Serre curve is an elliptic curve whose torsion subgroup, roughly speaking, has as much Galois symmetry as possible.


title: Generators of Dynamical Systems on Hilbert Modules

abstract: We characterize the generators of dynamical systems on Hilbert modules as those generators of one-parameter groups of Banach space isometries which are ternary derivations. We investigate in how far a similar condition can be expressed in terms of generalized derivations.


title: A tensor product of representations of Cuntz algebras

abstract: We introduce a nonsymmetric, associative tensor product among representations of Cuntz algebras by using embeddings. We show the decomposition formulae of tensor products for permutative representations explicitly We apply decomposition formulae to determine properties of endomorphisms.


title: Minimizing weak solutions for calabi's extremal metrics on toric manifolds

abstract: In this paper, we discuss a Donaldson's version of the modified $K$-energy associated to the Calabi's extremal metrics on toric manifolds and prove the existence of the weak solution for extremal metrics in the sense of convex functions which minimizes the modified $K$-energy.


title: The Isospectral Dirac Operator on the 4-dimensional Orthogonal Quantum Sphere

abstract: Equivariance under the action of Uq(so(5)) is used to compute the left regular and (chiral) spinorial representations of the algebra of the orthogonal quantum 4-sphere S^4_q. These representations are the constituents of a spectral triple on this sphere with a Dirac operator which is isospectral to the canonical one on the round undeformed four-sphere and which gives metric dimension four for the noncommutative geometry. Non-triviality of the geometry is proved by pairing the associated Fredholm module with an `instanton' projection. We also introduce a real structure which satisfies all required properties modulo smoothing operators.


title: A note on cohomological localization

abstract: Given a cohomological functor from a triangulated category to an abelian category, we construct under appropriate assumptions for any localization functor of the abelian category a lift to a localization functor of the triangulated category. This discussion of Bousfield localization is combined with a basic introduction to the concept of localization for arbitrary categories.


title: Spherical Analysis on Permutations Group and Applications

abstract: The principal aim of the present paper is to develop the theory of Gelfand pairs on the symmetric group in order to define and study the horocyclic Radon transform on this group. We also find a simple inversion formula for the Radon transform of the solution to the heat equation associated to this group.


title: An interesting elliptic surface over an elliptic curve

abstract: We study the elliptic modular surface attached to the commutator subgroup of the modular group. This has an elliptic curve as base and only one singular fibre. We employ an algebraic approach and then consider some arithmetic questions.


title: Elliptic Genera, Transgression and Loop Space Chern-Simons Forms

abstract: We compute the Chern-Simons transgressed forms of some modularly invariant characteristic forms, which are related to the elliptic genera. We study the modularity properties of these secondary characteristic forms and the relations among them. We also compute the Chern-Simons forms of some vector bundles over free loop space.


title: On the determinant bundles of abelian schemes

abstract: Let $\pi:\CA\ra S$ be an abelian scheme over a scheme $S$ which is quasi-projective over an affine noetherian scheme and let $\CL$ be a symmetric, rigidified, relatively ample line bundle on $\CA$. We show that there is an isomorphism \det(\pi_*\CL)^{\o times 24}\simeq\big(\pi_*\omega_{\CA}^{\vee}\big)^{\o times 12d} of line bundles on $S$, where $d$ is the rank of the (locally free) sheaf $\pi_*\CL$. We also show that the numbers 24 and $12d$ are sharp in the following sense: if $N>1$ is a common divisor of 12 and 24, then there are data as above such that \det(\pi_*\CL)^{\o times (24/N)}\not\simeq\big(\pi_*\omega_{\CA}^{\vee}\big)^{\o times (12d/N)}.


title: Generalized Noncrossing Partitions and Combinatorics of Coxeter Groups

abstract: This memoir constitutes the author's PhD thesis at Cornell University. It serves both as an expository work and as a description of new research. At the heart of the memoir, we introduce and study a poset $NC^{(k)}(W)$ for each finite Coxeter group $W$ and for each positive integer $k$. When $k=1$, our definition coincides with the generalized noncrossing partitions introduced by Brady-Watt and Bessis. When $W$ is the symmetric group, we obtain the poset of classical $k$-divisible noncrossing partitions, first studied by Edelman. Along the way, we include a comprehensive introduction to related background material. Before defining our generalization $NC^{(k)}(W)$, we develop from scratch the theory of algebraic noncrossing partitions $NC(W)$. This involves studying a finite Coxeter group $W$ with respect to its generating set $T$ of {\em all} reflections, instead of the usual Coxeter generating set $S$. This is the first time that this material has appeared in one place. Finally, it turns out that our poset $NC^{(k)}(W)$ shares many enumerative features in common with the ``generalized nonnesting partitions'' of Athanasiadis and the ``generalized cluster complexes'' of Fomin and Reading. In particular, there is a generalized ``Fuss-Catalan number'', with a nice closed formula in terms of the invariant degrees of $W$, that plays an important role in each case. We give a basic introduction to these topics, and we describe several conjectures relating these three families of ``Fuss-Catalan objects''.


title: Elimination theory and Newton polytopes

abstract: We study elimination theory in the context of Newton polytopes and develop its convex-geometric counterpart.


title: Estimating the Null and the Proportion of non-Null effects in Large-scale Multiple Comparisons

abstract: An important issue raised by Efron in the context of large-scale multiple comparisons is that in many applications the usual assumption that the null distribution is known is incorrect, and seemingly negligible differences in the null may result in large differences in subsequent studies. This suggests that a careful study of estimation of the null is indispensable. In this paper, we consider the problem of estimating a null normal distribution, and a closely related problem, estimation of the proportion of non-null effects. We develop an approach based on the empirical characteristic function and Fourier analysis. The estimators are shown to be uniformly consistent over a wide class of parameters. Numerical performance of the estimators is investigated using both simulated and real data. In particular, we apply our procedure to the analysis of breast cancer and HIV microarray data sets. The estimators perform favorably in comparison to existing methods.


title: Deformation spaces of one-dimensional formal modules and their cohomology

abstract: We study the geometry and cohomology of the (generic fibres) of formal deformation schemes of one-dimensional formal modules of finite height. By the work of Boyer (in mixed characterististic) and Harris and Taylor, the l-adic etale cohomology of these spaces realizes simultaneously the local Langlands and Jacquet-Langlands correspondences. The proofs given so far use Drinfeld modular varieties or Shimura varieties to derive this local result. In this paper we show without the use of global moduli spaces that the Jacquet-Langlands correspondence for supercuspidal representations is realized by the Euler-Poincare characteristic of the cohomology. Under a certain finiteness assumption on the cohomology groups, it is shown that the correspondence is realized in only one degree. One main ingredient of the proof consists in analyzing the boundary of the deformation spaces and in studying larger spaces which can be considered as compactifications of the deformation spaces.


title: Doubling measures, monotonicity, and quasiconformality

abstract: We construct quasiconformal mappings in Euclidean spaces by integration of a discontinuous kernel against doubling measures with suitable decay. The differentials of mappings that arise in this way satisfy an isotropic form of the doubling condition. We prove that this isotropic doubling condition is satisfied by the distance functions of certain fractal sets. Finally, we construct an isotropic doubling measure that is not absolutely continuous with respect to the Lebesgue measure.


title: Linking and causality in globally hyperbolic spacetimes

abstract: The linking number $lk$ is defined if link components are zero homologous. Our affine linking invariant $alk$ generalizes $lk$ to the case of linked submanifolds with arbitrary homology classes. We apply $alk$ to the study of causality in Lorentz manifolds. Let $M^m$ be a spacelike Cauchy surface in a globally hyperbolic spacetime $(X^{m+1}, g)$. The spherical cotangent bundle $ST^*M$ is identified with the space $N$ of all null geodesics in $(X,g).$ Hence the set of null geodesics passing through a point $x\in X$ gives an embedded $(m-1)$-sphere $S_x$ in $N=ST^*M$ called the sky of $x.$ Low observed that if the link $(S_x, S_y)$ is nontrivial, then $x,y\in X$ are causally related. This motivated the problem (communicated by Penrose) on the Arnold's 1998 problem list to apply link theory to the study of causality. The spheres $S_x$ are isotopic to fibers of $(ST^*M)^{2m-1}\to M^m.$ They are nonzero homologous and $lk(S_x,S_y)$ is undefined when $M$ is closed, while $alk(S_x, S_y)$ is well defined. Moreover, $alk(S_x, S_y)\in Z$ if $M$ is not an odd-dimensional rational homology sphere. We give a formula for the increment of $\alk$ under passages through Arnold dangerous tangencies. If $(X,g)$ is such that $alk$ takes values in $\Z$ and $g$ is conformal to $g'$ having all the timelike sectional curvatures nonnegative, then $x, y\in X$ are causally related if and only if $alk(S_x,S_y)\neq 0$. We show that $x,y$ in nonrefocussing $(X, g)$ are causally unrelated iff $(S_x, S_y)$ can be deformed to a pair of $S^{m-1}$-fibers of $ST^*M\to M$ by an isotopy through skies. Low showed that if $(\ss, g)$ is refocussing, then $M$ is compact. We show that the universal cover of $M$ is also compact.


title: A priori estimates of smoothness of solutions to difference Bellman equations with linear and quasilinear operators

abstract: A priori estimates for finite-difference approximations for the first and second order derivatives are obtained for solutions of parabolic equations described in the title.


title: Morse Theory for the Space of Higgs Bundles

abstract: Here we prove the necessary analytic results to construct a Morse theory for the Yang-Mills-Higgs functional on the space of Higgs bundles over a compact Riemann surface. The main result is that the gradient flow with initial conditions $(A'', \phi)$ converges to a critical point of this functional, the isomorphism class of which is given by the graded object associated to the Harder-Narasimhan-Seshadri filtration of $(A'', \phi)$. In particular, the results of this paper show that the failure of hyperk\"ahler Kirwan surjectivity for rank 2 fixed determinant Higgs bundles does not occur because of a failure of the existence of a Morse theory.


title: Discrete approximations to reflected Brownian motion

abstract: In this paper we investigate three discrete or semi-discrete approximation schemes for reflected Brownian motion on bounded Euclidean domains. For a class of bounded domains $D$ in $\mathbb{R}^n$ that includes all bounded Lipschitz domains and the von Koch snowflake domain, we show that the laws of both discrete and continuous time simple random walks on $D\cap2^{-k}\mathbb{Z}^n$ moving at the rate $2^{-2k}$ with stationary initial distribution converge weakly in the space $\mathbf{D}([0,1],\mathbb{R}^n)$, equipped with the Skorokhod topology, to the law of the stationary reflected Brownian motion on $D$. We further show that the following ``myopic conditioning'' algorithm generates, in the limit, a reflected Brownian motion on any bounded domain $D$. For every integer $k\geq1$, let $\{X^k_{j2^{-k}},j=0,1,2,...\}$ be a discrete time Markov chain with one-step transition probabilities being the same as those for the Brownian motion in $D$ conditioned not to exit $D$ before time $2^{-k}$. We prove that the laws of $X^k$ converge to that of the reflected Brownian motion on $D$. These approximation schemes give not only new ways of constructing reflected Brownian motion but also implementable algorithms to simulate reflected Brownian motion.


title: The fundamental groupoid scheme and applications

abstract: We define a linear structure on Grothendieck's arithmetic fundamental group $\pi_1(X, x)$ of a scheme $X$ defined over a field $k$ of characteristic 0. It allows us to link the existence of sections of the Galois group ${\rm Gal}(\bar k/k)$ to $\pi_1(X, x)$ with the existence of a neutral fiber functor on the category which linearizes it. When applied to Grothendieck section conjecture, it allows us to find a $k$-structure on the universal covering, and $k$-rational pro-points at finite and infinite distance which lift given $k$-rational points. Changes as compared to the first version: (some) typos corrected, english impoved (?), (2.6) better explained, Thm 3.2, 3) made more precise, correspondingly Cor. 4.6 made more precise as well. It equates conjugacy classes of sections with neutral fiber functors. Finally Thm 5.1 establishes a bijection between rational points and neutral fiber functors under the assumption that Grothendieck's conjecture is true.


title: SLE(6) and CLE(6) from Critical Percolation

abstract: We review some of the recent progress on the scaling limit of two-dimensional critical percolation; in particular, the convergence of the exploration path to chordal SLE(6) and the "full" scaling limit of cluster interface loops. The results given here on the full scaling limit and its conformal invariance extend those presented previously. For site percolation on the triangular lattice, the results are fully rigorous. We explain some of the main ideas, skipping most technical details.

categories: math.PR cond-mat.stat-mech math-ph math.MP


title: Minimax estimation of the Wigner function in quantum homodyne tomography with ideal detectors

abstract: We estimate the quantum state of a light beam from results of quantum homodyne measurements performed on identically prepared pulses. The state is represented through the Wigner function, a ``quasi-probability density'' on $\mathbb{R}^{2}$ which may take negative values and must respect intrinsic positivity constraints imposed by quantum physics. The data consists of $n$ i.i.d. observations from a probability density equal to the Radon transform of the Wigner function. We construct an estimator for the Wigner function, and prove that it is minimax efficient for the pointwise risk over a class of infinitely differentiable functions. A similar result was previously derived by Cavalier in the context of positron emission tomography. Our work extends this result to the space of smooth Wigner functions, which is the relevant parameter space for quantum homodyne tomography.


title: Triangle inequalities in path metric spaces

abstract: We study side-lengths of triangles in path metric spaces. We prove that unless such a space X is bounded, or quasi-isometric to line or half-line, every triple of real numbers satisfying the strict triangle inequalities, is realized by the side-lengths of a triangle in X. We construct an example of a complete path metric space quasi-isometric to the Euclidean plane, for which every degenerate triangle has one side which is shorter than a certain uniform constant.


title: Properties of the Michaelis-Menten Mechanism in Phase Space

abstract: We study the two-dimensional reduction of the Michaelis-Menten reaction of enzyme kinetics. First, we prove the existence and uniqueness of a slow manifold between the horizontal and vertical isoclines. Second, we determine the concavity of all solutions in the first quadrant. Third, we establish the asymptotic behaviour of all solutions near the origin, which generally is not given by a Taylor series. Finally, we determine the asymptotic behaviour of the slow manifold at infinity.


title: Twisted modules for vertex operator algebras

abstract: This contribution is mainly based on joint papers with Lepowsky and Milas, and some parts of these papers are reproduced here. These papers further extended works by Lepowsky and by Milas. Following our joint papers, I explain the general principles of twisted modules for vertex operator algebras in their powerful formulation using formal series, and derive general relations satisfied by twisted and untwisted vertex operators. Using these, I prove new "equivalence" and "construction" theorems, identifying a set of sufficient conditions in order to have a twisted module for a vertex operator algebra, and a simple way of constructing the twisted vertex operator map. This essentially combines our general relations for twisted modules with ideas of Li (1996), who had obtained similar construction theorems using different relations. Then, I show how to apply these theorems in order to construct twisted modules for the Heisenberg vertex operator algebra. I obtain in a new way the explicit twisted vertex operator map, and in particular give a new derivation and expression for the formal operator $\Delta_x$ constructed some time ago by Frenkel, Lepowsky and Meurman. Finally, I reproduce parts of our joint papers. The untwisted relations in the Heisenberg vertex operator algebra are employed to explain properties of a certain central extension of a Lie algebra of differential operators on the circle, in relation to the Riemann Zeta function at negative integers. A family of representations for this algebra are constructed from twisted modules for the vertex operator algebra, and are related to the Bernoulli polynomials at rational values.


title: Geometrically connected components of Lubin-Tate deformation spaces with level structures

abstract: Let M_m be the generic fibre of the formal deformation space of a one-dimensional formal module X of finite height together with level-m-structures. We show that it is defined over the mth Lubin-Tate extension of the ground field and that it is geometrically connected over this field. The action of the covering group of M_m over M_0 on the set of geomtrically connected components is calculated as well as the action of the action of the automorphism group of X.


title: On complete system of invariants for the binary form of degree 7

abstract: A minimal system of homogeneous generating elements of the invariants algebra for the binary form of degree 7 is calculated.


title: Boundary singularities of positive solutions of some nonlinear elliptic equations

abstract: We study the behaviour near a boundary point a of any positive solution of a nonlinear elliptic equations with forcing term which vanishes on the boundary except at a. Our results are based upon a priori estimates for solutions and existence or non existence and uniqueness results for solutions of some nonlinear elliptic equations on the half unit sphere.


title: Construction of Exotic Smooth Structures

abstract: In this article, we construct infinitley many simply connected, nonsymplectic and pairwise nondiffeomorphic 4-manifolds starting from E(n) and applying the sequence of knot surgery, ordinary blowups and rational blowdown. We also compute the Seiberg-Witten invariants of these manifolds.


title: Generic linear systems for projective CR manifolds

abstract: For compact CR manifolds of hypersurface type which embed in complex projective space, we show that for all k large enough there exist linear systems of ${\mathcal{O}}(k)$ which when restricted to the CR manifold are generic in a suitable sense. These systems are constructed using approximately holomorphic geometry.


title: Hitchin's connection, Toeplitz operators and symmetry invariant deformation quantization

abstract: We establish that Hitchin's connection exist for any rigid holomorphic family of Kahler structures on any compact pre-quantizable symplectic manifold which satisfies certain simple topological constraints. Using Toeplitz operators we prove that Hitchin's connection induces a unique formal connection on smooth functions on the symplectic manifold. Parallel transport of this formal connection produces equivalences between the corresponding Berezin-Toeplitz deformation quantizations. - In the cases where the Hitchin connection is projectively flat, the formal connections will be flat and we get a symmetry-invariant formal quantization. If a certain cohomological condition is satisfied a global trivialization of this algebra bundle is constructed. As a corollary we get a symmetry-invariant deformation quantization. Finally, these results are applied to the moduli space situation in which Hitchin's originally constructed his connection. First we get a proof that the Hitchin connection in this case is the same as the connection constructed by Axelrod, Della Pietra and Witten. Second we obtain in this way a mapping class group invariant formal quantization of the smooth symplectic leaves of the moduli space of flat SU(n)-connections on any compact surface.


title: Some Estimates for Planar Random Walk and Brownian Motion

abstract: The purpose of this note is to collect in one place a few results about simple random walk and Brownian motion which are often useful. These include standard results such as Beurling estimates, large deviation estimates, and a method for coupling the two processes, as well as solutions to the discrete Dirichlet problem in various domains which, to the author's knowledge, have not been published anywhere. The main focus is on the two-dimensional processes.


title: Construction of New Symplectic Cohomology S^2xS^2

abstract: In this article, we present new symplectic 4-manifolds with same integral cohomology as $S^{2}\times S^{2}$. The generalization of this construction is given as well, an infinite family of symplectic 4-manifolds cohomology equivalent to $#_{(2g-1)}{(S^{2}\times S^{2})}$ for any $g\geq 2$. We also compute the Seiberg-Witten invariants of these manifolds.


title: Birational geometry and deformations of nilpotent orbits

abstract: This is a continuation of math.AG/0408274, where we have described the relative movable cone for a Springer resolution of the closure of a nilpotent orbit in a complex simple Lie algebra. But, in general, the movable cone does not coincide with the whole space of numerical classes of divisors on the Springer resolution. The purpose of this paper is, to describe the remainder. We shall first construct a deformation of the nilpotent orbit closure in a canonical manner according to Brieskorn and Slodowy, and next describe all its crepant simultaneous resolutions. This construction enables us to divide the whole space into a finite number of chambers. Moreover, by using this construction, one can generalize the main result of math.AG/0408274 to arbitrary Richardson orbits whose Springer maps have degree > 1. New Mukai flops, different from those of type A,D,E_6, will appear in the birational geometry for such orbits.


title: Probability distribution of distances between local extrema of random number series

abstract: There is a sequence of random numbers x1,x2, ..., xn and so on. Numbers are independent of each other, but all numbers are from the same continuous distribution. If x1 < x2 > x3, then x2 is a local maximum. Here, we show that the probability mass function (PMF) of idstribution of distances between local maxima is non-parametric and the same for any probability distribution of random numbers in the sequence, and that the average distance is exactly 3. We present a method of computation of this PMF and its table for distances betwen 2 and 29. This PMF is confirmed to match distance distributions of sample random number sequences, which were created by pseudo-random number generators or obtained from "true" random number sources.


title: Lords of the iteration

abstract: We introduce several properties of forcing notions which imply that their lambda-support iterations are lambda-proper. Our methods and techniques refine those studied in math.LO/9906024, math.LO/0210205, math.LO/0508272 and math.LO/0605067, covering some new forcing notions (though the exact relation of the new properties to the old ones remains undecided).


title: Matchings and entropies of cylinders

abstract: The enumeration of perfect matchings of graphs is equivalent to the dimer problem which has applications in statistical physics. A graph $G$ is said to be $n$-rotation symmetric if the cyclic group of order $n$ is a subgroup of the automorphism group of $G$. Jockusch (Perfect matchings and perfect squares, J. Combin. Theory Ser. A, 67(1994), 100-115) and Kuperberg (An exploration of the permanent-determinant method, Electron. J. Combin., 5(1998), #46) proved independently that if $G$ is a plane bipartite graph of order $N$ with $2n$-rotation symmetry, then the number of perfect matchings of $G$ can be expressed as the product of $n$ determinants of order $N/2n$. In this paper we give this result a new presentation. We use this result to compute the entropy of a bulk plane bipartite lattice with $2n$-notation symmetry. We obtain explicit expressions for the numbers of perfect matchings and entropies for two types of cylinders. Using the results on the entropy of the torus obtained by Kenyon, Okounkov, and Sheffield (Dimers and amoebae, Ann. Math. 163(2006), 1019--1056) and by Salinas and Nagle (Theory of the phase transition in the layered hydrogen-bonded $SnCl^2\cdot 2H_2O$ crystal, Phys. Rev. B, 9(1974), 4920--4931), we show that each of the cylinders considered and its corresponding torus have the same entropy. Finally, we pose some problems.


title: Ranking the best instances

abstract: We formulate the local ranking problem in the framework of bipartite ranking where the goal is to focus on the best instances. We propose a methodology based on the construction of real-valued scoring functions. We study empirical risk minimization of dedicated statistics which involve empirical quantiles of the scores. We first state the problem of finding the best instances which can be cast as a classification problem with mass constraint. Next, we develop special performance measures for the local ranking problem which extend the Area Under an ROC Curve (AUC/AROC) criterion and describe the optimal elements of these new criteria. We also highlight the fact that the goal of ranking the best instances cannot be achieved in a stage-wise manner where first, the best instances would be tentatively identified and then a standard AUC criterion could be applied. Eventually, we state preliminary statistical results for the local ranking problem.


title: Asymptotic behavior of a nonisothermal viscous Cahn-Hilliard equation with inertial term

abstract: We consider a differential model describing nonisothermal fast phase separation processes taking place in a three-dimensional bounded domain. This model consists of a viscous Cahn-Hilliard equation characterized by the presence of an inertial term $\chi_{tt}$, $\chi$ being the order parameter, which is linearly coupled with an evolution equation for the (relative) temperature $\teta$. The latter can be of hyperbolic type if the Cattaneo-Maxwell heat conduction law is assumed. The state variables and the chemical potential are subject to the homogeneous Neumann boundary conditions. We first provide conditions which ensure the well-posedness of the initial and boundary value problem. Then, we prove that the corresponding dynamical system is dissipative and possesses a global attractor. Moreover, assuming that the nonlinear potential is real analytic, we establish that each trajectory converges to a single steady state by using a suitable version of the Lojasiewicz-Simon inequality. We also obtain an estimate of the decay rate to equilibrium.


title: On the Belyi degree of a number field

abstract: In this short note we introduce the Belyi degree of a number field K, which is the smallest degree of a dessin d'enfant having K as field of moduli. After the description of some general properties (for example, the fact that there exist finitely many number fields of bounded Belyi degree), we give a lower and an upper bound for such an invariant. We finally give some explicit examples for quadratic fields.


title: Generalized logarithmic derivatives for K_n

abstract: We construct (generalized) logarithmic derivatives for general n-dimensional local fields K of mixed characteristics (0,p) in which p is not necessarily a prime element with residue field k such that [k:k^p]=p^{n-1}. For the construction of the logarithmic derivative map, we define n-dimensional rings of overconvergent series and show that - as in the 1-dimensional case - they can be interpreted as functions converging on some annulus of the open unit p-adic disc. Using the generalized logarithmic derivative, we give a new construction of Kato's n-dimensional dual exponential map.


title: The minimal resolution conjecture for points on the cubic surface

abstract: In this paper we prove that the generalized version of the Minimal Resolution Conjecture stated by Mustata holds for certain general sets of points on a smooth cubic surface $X \subset \mathbb{P}^3$. The main tool used is Gorenstein liaison theory and, more precisely, the relationship between the free resolutions of two linked schemes.


title: Spectral sequence associated with a symplectic manifold

abstract: A method of computation of its terms is presented together with some stabilization results. As an application a characterization of symplectic harmonic manifolds is given and a relationship with the C-spectral sequence is indicated.


title: Lagrangian 3-torus fibrations

abstract: We give a method to construct singular Lagrangian 3-torus fibrations over certain a priori given integral affine manifolds with singularities, which we call simple. The main result of this article is the proof that the topological Calabi-Yau compactifications of M. Gross' "Topological Mirror Symmetry", can be made into symplectic compactifications. As an example, we obtain a pair of compact symplectic 6-manifolds together with Lagrangian fibrations whose underlying affine structures are dual. The symplectic manifolds obtained are homeomorphic to a smooth quintic Calabi-Yau 3-fold and its mirror.


title: Nonexistence of random gradient Gibbs measures in continuous interface models in $d=2$

abstract: We consider statistical mechanics models of continuous spins in a disordered environment. These models have a natural interpretation as effective interface models. It is well known that without disorder there are no interface Gibbs measures in infinite volume in dimension $d=2$, while there are ``gradient Gibbs measures'' describing an infinite-volume distribution for the increments of the field, as was shown by Funaki and Spohn. In the present paper we show that adding a disorder term prohibits the existence of such gradient Gibbs measures for general interaction potentials in $d=2$. This nonexistence result generalizes the simple case of Gaussian fields where it follows from an explicit computation. In $d=3$ where random gradient Gibbs measures are expected to exist, our method provides a lower bound of the order of the inverse of the distance on the decay of correlations of Gibbs expectations w.r.t. the distribution of the random environment.


title: Phase transitions for the long-time behavior of interacting diffusions

abstract: Let $(\{X_i(t)\}_{i\in \mathbb{Z}^d})_{t\geq 0}$ be the system of interacting diffusions on $[0,\infty)$ defined by the following collection of coupled stochastic differential equations: \begin{eqnarray}dX_i(t)=\sum\limits_{j\in \mathbb{Z}^d}a(i,j)[X_j(t)-X_i(t)] dt+\sqrt{bX_i(t)^2} dW_i(t), \eqntext{i\in \mathbb{Z}^d,t\geq 0.}\end{eqnarray} Here, $a(\cdot,\cdot)$ is an irreducible random walk transition kernel on $\mathbb{Z}^d\times \mathbb{Z}^d$, $b\in (0,\infty)$ is a diffusion parameter, and $(\{W_i(t)\}_{i\in \mathbb{Z}^d})_{t\geq 0}$ is a collection of independent standard Brownian motions on $\mathbb{R}$. The initial condition is chosen such that $\{X_i(0)\}_{i\in \mathbb{Z}^d}$ is a shift-invariant and shift-ergodic random field on $[0,\infty)$ with mean $\Theta\in (0,\infty)$ (the evolution preserves the mean). We show that the long-time behavior of this system is the result of a delicate interplay between $a(\cdot,\cdot)$ and $b$, in contrast to systems where the diffusion function is subquadratic. In particular, let $\hat{a}(i,j)={1/2}[a(i,j)+a(j,i)]$, $i,j\in \mathbb{Z}^d$, denote the symmetrized transition kernel. We show that: (A) If $\hat{a}(\cdot,\cdot)$ is recurrent, then for any $b>0$ the system locally dies out. (B) If $\hat{a}(\cdot,\cdot)$ is transient, then there exist $b_*\geq b_2>0$ such that: (B1)d The system converges to an equilibrium $\nu_{\Theta}$ (with mean $\Theta$) if $0<b<b_*$. (B2) The system locally dies out if $b>b_*$. (B3) $\nu_{\Theta}$ has a finite 2nd moment if and only if $0<b<b_2$. (B4) The 2nd moment diverges exponentially fast if and only if $b>b_2$. The equilibrium $\nu_{\Theta}$ is shown to be associated and mixing for all $0<b<b_*$. We argue in favor of the conjecture that $b_*>b_2$. We further conjecture that the system locally dies out at $b=b_*$. For the case where $a(\cdot,\cdot)$ is symmetric and transient we further show that: (C) There exists a sequence $b_2\geq b_3\geq b_4\geq ... >0$ such that: (C1) $\nu_{\Theta}$ has a finite $m$th moment if and only if $0<b<b_m$. (C2) The $m$th moment diverges exponentially fast if and only if $b>b_m$. (C3) $b_2\leq (m-1)b_m<2$. uad(C4) $\lim_{m\to\infty}(m-1)b_m=c=\sup_{m\geq 2}(m-1)b_m$. The proof of these results is based on self-duality and on a representation formula through which the moments of the components are related to exponential moments of the collision local time of random walks. Via large deviation theory, the latter lead to variational expressions for $b_*$ and the $b_m$'s, from which sharp bounds are deduced. The critical value $b_*$ arises from a stochastic representation of the Palm distribution of the system. The special case where $a(\cdot,\cdot)$ is simple random walk is commonly referred to as the parabolic Anderson model with Brownian noise. This case was studied in the memoir by Carmona and Molchanov [Parabolic Anderson Problem and Intermittency (1994) Amer. Math. Soc., Providence, RI], where part of our results were already established.


title: Geometry of planar quadratic systems

abstract: In this paper, the global qualitative analysis of planar quadratic dynamical systems is established and a new geometric approach to solving Hilbert's Sixteenth Problem in this special case of polynomial systems is suggested. Using geometric properties of four field rotation parameters of a new canonical system which is constructed in this paper, we present a proof of our earlier conjecture that the maximum number of limit cycles in a quadratic system is equal to four and the only possible their distribution is (3:1). Besides, applying the Wintner-Perko termination principle for multiple limit cycles to our canonical system, we prove in a different way that a quadratic system has at most three limit cycles around a singular point (focus) and give another proof of the same conjecture.


title: Li\'{e}nard's system and Smale's problem

abstract: In this paper, using geometric properties of the field rotation parameters, we present a solution of Smale's Thirteenth Problem on the maximum number of limit cycles for Li\'{e}nard's polynomial system. We also generalize the obtained result and present a solution of Hilbert's Sixteenth Problem on the maximum number of limit cycles surrounding a singular point for an arbitrary polynomial system. Besides, we consider a generalized Li\'{e}nard's cubic system with three finite singularities, for which the developed geometric approach can complete its global qualitative analysis: in particular, it easily solves the problem on the maximum number of limit cycles in their different distribution. We give also an alternative proof of the main theorem for the generalized Li\'{e}nard's system applying the Wintner-Perko termination principle for multiple limit cycles and discuss some other results concerning this system.


title: Counting planar random walk holes

abstract: We study two variants of the notion of holes formed by planar simple random walk of time duration $2n$ and the areas associated with them. We prove in both cases that the number of holes of area greater than $A(n)$, where $\{A(n)\}$ is an increasing sequence, is, up to a logarithmic correction term, asymptotic to $n\cdot A(n)^{-1}$ for a range of large holes, thus confirming an observation by Mandelbrot. A consequence is that the largest hole has an area which is logarithmically asymptotic to $n$. We also discuss the different exponent of 5/3 observed by Mandelbrot for small holes.


title: Localized polynomial frames on the ball

abstract: Almost exponentially localized polynomial kernels are constructed on the unit ball $B^d$ in $\RR^d$ with weights %functions $W_\mu(x)= (1-|x|^2)^{\mu-1/2}$, $\mu \ge 0$, by smoothing out the coefficients of the corresponding orthogonal projectors. These kernels are utilized to the design of cubature formulae on $B^d$ with respect to $W_\mu(x)$ and to the construction of polynomial tight frames in $L^2(B^d, W_\mu)$ (called needlets) whose elements have nearly exponential localization.


title: Computation of Maass Waveforms with Non-trivial Multiplier Systems

abstract: The aim of this paper is to describe efficient algorithms for computing Maass waveforms on subgroups of the modular group PSL(2,Z) with general multiplier systems and real weight. A selection of numerical results obtained with these algorithms is also presented. Certain operators acting on the spaces of interest are also discussed. The specific phenomena that were investigated include the Shimura correspondence for Maass waveforms and the behavior of the weight-k Laplace spectra for the modular surface as the weight approaches 0.


title: The solenoid and holomorphic motions for Henon maps

abstract: The McMullen-Sullivan holomorphic motion for topologically conjugate, complex polynomials with connected Julia set follows level sets of the Bottcher coordinate. The Buzzard-Verma holomorphic motion for hyperbolic, unstably connected, polynomial diffeomorphisms of C^2 follows level sets of the Bedford-Smillie solenoid map. It follows that this solenoid map is a conjugacy for those Henon maps that are perturbations of (one-dimensional) hyperbolic maps with connected Julia set.


title: Hecke Operators for Maass Waveforms on PSL(2,Z) with Integer Weight and Eta Multiplier

abstract: We construct Hecke operators acting on Maass waveforms of integer non-zero weight and transforming according to a non-trivial multiplier system on the modular group. Using these Hecke operators we obtain multiplicativity relations for the Fourier coefficients of such Maass waveforms. These relations generalize the usual weight zero relations. We also obtain an unexpected relation between coefficients with positive and negative indices with a constant of proportionality involving the Laplace eigenvalue. Numerical examples of multiplicativity relations are given at the end of the paper.


title: A function on the homology of 3-manifolds

abstract: In analogy with the Thurston norm, we define for an orientable 3-manifold $M$ a numerical function on $H_2(M;Q/Z)$. This function measures the minimal complexity of folded surfaces representing a given homology class. A similar function is defined on the torsion subgroup of $H_1(M)$. These functions are estimated from below in terms of abelian torsions of $M$.


title: On the indices of curves over local fields

abstract: Fix a non-negative integer g and a positive integer I dividing 2g-2. For any Henselian, discretely valued field K whose residue field is perfect and admits a degree I cyclic extension, we construct a curve C over K of genus g and index I. We can in fact give a complete description of the finite extensions L/K such that C has an L-rational point. Applications are discussed to the corresponding problem over number fields. S. Sharif, in his 2006 Berkeley thesis, has independently obtained similar (but not identical) results. Our proof, however, is different: via deformation theory, we reduce to the problem of finding suitable actions of cyclic groups on finite graphs.


title: A Clean Approach to Rational Cubic Residues

abstract: In 1958 E. Lehmer found an explicit description of those primes p for which a given prime q is a cubic residue. In this paper we demonstrate that a similar result may be obtained for cubic nonresidues, yielding a cubic character for fixed p that provides an effective means for ascertaining whether or not an arbitrary integer c is a cubic residue modulo p. As an illustration of this technique, we determine whether 1982 is a cubic residue modulo the 131-digit prime p=(3^19+5^82)/4, a question which is essentially impossible to answer with Lehmer's original criterion.


title: KdV Preserves White Noise

abstract: It is shown that white noise is an invariant measure for the Korteweg-deVries equation on $\mathbb T$. This is a consequence of recent results of Kappeler and Topalov establishing the well-posedness of the equation on appropriate negative Sobolev spaces, together with a result of Cambronero and McKean that white noise is the image under the Miura transform (Ricatti map) of the (weighted) Gibbs measure for the modified KdV equation, proven to be invariant for that equation by Bourgain.


title: Decay of correlations for slowly mixing flows

abstract: We show that polynomial decay of correlations is prevalent for a class of nonuniformly hyperbolic flows. These flows are the continuous time analogue of a class of nonuniformly hyperbolic diffeomorphisms for which Young proved polynomial decay of correlations. Roughly speaking, in situations where the decay rate $O(1/n^{\beta})$ has previously been proved for diffeomorphisms, we establish the decay rate $O(1/t^\beta)$ for typical flows. Applications include certain classes of semidispersing billiards, as well as dispersing billiards with vanishing curvature. In addition, we obtain results for suspension flows with unbounded roof functions. This includes the planar periodic Lorentz flow with infinite horizon.


title: An operadic approach to deformation quantization of compatible Poisson brackets

abstract: We construct an analogue of the Livernet--Loday operad for two compatible brackets. The Livernet--Loday operad can be used to define $\star$-products and deformation quantization for Poisson structures. We make use of our operad in the same way, introducing a definition of (operadic) deformation quantization of compatible Poisson structures.


title: Loop-erased random walk on finite graphs and the Rayleigh process

abstract: Let $(G_n)_{n=1}^{\infty}$ be a sequence of finite graphs, and let Y_t be the length of a loop-erased random walk on G_n after t steps. We show that for a large family of sequences of finite graphs, which includes the case in which G_n is the d-dimensional torus of size-length n for $d \geq 4$, the process $(Y_t)_{t=0}^{\infty}$, suitably normalized, converges to the Rayleigh process introduced by Evans, Pitman, and Winter. Our proof relies heavily on ideas of Peres and Revelle, who used loop-erased random walks to show that the uniform spanning tree on large finite graphs converges to the Brownian continuum random tree of Aldous.


title: Minimal Finite Models

abstract: We characterize the smallest finite spaces with the same homotopy groups of the spheres. Similarly, we describe the minimal finite models of any finite graph. We also develop new combinatorial techniques based on finite spaces to study classical invariants of general topological spaces.


title: Rational blow-downs and smoothings of surface singularities

abstract: In this paper we give a necessary combinatorial condition for a negative--definite plumbing tree to be suitable for rational blow--down, or to be the graph of a complex surface singularity which admits a rational homology disk smoothing. New examples of surface singularities with rational homology disk smoothings are also presented; these include singularities with resolution graph having valency four nodes.


title: Simple Homotopy Types and Finite Spaces

abstract: We present a new approach to simple homotopy theory of polyhedra using finite topological spaces. We define the concept of collapse of a finite space and prove that this new notion corresponds exactly to the concept of a simplicial collapse. More precisely, we show that a collapse of finite spaces induces a simplicial collapse of their associated simplicial complexes. Moreover, a simplicial collapse induces a collapse of the associated finite spaces. This establishes a one-to-one correspondence between simple homotopy types of finite simplicial complexes and simple equivalence classes of finite spaces. We also prove a similar result for maps: We give a complete characterization of the class of maps between finite spaces which induce simple homotopy equivalences between the associated polyhedra. Furthermore, this class describes all maps coming from simple homotopy equivalences at the level of complexes. The advantage of this theory is that the elementary move of finite spaces is much simpler than the elementary move of simplicial complexes: It consists of removing (or adding) just a single point of the space.


title: The Mahler Measure of Parametrizable Polynomials

abstract: Our aim is to explain instances in which the value of the logarithmic Mahler measure of a polynomial can be written in an unexpectedly neat manner. To this end we examine polynomials defining rational curves, which allows their zero-locus to be parametrized. In these instances the unusual simplification is a consequence of the Galois descent property for Bloch groups. This principle enables one to explain why the arguments of the dilogarithm function depend only on the points where the rational curve intersects the torus |x|=|y|=1. In the process we also present a general method for computing the Mahler measure of any parametrizable polynomial.


title: On the best constants in noncommutative Khintchine-type inequalities

abstract: We obtain new proofs with improved constants of the Khintchine-type inequality with matrix coefficients in two cases. The first case is the Pisier and Lust-Piquard noncommutative Khintchine inequality for $p=1$, where we obtain the sharp lower bound of $\frac1{\sqrt{2}}$ in the complex Gaussian case and for the sequence of functions $\{e^{i2^nt}\}_{n=1}^\infty$ . The second case is Junge's recent Khintchine-type inequality for subspaces of the operator space $R\oplus C$, which he used to construct a cb-embedding of the operator Hilbert space $OH$ into the predual of a hyperfinite factor. Also in this case, we obtain a sharp lower bound of $\frac1{\sqrt{2}}$ . As a consequence, it follows that any subspace of a quotient of $(R\oplus C)^*$ is cb-isomorphic to a subspace of the predual of the hyperfinite factor of type $III_1$, with cb-isomorphism constant $\leq \sqrt{2}$ . In particular, the operator Hilbert space $OH$ has this property.


title: Chow group of 0-cycles on surface over a p-adic field with infinite torsion subgroup

abstract: We show an example of Chow group of 0-cycles on surface over a p-adic field which has infinite torsion subgroup.


title: An Extension of the Exponential-type Error Bounds for Multiquadric and Gaussian Interpolations

abstract: In the 1990's exponential-type error bounds appeared in the theory of radial basis functions. This kind of error bounds is very powerful. However it only measures the difference between the approximant and approximand. Mathematicians and engineers often need to know the matching of the derivatives when dealing with partial differential equations. In this paper we extend this kind of error bounds to a form which measures the difference between the derivatives of the approximant and approximand.


title: An inverse source problem for the heat equation and the enclosure method

abstract: An inverse source problem for the heat equation is considered. Extraction formulae for information about the time and location when and where the unknown source of the equation firstly appeared are given from a single lateral boundary measurement. New roles of the plane progressive wave solutions or their complex versions for the backward heat equation are given.


title: Bayesian transformation hazard models

abstract: We propose a class of transformation hazard models for right-censored failure time data. It includes the proportional hazards model (Cox) and the additive hazards model (Lin and Ying) as special cases. Due to the requirement of a nonnegative hazard function, multidimensional parameter constraints must be imposed in the model formulation. In the Bayesian paradigm, the nonlinear parameter constraint introduces many new computational challenges. We propose a prior through a conditional-marginal specification, in which the conditional distribution is univariate, and absorbs all of the nonlinear parameter constraints. The marginal part of the prior specification is free of any constraints. This class of prior distributions allows us to easily compute the full conditionals needed for Gibbs sampling, and hence implement the Markov chain Monte Carlo algorithm in a relatively straightforward fashion. Model comparison is based on the conditional predictive ordinate and the deviance information criterion. This new class of models is illustrated with a simulation study and a real dataset from a melanoma clinical trial.


title: Existence theorem and blow-up criterion of strong solutions to the two-fluid MHD equation in ${\mathbb R}^3$

abstract: We first give the local well-posedness of strong solutions to the Cauchy problem of the 3D two-fluid MHD equations, then study the blow-up criterion of the strong solutions. By means of the Fourier frequency localization and Bony's paraproduct decomposition, it is proved that strong solution $(u,b)$ can be extended after $t=T$ if either $u\in L^q_T(\dot B^{0}_{p,\infty})$ with $\frac{2}{q}+\frac{3}{p}\le 1$ and $b\in L^1_T(\dot B^{0}_{\infty,\infty})$, or $(\omega, J)\in L^q_T(\dot B^{0}_{p,\infty})$ with $\frac{2}{q}+\frac{3}{p}\le 2$, where $\omega(t)=\na\times u $ denotes the vorticity of the velocity and $J=\na\times b$ the current density.