title: Remarks on Inheritance Systems

abstract: We try a conceptual analysis of inheritance diagrams, first in abstract terms, and then compare to "normality" and the "small/big sets" of preferential and related reasoning. The main ideas are about nodes as truth values and information sources, truth comparison by paths, accessibility or relevance of information by paths, relative normality, and prototypical reasoning.


title: CR-Tractors and the Fefferman Space

abstract: We develop the natural tractor calculi associated to conformal and CR structures as a fundamental tool for the study of Fefferman's construction of a canonical conformal class on the total space of a circle bundle over a non--degenerate CR manifold of hypersurface type. In particular we construct and treat the basic objects that relate the natural bundles and natural operators on the two spaces. This is illustrated with several applications: We prove that a number of conformally invariant overdetermined systems admit non--trivial solutions on any Fefferman space. We show that the space of conformal Killing fields on a Fefferman space naturally decomposes into a direct sum of subspaces, which admit an interpretaion as solutions of certain CR invariant PDE's. Finally we explicitly analyze the relation between tractor calculus on a CR manifold and the complexified conformal tractor calculus on its Fefferman space, thus obtaining a powerful computational tool for working with the Fefferman construction.


title: A holonomy characterisation of Fefferman spaces

abstract: We prove that Fefferman spaces, associated to non--degenerate CR structures of hypersurface type, are characterised, up to local conformal isometry, by the existence of a parallel orthogonal complex structure on the standard tractor bundle. This condition can be equivalently expressed in terms of conformal holonomy. Extracting from this picture the essential consequences at the level of tensor bundles yields an improved, conformally invariant analogue of Sparling's characterisation of Fefferman spaces.


title: On examples of difference operators for $\{0,1\}$-valued functions over finite sets

abstract: Recently V.I.Arnold have formulated a geometrical concept of monads and apply it to the study of difference operators on the sets of $\{0,1\}$-valued sequences of length $n$. In the present note we show particular examples of these monads and indicate one question arising here.


title: Hecke algebras of finite type are cellular

abstract: Let $\cH$ be the one-parameter Hecke algebra associated to a finite Weyl group $W$, defined over a ground ring in which ``bad'' primes for $W$ are invertible. Using deep properties of the Kazhdan--Lusztig basis of $\cH$ and Lusztig's $\ba$-function, we show that $\cH$ has a natural cellular structure in the sense of Graham and Lehrer. Thus, we obtain a general theory of ``Specht modules'' for Hecke algebras of finite type. Previously, a general cellular structure was only known to exist in types $A_n$ and $B_n$.


title: Classification of Z^2-graded modules of the intermediate series over a Lie algebra of Block type

abstract: Let L be the Lie algebra of Block type over a field F of characteristic zero, defined with basis {L_{i,j} | i,j\in Z} and relations [L_{i,j},L_{k,l}]=((j+1)k-(l+1)i)L_{i+k,j+l}. Then L is Z^2-graded. In this paper, Z^2-graded L-modules of the intermediate series are classified.


title: Rognes's theory of Galois extensions and the continuous action of G_n on E_n

abstract: Let us take for granted that L_{K(n)}S^0 --> E_n is some kind of a G_n-Galois extension. Of course, this is in the setting of continuous G_n-spectra. How much structure does this continuous G-Galois extension have? How much structure does one want to build into this notion to obtain useful conclusions? If the author's conjecture that ``E_n/I, for a cofinal collection of I's, is a discrete G_n-symmetric ring spectrum" is true, what additional structure does this give the continuous G_n-Galois extension? Is it useful or merely beautiful? This paper is an exploration of how to answer these questions. This preprint arose as a letter to John Rognes, whom he thanks for a helpful conversation in Rosendal. This paper was written before John's preprints (the initial version and the final one) on Galois extensions were available.


title: Quantization of generalized Virasoro-like algebras

abstract: In a recent paper by the authors, Lie bialgebras structures of generalized Virasoro-like type were considered. In this paper, the explicit formula of the quantization of generalized Virasoro-like algebras is presented.


title: K-theoretic Donaldson invariants via instanton counting

abstract: In this paper we study the holomorphic Euler characteristics of determinant line bundles on moduli spaces of rank 2 semistable sheaves on an algebraic surface X, which can be viewed as $K$-theoretic versions of the Donaldson invariants. In particular, if X is a smooth projective toric surface, we determine these invariants and their wallcrossing in terms of the K-theoretic version of the Nekrasov partition function (called 5-dimensional supersymmetric Yang-Mills theory compactified on a circle in the physics literature). Using the results of math.AG/0606180 we give an explicit generating function for the wallcrossing of these invariants in terms of elliptic functions and modular forms.


title: Linear polarization constant of $\R^n$

abstract: The present work contributes to the determination of the $n$-th linear polarization constant $c_n(H)$ of an $n$-dimensional real Hilbert space $H$. We provide some new lower bounds on the value of $\sup_{\|y\|=1}| x_1,y >... x_n,y |$, where $x_1, ..., x_n$ are unit vectors in $H$. In particular, the results improve an earlier estimate of Marcus. However, the intriguing conjecture $c_n(H)=n^{n/2}$ remains open.


title: A geometric estimate on the norm of product of functionals

abstract: The open problem of determining the exact value of the $n$-th linear polarization constant $c_n$ of $\R^n$ has received considerable attention over the past few years. This paper makes a contribution to the subject by providing a new lower bound on the value of $\sup_{\|{\bf{y}}\|=1}| {\bf{x}}_1,{\bf{y}} ... {\bf{x}}_n,{\bf{y}} |$, where ${\bf{x}}_1, ... ,{\bf{x}}_n$ are unit vectors in $\R^n$. The new estimate is given in terms of the eigenvalues of the Gram matrix $[ {\bf{x}}_i,{\bf{x}}_j ]$ and improves upon earlier estimates of this kind. However, the intriguing conjecture $c_n=n^{n/2}$ remains open.


title: Minimal Canonical Comprehensive Groebner Systems

abstract: This is the continuation of Montes' paper "On the canonical discussion of polynomial systems with parameters". In this paper we define the Minimal Canonical Comprehensive Groebner System (MCCGS) of a parametric ideal and fix under which hypothesis it exists and is computable. An algorithm to obtain a canonical description of the segments of the MCCGS is given, completing so the whole MCCGS algorithm (implemented in Maple). We show its high utility for applications, like automatic theorem proving and discovering, and compare it with other existing methods. A way to detect a counterexample is outlined, although the high number of tests done give evidence of the existence of the MCCGS.


title: Does waste-recycling really improve Metropolis-Hastings Monte Carlo algorithm?

abstract: The Metropolis Hastings algorithm and its multi-proposal extensions are aimed at the computation of the expectation $<\pi,f>$ of a function $f$ under a probability measure $\pi$ difficult to simulate. They consist in constructing by an appropriate acceptation/rejection procedure a Markov chain $(X_k,k\geq 0)$ with transition matrix $P$ such that $\pi$ is reversible with respect to $P$ and in estimating $<\pi,f>$ by the empirical mean $I_n(f)=\inv{n}\sum_{k=1}^n f(X_k)$. The waste-recycling Monte Carlo (WR) algorithm introduced by physicists is a modification of the Metropolis-Hastings algorithm, which makes use of all the proposals in the empirical mean, whereas the standard Metropolis-Hastings algorithm only uses the accepted proposals. In this paper, we extend the WR algorithm into a general control variate technique and exhibit the optimal choice of the control variate in terms of asymptotic variance. We also give an example which shows that in contradiction to the intuition of physicists, the WR algorithm can have an asymptotic variance larger than the one of the Metropolis-Hastings algorithm. However, in the particular case of the Metropolis-Hastings algorithm called Boltzmann algorithm, we prove that the WR algorithm is asymptotically better than the Metropolis-Hastings algorithm.


title: Spin Hecke algebras of finite and affine types

abstract: We introduce the spin Hecke algebra, which is a q-deformation of the spin symmetric group algebra, and its affine generalization. We establish an algebra isomorphism which relates our spin (affine) Hecke algebras to the (affine) Hecke-Clifford algebras of Olshanski and Jones-Nazarov. Relation between the spin (affine) Hecke algebra and a nonstandard presentation of the usual (affine) Hecke algebra is displayed, and the notion of covering (affine) Hecke algebra is introduced to provide a link between these algebras. Various algebraic structures for the spin (affine) Hecke algebra are established.


title: On quasi-Hopf smash products and twisted tensor products of quasialgebras

abstract: We analyze some relations between quasi-Hopf smash products and certain twisted tensor products of quasialgebras. Along the way we obtain also some results of independent interest, such as a duality theorem for finite dimensional quasi-Hopf algebras and a universal property for generalized diagonal crossed products.


title: Quillen's adjunction theorem for derived functors, revisited

abstract: The aim of this paper is to present a very simple original, purely formal, proof of Quillen's adjunction theorem for derived functors, and of some more recent variations and generalizations of this theorem. This is obtained by proving an abstract adjunction theorem for "absolute" derived functors. In contrast with all known proofs, the explicit construction of the derived functors is not used.


title: Liaison addition and the structure of a Gorenstein liaison class

abstract: We study the concept of liaison addition for codimension two subschemes of an arithmetically Gorenstein projective scheme. We show how it relates to liaison and biliaison classes of subschemes and use it to investigate the structure of Gorenstein liaison equivalence classes, extending the known theory for complete intersection liaison of codimension two subschemes. In particular, we show that on the non-singular quadric threefold in projective 4-space, every non-licci ACM curve can be obtained from a single line by successive liaison additions with lines and CI-biliaisons.


title: Differentiating maps into L^1 and the geometry of BV functions

abstract: This is one of a series of papers examining the interplay between differentiation theory for Lipschitz maps, X-->V, and bi-Lipschitz nonembeddability, where X is a metric measure space and V is a Banach space. Here, we consider the case V=L^1 where differentiability fails. We establish another kind of differentiability for certain X, including R^n and H, the Heisenberg group with its Carnot-Cartheodory metric. It follows that H does not bi-Lipschitz embed into L^1, as conjectured by J. Lee and A. Naor. When combined with their work, this provides a natural counter example to the Goemans-Linial conjecture in theoretical computer science; the first such counterexample was found by Khot-Vishnoi. A key ingredient in the proof of our main theorem is a new connection between Lipschitz maps to L^1 and functions of bounded variation, which permits us to exploit recent work on the structure of BV functions on the Heisenberg group.


title: Non-commutative Two Dimensional Modular Symbol

abstract: We define iteration over a two dimensional manifold as analog of iteration over a path defined by Chen. We give several applications. Some of them include constructions of non-abelian modular symbol for $SL(3,\Z)$ and for $SL_{2/K}$, where $K$ is a real quadratic field. We construct the latter as generating series of iterated integrals over a two-dimensional manifold of Hilbert modular forms. We give a motivic interpretation of this non-abelian modular symbol. Other applications give motivic interpretations of certain iterated completed Dedekind zeta functions.


