title: Stein domains and branched shadows of 4-manifolds

abstract: We provide sufficient conditions assuring that a suitably decorated 2-polyhedron can be thickened to a compact 4-dimensional Stein domain. We also study a class of flat polyhedra in 4-manifolds and find conditions assuring that they admit Stein, compact neighborhoods. We base our calculations on Turaev's shadows suitably "smoothed"; the conditions we find are purely algebraic and combinatorial. Applying our results, we provide examples of hyperbolic 3-manifolds admitting "many" positive and negative Stein fillable contact structures, and prove a 4-dimensional analogue of Oertel's result on incompressibility of surfaces carried by branched polyhedra.


title: Sur la r\'eduction des repr\'esentations cristallines de dimension 2 en poids moyens

abstract: We compute the reduction modulo $p$ of 2-dimensional crystalline representations whose Hodge-Tate weights are 0 and $k-1$ with $k \in \{p+2,...,2p-1\}$.


title: Two constructions with parabolic geometries

abstract: This is an expanded version of a series of lectures delivered at the 25th Winter School ``Geometry and Physics'' in Srni. After a short introduction to Cartan geometries and parabolic geometries, we give a detailed description of the equivalence between parabolic geometries and underlying geometric structures. The second part of the paper is devoted to constructions which relate parabolic geometries of different type. First we discuss the construction of correspondence spaces and twistor spaces, which is related to nested parabolic subgroups in the same semisimple Lie group. An example related to twistor theory for Grassmannian structures and the geometry of second order ODE's is discussed in detail. In the last part, we discuss analogs of the Fefferman construction, which relate geometries corresponding different semisimple Lie groups.


title: The numbers of tropical plane curves through points in general position

abstract: We show that the number of tropical curves of given genus and degree through some given general points in the plane does not depend on the position of the points. In the case when the degree of the curves contains only primitive integral vectors this statement has been known for a while now, but the only known proof was indirect with the help of Mikhalkin's Correspondence Theorem that translates this question into the well-known fact that the numbers of complex curves in a toric surface through some given points do not depend on the position of the points. This paper presents a direct proof entirely within tropical geometry that is in addition applicable to arbitrary degree of the curves.


title: The compact support property for measure-valued processes

abstract: The purpose of this article is to give a rather thorough understanding of the compact support property for measure-valued processes corresponding to semi-linear equations of the form \[ \begin{aligned}& u_t=Lu+\beta u-\alpha u^p \text{in} R^d\times (0,\infty), p\in(1,2]; &u(x,0)=f(x) \text{in} R^d; &u(x,t)\ge0 \text{in} R^d\times[0,\infty). \end{aligned} \] In particular, we shall investigate how the interplay between the underlying motion (the diffusion process corresponding to $L$) and the branching affects the compact support property. In \cite{EP99}, the compact support property was shown to be equivalent to a certain analytic criterion concerning uniqueness of the Cauchy problem for the semi-linear parabolic equation related to the measured valued process. In a subsequent paper \cite{EP03}, this analytic property was investigated purely from the point of view of partial differential equations. Some of the results obtained in this latter paper yield interesting results concerning the compact support property. In this paper, the results from \cite{EP03} that are relevant to the compact support property are presented, sometimes with extensions. These results are interwoven with new results and some informal heuristics. Taken together, they yield a rather comprehensive picture of the compact support property. \it Inter alia\rm, we show that the concept of a measure-valued process \it hitting\rm a point can be investigated via the compact support property, and suggest an alternate proof of a result concerning the hitting of points by super-Brownian motion.


title: The Caporaso-Harris formula and plane relative Gromov-Witten invariants in tropical geometry

abstract: Some years ago Caporaso and Harris have found a nice way to compute the numbers N(d,g) of complex plane curves of degree d and genus g through 3d+g-1 general points with the help of relative Gromov-Witten invariants. Recently, Mikhalkin has found a way to reinterpret the numbers N(d,g) in terms of tropical geometry and to compute them by counting certain lattice paths in integral polytopes. We relate these two results by defining an analogue of the relative Gromov-Witten invariants and rederiving the Caporaso-Harris formula in terms of both tropical geometry and lattice paths.


title: Level sets of functions and symmetry sets of smooth surface sections

abstract: We prove that the level sets of a real C^s function of two variables near a non-degenerate critical point are of class C^[s/2] and apply this to the study of planar sections of surfaces close to the singular section by the tangent plane at hyperbolic points or elliptic points, and in particular at umbilic points. We also analyse the cases coming from degenerate critical points, corresponding to elliptic cusps of Gauss on a surface, where the differentiability is now reduced to C^[s/4]. However in all our applications to symmetry sets of families of plane curves, we assume the C^infty smoothness.


title: A non-MRA $C^r$ frame wavelet with rapid decay

abstract: A generalized filter construction is used to build an example of a non-MRA normalized tight frame wavelet for dilation by 2 in $L^2(\mathbb R)$. This example has the same multiplicity function as the Journ\'e wavelet, yet has a $C^{\infty}$ Fourier transform and can be made to be $C^r$ for any fixed positive integer $r$.


title: Deformed Harish-Chandra homomorphism for the cyclic quiver

abstract: In the case of cyclic quiver we prove that the deformed Harish-Chandra map whose existence was conjectured by Etingof and Ginzburg is well defined. As an application we prove Kirillov-type formula for the cyclotomic Bessel function.


title: Non-formal compact manifolds with small Betti numbers

abstract: We show that, for any $k\geq 1$, there exist non-formal compact orientable $(k-1)$-connected $n$-manifolds with $k$-th Betti number $b_k=b\geq 0$ if and only if $n\geq \max \{4k-1, 4k+3-2b\}$.


title: A proof of hyperbolic van der Waerden conjecture : the right generalization is the ultimate simplification

abstract: Consider a homogeneous polynomial $p(z_1,...,z_n)$ of degree $n$ in $n$ complex variables . Assume that this polynomial satisfies the property : \\ $|p(z_1,...,z_n)| \geq \prod_{1 \leq i \leq n} Re(z_i)$ on the domain $\{(z_1,...,z_n) : Re(z_i) \geq 0, 1 \leq i \leq n \}$ . \\ We prove that $|\frac{\partial^n}{\partial z_1...\partial z_n} p | \geq \frac{n!}{n^n}$ . Our proof is relatively short and self-contained (i.e. we only use basic properties of hyperbolic polynomials). As the van der Waerden conjecture for permanents, proved by D.I. Falikman and G.P. Egorychev, as well Bapat's conjecture for mixed discriminants, proved by the author, are particular cases of this result. We also prove so called "small rank" lower bound (in the permanents context it corresponds to sparse doubly-stochastic matrices, i.e. with small number of non-zero entries in each column). The later lower bound generalizes (with simpler proofs) recent lower bounds by A.Schrijver for the number of perfect matchings of $k$-regular bipartite graphs. We present some important algorithmic applications of the result, including a polynomial time deterministic algorithm approximating the permanent of $n \times n$ nonnegative entry-wise matrices within multiplicative factor $\frac{e^n}{n^m}$ for any fixed positive $m$ .


title: On $N$-differential graded algebras

abstract: We introduce the concept of $N$-differential graded algebras (N-dga), and study the moduli space of deformations of the differential of a N-dga. We prove that it is controlled by what we call the N-Maurer-Cartan equation.


title: Averages over classical compact Lie groups and Weyl characters

abstract: We compute $E_G (\prod_i \tr(g^{\lambda_i}))$, where $G=Sp(2n)$ or $SO(m) (m=2n, 2n+1)$ with Haar measure. This was first obtained by Persi Diaconis and Mehrdad Shahshahani, but our proof is more self-contained and gives a combinatorial description for the answer. We also consider how averages of general symmetric functions $E_G f_n$ are affected when we introduce a Weyl character $\chi^G_\lambda$ into the integrand. We show that the value of $E_G \chi^G_\lambda f_n / E_G f_n$ approaches a constant for large $n$. More surprisingly, the ratio we obtain only changes with $f_n$ and $\lambda$ and is independent of the Cartan type of $G$. Even in the unitary case, Daniel Bump and Persi Diaconis have obtained the same ratio. Finally, those ratios can be combined with asymptotics for $E_G f_n$ due to Kurt Johansson and provide asymptotics for $E_G \chi^G_\lambda f_n$.


title: Meta-Fibonacci Sequences, Binary Trees, and Extremal Compact Codes

abstract: We look at a family of meta-Fibonacci sequences which arise in studying the number of leaves at the largest level in certain infinite sequences of binary trees, restricted compositions of an integer, and binary compact codes. For this family of meta-Fibonacci sequences and two families of related sequences we derive ordinary generating functions and recurrence relations. Included in these families of sequences are several well-known sequences in the Online Encyclopedia of Integer Sequences (OEIS).


title: Algorithmic constructions and primitive elements in the free group of rank 2

abstract: The centrepiece of this paper is a normal form for primitive elements which facilitates the use of induction arguments to prove properties of primitive elements. The normal form arises from an elementary algorithm for constructing a primitive element p in F(x, y) with a given exponent sum pair (X, Y), if such an element p exists. Several results concerning the primitive elements of F(x, y) are recast as applications of the algorithm and the normal form.


title: Moebius-convolutions and the Riemann hypothesis

abstract: The well-known necessary and sufficient criteria for the Riemann hypothesis of M. Riesz and Hardy-Littlewood, based on the order of growth at infinity along the positive real axis of certain entire functions, are here imbedded in a general theorem for a class of entire functions, which in turn is seen to be a consequence of a rather transparent convolution criterion. Some properties of the convolutions involved sharpen what is hitherto known for the Riesz function.


title: Planar open books and Floer homology

abstract: Giroux has described a correspondence between open book decompositions on a 3--manifold and contact structures. In this paper we use Heegaard Floer homology to give restrictions on contact structures which correspond to open book decompositions with planar pages, generalizing a recent result of Etnyre.


title: Knot Floer homology and rational surgeries

abstract: Let $K$ be a rationally null-homologous knot in a three-manifold $Y$. We construct a version of knot Floer homology in this context, including a description of the Floer homology of a three-manifold obtained as Morse surgery on the knot $K$. As an application, we express the Heegaard Floer homology of rational surgeries on $Y$ along a null-homologous knot $K$ in terms of the filtered homotopy type of the knot invariant for $K$. This has applications to Dehn surgery problems for knots in $S^3$. In a different direction, we use the techniques developed here to calculate the Heegaard Floer homology of an arbitrary Seifert fibered three-manifold.


title: Symmetrization procedures for the isoperimetric problem in symmetric spaces of noncompact type

