title: Explicit laws of large numbers for random nearest-neighbour type graphs

abstract: Under the unifying umbrella of a general result of Penrose & Yukich [Ann. Appl. Probab., (2003) 13, 277--303] we give laws of large numbers (in the $L^p$ sense) for the total power-weighted length of several nearest-neighbour type graphs on random point sets in $\R^d$, $d\in\N$. Some of these results are known; some are new. We give limiting constants explicitly, where previously they have been evaluated in less generality or not at all. The graphs we consider include the k-nearest neighbours graph, the Gabriel graph, the minimal directed spanning forest, and the on-line nearest-neighbour graph.


title: On the existence of Carter subgroups

abstract: In the paper we obtain the existence criterion of a Carter subgroup in a finite group in terms of its normal series. An example showing that the criterion cannot be reformulated in terms of composition factors is given.


title: Limit theory for the random on-line nearest-neighbour graph

abstract: In the on-line nearest-neighbour graph (ONG), each point after the first in a sequence of points in R^d is joined by an edge to its nearest-neighbour amongst those points that precede it in the sequence. We study the large-sample asymptotic behaviour of the total power-weighted length of the ONG on uniform random points in (0,1)^d. In particular, for d=1 and weight exponent \alpha>1/2, the limiting distribution of the centred total weight is characterized by a distributional fixed-point equation. As an ancillary result, we give exact expressions for the expectation and variance of the standard nearest-neighbour (directed) graph on uniform random points in the unit interval.


title: Stratifications of Marsden-Weinstein reductions for representations of quivers and deformations of symplectic quotient singularities

abstract: We investigate the Poisson geometry of the Marsden-Weinstein reductions of the moment map associated to the cotangent bundle of the space of representations of a quiver. We show that the stratification by representation type equals the stratification by symplectic leaves. The deformed symplectic quotient singularities - spectra of centres of symplectic reflection algebras associated to a wreath product - are shown to be isomorphic to reductions of a certain quiver. This establishes a method to calculate when these deformations are smooth. Furthermore, the isomorphism identifies symplectic leaves and so one can give a description of their symplectic leaves in terms of roots of the quiver.


title: Integrating L-infinity algebras

abstract: Given an n-term L-infinity algebra L, we construct a Kan simplicial manifold which we think of as the 'Lie n-group' integrating L. This extends work of Getzler math.AT/0404003 . In the case of an ordinary Lie algebra, our construction gives the simplicial classifying space of the corresponding simply connect Lie group. In the case of the string Lie 2-algebra of Baez and Crans, this recovers the model of the string group introduced in math.QA/0504123 .


title: Nilpotent orbits of a generalization of Hodge structures

abstract: We study a generalization of Hodge structures which first appeared in the work of Cecotti and Vafa. It consists of twistors, that is, holomorphic vector bundles on P^1, with additional structure, a flat connection on C^*, a real subbundle and a pairing. We call these objects TERP-structures. We generalize to TERP-structures a correspondence of Cattani, Kaplan and Schmid between nilpotent orbits of Hodge structures and polarized mixed Hodge structures. The proofs use work of Simpson and Mochizuki on variations of twistor structures and a control of the Stokes structures of the poles at zero and infinity. The results are applied to TERP-structures which arise via oscillating integrals from holomorphic functions with isolated singularities.


title: Igusa-type functions associated to finite formed spaces and their functional equations

abstract: We study symmetries enjoyed by the polynomials enumerating non-degenerate flags in finite vector spaces, equipped with a non-degenerate alternating bilinear, hermitian or quadratic form. To this end we introduce Igusa-type rational functions encoding these polynomials and prove that they satisfy certain functional equations. Some of our results are achieved by expressing the polynomials in question in terms of what we call parabolic length functions on Coxeter groups of type $A$. While our treatment of the orthogonal case exploits combinatorial properties of integer compositions and their refinements, we formulate a precise conjecture how in this situation, too, the polynomials may be described in terms of parabolic length functions.


title: Hecke Operators for Period Functions for Congruence Subgroups

abstract: This is basically a summary of [Mu]. The focus of the paper is the explicit computation of Hecke operators for period functions. In particular we compute the matrix representations of the 2nd Hecke operator on period functions for the full modular group $SL(2,Z)$ and the congruence subgroup $\Gamma_0(2)$. [Mu] Tobias M\"uhlenbruch. Hecke operators on period functions for $\Gamma_0(N)$. Journal of Number Theory. http://dx.doi.org/10.1016/j.jnt.2005.09.003


title: Classification of rational surfaces of degree 11 and sectional genus 11 in P^4

abstract: We use the BGG-correspondence to show that there are at most three possible Hilbert functions for smooth rational surfaces of degree 11 and sectional genus 11. Surfaces with one of these Hilbert functions have been classified by Popescu. The classification for a second one is done in this paper. For the third Hilbert function the classification is still open.


title: An intrinsic proof of Gromoll-Grove diameter rigidity theorem

abstract: We will present a new proof of the Gromoll-Grove diameter rigidity theorem.


title: Density of integer solutions to diagonal quadratic forms

abstract: Let Q be a non-singular diagonal quadratic form in at least four variables. We provide upper bounds for the number of integer solutions to the equation Q=0, which lie in a box with sides of length 2B, as B tends to infinity. The estimates obtained are completely uniform in the coefficients of the form, and become sharper as they grow larger in modulus.


title: Nonlocal First-Order Hamilton-Jacobi Equations Modelling Dislocations Dynamics

abstract: We study nonlocal first-order equations arising in the theory of dislocations. We prove the existence and uniqueness of the solutions of these equations in the case of positive and negative velocities, under suitable regularity assumptions on the initial data and the velocity. These results are based on new $L^1$-type estimates on the viscosity solutions of first-order Hamilton-Jacobi Equations appearing in the so-called ``level-sets approach''. Our work is inspired by and simplifies a recent work of Alvarez, Cardaliaguet and Monneau.


title: Refined measurable rigidity and flexibility for conformal iterated function systems

abstract: In this paper we investigate aspects of rigidity and flexibility for conformal iterated function systems. For the case in which the systems are not essentially affine we show that two such systems are conformal equivalent if and only if in each of their Lyapunov spectra there exists at least one level set such that the corresponding Gibbs measures coincide. We then proceed by comparing this result with the essentially affine situation. We show that essentially affine systems are far less rigid than non--essentially affine systems, and subsequently we then investigate the extent of their flexibility.


title: Spectral measures of small index principal graphs

abstract: The principal graph $X$ of a subfactor with finite Jones index is one of the important algebraic invariants of the subfactor. If $\Delta$ is the adjacency matrix of $X$ we consider the equation $\Delta=U+U^{-1}$. When $X$ has square norm $\leq 4$ the spectral measure of $U$ can be averaged by using the map $u\to u^{-1}$, and we get a probability measure $\epsilon$ on the unit circle which does not depend on $U$. We find explicit formulae for this measure $\epsilon$ for the principal graphs of subfactors with index $\le 4$, the (extended) Coxeter-Dynkin graphs of type $A$, $D$ and $E$. The moment generating function of $\epsilon$ is closely related to Jones' $\Theta$-series.


title: General Logic-Systems that Determine Significant Collections of Consequence Operators

abstract: In this paper, general logic-systems and a necessary and sufficient algorithm are used to substantiate significant consequence operator properties. It is shown, among other results, that, in certain cases, (1) if the number of steps in a deduction is restricted, then such deduction does not yield a consequence operator. (2) In general, for any non-organized infinite language L, there is a special class of finite consequence operators that is not meet-complete. (3) For classical deduction, three different examples of modified propositional deduction yield collections of finite consequence operators that are not meet-complete. Other general logic-system examples are given. In a final section, the notion of potentially finite is investigated.


title: Invariant metrics and distances on generalized Neil parabolas

abstract: We present the Carath\'eodory-Reiffen metric and the inner Carath\'eodory distance on generalized parabolas. It turns out that on such parabolas the Carath\'eodory distance is not inner.


title: On Raw Coding of Chaotic Dynamics

abstract: We study raw coding of trajectories of a chaotic dynamical system by sequences of elements from a finite alphabet and show that there is a fundamental constraint on differences between codes corresponding to different trajectories of the dynamical system.


title: Scaling group flow and Lefschetz trace formula for laminated spaces with $p-$adic transversal

abstract: In his approach to analytic number theory C. Deninger has suggested that to the Riemann zeta function $\hat{\zeta}(s)$ (resp. the zeta function $\zeta_Y(s)$ of a smooth projective curve $Y$ over a finite field $\mathbb{F}_q$, $q=p^f$)) one could possibly associate a foliated Riemannian laminated space $(S_{\mathbb{Q}}, \mathcal{F}, g, \phi^t)$ (resp. $(S_Y, \mathcal{F}, g, \phi^t)$) endowed with an action of a flow $\phi^t$ whose primitive compact orbits should correspond to the primes of $\mathbb{Q}$ (resp. $Y$). The existence of such a foliated space and flow $\phi^t$ is still unknown except when $Y$ is an elliptic curve (see Deninger). Being motivated by this latter case, we introduce a class of foliated laminated spaces $(S=\frac{\mathcal{L}\times \R^{+*}}{q^\Z}, \mathcal{F}, g, \phi^t)$ where $\mathcal{L} $ is locally $D\times \Z_p^m$, $D$ being an open disk of $\mathbb{C}.$ Assuming that the leafwise harmonic forms on $ \mathcal{L}$ are locally constant transversally, we prove a Lefschetz trace formula for the flow $\phi^t$ acting on the leafwise Hodge cohomology $H^j_\tau$ ($0\leq j \leq 2$) of $(S,\mathcal{F})$ that is very similar to the explicit formula for the zeta function of a (general) smooth curve over $\mathbb{F}_q$. We also prove that the eigenvalues of the infinitesimal generator of the action of $\phi^t$ on $H^1_\tau$ have real part equal to ${1/2}.$ Moreover, we suggest in a precise way that the flow $\phi^t$ should be induced by a renormalization group flow "\`a la K. Wilson". We show that when $Y$ is an elliptic curve over $\mathbb{F}_q$ this is indeed the case.


title: Erratum to: Homology stability for outer automorphism groups of free groups

abstract: We correct the proof of Theorem 5 of the paper Homology stability for outer automorphism groups of free groups, by the first two authors.


title: Fast complexified quaternion Fourier transform

abstract: A discrete complexified quaternion Fourier transform is introduced. This is a generalization of the discrete quaternion Fourier transform to the case where either or both of the signal/image and the transform kernel are complex quaternion-valued. It is shown how to compute the transform using four standard complex Fourier transforms and the properties of the transform are briefly discussed.


title: On a theorem of Landau and Toeplitz