title: A cluster expansion formula ($A_n$ case)

abstract: We consider the Ptolemy cluster algebras, which are cluster algebras of finite type $A$ (with non-trivial coefficients) that have been described by Fomin and Zelevinsky using triangulations of a regular polygon. Given any seed $\zS$ in a Ptolemy cluster algebra, we present a formula for the expansion of an arbitrary cluster variable in terms of the cluster variables of the seed $\zS$. Our formula is given in a combinatorial way, using paths on a triangulation of the polygon that corresponds to the seed $\zS$.


title: Sparsity and Incoherence in Compressive Sampling

abstract: We consider the problem of reconstructing a sparse signal $x^0\in\R^n$ from a limited number of linear measurements. Given $m$ randomly selected samples of $U x^0$, where $U$ is an orthonormal matrix, we show that $\ell_1$ minimization recovers $x^0$ exactly when the number of measurements exceeds \[ m\geq \mathrm{Const}\cdot\mu^2(U)\cdot S\cdot\log n, \] where $S$ is the number of nonzero components in $x^0$, and $\mu$ is the largest entry in $U$ properly normalized: $\mu(U) = \sqrt{n} \cdot \max_{k,j} |U_{k,j}|$. The smaller $\mu$, the fewer samples needed. The result holds for ``most'' sparse signals $x^0$ supported on a fixed (but arbitrary) set $T$. Given $T$, if the sign of $x^0$ for each nonzero entry on $T$ and the observed values of $Ux^0$ are drawn at random, the signal is recovered with overwhelming probability. Moreover, there is a sense in which this is nearly optimal since any method succeeding with the same probability would require just about this many samples.


title: Regularity of Leray-Hopf solutions to Navier-Stokes equations (I)-Critical interior regularity in weak spaces

abstract: We consider the interior regularity of Leray-Hopf solutions to Navier-Stokes equations on critical case L^2_w(0,T;L^\infty(R^3)). Particularly, an open problem proposed in [KK] was solved.


title: Regularity of Leray-Hopf solutions to Navier-Stokes equations (II)-Blow up rate with small L^2(R^3) data

abstract: An upper bound of blow up rate for the Navier-Stokes equations with small data in L^2(R^3) is obtained.


title: A Recurrence Method for Generalizing Known Scientific Results

abstract: A great number of articles widen a known scientific result $P(a)$ (such as: a theorem, an inequality, or a math/physics/chemical etc. proposition or formula) by a simple recurrence procedure and using, in the proof, the proposition $P(a)$ itself. We present, as examples, the generalizations of H\"older's inequality, of Minkovski's inequality, of Tchebychev's inequality, and of the Theorem of Menelaus respectively.


title: A real-analytic Jordan curve cannot bound infinitely many relative minima of area

abstract: Let C be a real-analytic Jordan curve in $R^3$. Then C cannot bound infinitely many disk-type minimal surfaces which provide relative minima of area.


title: Borsuk-Ulam Theorems for Complements of Arrangements

abstract: In combinatorial problems it is sometimes possible to define a $G$-equivariant mapping from a space $X$ of configurations of a system to a Euclidean space $\mathbb{R}^m$ for which a coincidence of the image of this mapping with an arrangement $\mathcal{A}$ of linear subspaces insures a desired set of linear conditions on a configuration. Borsuk-Ulam type theorems give conditions under which no $G$-equivariant mapping of $X$ to the complement of the arrangement exist. In this paper, precise conditions are presented which lead to such theorems through a spectral sequence argument. We introduce a blow up of an arrangement whose complement has particularly nice cohomology making such arguments possible. Examples are presented that show that these conditions are best possible.


title: Tutte polynomial, subgraphs, orientations and sandpile model: new connections via embeddings

abstract: For any graph G with n edges, the spanning subgraphs and the orientations of G are both counted by the evaluation T_G(2,2)=2^n of its Tutte polynomial. We define a bijection $\Phi$ between spanning subgraphs and orientations and explore its enumerative consequences regarding the Tutte polynomial. The bijection $\Phi$ is closely related to a recent characterization of the Tutte polynomial relying on a combinatorial embedding of the graph G, that is, on a choice of cyclic order of the edges around each vertex. Among other results, we obtain a combinatorial interpretation for each of the evaluations T_G(i,j), 0\leq i,j \leq 2 of the Tutte polynomial in terms of orientations. The strength of our approach is to derive all these interpretations by specializing the bijection $\Phi$ in various ways. For instance, we obtain a bijection between the connected subgraphs of G (counted by T_G(1,2)) and the root-connected orientations. We also obtain a bijection between the forests (counted by T_G(2,1)) and outdegree sequences which specializes into a bijection between spanning trees (counted by T_G(1,1)) and root-connected outdegree sequences. We also define a bijection between spanning trees and recurrent configurations of the sandpile model. Combining our results we obtain a bijection between recurrent configurations and root-connected outdegree sequences which leaves the configurations at level 0 unchanged.


title: Multiplying Modular Forms

abstract: The space of elliptic modular forms of fixed weight and level can be identfied with a space of intertwining operators, from a holomorphic discrete series representation of SL2(R) to a space of automorphic forms. Moreover, multiplying elliptic modular forms corresponds to a branching problem involving tensor products of holomorphic discrete series representations. In this paper, we explicitly connect the ring structure on spaces of modular forms with branching problems in the representation theory of real semisimple Lie groups. Furthermore, we construct a family of intertwining operators from discrete series representations into tensor products of other discrete series representations. This collection of intertwining operators provides the well-known ring structure on spaces of holomorphic modular forms. An analytic subtlety prevents this collection of intertwining operators from directly yielding a ring structure on some spaces of modular forms. We discuss discrete decomposability, and its role in constructing ring structures.


title: Further Remarks on multiple p-adic L-function of two variables

abstract: This object of this paper to give several properties and applications of multiple p-adic q-L-function of two variables.


title: Higher cohomology of the pluricanonical bundle is not deformation invariant

abstract: In this paper, we compute the dimensions of the 1st and 2nd cohomology groups of all the pluricanonical bundles for Hirzebruch surfaces, and the dimensions of the 1st and 2nd cohomology groups of the second pluricanonical bundles for a blow-up of a projective plane along finite many distinct points. Both of them give examples showing that the higher cohomology of the pluricanonical bundle is not deformation invariant.


title: Functional equations for Mahler measures of genus-one curves

abstract: In this paper we will establish functional equations for Mahler measures of families of genus-one two-variable polynomials. These families were previously studied by Beauville, and their Mahler measures were considered by Boyd, Rodriguez-Villegas, Bertin, Zagier, and Stienstra. Our functional equations allow us to prove identities between Mahler measures that were conjectured by Boyd. As a corollary, we also establish some new transformations for hypergeometric functions.


title: Toward resolution of singularities over a field of positive characteristic (The Idealistic Filtration Program) Part II. Basic invariants associated to the idealistic filtration and their properties

abstract: This is Part II of the series of our papers under the title "Toward resolution of singularities over a field of positive characteristic (The Idealistic Filtration Program)". See http://arxiv.org/abs/math/0607009 for Part I.


title: On some Quotients Modulo Nonreductive Groups

abstract: We show the existence of geometric quotients for the spaces of certain classes of morphisms of sheaves on projective space, modulo the canonical action of the group of automorphisms.


title: The cohomology of real De Concini-Procesi models of Coxeter type

abstract: We study the rational cohomology groups of the real De Concini-Procesi model corresponding to a finite Coxeter group, generalizing the type-A case of the moduli space of stable genus 0 curves with marked points. We compute the Betti numbers in the exceptional types, and give formulae for them in types B and D. We give a generating-function formula for the characters of the representations of a Coxeter group of type B on the rational cohomology groups of the corresponding real De Concini-Procesi model, and deduce the multiplicities of one-dimensional characters in the representations, and a formula for the Euler character. We also give a moduli space interpretation of this type-B variety, and hence show that the action of the Coxeter group extends to a slightly larger group.


title: Dirichlet forms on hyperfinite II_1 factor

abstract: Based on the structure of the hyperfinite $II_1$ factor, we study its Dirichlet forms which can be obtained from Dirichlet forms on $M_{2^n}(\mathbb{C})$


title: Holomorphic Sobolev spaces associated to compact symmetric spaces

abstract: Using Gutzmer's formula, due to Lassalle, we characterise the image of Sobolev spaces under the Segal-Bargmann transform on compact Riemannian symmetric spaces.


title: Compact Complex Surfaces and Constant Scalar Curvature K\"ahler Metrics

abstract: In this article, I prove the following statement: Every compact complex surface with even first Betti number is deformation equivalent to one which admits an extremal K\"ahler metric. In fact, this extremal K\"ahler metric can even be taken to have constant scalar curvature in all but two cases: the deformation equivalence classes of the blow-up of $\p_2$ at one or two points. The explicit construction of compact complex surfaces with constant scalar curvature K\"ahler metrics in different deformation equivalence classes is given. The main tool repeatedly applied here is the gluing theorem of C. Arezzo and F. Pacard which states that the blow-up/resolution of a compact manifold/orbifold of discrete type, which admits cscK metrics, still admits cscK metrics.


title: Commutation properties of the form sum of positive, symmetric operators

abstract: A new construction for the form sum of positive, selfadjoint operators is given in this paper. The situation is a bit more general, because our aim is to add positive, symmetric operators. With the help of the used method, some commutation properties of the form sum extension are observed.


title: Positive forms on Banach spaces

abstract: The first representation theorem establishes a correspondence between positive, self-adjoint operators and closed, positive forms on Hilbert spaces. The aim of this paper is to show that some of the results remain true if the underlying space is a reflexive Banach space. In particular, the construction of the Friedrichs extension and the form sum of positive operators can be carried over to this case.


title: On Fuglede's conjecture and the existence of universal spectra

abstract: Recent methods developed by Tao \cite{tao}, Kolountzakis and Matolcsi \cite{nspec} have led to counterexamples to Fugelde's Spectral Set Conjecture in both directions. Namely, in $\RR^5$ Tao produced a spectral set which is not a tile, while Kolountzakis and Matolcsi showed an example of a non-spectral tile. In search of lower dimensional non-spectral tiles we were led to investigate the Universal Spectrum Conjecture (USC) of Lagarias and Wang \cite{lagwang}. In particular, we prove here that the USC and the ``tile $\to$ spectral'' direction of Fuglede's conjecture are equivalent in any dimensions. Also, we show by an example that the sufficient condition of Lagarias and Szab\'o \cite{lagszab} for the existence of universal spectra is not necessary. This fact causes considerable difficulties in producing lower dimensional examples of tiles which have no spectra. We overcome these difficulties by invoking some ideas of R\'ev\'esz and Farkas \cite{revfark}, and obtain non-spectral tiles in $\RR^3$. Fuglede's conjecture and the Universal Spectrum Conjecture remains open in 1 and 2 dimensions. The 1 dimensional case is closely related to a number theoretical conjecture on tilings by Coven and Meyerowitz \cite{covmey}.


