title: Twenty combinatorial examples of asymptotics derived from multivariate generating functions

abstract: Let $\{a_\rr : \rr \in (\Z^+)^d \}$ be a $d$-dimensional array of numbers, for which the generating function $F(\zz) := \sum_\rr a_\rr \zz^\rr$ is meromorphic in a neighborhood of the origin. For example, $F$ may be a rational multivariate generating function. We discuss recent results that allow the effective computation of asymptotic expansions for the coefficients of $F$. Our purpose is to illustrate the use of these techniques on a variety of problems of combinatorial interest. The survey begins by summarizing previous work on the asymptotics of univariate and multivariate generating functions. Next we describe the Morse-theoretic underpinnings of some new asymptotic techniques. We then quote and summarize these results in such a way that only elementary analyses are needed to check hypotheses and carry out computations. The remainder of the survey focuses on combinatorial applications, such as enumeration of words with forbidden substrings, edges and cycles in graphs, polyominoes, and descents in permutations. After the individual examples, we discuss three broad classes of examples, namely functions derived via the transfer matrix method, those derived via the kernel method, and those derived via the method of Lagrange inversion. These methods have the property that generating functions derived from them are amenable to our asymptotic analyses, and we describe further machinery that facilitates computations for these classes of examples.


title: Equidistribution for torsion points of a Drinfeld module

abstract: We prove an equidistribution result for torsion points of Drinfeld modules of generic characteristic. We also show that similar equidistribution statements provide proofs for the Manin-Mumford and the Bogomolov conjectures for Drinfeld modules.


title: A two-species competition model on Z^d

abstract: We consider a two-type stochastic competition model on the integer lattice Z^d. The model describes the space evolution of two ``species'' competing for territory along their boundaries. Each site of the space may contain only one representative (also referred to as a particle) of either type. The spread mechanism for both species is the same: each particle produces offspring independently of other particles and can place them only at the neighboring sites that are either unoccupied, or occupied by particles of the opposite type. In the second case, the old particle is killed by the newborn. The rate of birth for each particle is equal to the number of neighboring sites available for expansion. The main problem we address concerns the possibility of the long-term coexistence of the two species. We have shown that if we start the process with finitely many representatives of each type, then, under the assumption that the limit set in the corresponding first passage percolation model is uniformly curved, there is positive probability of coexistence.


title: Characteristic functions and joint invariant subspaces

abstract: Let T:=[T_1,..., T_n] be an n-tuple of operators on a Hilbert space such that T is a completely non-coisometric row contraction. We establish the existence of a "one-to-one" correspondence between the joint invariant subspaces under T_1,..., T_n, and the regular factorizations of the characteristic function associated with T. In particular, we prove that there is a non-trivial joint invariant subspace under the operators T_1,..., T_n, if and only if there is a non-trivial regular factorization of the characteristic function. We also provide a functional model for the joint invariant subspaces in terms of the regular factorizations of the characteristic function, and prove the existence of joint invariant subspaces for certain classes of n-tuples of operators. We obtain criterions for joint similarity of n-tuples of operators to Cuntz row isometries. In particular, we prove that a completely non-coisometric row contraction T is jointly similar to a Cuntz row isometry if and only if the characteristic function of T is an invertible multi-analytic operator.


title: Lengths of geodesics between two points on a Riemannian manifold

abstract: Let x and y be two (not necessarily distinct) points on a closed Riemannian manifold M of dimension n. According to a celebrated theorem by J.P. Serre there exist infinitely many geodesics between x and y. The length of the shortest of these geodesics is obviously less than the diameter of M. But what can be said about the length of the other geodesics? We conjecture that for every k there are k geodesics between x and y of length not exceeding kd, where d denotes the diameter of M.This conjecture is obviously true for round spheres and it is not difficult to prove it for all closed Riemannian manifolds with non-trivial torsion-free fundamental groups. In this paper we announce two further results in the direction of this conjecture. Our first result is that the length of the second shortest geodesic between x and y does not exceed 2nd. Our second result is that if n=2 and M is diffeomorphic to the two-dimensional sphere, then for every k every two points on M can be connected by k geodesics of length not exceeding $(k^2/2 + 3k/2 +2)d$.


title: Ordered Spaces, Metric Preimages, and Function Algebras

abstract: We consider the Complex Stone-Weierstrass Property (CSWP), which is the complex version of the Stone-Weierstrass Theorem. If X is a compact subspace of a product of three linearly ordered spaces, then X has the CSWP if and only if X has no subspace homeomorphic to the Cantor set. In addition, every finite power of the double arrow space has the CSWP. These results are proved using some results about those compact Hausdorff spaces which have scattered-to-one maps onto compact metric spaces.


title: On weakly bounded empirical processes

abstract: Let $F$ be a class of functions on a probability space $(\Omega,\mu)$ and let $X_1,...,X_k$ be independent random variables distributed according to $\mu$. We establish high probability tail estimates of the form $\sup_{f \in F} |\{i : |f(X_i)| \geq t \}$ using a natural parameter associated with $F$. We use this result to analyze weakly bounded empirical processes indexed by $F$ and processes of the form $Z_f=|k^{-1}\sum_{i=1}^k |f|^p(X_i)-\E|f|^p|$ for $p>1$. We also present some geometric applications of this approach, based on properties of the random operator $\Gamma=k^{-1/2}\sum_{i=1}^k \inr{X_i,\cdot}e_i$, where the $(X_i)_{i=1}^k$ are sampled according to an isotropic, log-concave measure on $\R^n$.


title: Lie bialgebras of generalized Virasoro-like type

abstract: In two recent papers by the authors, all Lie bialgebra structures on Lie algebras of generalized Witt type are classified. In this paper all Lie bialgebra structures on generalized Virasoro-like algebras are determined. It is proved that all such Lie bialgebras are triangular coboundary.


title: Symmetric obstruction theories and Hilbert schemes of points on threefolds

abstract: We introduce the notion of symmetric obstruction theory and study symmetric obstruction theories which are compatible with C*-actions. We prove that the contribution of an isolated fixed point under a C*-action to equivariant Donaldson-Thomas type invariants is +/- 1. As an application, we compute weighted Euler characteristics of all Hilbert schemes of points on any 3-fold. Moreover, we calculate the zero-dimensional Donaldson-Thomas invariants of any projective Calabi-Yau 3-fold. This proves a conjecture of Maulik-Nekrasov-Okounkov-Pandharipande.


title: Lyapunov exponents and bifurcation current for polynomial-like maps

abstract: We study holomorphic families of polynomial-like maps depending on a parameter s. We prove that the partial sums of largest Lyapunov exponents are plurisubharmonic functions of s. We also study their continuity and introduce the bifurcation locus as the support of bifurcation currents.


title: On complete affine structures in Lie groups

abstract: Left invariant affine structures in a Lie group $G$ are in one-to-one correspondence with left-symmetric algebras over its Lie algebra $\mathfrak g=T_eG$ (``over'' means that the commutator $[x,y]=xy-yx$ coincides with the Lie bracket; left-symmetric algebras can be defined as Lie-admissible algebras such that the multiplication by left defines a representation of the underlying Lie algebra). An affine structure (and the corresponding left symmetric algebra) is complete if $G$ is affinely equivalent to $\mathfrak g$. By the main result of this paper, a complete left symmetric algebra admits a canonical decomposition: there is a Cartan subalgebra $\mathfrak h$ such that the root subspaces for the representations $L$ (by left multiplications) and $\ad$ coincide. Then operators $L(x)$ and $\ad(x)$ have equal semisimple parts for all $x\in\mathfrak h$. This decomposition is unique. For simple complete left-symmetric algebras whose canonical decomposition consists of one dimensional spaces we define two types of graphs and prove some their properties. This makes possible to describe, for dimensions less or equal to 5, these graphs and algebras.


title: General Logic-Systems and Consequence Operators

abstract: In this paper, general logic-systems are investigated. It is shown that there are infinitely many finite consequence operators defined on a fixed language L that cannot be generated from a finite logic-system. It is shown that a set map is a finite consequence operator iff it is defined by a general logic-system.


title: Finiteness of arithmetic Kleinian reflection groups

abstract: We prove that there are only finitely many arithmetic Kleinian maximal reflection groups.


title: Filling invariants at infinity and the Euclidean rank of Hadamard spaces

abstract: In this paper we study a homological version of the higher-dimensional divergence invariants defined by Brady and Farb. We show that they are quasi-isometry invariants in the class of proper cocompact Hadamard spaces in the sense of Alexandrov and that they can moreover be used to detect the Euclidean rank of such spaces. We thereby extend results of Brady-Farb, Leuzinger, and Hindawi from the setting of symmetric spaces of non-compact type to that of singular Hadamard spaces. Finally, we exhibit the optimal power for the growth of the divergence above the rank for symmetric spaces of non-compact type and for Hadamard spaces with strictly negative upper curvature bound.


title: Localization of g^-modules on the affine Grassmannian

abstract: We consider the category of modules over the affine Kac-Moody algebra g^ of critical level with regular central character. In our previous paper math.RT/0508382 we conjectured that this category is equivalent to the category of Hecke eigen-D-modules on the affine Grassmannian G((t))/G[[t]]. This conjecture was motivated by our proposal for a local geometric Langlands correspondence. In this paper we prove this conjecture for the corresponding I^0 equivariant categories, where I^0 is the radical of the Iwahori subgroup of G((t)). Our result may be viewed as an affine analogue of the equivalence of categories of g-modules and D-modules on the flag variety G/B, due to Beilinson-Bernstein and Brylinski-Kashiwara.


title: Quantum double of ${\rm U}_q((\ksl_2)^{\leq 0})$

abstract: Let ${U}_q(sl_2)$ be the quantized enveloping algebra associated to the simple Lie algebra $sl_2$. In this paper, we study the quantum double $D_q$ of the Borel subalgebra ${U}_q((sl_2)^{\leq 0})$ of ${U}_q(sl_2)$. We construct an analogue of Kostant--Lusztig ${Z}[v,v^{-1}]$-form for $D_q$ and show that it is a Hopf subalgebra. We prove that, over an algebraically closed field, every simple $D_q$-module is the pullback of a simple ${U}_q(sl_2)$-module through certain surjection from $D_q$ onto ${U}_q(sl_2)$, and the category of finite dimensional weight $D_q$-modules is equivalent to a direct sum of $|k^{\times}|$ copies of the category of finite dimensional weight ${U}_q(sl_2)$-modules. As an application, we recover (in a conceptual way) Chen's results as well as Radford's results on the quantum double of Taft algebra. Our main results allow a direct generalization to the quantum double of the Borel subalgebra of the quantized enveloping algebra associated to arbitrary Cartan matrix.


title: Forty-plus annotated questions about large topological groups

