title: An egg-yolk principle and exponential integrability for quasiregular mappings

abstract: Quasiregular mappings $f:\Omega\subset\R^{n}\to \R^{n}$ are a natural generalization of analytic functions from complex analysis and provide a theory which is rich with new phenomena. In this paper we extend a well-known result of A.~Chang and D.~Marshall on exponential integrability of analytic functions in the disk, to the case of quasiregular mappings defined in the unit ball of $\R^n$. To this end, we first establish an ``egg-yolk'' principle for such maps, which extends a recent result of the first author. Our work leaves open an interesting problem regarding $n$-harmonic functions.


title: Global well-posedness for the 2 D quasi-geostrophic equation in a critical Besov space

abstract: We show that the the 2 D quasi-geostrophic equation has global and unique strong solution, when the (large) data belongs in the critical, scale invariant space $\dot{B}^{2-2\al}_{2, \infty}\cap L^{2/(2\al-1)}$.


title: Nonintersecting Brownian excursions

abstract: We consider the process of $n$ Brownian excursions conditioned to be nonintersecting. We show the distribution functions for the top curve and the bottom curve are equal to Fredholm determinants whose kernel we give explicitly. In the simplest case, these determinants are expressible in terms of Painlev\'{e} V functions. We prove that as $n\to \infty$, the distributional limit of the bottom curve is the Bessel process with parameter 1/2. (This is the Bessel process associated with Dyson's Brownian motion.) We apply these results to study the expected area under the bottom and top curves.


title: Analytic inversion of adjunction: L^2 extension theorems with gain

abstract: We establish new results on weighted $L^2$ extension of holomorphic top forms with values in a holomorphic line bundle, from a smooth hypersurface cut out by a holomorphic function. The weights we use are determined by certain functions that we call denominators. We give a collection of examples of these denominators related to the divisor defined by the submanifold.


title: A Takayama-type extension theorem

abstract: We prove a theorem on the extension of holomorphic sections of powers of adjoint bundles from submanifolds of complex codimension 1 having non-trivial normal bundle. The first such result, due to Takayama, considers the case where the canonical bundle is twisted by a line bundle that is a sum of a big and nef line bundle and a ${\mathbb Q}$-divisor that has kawamata log terminal singularites on the submanifold from which extension occurs. In this paper we weaken the positivity assumptions on the twisting line bundle to what we believe to be the minimal positivity hypotheses. The main new idea is an $L^2$ extension theorem of Ohsawa-Takegoshi type, in which twisted canonical sections are extended from submanifolds with non-trivial normal bundle.


title: Towards an enumerative geometry of the moduli space of twisted curves and r-th roots

abstract: The enumerative geometry of r-th roots of line bundles is the subject of Witten's conjecture and occurs in the calculation of Gromov-Witten invariants of orbifolds. It requires the definition of the suitable compact moduli stack and the generalization of the standard techniques from the theory of moduli of stable curves. In math.AG/0603687, we construct a compact stack by describing the notion of stability in the context of twisted curves. In this paper, by working with stable twisted curves, we extend Mumford's formula for the Chern character of the Hodge bundle to the direct image of the universal r-th root in K-theory.


title: A universal metric for the canonical bundle of a holomorphic family of projective algebraic manifolds

abstract: We prove that the canonical bundle of any holomorphic family of compact complex algebraic manifolds carries a singular Hermitian metric having non-negative curvature current and such that every holomorphic section of the canonical bundle of the central fiber is L^2 with respect to this metric. This result was proved by Siu when the members of the family are general type, and used to establish the deformation invariance of plurigenera in that case. In fact, we prove our result in a more general setting of a smooth hypersurface with not-necessarily normal trivial bundle in a manifold that is Stein outside an analytic subvariety. Such a setting was first considered by Takayama. (In the case of a family, the normal bundle is trivial.) The method of proof involves an adaptation of recent work of Paun.


title: On the first group of the chromatic cohomology of graphs

abstract: The algebra of truncated polynomials A_m=Z[x]/(x^m) plays an important role in the theory of Khovanov and Khovanov-Rozansky homology of links. We have demonstrated that Hochschild homology is closely related to Khovanov homology via comultiplication free graph cohomology. It is not difficult to compute Hochschild homology of A_m and the only torsion, equal to Z_m, appears in gradings (i,m(i+1)/2) for any positive odd i. We analyze here the grading of graph cohomology which is producing torsion for a polygon. We find completely the cohomology H^{1,v-1}_{A_2}(G) and H^{1,2v-3}_{A_3}(G). The group H^{1,v-1}_{A_2}(G) is closely related to the standard graph cohomology, except that the boundary of an edge is the sum of endpoints instead of the difference. The result about H^{1,v-1}_{A_2}(G) gives as a corollary a fact about Khovanov homology of alternating and + or - adequate link diagrams. The group H^{1,2v-3}_{A_3}(G) can be computed from the homology of a cell complex, X_{\Delta,4}(G), built from the graph G. In particular, we prove that A_3 cohomology can have any torsion. We give a simple and complete characterization of those graphs which have torsion in cohomology H^{1,2v-3}_{A_3}(G) (e.g. loopless graphs which have a 3-cycle). We also construct graphs which have the same (di)chromatic polynomial but different H^{1,2v-3}_{A_3}(G). Finally, we give examples of calculations of width of H^{1,*}_{A_3}(G) and of cohomology H^{1,(m-1)(v-2)+1}_{A_m}(G) for m>3.


title: Division Theorems and Twisted Complexes

abstract: We prove new Skoda-type division, or ideal membership, theorems. We work in a geometric setting of line bundles over Kahler manifolds that are Stein away from an analytic subvariety. (This includes complex projective manifolds.) Our approach is to combine the twisted Bochner-Kodaira Identity, used in the Ohsawa-Takegoshi Theorem, with Skoda's basic estimate for the division problem. Techniques developed by McNeal and the author are then used to provide many examples of new division theorems. Among other applications, we give a modification of a recent result of Siu regarding effective finite generation of certain section rings.


title: Extension of holomorphic maps between real hypersurfaces of different dimension

abstract: It is proved that the germ of a holomorphic map from a real analytic hypersurface M in C^n into a strictly pseudoconvex compact real algebraic hypersurface M' in C^N, 1 < n < N extends holomorphically along any path on M.


title: Rees algebras and polyhedral cones of ideals of vertex covers of perfect graphs

abstract: Let G be a perfect graph and let J be its ideal of vertex covers. We show that the Rees algebra of J is normal and that this algebra is Gorenstein if G is unmixed. Then we give a description--in terms of cliques--of the symbolic Rees algebra and the Simis cone of the edge ideal of G.


title: Semistrict models of connected 3-types and Tamsamani's weak 3-groupoids

abstract: Homotopy 3-types can be modelled algebraically by Tamsamani's weak 3-groupoids as well as, in the path-connected case, by cat^2-groups. This paper gives a comparison between the two models in the path-connected case. This leads to two different semistrict algebraic models of connected 3-types using the Tamsamani's model. Both are then related to Gray groupoids.


title: Beta ensembles, stochastic Airy spectrum, and a diffusion

abstract: We prove that the largest eigenvalues of the beta ensembles of random matrix theory converge in distribution to the low-lying eigenvalues of the random Schroedinger operator -d^2/dx^2 + x + (2/beta^{1/2}) b_x' restricted to the positive half-line, where b_x' is white noise. In doing so we extend the definition of the Tracy-Widom(beta) distributions to all beta>0, and also analyze their tails. Last, in a parallel development, we provide a second characterization of these laws in terms of a one-dimensional diffusion. The proofs rely on the associated tridiagonal matrix models and a universality result showing that the spectrum of such models converge to that of their continuum operator limit. In particular, we show how Tracy-Widom laws arise from a functional central limit theorem.


title: A proof of Waldhausen's uniqueness of splittings of S^3 (after Rubinstein and Scharlemann)

abstract: In [Topology 35 (1996) 1005--1023] J H Rubinstein and M Scharlemann, using Cerf Theory, developed tools for comparing Heegaard splittings of irreducible, non-Haken manifolds. As a corollary of their work they obtained a new proof of Waldhausen's uniqueness of Heegaard splittings of S^3. In this note we use Cerf Theory and develop the tools needed for comparing Heegaard splittings of S^3. This allows us to use Rubinstein and Scharlemann's philosophy and obtain a simpler proof of Waldhausen's Theorem. The combinatorics we use are very similar to the game Hex and requires that Hex has a winner. The paper includes a proof of that fact (Proposition 3.6).


title: Why we shouldn't fault Lucas and Penrose for continuing to believe in the Goedelian argument against computationalism

abstract: The only fault we can fairly lay at Lucas' and Penrose's doors, for continuing to believe in the essential soundness of the Goedelian argument, is their naive faith in, first, non-verifiable assertions in standard expositions of classical theory, and, second, in Goedel's unvalidated interpretation of his own formal reasoning. We show why their faith is misplaced in both instances.


title: Elementary Equivalence of Categories of Modules over Rings, Endomorphism Rings, and Automorphism Groups of Modules

abstract: In this paper we give a small review of some recent results of elementary equivalence of linear and algebraic groups and our last new results of elementary equivalence of categories of modules, endomorphism rings of modules, lattices of submodules of modules, and automorphism groups of modules.


title: Forked Temperley-Lieb Algebras and Intermediate Subfactors

abstract: We consider noncommuting pairs P,Q of intermediate subfactors of an irreducible, finite-index inclusion N in M of II_1 factors such that P and Q are supertransitive with Jones index less than 4 over N. We show that up to isomorphism of the standard invariant, there is a unique such pair corresponding to each even value [P:N]=4cos^2(pi/2n) but none for the odd values [P:N]=4cos^2 (pi/(2n+1)). We also classify the angle values which occur between pairs of intermediate subfactors with small index over their intersection: if [P:N] < 4, then the unique nontrivial angle value is always cos^-1 (1/([P:N]-1)).


title: Bers isomorphism on the universal Teichm\"uller curve

abstract: We study the Bers isomorphism between the Teichm\"uller space of the parabolic cyclic group and the universal Teichm\"uller curve. We prove that this is a group isomorphism and its derivative map gives a remarkable relation between Fourier coefficients of cusp forms and Fourier coefficients of vector fields on the unit circle. We generalize the Takhtajan-Zograf metric to the Teichm\"uller space of the parabolic cyclic group, and prove that up to a constant, it coincides with the pull back of the Velling-Kirillov metric defined on the universal Teichm\"uller curve via the Bers isomorphism.


title: Tabloids and Weighted Sums of Characters of Certain Modules of the Symmetric Groups