title: On the real linear polarization constant problem

abstract: The present paper deals with lower bounds for the norm of products of linear forms. It has been proved by J. Arias-de-Reyna \cite{ARIAS}, that %for ${\mathbb C}^n$, the so-called $n^{\rm th}$ linear polarization constant $c_n({\mathbb C}^n)$ is $n^{n/2}$, for arbitrary $n\in\NN$. The same value for $c_n({\mathbb R}^n)$ is only conjectured. In a recent work A. Pappas and S. R{\'e}v{\'e}sz prove that $c_n({\mathbb R}^n)=n^{n/2}$ for $n \le 5$. Moreover, they show that if the linear forms are given as $f_j(x)=< x,a_j>$, for some unit vectors $a_j$ $(1\leq j\leq n)$, then the product of the $f_j$'s attains at least the value $n^{-n/2}$ at the normalized signed sum of the vectors $\{a_j\}_{j=1}^{n}$ having maximal length. Thus they asked whether this phenomenon remains true for arbitrary $n\in{\mathbb N}$. We show that for vector systems $\{a_j\}_{j=1}^{n}$ close to an orthonormal system, the Pappas-R{\'e}v{\'e}sz estimate does hold true. Furthermore, among these vector systems the only system giving $n^{-n/2}$ as the norm of the product is the orthonormal system. On the other hand, for arbitrary vector systems we answer the question of A. Pappas and S. R{\'e}v{\'e}sz in the negative when $n\in {\mathbb N}$ is large enough. We also discuss various further examples and counterexamples that may be instructive for further research towards the determination of $c_n(\RR^n)$.


title: On Spectra of Starlike Graphs

abstract: In the present paper we show that the spectrum of an arbitrary starlike graph can be completely determined via separating functions $\rho_t$ (see \cite{NazRoi,RedRoi,Red3}). This fact helps to get in an easy way several results for the spectra of starlike graphs.


title: Vertices of Mather's Beta function, II

abstract: If the $\beta$-function of a time-periodic Lagrangian on a manifold $M$ has a vertex at a $k$-irrational homology class $h$, then $2k \leq \dim M$. Furthermore if $\dim M =2$ $h$ is rational.


title: Relativistic Diffusion in G\"odel's Universe

abstract: K. G\"odel [G1] discovered his celebrated solution to Einstein equations in 1949. Additional contributions were made by Kundt [K] and Hawking-Ellis ([H-E],5.7). On the other hand, a general Lorentz invariant operator, associated to the so-called "relativistic diffusion'', and making sense in any Lorentz manifold, was introduced by Franchi-Le Jan in [F-LJ]. Here is purposed a first study of the relativistic diffusion in the framework of G\"odel's universe, which contains matter.


title: Binary Labelings for Plane Quadrangulations and their Relatives

abstract: Motivated by the bijection between Schnyder labelings of a plane triangulation and partitions of its inner edges into three trees, we look for binary labelings for quadrangulations (whose edges can be partitioned into two trees). Our labeling resembles many of the properties of Schnyder's one for triangulations: Apart from being in bijection with tree decompositions, paths in these trees allow to define the regions of a vertex such that counting faces in them yields an algorithm for embedding the quadrangulation, in this case on a~2-book. Furthermore, as Schnyder labelings have been extended to 3-connected plane graphs, we are able to extend our labeling from quadrangulations to a larger class of 2-connected bipartite graphs. Finally, we propose a binary labeling for Laman graphs.


title: On a lower bound for the dimension of non-abelian theta functions of positive genus

abstract: In this paper we study the sections of the canonical line bundle on the moduli space of parabolic semistable vector bundles with trivial determinant and fixed parabolic structure of type $\underline{\lambda}=(\lambda_1,..., \lambda_s)$ (with each weight $\lambda_i$ in $P_{\ell}(\SL(r))$) on a smooth projective irreducible curve over $\C$ of genus $g \geq 1$. We give a nontrivial lower bound for the dimension of the sections (that are called generalized parabolic SL(r)-theta functions) when $\sum_{1}^{s} \lambda_i$ is in the root lattice.


title: Cyclic Cohomology and Higher Rank Lattices

abstract: We give a new proof of the absence of non-trivial idempotents in the group ring of torsion-free cocompact lattices in SL(n,C). It is based on the following procedure. We lift the class of the trace in the cyclic cohomology of the group ring to the crossed product of the smooth functions on the Furstenberg boundary of SL(n,C) with the lattice. We then perform a Dirac-dual Dirac method on smooth algebras in analytic cyclic cohomology. This is based on a form of equivariant Bott periodicity under compact Lie groups in analytic cyclic cohomology. We make crucial use of the Baum-Connes conjecture for solvable Lie groups. There is also a chapter in which we prove that the class of the unit in the K-theory of the crossed product of the continuous functions on the visibility boundary of the symmetric space of a real semisimple Lie group with torsion-free discrete subgroups of that Lie group is not torsion if the lattice is not cocompact. In case the lattice is cocompact, we show that the class of unit is torsion if and only if the rank of the Lie group is the same as that of a maximal compact subgroup.


title: 2D Navier-Stokes equation in Besov spaces of negative order

abstract: The Navier--Stokes equation in the bidimensional torus is considered, with initial velocity and forcing term in suitable Besov spaces. Results of local existence and uniqueness are proven; under further restriction on the indexes defining the Besov speces involved, we prove global existence.


title: Strict weak mixing of some C*-dynamical systems based on free shifts

abstract: We define a stronger property than unique ergodicity with respect to the fixed-point subalgebra previously investigated by Abadie and Dykema. Such a property is denoted as F-strict weak mixing (F stands for the Markov projection onto the fixed-point operator system). Then we show that the free shifts on the reduced C*-algebras of RD-groups, including the free group on infinitely many generators, and amalgamated free product C*-algebras, considered by Abadie and Dykema, are all strictly weak mixing and not merely uniquely ergodic.


title: Modified logarithmic Sobolev inequalities on R

abstract: We provide a sufficient condition for a measure on the real line to satisfy a modified logarithmic Sobolev inequality, thus extending the criterion of Bobkov and G\"{o}tze. Under mild assumptions the condition is also necessary. Concentration inequalities are derived. This completes the picture given in recent contributions by Gentil, Guillin and Miclo.


title: On Construction and Some Properties of Self-Similar Functions in $L_2[0,1]$

abstract: The consrtuction of self-similar fuctions in $L_2[0,1]$ is described. Some properties of such funtions (boundness of variation, continuity etc.) is obtained.


title: Energy Scattering for a Klein-Gordon Equation with a Cubic Convolution

abstract: In this paper, we study the global well-posedness and scattering problem in the energy space for both focusing and defocusing the Klein-Gordon-Hartree equation in the spatial dimension $d \geq 3$. The main difficulties are the absence of an interaction Morawetz-type estimate and of a Lorentz invariance which enable one to control the momentum. To compensate, we utilize the strategy derived from concentration compactness ideas, which was first introduced by Kenig and Merle \cite{KM} to the scattering problem. Furthermore, employing technique from \cite{Pa2}, we consider a virial-type identity in the direction orthogonal to the momentum vector so as to control the momentum in the defocusing case. While in the focusing case, we show that the scattering holds when the initial data $(u_0,u_1)$ is radial, and the energy $E(u_0,u_1)<E(\mathcal{W},0)$ and $\|\nabla u_0\|_2^2+\|u_0\|_2^2<\|\nabla \mathcal{W}\|_2^2+\|\mathcal{W}\|_2^2$, where $\mathcal{W}$ is the ground state.


title: Rational Symplectic Field Theory over Z_2 for exact Lagrangian cobordisms

abstract: We construct a version of rational Symplectic Field Theory for pairs $(X,L)$, where $X$ is an exact symplectic manifold, where $L\subset X$ is an exact Lagrangian submanifold with components subdivided into $k$ subsets, and where both $X$ and $L$ have cylindrical ends. The theory associates to $(X,L)$ a $\Z$-graded chain complex of vector spaces over $\Z_2$, filtered with $k$ filtration levels. The corresponding $k$-level spectral sequence is invariant under deformations of $(X,L)$ and has the following property: if $(X,L)$ is obtained by joining a negative end of a pair $(X',L')$ to a positive end of a pair $(X'',L'')$, then there are natural morphisms from the spectral sequences of $(X',L')$ and of $(X'',L'')$ to the spectral sequence of $(X,L)$. As an application, we show that if $\Lambda\subset Y$ is a Legendrian submanifold of a contact manifold then the spectral sequences associated to $(Y\times\R,\Lambda_k^s\times\R)$, where $Y\times\R$ is the symplectization of $Y$ and where $\Lambda_k^s\subset Y$ is the Legendrian submanifold consisting of $s$ parallel copies of $\Lambda$ subdivided into $k$ subsets, give Legendrian isotopy invariants of $\Lambda$.


title: Linear stability of projected canonical curves with applications to the slope of fibred surfaces

abstract: Let f :S\to B be a non locally trivial fibred surface. We prove a lower bound for the slope of f depending increasingly from the relative irregularity of f and the Clifford index of the general fibres.


title: Meromorphic Extendibility and the Argument Principle

abstract: Let U be the open unit disc in C. Given a continuous function g: bU --> C-{0} denote by W(g) the winding number of g around the origin. We prove that a continuous function f: bU --> C extends meromorphically through U if and only if there is a nonnegative integer N such that W(Pf+Q) is greater than or equal to -N for every pair P,Q of polynomials such that Pf+Q has no zero on bU. If this is the case then the meromorphic extension of f has at most N poles in U, counting multiplicity.


title: Noncommutative resolutions and rational singularities

abstract: Let k be an algebraically closed field of characteristic zero. We show that the centre of a homologically homogeneous, finitely generated k-algebra has rational singularities. In particular if a finitely generated normal commutative k-algebra has a noncommutative crepant resolution, as introduced by the second author, then it has rational singularities.


title: Inverse-Closedness of a Banach Algebra of Integral Operators on the Heisenberg Group

abstract: Let $\mathbb{H}$ be the general, reduced Heisenberg group. Our main result establishes the inverse-closedness of a class of integral operators acting on $L^{p}(\mathbb{H})$, given by the off-diagonal decay of the kernel. As a consequence of this result, we show that if $\alpha_{1}I+S_{f}$, where $S_{f}$ is the operator given by convolution with $f$, $f\in L^{1}_{v}(\mathbb{H})$, is invertible in $\B(L^{p}(\mathbb{H}))$, then (\alpha_{1}I+S_{f})^{-1}=\alpha_{2}I+S_{g}$, and $g\in L^{1}_{v}(\mathbb{H})$. We prove analogous results for twisted convolution operators and apply the latter results to a class of Weyl pseudodifferential operators. We briefly discuss relevance to mobile communications.


title: Exponential Martingales and Time integrals of Brownian Motion

abstract: We find a simple expression for the probability density of $\int \exp (B_s - s/2) ds$ in terms of its distribution function and the distribution function for the time integral of $\exp (B_s + s/2)$. The relation is obtained with a change of measure argument where expectations over events determined by the time integral are replaced by expectations over the entire probability space. We develop precise information concerning the lower tail probabilities for these random variables as well as for time integrals of geometric Brownian motion with arbitrary constant drift. In particular, $E[ \exp\big(\theta / \int \exp (B_s)ds\big) ]$ is finite iff $\theta < 2$. We present a new formula for the price of an Asian call option.


title: One-Factor Term Structure without Forward Rates

abstract: We construct a no-arbitrage model of bond prices where the long bond is used as a numeraire. We develop bond prices and their dynamics without developing any model for the spot rate or forward rates. The model is arbitrage free and all nominal interest rates remain positive in the model. We give examples where our model does not have a spot rate; other examples include both spot and forward rates.


title: Rubber rolling over a sphere

abstract: ``Rubber'' coated rolling bodies satisfy a no-twist in addition to the no slip satisfied by ``marble'' coated bodies. Rubber rolling has an interesting differential geometric appeal because the geodesic curvatures of the curves on the surfaces at the corresponding points are equal. The associated distribution in the 5 dimensional configuration space has 2-3-5 growth (these distributions were first studied by Cartan; he showed that the maximal symmetries occurs for rubber rolling of spheres with 3:1 diameters ratio and materialize the exceptionalgroup G_2. The 2-3-5 nonholonomic geometries are classified in a companion paper via Cartan's equivalence method. Rubber rolling of a convex body over a sphere defines a generalized Chaplygin system with SO(3) symmetry group, total space Q = SO(3) X S^2 that can be reduced to an almost Hamiltonian system in T^*S^2 with a non-closed 2-form \omega_{NH}. In this paper we present some basic results on this reduction and as an example we discuss the sphere-sphere problem. In this example the 2-form is conformally symplectic so the reduced system becomes Hamiltonian after a coordinate dependent change of time. In particular there is an invariant measure. Using sphero-conical coordinates we verify the results by Borisov and Mamaev that the system is integrable for a ball over a plane and a rubber ball with twice the radius of a fixed internal ball.


title: Morphic and principal-ideal group rings

abstract: We observe that the class of left and right artinian left and right morphic rings agrees with the class of artinian principal ideal rings. For $R$ an artinian principal ideal ring and $G$ a group, we characterize when $RG$ is a principal ideal ring; for finite groups $G$, this characterizes when $RG$ is a left and right morphic ring. This extends work of Passman, Sehgal and Fisher in the case when $R$ is a field, and work of Chen, Li, and Zhou on morphic group rings.


title: Measure Functions for Frames

abstract: This paper addresses the natural question: ``How should frames be compared?'' We answer this question by quantifying the overcompleteness of all frames with the same index set. We introduce the concept of a frame measure function: a function which maps each frame to a continuous function. The comparison of these functions induces an equivalence and partial order that allows for a meaningful comparison of frames indexed by the same set. We define the ultrafilter measure function, an explicit frame measure function that we show is contained both algebraically and topologically inside all frame measure functions. We explore additional properties of frame measure functions, showing that they are additive on a large class of supersets-- those that come from so called non-expansive frames. We apply our results to the Gabor setting, computing the frame measure function of Gabor frames and establishing a new result about supersets of Gabor frames.


title: A few remarks on periodic orbits for planar billiard tables

abstract: I announce a solution of the conjecture about the measure of periodic points for planar billiard tables. The theorem says that if $\Om\subset\R^2$ is a compact domain with piecewise $C^3$ boundary, then the set of periodic orbits for the billiard in $\Om$ has measure zero. Here I outline a proof. A complete version will appear elsewhere.


title: Computable exponential bounds for screened estimation and simulation

abstract: Suppose the expectation $E(F(X))$ is to be estimated by the empirical averages of the values of $F$ on independent and identically distributed samples $\{X_i\}$. A sampling rule called the "screened" estimator is introduced, and its performance is studied. When the mean $E(U(X))$ of a different function $U$ is known, the estimates are "screened," in that we only consider those which correspond to times when the empirical average of the $\{U(X_i)\}$ is sufficiently close to its known mean. As long as $U$ dominates $F$ appropriately, the screened estimates admit exponential error bounds, even when $F(X)$ is heavy-tailed. The main results are several nonasymptotic, explicit exponential bounds for the screened estimates. A geometric interpretation, in the spirit of Sanov's theorem, is given for the fact that the screened estimates always admit exponential error bounds, even if the standard estimates do not. And when they do, the screened estimates' error probability has a significantly better exponent. This implies that screening can be interpreted as a variance reduction technique. Our main mathematical tools come from large deviations techniques. The results are illustrated by a detailed simulation example.


title: The Lagrange inversion theorem in the smooth case

abstract: The authors study the classical Lagrange inversion theorem--an antecedent of the modern implicit function theorem--in the smooth case. Examples are given to show that the result is sharp.


title: Symmetric representation of the elements of finite groups

abstract: Many finite groups, including all finite non-abelian simple groups, can be symmetrically generated by involutions. In this paper we give an algorithm to symmetrically represent elements of finite groups and to transform symmetrically represented elements in terms of their permutation representation. In particular, we represent elements of the group $U_3(3) : 2$, where $U_3(3)$ is the projective special unitary group of $3 \times 3$ matrices with entries in the field $\mathbb{F}_3$, as a permutation on fourteen letters from the projective general linear group $PGL_2(7)$, followed by a word of length at most two in the fourteen involutory symmetric generators.


title: Embedded factor patterns for Deodhar elements in Kazhdan-Lusztig theory

abstract: The Kazhdan-Lusztig polynomials for finite Weyl groups arise in the geometry of Schubert varieties and representation theory. It was proved very soon after their introduction that they have nonnegative integer coefficients, but no completely combinatorial interpretation for them is known in general. Deodhar (1990) has given a framework for computing the Kazhdan-Lusztig polynomials, which generally involves recursion. We define embedded factor pattern avoidance for general Coxeter groups and use it to characterize when Deodhar's algorithm yields a simple combinatorial formula for the Kazhdan-Lusztig polynomials of finite Weyl groups. Equivalently, if $(W, S)$ is a Coxeter system for a finite Weyl group, we classify the elements $w \in W$ for which the Kazhdan-Lusztig basis element $C'_w$ can be written as a monomial of $C'_s$ where $s \in S$. This work generalizes results of Billey-Warrington (2001) which identified the Deodhar elements in type $A$ as 321-hexagon-avoiding permutations, and Fan-Green (1997) which identified the fully-tight Coxeter groups.


title: Hopf bifurcation of viscous shock wave solutions of compressible Navier-Stokes equations and MHD

abstract: Extending our previous results for artificial viscosity systems, we show, under suitable spectral hypotheses, that shock wave solutions of compressible Navier--Stokes (cNS) and magnetohydrodynamics (MHD) equations undergo Hopf bifurcation to nearby time-periodic solutions. The main new difficulty associated with physical viscosity and the corresponding absence of parabolic smoothing is the need to show that the difference between nonlinear and linearized solution operators is quadratically small in $H^s$ for data in $H^s$. We accomplish this by a novel energy estimate carried out in Lagrangian coordinates; interestingly, this estimate is false in Eulerian coordinates. At the same time, we greatly sharpen and simplify the analysis of the previous work.


title: A quadratic lower bound for subset sums

abstract: Let A be a finite nonempty subset of an additive abelian group G, and let \Sigma(A) denote the set of all group elements representable as a sum of some subset of A. We prove that |\Sigma(A)| >= |H| + 1/64 |A H|^2 where H is the stabilizer of \Sigma(A). Our result implies that \Sigma(A) = Z/nZ for every set A of units of Z/nZ with |A| >= 8 \sqrt{n}. This consequence was first proved by Erd\H{o}s and Heilbronn for n prime, and by Vu (with a weaker constant) for general n.


title: On the Submodularity of Influence in Social Networks

abstract: We prove and extend a conjecture of Kempe, Kleinberg, and Tardos (KKT) on the spread of influence in social networks. A social network can be represented by a directed graph where the nodes are individuals and the edges indicate a form of social relationship. A simple way to model the diffusion of ideas, innovative behavior, or ``word-of-mouth'' effects on such a graph is to consider an increasing process of ``infected'' (or active) nodes: each node becomes infected once an activation function of the set of its infected neighbors crosses a certain threshold value. Such a model was introduced by KKT in \cite{KeKlTa:03,KeKlTa:05} where the authors also impose several natural assumptions: the threshold values are (uniformly) random; and the activation functions are monotone and submodular. For an initial set of active nodes $S$, let $\sigma(S)$ denote the expected number of active nodes at termination. Here we prove a conjecture of KKT: we show that the function $\sigma(S)$ is submodular under the assumptions above. We prove the same result for the expected value of any monotone, submodular function of the set of active nodes at termination.


title: Graded Betti numbers and $h$-vectors of level modules

abstract: We study $h$-vectors and graded Betti numbers of level modules up to multiplication by a rational number. Assuming a conjecture on the possible graded Betti numbers of Cohen-Macaulay modules we get a description of the possible $h$-vectors of level modules up to multiplication by a rational number. We also determine, again up to multiplication by a rational number, the cancellable $h$-vectors and the $h$-vectors of level modules with the weak Lefschetz property. Furthermore, we prove that level modules of codimension three satisfy the upper bound of the Multiplicity conjecture of Herzog, Huneke and Srinivasan, and that the lower bound holds if the module, in addition, has the weak Lefschetz property.


title: Attraction time for strongly reinforced walks

abstract: We consider a class of strongly edge-reinforced random walks, where the corresponding reinforcement weight function is nondecreasing. It is known, from Limic and Tarr\`{e}s [Ann. Probab. (2007), to appear], that the attracting edge emerges with probability 1 whenever the underlying graph is locally bounded. We study the asymptotic behavior of the tail distribution of the (random) time of attraction. In particular, we obtain exact (up to a multiplicative constant) asymptotics if the underlying graph has two edges. Next, we show some extensions in the setting of finite graphs, and infinite graphs with bounded degree. As a corollary, we obtain the fact that if the reinforcement weight has the form $w(k)=k^{\rho}$, $\rho>1$, then (universally over finite graphs) the expected time to attraction is infinite if and only if $\rho\leq1+\frac{1+\sqrt{5}}{2}$.


title: The numbers of periodic orbits of holomorphic mappings hidden at fixed points

abstract: Let $\Delta ^{2}$ be a ball in the complex vector space $\mathbb{C}^{2}$ centered at the origin, let $f:\Delta ^{2}\to \mathbb{C}^{2}$ be a holomorphic mapping$,$ with $f(0)=0$, and let $M$ be a positive integer. If the origin 0 is an isolated fixed point of the $M$ th iteration $f^{M}$ of $f,$ then one can define the number $\mathcal{O}_{M}(f,0)$ of periodic orbits of $f$ with period $M$ hidden at the fixed point 0, which has the meaning: any holomorphic mapping $g:\Delta ^{2}\to \mathbb{C}^{2}$ sufficiently close to $f$ in a neighborhood of the origin has exactly $% \mathcal{O}_{M}(f,0)$ distinct periodic orbits with period $M$ near the origin, provided that all fixed points of $g^{M}$ near the origin are all simple. It is known that $\mathcal{O}_{M}(f,0)\geq 1$ iff the linear part of $f$ at the origin has a periodic point of period $M.$ This paper will continue to study the number $\mathcal{O}_{M}(f,0)$. We are interested in the condition for the linear part of $f$ at the origin such that $\mathcal{O}_{M}(f,0)\geq 2.$ For a $2\times 2$ matrix $A$ that is arbitrarily given, the goal of this paper is to give a necessary and sufficient condition for $A$,$ $such that $% \mathcal{O}_{M}(f,0)\geq 2$ for all holomorphic mappings $f:\Delta ^{2}\to \mathbb{C}^{2}$ such that $f(0)=0,$ $Df(0)=A$ and that the origin 0 is an isolated fixed point of $f^{M}.$


title: Combinatorial complexity in o-minimal geometry

abstract: In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of $n$ definable sets belonging to some fixed definable family of sets in an o-minimal structure. This generalizes the combinatorial parts of similar bounds known in the case of semi-algebraic and semi-Pfaffian sets, and as a result vastly increases the applicability of results on combinatorial and topological complexity of arrangements studied in discrete and computational geometry. As a sample application, we extend a Ramsey-type theorem due to Alon et al., originally proved for semi-algebraic sets of fixed description complexity to this more general setting.


title: The affine bundle theorem in synthetic differential geometry of jet bundles

abstract: In our [Higher-order preconnections in synthetic differential geometry of jet bundles, Beitr\"{a}ge zur Algebra und Geometrie, 45 (2004), 677-696] we have established the affine bundle theorem in the synthetic approach to jet bundles in terms of infinitesimal spaces Dⁿ's. In our succeeding [Synthetic differential geometry of higher-order total differentials, to appear in Cahiers de Topologie et G\'{e}om\'{e}trie Diff\'{e}rentielle Cat\'{e}goriques] we have introduced another synthetic approach to jet bundles in terms of infinitesimal spaces D_{n}'s, and have compared it with the former approach both in the general microlinear setting and in the finite-dimensional setting. However our comparison in the finite-dimensional setting was incomplete, for our use of dimension counting techniques has tacitly assumed that jet bundles in terms of Dⁿ's and D_{n}'s are vector bundles, which is not the case unless the given bundle is already a vector bundle. The principal objective in this paper is to establish the affine bundle theorem in our second synthetic approach to jet bundles and then to compare not merely the jet bundles based on both approaches but the affine bundles constructed as a whole both in the general microlinear setting and in the finite-dimensional setting. This completes our comparsion between the two approaches in the finite-dimensional setting.


title: Erlang's loss function and a property of the exponential function

abstract: We show that a concavity property of the exponential function is a direct consequence of the convexity of the continued Erlang loss function.


title: The Lie algebra of the group of bisections

abstract: Groupoids provide a more appropriate framework for differential geometry than principal bundles. Synthetic differential geometry is the avant-garde branch of differential geometry, in which nilpotent infinitesimals are available in abundance. The principal objective in this paper is to show within our favorite framework of synthetic differential geometry that the tangent space of the group of bisections of a microlinear groupoid at its identity is naturally a Lie algebra. We give essentially distinct two proofs for its Jacobi identity.


title: Root numbers of elliptic curves in residue characteristic 2

abstract: To determine the global root number of an elliptic curve defined over a number field, one needs to understand all the local root numbers. These have been classified except at places above 2, and in this paper we attempt to complete the classification. At places above 2, we express the local root numbers in terms of norm residue symbols (resp. root numbers of explicit 1-dimensional characters) in case when wild inertia acts through a cyclic (resp. quaternionic) quotient.


title: Witten Genus and String Complete Intersections

abstract: In this note, we prove that the Witten genus of nonsingular string complete intersections in product of complex projective spaces vanishes. Our result generalizes a known result of Landweber and Stong (cf. [HBJ]).


title: A Class of Recursive Sets

abstract: In this article one builds a class of recursive sets, one establishes properties of these sets, and one proposes applications.


title: Plancherel-Rotach Asymptotics for Stieltjes-Wigert Orthogonal Polynomials with Complex Scaling

abstract: In this work we study the Plancherel-Rotach type asymptotics for Stieltjes-Wigert orthogonal polynomials with complex scaling. The main term of the asymptotics contains Ramanujan function $A_{q}(z)$ for the scaling parameter on the vertical line $\Re(s)=2$, while the main term of the asymptotics involves the theta functions for the scaling parameter in the strip $0<\Re(s)<2$. In the latter case the number theoretical property of the scaling parameter completely determines the order of the error term. $ $ These asymptotic formulas may provide some insights to some new random matrix model and also add a new link between special functions and number theory.


title: Plancherel-Rotach Asymptotics for $q$-Laguerre Orthogonal Polynomials with Complex Scaling

abstract: In this work we study the Plancherel-Rotach type asymptotics for $q$-Laguerre orthogonal polynomials with complex scaling . The main term of the asymptotics contains Ramanujan function $A_{q}(z)$ for the scaling parameter on the vertical line $\Re(s)=2$, while the main term of the asymptotics involves the theta function for the scaling parameter in the strip $0<\Re(s)<2$. In the latter case the number theoretical property of the scaling parameter completely determines the order of the error term. $ $These asymptotic formulas may provide insights to some new random matrix model and add a new link between special functions and number theory.


title: Plancherel-Rotach Asymptotics for Ismail-Masson Orthogonal Polynomials with Complex Scaling

abstract: In this work we study the Plancherel-Rotach type asymptotics for Ismail-Masson orthogonal polynomials with complex scaling. The main term of the asymptotics contains Ramanujan function $A_{q}(z)$ for the scaling parameter on the vertical line $\Re(s)={1/2}$, while the main term of the asymptotics involves the theta functions for the scaling parameter in the strip $0<\Re(s)<{1/2}$. In the latter case the number theoretical property of the scaling parameter completely determines the order of the error term. $ $These asymptotic formulas may provide insights to some new random matrix models and also add a new link between special functions and number theory.


title: Notes on the Chern-character

abstract: Notes for some talks given at the seminar on characteristic classes at NTNU in autumn 2006. In the paper a proof of the existence of a Chern-character from complex K-theory to any cohomology theory with values in graded Q-algebras is given. The Chern-character respects the Adams and Steenrod operations.


title: The Polytope of Dual Degree Partitions

abstract: We determine the extreme points and facets of the convex hull of all dual degree partitions of simple graphs on $n$ vertices.


title: K-Nomial Coefficients

abstract: In this paper one extends the binomial and trinomial coefficients to the concept of 'k-nomial' coefficients, and one obtains some properties of these. As an application one generalizes Pascal's triangle.


title: Borel summability of Navier-Stokes equation in $\mathbb{R}^3$ and small time existence

abstract: We consider the Navier-Stokes initial value problem, $$v_t - \nabla v = -\mathcal{P} [ v \cdot \nabla v \right ] + f, v(x, 0) = v_0 (x), x \in \mathbb{R}^3 $$ where $\mathcal{P}$ is the Hodge-Projection to divergence free vector fields in the assumption that $ | f |_{\mu, \beta} < \infty $ and $| v_0 |_{\mu+2, \beta} < \infty$ for $\beta \ge 0, \mu > 3$, where $$ | {\hat f} (k) | = \sup_{k \in \mathbb{R}^3} e^{\beta |k|} (1+|k|)^\mu | {\hat f} (k) |$$ and ${\hat{f}} (k) = \mathcal{F} [f (\cdot)] (k) $ is the Fourier transform in $x$. By Borel summation methods we show that there exists a classical solution in the form $$ v(x, t) = v_0 + \int_0^\infty e^{-p/t} U(x, p) dp $$ $t\in\CC$, $ \Re \frac{1}{t} > \alpha$, and we estimate $\alpha$ in terms of $| {\hat v}_0 |_{\mu+2, \beta}$ and $ | {\hat f} |_{\mu, \beta}$. We show that $| {\hat v} (\cdot; t) |_{\mu+2, \beta} < \infty $. Existence and $t$-analyticity results are analogous to Sobolev spaces ones. An important feature of the present approach is that continuation of $v$ beyond $t=\alpha^{-1}$ becomes a growth rate question of $U(\cdot, p)$ as $ p \to \infty$, $U$ being is a known function. For now, our estimate is likely suboptimal. A second result is that we show Borel summability of $v$ for $v_0$ and $f$ analytic. In particular, we obtain Gevrey-1 asymptotics results: $ v \sim v_0 + \sum_{m=1}^\infty v_m t^m $, where $ |v_m | \le m! A_0 B_0^m$, with $A_0$ and $B_0$ are given in terms of to $v_0$ and $f$ and for small $t$, with $m(t)=\lfloor B_0^{-1}t^{-1}\rfloor$, $$ | v(x, t) - v_0 (x) - \sum_{m=1}^{m(t)} v_m (x) t^m | \le A_0 m(t)^{1/2} e^{-m(t)} $$


title: Cyclotomic Birman--Wenzl--Murakami algebras, I: Freeness and realization as tangle algebras

abstract: The cyclotomic Birman-Wenzl-Murakami algebras are quotients of the affine BMW algebras in which the affine generator satisfies a polynomial relation. We show that the cyclotomic BMW algebras are free modules over any (admissible, integral) ground ring, and that they are isomorphic to cyclotomic versions of the Kauffman tangle algebras


title: Cyclotomic Birman--Wenzl--Murakami algebras, II: Admissibility Relations and Freeness

abstract: The cyclotomic Birman-Wenzl-Murakami algebras are quotients of the affine BMW algebras in which the affine generator satisfies a polynomial relation. We study admissibility conditions on the ground ring for these algebras, and show that the algebras defined over an admissible integral ground ring $S$ are free $S$--modules and isomorphic to cyclotomic Kauffman tangle algebras. We also determine the representation theory in the generic semisimple case, obtain a recursive formula for the weights of the Markov trace, and give a sufficient condition for semisimplicity.


title: Robust Estimation and Wavelet Thresholding in Partial Linear Models

abstract: This paper is concerned with a semiparametric partially linear regression model with unknown regression coefficients, an unknown nonparametric function for the non-linear component, and unobservable Gaussian distributed random errors. We present a wavelet thresholding based estimation procedure to estimate the components of the partial linear model by establishing a connection between an $l_1$-penalty based wavelet estimator of the nonparametric component and Huber's M-estimation of a standard linear model with outliers. Some general results on the large sample properties of the estimates of both the parametric and the nonparametric part of the model are established. Simulations and a real example are used to illustrate the general results and to compare the proposed methodology with other methods available in the recent literature.


title: Another coboundary operator for differential forms with values in the Lie algebra bundle of a group bundle

abstract: Kock [Bull. Austral. Math. Soc., 25 (1982), 357-386] has considered differential forms with values in a group in a context where neighborhood relations are available. By doing so, he has made it clear where the so-called Maurer-Cartan formula should come from. In this paper, while we retain the classical definition of differential form with values in the Lie algebra of a group, we propose another definition of coboundary operator for the de Rham complex in a highly general microlinear context, in which neighborhood relations are no longer in view. Using this new definition of the coboundary operator, it is to be shown that the main result of Kock's paper mentioned above still prevails in our general microlinear context. Our considerations will be carried out within the framework of groupoids.


title: Explicit Shimura's conjecture for Sp4

abstract: Shimura's conjectire (1963) concerns the rationality of the generating series for Hecke operators for the symplectic group of genus g. This conjecture wes proved by Andrianov for arbitrary genus g. For genus g=4, we explicify the rational fraction in this conjecture. Using formulas for images of double cosets, we first compute the sum of the generating series under the Satake spherical map, which is a rational fraction with polynomial coefficients. Then we recover the coefficients of this fraction as elements of the Hecke algebra using polynomial representation of basic Hecke operators under spherical map. Numerical examples of these fractions for special choice of Satake parameters are given.


title: Hamilton-Perelman's Proof of the Poincar\'e Conjecture and the Geometrization Conjecture

abstract: In this paper, we provide an essentially self-contained and detailed account of the fundamental works of Hamilton and the recent breakthrough of Perelman on the Ricci flow and their application to the geometrization of three-manifolds. In particular, we give a detailed exposition of a complete proof of the Poincar\'e conjecture due to Hamilton and Perelman.


title: The random paving property for uniformly bounded matrices

abstract: This note presents a new proof of an important result due to Bourgain and Tzafriri that provides a partial solution to the Kadison--Singer problem. The result shows that every unit-norm matrix whose entries are relatively small in comparison with its dimension can be paved by a partition of constant size. That is, the coordinates can be partitioned into a constant number of blocks so that the restriction of the matrix to each block of coordinates has norm less than one half. The original proof of Bourgain and Tzafriri involves a long, delicate calculation. The new proof relies on the systematic use of symmetrization and (noncommutative) Khintchine inequalities to estimate the norms of some random matrices.


title: Extension of Levi-flat hypersurfaces past CR boundaries

abstract: Local conditions on boundaries of $C^\infty$ Levi-flat hypersurfaces, in case the boundary is a generic submanifold, are studied. For nontrivial real analytic boundaries we get an extension and uniqueness result, which forces the hypersurface to be real analytic. This allows us to classify all real analytic generic boundaries of Levi-flat hypersurfaces in terms of their normal coordinates. For the remaining case of generic real analytic boundary we get a weaker extension theorem. We find examples to show that these two extension results are optimal. Further, a class of nowhere minimal real analytic submanifolds is found, which is never the boundary of even a $C^2$ Levi-flat hypersurface.


title: On generalized symmetric powers and a generalization of Kolmogorov-Gelfand-Buchstaber-Rees theory

abstract: The classical Kolmogorov-Gelfand theorem gives an embedding of a (compact Hausdorff) topological space X into the linear space of all linear functionals C(X)^* on the algebra of continuous functions C(X). The image is specified by algebraic equations: f(ab)=f(a)f(b) for all functions a, b on X; that is, the image consists of all algebra homomorphisms of C(X) to numbers. Buchstaber and Rees have found that not only X, but all symmetric powers of X can be embedded into the space C(X)^*. The embedding is again given by algebraic equations, but more complicated. Algebra homomorphisms are replaced by the so-called "n-homomorphisms", the notion that can be traced back to Frobenius, but which explicitly appeared in Buchstaber and Rees's works on multivalued groups. We give a further natural generalization of Kolmogorov-Gelfand-Buchstaber-Rees theory. Symmetric powers of a space X or of an algebra A are replaced by certain "generalized symmetric powers" Sym^{p|q}(X) and S^{p|q}A, which we introduce, and n-homomorphisms, by the new notion of "p|q-homomorphisms". Important tool of our study is a certain "characteristic function" R(f,a,z), which we introduce for an arbitrary linear map of algebras f, and whose functional properties with respect to the variable z reflect algebraic properties of the map f.


title: The Holt-Klee condition for oriented matroids

abstract: Holt and Klee have recently shown that every (generic) LP orientation of the graph of a $d$-polytope satisfies a directed version of the $d$-connectivity property, i.e. there are $d$ internally disjoint directed paths from a unique source to a unique sink. We introduce two new classes HK and HK* of oriented matroids (OMs) by enforcing this property and its dual interpretation in terms of line shellings, respectively. Both classes contain all representable OMs by the Holt-Klee theorem. While we give a construction of an infinite family of non-HK* OMs, it is not clear whether there exists any non-HK OM. This leads to a fundamental question as to whether the Holt-Klee theorem can be proven combinatorially by using the OM axioms only. Finally, we give the complete classification of OM(4, 8), the OMs of rank 4 on 8-element ground set with respect to the HK, HK*, Euclidean and Shannon properties. Our classification shows that there exists no non-HK OM in this class.


title: Convergence of sequential Markov Chain Monte Carlo methods: I. Nonlinear flow of probability measures

abstract: Sequential Monte Carlo Samplers are a class of stochastic algorithms for Monte Carlo integral estimation w.r.t. probability distributions, which combine elements of Markov chain Monte Carlo methods and importance sampling/resampling schemes. We develop a stability analysis by functional inequalities for a nonlinear flow of probability measures describing the limit behavior of the algorithms as the number of particles tends to infinity. Stability results are derived both under global and local assumptions on the generator of the underlying Metropolis dynamics. This allows us to prove that the combined methods sometimes have good asymptotic stability properties in multimodal setups where traditional MCMC methods mix extremely slowly. For example, this holds for the mean field Ising model at all temperatures.


title: Option Pricing without Price Dynamics: A Probabilistic Approach

abstract: Employing probabilistic techniques we compute best possible upper and lower bounds on the price of an option on one or two assets with continuous piecewise linear payoff function based on prices of simple call options of possibly distinct maturities and the no-arbitrage condition, but without any assumption on the price dynamics of underlying assets. We show that the problem reduces to solving linear optimization problems that we explicitly characterize. We report numerical results that illustrate the effectiveness of the algorithms we develop.


title: Extension of the Bernoulli and Eulerian Polynomials of Higher Order and Vector Partition Function

abstract: Following the ideas of L. Carlitz we introduce a generalization of the Bernoulli and Eulerian polynomials of higher order to vectorial index and argument. These polynomials are used for computation of the vector partition function $W({\bf s},{\bf D})$, i.e., a number of integer solutions to a linear system ${\bf x} \ge 0, {\bf D x} = {\bf s}$. It is shown that $W({\bf s},{\bf D})$ can be expressed through the vector Bernoulli polynomials of higher order.


title: Hilbert modular forms and p-adic Hodge theory

abstract: We consider the p-adic Galois representation associated to a Hilbert modular form. We show the compatibility with the local Langlands correspondence at a place divising p under a certain assumption. We also prove the monodromy-weight conjecture. The prime-to-p case is established by Carayol.


title: Moduli of stable objects in a triangulated category

abstract: We introduce the concept of strict ample sequence in a fibered triangulated category and define the stability of the objects in a triangulated category. Then we construct the moduli space of (semi) stable objects by GIT construction.


title: A singular perturbation approach for choosing PageRank damping factor

abstract: The choice of the PageRank damping factor is not evident. The Google's choice for the value c=0.85 was a compromise between the true reflection of the Web structure and numerical efficiency. However, the Markov random walk on the original Web Graph does not reflect the importance of the pages because it absorbs in dead ends. Thus, the damping factor is needed not only for speeding up the computations but also for establishing a fair ranking of pages. In this paper, we propose new criteria for choosing the damping factor, based on the ergodic structure of the Web Graph and probability flows. Specifically, we require that the core component receives a fair share of the PageRank mass. Using singular perturbation approach we conclude that the value c=0.85 is too high and suggest that the damping factor should be chosen around 1/2. As a by-product, we describe the ergodic structure of the OUT component of the Web Graph in detail. Our analytical results are confirmed by experiments on two large samples of the Web Graph.


title: Tree morphisms, transducers, and integer sequences

abstract: The notion of transducer integer sequences is considered through a series of examples. By definition, transducer integer sequences are integer sequences produced, under a suitable interpretation, by finite automata encoding tree morphisms (length and prefix preserving transformations of words). Transducer integer sequences are related to the notion of self-similar groups and semigroups, as well as to the notion of automatic sequences.


title: A p-adic regulator map and finiteness results for arithmetic schemes

abstract: A main theme of the paper is a conjecture of Bloch-Kato on the image of $p$-adic regulator maps for a proper smooth variety $X$ over an algebraic number field $k$. The conjecture for a regulator map of particular degree and weight is related to finiteness of two arithmetic objects: One is the $p$-primary torsion part of the Chow group in codimension 2 of $X$. Another is an unramified cohomology group of $X$. As an application, for a regular model ${\mathscr X}$ of $X$ over the integer ring of $k$, we show an injectivity result on torsion of a cycle class map from the Chow group in codimension 2 of ${\mathscr X}$ to a new $p$-adic cohomology of ${\mathscr X}$ introduced by the second author, which is a candidate of the conjectural \'etale motivic cohomology with finite coefficients of Beilinson-Lichtenbaum.


title: The van Kampen obstruction and its relatives

abstract: We review a cochain-free treatment of the classical van Kampen obstruction \theta to embeddability of an n-polyhedron into R^{2n} and consider several analogues and generalizations of \theta, including an extraordinary lift of \theta which in the manifold case has been studied by J.-P. Dax. The following results are obtained. - The mod 2 reduction of \theta is incomplete, which answers a question of Sarkaria. - An odd-dimensional analogue of \theta is a complete obstruction to linkless embeddability (="intrinsic unlinking") of the given n-polyhedron in R^{2n+1}. - A "blown up" 1-parameter version of \theta is a universal type 1 invariant of singular knots, i.e. knots in R^3 with a finite number of rigid transverse double points. We use it to decide in simple homological terms when a given integer-valued type 1 invariant of singular knots admits an integral arrow diagram (=Polyak-Viro) formula. - Settling a problem of Yashchenko in the metastable range, we obtain that every PL manifold N, non-embeddable in a given R^m, m\ge 3(n+1)/2, contains a subset X such that no map N\to R^m sends X and N-X to disjoint sets. - We elaborate on McCrory's analysis of the Zeeman spectral sequence to geometrically characterize "k-co-connected and locally k-co-connected" polyhedra, which we embed in R^{2n-k} for k<(n-3)/2 extending the Penrose-Whitehead-Zeeman theorem.


title: Termination orders for 3-dimensional rewriting

abstract: This paper studies 3-polygraphs as a framework for rewriting on two-dimensional words. A translation of term rewriting systems into 3-polygraphs with explicit resource management is given, and the respective computational properties of each system are studied. Finally, a convergent 3-polygraph for the (commutative) theory of Z/2Z-vector spaces is given. In order to prove these results, it is explained how to craft a class of termination orders for 3-polygraphs.


title: Termination orders for 3-polygraphs

abstract: This note presents the first known class of termination orders for 3-polygraphs, together with an application.


title: The telescope approach to embeddability of compacta

abstract: We show that an n-dimensional compactum X embeds in R^m, where m>3(n+1)/2, if and only if X x X - \Delta admits an equivariant map to S^{m-1}. In particular, X embeds in R^{2n}, n>3, iff the top power of the (twisted) Euler class of the factor-exchanging involution on X x X - \Delta is trivial. Assuming that X quasi-embeds in R^{2n} (i.e. is an inverse limit of n-polyhedra, embeddable in R^{2n}), this is equivalent to the vanishing of an obstruction in lim^1 H^{2n-1}(K_i) over compact subsets K_i\subset X x X - \Delta. One application is that an n-dimensional ANR embeds in R^{2n} if it quasi-embeds in R^{2n-1}, n>3. We construct an ANR of dimension n>1, quasi-embeddable but not embeddable in R^{2n}, and an AR of dimension n>1, which does not "movably" embed in R^{2n}. These examples come close to, but don't quite resolve, Borsuk's problem: does every n-dimensional AR embed in R^{2n}? In the affirmative direction, we show that an n-dimensional compactum X embeds in R^{2n}, n>3, if H^n(X)=0 and H^{n+1}(X,X-pt)=0 for every pt\in X. There are applications in the entire metastable range as well. An n-dimensional compactum X with H^{n-i}(X-pt)=0 for each pt\in X and all i\le k embeds in R^{2n-k}. This generalizes Bryant and Mio's result that k-connected n-dimensional generalized manifolds embed in R^{2n-k}. Also, an acyclic compactum X embeds in R^m iff X x I embeds in R^{m+1} iff X x (triod) embeds in R^{m+2}. As a byproduct, we answer a question of T. Banakh on stable embeddability of the Menger cube.


title: Construction of the Bethe State for the $E_{\tau,\eta}(so_3)$ Elliptic Quantum Group

abstract: Elliptic quantum groups can be associated to solutions of the star-triangle relation of statistical mechanics. In this paper, we consider the particular case of the $E_{\tau,\eta}(so_3)$ elliptic quantum group. In the context of algebraic Bethe ansatz, we construct the corresponding Bethe creation operator for the transfer matrix defined in an arbitrary representation of $E_{\tau,\eta}(so_3)$.


title: Creation operators and algebraic Bethe ansatz for the elliptic quantum group $E_{\tau,\eta}(so_3)$

abstract: We define the elliptic quantum group $E_{\tau,\eta}(so_3)$ and the transfer matrix corresponding to its simplest highest weight representation. We use Bethe anstaz method to construct the creation operators as polynomials of the Lax matrix elements expressed through a recurrence relation. We give common eigenvectors and eigenvalues of the family of commuting transfer matrices.


title: Two polygraphic presentations of Petri nets

abstract: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first one sees places as generators of a commutative monoid and transitions as rewriting rules on it: this setting is totally equivalent to Petri nets, but lacks any graphical intuition. The second one considers places as 1-dimensional cells and transitions as 2-dimensional ones: this translation recovers a graphical meaning but raises many difficulties since it uses explicit permutations. Finally, the third translation sees places as degenerated 2-dimensional cells and transitions as 3-dimensional ones: this is a setting equivalent to Petri nets, equipped with a graphical interpretation.


title: The three dimensions of proofs

abstract: In this document, we study a 3-polygraphic translation for the proofs of SKS, a formal system for classical propositional logic. We prove that the free 3-category generated by this 3-polygraph describes the proofs of classical propositional logic modulo structural bureaucracy. We give a 3-dimensional generalization of Penrose diagrams and use it to provide several pictures of a proof. We sketch how local transformations of proofs yield a non contrived example of 4-dimensional rewriting.


title: Proof of Stanley's conjecture about irreducible character values of the symmetric group

abstract: R. Stanley has found a nice combinatorial formula for characters of irreducible representations of the symmetric group of rectangular shape. Then, he has given a conjectural generalisation for any shape. Here, we will prove this formula using shifted Schur functions and Jucys-Murphy elements.


title: Bicyclic units, Bass cyclic units and free groups

abstract: Let $G$ be a finite group and $\Z G$ its integral group ring. We show that if $\alpha$ is a non-trivial bicyclic unit of $\Z G$, then there are bicyclic units $\beta$ and $\gamma$ of different types, such that $\GEN{\alpha,\beta}$ and $\GEN{\alpha,\gamma}$ are non-abelian free groups. In case that $G$ is non-abelian of order coprime with 6, then we prove the existence of a bicyclic unit $u$ and a Bass cyclic unit $v$ in $\Z G$, such that for every positive integer $m$ big enough, $\GEN{u^m,v}$ is a free non-abelian group.


title: Quaternionic regularity and the dibar-Neumann problem in C^2

abstract: Let D be a domain in the quaternionic space H. We prove a differential criterion that characterizes Fueter-regular quaternionic functions f:bD -> H of class C^1. We find differential operators T and N, with complex coefficients, such that a function f is regular on D if and only if (N-jT)f=0 on the boundary of D (j a basic quaternion) and f is harmonic on D. As a consequence, by means of the identification of H with C^2, we obtain a non-tangential holomorphicity condition which generalizes a result of Aronov and Kytmanov. We also show how the differential criterion and regularity are related to the dibar-Neumann problem in C^2.


title: Renormalization of Multiple $q$-Zeta Values

abstract: In this paper we shall define the renormalization of the multiple $q$-zeta values (M$q$ZV) which are special values of multiple $q$-zeta functions $\zeta_q(s_1,...,s_d)$ when the arguments are all positive integers or all non-positive integers. This generalizes the work of Guo and Zhang (math.NT/0606076v3) on the renormalization of Euler-Zagier multiple zeta values. We show that our renormalization process produces the same values if the M$q$ZVs are well-defined originally and that these renormalizations of M$q$ZV satisfy the $q$-stuffle relations if we use shifted-renormalizations for all divergent $\zeta_q(s_1,...,s_d)$ (i.e., $s_1\le 1$). Moreover, when $\qup$ our renormalizations agree with those of Guo and Zhang.


title: Hydrodynamics and hydrostatics for a class of asymmetric particle systems with open boundaries

abstract: We consider attractive particle systems in $\Z^d$ with product invariant measures. We prove that when particles are restricted to a subset of $\Z^d$, with birth and death dynamics at the boundaries, the hydrodynamic limit is given by the unique entropy solution of a conservation law, with boundary conditions in the sense of Bardos, Leroux and N\'ed\'elec. For the hydrostatic limit between parallel hyperplanes, we prove a multidimensional version of the phase diagram conjectured in \cite{ps}, and show that it is robust with respect to perturbations of the boundaries.


title: Ricci flow of almost non-negatively curved three manifolds

abstract: In this paper we study the evolution of almost non-negatively curved (possibly singular) three dimensional metric spaces by Ricci flow. The non-negatively curved metric spaces which we consider arise as limits of smooth Riemannian manifolds (M_i,g_i), i \in N, whose Ricci curvature is not less than -c^2(i), where c^2(i) goes to zero as i goes to infinity, and whose diameter is bounded by a constant independent of i, and whose volume is bounded from below by a positive constant independent of i. We show for such spaces, that a solution to Ricci flow exists for a short time, and that the solution is smooth for all positive times and that it has non-negative Ricci curvature. This allows us to classify the topological type and the differential structure of the limit manifold (in view of Hamilton's Theorem on closed three manifolds with non-negative Ricci curvature).


title: Constructing Smooth Loop Spaces

abstract: We consider the general problem of constructing the structure of a smooth manifold on a given space of loops in a smooth finite dimensional manifold. By generalising the standard construction for smooth loops, we derive a list of conditions for the model space which, if satisfied, mean that a smooth structure exists. We also show how various desired properties can be derived from the model space; for example, topological properties such as paracompactness. We pay particular attention to the fact that the loop spaces that can be defined in this way are all homotopy equivalent; and also to the action of the circle by rigid rotations.


title: $q$-Classical orthogonal polynomials: A general difference calculus approach

abstract: It is well known that the classical families of orthogonal polynomials are characterized as eigenfunctions of a second order linear differential/difference operator. In this paper we present a study of classical orthogonal polynomials in a more general context by using the differential (or difference) calculus and Operator Theory. In such a way we obtain a unified representation of them. Furthermore, some well known results related to the Rodrigues operator are deduced. A more general characterization Theorem that the one given in [1] and [2] for the q-polynomials of the q-Askey and Hahn Tableaux, respectively, is established. Finally, the families of Askey-Wilson polynomials, q-Racah polynomials, Al-Salam & Carlitz I and II, and q-Meixner are considered. [1] R. Alvarez-Nodarse. On characterization of classical polynomials. J. Comput. Appl. Math., 196:320{337, 2006. [2] M. Alfaro and R. Alvarez-Nodarse. A characterization of the classical orthogonal discrete and q-polynomials. J. Comput. Appl. Math., 2006. In press.


title: (Z/2Z x Z/2Z)-symmetric spaces

abstract: The notion of a $\Gamma $-symmetric space is a generalization of the classical notion of a symmetric space, where a general finite abelian group $\Gamma $ replaces the group $Z_2$. The case $\Gamma =\Z_k$ has also been studied, from the algebraic point of view by V.Kac \cite{VK} and from the point of view of the differential geometry by Ledger, Obata, Kowalski or Wolf - Gray in terms of $k$-symmetric spaces. In this case, a $k$-manifold is an homogeneous reductive space and the classification of these varieties is given by the corresponding classification of graded Lie algebras. The general notion of a $\Gamma $-symmetric space was introduced by R.Lutz. We approach the classification of such spaces in the case $\Gamma=Z_2^2$ using recent results on the classification of complex $Z_2^2$-graded simple Lie algebras.


title: Reflection functors and representations for continuous wreath-product symplectic reflection algebras

abstract: We introduce "continuous deformed preprojective algebras" attached to infinite affine Dynkin quivers of type A_{\infty}, A_{+\infty}, D_{\infty}. We define a one-parameter family of deformations of the wreath product of a symmetric group with these algebras and, using the generalized McKay correspondence for infinite reductive subgroups of SL(2,C), we establish a Morita equivalence to a corresponding continuous symplectic reflection algebra of wreath product type. We give applications of this Morita equivalence to the representation theory of continuous wreath product symplectic reflection algebras. In particular, we use Crawley-Boevey and Holland's results about the representation theory of deformed preprojective algebras to get a complete classification of the finite dimensional irreducible representations for the rank one continuous wreath product symplectic reflection algebras. In higher rank, we extend Gan's definition of the reflection functors to the continuous case and we use such functors to find an interesting class of finite dimensional representations.


title: On modular forms for some noncongruence arithmetic subgroups

abstract: In this paper, we consider modular forms for finite index subgroups of the modular group whose Fourier coefficients are algebraic. It is well-known that the Fourier coefficients of any holomorphic modular form for a congruence subgroup (with algebraic coefficients) have bounded denominators. It was observed by Atkin and Swinnerton-Dyer that this is no longer true for modular forms for noncongruence subgroups and they pointed out that unbounded denominator property is a clear distinction between modular forms for noncongruence and congruence modular forms. It is an open question whether genuine noncongruence modular forms (with algebraic coefficients) always satisfy the unbounded denominator property. Here, we give a partial positive answer to the above open question by constructing special finite index subgroups of SL_2(Z) called character groups and discuss the properties of modular forms for some groups of this kind.


title: The classification problem for pseudo-Riemannian symmetric spaces

abstract: Riemannian and pseudo-Riemannian symmetric spaces with semisimple transvection group are known and classified for a long time. Contrary to that the description of pseudo-Riemannian symmetric spaces with non-semisimple transvection group is an open problem. In the last years some progress on this problem was achieved. In this survey article we want to explain these results and some of their applications. Among other things, the material developed in our previous papers math.DG/0312243, math.DG/0408249, and math.DG/0503220 is presented in a unified way.


title: Krull dimension and deviation in certain parafree groups

abstract: Hanna Neumann asked whether it was possible for two non-isomorphic residually nilpotent finitely generated (fg) groups, one of them free, to share the lower central sequence. Gilbert Baumslag answered the question in the affirmative and thus gave rise to parafree groups. A group G is termed parafree of rank n if it is residually nilpotent and shares the lower central sequence with a free group of rank n. The deviation of a finitely generated (fg) parafree group G is the difference between the minimum possible number of generators of G and the rank of G. Let G be a fg group, then Hom(G,SL(2, C)) inherits the structure of an algebraic variety, denoted by R(G), and known as its "representation variety". If G is an n generated parafree group, then the deviation of G is 0 iff Dim(R(G))=3n. It is known that for n \ge 2 there exist infinitely many parafree groups of rank n and deviation 1 with non-isomorphic representation varieties of dimension 3n. In this paper it is shown that given integers n \ge 2, and k \ge 1, there exist infinitely many parafree groups of rank n and deviation k with non-isomorphic representation varieties of dimension different from 3n; in particular, it is shown that there exist infinitely many parafree groups G of rank n with Dim(R(G))> q, where q \ge 3n is an arbitrary integer.


title: Positive polynomials in scalar and matrix variables, the spectral theorem and optimization

abstract: We follow a stream of the history of positive matrices and positive functionals, as applied to algebraic sums of squares decompositions, with emphasis on the interaction between classical moment problems, function theory of one or several complex variables and modern operator theory. The second part of the survey focuses on recently discovered connections between real algebraic geometry and optimization as well as polynomials in matrix variables and some control theory problems. These new applications have prompted a series of recent studies devoted to the structure of positivity and convexity in a free *-algebra, the appropriate setting for analyzing inequalities on polynomials having matrix variables. We sketch some of these developments, add to them and comment on the rapidly growing literature.


title: Representations of finite groups

abstract: This book is an introduction to a fast developing branch of mathematics - the theory of representations of groups. It presents classical results of this theory concerning finite groups.


title: Hitchin-Thorpe Inequality for Noncompact Einstein 4-Manifolds

abstract: We prove a Hitchin-Thorpe inequality for noncompact Einstein 4-manifolds with asymptotic geometry at infinity. The asymptotic geometry at infinity is either a cusp bundle over a compact space (the fibered cusps) or a fiber bundle over a cone with a compact fiber (the fibered boundary). Many noncompact Einstein manifolds come with such a geometry at infinity.


title: Moments of the Riemann zeta-function

abstract: Assuming the Riemann Hypothesis we obtain an upper bound for the moments of the Riemann zeta-function on the critical line. Our bound is nearly as sharp as the conjectured asymptotic formulae for these moments. The method extends to moments in families of $L$-functions.


title: Manifolds with A Lower Ricci Curvature Bound

abstract: This paper is a survey on the structure of manifolds with a lower Ricci curvature bound.


title: Density of Eigenvalues of Random Normal Matrices with an Arbitrary Potential, and of Generalized Normal Matrices

abstract: Following the works by Wiegmann-Zabrodin, Elbau-Felder, Hedenmalm-Makarov, and others, we consider the normal matrix model with an arbitrary potential function, and explain how the problem of finding the support domain for the asymptotic eigenvalue density of such matrices (when the size of the matrices goes to infinity) is related to the problem of Hele-Shaw flows on curved surfaces, considered by Entov and the first author in 1990-s. In the case when the potential function is the sum of a rotationally invariant function and the real part of a polynomial of the complex coordinate, we use this relation and the conformal mapping method developed by Entov and the first author to find the shape of the support domain explicitly (up to finitely many undetermined parameters, which are to be found from a finite system of equations). In the case when the rotationally invariant function is $\beta |z|^2$, this is done by Wiegmann-Zabrodin and Elbau-Felder. We apply our results to the generalized normal matrix model, which deals with random block matrices that give rise to *-representations of the deformed preprojective algebra of the affine quiver of type $\hat A_{m-1}$. We show that this model is equivalent to the usual normal matrix model in the large $N$ limit. Thus the conformal mapping method can be applied to find explicitly the support domain for the generalized normal matrix model.


title: Manhattan orbifolds

abstract: We investigate a class of metrics for 2-manifolds in which, except for a discrete set of singular points, the metric is locally isometric to an L_1 (or equivalently L_infinity) metric, and show that with certain additional conditions such metrics are injective. We use this construction to find the tight span of squaregraphs and related graphs, and we find an injective metric that approximates the distances in the hyperbolic plane analogously to the way the rectilinear metrics approximate the Euclidean distance.


title: The Quenching Problem in the Nonlinear Heat Equations

abstract: In this paper we study the quenching problem in nonlinear heat equations with power nonlinearities. For nonlinearities of power p<0 and for an open set of slowly varying initial conditions we prove that the solutions will collapse in a finite time. We find the collapse profile and estimate the remainder.


title: Biring of Matrices

abstract: Matrices allow two products linked by transpose. Biring is algebra which defines on the set two correlated structures of the ring. According to each product we can extend the definition of a quasideterminant given in [1, 2] and introduce two different types of a quasideterminant.


title: Markov loops, determinants and Gaussian fields

abstract: The purpose of this note is to explore some simple relations between loop measures, determinants, and Gaussian Markov fields.


title: On complete system of covariants for the binary form of degree 8

abstract: A minimal system of homogeneous generating elements of the algebra of covariants for the binary form of degree 8 is calculated.


title: The Asymmetric Traveling Salesman Problem

abstract: Starting with M(a), an n X n asymmetric cost matrix, Jonker and Volgenannt transformed it into a 2n X 2n symmetric cost matrix, M(s)where M(s) has unusual properties. One such property is that an optimal tour in M(s) yields an optimal tour in M(a). Modifying M(s), we apply the modified Floyd-Warshall algorithm to M(s). Due to the structure of M(s), we hopefully)can always obtain an optimal tour in M(a) in polynomial time.If theorem 1 in this paper is valid, since the asymmetric traveling salesman problem is NP-hard, P would equal NP.


title: Knot polynomials via one parameter knot theory

abstract: We construct new knot polynomials. Let $V$ be the standard solid torus in 3-space and let $pr$ be its standard projection onto an annulus. Let $M$ be the space of all smooth oriented knots in $V$ such that the restriction of $pr$ is an immersion (e.g. regular diagrams of a classical knot in the complement of its meridian). There is a canonical one dimensional homology class for each connected component of $M$. We construct homomorphisms from the first homology group of $M$ into rings of Laurent polynomials. Each such homomorphism applied to the canonical homology class gives a knot invariant. Let $\gamma$ be a generic smooth oriented loop in $M$ (i.e. a one parameter family of knot diagrams in the annulus). For finitely many points in $\gamma$ the corresponding knot diagram has in the projection $pr$ an ordinary triple point or an ordinary auto-tangency. To each such diagram we associate some Laurent polynomial by using extensions of the Kauffman bracket or of the Kauffman state model for the Alexander polynomial. We take then an algebraic sum of these polynomials over all triple points and all autotangencies in $\gamma$. The resulting polynomial depends only on the homology class of $\gamma$ if and only if it verifies two sorts of equations: the tetrahedron equations and the cube equations. We have found five different non trivial solutions.


title: Pontryagin-Thom-Szucs type construction for non-positive codimensional singular maps with prescribed singular fibers

abstract: We give a Pontryagin-Thom-Szucs type construction for non-positive codimensional singular maps, and obtain results about cobordism and bordism groups of -1 codimensional stable maps with prescribed singular fibers.


title: Nilradicals of Einstein solvmanifolds

abstract: A Riemannian Einstein solvmanifold is called standard, if the orthogonal complement to the nilradical of its Lie algebra is abelian. No examples of nonstandard solvmanifolds are known. We show that the standardness of an Einstein metric solvable Lie algebra is completely detected by its nilradical and prove that many classes of nilpotent Lie algebras (Einstein nilradicals, algebras with less than four generators, free Lie algebras, some classes of two-step nilpotent ones) contain no nilradicals of nonstandard Einstein metric solvable Lie algebras. We also prove that there are no nonstandard Einstein metric solvable Lie algebras of dimension less than ten.


title: Distribution of intersection lengths of a random geodesic with a geodesic lamination

abstract: We investigate the distribution of lengths obtained by intersecting a random geodesic with a geodesic lamination. We give an explicit formula for the distribution for the case of a maximal lamination and show that the distribution is independent of the surface and lamination. We also show how the moments of the distribution are related to the Riemann zeta function.