abstract: This is a selection of open problems dealing with ``large'' (non locally compact) topological groups and concerning extreme amenability (fixed point on compacta property), oscillation stability, universal minimal flows and other aspects of universality, and unitary representations.


title: Characterizations of the Extended Geometric, Harris, Negative Binomial and Gamma Distributions

abstract: Extended geometric distribution is defined and its mixture is characterized by the property of having completely monotone probability sequence. Also, convolution equations and probability generating functions are used to characterize extended geometric distributions. Further, some characterizations of Harris and negative binomial distributions based on probability generating functions are obtained. Relations between these distributions are derived and finally a gamma distribution is characterized in terms of its Laplace transform.


title: The structures of a class of $Z$-local rings

abstract: A local ring $R$ is called $Z$-local if $J(R) = Z(R)$ and $J(R)^2 = 0$. In this paper the structures of a class of $Z$-local rings are determined.


title: Simple Graphs and Commutative Zero-Divisor Semigroups

abstract: In this paper, we study commutative zero-divisor semigroups determined by graphs. We prove a uniqueness theorem for a class of graphs. We show two classes of graphs that have no corresponding semigroups. In particular, any complete graph $K_n$ together with more than three end vertices and any complete bipartite graph together with more than one end vertices have no corresponding semigroups. We also determine all possible zero-divisor semigroups whose zero-divisor graph is the com- plete graph $K_3$ together with two end vertices.


title: Sub-semigroups determined by the zero-divisor graph

abstract: In this paper we study sub-semigroups of a zero-divisor semigroup $S$ determined by properties of the zero-divisor graph $\Gamma(S)$. We use these sub-semigroups to study the correspondence between zero- divisor semigroups and zero-divisor graphs. We study properties of sub- semigroups of Boolean semigroups via the zero-divisor graph. As an application, we provide a characterization of the graphs which are zero- divisor graphs of Boolean rings.


title: The Structures of Zero-divisor Semigroups with Graph Kn + 1

abstract: In this paper, we determine the structures of zero-divisor semigroups whose graph is $K_n + 1$, the complete graph $K_n$ together with an end vertex. We also present a formula to calculate the number of non-isomorphic zero-divisor semigroups corresponding to the complete graph $K_n$, for all positive integer $n$.


title: Noncommutative Symmetric Functions and Lagrange Inversion

abstract: We compute the noncommutative Frobenius characteristic of the natural action of the 0-Hecke algebra on parking functions, and obtain as corollaries various forms of the noncommutative Lagrange inversion formula.


title: Short Proofs of Summation and Transformation Formulas for Basic Hypergeometric Series

abstract: We show that several terminating summation and transformation formulas for basic hypergeometric series can be proved in a straightforward way. Along the same line, new finite forms of Jacobi's triple product identity and Watson's quintuple product identity are also proved.


title: Multivalued functionals, one-forms and deformed de Rham complex

abstract: We discuss some applications of the Morse-Novikov theory to some problems in modern physics, where appears a non-exact closed 1-form $\omega$ (a multi-valued functional). We focus mainly our attention to the cohomology of the de Rham complex of a compact manifold $M^n$ with a deformed differential $d_{\omega}=d +\lambda \omega$. Using Witten's approach to the Morse theory one can estimate the number of critical points of $\omega$ in terms of the cohomology of deformed de Rham complex with sufficiently large values of $\lambda$ (torsion-free Novikov's inequalities). We show that for an interesting class of solvmanifolds this cohomology can be computed as the cohomology of the corresponding Lie algebra $\mathfrak{g}$ associated with the one-dimensional representation $\rho_{\lambda \omega}$.


abstract: The local Donaldson-Thomas theory of curves is solved by localization and degeneration methods. The results complete a triangle of equivalences relating Gromov-Witten theory, Donaldson-Thomas theory, and the quantum cohomology of the Hilbert scheme of points of the plane. The quantum differential equation of the Hilbert scheme of points of the plane has a natural interpretation in the local Donaldson-Thomas theory of curves. The solution determines the 1-legged equivariant vertex.


title: On the Generalized Enveloping Algebra of a Color Lie Algebra

abstract: Let $G$ be an abelien group, $\epsilon$ an anti-bicharacter of $G$ and $L$ a $G$-graded $\epsilon$ Lie algebra (color Lie algebra) over $\K$ a field of characteristic zero. We prove that all $G$-graded, positive filtered $A$ such that the associated graded algebra is isomorphic to the $G$-graded $\epsilon$-symmetric algebra $S(L)$, there is a $G$- graded $\epsilon$-Lie algebra $L$ and a $G$-graded scalar two cocycle $\omega\in\mathrm{Z}_{gr}^2(L,\K)$, such that $A$ is isomorphic to $ U_\omega(L)$ the generalized enveloping algebra of $L$ associated with $\omega$. We also prove there is an isomorphism of graded spaces between the Hochschild cohomology of the generalized universal enveloping algebra $U(L)$ and the generalized cohomology of color Lie algebra $L$.


title: Iterated wreath product of the simplex category and iterated loop spaces

abstract: Generalising Segal's approach to 1-fold loop spaces, the homotopy theory of $n$-fold loop spaces is shown to be equivalent to the homotopy theory of reduced $\Theta_n$-spaces, where $\Theta_n$ is an iterated wreath product of the simplex category $\Delta$. A sequence of functors from $\Theta_n$ to $\Gamma$ allows for an alternative description of the Segal-spectrum associated to a $\Gamma$-space. In particular, each Eilenberg-MacLane space $K(\pi,n)$ has a canonical reduced $\Theta_n$-set model.


title: Resolution of coloured operads and rectification of homotopy algebras

abstract: We provide general conditions under which the algebras for a coloured operad in a monoidal model category carry a Quillen model structure, and prove a Comparison Theorem to the effect that a weak equivalence between suitable such operads induces a Quillen equivalence between their categories of algebras. We construct an explicit Boardman-Vogt style cofibrant resolution for coloured operads, thereby giving a uniform approach to algebraic structures up to homotopy over coloured operads. The Comparison Theorem implies that such structures can be rectified.


title: $\xi$-Groups and Hu-Liu Leibniz Algebras

abstract: We initiate the study of $\xi$-groups and Hu-Liu Leibniz algebras, claim that alomost all simple Leibniz algebras and simple Hu-Liu Leibniz algebras are linear, and establish two passages. One is the passage from a special $\mathcal{Z}_2$-graded associative algebra to a Hu-Liu Leibniz algebra. The other one is the passage from a linear $\xi$-group to its tangent space which is a Hu-Liu Leibniz algebra.


title: On cobweb posets and their combinatorially admissible sequences

abstract: The main purpose of this article is to pose three problems which are easy to be formulated in an elementary way. These problems which are specifically important also for the new class of partially ordered sets seem to be not yet solved.


title: Tauberian theorems for distributions in the Lizorkin spaces

abstract: In this paper some multidimensional Tauberian theorems for the Lizorkin distributions (without restriction on the support) are proved. Tauberian theorems of this type are connected with the Riesz fractional operators.


title: Three Theorems on modular sieves that suggest the Prime Difference is O(Number of primes < (p(n)^1/2))

abstract: This 1964 paper developed as an off-shoot to the foundational query: Do we discover the natural numbers (Platonically), or do we construct them linguistically? The paper also assumes computational significance in the light of Agrawal, Kayal and Saxena's August 2000 paper, "PRIMES is in P", since both the TRIM and Compact Number Generating algorithms - each of which generates all the primes - are deterministic algorithms that run in polynomial time and suggest that the Prime Difference, d(n), is O(Number of primes < (p(n)^1/2)).


title: Quantum Symmetric Pairs and the Reflection Equation

abstract: It is shown that central elements in G. Letzter's quantum group analogs of symmetric pairs lead to solutions of the reflection equation. This clarifies the relation between Letzter's approach to quantum symmetric pairs and the approach taken by M. Noumi, T. Sugitani, and M. Dijkhuizen. We develop general tools to show that a Noumi-Sugitani-Dijkhuizen type construction of quantum symmetric pairs can be performed preserving spherical representations from the classical situation. These tools apply to the symmetric pair FII and to all symmetric pairs which correspond to an automorphism of the underlying Dynkin diagram. Hence Noumi-Sugitani-Dijkhuizen type constructions with desirable properties are possible for various symmetric pairs for exceptional Lie algebras.


title: Classification of normal operators in spaces with indefinite scalar product of rank 2

abstract: A finite-dimensional complex space with indefinite scalar product [.,.] having v- = 2 negative squares and v+ >= 2 positive ones is considered. The paper presents a classification of operators that are normal with respect to this product. It is related to the study by Gohberg and Reichstein in which a similar classification was obtained for the case v = min{v-, v+} = 1.


title: Periodic Solutions to Painlev\'e VI and Dynamical System on Cubic Surface

abstract: The number of periodic solutions to Painlev\'e VI along a Pochhammer loop is counted exactly. It is shown that the number grows exponentially with period, where the growth rate is determined explicitly. Principal ingredients of the computation are a moduli-theoretical formulation of Painlev\'e VI, a Riemann-Hilbert correspondence, the dynamical system of a birational map on a cubic surface, and the Lefschetz fixed point formula.


title: On classification of normal operators in real spaces with indefinite scalar product

abstract: A real finite-dimensional space with indefinite scalar product having v- negative squares and v+ positive ones is considered. The paper presents a classification of operators that are normal with respect to this product for the cases min{v-, v+} = 1, 2. The approach used here was developed in papers by Gohberg and Reichstein and by the authors, where a similar classification was obtained for complex spaces with v = min{v-,v+} = 1, 2, respectively.


title: On indecomposable normal matrices in spaces with indefinite scalar product

abstract: Finite dimensional linear spaces (both complex and real) with indefinite scalar product [.,.] are considered. Upper and lower bounds are given for the size of an indecomposable matrix that is normal with respect to this scalar product in terms of specific functions of v = min{v-, v+}, where v-, (v+) is the number of negative (positive) squares of the form [x,x]. All the bounds except for one are proved to be strict.


title: Not all GKK $\tau$-matrices are stable

abstract: Hermitian positive definite, totally positive, and nonsingular M-matrices enjoy many common properties, in particular: (A) positivity of all principal minors, (B) weak sign symmetry, (C) eigenvalue monotonicity, (D) positive stability. The class of GKK matrices is defined by properties (A) and (B), whereas the class of nonsingular $\tau$-matrices by (A) and (C). It was conjectured that: (A), (B) implies (D) [D. Carlson, J. Res. Nat. Bur. Standards Sect. B 78 (1974) 1-2], (A), (C) implies (D) [G.M. Engel and H. Schneider, Linear and Multilinear Algebra 4 (1976) 155-176], (A), (B) implies a property stronger than (D) [R. Varga, Numerical Methods in Linear Algebra, 1978, pp. 5-15], (A), (B), (C) implies (D) [D. Hershkowitz, Linear Algebra Appl. 171 (1992) 161-186]. We describe a class of unstable GKK $\tau$-matrices, thus disproving all four conjectures.


