title: Projective manifolds containing special curves

abstract: Let $Y$ be a smooth curve embedded in a complex projective manifold $X$ of dimension $n\geq 2$ with ample normal bundle $N_{Y|X}$. For every $p\geq 0$ let $\alpha_p$ denote the natural restriction maps $\Pic(X)\to\Pic(Y(p))$, where $Y(p)$ is the $p$-th infinitesimal neighbourhood of $Y$ in $X$. First one proves that for every $p\geq 1$ there is an isomorphism of abelian groups $\Coker(\gra_p)\cong\Coker(\gra_0)\oplus K_p(Y,X)$, where $K_p(Y,X)$ is a quotient of the $\mathbb C$-vector space $L_p(Y,X):=\bigoplus\limits_{i=1}^p H^1(Y, {\bf S}^i(N_{Y|X})^*)$ by a free subgroup of $L_p(Y,X)$ of rank strictly less than the Picard number of $X$. Then one shows that $L_1(Y,X)=0$ if and only if $Y\cong\mathbb P^1$ and $N_{Y|X}\cong\mathcal O_{\mathbb P^1}(1)^{\oplus n-1}$. The special curves in question are by definition those for which $\dim_{\mathbb C}L_1(Y,X)=1$. This equality is closely related with a beautiful classical result of B. Segre. It turns out that $Y$ is special if and only if either $Y\cong\mathbb P^1$ and $N_{Y|X}\cong\sO_{\pn 1}(2)\oplus\sO_{\pn 1}(1)^{\oplus n-2}$, or $Y$ is elliptic and $\deg(N_{Y|X})=1$. After proving some general results on manifolds of dimension $n\geq 2$ carrying special rational curves (e.g. they form a subclass of the class of rationally connected manifolds which is stable under small projective deformations), a complete birational classification of pairs $(X,Y)$ with $X$ surface and $Y$ special is given. Finally, one gives several examples of special rational curves in dimension $n\geq 3$.


title: Local Energy Statistics in Directed Polymers

abstract: Recently, Bauke and Mertens conjectured that the local statistics of energies in random spin systems with discrete spin space should, in most circumstances, be the same as in the random energy model. We show that this conjecture holds true as well for directed polymers in random environment. We also show that, under certain conditions, this conjecture holds for directed polymers even if energy levels that grow moderately with the volume of the system are considered.


title: The external boundary of the bifurcation locus $M_2$

abstract: Consider a quadratic rational self-map of the Riemann sphere such that one critical point is periodic of period 2, and the other critical point lies on the boundary of its immediate basin of attraction. We will give explicit topological models for all such maps. We also discuss the corresponding parameter picture.


title: Symplectic bundles on the plane, secant varieties and L\"uroth quartics revisited

abstract: Let $X={\bf P}^2\times{\bf P}^{n-1}$ embedded with $\O(1,2)$. We prove that its $(n+1)$-secant variety $\sigma_{n+1}(X)$ is a hypersurface, while it is expected that it fills the ambient space. The equation of $\sigma_{n+1}(X)$ is the symmetric analog of the Strassen equation. When $n=4$ the determinantal map takes $\sigma_5(X)$ to the hypersurface of L\"uroth quartics, which is the image of the Barth map studied by LePotier and Tikhomirov. This hint allows to obtain some results on the jumping lines and the Brill-Noether loci of symplectic bundles on ${\bf P}^2$ by using the higher secant varieties of $X$.


title: Fourier-Mukai transforms of curves and principal polarizations

abstract: Given a Fourier-Mukai transform $\Phi$ between the bounded derived categories of two smooth projective curves, we verifiy that the induced map between the Jacobian varieties preserves the principal polarization if and only if $\Phi$ is an equivalence.


title: Global Existence Results and Uniqueness for Dislocation Equations

abstract: We are interested in nonlocal Eikonal Equations arising in the study of the dynamics of dislocations lines in crystals. For these nonlocal but also non monotone equations, only the existence and uniqueness of Lipschitz and local-in-time solutions were available in some particular cases. In this paper, we propose a definition of weak solutions for which we are able to prove the existence for all time. Then we discuss the uniqueness of such solutions in several situations, both in the monotone and non monotone case.


title: Unstable Blowups

abstract: Let (X,L) be a polarised manifold. We show that K-stability and asymptotic Chow stability of the blowup of X along a 0-dimensional cycle are closely related to Chow stability of the cycle itself, for polarizations making the exceptional divisors small. This can be used to give (almost) a converse to a result of Arezzo and Pacard, and to give new examples of K\"ahler classes with no constant scalar curvature representatives.


title: Statistical analysis of the Diffie-Hellman key exchange protocol in a finite group

abstract: This paper presents a novel methodology to test the security of the Diffie-Hellman public key exchange protocol. The security of many cryptographic schemes rely on the hardness of this problem. We are presenting a purely statistical test to compare this problem in different groups. We are using groups included in the Zp group with p prime as a major example, however the methods presented are not restricted to these groups. The presentation of the results is primarily intended to introduce novel applications of statistical methodologies to the area of mathematical cryptography. As such we will emphasize the cryptographical aspects of the work more than the statistical notions.


title: Self-similar solutions of semilinear wave equations with a focusing nonlinearity

abstract: We prove that in three space dimensions a nonlinear wave equation $u_{tt}-\Delta u = u^p$ with $p\geq 7$ being an odd integer has a countable family of regular spherically symmetric self-similar solutions.


title: Monic non-commutative orthogonal polynomials

abstract: Among all states on the algebra of non-commutative polynomials, we characterize the ones that have monic orthogonal polynomials. The characterizations involve recursion relations, Hankel-type determinants, and a representation as a joint distribution of operators on a Fock space.


title: Free Meixner states

abstract: Free Meixner states are a class of functionals on non-commutative polynomials introduced in math.CO/0410482. They are characterized by a resolvent-type form for the generating function of their orthogonal polynomials, by a recursion relation for those polynomials, or by a second-order non-commutative differential equation satisfied by their free cumulant functional. In this paper, we construct an operator model for free Meixner states. By combinatorial methods, we also derive an operator model for their free cumulant functionals. This, in turn, allows us to construct a number of examples. Many of these examples are shown to be trivial, in the sense of being free products of functionals which depend on only a single variable, or rotations of such free products. On the other hand, the multinomial distribution is a free Meixner state and is not a product. Neither is a large class of tracial free Meixner states which are analogous to the simple quadratic exponential families in statistics.


title: Vanishing of the top local cohomology modules over Noetherian rings

abstract: Let R be a (not necessarily local) Noetherian ring and M a finitely generated R-module of finite dimension d. Let \fa be an ideal of R and \fM denote the intersection of all prime ideals \fp in Supp_RH^d_{\fa}(M). It is shown that H^d_{\fa}(M)\simeq H^d_{\fM}(M)/\displaystyle{\sum_{n\in \mathbb{N}}}<\fM>(0:_{H^d_{\fM}(M)}\fa^n), where for an Artinian R-module A we put <\fM>A=\cap_{n\in \mathbb{N}} \fM^nA. As a consequence, it is proved that for all ideals \fa of R, there are only finitely many non-isomorphic top local cohomology modules H^d_{\fa}(M) having the same support. In addition, we establish an analogue of the Lichtenbaum-Hartshorne Vanishing Theorem over rings that need not be local.


title: Some algebraic notions related to analysis on metric spaces

abstract: There are versions of "calculus" in many settings, with various mixtures of algebra and analysis. In these informal notes we consider a few examples that suggest a lot of interesting questions.


title: Distances between composition operators

abstract: The norm distance between two composition operators is calculated in select cases.


title: The Gauss-Bonnet theorem for vector bundles

abstract: We give a short proof of the Gauss-Bonnet theorem for a real oriented Riemannian vector bundle $E$ of even rank over a closed compact orientable manifold $M$. This theorem reduces to the classical Gauss-Bonnet-Chern theorem in the special case when $M$ is a Riemannian manifold and $E$ is the tangent bundle of $M$ endowed with the Levi-Civita connection. The proof is based on an explicit geometric construction of the Thom class for 2-plane bundles.


title: A Manifold Calculus Approach to Link Maps and the Linking Number

abstract: We study the space of "link maps": the space of maps of a disjoint union of compact, closed manifolds P_1, . . ., P_k into a manifold N whose images are pairwise disjoint. We apply the manifold calculus of functors developed by Goodwillie and Weiss to study the difference between it and its linear and quadratic approximations. We identify an appropriate generalization of the linking number as the geometric object which measures the difference between the space of link maps and its linear approximation. Our analysis of the difference between link maps and its quadratic approximation connects with recent work of the author, and is used to show that the Borromean rings are linked. We also conjecture connectivity estimates for the approximating spaces.


title: Non Kaehler solvmanifolds with generalized Kaehler structure

abstract: We construct a compact 6-dimensional solvmanifold endowed with a non-trivial invariant generalized K\"ahler structure and which does not admit any K\"ahler metric. This is in contrast with the case of nilmanifolds which cannot admit any invariant generalized K\"ahler structure unless they are tori.


title: Graph homology of moduli space of pointed real curves of genus zero

abstract: The moduli space $\bar{M}_S^\sigma(R)$ parameterizes the isomorphism classes of $S$-pointed stable real curves of genus zero which are invariant under relabeling by the involution $\sigma$. This moduli space is stratified according to the degeneration types of $\sigma$-invariant curves. The degeneration types of $\sigma$-invariant curves are encoded by their dual trees with additional decorations. We construct a combinatorial graph complex generated by the fundamental classes of strata of $\bar{M}_S^\sigma(R)$. We show that the homology of $\bar{M}_S^\sigma(R)$ is isomorphic to the homology of our graph complex. We also give a presentation of the fundamental group of $\bar{M}_S^\sigma(R)$.


title: On Potentially $(K_5-H)$-graphic Sequences

abstract: Let $K_m-H$ be the graph obtained from $K_m$ by removing the edges set $E(H)$ of $H$ where $H$ is a subgraph of $K_m$. In this paper, we characterize the potentially $K_5-P_4$ and $K_5-Y_4$-graphic sequences where $Y_4$ is a tree on 5 vertices and 3 leaves.


title: Weak uniqueness and partial regularity for the composite membrane problem

abstract: We establish a generic weak uniqueness result and partial regularity of the free boundary and of minimizers for the composite membrane problem.


title: A harmonic map flow associated with the standard solution of Ricci flow