abstract: We establish a new symmetrization procedure for the isoperimetric problem in symmetric spaces of noncompact type. This symmetrization generalizes the well known Steiner symmetrization in euclidean space. In contrast to the classical construction the symmetrized domain is obtained by solving a nonlinear elliptic equation of mean curvature type. We conclude the paper discussing possible applications to the isoperimetric problem in symmetric spaces of noncompact type.


title: Quasi-periodic solutions of completely resonant forced wave equations

abstract: We prove existence of quasi-periodic solutions with two frequencies of completely resonant, periodically forced nonlinear wave equations with periodic spatial boundary conditions. We consider both the cases the forcing frequency is: (Case A) a rational number and (Case B) an irrational number.


title: Indices d'un operateur differentiel matriciel et applications

abstract: In this paper, one determines the formal index and the polynomial index of a matrix linear differential operator P with coefficients in Mn(C[x]) and detAm(x) not identically zero. Then, one applies these results to give a new proof of a Bezivin-Robba theorem equivalent to the Lindemann-Wierstrass theorem, as to find sufficient conditions on the Riccati matrix differential equation Y' = A(x)+B(x)Y +Y C(x)Y with coefficients in Mn(C[x]) so that any meromorphic solution is rational and other sufficient conditions so that the general solution is algebraic.


title: On processes which are infinitely divisible with respect to time

abstract: The aim of this short note is to present the notion of IDT processes, which is a wide generalization of L\'{e}vy processes obtained from a modified infinitely divisible property. Special attention is put on a number of examples, in order to clarify how much the IDT processes either differ from, or resemble to, L\'{e}vy processes.


title: On geometry of linear involutions

abstract: Let $V$ be an $n$-dimensional left vector space over a division ring $R$ and $n\ge 3$. Denote by ${\mathcal G}_{k}$ the Grassmann space of $k$-dimensional subspaces of $V$ and put ${\mathfrak G}_{k}$ for the set of all pairs $(S,U)\in {\mathcal G}_{k}\times {\mathcal G}_{n-k}$ such that $S+U=V$. We study bijective transformations of ${\mathfrak G}_{k}$ preserving the class of base subsets and show that these mappings are induced by semilinear isomorphisms of $V$ to itself or to the dual space $V^{*}$ if $n\ne 2k$; for $n=2k$ this fails. This result can be formulated as the following: if $n\ne 2k$ and the characteristic of $R$ is not equal to 2 then any commutativity preserving transformation of the set of $(k,n-k)$-involutions is extended to an automorphism of the group {\rm GL}(V).


title: On geometry of symplectic involutions

abstract: Let $V$ be a $2n$-dimensional vector space over a field $F$ and $\Omega$ be a non-degenerate symplectic form on $V$. Denote by ${\mathfrak H}_{k}(\Omega)$ the set of all $2k$-dimensional subspaces $U\subset V$ such that the restriction $\Omega|_{U}$ is non-degenerate. Our main result (Theorem 1) says that if $n\ne 2k$ and $\max(k,n-k)\ge 5$ then any bijective transformation of ${\mathfrak H}_{k}(\Omega)$ preserving the class of base subsets is induced by a semi-simplectic automorphism of $V$. For the case when $n\ne 2k$ this fails, but we have a weak version of this result (Theorem 2). If the characteristic of $F$ is not equal to 2 then there is a one-to-one correspondence between elements of ${\mathfrak H}_{k}(\Omega)$ and symplectic $(2k,2n-2k)$-involutions and Theorem 1 can be formulated as follows: for the case when $n\ne 2k$ and $\max(k,n-k)\ge 5$ any commutativity preserving bijective transformation of the set of symplectic $(2k,2n-2k)$-involutions can be extended to an automorphism of the symplectic group.


title: Periods, subconvexity of L-functions and representation theory

abstract: We describe a new method to estimate the trilinear period on automorphic representations of PGL(2,R). Such a period gives rise to a special value of the triple L-function. We prove a bound for the triple period which amounts to a subconvexity bound for the corresponding special value. Our method is based on the study of the analytic structure of the corresponding unique trilinear functional on unitary representations of PGL(2,R).


title: A height estimate for constant mean curvature graphs and uniqueness

abstract: In this paper, we give a height estimate for constant mean curvature graphs. Using this result we prove two results of uniqueness for the Dirichlet problem associated to the constant mean curvature equation on unbounded domains.


title: A sharp result on m-covers

abstract: Let A={a_s+n_sZ}_{s=1}^k be a finite system of arithmetic sequences which forms an m-cover of Z (i.e., every integer belongs at least to m members of A). In this paper we show the following sharp result: For any positive integers m_1,...,m_k and theta in [0,1), if there is a subset I of {1,...,k} such that the fractional part of sum_{s in I}m_s/n_s is theta, then there are at least 2^m such subsets of {1,...,k}. This extends an earlier result of M. Z. Zhang and an extension by Z. W. Sun. Also, we generalize the above result to m-covers of the integral ring of any algebraic number field with a power integral basis.


title: Strong asymptotic freeness for Wigner and Wishart matrices

abstract: We prove that any non commutative polynomial of r independent copies of Wigner matrices converges a.s. towards the polynomial of r free semicircular variables in operator norm. This result extends a previous work of Haagerup and Thorbjornsen where GUE matrices are considered, as well as the classical asymptotic freeness for Wigner matrices (i.e. convergence of the moments) proved by Dykema. We also study the Wishart case.


title: Roots of knotted graphs and orbifolds

abstract: Let G be a graph in a 3-manifold M. We compress the pair (M,G) along admissible 2-spheres as long as possible. What we get is a root of (M,G). Our main result is that for any pair (M,G) the root exists and is unique. As a corollary we get an easy proof of Petronio's theorem on prime decompositions of 3-orbifolds.


title: Right order Turan-type converse Markov inequalities for convex domains on the plane

abstract: For a convex domain $K$ in the complex plane, the well-known general Bernstein-Markov inequality holds asserting that a polynomial $p$ of degree $n$ must have $||p'|| < c(K) n^2 ||p||$. On the other hand for polynomials in general, $||p'||$ can be arbitrarily small as compared to $||p||$. The situation changes when we assume that the polynomials in question have all their zeroes in the convex body $K$. This was first investigated by Tur\'an, who showed the lower bounds $||p'|| \ge (n/2) ||p||$ for the unit disk $D$ and $||p'|| > c \sqrt{n} ||p||$ for the unit interval $I:=[-1,1]$. Although partial results provided general lower estimates of lower order, as well as certain classes of domains with lower bounds of order $n$, it was not clear what order of magnitude the general convex domains may admit here. Here we show that for all compact and convex domains $K$ with nonempty interior and polynomials $p$ with all their zeroes in $K$ $||p'|| > c(K) n ||p||$ holds true, while $||p'|| < C(K) n ||p||$ occurs for any $K$. Actually, we determine $c(K)$ and $C(K)$ within a factor of absolute numerical constant.


title: On Bernstein's presentation of Iwahori-Hecke algebras and representations of split reductive groups over non-Archimedean local fields

abstract: This article gives conceptual statements and proofs relating parabolic induction and Jacquet functors on split reductive groups over a non-Archimedean local field to the associated Iwahori-Hecke algebra as tensoring from and restricting to parabolic subalgebras. The main tool is Bernstein's presentation of the Iwahori-Hecke algebra.


title: On the cusp form motives in genus 1 and level 1

abstract: We prove that the moduli space of stable n-pointed curves of genus one and the projector associated to the alternating representation of the symmetric group on n letters define (for n>1) the Chow motive corresponding to cusp forms of weight n+1 for SL(2,Z). This provides an alternative (in level one) to the construction of Scholl.


title: On the stability of the Kuramoto model of coupled nonlinear oscillators

abstract: We provide an analysis of the classic Kuramoto model of coupled nonlinear oscillators that goes beyond the existing results for all-to-all networks of identical oscillators. Our work is applicable to oscillator networks of arbitrary interconnection topology with uncertain natural frequencies. Using tools from spectral graph theory and control theory, we prove that for couplings above a critical value, the synchronized state is locally asymptotically stable, resulting in convergence of all phase differences to a constant value, both in the case of identical natural frequencies as well as uncertain ones. We further explain the behavior of the system as the number of oscillators grows to infinity.


title: A Proof of Tsygan's Formality Conjecture for an Arbitrary Smooth Manifold

abstract: Proofs of Tsygan's formality conjectures for chains would unlock important algebraic tools which might lead to new generalizations of the Atiyah-Patodi-Singer index theorem and the Riemann-Roch-Hirzebruch theorem. Despite this pivotal role in the traditional investigations and the efforts of various people the most general version of Tsygan's formality conjecture has not yet been proven. In my thesis I propose Fedosov resolutions for the Hochschild cohomological and homological complexes of the algebra of functions on an arbitrary smooth manifold. Using these resolutions together with Kontsevich's formality quasi-isomorphism for Hochschild cochains of R[[y_1, >..., y_d]] and Shoikhet's formality quasi-isomorphism for Hochschild chains of R[[y_1,..., y_d]] I prove Tsygan's formality conjecture for Hochschild chains of the algebra of functions on an arbitrary smooth manifold. The construction of the formality quasi-isomorphism for Hochschild chains is manifestly functorial for isomorphisms of the pairs (M,\nabla), where M is the manifold and \nabla is an affine connection on the tangent bundle. In my thesis I apply these results to equivariant quantization, computation of Hochschild homology of quantum algebras and description of traces in deformation quantization.


title: Remark about scalar curvature and Riemannian submersions

abstract: We consider modified scalar curvature functions for Riemannian manifolds equipped with smooth measures. Given a Riemannian submersion whose fiber transport is measure-preserving up to constants, we show that the modified scalar curvature of the base is bounded below in terms of the scalar curvatures of the total space and fibers. We give an application concerning the scalar curvature of a smooth limit space arising in a bounded curvature collapse.


title: On the complex structure of K\"ahler manifolds with nonnegative curvature

abstract: We study the asymptotic behavior of the K\"ahler-Ricci flow on K\"ahler manifolds of nonnegative holomorphic bisectional curvature. Using these results we prove that a complete noncompact K\"ahler manifold with nonnegative bounded holomorphic bisectional curvature and maximal volume growth is biholomorphic to complex Euclidean space $\C^n$. We also show that the volume growth condition can be removed if we assume $(M, g)$ has average quadratic scalar curvature decay (see Theorem 2.1) and positive curvature operator.


title: Non-separable AF-algebras

abstract: We give two pathological phenomena for non-separable AF-algebras which do not occur for separable AF-algebras. One is that non-separable AF-algebras are not determined by their Bratteli diagrams, and the other is that there exists a non-separable AF-algebra which is prime but not primitive.