title: Ergodicity and mixing of noncommuting epimorphisms

abstract: We study mixing properties of epimorphisms of a compact connected finite-dimensional abelian group $X$. In particular, we show that a set $F$, $|F|>\dim X$, of epimorphisms of $X$ is mixing iff every subset of $F$ of cardinality $(\dim X)+1$ is mixing. We also construct examples of free nonabelian groups of automorphisms of tori which are mixing, but not mixing of order 3, and show that, under some irreducibility assumptions, ergodic groups of automorphisms contain mixing subgroups and free nonabelian mixing subsemigroups.


title: Theorems and counterexamples on structured matrices

abstract: The subject of Chapter 1 is GKK $\tau$-matrices and related topics. Chapter 2 is devoted to boundedly invertible collections of matrices, with applications to operator norms and spline approximation. Various structured matrices (Toeplitz, Hessenberg, Hankel, Cauchy, and other) are used extensively throughout the thesis.


title: Applications of the duality method to generalizations of the Jordan canonical form

abstract: The Jordan normal form for a matrix over an arbitrary field and the canonical form for a pair of matrices under contragredient equivalence are derived using Ptak's duality method.


title: On convergence of infinite matrix products

abstract: A necessary and sufficient condition for the convergence of an infinite right product of matrices of the form | I B | A = | 0 C |, with (uniformly) contracting submatrices $C$, is proven.


title: Hermite-Biehler, Routh-Hurwitz, and total positivity

abstract: Simple proofs of the Hermite-Biehler and Routh-Hurwitz theorems are presented. The total nonnegativity of the Hurwitz matrix of a stable real polynomial follows as an immediate corollary.


title: Thick metric spaces, relative hyperbolicity, and quasi-isometric rigidity

abstract: We study the geometry of nonrelatively hyperbolic groups. Generalizing a result of Schwartz, any quasi-isometric image of a non-relatively hyperbolic space in a relatively hyperbolic space is contained in a bounded neighborhood of a single peripheral subgroup. This implies that a group being relatively hyperbolic with nonrelatively hyperbolic peripheral subgroups is a quasi-isometry invariant. As an application, Artin groups are relatively hyperbolic if and only if freely decomposable. We also introduce a new quasi-isometry invariant of metric spaces called metrically thick, which is sufficient for a metric space to be nonhyperbolic relative to any nontrivial collection of subsets. Thick finitely generated groups include: mapping class groups of most surfaces; outer automorphism groups of most free groups; certain Artin groups; and others. Nonuniform lattices in higher rank semisimple Lie groups are thick and hence nonrelatively hyperbolic, in contrast with rank one which provided the motivating examples of relatively hyperbolic groups. Mapping class groups are the first examples of nonrelatively hyperbolic groups having cut points in any asymptotic cone, resolving several questions of Drutu and Sapir about the structure of relatively hyperbolic groups. Outside of group theory, Teichmuller spaces for surfaces of sufficiently large complexity are thick with respect to the Weil-Peterson metric, in contrast with Brock--Farb's hyperbolicity result in low complexity.


title: Generalized planar curves and quaternionic geometry

abstract: Motivated by the analogies between the projective and the almost quaternionic geometries, we study the generalized planar curves and mappings. We follow, recover, and extend the classical approach as developed by Mikes and Sinyukov. Then we exploit the impact of the general results in the almost quaternionic geometry. In particular we show, that the natural class of H--planar curves coincides with the class of all geodesics of the so called Weyl connections and preserving this class turns out to be the necessary and sufficient condition on diffeomorphisms to become morphisms of almost quaternionic geometries.


title: Classification of smooth embeddings of 4-manifolds in 7-space, I

abstract: We work in the smooth category. Let N be a closed connected n-manifold and assume that m>n+2. Denote by E^m(N) the set of embeddings N -> R^m up to isotopy. The group E^m(S^n) acts on E^m(N) by embedded connected sum of a manifold and a sphere. If E^m(S^n) is non-zero (which often happens for 2m<3n+4) then no results on this action and no complete description of E^m(N) were known. Our main results are examples of the triviality and the effectiveness of this action, and a complete isotopy classification of embeddings into R^7 for certain 4-manifolds N. The proofs are based on the Kreck modification of surgery theory and on construction of a new embedding invariant. Corollary. (a) There is a unique embedding CP^2 -> R^7 up to isoposition. (b) For each embedding f : CP^2 -> R^7 and each non-trivial knot g : S^4 -> R^7 the embedding f#g is isotopic to f.


title: The Hirzebruch-Mumford volume for the orthogonal group and applications

abstract: In this paper we derive an explicit formula for the Hirzebruch-Mumford volume of an indefinite lattice L of rank at least 3. If \Gamma is an arithmetic subgroup of the group O(L) of isometries of L and L has signature (2,n), then an application of Hirzebruch-Mumford proportionality allows us to determine the leading term of the growth of the dimension of the spaces S_k(\Gamma) of cusp forms of weight k, as k goes to infinity. We compute this in a number of examples, which are important for geometric applications.


title: The Stasheff model of a simply-connected manifold and the string bracket

abstract: We revisit Stasheff's construction of a minimal Lie-Quillen model of a simply-connected closed manifold $M$ using the language of infinity-algebras. This model is then used to construct a graded Lie bracket on the equivariant homology of the free loop space of $M$ minus a point similar to the Chas-Sullivan string bracket.


title: The action of the Frobenius map on rank 2 vector bundles over genus 2 curves in small characteristics

abstract: Let $X$ be genus 2 curve defined over an algebraically closed field of characteristic $p$ and let $X\_1$ be its $p$-twist. Let $M\_X$ (resp. $M\_{X\_1}$) be the (coarse) moduli space of semi-stable rank 2 vector bundles with trivial determinant over $X$ (resp. $X\_1$). The moduli space $M\_X$ is isomorphic to the 3-dimensional projective space and is endowed with an action of the group $J[2]$ of order 2 line bundles over $X$. When $3\leq p \leq 7$, we show that the Verschiebung (i.e., the separable part of the action of Frobenius by pull-back) $V : M\_{X\_1} \dashrightarrow M\_X$ is completely determined by its restrictions to the lines that are invariant under the action of a non zero element of $J[2]$. Those lines correspond to elliptic curves that appear as Prym varieties and the Verschiebung restricts to the morphism induced by multiplication by $p$. Therefore, we are able to compute the explicit equations of the Verschiebung when the base field has characteristic 3, 5 or 7.


title: On partitions of the unit interval generated by Brocot sequences

abstract: Let $ p_{i, n}, i=1,..., N(n)=2^{n-1} $ be the lengths of intervals between the neighboring fractions of Brocot sequence $ F_n $. We obtain an asymptotic formula for $\sigma_{\beta}(F_n)=\sum_{i=1}^{N(n)} p_{i, n}^{\beta} $,which improves known estimates.


title: On the continuity of local times of Borel right Markov processes

abstract: The problem of finding a necessary and sufficient condition for the continuity of the local times for a general Markov process is still open. Barlow and Hawkes have completely treated the case of the L\'{e}vy processes, and Marcus and Rosen have solved the case of the strongly symmetric Markov processes. We treat here the continuity of the local times of Borel right processes. Our approach unifies that of Barlow and Hawkes and of Marcus and Rosen, by using an associated Gaussian process, that appears as a limit in a CLT involving the local time process.


title: Exact controllability in projections for three-dimensional Navier-Stokes equations

abstract: The paper is devoted to studying controllability properties for 3D Navier-Stokes equations in a bounded domain. We establish a sufficient condition under which the problem in question is exactly controllable in any finite-dimensional projection. Our sufficient condition is verified for any torus in $R^3$. The proofs are based on a development of a general approach introduced by Agrachev and Sarychev in the 2D case. As a simple consequence of the result on controllability, we show that the Cauchy problem for the 3D Navier-Stokes system has a unique strong solution for any initial function and a large class of external forces.


title: Nonparametric inference of photon energy distribution from indirect measurements

abstract: We consider a density estimation problem arising in nuclear physics. Gamma photons are impinging on a semiconductor detector, producing pulses of current. The integral of this pulse is equal to the total amount of charge created by the photon in the detector, which is linearly related to the photon energy. Because the inter-arrival of photons can be shorter than the charge collection time, pulses corresponding to different photons may overlap leading to a phenomenon known as pileup. The distortions on the photon energy spectrum estimate due to pileup become worse when the photon rate increases, making pileup correction techniques a must for high counting rate experiments. In this paper, we present a novel technique to correct pileup, which extends a method introduced in \cite{hall:park:2004} for the estimation of the service time from the busy period in M/G/$\infty$ models. It is based on a novel formula linking the joint distribution of the energy and duration of the cluster of pulses and the distribution of the energy of the photons. We then assess the performance of this estimator by providing an expression of its integrated square error. A Monte-Carlo experiment is presented to illustrate on practical examples the benefits of the pileup correction.


title: Eigenfunctions for substitution tiling systems

abstract: We prove that for the uniquely ergodic ${\bf R}^d$ action associated with a primitive substitution tiling of finite local complexity, every measurable eigenfunction coincides with a continuous function almost everywhere. Thus, topological weak-mixing is equivalent to measure-theoretic weak-mixing for such actions. If the expansion map for the substitution is a pure dilation by $\theta>1$ and the substitution has a fixed point, then failure of weak-mixing is equivalent to $\theta$ being a Pisot number.


title: On the automorphisms of some $K3$ surface double cover of the plane

abstract: In this paper we study the automorphisms group of some $K3$ surfaces which are double covers of the projective plane ramified over a smooth sextic plane curve. More precisely, we study the case of a $K3$ surface of Picard rank two such that there is a rational curve of degree $d$ which is tangent to the sextic in $d$ points.


title: The Bochner-flat cone of a CR manifold

abstract: We construct a Kahler structure (which we call a generalised Kahler cone) on an open subset of the cone of a strongly pseudo-convex CR manifold endowed with a 1-parameter family of compatible Sasaki structures. We determine those generalised Kahler cones which are Bochner-flat and we study their local geometry. We prove that any Bochner-flat Kahler manifold of complex dimension bigger than two is locally isomorphic to a generalised Kahler cone.


title: The Isomorphism Problem for Toral Relatively Hyperbolic Groups

abstract: We provide a solution to the isomorphism problem for torsion-free relatively hyperbolic groups with abelian parabolics. As special cases we recover solutions to the isomorphism problem for: (i) torsion-free hyperbolic groups (Sela); and (ii) fully residually free groups (Bumagin, Kharlampovich and Miasnikov). We also give a solution to the homeomorphism problem for finite volume hyperbolic n-manifolds, for $n \ge 3$. In the course of the proof of the main result, we prove that a particular JSJ decomposition of a freely indecomposable torsion-free relatively hyperbolic group with abelian parabolics is algorithmically constructible.