abstract: Let $(\Bbb{R}^n,g(t))$, $0\le t\le T$, $n\ge 3$, be a standard solution of the Ricci flow with radially symmetric initial data $g_0$. We will extend a recent existence result of P. Lu and G. Tian and prove that for any $t_0\in [0,T)$ there exists a solution of the corresponding harmonic map flow $\phi_t:(\Bbb{R}^n,g(t))\to (\Bbb{R}^n,g(t_0))$ satisfying $\partial \phi_t/\partial t=\Delta_{g(t),g(t_0)}\phi_t$ of the form $\phi_t(r,\theta) =(\rho (r,t),\theta)$ in polar coordinates in $\Bbb{R}^n\times (t_0,T_0)$, $\phi_{t_0}(r,\theta)=(r,\theta)$, where $r=r(t)$ is the radial co-ordinate with respect to $g(t)$ and $T_0=\sup\{t_1\in (t_0,T]: \|\widetilde{\rho}(\cdot ,t)\|_{L^{\infty}(\Bbb{R}^+)} +\|\partial\widetilde{\rho}/\partial r(\cdot ,t)\|_{L^{\infty}(\Bbb{R}^+)} <\infty\quad\forall t_0<t\le t_1\}$ with $\widetilde{\rho}(r,t) =\log (\rho(r,t)/r)$. We will also prove the uniqueness of solution of the harmonic map flow. We will also use the same technique to prove that the solution $u$ of the heat equation in $(\Omega\setminus\{0\})\times (0,T)$ has removable singularities at $\{0\}\times (0,T)$, $\Omega\subset\Bbb{R}^m$, $m\ge 3$, if and only if $|u(x,t)|=O(|x|^{2-m})$ locally uniformly on every compact subset of $(0,T)$.


title: A non-linear observer for unsteady three-dimensional flows

abstract: A method is proposed to estimate the velocity field of an unsteady flow using a limited number of flow measurements. The method is based on a non-linear low-dimensional model of the flow and on expanding the velocity field in terms of empirical basis functions. The main idea is to impose that the coefficients of the modal expansion of the velocity field give the best approximation to the available measurements and that at the same time they satisfy as close as possible the non-linear low-order model. The practical use may range from feedback flow control to monitoring of the flow in non-accessible regions. The proposed technique is applied to the flow around a confined square cylinder, both in two- and three-dimensional laminar flow regimes. Comparisons are provided. with existing linear and non-linear estimation techniques.


title: Existence and uniqueness results for viscous, heat-conducting 3-D fluid with vacuum

abstract: We consider the 3-D full Navier-Stokes equations whose the viscosity coefficients and the thermal conductivity coefficient depend on the density and the temperature. We prove the local existence and uniqueness of the strong solution in a domain $\Omega\subset\mathbb{R}^3$. The initial density may vanish in an open set and $\Omega$ could be a bounded or unbounded domain. We also prove a blow-up criterion for the solution. Finally, we show the blow-up of the smooth solution to the compressible Navier-Stokes equations in $\mathbb{R}^n$ ($n\geq1$) when the initial density has compactly support and the initial total momentum is nonzero.


title: Removable singularity of the polyharmonic equation

abstract: Let $x_0\in\Omega\subset\Bbb{R}^n$, $n\ge 2$, be a domain and let $m\ge 2$. We will prove that a solution $u$ of the polyharmonic equation $\Delta^mu=0$ in $\Omega\setminus\{x_0\}$ has a removable singularity at $x_0$ if and only if $|\Delta^ku(x)|=o(|x-x_0|^{2-n})\quad\forall k=0,1,2,...,m-1$ as $|x-x_0|\to 0$ for $n\ge 3$ and $=o(\log (|x-x_0|^{-1}))\quad\forall k=0,1,2,...,m-1$ as $|x-x_0|\to 0$ for $n=2$. For $m\ge 2$ we will also prove that $u$ has a removable singularity at $x_0$ if $|u(x)|=o(|x-x_0|^{2m-n})$ as $|x-x_0|\to 0$ for $n\ge 3$ and $|u(x)| =o(|x-x_0|^{2m-2}\log (|x-x_0|^{-1}))$ as $|x-x_0|\to 0$ for $n=2$.


title: Genocchi Numbers and f-Vectors of Simplicial Balls

abstract: The Genocchi numbers are the coefficients of the generating function 2t/(e^t+1). In this note we will give an equation for simplicial balls which involves this numbers. It relates the number of faces in the interior of the ball with the number of faces in the boundary of the ball. This is a variation of similar equations given in [McMullen 2004] and [Herrmann and Joswig 2006].


title: Pathwise inequalities for local time: Applications to Skorokhod embeddings and optimal stopping

abstract: We develop a class of pathwise inequalities of the form $H(B_t)\ge M_t+F(L_t)$, where $B_t$ is Brownian motion, $L_t$ its local time at zero and $M_t$ a local martingale. The concrete nature of the representation makes the inequality useful for a variety of applications. In this work, we use the inequalities to derive constructions and optimality results of Vallois' Skorokhod embeddings. We discuss their financial interpretation in the context of robust pricing and hedging of options written on the local time. In the final part of the paper we use the inequalities to solve a class of optimal stopping problems of the form $\sup_{\tau}\mathbb{E}[F(L_{\tau})-\int _0^{\tau}\beta(B_s) ds]$. The solution is given via a minimal solution to a system of differential equations and thus resembles the maximality principle described by Peskir. Throughout, the emphasis is placed on the novelty and simplicity of the techniques.


title: Pinching of the First Eigenvalue of the Laplacian and almost-Einstein Hypersurfaces of the Euclidean Space

abstract: In this paper, we prove new pinching theorems for the first eigenvalue of the Laplacian on compact hypersurfaces of the Euclidean space. These pinching results are associated with the upper bound for the first eigenvalue in terms of higher order mean curvatures. We show that under a suitable pinching condition, the hypersurface is diffeomorpic and almost isometric to a standard sphere. Moreover, as a corollary, we show that a hypersurface of the Euclidean space which is almost Einstein is diffeomorpic and almost isometric to a standard sphere.


title: Difference approximation for local times of multidimensional diffusions

abstract: We consider sequences of additive functionals of difference approximations for uniformly non-degenerate multidimensional diffusions. The conditions are given, sufficient for such a sequence to converge weakly to a W-functional of the limiting process. The class of the W-functionals, that can be obtained as the limiting ones, is completely described in the terms of the associated W-measures, and coincides with the class of the functionals that are regular w.r.t. the phase variable.


title: Determining the anisotropic traction state in a membrane by boundary measurements

abstract: We prove uniqueness and stability for an inverse boundary problem associated to an anisotropic elliptic equation arising in the modeling of prestressed elastic membranes.


title: Alternating subgroups of Coxeter groups

abstract: We study combinatorial properties of the alternating subgroup of a Coxeter group, using a presentation of it due to Bourbaki.


title: Diffusion approximation for equilibrium Kawasaki dynamics in continuum

abstract: A Kawasaki dynamics in continuum is a dynamics of an infinite system of interacting particles in $\mathbb R^d$ which randomly hop over the space. In this paper, we deal with an equilibrium Kawasaki dynamics which has a Gibbs measure $\mu$ as invariant measure. We study a diffusive limit of such a dynamics, derived through a scaling of both the jump rate and time. Under weak assumptions on the potential of pair interaction, $\phi$, (in particular, admitting a singularity of $\phi$ at zero), we prove that, on a set of smooth local functions, the generator of the scaled dynamics converges to the generator of the gradient stochastic dynamics. If the set on which the generators converge is a core for the diffusion generator, the latter result implies the weak convergence of finite-dimensional distributions of the corresponding equilibrium processes. In particular, if the potential $\phi$ is from $C_{\mathrm b}^3(\mathbb R^d)$ and sufficiently quickly converges to zero at infinity, we conclude the convergence of the processes from a result in [Choi {\it et al.}, J. Math. Phys. 39 (1998) 6509--6536].


title: The Bremermann-Dirichlet problem for unbounded domains of $C^n$

abstract: Given an unbounded strongly pseudoconvex domain D and a continuous real valued function h defined on bD, we study the existence of a (maximal) plurisubharmonic function u on D such that u=h on bD.


title: On Ozawa kernels

abstract: We explicit Ozawa kernels for classical group theoretical constructions, for discrete metric spaces of finite asymptotic dimension, of large enough Hilbert space compression, and for suitable actions of countable groups on metric spaces. We also obtain an alternative proof of stability results concerning Yu's property A.


title: L^2-concentration phenomenon for Zakharov system below energy norm

abstract: In this paper, we'll prove a L^2-concentration result of Zakharov system in space dimension two, with radial initial data (u_0,n_0,n_1)\in H^s\times L^2\times H^{-1} ({16/17}<s<1), when blow up of the solution happens by I-method. In additional to that we find a blow up character of this system. Furthermore, we improve the global existence result of Bourgain's to above spaces.


title: Hamilton Paths and Cycles in Vertex-Transitive Graphs of Order $6p$

abstract: It is shown that every connected vertex-transitive graph of order $6p$, where $p$ is a prime, contains a Hamilton path. Moreover, it is shown that, except for the truncation of the Petersen graph, every connected vertex-transitive graph of order $6p$ which is not genuinely imprimitive contains a Hamilton cycle.


title: On quartic half-arc-transitive metacirculants

abstract: Following Alspach and Parsons, a {\em metacirculant graph} is a graph admitting a transitive group generated by two automorphisms $\rho$ and $\sigma$, where $\rho$ is $(m,n)$-semiregular for some integers $m \geq 1$, $n \geq 2$, and where $\sigma$ normalizes $\rho$, cyclically permuting the orbits of $\rho$ in such a way that $\sigma^m$ has at least one fixed vertex. A {\em half-arc-transitive graph} is a vertex- and edge- but not arc-transitive graph. In this article quartic half-arc-transitive metacirculants are explored and their connection to the so called tightly attached quartic half-arc-transitive graphs is explored. It is shown that there are three essentially different possibilities for a quartic half-arc-transitive metacirculant which is not tightly attached to exist. These graphs are extensively studied and some infinite families of such graphs are constructed.


title: Convex Foliated Projective Structures and the Hitchin Component for PSL(4,R)

abstract: In this article we give a geometric interpretation of the Hitchin component for PSL(4,R) in the representation variety of a closed oriented surface of higher genus. We show that representations in the Hitchin component are precisely the holonomy representations of properly convex foliated projective structures on the unit tangent bundle of the surface. From this we also deduce a geometric description of the Hitchin component the symplectic group PSp(4,R).


title: On accessibility of finitely generated groups

abstract: We prove an accessibility result for finitely generated groups that combines Sela's acylindrical accessibility with Linell accessibility.


title: On a Norm Compression Inequality for 2XN Partitioned Block Matrices

abstract: We conjecture the following so-called norm compression inequality for $2\times N$ partitioned block matrices and the Schatten $p$-norms: for $p\ge 2$, $$ ||({array}{cccc} A_1 & A_2 & ... & A_N B_1 & B_2 & >... & B_N {array})||_p \le ||({array}{cccc} ||A_1||_p & ||A_2||_p & ... & ||A_N||_p \ ||B_1||_p & ||B_2||_p & ... & ||B_N||_p {array})||_p $$ while for $1\le p\le 2$ the ordering of the inequality is reversed. This inequality includes Hanner's inequality for matrices as a special case. We prove several special cases of this inequality and give examples for $3\times 3$ and larger partitionings where it does not hold.


