title: Massey products in graded Lie algebra cohomology

abstract: We discuss Massey products in a N-graded Lie algebra cohomology. One of the main examples is the positive part L_1 of the Witt algebra $W$. We consider an associated graded algebra m_0 of L_1 with respect to the descending central series and prove that H*(m_0) is generated with respect to non-trivial Massey products by one cohomology H^1(m_0).


title: Classification of linearly compact simple Jordan and generalized Poisson superalgebras

abstract: We classify all linearly compact simple Jordan superalgebras over an algebraically closed field of characteristic zero. As a corollary, we deduce the classification of all linearly compact unital simple generalized Poisson superalgebras.


title: Simple permutations and algebraic generating functions

abstract: A simple permutation is one that does not map a nontrivial interval onto an interval. It was recently proved by Albert and Atkinson that a permutation class with only finitely simple permutations has an algebraic generating function. We extend this result to enumerate permutations in such a class satisfying additional properties, e.g., the even permutations, the involutions, the permutations avoiding generalised permutations, and so on.


title: Playing with the critical point. An experiment with the Mandelbrot set connectivity

abstract: By means of a graphical journey across the Mandelbrot set for the classic quadratic iterator $f(z):z^2+q$, we illustrate how connectivity breaks as the seed $z_0$ is no longer at the critical point of $f(z)$. Finally we suggest an attack to the MLC conjecture.


title: Guaranteed Transient Performance with $\mathcal{L}_1$ Adaptive Controller for Systems with Unknown Time-varying Parameters: Part I

abstract: This paper presents a novel adaptive control methodology for uncertain systems with time-varying unknown parameters and time-varying bounded disturbance. The adaptive controller ensures uniformly bounded transient and asymptotic tracking for system's both signals, input and output, simultaneously. The performance bounds can be systematically improved by increasing the adaptation gain. Simulations of a robotic arm with time-varying friction verify the theoretical findings.


title: Stability Margins of $\mathcal{L}_1$ Adaptive Controller: Part II

abstract: In Part I of this paper, we have developed a novel $\mathcal{L}_1$ adaptive control architecture that enables fast adaptation and leads to uniformly bounded transient and asymptotic tracking for system's both signals, input and output, simultaneously. In this paper, we derive the stability margins of $\mathcal{L}_1$ adaptive control architecture, including time-delay and gain margins in the presence of time-varying bounded disturbance. Simulations verify the theoretical findings.


title: Characteristic classes of A-infinity algebras

abstract: A standard combinatorial construction, due to Kontsevich, associates to any A-infinity algebra with an invariant inner product, an inhomogeneous class in the cohomology of the moduli spaces of Riemann surfaces with marked points. We describe an alternative version of this construction based on noncommutative geometry and use it to prove that homotopy equivalent algebras give rise to the same cohomology classes. Along the way we re-prove Kontsevich's theorem relating graph homology to the homology of certain infinite-dimensional Lie algebras. An application to topological conformal field theories is given.


title: Orbifolds as a localization of the 2-category of groupoids

abstract: We build a concrete and natural model for the strict 2-category of orbifolds. In particular we prove that if one localizes the 2-category of proper etale Lie groupoids at a class of 1-arrows that we call "covers", then the strict 2-category structure drops down to the localization. In our construction the spaces of 1- and 2-arrows admit natural topologies, the space of morphisms (1-arrows) between two orbifolds is naturally a groupoid and the symmetries of an orbifold form a strict 2-group.


title: Problems on Polytopes, Their Groups, and Realizations

abstract: The paper gives a collection of open problems on abstract polytopes that were either presented at the Polytopes Day in Calgary or motivated by discussions at the preceding Workshop on Convex and Abstract Polytopes at the Banff International Research Station in May 2005.


title: Mixed powers of generating functions

abstract: Given an integer m>=1, let || || be a norm in R^{m+1} and let S denote the set of points with nonnegative coordinates in the unit sphere with respect to this norm. Consider for each 1<= j<= m a function f_j(z) that is analytic in an open neighborhood of the point z=0 in the complex plane and with possibly negative Taylor coefficients. Given a vector n=(n_0,...,n_m) with nonnegative integer coefficients, we develop a method to systematically associate a parameter-varying integral to study the asymptotic behavior of the coefficient of z^{n_0} of the Taylor series of (f_1(z))^{n_1}...(f_m(z))^{n_m}, as ||n|| tends to infinity. The associated parameter-varying integral has a phase term with well specified properties that make the asymptotic analysis of the integral amenable to saddle-point methods: for many directions d in S, these methods ensure uniform asymptotic expansions for the Taylor coefficient of z^{n_0} of (f_1(z))^{n_1}...(f_m(z))^{n_m}, provided that n/||n|| stays sufficiently close to d as ||n|| blows up to infinity. Our method finds applications in studying the asymptotic behavior of the coefficients of a certain multivariable generating functions as well as in problems related to the Lagrange inversion formula for instance in the context random planar maps.


title: Singularities of Lagrangian mean curvature flow: zero-Maslov class case

abstract: We study singularities of Lagrangian mean curvature flow in $\C^n$ when the initial condition is a zero-Maslov class Lagrangian. We start by showing that, in this setting, singularities are unavoidable. More precisely, we construct Lagrangians with arbitrarily small Lagrangian angle and Lagrangians which are Hamiltonian isotopic to a plane that, nevertheless, develop finite time singularities under mean curvature flow. We then prove two theorems regarding the tangent flow at a singularity when the initial condition is a zero-Maslov class Lagrangian. The first one (Theorem A) states that that the rescaled flow at a singularity converges weakly to a finite union of area-minimizing Lagrangian cones. The second theorem (Theorem B) states that, under the additional assumptions that the initial condition is an almost-calibrated and rational Lagrangian, connected components of the rescaled flow converges to a single area-minimizing Lagrangian cone, as opposed to a possible non-area-minimizing union of area-minimizing Lagrangian cones. The latter condition is dense for Lagrangians with finitely generated $H_1(L,\Z)$.


title: Order of current variance and diffusivity in the asymmetric simple exclusion process

abstract: We prove that the variance of the current across a characteristic is of order t^{2/3} in a stationary asymmetric simple exclusion process, and that the diffusivity has order t^{1/3}. The proof proceeds via couplings to show the corresponding results for the expected deviations and variance of a second class particle.


title: Singularities of Lagrangian mean curvature flow: monotone case

abstract: We study the formation of singularities for the mean curvature flow of monotone Lagrangians in $\C^n$. More precisely, we show that if singularities happen before a critical time then the tangent flow can be decomposed into a finite union of area-minimizing Lagrangian cones (Slag cones). When $n=2$, we can improve this result by showing that connected components of the rescaled flow converge to an area-minimizing cone, as opposed to possible non-area minimizing union of Slag cones. In the last section, we give specific examples for which such singularity formation occurs.


title: Levy Processes, Generators

abstract: For a broad class of the Levy processes the new form (convolution type) of the infinitesimal generators is introduced. It leads to the new notions: a truncated generator, a quasi-potential. The probability of the Levy process remaining within the given domain is estimated.


title: Metric derived numbers and continuous metric differentiability via homeomorphisms

abstract: We define the notions of unilateral metric derivatives and ``metric derived numbers'' in analogy with Dini derivatives (also referred to as ``derived numbers'') and establish their basic properties. We also prove that the set of points where a path with values in a metric space with continuous metric derivative is not ``metrically differentiable'' (in a certain strong sense) is $\sigma$-symmetrically porous and provide an example of a path for which this set is uncountable. In the second part of this paper, we study the continuous metric differentiability via a homeomorphic change of variable.


title: The Pfaffian-Grassmannian derived equivalence

abstract: We argue that there exists a derived equivalence between Calabi-Yau threefolds obtained by taking dual hyperplane sections (of the appropriate codimension) of the Grassmannian G(2, 7) and the Pfaffian Pf(7). The existence of such an equivalence has been conjectured by physicists for almost ten years, as the two families of Calabi-Yau threefolds are believed to have the same mirror. It is the first example of a derived equivalence between Calabi-Yau threefolds which are provably non-birational.


title: Alternating Augmentations of Links

abstract: We show that one can interweave an unknot into any non-alternating connected projection of a link so that the resulting augmented projection is alternating.


title: Second homology groups and universal coverings of Steinberg Leibniz algebras of small characteristic

abstract: It is known that the second Leibniz homology group $HL_2(stl_n(R))$ of the Steinberg Leibniz algebra $stl_n(R)$ is trivial for $n\geq 5$. In this paper, we determine $HL_2(stl_n(R))$ explicitly (which are shown to be not necessarily trivial) for $n=3, 4$ without any assumption on the base ring.


title: Pretentious multiplicative functions and an inequality for the zeta-function