title: Modular invariance, modular identities and supersingular j-invariants

abstract: To every $k$-dimensional modular invariant vector space we associate a modular form on $SL(2,\mathbb{Z})$ of weight $2k$. We explore number theoretic properties of this form and find a sufficient condition for its vanishing which yields modular identities (e.g., Ramanujan-Watson's modular identities). Furthermore, we focus on a family of modular invariant spaces coming from suitable two-dimensional spaces via the symmetric power construction. In particular, we consider a two-dimensional space spanned by graded dimensions of certain level one modules for the affine Kac-Moody Lie algebra of type $D_4^{(1)}$. In this case, the reduction modulo prime $p=2k+3 \geq 5$ of the modular form associated to the $k$-th symmetric power classifies supersingular elliptic curves in characteristic $p$. This construction also gives a new interpretation of certain modular forms studied by Kaneko and Zagier.


title: Potter, Wielandt, and Drazin on the matrix equation $AB=\omega BA$, with some new answers to old questions

abstract: In this partly historical and partly research oriented note, we display a page of an unpublished mathematical diary of Helmut Wielandt's for 1951. There he gives a new proof of a theorem due to H. S. A. Potter on the matrix equation $AB = \omega BA$, which is related to the $q$-binomial theorem, and asks some further questions, which we answer. We also describe results by M. P. Drazin and others on this equation.


title: Real and complex operator norms

abstract: Real and complex norms of a linear operator acting on a normed complexified space are considered. Bounds on the ratio of these norms are given. The real and complex norms are shown to coincide for four classes of operators: 1) real linear operators from $L_p(\mu_1)$ to $L_q(\mu_2)$, $1\leq p\leq q\leq \infty$; 2) real linear operators between inner product spaces; 3) nonnegative linear operators acting between complexified function spaces with absolute and monotonic norms; 4) real linear operators from a complexified function space with a norm satisfying $\|\Re x \|\leq \|x\|$ to $L_\infty(\mu)$. The inequality $p\leq q$ in Case 1 is shown to be sharp. A class of norm extensions from a real vector space to its complexification is constructed that preserve operator norms.


title: Approximation orders of shift-invariant subspaces of $W^s_2({\Bbb R}^d)$

abstract: We extend the existing theory of approximation orders provided by shift-invariant subspaces of $L_2$ to the setting of Sobolev spaces, provide treatment of $L_2$ cases that have not been covered before, and apply our results to determine approximation order of solutions to a refinement equation with a higher-dimensional solution space.


title: M-matrices satisfy Newton's inequalities

abstract: Newton's inequalities $c_n^2 \ge c_{n-1}c_{n+1}$ are shown to hold for the normalized coefficients $c_n$ of the characteristic polynomial of any $M$- or inverse $M$-matrix. They are derived by establishing first an auxiliary set of inequalities also valid for both of these classes. They are also used to derive some new necessary conditions on the eigenvalues of nonnegative matrices.


title: On topological tensor products of functional Frechet and DF spaces

abstract: A convenient technique for calculating completed topological tensor products of functional Frechet and DF spaces is developed. The general construction is applied to proving kernel theorems for a wide class of spaces of smooth and entire analytic functions.


title: Berge Sorting

abstract: In 1966, Claude Berge proposed the following sorting problem. Given a string of $n$ alternating white and black pegs on a one-dimensional board consisting of an unlimited number of empty holes, rearrange the pegs into a string consisting of $\lceil\frac{n}{2}\rceil$ white pegs followed immediately by $\lfloor\frac{n}{2}\rfloor$ black pegs (or vice versa) using only moves which take 2 adjacent pegs to 2 vacant adjacent holes. Avis and Deza proved that the alternating string can be sorted in $\lceil\frac{n}{2}\rceil$ such {\em Berge 2-moves} for $n\geq 5$. Extending Berge's original problem, we consider the same sorting problem using {\em Berge $k$-moves}, i.e., moves which take $k$ adjacent pegs to $k$ vacant adjacent holes. We prove that the alternating string can be sorted in $\lceil\frac{n}{2}\rceil$ Berge 3-moves for $n\not\equiv 0\pmod{4}$ and in $\lceil\frac{n}{2}\rceil+1$ Berge 3-moves for $n\equiv 0\pmod{4}$, for $n\geq 5$. In general, we conjecture that, for any $k$ and large enough $n$, the alternating string can be sorted in $\lceil\frac{n}{2}\rceil$ Berge $k$-moves. This estimate is tight as $\lceil\frac{n}{2}\rceil$ is a lower bound for the minimum number of required Berge $k$-moves for $k\geq 2$ and $n\geq 5$.


title: A categorification for the Tutte polynomial

abstract: For each graph, we construct a bigraded chain complex whose graded Euler characteristic is a version of the Tutte polynomial. This work is motivated by earlier work of Khovanov, Helme-Guizon and Rong, and others.


title: On Atkin and Swinnerton-Dyer Congruence Relations (2)

abstract: In this paper we give an example of a noncongruence subgroup whose three-dimensional space of cusp forms of weight 3 has the following properties. For each of the four residue classes of odd primes modulo 8 there is a basis whose Fourier coefficients at infinity satisfy a three-term Atkin and Swinnerton-Dyer congruence relation, which is the $p$-adic analogue of the three-term recursion satisfied by the coefficients of classical Hecke eigen forms. We also show that there is an automorphic $L$-function over $\mathbb Q$ whose local factors agree with those of the $l$-adic Scholl representations attached to the space of noncongruence cusp forms.


title: Stability and Paradox in Algorithmic Logic

abstract: Type-free systems of logic are designed to consistently handle significant instances of self-reference. Some consistent type-free systems also have the feature of allowing the sort of general abstraction or comprehension principle that infamously leads to paradox in naive set theory. Because type-free systems possess these features, and avoid the hierarchy of types that is felt to be unnatural in some contexts, they have the potential to play an important role in the foundations of mathematics, the theory of classes (producing a richer notion of class than that currently used in set theory and category theory), property theory, natural language semantics, the theory of truth, and theoretical computer science. Clearly, type-free systems must depart from classical logic in some way, but there is little agreement on what kind of type-free system to use, and which departures from classical logic should be allowed. Our approach to type-free logic is to study a naturally occurring type-free system that we believe is in some sense prototypical of systems that will ultimately prove useful. The logic studied in this paper, called algorithmic logic, concerns certain basic statements involving algorithms and the algorithmic rules of inference between such statements. This paper studies the propositional properties of algorithmic logic. A future paper will show that algorithmic logic possesses a general abstraction principle.


abstract: There is a simple formula for the Ehrhart polynomial of a cyclic polytope. The purpose of this paper is to show that the same formula holds for a more general class of polytopes, lattice-face polytopes. We develop a way of decomposing any d-dimensional simplex in general position into d! signed sets, each of which corresponds to a permutation in the symmetric group, and reduce the problem of counting lattice points in a polytope in general position to that of counting lattice points in these special signed sets. Applying this decomposition to a lattice-face simplex, we obtain signed sets with special properties that allow us to count the number of lattice points inside them. We are thus able to conclude the desired formula for the Ehrhart polynomials of lattice-face polytopes.


title: The 5-canonical system on 3-folds of general type

abstract: Let $X$ be a projective minimal Gorenstein 3-fold of general type with canonical singularities. We prove that the 5-canonical map is birational onto its image.


title: A Lie grading which is not a semigroup grading

abstract: This note is devoted to the construction of a graded Lie algebra, whose grading is not given by a semigroup.


title: On the existence of crepant resolutions of Gorenstein Abelian quotient singularities in dimensions \geq 4

abstract: For which finite subgroups G of SL(r,C), r \geq 4, are there crepant desingularizations of the quotient space C^r/G? A complete answer to this question (also known as "Existence Problem" for such desingularizations) would classify all those groups for which the high-dimensional versions of McKay correspondence are valid. In the paper we consider this question in the case of abelian finite subgroups of SL(r,C) by using techniques from toric and discrete geometry. We give two necessary existence conditions, involving the Hilbert basis elements of the cone supporting the junior simplex, and an Upper Bound Theorem, respectively. Moreover, to the known series of Gorenstein abelian quotient singularities admitting projective, crepant resolutions (which are briefly recapitulated) we add a new series of non-c.i. cyclic quotient singularities having this property.


title: Derived categories of coherent sheaves and motives

abstract: We discuss relations between the motives of two varieties with equivalent derived categories of coherent sheaves.


title: Kazhdan--Lusztig correspondence for the representation category of the triplet W-algebra in logarithmic CFT

abstract: To study the representation category of the triplet W-algebra W(p) that is the symmetry of the (1,p) logarithmic conformal field theory model, we propose the equivalent category C(p) of finite-dimensional representations of the restricted quantum group $U_q SL2$ at $q=e^{\frac{i\pi}{p}}$. We fully describe the category C(p) by classifying all indecomposable representations. These are exhausted by projective modules and three series of representations that are essentially described by indecomposable representations of the Kronecker quiver. The equivalence of the W(p)- and $U_q SL2$-representation categories is conjectured for all $p\ge 2$ and proved for p=2, the implications including the identifications of the quantum-group center with the logarithmic conformal field theory center and of the universal R-matrix with the braiding matrix.


title: The intrinsic geometry of a Jordan domain

abstract: For a Jordan domain in the plane the length metric space of points connected to an interior point by a curve of finite length is a CAT(0)space and Gromov hyperbolic. With respect to the cone topology, that space plus its boundary at infinity is topologically the same as the original Jordan domain.


title: Number theoretic properties of Wronskians of Andrews-Gordon series

abstract: For positive integers $1\leq i\leq k$, we consider the arithmetic properties of quotients of Wronskians in certain normalizations of the Andrews-Gordon $q$-series $$ \prod_{1\leq n\not \equiv 0,\pm i\pmod{2k+1}}\frac{1}{1-q^n}. $$ This study is motivated by their appearance in conformal field theory, where these series are essentially the irreducible characters of $(2,2k+1)$ Virasoro minimal models. We determine the vanishing of such Wronskians, a result whose proof reveals many partition identities. For example, if $P_{b}(a;n)$ denotes the number of partitions of $n$ into parts which are not congruent to $0, \pm a\pmod b$, then for every positive integer $n$ we have $$ P_{27}(12; n)=P_{27}(6;n-1) + P_{27}(3;n-2). $$ We also show that these quotients classify supersingular elliptic curves in characteristic $p$. More precisely, if $2k+1=p$, where $p\geq 5$ is prime, and the quotient is non-zero, then it is essentially the locus of characteristic $p$ supersingular $j$-invariants in characteristic $p$.


title: A selection principle in deformation quantization