title: The empirical process in Mallows distance, with application to goodness-of-fit tests

abstract: This paper has been temporarily withdrawn, pending a revised version taking into account similarities between this paper and the recent work of del Barrio, Gine and Utzet (Bernoulli, 11 (1), 2005, 131-189).


title: A Generalization of Stanley's Monster Reciprocity Theorem

abstract: By studying the reciprocity property of linear Diophantine systems in light of Malcev-Neumann series, we present in this paper a new approach to and a generalization of Stanley's monster reciprocity theorem. A formula for the "error term" is given in the case when the system does not have the reciprocity property. We also give a short proof of Stanley's reciprocity theorem for linear homogeneous Diophantine systems.


title: Existence of a Limiting Distribution for the Binary GCD Algorithm

abstract: In this article, we prove the existence and uniqueness of a certain distribution function on the unit interval. This distribution appears in Brent's model of the analysis of the binary gcd algorithm. The existence and uniqueness of such a function has been conjectured by Richard Brent in his original paper \cite{brent}. Donald Knuth also supposes its existence in \cite{knuth} where developments of its properties lead to very good estimates in relation with the algorithm. We settle here the question of existence, giving a basis to these results, and study the relationship between this limiting function and the {\it binary Euclidean operator} $B_2$, proving rigorously that its derivative is a fixed point of $B_2$.


title: Duality for finite Hopf algebras explained by corings

abstract: We give a coring version for the duality theorem for actions and coactions of a finitely generated projective Hopf algebra. We also provide a coring analogue for a theorem of H.-J. Schneider, which generalizes and unifies the duality theorem for finite Hopf algebras and its refinements.


title: A spectral order method for inverting sectorial Laplace transforms

abstract: Laplace transforms which admit a holomorphic extension to some sector strictly containing the right half plane and exhibiting a potential behavior are considered. A spectral order, parallelizable method for their numerical inversion is proposed. The method takes into account the available information about the errors arising in the evaluations. Several numerical illustrations are provided.


title: A combinatorial proof of Gotzmann's persistence theorem for monomial ideals

abstract: Gotzmann proved the persistence for minimal growth for ideals. His theorem is called Gotzmann's persistence theorem. In this paper, based on the combinatorics on binomial coefficients, a simple combinatorial proof of Gotzmann's persistence theorem in the special case of monomial ideals is given.


title: NP-completeness of Partial Chirotope Extendibility

abstract: In the monograph "Axioms and Hulls" (1992) Donald Knuth studies some axiomatizations of geometric situations. The structures described by one of the axiom systems are called CC-systems. Knuth proves that it is NP-complete to decide, whether a partially defined CC-system can be extended to a complete CC-system. The aim of this note is to show that Knuth's proof of this result also implies that it is NP-complete to decide the extendability of partially defined chirotopes.


title: The Galois closure of the Garcia-Stichtenoth tower

abstract: We describe the Galois closure of the Garcia-Stichtenoth tower and prove that it is optimal.


title: Rational S^1-equivariant elliptic cohomology

abstract: For each elliptic curve A over the rational numbers we construct a 2-periodic S^1-equivariant cohomology theory E whose cohomology ring is the sheaf cohomology of A; the homology of the sphere of the representation z^n is the cohomology of the divisor A(n) of points with order dividing n. The construction proceeds by using the algebraic models of the author's AMS Memoir ``Rational S^1 equivariant homotopy theory.'' and is natural and explicit in terms of sheaves of functions on A. This is Version 5.2 of a paper of long genesis (this should be the final version). The following additional topics were first added in the Fourth Edition: (a) periodicity and differentials treated (b) dependence on coordinate (c) relationship with Grojnowksi's construction and, most importantly, (d) equivalence between a derived category of O_A-modules and a derived category of EA-modules. The Fifth Edition included (e) the Hasse square and (f) explanation of how to calculate maps of EA-module spectra.


title: The Vertex-Face Correspondence and Correlation Functions of the Fusion Eight-Vertex Model I: The General Formalism

abstract: Based on the vertex-face correspondence, we give an algebraic analysis formulation of correlation functions of the $k\times k$ fusion eight-vertex model in terms of the corresponding fusion SOS model. Here $k\in Z_{>0}$. A general formula for correlation functions is derived as a trace over the space of states of lattice operators such as the corner transfer matrices, the half transfer matrices (vertex operators) and the tail operator. We give a realization of these lattice operators as well as the space of states as objects in the level $k$ representation theory of the elliptic algebra $U_{q,p}(\hat{sl}_2)$.


title: Irreducible symplectic 4-folds numerically equivalent to Hilb^2(K3)

abstract: First steps towards a classification of irreducible symplectic 4-folds whose integral 2-cohomology with 4-tuple cup product is isomorphic to that of Hilb^2(K3). We prove that any such 4-fold deforms to an irreducible symplectic 4-fold of Type A or Type B. A 4-fold of Type A is a double cover of a (singular) sextic hypersurface and a 4-fold of Type B is birational to a hypersurface of degree at most 12. We conjecture that 4-folds of Type B do not exist.


title: Large deviations for functions of two random projection matrices

abstract: In this paper two independent and unitarily invariant projection matrices P(N) and Q(N) are considered and the large deviation is proven for the eigenvalue density of all polynomials of them as the matrix size $N$ converges to infinity. The result is formulated on the tracial state space $TS({\cal A})$ of the universal $C^*$-algebra ${\cal A}$ generated by two selfadjoint projections. The random pair $(P(N),Q(N))$ determines a random tracial state $\tau_N \in TS({\cal A})$ and $\tau_N$ satisfies the large deviation. The rate function is in close connection with Voiculescu's free entropy defined for pairs of projections.


title: Zimmermann Type Cancellation in the Free Faa di Bruno Algebra

abstract: The N-variable Hopf algebra introduced by Brouder, Fabretti, and Krattenaler (BFK) in the context of non-commutative Lagrange inversion can be identified with the inverse of the incidence algebra of N-colored interval partitions. The (BFK) antipode and its reflection determine the (generally distinct) left and right inverses of power series with non-commuting coefficients and N non-commuting variables. As in the case of the Faa di Bruno Hopf algebra, there is an analogue of the Zimmermann cancellation formula. The summands of the (BFK) antipode can indexed by the depth first ordering of vertices on contracted planar trees, and the same applies to the interval partition antipode. Both can also be indexed by the breadth first ordering of vertices in the non-order contractible planar trees in which precisely one non-degenerate vertex occurs on each level.


title: On the homology theory of fibre spaces

abstract: The $A(\inft)$-algebra structure in homology of a DG-algebra is constructed. This structure is unique up to isomorphism of $A(\infty)$ algebras. Connection of this structure with Massey products is indicated. The notion of $A(\infty)$-module over an $A(\infty)$-algebra is introduced and such a structure is constructed in homology of a DG-modules over a DG-algebra. The theory of twisted tensor products is generalized from the case of DG-algebras to the case of $A(\infty)$-algebras. These algebraic results are used to describe homology of classifying spaces, cohomology of loop spaces, and homology of fibre bundles.


title: On torsion-free groups with finite regular file bases

abstract: The following question was asked by V. V. Bludov in The Kourovka Notebook in 1995: If a torsion-free group $G$ has a finite system of generators $a_1$, ..., $a_n$ such that every element of $G$ has a unique presentation in the form $a_1^{k_1}... a_n^{k_n}$ where $k_i\in\mathbb Z$, is it true that $G$ is virtually polycyclic? The answer is ``not always.'' A counterexample is constructed in this paper as a group presented by generators and defining relations.


title: Rotationally invariant hypersurfaces with constant mean curvature in the Heisenberg group H^n

abstract: In this paper we study sets in the $n$-dimensional Heisenberg group $\hhn$ which are critical points, under a volume constraint, of the sub-Riemannian perimeter associated to the distribution of horizontal vector fields in $\hhn$. We define a notion of mean curvature for hypersurfaces and we show that the boundary of a stationary set is a constant mean curvature (CMC) hypersurface. Our definition coincides with previous ones. Our main result describes which are the CMC hypersurfaces of revolution in $\hhn$. The fact that such a hypersurface is invariant under a compact group of rotations allows us to reduce the CMC partial differential equation to a system of ordinary differential equations. The analysis of the solutions leads us to establish a counterpart in the Heisenberg group of the Delaunay classification of constant mean curvature hypersurfaces of revolution in the Euclidean space. Hence we classify the rotationally invariant isoperimetric sets in $\hhn$.


title: Entire spacelike hypersurfaces of prescribed scalar curvature in Minkowski space

abstract: We prove existence and uniqueness of entire spacelike hypersurfaces in the Minkowski space with prescribed negative scalar curvature, and with given values at infinity which stay at a bounded distance of a lightcone.


title: Finitely generated subgroups of lattices in PSL(2,C)

abstract: Let G be a lattice in PSL(2,C). The pro-normal topology on G is defined by taking all cosets of non-trivial normal subgroups as a basis. This topology is finer than the pro-finite topology, but it is not discrete. We prove that every finitely generated subgroup H<G is closed in the pro-normal topology. As a corollary we deduce that if M is a maximal subgroup of a lattice in PSL(2,C) then either M is finite index or M is not finitely generated.


title: Block-diagonalization of the linearized coupled-mode system

abstract: We consider the Hamiltonian coupled-mode system that occur in nonlinear optics, photonics, and atomic physics. Spectral stability of gap solitons is determined by eigenvalues of the linearized coupled-mode system, which is equivalent to a four-by-four Dirac system with sign-indefinite metric. In the special class of symmetric nonlinear potentials, we construct a block-diagonal representation of the linearized equations, when the spectral problem reduces to two coupled two-by-two Dirac systems. The block-diagonalization is used in numerical computations of eigenvalues that determine stability of gap solitons.


title: Dimensions of some affine Deligne-Lusztig varieties

abstract: This paper concerns the dimensions of certain affine Deligne-Lusztig varieties, both in the affine Grassmannian and in the affine flag manifold. Rapoport conjectured a formula for the dimensions of the varieties X_mu(b) in the affine Grassmannian. We prove his conjecture for b in the split torus; we find that these varieties are equidimensional; and we reduce the general conjecture to the case of superbasic b. In the affine flag manifold, we prove a formula that reduces the dimension question for X_x(b) with b in the split torus to computations of dimensions of intersections of Iwahori orbits with orbits of the unipotent radical. Calculations using this formula allow us to verify a conjecture of Reuman in many new cases, and to make progress toward a generalization of his conjecture.


title: Computing the Ehrhart quasi-polynomial of a rational simplex