abstract: The now canonical proof of Schwarz's Lemma appeared in a 1907 paper of Carath\'eodory, who attributed it to Erhard Schmidt. Since then, Schwarz's Lemma has acquired considerable fame, with multiple extensions and generalizations. Much less known is that, in the same year 1907, Landau and Toeplitz obtained a similar result where the diameter of the image set takes over the role of the maximum modulus of the function. We give a streamlined proof of this result and also extend it to include bounds on the growth of the maximum modulus.


title: A Geometrical Structure for an Infinite Oriented Cluster and its Uniqueness

abstract: We consider the supercritical oriented percolation model. Let ${\fK}$ be all the percolation points. For each $u\in {\fK}$, we write $\gamma_u$ as its right-most path. Let $G=\cup_u \gamma_u$. In this paper, we show that $G$ is a single tree with only one topological end. We also present a relationship between ${\fK}$ and $G$ and construct a bijection between ${\fK}$ and $\Z$ using the preorder traversal algorithm. Through applications of this fundamental graph property, we show the uniqueness of an infinite oriented cluster by ignoring finite vertices.


title: Some Neutrosophic Algebraic Structures and Neutrosophic N-Algebraic Structures

abstract: In this book, for the first time we introduce the notion of neutrosophic algebraic structures for groups, loops, semigroups and groupoids; and also their neutrosophic N-algebraic structures. One is fully aware of the fact that many classical theorems like Lagrange, Sylow and Cauchy have been studied only in the context of finite groups. Here we try to shift the paradigm by studying and introducing these theorems to neutrosophic semigroups, neutrosophic groupoids, and neutrosophic loops. This book has seven chapters. Chapter one provides several basic notions to make this book self-contained. Chapter two introduces neutrosophic groups and neutrosophic N-groups and gives several examples. The third chapter deals with neutrosophic semigroups and neutrosophic N-semigroups, giving several interesting results. Chapter four introduces neutrosophic loops and neutrosophic N-loops. We introduce several new, related definitions. In fact we construct a new class of neutrosophic loops using modulo integer Z_n, n > 3, where n is odd. Several properties of these structures are proved using number theoretic techniques. Chapter five just introduces the concept of neutrosophic groupoids and neutrosophic N-groupoids. Sixth chapter innovatively gives mixed neutrosophic structures and their duals. The final chapter gives problems for the interested reader to solve.


title: Indices of Vector Fields on Singular Varieties: An Overview

abstract: Indices of vector fields on (complex analytic) singular varieties have been considered by various authors from several different viewpoints. All these indices coincide with the classical local index of Poincar\'e-Hopf when the ambient variety is a smooth manifold. One has the Schwartz index, the local Euler obstruction, the GSV-index, the virtual index and the homological index (and probably other indices too). In this article we give a brief overview of all these indices and the relations amongst them. We also indicate their relations with the various generalisations to complex analytic singular varieties of the Chern classes of complex manifolds.


title: The Energy of Graphs and Matrices

abstract: We extend the concept of graph energy, introduced by Gutman, to matrices. We give upper and lower bounds on matrix energy extending previous results for graphs. In particular, we estimate the energy of almost all graphs.


title: Ultrametric random field

abstract: Gaussian random field on general ultrametric space is introduced as a solution of pseudodifferential stochastic equation. Covariation of the introduced random field is computed with the help of wavelet analysis on ultrametric spaces. Notion of ultrametric Markovianity, which describes independence of contributions to random field from different ultrametric balls is introduced. We show that the random field under investigation satisfies this property.


title: Independence in topological and C*-dynamics

abstract: We develop a systematic approach to the study of independence in topological dynamics with an emphasis on combinatorial methods. One of our principal aims is to combinatorialize the local analysis of topological entropy and related mixing properties. We also reframe our theory of dynamical independence in terms of tensor products and thereby expand its scope to C*-dynamics.


title: Colombeau generalized functions and solvability of differential operators

abstract: The aim of this paper is to prove that the well known non solvable Mizohata type partial differential equations have Colombeau generalized solutions which are distributions if and only if they are solv- able in the space of Schwartz distributions. Therefore the Colombeau generalized solvability includes both a new solution concept and new mathematical objects as solutions.


title: Overconvergent log isocrystals and holonomicity

abstract: Let V be a complete discrete valuation ring of unequal characteristic with perfect residue field. Let X be smooth separated formal V-scheme, Z a strict normal crossing divisor of X and T a divisor of the special fiber of X. We study in this work isocrystals on the smooth log formal V-scheme associated to (X,Z) overconvergent along T.


title: Representations of vertex operator algebras

abstract: This paper is an exposition of the representation theory of vertex operator algebras in terms of associative algebras A_n(V) and their bimodules. A new result on the rationality is given. That is, a simple vertex operator algebra V is rational if and only if its Zhu algebra A(V) is a semisimple associative algebra and each irreducible admissible $V$-module is ordinary.


title: Acylindrical surfaces in 3-manifolds and knot complements

abstract: We consider closed acylindrical surfaces in 3-manifolds and in knot and link complements, and show that the genus of these surfaces is bounded linearly by the number of tetrahedra in the triangulation of the manifold and by the number of rational (or alternating) tangles in a projection of a link (or knot). For each g we find knots with tunnel number 2 and manifolds of Heegaard genus 3 containing acylindrical surfaces of genus g. Finally, we construct 3-bridge knots containing quasi-Fuchsinan surfaces of unbounded genus, and use them to find manifolds of Heegaard genus 2 and homology spheres of Heegaard genus 3 containing infinitely many incompressible surfaces.


title: Many-valued complete distributivity

abstract: Categories enriched over a commutative unital quantale can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain adjunctions, they can be reformulated in the many-valued setting in terms of categorical postulations. So, it is possible, by aid of categorical machineries, to establish theories of many-valued complete lattices, many-valued completely distributive lattices, and so on. This paper presents a systematical investigation of many-valued complete distributivity, including the topics: (1) subalgebras and quotient algebras of many-valued completely distributive lattices; (2) categories of (left adjoint) functors; and (3) the relationship between many-valued complete distributivity and properties of the quantale of truth values. The results show that enriched category theory is a very useful tool in the study of many-valued versions of order-related mathematical entities.


title: SUSY vertex algebras and supercurves

abstract: This article is a continuation of math.QA/0603633 Given a strongly conformal SUSY vertex algebra V and a supercurve X we construct a vector bundle V_X on X, the fiber of which, is isomorphic to V. Moreover, the state-field correspondence of V canonically gives rise to (local) sections of these vector bundles. We also define chiral algebras on any supercurve X, and show that the vector bundle V_X, corresponding to a SUSY vertex algebra, carries the structure of a chiral algebra.


title: KMS states and branched points

abstract: We completely classify the KMS states for the gauge action on a $C^*$-algebra associated with a rational function $R$ introduced in our previous work. The gauge action has a phase transition at $\beta = \log \deg R$. We can recover the degree of $R$, the number of branched points, the number of exceptional points and the orbits of exceptional points from the structure of the KMS states. We also classify the KMS states for $C^*$-algebras associated with some self-similar sets, including the full tent map and the Sierpinski gasket by a similar method.


title: Outer Actions of a Discrete Amenable Group on Approximately Finite Dimensional Factors II, the III$_\lambda$-Case, $\lambda\neq 0$

abstract: To study outer actions $\a$ of a group $G$ on a factor $\sM$ of type {\threel}, $0<\la<1$, we study first the cohomology group of a group with the unitary group of an abelian {\vna} as a coefficient group and establish a technique to reduce the coefficient group to the torus $\T$ by the Shapiro mechanism based on the groupoid approach. We then show a functorial construction of outer actions of a {\cdag} on an AFD factor of type {\threel}, sharpening the result in \cite{KtT2: \S4}. The periodicity of the flow of weights on a factor $\sM$ of type {\threel} allows us to introduce an equivariant commutative square directly related to the discrete core. But this makes it necessary to introduce an enlarged group $\Aut(\sM)_\txm$ relative to the modulus homomorphism $\txm=\mod: \Aut(\sM)\mapsto \rt'z$. We then discuss the reduced {\mhjr}, which allows us to describe the invariant of outer action $\a$ in a simpler form than the one for a general AFD factor: for example, the cohomology group $\tH_{\txm, \fs}^\out(G, N, \T)$ of modular obstructions is a compact abelian group. Making use of these reductions, we prove the classification result of outer actions of $G$ on an {\AFD} factor $\sM$ of type \threel.


title: Automatic realizations of Galois groups with cyclic quotient of order p^n

abstract: We establish automatic realizations of Galois groups among groups M\rtimes G, where G is a cyclic group of order p^n for a prime p and M is a quotient of the group ring Fp[G].


title: Low regularity global well-posedness for the Zakharov and Klein-Gordon-Schr\"odinger systems

abstract: We prove low-regularity global well-posedness for the 1d Zakharov system and 3d Klein-Gordon-Schr\"odinger system, which are systems in two variables $u:\mathbb{R}_x^d\times \mathbb{R}_t \to \mathbb{C}$ and $n:\mathbb{R}^d_x\times \mathbb{R}_t\to \mathbb{R}$. The Zakharov system is known to be locally well-posed in $(u,n)\in L^2\times H^{-1/2}$ and the Klein-Gordon-Schr\"odinger system is known to be locally well-posed in $(u,n)\in L^2\times L^2$. Here, we show that the Zakharov and Klein-Gordon-Schr\"odinger systems are globally well-posed in these spaces, respectively, by using an available conservation law for the $L^2$ norm of $u$ and controlling the growth of $n$ via the estimates in the local theory.


title: Formality in generalized Kahler geometry

abstract: We prove that no nilpotent Lie algebra admits an invariant generalized Kaehler structure. This is done by showing that a certain differential graded algebra associated to a generalized complex manifold is formal in the generalized Kaehler case, while it is never formal for a generalized complex structure on a nilpotent Lie algebra.


title: Colombeau generalized Gevrey ultradistributions and their microlocal analysis

abstract: The purpose of this paper is to construct and to study algebras of generalized Gevrey ultardistributions. We define the generalized Gevrey wave front and give its main properties. As a fundamental application, the well known Hormander's theorem on the product of two distributions is extended to the case of generalized Gevrey ultradistributions


title: Noether's Theorem for Fractional Optimal Control Problems

abstract: We begin by reporting on some recent results of the authors (Frederico and Torres, 2006), concerning the use of the fractional Euler-Lagrange notion to prove a Noether-like theorem for the problems of the calculus of variations with fractional derivatives. We then obtain, following the Lagrange multiplier technique used in (Agrawal, 2004), a new version of Noether's theorem to fractional optimal control systems.


title: A Comment on "On Some Contradictory Computations in Multi-dimensional Mathematics"