abstract: We consider certain modules of the symmetric groups whose basis elements are called tabloids. Some of these modules are isomorphic to subspaces of the cohomology rings of subvarieties of flag varieties as modules of the symmetric groups. We give a combinatorial description for some weighted sums of their characters, i.e., we introduce combinatorial objects called $(\rho,\Ll)$-tabloids and rewrite weighted sums of characters as the numbers of these combinatorial objects. We also consider the meaning of these combinatorial objects, i.e., we construct a correspondence between $(\rho,\Ll)$-tabloids and tabloids whose images are eigenvectors of the action of an element of cycle type $\rho$ in quotient modules.


title: Raynaud's vector bundles and base points of the generalized Theta divisor

abstract: We study base points of the generalized Theta-divisor on the moduli space of vector bundles on a smooth algebraic curve X of genus g defined over an algebraically closed field. To do so, we use the derived categories D(Pic(X)), D(Jac(X)), and the equivalence between them given by the Fourier-Mukai transform coming from the Poincar\'e bundle. The vector bundles P(m) on the curve X defined by Raynaud play a central role in this description. Indeed, we show that a vector bundle E is a base point of the generalized Theta-divisor, if and only if there exists a nontrivial homomorphism P(rk(E)g+1) --> E.


title: The Kodaira dimension of the moduli of K3 surfaces

abstract: The moduli space of polarised K3 surfaces of degree 2d is a quasi-projective variety of dimension 19. For general d very little has been known about the Kodaira dimension of these varieties. In this paper we present an almost complete solution to this problem. Our main result says that this moduli space is of general type for d>61 and for d=46,50,54,58,60.


title: On the (ab)use of statistics in the legal case against the nurse Lucia de B