abstract: Deformation quantization produces families of mathematically equivalent quantization procedures from which one must select the physically meaningful ones. As a selection principle we propose that the procedure must allow enough `observable' energy distributions, i.e., ones for which no pure quantum state will appear with negative probability and must further have the property that for these the uncertainty in the probability distribution of the quantum states must not exceed that of the original distribution. For the simple harmonic oscillator we show that this allows only the classic Groenewold-Moyal (skew-symmetric) form.


title: Some numerical results in complex differential geometry

abstract: The first part of this paper discusses general procedures for finding numerical approximations to distinguished Kahler metrics, such as Calabi-Yau metrics, on complex projective manifolds. These procedures are closely related to ideas from Geometric Invariant Theory, and to the asymptotics of high powers of positive line bundles. In the core of the paper these ideas are illustrated by detailed numerical results for a particular K3 surface.


title: Countable Borel equivalence relations and quotient Borel spaces

abstract: We consider countable Borel equivalence relations on quotient Borel spaces. We prove a generalization of the Feldman-Moore representation theorem, but provide some examples showing that other very simple properties of countable equivalence relations on standard Borel spaces may fail in the context of nonsmooth quotients.


title: Fuzzy Continuity in Scalable Topology

abstract: In this work, topological spaces are enriched by additional structures in order to give a more realistic representation of real life phenomena and computational processes and at the same time, to provide for utilization of the powerful technique developed in topology. The suggested approach is based on the concept of a discontinuity structure or scale Q in a topological space X. This structure serves as a scale for the initial topology on X. Problems of science and engineering need such a scale because all measurements and the majority of computations are performed in a definite scale and problems of scalability are important both for physical theories and computational algorithms. Taking a mapping of a topological space X with the discontinuity structure Q into a topological space Y with a discontinuity structure R, we define (Q,R)-continuity, weak (Q,R)-continuity, and R-continuity of this mapping. Fuzzy continuous functions, which are studied in neoclassical analysis, are examples of R-continuous mappings. Different properties of scales, Q-open, Q-closed sets, and (Q,R)-continuous mappings are obtained.


title: On the 2-divisibility of certain Heenger points

abstract: Let E be an elliptic curve defined over the rationals and let N be its conductor. Assume N is prime. In this paper we give numerical evidence that suggests some conjectures on the 2-divisibility of certain sums of Heenger points on E of discriminant D dividing 4N. One of these conjectures suggests a possible link between the parity of the eigenvalue a_A(2) and the parity of the Shafarevich-Tate group of certain elliptic curves A of square conductor.


title: Existence and uniqueness of solutions for a nonlocal parabolic thermistor-type problem

abstract: In this paper we prove existence and uniqueness of solutions to a nonlocal parabolic problem which generalizes the electric heating problem of a conducting body.


title: Khovanov Homology: categorification of the Kauffman bracket relation

abstract: Khovanov homology offers a nontrivial generalization of Jones polynomial of links in R^3 (and of Kauffman bracket skein module of some 3-manifolds). In this chapter (Chapter X) we define Khovanov homology of links in R^3 and generalize the construction into links in an I-bundle over a surface. We use Viro's approach to construction of Khovanov homology and utilize the fact that one works with unoriented diagrams (unoriented framed links) in which case there is a simple description of Khovanov long exact sequence of homology. Khovanov homology, over the field Q, is a categorification of the Jones polynomial (i.e. one represents the Jones polynomial as the generating function of Euler characteristics). However, for integral coefficients Khovanov homology almost always has torsion. The first part of the chapter is devoted to the construction of torsion in Khovanov homology. In the second part we analyze the thickness of Khovanov homology and reduced Khovanov homology. In the last part we generalize Khovanov homology to links in $I$-bundles over surfaces and demonstrate that for oriented surfaces we categorify the element of the Kauffman bracket skein module represented by the considered link.


title: Negative curves on very general blow-ups of P^2

abstract: A conjecture, related to the Nagata conjecture and the Segre-Harbourne-Gimigliano-Hirschowitz conjecture, states that every integral curve with negative self-intersection on the blow-up of $\P^2$ at a set of points in very general position is a (-1)-curve. In this paper we verify this conjecture for all curves whose image on $\P^2$ is a curve with a singularity of multiplicity two at one of the centers of the blow-up.


title: Balanced normal cones and Fulton-MacPherson's intersection theory

abstract: Let X be a subscheme of a reduced scheme Y. Then Y has a flat "degeneration to the normal cone" C_X Y of X, and this degeneration plays a key step in Fulton and MacPherson's "basic construction" in intersection theory. The intersection product has a canonical refinement as a sum over the components of C_X Y, for X and Y depending on the given intersection problem. The cone C_X Y is usually not reduced, which leads to the appearance of multiplicities in intersection formulae. We describe a variant of this degeneration, due essentially to Samuel, Rees, and Nagata, in which Y flatly degenerates to the "balanced" normal cone \barC_X Y. This space is reduced, and has a natural map onto the reduction (C_X Y)_red of C_X Y. The multiplicity of a component now appears as the degree of this map. Hence intersection theory can be studied using only reduced schemes. Moreover, since the map \barC_X Y \to (C_X Y)_red may wrap multiple components of \barC_X Y around one component of C_X Y, writing the intersection product as a sum over the components of \barC_X Y gives a further canonical refinement. \\ In the case that X is a Cartier divisor in a projective scheme Y, we describe the balanced normal cone in homotopy-theoretic terms, and prove a useful upper bound on the Hilbert function of \barC_X Y.


title: Comparison Theorems in Finsler Geometry and their Applications

abstract: We prove Hessian comparison theorems, Laplacian comparison theorems and volume comparison theorems of Finsler manifolds under various curvature conditions. As applications, we derive Mckean type theorems for the first eigenvalue of Finsler manifolds, as well as generalize a result on fundamental group due to Milnor to Finsler manifolds.


title: Reduction and duality in generalized geometry

abstract: Extending our reduction construction in \cite{Hu} to the Hamiltonian action of a Poisson Lie group, we show that generalized K\"ahler reduction exists even when only one generalized complex structure in the pair is preserved by the group action. We show that the constructions in string theory of the (geometrical) $T$-duality with $H$-fluxes for principle bundles naturally arise as reductions of factorizable Poisson Lie group actions. In particular, the group may be non-abelian.


title: On the spectral density of the wavelet coefficients of long memory time series with application to the log-regression estimation of the memory parameter

abstract: In the recent years, methods to estimate the memory parameter using wavelet analysis have gained popularity in many areas of science. Despite its widespread use, a rigorous semi-parametric asymptotic theory, comparable to the one developed for Fourier methods, is still missing. In this contribution, we adapt the classical semi-parametric framework introduced by Robinson and his co-authors for estimating the memory parameter of a (possibly) non-stationary process. As an application, we obtain minimax upper bounds for the log-scale regression estimator of the memory parameter for a Gaussian process and we derive an explicit expression of its variance.


title: Edge-isoperimetric inequalities and influences

abstract: We give a combinatorial proof of the result of Kahn, Kalai, and Linial, which states that every balanced boolean function on the $n$-dimensional boolean cube has a variable with influence of at least Omega(\frac{log n}{n}). The methods of the proof are then used to recover additional isoperimetric results for the cube, with improved constants. We also state some conjectures about optimal constants and discuss their possible implications


title: Arnold's Conjectures on Weak Asymptotics and Statistics of Numerical Semigroups S(d_1,d_2,d_3)

abstract: Three conjectures #1999--8, #1999--9 and #1999--10 which were posed by V. Arnold [2] and devoted to the statistics of the numerical semigroups are refuted for the case of semigroups generated by three positive integers d_1,d_2,d_3 with gcd(d_1,d_2,d_3)=1. Weak asymptotics of conductor C(d_1,d_2,d_3) of numerical semigroup and fraction p(d_1,d_2,d_3) of a segment [0;C(d_1,d_2,d_3)-1] occupied by semigroup are found.


title: On the dynamics of isometries

abstract: We provide an analysis of the dynamics of isometries and semicontractions of metric spaces. Certain subsets of the boundary at infinity play a fundamental role and are identified completely for the standard boundaries of CAT(0)-spaces, Gromov hyperbolic spaces, Hilbert geometries, certain pseudoconvex domains, and partially for Thurston's boundary of Teichmueller spaces. We present several rather general results concerning groups of isometries, as well as the proof of other more specific new theorems, for example concerning the existence of free nonabelian subgroups in CAT(0)-geometry, iteration of holomorphic maps, a metric Furstenberg lemma, random walks on groups, noncompactness of automorphism groups of convex cones, and boundary behaviour of Kobayashi's metric.


title: Strichartz Inequalities for Lipschitz Metrics on Manifolds and Nonlinear Schrodinger Equation on Domains

abstract: We prove wellposedness of the Cauchy problem for the nonlinear Schrodinger equation for any defocusing power nonlinearity on a domain of the plane with Dirichlet boundary conditions. The main argument is based on a generalized Strichartz inequality on manifolds with Lipschitz metric.


title: On the Motive of the Stack of Bundles

abstract: Let $G$ be a split connected semisimple group over a field. We give a conjectural formula for the motive of the stack of $G$-bundles over a curve $C$, in terms of special values of the motivic zeta function of $C$. The formula is true if $C=\pp^1$ or $G=\sln$. If $k=\cc$, upon applying the Poincar\'e or Serre characteristic, the formula reduces to results of Teleman and Atiyah-Bott on the gauge group. If $k=\ffq$, upon applying the counting measure, it reduces to the fact that the Tamagawa number of $G$ over the function field of $C$ is $|\pi_1(G)|$.


title: Entropy Estimate For High Dimensional Monotonic Functions

abstract: We establish upper and lower bounds for the metric entropy and bracketing entropy of the class of $d$-dimensional bounded monotonic functions under $L^p$ norms. It is interesting to see that both the metric entropy and bracketing entropy have different behaviors for $p<d/(d-1)$ and $p>d/(d-1)$. We apply the new bounds for bracketing entropy to establish a global rate of convergence of the MLE of a $d$-dimensional monotone density.


title: Random Sampling of Sparse Trigonometric Polynomials

abstract: We study the problem of reconstructing a multivariate trigonometric polynomial having only few non-zero coefficients from few random samples. Inspired by recent work of Candes, Romberg and Tao we propose to recover the polynomial by Basis Pursuit, i.e., by $\ell^1$-minimization. Numerical experiments show that in many cases the trigonometric polynomial can be recovered exactly provided the number $N$ of samples is high enough compared to the ``sparsity'' -- the number of non-vanishing coefficients. However, $N$ can be chosen small compared to the assumed maximal degree of the trigonometric polynomial. Hence, the proposed scheme may overcome the Nyquist rate. We present two theorems that explain this observation. Unexpectly, they establish a connection to an interesting combinatorial problem concerning set partitions, which seemingly has not yet been considered before.


title: On Kummer and Stickelberger relations

abstract: Let p be an odd prime. Let K_p = \Q(zeta_p) be the p-cyclotomic field. We apply a Kummer and Stickelberger relation of K_p to some singular not primary numbers A of K_p connected to p-class group of K_p and prove they verify the congruence A = 1 mod p^2. Let v be a primitive root mod p. This p-adic improvement on singular numbers A allows us to connect in a straightforward way the p-class group C_p to the solutions of some explicit congruence mod p: \sum_{i=1}^{p-2} X^{i-1} \times (\frac{v^{-(i-1)}-v^{-i}\times v}{p}) \equiv 0 mod p: where X is a natural integer and where v^n is understood as v^n mod p with 1 \leq v^n \leq p-1 with n integer \in \Z. The numerical verification of this congruence is completely consistent with table of irregular primes in Washington p. 410.


title: Diophantine approximation with perfect squares and the solvability of an inhomogeneous wave equation

abstract: The Hausdorff dimension of an exceptional set of periods for which convergence of a formal solution to an inhomogeneous wave equation in n spatial and one temporal dimension is problematic, is determined along with conditions which the periods must satisfy to ensure the solvability of the inhomogeneous wave equation by a smooth periodic function. To derive this information, a complete metric theory for a related fully nonlinear Diophantine approximation problem involving perfect squares is established.


title: M-regularity and the Fourier-Mukai transform

abstract: This is a survey of M-regularity for coherent sheaves on abelian varieties and its applications, based on lectures given by the second author at the Seattle conference, in August 2005, and at the Luminy GAC workshop in October 2005. Section 3 contains some brief indications of upcoming work.


title: Cocycle and Orbit Equivalence Superrigidity for Malleable Actions of w-Rigid Groups

abstract: We prove that if a countable discrete group $\Gamma$ is {\it w-rigid}, i.e. it contains an infinite normal subgroup $H$ with the relative property (T) (e.g. $\Gamma= SL(2,\Bbb Z) \ltimes \Bbb Z^2$, or $\Gamma = H \times H'$ with $H$ an infinite Kazhdan group and $H'$ arbitrary), and $\Cal V$ is a closed subgroup of the group of unitaries of a finite von Neumann algebra (e.g. $\Cal V$ countable discrete, or separable compact), then any $\Cal V$-valued measurable cocycle for a measure preserving action $\Gamma \curvearrowright X$ of $\Gamma$ on a probability space $(X,\mu)$ which is weak mixing on $H$ and {\it s-malleable} (e.g. the Bernoulli action $\Gamma \curvearrowright [0,1]^\Gamma$) is cohomologous to a group morphism of $\Gamma$ into $\Cal V$. We use the case $\Cal V$ discrete of this result to prove that if in addition $\Gamma$ has no non-trivial finite normal subgroups then any orbit equivalence between $\Gamma \curvearrowright X$ and a free ergodic measure preserving action of a countable group $\Lambda$ is implemented by a conjugacy of the actions, with respect to some group isomorphism $\Gamma \simeq \Lambda$.


title: The Grone Merris Conjecture and a quadratic eigenvalue problem

abstract: We verify the Grone Merris conjecture for a class of graphs. We do this by curve sketching in the sense of first year calculus. That is, we do it by homotopy methods.


title: Stability conditions and crepant small resolutions

abstract: In this paper, we describe the spaces of stability conditions on the triangulated categories associated to three dimensional crepant small resolutions. The resulting spaces have chamber structures such that each chamber corresponds to a birational model together with a special Fourier-Mukai transform. We observe these spaces are covering spaces over certain open subsets of finite dimensional vector spaces, and determine their deck transformations.


title: An extension of Delsarte's method. The kissing problem in three and four dimensions

abstract: These lecture notes treat the solution of the kissing number problem in four dimesions which is based on an extension of the Delsarte method for spherical codes.


title: Counting permutations by congruence class of major index

abstract: Consider S_n, the symmetric group on n letters, and let maj pi denote the major index of a permutation pi in S_n. Given positive integers k,l and nonnegative integers i,j, define m_n^{k,l}(i,j) := number of pi in S_n such that maj pi = i (mod k) and maj pi^{-1} = j (mod l). We prove bijectively that if k,l are relatively prime and at most n then m_n^{k,l}(i,j) = n!/(kl) which, surprisingly, does not depend on i and j. Equivalently, if m_n^{k,l}(i,j) is interpreted as the (i,j)-entry of a matrix m_n^{k,l}, then this is a constant matrix under the stated conditions. This bijection is extended to show the more general result that for d at least 1 and k,l relatively prime, the matrix m_n^{kd,ld} admits a block decompostion where each block is the matrix m_n^{d,d}/(kl). We also give an explicit formula for m_n^{n,n} and show that if p is prime then m_{np}^{p,p} has a simple block decomposition. To prove these results, we use the representation theory of the symmetric group and certain restricted shuffles.


title: Semi-invariants of mixed representations of quivers

abstract: The notion of mixed representations of quivers can be derived from ordinary quiver representations by considering the dual action of groups on "vertex" vector spaces together with the usual action. A generating system for the algebra of semi-invariants of mixed representations of a quiver is determined. This is done by reducing the problem to the case of bipartite quivers of the special form and by introducing a function DP on three matrices, which is a mixture of the determinant and two pfaffians.


title: Number variance of random zeros

abstract: The main results of this article are asymptotic formulas for the variance of the number of zeros of a Gaussian random polynomial of degree $N$ in an open set $U \subset C$ as the degree $N \to \infty$, and more generally for the zeros of random holomorphic sections of high powers of any positive line bundle over any Riemann surface. The formulas were conjectured in special cases by Forrester and Honner. In higher dimensions, we give similar formulas for the variance of the volume inside a domain $U$ of the zero hypersurface of a random holomorphic section of a high power of a positive line bundle over any compact K\"ahler manifold. These results generalize the variance asymptotics of Sodin and Tsirelson for special model ensembles of chaotic analytic functions in one variable to any ample line bundle and Riemann surface. We also combine our methods with those of Sodin-Tsirelson to generalize their asymptotic normality results for smoothed number statistics.


title: Best lower bound for the maximum heterochromatic matchings in edge-colored bipartite graphs

abstract: This paper has been withdrawn by the author(s), due an error in the proof.


title: Some new simple modular Lie superalgebras

abstract: Two new simple modular Lie superalgebras are obtained in characteristics 3 and 5, which share the property that their even parts are orthogonal Lie algebras and the odd parts their spin modules. The characteristic 5 case is shown to be related, by means of a construction of Tits, to the exceptional ten dimensional Jordan superalgebra of Kac.


title: Corings over rings with local units

abstract: We show that the category of corings over a fixed base ring with local units is equivalent to the category of comonads in (right) unital modules whose underlying functors preserve inductive limits. Changing base rings, we prove a bi-equivalence of bicategories. A base ring extension of corings by adjunctions is also introduced.


title: Finite-dimensional algebras with smallest resolutions of simple modules

abstract: Let $X$ be a finitely generated left module over a left artinian ring $R$, and let $p(X)=\{l_i\}$ be the infinite sequence of nonnegative integers where $l_i$ is the length of the $i$-th term of the minimal projective resolution of $X$. We introduce a preorder relation $\le$ on the set $\{p(X)\}$ and characterize the elementary finite-dimensional algebras $\Lambda$ with the following property. Let $S$ be a simple $\Lambda$-module, and let $T$ be a finitely generated module over an arbitrary left artinian ring $R$. If the projective dimension of $S$ does not exceed the projective dimension of $T$, then $p(S)\le p(T)$. We characterize the indicated algebras by quivers with relations.


title: Affine Geometric Crystals and Limit of Perfect Crystals

abstract: For every non-exceptional affine Lie algebra, we explicitly construct a positive geometric crystal associated with a fundamental representation. We also show that its ultra-discretization is isomorphic to the limit of certain perfect crystals of the Langlands dual affine Lie algebra.


title: Orbifold String Topology

abstract: In this paper we study the string topology (\'a la Chas-Sullivan) of an orbifold. We define the string homology ring product at the level of the free loop space of the classifying space of an orbifold. We study its properties (introducing an operad to do so) and do some explicit calculations.


title: Localized bases in L^2(0,1) and their use in the analysis of Brownian motion

abstract: Motivated by problems on Brownian motion, we introduce a recursive scheme for a basis construction in the Hilbert space L^2(0,1) which is analogous to that of Haar and Walsh. More generally, we find a new decomposition theory for the Hilbert space of square-integrable functions on the unit-interval, both with respect to Lebesgue measure, and also with respect to a wider class of self-similar measures (mu). That is, we consider recursive and orthogonal decompositions for the Hilbert space L^2(mu) where mu is some self-similar measure on [0,1]. Up to two specific reflection symmetries, our scheme produces infinite families of orthonormal bases in L^2(0,1). Our approach is as versatile as the more traditional spline constructions. But while singly generated spline bases typically do not produce orthonormal bases, each of our present algorithms does.


title: Fluid limit of a heavily loaded EDF queue with impatient customers

abstract: In this paper we present the fluid limit of an heavily loaded Earliest Deadline First queue with impatient customers, represented by a measure-valued process keeping track of residual time-credits of lost and waiting customers. This fluid limit is the solution of an integrated transport equation. We then use this fluid limit to derive fluid approximations of the processes counting the number of waiting and already lost customers.


title: Almost Split Morphisms, Preprojective Algebras and Multiplication Maps of Maximal Rank

abstract: With a grading previously introduced by the second-named author, the multiplication maps in the preprojective algebra satisfy a maximal rank property that is similar to the maximal rank property proven by Hochster and Laksov for the multiplication maps in the commutative polynomial ring. The result follows from a more general theorem about the maximal rank property of a minimal almost split morphism, which also yields a quadratic inequality for the dimensions of indecomposable modules involved.


title: Codepth Two and Related Topics

abstract: A depth two extension $A \| B$ is shown to be weak depth two over its double centralizer $V_A(V_A(B))$ if this is separable over $B$. We consider various examples and non-examples of depth one and two properties. Depth two and its relationship to direct and tensor product of algebras as well as cup product of relative Hochschild cochains is examined. Section~6 introduces a notion of codepth two coalgebra homomorphism $g: C \to D$, dual to a depth two algebra homomorphism. It is shown that the endomorphism ring of bicomodule endomorphisms $\End {}^DC^D$ forms a right bialgebroid over the centralizer subalgebra $g^*: D^* \to C^*$ of the dual algebra $C^*$.


title: Special symplectic six-manifolds

abstract: We classify nilmanifolds with an invariant symplectic half-flat structure. We solve the half-flat evolution equations in one example, writing down the resulting Ricci-flat metric. We study the geometry of the orbit space of 6-manifolds with an SU(3)-structure preserved by a U(1) action, giving characterizations in the symplectic half-flat and integrable case.


title: Angles in C*-algebras

abstract: In this work we characterise the C*-algebras A generated by projections with the property that every pair of projections in A has positive angle, as certain extensions of abelian algebras by algebras of compact operators. We show that this property is equivalent to a lattice theoretic property of projections and also to the property that the set of finite-dimensional *-subalgebras of A is directed.


title: Burnside kei

abstract: This paper is motivated by a general question: for which values of k and n is the universal Burnside kei of k generators and Kei "exponent" n, $\bar Q(k,n)$, finite? It is known (starting from the work of M. Takasaki (1942)) that $\bar Q(2,n)$ is isomorphic to the dihedral quandle Z_n and $\bar Q(3,3)$ is isomorphic to Z_3 + Z_3. In this paper we give descriptions of $\bar Q(4,3)$ and $\bar Q(3,4)$. We also investigate some properties of arbitrary quandles satisfying the universal Burnside relation (of "exponent" n) a=...a*b*...*a*b. In particular, we prove that the order of a finite commutative kei is a power of 3. Invariants of links related to Burnside kei $\bar Q(k,n)$ are invariant under n-moves.


title: Thin buildings

abstract: Let X be a building of uniform thickness q+1. L^2-Betti numbers of X are reinterpreted as von-Neumann dimensions of weighted L^2-cohomology of the underlying Coxeter group. The dimension is measured with the help of the Hecke algebra. The weight depends on the thickness q. The weighted cohomology makes sense for all real positive values of q, and is computed for small q. If the Davis complex of the Coxeter group is a manifold, a version of Poincare duality allows to deduce that the L^2-cohomology of a building with large thickness is concentrated in the top dimension.


title: Non-classicality and quandle difference invariants

abstract: Non-classical virtual knots may have non-isomorphic upper and lower quandles. We exploit this property to define the quandle difference invariant, which can detect non-classicality by comparing the numbers of homomorphisms into a finite quandle from a virtual knot's upper and lower quandles. The invariants for small-order finite quandles detect non-classicality in several interesting virtual knots. We compute the difference invariant with the six smallest connected quandles for all non-evenly intersticed Gauss codes with 3 and 4 crossings. For non-evenly intersticed Gauss codes with 4 crossings, the difference invariant detects non-classicality in 86% of codes which have non-trivial upper or lower counting invariant values.


title: Variations of the solution to a stochastic heat equation

abstract: We consider the solution to a stochastic heat equation. This solution is a random function of time and space. For a fixed point in space, the resulting random function of time, $F(t)$, has a nontrivial quartic variation. This process, therefore, has infinite quadratic variation and is not a semimartingale. It follows that the classical It\^{o} calculus does not apply. Motivated by heuristic ideas about a possible new calculus for this process, we are led to study modifications of the quadratic variation. Namely, we modify each term in the sum of the squares of the increments so that it has mean zero. We then show that these sums, as functions of $t$, converge weakly to Brownian motion.


title: Semi-topological K-theory for certain projective varieties

abstract: In this paper we compute Lawson homology groups and semi-topological K-theory for some threefolds and fourfolds. We consider smooth complex projective varieties whose zero cycles are supported on a proper subvariety. Rationally connected varieties are examples of such varieties. The computation makes use of a technique of Bloch and Srinavas, of the Bloch-Kato conjecture and of the spectral sequence relating morphic cohomology and semi-topological K-theory.


title: A Generalized Enumeration of Labeled Trees and Reverse Pr\"ufer Algorithm

abstract: A {\em leader} of a tree $T$ on $[n]$ is a vertex which has no smaller descendants in $T$. Gessel and Seo showed $$\sum_{T \in \mathcal{T}_n}u^\text{(# of leaders in $T$)} c^\text{(degree of 1 in $T$)}=u P_{n-1}(1,u,cu),$$ which is a generalization of Cayley formula, where $\mathcal{T}_n$ is the set of trees on $[n]$ and $$P_n(a,b,c)=c\prod_{i=1}^{n-1}(ia+(n-i)b+c).$$ Using a variation of Pr\"ufer code which is called a {\em RP-code}, we give a simple bijective proof of Gessel and Seo's formula.


title: A large deviation principle for join the shortest queue

abstract: We consider a join-the-shortest-queue model which is as follows. There are $K$ single FIFO servers and $M$ arrival processes. The customers from a given arrival process can be served only by servers from a certain subset of all servers. The actual destination is the server with the smallest weighted queue length. The arrival processes are assumed to obey a large deviation principle while the service is exponential. A large deviation principle is established for the queue-length process. The action functional is expressed in terms of solutions to mathematical programming problems. The large deviation limit point is identified as a weak solution to a system of idempotent equations. Uniqueness of the weak solution is proved by establishing trajectorial uniqueness.


title: $\theta$-derivations on $JB^*$-triples

abstract: We introduce the concept of $\theta$-derivations on $JB^*$-triples, and prove the Hyers--Ulam--Rassias stability of $\theta$-derivations on $JB^*$-triples.


title: Frobenius-Schur Indicators and Exponents of Spherical Categories

abstract: We obtain two formulae for the higher Frobenius-Schur indicators: one for a spherical fusion category in terms of the twist of its center and the other one for a modular tensor category in terms of its twist. The first one is a categorical generalization of an analogous result by Kashina, Sommerhauser, and Zhu for Hopf algebras, and the second one extends Bantay's 2nd indicator formula for a conformal field theory to higher degree. These formulae imply the sequence of higher indicators of an object in these categories is periodic. We define the notion of Frobenius-Schur (FS-)exponent of a pivotal category to be the global period of all these sequences of higher indicators, and we prove that the FS-exponent of a spherical fusion category is equal to the order of the twist of its center. Consequently, the FS-exponent of a spherical fusion category is a multiple of its exponent, in the sense of Etingof, by a factor not greater than 2. As applications of these results, we prove that the exponent and the dimension of a semisimple quasi-Hopf algebra H have the same prime divisors, which answers two questions of Etingof and Gelaki affirmatively for quasi-Hopf algebras. Moreover, we prove that the FS-exponent of H divides dim(H)^4. In addition, if H is a group-theoretic quasi-Hopf algebra, the FS-exponent of H divides dim(H)^2, and this upper bound is shown to be tight.


title: Asymptotic equivalence of differential equations and asymptotically almost periodic solutions

abstract: In this paper we establish asymptotic (biasymptotic) equivalence between spaces of solutions of a given linear homogeneous system and a perturbed system. The perturbations are of either linear or weakly linear characters. Existence of a homeomorphism between subspaces of almost periodic and asymptotically (biasymptotically) almost periodic solutions is also obtained.


title: Natural G-Constellation Families

abstract: Let G be a finite subgroup of GL_n(C). G-constellations are a scheme-theoretic generalization of orbits of G in C^n. We study flat families of G-constellations parametrised by an arbitrary resolution of the quotient space C^n/G. We develop a geometrical naturality criterion for such families, and show that, for an abelian G, the number of the equivalence classes of these natural families is finite. The main intended application is the derived McKay correspondence.


title: Elliptic Curves as Attractors in ${\mathbb P}^2$ Part 1: Dynamics

abstract: A study of rational maps of the real or complex projective plane of degree two or more, concentrating on those which map an elliptic curve onto itself, necessarily by an expanding map. We describe relatively simple examples with a rich variety of exotic dynamical behaviors which are perhaps familiar to the applied dynamics community but not to specialists in several complex variables. For example, we describe smooth attractors with riddled or intermingled attracting basins, and we observe ``blowout'' bifurcations when the transverse Lyapunov exponent for the invariant curve changes sign. In the complex case, the elliptic curve (a topological torus) can never have a trapping neighborhood, yet it can have an attracting basin of large measure (perhaps even of full measure). We also describe examples where there appear to be Herman rings (that is topological cylinders mapped to themselves with irrational rotation number) with open attracting basin. In some cases we provide proofs, but in other cases the discussion is empirical, based on numerical computation.


title: Ivan Bernoulli Series Universalissima

abstract: The taylor formula pertains historically also to johann or ivan bernoulli. Bernoulli series uiversalisima appeared in acta eruditorum in leipzig when brook taylor was nine years old. As on today one affirms two hundred fifty eight anniversary of death of johann bernoulli this article is proposed also pro memoriam. Very recent extensions of this celebrated formula are indicated in the framework of extended umbral calculus.


title: On covering numbers

abstract: A positive integer n is called a covering number if there are some distinct divisors n_1,...,n_k of n greater than one and some integers a_1,...,a_k such that Z is the union of the residue classes a_1(mod n_1),...,a_k(mod n_k). A covering number is said to be primitive if none of its proper divisors is a covering number. In this paper we give some sufficient conditions for n to be a (primitive) covering number; in particular, we show that for any r=2,3,... there are infinitely many primitive covering numbers having exactly r distinct prime divisors. In 1980 P. Erdos asked whether there are infinitely many positive integers n such that among the subsets of D_n={d>1: d|n} only D_n can be the set of all the moduli in a cover of Z with distinct moduli; we answer this question affirmatively. We also conjecture that any primitive covering number must have a prime factorization p_1^{alpha_1}...p_r^{alpha_r} (with p_1,...,p_r in a suitable order) which satisfies $\prod_{0<t<s}(alpha_t+1)\ge p_s-1$ for each s=1,...,r, with strict inequality when s=r.


title: Capacity of a multiply-connected domain and nonexistence of Ginzburg-Landau minimizers with prescribed degrees on the boundary

abstract: Suppose that $\omega\subset\Omega\subset R^2$. In the annular domain $A=\Omega\setminus\bar\omega$ we consider the class $J$ of complex valued maps having degree 1 on $\partial \Omega$ and on $\partial\omega$. It was conjectured by Berlyand and Mironescu ('04), that he existence of minimizers of the Ginzburg-Landau energy $E_\kappa$ in $J$ is completely determined by the value of the $H^1$-capacity $cap(A)$ of the domain and the value of the Ginzburg-Landau parameter $\kappa$. The existence of minimizers of $E_\kappa$ for all $\kappa$ when $cap(A)\geq\pi$ (domain $A$ is ``thin'') and for small $\kappa$ when $cap(A)<\pi$ (domain $A$ is ``thick'') was established by Berlyand and Mironescu ('04). Here we provide the answer for the remaining case of large $\kappa$ when $cap(A)<\pi$. We prove that, when $cap(A)<\pi$, there exists a finite threshold value $\kappa_1$ of the Ginzburg-Landau parameter $\kappa$ such that the minimum of the Ginzburg-Landau energy $E_\kappa$ is not attained in $J$ when $\kappa>\kappa_1$ while it is attained when $\kappa<\kappa_1$.


title: Periodic Schur process and cylindric partitions

abstract: Periodic Schur process is a generalization of the Schur process introduced in math.CO/0107056. We compute its correlation functions and their bulk scaling limits, and discuss several applications including asymptotic analysis of uniform measures on cylindric partitions, time-dependent extensions of the discrete sine kernel, and bulk limit behavior of certain measures on partitions introduced in hep-th/0306238 in connection with supersymmetric gauge theories.


title: Distinguished dimensions for special Riemannian geometries

abstract: The paper is based on relations between a ternary symmetric form defining the SO(3) geometry in dimension five and Cartan's works on isoparametric hypersurfaces in spheres. As observed by Bryant such a ternary form exists only in dimensions n_k=3k+2, where k=1,2,4,8. In these dimensions it reduces the orthogonal group to the subgroups H_k\subset SO(n_k), with H_1=SO(3), H_2=SU(3), H_4=Sp(3) and H_8=F_4. This enables studies of special Riemannian geometries with structure groups H_k in dimensions n_k. The neccessary and sufficient conditions for the H_k geometries to admit the characteristic connection are given. As an illustration nontrivial examples of SU(3) geometries in dimension 8 admitting characteristic connection are provided. Among them there are examples having nonvanishing torsion and satisfying Einstein equations with respect to either the Levi-Civita or the characteristic connections.


title: On the gaps between zeros of trigonometric polynomials

abstract: We show that for every finite symetric set S of integer vectors, every real trigonometric polynomial on the d dimensional torus with spectrum in S has a zero in every closed ball of diameter D, where D is the sum over S of 1 over 4 times the L2 norm of the vector. We investigate tightness in some special cases.


title: List Decoding of Reed-Solomon Codes from a Groebner Basis Perspective

abstract: The interpolation step of Guruswami and Sudan's list decoding of Reed-Solomon codes poses the problem of finding the minimal polynomial of an ideal with respect to a certain monomial order. An efficient algorithm that solves the problem is presented based on the theory of Groebner bases of modules. In a special case, this algorithm reduces to a simple Berlekamp-Massey-like decoding algorithm.


title: Algebraic Hamiltonian actions

abstract: In this paper we deal with a Hamiltonian action of a reductive algebraic group $G$ on an irreducible normal affine Poisson variety $X$. We study the invariant moment map $\psi_{G,X}:X\to \g$, that is, the composition of the moment map $\mu_{G,X}:X\to g:=Lie(G)$ and the quotient morphism $g\to g\quo G$. We obtain some results on the dimensions of fibers of $\psi_{G,X}$ and the corresponding morphism of quotients $X\quo G\to g\quo G$. We also study the "Stein factorisation" of $\psi_{G,X}$. Namely, let $C_{G,X}$ denote the spectrum of the integral closure of $\psi_{G,X}^*(K[g]^G)$ in $K(X)^G$. We investigate the structure of the $g\quo G$-scheme $C_{G,X}$. Our results partially generalize those obtained by F. Knop in the case of the actions on cotangent bundles and symplectic vector spaces.


title: Sums of two dimensional spectral triples

abstract: We study countable sums of two dimensional modules for the continuous complex functions on a compact metric space and show that it is possible to construct a spectral triple which gives the original metric back. This spectral triple will be finitely summable for any positive parameter. We also construct a sum of two dimensional modules which reflects some aspects of the topological dimensions of the compact metric space, but this will only give the metric back approximately. We make an explicit computation of the last module for the unit interval. The metric is recovered exactly, the Dixmier trace induces a multiple of the Lebesgue integral and the number N(K) of eigenvalues bounded by K behaves, such that N(K)/K is bounded, but without limit for K growing.


title: Analysis of disk scheduling, increasing subsequences and space-time geometry

abstract: We consider the problem of estimating the average tour length of the asymmetric TSP arising from the disk scheduling problem with a linear seek function and a probability distribution on the location of I/O requests. The optimal disk scheduling algorithm of Andrews, Bender and Zhang is interpreted as a simple peeling process on points in a 2 dimensional space-time w.r.t the causal structure. The patience sorting algorithm for finding the longest increasing subsequence in a permutation can be given a similar interpretation. Using this interpretation we show that the optimal tour length is the length of the maximal curve with respect to a Lorentzian metric on the surface of the disk drive. This length can be computed explicitly in some interesting cases. When the probability distribution is assumed uniform we provide finer asymptotics for the tour length. The interpretation also provides a better understanding of patience sorting and allows us to extend a result of Aldous and Diaconis on pile sizes


title: A remark on Zoloterav's theorem

abstract: Let n>=3 be an odd integer. For any integer a prime to n, define the permutation gamma_{a,n} of {1,...,(n-1)/2} by gamma_{a,n}(x)=n-\dec{ax}_n if {ax}_n>=(n+1)/2, and {ax}_n if {ax}_n<=(n-1)/2, where {x}_n denotes the least nonnegative residue of x modulo n. In this note, we show that the sign of gamma_{a,n} coincides with the Jacobi symbol (a/n) if n=1 mod 4, and 1 if n=3 mod 4.


title: The submartingale problem for a class of degenerate elliptic operators

abstract: We consider the degenerate elliptic operator acting on $C^2$ functions on $[0,\infty)^d$: \[ L f(x)=\sum_{i=1}^d a_i(x) x_i^{\alpha_i} \frac{\partial^2 f}{\partial x_i^2} (x) +\sum_{i=1}^d b_i(x) \frac{\partial f}{\partial x_i}(x), \] where the $a_i$ are continuous functions that are bounded above and below by positive constants, the $b_i$ are bounded and measurable, and the $\alpha_i\in (0,1)$. We impose Neumann boundary conditions on the boundary of $[0,\infty)^d$. There will not be uniqueness for the submartingale problem corresponding to $L$. If we consider, however, only those solutions to the submartingale problem for which the process spends 0 time on the boundary, then existence and uniqueness for the submartingale problem for $L$ holds within this class. Our result is equivalent to establishing weak uniqueness for the system of stochastic differential equations \[ dX_t^i=\sqrt{2a_i(X_t)} (X_t^i)^{\alpha_i/2} dW^i_t+b_i(X_t) dt +dL_t^{X^i}, where X^i_t\geq 0, \] where $W_t^i$ are independent Brownian motions and $L^{X_i}_t$ is a local time at 0 for $X^i$.


title: On maximal proper subgroups of field automorphism groups

abstract: Let $G$ be the automorphism group of an extension $F|k$ of algebraically closed fields of characteristic zero and of transcendence degree $n$, $1\le n\le\infty$. In this paper we (i) construct some maximal closed non-open subgroups $G_v$, and some (all, in the case of countable transcendence degree) maximal open proper subgroups of $G$; (ii) describe, in the case of countable transcendence degree, the automorphism subgroups over the intermediate subfields (a question of Krull, \cite[\S4, question 3b)]{krull}); (iii) construct, in the case $n=\infty$, a fully faithful subfunctor $(-)_v$ of the forgetful functor from the category of smooth representations of $G$ to the category of smooth representations of $G_v$; (iv) construct, using the functors $(-)_v$, a subfunctor $\Gamma$ of the identity functor on the category of smooth representations of $G$, coincident (via the forgetful functor) with the functor $\Gamma$ on the category of smooth admissible semilinear representations of $G$ constructed in \cite{adm} in the case $n=\infty$ and $k=\bar{{\mathbb Q}}$. The study of open subgroups is motivated by the study of (the stabilizers of the) smooth representations undertaken in \cite{repr,adm}. The functor $\Gamma$ is an analogue of the global sections functor on the category of sheaves on a smooth proper algebraic variety. Another result is that `interesting' semilinear representations are `globally generated'.