abstract: We note how several central results in multiplicative number theory may be rephrased naturally in terms of multiplicative functions $f$ that pretend to be another multiplicative function $g$. We formalize a `distance' which gives a measure of such {\sl pretentiousness}, and as one consequence obtain a curious inequality for the zeta-function.


title: On Borel summation and Stokes phenomena of nonlinear differential systems

abstract: In this paper we study analytic (linear or) nonlinear systems of ordinary differential equations, at an irregular singularity of rank one, under nonresonance conditions. It is shown that the formal asymptotic exponential series solutions (transseries solutions: countable linear combinations of formal power series multiplied by small exponentials) are Borel summable in a generalized sense along any direction in which the exponentials decay. Conversely, any solution that decreases along some direction is the Borel sum of a transseries. The summation procedure introduced is an extension of Borel summation which is linear, multiplicative, commutes with differentiation and complex conjugation. The summation algorithm uses the formal solutions alone (and not the differential equation that they solve). Along singular (Stokes) directions, the functions reconstructed by summation are shown to be given by Laplace integrals along special paths, a subset of Ecalle's median paths. The one-to-one correspondence established between actual solutions and generalized Borel sums of transseries is constant between Stokes lines and changes if a Stokes line is crossed (local Stokes phenomenon). We analyze the connection between local and classical Stokes phenomena.


title: Non-commutative Multivariable Reidemeister Torsion and the Thurston Norm

abstract: In a previous paper, the second author defined integer-valued functions delta_n on the first cohomology of a 3-manifold, generalizing McMullen's Alexander norm. It was shown that these functions give lower bounds on the Thurston norm. In this paper, we reformulate these invariants in terms of Reidemeister torsion over a non-commutative multivariable Laurent polynomial ring. This allows us to show that these functions are semi-norms.


title: On optimal truncation of divergent series solutions of nonlinear differential systems; Berry smoothing

abstract: We prove that for divergent series solutions of nonlinear (or linear) differential systems near a generic irregular singularity, the common prescription of summation to the least term is, if properly interpreted, meaningful and correct, and we extend this method to transseries solutions. In every direction in the complex plane at the singularity (Stokes directions {\em not} excepted) there exists a nonempty set of solutions whose difference from the ``optimally'' (i.e., near the least term) truncated asymptotic series is of the same (exponentially small) order of magnitude as the least term of the series. There is a family of generalized Borel summation formulas $\mathcal{B}$ which commute with the usual algebraic and analytic operations (addition, multiplication, differentiation, etc). We show that there is exactly one of them, $\mathcal{B}_0$, such that for any formal series solution $\tilde{f}$, $\mathcal{B}_0(\tilde{f})$ differs from the optimal truncation of $\tilde{f}$ by at most the order of the least term of $\tilde{f}$. We show in addition that the Berry (1989) smoothing phenomenon is universal within this class of differential systems. Whenever the terms ``beyond all orders'' {\em change} in crossing a Stokes line, these terms vary smoothly on the Berry scale $\arg(x)\sim |x|^{-1/2}$ and the transition is always given by the error function; under the same conditions we show that Dingle's rule of signs for Stokes transitions holds.


title: Localized large sums of random variables

abstract: We study large partial sums, localized with respect to the sums of variances, of a sequence of centered random variables. An application is given to the distribution of prime factors of typical integers.


title: Optimal uniform estimates and rigorous asymptotics beyond all orders for a class of ODE's

abstract: For first order differential equations of the form $y'=\sum_{p=0}^P F_p(x)y^p$ and second order homogeneous linear differential equations $y''+a(x)y'+b(x)y=0$ with locally integrable coefficients having asymptotic (possibly divergent) power series when $|x|\to\infty$ on a ray $\arg(x)=$const, under some further assumptions, it is shown that, on the given ray, there is a one-to-one correspondence between true solutions and (complete) formal solutions. The correspondence is based on asymptotic inequalities which are required to be uniform in $x$ and optimal with respect to certain weights.


title: Rigorous WKB for finite order linear recurrence relations with smooth coefficients

abstract: We study the $\epsilon \to 0$ behavior of recurrence relations of the type $\sum_{j=0}^l a_j(k\epsilon,\epsilon)y_{k+j}=0,$ $k\in \zdd$ ($l$ fixed). The $a_j$ are $C^{\infty}$ functions in each variable on $I\times [0,\e_0]$ for a bounded interval $I$ and $\e_0>0$. Under certain regularity assumptions we find the asymptotic behavior of the solutions of such recurrences. In typical cases there exists a fundamental set of solutions in the form $\{\exp(\epi F_m(k\epsilon,\epsilon))\}_{m=1... l}$ where the functions $F_m$ are $C^{\infty}$ in each variable on the same domain as the $a_j$, showing in particular that the formal perturbation-series solutions are asymptotic to true solutions of these recurrences. Some applications are also briefly discussed.


title: Exponential asymptotics, transseries, and generalized Borel summation for analytic rank one systems of ODE's

abstract: For analytic nonlinear systems of ordinary differential equations, under some non-degeneracy and integrability conditions we prove that the formal exponential series solutions (trans-series) at an irregular singularity of rank one are Borel summable (in a sense similar to that of Ecalle). The functions obtained by re-summation of the trans-series are precisely the solutions of the differential equation that decay in a specified sector in the complex plane. We find the dependence of the correspondence between the solutions of the differential equation and trans-series as the ray in the complex plane changes (local Stokes phenomenon). We study, in addition, the general solution in $\lloc$ of the convolution equations corresponding, by inverse Laplace transform, to the given system of ODE's, and its analytic properties. Simple analytic identities lead to ``resurgence'' relations and to an averaging formula having, in addition to the properties of the medianization of Ecalle, the property of preserving exponential growth at infinity.


title: Noncoherence of some lattices in Isom(Hn)

abstract: We prove noncoherence of certain families of lattices in the isometry group of the hyperbolic n-space for n greater than 3. For instance, every nonuniform arithmetic lattice in SO(n,1) is noncoherent, provided that n is at least 6.


title: Foliating Metric Spaces

abstract: Using families of curves to generalize vector fields, the Lie bracket is defined on a metric space, M. For M complete, versions of the local and global Frobenius theorems hold, and flows are shown to commute if and only if their bracket is zero. An example is given showing separable Hilbert space (the set of square integrable functions on R) is controllable by two elementary flows.


title: Conjunctive Bayesian networks

abstract: Conjunctive Bayesian networks (CBNs) are graphical models that describe the accumulation of events which are constrained in the order of their occurrence. A CBN is given by a partial order on a (finite) set of events. CBNs generalize the oncogenetic tree models of Desper et al. by allowing the occurrence of an event to depend on more than one predecessor event. The present paper studies the statistical and algebraic properties of CBNs. We determine the maximum likelihood parameters and present a combinatorial solution to the model selection problem. Our method performs well on two datasets where the events are HIV mutations associated with drug resistance. Concluding with a study of the algebraic properties of CBNs, we show that CBNs are toric varieties after a coordinate transformation and that their ideals possess a quadratic Gr\"{o}bner basis.


title: Crosscap Numbers of Two-component Links

abstract: We define the crosscap number of a 2-component link as the minimum of the first Betti numbers of connected, non-orientable surfaces bounding the link. We discuss some properties of the crosscap numbers of 2-component links.


title: Counting Keith numbers

abstract: A Keith number is a positive integer N with the decimal representation a_1a_2...a_n such that n>=2 and N appears in the sequence (K_m) given by the recurrence K_1=a_1,...,K_n=a_n and K_m=K_{m-1}+K_{m-2}+...+K_{m-n} for m>n. We prove that there are only finitely many Keith numbers using only one decimal digit (i.e., a_1=a_2=...=a_n), and that the set of Keith numbers is of asymptotic density zero.


title: Lectures on n-Categories and Cohomology

abstract: The goal of these talks was to explain how cohomology and other tools of algebraic topology are seen through the lens of n-category theory. Special topics include nonabelian cohomology, Postnikov towers, the theory of "n-stuff", and n-categories for n = -1 and -2. The talks were very informal, and so are these notes. A lengthy appendix clarifies certain puzzles and ventures into deeper waters such as higher topos theory. For readers who want more details, we include an annotated bibliography.


title: Concordance Crosscap Number of a Knot

abstract: We define the concordance crosscap number of a knot as the minimum crosscap number among all the knots concordant to the knot. The four-dimensional crosscap number is the minimum first Betti number of non-orientable surfaces smoothly embedded in 4-dimensional ball, bounding the knot. Clearly the 4-dimensional crosscap number is smaller than or equal to the concordance crosscap number. We construct two infinite sequences of knots to explain the gap between the two. In particular, the knot $7_4$ is one of the examples.


title: Boundary Partitions in Trees and Dimers

abstract: Given a finite planar graph, a grove is a spanning forest in which every component tree contains one or more of a specified set of vertices (called nodes) on the outer face. For the uniform measure on groves, we compute the probabilities of the different possible node connections in a grove. These probabilities only depend on boundary measurements of the graph and not on the actual graph structure, i.e., the probabilities can be expressed as functions of the pairwise electrical resistances between the nodes, or equivalently, as functions of the Dirichlet-to-Neumann operator (or response matrix) on the nodes. These formulae can be likened to generalizations (for spanning forests) of Cardy's percolation crossing probabilities, and generalize Kirchhoff's formula for the electrical resistance. Remarkably, when appropriately normalized, the connection probabilities are in fact integer-coefficient polynomials in the matrix entries, where the coefficients have a natural algebraic interpretation and can be computed combinatorially. A similar phenomenon holds in the so-called double-dimer model: connection probabilities of boundary nodes are polynomial functions of certain boundary measurements, and as formal polynomials, they are specializations of the grove polynomials. Upon taking scaling limits, we show that the double-dimer connection probabilities coincide with those of the contour lines in the Gaussian free field with certain natural boundary conditions. These results have direct application to connection probabilities for multiple-strand SLE_2, SLE_8, and SLE_4.


title: Parafermi Algebra and Interordinality

abstract: Starting from the observation that for neighboring orders $p=2^{n}-1, p'=2^{n+1}-1 $ of the well-known Green's representations of parafermi algebra there exists a specifiable interordinal relationship, matrices with similar properties are constructed. They exhibit intrinsic Catalan structure and sine-like and cosine-like substructures, dubbed interordinal and intraordinal respectively, that seemingly have a bearing on Euclidean geometry and applications via Nebe kissing numbers.


title: Existence and construction of bipotentials for graphs of multivalued laws

abstract: This is a first paper in convex analysis dedicated to the bipotential theory, based on an extension of Fenchel's inequality. Introduced by the second author, bipotentials lead to a succesful new treatment of the constitutive laws of some dissipative materials: frictional contact, non-associated Drucker-Prager model, or Lemaitre plastic ductile damage law. We solve here the problems of existence and construction of a bipotential for a nonsmooth mechanics constitutive law.


title: Some remarks on localization in coalgebras

abstract: We analyze the geometry of the Ext-quiver of a coalgebra $C$ in order to study the behavior of simple and injective $C$-comodules under the action of the functors associated to a localizing subcategory of the category of $C$-comodules.


title: New upper bounds for kissing numbers from semidefinite programming

abstract: Recently A. Schrijver derived new upper bounds for binary codes using semidefinite programming. In this paper we adapt this approach to codes on the unit sphere and we compute new upper bounds for the kissing number in several dimensions. In particular our computations give the (known) values for the cases n = 3, 4, 8, 24.


title: On Davenport-Stothers inequalities and elliptic surfaces in positive characteristic

abstract: We show that the Davenport-Stothers inequality from characteristic 0 fails in any characteristic p>3. The proof uses elliptic surfaces over the projective line and inseparable base change. We then present adjusted inequalities. These follow from results of Pesenti-Szpiro. For characteristic 2 and 3, we achieve a similar result in terms of the maximal singular fibres of elliptic surfaces over the projective line. Our ideas are also related to supersingular surfaces (in Shioda's sense).


title: Geometry and a priori estimates for free boundary problems of the Euler's equation

abstract: In this paper we derive estimates to the free boundary problem for the Euler equation with surface tension, and without surface tension provided the Rayleigh-Taylor sign condition holds. We prove that as the surface tension tends to zero, when the Rayleigh-Taylor condition is satisfied, solutions converge to the Euler flow with zero surface tension.


title: On the Superrigidity of Malleable Actions with Spectral Gap

abstract: We prove that if a countable group $\Gamma$ contains infinite commuting subgroups $H, H'\subset \Gamma$ with $H$ non-amenable and $H'$ ``weakly normal'' in $\Gamma$, then any measure preserving $\Gamma$-action on a probability space which satisfies certain malleability, spectral gap and weak mixing conditions (e.g. a Bernoulli $\Gamma$-action) is cocycle superrigid. If in addition $H'$ can be taken non-virtually abelian and $\Gamma \curvearrowright X$ is an arbitrary free ergodic action while $\Lambda \curvearrowright Y=\Bbb T^\Lambda$ is a Bernoulli action of an arbitrary infinite conjugacy class group, then any isomorphism of the associated II$_1$ factors $L^\infty X \rtimes \Gamma \simeq L^\infty Y \rtimes \Lambda$ comes from a conjugacy of the actions.


title: Stability conditions for generic K3 categories

abstract: A K3 category is by definition a Calabi-Yau category of dimension two. Geometrically K3 categories occur as bounded derived categories of (twisted) coherent sheaves on K3 or abelian surfaces. A K3 category is generic if there are no spherical objects (or just one up to shift). We study stability conditions on K3 categories as introduced by Bridgeland and prove his conjecture about the topology of the stability manifold and the autoequivalences group for generic twisted projective K3, abelian surfaces, and K3 surfaces with trivial Picard group.


title: On the Aubry-Mather theory for symbolic dynamics

abstract: We propose a new model of ergodic optimization for expansive dynamical systems: the holonomic setting. In fact, we introduce an extension of the standard model used in this theory. The formulation we consider here is quite natural if one wants a meaning for possible variations of a real trajectory under the forward shift. In another contexts (for twist maps, for instance), this property appears in a crucial way. A version of the Aubry-Mather theory for symbolic dynamics is introduced. We are mainly interested here in problems related to the properties of maximizing probabilities for the two-sided shift. Under the transitive hypothesis, we show the existence of sub-actions for Holder potentials also in the holonomic setting. We analyze then connections between calibrated sub-actions and the Mane potential. A representation formula for calibrated sub-actions is presented, which drives us naturally to a classification theorem for these sub-actions. We also investigate properties of the support of maximizing probabilities.


title: Functions for relative maximization

abstract: We introduce functions for relative maximization in a general context: the beta and alpha applications. After a systematic study concerning regularities, we investigate how to approximate certain values of these functions using periodic orbits. We establish yet that the differential of an alpha application dictates the asymptotic behavior of the optimal trajectories.


title: A Note on Generic Types

abstract: In a stable abelian group, we characterize generic types of cosets of type-definable subgroups.


title: L^p estimates for quantities advected by a compressible flow

abstract: We consider the evolution of a quantity advected by a compressible flow and subject to diffusion. When this quantity is scalar it can be, for instance, the temperature of the flow or the concentration of some pollutants. Because of the diffusion term, one expects the equations to have a regularizing effect. However, in their Euler form, the equations describe the evolution of the quantity multiplied by the density of the flow. The parabolic structure is thus degenerate near vacuum (when the density vanishes). In this paper we show that we can nevertheless derive uniform $L^{p}$ bounds that do not depend on the density (in particular the bounds do not degenerate near vacuum). Furthermore the result holds even when the density is only a measure. We investigate both the scalar and the system case. In the former case, we obtain $L^{\infty}$ bounds. In the latter case the quantity being investigated could be the velocity field in compressible Navier-Stokes type of equations, and we derive uniform $L^p$ bounds for some $p$ depending on the ratio between the two viscosity coefficients (the main additional difficulty in that case being to deal with the second viscosity term involving the divergence of the velocity). Such estimates are, to our knowledge, new and interesting since they are uniform with respect to the density. The proof relies mostly on a method introduced by De Giorgi to obtain regularity results for elliptic equations with discontinuous diffusion coefficients.


title: Conway products and links with multiple bridge surfaces

abstract: Suppose a link K in a 3-manifold M is in bridge position with respect to two different bridge surfaces P and Q, both of which are c-weakly incompressible in the complement of K. Then either P and Q can be properly isotoped to intersect in a nonempty collection of curves that are essential (including non-meridional) on both surfaces, or K is a Conway product with respect to an incompressible Conway sphere that naturally decomposes both P and Q into bridge surfaces for the respective factor link(s).


title: Strict $\infty $-categories. Concrete Duality

abstract: An elementary theory of strict $\infty $-categories with application to concrete duality is given. New examples of first and second order concrete duality are presented.


title: Exact connections between current fluctuations and the second class particle in a class of deposition models

abstract: We consider a large class of nearest neighbor attractive stochastic interacting systems that includes the asymmetric simple exclusion, zero range, bricklayers' and the symmetric K-exclusion processes. We provide exact formulas that connect particle flux (or surface growth) fluctuations to the two-point function of the process and to the motion of the second class particle. Such connections have only been available for simple exclusion where they were of great use in particle current fluctuation investigations.


title: Complete K\"ahler manifolds with pinched bisectional curvature

abstract: This paper has been withdrawn by the author due to a serious gap in the proof of the main theorem.


title: Perelman's \lambda functional and the Seiberg-Witten equations

abstract: In this paper we study the supremum of Perelman's \lambda-functional {\lambda }_M(g) on Riemannian 4-manifold M by using the Seiberg-Witten equations. We prove among others that, for a compact K\"{a}hler-Einstein complex surface (M, J, g_{0}) with negative scalar curvature, (i) If g_{1} is a Riemannian metric on M with \lambda_{M}(g_{1})= \lambda_{M}(g_{0}), then Vol_{g_{1}}(M)\geq Vol_{g_{0}}(M). Moreover, the equality holds if and only if g_{1} is also a K\"{a}hler-Einstein metric with negative scalar curvature. (ii) If g_{t}, t\in [-1,1], is a family of Einstein metrics on M with initial metric g_{0}, then g_{t} is a K\"{a}hler-Einstein metric with negative scalar curvature.


title: On Products of Random Matrices and certain Hecke Algebras associated with Groups of $2\times 2$ Matrices

abstract: The determination of the density functions for products of random elements from specified classes of matrices is a basic problem in random matrix theory and is also of interest in theoretical physics. For connected simple Lie groups of $2\times 2$ matrices and conjugacy and spherical classes a complete solution is given here. The problem/solution can be re-stated in terms of the structure of certain Hecke algebras attached to groups of $2\times 2$ matrices.


title: Torsion units in integral group rings of Janko simple groups

abstract: Using the Luthar--Passi method, we investigate the classical Zassenhaus conjecture for the normalized unit group of integral group rings of Janko sporadic simple groups. As a consequence, we obtain that the Gruenberg-Kegel graph of the Janko groups $J_1$, $J_2$ and $J_3$ is the same as that of the normalized unit group of their respective integral group ring.


title: 3-Uniform hypergraphs of bounded degree have linear Ramsey numbers

abstract: Chv\'atal, R\"odl, Szemer\'edi and Trotter proved that the Ramsey numbers of graphs of bounded maximum degree are linear in their order. We prove that the same holds for 3-uniform hypergraphs. The main new tool which we prove and use is an embedding lemma for 3-uniform hypergraphs of bounded maximum degree into suitable 3-uniform `pseudo-random' hypergraphs.