abstract: We present a polynomial time algorithm to compute any fixed number of the highest coefficients of the Ehrhart quasi-polynomial of a rational simplex. Previously such algorithms were known for integer simplices and for rational polytopes of a fixed dimension. The algorithm is based on the formula relating the kth coefficient of the Ehrhart quasi-polynomial of a rational polytope to volumes of sections of the polytope by affine lattice subspaces parallel to k-dimensional faces of the polytope. We discuss possible extensions and open questions.


title: The Patterson-Sullivan embedding and minimal volume entropy for outer space

abstract: Motivated by Bonahon's result for hyperbolic surfaces, we construct an analogue of the Patterson-Sullivan-Bowen-Margulis map from the Culler-Vogtmann outer space $CV(F_k)$ into the space of projectivized geodesic currents on a free group. We prove that this map is a topological embedding. We also prove that for every $k\ge 2$ the minimum of the volume entropy of the universal covers of finite connected volume-one metric graphs with fundamental group of rank $k$ and without degree-one vertices is equal to $(3k-3)\log 2$ and that this minimum is realized by trivalent graphs with all edges of equal lengths, and only by such graphs.


title: Crosscap numbers of 2-bridge knots

abstract: We present a practical algorithm to determine the minimal genus of non-orientable spanning surfaces for 2-bridge knots, called the crosscap numbers. We will exhibit a table of crosscap numbers of 2-bridge knots up to 12crossings (all 362 of them).


title: On asymptotic dimension of countable abelian groups

abstract: We compute the asymptotic dimension of the rationals given with an invariant proper metric. Also, we show that a countable torsion abelian group taken with an invariant proper metric has asymptotic dimension zero.


title: Lie symmetries of the Chow group of a Jacobian and the tautological subring

abstract: Let $J$ be the Jacobian of a smooth projective curve. We define a natural action of the Lie algebra of polynomial Hamiltonian vector fields on the plane, vanishing at the origin, on the Chow group of $J$ with rational coefficients. Using this action we obtain some relations between tautological cycles on $J$.


title: Orthogonal bundles on curves and theta functions

abstract: Let M be the moduli space of SO(r)-bundles on a curve, and L the determinant bundle on M. We define an isomorphism of H^0(M,L) onto the dual of the space of r-th order theta functions on the Jacobian of C. This isomorphism identifies the map M -->|L|* defined by the linear system |L| with the map M -->|r Theta| which associates to a quadratic bundle (E,q) the Theta divisor of the vector bundle E . The two components M+ and M- of M are mapped into the subspaces of even and odd theta functions respectively. Finally we discuss the analogous question for Sp(2r)-bundles.


title: An Optimal Transportation Metric for Solutions of the Camassa-Holm Equation

abstract: In this paper we construct a global, continuous flow of solutions to the Camassa-Holm equation on the entire space $H^1$. Our solutions are conservative, in the sense that the total energy $\int (u^2+u_x^2) dx$ remains a.e. constant in time. Our new approach is based on a distance functional $J(u,v)$, defined in terms of an optimal transportation problem, which satisfies ${d\over dt} J(u(t), v(t))\leq \kappa\cdot J(u(t),v(t))$ for every couple of solutions. Using this new distance functional, we can construct arbitrary solutions as the uniform limit of multi-peakon solutions, and prove a general uniqueness result.


title: A Fourier restriction theorem for hypersurfaces which are graphs of certain real polynomials

abstract: We will extend the Fourier restriction inequality for quadratic hypersurfaces obtained by Strichartz. We will consider the case where the hypersurface is a graph of a certain real polynomial which is a sum of one-dimensional monomials. It is essential to examine the decay of a one-dimensional oscillatory


title: On the action of Lipschitz functions on vector-valued random sums

abstract: Let $X$ be a Banach space and let $(\xi_j)_{j\ge 1}$ be an i.i.d. sequence of symmetric random variables with finite moments of all orders. We prove that the following assertions are equivalent: (1). There exists a constant $K$ such that $$ \Bigl(\E\Big\|\sum_{j=1}^n \xi_j f(x_j)\Big\|^2\Bigr)^{\frac12} \leq K \n f\n_{\rm Lip} \Bigl(\E\Big\|\sum_{j=1}^n \xi_j x_j\Big\|^2\Bigr)^{\frac12} $$ for all Lipschitz functions $f:X\to X$ satisfying $f(0)=0$ and all finite sequences $x_1,...,x_n$ in $X$. (2). $X$ is isomorphic to a Hilbert space.


title: Realizations of Biextensions

abstract: Let k be a field of characteristic 0 and M(k) is the category of 1-motives over k. We prove that Biext^1(M_1,M_2;M_3)=Hom_{MR(k)}(T(M_1)\otimes T(M_2), T(M_3))


title: Bilinear estimates associated to the Schr\"odinger equation with a nonelliptic principal part

abstract: We discuss bilinear estimates of tempered distributions in the Fourier restriction spaces for the two-dimensional Sch\"odinger equation whose principal part is the d'Alembertian. We prove that the bilinear estimates hold if and only if the tempered distributions are functions.


title: Parabolic equations with continuous initial data

abstract: The aim of this thesis is to derive new gradient estimates for parabolic equations. The gradient estimates found are independent of the regularity of the initial data. This allows us to prove the existence of solutions to problems that have non-smooth, continuous initial data. We include existence proofs for problems with both Neumann and Dirichlet boundary data. The class of equations studied is modelled on mean curvature flow for graphs. It includes anisotropic mean curvature flow, and other operators that have no uniform non-degeneracy bound. We arrive at similar estimates by three different paths: a 'double coordinate' approach, an approach examining the intersections of a solution and a given barrier, and a classical geometric approach.


title: Self-adjoint difference operators and classical solutions to the Stieltjes--Wigert moment problem

abstract: The Stieltjes-Wigert polynomials, which correspond to an indeterminate moment problem on the positive half-line, are eigenfunctions of a second order q-difference operator. We consider the orthogonality measures for which the difference operator is symmetric in the corresponding weighted $L^2$-spaces. These measures are exactly the solutions to the q-Pearson equation.In the case of discrete and absolutely continuous measures the difference operator is essentially self-adjoint, and the corresponding spectral decomposition is given explicitly. In particular, we find an orthogonal set of q-Bessel functions complementing the Stieltjes-Wigert polynomials to an orthogonal basis for $L^2(\mu)$ when $\mu$ is a discrete orthogonality measure solving the q-Pearson equation. To obtain the spectral decomposition of the difference operator in case of an absolutely continuous orthogonality measure we use the results from the discrete case combined with direct integral techniques.


title: Maximal rank for planar singularities of multiplicity two

abstract: We prove that general unions of singularity schemes of multiplicity two in the projective plane have maximal rank.


title: Twisted K-Theory and TQFT

abstract: The goal of the present paper is the calculation of the equivariant twisted K-theory of a compact Lie group which acts on itself by conjugations, and elements of a TQFT-structure on the twisted K-groups. These results are originally due to D.S.Freed, M.J.Hopkins and C.Teleman. In this paper we redo their calculations in the framework of topological and differentiable stacks. We also show how moduli spaces of flat connections on surfaces give rise to trivializations of twists.


title: Amalgamated free products of C*-bundles

abstract: Given two unital continuous C*-bundles A and B over the same Hausdorff compact base space X, we study the continuity properties of their different amalgamated free products over C(X).


title: On a deformed topological vertex

abstract: We introduce a deformed topological vertex and use it to define deformations of the topological string partition functions of some local Calabi-Yau geometries. We also work out some examples for which such deformations satisfy a deformed Gopakumar-Vafa integrality and can be identified with the equivariant indices of some naturally defined bundles on the framed moduli spaces.


title: Fast and oblivious convolution quadrature

abstract: We give an algorithm to compute $N$ steps of a convolution quadrature approximation to a continuous temporal convolution using only $O(N \log N)$ multiplications and $O(\log N)$ active memory. The method does not require evaluations of the convolution kernel, but instead $O(\log N)$ evaluations of its Laplace transform, which is assumed sectorial. The algorithm can be used for the stable numerical solution with quasi-optimal complexity of linear and nonlinear integral and integro-differential equations of convolution type. In a numerical example we apply it to solve a subdiffusion equation with transparent boundary conditions.


title: A complete characterization of local martingales which are functions of Brownian motion and its maximum

abstract: We prove the max-martingale conjecture given in recent article with Marc Yor. We show that for a continuous local martingale $(N\_t:t\ge 0)$ and a function $H:R x R\_+\to R$, $H(N\_t,\sup\_{s\leq t}N\_s)$ is a local martingale if and only if there exists a locally integrable function $f$ such that $H(x,y)=\int\_0^y f(s)ds-f(y)(x-y)+H(0,0)$. This implies readily, via Levy's equivalence theorem, an analogous result with the maximum process replaced by the local time at 0.


title: A recurrence relation for characters of highest weight integrable modules for affine Lie algebras

abstract: Using certain results for the vertex operator algebras associated with affine Lie algebras we obtain recurrence relations for the characters of integrable highest weight irreducible modules for an affine Lie algebra. As an application we show that in the simply-laced level 1 case, these recurrence relations give the known characters, whose principal specializations naturally give rise to some multisum Macdonald identities.


title: Polymer pinning at an interface

abstract: In this article, I study the localization transition of an hydrophobic homopolymer in interaction with an interface between oil and water. To that aim I consider a model in which the trajectories of a simple random walk play the role of the possible configurations of the polymer. The chain gains an energetic factor for every monomer it puts in the oil and receives a random price of positive average each time it touches the origin. So a competition arises between this two effects to know wether the chain is delocalized in the oil or if it stays localized in the neighborhood of the interface. As usual a critical curve divides the phase spaces in a localized and a delocalized area, and the point of my paper is to develop a new strategy to bound this critical curve by below. To achieve this result I take into account the fact that the polymer can target the sites where it comes back to the origin to receive prices as high as possible.


title: Moduli of Reflexive Sheaves on Smooth Projective 3-folds

abstract: We compute the expected dimension of the moduli space of torsion-free rank 2 sheaves at a point corresponding to a stable reflexive sheaf and give conditions for the existence of a perfect tangent-obstruction complex on a class of smooth projective threefolds; this class includes Fano and Calabi-Yau threefolds. We also explore both local and global relationships between moduli spaces of reflexive rank 2 sheaves and the Hilbert scheme of curves.


title: Fast Runge-Kutta approximation of inhomogeneous parabolic equations