title: A sufficient condition for finite time blow up of the nonlinear Klein-Gordon equations with arbitrarily positive initial energy

abstract: In this paper we consider the nonexistence of global solutions of a Klein-Gordon equation of the form \begin{eqnarray*} u_{tt}-\Delta u+m^2u=f(u)& (t,x)\in [0,T)\times\R^n. \end{eqnarray*} Here $m\neq 0$ and the nonlinear power $f(u)$ satisfies some assumptions which will be stated later. We give a sufficient condition on the initial datum with arbitrarily high initial energy such that the solution of the above Klein-Gordon equation blows up in a finite time.


title: Higher Dimensional Unitary Braid Matrices: Construction, Associated Structures and Entanglements

abstract: We construct $(2n)^2\times (2n)^2$ unitary braid matrices $\hat{R}$ for $n\geq 2$ generalizing the class known for $n=1$. A set of $(2n)\times (2n)$ matrices $(I,J,K,L)$ are defined. $\hat{R}$ is expressed in terms of their tensor products (such as $K\otimes J$), leading to a canonical formulation for all $n$. Complex projectors $P_{\pm}$ provide a basis for our real, unitary $\hat{R}$. Baxterization is obtained. Diagonalizations and block-diagonalizations are presented. The loss of braid property when $\hat{R}$ $(n>1)$ is block-diagonalized in terms of $\hat{R}$ $(n=1)$ is pointed out and explained. For odd dimension $(2n+1)^2\times (2n+1)^2$, a previously constructed braid matrix is complexified to obtain unitarity. $\hat{R}\mathrm{LL}$- and $\hat{R}\mathrm{TT}$-algebras, chain Hamiltonians, potentials for factorizable $S$-matrices, complex non-commutative spaces are all studied briefly in the context of our unitary braid matrices. Turaev construction of link invariants is formulated for our case. We conclude with comments concerning entanglements.


title: Enumerative geometry of Calabi-Yau 4-folds

abstract: Gromov-Witten theory is used to define an enumerative geometry of curves in Calabi-Yau 4-folds. The main technique is to find exact solutions to moving multiple cover integrals. The resulting invariants are analogous to the BPS counts of Gopakumar and Vafa for Calabi-Yau 3-folds. We conjecture the 4-fold invariants to be integers and expect a sheaf theoretic explanation. Several local Calabi-Yau 4-folds are solved exactly. Compact cases, including the sextic Calabi-Yau in CP5, are also studied. A complete solution of the Gromov-Witten theory of the sextic is conjecturally obtained by the holomorphic anomaly equation.


title: Finite time blow-up results for the damped wave equations with arbitrary initial energy in an inhomogeneous medium

abstract: In this paper we consider the long time behavior of solutions of the initial value problem for the damped wave equation of the form \begin{eqnarray*} u_{tt}-\rho(x)^{-1}\Delta u+u_t+m^2u=f(u) \end{eqnarray*} with some $\rho(x)$ and $f(u)$ on the whole space $\R^n$ ($n\geq 3$). For the low initial energy case, which is the non-positive initial energy, based on concavity argument we prove the blow up result. As for the high initial energy case, we give out sufficient conditions of the initial datum such that the corresponding solution blows up in finite time.


title: Reconstruction of permutations distorted by single transposition errors

abstract: The reconstruction problem for permutations on $n$ elements from their erroneous patterns which are distorted by transpositions is presented in this paper. It is shown that for any $n \geq 3$ an unknown permutation is uniquely reconstructible from 4 distinct permutations at transposition distance at most one from the unknown permutation. The {\it transposition distance} between two permutations is defined as the least number of transpositions needed to transform one into the other. The proposed approach is based on the investigation of structural properties of a corresponding Cayley graph. In the case of at most two transposition errors it is shown that $\frac32(n-2)(n+1)$ erroneous patterns are required in order to reconstruct an unknown permutation. Similar results are obtained for two particular cases when permutations are distorted by given transpositions. These results confirm some bounds for regular graphs which are also presented in this paper.


title: Twisted identities in Coxeter groups

abstract: Given a Coxeter system (W,S) equipped with an involutive automorphism T, the set of twisted identities is i(T) = {T(w)^{-1}w : w \in W}. We point out how i(T) shows up in several contexts and prove that if there is no s \in S such that sT(s) is of odd order greater than 1, then the Bruhat order on i(T) is a graded poset with rank function r given by halving the Coxeter length. Under the same condition, it is shown that the order complexes of the open intervals either are PL spheres or acyclic over the integers. In the general case, contractibility is shown for certain classes of intervals. Furthermore, we demonstrate that sometimes these posets are not graded. For the Poincar\'e series of i(T), i.e. its generating function with respect to r, a factorisation phenomenon is discussed.


title: Computing with nilpotent orbits in simple Lie algebras of exceptional type

abstract: Let G be a simple algebraic group over an algebraically closed field with Lie algebra g. Then the orbits of nilpotent elements of g under the adjoint action of G have been classified. We describe a simple algorithm for finding a representative of a nilpotent orbit. We use this to compute lists of representatives of these orbits for the Lie algebras of exceptional type. Then we give two applications. The first one concerns settling a conjecture by Elashvili on the index of centralizers of nilpotent orbits, for the case where the Lie algebra is of exceptional type. The second deals with minimal dimensions of double centralizers.


title: On solvable minimally transitive permutation groups

abstract: We investigate properties of finite transitive permutation groups $(G, \Omega)$ in which all proper subgroups of $G$ act intransitively on $\Omega.$ In particular, we are interested in reduction theorems for minimally transitive representations of solvable groups.


title: A Fatou-Bieberbach domain in C^2 which is not Runge

abstract: We give an example of a Fatou-Bieberbach domain which is not Runge in C^2.


title: Shock waves for the Burgers equation and curvatures of diffeomorphism groups

abstract: We establish a simple relation between curvatures of the group of volume-preserving diffeomorphisms and the lifespan of potential solutions to the inviscid Burgers equation before the appearance of shocks. We show that shock formation corresponds to a focal point of the group of volume-preserving diffeomorphisms regarded as a submanifold of the full diffeomorphism group and, consequently, to a conjugate point along a geodesic in the Wasserstein space of densities. This establishes an intrinsic connection between ideal Euler hydrodynamics (via Arnold's approach), shock formation in the multidimensional Burgers equation and the Wasserstein geometry of the space of densities.


title: The geometry of relations

abstract: There is a canonical way to associate two simplicial complexes K, L to any relation $R\subset X\times Y$. Moreover, the geometric realizations of K and L are homotopy equivalent. This was studied in the fifties by C.H. Dowker. In this article we prove a Galois-type correspondence for relations $R\subset X\times Y$ when X is fixed and use these constructions to investigate finite posets (or equivalently, finite topological spaces) from a geometrical point of view. Given any poset $(X, \leq)$, we define the simplicial complexes K, L associated to the relation $\leq$. In many cases these polyhedra have the same homotopy type as the standard simplicial complex C of nonempty finite chains in X. We give a complete characterization of the simplicial complexes that are the K or L-complexes of some finite poset and prove that K and L are geometrically equivalent to the smaller complexes K',L' induced by the relation <. More precisely, we prove that K (resp. L) simplicially collapses to K' (resp. L').


title: 2-Dimension from the topological viewpoint

abstract: In this paper we study the 2-dimension of a finite poset from the topological point of view. We use homotopy theory of finite topological spaces and the concept of a beat point to improve the classical results on 2-dimension, giving a more complete answer to the problem of all possible 2-dimensions of an n-point poset.


title: A Characterization of Subspaces and Quotients of Reflexive Banach Spaces with Unconditional Bases

abstract: We prove that the dual or any quotient of a separable reflexive Banach space with the unconditional tree property has the unconditional tree property. Then we prove that a separable reflexive Banach space with the unconditional tree property embeds into a reflexive Banach space with an unconditional basis. This solves several long standing open problems. In particular, it yields that a quotient of a reflexive Banach space with an unconditional finite dimensional decomposition embeds into a reflexive Banach space with an unconditional basis.


title: A Representation Theorem for Completely Contractive Dual Banach Algebras

abstract: In this paper, we prove that every completely contractive dual Banach algebra is completely isometric to a $w^\ast$-closed subalgebra the operator space of completely bounded linear operators on some reflexive operator space.


title: A geometric proof of the Karpelevich-Mostow's theorem

abstract: In this paper we give a geometric proof of the Karpelevich's theorem that asserts that a semisimple Lie subgroup of isometries, of a symmetric space of non compact type, has a totally geodesic orbit. In fact, this is equivalent to a well-known result of Mostow about existence of compatible Cartan decompositions.


title: On a Calderon-Zygmund commutator-type estimate

abstract: In this paper we extend a Calderon-Zygmund commutator-type estimate. This estimate enables us to prove an embedding result concerning weighted function spaces.


title: Bernstein-Szeg\H{o} measures on the two dimensional torus

abstract: We present a new viewpoint (namely, reproducing kernels) and new proofs for several recent results of J. Geronimo and H. Woerdeman on orthogonal polynomials on the two dimenional torus (and related subjects). In addition, we show how their results give a new proof of Ando's inequality via an equivalent version proven by Cole and Wermer. A simple necessary and sufficient condition for two variable polynomial stability is also given.


title: Orbital stability of standing wave solution for a quasilinear Schr\"{o}dinger equation

abstract: Via minimization arguments and Concentration Compactness Principle, we prove the orbital stability of standing wave solutions for a class of quasilinear Schr\"{o}dinger equation arising from physics.


title: Lorentzian symmetric spaces in supergravity

abstract: I will discuss the emergence of lorentzian symmetric spaces as supersymmetric supergravity backgrounds. I will focus on supergravity theories in dimension 11, 10, and 6, and will concentrate on the determination of the so-called maximally supersymmetric backgrounds, for which a classification exists up to local isometry. A special class of lorentzian symmetric spaces also plays a role in the determination of parallelisable supergravity backgrounds in type II supergravity, which I will also summarise. (To appear in the proceedings of the programme "Geometry of pseudo-riemannian manifolds with application to physics", hosted by the Erwin Schroedinger International Institute for Mathematical Physics.)


title: Notes on motives in finite characteristic

abstract: Motivic local systems over a curve in finite characteristic form a countable set endowed with an action of the absolute Galois group of rational numbers commuting with the Frobenius map. I will discuss three series of conjectures about such sets, based on an analogy with algebraic dynamics, on a formalism of commutative algebras of motivic integral operators, and on an analogy with 2-dimensional lattice models.


title: A theorem of Hrushovski-Solecki-Vershik applied to uniform and coarse embeddings of the Urysohn metric space

