title: The probability that a random multigraph is simple

abstract: Consider a random multigraph G* with given vertex degrees d_1,...,d_n, contructed by the configuration model. We show that, asymptotically for a sequence of such multigraphs with the number of edges (d_1+...+d_n)/2 tending to infinity, the probability that the multigraph is simple stays away from 0 if and only if \sum d_i^2=O(\sum d_i). This was previously known only under extra assumtions on the maximum degree. We also give an asymptotic formula for this probability, extending previous results by several authors.


title: A Class of Sums of Squares with a Given Poisson-Treves Stratification

abstract: We study a class of sum of squares exhibiting the same Poisson-Treves stratification as the Oleinik-Radkevi\v{c} operator. We find three types of operators having distinct microlocal structures. For one of these we prove a Gevrey hypoellipticity theorem analogous to our recent result for the corresponding Oleinik-Radkevi\v{c} operator.


title: Analytic hypoellipticity for $\square_b + c$ on the Heisenberg group: an $L^2$ approach

abstract: In an interesting note, E.M. Stein observed some 20 years ago that while the Kohn Laplacian $\square_b$ on functions is neither locally solvable nor (analytic) hypoelliptic, the addition of a non-zero complex constant reversed these conclusions at least on the Heisenberg group, and Kwon reproved and generalized this result using the method of concatenations. Recently Hanges and Cordaro have studied this situation on the Heisenberg group in detail. Here we give a purely $L^2$ proof of Stein's result using the author's now classical construction of $(T^p)_\phi = \phi T^p +...,$ where $T$ is the 'missing direction' on the Heisenberg group.


title: The WKB method and geometric instability for non linear Schrodinger equations on surfaces

abstract: In this paper we are interested in constructing WKB approximations for the non linear cubic Schr\"odinger equation on a Riemannian surface which has a stable geodesic. These approximate solutions will lead to some instability properties of the equation.


title: Meixner polynomials and random partitions

abstract: The paper deals with a 3-parameter family of probability measures on the set of partitions, called the z-measures. The z-measures first emerged in connection with the problem of harmonic analysis on the infinite symmetric group. They are a special and distinguished case of Okounkov's Schur measures. It is known that any Schur measure determines a determinantal point process on the 1-dimensional lattice. In the particular case of z-measures, the correlation kernel of this process, called the discrete hypergeometric kernel, has especially nice properties. The aim of the paper is to derive the discrete hypergeometric kernel by a new method, based on a relationship between the z-measures and the Meixner orthogonal polynomial ensemble. The present paper can be viewed as an introduction to another our paper where the same approach is applied to studying a dynamical model related to the z-measures (Markov processes on partitions, Prob. Theory Rel. Fields 135 (2006), 84-152; arXiv: math-ph/0409075).


title: Geometric and projective instability for the Gross-Pitaevski equation

abstract: Using variational methods, we construct approximate solutions for the Gross-Pitaevski equation which concentrate on circles in $\R^3$. These solutions will help to show that the $L^2$ flow is unstable for the usual topology and for the projective distance.


title: Quillen model categories without equalisers or coequalisers

abstract: Quillen defined a {\em model category} to be a category with finite limits and colimits carrying a certain extra structure. In this paper, we show that only finite products and coproducts (in addition to the certain extra structure alluded to above) are really necessary to construct the homotopy category. This leads to the interesting observation that the homotopy category construction could feasibly be iterated.1


title: Lattice Polytopes and Root Systems

abstract: Consider a lattice in a real finite dimensional vector space. Here, we are interested in the lattice polytopes, that is the convex hulls of finite subsets of the lattice. Consider the group $G$ of the affine real transformations which map the lattice onto itself. Replacing the group of euclidean motions by the group $G$ one can define the notion of regular lattice polytopes. More precisely, a lattice polytope is said to be regular if the subgroup of $G$ which preserves the polytope acts transitively on the set of its complete flags. Recently, Karpenkov obtained a classification of the regular lattice polytopes. Here we obtain this classification by a more conceptual method. Another difference is that Karpenkov uses in an essential way the classification of the euclidean regular polytopes, but we don't.


title: Distance-residual graphs

abstract: If we are given a connected finite graph $G$ and a subset of its vertices $V_{0}$, we define a distance-residual graph as a graph induced on the set of vertices that have the maximal distance from $V_{0}$. Some properties and examples of distance-residual graphs of vertex-transitive, edge-transitive, bipartite and semisymmetric graphs are shown. The relations between the distance-residual graphs of product graphs and their factors are shown.


title: Fixed points of automorphisms of real algebraic curves

abstract: We bound the number of fixed points of an automorphism of a real curve in terms of the genus and the number of connected components of the real part of the curve. Using this bound, we derive some consequences concerning the maximum order of an automorphism and the maximum order of an abelian group of automorphisms of a real curve. We also bound the full group of automorphisms of a real hyperelliptic curve.


title: First-order methods for sparse covariance selection

abstract: Given a sample covariance matrix, we solve a maximum likelihood problem penalized by the number of nonzero coefficients in the inverse covariance matrix. Our objective is to find a sparse representation of the sample data and to highlight conditional independence relationships between the sample variables. We first formulate a convex relaxation of this combinatorial problem, we then detail two efficient first-order algorithms with low memory requirements to solve large-scale, dense problem instances.


title: The Minkowski and conformal superspaces

abstract: We define complex Minkowski superspace in 4 dimensions as the big cell inside a complex flag supermanifold. The complex conformal supergroup acts naturally on this super flag, allowing us to interpret it as the conformal compactification of complex Minkowski superspace. We then consider real Minkowski superspace as a suitable real form of the complex version. Our methods are group theoretic, based on the real conformal supergroup and its Lie superalgebra.


title: Copolymer at selective interfaces and pinning potentials: weak coupling limits

abstract: We consider a simple random walk of length $N$, denoted by $(S_{i})_{i\in \{1,...,N\}}$, and we define $(w_i)_{i\geq 1}$ a sequence of centered i.i.d. random variables. For $K\in\N$ we define $((\gamma_i^{-K},...,\gamma_i^K))_{i\geq 1}$ an i.i.d sequence of random vectors. We set $\beta\in \mathbb{R}$, $\lambda\geq 0$ and $h\geq 0$, and transform the measure on the set of random walk trajectories with the Hamiltonian $\lambda \sum_{i=1}^{N} (w_i+h) \sign(S_i)+\beta \sum_{j=-K}^{K}\sum_{i=1}^{N} \gamma_{i}^{j} \boldsymbol{1}_{\{S_{i}=j\}}$. This transformed path measure describes an hydrophobic(philic) copolymer interacting with a layer of width $2K$ around an interface between oil and water. In the present article we prove the convergence in the limit of weak coupling (when $\lambda$, $h$ and $\beta$ tend to 0) of this discrete model towards its continuous counterpart. To that aim we further develop a technique of coarse graining introduced by Bolthausen and den Hollander in \cite{BDH}. Our result shows, in particular, that the randomness of the pinning around the interface vanishes as the coupling becomes weaker.


title: On the Small Ball Inequality in Three Dimensions

abstract: We prove an inequality related to questions in Approximation Theory, Probability Theory, and to Irregularities of Distribution. Let $h_R$ denote an $L ^{\infty}$ normalized Haar function adapted to a dyadic rectangle $R\subset [0,1] ^{3}$. We show that there is a postive $\eta$ so that for all integers $n$, and coefficients $ \alpha (R)$ we have 2 ^{-n} \sum_{\abs{R}=2 ^{-n}} \abs{\alpha(R)} {}\lesssim{} n ^{1 - \eta} \NOrm \sum_{\abs{R}=2 ^{-n}} \alpha(R) h_R >.\infty . This is an improvement over the `trivial' estimate by an amount of $n ^{- \eta}$, and the optimal value of $\eta$ (which we do not prove) would be $ \eta =\frac12$. There is a corresponding lower bound on the $L ^{\infty}$ norm of the Discrepancy function of an arbitary distribution of a finite number of points in the unit cube in three dimensions. The prior result, in dimension 3, is that of J{\'o}zsef Beck \cite{MR1032337}, in which the improvement over the trivial estimate was logarithmic in $n$. We find several simplifications and extensions of Beck's argument to prove the result above.


title: Small Ball and Discrepancy Inequalities

abstract: This is a comprehensive set of notes on the ArXiV paper math.CA/0609815 by Dmitry Bilyk and the author. The focus of that paper is a new inequality for sums of hyperbolic Haar functions in three variables, extending a famous result of J Beck from 1987. This is an improvement on what is known as the Small Ball Conjecture. In this paper, that result is proved, in a more leisurely fashion and additional remarks. In addition, background material is gathered together, including a complete proof of the necessary Harmonic Analysis; a summary of known results on the Small Ball inequality; Irregularities of Distribution; the relationship with conjectures in Approximation Theory and Probability Theory.


title: On the Discrepancy Function in Arbitary Dimension, Close to L ^{1}

abstract: Let $\mathcal A_N$ to be $N$ points in the unit cube in dimension $ d$, and consider the Discrepency function D_N(\vec x) \coloneqq \sharp \mathcal A_N \cap [\vec 0,\vec x)-N \abs{[\vec 0,\vec x)} Here, $ \vec x= (x_1 ,...c, x_d)$ and $[ 0,\vec x)=\prod_{t=1} ^{d} [0,x_t)$. We show that necessarily \norm D_N. L ^{1} (\log L) ^{(d-2)/2}. \gtrsim (\log N) ^{d/2} . In dimension $d=2$, the `$ \log L$' term has power zero, which corresponds to a Theorem due to \cite{MR637361}.


title: Geometric properties of Lagrangian mechanical systems

abstract: The geometry of a Lagrangian mechanical system is determined by its associated evolution semispray. We uniquely determine this semispray using the symplectic structure and the energy of the Lagrange space and the external force field. We study the variation of the energy and Lagrangian functions along the evolution and the horizontal curves and give conditions by which these variations vanish. We provide examples of mechanical systems which are dissipative and for which the evolution nonlinear connection is either metric or symplectic.


title: The small quantum group and the Springer resolution