abstract: The result after $N$ steps of an implicit Runge-Kutta time discretization of an inhomogeneous linear parabolic differential equation is computed, up to accuracy $\epsilon$, by solving only $$O\Big(\log N \log \frac1\epsilon \Big) $$ linear systems of equations. We derive, analyse, and numerically illustrate this fast algorithm.


title: The Cohomology of Reflexive Sheaves on Smooth Projective 3-folds

abstract: We study the cohomology of reflexive rank 2 sheaves on smooth projective threefolds. Applications are given to the moduli space of reflexive sheaves.


title: Finite Cohen-Macaulay type and smooth non-commutative schemes

abstract: A commutative local Cohen-Macaulay ring R of finite Cohen-Macaulay type is known to be an isolated singularity; that is, Spec(R)-m is smooth. This paper proves a non-commutative analogue. Namely, if A is a (non-commutative) graded AS Cohen-Macaulay algebra which is FBN and has finite Cohen-Macaulay type, then the non-commutative projective scheme determined by A is smooth.


title: On the Geometry of Chains

abstract: The chains studied in this paper generalize Chern-Moser chains for CR structures. They form a distinguished family of one dimensional submanifolds in manifolds endowed with a parabolic contact structure. Both the parabolic contact structure and the system of chains can be equivalently encoded as Cartan geometries (of different types). The aim of this paper is to study the relation between these two Cartan geometries for Lagrangean contact structures and partially integrable almost CR structures. We develop a general method for extending Cartan geometries which generalizes the Cartan geometry interpretation of Fefferman's construction of a conformal structure associated to a CR structure. For the two structures in question, we show that the Cartan geometry associated to the family of chains can be obtained in that way if and only if the original parabolic contact structure is torsion free. In particular, the procedure works exactly on the subclass of (integrable) CR structures. This tight relation between the two Cartan geometries leads to an explicit description of the Cartan curvature associated to the family of chains. On the one hand, this shows that the homogeneous models for the two parabolic contact structures give rise to examples of non-flat path geometries with large automorphism groups. On the other hand, we show that one may (almost) reconstruct the underlying torsion free parabolic contact structure from the Cartan curvature associated to the chains. In particular, this leads to a very conceptual proof of the fact that chain preserving contact diffeomorphisms are either isomorphisms or anti-isomorphisms of parabolic contact structures.


title: A Non-commutative analogue of Gaussian Hilbert Spaces

abstract: The paper gives analogues of some starting results in the theory of Gaussian Hilbert Spaces for semicircular distributed random variables. The transition from the commutative to the free frame is done considering matrices of increasing dimension and utilizing the Amitzur-Levitzki Theorem.


title: The Siciak-Zahariuta extremal function as the envelope of disc functionals

abstract: We establish disc formulas for the Siciak-Zahariuta extremal function of an arbitrary open subset of complex affine space, generalizing Lempert's formula for the convex case. This function is also known as the pluricomplex Green function with logarithmic growth or a logarithmic pole at infinity. We extend Lempert's formula for this function from the convex case to the connected case.


title: Szemer\'edi's regularity lemma revisited

abstract: Szemer\'edi's regularity lemma is a basic tool in graph theory, and also plays an important role in additive combinatorics, most notably in proving Szemer\'edi's theorem on arithmetic progressions . In this note we revisit this lemma from the perspective of probability theory and information theory instead of graph theory, and observe a variant of this lemma which introduces a new parameter $F$. This stronger version of the regularity lemma was iterated in a recent paper of the author to reprove the analogous regularity lemma for hypergraphs.


title: Rigidity of minimal volume Alexandrov spaces

abstract: Let Z be an Alexandrov space with curvature bounded below by -1 such that Z is homotopy equivalent to a real hyperbolic manifold M. It is known that the volume of Z is not smaller than the volume of M. If the volumes are equal, this short paper proves that the homotopy equivalence is homotopic to an isometric homeomorphism. The main analytic tool is a theorem of Reshetnyak about quasiregular maps.


title: Dynamics of the mapping class group action on the variety of PSL(2,C) characters

abstract: We study the action of the mapping class group Mod(S) on the boundary dQ of quasifuchsian space Q. Among other results, Mod(S) is shown to be topologically transitive on the subset C in dQ of manifolds without a conformally compact end. We also prove that any open subset of the character variety X(pi_1(S),SL(2,C)) intersecting dQ does not admit a nonconstant Mod(S)-invariant meromorphic function. This is related to a question of Goldman.


title: Generators and defining relations for the ring of differential operators on a smooth affine algebraic variety

abstract: For the ring of differential operators on a smooth affine algebraic variety $X$ over a field of characteristic zero a finite set of algebra generators and a finite set of defining relations are found explicitly. As a consequence, a finite set of generators and a finite set of defining relations are given for the module $\Der_K(\OO (X))$ of derivations on the algebra $\OO (X)$ of regular functions on the variety $X$. For the variety $X$ which is not necessarily smooth, a set of natural derivations ${\rm der}_K(\OO (X))$ of the algebra $\OO (X)$ and a ring $\gD (\OO (X))$ of natural differential operators on $\OO (X)$ are introduced. The algebra $\gD (\OO (X))$ is a Noetherian algebra of Gelfand-Kirillov dimension $2\dim (X)$. When $X$ is smooth then ${\rm der}_K(\OO (X))=\Der_K(\OO (X))$ and $\gD (\OO (X))=\CD (\OO (X))$. A criterion of smoothness of $X$ is given when $X$ is irreducible ($X$ is smooth iff $\gD (\OO (X))$ is a simple algebra iff $\OO (X)$ is a simple $\gD (\OO (X))$-module). The same results are true for regular algebras of essentially finite type. For a singular irreducible affine algebraic variety $X$, in general, the algebra of differential operators $\CD (\OO (X))$ needs not be finitely generated nor (left or right) Noetherian, it is proved that each term $\CD (\OO (X))_i$ of the order filtration $\CD (\OO (X))=\cup_{i\geq 0}\CD (\OO (X))_i$ is a finitely generated left $\OO (X)$-module.


title: Some remarks on a paper by L. Carlitz

abstract: We study a family of orthogonal polynomials which generalizes a sequence of polynomials considered by L. Carlitz. We show that they are a special case of the Sheffer polynomials and point out some interesting connections with certain Sobolev orthogonal polynomials.


title: On hybrid simulation schemes for stochastic reaction dynamics

abstract: The existing literature on stochastic simulation of chemical reaction networks has a tendency to move as quickly as possible to the abstract formulation of the stochastic dynamics in terms of probabilities based on the concept of the Chemical Master Equation (CME), largely ignoring sample path representation. In this publication we discuss both theoretical basis and numerical approach for the problems in this area using sample path methods as a crucial part of the process. Relying as it does on a representation of the underlying stochastic processes as a weak solution of a system of stochastic differential equations driven by Poisson random measures this approach brings to bear a heretofore ignored but quite effective problem solving methodology. We first present a simple and intuitive way of partitioning species and reactions of the interaction network into different groups. We then discuss how original stochastic dynamics with state dependent intensities of transitions can be reformulated in terms of jump-diffusion stochastic differential equations driven by both Wiener noise sources and Poisson random measures. Finally, we show that this approach facilitates the construction of hybrid simulation techniques, an important step in the creation of efficient techniques for modeling multi-scale stochastic dynamics of the reaction networks. Numerical methods related to sampling events from Poisson random measures are demonstratedon simple intuitive examples. Error control analysis of the finite differences scheme is also presented.


title: Ricci Flow with Surgery on Four-manifolds with Positive Isotropic Curvature

abstract: In this paper we study the Ricci flow on compact four-manifolds with positive isotropic curvature and with no essential incompressible space form. Our purpose is two-fold. One is to give a complete proof of Hamilton's classification theorem on four-manifolds with positive isotropic curvature and with no essential incompressible space form; the other is to extend some recent results of Perelman on the three-dimensional Ricci flow to four-manifolds. During the the proof we have actually provided, up to slight modifications, all necessary details for the part from Section 1 to Section 5 of Perelman's second paper on the Ricci flow.


title: Braid Family Representatives

abstract: After defining reduced minimum braid word and criteria for a braid family representative, different braid family representatives are derived, and a correspondence between them and families of knots and links given in Conway notation is established.


title: High-resolution quantization and entropy coding for fractional Brownian motion

abstract: We derive a high-resolution formula for the quantization and entropy coding approximation quantities for fractional Brownian motion, respective to the supremum norm and L^p[0,1]-norm distortions. We show that all moments in the quantization problem lead to the same asymptotics. Using a general principle, we conclude that entropy coding and quantization coincide asymptotically. Under supremum-norm distortion, our proof uses an explicit construction of efficient codebooks based on a particular entropy constrained coding scheme. This procedure can be used to construct close to optimal high resolution quantizers.


title: On Lars H\"ormander's remark on the characteristic Cauchy problem

abstract: We extend the results of a work by L. H\"ormander in 1990 concerning the resolution of the characteristic Cauchy problem for second order wave equations with regular first order potentials. The geometrical background of this work was a spatially compact spacetime with smooth metric. The initial data surface was spacelike or null at each point and merely Lipschitz. We lower the regularity hypotheses on the metric and potential and obtain similar results. The Cauchy problem for a spacelike initial data surface is solved for a Lipschitz metric and coefficients of the first order potential that are $L^\infty_\mathrm{loc}$, with the same finite energy solution space as in the smooth case. We also solve the fully characteristic Cauchy problem with very slightly more regular metric and potential, namely a ${\cal C}^1$ metric and a potential with continuous first order terms and locally $L^\infty$ coefficients for the terms of order 0.


title: Asymptotically maximal families of hypersurfaces in toric varieties

abstract: A real algebraic variety is maximal (with respect to the Smith-Thom inequality) if the sum of the Betti numbers (with $\mathbb{Z}_2$ coefficients) of the real part of the variety is equal to the sum of Betti numbers of its complex part. We prove that there exist polytopes that are not Newton polytopes of any maximal hypersurface in the corresponding toric variety. On the other hand we show that for any polytope $\Delta$ there are families of hypersurfaces with the Newton polytopes $(\lambda\Delta)_{\lambda \in \mathbb{N}}$ that are asymptotically maximal when $\lambda$ tends to infinity. We also show that these results generalize to complete intersections.


title: Klein polyhedra and lattices with positive norm minima

abstract: A Klein polyhedron is defined as the convex hull of nonzero lattice points inside an orthant of $\R^n$. It generalizes the concept of continued fraction. In this paper facets and edge stars of vertices of a Klein polyhedron are considered as multidimensional analogs of partial quotients and quantitative characteristics of these ``partial quotients'', so called determinants, are defined. It is proved that the facets of all the $2^n$ Klein polyhedra generated by a lattice $\La$ have uniformly bounded determinants if and only if the facets and the edge stars of the vertices of the Klein polyhedron generated by $\La$ and related to the positive orthant have uniformly bounded determinants.