abstract: A theorem proved by Hrushovski for graphs and extended by Solecki and Vershik (independently from each other) to metric spaces leads to a stronger version of ultrahomogeneity of the infinite random graph $R$, the universal Urysohn metric space $\Ur$, and other related objects. We show how the result can be used to average out uniform and coarse embeddings of $\Ur$ (and its various counterparts) into normed spaces. Sometimes this leads to new embeddings of the same kind that are metric transforms and besides extend to affine representations of various isometry groups. As an application of this technique, we show that $\Ur$ admits neither a uniform nor a coarse embedding into a uniformly convex Banach space.


title: Association schemes, classical RCFT's, and centres of monoidal functor categories

abstract: Here we describe three straightforward examples of what was called a graphic Fourier transformation in [4]. At least two of these examples may be viewed simply as monoidal comonads on suitable monoidal closed functor categories, but the third example, which involves "centres" of monoidal closed functor categories, is generally not comonadic. For the first two examples (i.e., association schemes and RCFT's), a more elaborate "probicategory" set-up was envisaged in an earlier version of this note, but many readers missed the main point so it is simplified (hopefully) below.


title: Ruelle type L-functions versus determinants of Laplacians for torsion free abelian groups

abstract: We study Ruelle's type zeta and $L$-functions for a torsion free abelian group $\G$ of rank $\n\ge 2$ defined via an Euler product. It is shown that the imaginary axis is a natural boundary of this zeta function when $\n=2,4$ and 8, and in particular, such a zeta function has no determinant expression. Thus, conversely, expressions like Euler's product for the determinant of the Laplacians of the torus $\bR^{\n}/\G$ defined via zeta regularizations are investigated. Also, the limit behavior of an arithmetic function arising from the Ruelle type zeta function is observed.


title: Minimality properties of Tsirelson type spaces

abstract: In this paper, we study minimality properties of partly modified mixed Tsirelson spaces. A Banach space with a normalized basis (e_k) is said to be subsequentially minimal if for every normalized block basis (x_k) of (e_k), there is a further block (y_k) of (x_k) such that (y_k) is equivalent to a subsequence of (e_k). Sufficient conditions are given for a partly modified mixed Tsirelson space to be subsequentially minimal and connections with Bourgain's \ell^{1}-index are established. It is also shown that a large class of mixed Tsirelson spaces fails to be subsequentially minimal in a strong sense.


title: A symplectic manifold homeomorphic but not diffeomorphic to CP^2 # 3(-CP^2)

abstract: In this paper we construct a minimal symplectic 4-manifold and prove it is homeomorphic but not diffeomorphic to CP^2 # 3(-CP^2)


title: Hellinger vs. Kullback-Leibler multivariable spectrum approximation

abstract: In this paper, we study a matricial version of the Byrnes-Georgiou-Lindquist generalized moment problem with complexity constraint. We introduce a new metric on multivariable spectral densities induced by the family of their spectral factors which, in the scalar case, reduces to the Hellinger distance. We solve the corresponding constrained optimization problem via duality theory. A highly nontrivial existence theorem for the dual problem is established in the Byrnes-Lindquist spirit. A matricial Newton-type algorithm is finally provided for the numerical solution of the dual problem. Simulation indicates that the algorithm performs effectively and reliably.


title: The velocity translation in the game of "Life"

abstract: The velocity translation law for the patterns in the game of 'Life' is discovered. It is found for an arbitrary angle between the velocities in the moving reference frames. The formula differs from its physical prototype of special relativity but admits gentle reduction to the Galilean limit and provides absence of extra-light speeds.


title: Analytical moduli for unfoldings of saddle-node vector fields

abstract: In this paper we consider germs of k-parameter generic families of analytic 2-dimensional vector fields unfolding a saddle-node of codimension k and we give a complete modulus of analytic classification under orbital equivalence and a complete modulus of analytic classification under conjugacy. The modulus is an unfolding of the corresponding modulus for the vector field with the saddle-node. The point of view is to compare the family with a "model family" via an equivalence (conjugacy) over canonical sectors. This is done by studying the asymptotic homology of the leaves and its consequences for solutions of the cohomological equation.


title: On the global well-posedness of the critical quasi-geostrophic equation

abstract: We prove the global well-posedness of the critical dissipative quasi-geostrophic equation for large initial data belonging to the critical Besov space $\dot B^0_{\infty,1}(\RR^2).$


title: A Decomposition Theorem for frames and the Feichtinger Conjecture

abstract: In this paper we study the Feichtinger Conjecture in frame theory, which was recently shown to be equivalent to the 1959 Kadison-Singer Problem in $C^{*}$-Algebras. We will show that every bounded Bessel sequence can be decomposed into two subsets each of which is an arbitrarily small perturbation of a sequence with a finite orthogonal decomposition. This construction is then used to answer two open problems concerning the Feichtinger Conjecture: 1. The Feichtinger Conjecture is equivalent to the conjecture that every unit norm Bessel sequence is a finite union of frame sequences. 2. Every unit norm Bessel sequence is a finite union of sets each of which is $\omega$-independent for $\ell_2$-sequences.


title: Proof of the cases $p \leq 7$ of the Lieb-Seiringer formulation of the Bessis-Moussa-Villani conjecture

abstract: It is shown that the polynomial $\lambda(t) = {\rm Tr}[(A + tB)^p]$ has nonnegative coefficients when $p \leq 7$ and A and B are any two complex positive semidefinite $n \times n$ matrices with arbitrary $n$. This proofs a general nontrivial case of the Lieb-Seiringer formulation of the Bessis-Moussa-Villani conjecture which is a long standing problem in theoretical physics.


title: On the boundary of the pseudospectrum and its fault points

abstract: The theme of this paper was motivated by the question: How effective are path-following procedures for tracing the pseudospectral boundary? The present study of the mathematical properties of the boundary of the pseudospectrum is the result. This boundary is generally made up piecewise smooth curves. We shown how the Schur triangular form of the matrix can be used to analyse dynamical properties of the singular points on these curves.


title: The genus zero Gromov-Witten invariants of [Sym^2 P^2]

abstract: We study the Abramovich--Vistoli moduli space of genus zero orbifold stable maps to [Sym^2 P^2], the stack symmetric square of P^2. This compactifies the moduli space of stable maps from hyperelliptic curves to P^2, and we show that all genus zero Gromov--Witten invariants are determined from trivial enumerative geometry of hyperelliptic curves. We also show how the genus zero Gromov--Witten invariants can be used to determine the number of hyperelliptic curves of degree d and genus g interpolating 3d + 1 generic points in P^2. Comparing our method to that of Graber for calculating the same numbers, we verify an example of the crepant resolution conjecture.


title: Choquet order for spectra of higher Lame operators and orthogonal polynomials

abstract: We establish a hierarchy of weighted majorization relations for the singularities of generalized Lam\'e equations and the zeros of their Van Vleck and Heine-Stieltjes polynomials as well as for multiparameter spectral polynomials of higher Lam\'e operators. These relations translate into natural dilation and subordination properties in the Choquet order for certain probability measures associated with the aforementioned polynomials. As a consequence we obtain new inequalities for the moments and logarithmic potentials of the corresponding root-counting measures and their weak-$^*$ limits in the semi-classical and various thermodynamic asymptotic regimes. We also prove analogous results for systems of orthogonal polynomials such as Jacobi polynomials.


title: Parabolic Harnack inequality and heat kernel estimates for random walks with long range jumps

abstract: We investigate the relationships between the parabolic Harnack inequality, heat kernel estimates, some geometric conditions, and some analytic conditions for random walks with long range jumps. Unlike the case of diffusion processes, the parabolic Harnack inequality does not, in general, imply the corresponding heat kernel estimates.


title: Grandes valeurs et nombres champions de la fonction arithm\'etique de K\'almar

abstract: The Kalm\'ar function K(n) counts the ordered factorizations of n as a product of integers bigger than 1. We precise the maximal order of K(n) and give several properties of the K-champions, where n is a K-champion if K(m) < K(n) for all m < n.


title: Sur la Classification et le Denombrement des Sous-groupes du Groupe Modulaire et de leurs Classes de Conjugaison

abstract: In this article we give a classification of the sub-groups in PSL(2,Z) and of the conjugacy classes of these sub-groups by the mean of an combinatorial invariant: some trivalent diagrams (dotted or not). We give explicit formulae enabling to count the number of isomorphism classes of these structures and of some of their variations, as function of the number of their arcs. Until now, the counting of non-dotted diagrams was an open problem, for it gives also the number of unrooted combinatorial maps, triangular or general respectively. The article ends with the description of a high performance algorithm to enumerate those structures witch is built upon an unexpected factoring of the cycle index series of the considered combinatorial species.


title: Formal Geometric Quantization

abstract: The aim of this article is to study the functorial properties of the ``formal geometric quantization'' procedure which is defined for non-compact Hamiltonian manifolds (when the moment map is proper). For this purpose, we introduce a technique of symplectic cutting that uses the wonderfull compactification of Concini-Procesi.


title: Bayesian Inference for Linear Dynamic Models with Dirichlet Process Mixtures

abstract: Using Kalman techniques, it is possible to perform optimal estimation in linear Gaussian state-space models. We address here the case where the noise probability density functions are of unknown functional form. A flexible Bayesian nonparametric noise model based on Dirichlet process mixtures is introduced. Efficient Markov chain Monte Carlo and Sequential Monte Carlo methods are then developed to perform optimal batch and sequential estimation in such contexts. The algorithms are applied to blind deconvolution and change point detection. Experimental results on synthetic and real data demonstrate the efficiency of this approach in various contexts.


title: A randomized Kaczmarz algorithm with exponential convergence

abstract: The Kaczmarz method for solving linear systems of equations is an iterative algorithm that has found many applications ranging from computer tomography to digital signal processing. Despite the popularity of this method, useful theoretical estimates for its rate of convergence are still scarce. We introduce a randomized version of the Kaczmarz method for consistent, overdetermined linear systems and we prove that it converges with expected exponential rate. Furthermore, this is the first solver whose rate does not depend on the number of equations in the system. The solver does not even need to know the whole system, but only a small random part of it. It thus outperforms all previously known methods on general extremely overdetermined systems. Even for moderately overdetermined systems, numerical simulations as well as theoretical analysis reveal that our algorithm can converge faster than the celebrated conjugate gradient algorithm. Furthermore, our theory and numerical simulations confirm a prediction of Feichtinger et al. in the context of reconstructing bandlimited functions from nonuniform sampling.


title: Note on Integer Factoring Algorithms II

abstract: This note introduces a new class of integer factoring algorithms. Two versions of this method will be described, deterministic and probabilistic. These algorithms are practical, and can factor large classes of balanced integers N = pq, p < q < 2p in superpolynomial time. Further, an extension of the Fermat factoring method is proposed.


title: Every contact manifold can be given a non-fillable contact structure

abstract: Recently Francisco Presas Mata constructed the first examples of closed contact manifolds of dimension larger than 3 that contain a plastikstufe, and hence are non-fillable. Using contact surgery on his examples we create on every sphere S^{2n-1}, n>1, an exotic contact structure \xi_- that also contains a plastikstufe. As a consequence, every closed contact manifold M (except S^1) can be converted into a contact manifold that is not (semi-positively) fillable by taking the connected sum of M with (S^{2n-1},\xi_-).


title: A commutation theorem on Mellin transform on sheaves and the functor of solutions

abstract: We describe the complex of solutions of the algebraic Mellin transform of a $\mathcal{D}$-module $\mathcal{M}$ in terms of the solutions of $\mathcal{M}$. In order to do that, we define a Mellin functor on sheaves. We show the Mellin transform of the complex of rapid decay solutions of a regular holonomic $\mathcal{D}$-module $\mathcal{M}$ is quasi-isomorphic to the complex of solutions of the algebraic Mellin transform of $\mathcal{M}$, the assumption of regularity not being necessary in the one variable case.


title: Khovanov-Rozansky Graph Homology and Composition Product

abstract: In analogy with a recursive formula for the HOMFLY-PT polynomial of links given by Jaeger, we give a recursive formula for the graph polynomial introduced by Kauffman and Vogel. We show how this formula extends to the Khovanov-Rozansky graph homology.


title: Symmetry of global solutions to a class of fully nonlinear elliptic equations in 2D

abstract: We prove that entire bounded monotone solutions to a certain class of fully nonlinear equations in 2D are one-dimensional. Our result also gives a new (non-variational) proof of the well known De Giorgi's conjecture.


title: Rigorous confidence intervals for critical probabilities

abstract: We use the method of Balister, Bollobas and Walters to give rigorous 99.9999% confidence intervals for the critical probabilities for site and bond percolation on the 11 Archimedean lattices. In our computer calculations, the emphasis is on simplicity and ease of verification, rather than obtaining the best possible results. Nevertheless, we obtain intervals of width at most 0.0005 in all cases.


title: Poincar\'{e} type inequalities on the discrete cube and in the CAR algebra

abstract: We prove Lp Poincare inequalities for functions on the discrete cube and their discrete gradient. We thus recover an exponential inequality and the concentration phenomenon for the uniform probability on the cube first obtained by Bobkov and Gotze. Inequalities involving the discrete gradient and powers of the discrete Laplacian are also considered, for the Lp norm or more general ones. Similar results hold true, replacing functions on the cube by elements of the CAR algebra and considering the annihilation operators and the number operator.


title: Computing Genus-Zero Twisted Gromov-Witten Invariants

abstract: Twisted Gromov-Witten invariants are intersection numbers in moduli spaces of stable maps to a manifold or orbifold X which depend in addition on a vector bundle over X and an invertible multiplicative characteristic class. Special cases are closely related to local Gromov-Witten invariants of the bundle, and to genus-zero one-point invariants of complete intersections in X. We develop tools for computing genus-zero twisted Gromov-Witten invariants of orbifolds and apply them to several examples. We prove a "quantum Lefschetz theorem" which expresses genus-zero one-point Gromov-Witten invariants of a complete intersection in terms of those of the ambient orbifold X. We determine the genus-zero Gromov-Witten potential of the type A surface singularity C^2/Z_n. We also compute some genus-zero invariants of C^3/Z_3, verifying predictions of Aganagic-Bouchard-Klemm. In a self-contained Appendix, we determine the relationship between the quantum cohomology of the A_n surface singularity and that of its crepant resolution, thereby proving the Crepant Resolution Conjectures of Ruan and Bryan-Graber in this case.


title: On Fluid mechanics formulation of Monge-Kantorovich Mass Transfer Problem

abstract: The Monge-Kantorovich mass transfer problem is equivalently formulated as a convex optimization problem for a potential function. In the light of this formulation an interative algorithm is developed for determining the solution. It is a gradient flow algorithm and each iterate solves a linear elliptic equation. Well-posedness and convergence of the proposed method are analyzed and numerical findings are presented.


title: Self coincidence numbers and the fundamental group

abstract: For M and N closed oriented connected smooth manifolds of the same dimension, we consider the mapping space Map(M,N;f) of continuous maps homotopic to f:M--> N.We show that the evaluation map from the space of maps to the manifold N induces a nontrivial homomorphism on the fundamental group only if the self coincidence number of f equals zero. Since the self intersection number is equal to the product of the degree of f and the Euler--Poincare number of N, we obtain results related to earlier results about the evaluation map and the Euler--Poincare number.


title: Variation of Perimeter Measure in sub-Riemannian geometry

abstract: We derive a formula for the first variation of horizontal perimeter measure for $C^2$ hypersurfaces of completely general sub-Riemannian manifolds, allowing for the existence of characteristic points. For $C^2$ hypersurfaces in vertically rigid sub-Riemannian manifolds we also produce a second variation formula for variations supported away from the characteristic locus. This variation formula is used to show the bubble sets in \hn{2} are stable under volume preserving variations.


title: On unipotent flows in H(1,1)

abstract: We study the action of the horocycle flow on the moduli space of abelian differentials in genus two. In particular, we exhibit a classification of a specific class of probability measures that are invariant and ergodic under the horocycle flow on the stratum H(1,1).


title: Polyhedral representation conversion up to symmetries

abstract: We give a short survey on computational techniques which can be used to solve the representation conversion problem for polyhedra up to symmetries. We in particular discuss decomposition methods, which reduce the problem to a number of lower dimensional subproblems. These methods have been successfully used by different authors in special contexts. Moreover, we sketch an incremental method, which is a generalization of Fourier-Motzkin elimination, and we give some ideas how symmetry can be exploited using pivots.


title: Period and index in the Brauer group of an arithmetic surface (with an appendix by Daniel Krashen)

abstract: In this paper we introduce two new ways to split ramification of Brauer classes on surfaces using stacks. Each splitting method gives rise to a new moduli space of twisted stacky vector bundles. By studying the structure of these spaces we prove new results on the standard period-index conjecture. The first yields new bounds on the period-index relation for classes on curves over higher local fields, while the second can be used to relate the Hasse principle for forms of moduli spaces of stable vector bundles on pointed curves over global fields to the period-index problem for Brauer groups of arithmetic surfaces. We include an appendix by Daniel Krashen showing that the local period-index bounds are sharp.


title: Invariant metrics with nonnegative curvature on SO(4) and other Lie groups

abstract: We develop techniques for classifying the nonnegatively curved left-invariant metrics on a compact Lie group G. We prove rigidity theorems for general G and a partial classification for G=SO(4). Our approach is to reduce the general question to an infinitesimal version; namely, to classify the directions one can move away from a fixed bi-invariant metric such that curvature variation formulas predict nearby metrics are nonnnegatively curved.


title: Maximal Periods of (Ehrhart) Quasi-Polynomials

abstract: A \emph{quasi-polynomial} is a function defined of the form $q(k) = c_d(k) k^d + c_{d-1}(k) k^{d-1} + ... + c_0(k)$, where $c_0, c_1, ..., c_d$ are periodic functions in $k \in \Z$. Prominent examples of quasi-polynomials appear in Ehrhart's theory as integer-point counting functions for rational polytopes, and McMullen gives upper bounds for the periods of the $c_j(k)$ for Ehrhart quasi-polynomials. For generic polytopes, McMullen's bounds seem to be sharp, but sometimes smaller periods exist. We prove that the second leading coefficient of an Ehrhart quasi-polynomial always has maximal expected period and present a general theorem that yields maximal periods for the coefficients of certain quasi-polynomials. We present a construction for (Ehrhart) quasi-polynomials that exhibit maximal period behavior and use it to answer a question of Zaslavsky on convolutions of quasi-polynomials.


title: An efficient algorithm for accelerating the convergence of oscillatory series, useful for computing the polylogarithm and Hurwitz zeta functions

abstract: This paper sketches a technique for improving the rate of convergence of a general oscillatory sequence, and then applies this series acceleration algorithm to the polylogarithm and the Hurwitz zeta function. As such, it may be taken as an extension of the techniques given by Borwein's "An efficient algorithm for computing the Riemann zeta function", to more general series. The algorithm provides a rapid means of evaluating Li_s(z) for general values of complex s and the region of complex z values given by |z^2/(z-1)|<4. Alternatively, the Hurwitz zeta can be very rapidly evaluated by means of an Euler-Maclaurin series. The polylogarithm and the Hurwitz zeta are related, in that two evaluations of the one can be used to obtain a value of the other; thus, either algorithm can be used to evaluate either function. The Euler-Maclaurin series is a clear performance winner for the Hurwitz zeta, while the Borwein algorithm is superior for evaluating the polylogarithm in the kidney-shaped region. Both algorithms are superior to the simple Taylor's series or direct summation. The primary, concrete result of this paper is an algorithm allows the exploration of the Hurwitz zeta in the critical strip, where fast algorithms are otherwise unavailable. A discussion of the monodromy group of the polylogarithm is included.


title: On the growth of modular symbols

abstract: It is shown that the modular symbol of a cusp form of weight two has logarithmic growth.


title: On Potentially K_5-E_3-graphic Sequences

abstract: Let $K_m-H$ be the graph obtained from $K_m$ by removing the edges set $E(H)$ of $H$ where $H$ is a subgraph of $K_m$. In this paper, we characterize the potentially $K_5-P_3$, $K_5-A_3$, $K_5-K_3$ and $K_5-K_{1,3}$-graphic sequences where $A_3$ is $P_2\cup K_2$. Moreover, we also characterize the potentially $K_5-2K_2$-graphic sequences where $pK_2$ is the matching consisted of $p$ edges.


title: A remark on the Chebotarev theorem about roots of unity

abstract: Let $\Omega$ be a matrix with entries $a_{i,j}=\omega^{ij},$ $1\leq i,j \leq n,$ where $\omega=e^{2\pi \sqrt{-1}/n},$ $n\in \mathbb N.$ The Chebotarev theorem states that if $n$ is a prime then any minor of $\Omega$ is non-zero. In this note we provide an analogue of this statement for composite $n.$


title: Boundary singularities for weak solutions of semilinear elliptic problems

abstract: We construct positive weak solutions of a class of semilinear elliptic equation which vanish in suitable trace sense on the boundary of a given smooth bounded N-dimensional domain, but which are singular at prescribed isolated points of the boundary. Similar constructions are carried out for solutions which are singular on any given embedded submanifold of the boundary.


title: A simple proof of Kaijser's unique ergodicity result for hidden Markov $\alpha$-chains

abstract: According to a 1975 result of T. Kaijser, if some nonvanishing product of hidden Markov model (HMM) stepping matrices is subrectangular, and the underlying chain is aperiodic, the corresponding $\alpha$-chain has a unique invariant limiting measure $\lambda$. Here the $\alpha$-chain $\{\alpha_n\}=\{(\alpha_{ni})\}$ is given by \[\alpha_{ni}=P(X_n=i| Y_n,Y_{n-1},...),\] where $\{(X_n,Y_n)\}$ is a finite state HMM with unobserved Markov chain component $\{X_n\}$ and observed output component $\{Y_n\}$. This defines $\{\alpha_n\}$ as a stochastic process taking values in the probability simplex. It is not hard to see that $\{\alpha_n\}$ is itself a Markov chain. The stepping matrices $M(y)=(M(y)_{ij})$ give the probability that $(X_n,Y_n)=(j,y)$, conditional on $X_{n-1}=i$. A matrix is said to be subrectangular if the locations of its nonzero entries forms a cartesian product of a set of row indices and a set of column indices. Kaijser's result is based on an application of the Furstenberg--Kesten theory to the random matrix products $M(Y_1)M(Y_2)... M(Y_n)$. In this paper we prove a slightly stronger form of Kaijser's theorem with a simpler argument, exploiting the theory of e chains.


title: Continuous-time mean-variance efficiency: the 80% rule

abstract: This paper studies a continuous-time market where an agent, having specified an investment horizon and a targeted terminal mean return, seeks to minimize the variance of the return. The optimal portfolio of such a problem is called mean-variance efficient \`{a} la Markowitz. It is shown that, when the market coefficients are deterministic functions of time, a mean-variance efficient portfolio realizes the (discounted) targeted return on or before the terminal date with a probability greater than 0.8072. This number is universal irrespective of the market parameters, the targeted return and the length of the investment horizon.


title: Uniqueness of the Kontsevich-Vishik Trace

abstract: Let M be a closed manifold. We show that the Kontsevich-Vishik trace, which is defined on the set of all classical pseudodifferential operators on M, whose (complex) order is not an integer greater than or equal to -dim M, is the unique functional which (i) is linear on its domain, (ii) has the trace property and (iii) coincides with the L^2-operator trace on trace class operators. Also the extension to even-even pseudodifferential operators of arbitrary integer order on odd-dimensional manifolds and to even-odd pseudodifferential operators of arbitrary integer order on even-dimensional manifolds is unique.


title: Generalized Wilczynski invariants for non-linear ordinary differential equations

abstract: We show that classical Wilczynski--Se-ashi invariants of linear systems of ordinary differential equations are generalized in a natural way to contact invariants of non-linear ODEs. We explore geometric structures associated with equations that have vanishing generalized Wilczynski invariants and establish relationship of such equations with deformation theory of rational curves on complex algebraic surfaces.


title: Periodicity in the transient regime of exhaustive polling systems

abstract: We consider an exhaustive polling system with three nodes in its transient regime under a switching rule of generalized greedy type. We show that, for the system with Poisson arrivals and service times with finite second moment, the sequence of nodes visited by the server is eventually periodic almost surely. To do this, we construct a dynamical system, the triangle process, which we show has eventually periodic trajectories for almost all sets of parameters and in this case we show that the stochastic trajectories follow the deterministic ones a.s. We also show there are infinitely many sets of parameters where the triangle process has aperiodic trajectories and in such cases trajectories of the stochastic model are aperiodic with positive probability.


title: Differences of spectral projections and scattering matrix

abstract: In the scattering theory framework, we point out a connection between the spectrum of the scattering matrix of two operators and the spectrum of the difference of spectral projections of these operators.


title: Singularity Knots of Minimal Surfaces in $\mathbb{R}^4$

abstract: We study knots in $\mathbb{S}^3$ obtained by the intersection of a minimal surface in $\mathbb{R}^4$ with a small 3-sphere centered at a branch point. We construct examples of new minimal knots. In particular we show the existence of non-fibered minimal knots. We show that simple minimal knots are either reversible or fully amphicheiral; this yields an obstruction for a given knot to be an iterated knot of a minimal surface. Properties and invariants of these knots such as the algebraic crossing number of a braid representative and the Alexander polynomial are studied.


title: Existence and uniqueness results for the Gradient Vector Flow and geodesic active contours mixed model

abstract: This article deals with the so called GVF (Gradient Vector Flow) introduced by C. Xu, J.L. Prince . We give existence and uniqueness results for the front propagation flow for boundary extraction that was initiated by Paragios, Mellina-Gottardo et Ralmesh . The model combines the geodesic active contour flow and the GVF to determine the geometric flow. The motion equation is considered within a level set formulation to result an Hamilton-Jacobi equation.


title: Sample path large deviations for multiclass feedforward queueing networks in critical loading

abstract: We consider multiclass feedforward queueing networks with first in first out and priority service disciplines at the nodes, and class dependent deterministic routing between nodes. The random behavior of the network is constructed from cumulative arrival and service time processes which are assumed to satisfy an appropriate sample path large deviation principle. We establish logarithmic asymptotics of large deviations for waiting time, idle time, queue length, departure and sojourn-time processes in critical loading. This transfers similar results from Puhalskii about single class queueing networks with feedback to multiclass feedforward queueing networks, and complements diffusion approximation results from Peterson. An example with renewal inter arrival and service time processes yields the rate function of a reflected Brownian motion. The model directly captures stationary situations.


title: A survey on the K\"ahler-Ricci flow and Yau's uniformization conjecture

abstract: Yau's uniformization conjecture states: a complete noncompact K\"ahler manifold with positive holomorphic bisectional curvature is biholomorphic to $\ce^n$. The K\"ahler-Ricci flow has provided a powerful tool in understanding the conjecture, and has been used to verify the conjecture in several important cases. In this article we present a survey of the K\"ahler-Ricci flow with focus on its application to uniformization. Other interesting methods and results related to the study of Yau's conjecture are also discussed.


title: Poisson Fibrations and Fibered Symplectic Groupoids

abstract: We show that Poisson fibrations integrate to a special kind of symplectic fibrations, called fibered symplectic groupoids.


title: Discrete Ingham type inequalities with a weakened gap condition

abstract: We establish discrete Ingham type and Haraux type inequalities for exponential sums satisfying a weakened gap condition. They enable us to obtain discrete simultaneous observability theorems for systems of vibrating strings or beams.


title: On the Hausdorff dimension of regular points of inviscid Burgers equation with stable initial data

abstract: Consider an inviscid Burgers equation whose initial data is a Levy a-stable process Z with a > 1. We show that when Z has positive jumps, the Hausdorff dimension of the set of Lagrangian regular points associated with the equation is strictly smaller than 1/a, as soon as a is close to 1. This gives a negative answer to a conjecture of Janicki and Woyczynski. Along the way, we contradict a recent conjecture of Z. Shi about the lower tails of integrated stable processes.


title: A Theoretic Proof of the Four Color Theorem

abstract: Withdrwan by author


title: Robin functions and distortion theorems for regular mappings

abstract: Capacities of generalized condensers are applied to prove a two-point distortion theorem for conformal mappings. The result is expressed in terms of the Robin function and the Robin capacity with respect to the domain of definition of the mapping and subsets of the boundary of this domain. The behavior of Robin function under multivalent functions is studied. Some corollaries and examples of applications to distortion theorems for regular functions are given.


title: Second-Order Elliptic Integro-Differential Equations: Viscosity Solutions' Theory Revisited

abstract: The aim of this work is to revisit viscosity solutions' theory for second-order elliptic integro-differential equations and to provide a general framework which takes into account solutions with arbitrary growth at infinity. Our main contribution is a new Jensen-Ishii's Lemma for integro-differential equations, which is stated for solutions with no restriction on their growth at infinity. The proof of this result, which is of course a key ingredient to prove comparison principles, relies on a new definition of viscosity solution for integro-differential equation (equivalent to the two classical ones) which combines the approach with test-functions and sub-superjets.


title: Duistermaat-Heckman formula for a torus action on a generalized Calabi-Yau manifold and localization formula

abstract: This note is an addendum to our earlier work \cite{humi}. In \cite{humi}, we studied a Hamiltonian action for a generalized Calabi-Yau manifold and showed that the Duistermaat-Heckman theorem holds. The purpose of this note is to show that the density function of the Duistermaa-Heckman measure is a piecewise polynomial. We also prove that the localization formula holds.


title: Polar syzygies in characteristic zero: the monomial case

abstract: Given a set of forms f={f_1,...,f_m} in R=k[x_1,...,x_n], where k is a field of characteristic zero, we focus on the first syzygy module Z of the transposed Jacobian module D(f), whose elements are called differential syzygies of f. There is a distinct submodule P of Z coming from the polynomial relations of f through its transposed Jacobian matrix, the elements of which are called polar syzygies of f. We say that f is polarizable if equality P=Z holds. This paper is concerned with the situation where f are monomials of degree 2, in which case one can naturally associate to them a graph G(f) with loops and translate the problem into a combinatorial one. A main result is a complete combinatorial characterization of polarizability in terms of special configurations in this graph. As a consequence, we show that polarizability implies normality of the subalgebra k[f] of R and that the converse holds provided the graph G(f) is free of certain degenerate configurations. One main combinatorial class of polarizability is the class of polymatroidal sets. We also prove that if the edge graph of G(f) has diameter at most 2 then f is polarizable. We establish a curious connection with birationality of rational maps defined by monomial quadrics.


title: Embeddings of locally finite metric spaces into Banach spaces

abstract: We show that if X is a Banach space without cotype, then every locally finite metric space embeds metrically into X.


title: Enumerating the Classes of Local Equivalency in Graphs

abstract: There are local operators on (labeled) graphs $G$ with labels $(g_{ij})$ coming from a finite field. If the filed is binary, in other words, if the graph is ordinary, the operation is just the local complementation. That is, to choose a vertex and complement the subgraph induced by its neighbors. But, in the general case, there are two different types of operators. The first type is the following. Let $v$ be a vertex of the graph and $a\in \mathbf{F}_q$, the finite field of $q$ elements. The operator is to obtain a graph with labels $g'_{ij}=g_{ij}+ag_{vi}g_{vj}$. For the second type of operators, let $0\neq b\in \mathbf{F}_q$ and the resulted graph is a graph with labels $g''_{vi}=bg_{vi}$ and $g''_{ij}=g_{ij}$, for $i,j$ unequal to $v$. The local complementation operator (binary case) has appeared in combinatorial theory, and its properties have studied in the literature. Recently, a profound relation between local operators on graphs and quantum stabilizer codes has been found, and it has become a natural question to recognize equivalency classes under these operators. In the present article, we show that the number of graphs locally equivalent to a given graph is at most $q^{2n+1}$, and consequently, the number of classes of local equivalency is $q^{\frac{n^2}{2}-o(n)}$.


title: Formal deformations, contractions and moduli spaces of Lie algebras

abstract: Jump deformations and contractions of Lie algebras are inverse concepts, but the approaches to their computations are quite different. In this paper, we contrast the two approaches, showing how to compute jump deformations from the miniversal deformation of a Lie algebra, and thus arrive at the contractions. We also compute contractions directly. We use the moduli spaces of real 3-dimensional and complex 3 and 4-dimensional Lie algebras as models for explaining a deformation theory approach to computation of contractions.


title: Schwarz-Pick inequalities for the Schur-Agler class on the polydisk and unit ball

abstract: The notion of a unitary realization is used to estimate derivatives of arbitrary order of functions in the Schur-Agler class on the polydisk and unit ball.


title: A note on spaces of symmetric matrices

abstract: We calculate the maximal dimension of linear spaces of symmetric and hermitian matrices with given high rank, generalizing a well-known result of Adams {\em et al.}


title: Dirac operators on manifolds with periodic ends

abstract: This paper studies Dirac operators on end-periodic spin manifolds of dimension at least 4. We provide a sufficient condition for such an operator to be Fredholm for a generic end-periodic metric; this condition is shown to be necessary in dimension 4. We make use of end-periodic Dirac operators to give an analytical interpretation of an invariant of non-orientable smooth 4-manifolds due to Cappell and Shaneson. From this interpretation we show that some exotic non-orientable 4-manifolds do not admit a metric of positive scalar curvature.


title: On the determination of Kazhdan-Lusztig cells in affine Weyl groups with unequal parameters

abstract: Let W be a Coxeter group and L be a weight function on W. Following Lusztig, we have a corresponding decomposition of W into left cells, which have important applications in representation theory. We study the case where $W$ is an affine Weyl group of type $\tilde{G_{2}}$. Using explicit computation with \textsf{CHEVIE}, we show that (1) there are only finitely many possible decompositions into left cells and (2) the number of left cells is finite in each case, thus confirming some of Lusztig's conjectures in this case. For the proof, we show some equalities on the Kazhdan-Lusztig polynomials which hold for any affine Weyl groups.


title: Quasi-homomorphisms on mapping class groups

abstract: We refine the construction of quasi-homomorphisms on mapping class groups. It is useful to know that there are unbounded quasi-homomorphisms which are bounded when restricted to particular subgroups since then one deduces that the mapping class group is not boundedly generated by these subgroups. In this note we enlarge the class of such subgroups. The generalization is motivated by considerations in first order theory of free groups.


title: A characterization of higher rank symmetric spaces via bounded cohomology

abstract: Let $M$ be complete nonpositively curved Riemannian manifold of finite volume whose fundamental group $\Gamma$ does not contain a finite index subgroup which is a product of infinite groups. We show that the universal cover $\tilde M$ is a higher rank symmetric space iff $H^2_b(M;\R)\to H^2(M;\R)$ is injective (and otherwise the kernel is infinite-dimensional). This is the converse of a theorem of Burger-Monod. The proof uses the celebrated Rank Rigidity Theorem, as well as a new construction of quasi-homomorphisms on groups that act on CAT(0) spaces and contain rank 1 elements.


title: Remarks on the Zeros of the Associated Legendre Functions with Integral Degree

abstract: We present some formulas for the computation of the zeros of the integral-degree associated Legendre functions with respect to the order.


title: On the space of oriented geodesics of hyperbolic 3-space

abstract: We construct a K\"ahler structure (${\mathbb{J}},\Omega,{\mathbb{G}}$) on the space ${\mathbb{L}}({\mathbb{H}}^3)$ of oriented geodesics of hyperbolic 3-space ${\mathbb{H}}^3$ and investigate its properties. We prove that (${\mathbb{L}}({\mathbb{H}}^3),{\mathbb{J}})$ is biholomorphic to ${\mathbb{P}}^1\times{\mathbb{P}}^1-\bar{\Delta}$, where $\bar{\Delta}$ is the reflected diagonal, and that the K\"ahler metric ${\mathbb{G}}$ is of neutral signature, conformally flat and scalar flat. We establish that the identity component of the isometry group of the metric ${\mathbb{G}}$ on ${\mathbb{L}}({\mathbb{H}}^3)$ is isomorphic to the identity component of the hyperbolic isometry group. Finally, we show that the geodesics of ${\mathbb{G}}$ correspond to ruled minimal surfaces in ${\mathbb{H}}^3$, which are totally geodesic iff the geodesics are null.


title: Combinatorial Formulae for Nested Bethe Vectors

abstract: We give combinatorial formulae for vector-valued weight functions (off-shell nested Bethe vectors) for tensor products of irreducible evaluation modules over the Yangian $Y({\mathfrak{gl}}_N)$ and the quantum affine algebra $U_q(\widetilde{{\mathfrak{gl}}_N})$. The results of the paper were obtained in 1998 and were used in math.QA/9905137, math.QA/0302148, math.QA/0610517.


title: Connections on a parabolic principal bundle, II

abstract: In \cite{Bi2} (Canad. Jour. Math. Vol. 58) we defined connections on a parabolic principal bundle. While connections on usual principal bundles are defined as splittings of the Atiyah exact sequence, it was noted in \cite{Bi2} that the Atiyah exact sequence does not generalize to the parabolic principal bundles. Here we show that a twisted version of the Atiyah exact sequence generalize to the context of parabolic principal bundles. For usual principal bundles, giving a splitting of this twisted Atiyah exact sequence is equivalent to giving a splitting of the Atiyah exact sequence. Connections on a parabolic principal bundle can be defined using the generalization of the twisted Atiyah exact sequence.


title: Infinitely Often Dense Bases of Integers with a Prescribed Representation Function

abstract: Nathanson constructed asymptotic bases for the integers with a prescribed representation function, then asked how dense they can be. We can easily obtain an upper bound using a simple argument. In this paper, we will see this is indeed the best bound we can get for asymptotic bases for the integers with an arbitrary representation function prescribed.


title: Laurent Polynomials and Superintegrable Maps

abstract: This article is dedicated to the memory of Vadim Kuznetsov, and begins with some of the author's recollections of him. Thereafter, a brief review of Somos sequences is provided, with particular focus being made on the integrable structure of Somos-4 recurrences, and on the Laurent property. Subsequently a family of fourth-order recurrences that share the Laurent property are considered, which are equivalent to Poisson maps in four dimensions. Two of these maps turn out to be superintegrable, and their iteration furnishes infinitely many solutions of some associated quartic Diophantine equations.


title: $\R$-trees and laminations for free groups II: The dual lamination of an $\R$-tree

abstract: This is the second part of a series of three articles which introduce laminations for free groups (see math.GR/0609416 for the first part). Several definition of the dual lamination of a very small action of a free group on an $\R$-tree are given and proved to be equivalent.


title: BCR algorithm and the $T(b)$ theorem

abstract: We show using the Beylkin-Coifman-Rokhlin algorithm in the Haar basis that any singular integral operator can be written as the sum of a bounded operator on $L^p$, $1<p<\infty$, and of a perfect dyadic singular integral operator. This allows to deduce a local $T(b)$ theorem for singular integral operators from the one for perfect dyadic singular integral operators obtained by Hofmann, Muscalu, Thiele, Tao and the first author.


title: A note on the generic initial ideal for complete intersections

abstract: We prove that the $d$-component of the generic initial ideal, with respect to the reverse lexicographic order, of an ideal generated by a regular sequence of homogeneous polynomials of degree $d$ is revlex in a particular, but important, case. Using this property, we compute the generic initial ideal for several complete intersection with strong Lefschetz property.


title: Localisation of Geometric Anisotropy

abstract: The class of 2-D nonseparable geometrically anisotropic localisation operators is defined, containing highly anisotropic nearly unidirectional localisation operators, as well as isotropic localisation operators. A continuum of anisotropic operators between the extremes of near unidirectionality and isotropy are treated in a single class. The eigensystem of any given operator in this family is determined, thus specifying geometrically anisotropic optimally concentrated functions, and their degree of localisation.


title: Correspondences with split polynomial equations

abstract: We introduce endomorphisms of special jacobians and show that they satisfy polynomial equations with all integer roots which we compute. The eigen-abelian varieties for these endomorphisms are generalizations of Prym-Tjurin varieties and naturally contain special curves representing cohomology classes which are not expected to be represented by curves in generic abelian varieties.


title: Local Models in the ramified case. III. Unitary groups

abstract: We continue our study of the reduction of PEL Shimura varieties with parahoric level structure at primes p at which the group that defines the Shimura variety ramifies. We describe "good" $p$-adic integral models of these Shimura varieties and study their 'etale local structure. In this paper we mainly concentrate on the case of unitary groups for a ramified quadratic extension. Some of our results are applications of the theory of twisted affine flag varieties in our previous paper math.AG/0607130.


title: On the classification of rank two representations of quasiprojective fundamental groups

abstract: Suppose $X$ is a smooth quasiprojective variety over $\cc$ and $\rho : \pi _1(X,x) \to SL(2,\cc)$ is a Zariski-dense representation with quasiunipotent monodromy at infinity. Then $\rho$ factors through a map $X\to Y$ with $Y$ either a DM-curve or a Shimura modular stack.


title: Obstruction to lagrangian transversality

abstract: We give a necessary and sufficient condition for lagrangians in a symplectic vector bundle to be deformed stably into transversal lagrangians. In the case of three lagrangians, we show that the associated Grothendieck group can be identified with a Hermitian K-theory group.


title: Curvature decomposition of G_2 manifolds

abstract: Explicit formulas for the $G_2$-components of the Riemannian curvature tensor on a manifold with a $G_2$ structure are given in terms of Ricci contractions. We define a conformally invariant Ricci-type tensor that determines the 27-dimensional part of the Weyl tensor and show that its vanishing on compact $G_2$ manifold with closed fundamental form forces the three-form to be parallel. A topological obstruction for the existence of a $G_2$ structure with closed fundamental form is obtained in terms of the integral norms of the curvature components. We produce integral inequalities for closed $G_2$ manifold and investigate limiting cases. We make a study of warped products and cohomogeneity-one $G_2$ manifolds. As a consequence every Fern\'andez-Gray type of $G_2$ structure whose scalar curvature vanishes may be realized such that the metric has holonomy contained in $G_2$.


title: Cofibrantly generated natural weak factorisation systems

abstract: There is an ``algebraisation'' of the notion of weak factorisation system (w.f.s.) known as a natural weak factorisation system. In it, the two classes of maps of a w.f.s. are replaced by two categories of maps-with-structure, where the extra structure on a map now encodes a choice of liftings with respect to the other class. This extra structure has pleasant consequences: for example, a natural w.f.s. on C induces a canonical natural w.f.s. structure on any functor category [A, C]. In this paper, we define cofibrantly generated natural weak factorisation systems by analogy with cofibrantly generated w.f.s.'s. We then construct them by a method which is reminiscent of Quillen's small object argument but produces factorisations which are much smaller and easier to handle, and show that the resultant natural w.f.s. is, in a suitable sense, freely generated by its generating cofibrations. Finally, we show that the two categories of maps-with-structure for a natural w.f.s. are closed under all the constructions we would expect of them: (co)limits, pushouts / pullbacks, transfinite composition, and so on.


title: Calibrations associated to Monge-Ampere equations

abstract: We show the volume maximizing property of the special Lagrangian submanifolds of a pseudo-Euclidean space. These special Lagrangian submanifolds arise locally as gradient graphs of solutions to Monge-Ampere Equations.


title: Dependent theories and the generic pair conjecture

abstract: We try to understand complete types over a somewhat saturated model of a complete first order theory which is dependent (previously called NIP), by "decomposition theorems for such types". Our thesis is that the picture of dependent theory is the combination of the one for stable theories and the one for the theory of dense linear order or trees (and first we should try to understand the quite saturated case). As a measure of our progress, we give several applications considering some test questions; in particular we try to prove the generic pair conjecture and do it for measurable cardinals.


title: Test Groups for Whitehead Groups

abstract: We consider the question of when the dual of a Whitehead group is a test group for Whitehead groups. This turns out to be equivalent to the question of when the tensor product of two Whitehead groups is Whitehead. We investigate what happens in different models of set theory.


title: On kernels of cellular covers

abstract: In the present paper we continue to examine cellular covers of groups, focusing on the cardinality and the structure of the kernel K of the cellular map G-> M . We show that in general a torsion free reduced abelian group M may have a proper class of non-isomorphic cellular covers. In other words, the cardinality of the kernels is unbounded. In the opposite direction we show that if the kernel of a cellular cover of any group M has certain ``freeness'' properties, then its cardinality must be bounded.


title: Lindelof spaces of singular density

abstract: A cardinal lambda is called omega-inaccessible if for all mu < lambda we have mu^omega<lambda. We show that for every omega-inaccessible cardinal lambda there is a CCC (hence cardinality and cofinality preserving) forcing that adds a hereditarily Lindelof regular space of density lambda. This extends an analogous earlier result of ours that only worked for regular lambda.


title: Resolvability vs. almost resolvability

abstract: A space X is kappa-resolvable (resp. almost kappa-resolvable) if it contains kappa dense sets that are pairwise disjoint (resp. almost disjoint over the ideal of nowhere dense subsets of X). Answering a problem raised by Juhasz, Soukup, and Szentmiklossy, and improving a consistency result of Comfort and Hu, we prove, in ZFC, that for every infinite cardinal {kappa} there is an almost 2^{kappa}-resolvable but not {omega}_1-resolvable space of dispersion character {kappa} .


title: Asymptotically Hyperbolic Metrics on Unit Ball Admitting Multiple Horizons

abstract: In this paper, we construct an asymptotically hyperbolic metric with scalar curvature -6 on unit ball $\mathbf{D}^3$, which contains multiple horizons.


title: Notes on two-parameter quantum groups, (I)

abstract: A simpler definition for a class of two-parameter quantum groups associated to semisimple Lie algebras is given in terms of Euler form. Their positive parts turn out to be 2-cocycle deformations of each other under some conditions. An operator realization of the positive part is given.


title: Derived Algebraic Geometry II: Noncommutative Algebra

abstract: In this paper, we present an infinity-categorical version of the theory of monoidal categories. We show that the infinity category of spectra admits an essentially unique monoidal structure (such that the tensor product preserves colimits in each variable), and thereby recover the classical smash-product operation on spectra. We develop a general theory of algebras in a monoidal infinity category, which we use to (re)prove some basic results in the theory of associative ring spectra. We also develop an infinity-categorical theory of monads, and prove a version of the Barr-Beck theorem.


title: An efficient algorithm for the computation of Bernoulli numbers

abstract: This article gives a direct formula for the computation of B(n) using the asymptotic formula $$B (n) \approx 2 {\frac {n!}{{\pi}^{n}{2}^{n}}}$$ where n is even and $n >> 1$. This is simply based on the fact that $\zeta (n)$ is very near 1 when n is large and since $B (n) = 2 {\frac {\zeta (n) n!}{{\pi}^{n}{2}^{n}}}$ exactly. The formula chosen for the Zeta function is the one with prime numbers from the well-known Euler product for $\zeta (n)$. This algorithm is far better than the recurrence formula for the Bernoulli numbers even if each B(n) is computed individually. The author could compute $B (750,000)$ in a few hours. The current record of computation is now (as of Feb. 2007) $B (5,000,000)$ a number of (the numerator) of 27332507 decimal digits is also based on that idea.


title: Information-theoretic limits on sparsity recovery in the high-dimensional and noisy setting

abstract: The problem of recovering the sparsity pattern of a fixed but unknown vector $\beta^* \in \real^p based on a set of $n$ noisy observations arises in a variety of settings, including subset selection in regression, graphical model selection, signal denoising, compressive sensing, and constructive approximation. Of interest are conditions on the model dimension $p$, the sparsity index $s$ (number of non-zero entries in $\beta^*$), and the number of observations $n$ that are necessary and/or sufficient to ensure asymptotically perfect recovery of the sparsity pattern. This paper focuses on the information-theoretic limits of sparsity recovery: in particular, for a noisy linear observation model based on measurement vectors drawn from the standard Gaussian ensemble, we derive both a set of sufficient conditions for asymptotically perfect recovery using the optimal decoder, as well as a set of necessary conditions that any decoder, regardless of its computational complexity, must satisfy for perfect recovery. This analysis of optimal decoding limits complements our previous work (ARXIV: math.ST/0605740) on sharp thresholds for sparsity recovery using the Lasso ($\ell_1$-constrained quadratic programming) with Gaussian measurement ensembles.


title: Bounded derived categories and repetitive algebras

abstract: By a theorem due to the first author, the bounded derived category of a finite-dimensional algebra over a field embeds fully faithfully into the stable category over its repetitive algebra. This embedding is an equivalence iff the algebra is of finite global dimension. The purpose of this paper is to investigate the relationship between the derived category and the stable category over the repetitive algebra from various points of view for algebras of infinite global dimension. The most satisfactory results are obtained for Gorenstein algebras, especially for selfinjective algebras.


title: A Note on the Stability and Uniqueness for Solutions to the Minimal Surface System

abstract: In this note, we show that the solution to the Dirichlet problem for the minimal surface system in any codimension is unique in the space of distance-decreasing maps. This follows as a corollary of the following stability theorem: if a minimal submanifold $\Sigma$ is the graph of a (strictly) distance-decreasing map, then $\Sigma$ is (strictly) stable. It is known that a minimal graph of codimension one is stable without assuming the distance-decreasing condition. We give another criterion for the stability in terms of the two-Jacobians of the map which in particular covers the codimension one case. All theorems are proved in the more general setting for minimal maps between Riemannian manifolds.


title: Homogenization of periodic linear degenerate PDEs

abstract: It is well-known under the name of `periodic homogenization' that, under a centering condition of the drift, a periodic diffusion process on R^d converges, under diffusive rescaling, to a d-dimensional Brownian motion. Existing proofs of this result all rely on uniform ellipticity or hypoellipticity assumptions on the diffusion. In this paper, we considerably weaken these assumptions in order to allow for the diffusion coefficient to even vanish on an open set. As a consequence, it is no longer the case that the effective diffusivity matrix is necessarily non-degenerate. It turns out that, provided that some very weak regularity conditions are met, the range of the effective diffusivity matrix can be read off the shape of the support of the invariant measure for the periodic diffusion. In particular, this gives some easily verifiable conditions for the effective diffusivity matrix to be of full rank. We also discuss the application of our results to the homogenization of a class of elliptic and parabolic PDEs.


title: Mapped Null Hypersurfaces and Legendrian Maps

abstract: For an $(m+1)$-dimensional space-time $(X^{m+1}, g),$ define a mapped null hypersurface to be a smooth map $\nu:N^{m}\to X^{m+1}$ (that is not necessarily an immersion) such that there exists a smooth field of null lines along $\nu$ that are both tangent and $g$-orthogonal to $\nu.$ We study relations between mapped null hypersurfaces and Legendrian maps to the spherical cotangent bundle $ST^*M$ of an immersed spacelike hypersurface $\mu:M^m\to X^{m+1}.$ We show that a Legendrian map $\wt \lambda: L^{m-1}\to (ST^*M)^{2m-1}$ defines a mapped null hypersurface in $X.$ On the other hand, the intersection of a mapped null hypersurface $\nu:N^m\to X^{m+1}$ with an immersed spacelike hypersurface $\mu':M'^m\to X^{m+1}$ defines a Legendrian map to the spherical cotangent bundle $ST^*M'.$ This map is a Legendrian immersion if $\nu$ came from a Legendrian immersion to $ST^*M$ for some immersed spacelike hypersurface $\mu:M^m\to X^{m+1}.$


title: A quenched invariance principle for certain ballistic random walks in i.i.d. environments

abstract: We prove that every random walk in i.i.d. environment in dimension greater than or equal to 2 that has an almost sure positive speed in a certain direction, an annealed invariance principle and some mild integrability condition for regeneration times also satisfies a quenched invariance principle. The argument is based on intersection estimates and a theorem of Bolthausen and Sznitman.


title: On deformations of flag manifolds with b2=1, part 2

abstract: A new proof of the assertion, that any global kaehler deformation of a flag manifold F with b2=1 is biholomorphic to F. Essential use is made of rational connected properties of F


title: Global Behavior of Spherically Symmetric Navier-Stokes Equations with Degenerate Viscosity Coefficients

abstract: In this paper, we study a free boundary problem for compressible spherically symmetric Navier-Stokes equations with a gravitational force and degenerate viscosity coefficients. Under certain assumptions that imposed on the initial data, we obtain the global existence and uniqueness of the weak solution and give some uniform bounds (with respect to time) of the solution. Moreover, we obtain some stabilization rate estimates in $L^\infty$-norm and weighted $H^1$-norm of the solution. The results show that such system is stable under the small perturbations, and could be applied to the astrophysics.


title: $P(\omega)/{\rm fin}$ and projections in the Calkin algebra

abstract: We investigate the set-theoretic properties of the lattice of projections in the Calkin algebra of a separable infinite-dimensional Hilbert space in relation to those of the Boolean algebra $P(\omega)/{\rm fin}$, which is isomorphic to the sublattice of diagonal projections. In particular, we prove some basic consistency results about the possible cofinalities of well-ordered sequences of projections and the possible cardinalities of sets of mutually orthogonal projections that are analogous to well-known results about $P(\omega)/{\rm fin}$.


title: On p-adic twisted Euler (h,q)-l-function

abstract: In this paper, we will constructed p-adic twisted q-l-functions which is a part of answer of the question in [8]. Finally, we will treat many interesting properties related to twisted q-Euler numbers and polynomials.