abstract: In this paper we analyze the status of some `unbelievable results' presented in the paper `On Some Contradictory Computations in Multi-Dimensional Mathematics' [1] published in Nonlinear Analysis, a journal indexed in the Science Citation Index. Among some of the unbelievable results `proved' in the paper we can find statements like that: (i) a linear transformation which is a rotation in R^2 with rotation angle theta different from nphi/2, is inconsistent with arithmetic, (ii) complex number theory is inconsistent. Besides these 'results' of mathematical nature [1],offers also a `proof' that Special Relativity is inconsistent. Now, we are left with only two options (a) the results of [1] are correct and in this case we need a revolution in Mathematics (and also in Physics) or (b) the paper is a potpourri of nonsense. We show that option (b) is the correct one. All `proofs' appearing in [1] are trivially wrong, being based on a poor knowledge of advanced calculus notions. There are many examples (some of them discussed in [2,3,4,5,6]of complete wrong papers using nonsequitur Mathematics in the Physics literature. Taking into account also that a paper like [1] appeared in a Mathematics journal we think that it is time for editors and referees of scientific journals to become more careful in order to avoid the dissemination of nonsense.


title: Existence of Saddle Points in Discrete Markov Games and Its Application in Numerical Methods for Stochastic Differential Games

abstract: This work establishes sufficient conditions for existence of saddle points in discrete Markov games. The result reveals the relation between dynamic games and static games using dynamic programming equations. This result enables us to prove existence of saddle points of non-separable stochastic differential games of regime-switching diffusions under appropriate conditions.


title: Layered-triangulations of 3-manifolds

abstract: A family of one-vertex triangulations of 3-manifolds, layered-triangulations, is defined. Layered-triangulations are first described for handlebodies and then extended to all 3-manifolds via Heegaard splittings. A complete and detailed analysis of layered-triangulations is given in the cases of the solid torus and lens spaces, including the classification of all normal and almost normal surfaces in these triangulations. Minimal layered-triangulations of lens spaces provide a common setting for new proofs of the classification of lens spaces admitting an embedded non orientable surface and the classification of embedded non orientable surfaces in each such lens space, as well as a new proof of the uniqueness of Heegaard splittings of lens spaces. Canonical triangulations of Dehn fillings, triangulated Dehn fillings, are constructed and applied to the study of Heegaard splittings and efficient triangulations of Dehn fillings. A new presentation of 3-manifolds as being obtained from special layered-triangulations of handlebodies with one-vertex, 2-symmetric triangulations on their boundaries, called triangulated Heegaard splittings, is defined and explored. The 1-skeleton (L-graph) of the complex determined as the quotient of the flip-complex by considering those homemorphisms of the genus g surface that extend to a homeomorphism of the genus g handlebody is used to organize much of the work. Numerous questions remain open, particularly in relation to the L-graph, 2-symmetric triangulations of a closed orientable surface, minimal layered-triangulations of genus-g-handlebodies, and the relationship of layered-triangulations to foliations.


title: An Extremal Problem On Potentially $K_{r+1}-(kP_2\bigcup tK_2)$-graphic Sequences