abstract: We discuss the statistics involved in the legal case of the nurse Lucia de B. in The Netherlands, 2003-2004. Lucia de B. witnessed an unusually high number of incidents during her shifts, and the question arose as to whether this could be attributed to chance. We discuss and criticise the statistical analysis of Henk Elffers, a statistician who was asked by the prosecutor to write a statistical report on the issue. We discuss several other possibilities for statistical analysis. Our main point is that several statistical models exist, leading to very different predictions, or perhaps different answers to different questions. There is no such thing as a `best' statistical analysis.


title: Generation type inequalities for closed linear operators related to domains with conical points

abstract: Let ${\cal A}(x;D_x)$ be a second-order linear differential operator in divergence form. We prove that the operator ${\l}I- {\cal A}(x;D_x)$, where $\l\in\csp$ and $I$ stands for the identity operator, is closed and injective when ${\rm Re}\l$ is large enough and the domain of ${\cal A}(x;D_x)$ consists of a special class of weighted Sobolev function spaces related to conical open bounded sets of $\rsp^n$, $n \ge 1$.


title: Asymptotic equivalence for nonparametric regression with multivariate and random design

abstract: We show that nonparametric regression is asymptotically equivalent in Le Cam's sense with a sequence of Gaussian white noise experiments as the number of observations tends to infinity. We propose a general constructive framework based on approximation spaces, which permits to achieve asymptotic equivalence even in the cases of multivariate and random design.


title: A natural smooth compactification of the space of elliptic curves in projective space

abstract: The space of smooth genus 0 curves in projective space has a natural smooth compactification: the moduli space of stable maps, which may be seen as the generalization of the classical space of complete conics. In arbitrary genus, no such natural smooth model is expected, as the space satisfies ``Murphy's Law''. In genus 1, however, the situation remains beautiful. We give a natural smooth compactification of the space of elliptic curves in projective space, and describe some of its properties. This space is a blow up of the space of stable maps. It can be interpreted as blowing up the most singular locus first, then the next most singular, and so on, but with a twist -- these loci are often entire components of the moduli space. We give a number of applications in enumerative geometry and Gromov-Witten theory. The proof that this construction indeed gives a desingularization will appear in math.AG/0603353v2 (currently under revision).


title: Open books and plumbings

abstract: We construct, somewhat non-standard, Legendrian surgery diagrams for some Stein fillable contact structures on some plumbing trees of circle bundles over spheres. We then show how to put such a surgery diagram on the pages of an open book for $S^3,$ with relatively low genus. Thus we produce open books with low genus pages supporting these Stein fillable contact structures, and in many cases it can be shown that these open books have minimal genus pages.


title: Number variance from a probabilistic perspective: infinite systems of independent Brownian motions and symmetric alpha-stable processes

abstract: Some probabilistic aspects of the number variance statistic are investigated. Infinite systems of independent Brownian motions and symmetric alpha-stable processes are used to construct new examples of processes which exhibit both divergent and saturating number variance behaviour. We derive a general expression for the number variance for the spatial particle configurations arising from these systems and this enables us to deduce various limiting distribution results for the fluctuations of the associated counting functions. In particular, knowledge of the number variance allows us to introduce and characterize a novel family of centered, long memory Gaussian processes. We obtain fractional Brownian motion as a weak limit of these constructed processes.


title: Point counting in families of hyperelliptic curves in characteristic 2

abstract: Let E_G be a family of hyperelliptic curves over F2^(alg cl) with general Weierstrass equation given over a very small field F. We describe in this paper an algorithm to compute the zeta function of E_g for g in a degree n extension field of F, which has as time complexity O(n^3) and memory requirements O(n^2). With a slightly different algorithm we can get time O(n^2,667) and memory O(n^2,5), and the computation of O(n) curves of the family can be done in time and space O(n^3). All these algorithms are polynomial in the genus.


title: Equilibrium States for Non-uniformly expanding maps

abstract: We construct equilibrium states, including measures of maximal entropy, for a large (open) class of non-uniformly expanding maps on compact manifolds. Moreover, we study uniqueness of these equilibrium states, as well as some of their ergodic properties.


title: Combinatorial derived invariants for gentle algebras

abstract: We define derived equivalent invariants for gentle algebras, constructed in an easy combinatorial way from the quiver with relations defining these algebras. Our invariants consist of pairs of natural numbers and contain important information about the algebra and the structure of the stable Auslander-Reiten quiver of its repetitive algebra. As a by-product we obtain that the number of arrows of the quiver of a gentle algebra is invariant under derived equivalence. Finally, our invariants separate the derived equivalence classes of gentle algebras with at most one cycle.


title: Factorizations of the Thompson-Higman groups, and circuit complexity

abstract: We consider the subgroup lpG_{k,1} of length preserving elements of the Thompson-Higman group G_{k,1} and we show that all elements of G_{k,1} have a unique lpG_{k,1}.F_{k,1} factorization. This applies to the Thompson-Higman group T_{k,1} as well. We show that lpG_{k,1} is a ``diagonal'' direct limit of finite symmetric groups, and that lpT_{k,1} is a k^infinity Pr"ufer group. We find an infinite generating set of lpG_{k,1} which is related to reversible boolean circuits. We further investigate connections between the Thompson-Higman groups, circuits, and complexity. We show that elements of F_{k,1} cannot be one-way functions. We show that describing an element of G_{k,1} by a generalized bijective circuit is equivalent to describing the element by a word over a certain infinite generating set of G_{k,1}; word length over these generators is equivalent to generalized bijective circuit size. We give some coNP-completeness results for G_{k,1} (e.g., the word problem when elements are given by circuits), and #P-completeness results (e.g., finding the lpG_{k,1}.F_{k,1} factorization of an element of G_{k,1} given by a circuit).


title: Infinite index subalgebras of depth two

abstract: An algebra extension $A \| B$ is right depth two in this paper if its tensor-square is $A$-$B$-isomorphic to a direct summand of any (not necessarily finite) direct sum of $A$ with itself. For example, normal subgroups of infinite groups, infinitely generated Hopf-Galois extensions and infinite dimensional algebras are depth two in this extended sense. The added generality loses some duality results obtained in the finite theory math.RA/0108067 but extends the main theorem of depth two theory, as for example in math.RA/0107064. That is, a right depth two extension has right bialgebroid T = (A \otimes_B A)^B$ over its centralizer R = C_A(B). The main theorem: an extension A | B is right depth two and right balanced if and only if A | B is T-Galois wrt. left projective, right R-bialgebroid T.


title: Kazhdan's Property (T) for Graphs

abstract: D. A. Kahzdan first put forth property (T) in relation to the study of discrete subgroups of Lie groups of finite co-volume. Through a combinatorial approach, we define an analogue of property (T) for regular graphs. We then prove the basic combinatorial and metric properties of Kazhdan groups in this context. In particular, we use our methods to construct infinite families of expanders as in the classical case. Finally, we consider the combinatorial analogue of the group theoretic property $(\tau)$ and prove its basic properties.


title: Properties of the Generalized Zig-Zag Product of Graphs

abstract: The operation of zig-zag products of graphs is the analogue of the semidirect product of groups. Using this observation, we present a categorical description of zig-zag products in order to generalize the construction for the category of simple graphs. Also, we examine the covering properties of zig-zag products and we utilize these results to estimate their spectral invariants in general. In addition, we provide specific spectral analysis for some such products.


title: Generalized Universal Covers of Uniform Spaces

abstract: We develop a generalized covering space theory for a class of uniform spaces called coverable spaces. Coverable spaces include all geodesic metric spaces, connected and locally pathwise connected compact topological spaces, in particular Peano continua, as well as more pathological spaces like the topologist's sine curve. Each coverable space has a generalized universal cover with universal and lifting properties. Associated with this generalized universal cover is a functorial uniform space invariant called the deck group, which is related to the classical fundamental group by a natural homomorphism. We obtain some specific results for one-dimensional spaces. Keywords: universal cover, uniform space, geodesic space, fundamental group


title: An algorithm to compute some Heegaard Floer homologies

abstract: The earlier article tried to construct an algorithm to compute the Heegaard Floer homology \hat{HF}(Y) for a 3-manifold Y. However there is an error in a proof which the author, as of now, is unable to fix.


title: A test complex for Gorensteinness

abstract: Let $R$ be a commutative noetherian ring with a dualizing complex. By recent work of Iyengar and Krause, the difference between the category of acyclic complexes and its subcategory of totally acyclic complexes measures how far $R$ is from being Gorenstein. In particular, $R$ is Gorenstein if and only if every acyclic complex is totally acyclic. In this note we exhibit a specific acyclic complex with the property that it is totally acyclic if and only if $R$ is Gorenstein.


title: Complete manifolds with nonnegative curvature operator

abstract: In this short note, as a simple application of the strong result proved recently by B\"ohm and Wilking, we give a classification on closed manifolds with 2-nonnegative curvature operator. Moreover, by the new invariant cone constructions of B\"ohm and Wilking, we show that any complete Riemannian manifold (with dimension $\ge 3$) whose curvature operator is bounded and satisfies the pinching condition $R\ge \delta R_{I}>0$, for some $\delta>0$, must be compact. This provides an intrinsic analogue of a result of Hamilton on convex hypersurfaces.


title: Predictability of the Burgers dynamics under model uncertainty

abstract: Complex systems may be subject to various uncertainties. A great effort has been concentrated on predicting the dynamics under uncertainty in initial conditions. In the present work, we consider the well-known Burgers equation with random boundary forcing or with random body forcing. Our goal is to attempt to understand the stochastic Burgers dynamics by predicting or estimating the solution processes in various diagnostic metrics, such as mean length scale, correlation function and mean energy. First, for the linearized model, we observe that the important statistical quantities like mean energy or correlation functions are the same for the two types of random forcing, even though the solutions behave very differently. Second, for the full nonlinear model, we estimate the mean energy for various types of random body forcing, highlighting the different impact on the overall dynamics of space-time white noises, trace class white-in-time and colored-in-space noises, point noises, additive noises or multiplicative noises.


title: Non-nesting actions of Polish groups on pretrees

abstract: We study non-nesting actions of groups on real trees. We prove some fixed point theorems for such actions under the assumption that groups are Polish and have comeagre conjugacy classes.


title: The Abel Lemma and the q-Gosper Algorithm

abstract: Chu has recently shown that the Abel lemma on summations by parts can serve as the underlying relation for Bailey's ${}_6\psi_6$ bilateral summation formula. In other words, the Abel lemma spells out the telescoping nature of the ${}_6\psi_6$ sum. We present a systematic approach to compute Abel pairs for bilateral and unilateral basic hypergeometric summation formulas by using the $q$-Gosper algorithm. It is demonstrated that Abel pairs can be derived from Gosper pairs. This approach applies to many classical summation formulas.


title: Conformal Vector Fields on Tangent Bundle of a Riemannian Manifold

abstract: Let M be an n-dimensional Riemannian manifold and TM its tangent bundle. The conformal and fiber preserving vector fields on TM have well-known physical interpretations and have been studied by physicists and geometricians. Here we define a Riemannian or pseudo-Riemannian lift metric on TM, which is in some senses more general than other lift metrics previously defined on TM, and seems to complete these works. Next we study the lift conformal vector fields on its tangent bundle with this metric and prove among the others that, every complete lift conformal vector field on TM is homothetic, and moreover, every horizontal or vertical lift conformal vector field on TM is a Killing vector.


title: The structure of self-organized blogosphere

abstract: In this paper, a statistical analysis of the structure of one blog community, a kind of social networks, is presented. The quantities such as degree distribution, clustering coefficient, average shortest path length are calculated to capture the features of the blogging network. We demonstrate that the blogging network has small-world property and the in and out degree distributions have power-law forms. The analysis also confirms that blogging networks show in general disassortative mixing pattern. Furthermore, the popularity of the blogs is investigated to have a Zipf's law, namely, the fraction of the number of page views of blogs follows a power law.


title: Nondegenerate Representations of Continuous Product Systems

abstract: We show that every (continuous) faithful product system admits a (continuous) faithful nondegenerate representation. For Hilbert spaces this is equivalent to Arveson's result that every Arveson system comes from an E_0-semigroup. We point out that for Hilbert modules this is not so. As applications we show a C*-algebra version of a result for von Neumann algebras due to Arveson and Kishimoto, and a result about existence of elementary dilations for (semi-)faithful CP-semigroups.


title: Quantum statistical mechanics over function fields

abstract: In this paper we construct a noncommutative space of ``pointed Drinfeld modules'' that generalizes to the case of function fields the noncommutative spaces of commensurability classes of Q-lattices. It extends the usual moduli spaces of Drinfeld modules to possibly degenerate level structures. In the second part of the paper we develop some notions of quantum statistical mechanics in positive characteristic and we show that, in the case of Drinfeld modules of rank one, there is a natural time evolution on the associated noncommutative space, which is closely related to the positive characteristic L-functions introduced by Goss. The points of the usual moduli space of Drinfeld modules define KMS functionals for this time evolution. We also show that the scaling action on the dual system is induced by a Frobenius action, up to a Wick rotation to imaginary time.


title: Counting faces of randomly-projected polytopes when the projection radically lowers dimension

abstract: This paper develops asymptotic methods to count faces of random high-dimensional polytopes. Beyond its intrinsic interest, our conclusions have surprising implications - in statistics, probability, information theory, and signal processing - with potential impacts in practical subjects like medical imaging and digital communications. Three such implications concern: convex hulls of Gaussian point clouds, signal recovery from random projections, and how many gross errors can be efficiently corrected from Gaussian error correcting codes.


title: A formal model of Berezin-Toeplitz quantization

abstract: We give a new construction of symbols of the differential operators on the sections of a quantum line bundle $L$ over a Kaehler manifold $M$ using the natural contravariant connection on $L$. These symbols are the functions on the tangent bundle $TM$ polynomial on fibres. For high tensor powers of $L$, the asymptotics of the composition of these symbols leads to the star product of a deformation quantization with separation of variables on $TM$ corresponding to some pseudo-Kaehler structure on $TM$. Surprisingly, this star product is intimately related to the formal symplectic groupoid with separation of variables over $M$. We extend the star product on $TM$ to generalized functions supported on the zero section of $TM$. The resulting algebra of generalized functions contains an idempotent element which can be thought of as a natural counterpart of the Bergman projection operator. Using this idempotent, we define an algebra of Toeplitz elements and show that it is naturally isomorphic to the algebra of Berezin-Toeplitz deformation quantization on $M$.


title: Invariant manifold reduction for stochastic dynamical systems

abstract: Invariant manifolds facilitate the understanding of nonlinear stochastic dynamics. When an invariant manifold is represented approximately by a graph for example, the whole stochastic dynamical system may be reduced or restricted to this manifold. This reduced system may provide valuable dynamical information for the original system. The authors have derived an invariant manifold reduction or restriction principle for systems of Stratonovich or Ito stochastic differential equations. Two concepts of invariance are considered for invariant manifolds. The first invariance concept is in the framework of cocycles -- an invariant manifold being a random set. The dynamical reduction is achieved by investigating random center manifolds. The second invariance concept is in the sense of almost sure -- an invariant manifold being a deterministic set which is not necessarily attracting. The restriction of the original stochastic system on this deterministic local invariant manifold is still a stochastic system but with reduced dimension.


title: On the topology of the space of negatively curved metrics

abstract: We show that the space of negatively curved metrics of a closed negatively curved Riemannian $n$-manifold, $n\geq 10$, is highly non-connected.


title: The Newton Polytope of the Implicit Equation

abstract: We apply tropical geometry to study the image of a map defined by Laurent polynomials with generic coefficients. If this image is a hypersurface then our approach gives a construction of its Newton polytope.


title: Representation Growth for Linear Groups

abstract: We investigate the rate of growth of the function of n which counts the number of complex irreducible representations of a fixed group of degree less than or equal to n. The emphasis is on linear groups, especially compact real and p-adic Lie groups arithmetic groups.


title: A note on genus one fibered knots in lens spaces

abstract: Supose that $Y$ is a lens space with $|H_1(Y; \mathbb{Z})|$ prime, and $Y$ does not contain a genus one fibered knot. We show that $Y$ contains a knot whose exterior is a once-punctured torus bundle if and only if $Y$ is the result of $p/q$-surgery on the trefoil. This partially answers a question posed by Ken Baker in a paper in which he gives a complete classification of genus one fibered knots contained in lens spaces. Combining Baker's classification with Moser's characterization of lens space surgeries on the trefoil, we generate an infinite family of lens spaces which do not contain any knot whose exterior is a once-punctured torus bundle.


title: Smooth toric Fano five-folds of index two

abstract: In this paper, we classify smooth toric Fano 5-folds of index 2. There exist exactly 10 smooth toric Fano 5-folds of index 2 up to isomorphisms.


title: The moduli space of n points on the line is cut out by simple quadrics when n is not six

abstract: A central question in invariant theory is that of determining the relations among invariants. Geometric invariant theory quotients come with a natural ample line bundle, and hence often a natural projective embedding. This question translates to determining the equations of the moduli space under this embedding. This note deals with one of the most classical quotients, the space of ordered points on the projective line. We show that under any linearization, this quotient is cut out (scheme-theoretically) by a particularly simple set of quadric relations, with the single exception of the Segre cubic threefold (the space of six points with equal weight). Unlike many facts in geometric invariant theory, these results (at least for the stable locus) are field-independent, and indeed work over the integers.


title: Nielsen number is a knot invariant

abstract: We show that the Nielsen number of a map is a knot invariant via representation variety


title: A Deodhar type stratification on the double flag variety

abstract: We describe a stratification on the double flag variety $G/B^+\times G/B^-$ of a complex semisimple algebraic group $G$ analogous to the Deodhar stratification on the flag variety $G/B^+$, which is a refinement of the stratification into orbits both for $B^+\times B^-$ and for the diagonal action of $G$, just as Deodhar's stratification refines the orbits of $B^+$ and $B^-$. We give a coordinate system on each stratum, and show that all strata are coisotropic subvarieties. Also, we discuss possible connections to the positive and cluster geometry of $G/B^+\times G/B^-$, which would generalize results of Fomin and Zelevinsky on double Bruhat cells and Marsh and Rietsch on double Schubert cells.


title: Bounded m-ary Patch-Width Are Equivalent For m > 2

abstract: We consider the notion of bounded m-ary patch-width and its very close relative m-constructible. We show that the notions of m-constructibility all coincide for m>2, while 1-constructibility is a weaker notion. The same holds for bounded patch-width. The cace m=2 is left open.


title: Asymptotic dimension and uniform embeddings

abstract: We show that the type function of a space with finite asymptotic dimension estimates its Hilbert (or any $l^p$) compression. The method allows to obtain the lower bound of the compression of the lamplighter group $Z\wr Z$, which has infinite asymptotic dimension.


title: Towards a skew lattice approach to quantum (computational) logic

abstract: In quantum mechanics, each observable is assigned a collection of projections. Two observables are compatible (can be measured simultaneously) if and only if any two projections that are assigned to them commute. This led to the study of noncommuting sets of idempotents which further led to the skew lattice theory that was founded and explored by Jonathan Leech. In the present paper we shall see how noncommuting projections can be regarded as generators of a skew lattice.


title: Non parametric threshold estimation for models with stochastic diffusion coefficients and jumps

abstract: We consider a stochastic process driven by a diffusion and jumps. We devise a technique, which is based on a discrete record of observations, for identifying the times when jumps larger than a suitably defined threshold occurred. The technique allows also jump size estimation. We prove the consistency of a nonparametric estimator of the integrated infinitesimal variance of the process continuous part when the jump component with infinite activity is Levy. Central limit results are proved in the case where the jump component has finite activity. Some simulations illustrate the reliability of the methodology in finite samples.


title: A new class ${\hat o}_N$ of statistical models: Transfer matrix eigenstates, chain Hamiltonians, factorizable $S$-matrix

abstract: Statistical models corresponding to a new class of braid matrices ($\hat{o}_N; N\geq 3$) presented in a previous paper are studied. Indices labeling states spanning the $N^r$ dimensional base space of $T^{(r)}(\theta)$, the $r$-th order transfer matrix are so chosen that the operators $W$ (the sum of the state labels) and (CP) (the circular permutation of state labels) commute with $T^{(r)}(\theta)$. This drastically simplifies the construction of eigenstates, reducing it to solutions of relatively small number of simultaneous linear equations. Roots of unity play a crucial role. Thus for diagonalizing the 81 dimensional space for N=3, $r=4$, one has to solve a maximal set of 5 linear equations. A supplementary symmetry relates invariant subspaces pairwise ($W=(r,Nr)$ and so on) so that only one of each pair needs study. The case N=3 is studied fully for $r=(1,2,3,4)$. Basic aspects for all $(N,r)$ are discussed. Full exploitation of such symmetries lead to a formalism quite different from, possibly generalized, algebraic Bethe ansatz. Chain Hamiltonians are studied. The specific types of spin flips they induce and propagate are pointed out. The inverse Cayley transform of the YB matrix giving the potential leading to factorizable $S$-matrix is constructed explicitly for N=3 as also the full set of $\hat{R}tt$ relations. Perspectives are discussed in a final section.


title: Convex cones and SAGBI bases of permutation invariants

abstract: Let G be a permutation group acting on {1,...,n}, and < be any admissible term order on the polynomial ring K[x_1,...,x_n]. We prove that the invariant ring K[x_1,...,x_n]^G of G has a finite SAGBI basis if, and only if, G is generated by reflections.


title: Geometric structure in the representation theory of p-adic groups

abstract: We conjecture the existence of a simple geometric structure underlying questions of reducibility of parabolically induced representations of reductive p-adic groups.


title: Multiblock Grid Generation for Simulations in Geological Formations

abstract: Simulating fluid flow in geological formations requires mesh generation, lithology mapping to the cells, and computing geometric properties such as normal vectors and volume of cells. The purpose of this research work is to compute and process the geometrical information required for performing numerical simulations in geological formations. We present algebraic techniques, named Transfinite Interpolation, for mesh generation. Various transfinite interpolation techniques are derived from 1D projection operators. Many geological formations such as the Utsira formation (Torp and Gale, 2004; Khattri, Hellevang, Fladmark and Kvamme, 2006) and the Snohvit gas field (Maldal and Tappel, 2004) can be divided into layers or blocks based on the geometrical or lithological properties of the layers. We present the concept of block structured mesh generation for handling such formations.


title: Cartan Calculus on the Quantum Space ${\cal R}_q^{3}$

abstract: To give a Cartan calculus on the extended quantum 3d space, the noncommutative differential calculus on the extended quantum 3d space is extended by introducing inner derivations and Lie derivatives.


title: Groups of Intermediate Growth: an Introduction for Beginners

abstract: We present an accessible introduction to basic results on groups of intermediate growth.


title: Moduli of linear and abelian categories

abstract: Linear categories naturally have several identification relations : isomorphisms, categorical equivalences and Morita equivalences. In this thesis, we construct the classifying stacks for these three relations ($\ukcatiso$, $\ukcateq$, $\ukcatmor$) together with the classifying stack of abelian categories ($\ukab$), the originality of the subject being that, apart from the first one, these are higher stacks. The principal result is that, under some finiteness assumptions, these stacks are geometric in the sense of C. Simpson. In particular, one recover the Hochschild cohomology of a category $C$ as the tangent complex, i.e. the object classifying first order deformations of $C$, of these stacks at the point defined by $C$. Moreover, there exists a natural sequence of surjective morphisms of stacks : $$\ukcatiso \tto \ukcateq \tto \ukcatmor \tto \ukab$$ for which we prove that the middle one is etale, and the right one is an equivalence.


title: Bernoulli measures for the Teichmueller flow

abstract: Let S be a nonexceptional oriented surface of finite type. We construct an uncountable family of probability measures on the space of area on holomorphic quadratic differentials over the moduli space for S containing the usual Lebesgue measure. These measures are invariant under the Teichmueller geodesic flow, and they are mixing, absolutely continuous with respect to the stable and unstable foliation adn exponentially recurrent to a compact set. Finally we show that the critical exponent of the mapping class group equals the dimension of the Teichmueller space for S. Moreover, this critical exponent coincides with the the logarithmic asymptotic of the number of closed Teichmueller geodesics in moduli space which meet a sufficiently large compact set.


title: Erlangen Program at Large-0: Starting with the group SL(2,R)

abstract: This is an easy-reading which describes few geometric invariants which can be obtained from the group SL(2,R) within the Erlangen program of F.Klein.


title: Grid Generation and Adaptation by Functionals

abstract: Accuracy of a simulation is strongly depend on the grid quality. Here, quality means orthogonality at the boundaries and quasi-orthogonality within the critical regions, smoothness, bounded aspect ratios, solution adaptive behaviour, etc. We review various functionals for generating high quality structured quadrilateral meshes in two dimensional domains. Analysis of Winslow and Modified Liao functionals are presented. Numerical examples are also presented to support our theoretical analysis. We will demonstrate the use of the Area functional for generating adaptive quadrilateral meshes.


title: Applications of Equivariant Cohomology

abstract: We will discuss the equivariant cohomology of a manifold endowed with the action of a Lie group. Localization formulae for equivariant integrals are explained by a vanishing theorem for equivariant cohomology with generalized coefficients. We then give applications to integration of characteristic classes on symplectic quotients and to indices of transversally elliptic operators. In particular, we state a conjecture for the index of a transversally elliptic operator linked to a Hamiltonian action. In the last part, we describe algorithms for numerical computations of values of multivariate spline functions and of vector-partition functions of classical root systems.


title: The Probability of Choosing Primitive Sets

abstract: We generalize a theorem of Nymann that the density of points in Z^d that are visible from the origin is 1/zeta(d), where zeta(a) is the Riemann zeta function 1/1^a + 1/2^a + 1/3^a + ... A subset S of Z^d is called primitive if it is a Z-basis for the lattice composed of the integer points in the R-span of S, or, equivalently, if S can be completed to a Z-basis of Z^d. We prove that if m points in Z^d are chosen uniformly and independently at random from a large box, then as the size of the box goes to infinity, the probability that the points form a primitive set approaches 1/[\zeta(d)\zeta(d-1)...zeta(d-m+1)].


title: Representation theories of some towers of algebras related to the symmetric groups and their Hecke algebras

abstract: We study the representation theory of three towers of algebras which are related to the symmetric groups and their Hecke algebras. The first one is constructed as the algebras generated simultaneously by the elementary transpositions and the elementary sorting operators acting on permutations. The two others are the monoid algebras of nondecreasing functions and nondecreasing parking functions. For these three towers, we describe the structure of simple and indecomposable projective modules, together with the Cartan map. The Grothendieck algebras and coalgebras given respectively by the induction product and the restriction coproduct are also given explicitly. This yields some new interpretations of the classical bases of quasi-symmetric and noncommutative symmetric functions as well as some new bases.


title: Nearly integrable SO(3)-structures on 5-dimensional Lie groups

abstract: Recent work Bobienski-Nurowski on 5-dimensional Riemannian manifolds with an SO(3) structure prompts us to investigate which Lie groups admit such a geometry. The case in which the SO(3) structure admits a compatible connection with torsion is considered. This leads to a classification under special behaviour of the onnection, which enables to recover all known examples, plus others bearing torsion of pure type. Suggestive relations with special structures in other dimensions are highlighted, with attention to eight-dimensional SU(3) geometry.


title: Foliations and Polynomial Diffeomorphisms of $\mathbb{R}^{3}$

abstract: Let $Y=(f,g,h):\mathbb{R}^{3} \to \mathbb{R}^{3}$ be a $C^{2}$ map and let $\spec(Y)$ denote the set of eigenvalues of the derivative $DY_p$, when $p$ varies in $\mathbb{R}^3$. We begin proving that if, for some $\epsilon>0,$ $\spec(Y)\cap (-\epsilon,\epsilon)=\emptyset,$ then the foliation $\mathcal{F}(k),$ with $k\in \{f,g,h\},$ made up by the level surfaces $\{k={\rm constant}\},$ consists just of planes. As a consequence, we prove a bijectivity result related to the three-dimensional case of Jelonek's Jacobian Conjecture for polynomial maps of $\mathbb{R}^n.$


title: On the structure of Calabi-Yau categories with a cluster tilting subcategory

abstract: We prove that for $d \geq 2$, an algebraic $d$-Calabi-Yau triangulated category endowed with a $d$-cluster tilting subcategory is the stable category of a DG category which is perfectly $(d+1)$-Calabi-Yau and carries a non degenerate $t$-structure whose heart has enough projectives.


title: Semistable Fibrations on Rational Surfaces with at least 6 Singular Fibers

abstract: This paper has been withdrawn. A completely rewritten new version will be soon submitted. In order to obtain the inequality $6(g-1) \le K_f^2$ some additional conditions must be imposed on the fibration, involving the number on certain exceptional curves.


title: On braxtopes, a class of generalized simplices

abstract: In a d-simplex every facet is a (d-1)-simplex. We consider as generalized simplices other combinatorial classes of polytopes, all of whose facets are in the class. Cubes and multiplexes are two such classes of generalized simplices. In this paper we study a new class, braxtopes, which arise as the faces of periodically-cyclic Gale polytopes. We give a geometric construction for these polytopes and various combinatorial properties.


title: Space-Time Foam Differential Algebras of Generalized Functions and a Global Cauchy-Kovalevskaia Theorem

abstract: The new global version of the Cauchy-Kovalevskaia theorem presented here is a strengthening and extension of the regularity of similar global solutions obtained earlier by the author. Recently the space-time foam differential algebras of generalized functions with dense singularities were introduced. A main motivation for these algebras comes from the so called space-time foam structures in General Relativity, where the set of singularities can be dense. A variety of applications of these algebras have been presented elsewhere, including in de Rham cohomology, Abstract Differential Geometry, Quantum Gravity, etc. Here a global Cauchy-Kovalevskaia theorem is presented for arbitrary analytic nonlinear systems of PDEs. The respective global generalized solutions are analytic on the whole of the domain of the equations considered, except for singularity sets which are closed and nowhere dense, and which upon convenience can be chosen to have zero Lebesgue measure. In view of the severe limitations due to the polynomial type growth conditions in the definition of Colombeau algebras, the class of singularities such algebras can deal with is considerably limited. Consequently, in such algebras one cannot even formulate, let alone obtain, the global version of the Cauchy-Kovalevskaia theorem presented in this paper.


title: An isoperimetric inequality on the $\ell_p$ balls

abstract: The normalised volume measure on the $\ell_p^n$ unit ball ($1\leq p\leq 2$) satisfies the following isoperimetric inequality: the boundary measure of a set of measure $a$ is at least $cn^{1/p}\tilde{a}\log^{1-1/p}(1/\tilde{a})$, where $\tilde{a}=\min(a,1-a)$.


title: Convergence rates of random walk on irreducible representations of finite groups

abstract: Random walk on the set of irreducible representations of a finite group is investigated. For the symmetric and general linear groups, a sharp convergence rate bound is obtained and a cutoff phenomenon is proved. As related results, an asymptotic description of Plancherel measure of the finite general linear groups is given, and a connection of these random walks with quantum computing is noted.


title: Mirror couplings and Neumann eigenfunctions

abstract: We analyze a pair of reflected Brownian motions in a planar domain $D$, for which the increments of both processes form mirror images of each other when the processes are not on the boundary. We show that for $D$ in a class of smooth convex planar domains, the two processes remain ordered forever, according to a certain partial order. This is used to prove that the second eigenvalue is simple for the Laplacian with Neumann boundary conditions for the same class of domains.


title: Generalized geometry, equivariant $\bar{\partial}\partial$-lemma, and torus actions

abstract: In this paper we first consider the Hamiltonian action of a compact connected Lie group on an $H$-twisted generalized complex manifold $M$. Given such an action, we define generalized equivariant cohomology and generalized equivariant Dolbeault cohomology. If the generalized complex manifold $M$ satisfies the $\bar{\partial}\partial$-lemma, we prove that they are both canonically isomorphic to $(S\g^*)^G\otimes H_H(M)$, where $(S\g^*)^G$ is the space of invariant polynomials over the Lie algebra $\g$ of $G$, and $H_H(M)$ is the $H$-twisted cohomology of $M$. Furthermore, we establish an equivariant version of the $\bar{\partial}\partial$-lemma, namely $\bar{\partial}_G\partial$-lemma, which is a direct generalization of the $d_G\delta$-lemma for Hamiltonian symplectic manifolds with the Hard Lefschetz property. Second we consider the torus action on a compact generalized K\"ahler manifold which preserves the generalized K\"ahler structure and which is equivariantly formal. We prove a generalization of a result of Carrell and Lieberman in generalized K\"ahler geometry. We then use it to compute the generalized Hodge numbers for non-trivial examples of generalized K\"ahler structures on $\C\P^n$ and $\CP^n$ blown up at a fixed point.


title: Two remarks on solutions of Gross-Pitaevskii equations on Zhidkov spaces

abstract: We consider the so-called Gross-Pitaevskii equations supplemented with non-standard boundary conditions. We prove two mathematical results concerned with the initial value problem for these equations in Zhidkov spaces.


title: Rigorous Asymptotics For The Elecric Field In TM Mode At Mid-Frequency In A Bidimensional Medium With Thin Layer

abstract: Consider an ambient medium and a heterogeneous entity composed of a bidimensional material surrounded by a thin membrane. The electromagnetic constants of these materials are different. By analogy with biological cells, we call this entity a cell. We study the asymptotic behavior of the electric field in the transverse magnetic (TM) mode, when the thickness of the membrane tends to zero. The membrane is of thickness of hf(s), with s a curvilinear coordinate. We provide a rigorous derivation of the first two terms of the asymptotic expansion for h tending to zero. In the membrane, these terms are given explicitly in local coordinates in terms of the boundary data and of the function f, while outside the membrane they are the solutions of a scalar Helmholtz equation with appropriate boundary and transmissions conditions given explicitly in terms of the boundary data and of the above function f. We prove that the remainder terms are of order O(h3/2). In addition, if the complex dielectric permittivity in the membrane, denoted by z_m, tends to zero faster than h, we give the difference between the exact solution and the above asymptotic with z_m = 0; it is of order O(h^{3/2}+|z_m|).


title: Superconnection and family Bergman kernels

abstract: We establish an asymptotic expansion for families of Bergman kernels. The key idea is to use the superconnection as in the local family index theorem.


title: Finitude pour les representations lisses de groupes p-adiques

abstract: We study basic properties of the category of smooth representations of a p-adic group G with coefficients in any commutative ring R in which p is invertible. Our main purpose is to prove that Hecke algebras are noetherian whenever R is ; a question left open since Bernstein's fundamental work for R=C. In a first step, we prove that this noetherian property would follow from a generalization of the so-called Bernstein's second adjointness property between parabolic functors for complex representations. Then, to attack this second adjointness, we introduce and study "parahoric functors" between representations of groups of integral points of smooth integral models of G and of their "Levi" subgroups. Applying our general study to Bruhat-Tits parahoric models, we get second adjointness for minimal parabolic groups. For non-minimal parabolic subgroups, we have to restrict to classical and linear groups, and use smooth models associated with Bushnell-Kutzko and Stevens semi-simple characters. According to recent announcements by Kim and Yu, the same strategy should also work for "tame groups", using Yu's generic characters.


title: Law of Large Numbers for products of random matrices with coefficients in the max-plus semi-ring

abstract: We analyze the asymptotic behavior of random variables $x(n,x\_0)$ defined by $x(0,x\_0)=x\_0$ and $x(n+1,x\_0)=A(n)x(n,x\_0)$, where $\sAn$ is a stationary and ergodic sequence of random matrices with entries in the semi-ring \mbox{$\R\cup\{-\infty\}$} whose addition is the $\max$ and whose multiplication is $+$. Such sequences modelize a large class of discrete event systems, among which timed event graphs, 1-bounded Petri nets, some queuing networks, train or computer networks. We give necessary conditions for $(\frac{1}{n}x(n,x\_0))\_{n\in\N}$ to converge almost surely. Then, we prove a general scheme to give partial converse theorems. When $\max\_{A\_{ij}(0)\neq -\infty}|A\_{ij}(0)|$ is integrable, it allows us: - to give a necessary and sufficient condition for the convergence of $(\frac{1}{n}x(n,0))\_{n\in\N}$ when the sequence $(A(n))\_{n\in\N}$ is i.i.d., - to prove that, if $(A(n) )\_{n\in\N}$ satisfy a condition of reinforced ergodicity and a condition of fixed structure (i.e. $\P(A\_{ij}(0)=-\infty)\in\{0,1\}$), then $(\frac{1}{n}x(n,0))\_{n\in\N}$ converges almost-surely, - and to reprove the convergence of $(\frac{1}{n}x(n,0))\_{n\in\N}$ if the diagonal entries are never $-\infty$.


title: A linear dispersive mechanism for numerical error growth: spurious caustics

abstract: A linear dispersive mechanism for error focusing in polychromatic solutions is identified. This local error pile-up corresponds to the existence of spurious caustics, which are allowed by the dispersive nature of the numerical error. From the mathematical point of view, spurious caustics are related to extrema of the numerical group velocity. Several popular schemes are analyzed and are shown to admit spurious caustics. It is also observed that caustic-free schemes can be defined, like the Crank-Nicolson scheme.


title: On the zeros of Eisenstein series for $\Gamma_0^* (2)$ and $\Gamma_0^* (3)$

abstract: We locate all of the zeros of the Eisenstein series associated with the Fricke groups $\Gamma_0^{*}(2)$ and $\Gamma_0^{*}(3)$ in their fundamental domains by applying and expanding the method of F. K. C. Rankin and H. P. F. Swinnerton-Dyer (``{\it On the zeros of Eisenstein series}'', 1970).


title: On the zeros of Eisenstein series for $\Gamma_0^* (5)$ and $\Gamma_0^* (7)$

abstract: We locate almost all the zeros of the Eisenstein series associated with the Fricke groups of level 5 and 7 in their fundamental domains by applying and extending the method of F. K. C. Rankin and H. P. F. Swinnerton-Dyer (1970). We also use the arguments of some terms of the Eisenstein series in order to improve existing error bounds.


title: Hyperdeterminantal calculations of Selberg's and Aomoto's integrals

abstract: The hyperdeteminants considered here are the simplest analogues of determinants for higher rank tensors which have been defined by Cayley, and apply only to tensors with an even number of indices. We have shown in a previous article that the calculation of certain multidimensional integrals could be reduced to the evaluation of hyperdeterminants of Hankel type. Here, we carry out this computation by purely algebraic means in the cases of Selberg's and Aomoto's integrals.


title: Extending the scalars of minimizations

abstract: In the classical theory of formal languages, finite state automata allow to recognize the words of a rational subset of $\Sigma^*$ where $\Sigma$ is a set of symbols (or the alphabet). Now, given a semiring $(\K,+,.)$, one can construct $\K$-subsets of $\Sigma^*$ in the sense of Eilenberg, that are alternatively called noncommutative formal power series for which a framework very similar to language theory has been constructed Particular noncommutative formal power series, which are called rational series, are the behaviour of a family of weighted automata (or $\K$-automata). In order to get an efficient encoding, it may be interesting to point out one of them with the smallest number of states. Minimization processes of $\K$-automata already exist for $\K$ being: {\bf a)} a field, {\bf b)} a noncommutative field, {\bf c)} a PID . When $\K$ is the bolean semiring, such a minimization process (with isomorphisms of minimal objects) is known within the category of deterministic automata. Minimal automata have been proved to be isomorphic in cases {\bf (a)} and {\bf (b)}. But the proof given for (b) is not constructive. In fact, it lays on the existence of a basis for a submodule of $\K^n$. Here we give an independent algorithm which reproves this fact and an example of a pair of nonisomorphic minimal automata. Moreover, we examine the possibility of extending {\bf (c)}. To this end, we provide an {\em Effective Minimization Process} (or {\em EMP}) which can be used for more general sets of coefficients.


title: Direct and dual laws for automata with multiplicities

abstract: We present here theoretical results coming from the implementation of the package called AMULT (automata with multiplicities in several noncommutative variables). We show that classical formulas are ``almost every time'' optimal, characterize the dual laws preserving rationality and also relators that are compatible with these laws.


title: La factorisation de $x^{p^l}-x\in{\mathbb F}\_p[x]$ selon la trace

abstract: We present a few factorizations of polynomials over finite fields. These factorizations are related to traces, compositions of polynomials and binomial coefficients. As a corollary we obtain a description of all irreducible polynomials $Q\in {\mathbb F}\_2[x]$ such that $Q(1+x+x^2)$ (or $Q(x+x^2)$) remain irreducible.


title: On a Generalisation of a Lehmer Problem

abstract: We consider a generalisation of the classical Lehmer problem about the distribution of modular inverses in arithmetic progression, introduced by E. Alkan, F. Stan and A. Zaharescu. Using bounds of sums of multiplicative characters instead of traditionally applied to this kind of problem Kloosterman sums, we improve their results in several directions.


title: Buchsbaum homogeneous algebras with minimal multiplicity

abstract: In this paper we first give a lower bound on multiplicities for Buchsbaum homogeneous $k$-algebras $A$ in terms of the dimension $d$, the codimension $c$, the initial degree $q$, and the length of the local cohomology modules of $A$. Next, we introduce the notion of Buchsbaum $k$-algebras with minimal multiplicity of degree $q$, and give several characterizations for those rings. In particular, we will show that those algebras have linear free resolutions. Further, we will give many examples of those algebras.


title: Polya-Schur master theorems for circular domains and their boundaries

abstract: We characterize all linear operators on finite or infinite-dimensional polynomial spaces that preserve the property of having the zero set inside a prescribed region $\Omega\subseteq \mathbb{C}$ for arbitrary closed circular domains $\Omega$ (i.e., images of the closed unit disk under a M\"obius transformation) and their boundaries. This provides a natural framework for dealing with several long-standing fundamental problems, which we solve in a unified way. In particular, for $\Omega=\mathbb{R}$ our results settle open questions that go back to Laguerre and P\'olya-Schur.


title: Cohomology of Categorical Self-Distributivity

abstract: We define self-distributive structures in the categories of coalgebras and cocommutative coalgebras. We obtain examples from vector spaces whose bases are the elements of finite quandles, the direct sum of a Lie algebra with its ground field, and Hopf algebras. The self-distributive operations of these structures provide solutions of the Yang--Baxter equation, and, conversely, solutions of the Yang--Baxter equation can be used to construct self-distributive operations in certain categories. Moreover, we present a cohomology theory that encompasses both Lie algebra and quandle cohomologies, is analogous to Hochschild cohomology, and can be used to study deformations of these self-distributive structures. All of the work here is informed via diagrammatic computations.


title: The model completion of the theory of modules over finitely generated commutative algebras

abstract: We find the model completion of the theory modules over $A$, where $A$ is a finitely generated commutative algebra over a field $K$. This is done in a context where the field $K$ and the module are represented by sorts in the theory, so that constructible sets associated with a module can be interpreted in this language. The language is expanded by additional sorts for the Grassmanians of all powers of $K^n$, which are necessary to achieve quantifier elimination. The result turns out to be that the model completion is the theory of a certain class of ``big'' injective modules. In particular, it is shown that the class of injective modules is itself elementary. We also obtain an explicit description of the types in this theory.


title: Congruences Compatible with the Shuffle Product

abstract: This article is devoted to the study of monoids which can be endowed with a shuffle product with coefficients in a semiring. We show that, when the multiplicities do not belong to a ring with prime characteristic, such a monoid is a monoid of traces. When the characteristic is prime, we give a decomposition of the congruences $\equiv$ (or relators $R$) such that $A^*/\_\equiv=< A; R>$ admits a shuffle product. This decomposition involves only addition of primitive elements to the successive quotients. To end with, we study the compatibility with Magnus transformation and examine the case of congruences which are homogeneous for some weight function. The existence of such a weight function is also showed for congruences of depth one.


title: Transitive factorizations of free partially commutative monoids and Lie algebras

abstract: Let $\M(A,\theta)$ be a free partially commutative monoid. We give here a necessary and sufficient condition on a subalphabet $B\subset A$ such that the right factor of a bisection $\M(A,\theta)=\M(B,\theta\_B).T$ be also partially commutative free. This extends strictly the (classical) elimination theory on partial commutations and allows to construct new factorizations of $\M(A,\theta)$ and associated bases of $L\_K(A,\theta)$.


title: Orbifold cohomology of hypertoric varieties

abstract: Hypertoric varieties are hyperk\"ahler analogues of toric varieties, and are constructed as abelian hyperk\"ahler quotients of a quaternionic affine space. Just as symplectic toric orbifolds are determined by labelled polytopes, orbifold hypertoric varieties are intimately related to the combinatorics of hyperplane arrangements. By developing hyperk\"ahler analogues of symplectic techniques developed by Goldin, Holm, and Knutson, we give an explicit combinatorial description of the Chen-Ruan orbifold cohomology of an orbifold hypertoric variety in terms of the combinatorial data of a rational cooriented weighted hyperplane arrangement. We detail several explicit examples, including some computations of orbifold Betti numbers (and Euler characteristics).


title: Classification of embeddings below the metastable dimension

abstract: We develop a new approach to the classical problem on isotopy classification of embeddings of manifolds into Euclidean spaces. This approach involves studying of a new embedding invariant, of almost-embeddings and of smoothing, as well as explicit constructions of embeddings. Using this approach we obtain complete concrete classification results below the metastable dimension range, i.e. where the configuration spaces invariant of Haefliger-Wu is incomplete. Note that all known complete concrete classification results, except for the Haefliger classification of links and smooth knots, can be obtained using the Haefliger-Wu invariant. More precisely, we classify embeddings S^p x S^{2l-1} -> R^{3l+p} for p<l in terms of homotopy groups of Stiefel manifolds (up to minor indeterminancies for p>1 and for the smooth category). A particular case states that the set of piecewise-linear isotopy classes of piecewise-linear embeddings (or, equivalently, the set of almost smooth isotopy classes of smooth embeddings) S^1 x S^3 -> R^7 has a geometrically defined group structure, and with this group structure is isomorphic to Z + Z + Z_2. We exhibit an example disproving the conjecture proposed by Viro and others on the completeness of the multiple Haefliger-Wu invariant for classification of PL embeddings of connected manifolds in codimension at least 3.


title: Coherence for Categorified Operadic Theories

abstract: It has long been known that every weak monoidal category A is equivalent via monoidal functors and monoidal natural transformations to a strict monoidal category st(A). We generalise the definition of weak monoidal category to give a definition of weak P-category for any strongly regular (operadic) theory P, and show that every weak P-category is equivalent via P-functors and P-transformations to a strict P-category. This strictification functor is then shown to have an interesting universal property.


title: Some properties of the value function and its level sets for affine control systems with quadratic cost

abstract: Let $T>0$ fixed. We consider the optimal control problem for analytic affine systems: $\ds{\dot{x}=f\_0(x)+\sum\_{i=1}^m u\_if\_i(x)}$, with a cost of the form: $\ds{C(u)=\int\_0^T \sum\_{i=1}^m u\_i^2(t)dt}$. For this kind of systems we prove that if there are no minimizing abnormal extremals then the value function $S$ is subanalytic. Secondly we prove that if there exists an abnormal minimizer of corank 1 then the set of end-points of minimizers at cost fixed is tangent to a given hyperplane. We illustrate this situation in sub-Riemannian geometry.


title: Asymptotics of accessibility sets along an abnormal trajectory

abstract: We describe precisely, under generic conditions, the contact of the accessibility set at time $T$ with an abnormal direction, first for a single-input affine control system with constraint on the control, and then as an application for a sub-Riemannian system of rank 2. As a consequence we obtain in sub-Riemannian geometry a new splitting-up of the sphere near an abnormal minimizer $\gamma$ into two sectors, bordered by the first Pontryagin's cone along $\gamma$, called the $\xLinfty$-sector and the $\xLtwo$-sector. Moreover we find again necessary and sufficient conditions of optimality of an abnormal trajectory for such systems, for any optimization problem.


title: On the role of abnormal minimizers in sub-Riemannian geometry

abstract: Consider a sub-Riemannian geometry $(U,D,g)$ where $U$ is a neighborhood at 0 in $\R^n,$ $D$ is a rank-2 smooth $(C^\infty $ or $C^\omega)$ distribution and $g$ is a smooth metric on $D$. The objective of this article is to explain the role of abnormal minimizers in SR-geometry. It is based on the analysis of the Martinet SR-geometry.


title: From left modules to algebras over an operad: application to combinatorial Hopf algebras

abstract: The purpose of this paper is two fold: we study the behaviour of the forgetful functor from S-modules to graded vector spaces in the context of algebras over an operad and derive from this theory the construction of combinatorial Hopf algebras. As a byproduct we obtain freeness and cofreeness results for these Hopf algebras. Let O denote the forgetful functor from S-modules to graded vector spaces. Left modules over an operad P are treated as P-algebras in the category of S-modules. We generalize the results obtained by Patras and Reutenauer in the associative case to any operad P: the functor O sends P-algebras to P-algebras. If P is a Hopf operad then O sends Hopf P-algebras to Hopf P-algebras. If the operad P is regular one gets two different structures of Hopf P-algebras in the category of graded vector spaces. We develop the notion of unital infinitesimal P-bialgebra and prove freeness and cofreeness results for Hopf algebras built from Hopf operads. Finally, we prove that many combinatorial Hopf algebras arise from our theory, as Hopf algebras on the faces of the permutohedra and associahedra.


title: Quotient isomorphism invariants of a finitely generated Coxeter group

abstract: In this paper we describe a family of isomorphism invariants of a finitely generated Coxeter group W. Each of these invariants is the isomorphism type of a quotient group W/N of W by a characteristic subgroup N. The virtue of these invariants is that W/N is also a Coxeter group. For some of these invariants, the isomorphism problem of W/N is solved and so we obtain isomorphism invariants that can be effectively used to distinguish isomorphism types of finitely generated Coxeter groups.


title: Feedback stabilization for Oseen fluid equations:A stochastic approach

abstract: The authors consider stochastic aspects of the stabilization problem for two and three-dimensional Oseen equations with help of feedback control defined on a part of the fluid boundary. Stochastic issues arise when inevitable unpredictable fluctuations in numerical realization of stabilization procedures are taken into account and they are supposed to be independent identically distributed random variables. Under this assumption the solution to the stabilization problem obtained via boundary feedback control can be described by a Markov chain or a discrete random dynamical system. It is shown that this random dynamical system possesses a unique, exponentially attracting, invariant measure, namely, this random dynamical system is ergodic. This gives adequate statistical description of the stabilization process on the stage when stabilized solution has to be retained near zero (i.e. near unstable state of equilibrium).


title: A construction of lattices for certain hyperbolic buildings

abstract: We construct a nonuniform lattice and an infinite family of uniform lattices in the automorphism group of a hyperbolic building with all links a fixed finite building of rank 2 associated to a Chevalley group. We use complexes of groups and basic facts about spherical buildings.


title: Universal relations on stable map spaces in genus zero

abstract: We introduce a factorization for the map between moduli spaces of stable maps which forgets one marked point. This leads to a study of universal relations in the cohomology of stable map spaces in genus zero.


title: Tautological rings of stable map spaces

abstract: We find a set of generators and relations for the system of extended tautological rings associated to the moduli spaces of stable maps in genus zero, admitting a simple geometrical interpretation. In particular, when the target is $\PP^n$, these give a complete presentation for the cohomology and Chow rings in the cases with/without marked points.


title: Attractors and Time Averages for Random Maps

abstract: Considering random noise in finite dimensional parameterized families of diffeomorphisms of a compact finite dimensional boundaryless manifold M, we show the existence of time averages for almost every orbit of each point of M, imposing mild conditions on the families. Moreover these averages are given by a finite number of physical absolutely continuous stationary probability measures. We use this result to deduce that situations with infinitely many sinks and Henon-like attractors are not stable under random perturbations, e.g., Newhouse's and Colli's phenomena in the generic unfolding of a quadratic homoclinic tangency by a one-parameter family of diffeomorphisms.


title: Infinitely Many Stochastically Stable Attractors

abstract: Let f be a diffeomorphism of a compact finite dimensional boundaryless manifold M exhibiting infinitely many coexisting attractors. Assume that each attractor supports a stochastically stable probability measure and that the union of the basins of attraction of each attractor covers Lebesgue almost all points of M. We prove that the time averages of almost all orbits under random perturbations are given by a finite number of probability measures. Moreover these probability measures are close to the probability measures supported by the attractors when the perturbations are close to the original map f.


title: On the coalgebra description of OCHA

abstract: OCHA is the homotopy algebra of open-closed strings. It can be defined as a sequence of multilinear operations on a pair of DG spaces satisfying certain relations which include the $L_\infty$ relations in one space and the $A_\infty$ relations in the other. In this paper we show that the OCHA structure is intrinsic to the tensor product of the symmetric and tensor coalgebras. We also show how an OCHA can be obtained from $A_\infty$-extesions and define the {\it universal enveloping} $A_\infty$-algebra of an OCHA as an $A_\infty$-extension of the universal enveloping of its $L_\infty$ part by its $A_\infty$ part.


title: Hyperbolic times: frequency versus integrability

abstract: We consider dynamical systems on compact manifolds, which are local diffeomorphisms outside an exceptional set (a compact submanifold). We are interested in analyzing the relation between the integrability (with respect to Lebesgue measure) of the first hyperbolic time map and the existence of positive frequency of hyperbolic times. We show that some (strong) integrability of the first hyperbolic time map implies the existence of a positive Lebesgue measure subset of points with positive frequency of hyperbolic times. We also present an example of a map with positive frequency of hyperbolic times at Lebesgue almost every point but whose first hyperbolic time map is not integrable with respect to the Lebesgue measure.


title: Operator identities relating sonar and Radon transforms in Euclidean space

abstract: We establish new relations which connect Euclidean sonar transforms (integrals taken over spheres with centers in a hyperplane) with classical Radon transforms. The relations, stated as operator identities, allow us to reduce the inversion of sonar transforms to classical Radon inversion.


title: Asymptotically Flat Ricci Flows

abstract: We study Ricci flows on $R^n$, $n\ge 3$, that evolve from asymptotically flat initial data. Under mild conditions on the initial data, we show that the flow exists and remains asymptotically flat for an interval of time. The mass is constant in time along the flow. We then specialize to the case of rotationally symmetric, asymptotically flat initial data containing no embedded minimal hyperspheres. We show that in this case the flow is immortal, remains asymptotically flat, never develops a minimal hypersphere, and converges to flat Euclidean space as the time diverges to infinity. We discuss the behaviour of quasi-local mass under the flow, and relate this to a conjecture in string theory.


title: Classification with Minimax Fast Rates for Classes of Bayes Rules with Sparse Representation

abstract: We construct a classifier which attains the rate of convergence $\log n/n$ under sparsity and margin assumptions. An approach close to the one met in approximation theory for the estimation of function is used to obtain this result. The idea is to develop the Bayes rule in a fundamental system of $L^2([0,1]^d)$ made of indicator of dyadic sets and to assume that coefficients, equal to $-1,0 {or} 1$, belong to a kind of $L^1-$ball. This assumption can be seen as a sparsity assumption, in the sense that the proportion of coefficients non equal to zero decreases as "frequency" grows. Finally, rates of convergence are obtained by using an usual trade-off between a bias term and a variance term.


title: A note on sensitivity of semigroup actions

abstract: It is well known that for a transitive dynamical system (X,f) sensitivity to initial conditions follows from the assumption that the periodic points are dense. This was done by several authors: Banks, Brooks, Cairns, Davis and Stacey, Silverman, and also by Glasner and Weiss. In the latter article Glasner and Weiss established a stronger result (for compact metric systems) which implies that a transitive non-minimal compact metric system (X,f) with dense set of almost periodic points is sensitive. This is true also for group actions as was proved in a recent book of Glasner. Our aim is to generalize these results in the frame of a unified approach for a wide class of topological semigroup actions including one-parameter semigroup actions on Polish spaces.


title: A generalization of Reifenberg's theorem in $R^3$

abstract: In 1960 Reifenberg proved the topological disc property. He showed that a subset of $R^n$ which is well approximated by $m$-dimensional affine spaces at each point and at each (small) scale is locally a bi-H\"older image of the unit ball in $R^m$. In this paper we prove that a subset of $R^3$ which is well approximated by a minimal cone at each point and at each (small) scale is locally a bi-H\"older deformation of a minimal cone. We also prove an analogous result for more general cones in $R^n$


title: Groups, measures, and the NIP

abstract: We discuss measures, invariant measures on definable groups, and genericity, often in an NIP (failure of the independence property) environment. We complete the proof of the third author's conjectures relating definably compact groups $G$ in saturated $o$-minimal structures to compact Lie groups. We also prove some other structural results about such $G$, for example the existence of a left invariant finitely additive probability measure on definable subsets of $G$. We finally introduce a new notion "compact domination" (domination of a definable set by a compact space) and raise some new conjectures in the $o$-minimal case.


title: Arnold Diffusion of the Discrete Nonlinear Schr\"odinger Equation

abstract: In this article, we prove the existence of Arnold diffusion for an interesting specific system -- discrete nonlinear Schr\"odinger equation. The proof is for the 5-dimensional case with or without resonance. In higher dimensions, the problem is open. Progresses are made by establishing a complete set of Melnikov-Arnold integrals in higher and infinite dimensions. The openness lies at the concrete computation of these Melnikov-Arnold integrals. New machineries introduced here into the topic of Arnold diffusion are the Darboux transformation and isospectral theory of integrable systems.


title: Mapping class groups of compression bodies and 3-manifolds

abstract: We analyze the mapping class group of extendible automorphisms of the exterior boundary W of a compression body of dimension 3 or 4, which extend over the compression body (Q,V), where V is the interior boundary. Those that extend as automorphisms of (Q,V) rel V are called discrepant automorphisms, forming the mapping class group of discrepant automorphisms of W in Q. We describe a short exact sequence of these mapping class groups. For an orientable, compact, reducible 3 manifold W, there is a canonical "maximal" 4-dimensional compression body Q whose exterior boundary is W and whose interior boundary is the disjoint union of the irreducible summands of W. We obtain a short exact sequence for the mapping class group of a 3-manifold, which gives the mapping class group of the disjoint union of irreducible summands as a quotient of the entire mapping class group by the group of adjusting automorphisms. The group of discrepant automorphisms is described in terms of generators. The results are useful in a program for classifying automorphisms of compact 3-manifolds in the spirit of Nielsen-Thurston.


title: Solution to the Generalized Champagne Problem on Simultaneous Stabilization of Linear Systems

abstract: The well-known "Generalized Champagne Problem" on simultaneous stabilization of linear systems is solved by using complex analysis \cite{A73,C78,G69,N52,R87} and Blondel's technique \cite{B94,BG93,BGMR94}. We give a complete answer to the open problem proposed by Patel et al. \cite{P99,PDV02}, which automatically includes the solution to the original "Champagne Problem" \cite{BG93,BGMR94,BSVW99,LKZ99,P99,PDV02}. Based on the recent development in automated inequality-type theorem proving \cite{Y98,Y99,YHX01,YX05,YX03}, a new stabilizing controller design method is established. Our numerical examples significantly improve the relevant results in the literature \cite{LKZ99,PDV02}.


title: Universally optimal distribution of points on spheres

abstract: We study configurations of points on the unit sphere that minimize potential energy for a broad class of potential functions (viewed as functions of the squared Euclidean distance between points). Call a configuration sharp if there are m distances between distinct points in it and it is a spherical (2m-1)-design. We prove that every sharp configuration minimizes potential energy for all completely monotonic potential functions. Examples include the minimal vectors of the E_8 and Leech lattices. We also prove the same result for the vertices of the 600-cell, which do not form a sharp configuration. For most known cases, we prove that they are the unique global minima for energy, as long as the potential function is strictly completely monotonic. For certain potential functions, some of these configurations were previously analyzed by Yudin, Kolushov, and Andreev; we build on their techniques. We also generalize our results to other compact two-point homogeneous spaces, and we conclude with an extension to Euclidean space.


title: The D_4 root system is not universally optimal

abstract: We prove that the D_4 root system (equivalently, the set of vertices of the regular 24-cell) is not a universally optimal spherical code. We further conjecture that there is no universally optimal spherical code of 24 points in S^3, based on numerical computations suggesting that every 5-design consisting of 24 points in S^3 is in a 3-parameter family (which we describe explicitly, based on a construction due to Sali) of deformations of the D_4 root system.


title: Uniqueness of the (22,891,1/4) spherical code

abstract: We use techniques of Bannai and Sloane to give a new proof that there is a unique (22,891,1/4) spherical code; this result is implicit in a recent paper by Cuypers. We also correct a minor error in the uniqueness proof given by Bannai and Sloane for the (23,4600,1/3) spherical code.


title: Convolution of convex valuations

abstract: We show that the natural "convolution" on the space of smooth, even, translation-invariant convex valuations on a euclidean space $V$, obtained by intertwining the product and the duality transform of S. Alesker, may be expressed in terms of Minkowski sum. Furthermore the resulting product extends naturally to odd valuations as well. Based on this technical result we give an application to integral geometry, generalizing Hadwiger's additive kinematic formula for $SO(V)$ to general compact groups $G \subset O(V)$ acting transitively on the sphere: it turns out that these formulas are in a natural sense dual to the usual (intersection) kinematic formulas.


title: On normal K3 surfaces

abstract: We determine all possible configurations of rational double points on complex normal algebraic K3 surfaces, and on normal supersingular K3 surfaces in characteristic p > 19.


title: Blocks of cyclotomic Hecke algebras

abstract: This paper classifies the blocks of the cyclotomic Hecke algebras of type G(r,1,n) over an arbitrary field. Rather than working with the Hecke algebras directly we work instead with the cyclotomic Schur algebras. The advantage of these algebras is that the cyclotomic Jantzen sum formula gives an easy combinatorial characterization of the blocks of the cyclotomic Schur algebras. We obtain an explicit description of the blocks by analyzing the combinatorics of `Jantzen equivalence'. We remark that a proof of the classification of the blocks of the cyclotomic Hecke algebras was announced in 1999. Unfortunately, Cox has discovered that this previous proof is incomplete.