title: An Adaptive Euler-Maruyama Scheme For SDEs: Convergence and Stability

abstract: The understanding of adaptive algorithms for SDEs is an open area where many issues related to both convergence and stability (long time behaviour) of algorithms are unresolved. This paper considers a very simple adaptive algorithm, based on controlling only the drift component of a time-step. Both convergence and stability are studied. The primary issue in the convergence analysis is that the adaptive method does not necessarily drive the time-steps to zero with the user-input tolerance. This possibility must be quantified and shown to have low probability. The primary issue in the stability analysis is ergodicity. It is assumed that the noise is non-degenerate, so that the diffusion process is elliptic, and the drift is assumed to satisfy a coercivity condition. The SDE is then geometrically ergodic (converges to statistical equilibrium exponentially quickly). If the drift is not linearly bounded then explicit fixed time-step approximations, such as the Euler-Maruyama scheme, may fail to be ergodic. In this work, it is shown that the simple adaptive time-stepping strategy cures this problem. In addition to proving ergodicity, an exponential moment bound is also proved, generalizing a result known to hold for the SDE itself.


title: A dispersive estimate for the linear wave equation with an electromagnetic potential

abstract: We consider radial solutions to the Cauchy problem for the linear wave equation with a small short-range electromagnetic potential (the "square version" of the massless Dirac equation with a potential) and zero initial data. We prove two a priori estimates that imply, in particular, a dispersive estimate.