title: Existence and non-existence of skew branes

abstract: Following recent work by Ghomi, Solomon and Tabachnikov, we study geometry and topology of skew branes. A skew brane is a codimension 2 submanifold in affine space such that the tangent spaces at any pair of distinct points are not parallel. We prove that if an oriented closed manifold has a non-zero Euler characteristic $\xi$ then it is not a skew brane; generically, the number of oppositely oriented pairs of parallel tangent spaces is not less than $(\xi^2)/4$. We also construct examples of skew odd-dimensional spheres and skew two-dimensional tori.


title: Some properties of the Lerch family of discrete distributions

abstract: We extend the definition of the Lerch distribution to the set of nonnegative integers for greater applicability to modeling count data. We express its properties in terms of Lerch's transcendent, and study its unimodality, hazard function and variance-to-mean ratio.


title: Ehrhart polynomials and stringy Betti numbers

abstract: We study the connection between stringy Betti numbers of Gorenstein toric varieties and the generating functions of the Ehrhart polynomials of certain polyhedral regions. We use this point of view to give counterexamples to Hibi's conjecture on the unimodality of delta-vectors of reflexive polytopes.


title: Division and the Giambelli Identity

abstract: Given two polynomials f(x) and g(x), we extend the formula expressing the remainder in terms of the roots of these two polynomials to the case where f(x) is a Laurent polynomial. This allows us to give new expressions of a Schur function, which generalize the Giambelli identity.


title: The Zrank Conjecture and Restricted Cauchy Matrices

abstract: The rank of a skew partition $\lambda/\mu$, denoted $rank(\lambda/\mu)$, is the smallest number $r$ such that $\lambda/\mu$ is a disjoint union of $r$ border strips. Let $s_{\lambda/\mu}(1^t)$ denote the skew Schur function $s_{\lambda/\mu}$ evaluated at $x_1=...=x_t=1, x_i=0$ for $i>t$. The zrank of $\lambda/\mu$, denoted $zrank(\lambda/\mu)$, is the exponent of the largest power of $t$ dividing $s_{\lambda/\mu}(1^t)$. Stanley conjectured that $rank(\lambda/\mu)=zrank(\lambda/\mu)$. We show the equivalence between the validity of the zrank conjecture and the nonsingularity of restricted Cauchy matrices. In support of Stanley's conjecture we give affirmative answers for some special cases.


title: Hartogs type theorems on coverings of Stein manifolds

abstract: We prove an analog of the classical Hartogs extension theorem for certain (possibly unbounded) domains on coverings of Stein manifolds.


title: Approximation in ergodic theory, Borel, and Cantor dynamics

abstract: This survey is focused on the results related to topologies on the groups of transformations in ergodic theory, Borel, and Cantor dynamics. Various topological properties (density, connectedness, genericity) of these groups and their subsets (subgroups) are studied.


title: On geometrical properties of the spaces defined by the Pfaff equations

abstract: Geometrical properties of holonomic and non holonomic varieties defined by the Pfaff equations connected with a first order systems of differential equations are studied. The Riemann extensions of affine connected spaces for investigation of geodesics and asymptotic lines are used.


title: Rank 2 arithmetically Cohen-Macaulay bundles on a nonsingular cubic surface

abstract: Rank 2 indecomposable arithmetically Cohen-Macaulay bundles E on a nonsingular cubic surface X in P^3 are classified, by means of the possible forms taken by the minimal graded free resolution of E over P^3. The admissible values of the Chern classes of E are listed and the vanishing locus of a general section of E is studied. Properties of E such as (semi) stability and simplicity are investigated; the number of relevant families is computed together with their dimension.


title: Quantum groups and double quiver algebras

abstract: For a finite dimensional semisimple Lie algebra ${\frak{g}}$ and a root $q$ of unity in a field $k,$ we associate to these data a double quiver $\bar{\cal{Q}}.$ It is shown that a restricted version of the quantized enveloping algebras $U_q(\frak g)$ is a quotient of the double quiver algebra $k\bar{\cal Q}.$


title: Weak Hopf algebras corresponding to Cartan matrices

abstract: We replace the group of group-like elements of the quantized enveloping algebra $U_q({\frak{g}})$ of a finite dimensional semisimple Lie algebra ${\frak g}$ by some regular monoid and get the weak Hopf algebra ${\frak{w}}_q^{\sf d}({\frak g})$. It is a new subclass of weak Hopf algebras but not Hopf algebras. Then we devote to constructing a basis of ${\frak{w}}_q^{\sf d}({\frak g})$ and determine the group of weak Hopf algebra automorphisms of ${\frak{w}}_q^{\sf d}({\frak g})$ when $q$ is not a root of unity.


title: Perturbative expansion of Chern-Simons theory

abstract: An overview of the perturbative expansion of the Chern--Simons path integral is given. The main goal is to describe how trivalent graphs appear: as they already occur in the perturbative expansion of an analogous finite-dimensional integral, we discuss this case in detail.


title: The expected area of the filled planar Brownian loop is Pi/5

abstract: Let B_t be a planar Brownian loop of time duration 1 (a Brownian motion conditioned so that B_0 = B_1). We consider the compact hull obtained by filling in all the holes, i.e. the complement of the unique unbounded component of R^2\B[0,1]. We show that the expected area of this hull is Pi/5. The proof uses, perhaps not surprisingly, the Schramm Loewner Evolution (SLE). Also, using the result of Yor about the law of the index of a Brownian loop, we show that the expected areas of the regions of non-zero index n equal 1/(2 Pi n^2). As a consequence, we find that the expected area of the region of index zero inside the loop is Pi/30; this value could not be obtained directly using Yor's index description.


title: Schrodinger Flow Near Harmonic Maps

abstract: For the Schr\"odinger flow from $R^2 \times R^+$ to the 2-sphere $S^2$, it is not known if finite energy solutions can blow up in finite time. We study equivariant solutions whose energy is near the energy of the family of equivariant harmonic maps. We prove that such solutions remain close to the harmonic maps until the blow up time (if any), and that they blow up if and only if the length scale of the nearest harmonic map goes to zero.


title: Conformally Osserman manifolds and self-duality in Riemannian geometry

abstract: We study the spectral geometry of the conformal Jacobi operator on a 4-dimensional Riemannian manifold (M,g). We show that (M,g) is conformally Osserman if and only if (M,g) is self-dual or anti self-dual. Equivalently, this means that the curvature tensor of (M,g) is given by a quaternionic structure, at least pointwise.


title: Analysis of variance--why it is more important than ever

abstract: Analysis of variance (ANOVA) is an extremely important method in exploratory and confirmatory data analysis. Unfortunately, in complex problems (e.g., split-plot designs), it is not always easy to set up an appropriate ANOVA. We propose a hierarchical analysis that automatically gives the correct ANOVA comparisons even in complex scenarios. The inferences for all means and variances are performed under a model with a separate batch of effects for each row of the ANOVA table. We connect to classical ANOVA by working with finite-sample variance components: fixed and random effects models are characterized by inferences about existing levels of a factor and new levels, respectively. We also introduce a new graphical display showing inferences about the standard deviations of each batch of effects. We illustrate with two examples from our applied data analysis, first illustrating the usefulness of our hierarchical computations and displays, and second showing how the ideas of ANOVA are helpful in understanding a previously fit hierarchical model.


title: The action of the Frobenius map on rank 2 vector bundles over a supersingular genus 2 curve in characteristic 2

abstract: Let $X$ be a smooth proper genus 2 curve over an algebraically closed field of characteristic 2. The absolute Frobenius induces a rational map $F$ on the the moduli space $M\_X$ of semi-stable rank 2 vector bundles over $X$, which is isomorphic to a 3-dimensional projective space. Y. Laszlo and C. Pauly recently gave the equations of $F$ for an ordinary $X$. Using deformation, we give these equations for a supersingular $X$ and draw some consequences such as the base locus of $F$ (one point), or the stability of the complementary Zariski open set.


title: General empirical Bayes wavelet methods and exactly adaptive minimax estimation

abstract: In many statistical problems, stochastic signals can be represented as a sequence of noisy wavelet coefficients. In this paper, we develop general empirical Bayes methods for the estimation of true signal. Our estimators approximate certain oracle separable rules and achieve adaptation to ideal risks and exact minimax risks in broad collections of classes of signals. In particular, our estimators are uniformly adaptive to the minimum risk of separable estimators and the exact minimax risks simultaneously in Besov balls of all smoothness and shape indices, and they are uniformly superefficient in convergence rates in all compact sets in Besov spaces with a finite secondary shape parameter. Furthermore, in classes nested between Besov balls of the same smoothness index, our estimators dominate threshold and James-Stein estimators within an infinitesimal fraction of the minimax risks. More general block empirical Bayes estimators are developed. Both white noise with drift and nonparametric regression are considered.


title: Bubbling location for $F$-harmonic maps and Inhomogeneous Landau-Lifshitz equations

abstract: Let $f$ be a positive smooth function on a close Riemann surface (M,g). The $f-energy$ of a map $u$ from $M$ to a Riemannian manifold $(N,h)$ is defined as $$E_f(u)=\int_Mf|\nabla u|^2dV_g.$$ In this paper, we will study the blow-up properties of Palais-Smale sequences for $E_f$. We will show that, if a Palais-Smale sequence is not compact, then it must blows up at some critical points of $f$. As a sequence, if an inhomogeneous Landau-Lifshitz system, i.e. a solution of $$u_t=u\times\tau_f(u)+\tau_f(u),\s u:M\to S^2$$ blows up at time $\infty$, then the blow-up points must be the critical points of $f$.


title: Minimax estimation with thresholding and its application to wavelet analysis

abstract: Many statistical practices involve choosing between a full model and reduced models where some coefficients are reduced to zero. Data were used to select a model with estimated coefficients. Is it possible to do so and still come up with an estimator always better than the traditional estimator based on the full model? The James-Stein estimator is such an estimator, having a property called minimaxity. However, the estimator considers only one reduced model, namely the origin. Hence it reduces no coefficient estimator to zero or every coefficient estimator to zero. In many applications including wavelet analysis, what should be more desirable is to reduce to zero only the estimators smaller than a threshold, called thresholding in this paper. Is it possible to construct this kind of estimators which are minimax? In this paper, we construct such minimax estimators which perform thresholding. We apply our recommended estimator to the wavelet analysis and show that it performs the best among the well-known estimators aiming simultaneously at estimation and model selection. Some of our estimators are also shown to be asymptotically optimal.