abstract: In math.RT/0304173 the derived category of the principal block in modules over the Lusztig quantum algebra at a root of unity is related to the derived category of equivariant coherent sheaves on the Springer resolution. In the present paper we deduce a similar relation between the derived category of the principal block for the {\em small (reduced) quantum algebra} and the derived category of (non-equivariant) coherent sheaves on the Springer resolution. As an application we get a geometric description of Hochschild cohomology (in particular, the center) of the regular block for the small quantum group, and use it to give an explicit description of a certain subalgebra in the center (obtained previously by another method and under more restrictive assumptions in math.QA/0107098. We also briefly explain the relation of our result to the geometric description math.RT/0407048 of the derived category of modules over the De Concini -- Kac quantum algebra.


title: Generalized G_2-manifolds and SU(3)-structures

abstract: We construct a compact example of 7- dimensional manifold endowed with a weakly integrable generalized G_2-structure with respect to a closed and non trivial 3-form. Moreover, we investigate which type of SU(3)-structures on a 6-dimensional manifold N give rise to a strongly integrable generalized G_2-structure with respect to a non trivial 3-form on the product $N \times S^1$.


title: The partial positivity of the curvature in Riemannian symmetric spaces

abstract: In this paper, we determine the partial positivity(resp., negativity) of the curvature of all irreducible Riemannian symmetric spaces. From the classifications of abstract root systems and maximal subsystems, we can give the calculations for symmetric spaces both in classical types and in exceptional types.


title: Vanishing theorem for irreducible symmetric spaces of noncompact type

abstract: We prove the following vanishing theorem. Let M be an irreducible symmetric space of noncompact type whose dimension exceeds 2 and $M\ne SO_0(2,2)/SO(2)\tm SO(2).$ Let E be any vector bundle over M, Then any E-valued $L^2$ harmonic 1-form over M vanishes. In particular we get the vanishing theorem for harmonic maps from irreducible symmetric spaces of noncompact type.


title: Fischer Decomposition for Difference Dirac Operators

abstract: We establish the basis of a discrete function theory starting with a Fischer decomposition for difference Dirac operators. Discrete versions of homogeneous polynomials, Euler and Gamma operators are obtained. As a consequence we obtain a Fischer decomposition for the discrete Laplacian.


title: The Lawson homology and Deligne-Beilinson cohomology for Fulton-MacPherson configuration spaces

abstract: In this paper, we compute the Lawson homology groups and Deligne-Beilinson cohomology groups for Fulton-MacPherson configuration spaces. The explicit formulas are given.


title: Misere quotients for impartial games

abstract: We announce misere-play solutions to several previously-unsolved combinatorial games. The solutions are described in terms of misere quotients--commutative monoids that encode the additive structure of specific misere-play games. We also introduce several advances in the structure theory of misere quotients, including a connection between the combinatorial structure of normal and misere play.


title: Probability of hitting a distant point for the voter model started with a single one

abstract: The goal of this work is to find the asymptotics of the hitting probability of a distant point for the voter model on the integer lattice started from a single 1 at the origin. In dimensions 2 or 3, we obtain the precise asymptotic behavior of this probability. We use the scaling limit of the voter model started from a single 1 at the origin in terms of super-Brownian motion under its excursion measure. This invariance principle was stated by Bramson, Cox and Le Gall, as a consequence of a theorem of Cox, Durrett and Perkins. Less precise estimates are derived in dimensions greater than 4.


title: On A. Zygmund differentiation conjecture

abstract: Consider $v$ a Lipschitz unit vector field on $R^n$ and $K$ its Lipschitz constant. We show that the maps $S_s:S_s(X) = X + sv(X)$ are invertible for $0\leq |s|<1/K$ and define nonsingular point transformations. We use these properties to prove first the differentiation in L^p norm for $1\le p<\infty.$ Then we show the existence of a universal set of values $s\in [-1/2K,1/2K]$ of measure 1/K for which the Lipschitz unit vector fields $v\circ S_s^{-1}$ satisfy Zygmund's conjecture for all functions in $L^p(\R^n)$ and for each p, $1\leq p< \infty.$


title: Unitary spherical spectrum for split classical groups

abstract: This paper gives a complete classification of the unitary irreducible spherical representations of split real and p-adic groups. The results were obtained around 2000, the changes to the new version are expository.


title: Real solutions to equations from geometry

abstract: Understanding, finding, or even deciding on the existence of real solutions to a system of equations is a very difficult problem with many applications. While it is hopeless to expect much in general, we know a surprising amount about these questions for systems which possess additional structure. Particularly fruitful--both for information on real solutions and for applicability--are systems whose additional structure comes from geometry. Such equations from geometry for which we have information about their real solutions are the subject of these lecture notes, which focuses on bounds, both upper and lower, as well as situations in which all solutions can be real.


title: The distance between two separating, reducing slopes is at most 4

abstract: Let $M$ be a simple 3-manifold such that one component of $\partial M$, say $F$, has genus at least two. For a slope $\alpha$ on $F$, we denote by $M(\alpha)$ the manifold obtained by attaching a 2-handle to $M$ along a regular neighborhood of $\alpha$ on $F$. If $M(\alpha)$ is reducible, then $\alpha$ is called a reducing slope. In this paper, we shall prove that the distance between two separating, reducing slopes on $F$ is at most 4.


title: Generalized subresultants and generalized subresultant algorithm

abstract: In this paper we present the notions of trail (pseudo-)division, generalized subresultants and generalized subresultant algorithm.


title: Confluence Theory for Graphs

abstract: We develop a theory of confluence of graphs. We describe an algorithm for proving that a given system of reduction rules for abstract graphs and graphs in surfaces is locally confluent. We apply this algorithm to show that each simple Lie algebra of rank at most 2, gives rise to a confluent system of reduction rules of graphs (via Kuperberg's spiders) in an arbitrary surface. As a further consequence of this result, we find canonical bases of SU_3-skein modules of cylinders over orientable surfaces.


title: Logarithmic tensor product theory for generalized modules for a conformal vertex algebra, Part I

abstract: We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ``conformal vertex algebra'' or even more generally, for a "M\"obius vertex algebra.'' We do not require the module categories to be semisimple, and we accommodate modules with generalized weight spaces. As in the earlier series of papers, our tensor product functors depend on a complex variable, but in the present generality, the logarithm of the complex variable is involved. This first part is devoted to the study of logarithmic intertwining operators and their role in the construction of the tensor product functors. Part II of this work will be devoted to the construction of the appropriate natural associativity isomorphisms between triple tensor product functors, to the proof of their fundamental properties, and to the construction of the resulting braided tensor category structure. This work includes the complete proofs in the present generality and can be read independently of the earlier series of papers.


title: Partially directed paths in a wedge

abstract: The enumeration of lattice paths in wedges poses unique mathematical challenges. These models are not translationally invariant, and the absence of this symmetry complicates both the derivation of a functional recurrence for the generating function, and solving for it. In this paper we consider a model of partially directed walks from the origin in the square lattice confined to both a symmetric wedge defined by $Y = \pm pX$, and an asymmetric wedge defined by the lines $Y= pX$ and Y=0, where $p > 0$ is an integer. We prove that the growth constant for all these models is equal to $1+\sqrt{2}$, independent of the angle of the wedge. We derive functional recursions for both models, and obtain explicit expressions for the generating functions when $p=1$. From these we find asymptotic formulas for the number of partially directed paths of length $n$ in a wedge when $p=1$. The functional recurrences are solved by a variation of the kernel method, which we call the ``iterated kernel method''. This method appears to be similar to the obstinate kernel method used by Bousquet-Melou. This method requires us to consider iterated compositions of the roots of the kernel. These compositions turn out to be surprisingly tractable, and we are able to find simple explicit expressions for them. However, in spite of this, the generating functions turn out to be similar in form to Jacobi $\theta$-functions, and have natural boundaries on the unit circle.


title: Concentration inequalities for dependent Random variables via the martingale method

abstract: The martingale method is used to establish concentration inequalities for a class of dependent random sequences on a countable state space, with the constants in the inequalities expressed in terms of certain mixing coefficients. Along the way, bounds are obtained on martingale differences associated with the random sequences, which may be of independent interest. As applications of the main result, concentration inequalities are also derived for inhomogeneous Markov chains and hidden Markov chains, and an extremal property associated with their martingale difference bounds is established. This work complements and generalizes certain concentration inequalities obtained by Marton and Samson, while also providing different proofs of some known results.


title: Tessellation and Lyubich-Minsky laminations associated with quadratic maps II: Topological structures of 3-laminations

abstract: According to an analogy to quasi-Fuchsian groups, we investigate topological and combinatorial structures of Lyubich and Minsky's affine and hyperbolic 3-laminations associated with the hyperbolic and parabolic quadratic maps. We begin by showing that hyperbolic rational maps in the same hyperbolic component have quasi-isometrically the same 3-laminations. This gives a good reason to regard the main cardioid of the Mandelbrot set as an analogue of the Bers slices in the quasi-Fuchsian space. Then we describe the topological and combinatorial changes of laminations associated with hyperbolic-to-parabolic degenerations (and parabolic-to-hyperbolic bifurcations) of quadratic maps. For example, the differences between the structures of the quotient 3-laminations of Douady's rabbit, the Cauliflower, and $z \mapsto z^2$ are described. The descriptions employ a new method of tessellation inside the filled Julia set introduced in Part I that works like external rays outside the Julia set.


title: Morse index properties of colliding solutions to the $N$-body problem

abstract: We study a singular Hamiltonian system with an $\al$-homogeneous potential that contains, as a particular case, the classical $N$--body problem. We introduce a variational Morse--like index for a class of collision solutions and, using the asymptotic estimates near collisions, we prove the non-minimality of some special classes of colliding trajectories under suitable spectral conditions provided $\al$ is sufficiently away from zero. We then prove some minimality results for small values of the parameter $\al$.


title: On the Conformal Geometry of Transverse Riemann-Lorentz Manifolds

abstract: Physical reasons suggested in \cite{Ha-Ha} for the \emph{Quantum Gravity Problem} lead us to study \emph{type-changing metrics} on a manifold. The most interesting cases are \emph{Transverse Riemann-Lorentz Manifolds}. Here we study the conformal geometry of such manifolds.


title: Real multiplication on K3 surfaces and Kuga Satake varieties

abstract: The endomorphism algebra of a K3 type Hodge structure is a totally real field or a CM field. In this paper we give a low brow introduction to the case of a totally real field. We give existence results for the Hodge structures, for their polarizations and for certain K3 surfaces. We consider the Kuga Satake variety of these Hodge structures and we discuss some examples. Finally we indicate various open problems related to the Hodge conjecture.


title: A natural family of flag matroids

abstract: A flag matroid can be viewed as a chain of matroids linked by quotients. Flag matroids, of which relatively few interesting families have previously been known, are a particular class of Coxeter matroids. In this paper we give a family of flag matroids arising from an enumeration problem that is a generalization of the tennis ball problem. These flag matroids can also be defined in terms of lattice paths and they provide a generalization of the lattice path matroids of [Bonin et al., JCTA 104 (2003)].


title: Equivariant volumes of non-compact quotients and instanton counting

abstract: Motivated by Nekrasov's instanton counting, we discuss a method for calculating equivariant volumes of non-compact quotients in symplectic and hyper-K\"ahler geometry by means of the Jeffrey-Kirwan residue-formula of non-abelian localization. In order to overcome the non-compactness, we use varying symplectic cuts to reduce the problem to a compact setting, and study what happens in the limit that recovers the original problem. We implement this method for the ADHM construction of the moduli spaces of framed Yang-Mills instantons on $\R^{4}$ and rederive the formulas for the equivariant volumes obtained earlier by Nekrasov-Shadchin, expressing these volumes as iterated residues of a single rational function.


title: Non-local Dirichlet Forms and Symmetric Jump Processes

abstract: We consider the symmetric non-local Dirichlet form $(E, F)$ given by \[ E (f,f)=\int_{R^d} \int_{R^d} (f(y)-f(x))^2 J(x,y) dx dy \] with $F$ the closure of the set of $C^1$ functions on $R^d$ with compact support with respect to $E_1$, where $E_1 (f, f):=E (f, f)+\int_{R^d} f(x)^2 dx$, and where the jump kernel $J$ satisfies \[ \kappa_1|y-x|^{-d-\alpha} \leq J(x,y) \leq \kappa_2|y-x|^{-d-\beta} \] for $0<\alpha< \beta <2, |x-y|<1$. This assumption allows the corresponding jump process to have jump intensities whose size depends on the position of the process and the direction of the jump. We prove upper and lower estimates on the heat kernel. We construct a strong Markov process corresponding to $(E, F)$. We prove a parabolic Harnack inequality for nonnegative functions that solve the heat equation with respect to $E$. Finally we construct an example where the corresponding harmonic functions need not be continuous.


title: Compactifications of Bruhat-Tits buildings associated to linear representations

abstract: Let G be a connected semisimple group over a non-Archimedean local field. For every faithful, geometrically irreducible linear representation of G we define a compactification of the associated Bruhat-Tits building X(G). This yields a finite family of compactifications of X(G) which contains the polyhedral compactification. Moreover, this family can be regarded as a non-Archimedean analogue of Satake compactifications for symmetric spaces.


title: Real Belyi theory

abstract: We develop a Belyi type theory that applies to Klein surfaces, i.e. (possibly non-orientable) surfaces with boundary which carry a dianalytic structure. In particular we extend Belyi's famous theorem from Riemann surfaces to Klein surfaces.


title: On a Balanced Property of Compositions

abstract: Let $S$ be a finite set of positive integers with largest element $m$. Let us randomly select a composition $a$ of the integer $n$ with parts in $S$, and let $m(a)$ be the multiplicity of $m$ as a part of $a$. Let $0\leq r<q$ be integers, with $q\geq 2$, and let $p_{n,r}$ be the probability that $m(a)$ is congruent to $r$ modulo $q$. We show that if $S$ satisfies a certain simple condition, then $\lim_{n\to \infty} p_{n,r} =1/q$. In fact, we show that an obvious necessary condition on $S$ turns out to be sufficient.


title: Cramped subgroups and generalized Harish-Chandra modules

abstract: Let G be a reductive complex Lie group with Lie algebra g. We call a subgroup H of G {\bf cramped} if there is an integer b(G,H) such that each finite dimensional representation of G has a non-trivial invariant subspace of dimension less than b(G,H). We show that a subgroup is cramped if and only if the moment map from T^*(K/L) to k^* is surjective, where K and L are compact forms of G and H. We will use this in conjunction with sufficient conditions for crampedness given by Willenbring and Zuckerman (2004) to prove a geometric lemma on the intersections between adjoint orbits and Killing orthogonals to subgroups. We will also discuss applications of the techniques of symplectic geometry to the generalized Harish-Chandra modules introduced by Penkov and Zuckerman (2004), of which our results on crampedness are special cases.


title: The work of Andrei Okounkov

abstract: Andrei Okounkov received the Fields Medal at the ICM 2006 in Madrid "for his contributions bridging probability, representation theory and algebraic geometry". This is a brief account of his work.

categories: math.GM math-ph math.AG math.DS math.MP math.PR math.QA math.RT


title: Symplectic actions of 2-tori on 4-manifolds

abstract: We classify symplectic actions of 2-tori on compact, connected symplectic 4-manifolds, up to equivariant symplectomorphisms. This extends results of Atiyah, Guillemin-Sternberg, Delzant and Benoist. The classification is in terms of a collection of invariants, which are invariants of the topology of the manifold, of the torus action and of the symplectic form. We construct explicit models of such symplectic manifolds with torus actions, defined in terms of these invariants. We also classify, up to equivariant symplectomorphisms, symplectic actions of (2n-2)-dimensional tori on 2n-dimensional symplectic manifolds, when at least one orbit is a (2n-2)-dimensional symplectic submanifold. Then we show that a 2n-dimensional symplectic manifold M equipped with a free symplectic action of a (2n-2)-dimensional torus with at least one (2n-2)-dimensional symplectic orbit is equivariantly diffeomorphic to M/T x T equipped with the translational action of T. Thus two such symplectic manifolds are equivariantly diffeomorphic if and only if their orbit spaces are surfaces of the same genus.


title: A counterexample to an endpoint bilinear Strichartz inequality

abstract: The endpoint Strichartz estimate $\| e^{it\Delta} f \|_{L^2_t L^\infty_x(\R \times \R^2)} \lesssim \|f\|_{L^2_x(\R^2)}$ is known to be false by the work of Montgomery-Smith, despite being only ``logarithmically far'' from being true in some sense. In this short note we show that (in sharp constrast to the $L^p_{t,x}$ Strichartz estimates) the situation is not improved by passing to a bilinear setting; more precisely, if $P, P'$ are non-trivial smooth Fourier cutoff multipliers then we show that the bilinear estimate $$\| (e^{it\Delta} P f) (e^{it\Delta} P' g) \|_{L^2_t L^\infty_x(\R \times \R^2)} \lesssim \|f\|_{L^2_x(\R^2)} \|g\|_{L^2_x(\R^2)} $$ fails even when $P$, $P'$ have widely separated supports.


title: A C*-Algebraic Model for Locally Noncommutative Spacetimes

abstract: Locally noncommutative spacetimes provide a refined notion of noncommutative spacetimes where the noncommutativity is present only for small distances. Here we discuss a non-perturbative approach based on Rieffel's strict deformation quantization. To this end, we extend the usual C*-algebraic results to a pro-C*-algebraic framework.


title: An algebraic integration for Mahler measure

abstract: There are many examples of several-variable polynomials whose Mahler measure is expressed in terms of special values of polylogarithms. These examples are expected to be related to computations of regulators, as observed by Deninger, and later Rodriguez-Villegas, and Maillot. While Rodriguez-Villegas made this relationship explicit for the two variable case, it is our goal to understand the three variable case and shed some light on the examples with more variables.


title: Attracting basins of volume preserving automorphisms of $\mathbb{C}^k$

abstract: We study toplogical properties of attracting sets for automorphisms of $\mathbb{C}^k$. Our main result is that a generic volume preserving automorphism has a hyperbolic fixed point with a dense stable manifold. We prove the same result for volume preserving maps tangent to the identity. On the other hand, we show that an attracting set can only contain a neighborhood of the fixed point if the fixed point is an attracting fixed point. We will see that the latter does not hold in the non-autonomous setting.


title: Linear Algebraic Properties for Jordan Models of $C_{0}$-operators relative to multiply connected domains

abstract: We study $C_{0}$-operators relative to a multiply connected domain using a substitute of the characteristic function. This method allows us to prove certain relations between the Jordan model of an operator and that of its restriction to an invariant subspace.


title: Modular Lattice for $C_{o}$-Operators

abstract: We study modularity of the lattice Lat $(T)$ of closed invariant subspaces for a $C_0$-operator $T$ and find a condition such that Lat $(T)$ is a modular. Furthermore, we provide a quasiaffinity preserving modularity.


title: Morse Homology, Tropical Geometry, and Homological Mirror Symmetry for Toric Varieties

abstract: Given a smooth projective toric variety X, we construct an A-infinity category of Lagrangians with boundary on a level set of the Landau-Ginzburg mirror of X. We prove that this category is quasi-equivalent to the DG category of line bundles on X. This establishes part of the Homological Mirror Conjecture for toric varieties.


title: Unitarity in "quantization commutes with reduction"

abstract: Let M be a compact Kahler manifold equipped with a Hamiltonian action of a compact Lie group G. In this paper, we study the geometric quantization of the symplectic quotient M//G. Guillemin and Sternberg [Invent. Math. 67 (1982), 515--538] have shown, under suitable regularity assumptions, that there is a natural invertible map between the quantum Hilbert space over M//G and the G-invariant subspace of the quantum Hilbert space over M. We prove that in general the natural map of Guillemin and Sternberg is not unitary, \textit{even to leading order in Planck's constant}. We then modify the quantization procedure by the "metaplectic correction" and show that in this setting there is still a natural invertible map between the Hilbert space over M//G and the G-invariant subspace of the Hilbert space over M. We then prove that this modified Guillemin--Sternberg map is asymptotically unitary to leading order in Planck's constant.


title: Rough solutions for the periodic Korteweg-de Vries equation

abstract: We show how to apply ideas from the theory of rough paths to the analysis of low-regularity solutions to non-linear dispersive equations. Our basic example will be the one dimensional Korteweg--de Vries (KdV) equation on a periodic domain and with initial condition in $\FF L^{\alpha,p}$ spaces. We discuss convergence of Galerkin approximations, a modified Euler scheme and the presence of a random force of white-noise type in time.


title: The classification of higher-order cusp forms

abstract: Explicit bases for the spaces of holomorphic cusp forms of all even positive weights and all orders are constructed. The dimensions of these spaces are computed.


title: The Effect of Disorder on Polymer Depinning Transitions

abstract: We consider a polymer, with monomer locations modeled by the trajectory of a Markov chain, in the presence of a potential that interacts with the polymer when it visits a particular site 0. We assume that probability of an excursion of length $n$ is given by $n^{-c}\phi(n)$ for some $1<c<2$ and slowly varying $\phi$. Disorder is introduced by having the interaction vary from one monomer to another, as a constant $u$ plus i.i.d. mean-0 randomness. There is a critical value of $u$ above which the polymer is pinned, placing a positive fraction (called the contact fraction) of its monomers at 0 with high probability. To see the effect of disorder on the depinning transition, we compare the contact fraction and free energy (as functions of $u$) to the corresponding annealed system. We show that for $c>3/2$, at high temperature, the quenched and annealed curves differ significantly only in a very small neighborhood of the critical point--the size of this neighborhood scales as $\beta^{1/(2c-3)}$ where $\beta$ is the inverse temperature. For $c<3/2$, given $\epsilon>0$, for sufficiently high temperature the quenched and annealed curves are within a factor of $1-\epsilon$ for all $u$ near the critical point; in particular the quenched and annealed critical points are equal. For $c=3/2$ the regime depends on the slowly varying function $\phi$.

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


title: Cofibrations in Homotopy Theory

abstract: We define Anderson-Brown-Cisinski (ABC) cofibration categories, and construct homotopy colimits of diagrams of objects in ABC cofibration categories. Homotopy colimits for Quillen model categories are obtained as a particular case. We attach to each ABC cofibration category a left Heller derivator. A dual theory is developed for homotopy limits in ABC fibration categories and for right Heller derivators. These constructions provide a natural framework for 'doing homotopy theory' in ABC (co)fibration categories.


title: Hamiltonian cycles in (2,3,c)-circulant digraphs

abstract: Let D be the circulant digraph with n vertices and connection set {2,3,c}. (Assume D is loopless and has outdegree 3.) Work of S.C.Locke and D.Witte implies that if n is a multiple of 6, c is either (n/2) + 2 or (n/2) + 3, and c is even, then D does not have a hamiltonian cycle. For all other cases, we construct a hamiltonian cycle in D.


title: On the maximal function for the generalized Ornstein-Uhlenbeck semigroup

abstract: In this note we consider the maximal function for the generalized Ornstein-Uhlenbeck semigroup in $\RR$ associated with the generalized Hermite polynomials $\{H_n^{\mu}\}$ and prove that it is weak type (1,1) with respect to $d\lambda_{\mu}(x) = |x|^{2\mu}e^{-|x|^2} dx,$ for $\mu >-1/2$ as well as bounded on $L^p(d\lambda_\mu) $ for $p>1$


title: Deformation of Outer Representations of Galois Group II

abstract: This paper is devoted to deformation theory of "anabelian" representations of the absolute Galois group landing in outer automorphism group of the algebraic fundamental group of a hyperbolic smooth curve defined over a number-field. In the first part of this paper, we obtained universal deformations for Lie-algebra versions of the above representation using the Schlessinger criteria for functors on Artin local rings. In the second part, we use a version of Schlessinger criteria for functors on the Artinian category of nilpotent Lie algebras which is formulated by Pridham, and explore arithmetic applications.


title: Fixed point subalgebras of lattice vertex operator algebras by an automorphism of order three

abstract: We study the fixed point subalgebra of a certain class of lattice vertex operator algebras by an automorphism of order 3, which is a lift of a fixed-point-free isometry of the underlying lattice. We classify the irreducible modules for the subalgebra. Moreover, the rationality and the $C_2$-cofiniteness of the subalgebra are established. Our result contains the case of the vertex operator algebra associated with the Leech lattice.


title: Variation of Mumford's quotients for the maximal torus action on a flag variety

abstract: We study a variation of Mumford's quotient for the action of a maximal torus $T$ on a flag variety $G/B$ depending on projective embedding $G/B \hookrightarrow \Bbb P(V(\chi))$, where $T$-linearization is induced by the standard $G$-linearization. We describe the linear spans of the supports of semistable orbits, that allow us to calculate the rank of the Picard group of quotient $(G/B)^{ss}//T$, when $G$ does not contain simple factors of type $A_n$.


title: A home-made Hartshorne-Serre correspondence

abstract: We provide an elementary proof of the Hartshorne-Serre correspondence for constructing vector bundles from local complete intersection subschemes of codimension two. This will be done, as in the correspondence of hypersurfaces and line bundles, by patching together local determinantal equations in order to produce sections of a vector bundle.


title: Boundary singularities of N -harmonic functions

abstract: We construct N-harmonic functions in a domain with one isolated singularity on the boundary of the domain. By using solutions of the spherical p-harmonic spectral problem, we give an inductive method to produce a large variety of separable p-harmonic functions.


title: Boundary Harnack inequality and a priori estimates of singular solutions of quasilinear elliptic equations

abstract: We extend some classical results dealing with boundary Harnack inequatilities to a class of quasilinear elliptic equations and derive some new estimates for solutions of such equations with an isolated singularity on the boundary of a domain.


title: Asymptotic Analysis of High-Contrast Phononic Crystals and a Criterion for the Band-Gap Opening

abstract: We investigate the band-gap structure of the frequency spectrum for elastic waves in a high-contrast, two-component periodic elastic medium. We consider two-dimensional phononic crystals consisting of a background medium which is perforated by an array of holes periodic along each of the two orthogonal coordinate axes. In this paper we establish a full asymptotic formula for dispersion relations of phononic band structures as the contrast of the shear modulus and that of the density become large. The main ingredients are integral equation formulations of the solutions to the harmonic oscillatory linear elastic equation and several theorems concerning the characteristic values of meromorphic operator-valued functions in the complex plane such as Generalized Rouch\'{e}'s theorem. We establish a connection between the band structures and the Dirichlet eigenvalue problem on the elementary hole. We also provide a criterion for exhibiting gaps in the band structure which shows that smaller the density of the matrix is, wider the band-gap is, provided that the criterion is fulfilled. This phenomenon was reported by Economou and Sigalas who observed that periodic elastic composites whose matrix has lower density and higher shear modulus compared to those of inclusions yield better open gaps. Our analysis in this paper agrees with this experimental finding.


title: Abelian Functions for Trigonal Curves of Genus Three

abstract: We develop the theory of generalized Weierstrass sigma- and \wp-functions defined on a trigonal curve of genus three. In particular we give a list of the associated partial differential equations satisfied by the \wp-functions, a proof that the coefficients of the power series expansion of the sigma-function are polynomials of moduli parameters, and the derivation of two addition formulae.


title: Einstein solvmanifolds with free nilradical

abstract: We classify solvable Lie groups with a free nilradical admitting an Einstein left-invariant metric. Any such group is essentially determined by the nilradical of its Lie algebra, which is then called an Einstein nilradical. We show that among the free Lie algebras, there are very few Einstein nilradicals. Except for the one-step (abelian) and the two-step ones, there are only six others: f(2,3), f(2,4), f(2,5), f(3,3), f(4,3), f(5,3) (where f(m,p) is a free p-step Lie algebra on m generators). The reason for that is the inequality-type restrictions on the eigenvalue type of an Einstein nilradical obtained in the paper.


title: The principle of the large sieve

abstract: We describe a very general abstract form of sieve based on a large sieve inequality which generalizes both the classical sieve inequality of Montgomery (and its higher-dimensional variants), and our recent sieve for Frobenius over function fields. The general framework suggests new applications. We get some first results on the number of prime divisors of ``most'' elements of an elliptic divisibility sequence, and we develop in some detail ``probabilistic'' sieves for random walks on arithmetic groups, e.g., estimating the probability of finding a reducible characteristic polynomial at some step of a random walk on SL(n,Z). In addition to the sieve principle, the applications depend on bounds for a large sieve constant. To prove such bounds involves a variety of deep results, including Property (T) or expanding properties of Cayley graphs, and the Riemann Hypothesis over finite fields. It seems likely that this sieve can have further applications.


title: Isomorphism-free lexicographic enumeration of triangulated surfaces and 3-manifolds

abstract: We present a fast enumeration algorithm for combinatorial 2- and 3-manifolds. In particular, we enumerate all triangulated surfaces with 11 and 12 vertices and all triangulated 3-manifolds with 11 vertices. We further determine all equivelar polyhedral maps on the non-orientable surface of genus 4 as well as all equivelar triangulations of the orientable surface of genus 3 and the non-orientable surfaces of genus 5 and 6.


title: Offensive alliances in cubic graphs

abstract: An offensive alliance in a graph $\Gamma=(V,E)$ is a set of vertices $S\subset V$ where for every vertex $v$ in its boundary it holds that the majority of vertices in $v$'s closed neighborhood are in $S$. In the case of strong offensive alliance, strict majority is required. An alliance $S$ is called global if it affects every vertex in $V\backslash S$, that is, $S$ is a dominating set of $\Gamma$. The global offensive alliance number $\gamma_o(\Gamma)$ (respectively, global strong offensive alliance number $\gamma_{\hat{o}}(\Gamma)$) is the minimum cardinality of a global offensive (respectively, global strong offensive) alliance in $\Gamma$. If $\Gamma$ has global independent offensive alliances, then the \emph{global independent offensive alliance number} $\gamma_i(\Gamma)$ is the minimum cardinality among all independent global offensive alliances of $\Gamma$. In this paper we study mathematical properties of the global (strong) alliance number of cubic graphs. For instance, we show that for all connected cubic graph of order $n$, $$\frac{2n}{5}\le \gamma_i(\Gamma)\le \frac{n}{2}\le \gamma_{\hat{o}}(\Gamma)\le \frac{3n}{4} \le \gamma_{\hat{o}}({\cal L}(\Gamma))=\gamma_{o}({\cal L}(\Gamma))\le n,$$ where ${\cal L}(\Gamma)$ denotes the line graph of $\Gamma$. All the above bounds are tight.


title: Some relations between mutual information and estimation error in Wiener space

abstract: The model considered is that of ``signal plus white noise.'' Known connections between the noncausal filtering error and mutual information are combined with new ones involving the causal estimation error, in a general abstract setup. The results are shown to be invariant under a wide class of causality patterns; they are applied to the derivation of the causal estimation error of a Gaussian nonstationary filtering problem and to a multidimensional extension of the Yovits--Jackson formula.


title: Admissible wavefront speeds for a single species reaction-diffusion equation with delay

abstract: We consider equation $u_t(t,x) = \Delta u(t,x)- u(t,x) + g(u(t-h,x)) (*) $, when $g:\R_+\to \R_+$ has exactly two fixed points: $x_1= 0$ and $x_2=\kappa>0$. Assuming that $g$ is unimodal and has negative Schwarzian, we indicate explicitly a closed interval $\mathcal{C} = \mathcal{C}(h,g'(0),g'(\kappa)) = [c_*,c^*]$ such that $(*)$ has at least one (possibly, nonmonotone) travelling front propagating at velocity $c$ for every $c \in \mathcal{C}$. Here $c_*>0$ is finite and $c^* \in \R_+ \cup \{+\infty\}$. Every time when $\mathcal{C}$ is not empty, the minimal bound $c_*$ is sharp so that there are not wavefronts moving with speed $c < c_*$. In contrast to reported results, the interval $\mathcal{C}$ can be compact, and we conjecture that some of equations $(*)$ can indeed have an upper bound for propagation speeds of travelling fronts. As particular cases, Eq. $(*)$ includes the diffusive Nicholson's blowflies equation and the Mackey-Glass equation with nonmonotone nonlinearity.


title: The degree of Q-Fano threefolds

abstract: We prove that the degree of Fano threefolds with terminal Q-factorial singularities and Picard number one is at most 125/2 and the bound is sharp.


title: Commuting semigroups of holomorphic mappings

abstract: Let $S_{1}=\left\{F_t\right\}_{t\geq 0}$ and $S_{2}=\left\{G_t\right\}_{t\geq 0}$ be two continuous semigroups of holomorphic self-mappings of the unit disk $\Delta=\{z:|z|<1\}$ generated by $f$ and $g$, respectively. We present conditions on the behavior of $f$ (or $g$) in a neighborhood of a fixed point of $S_{1}$ (or $S_{2}$), under which the commutativity of two elements, say, $F_1$ and $G_1$ of the semigroups implies that the semigroups commute, i.e., $F_{t}\circ G_{s}=G_{s}\circ F_{t}$ for all $s,t\geq 0$. As an auxiliary result, we show that the existence of the (angular or unrestricted) $n$-th derivative of the generator $f$ of a semigroup $\left\{F_t\right\}_{t\geq 0}$ at a boundary null point of $f$ implies that the corresponding derivatives of $F_{t}$, $t\geq 0$, also exist, and we obtain formulae connecting them for $n=2,3$.


title: Cheeger Gromoll type metrics on the tangent bundle

abstract: In this paper we study a Riemanian metric on the tangent bundle $T(M)$ of a Riemannian manifold $M$ which generalizes the Cheeger Gromoll metric and a compatible almost complex structure which together with the metric confers to $T(M)$ a structure of locally conformal almost K\"ahlerian manifold. We found conditions under which $T(M)$ is almost K\"ahlerian, locally conformal K\"ahlerian or K\"ahlerian or when $T(M)$ has constant sectional curvature or constant scalar curvature.


title: Cylindrical Combinatorics and Representations of Cherednik Algebras of type A

abstract: We investigate the representation theory of the rational and trigonometric Cherednik algebra of type $GL_n$ by means of combinatorics on periodic (or cylindrical) skew diagrams. We introduce and study standard tableaux and plane partitions on periodic diagrams, and in particular, compute some generating functions concerning plane partitions, where Kostka polynomials and their level restricted generalization appear. On representation side, we study representations of Cherednik algebras which admit weight decomposition with respect to a certain commutative subalgebra. All the irreducible representations of this class are constructed combinatorially through standard tableaux on periodic diagrams, and this realization as "tableaux representations" provides a new combinatorial approach to the investigation of these representations. As consequences, we describe the decomposition of a tableaux representation as a representation of the degenerate affine Hecke algebra, which is a subalgebra of the Cherednik algebra, and also describe the spectral decomposition of the spherical subspace (the invariant subspace under the action of the Weyl group) of a tableaux representation with respect to the center of the degenerate affine Hecke algebra, In particular, the computation of the character of the spherical subspace is reduced to the computation of the generating function for the set of column strict plane partitions, and we obtain an expression of the characters in terms of Kostka polynomials as announced in math.QA/0508274.


title: Partially ordered patterns and compositions

abstract: A partially ordered (generalized) pattern (POP) is a generalized pattern some of whose letters are incomparable, an extension of generalized permutation patterns introduced by Babson and Steingrimsson. POPs were introduced in the symmetric group by Kitaev [Partially ordered generalized patterns, Discrete Math. 298 (2005), 212-229; Introduction to partially ordered patterns, Discrete Appl. Math., to appear], and studied in the set of $k$-ary words by Kitaev and Mansour [Partially ordered generalized patterns and $k$-ary words, Annals of Combinatorics 7 (2003) 191-200]. Moreover, Kitaev et al. [S. Kitaev, T. McAllister and K. Petersen, Enumerating segmented patterns in compositions and encoding with restricted permutations, preprint] introduced segmented POPs in compositions. In this paper, we study avoidance of POPs in compositions and generalize results for avoidance of POPs in permutations and words. Specifically, we obtain results for the generating functions for the number of compositions that avoid shuffle patterns and multi-patterns. In addition, we give the generating function for the distribution of the maximum number of non-overlapping occurrences of a segmented POP $\tau$ (that is allowed to have repeated letters) among the compositions of $n$ with $m$ parts in a given set, provided we know the generating function for the number of compositions of $n$ with $m$ parts in the given set that avoid $\tau$. This result is a $q$-analogue of the main result in [S. Kitaev, T. Mansour, Partially ordered generalized patterns and $k$-ary words, Annals of Combinatorics 7 (2003) 191-200].


title: Some results on inhomogeneous discriminants

abstract: We study generalized Horn-Kapranov rational parametrizations of inhomogeneous sparse discriminants from both a theoretical and an algorithmic perspective. We show that all these parametrizations are birational and prove some results on the corresponding implicit equations. We also propose a combinatorial algorithm to compute the degree of inhomogeneous discriminantal surfaces associated to uniform matrices.


title: Ar-Quiver Approach to Affine Canonical Basis Elements

abstract: We describe the affine canonical basis elements in the case when the affine quiver has arbitrary orientation. This generalizes Lusztig's description.


title: Automata over a binary alphabet generating free groups of even rank

abstract: We construct automata over a binary alphabet with $2n$ states, $n\geq 2$, whose states freely generate a free group of rank $2n$. Combined with previous work, this shows that a free group of every finite rank can be generated by finite automata over a binary alphabet. We also construct free products of cyclic groups of order two via such automata.


title: Bayesian variable selection and data integration for biological regulatory networks

abstract: A substantial focus of research in molecular biology are gene regulatory networks: the set of transcription factors and target genes which control the involvement of different biological processes in living cells. Previous statistical approaches for identifying gene regulatory networks have used gene expression data, ChIP binding data or promoter sequence data, but each of these resources provides only partial information. We present a Bayesian hierarchical model that integrates all three data types in a principled variable selection framework. The gene expression data are modeled as a function of the unknown gene regulatory network which has an informed prior distribution based upon both ChIP binding and promoter sequence data. We also present a variable weighting methodology for the principled balancing of multiple sources of prior information. We apply our procedure to the discovery of gene regulatory relationships in Saccharomyces cerevisiae (Yeast) for which we can use several external sources of information to validate our results. Our inferred relationships show greater biological relevance on the external validation measures than previous data integration methods. Our model also estimates synergistic and antagonistic interactions between transcription factors, many of which are validated by previous studies. We also evaluate the results from our procedure for the weighting for multiple sources of prior information. Finally, we discuss our methodology in the context of previous approaches to data integration and Bayesian variable selection.


title: The Dualizing Spectrum, II

abstract: To an inclusion topological groups H->G, we associate a naive G-spectrum. The special case when H=G gives the dualizing spectrum D_G introduced by the author in the first paper of this series. The main application will be to give a purely homotopy theoretic construction of Poincare embeddings in stable codimension.


title: Problems related to a de Bruijn - Erd\H{o}s theorem

abstract: De Bruijn and Erd\H{o}s proved that every noncollinear set of n points in the plane determines at least n distinct lines. We suggest a possible generalization of this theorem in the framework of metric spaces and provide partial results on related extremal combinatorial problems.


title: Handbook of normal frames and coordinates

abstract: The main subject of the book is an up-to-date and in-depth survey of the theory of normal frames and coordinates in differential geometry. The book can be used as a reference manual, review of the existing results and introduction to some new ideas and developments. In the book can be found practically all existing essential results and methods concerning normal frames and coordinates. Most of the results are represented in full detail with full, in some cases new, proofs. All classical results are expanded and generalized in various directions. Theorems of existence, uniqueness and, possibly, holonomicity of the normal frames and coordinates are proved; mostly, the proofs are constructive and some their parts can be used independently for other tasks. Besides published results, their extensions and generalizations, the book contains completely new results which appear for the first time.


title: Renyi Dimension and Gaussian Filtering

abstract: Consider the partition function S(\epsilon) associated in theory of Renyi dimension to a finite Borel measure \mu on Euclidean d-space. This partion function S(\epsilon) is the sum of the q-th powers of the measure applied to a partition of d-space into d-cubes of width \epsilon. We further Guerin's investigation of the relation between this partition function and the Lebesgue Lp norm (Lq norm) of the convolution of \mu against an approximate identity of Gaussians. We prove a Lipschitz-type esimate on the partition function. This bound on the partition function leads to results regarding the computation of Renyi dimension. It also shows that the partion function is of O-regular variation. We find situtations where one can or cannot replace the partition function by a discrete version. We discover that the slopes of the least-square best fit linear approximations to the partion function cannot always be used to calculate upper and lower Renyi dimension.


title: Irreducible components in an algebraic variety of representations of a family of one-relator groups

abstract: Given a finitely generated group G, the set Hom(G,SL_2 C) inherits the structure of an algebraic variety R(G)called the "representation variety" of G. This algebraic variety is an invariant of G. Let G_{pt}=< a, b; a^p= b^t>, where p, t are integers greater than one. In this paper a formula is produced yielding the number of four dimensional irreducible components of the affine algebraic variety R(G_{pt}). A direct consequence of the main theorem of this paper is that if K is a torus knot, then its genus equals the number of four dimensional components of R(G_{pt}) corresponding to its knot group G_{pt}.


title: Quasipotential and logarithmic asymptotics of the Green's measures

abstract: It is proved that the weak large deviation principle of the scaled processes $Z^\eps(t) = \eps Z(t/\eps)$ implies the weak large deviation principle for the scaled Green's measures of the Markov process $Z(t)$.


title: Integration over the Pauli quantum group

abstract: We prove that the Pauli representation of the quantum permutation algebra $A_s(4)$ is faithful. This provides the second known model for a free quantum algebra. We use this model for performing some computations, with the main result that at the level of laws of diagonal coordinates, the Lebesgue measure appears between the Dirac mass and the free Poisson law.


title: On invariant Mobius measure and Gauss-Kuzmin face distribution

abstract: There exists and is unique up to multiplication by a constant function a form of the highest dimension on the manifold of n-dimensional continued fractions in the sense of Klein, such that the form is invariant under the natural action of the group of projective transformations PGL(n+1). A measure corresponding to the integral of such form is called a Mobius measure. In the present paper we deduce an explicit formulae to calculate invariant forms in special coordinates. These formulae allow to give answers to some statistical questions of theory of multidimensional continued fractions. As an example, we show in this work the results of approximate calculations of frequencies for certain two-dimensional faces of two-dimensional continued fractions.


title: Lecture Notes on Noncommutative Algebraic Geometry and Noncommutative Tori

abstract: The first part of these notes gives an introduction to noncommutative projective geometry after Artin--Zhang. The second part provides an overview of the work of Polishchuk that reconciles noncommutative two-tori having real multiplication with the Artin--Zhang setting.


title: KK-theoretic duality for proper twisted actions

abstract: Let the discrete group G act properly and isometrically on the Riemannian manifold X. Let C_0(X, \delta) be the section algebra of a smooth locally trivial G-equivariant bundle of elementary C*-algebras representing an element \delta of the Brauer group Br_G(X). Then C_0(X,\delta^{-1}) x G is KK-theoretically Poincare dual to (C_0(X,\delta)\otimes_{C_0(X)} C_\tau(X)) xG, where \delta^{-1} is the inverse of \delta in the Brauer group. We deduce this from a strengthening of Kasparov's duality theorem RKK^G(X; A,B) \cong KK^G(C_\tau(X)\otimes A, B). As applications we also obtain a version of the above Poincare duality with X replaced by a compact G-manifold M and for twisted group algebras C*(G,\omega) if G satisfies some additional properties related to the Dirac-dual Dirac method for the Baum-Connes conjecture.


title: The growth of entire functions of genus zero

abstract: In this paper we shall consider the assymptotic growth of $|P_n(z)|^{1/k_n}$ where $P_n(z)$ is a sequence of entire functions of genus zero. Our results extend a result of J. Muller and A. Yavrian. We shall prove that if the sequence of entire functions has a geometric growth at each point in a set $E$ being non-thin at $\infty$ then it has a geometric growth in $\CC$ also. Moreover, if $E$ has some more properties, a similar result also holds for a more general kind of growth. Even in the case where $P_n$ are polynomials, our results are new in the sense that it does not require $k_n\succeq deg(P_n)$ as usually required.


title: Error of Tikhonov's regularization for integral convolution equations

abstract: Let $\phi$ be a nontrivial function of $L^1(\RR)$. For each $s\geq 0$ we put \begin{eqnarray*} p(s)=-\log \int_{|t|\geq s}|\phi (t)|dt. \end{eqnarray*} If $\phi$ satisfies \begin{equation} \lim_{s\to \infty}\frac{p(s)}{s}=\infty ,\label{170506.1} \end{equation} we obtain asymptotic estimates of the size of small-valued sets $B_{\epsilon}=\{x\in\RR : |\hat{\phi}(x)|\leq \epsilon, |x|\leq R_{\epsilon}\}$ of Fourier transform \begin{eqnarray*} \hat{\phi}(x)=\int_{-\infty}^{\infty}e^{-ixt}\phi (t)dt, x\in \RR, \end{eqnarray*} in terms of $p(s)$ or in terms of its Young dual function \begin{eqnarray*} p^{*}(t)=\sup_{s\geq 0}[st-p(s)], t\geq 0. \end{eqnarray*} Applying these results, we give an explicit estimate for the error of Tikhonov's regularization for the solution $f$ of the integral convolution equation \begin{eqnarray*} \int_{-\infty}^{\infty}f(t-s)\phi (s)ds =g(t), \end{eqnarray*} where $f,g \in L^2(\RR)$ and $\phi$ is a nontrivial function of $L^1(\RR)$ satisfying condition (\ref{170506.1}), and $g,\phi$ are known non-exactly. Also, our results extend some results of \cite{tld} and \cite{tqd}.


title: Chiral structures on the 4D spin cobordism category

abstract: This posting is INVALID and has been WITHDRAWN. Please see N. Kitchloo and JM, Spin cobordism categories in low dimensions, arXiv:0908.3114, for a replacement and revision.


title: Notes on the geography of the plane at infinity

abstract: The second relative homotopy group \pi_2(V(\C),V(\R)) (of the complex relative to the real points of an algebraic variety) encodes interesting information about the `bubbling' phenomena of quantum cohomology. We consider these groups in particular for genus zero Deligne-Mumford moduli spaces, as well as for certain generalizations introduced more recently by Manin and Losev.


title: On symmetric invariants of centralisers in reductive Lie algebras

abstract: Let $g_e$ be the centraliser of a nilpotent element $e$ in a finite dimensional simple Lie algebra $g$ of rank $l$ over an algebraically closed field of characteristic 0. We investigate the algebra $S(g_e)^{g_e}$ of symmetric invariants of $g_e$ and prove that if $g$ is of type $A$ or $C$, then $S(g_e)^{g_e}$ is always a graded polynomial algebra in $l$ variables. We show that this continues to hold for some nilpotent elements in the Lie algebras of other types. In type $A$ we prove that $S(g_e)^{g_e}$ is freely generated by a regular sequence in $S(g_e)$ and describe the tangent cone at $e$ to the nilpotent variety of $g$.


title: The primes contain arbitrarily long polynomial progressions

abstract: We establish the existence of infinitely many \emph{polynomial} progressions in the primes; more precisely, given any integer-valued polynomials $P_1, >..., P_k \in \Z[\m]$ in one unknown $\m$ with $P_1(0) = ... = P_k(0) = 0$ and any $\eps > 0$, we show that there are infinitely many integers $x,m$ with $1 \leq m \leq x^\eps$ such that $x+P_1(m), ..., x+P_k(m)$ are simultaneously prime. The arguments are based on those in Green and Tao, which treated the linear case $P_i = (i-1)\m$ and $\eps=1$; the main new features are a localization of the shift parameters (and the attendant Gowers norm objects) to both coarse and fine scales, the use of PET induction to linearize the polynomial averaging, and some elementary estimates for the number of points over finite fields in certain algebraic varieties.


title: Fast Computation of Fourier Integral Operators

abstract: We introduce a general purpose algorithm for rapidly computing certain types of oscillatory integrals which frequently arise in problems connected to wave propagation and general hyperbolic equations. The problem is to evaluate numerically a so-called Fourier integral operator (FIO) of the form $\int e^{2\pi i \Phi(x,\xi)} a(x,\xi) \hat{f}(\xi) \mathrm{d}\xi$ at points given on a Cartesian grid. Here, $\xi$ is a frequency variable, $\hat f(\xi)$ is the Fourier transform of the input $f$, $a(x,\xi)$ is an amplitude and $\Phi(x,\xi)$ is a phase function, which is typically as large as $|\xi|$; hence the integral is highly oscillatory at high frequencies. Because an FIO is a dense matrix, a naive matrix vector product with an input given on a Cartesian grid of size $N$ by $N$ would require $O(N^4)$ operations. This paper develops a new numerical algorithm which requires $O(N^{2.5} \log N)$ operations, and as low as $O(\sqrt{N})$ in storage space. It operates by localizing the integral over polar wedges with small angular aperture in the frequency plane. On each wedge, the algorithm factorizes the kernel $e^{2 \pi i \Phi(x,\xi)} a(x,\xi)$ into two components: 1) a diffeomorphism which is handled by means of a nonuniform FFT and 2) a residual factor which is handled by numerical separation of the spatial and frequency variables. The key to the complexity and accuracy estimates is that the separation rank of the residual kernel is \emph{provably independent of the problem size}. Several numerical examples demonstrate the efficiency and accuracy of the proposed methodology. We also discuss the potential of our ideas for various applications such as reflection seismology.


title: A Global Theory of Conformal Finsler Geometry

abstract: The aim of the present paper is to establish a global theory of conformal changes in Finsler geometry. Under this change, we obtain the relationships between the most important geometric objects associated to $(M,L)$ and the corresponding objects associated to $(M,\tilde{L})$, $\widetilde{L}=e^{\sigma(x)} L$ being the Finsler conformal transformation. We have found explicit global expressions relating the two associated Cartan connections $\nabla$ and $\widetilde{\nabla}$, the two associated Berwald connections $D$ and $\widetilde{D}$ and the two associated Barthel connections $\Gamma$ and $\widetilde{\Gamma}$. The relationships between the corresponding curvature tensors have been also found. The relations thus obtained lead in turn to several interesting results. Among the results obtained, is a characterization of conformal changes, a characterization of homotheties, some conformal invariants and conformal $\sigma$-invariants. In addition, several useful identities have been found. Our global theory of conformal Finsler geometry is established within the Pull-back approach, making simultaneous use of the Klein-Grifone approach. This has been done via certain links we have found between both approaches (This shows that these two approaches to global Finsler geometry are not alternatives but rather complementary). Although our treatment is entirely global, the local expressions of the obtained results, when calculated, coincide with the existing classical local results.


title: Fundamentals of media theory

abstract: Media theory is a new branch of discrete applied mathematics originally developed in mid-nineties to deal with stochastic evolution of preference relations in political science and mathematical psychology. The theory focuses on a particular semigroup of `messages' acting as transformations of a set of `states', called a `medium', whose axioms are both strong and natural. The term `medium' stems from a particular application in which the transformations formalize the effects, on an individual, of `tokens' of information delivered by the environment--that is, the `medium'. However, many different types of examples can be found, ranging from learning spaces to hypercube computers, suggesting that this concept is ubiquitous. The paper presents very basic concepts and results of media theory and is aimed at a wide body of researchers in discrete applied mathematics.


title: An invariant of tangle cobordisms via subquotients of arc rings

abstract: We construct an explicit categorification of the action of tangles on tensor powers of the fundamental representation of quantum sl(2).


title: Topological $\epsilon$-factors

abstract: The article describes a purely topological counterpart of the $\epsilon$-factorization of constants in the functional equations (which is a key ingredient in the interplay between L-functions and classical automorphic forms). We consider the determinant of the cohomology of a constructible sheaf F on a real analytic manifold X (or a bit more precise object, which is $R\Gamma(X,F)$ seen as a homotopy point of the K-theory spectrum), and show that it can be "computed" by means of a "spectral" version of the Dubson-Kashiwara formula, which yields, in particular, the $\epsilon$-factorization format. This picture may lead to a better understanding of a recent work of Bloch-Deligne-Esnault on the determinant of the period matrix.


title: A note on recurrent random walks

abstract: For any recurrent random walk (S_n)_{n>0} on R, there are increasing sequences (g_n)_{n>0} converging to infinity for which (g_n S_n)_{n>0} has at least one finite accumulation point. For one class of random walks, we give a criterion on (g_n)_{n>0} and the distribution of S_1 determining the set of accumulation points for (g_n S_n)_{n>0}. This extends, with a simpler proof, a result of K.L. Chung and P. Erdos. Finally, for recurrent, symmetric random walks, we give a criterion characterizing the increasing sequences (g_n)_{n>0} of positive numbers for which liminf g_n|S_n|=0.


title: One dimensional diffusion in an asymmetric random environment

abstract: According to a theorem of S. Schumacher, for a diffusion X in an environment determined by a stable process that belongs to an appropriate class and has index a, it holds that X_t/(log t)^a converges in distribution, as t goes to infinity, to a random variable having an explicit description in terms of the environment. We compute the density of this random variable in the case the stable process is spectrally one-sided. This computation extends a result of H. Kesten and quantifies the bias that the asymmetry of the environment causes to the behavior of the diffusion.


title: Curved Flats, Pluriharmonic Maps and Constant Curvature Immersions into Pseudo-Riemannian Space Forms

abstract: We study two aspects of the loop group formulation for isometric immersions with flat normal bundle of space forms. The first aspect is to examine the loop group maps along different ranges of the loop parameter. This leads to various equivalences between global isometric immersion problems among different space forms and pseudo-Riemannian space forms. As a corollary, we obtain a non-immersibility theorem for spheres into certain pseudo-Riemannian spheres and hyperbolic spaces. The second aspect pursued is to clarify the relationship between the loop group formulation of isometric immersions of space forms and that of pluriharmonic maps into symmetric spaces. We show that the objects in the first class are, in the real analytic case, extended pluriharmonic maps into certain symmetric spaces which satisfy an extra reality condition along a totally real submanifold. We show how to construct such pluriharmonic maps for general symmetric spaces from curved flats, using a generalised DPW method.


title: Algebra with indefinite involution and its representation in Krein space

abstract: It is often inevitable to introduce an indefinite-metric space in quantum field theory, for example, which is explained for the sake of the manifestly covariant quantization of the electromagnetic field. We show two more evident mathematical reasons why such indefinite metric appears. The first idea is the replacement of involution on an algebra. For an algebra ${\cal A}$ with an involution $\sdag$ such that a representation of the involutive algebra $({\cal A},\sdag)$ brings an indefinite-metric space, we replace the involution $\sdag$ with a new one * on ${\cal A}$ such that $({\cal A},*)$ is a well-known involutive algebra acting on a representation space with positive definite metric. This explains that non-isomorphic two involutive algebras are transformed each other by the replacement of involution. The second is that a covariant (Hilbert space) representation $({\cal H},\pi,U)$ of an involutive dynamical system $(({\cal A},*),{\bf Z}_{2},\alpha)$ brings a Krein space representation of the algebra ${\cal A}$ with the replaced involution. For example, we show representations of abnormal CCRs, CARs and pseudo-Cuntz algebras arising from those of standard CCRs, CARs and Cuntz algebras.


title: Calabi-Yau coverings over some singular varieties and new Calabi-Yau 3-folds with Picard number one

abstract: This note is a report on the observation that some singular varieties admit Calabi--Yau coverings. As an application, we construct 18 new Calabi--Yau 3-folds with Picard number one that have some interesting properties.


title: Stationary bands in three-dimensional Minkowski space

abstract: In this paper we consider a free boundary problem in the 3-dimensional Lorentz-Minkowski space $\l^3$ which deals spacelike surfaces whose mean curvature is a linear function of the time coordinate and the boundary moves in a given support plane. We study spacelike surfaces that project one-to-one into a strip of the support and that locally are critical points of a certain energy functional involving the area of the surface, a timelike potential and preserves the volume enclosed by the surface. We call these surfaces stationary bands. We establish existence of such surfaces and we investigate their qualitative properties. Finally, we give estimates of its size in terms of the initial data.


title: An explicit formula for Pi(x) in the form of a sum over the Non-trivial zeros of the Riemann Zeta function

abstract: In this paper we discuss a method to express the Prime counting function as a "sum" over Non-trivial zeros of Riemann Zeta function, using techniques from Analytic Number Theory, also we apply our results to the sum over primes of any function Sum(p<x) f(p)


title: On deformation types of real elliptic surfaces

abstract: We study real elliptic surfaces and trigonal curves (over a base of an arbitrary genus) and their equivariant deformations. We calculate the real Tate-Shafarevich group and reduce the deformation classification to the combinatorics of a real version of Grothendieck's {\it dessins d'enfants}. As a consequence, we obtain an explicit description of the deformation classes of $M$- and $(M-1)$- (i.e., maximal and submaximal in the sense of the Smith inequality) curves and surfaces.


title: Centralizers of C^1-generic diffeomorphisms

abstract: On the one hand, we prove that the spaces of C^1 symplectomorphisms and of C^1 volume-preserving diffeomorphisms both contain residual subsets of diffeomorphisms whose centralizers are trivial. On the other hand, we show that the space of C^1 diffeomorphisms of the circle and a non-empty open set of C^1 diffeomorphisms of the two-sphere contain dense subsets of diffeomorphisms whose centralizer has a sub-group isomorphic to R.


title: Extension of CR maps of positive codimension

abstract: We study the holomorphic extendability of smooth CR maps between real analytic strictly pseudoconvex hypersurfaces in complex affine spaces of different dimensions.


title: An infinitude of proofs of the infinitude of primes

abstract: In this note we generalise a method of Perott to give new proofs that there are infinitely many prime numbers.


title: On the context-freeness of the set of words containing overlaps

abstract: We show that the set of binary words containing overlaps is not unambiguously context-free and that the set of ternary words containing overlaps is not context-free. We also show that the set of binary words that are not subwords of the Thue-Morse word is not unambiguously context-free.


title: A sharp vanishing theorem for line bundles on K3 or Enriques surfaces

abstract: Let $L$ be a line bundle on a K3 or Enriques surface. We give a vanishing theorem for $H^1(L)$ that, unlike most vanishing theorems, gives necessary and sufficient geometrical conditions for the vanishing. This result is essential in our study of Brill-Noether theory of curves on Enriques surfaces (reference [KL1]) and of Enriques-Fano threefolds (reference [KLM]).


title: Galois orders

abstract: We introduce and develop a structure theory of a new class of noncommutative rings - Galois orders, that generalize classical orders in noncommutative rings. Galois orders realized as certain subrings of invariants in skew semigroup rings. This class of rings contains many classical objects, in particular the Generalized Weyl algebras, the universal enveloping algebra of the general linear Lie algebra and certain rings of invariant differential operators on algebraic varieties.


title: Anisotropic quaternion Carnot groups: geometric analysis and Green's function

abstract: We construct examples of 2-step Carnot groups related to quaternions and study their fine structure and geometric properties. This involves the Hamiltonian formalism, which is used to obtain explicit equations for geodesics and the computation of the number of geodesics joining two different points on these groups. We able to find the explicit lengths of geodesics. We present the fundamental solutions of the Heat and sub-Laplace equations for these anisotropic groups and obtain some estimates for them, which may be useful.


title: Fibers of characters in Harish-Chandra categories

abstract: We solve the problem of extension of characters of commutative subalgebras in associative (noncommutative) algebras for a class of subrings (Galois orders) in skew group rings. These results can be viewed as a noncommutative analogue of liftings of prime ideals in the case of integral extensions of commutative rings. The proposed approach can be applied to the representation theory of many infinite dimensional algebras including universal enveloping algebras of reductive Lie algebras, Yangians and finite $W$-algebras. In particular, we develop a theory of Gelfand-Tsetlin modules for $\gl_n$. Besides classification results we characterize their categories in the generic case extending the classical results on $\gl_2$.


title: Berry-Esseen for Free Random Variables

abstract: An analogue of the Berry-Esseen inequality is proved for the speed of convergence of free additive convolutions of bounded probability measures. The obtained rate of convergence is of the order n^{-1/2}, the same as in the classical case. An example with binomial measures shows that this estimate cannot be improved without imposing further restrictions on convolved measures.


title: Discrete Logarithms in Generalized Jacobians

abstract: D\'ech\`ene has proposed generalized Jacobians as a source of groups for public-key cryptosystems based on the hardness of the Discrete Logarithm Problem (DLP). Her specific proposal gives rise to a group isomorphic to the semidirect product of an elliptic curve and a multiplicative group of a finite field. We explain why her proposal has no advantages over simply taking the direct product of groups. We then argue that generalized Jacobians offer poorer security and efficiency than standard Jacobians.


title: Quaternion $H$-type group and differential operator $\Delta_{\lambda}$

abstract: We study the relations between the quaternion $H$-type group and the boundary of the unit ball on two dimensional quaternionic space. The orthogonal projection of the space of square integrable functions defined on quaternion $H$-type group into its subspace of boundary values of $q$-holomorphic functions is consider. The precise form of Cauchy-Szego kernel and the orthogonal projection operator is obtained. The fundamental solution for the operator $\Delta_{\lambda}$ is found.


title: On superconvergence of sums of free random variables

abstract: This paper derives sufficient conditions for superconvergence of sums of bounded free random variables and provides an estimate for the rate of superconvergence.


title: A survey of random processes with reinforcement

abstract: The models surveyed include generalized P\'{o}lya urns, reinforced random walks, interacting urn models, and continuous reinforced processes. Emphasis is on methods and results, with sketches provided of some proofs. Applications are discussed in statistics, biology, economics and a number of other areas.


title: Composition operators within singly generated composition C*-algebras

abstract: Let $\phi$ be a linear-fractional self map of the open unit disk, not an automorphism, such that $\phi(\zeta)=\eta$ for distinct points $\zeta,\eta$ in the unit circle. We consider the question of which composition operators lie in the unital C*-algebra generated by the composition operator $C_{\phi}$ and the ideal of compact operators, acting on the Hardy space $H^2$.


title: Old and New Morry Spaces via Heat Kernel Bounds

abstract: Given $p\in [1,\infty)$ and $\lambda\in (0,n)$, we study Morrey space ${\rm L}^{p,\lambda}({\mathbb R}^n)$ of all locally integrable complex-valued functions $f$ on ${\mathbb R}^n$ such that for every open Euclidean ball $B\subset{\mathbb R}^n$ with radius $r_B$ there are numbers $C=C(f)$ (depending on $f$) and $c=c(f,B)$ (relying upon $f$ and $B$) satisfying $$ r_B^{-\lambda}\int_{B}|f(x)-c|^pdx\le C $$ and derive old and new, two essentially different cases arising from either choosing $c=f_B=|B|^{-1}\int_{B}f(y)dy$ or replacing $c$ by $P_{t_B}(x)=\int_{t_B}p_{t_B}(x,y)f(y)dy$ -- where $t_B$ is scaled to $r_B$ and $p_t(\cdot,\cdot)$ is the kernel of the infinitesimal generator $L$ of an analytic semigroup $\{e^{-tL}\}_{t\ge0}$ on ${\rm L}^2({\mathbb R}^n)$. Consequently, we are led to simultaneously characterize the old and new Morrey spaces, but also to show that for a suitable operator $L$, the new Morrey space is equivalent to the old one.


title: Classes of Measures Generated by Capacities

abstract: We introduce classes of measures in the half-space $\mathbf{R}^{n+1}_+,$ generated by Riesz, or Bessel, or Besov capacities in $\mathbf{R}^n$, and give a geometric characterization as Carleson-type measures.


title: Partially Reflected Brownian Motion: A Stochastic Approach to Transport Phenomena

abstract: Transport phenomena are ubiquitous in nature and known to be important for various scientific domains. Examples can be found in physics, electrochemistry, heterogeneous catalysis, physiology, etc. To obtain new information about diffusive or Laplacian transport towards a semi-permeable or resistive interface, one can study the random trajectories of diffusing particles modeled, in a first approximation, by the partially reflected Brownian motion. This stochastic process turns out to be a convenient mathematical foundation for discrete, semi-continuous and continuous theoretical descriptions of diffusive transport. This paper presents an overview of these topics with a special emphasis on the close relation between stochastic processes with partial reflections and Laplacian transport phenomena. We give selected examples of these phenomena followed by a brief introduction to the partially reflected Brownian motion and related probabilistic topics (e.g., local time process and spread harmonic measure). A particular attention is paid to the use of the Dirichlet-to-Neumann operator. Some practical consequences and further perspectives are discussed.


title: Regularity and Normality of the Secant Variety to a Projective Curve

abstract: For a smooth curve of genus $g$ embedded by a line bundle of degree at least $2g+3$ we show that the ideal sheaf of the secant variety is 5-regular. This bound is sharp with respect to both the degree of the embedding and the bound on the regularity. Further, we show that the secant variety is projectively normal for the generic embedding of degree at least $2g+3$. We also give a conjectural description of the resolutions of the ideals of higher secant varieties.


title: Geometry of a pair of second-order ODEs and Euclidean spaces

abstract: This paper investigates the relationship between a system of differential equations and the underlying geometry associated with it. The geometry of a surface determines shortest paths, or geodesics connecting nearby points, which are defined as the solutions to a pair of second-order differential equations: the Euler-Lagrange equations of the arclength action. We ask when the converse holds, that is, when solutions to a system of differential equations reveals an underlying geometry. Specifically, when may the solutions to a pair of second-order ordinary differential equations be reparameterized so as to give, locally, the geodesics of a Euclidean space? Our approach is based upon Cartan's method of equivalence. In the second part of the paper, the equivalence problem is solved for a generic pair of second-order ODEs revealing the existence of 24 invariant functions.


title: Discrete torsion, symmetric products and the Hilbert scheme

abstract: We combine our results on symmetric products and second quantization with our description of discrete torsion in order to explain the ring structure of the cohomology of the Hilbert scheme of points on a K3 surface. This is achieved in terms of an essentially unique symmetric group Frobenius algebra twisted by a specific discrete torsion. This twist is realized in form of a tensor product with a twisted group algebra that is defined by a discrete torsion cocycle. We furthermore show that the form of this cocycle is dictated by the geometry of the Hilbert scheme as a resolution of singularities of the symmetric product.


title: Fermionic forms and quiver varieties

abstract: We prove a formula relating the fermionic forms and the Poincare polynomials of quiver varieties associated to a finite quiver. Applied to quivers of type ADE, our result implies a version of the fermionic conjecture of Lusztig.


title: On a notion of maps between orbifolds, II. homotopy and CW-complex

abstract: This is the second of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we develop a basic machinery for studying homotopy classes of such maps. It contains two parts: (1) the construction of a set of algebraic invariants -- the homotopy groups, and (2) an analog of CW-complex theory. As a corollary of this machinery, the classical Whitehead theorem which asserts that a weak homotopy equivalence is a homotopy equivalence is extended to the orbifold category.


title: On the convergence of periodic Navier-Stokes flows

abstract: The 3D spatially periodic Navier-Stokes equation is posed as a nonlinear matrix differential equation. When the flow is assumed to be a time series having unknown wavenumber coefficients, then the matrix in this periodic Navier-Stokes matrix differential equation becomes a time series of matrices. Posed in this way, any flow's unknown wavenumber coefficients can be solved for recursively beginning with the zeroth-order coefficient representing any initial flow. When all matrices in the time series commute, a flow's unknown coefficients also represent the Taylor expansion of a stable matrix exponential product operating on the initial flow. This paper argues that a solution's coefficients converge to these bounded Taylor coefficients when these bounds are evaluated with a general solution's noncommutative matrices.


title: Indefinite Sturm-Liouville operators $ (\sgn x) (- \frac{d^2}{dx^2} +q(x))$ with finite-zone potentials

abstract: The indefinite Sturm-Liouville operator $A = (\sgn x)(-d^2/dx^2+q(x))$ is studied. It is proved that similarity of $A$ to a selfadjoint operator is equivalent to integral estimates of Cauchy integrals. Also similarity conditions in terms of Weyl functions are given. For operators with a finite-zone potential, the components $\Aess$ and $\Adisc$ of $A$ corresponding to essential and discrete spectrums, respectively, are considered. A criterion of similarity of $\Aess$ to a selfadjoint operator is given in terms of Weyl functions for the Sturm-Liouville operator $-d^2/dx^2+q(x)$ with a finite-zone potential $q$. Jordan structure of the operator $\Adisc$ is described. We present an example of the operator $A = (\sgn x)(-d^2/dx^2+q(x))$ such that $A$ is nondefinitizable and $A$ is similar to a normal operator.


title: Untangling the SVD's of Random Matrix Sample Paths

abstract: Singular Value Decomposition (SVD) is a powerful tool for multivariate analysis. However, independent computation of the SVD for each sample taken from a bandlimited matrix random process will result in singular value sample paths whose tangled evolution is not consistent with the structure of the underlying random process. The solution to this problem is developed as follows: (i) a SVD with relaxed identification conditions is proposed, (ii) an approach is formulated for computing the SVD's of two adjacent matrices in the sample path with the objective of maximizing the correlation between corresponding singular vectors of the two matrices, and (iii) an efficient algorithm is given for untangling the singular value sample paths. The algorithm gives a unique solution conditioned on the seed matrix's SVD. Its effectiveness is demonstrated on bandlimited Gaussian random-matrix sample paths. Results are shown to be consistent with those predicted by random-matrix theory. A primary application of the algorithm is in multiple-antenna radio systems. The benefit promised by using SVD untangling in these systems is that the fading rate of the channel's SVD factors is greatly reduced so that the performance of channel estimation, channel feedback and channel prediction can be increased.


title: Geodesics and almost geodesic cycles in random regular graphs

abstract: A geodesic in a graph G is a shortest path between two vertices of G. For a specific function e(n) of n, we define an almost geodesic cycle C in G to be a cycle in which for every two vertices u and v in C, the distance d_G(u,v) is at least d_C(u,v)-e(n). Let f(n) be any function tending to infinity with n. We consider a random d-regular graph on n vertices. We show that almost all pairs of vertices belong to an almost geodesic cycle C with e(n)= \log_{d-1} \log_{d-1} n +f(n) and |C|=2\log_{d-1}n+O(f(n)). Along the way, we obtain results on near-geodesic paths. We also give the limiting distribution of the number of geodesics between two random vertices in this random graph.


title: Moment bounds for the Smoluchowski equation and their consequences

abstract: We prove uniform bounds on moments X_a = \sum_{m}{m^a f_m(x,t)} of the Smoluchowski coagulation equations with diffusion, valid in any dimension. If the collision propensities \alpha(n,m) of mass n and mass m particles grow more slowly than (n+m)(d(n) + d(m)), and the diffusion rate d(\cdot) is non-increasing and satisfies m^{-b_1} \leq d(m) \leq m^{-b_2} for some b_1 and b_2 satisfying 0 \leq b_2 < b_1 < \infty, then any weak solution satisfies X_a \in L^{\infty}(\mathbb{R}^d \times [0,T]) \cap L^1(\mathbb{R}^d \times [0,T]) for every a \in \mathbb{N} and T \in (0,\infty), (provided that certain moments of the initial data are finite). As a consequence, we infer that these conditions are sufficient to ensure uniqueness of a weak solution and its conservation of mass.


title: On tolerances representable as $R \circ R^-$

abstract: We give examples and counterexamples concerning varieties in which every tolerance is representable as $R \circ R^-$, for some reflexive and admissible relation $R$.


title: Large data local solutions for the derivative NLS equation

abstract: We consider the Derivative NLS equation with general quadratic nonlinearities. In \cite{be2} the first author has proved a sharp small data local well-posedness result in Sobolev spaces with a decay structure at infinity in dimension $n = 2$. Here we prove a similar result for large initial data in all dimensions $n \geq 2$.


title: Fundamental Group in nonzero characteristic

abstract: A proof of freeness of the commutator subgroup of the fundamental group of a smooth irreducible affine curve over a countable algebraically closed field of nonzero characteristic. A description of the abelianizations of the fundamental groups of smooth affine curves over an algebracially closed field of nonzero characteristic is also given.


title: Constructive updating/downdating of oblique projectors: a generalization of the Gram-Schmidt process

abstract: A generalization of the Gram-Schmidt procedure is achieved by providing equations for updating and downdating oblique projectors. The work is motivated by the problem of adaptive signal representation outside the orthogonal basis setting. The proposed techniques are shown to be relevant to the problem of discriminating signals produced by different phenomena when the order of the signal model needs to be adjusted.


title: Bitableaux bases for Garsia-Haiman modules of hollow type

abstract: Garsia-Haiman modules are quotient rings in variables X_n={x_1, x_2, ..., x_n} and Y_n=y_1, y_2, ..., y_n} that generalize the quotient ring C[X_n]/I, where I is the ideal generated by the elementary symmetric polynomials e_j(X_n) for 1 <= j <= n. A bitableaux basis for the Garsia-Haiman modules of hollow type is constructed. Applications of this basis to representation theory and other related polynomial spaces are considered.


title: Spectral multipliers for Schroedinger operators with Poeschl-Teller potential

abstract: We prove a sharp Mihlin-Hormander multiplier theorem for Schroedinger operators $H$ on $\R^n$. The method, which allows us to deal with general potentials, improves Hebisch's method relying on heat kernel estimates for positive potentials. Our result applies to, in particular, the negative Poeschl-Teller potential $V(x)= -\nu(\nu+1) \sech^2 x $, $\nu\in \N$, for which $H$ has a resonance at zero.


title: Perverse Bundles and Calogero-Moser Spaces

abstract: We present a simple description of moduli spaces of torsion-free D-modules (``D-bundles'') on general smooth complex curves X, generalizing the identification of the space of ideals in the Weyl algebra with Calogero-Moser quiver varieties. Namely, we show that the moduli of D-bundles form twisted cotangent bundles to stacks of torsion sheaves on X, answering a question of Ginzburg. The corresponding (untwisted) cotangent bundles are identified with moduli of ``perverse vector bundles'' on T^*X, which contain as open subsets the moduli of framed torsion-free sheaves (the Hilbert schemes (T^*X)^[n] in the rank one case). The proof is based on the description of the derived category of D-modules on X by a noncommutative version of the Beilinson transform on the projective line.


title: Nori's construction and the second Abel-Jacobi map

abstract: The first purpose of this note is to give a partial exposition of the $l$-adic realization of Nori's category of motives. The second one is to give a simple description of the second $l$-adic Abel-Jacobi map.


title: On the existence and compactness of a two-dimensional resonant system of conservation laws

abstract: We prove the existence of a weak solution to a two-dimensional resonant 3x3 system of conservation laws with BV initial data. Due to possible resonance (coinciding eigenvalues), spatial BV estimates are in general not available. Instead, we use an entropy dissipation bound combined with the time translation invariance property of the system to prove existence based on a two-dimensional compensated compactness argument adapted from the paper of Tadmor, Rascle and Bagnerini, "Compensated compactness for 2D conservation laws", [JHDEs 2(3):697--712, 2005]. Existence is proved under the assumption that the flux functions in the two directions are linearly independent.