title: Asymptotic behaviour of the inductance coefficient for thin conductors

abstract: We study the asymptotic behaviour of the inductance coefficient for a thin toroidal inductor whose thickness depends on a small parameter $\eps>0$. We give an explicit form of the singular part of the corresponding potential $u\ue$ which allows to construct the limit potential $u$ (as $\eps\to 0$) and an approximation of the inductance coefficient $L\ue$. We establish some estimates of the deviation $u\ue-u$ and of the error of approximation of the inductance. We show that $L\ue$ behaves asymptotically as $\ln\eps$, when $\eps\to 0$.


title: Coalescent tree based functional representations for some Feynman-Kac particle models

abstract: We design a theoretic tree-based functional representation of a class of Feynman-Kac particle distributions, including an extension of the Wick product formula to interacting particle systems. These weak expansions rely on an original combinatorial, and permutation group analysis of a special class of forests. They provide refined non asymptotic propagation of chaos type properties, as well as sharp $\LL\_p$-mean error bounds, and laws of large numbers for $U$-statistics. Applications to particle interpretations of the top eigenvalues, and the ground states of Schr\"{o}dinger semigroups are also discussed.


title: Saturation and Irredundancy for Spin(8)

abstract: We explicitly calculate the triangle inequalities for the group PSO(8). Therefore we explicitly solve the eigenvalues of sum problem for this group (equivalently describing the side-lengths of geodesic triangles in the corresponding symmetric space for the Weyl chamber-valued metric). We then apply some computer programs to verify two basic questions/conjectures. First, we verify that the above system of inequalities is irredundant. Then, we verify the ``saturation conjecture'' for the decomposition of tensor products of finite-dimensional irreducible representations of Spin(8). Namely, we show that for any triple of dominant weights a, b, c such that a+b+c is in the root lattice, and any positive integer N, the tensor product of the irreducible representations V(a) and V(b) contains V(c) if and only if the tensor product of V(Na) and V(Nb) contains V(Nc).