title: Minimum Mean Cycle Problem in Bidirected and Skew-Symmetric Graphs

abstract: The problem of finding, in an edge-weighted bidirected graph $G=(V,E)$, a cycle with minimum mean weight of its edges generalizes similar problems for both directed and undirected graphs. (The problem is considered in two variants: for the cycles without repeated edges and for the cycles without repeated nodes.) In this note we develop an algorithm to solve this problem in $O(V^2 \min(V^2, E\log V))$-time (to compare: the complexity of an improved version of Barahona's algorithm for undirected cycles is $O(V^4)$). Our algorithm is based on a certain general approach to minimum mean problems and uses, as a subroutine, Gabow's algorithm for the minimum weight 2-factor problem in a graph. The problem admits a reformulation in terms of regular cycles in a skew-symmetric graph.


title: Derived invariance of Hochschild-Mitchell (co)homology and one-point extensions

abstract: In this article we prove derived invariance of Hochschild-Mitchell homology and cohomology and we extend to $k$-linear categories a result by Barot and Lenzing concerning derived equivalences and one-point extensions. We also prove the existence of a Happel long exact sequence and we give a generalization of this result which provides an alternative approach.


title: Toeplitz-Composition C*-Algebras

abstract: Let $\zeta$ and $\eta$ be distinct points on the unit circle and suppose that $\phi$ is a linear-fractional self-map of the unit disk D, not an automorphism, with $\phi(\zeta)=\eta$. We describe the C*-algebra generated by the associated composition operator $C_{\phi}$ and the shift operator, acting on the Hardy space on D.


title: Towards a combinatorial classification of skew Schur functions

abstract: We present a single operation for constructing skew diagrams whose corresponding skew Schur functions are equal. This combinatorial operation naturally generalises and unifies all results of this type to date. Moreover, our operation suggests a closely related condition that we conjecture is necessary and sufficient for skew diagrams to yield equal skew Schur functions.


title: Drift diffusion equations with fractional diffusion and the quasi-geostrophic equation

abstract: Motivated by the critical dissipative quasi-geostrophic equation, we prove that drift-diffusion equations with L^2 initial data and minimal assumptions on the drift are locally Holder continuous. As an application we show that solutions of the quasi-geostrophic equation with initial L^2 data and critical diffusion (-\Delta)^{1/2}, are locally smooth for any space dimension.


title: Topological Criteria for $k-$Formal Arrangements

abstract: We prove a criterion for $k-$formality of arrangements, using a complex constructed from vector spaces introduced in \cite{bt}. As an application, we give a simple description of $k-$formality of graphic arrangements: Let $G$ be a connected graph with no loops or multiple edges. Let $\Delta$ be the flag (clique) complex of $G$ and let $H_{\bullet}(\Delta)$ be the homology of the chain complex of $\Delta$. If $\mathcal A_G$ is the graphic arrangement associated to $G$, we will show that $\mathcal A_G$ is $k-$formal if and only if $H_i(\Delta)=0$ for every $i=1,...,k-1$.


title: Smooth planar $r$-splines of degree $2r$

abstract: In \cite{as}, Alfeld and Schumaker give a formula for the dimension of the space of piecewise polynomial functions (splines) of degree $d$ and smoothness $r$ on a generic triangulation of a planar simplicial complex $\Delta$ (for $d \ge 3r+1$) and any triangulation (for $d\geq 3r+2$). In \cite{ss}, it was conjectured that the Alfeld-Schumaker formula actually holds for all $d \ge 2r+1$. In this note, we show that this is the best result possible; in particular, there exists a simplicial complex $\Delta$ such that for any $r$, the dimension of the spline space in degree $d=2r$ is not given by the formula of \cite{as}. The proof relies on the explicit computation of the nonvanishing of the first local cohomology module described in \cite{ss2}.


title: Solving General Equations by Order Completion

abstract: A method based on order completion for solving general equations is presented. In particular, this method can be used for solving large classes of nonlinear systems of PDEs, with possibly associated initial and/or boundary value problems.


title: On Ozawa's Property for Free Group Factors

abstract: We give a new proof of a result of Ozawa showing that if a von Neumann subalgebra $Q$ of a free group factor $L\Bbb F_n, 2\leq n\leq \infty$ has relative commutant diffuse (i.e. without atoms), then $Q$ is amenable.


title: Note on commutativity in double semigroups and two-fold monoidal categories

abstract: A concrete computation -- twelve slidings with sixteen tiles -- reveals that certain commutativity phenomena occur in every double semigroup. This can be seen as a sort of Eckmann-Hilton argument, but it does not use units. The result implies in particular that all cancellative double semigroups and all inverse double semigroups are commutative. Stepping up one dimension, the result is used to prove that all strictly associative two-fold monoidal categories (with weak units) are degenerate symmetric. In particular, strictly associative one-object, one-arrow 3-groupoids (with weak units) cannot realise all simply-connected homotopy 3-types.


title: Cliques and the Spectral Radius

abstract: We present a number of relations involving the number of cliques in a graph and its spectral radius.


title: Compact symmetric spaces, triangular factorization, and Poisson geometry

abstract: Let X be a simply connected compact Riemannian symmetric space, let U be the universal covering group of the identity component of the isometry group of X, and let \g denote the complexification of the Lie algebra of U, \g=\u^\C. Each \u-compatible triangular decomposition \g=\n_- + \h + \n_+ determines a Poisson Lie group structure \pi_U on U. The Evens-Lu construction produces a (U,\pi_U)-homogeneous Poisson structure on X. By choosing the basepoint in X appropriately, X is presented as U/K where K is the fixed point set of an involution which stabilizes the triangular decomposition of \g. With this presentation, a connection is established between the symplectic foliation of the Evens-Lu Poisson structure and the Birkhoff decomposition of U/K. This is done through reinterpretation of results of Pickrell. Each symplectic leaf admits a natural torus action. It is shown that the action is Hamiltonian and the momentum map is computed using triangular factorization. Finally, local formulas for the Evens-Lu Poisson structure are displayed in several examples.


title: Twistor lines on Nagata threefold

abstract: We give an explicit description of rational curves in the product of three copies of complex projective lines, which are transformed into twistor lines in M. Nagata's example of non-projective complete algebraic variety, viewed as the twistor space of Eguchi-Hanson metric. In particular, we show that there exist two families of such curves and both of them are parameterized by mutually diffeomorphic, connected real 4-dimensional manifolds. We also give a relationship between these two families through a birational transformation naturally associated to the Nagata's example.


title: Duality via cycle complexes

abstract: We show that Bloch's complex of relative zero-cycles can be used as a dualizing complex over perfect fields and number rings. This leads to duality theorems for torsion sheaves on arbitrary separated schemes of finite type over algebraically closed fields, finite fields, local fields of mixed characteristic, and rings of integers in number rings, generalizing results which so far have only been known for smooth schemes or in low dimensions, and unify the p-adic and l-adic theory. As an application, we generalize Rojtman's theorem to normal, projective schemes.


title: Braid-positive Legendrian links

abstract: Any link that is the closure of a positive braid has a natural Legendrian representative. These were introduced in an earlier paper, where their Chekanov--Eliashberg contact homology was also evaluated. In this paper we re-phrase and improve that computation using a matrix representation. In particular, we present a way of finding all augmentations of such Legendrians, construct an augmentation which is also a ruling, and find surprising links to LU-decompositions and Gr\"obner bases.


title: The supersingular loci and mass formulas on Siegel modular varieties

abstract: We describe the supersingular locus of the Siegel 3-fold with a parahoric level structure. We also study its higher dimensional generalization. Using this correspondence and a deep result of Li and Oort, we evaluate the number of irreducible components of the supersingular locus of the Siegel moduli space $\calA_{g,1,N}$ for arbitrary $g$.


title: Torsion of Quasi-Isomorphisms

abstract: In this paper, we introduce the notion of Reidemeister torsion for quasi-isomorphisms of based chain complexes over a field. We call a chain map a quasi-isomorphism if its induced homomorphism between homology is an isomorphism. Our notion of torsion generalizes the torsion of acyclic based chain complexes, and is a chain homotopy invariant on the collection of all quasi-isomorphisms from a based chain complex to another. It shares nice properties with torsion of acyclic based chain complexes, like multiplicativity and duality. We will further generalize our torsion to quasi-isomorphisms between free chain complexes over a ring under some mild condition. We anticipate that the study of torsion of quasi-isomorphisms will be fruitful in many directions, and in particular, in the study of links in 3-manifolds.


title: Bordism groups of solutions to differential relations

abstract: In terms of category theory, the Gromov homotopy principle for a set valued functor $F$ asserts that the functor $F$ can be induced from a homotopy functor. Similarly, we say that the bordism principle for an abelian group valued functor $F$ holds if the functor $F$ can be induced from a (co)homology functor. We examine the bordism principle in the case of functors given by (co)bordism groups of maps with prescribed singularities. Our main result implies that if a family $R$ of prescribed singularity types satisfies certain mild conditions, then there exists an infinite loop space $B(R)$ such that for each smooth manifold $N$ the cobordism group of maps into $N$ with only $R$-singularities is isomorphic to the group of homotopy classes of maps $[N, B(R)]$.


title: Fredholm Alternative for Periodic-Dirichlet Problems for Linear Hyperbolic Systems

abstract: This paper concerns hyperbolic systems of two linear first-order PDEs in one space dimension with periodicity conditions in time and reflection boundary conditions in space. The coefficients of the PDEs are supposed to be time independent, but allowed to be discontinuous with respect to the space variable. We construct two scales of Banach spaces (for the solutions and for the right hand sides of the equations, respectively) such that the problem can be modeled by means of Fredholm operators of index zero between corresponding spaces of the two scales.


title: Hearing the weights of weighted projective planes

abstract: Which properties of an orbifold can we ``hear,'' i.e., which topological and geometric properties of an orbifold are determined by its Laplace spectrum? We consider this question for a class of four-dimensional K\"{a}hler orbifolds: weighted projective planes $M:=\C P^2(N_1,N_2,N_3)$ with three isolated singularities. We show that the spectra of the Laplacian acting on 0- and 1-forms on $M$ determine the weights $N_1$, $N_2$, and $N_3$. The proof involves analysis of the heat invariants using several techniques, including localization in equivariant cohomology. We show that we can replace knowledge of the spectrum on 1-forms by knowledge of the Euler characteristic and obtain the same result. Finally, after determining the values of $N_1$, $N_2$, and $N_3$, we can hear whether $M$ is endowed with an extremal K\"{a}hler metric.


title: Counting the hyperplane sections with fixed invariants of a plane quintic

abstract: We use three different methods to count the number of lines in the plane whose intersection with a fixed general quintic has fixed cross-ratios. We compare and contrast these methods, shedding light on some classical ideas which underly modern techniques.


title: Class field theory for a product of curves over a local field

abstract: We prove that the the kernel of the reciprocity map for a product of curves over a $p$-adic field with split semi-stable reduction is divisible. We also consider the $K_1$ of a product of curves over a number field.


title: On the isomorphism classes of transversals

abstract: In this paper, we prove that there does not exist a subgroup H of a finite group G such that the number of isomorphism classes of right transversals of H in G is two.


title: Linear relations in the Calkin algebra for composition operators

abstract: We consider this and related questions: When is a finite linear combination of composition operators, acting on the Hardy space or the standard weighted Bergman spaces on the unit disk, a compact operator?


title: Theorems on residues obtained by the division of powers

abstract: This is an English translation of Euler's ``Theoremata circa residua ex divisione potestatum relicta'', Novi Commentarii academiae scientiarum Petropolitanae 7 (1761), 49-82. E262 in the Enestrom index. Euler gives many elementary results on power residues modulo a prime number p. He shows that the order of a subgroup generated by an element a in F_p^* must divide the order p-1 of F_p^* (i.e. a special case of Lagrange's theorem for cyclic groups). Euler also gives a proof of Fermat's little theorem, that a^{p-1} = 1 mod p for a relatively prime to p (i.e. not 0 mod p). He remarks that this proof is more natural, as it uses multiplicative properties of F_p^* instead of the binomial expansion. Thanks to Jean-Marie Bois for pointing out some typos.