title: Finite isometry groups of 4-manifolds with positive sectional curvature

abstract: Let M be an oriented compact positively curved 4-manifold. Let G be a finite subgroup of the isometry group of $M$. Among others, we prove that there is a universal constant C (cf. Corollary 4.3 for the approximate value of C), such that if the order of G is odd and at least C, then G is either abelian of rank at most 2, or non-abelian and isomorphic to a subgroup of PU(3) with a presentation \{A, B| A^m=B^n=1, BAB^{-1}=A^r, (n(r-1), m)=1, r\ne r^3=1(\text{mod}m) \}. Moreover, M is homeomorphic to CP^2 if G is non-abelian, and homeomorphic to S^4 or CP^2 if G is abelian of rank 2.


title: Decision theory results for one-sided multiple comparison procedures

abstract: A resurgence of interest in multiple hypothesis testing has occurred in the last decade. Motivated by studies in genomics, microarrays, DNA sequencing, drug screening, clinical trials, bioassays, education and psychology, statisticians have been devoting considerable research energy in an effort to properly analyze multiple endpoint data. In response to new applications, new criteria and new methodology, many ad hoc procedures have emerged. The classical requirement has been to use procedures which control the strong familywise error rate (FWE) at some predetermined level \alpha. That is, the probability of any false rejection of a true null hypothesis should be less than or equal to \alpha. Finding desirable and powerful multiple test procedures is difficult under this requirement. One of the more recent ideas is concerned with controlling the false discovery rate (FDR), that is, the expected proportion of rejected hypotheses which are, in fact, true. Many multiple test procedures do control the FDR. A much earlier approach to multiple testing was formulated by Lehmann [Ann. Math. Statist. 23 (1952) 541-552 and 28 (1957) 1-25]. Lehmann's approach is decision theoretic and he treats the multiple endpoints problem as a 2^k finite action problem when there are k endpoints. This approach is appealing since unlike the FWE and FDR criteria, the finite action approach pays attention to false acceptances as well as false rejections.


title: Characterization of Bayes procedures for multiple endpoint problems and inadmissibility of the step-up procedure

abstract: The problem of multiple endpoint testing for k endpoints is treated as a 2^k finite action problem. The loss function chosen is a vector loss function consisting of two components. The two components lead to a vector risk. One component of the vector risk is the false rejection rate (FRR), that is, the expected number of false rejections. The other component is the false acceptance rate (FAR), that is, the expected number of acceptances for which the corresponding null hypothesis is false. This loss function is more stringent than the positive linear combination loss function of Lehmann [Ann. Math. Statist. 28 (1957) 1-25] and Cohen and Sackrowitz [Ann. Statist. (2005) 33 126-144] in the sense that the class of admissible rules is larger for this vector risk formulation than for the linear combination risk function. In other words, fewer procedures are inadmissible for the vector risk formulation. The statistical model assumed is that the vector of variables Z is multivariate normal with mean vector \mu and known intraclass covariance matrix \Sigma. The endpoint hypotheses are H_i:\mu_i=0 vs K_i:\mu_i>0, i=1,...,k. A characterization of all symmetric Bayes procedures and their limits is obtained. The characterization leads to a complete class theorem. The complete class theorem is used to provide a useful necessary condition for admissibility of a procedure. The main result is that the step-up multiple endpoint procedure is shown to be inadmissible.


title: Combining information from independent sources through confidence distributions

abstract: This paper develops new methodology, together with related theories, for combining information from independent studies through confidence distributions. A formal definition of a confidence distribution and its asymptotic counterpart (i.e., asymptotic confidence distribution) are given and illustrated in the context of combining information. Two general combination methods are developed: the first along the lines of combining p-values, with some notable differences in regard to optimality of Bahadur type efficiency; the second by multiplying and normalizing confidence densities. The latter approach is inspired by the common approach of multiplying likelihood functions for combining parametric information. The paper also develops adaptive combining methods, with supporting asymptotic theory which should be of practical interest. The key point of the adaptive development is that the methods attempt to combine only the correct information, downweighting or excluding studies containing little or wrong information about the true parameter of interest. The combination methodologies are illustrated in simulated and real data examples with a variety of applications.


title: Nonparametric estimation over shrinking neighborhoods: Superefficiency and adaptation

abstract: A theory of superefficiency and adaptation is developed under flexible performance measures which give a multiresolution view of risk and bridge the gap between pointwise and global estimation. This theory provides a useful benchmark for the evaluation of spatially adaptive estimators and shows that the possible degree of superefficiency for minimax rate optimal estimators critically depends on the size of the neighborhood over which the risk is measured. Wavelet procedures are given which adapt rate optimally for given shrinking neighborhoods including the extreme cases of mean squared error at a point and mean integrated squared error over the whole interval. These adaptive procedures are based on a new wavelet block thresholding scheme which combines both the commonly used horizontal blocking of wavelet coefficients (at the same resolution level) and vertical blocking of coefficients (across different resolution levels).


title: Testing convex hypotheses on the mean of a Gaussian vector. Application to testing qualitative hypotheses on a regression function

abstract: In this paper we propose a general methodology, based on multiple testing, for testing that the mean of a Gaussian vector in R^n belongs to a convex set. We show that the test achieves its nominal level, and characterize a class of vectors over which the tests achieve a prescribed power. In the functional regression model this general methodology is applied to test some qualitative hypotheses on the regression function. For example, we test that the regression function is positive, increasing, convex, or more generally, satisfies a differential inequality. Uniform separation rates over classes of smooth functions are established and a comparison with other results in the literature is provided. A simulation study evaluates some of the procedures for testing monotonicity.


title: Efficient estimation of a semiparametric partially linear varying coefficient model

abstract: In this paper we propose a general series method to estimate a semiparametric partially linear varying coefficient model. We establish the consistency and \sqrtn-normality property of the estimator of the finite-dimensional parameters of the model. We further show that, when the error is conditionally homoskedastic, this estimator is semiparametrically efficient in the sense that the inverse of the asymptotic variance of the estimator of the finite-dimensional parameter reaches the semiparametric efficiency bound of this model. A small-scale simulation is reported to examine the finite sample performance of the proposed estimator, and an empirical application is presented to illustrate the usefulness of the proposed method in practice. We also discuss how to obtain an efficient estimation result when the error is conditional heteroskedastic.


title: Bandwidth choice for nonparametric classification

abstract: It is shown that, for kernel-based classification with univariate distributions and two populations, optimal bandwidth choice has a dichotomous character. If the two densities cross at just one point, where their curvatures have the same signs, then minimum Bayes risk is achieved using bandwidths which are an order of magnitude larger than those which minimize pointwise estimation error. On the other hand, if the curvature signs are different, or if there are multiple crossing points, then bandwidths of conventional size are generally appropriate. The range of different modes of behavior is narrower in multivariate settings. There, the optimal size of bandwidth is generally the same as that which is appropriate for pointwise density estimation. These properties motivate empirical rules for bandwidth choice.


title: Efficient estimation of Banach parameters in semiparametric models

abstract: Consider a semiparametric model with a Euclidean parameter and an infinite-dimensional parameter, to be called a Banach parameter. Assume: (a) There exists an efficient estimator of the Euclidean parameter. (b) When the value of the Euclidean parameter is known, there exists an estimator of the Banach parameter, which depends on this value and is efficient within this restricted model. Substituting the efficient estimator of the Euclidean parameter for the value of this parameter in the estimator of the Banach parameter, one obtains an efficient estimator of the Banach parameter for the full semiparametric model with the Euclidean parameter unknown. This hereditary property of efficiency completes estimation in semiparametric models in which the Euclidean parameter has been estimated efficiently. Typically, estimation of both the Euclidean and the Banach parameter is necessary in order to describe the random phenomenon under study to a sufficient extent. Since efficient estimators are asymptotically linear, the above substitution method is a particular case of substituting asymptotically linear estimators of a Euclidean parameter into estimators that are asymptotically linear themselves and that depend on this Euclidean parameter. This more general substitution case is studied for its own sake as well, and a hereditary property for asymptotic linearity is proved.


title: A robust method for cluster analysis

abstract: Let there be given a contaminated list of n R^d-valued observations coming from g different, normally distributed populations with a common covariance matrix. We compute the ML-estimator with respect to a certain statistical model with n-r outliers for the parameters of the g populations; it detects outliers and simultaneously partitions their complement into g clusters. It turns out that the estimator unites both the minimum-covariance-determinant rejection method and the well-known pooled determinant criterion of cluster analysis. We also propose an efficient algorithm for approximating this estimator and study its breakdown points for mean values and pooled SSP matrix.


title: Depth weighted scatter estimators

abstract: General depth weighted scatter estimators are introduced and investigated. For general depth functions, we find out that these affine equivariant scatter estimators are Fisher consistent and unbiased for a wide range of multivariate distributions, and show that the sample scatter estimators are strong and \sqrtn-consistent and asymptotically normal, and the influence functions of the estimators exist and are bounded in general. We then concentrate on a specific case of the general depth weighted scatter estimators, the projection depth weighted scatter estimators, which include as a special case the well-known Stahel-Donoho scatter estimator whose limiting distribution has long been open until this paper. Large sample behavior, including consistency and asymptotic normality, and efficiency and finite sample behavior, including breakdown point and relative efficiency of the sample projection depth weighted scatter estimators, are thoroughly investigated. The influence function and the maximum bias of the projection depth weighted scatter estimators are derived and examined. Unlike typical high-breakdown competitors, the projection depth weighted scatter estimators can integrate high breakdown point and high efficiency while enjoying a bounded-influence function and a moderate maximum bias curve. Comparisons with leading estimators on asymptotic relative efficiency and gross error sensitivity reveal that the projection depth weighted scatter estimators behave very well overall and, consequently, represent very favorable choices of affine equivariant multivariate scatter estimators.


title: Generalized bootstrap for estimating equations

abstract: We introduce a generalized bootstrap technique for estimators obtained by solving estimating equations. Some special cases of this generalized bootstrap are the classical bootstrap of Efron, the delete-d jackknife and variations of the Bayesian bootstrap. The use of the proposed technique is discussed in some examples. Distributional consistency of the method is established and an asymptotic representation of the resampling variance estimator is obtained.


title: Iterated smoothed bootstrap confidence intervals for population quantiles