title: Singular trajectories of control-affine systems

abstract: When applying methods of optimal control to motion planning or stabilization problems, some theoretical or numerical difficulties may arise, due to the presence of specific trajectories, namely, singular minimizing trajectories of the underlying optimal control problem. In this article, we provide characterizations for singular trajectories of control-affine systems. We prove that, under generic assumptions, such trajectories share nice properties, related to computational aspects; more precisely, we show that, for a generic system -- with respect to the Whitney topology --, all nontrivial singular trajectories are of minimal order and of corank one. These results, established both for driftless and for control-affine systems, extend previous results. As a consequence, for generic systems having more than two vector fields, and for a fixed cost, there do not exist minimizing singular trajectories. We also prove that, given a control system satisfying the LARC, singular trajectories are strictly abnormal, generically with respect to the cost. We then show how these results can be used to derive regularity results for the value function and in the theory of Hamilton-Jacobi equations, which in turn have applications for stabilization and motion planning, both from the theoretical and implementation issues.


title: Well-posedness of the Cauchy problem for the fractional power dissipative equations

abstract: This paper studies the Cauchy problem for the nonlinear fractional power dissipative equation $u_t+(-\triangle)^\alpha u= F(u)$ for initial data in the Lebesgue space $L^r(\mr^n)$ with $\ds r\ge r_d\triangleq{nb}/({2\alpha-d})$ or the homogeneous Besov space $\ds\dot{B}^{-\sigma}_{p,\infty}(\mr^n)$ with $\ds\sigma=(2\alpha-d)/b-n/p$ and $1\le p\le \infty$, where $\alpha>0$, $F(u)=f(u)$ or $Q(D)f(u)$ with $Q(D)$ being a homogeneous pseudo-differential operator of order $d\in[0,2\alpha)$ and $f(u)$ is a function of $u$ which behaves like $|u|^bu$ with $b>0$.