title: Recovering boundary conditions in inverse Sturm-Liouville problems

abstract: We introduce a variational algorithm, which solves the classical inverse Sturm-Liouville problem when two spectra are given. In contrast to other approaches, it recovers the potential as well as the boundary conditions without a priori knowledge of the mean of the potential. Numerical examples show that the algorithm works quite reliable, even in the presence of noise. A proof of the absence of strict local minimizers of the functional supports the observation, that a good initial guess is not essential.


title: Small-time behavior of beta coalescents

abstract: For a finite measure $\varLambda$ on $[0,1]$, the $\varLambda$-coalescent is a coalescent process such that, whenever there are $b$ clusters, each $k$-tuple of clusters merges into one at rate $\int_0^1x^{k-2}(1-x)^{b-k}\varLambda(\mathrm{d}x)$. It has recently been shown that if $1<\alpha<2$, the $\varLambda$-coalescent in which $\varLambda$ is the $\operatorname {Beta}(2-\alpha,\alpha)$ distribution can be used to describe the genealogy of a continuous-state branching process (CSBP) with an $\alpha$-stable branching mechanism. Here we use facts about CSBPs to establish new results about the small-time asymptotics of beta coalescents. We prove an a.s. limit theorem for the number of blocks at small times, and we establish results about the sizes of the blocks. We also calculate the Hausdorff and packing dimensions of a metric space associated with the beta coalescents, and we find the sum of the lengths of the branches in the coalescent tree, both of which are determined by the behavior of coalescents at small times. We extend most of these results to other $\varLambda$-coalescents for which $\varLambda$ has the same asymptotic behavior near zero as the $\operatorname {Beta}(2-\alpha,\alpha)$ distribution. This work complements recent work of Bertoin and Le Gall, who also used CSBPs to study small-time properties of $\varLambda$-coalescents.