abstract: This paper investigates the effects of smoothed bootstrap iterations on coverage probabilities of smoothed bootstrap and bootstrap-t confidence intervals for population quantiles, and establishes the optimal kernel bandwidths at various stages of the smoothing procedures. The conventional smoothed bootstrap and bootstrap-t methods have been known to yield one-sided coverage errors of orders O(n^{-1/2}) and o(n^{-2/3}), respectively, for intervals based on the sample quantile of a random sample of size n. We sharpen the latter result to O(n^{-5/6}) with proper choices of bandwidths at the bootstrapping and Studentization steps. We show further that calibration of the nominal coverage level by means of the iterated bootstrap succeeds in reducing the coverage error of the smoothed bootstrap percentile interval to the order O(n^{-2/3}) and that of the smoothed bootstrap-t interval to O(n^{-58/57}), provided that bandwidths are selected of appropriate orders. Simulation results confirm our asymptotic findings, suggesting that the iterated smoothed bootstrap-t method yields the most accurate coverage. On the other hand, the iterated smoothed bootstrap percentile method interval has the advantage of being shorter and more stable than the bootstrap-t intervals.


title: Problems for problem session

abstract: Below are the problems that I formulated at Open Problems Session of {\it Workshop on Group Actions on Rational Varieties}, McGill University and University of Montreal, Canada, March 2002. To appear in: "Affine Algebraic Geometry" conference Proceedings volume in Contemporary Mathematics series of the Amer. Math. Soc. Ed. by Jaime Gutierrez, Vladimir Shpilrain, and Jie-Tai Yu.


title: An interlacing technique for spectra of random walks and its application to finite percolation clusters

abstract: A comparison technique for finite random walks on finite graphs is introduced, using the well-known interlacing method. It yields improved return probability bounds. A key feature is the incorporation of parts of the spectrum of the transition matrix other than just the principal eigenvalue. As an application, an upper bound of the expected return probability of a random walk with symmetric transition probabilities is found. In this case, the state space is a random partial graph of a regular graph of bounded geometry and transitive automorphism group. The law of the random edge-set is assumed to be stationary with respect to some transitive subgroup of the automorphism group (`invariant percolation'). Given that this subgroup is unimodular, it is shown that stationarity strengthens the upper bound of the expected return probability, compared with standard bounds derived from the Cheeger inequality.


title: A Presentation For The Automorphisms Of The 3-Sphere That Preserve A Genus Two Heegaard Splitting

abstract: Scharlemann constructed a connected simplicial 2-complex $\Gamma$ with an action by the group ${\mathcal H_{2}}$ of isotopy classes of orientation preserving homeomorphisms of $S^3$ that preserve the isotopy class of an unknotted genus 2 handlebody $V$. In this paper we prove that the 2-complex $\Gamma$ is contractible. Therefore we get a finite presentation of ${\mathcal H_{2}}$.


title: Conditional probability of actually detecting a financial fraud - a neutrosophic extension to Benford's law

abstract: This study actually draws from and builds on an earlier paper (Kumar and Bhattacharya, 2002). Here we have basically added a neutrosophic dimension to the problem of determining the conditional probability that a financial fraud has been actually committed, given that no Type I error occurred while rejecting the null hypothesis H0: The observed first-digit frequencies approximate a Benford distribution; and accepting the alternative hypothesis H1: The observed first-digit frequencies do not approximate a Benford distribution. We have also suggested a conceptual model to implement such a neutrosophic fraud detection system.


title: On the Holomorphic Extension of CR Distributions from Non Generic CR Submanifolds of $\C^L$

abstract: We give a holomorphic extension result from non generic CR submanifold of $\C^L$ of positive CR dimension. We consider $N$ a non generic CR submanifold given by $N=\{\n,h(\n)\}$ where $\n$ is a generic submanifold of some $\C^{\ell}$ and $h$ is a CR map from $\n$ into $\C^n$. We prove that if $\n$ is a hypersurface then any CR distribution on $N$ extends holomorphically to a complex transversal wedge, we then generalize this result for arbitrary $\n$ in the case where the graphing function $h$ is decomposable at some $p'\in \n$. We show that any CR distribution on $N$ that is decomposable at $p=(p',h(p'))$ extends holomorphically to a complex transversal wedge.


title: On the Classification of All Self-Dual Additive Codes over GF(4) of Length up to 12

abstract: We consider additive codes over GF(4) that are self-dual with respect to the Hermitian trace inner product. Such codes have a well-known interpretation as quantum codes and correspond to isotropic systems. It has also been shown that these codes can be represented as graphs, and that two codes are equivalent if and only if the corresponding graphs are equivalent with respect to local complementation and graph isomorphism. We use these facts to classify all codes of length up to 12, where previously only all codes of length up to 9 were known. We also classify all extremal Type II codes of length 14. Finally, we find that the smallest Type I and Type II codes with trivial automorphism group have length 9 and 12, respectively.


title: Isogeny classes of abelian varieties over function fields

abstract: We study isogeny classes of abelian varieties over a function field in one variable over the field of complex numbers.


title: Classical Chern-Simons on manifolds with spin structure

abstract: We construct a 2+1 dimensional classical gauge theory on manifolds with spin structure whose action is a refinement of the Atiyah-Patodi- Singer eta-invariant for twisted Dirac operators. We investigate the properties of the Lagrangian field theory for closed, spun 3-manifolds and compact, spun 3-manifolds with boundary where the action is interpreted as a unitary element of a Pfaffian line of twisted Dirac operators. We then investigate the properties of the Hamiltonian field theory over 3-manifolds of the form (R x Y), where Y is a closed, spun 2-manifold. From the action we derive a unitary line bundle with connection over the moduli stack of flat gauge fields on Y.


title: A Telescoping method for Double Summations

abstract: We present a method to prove hypergeometric double summation identities. Given a hypergeometric term $F(n,i,j)$, we aim to find a difference operator $ L=a_0(n) N^0 + a_1(n) N^1 +...+a_r(n) N^r $ and rational functions $R_1(n,i,j),R_2(n,i,j)$ such that $ L F = \Delta_i (R_1 F) + \Delta_j (R_2 F)$. Based on simple divisibility considerations, we show that the denominators of $R_1$ and $R_2$ must possess certain factors which can be computed from $F(n, i,j)$. Using these factors as estimates, we may find the numerators of $R_1$ and $R_2$ by guessing the upper bounds of the degrees and solving systems of linear equations. Our method is valid for the Andrews-Paule identity, Carlitz's identities, the Ap\'ery-Schmidt-Strehl identity, the Graham-Knuth-Patashnik identity, and the Petkov\v{s}ek-Wilf-Zeilberger identity.


title: The compactness result for K\"ahler Ricci solitons

abstract: In this paper we prove the compactness result for compact K\"ahler Ricci gradient shrinking solitons. If $(M_i,g_i)$ is a sequence of K\"ahler Ricci solitons of real dimension $n \ge 4$, whose curvatures have uniformly bounded $L^{n/2}$ norms, whose Ricci curvatures are uniformly bounded from below and $\mu(g_i,1/2) \ge A$ (where $\mu$ is Perelman's functional), there is a subsequence $(M_i,g_i)$ converging to a compact orbifold $(M_{\infty},g_{\infty})$ with finitely many isolated singularitites, where $g_{\infty}$ is a K\"ahler Ricci soliton metric in an orbifold sense (satisfies a soliton equation away from singular points and smoothly extends in some gauge to a metric satisfying K\"ahler Ricci soliton equation in a lifting around singular points).


title: On the Stability of K\"ahler-Einstein Metrics

abstract: Using spin$^c$ structure we prove that K\"ahler-Einstein metrics with nonpositive scalar curvature are stable (in the direction of changes in conformal structures) as the critical points of the total scalar curvature functional. Moreover if all infinitesimal complex deformation of the complex structure are integrable, then the K\"ahler-Einstein metric is a local maximal of the Yamabe invariant, and its volume is a local minimum among all metrics with scalar curvature bigger or equal to the scalar curvature of the K\"ahler-Einstein metric.


title: Gotzmann monomial ideals

abstract: A Gotzmann monomial ideal of the polynomial ring is a monomial ideal which is generated in one degree and which satisfies Gotzmann's persistence theorem. A subset $V$ is said to be a Gotzmann subset if the ideal generated by $V$ is a Gotzmann monomial ideal. In the present paper, we find all integers $a>0$ such that every Gotzmann subset $V$ with $|V|=a$ is lexsegment (up to the permutation of the variables). In addition, we classify all Gotzmann subsets of $K[x_1,x_2,x_3]$.


title: The variational bicomplex on graded manifolds and its cohomology

abstract: Lagrangian formalism on graded manifolds is phrased in terms of the Grassmann-graded variational bicomplex, generalizing the familiar variational bicomplex for even Lagrangian systems on fiber bundles.


title: Stochastic domination: the contact process, Ising models and FKG measures

abstract: We prove for the contact process on $Z^d$, and many other graphs, that the upper invariant measure dominates a homogeneous product measure with large density if the infection rate $\lambda$ is sufficiently large. As a consequence, this measure percolates if the corresponding product measure percolates. We raise the question of whether domination holds in the symmetric case for all infinite graphs of bounded degree. We study some asymmetric examples which we feel shed some light on this question. We next obtain necessary and sufficient conditions for domination of a product measure for ``downward'' FKG measures. As a consequence of this general result, we show that the plus and minus states for the Ising model on $Z^d$ dominate the same set of product measures. We show that this latter fact fails completely on the homogenous 3-ary tree. We also provide a different distinction between $Z^d$ and the homogenous 3-ary tree concerning stochastic domination and Ising models; while it is known that the plus states for different temperatures on $Z^d$ are never stochastically ordered, on the homogenous 3-ary tree, almost the complete opposite is the case. Next, we show that on $Z^d$, the set of product measures which the plus state for the Ising model dominates is strictly increasing in the temperature. Finally, we obtain a necessary and sufficient condition for a finite number of variables, which are both FKG and exchangeable, to dominate a given product measure.


title: On Hopf algebra structures over free operads

abstract: The operad Lie can be constructed as the operad of primitives Prim As from the operad As of associative algebras. This is reflected by the theorems of Friedrichs, Poincare'-Birkhoff-Witt and Cartier-Milnor-Moore. We replace As by families of free operads P, which include the operad Mag freely generated by a noncommutative non-associative binary operation and the operad of Stasheff polytopes. We obtain Poincare'-Birkhoff-Witt type theorems and collect information about the operads Prim P, e.g. in terms of characteristic functions.


title: Refinements of stochastic domination

abstract: In a recent paper by two of the authors, the concepts of upwards and downwards $\epsilon$-movability were introduced, mainly as a technical tool for studying dynamical percolation of interacting particle systems. In this paper, we further explore these concepts which can be seen as refinements or quantifications of stochastic domination, and we relate them to previously studied concepts such as uniform insertion tolerance and extractability.