title: Quasi-optimal robust stabilization of control systems

abstract: In this paper, we investigate the problem of semi-global minimal time robust stabilization of analytic control systems with controls entering linearly, by means of a hybrid state feedback law. It is shown that, in the absence of minimal time singular trajectories, the solutions of the closed-loop system converge to the origin in quasi minimal time (for a given bound on the controller) with a robustness property with respect to small measurement noise, external disturbances and actuator noise.


title: On well-posedness of the Cauchy problem for MHD system in Besov spaces

abstract: This paper is devoted to the study of the Cauchy problem of incompressible magneto-hydrodynamics system in framework of Besov spaces. In the case of spatial dimension $n\ge 3$ we establish the global well-posedness of the Cauchy problem of incompressible magneto-hydrodynamics system for small data and the local one for large data in Besov space $\dot{B}^{\frac np-1}_{p,r}(\mr^n)$, $1\le p<\infty$ and $1\le r\le\infty$. Meanwhile, we also prove the weak-strong uniqueness of solutions with data in $\dot{B}^{\frac np-1}_{p,r}(\mr^n)\cap L^2(\mr^n)$ for $\frac n{2p}+\frac2r>1$. In case of $n=2$, we establish the global well-posedness of solutions for large initial data in homogeneous Besov space $\dot{B}^{\frac2p-1}_{p,r}(\mr^2)$ for $2< p<\infty$ and $1\le r<\infty$.