abstract: A sequence $S$ is potentially $K_{m}-H$-graphical if it has a realization containing a $K_{m}-H$ as a subgraph. Let $\sigma(K_{m}-H, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $\sigma(S)\geq \sigma(K_{m}-H, n)$ is potentially $K_{m}-H$-graphical. In this paper, we determine $\sigma (K_{r+1}-(kP_2\bigcup tK_2), n)$ for $n\geq 4r+10, r+1 \geq 3k+2t, k+t \geq 2,k \geq 1, t \geq 0$ .


title: Conditions for swappability of records in a microdata set when some marginals are fixed

abstract: We consider swapping of two records in a microdata set for the purpose of disclosure control. We give some necessary and sufficient conditions that some observations can be swapped between two records under the restriction that a given set of marginals are fixed. We also give an algorithm to find another record for swapping if one wants to swap out some observations from a particular record. Our result has a close connection to the construction of Markov bases for contingency tables with given marginals.


title: Why Brouwer was right in suggesting that Hilbert's Law of the Excluded Middle needed qualification

abstract: We reproduce Hilbert's axiomatic formalisation of Number Theory, and argue that his enunciation of the Law of the Excluded Middle is inconsistent with a Turing-verifiable model of the axioms under the standard interpretation.


title: An elementary proof that P =/= NP

abstract: We show that, if PA has no non-standard models, then P=/=NP. We then give an elementary proof that PA has no non-standard models.


title: Lanczos $\tau$-method optimal algorithm in APS for approximating the mathematical functions

abstract: A new procedure is constructed by means of APS in APLAN language. The procedure solves the initial-value problem for linear differential equations of order $k$ with polynomial coefficients and regular singularity in the initialization point in the interval $[a, b]$ and computes the algebraic polynomial $y_n$ of given order $n$. A new algorithm of Lanczos $\tau$-method is built for this procedure, the solution existence $y_n$ of the initial-value problem proved on this algorithm and also is proved the optimality by precision of order $k$ derivative of the initial-value problem solution.


title: Factor versus palindromic complexity of uniformly recurrent infinite words

abstract: We study the relation between the palindromic and factor complexity of infinite words. We show that for uniformly recurrent words one has P(n)+P(n+1) \leq \Delta C(n) + 2, for all n \in N. For a large class of words it is a better estimate of the palindromic complexity in terms of the factor complexity then the one presented by Allouche et al. We provide several examples of infinite words for which our estimate reaches its upper bound. In particular, we derive an explicit prescription for the palindromic complexity of infinite words coding r-interval exchange transformations. If the permutation \pi connected with the transformation is given by \pi(k)=r+1-k for all k, then there is exactly one palindrome of every even length, and exactly r palindromes of every odd length.


title: Palindromic complexity of infinite words associated with simple Parry numbers

abstract: A simple Parry number is a real number \beta>1 such that the R\'enyi expansion of 1 is finite, of the form d_\beta(1)=t_1...t_m. We study the palindromic structure of infinite aperiodic words u_\beta that are the fixed point of a substitution associated with a simple Parry number \beta. It is shown that the word u_\beta contains infinitely many palindromes if and only if t_1=t_2= ... =t_{m-1} \geq t_m. Numbers \beta satisfying this condition are the so-called confluent Pisot numbers. If t_m=1 then u_\beta is an Arnoux-Rauzy word. We show that if \beta is a confluent Pisot number then P(n+1)+ P(n) = C(n+1) - C(n)+ 2, where P(n) is the number of palindromes and C(n) is the number of factors of length n in u_\beta. We then give a complete description of the set of palindromes, its structure and properties.


title: Evaluation of per-record identification risk and swappability of records in a microdata set via decomposable models

abstract: We propose a strategy for disclosure risk evaluation and disclosure control of a microdata set based on fitting decomposable models of a multiway contingency table corresponding to the microdata set. By fitting decomposable models, we can evaluate per-record identification (or re-identification) risk of a microdata set. Furthermore we can easily determine swappability of risky records which does not disturb the set of marginals of the decomposable model. Use of decomposable models has been already considered in the existing literature. The contribution of this paper is to propose a systematic strategy to the problem of finding a model with a good fit, identifying risky records under the model, and then applying the swapping procedure to these records.


title: A variational approach to the regularity of minimal surfaces of annulus type in Riemannian manifolds

abstract: Given two Jordan curves in a Riemannian manifold, a minimal surface of annulus type bounded by these curves is described as the harmonic extension of a critical point of some functional (the Dirichlet integral) in a certain space of boundary parametrizations. The $H^{2,2}$-regularity of the minimal surface of annulus type will be proved by applying the critical points theory and Morrey's growth condition.


title: The electro-weak and color bundles for the Standard Model in a gravitation field

abstract: It is known that the Standard Model describing all of the currently known elementary particles is based on the $U(1)\times SU(2)\times SU(3)$ symmetry. In order to implement this symmetry on the ground of a non-flat space-time manifold one should introduce three special bundles. Some aspects of the mathematical theory of these bundles are studied in this paper.

categories: math.DG astro-ph gr-qc hep-ph hep-th math-ph math.MP quant-ph


title: Composition Operators on Haagerup $L^p$-spaces

abstract: Building on the ideas in L E Labuschagne, Composition Operators on Non-commutative $L^p$-spaces, \textit{Expo. Math} \textbf{17}(1999), 429--468, we indicate how the concept of a composition operator may be extended to the context of Haagerup $L^p$-spaces.


title: Conditioned stable L\'{e}vy processes and Lamperti representation

abstract: By killing a stable L\'{e}vy process when it leaves the positive half-line, or by conditioning it to stay positive, or by conditioning it to hit 0 continuously, we obtain three different positive self-similar Markov processes which illustrate the three classes described by Lamperti \cite{La}. For each of these processes, we compute explicitly the infinitesimal generator from which we deduce the characteristics of the underlying L\'{e}vy process in the Lamperti representation. The proof of this result bears on the behaviour at time 0 of stable L\'{e}vy processes before their first passage time across level 0 which we describe here. As an application, we give the law of the minimum before an independent exponential time of a certain class of L\'{e}vy processes. It provides the explicit form of the spacial Wiener-Hopf factor at a particular point and the value of the ruin probability for this class of L\'{e}vy processes.


title: A lower bound for the equilateral number of normed spaces

abstract: We show that if the Banach-Mazur distance between an n-dimensional normed space X and ell infinity is at most 3/2, then there exist n+1 equidistant points in X. By a well-known result of Alon and Milman, this implies that an arbitrary n-dimensional normed space admits at least e^{c sqrt(log n)} equidistant points, where c>0 is an absolute constant. We also show that there exist n equidistant points in spaces sufficiently close to n-dimensional ell p (1 < p < infinity).


title: Unstable minimal surfaces of annulus type in manifolds

abstract: Unstable minimal surfaces are the unstable stationary points of the Dirichlet-Integral. In order to obtain unstable solutions, the method of the gradient flow together with the minimax-principle is generally used. The application of this method for minimal surfaces in the Euclidean spacce was presented in \cite{s3}. We extend this theory for obtaining unstable minimal surfaces in Riemannian manifolds. In particular, we handle minimal surfaces of annulus type, i.e. we prescribe two Jordan curves of class $C^3$ in a Riemannian manifold and prove the existence of unstable minimal surfaces of annulus type bounded by these curves.


title: The local Steiner problem in finite-dimensional normed spaces

abstract: We develop a general method of proving that certain star configurations in finit e-dimensional normed spaces are Steiner minimal trees. This method generalizes the results of Lawlor and Morgan (1994) that could only be applied to differentiable norms. The generalization uses the subdifferential calculus from convex analysis. We apply this method to two special norms. The first norm, occurring in the work of Cieslik, has unit ball the polar of the difference body of the n-simplex (in dimension 3 this is the rhombic dodecahedron). We determine the maximum degree of a given point in a Steiner minimal tree in this norm. The proof makes essential use of extremal finite set theory. The second norm, occuring in the work of Mark Conger (1989), is the sum of the ell_1-norm and a small multiple of the ell_2 norm. For the second norm we determine the maximum degree of a Steiner point.


title: Forest-like permutations

abstract: Given a permutation $\pi\in \Sn\_n$, construct a graph $G\_\pi$ on the vertex set $\{1,2, ..., n\}$ by joining $i$ to $j$ if (i) $i<j$ and $\pi(i)<\pi(j)$ and (ii) there is no $k$ such that $i < k < j$ and $\pi(i)<\pi(k)<\pi(j)$. We say that $\pi$ is forest-like if $G\_\pi$ is a forest. We first characterize forest-like permutations in terms of pattern avoidance, and then by a certain linear map being onto. Thanks to recent results of Woo and Yong, this shows that forest-like permutations characterize Schubert varieties which are locally factorial. Thus forest-like permutations generalize smooth permutations (corresponding to smooth Schubert varieties). We compute the generating function of forest-like permutations. As in the smooth case, it turns out to be algebraic. We then adapt our method to count permutations for which $G\_\pi$ is a tree, or a path, and recover the known generating function of smooth permutations.


title: L'isomorphisme entre les tours de Lubin-Tate et de Drinfeld : Decomposition cellulaire de la tour de Lubin-Tate

abstract: This article is the first one of a series aiming to construct an isomorphism between the p-adic Lubin-Tate and Drinfeld towers, describe this isomorphism and give applications. We construct a p-adic equivariant integral model of the Lubin-Tate tower with infinite level. This formal scheme will be later compared to another one associated to the Drinfeld tower.


title: The max-plus finite element method for solving deterministic optimal control problems: basic properties and convergence analysis

abstract: We introduce a max-plus analogue of the Petrov-Galerkin finite element method to solve finite horizon deterministic optimal control problems. The method relies on a max-plus variational formulation. We show that the error in the sup norm can be bounded from the difference between the value function and its projections on max-plus and min-plus semimodules, when the max-plus analogue of the stiffness matrix is exactly known. In general, the stiffness matrix must be approximated: this requires approximating the operation of the Lax-Oleinik semigroup on finite elements. We consider two approximations relying on the Hamiltonian. We derive a convergence result, in arbitrary dimension, showing that for a class of problems, the error estimate is of order $\delta+\Delta x(\delta)^{-1}$ or $\sqrt{\delta}+\Delta x(\delta)^{-1}$, depending on the choice of the approximation, where $\delta$ and $\Delta x$ are respectively the time and space discretization steps. We compare our method with another max-plus based discretization method previously introduced by Fleming and McEneaney. We give numerical examples in dimension 1 and 2.


title: Holonomy orbits of the snake charmer algorithm

abstract: The snake charmer algorithm permits us to deform a piecewise smooth curve starting from the origin in R^d, so that its end follows a given path. When this path is a loop, a holonomy phenomenon occurs. We prove that the holonomy orbits are closed manifolds diffeomorphic to real Stiefel manifolds. A survey of the snake charmer algorithm is given in the paper.


title: Property A, partial translation structures and uniform embeddings in groups

abstract: We define the concept of a partial translation structure T on a metric space X and we show that there is a natural C*-algebra C*(T) associated with it which is a subalgebra of the uniform Roe algebra C*_u(X). We introduce a coarse invariant of the metric which provides an obstruction to embedding the space in a group. When the space is sufficiently group-like, as determined by our invariant, properties of the Roe algebra can be deduced from those of C*(T). We also give a proof of the fact that the uniform Roe algebra of a metric space is a coarse invariant up to Morita equivalence.


title: Tate conjecture and mixed perverse sheaves

abstract: Using the theory of mixed perverse sheaves, we extend arguments on the Hodge conjecture initiated by Lefschetz and Griffiths to the case of the Tate conjecture, and show that the Tate conjecture for divisors is closely related to the de Rham conjecture for nonproper varieties, finiteness of the Tate-Shafarevich groups, and also to some conjectures in the analytic number theory.


title: Linear quantum addition rules

abstract: The quantum integer $[n]_q$ is the polynomial $1 + q + q^2 + ... + q^{n-1}.$ Two sequences of polynomials $\mathcal{U} = \{u_n(q)\}_{n=1}^{\infty}$ and $\mathcal{V} = \{v_n(q)\}_{n=1}^{\infty}$ define a {\em linear addition rule} $\oplus$ on a sequence $\mathcal{F} = \{f_n(q)\}_{n=1}^{\infty}$ by $f_m(q)\oplus f_n(q) = u_n(q)f_m(q) + v_m(q)f_n(q).$ This is called a {\em quantum addition rule} if $[m]_q \oplus [n]_q = [m+n]_q$ for all positive integers $m$ and $n$. In this paper all linear quantum addition rules are determined, and all solutions of the corresponding functional equations $f_m(q)\oplus f_n(q) = f_{m+n}(q)$ are computed.


title: Interpolation and harmonic majorants in big Hardy-Orlicz spaces

abstract: Free interpolation in Hardy spaces is caracterized by the well-known Carleson condition. The result extends to Hardy-Orlicz spaces contained in the scale of classical Hardy spaces $H^p$, $p>0$. For the Smirnov and the Nevanlinna classes, interpolating sequences have been characterized in a recent paper in terms of the existence of harmonic majorants (quasi-bounded in the case of the Smirnov class). Since the Smirnov class can be regarded as the union over all Hardy-Orlicz spaces associated with a so-called strongly convex function, it is natural to ask how the condition changes from the Carleson condition in classical Hardy spaces to harmonic majorants in the Smirnov class. The aim of this paper is to narrow down this gap from the Smirnov class to ``big'' Hardy-Orlicz spaces. More precisely, we characterize interpolating sequences for a class of Hardy-Orlicz spaces that carry an algebraic structure and that are strictly bigger than $\bigcup_{p>0} H^p$. It turns out that the interpolating sequences are again characterized by the existence of quasi-bounded majorants, but now the weights of the majorants have to be in suitable Orlicz spaces. The existence of harmonic majorants in such Orlicz spaces will also be discussed in the general situation. We finish the paper with an example of a separated Blaschke sequence that is interpolating for certain Hardy-Orlicz spaces without being interpolating for slightly smaller ones.


title: On zeros of Eisenstein series for genus zero Fuchsian groups

abstract: Let $\GN\leq\SLR$ be a genus zero Fuchsian group of the first kind with $\infty$ as a cusp, and let $\Ek$ be the holomorphic Eisenstein series of weight $2k$ on $\GN$ that is nonvanishing at $\infty$ and vanishes at all the other cusps (provided that such an Eisenstein series exists). Under certain assumptions on $\GN,$ and on a choice of a fundamental domain $\F$, we prove that all but possibly $c(\GN,\F)$ of the non-trivial zeros of $\Ek$ lie on a certain subset of $\{z\in\mathfrak{H} : \JN(z)\in\mathbb{R}\}$. Here $c(\GN,\F)$ is a constant that does not depend on the weight $2k$ and $\JN$ is the canonical hauptmodul for $\GN.$


title: Right-veering diffeomorphisms of compact surfaces with boundary II

abstract: We continue our study of the monoid of right-veering diffeomorphisms on a compact oriented surface with nonempty boundary, introduced in [HKM2]. We conduct a detailed study of the case when the surface is a punctured torus; in particular, we exhibit the difference between the monoid of right-veering diffeomorphisms and the monoid of products of positive Dehn twists, with the help of the Rademacher function. We then generalize to the braid group B_n on n strands by relating the signature and the Maslov index. Finally, we discuss the symplectic fillability in the pseudo-Anosov case by comparing with the work of Roberts [Ro1,Ro2].


title: Scattering length for stable processes

abstract: Let $\alpha\in(0,2)$ and $X_t$ be a symmetric $\alpha$-stable process. We define the scattering length $\Gamma(v)$ of the positive potential $v$ and prove several of its basic properties. We use the scattering length to findestimates for the first eigenvalue of the Schr\"odinger operator of the ``Neumann'' fractional Laplacian in a cube with potential $v$.


title: On a factorization of second order elliptic operators and applications

abstract: We show that given a nonvanishing particular solution of the equation (divpgrad+q)u=0 (1) the corresponding differential operator can be factorized into a product of two first order operators. The factorization allows us to reduce the equation (1) to a first order equation which in a two-dimensional case is the Vekua equation of a special form. Under quite general conditions on the coefficients p and q we obtain an algorithm which allows us to construct in explicit form the positive formal powers (solutions of the Vekua equation generalizing the usual powers of the variable z). This result means that under quite general conditions one can construct an infinite system of exact solutions of (1) explicitly, and moreover, at least when p and q are real valued this system will be complete in ker(divpgrad+q) in the sense that any solution of (1) in a simply connected domain can be represented as an infinite series of obtained exact solutions which converges uniformly on any compact subset of . Finally we give a similar factorization of the operator (divpgrad+q) in a multidimensional case and obtain a natural generalization of the Vekua equation which is related to second order operators in a similar way as its two-dimensional prototype does.


title: Fast decay of correlations of equilibrium states of open classes of non-uniformly expanding maps and potentials

abstract: We study the existence, uniqueness and rate of decay of correlation of equilibrium measures associated to robust classes of non-uniformly expanding local diffeomorphisms and H\"older continuous potentials. The approach used in this paper is the spectral analysis of the Ruelle-Perron-Frobenius transfer operator. More precisely, we combine the expanding features of the eigenmeasures of the transfer operator with a Lasota-Yorke type inequality to prove the existence of an unique equilibrium measure with fast decay of correlations.


title: Sharp bounds for eigenvalues of triangles

abstract: We prove that the first eigenvalue of the Dirichlet Laplacian for a triangle in the plane is bounded above by $\pi^2 L^2\over 9A^2$, where $L$ is the perimeter and $A$ is the area of this triangle. We show that the \mbox{constant 9} is optimal and that the optimal constant for the lower bound of the same form is 16. This gives a positive answer to a conjecture made by P. Freitas.


title: Three open problems in analysis

abstract: Three open problems in analysis are formulated: 1. Injectivity of Radon transform 2. A uniqueness problem for an elliptic system of PDE 3. A problem in operator theory


title: Discrepancy principle for DSM

abstract: Let $Ay=f$, $A$ is a linear operator in a Hilbert space $H$, $y\perp N(A):=\{u:Au=0\}$, $R(A):=\{h:h=Au,u\in D(A)\}$ is not closed, $\|f_\delta-f\|\leq\delta$. Given $f_\delta$, one wants to construct $u_\delta$ such that $\lim_{\delta\to 0}\|u_\delta-y\|=0$. A version of the DSM (dynamical systems method) for finding $u_\delta$ consists of solving the problem \bee \dotu_\delta(t)=-u_\delta(t)+T^{-1}_{a(t)} A^\ast f_\delta, \quad u(0)=u_0, \eqno{(\ast)}\eee where $T:=A^\ast A$, $T_a:=T+aI$, and $a=a(t)>0$, $a(t)\searrow 0$ as $t\to\infty$ is suitably chosen. It is proved that $u_\delta:=u_\delta(t_\delta)$ has the property $\lim_{\delta\to 0}\|u_\delta-y\|=0$. Here the stopping time $t_\delta$ is defined by the discrepancy principle: \bee \eqno{(\ast\ast)}\eee $c\in(1,2)$ is a constant. Equation $(\ast)$ defines $t_\delta$ uniquely and $\lim_{\delta\to 0}t_\delta=\infty$. Another version of the discrepancy principle is also proved in this paper.


title: Supersymmetric vertex algebras

abstract: We define and study the structure of SUSY Lie conformal and vertex algebras. This leads to effective rules for computations with superfields.


title: Decomposing sequences into monotonic subsequences

abstract: The function f:X -> Y is called k-monotonically increasing if there is a partition X = X_1 U ... U X_k such that f|X_i : X_i -> Y is monotonically increasing for i=1,...,k. It is proved that a one-to-one function f:N -> N is k-monotonically increasing if and only if every set of k+1 positive integers contains two integers x,x' with x < x' such that f(x) <= f(x'). The function f:X \to Y is called k-monotonic if there is a partition X = X_1 U ... U X_k such that f|X_i : X_i -> Y is monotonically increasing or monotonically decreasing for i=1,...,k. It is also proved that there does not exist a k-monotonic function from N onto Q.


title: Nonuniqueness of the solutions to the asymptotic Plateau problem

abstract: Because of the relevance of the results, this paper is merged into the paper titled "On the Number of Solutions to Asymptotic Plateau Problem" (arXiv:math.DG/0505593) as a new section.


title: Linear Stochastic Differential Equations Driven by a Fractional Brownian Motion with Hurst Parameter less than 1/2

abstract: In this paper we use the chaos decomposition approach to establish the existence of a unique continuous solution to linear fractional differential equations of the Skorohod type. Here the coefficients are deterministic, the inital condition is anticipating and the underlying fractional Brownian motion has Hurst parameter less than 1/2. We provide an explicit expression for the chaos decomposition of the solution in order to show our results.


title: Lifetime asymptotics of iterated Brownian motion in R^{n}

abstract: Let $\tau_{D}(Z) $ be the first exit time of iterated Brownian motion from a domain $D \subset \RR{R}^{n}$ started at $z\in D$ and let $P_{z}[\tau_{D}(Z) >t]$ be its distribution. In this paper we establish the exact asymptotics of $P_{z}[\tau_{D}(Z) >t]$ over bounded domains as an improvement of the results in \cite{deblassie, nane2}, for $z\in D$ \begin{eqnarray} \lim_{t\to\infty} t^{-1/2}\exp({3/2}\pi^{2/3}\lambda_{D}^{2/3}t^{1/3}) P_{z}[\tau_{D}(Z)>t]= C(z),\nonumber \end{eqnarray} where $C(z)=(\lambda_{D}2^{7/2})/\sqrt{3 \pi}(\psi(z)\int_{D}\psi(y)dy) ^{2}$. Here $\lambda_{D}$ is the first eigenvalue of the Dirichlet Laplacian ${1/2}\Delta$ in $D$, and $\psi $ is the eigenfunction corresponding to $\lambda_{D}$ . We also study lifetime asymptotics of Brownian-time Brownian motion (BTBM), $Z^{1}_{t}=z+X(|Y(t)|)$, where $X_{t}$ and $Y_{t}$ are independent one-dimensional Brownian motions.


title: Ray-Singer Type Theorem for the Refined Analytic Torsion

abstract: We show that the refined analytic torsion is a holomorphic section of the determinant line bundle over the space of complex representations of the fundamental group of a closed oriented odd dimensional manifold. Further, we calculate the ratio of the refined analytic torsion and the Farber-Turaev combinatorial torsion. As an application, we establish a formula relating the eta-invariant and the phase of the Farber-Turaev torsion, which extends a theorem of Farber and earlier results of ours. This formula allows to study the spectral flow using methods of combinatorial topology.


title: Edgeworth Expansion of the Largest Eigenvalue Distribution Function of GUE and LUE

abstract: We derive expansions of the Hermite and Laguerre kernels at the edge of the spectrum of the finite n Gaussian Unitary Ensemble (GUEn) and the finite n Laguerre Unitary Ensem- ble (LUEn), respectively. Using these large n kernel expansions, we prove an Edgeworth type theorem for the largest eigenvalue distribution function of GUEn and LUEn. In our Edgeworth expansion, the correction terms are expressed in terms of the same Painleve II function appearing in the leading term, i.e. in the Tracy-Widom distribution. We conclude with a brief discussion of the universality of these results.


title: Weighted norm inequalities, off-diagonal estimates and elliptic operators. Part I: General operator theory and weights

abstract: This is the first part of a series of four articles. In this work, we are interested in weighted norm estimates. We put the emphasis on two results of different nature: one is based on a good-$\lambda$ inequality with two-parameters and the other uses Calder\'on-Zygmund decomposition. These results apply well to singular 'non-integral' operators and their commutators with bounded mean oscillation functions. Singular means that they are of order 0, 'non-integral' that they do not have an integral representation by a kernel with size estimates, even rough, so that they may not be bounded on all $L^p$ spaces for $1 < p < \infty$. Pointwise estimates are then replaced by appropriate localized $L^p-L^q$ estimates. We obtain weighted $L^p$ estimates for a range of $p$ that is different from $(1,\infty)$ and isolate the right class of weights. In particular, we prove an extrapolation theorem ' \`a la Rubio de Francia' for such a class and thus vector-valued estimates.


title: Weighted norm inequalities, off-diagonal estimates and elliptic operators. Part II: Off-diagonal estimates on spaces of homogeneous type

abstract: This is the second part of a series of four articles on weighted norm inequalities, off-diagonal estimates and elliptic operators. We consider a substitute to the notion of pointwise bounds for kernels of operators which usually is a measure of decay. This substitute is that of off-diagonal estimates expressed in terms of local and scale invariant $L^p-L^q$ estimates. We propose a definition in spaces of homogeneous type that is stable under composition. It is particularly well suited to semigroups. We study the case of semigroups generated by elliptic operators.


title: Weighted norm inequalities, off-diagonal estimates and elliptic operators. Part III: Harmonic analysis of elliptic operators

abstract: This is the third part of a series of four articles on weighted norm inequalities, off-diagonal estimates and elliptic operators. For $L$ in some class of elliptic operators, we study weighted norm $L^p$ inequalities for singular 'non-integral' operators arising from $L$ ; those are the operators $\phi(L)$ for bounded holomorphic functions $\phi$, the Riesz transforms $\nabla L^{-1/2}$ (or $(-\Delta)^{1/2}L^{-1/2}$) and its inverse $L^{1/2}(-\Delta)^{-1/2}$, some quadratic functionals $g\_{L}$ and $G\_{L}$ of Littlewood-Paley-Stein type and also some vector-valued inequalities such as the ones involved for maximal $L^p$-regularity. For each, we obtain sharp or nearly sharp ranges of $p$ using the general theory for boundedness of Part I and the off-diagonal estimates of Part II. We also obtain commutator results with BMO functions.


title: Weighted norm inequalities, off-diagonal estimates and elliptic operators. Part IV: Riesz transforms on manifolds and weights

abstract: This is the fourth article of our series. Here, we study weighted norm inequalities for the Riesz transform of the Laplace-Beltrami operator on Riemannian manifolds and of subelliptic sum of squares on Lie groups, under the doubling volume property and Gaussian upper bounds.


title: Approximation of the Multiplication Table Function

abstract: In this paper, considering the concept of Universal Multiplication Table, we show that for every $n\geq 2$, the inequality: $$ M(n)=#\{ij|1\leq i,j\leq n\}\geq\frac{n^2}{\mathfrak{N}(n^2)}, $$ holds true with: $$ \mathfrak{N}(n)=n^{\frac{\log 2}{\log\log n}(1+\frac{387}{200\log\log n})}. $$


title: The Metastability Threshold for Modified Bootstrap Percolation in d Dimensions

abstract: In the modified bootstrap percolation model, sites in the cube {1,...,L}^d are initially declared active independently with probability p. At subsequent steps, an inactive site becomes active if it has at least one active nearest neighbour in each of the d dimensions, while an active site remains active forever. We study the probability that the entire cube is eventually active. For all d>=2 we prove that as L\to\infty and p\to 0 simultaneously, this probability converges to 1 if L=exp^{d-1} (lambda+epsilon)/p, and converges to 0 if L=exp^{d-1} (lambda-epsilon)/p, for any epsilon>0. Here exp^n denotes the n-th iterate of the exponential function, and the threshold lambda equals pi^2/6 for all d.


title: Uniform convergence of hypergeometric series

abstract: The considered problem is uniform convergence of sequences of hypergeometric series. We give necessary and sufficient conditions for uniformly dominated convergence of infinite sums of proper bivariate hypergeometric terms. These conditions can be checked algorithmically. Hence the results can be applied in Zeilberger type algorithms for nonterminating hypergeometric series.


title: Log-concavity and the maximum entropy property of the Poisson distribution

abstract: We prove that the Poisson distribution maximises entropy in the class of ultra-log-concave distributions, extending a result of Harremo\"{e}s. The proof uses ideas concerning log-concavity, and a semigroup action involving adding Poisson variables and thinning. We go on to show that the entropy is a concave function along this semigroup.


title: Analytic General Solutions of Nonlinear Difference Equations

abstract: There is no general existence theorem for solutions for nonlinear difference equations, so we must prove the existence of solutions in accordance with models one by one. In our work, we found theorems for the existence of analytic solutions of nonlinear second order difference equations. The main work of the present paper is obtaining representations of analytic general solutions with new methods of complex analysis.


title: Coadjoint orbits of the group $UT(7,K)$

abstract: We present the classification of coadjoint orbits of the unitriangular group $UT(7, K)$. We also describe subregular orbits of $UT(n, K)$ for an arbitrary $n$.


title: On alpha-adic expansions in Pisot bases

abstract: We study $\alpha$-adic expansions of numbers in an extension field, that is to say, left infinite representations of numbers in the positional numeration system with the base $\alpha$, where $\alpha$ is an algebraic conjugate of a Pisot number $\beta$. Based on a result of Bertrand and Schmidt, we prove that a number belongs to $\mathbb{Q}(\alpha)$ if and only if it has an eventually periodic $\alpha$-expansion. Then we consider $\alpha$-adic expansions of elements of the extension ring $\mathbb{Z}[\alpha^{-1}]$ when $\beta$ satisfies the so-called Finiteness property (F). In the particular case that $\beta$ is a quadratic Pisot unit, we inspect the unicity and/or multiplicity of $\alpha$-adic expansions of elements of $\mathbb{Z}[\alpha^{-1}]$. We also provide algorithms to generate $\alpha$-adic expansions of rational numbers.


title: When first order T has limit models

abstract: We to a large extent sort out when does a (first order complete theory) T have a superlimit model in a cardinal lambda . Also we deal with relation notions of being limit.


title: Minimal bounded index subgroup for dependent theories

abstract: For a dependent theory T, in C_T for every type definable group G, the intersection of type definable subgroups with bounded index is a type definable subgroup with bounded index.


title: Quenched nonequilibrium central limit theorem for a tagged particle in the exclusion process with bond disorder

abstract: For a sequence of i.i.d. random variables $\{\xi_x : x\in \bb Z\}$ bounded above and below by strictly positive finite constants, consider the nearest-neighbor one-dimensional simple exclusion process in which a particle at $x$ (resp. $x+1$) jumps to $x+1$ (resp. $x$) at rate $\xi_x$. We examine a quenched nonequilibrium central limit theorem for the position of a tagged particle in the exclusion process with bond disorder $\{\xi_x : x\in \bb Z\}$. We prove that the position of the tagged particle converges under diffusive scaling to a Gaussian process if the other particles are initially distributed according to a Bernoulli product measure associated to a smooth profile $\rho_0:\bb R\to [0,1]$.


title: A Relation for Domino Robinson-Schensted Algorithms

abstract: We describe a relationship between Robinson-Schensted algorithms defined for standard domino tableaux of unequal rank. The principal idea is the moving-through operation defined on standard domino tableaux by D. Garfinkle. When restricted to involutions, this answers a question posed by M.A.A. van Leeuwen.


title: Brunn-Minkowski Inequalities for Contingency Tables and Integer Flows

abstract: Given a non-negative mxn matrix W=(w_ij) and positive integer vectors R=(r_1, >..., r_m) and C=(c_1, ..., c_n), we consider the total weight T(R, C; W) of mxn non-negative integer matrices (contingency tables) D with the row sums r_i, the column sums c_j, and the weight of D=(d_ij) equal to product of w_ij^d_ij. In particular, if W is a 0-1 matrix, T(R, C; W) is the number of integer feasible flows in a bipartite network. We prove a version of the Brunn-Minkowski inequality relating the numbers T(R, C; W) and T(R_k, C_k; W), where (R, C) is a convex combination of (R_k, C_k) for k=1, ..., p.


title: Global existence versus blow up for some models of interacting particles

abstract: We study the global existence and space-time asymptotics of solutions for a class of nonlocal parabolic semilinear equations. Our models include the Nernst-Planck and the Debye-Hukel drift-diffusion systems as well as parabolic-elliptic systems of chemotaxis. In the case of a model of self-gravitating particles, we also give a result on the finite time blow up of solutions with localized and oscillating complex-valued initial data, using a method by S. Montgomery-Smith.


title: On the Reconstruction of the Matrix from its Minors

abstract: In our article we consider some algebraical methods which may be useful in some inverse spectral problems. The reconstraction of the matrix from its minors is considered.


title: Ergodic theory for SDEs with extrinsic memory

abstract: We develop a theory of ergodicity for a class of random dynamical systems where the driving noise is not white. The two main tools of our analysis are the strong Feller property and topological irreducibility, introduced in this work for a class of non-Markovian systems. They allow us to obtain a criteria for ergodicity which is similar in nature to the Doob--Khas'minskii theorem. The second part of this article shows how it is possible to apply these results to the case of stochastic differential equations driven by fractional Brownian motion. It follows that under a nondegeneracy condition on the noise, such equations admit a unique adapted stationary solution.


title: Curvature estimates for graphs with prescribed mean curvature and flat normal bundle

abstract: We consider graphs Sigma^n in R^m with prescribed mean curvature and flat normal bundle. Using techniques of Schoen, Simon and Yau, and Ecker-Huisken, we derive an interior curvature estimate of the form |A|^2<=C/R^2 up to dimension n<=5, where C is a constant depending on natural geometric data of Sigma^n only. This generalizes previous results of Smoczyk, Wang and Xin, and Wang for minimal graphs with flat normal bundle.


title: Choosing roots of polynomials with symmetries smoothly

abstract: The roots of a smooth curve of hyperbolic polynomials may not in general be parameterized smoothly, even not $C^{1,\alpha}$ for any $\alpha > 0$. A sufficient condition for the existence of a smooth parameterization is that no two of the increasingly ordered continuous roots meet of infinite order. We give refined sufficient conditions for smooth solvability if the polynomials have certain symmetries. In general a $C^{3n}$ curve of hyperbolic polynomials of degree $n$ admits twice differentiable parameterizations of its roots. If the polynomials have certain symmetries we are able to weaken the assumptions in that statement.


title: Frame analysis and approximation in reproducing kernel Hilbert spaces

abstract: We consider frames F in a given Hilbert space, and we show that every F may be obtained in a constructive way from a reproducing kernel and an orthonormal basis in an ambient Hilbert space. The construction is operator-theoretic, building on a geometric formula for the analysis operator defined from F. Our focus is on the infinite-dimensional case where a priori estimates play a central role, and we extend a number of results which are known so far only in finite dimensions. We further show how this approach may be used both in constructing useful frames in analysis and in applications, and in understanding their geometry and their symmetries.


title: Riemann minimal surfaces in higher dimensions

abstract: We prove the existence of a one parameter family of minimal embedded hypersurfaces in $R^{n+1}$, for $n \geq 3$, which generalize the well known 2 dimensional "Riemann minimal surfaces". The hypersurfaces we obtain are complete, embedded, simply periodic hypersurfaces which have infinitely many parallel hyperplanar ends. By opposition with the 2-dimensional case, they are not foliated by spheres.


title: Special Riemannian geometries modeled on distinguished symmetric spaces

abstract: We propose studies of special Riemannian geometries with structure groups $H_1=SO(3)\subset SO(5)$, $H_2=SU(3)\subset SO(8)$, $H_3=Sp(3)\subset SO(14)$ and $H_4=F_4\subset SO(26)$ in respective dimensions 5, 8, 14 and 26. These geometries, have torsionless models with symmetry groups $G_1=SU(3)$, $G_2=SU(3)\times SU(3)$, $G_3=SU(6)$ and $G_4=E_6$. The groups $H_k$ and $G_k$ constitute a part of the `magic square' for Lie groups. Apart from the $H_k$ geometries in dimensions $n_k$, the `magic square' Lie groups suggest studies of a finite number of other special Riemannian geometries. Among them the smallest dimensional are U(3) geometries in dimension 12. The other structure groups for these Riemannian geometries are: $S(U(3)\times U(3))$, U(6), $E_6\times SO(2)$, $Sp(3)\times SU(2)$, $SU(6)\times SU(2)$, $SO(12)\times SU(2)$ and $E_7\times SU(2)$. The respective dimensions are: 18, 30, 54, 28, 40, 64 and 112. This list is supplemented by the two `exceptional' cases of $SU(2)\times SU(2)$ geometries in dimension 8 and $SO(10)\times SO(2)$ geometries in dimension 32.


title: On a Proof of the Goldbach Conjecture and the Twin Prime Conjecture

abstract: In this paper we use the connected sum operation on knots to show that there is a one-to-one relation between knots and numbers. In this relation prime knots are bijectively assigned with prime numbers such that the prime number 2 corresponds to the trefoil knot. From this relation we have a classification table of knots where knots are one-to-one assigned with numbers. Further this assignment for the $n$th induction step of the number $2^n$ is determined by this assignment for the previous $n-1$ steps. From this induction of assigning knots with numbers we can solve some problems in number theory such as the Goldbach Conjecture and the Twin Prime Conjecture.


title: The minimum degree threshold for perfect graph packings

abstract: Let H be any graph. We determine (up to an additive constant) the minimum degree of a graph G which ensures that G has a perfect H-packing (also called an H-factor). More precisely, let delta(H,n) denote the smallest integer t such that every graph G whose order n is divisible by |H| and with delta(G) > t contains a perfect H-packing. We show that delta(H,n) = (1-1/\chi*(H))n+O(1). The value of chi*(H) depends on the relative sizes of the colour classes in the optimal colourings of H and satisfies k-1 < chi*(H) \le k, where k is the chromatic number of H.


title: Finite type and the effective Nullstellensatz

abstract: Improved local and global versions of the effective Nullstellensatz for ideal sheaves on non-singular complex varieties are obtained, based on a new invariant motivated by the notion of finite type from the theory of several complex variables. Two closely related curve selection theorems for curves with maximal adjusted tangency orders to a given ideal sheaf are established along the way, using normalized blow-ups and integral closures.


title: A characterization of finitely generated reflection subgroups of Coxeter groups orthogonal to a reflection

abstract: Given a reflection $r$ in a Coxeter group $W$ (possibly of infinite rank), we consider the subgroup of $W$ generated by the reflections in $W$ having (-1)-eigenvectors orthogonal to the (-1)-eigenvector of $r$. In this paper, we determine completely when this subgroup is finitely generated, by using preceding results on centralizers of reflections. This result provides a new and naturally constructed example of a family of non-finitely generated subgroups of finitely generated groups.


title: Parameter Estimation for Multiscale Diffusions

abstract: We study the problem of parameter estimation for time-series possessing two, widely separated, characteristic time scales. The aim is to understand situations where it is desirable to fit a homogenized singlescale model to such multiscale data. We demonstrate, numerically and analytically, that if the data is sampled too finely then the parameter fit will fail, in that the correct parameters in the homogenized model are not identified. We also show, numerically and analytically, that if the data is subsampled at an appropriate rate then it is possible to estimate the coefficients of the homogenized model correctly.


title: All generating sets of all property T von Neumann algebras have free entropy dimension $\leq 1$

abstract: Suppose $N$ is a diffuse, property T von Neumann algebra and X is an arbitrary finite generating set of selfadjoint elements for N. By using rigidity/deformation arguments applied to representations of N in full matrix algebras, we deduce that the microstate spaces of X are asymptotically discrete up to unitary conjugacy. We use this description to show that the free entropy dimension of X, $\delta_0(X)$, is less than or equal to 1. It follows that when N embeds into the ultraproduct of the hyperfinite $\mathrm{II}_1$-factor, then $\delta_0(X)=1$ and otherwise, $\delta_0(X)=-\infinity$. This generalizes the earlier results of Voiculescu, and Ge, Shen pertaining to $SL_n(\mathbb Z)$ as well as the results of Connes, Shlyakhtenko pertaining to group generators of arbitrary property T algebras.


title: On Irreducible, Infinite, Non-affine Coxeter Groups

abstract: The following results are proved: The center of any finite index subgroup of an irreducible, infinite, non-affine Coxeter group is trivial; Any finite index subgroup of an irreducible, infinite, non-affine Coxeter group cannot be expressed as a product of two nontrivial subgroups. These two theorems imply a unique decomposition theorem for a class of Coxeter groups. We also obtain that the orbit of each element other than the identity under the conjugation action in an irreducible, infinite, non-affine Coxeter group is an infinite set. This implies that an irreducible, infinite Coxeter group is affine if and only if it contains an abelian subgroup of finite index.


title: On a notion of maps between orbifolds, I. function spaces

abstract: This is the first of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we define the maps in the more general context of orbispaces, and establish several basic results concerning the topological structure of the space of such maps. In particular, we show that the space of such maps of C^r-class between smooth orbifolds has a natural Banach orbifold structure if the domain of the map is compact, generalizing the corresponding result in the manifold case. Motivations and applications of the theory come from string theory and the theory of pseudoholomorphic curves in symplectic orbifolds.


title: Maximal n-orthogonal modules for selfinjective algebras

abstract: Let A be a selfinjective algebra. We show that, for any n, maximal n-orthogonal A-modules (in the sense of Iyama), rarely exist. More precisely, we prove that if A admits a maximal n-orthogonal module, then all A-modules are of complexity at most 1.


title: Correction. Connect The Dots: How Many Random Points Can A Regular Curve Pass Through?

abstract: Correction for Adv. in Appl. Probab. 37, no. 3 (2005), 571-603


title: Generalized rank-constrained matrix approximations

abstract: In this paper we give an explicit solution to the rank constrained matrix approximation in Frobenius norm, which is a generalization of the classical approximation of an m by n matrix A by a matrix of rank k at most.


title: The lower central series and pseudo-Anosov dilatations

abstract: The theme of this paper is that algebraic complexity implies dynamical complexity for pseudo-Anosov homeomorphisms of a closed surface S_g of genus g. Penner proved that the logarithm of the minimal dilatation for a pseudo-Anosov homeomorphism of S_g tends to zero at the rate 1/g. We consider here the smallest dilatation of any pseudo-Anosov homeomorphism of S_g acting trivially on Gamma/Gamma_k, the quotient of Gamma = pi_1(S_g) by the k-th term of its lower central series, k > 0. In contrast to Penner's asymptotics, we prove that this minimal dilatation is bounded above and below, independently of g, with bounds tending to infinity with k. For example, in the case of the Torelli group I(S_g), we prove that L(I(S_g)), the logarithm of the minimal dilatation in I(S_g), satisfies .197 < L(I(S_g))< 4.127. In contrast, we find pseudo-Anosov mapping classes acting trivially on Gamma/Gamma_k whose asymptotic translation lengths on the complex of curves tend to 0 as g tends toward infinity.


title: Some extensions of the Einstein-Dirac equation

abstract: We considered an extension of the standard functional for the Einstein-Dirac equation where the Dirac operator is replaced by the square of the Dirac operator and a real parameter controlling the length of spinors is introduced. For one distinguished value of the parameter, the resulting Euler-Lagrange equations provide a new type of Einstein-Dirac coupling. We establish a special method for constructing global smooth solutions of a newly derived Einstein-Dirac system called the {\it CL-Einstein-Dirac equation of type II} (see Definition 3.1).


title: A relation between the parabolic Chern characters of the de Rham bundles

abstract: In this paper, we consider the weight $i$ de Rham--Gauss--Manin bundles on a smooth variety arising from a smooth projective morphism $f:X\_U\lrar U$ for $i\geq 0$. We associate to each weight $i$ de Rham bundle, a certain parabolic bundle on $S$ and consider their parabolic Chern characters in the rational Chow groups, for a good compactification $S$ of $U$. We show the triviality of the alternating sum of these parabolic bundles in the (positive degree) rational Chow groups. This removes the hypothesis of semistable reduction in the original result of this kind due to Esnault and Viehweg.


title: Packing and Partitioning Orbitopes

abstract: We introduce orbitopes as the convex hulls of 0/1-matrices that are lexicographically maximal subject to a group acting on the columns. Special cases are packing and partitioning orbitopes, which arise from restrictions to matrices with at most or exactly one 1-entry in each row, respectively. The goal of investigating these polytopes is to gain insight into ways of breaking certain symmetries in integer programs by adding constraints, e.g., for a well-known formulation of the graph coloring problem. We provide a thorough polyhedral investigation of packing and partitioning orbitopes for the cases in which the group acting on the columns is the cyclic group or the symmetric group. Our main results are complete linear inequality descriptions of these polytopes by facet-defining inequalities. For the cyclic group case, the descriptions turn out to be totally unimodular, while for the symmetric group case both the description and the proof are more involved. Nevertheless, the associated separation problem can be solved in linear time also in this case.


title: Presentation of the singular part of the Brauer monoid

abstract: We obtain a presentation for the singular part of the Brauer monoid with respect to an irreducible system of generators, consisting of idempotents. As an application of this result we get a new construction of the symmetric group via connected sequences of subsets. Another application describes the lengths of elements in the singular part of the Brauer monoid with respect to the system of generators, mentioned above.


title: The six operations for sheaves on Artin stacks II: Adic Coefficients

abstract: In this paper we develop a theory of Grothendieck's six operations for adic constructible sheaves on Artin stacks continuing the study of the finite coefficients case in math.AG/0512097.


title: Maximizing the Closed Loop Asymptotic Decay Rate for the Two-Mass-Spring Control Problem

abstract: We consider the following problem: find a fixed-order linear controller that maximizes the closed-loop asymptotic decay rate for the classical two-mass-spring system. This can be formulated as the problem of minimizing the abscissa (maximum of the real parts of the roots) of a polynomial whose coefficients depend linearly on the controller parameters. We show that the only order for which there is a non-trivial solution is 2. In this case, we derive a controller that we prove locally maximizes the asymptotic decay rate, using recently developed techniques from nonsmooth analysis.


title: The Tits alternative for generalized triangle groups of type (3,4,2)

abstract: A generalized triangle group is a group that can be presented in the form $G = < x,y | x^p=y^q=w(x,y)^r=1>$, where $p,q,r\geq 2$ and $w(x,y)$ is a cyclically reduced word of length at least 2 in the free product $\Z_p*\Z_q=< x,y | x^p=y^q=1>$. Rosenberger has conjectured that every generalized triangle group $G$ satisfies the Tits alternative. It is known that the conjecture holds except possibly when the triple $(p,q,r)$ is one of $(2,3,2), (2,4,2),(2,5,2),(3,3,2),(3,4,2)$, or $(3,5,2)$. In this paper we show that the Tits alternative holds in the case $(p,q,r)=(3,4,2)$.


title: Codimension two singularities for representations of extended Dynkin quivers

abstract: Let M and N be two representations of an extended Dynkin quiver such that the orbit O_N of N is contained in the orbit closure \bar{O_M} and has codimension two. We show that the pointed variety $(\bar{O_M},N)$ is smoothly equivalent to a simple surface singularity of type A_n, or to the cone over a rational normal curve.


title: Transitive decomposition of symmetry groups for the $n$-body problem

abstract: Periodic and quasi-periodic orbits of the $n$-body problem are critical points of the action functional constrained to the Sobolev space of symmetric loops. Variational methods yield collisionless orbits provided the group of symmetries fulfills certain conditions (such as the \emph{rotating circle property}). Here we generalize such conditions to more general group types and show how to constructively classify all groups satisfying such hypothesis, by a decomposition into irreducible transitive components. As examples we show approximate trajectories of some of the resulting symmetric minimizers.


title: Orbital Varieties and Unipotent Representations

abstract: Using the notion of a Lagrangian covering, W. Graham and D. Vogan proposed a method of constructing representations from the coadjoint orbits for a complex semisimple Lie group $G$. When the coadjoint orbit $\calO$ is nilpotent, a representation of $G$ is attached to each orbital variety of $\calO$ in this way. In the setting of classical groups, we show that whenever it is possible to carry out the Graham-Vogan construction for an orbital variety of a spherical $\mathcal{O}$, its infinitesimal character lies in a set of characters attached to $\mathcal{O}$ by W. M. McGovern. Furthermore, we show that it is possible to carry out the Graham-Vogan construction for a sufficient number of orbital varieties to account for all the infinitesimal characters in this set.


title: Microlocal kernel of pseudodifferential operators at an hyperbolic fixed point

abstract: We study the microlocal kernel of h-pseudodifferential operators P(x,hD)-z, where z belongs to some neighborhood of size O(h) of a critical value of its principal symbol. We suppose that this critical value corresponds to a hyperbolic fixed point of the associated Hamiltonian flow. First we describe propagation of singularities at such a hyperbolic fixed point, both in the analytic and in the smooth category. In both cases, we show that the null solution is the only element of this microlocal kernel which vanishes on the stable incoming manifold, but for energies z in some discrete set. For energies z out of this set, we build the element of the microlocal kernel with prescribed data on the incoming manifold. We describe completely the operator which associate the value of this null solution on the outgoing manifold to the initial data on the incoming one. In particular it appears to be a semiclassical Fourier integral operator associated to some natural canonical relation.


title: Stable twisted curves and their r-spin structures

abstract: The object of this paper is the notion of r-spin structure: a line bundle whose r-th power is isomorphic to the canonical bundle. Over the moduli functor M_g of smooth genus-$g$ curves, $r$-spin structures form a finite torsor under the group of r-torsion line bundles. Over the moduli functor Mbar_g of stable curves, r-spin structures form an 'etale stack, but the finiteness and the torsor structure are lost. In the present work, we show how this bad picture can be definitely improved simply by placing the problem in the category of Abramovich and Vistoli's twisted curves. First, we find that within such category there exist several different compactifications of M_g; each one corresponds to a different multiindex \ell=(l0,l1,...) identifying a notion of stability: \ell-stability. Then, we determine the suitable choices of \ell for which r-spin structures form a finite torsor over the moduli of \ell-stable curves.


title: Invertibility of Matrices over Subrings

abstract: Given rings $R \subseteq S$, consider the division closure $DC(R,S)$ and the rational closure $RC(R,S)$ of R in S. If S is commutative, then $DC(R,S)=RC(R,S)=RT^{-1}$, where $T = \{t\in R : t^{-1} \in S\}$. We show that this is also true if we assume only that R is commutative.


title: Quantitative N\'eron theory for torsion bundles

abstract: Let R be a discrete valuation ring with algebraically closed residue field, and consider a smooth curve CK over the field of fractions K. For any positive integer r prime to the residual characteristic, we consider the finite K-group scheme Pic_{CK}[r] of r-torsion line bundles on CK. We determine when there exists a finite R-group scheme, which is a model of Pic_{CK}[r] over R; in other words, we establish when the N\'eron model of Pic_{CK}[r] is finite. To this effect, one needs to analyse the points of the N\'eron model over R, which, in general, do not represent r-torsion line bundles on a semistable reduction of CK. Instead, we recast the notion of models on a stack-theoretic base: there, we find finite N\'eron models, which represent r-torsion line bundles on a stack-theoretic semistable reduction of CK. This allows us to quantify the lack of finiteness of the classical N\'eron models and finally to provide an efficient criterion for it.


title: Equivariant deformations of the affine multicone over a flag variety

abstract: We prove that the invariant Hilbert scheme parametrising the equivariant deformations of the affine multicone over a flag variety is, under certain hypotheses, an affine space. The proof is based on the construction of a wonderful variety in a fixed multiprojective space.


title: A hodgepodge of sets of reals

abstract: We prove a variety of results concerning singular sets of reals. Our results concern: Kysiak and Laver-null sets, Kocinac and gamma-k-sets, Fleissner and square Q-sets, Alikhani-Koopaei and minimal Q-like-sets, Rubin and sigma-sets, and Zapletal and the Souslin number. In particular we show that sigma-sets are Laver-null, the union of gamma-k-sets need not be gamma-k, the existence of Q-set implies an omega1-universal G_delta, minimal Q-like sets which are not Q-sets exist, thin sets need not exist, and sn* is bounded by the cardinality of the smallest nonmeager set.


title: Mass Concentration Phenomenon for the Quintic Nonlinear Schr\"odinger Equation in One Dimension

abstract: We consider the $L^{2}$-critical quintic focusing nonlinear Schr\"odinger equation (NLS) on ${\bf R}$. It is well known that $H^{1}$ solutions of the aforementioned equation blow up in finite time. In higher dimensions, for $H^{1}$ spherically symmetric blow-up solutions of the $L^{2}$-critical focusing NLS, there is a minimal amount of concentration of the $L^{2}$-norm (the mass of the ground state) at the origin. In this paper we prove the existence of a similar phenomenon for the one-dimensional case and rougher initial data, $(u_{0}\in H^{s}, s<1)$, without any additional assumption.


title: On the growth of the Betti sequence of the canonical module

abstract: We study the growth of the Betti sequence of the canonical module of a Cohen-Macaulay local ring. It is an open question whether this sequence grows exponentially whenever the ring is not Gorenstein. We answer the question of exponential growth affirmatively for a large class of rings, and prove that the growth is in general not extremal. As an application of growth, we give criteria for a Cohen-Macaulay ring possessing a canonical module to be Gorenstein.


title: Homological index formulas for elliptic operators over C*-algebras

abstract: We prove index formulas for elliptic operators acting between sections of C*-vector bundles on a closed manifold. The formulas involve Karoubi's Chern character from K-theory of a C*-algebra to de Rham homology of smooth subalgebras. We show how they apply to the higher index theorem for coverings and to flat foliated bundles, and prove an index theorem for C*-dynamical systems associated to actions of compact Lie groups. In an Appendix we relate the pairing of odd K-theory and KK-theory to the noncommutative spectral flow and prove the regularity of elliptic pseudodifferential operators over C*-algebras.


title: Systolic volume and minimal entropy of aspherical manifolds

abstract: We establish isosystolic inequalities for a class of manifolds which includes the aspherical manifolds. In particular, we relate the systolic volume of aspherical manifolds first to their minimal entropy, then to the algebraic entropy of their fundamental groups.


title: The zeros of Gaussian random holomorphic functions on $\C^n$, and hole probability

abstract: We consider a class of Gaussian random holomorphic functions, whose expected zero set is uniformly distributed over $\C^n $. This class is unique (up to multiplication by a non zero holomorphic function), and is closely related to a Gaussian field over a Hilbert space of holomorphic functions on the reduced Heisenberg group. For a fixed random function of this class, we show that the probability that there are no zeros in a ball of large radius, is less than $e^{-c_1 r^{2n+2}}$, and is also greater than $e^{-c_2 r^{2n+2}}$. Enroute to this result we also compute probability estimates for the event that a random function's unintegrated counting function deviates significantly from its mean.


title: Classical Yang- Baxter Equation and Low Dimensional Triangular Lie Bialgebras Over Arbitrary Field

abstract: Let $ L $ be a Lie algebra over arbitrary field $ k $ with dim $ L $ =3 and dim $ L' $ =2. All solutions of constant classical Yang- Baxter equation (CYBE) in Lie algebra $ L $ are obtained and the necessary conditions which $ (L,[\ ],\Delta_{r}, r) $ is a coboundary (or triangular) Lie bialgebra are given.


title: Sheaf theory for stacks in manifolds and twisted cohomology for S^1-gerbes

abstract: This is the first of a series of papers on sheaf theory on smooth and topological stacks and its applications. The main result of the present paper is the characterization of the twisted (by a closed integral three-form) de Rham complex on a manifold. As an object in the derived category it will be related with the push-forward of the constant sheaf from a S^1-gerbe with Dixmier-Douady class represented by the three-form. In order to formulate and prove this result we develop in detail the foundations of sheaf theory for smooth stacks.


title: Invariant theory for singular $\alpha$-determinants

abstract: From the irreducible decompositions' point of view, the structure of the cyclic $GL_n$-module generated by the $\alpha$-determinant degenerates when $\alpha=\pm \frac1k (1\leq k\leq n-1)$. In this paper, we show that $-\frac1k$-determinant shares similar properties which the ordinary determinant possesses. From this fact, one can define a new (relative) invariant called a wreath determinant. Using $(GL_m, GL_n)$-duality in the sense of Howe, we obtain an expression of a wreath determinant by a certain linear combination of the corresponding ordinary minor determinants labeled by suitable rectangular shape tableaux. Also we study a wreath determinant analogue of the Vandermonde determinant, and then, investigate symmetric functions such as Schur functions in the framework of wreath determinants. Moreover, we examine coefficients which we call $(n,k)$-sign appeared at the linear expression of the wreath determinant in relation with a zonal spherical function of a Young subgroup of the symmetric group $S_{nk}$.


title: Ap\'ery-like numbers arising from special values of spectral zeta functions for non-commutative harmonic oscillators

abstract: We derive an expression for the value $\zeta_Q(3)$ of the spectral zeta function $\zeta_Q(s)$ studied by Ichinose and Wakayama for the non-commutative harmonic oscillator defined in the work of Parmeggiani and Wakayama using a Gaussian hypergeometric function. In this study, two sequences of rational numbers, denoted $J_2(n)$ and $J_3(n)$, which can be regarded as analogues of the Ap\'ery numbers, naturally arise and play a key role in obtaining the expressions for the values $\zeta_Q(2)$ and $\zeta_Q(3)$. We also show that the numbers $J_2(n)$ and $J_3(n)$ have congruence relations like those of the Ap\'ery numbers.


title: The lower central and derived series of the braid groups of the sphere and the punctured sphere

abstract: Our aim is to determine the lower central series (LCS) and derived series (DS) for the braid groups of the sphere and of the finitely-punctured sphere. We show that for all n (resp. all n\geq 5), the LCS (resp. DS) of the n-string braid group B\_n(S^2) is constant from the commutator subgroup onwards, and that \Gamma\_2(B\_4(S^2)) is a semi-direct product of the quaternion group by a free group of rank 2. For n=4, we determine the DS of B\_4(S^2), as well as its quotients. For n \geq 1, the class of m-string braid groups B\_m(S^2) \ {x\_1,...,x\_n} of the n-punctured sphere includes the Artin braid groups B\_m, those of the annulus, and certain Artin and affine Artin groups. We extend results of Gorin and Lin, and show that the LCS (resp. DS) of B\_m is determined for all m (resp. for all m\neq 4). For m=4, we obtain some elements of the DS. When n\geq 2, we prove that the LCS (resp. DS) of B\_m(S^2) \ {x\_1,...,x\_n} is constant from the commutator subgroup onwards for all m\geq 3 (resp. m\geq 5). We then show that B\_2(S^2\{x\_1,x\_2}) is residually nilpotent, that its LCS coincides with that of Z\_2*Z, and that the \Gamma\_i/\Gamma\_{i+1} are 2-elementary finitely-generated groups. For m\geq 3 and n=2, we obtain a presentation of the derived subgroup and its Abelianisation. For n=3, we see that the quotients \Gamma\_i/\Gamma\_{i+1} are 2-elementary finitely-generated groups.


title: Large deviations for many Brownian bridges with symmetrised initial-terminal condition

abstract: Consider a large system of $N$ Brownian motions in $\mathbb{R}^d$ with some non-degenerate initial measure on some fixed time interval $[0,\beta]$ with symmetrised initial-terminal condition. That is, for any $i$, the terminal location of the $i$-th motion is affixed to the initial point of the $\sigma(i)$-th motion, where $\sigma$ is a uniformly distributed random permutation of $1,...,N$. Such systems play an important role in quantum physics in the description of Boson systems at positive temperature $1/\beta$. In this paper, we describe the large-N behaviour of the empirical path measure (the mean of the Dirac measures in the $N$ paths) and of the mean of the normalised occupation measures of the $N$ motions in terms of large deviations principles. The rate functions are given as variational formulas involving certain entropies and Fenchel-Legendre transforms. Consequences are drawn for asymptotic independence statements and laws of large numbers. In the special case related to quantum physics, our rate function for the occupation measures turns out to be equal to the well-known Donsker-Varadhan rate function for the occupation measures of one motion in the limit of diverging time. This enables us to prove a simple formula for the large-N asymptotic of the symmetrised trace of ${\rm e}^{-\beta \mathcal{H}_N}$, where $\mathcal{H}_N$ is an $N$-particle Hamilton operator in a trap.


title: The main component of the toric Hilbert scheme

abstract: Let \X be an affine toric variety under a torus \T and let T be a subtorus. The general T-orbit closures in \X and their flat limits are parametrized by the main component H_0 of the toric Hilbert scheme. Further, the quotient torus \T/T acts on H_0 with a dense orbit. We describe the fan of this toric variety; this leads us to an integral analogue of the fiber polytope of Billera and Sturmfels. We also describe the relation of H_0 to the main component of the inverse limit of GIT quotients of \X by T.


title: Large eddy approximation of turbulent flow in DSC schemes

abstract: Large eddy approximation of turbulent flow is given a natural setting within the DSC framework of computational fluid dynamics. Periodic cellular coarse-graining prevents the nodal flow from piling up and preserves its large patterns. The coarsening operations are consistent with the near-field interaction principle of DSC and - therefore - uncomplicated at boundaries. Numerical examples validate the approach.


title: Refilling meridians in a genus 2 handlebody complement

abstract: Suppose a genus two handlebody is removed from a 3-manifold M and then a single meridian of the handlebody is restored. The result is a knot or link complement in M and it is natural to ask whether geometric properties of the link complement say something about the meridian that was restored. Here we consider what the relation must be between two not necessarily disjoint meridians so that restoring each of them gives a trivial knot or a split link.


title: Harmonic total Chern forms and stability

abstract: In this paper we will perturb the scalar curvature of compact Kahler manifolds by incorporating it with higher Chern forms, and then show that the perturbed scalar curvature has many common properties with the unperturbed scalar curvature. In particular the perturbed scalar curvature becomes a moment map, with respect to a perturbed symplectic structure, on the space of all complex structures on a fixed symplectic manifold, which extends the results of Donaldson and Fujiki on the unperturbed case.


title: Strongly invertible knots, rational-fold branched coverings and hyperbolic spatial graphs

abstract: A construction of a spatial graph from a strongly invertible knot was developed by the second author, and a necessary and sufficient condition for the given spatial graph to be hyperbolic was provided as well. The condition is improved in this paper. This enable us to show that certain classes of knots can yield hyperbolic spatial graphs via the construction.