title: On the distribution of the order over residue classes

abstract: The multplicative order of an integer g modulo a prime p, with p coprime to g, is defined to be the smallest positive integer k such that g^k is congruent to 1 modulo p. For fixed integers g and d the distribution of this order over residue classes mod d is considered as p runs over the primes. An overview is given of the most significant of my results on this problem obtained (mainly) in the three part series of papers `On the distribution of the order and index of g (modulo p) over residue classes' I-III (appeared in the Journal of Number Theory, also available from the ArXiv).


title: Normal cyclotomic schemes over a finite commutative ring

abstract: We study cyclotomic association schemes over a finite commutative ring $R$ with identity. The main interest for us is to identify the normal cyclotomic schemes $C$, i.e. those for which $Aut(C)$ is a subgroup of the one-dimensional affine semilinear group over $R$. The problem is reduced to the case when the ring $R$ is local in which a necessary condition of normality in terms of the subgroup of $R^\times$ defining $C$, is given. This condition is proved to be sufficient for a class of local rings including the Galois rings of odd characteristic.


title: Local monotonicity and mean value formulas for evolving Riemannian manifolds

abstract: We derive identities for general flows of Riemannian metrics that may be regarded as local mean-value, monotonicity, or Lyapunov formulae. These generalize previous work of the first author for mean curvature flow and other nonlinear diffusions. Our results apply in particular to Ricci flow, where they yield a local monotone quantity directly analogous to Perelman's reduced volume V and a local identity related to Perelman's average energy F.


title: The adjoint variety of SL_{m+1}(C) is rigid to order three

abstract: I show that the adjoint variety of the complex special linear group is rigid to order three.


title: Counting tropical elliptic plane curves with fixed j-invariant

abstract: In complex algebraic geometry, the problem of enumerating plane elliptic curves of given degree with fixed complex structure has been solved by R.Pandharipande using Gromov-Witten theory. In this article we treat the tropical analogue of this problem, the determination of the number of tropical elliptic plane curves of degree d and fixed ``tropical j-invariant'' interpolating an appropriate number of points in general position. We show that this number is independent of the position of the points and the value of the j-invariant and that it coincides with the number of complex elliptic curves. The result can be used to simplify Mikhalkin's algorithm to count curves via lattice paths in the case of rational plane curves.


title: On the Cayley degree of an algebraic group

abstract: A connected linear algebraic group G is called a Cayley group if the Lie algebra of G endowed with the adjoint G-action and the group variety of G endowed with the conjugation G-action are birationally G-isomorphic. In particular, the classical Cayley map, X \mapsto (I_n-X)/(I_n+X), between the special orthogonal group SO_n and its Lie algebra so_n, shows that SO_n is a Cayley group. In an earlier paper (see math.AG/0409004) we classified the simple Cayley groups defined over an algebraically closed field of characteristic zero. Here we consider a new numerical invariant of G, the Cayley degree, which "measures" how far G is from being Cayley, and prove upper bounds on Cayley degrees of some groups.


title: The combinatorial cost

abstract: We study the combinatorial analogues of the classical invariants of measurable equivalence relations. We introduce the notion of cost and $\beta$-invariants (the analogue of the first $L^2$-Betti number introduced by Gaboriau) for sequences of finite graphs with uniformly bounded vertex degrees and examine the relation of these invariants and the rank gradient resp. mod $p$ homology gradient invariants introduced by Lackenby for residually finite groups.


title: On global attractors of the 3D Navier-Stokes equations

abstract: In view of the possibility that the 3D Navier-Stokes equations (NSE) might not always have regular solutions, we introduce an abstract framework for studying the asymptotic behavior of multi-valued dissipative evolutionary systems with respect to two topologies--weak and strong. Each such system possesses a global attractor in the weak topology, but not necessarily in the strong. In case the latter exists and is weakly closed, it coincides with the weak global attractor. We give a sufficient condition for the existence of the strong global attractor, which is verified for the 3D NSE when all solutions on the weak global attractor are strongly continuous. We also introduce and study a two-parameter family of models for the Navier-Stokes equations, with similar properties and open problems. These models always possess weak global attractors, but on some of them every solution blows up (in a norm stronger than the standard energy one) in finite time.


title: Asymptotic behavior of a generalized TCP congestion avoidance algorithm

abstract: The Transmission Control Protocol (TCP) is a Transport Protocol used in the Internet. Ott has introduced a more general class of candidate Transport Protocols called "protocols in the TCP Paradigm". The long run objective of studying this larger class is to find protocols with promising performance characteristics. This paper studies Markov chain models derived from protocols in the TCP Paradigm. Protocols in the TCP Paradigm, as TCP, protect the network from congestion by reducing the "Congestion Window" (the amount of data allowed to be sent but not yet acknowledged) when there is packet loss or packet marking, and increasing it when there is no loss. When loss of different packets are assumed to be independent events and the probability p of loss is assumed to be constant, the protocol gives rise to a Markov chain {W_n}, where W_n is the size of the congestion window after the transmission of the n-th packet. For a wide class of such Markov chains, we prove weak convergence results, after appropriate rescaling of time and space, as p tends to 0. The limiting processes are defined by stochastic differential equations. Depending on certain parameter values, the stochastic differential equation can define an Ornstein-Uhlenbeck process or can be driven by a Poisson process.


title: The Fatou Set for Critically Finite Maps

abstract: It is a classical result in complex dynamics of one variable that the Fatou set for a critically finite map on $\mathbf{P}^1$ consists of only basins of attraction for superattracting periodic points. In this paper we deal with critically finite maps on $\mathbf{P}^k$. We show that the Fatou set for a critically finite map on $\mathbf{P}^2$ consists of only basins of attraction for superattracting periodic points. We also show that the Fatou set for a $k-$critically finite map on $\mathbf{P}^k$ is empty.


title: An inverse problem for strongly degenerate heat equation

abstract: In this paper we consider an inverse problem for determining time - dependent heat conduction coefficient which vanishes at initial moment as a power $ t^{\beta}. $ The case of strong degeneration ($ \beta \ge1$) is studied. To prove the existence of solution we employ the Schauder fixed point theorem. The uniqueness of the solution is established too.


title: On the field of differential rational invariants of a subgroup of affine group (Ordinary differential case)

abstract: An ordinary differential field $(F,d)$ of characteristic zero, a subgroup $H$ of affine group $ GL(n,C)\propto C^n$ with respect to its identical representation in $F^n$ and the following two fields of differential rational functions in $x=(x_1,x_2,...,x_n)$-column vector, $$C< x, d>^H=\{f^d< x> \in C< x, d> : f^d< hx+ h_0> = f^d< x> {for any} (h,h_0)\in H \},$$ $$C< x, d>^{(F^*,H)}=\{f^d< x> \in C< x, d> : f^{g^{-1}d}< hx+ h_0> = f^d< x> {for any} g\in F^* {and} (h,h_0)\in H \}$$ are considered, where $C$ is the constant field of $(F,d)$ and $C< x, d>$ is the field of differential rational functions in $x_1,x_2,...,x_n$ over $C$. The field $C< x, d>^H$ ($C< x, d>^{(F^*,H)}$) is an important tool in the equivalence problem of paths(respect. curves) in Differential Geometry with respect to the motion group $H$. In this paper an pure algebraic approach is offered to describe these fields. The field $C< x, d>^{(F^*,H)}$ and its relation with $C< x, d>^H$ are investigated. It is shown also that $C< x, d>^H$ can be derived from some algebraic (without derivatives) invariants of $H$. Key words: Differential field, differential rational function, invariant, differential transcendent degree. 2000 Mathematics Subject Classification: 12H05, 53A04, 53A55


title: Crosscap numbers of pretzel knots

abstract: The crosscap number of a knot in the 3-sphere is defined as the minimal first Betti number of non-orientable subsurfaces bounded by the knot. In this paper, we determine the crosscap numbers of pretzel knots. The key ingredient to obtain the result is the algorithm of enumerating all essential surfaces for Montesinos knots developed by Hatcher and Oertel.


title: The Quantum Orbifold Cohomology of Weighted Projective Spaces

abstract: We calculate the small quantum orbifold cohomology of arbitrary weighted projective spaces. We generalize Givental's heuristic argument, which relates small quantum cohomology to S^1-equivariant Floer cohomology of loop space, to weighted projective spaces and use this to conjecture an explicit formula for the small J-function, a generating function for certain genus-zero Gromov-Witten invariants. We prove this conjecture using a method due to Bertram. This provides the first non-trivial example of a family of orbifolds of arbitrary dimension for which the small quantum orbifold cohomology is known. We also obtain formulas for the small J-functions of weighted projective complete intersections satisfying a combinatorial condition; this condition naturally singles out the class of orbifolds with terminal singularities.


title: Homotopy theory of associative rings

abstract: A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a quasi-isomorphism (or weak equivalence) for rings and shows that - similar to spaces - the derived category obtained by inverting the quasi-isomorphisms is naturally left triangulated. Also, homology theories on rings are studied. These must be homotopy invariant in the algebraic sense, meet the Mayer-Vietoris property and plus some minor natural axioms. To any functor X from rings to pointed simplicial sets a homology theory is associated in a natural way. If X=GL and fibrations are the GL-fibrations, one recovers Karoubi-Villamayor's functors KV_i, i>0. If X is Quillen's K-theory functor and fibrations are the surjective homomorphisms, one recovers the (non-negative) homotopy K-theory in the sense of Weibel. Technical tools we use are the homotopy information for the category of simplicial functors on rings and the Bousfield localization theory for model categories. The machinery developed in the paper also allows to give another definition for the triangulated category kk constructed by Corti\~nas and Thom. The latter category is an algebraic analog for triangulated structures on operator algebras used in Kasparov's KK-theory.


title: Uniform poly-log diameter bounds for some families of finite groups

abstract: Fix a prime $p$ and an integer $m$ with $p> m \geq 2$. Define the family of finite groups \[ G_n :=SL_m (\mathbb{Z}/p^{n}\mathbb{Z}) \] for $n=1,2,... $. We will prove that there exist two positive constants $C$ and $d$ such that for any $n$ and any generating set $S\subseteq G_{n}$, \[ diam(G_n,S) \leq C \cdot log^d (|G_n|)\] when $diam (G,S)$ is the diameter of the finite group $G$ with respect to the set of generators $S$. It is defined as the maximum over $g \in G$ of the length of the shortest word in $S \cup S^{-1}$ representing $g$. This result shows that these families of finite groups have a poly-logarithmic bound on the diameter with respect to \emph{any} set of generators. The proof of this result also provides a efficient algorithm for finding such a poly-logarithmic representation of any element. In addition it shows that the power $d$ in the $log$ bound can be arbitrary close to 3 for $m=2$ and arbitrary close to 4 for $m>2$.


title: On Yetter's Invariant and an Extension of the Dijkgraaf-Witten Invariant to Categorical Groups

abstract: We give an interpretation of Yetter's Invariant of manifolds $M$ in terms of the homotopy type of the function space $TOP(M,B(G))$, where $G$ is a crossed module and $B(G)$ is its classifying space. From this formulation, there follows that Yetter's invariant depends only on the homotopy type of $M$, and the weak homotopy type of the crossed module $G$. We use this interpretation to define a twisting of Yetter's Invariant by cohomology classes of crossed modules, defined as cohomology classes of their classifying spaces, in the form of a state sum invariant. In particular, we obtain an extension of the Dijkgraaf-Witten Invariant of manifolds to categorical groups. The straightforward extension to crossed complexes is also considered.


title: An update on the middle levels problem

abstract: The middle levels problem is to find a Hamilton cycle in the middle levels, M_{2k+1}, of the Hasse diagram of B_{2k+1} (the partially ordered set of subsets of a 2k+1-element set ordered by inclusion). Previously, the best result was that M_{2k+1} is Hamiltonian for all positive k through k=15. In this note we announce that M_{33} and M_{35} have Hamilton cycles. The result was achieved by an algorithmic improvement that made it possible to find a Hamilton path in a reduced graph of complementary necklace pairs having 129,644,790 vertices, using a 64-bit personal computer.


title: An intrinsic metric for power spectral density functions

abstract: We present an intrinsic metric that quantifies distances between power spectral density functions. The metric was derived by the author in a recent arXiv-report (math.OC/0607026) as the geodesic distance between spectral density functions with respect to a particular pseudo-Riemannian metric motivated by a quadratic prediction problem. We provide an independent verification of the metric inequality and discuss certain key properties of the induced topology.


title: Quandles and Linking Number

abstract: We study the quandle counting invariant for a certain family of finite quandles with trivial orbit subquandles. We show how these invariants determine the linking number of classical two-component links up to sign.


title: Hausdorff dimension in a family of self-similar groups

abstract: For each prime p and a monic polynomial f, invertible over p, we define a group G_{p,f} of p-adic automorphisms of the p-ary rooted tree. The groups are modeled after the first Grigorchuk group, which in this setting is the group G_{2,x^2+x+1}. We show that the constructed groups are self-similar, regular branch groups. This enables us to calculate the Hausdorff dimension of their closures, providing concrete examples (not using random methods) of topologically finitely generated closed subgroups of the group of p-adic automorphisms with Hausdorff dimension arbitrarily close to 1. We provide a characterization of finitely constrained groups in terms of the branching property, and as a corollary conclude that all defined groups are finitely constrained. In addition, we show that all infinite, finitely constrained groups of p-adic automorphisms have positive and rational Hausdorff dimension and we provide a general formula for Hausdorff dimension of finitely constrained groups. Further ``finiteness'' properties are also discussed (amenability, torsion and intermediate growth).


title: On The Moduli of Surfaces Admitting Genus Two Fibrations Over Elliptic Curves

abstract: In this paper, we study the structure, deformations and the moduli spaces of complex projective surfaces admitting genus two fibrations over elliptic curves. We observe that, a surface admitting a smooth fibration as above is elliptic and we employ results on the moduli of polarized elliptic surfaces, to construct moduli spaces of these smooth fibrations. In the case of nonsmooth fibrations, we relate the moduli spaces to the Hurwitz schemes ${\cal H}(1,X(d),n)$ of morphisms of degree $n$ from elliptic curves to the modular curve $X(d)$, $d\geq 3$. Ultimately, we show that the moduli spaces in the nonsmooth case are fiber spaces over the affine line ${\mathbb A}^1$ with fibers determined by the components of ${\cal H}(1,X(d),n)$.


title: Knots, operads and double loop spaces

abstract: We show that the space of long knots in an euclidean space of dimension larger than three is a double loop space, proving a conjecture by Sinha. We construct also a double loop space structure on framed long knots, and show that the map forgetting the framing is not a double loop map in odd dimension. However there is always such a map in the reverse direction expressing the double loop space of framed long knots as a semidirect product. A similar compatible decomposition holds for the homotopy fiber of the inclusion of long knots into immersions. We show also via string topology that the space of closed knots in a sphere, suitably desuspended, admits an action of the little 2-discs operad in the category of spectra. A fundamental tool is the McClure-Smith cosimplicial machinery, that produces double loop spaces out of topological operads with multiplication.


title: The moduli space of commutative algebras of finite rank

abstract: The moduli space of rank-n commutative algebras equipped with an ordered basis is an affine scheme B_n of finite type over Z, with geometrically connected fibers. It is smooth if and only if n <= 3. It is reducible if n >= 8 (and the converse holds, at least if we remove the fibers above 2 and 3). The relative dimension of B_n is (2/27) n^3 + O(n^{8/3}). The subscheme parameterizing etale algebras is isomorphic to GL_n/S_n, which is of dimension only n^2. For n >= 8, there exist algebras are not limits of etale algebras. The dimension calculations lead also to asymptotic formulas for the number of commutative rings of order p^n and the dimension of the Hilbert scheme of n points in d-space for d >= n/2.


title: Nonlinear differential Galois theory

abstract: Differential Galois theory has played important roles in the theory of integrability of linear differential equation. In this paper we will extend the theory to nonlinear case and study the integrability of the first order nonlinear differential equation. We will define for the differential equation the differential Galois group, will study the structure of the group, and will prove the equivalent between the existence of the Liouvillian first integral and the solvability of the corresponding differential Galois group.


title: Boundary properties of Green functions in the plane

abstract: We study the boundary properties of conformal maps, following Jones and Makarov. It is our intention to tie up their approach with the traditional method in conformal mapping. Also, we extend a weak form of the Jones-Makarov theorem to complex parameter values.


title: Invariant conformal geometry on Finsler manifolds

abstract: The electric capacity of a conductor in the 3-dimensional Euclidean space $R^3 $ is defined as a ratio of a given positive charge on the conductor to the value of potential on the surface. This definition of the capacity is independent of the given charge. The capacity of a set as a mathematical notion was defined first by N. Wiener (1924) and was developed by O. Forstman, C. J. de La Vallee Poussin, and several other French mathematicians in connection with potential theory. This paper develops the theory of conformal invariants for Finsler manifolds. More precisely we prove: The capacity of a compact set and the capacity of the condenser of two closed sets are conformally invariant. By mean of the notion of capacity, we construct and study four conformal invariant functions $ \rho$, $ \nu$, $\mu$ and $\lambda$ which have similarities with the classical invariants on $S^n$, $ R^n $ or $H^n$. Their properties and especially their continuity are efficient tools for solving some problems of conformal geometry in the large.


title: Stability conditions and Calabi-Yau fibrations

abstract: In this paper, we describe the spaces of stability conditions for the triangulated categories associated to three dimensional Calabi-Yau fibrations. We deal with two cases, the flat elliptic fibrations and smooth K3 (Abelian) fibrations. In the first case, we will see there exist chamber structures similar to those of the movable cone used in birational geometry. In the second case, we will compare the space with the space of stability conditions for the closed fiber of the fibration.


title: Estimates of the Carath\'eodory metric on the symmetrized polydisc

abstract: Estimates for the Carath\'eodory metric on the symmetrized polydisc are obtained. It is also shown that the Carath\'eodory and Kobayashi distances of the symmetrized three-disc do not coincide.


title: Kuga-Satake Abelian Varieties in Positive Characteristic

abstract: Kuga and Satake associate with every polarized complex K3 surface (X,L) a complex abelian variety called the Kuga-Satake abelian variety of (X,L). We use this construction to define morphisms between moduli spaces of polarized K3 surface with certain level structures and moduli spaces of polarized abelian varieties with level structure over C. In this note we study these morphisms. We prove first that they are defined over finite extensions of Q. Then we show that they extend in positive characteristic. In this way we give an indirect construction of Kuga-Satake abelian varieties over an arbitrary base. We also give some applications of this construction to canonical lifts of ordinary K3 surfaces.


title: Ratliff-Rush Filtrations associated with ideals and modules over a Noetherian ring

abstract: Let $R$ be a commutative Noetherian ring, $M$ a finitely generated $R$-module and $I$ a proper ideal of $R$. In this paper we introduce and analyze some properties of $r(I, M)=\bigcup_{k\geqslant 1} (I^{k+1}M: I^kM)$, {\it the Ratliff-Rush ideal associated with $I$ and $M$}. When $M= R$ (or more generally when $M$ is projective) then $r(I, M)= \widetilde{I}$, the usual Ratliff-Rush ideal associated with $I$. If $I$ is a regular ideal and $\ann M=0$ we show that $\{r(I^n,M) \}_{n\geqslant 0}$ is a stable $I$-filtration. If $M_{\p}$ is free for all ${\p}\in \spec R\setminus \mspec R,$ then under mild condition on $R$ we show that for a regular ideal $I$, $\ell(r(I,M)/{\widetilde I})$ is finite. Further $r(I,M)=\widetilde I $ if $A^*(I)\cap \mspec R =\emptyset $ (here $A^*(I)$ is the stable value of the sequence $\Ass (R/{I^n})$). Our generalization also helps to better understand the usual Ratliff-Rush filtration. When $I$ is a regular $\m$-primary ideal our techniques yield an easily computable bound for $k$ such that $\widetilde{I^n} = (I^{n+k} \colon I^k)$ for all $n \geqslant 1$. For any ideal $I$ we show that $\widetilde{I^nM}=I^nM+H^0_I(M)\quad\mbox{for all} n\gg 0.$ This yields that $\widetilde {\mathcal R}(I,M)=\bigoplus_{n\geqslant 0} \widetilde {I^nM}$ is Noetherian if and only if $\depth M>0$. Surprisingly if $\dim M=1$ then $\widetilde G_I(M)=\bigoplus_{n\geqslant 0} \widetilde{I^nM}/{\widetilde{I^{n+1}M}}$ is always a Noetherian and a Cohen-Macaulay $G_I(R)$-module. Application to Hilbert coefficients is also discussed.


title: Skewness and kurtosis as locally best invariant tests of normality

abstract: Consider testing normality against a one-parameter family of univariate distributions containing the normal distribution as the boundary, e.g., the family of $t$-distributions or an infinitely divisible family with finite variance. We prove that under mild regularity conditions, the sample skewness is the locally best invariant (LBI) test of normality against a wide class of asymmetric families and the kurtosis is the LBI test against symmetric families. We also discuss non-regular cases such as testing normality against the stable family and some related results in the multivariate cases.


title: Kostant's generating functions, Ebeling's theorem and McKay's observation relating the Poincare series

abstract: We generalize B. Kostant's construction of generating functions to the case of multiply-laced diagrams and we prove for this case W. Ebeling's theorem which connects the Poincare series [P_G(t)]_0 and the Coxeter transformations. According to W. Ebeling's theorem [P_G(t)]_0 = \frac{X(t^2)}{\tilde{X}(t^2)}, where X is the characteristic polynomial of the Coxeter transformation and \tilde{X} is the characteristic polynomial of the corresponding affine Coxeter transformation. We prove McKay's observation relating the Poincare series [P_G(t)]_i: (t+t^{-1})[P_G(t)]_i = \sum\limits_{i \leftarrow j}[P_G(t)]_j, where j runs over all vertices adjacent to i.


title: A remark on irregularity of the dbar-Neumann problem on non-smooth domains

abstract: It is an observation due to J.J. Kohn that for a smooth bounded pseudoconvex domain D in $C^n$ there exists s>0 such that the dbar-Neumann operator on D maps $W^s_{(0,1)}(D)$ (the space of $(0,1)$-forms with coefficient functions in $L^2$-Sobolev space of order s) into itself continuously. We show that this conclusion does not hold without the smoothness assumption by constructing a bounded pseudoconvex domain D in $C^2$, smooth except at one point, whose dbar-Neumann operator is not bounded on $W^s_{(0,1)}(D)$ for any s>0.


title: A Riemann-Farey Computation

abstract: An approach to constructing an upper bound for the Riemann-Farey sum is described.


title: Manifolds, Structures Categorically

abstract: A notion of general manifolds is introduced. It covers all usual manifolds in mathematics. Essentially, it is a way how to get a bigger 'fibration' over a site which locally coincides with a given one. An enrichment with generalized elements is regarded which allows to see hom-sets of a given category as (almost) objects and to transfer some technics from objects onto hom-sets. Lifting problem for a group action and actions of group objects are also included.


title: Monopole classes and Perelman's invariant of four-manifolds

abstract: We calculate Perelman's invariant for compact complex surfaces and a few other smooth four-manifolds. We also prove some results concerning the dependence of Perelman's invariant on the smooth structure.


title: The end of the curve complex

abstract: Suppose that S is a surface of genus two or more, with exactly one boundary component. Then the curve complex of S has one end.


title: Local interpolation in Hilbert spaces of Dirichlet series

abstract: We denote by $\Hp$ the Hilbert space of ordinary Dirichlet series with square-summable coefficients. The main result is that a bounded sequence of points in the half-plane $\sigma >1/2$ is an interpolating sequence for $\Hp$ if and only if it is an interpolating sequence for the Hardy space $H^2$ of the same half-plane. Similar local results are obtained for Hilbert spaces of ordinary Dirichlet series that relate to Bergman and Dirichlet spaces of the half-plane $\sigma >1/2$.


title: On the Holonomy of the Coulomb Connection over 3-manifolds with Boundary

abstract: Narasimhan and Ramadas showed that the Gribov ambiguity was maximal for the product SU(2) bundle over S^3. Specifically they showed that the holonomy group of the Coulomb connection is dense in the connected component of the identity of the gauge group. Instead of base manifold S^3, we consider here a base manifold with a boundary. In this with-boundary case we must include boundary conditions on the connection forms. We will use the so-called conductor (a.k.a Dirichlet) boundary conditions on connections. With these boundary conditions, we will first show that the space of connections is a C^\infty Hilbert principal bundle with respect to the associated conductor gauge group. We will consider the holonomy of the Coulomb connection for this bundle. If the base manifold is an open subset of R^3 and we use the product principal bundle, we will show that the holonomy group is again a dense subset of the connected component of the identity of the gauge group.


title: Classification of modules of the intermediate series over Ramond N=2 superconformal algebras

abstract: In this paper, we first discuss the structure of the Ramond N=2 superconformal algebras. Then we also classify the modules of the intermediate series over Ramond N=2 superconformal algebra.


title: On algebraic torsion forms and their spin holonomy algebras

abstract: We study holonomy algebras generated by an algebraic element of the Clifford algebra, or equivalently, the holonomy algebras of certain spin connections in flat space. We provide series of examples in arbitrary dimensions and establish general properties of the holonomy algebras under some mild conditions on the generating element. We show that the first non-standard situation to look at appears in dimension 8 and concerns self-dual 4-forms. In this case complete structure results are obtained.


title: Soliton splitting by external delta potentials

abstract: We show that a soliton scattered by an external delta potential splits into two solitons and a radiation term. Theoretical analysis gives the amplitudes and phases of the reflected and transmitted solitons with errors going to zero as the velocity of the incoming soliton tends to infinity. Numerical analysis shows that this asymptotic relation is valid for all but very slow solitons. We also show that the total transmitted mass, that is the square of the $L^2$ norm of the solution restricted on the transmitted side of the delta potential is in good agreement with the quantum transmission rate of the delta potential. This paper is a numerical companion to our analytical paper on the same topic, "Fast soliton scattering by delta impurities," math.AP/0602187.


title: Measure Concentration of Markov Tree Processes

abstract: We prove an apparently novel concentration of measure result for Markov tree processes. The bound we derive reduces to the known bounds for Markov processes when the tree is a chain, thus strictly generalizing the known Markov process concentration results. We employ several techniques of potential independent interest, especially for obtaining similar results for more general directed acyclic graphical models.


title: On a comparison of minimal log discrepancies in terms of motivic integration

abstract: We formulate a comparison of minimal log discrepancies of a variety and its ambient space with appropriate boundaries in terms of motivic integration. It was obtained also by Ein and Musta\c{t}\v{a} independently.


title: Efficient enumeration of graceful permutations

abstract: A graceful n-permutation is a graceful labeling of an n-vertex path P_n. In this paper we improve the asymptotic lower bound on the number of such permutations from (5/3)^n to 2.37^n. This is a computer-assisted proof based on an effective algorithm that enumerates graceful n-permutations. Our algorithm is also presented in detail.


title: Sharp forms of Nevanlinna error terms in differential equations

abstract: Sharp versions of some classical results in differential equations are given. Main results consists of a Clunie and a Mohon'ko type theorems, both with sharp forms of error terms. The sharpness of these results is discussed and some applications to nonlinear differential equations are given in the conluding remarks. Moreover, a short introduction on the connection between Nevanlinna theory and number theory, as well as on their relation to differential equations, is given. In addition, a brief review on the recent developments in the field of sharp error term analysis is presented.


title: Two nonrelated Finsler structures on a manifold

abstract: In the present paper, we consider two different {\em Finsler} structures $L$ and $L^*$ on the same base manifold $M$, with no relation preassumed between them. \par Introducing the $\pi$-tensor field representing the difference between the Cartan connections associated with $L$ and $L^*$, we investigate the conditions, to be satisfied by this $\pi$-tensor field, for the geometric objects associated with $L$ and $L^*$ to have the same properties. Among the items investigated in the paper, we consider the properties of being a geodesic, a Jacobi field, a Berwald manifold, a locally Minkowskian manifold and a Landsberg manifold. \par It should be noticed that our approach is intrinsic, i.e., it does not make use of local coordinate techniques.


title: Instability of graphical strips and a positive answer to the Bernstein problem in the Heisenberg group

abstract: Let S be a C^2 H-minimal noncharacteristic hypersurface in the first Heisenberg group. We show that if S contains a graphical strip, then it is not a stable minimal surface. Moreover, we show that if S is a C^2 H-minimal noncharacteristic entire graph which is not itself a vertical plane, then S contains a graphical strip. Thus, as a corollary, we obtain an analogue of the Bernstein theorem: the only stable C^2 H-minimal noncharacteristic entire graphs are the vertical planes.


title: The Heegaard genus of bundles over S^1

abstract: This paper explores connections between Heegaard genus, minimal surfaces, and pseudo-Anosov monodromies. Fixing a pseudo-Anosov map phi and an integer n, let M_n be the 3-manifold fibered over S^1 with monodromy phi^n. JH Rubinstein showed that for a large enough n every minimal surface of genus at most h in M_n is homotopic into a fiber; as a consequence Rubinstein concludes that every Heegaard surface of genus at most h for M_n is standard, that is, obtained by tubing together two fibers. We prove this result and also discuss related results of Lackenby and Souto.


title: Equality of Schur's Q-functions and their skew analogues

abstract: We find a simple criterion for the equality $Q_\lambda=Q_{\mu/\nu}$ where $Q_\lambda$ and $Q_{\mu/\nu}$ are Schur's Q-functions on infinitely many variables.


title: Third Mac Lane cohomology via categorical rings

abstract: It is proved that the third Mac Lane cohomology group of a ring R with coefficients in a bimodule B classifies categorical rings having R as the ring of isomorphism classes of objects and B as the bimodule of automorphisms of the neutral object.


title: Exponential approximations for the primitive equations of the ocean

abstract: We show that in the limit of small Rossby number $\eps$, the primitive equations of the ocean (OPEs) can be approximated by ``higher-order quasi-geostrophic equations'' up to an exponential accuracy in $\eps$. This approximation assumes well-prepared initial data and is valid for a timescale of order one (independent of $\eps$). Our construction uses Gevrey regularity of the OPEs and a classical method to bound errors in higher-order perturbation theory.


title: L-functions of symmetric powers of cubic exponential sums

abstract: For each positive integer k, we investigate the L-function attached to the k-th symmetric power of the F-crystal associated to the family of cubic exponential sums of x^3 + \lambda x. We explore its rationality, field of definition, degree, trivial factors, functional equation, and Newton polygon. The paper is essentially self-contained, due to the remarkable and attractive nature of Dwork's p-adic theory. A novel feature of this paper is an extension of Dwork's effective decomposition theory when k < p. This allows for explicit computations in the associated p-adic cohomology. In particular, the action of Frobenius on the (primitive) cohomology spaces may be explicitly studied.


title: Graph Laplacians and their convergence on random neighborhood graphs

abstract: Given a sample from a probability measure with support on a submanifold in Euclidean space one can construct a neighborhood graph which can be seen as an approximation of the submanifold. The graph Laplacian of such a graph is used in several machine learning methods like semi-supervised learning, dimensionality reduction and clustering. In this paper we determine the pointwise limit of three different graph Laplacians used in the literature as the sample size increases and the neighborhood size approaches zero. We show that for a uniform measure on the submanifold all graph Laplacians have the same limit up to constants. However in the case of a non-uniform measure on the submanifold only the so called random walk graph Laplacian converges to the weighted Laplace-Beltrami operator.


title: On contractive families and a fixed-point question of Stein

abstract: In this paper we disprove the following conjectured generalization of the Contraction Mapping Theorem (due to J.D. Stein Jr.): Let X be a complete metric space and let F be a finite family of self-maps of X. Suppose there is a postive constant strictly less than 1 such that, for any two points x and y of X, some member of F contracts those points by a factor of at most that constant. Then some composition of members of F has a fixed point. We also show that the above does hold for a (continuous) commuting F containing only two maps. We conjecture that it holds for commuting F of any finite size.


title: Transfinite partitions of Jordan curves

abstract: The w-asymmetry induced by transfinite partitions makes it impossible for Jordan curves to have an infinite length.


title: On the Cohomology of Modular Lie Algebras

abstract: In this paper we establish a connection between the cohomology of a modular Lie algebra and its p-envelopes. We also compute the cohomology of Zassenhaus algebras and their minimal p-envelopes with coefficients in generalized baby Verma modules and in simple modules over fields of characteristic p>2.


title: A manifold structure for the group of orbifold diffeomorphisms of a smooth orbifold

abstract: For a compact, smooth C^r orbifold (without boundary), we show that the topological structure of the orbifold diffeomorphism group is a Banach manifold for finite r \ge 1 and a Frechet manifold if r=infty. In each case, the local model is the separable Banach (Frechet) space of C^r (C^infty, resp.) orbisections of the tangent orbibundle.


title: A homological definition of the HOMFLY polynomial

abstract: We give a new definition of the knot invariant associated to the Lie algebra su_{N+1}. The knot or link must be presented as the plat closure of a braid. The invariant is then a homological intersection pairing between two submanifolds of a configuration space of points in a disk. This generalizes previous work on the Jones polynomial, which is the case N=1.


title: Approximately j-dimensional Koch type sets are potentially minimal surfaces

abstract: We investigate the approximate j-dimensionality of the singularity sets of minimal surfaces prescribed by Simon. This leads to the clasification of 8 variations of approximately j-dimensional surfacs in terms of dimension and locally finite Hausdorff measure. We show that the singularity sets must either be well behaved or essentially purely unrectifiable. Examples of the unrectifiable sets that could occur are constructed and generalised. They are shown to be pseudo-fractal and related to the well known Koch Sets. Various representations of the measure and dimension of the sets are shown, as well as a fine balance in the spiralling nature of the sets.


title: Periodic orbits in outer billiards

abstract: It is shown that the set of 4-period orbits in outer billiard with piecewise smooth convex boundary has an empty interior, provided that no four corners of the boundary form a parallelogram.


title: Time change approach to generalized excursion measures, and its application to limit theorems

abstract: It is proved that generalized excursion measures can be constructed via time change of Ito's Brownian excursion measure. A tightness-like condition on strings is introduced to prove a convergence theorem of generalized excursion measures. The convergence theorem is applied to obtain a conditional limit theorem, a kind of invariance principle where the limit is the Bessel meander.


title: Lower Schwarz-Pick estimates and angular derivatives

abstract: The well-known Schwarz-Pick lemma states that any analytic mapping $\phi$ of the unit disk $U$ into itself satisfies the inequality $$|\phi'(z)|\leq \frac{1-|\phi(z)|^2}{1-|z|^2}, \quad z\in U.$$ This estimate remains the same if we restrict ourselves to univalent mappings. The lower estimate is $|\phi'(z)|\geq 0$ generally or $|\phi'(z)|> 0$ for univalent functions. To make the lower estimate non-trivial we consider univalent functions and fix the angular limit and the angular derivative at some points of the unit circle. In order to obtain sharp estimates we make use of the reduced modulus of a digon.


title: Sub-Riemannian geometry of the coefficients of univalent functions

abstract: We consider coefficient bodies $\mathcal M_n$ for univalent functions. Based on the L\"owner-Kufarev parametric representation we get a partially integrable Hamiltonian system in which the first integrals are Kirillov's operators for a representation of the Virasoro algebra. Then $\mathcal M_n$ are defined as sub-Riemannian manifolds. Given a Lie-Poisson bracket they form a grading of subspaces with the first subspace as a bracket-generating distribution of complex dimension two. With this sub-Riemannian structure we construct a new Hamiltonian system and calculate regular geodesics which turn to be horizontal. Lagrangian formulation is also given in the particular case $\mathcal M_3$.


title: Induced structures on submanifolds in almost product Riemannian manifolds

abstract: We give some fundamental properties of the induced structures on submanifolds immersed in almost product or locally product Riemannian manifolds. We study the induced structure by the composition of two isometric immersions on submanifolds in an almost product Riemannian manifold. We give an effective construction for some induced structures on submanifolds of codimension 1 or 2 in Euclidean space.


title: On Automorphisms of Finite $p$-groups

abstract: Let $G$ be a finite $p$-group such that $x\Z(G) \subseteq x^G$ for all $x \in G- \Z(G)$, where $x^G$ denotes the conjugacy class of $x$ in $G$. Then $|G|$ divides $|\Aut(G)|$, where $\Aut(G)$ is the group of all automorphisms of $G$.


title: On Automorphisms of Some Finite $p$-groups

abstract: We give a sufficient condition on a finite $p$-group $G$ of nilpotency class 2 so that $\Aut_c(G) = \Inn(G)$, where $\Aut_c(G)$ and $\Inn(G)$ denote the group of all class preserving automorphisms and inner automorphisms of $G$ respectively. Next we prove that if $G$ and $H$ are two isoclinic finite groups (in the sense of P. Hall), then $\Aut_c(G) \cong \Aut_c(H)$. Finally we study class preserving automorphisms of groups of order $p^5$ and prove that $\Aut_c(G) = \Inn(G)$ for all the groups of order $p^5$ except two isoclinism families.


title: Dilatation structures I. Fundamentals

abstract: A dilatation structure is a concept in between a group and a differential structure. In this article we study fundamental properties of dilatation structures on metric spaces. This is a part of a series of papers which show that such a structure allows to do analysis, in the sense of differential calculus, on a metric space. We also describe a formal, universal calculus with binary decorated planar trees, which underlies any dilatation structure.


title: A Ferrand-Obata theorem for rank one parabolic geometries

abstract: The aim of this article is the proof of the following result: Let M be a connected manifold endowed with a regular Cartan geometry modelled on the boundary X of the d-dimensional real (resp. complex, resp. quaternionic, resp. octonionic) hyperbolic space. If the group of automorphisms of M does not act properly on M, then M is geometrically isomorphic to: - X if M is compact. - X minus a point in the other cases.


title: Surface realization with the intersection edge functional

abstract: Deciding realizability of a given polyhedral map on a (compact, connected) surface belongs to the hard problems in discrete geometry, from the theoretical, the algorithmic, and the practical point of view. In this paper, we present a heuristic algorithm for the realization of simplicial maps, based on the intersection edge functional. The heuristic was used to find geometric realizations in R^3 for all vertex-minimal triangulations of the orientable surfaces of genus g=3 and g=4. Moreover, for the first time, examples of simplicial polyhedra in R^3 of genus 5 with 12 vertices were obtained.


title: p-adic entropy and a p-adic Fuglede-Kadison determinant

abstract: Using periodic points we study a notion of entropy with values in the p-adic numbers. This is done for actions of countable discrete residually finite groups $\Gamma$. For suitable $\Gamma = \mathbb{Z}^d$-actions we obtain p-adic analogues of multivariable Mahler measures. For certain actions of more general groups the p-adic entropy can be expressed in terms of a p-adic analogue of the Fuglede-Kadison determinant from the theory of von Neumann algebras. Many basic questions remain open.


title: Growth and roughness of the interface for ballistic deposition

abstract: In ballistic deposition (BD), $(d+1)$-dimensional particles fall sequentially at random towards an initially flat, large but bounded $d$-dimensional surface, and each particle sticks to the first point of contact. For both lattice and continuum BD, a law of large numbers in the thermodynamic limit establishes convergence of the mean height and surface width of the interface to constants $h(t)$ and $w(t)$, respectively, depending on time $t$. We show that $h(t)$ is asymptotically linear in $t$, while $w(t)$ grows at least logarithmically in $t$ when $d=1$. We also give duality results saying that the height above the origin for deposition onto an initially flat surface is equidistributed with the maximum height for deposition onto a surface growing from a single site.


title: Confinement of vorticity in two dimensional ideal incompressible exterior flow

abstract: In [Math. Meth. Appl. Sci. 19 (1996) 53-62], C. Marchioro examined the problem of vorticity confinement in the exterior of a smooth bounded domain. The main result in Marchioro's paper is that solutions of the incompressible 2D Euler equations with compactly supported nonnegative initial vorticity in the exterior of a connected bounded region have vorticity support with diameter growing at most like $\mathcal{O}(t^{(1/2)+\vare})$, for any $\vare>0$. In addition, if the domain is the exterior of a disk, then the vorticity support is contained in a disk of radius $\mathcal{O}(t^{1/3})$. The purpose of the present article is to refine Marchioro's results. We will prove that, if the initial vorticity is even with respect to the origin, then the exponent for the exterior of the disk may be improved to 1/4. For flows in the exterior of a smooth, connected, bounded domain we prove a confinement estimate with exponent 1/2 (i.e. we remove the $\vare$) and in certain cases, depending on the harmonic part of the flow, we establish a logarithmic improvement over the exponent 1/2. The main new ingredients in our approach are: (1) a detailed asymptotic description of solutions to the exterior Poisson problem near infinity, obtained by the use of Riemann mappings; (2) renormalized energy estimates and bounds on logarithmic moments of vorticity and (3) a new {\it a priori} estimate on time derivatives of logarithmic perturbations of the moment of inertia.


title: Combinatorial symbolic powers

abstract: Symbolic powers are studied in the combinatorial context of monomial ideals. When the ideals are generated by quadratic squarefree monomials, the generators of the symbolic powers are obstructions to vertex covering in the associated graph and its blowups. As a result, perfect graphs play an important role in the theory, dual to the role played by perfect graphs in the theory of secants of monomial ideals. We use Gr\"obner degenerations as a tool to reduce questions about symbolic powers of arbitrary ideals to the monomial case. Among the applications are a new, unified approach to the Gr\"obner bases of symbolic powers of determinantal and Pfaffian ideals.


title: The $Q$-curvature on a 4-dimensional Riemannian manifold $(M,g)$ with $\int_MQdV_g=8\pi^2$

abstract: In this paper we study the solutions of the $Q$-curvature equation on a 4-dimensional Riemannian manifold $(M,g)$ with $\int_MQdV_g=8\pi^2$, proving some sufficient conditions for the existence.


title: Complete localisation in the parabolic Anderson model with Pareto-distributed potential

abstract: The parabolic Anderson problem is the Cauchy problem for the heat equation $\partial_t u(t,z)=\Delta u(t,z)+\xi(z) u(t,z)$ on $(0,\infty)\times {\mathbb Z}^d$ with random potential $(\xi(z) \colon z\in {\mathbb Z}^d)$. We consider independent and identically distributed potential variables, such that Prob$(\xi(z)>x)$ decays polynomially as $x\uparrow\infty$. If $u$ is initially localised in the origin, i.e. if $u(0,x)=\one_0(x)$, we show that, at any large time $t$, the solution is completely localised in a single point with high probability. More precisely, we find a random process $(Z_t \colon t\ge 0)$ with values in $\Z^d$ such that $\lim_{t \uparrow\infty} u(t,Z_t)/\sum_{z\in\Z^d} u(t,z) =1,$ in probability. We also identify the asymptotic behaviour of $Z_t$ in terms of a weak limit theorem.


title: Modulus of analytic classification for unfoldings of resonant diffeomorphisms

abstract: We provide a complete system of analytic invariants for unfoldings of non-linearizable resonant complex analytic diffeomorphisms as well as its geometrical interpretation. In order to fulfill this goal we develop an extension of the Fatou coordinates with controlled asymptotic behavior in the neighborhood of the fixed points. The classical constructions are based on finding regions where the dynamics of the unfolding is topologically stable. We introduce a concept of infinitesimal stability leading to Fatou coordinates reflecting more faithfully the analytic nature of the unfolding. These improvements allow us to control the domain of definition of a conjugating mapping and its power series expansion.


title: A note on quantum products of Schubert classes in a Grassmannian

abstract: Given two Schubert classes $\sigma_{\lambda}$ and $\sigma_{\mu}$ in the quantum cohomology of a Grassmannian, we construct a partition $\nu$, depending on $\lambda$ and $\mu$, such that $\sigma_{\nu}$ appears with coefficient 1 in the lowest (or highest) degree part of the quantum product $\sigma_{\lambda}\star\sigma_{\mu}$. To do this, we show that for any two partitions $\lambda$ and $\mu$, contained in a $k$-by-$(n-k)$ rectangle and such that the 180-degree rotation of one does not overlap the other, there is a third partition $\nu$, also contained in the rectangle, such that the Littlewood-Richardson number $c_{\lambda\mu}^{\nu}$ is 1.