title: The Berry-like Sentence in the First-order Peano Arithmetic System with the Operation of Factorial

abstract: A first-order Peano Arithmetical system with the operation of factorial (PAF) is introduced. For any formula A(x) with a free variable x in PAF, we define a corresponding B-formula which means that there exists unique number that is smallest in all natural numbers satisfying the formula A(x) that satisfies the B-formula if A(x) is satisfiable. And then, we construct a formula which means that "there exists x, for any B-formula whose Godel code is smaller than a constant a, x does not satisfy this B-formula, and x is the smallest in those numbers that have such character." However, the constructed formula itself is a B-formula and its Godel code is smaller than a. Thus, it is a version in PAF of the Berry sentence "The smallest positive integer not nameable in under eleven words" that itself is in only ten words.


title: The distribution of integers with at least two divisors in a short interval

abstract: Let H(x,y,z) be the number of integers $\le x$ with a divisor in (y,z] and let H_1(x,y,z) be the number of integers $\le x$ with exactly one such divisor. When y and z are close, it is expected that H_1(x,y,z) H(x,y,z), that is, an integer with a divisor in (y,z] usually has just one. We determine necessary and sufficient conditions on y and z so that H_1(x,y,z) H(x,y,z). In doing so, we answer an open question from the paper "The distribution of integers with a divisor in a given interval", math.NT/0401223.


title: Singular perturbations of finite dimensional gradient flows

abstract: In this paper we give a description of the asymptotic behavior, as $\epsilon\to 0$, of the $\epsilon$-gradient flow in the finite dimensional case. Under very general assumptions we prove that it converges to an evolution obtained by connecting some smooth branches of solutions to the equilibrium equation (slow dynamics) through some heteroclinic solutions of the gradient flow (fast dynamics).


title: De l'oprateur de trace dans les jeux de Conway

abstract: In this report, we propose a game semantics model of intuitionistic linear logic with a notion of brackets and a trace operator. This model is a revised version of Conway games augmented with an algebraicly defined gain which enable to describe well bracketed strategies. We then show the existence of a free cocommutative comonoid in the category of Conway. To conclude, we propose a new model of an Algol-like language with higher-order using the presence of a trace operator in our model to describe the memorial aspect of the language.


title: The moment problem with bounded density

abstract: Let $\mu$ be a given Borel measure on $\K\subseteq\R^n$ and let $y=(y_\alpha)$, $\alpha\in\N^n$, be a given sequence. We provide several conditions linking $y$ and the moment sequence $z=(z_\alpha)$ of $\mu$, for $y$ to be the moment sequence of a Borel measure $\nu$ on $\K$ which is absolutely continuous with respect to $\mu$ and such that its density is in $L_\infty(\K,\mu)$. The conditions are necessary and sufficient if $\K$ is a compact basic semi-algebraic set, and sufficient if $\K\equiv\R^n$. Moreover, arbitrary finitely many of these conditions can be checked by solving either a semidefinite program or a linear program with a single variable


title: A cohomological interpretation of Brion's formula

abstract: A subset K of R^n gives rise to a formal Laurent series with monomials corresponding to lattice points in K. Under suitable hypotheses, this series represents a rational function R(K). Michel Brion has discovered a surprising formula relating the rational function R(P) of a lattice polytope P to the sum of rational functions corresponding to the supporting cones subtended at the vertices of P. The result is re-phrased and generalised in the language of cohomology of line bundles on complete toric varieties. Brion's formula is the special case of an ample line bundle on a projective toric variety. - The paper also contains some general remarks on the cohomology of torus-equivariant line bundles on complete toric varieties, valid over noetherian ground rings.


title: Distinguishing colorings of Cartesian products of complete graphs

abstract: We determine the values of s and t for which there is a coloring of the edges of the complete bipartite graph K_{s,t} which admits only the identity automorphism. In particular this allows us to determine the distinguishing number of the Cartesian product of complete graphs.