title: Monodromy of stable curves of compact type: rigidity and extension

abstract: Let ${\cal M}_{g,n}$, for $2g-2+n>0$, be the moduli stack of $n$-pointed, genus $g$, smooth curves. For a family $C\to S$ of such curves over a connected base and a geometric point $\xi$ on $S$, the associated monodromy representation is the induced homomorphism $\pi_1(S,\xi)\to\pi_1({\cal M}_{g,n},[C_\xi])$ on algebraic fundamental groups. It is well known that, if $S$ is irreducible, reduced and locally of finite type over a field $k$ of characteristic zero, the fibre $C_\xi$ and the corresponding monodromy representation determine the relative isomorphism class of the family. In the first part of the paper, it is shown that suitable quotients of this representation suffice. These results are then applied to show that the monodromy representation associated to a family $C\to S$ of $n$-pointed, genus $g$, stable curves of compact type, i.e. the induced homomorphism $\pi_1(S,\xi)\to\pi_1(\widetilde{\cal M}_{g,n},[C_\xi])$ (where, $\widetilde{\cal M}_{g,n}$ denotes the moduli stack of $n$-pointed, genus $g$, stable curves of compact type), characterizes trivial and isotrivial families. Let $U$ be an open subscheme of a normal, irreducible, locally noetherian scheme $S$ over a field $k$ of characteristic zero and let $C\ra U$ be a family of stable curves of compact type. In the second part of the paper, a monodromy criterion is given for extending $C\to U$ to a family of stable curves of compact type over $S$.


title: Quiver algebras, weighted projective lines, and the Deligne-Simpson problem

abstract: We describe recent work on preprojective algebras and moduli spaces of their representations. We give an analogue of Kac's Theorem, characterizing the dimension types of indecomposable coherent sheaves over weighted projective lines in terms of loop algebras of Kac-Moody Lie algebras, and explain how it is proved using Hall algebras. We discuss applications to the problem of describing the possible conjugacy classes of sums and products of matrices in known conjugacy classes.


title: The 1-d stochastic wave equation driven by a fractional Brownian motion

abstract: In this paper, we develop a Young integration theory in dimension 2 which will allow us to solve a non-linear one dimensional wave equation driven by an arbitrary signal whose rectangular increments satisfy some H\"{o}lder regularity conditions, for some H\"older exponent greater than 1/2. This result will be applied to the infinite dimensional fractional Brownian motion.


title: On pairs of prime geodesics with fixed homology difference

abstract: We exhibit the analogy between prime geodesics on hyperbolic Riemann surfaces and ordinary primes. We present new asymptotic counting results concerning pairs of prime geodesics whose homology difference is fixed.


title: On the topology of positively curved Bazaikin spaces

abstract: We study the topology of the 13 dimensional positively curved Bazaikin spaces. We show that there is only one such manifold which is homotopy equivalent to a homogeneous space, the so called Berger space. This is in contrast to the case of the 7 dimensional positively curved Eschenburg spaces. In addition, we compute the Pontryagin classes and the linking form and show that the first two billion positively curved Bazaikin manifolds are homeomorphically distinct, raising the question whether this is true in general.


title: The threshold effects for a family of Friedrichs models under rank one perturbations

abstract: A family of Friedrichs models under rank one perturbations $h_{\mu}(p),$ $p \in (-\pi,\pi]^3$, $\mu>0,$ associated to a system of two particles on the three dimensional lattice $\Z^3$ is considered. We prove the existence of a unique eigenvalue below the bottom of the essential spectrum of $h_\mu(p)$ for all nontrivial values of $p$ under the assumption that $h_\mu(0)$ has either a threshold energy resonance (virtual level) or a threshold eigenvalue. The threshold energy expansion for the Fredholm determinant associated to a family of Friedrichs models is also obtained.


title: Dirichlet and Neumann Problems for String Equation, Poncelet Problem and Pell-Abel Equation

abstract: We consider conditions for uniqueness of the solution of the Dirichlet or the Neumann problem for 2-dimensional wave equation inside of bi-quadratic algebraic curve. We show that the solution is non-trivial if and only if corresponding Poncelet problem for two conics associated with the curve has periodic trajectory and if and only if corresponding Pell-Abel equation has a solution.


title: Multilinear forms and graded algebras

abstract: In this paper we investigate the class of the connected graded algebras which are finitely generated in degree 1, which are finitely presented with relations of degrees greater or equal to 2 and which are of finite global dimension D and Gorenstein. For D greater or equal to 4 we add the condition that these algebras are homogeneous and Koszul. It is shown that each such algebra is completely characterized by a multilinear form satisfying a twisted cyclicity condition and some other nondegeneracy conditions depending on the global dimension D. This multilinear form plays the role of a volume form and canonically identifies in the quadratic case to a nontrivial Hochschild cycle of maximal degree. Several examples including the Yang-Mills algebra and the extended 4-dimensional Sklyanin algebra are analyzed in this context. Actions of quantum groups are also investigated.


title: Generalization of an Identity of Andrews

abstract: We consider an identity relating Fibonacci numbers to Pascal's triangle discovered by G. E. Andrews. Several authors provided proofs of this identity, all of them rather involved or else relying on sophisticated number theoretical arguments. We not only give a simple and elementary proof, but also show the identity generalizes to arrays other than Pascal's triangle. As an application we obtain identities relating trinomial coefficients and Catalan's triangle to Fibonacci numbers.


title: Kirillov--Reshetikhin modules associated to G_2

abstract: We define and study the Kirillov--Reshetikhin modules for algebras of type $G_2$. We compute the graded character of these modules and verify that they are in accordance with the conjectures in math.QA/981202 and math.QA/0102113. These results give the first complete description of families of Kirillov--Reshetikhin modules whose isotypical components have multiplicity bigger than one.


title: Low energy effects for a family of Friedrichs models

abstract: A family of Friedrichs models with rank one perturbations $h_\mu(p),$ $p \in (-\pi,\pi]^3,\mu>0$ associated to a system of two particles on the lattice $\Z^3$ is considered. The existence of a unique strictly positive eigenvalue below the bottom of the essential spectrum of $h_\mu(p)$ for all nontrivial values $p \in (-\pi,\pi]^3$ under the assumption that $h_\mu(0)$ has either a zero energy resonance (virtual level) or a threshold eigenvalue is proved. Low energy asymptotic expansion for the Fredholm determinant associated to family of Friedrichs models is obtained.


title: Convergence of iterated Aluthge transform sequence for diagonalizable matrices

abstract: Given an $r\times r$ complex matrix $T$, if $T=U|T|$ is the polar decomposition of $T$, then, the Aluthge transform is defined by $$ \Delta(T)= |T|^{1/2} U |T |^{1/2}. $$ Let $\Delta^{n}(T)$ denote the n-times iterated Aluthge transform of $T$, i.e. $\Delta^{0}(T)=T$ and $\Delta^{n}(T)=\Delta(\Delta^{n-1}(T))$, $n\in\mathbb{N}$. We prove that the sequence $\{\Delta^{n}(T)\}_{n\in\mathbb{N}}$ converges for every $r\times r$ {\bf diagonalizable} matrix $T$. We show that the limit $\Delta^{\infty}(\cdot)$ is a map of class $C^\infty$ on the similarity orbit of a diagonalizable matrix, and %of class $C^\infty$ on the (open and dense) set of $r\times r$ matrices with $r$ different eigenvalues.


title: Periodic solutions of second order Hamiltonian systems bifurcating from infinity

abstract: The goal of this article is to study closed connected sets of periodic solutions, of autonomous second order Hamiltonian systems, emanating from infinity. The main idea is to apply the degree for SO(2)-equivariant gradient operators defined by the second author. Using the results due to Rabier we show that we cannot apply the Leray-Schauder degree to prove the main results of this article. It is worth pointing out that since we study connected sets of solutions, we also cannot use the Conley index technique and the Morse theory.


title: Fully Coprime Comodules and Fully Coprime Corings

abstract: Prime objects were defined as generalization of simple objects in the categories of rings (modules). In this paper we introduce and investigate what turns out to be a suitable generalization of simple corings (simple comodules), namely fully coprime corings (fully coprime comodules). Moreover, we consider several primeness notions in the category of comodules of a given coring and investigate their relations with the fully coprimeness and the simplicity of these comodules. These notions are applied then to study primeness and coprimeness properties of a given coring, considered as an object in its category of right (left) comodules.


title: Existence and continuation of periodic solutions of Newtonian systems

abstract: In this article we study the existence and the continuation of periodic solutions of autonomous Newtonian systems. To prove the results we apply the infinite-dimensional version of the degree for SO(2)-equivariant gradient operators. Using the results due to Rabier we show that the Leray-Schauder degree is not applicable in the proofs of our theorems, because it vanishes.


title: Algebraic computation of some intersection D-modules

abstract: Let $X$ be a complex analytic manifold, $D\subset X$ a locally quasi-homogeneous free divisor, $E$ an integrable logarithmic connection with respect to $D$ and $L$ the local system of the horizontal sections of $E$ on $X-D$. In this paper we give an algebraic description in terms of $E$ of the regular holonomic D-module whose de Rham complex is the intersection complex associated with $L$. As an application, we perform some effective computations in the case of quasi-homogeneous plane curves.


title: Degenerate bifurcation points of periodic solutions of autonomous Hamiltonian systems

abstract: We study connected branches of non-constant {$2\pi$-pe}riodic solutions of the Hamilton equation \begin{displaymath} \dot{x}(t)=\lambda J\nabla H(x(t)), \end{displaymath} where $\lambda\in\halfline,$ $H\in C^2(\R^n\times\R^n,\R)$ and $ \displaystyle \nabla^2H(x_0)= [ \begin{array}{cc} A&0 0&B \end{array} ] $ for $x_0\in\nabla H^{-1}(0).$ The Hessian $\nabla^2H(x_0)$ can be singular. We formulate sufficient conditions for the existence of such branches bifurcating from given $(x_0,\lambda_0).$ As a consequence we prove theorems concerning the existence of connected branches of arbitrary periodic nonstationary trajectories of the Hamiltonian system $\dot{x}(t)=J\nabla H(x(t))$ emanating from $x_0.$ We describe also minimal periods of trajectories near $x_0.$


title: A Periodicity Theorem for the Octahedron Recurrence

abstract: We investigate a variant of the octahedron recurrence which lives in a 3-dimensional lattice contained in [0,n] x [0,m] x R. Generalizing results of David Speyer math.CO/0402452, we give an explicit non-recursive formula for the values of this recurrence in terms of perfect matchings. We then use it to prove that the octahedron recurrence is periodic of period n+m. This result is reminiscent of Fomin and Zelevinsky's theorem about the periodicity of Y-systems.


title: Tropical Invariants from the Secondary Fan

abstract: In this paper, we consider weighted counts of tropical plane curves of particular combinatorial type through a certain number of generic points. We give a criterion, derived from tropical intersection theory on the secondary fan, for a weighted count to give a number invariant of the position of the points. By computing a certain intersection multiplicity, we show how Mikhalkin's approach to computing Gromov-Witten invariants fits into our approach. This begins to address a question raised by Dickenstein, Feichtner, and Sturmfels. We also give a geometric interpretation of the numbers we produce involving Chow quotients, and provide a counterexample showing that the tropical Severi variety is not always supported on the secondary fan. This paper is a revision of the preprint, "The Tropical Degree of Cones in the Secondary Fan."


title: Best constants for higher-order Rellich inequalities in $L^p(\Omega)$

abstract: We obtain a series improvement to higher-order $L^p$-Rellich inequalities on a Riemannian manifold $M$. The improvement is shown to be sharp as each new term of the series is added.


title: Pattern Avoidance in Set Partitions

abstract: The study of patterns in permutations in a very active area of current research. Klazar defined and studied an analogous notion of pattern for set partitions. We continue this work, finding exact formulas for the number of set partitions which avoid certain specific patterns. In particular, we enumerate and characterize those partitions avoiding any partition of a 3-element set. This allows us to conclude that the corresponding sequences are P-recursive. Finally, we define a second notion of pattern in a set partition, based on its restricted growth function. Related results are obtained for this new definition.


title: Moderate deviations for random walk in random scenery

abstract: We investigate random walks in independent, identically distributed random sceneries under the assumption that the scenery variables satisfy Cramer's condition. We prove moderate deviation principles in dimensions two and larger, covering all those regimes where rate and speed do not depend on the actual distribution of the scenery. In the case of dimension four and larger we even obtain precise asymptotics for the annealed probability of a moderate deviation, extending a classical central limit theorem of Kesten and Spitzer. In dimension three and larger, an important ingredient in the proofs are new concentration inequalities for self-intersection local times of random walks, which are of independent interest, whilst in dimension two we use a recent moderate deviation result for self-intersection local times, which is due to Bass, Chen and Rosen.


title: Pseudodifferential Operators on Locally Compact Abelian Groups and Sjoestrand's Symbol Class

abstract: We investigate pseudodifferential operators on arbitrary locally compact abelian groups. As symbol classes for the Kohn-Nirenberg calculus we introduce a version of Sjoestrand's class. Pseudodifferential operators with such symbols form a Banach algebra that is closed under inversion. Since "hard analysis" techniques are not available on locally compact abelian groups, a new time-frequency approach is used with the emphasis on modulation spaces, Gabor frames, and Banach algebras of matrices. Sjoestrand's original results are thus understood as a phenomenon of abstract harmonic analysis rather than "hard analysis" and are proved in their natural context and generality.


title: Model robustness of finite state nonlinear filtering over the infinite time horizon

abstract: We investigate the robustness of nonlinear filtering for continuous time finite state Markov chains, observed in white noise, with respect to misspecification of the model parameters. It is shown that the distance between the optimal filter and that with incorrect model parameters converges to zero uniformly over the infinite time interval as the misspecified model converges to the true model, provided the signal obeys a mixing condition. The filtering error is controlled through the exponential decay of the derivative of the nonlinear filter with respect to its initial condition. We allow simultaneously for misspecification of the initial condition, of the transition rates of the signal, and of the observation function. The first two cases are treated by relatively elementary means, while the latter case requires the use of Skorokhod integrals and tools of anticipative stochastic calculus.


title: Duality and equivalence of module categories in noncommutative geometry II: Mukai duality for holomorphic noncommutative tori

abstract: This is the second in a series of papers intended to set up a framework to study categories of modules in the context of non-commutative geometries. In \cite{mem} we introduced the basic DG category $\Pc_{\A^\bullet}$, the perfect category of $\A^\bullet$, which corresponded to the category of coherent sheaves on a complex manifold. In this paper we enlarge this category to include objects which correspond to quasi-coherent sheaves. We then apply this framework to proving an equivalence of categories between derived categories on the noncommutative complex torus and on a holomorphic gerbe on the dual complex torus.


title: A short proof of the lambda_g-conjecture without Gromov-Witten theory: Hurwitz theory and the moduli of curves

abstract: We give a short and direct proof of the $\lambda_g$-Conjecture. The approach is through the Ekedahl-Lando-Shapiro-Vainshtein theorem, which establishes the ``polynomiality'' of Hurwitz numbers, from which we pick off the lowest degree terms. The proof is independent of Gromov-Witten theory. We briefly describe the philosophy behind our general approach to intersection numbers and how it may be extended to other intersection number conjectures.


title: Pseudoriemannian Nilpotent Lie Groups

abstract: This is a survey article with a limited list of references (as required by the publisher) which appears in the Encyclopedia of Mathematical Physics, eds. J.-P. Francoise, G.L. Naber and Tsou S.T. Oxford: Elsevier, 2006. vol.4, pp.94--104.


title: A note on subgaussian estimates for linear functionals on convex bodies

abstract: We give an alternative proof of a recent result of Klartag on the existence of almost subgaussian linear functionals on convex bodies. If $K$ is a convex body in ${\mathbb R}^n$ with volume one and center of mass at the origin, there exists $x\neq 0$ such that $$|\{y\in K: |< y,x> |\gr t\|<\cdot, x>\|_1\}|\ls\exp (-ct^2/\log^2(t+1))$$ for all $t\gr 1$, where $c>0$ is an absolute constant. The proof is based on the study of the $L_q$--centroid bodies of $K$. Analogous results hold true for general log-concave measures.


title: A Quasi Curtis-Tits-Phan theorem for the symplectic group

abstract: We obtain the symplectic group as an amalgam of low rank subgroups akin to Levi components. We do this by having the group act flag-transitively on a new type of geometry and applying Tits' lemma. This provides a new way of recognizing the symplectic groups from a small collection of small subgroups. The geometry consists of all subspaces of maximal rank in a vector space of maximal rank with respect to a symplectic form. The main result holds for fields of size at least 3. We analyze the geometry over the field of size 2 and describe its simply connected cover if different from the geometry.


title: Resolutions of square-free monomial ideals via facet ideals: a survey

abstract: We survey some recent results on the minimal graded free resolution of a square-free monomial ideal. The theme uniting these results is the point-of-view that the generators of a monomial ideal correspond to the maximal faces (the facets) of a simplicial complex \Delta.


title: Getting real with real options

abstract: We apply a utility-based method to obtain the value of a finite-time investment opportunity when the underlying real asset is not perfectly correlated to a traded financial asset. Using a discrete-time algorithm to calculate the indifference price for this type of real option, we present numerical examples for the corresponding investment thresholds, in particular highlighting their dependence with respect to correlation and risk aversion.


title: Quaternionic Dolbeault complex and vanishing theorems on hyperkahler manifolds

abstract: Let (M,I,J,K) be a hyperkahler manifold of real dimension 4n, and L a non-trivial holomorphic line bundle on (M,I). Using the quaternionic Dolbeault complex, we prove the following vanishing theorem for holomorphic cohomology of L. If the Chern class c_1(L) lies in the closure $\hat K$ of the dual Kahler cone, then $H^i(L)=0$ for i>n. If c_1(L) lies in the opposite cone $-\hat K$, then $H^i(L)=0$ for i<n. Finally, if $c_1(L)$ is neither in $\hat K$ nor in $-\hat K$, then $H^i(L)=0$ for $i\neq n$.


title: From 3-algebras to $\Delta$-Groups

abstract: We introduce $\Delta$-groups and show how they fit in the context of lattice field theory. To a manifold $M$ we associate a $\Delta$-group $\Gamma(M)$. We define the symmetric cohomology $HS^n(G,A)$ of a group $G$ with coefficients in a $G$-module $A$. The $\Delta$-group $\Gamma(M)$ is determined by the action of $\pi_1(M)$ on $\pi_2(M)$ and an element of $HS^3(\pi_1(M),\pi_2(M))$.


title: Time-Changed Bessel Processes and Credit Risk

abstract: The Constant Elasticity of Variance (CEV) model is mathematically presented and then used in a Credit-Equity hybrid framework. Next, we propose extensions to the CEV model with default: firstly by adding a stochastic volatility diffusion uncorrelated from the stock price process, then by more generally time changing Bessel processes and finally by correlating stochastic volatility moves to the stock ones. Properties about strict local and true martingales in this study are discussed. Analytical formulas are provided and Fourier and Laplace transform techniques can then be used to compute option prices and probabilities of default.


title: On a construction of the twistor spaces of Joyce metrics, II

abstract: We explicitly construct the twistor spaces of Joyce metrics with torus action that are not treated in Part I (math.DG/0603242). This finishes a construction of all the twistor spaces of Joyce metrics on the connected sum of four complex projective planes.


title: On the Fine Structure of the Projective Line Over GF(2) x GF(2) x GF(2)

abstract: The paper gives a succinct appraisal of the properties of the projective line defined over the direct product ring $R\_{\triangle} \equiv$ GF(2)$\otimesGF(2)\otimes$GF(2). The ring is remarkable in that except for unity, all the remaining seven elements are zero-divisors, the non-trivial ones forming two distinct sets of three; elementary ('slim') and composite ('fat'). Due to this fact, the line in question is endowed with a very intricate structure. It contains twenty-seven points, every point has eighteen neighbour points, the neighbourhoods of two distant points share twelve points and those of three pairwise distant points have six points in common -- namely those with coordinates having both the entries `fat' zero-divisors. Algebraically, the points of the line can be partitioned into three groups: a) the group comprising three distinguished points of the ordinary projective line of order two (the 'nucleus'), b) the group composed of twelve points whose coordinates feature both the unit(y) and a zero-divisor (the 'inner shell') and c) the group of twelve points whose coordinates have both the entries zero-divisors (the 'outer shell'). The points of the last two groups can further be split into two subgroups of six points each; while in the former case there is a perfect symmetry between the two subsets, in the latter case the subgroups have a different footing, reflecting the existence of the two kinds of a zero-divisor. The structure of the two shells, the way how they are interconnected and their link with the nucleus are all fully revealed and illustrated in terms of the neighbour/distant relation. Possible applications of this finite ring geometry are also mentioned.


title: Embedding ergodic actions of compact quantum groups on C*-algebras into quotient spaces

abstract: The notion of compact quantum subgroup is revisited and an alternative definition is given. Induced representations are considered and a Frobenius reciprocity theorem is obtained. A relationship between ergodic actions of compact quantum groups on C*-algebras and topological transitivity is investigated. A sufficient condition for embedding such actions in quantum quotient spaces is obtained.


title: How chaotic are strange nonchaotic attractors

abstract: We show that the classic example of quasiperiodically forced maps with strange nonchaotic attractors described by Grebogi et al and Herman in the mid-1980s have some chaotic properties. More precisely, we show that these systems exhibit sensitive dependence on initial conditions, both on the whole phase space and restricted to the attractor. The results also remain valid in more general classes of quasiperiodically forced systems. Further, we include an elementary proof of a classic result by Glasner and Weiss on sensitive dependence, and we clarify the structure of the attractor in an example with two-dimensional fibers also introduced by Grebogi et al.


title: On the localization of the magnetic and the velocity fields in the equations of magnetohydrodynamics

abstract: We study the behavior at infinity, with respect to the space variable, of solutions to the magnetohydrodynamics equations in ${\bf R}^d$. We prove that if the initial magnetic field decays sufficiently fast, then the plasma flow behaves as a solution of the free nonstationnary Navier--Stokes equations when $|x|\to +\infty$, and that the magnetic field will govern the decay of the plasma, if it is poorly localized at the beginning of the evolution. Our main tools are boundedness criteria for convolution operators in weighted spaces.


title: The Bismut-Elworthy-Li formula for jump-diffusions and applications to Monte Carlo pricing in finance

abstract: We extend the Bismut-Elworthy-Li formula to non-degenerate jump diffusions and "payoff" functions depending on the process at multiple future times. In the spirit of Fournie et al [13] and Davis and Johansson [9] this can improve Monte Carlo numerics for stochastic volatility models with jumps. To this end one needs so-called Malliavin weights and we give explicit formulae valid in presence of jumps: (a) In a non-degenerate situation, the extended BEL formula represents possible Malliavin weights as Ito integrals with explicit integrands; (b) in a hypoelliptic setting we review work of Arnaudon and Thalmaier [1] and also find explicit weights, now involving the Malliavin covariance matrix, but still straight-forward to implement. (This is in contrast to recent work by Forster, Lutkebohmert and Teichmann where weights are constructed as anticipating Skorohod integrals.) We give some financial examples covered by (b) but note that most practical cases of poor Monte Carlo performance, Digital Cliquet contracts for instance, can be dealt with by the extended BEL formula and hence without any reliance on Malliavin calculus at all. We then discuss some of the approximations, often ignored in the literature, needed to justify the use of the Malliavin weights in the context of standard jump diffusion models. Finally, as all this is meant to improve numerics, we give some numerical results with focus on Cliquets under the Heston model with jumps.


title: Irrationality of $\zeta_q(1)$ and $\zeta_q(2)$

abstract: In this paper we show how one can obtain simultaneous rational approximants for $\zeta_q(1)$ and $\zeta_q(2)$ with a common denominator by means of Hermite-Pade approximation using multiple little q-Jacobi polynomials and we show that properties of these rational approximants prove that 1, $\zeta_q(1)$, $\zeta_q(2)$ are linearly independent over the rationals. In particular this implies that $\zeta_q(1)$ and $\zeta_q(2)$ are irrational. Furthermore we give an upper bound for the measure of irrationality.


title: Navier-Stokes equations interacting with a nonlinear elastic fluid shell

abstract: We study a moving boundary value problem consisting of a viscous incompressible fluid moving and interacting with a nonlinear elastic fluid shell. The fluid motion is governed by the Navier-Stokes equations, while the fluid shell is modeled by a bending energy which extremizes the Willmore functional and a membrane energy that extremizes the surface area of the shell. The fluid flow and shell deformation are coupled together by continuity of displacements and tractions (stresses) along the moving material interface. We prove existence and uniqueness of solutions in Sobolev spaces.


title: On Robin's criterion for the Riemann Hypothesis

abstract: Robin's criterion states that the Riemann Hypothesis (RH) is true if and only if Robin's inequality sum_{d|n}d<e^{gamma}n loglog n is satisfied for n>=5041, where gamma denotes the Euler(-Mascheroni) constant. We show by elementary methods that if n>=37 does not satisfy Robin's criterion it must be even and is neither squarefree nor squarefull. Using a bound of Rosser and Schoenfeld we show, moreover, that n must be divisible by a fifth power >1. As a consequence we infer that RH holds true if and only if every natural number divisible by a fifth power >1 satisfies Robin's inequality.


title: Stochastic derivatives for fractional diffusions

abstract: In this paper, we introduce some fundamental notions related to the so-called stochastic derivatives with respect to a given $\sigma$-field $\mathcal{Q}$. In our framework, we recall well-known results about Markov--Wiener diffusions. We then focus mainly on the case where $X$ is a fractional diffusion and where $\mathcal{Q}$ is the past, the future or the present of $X$. We treat some crucial examples and our main result is the existence of stochastic derivatives with respect to the present of $X$ when $X$ solves a stochastic differential equation driven by a fractional Brownian motion with Hurst index $H>1/2$. We give explicit formulas.


title: Localizing Volatilities

abstract: We propose two main applications of Gy\"{o}ngy (1986)'s construction of inhomogeneous Markovian stochastic differential equations that mimick the one-dimensional marginals of continuous It\^{o} processes. Firstly, we prove Dupire (1994) and Derman and Kani (1994)'s result. We then present Bessel-based stochastic volatility models in which this relation is used to compute analytical formulas for the local volatility. Secondly, we use these mimicking techniques to extend the well-known local volatility results to a stochastic interest rates framework.


title: Pseudofree Z/3-actions on K3 surfaces

abstract: In this paper, we give a weak classification of locally linear pseudofree actions of the cyclic group of order 3 on a $K3$ surface, and prove the existence of such an action which can not be realized as a smooth action on the standard smooth $K3$ surface.


title: Invariance of tautological equations I: conjectures and applications

abstract: The main goal of this paper is to introduce a set of conjectures on the relations in the tautological rings. In particular, the framework gives an efficient algorithm to calculate all tautological equations using only finite dimensional linear algebra. Other applications are also indicated.


title: Groups with torsion, bordism and rho-invariants

abstract: Let G be a discrete group, and let M be a closed spin manifold of dimension m>3 with pi_1(M)=G. We assume that M admits a Riemannian metric of positive scalar curvature. We discuss how to use the L2-rho invariant and the delocalized eta invariant associated to the Dirac operator on M in order to get information about the space of metrics with positive scalar curvatur1e. In particular we prove that, if G contains torsion and M is congruent 3 mod 4 then M admits infinitely many different bordism classes of metrics with positive scalar curvature. We show that this is true even up to diffeomorphism. If G has certain special properties then we obtain more refined information about the ``size'' of the space of metric of positive scalar curvature, and these results also apply if the dimension is congruent to 1 mod 4. For example, if G contains a central element of odd order, then the moduli space of metrics of positive scalar curvature has infinitely many components, if it is not empty. Some of our invariants are the delocalized eta-invariants introduced by John Lott. These invariants are defined by certain integrals whose convergence is not clear in general, and we show, in effect, that examples exist where this integral definitely does not converge, thus answering a question of Lott. We also discuss the possible values of the rho invariants of the Dirac operator and show that there are certain global restrictions (provided the scalar curvature is positive).


title: Incremental Algorithms for Lattice Problems

abstract: In this short note we give incremental algorithms for the following lattice problems: finding a basis of a lattice, computing the successive minima, and determining the orthogonal decomposition. We prove an upper bound for the number of update steps for every insertion order. For the determination of the orthogonal decomposition we efficiently implement an argument due to Kneser.


title: Standard monomial bases, moduli of vector bundles, and invariant theory

abstract: Consider the diagonal action of the special orthogonal group on the direct sum of a finite number of copies of the standard representation--the underlying field is assumed to be algebraically closed and of characteristic not equal to two. We construct a "standard monomial" basis for the ring of polynomial invariants for this action. We then deduce, by a deformation argument, our main result that this ring of polynomial invariants is Cohen-Macaulay. We give three applications of this result: (1) the first and second fundamental theorems of invariant theory for the above action; (2) Cohen-Macaulayness of the moduli space of equivalence classes of semi-stable vector bundles of rank two and degree zero on a smooth projective curve of genus at least three (for this application, characteristic three is also excluded); (3) a basis in terms of traces for the ring of polynomial invariants for the diagonal adjoint action of the special linear group SL(2) on a finite number of copies of its Lie algebra sl(2).


title: Pattern Avoidance and the Bruhat Order

abstract: The structure of order ideals in the Bruhat order for the symmetric group is elucidated via permutation patterns. A method for determining non-isomorphic principal order ideals is described and applied for small lengths. The permutations with boolean principal order ideals are characterized. These form an order ideal which is a simplicial poset, and its rank generating function is computed. Moreover, the permutations whose principal order ideals have a form related to boolean posets are also completely described. It is determined when the set of permutations avoiding a particular set of patterns is an order ideal, and the rank generating functions of these ideals are computed. Finally, the Bruhat order in types B and D is studied, and the elements with boolean principal order ideals are characterized and enumerated by length.


title: Odd symplectic flag manifolds

abstract: We define the odd symplectic grassmannians and flag manifolds, which are smooth projective varieties equipped with an action of the odd symplectic group and generalizing the usual symplectic grassmannians and flag manifolds. Contrary to the latter, which are the flag manifolds of the symplectic group, the varieties we introduce are not homogeneous. We argue nevertheless that in many respects the odd symplectic grassmannians and flag manifolds behave like homogeneous varieties; in support of this claim, we compute the automorphism group of the odd symplectic grassmannians, and we prove a Borel-Weil type theorem for the odd symplectic group.


title: Uniform approximation of sgn(x) by polynomials and entire functions

abstract: We study the best uniform approximation by polynomials of fixed degree of the function sgn(x) on the union of two intervals symmetric with respect to the origin. We obtain precise asymptotics, with explicit constants, for the error of the best approximation as the degrees tend to infinity. Our approach is based on a new representation of the extremal polynomials in terms of certain conformal maps. We also study the best polynomial approximation of sgn(x) on [-1,1] with respect to the Hausdorff distance between the completed graphs.


title: Canonical Sasakian Metrics

abstract: Let $M$ be a closed manifold of Sasaki type. A polarization of $M$ is defined by a Reeb vector field, and for one such, we consider the set of all Sasakian metrics compatible with it. On this space, we study the functional given by the squared $L^2$-norm of the scalar curvature. We prove that its critical points, or canonical representatives of the polarization, are Sasakian metrics that are transversally extremal. We define a Sasaki-Futaki invariant of the polarization, and show that it obstructs the existence of constant scalar curvature representatives. For a fixed CR structure of Sasaki type, we define the Sasaki cone of structures compatible with this underlying CR structure, and prove that the set of polarizations in it that admit a canonical representative is open.


title: Weak Dirichlet processes with a stochastic control perspective

abstract: The motivation of this paper is to prove verification theorems for stochastic optimal control of finite dimensional diffusion processes without control in the diffusion term, in the case that the value function is assumed to be continuous in time and once differentiable in the space variable ($C^{0,1}$) instead of once differentiable in time and twice in space ($C^{1,2}$), like in the classical results. For this purpose, the replacement tool of the It\^{o} formula will be the Fukushima-Dirichlet decomposition for weak Dirichlet processes. Given a fixed filtration, a weak Dirichlet process is the sum of a local martingale $M$ plus an adapted process $A$ which is orthogonal, in the sense of covariation, to any continuous local martingale. The mentioned decomposition states that a $C^{0,1}$ function of a weak Dirichlet process with finite quadratic variation is again a weak Dirichlet process. That result is established in this paper and it is applied to the strong solution of a Cauchy problem with final condition. Applications to the proof of verification theorems will be addressed in a companion paper.


title: Verification Theorems for Stochastic Optimal Control Problems via a Time Dependent Fukushima - Dirichlet Decomposition

abstract: This paper is devoted to present a method of proving verification theorems for stochastic optimal control of finite dimensional diffusion processes without control in the diffusion term. The value function is assumed to be continuous in time and once differentiable in the space variable ($C^{0,1}$) instead of once differentiable in time and twice in space ($C^{1,2}$), like in the classical results. The results are obtained using a time dependent Fukushima - Dirichlet decomposition proved in a companion paper by the same authors using stochastic calculus via regularization. Applications, examples and comparison with other similar results are also given.


title: On a series of finite automata defining free transformation groups

abstract: We introduce two series of finite automata starting from the so-called Aleshin and Bellaterra automata. We prove that each automaton in the first series defines a free non-Abelian group while each automaton in the second series defines the free product of groups of order 2. Furthermore, these properties are shared by disjoint unions of any number of distinct automata from either series.


title: Projective embeddings and Lagrangian fibrations of Kummer varieties

abstract: In this paper, we study asymptotic behavior of projective embeddings of Kummer varieties given by theta functions, and their amoebas. We prove that a Lagrangian fibration of the Kummer variety can be approximated by moment maps of the projective spaces.


title: Lagrangian fibrations and theta functions

abstract: In this thesis we study asymptotic behavior of projective embeddings of abelian varieties and their amoebas. The projective embeddings are given by theta functions. It is known that a Lagrangian fibration of the abelian variety determines a basis of theta functions. After reviewing the relation from the viewpoint of geometric quantization and mirror symmetry, we prove that the Lagrangian fibration of the abelian variety can be approximated by the moment maps of natural torus action in a suitable sense. In the final section we discuss a part of the result in more general setting.


title: On the reduction of a random basis

abstract: For $g < n$, let $b\_1,...,b\_{n-g}$ be $n - g$ independent vectors in $\mathbb{R}^n$ with a common distribution invariant by rotation. Considering these vectors as a basis for the Euclidean lattice they generate, the aim of this paper is to provide asymptotic results when $n\to +\infty$ concerning the property that such a random basis is reduced in the sense of {\sc Lenstra, Lenstra & Lov\'asz}. The proof passes by the study of the process $(r\_{g+1}^{(n)},r\_{g+2}^{(n)},...,r\_{n-1}^{(n)})$ where $r\_j^{(n)}$ is the ratio of lengths of two consecutive vectors $b^*\_{n-j+1}$ and $b^*\_{n-j}$ built from $(b\_1,...,b\_{n-g})$ by the Gram--Schmidt orthogonalization procedure, which we believe to be interesting in its own. We show that, as $n\to+\infty$, the process $(r\_j^{(n)}-1)\_j$ tends in distribution in some sense to an explicit process $({\mathcal R}\_j -1)\_j$; some properties of this latter are provided.


title: Tanaka Theorem for Inelastic Maxwell Models

abstract: We show that the Euclidean Wasserstein distance is contractive for inelastic homogeneous Boltzmann kinetic equations in the Maxwellian approximation and its associated Kac-like caricature. This property is as a generalization of the Tanaka theorem to inelastic interactions. Consequences are drawn on the asymptotic behavior of solutions in terms only of the Euclidean Wasserstein distance.


title: Combinatorics of $A_2$-crystals

abstract: We show that a connected regular $A_2$-crystal (the crystal graph of an irreducible representation of $sl_3$) can be produced from two half-grids by replicating them and glying together in a certain way. Also some extensions and related aspects are discussed.


title: On a conjecture of Montgomery-Vaughan on extreme values of automorphic L-functions at 1

abstract: In this paper, we prove a weaker form of a conjecture of Montgomery-Vaughan on extreme values of automorphic L-functions at 1.


title: Duals and thinnings of some relatives of the contact process

abstract: This paper considers contact processes with additional voter model dynamics. For such models, results of Lloyd and Sudbury can be applied to find a self-duality, as well as dualities and thinning relations with systems of random walks with annihilation, branching, coalescence, and deaths. We show that similar relations, which are known from the literature for certain interacting SDE's, can be derived as local mean field limits of the relations of Lloyd and Sudbury.


title: Kostant modules in blocks of category ${\mathcal O}_S$

abstract: In this paper the authors investigate infinite-dimensional representations $L$ in blocks of the relative (parabolic) category ${\mathcal O}_S$ for a complex simple Lie algebra, having the property that the cohomology of the nilradical with coefficients in $L$ ``looks like'' the cohomology with coefficients in a finite-dimensional module, as in Kostant's theorem. A complete classification of these ``Kostant modules'' in regular blocks for maximal parabolics in the simply laced types is given. A complete classification is also given in arbitrary (singular) blocks for Hermitian symmetric categories.


title: Orders of elements and zeros and heights of characters in a finite group

abstract: Let \chi be an irreducible character of the finite group G. If g is an element of G and \chi(g) is not zero, then we conjecture that the order of g divides |G|/\chi(1). The conjecture is a generalization of the classical fact that irreducible p-projective characters vanish on p-singular elements, since the latter is equivalent to saying that if \chi(g) is not zero then the square free part of the order of g divides |G|/\chi(1). We prove some partial results on the conjecture; in particular, we show that the order of g divides (|G|/\chi(1))^2. Using these results, we derive some bounds on heights of characters. We also pose a related conjecture concerning congruences satisfied by central character values.


title: Resolvents of cone pseudodifferential operators, asymptotic expansions and applications

abstract: We study the structure and asymptotic behavior of the resolvent of elliptic cone pseudodifferential operators acting on weighted Sobolev spaces over a compact manifold with boundary. We obtain an asymptotic expansion of the resolvent as the spectral parameter tends to infinity, and use it to derive corresponding heat trace and zeta function expansions as well as an analytic index formula.


title: The Chow group of a Ch{\^a}telet surface over a number field

abstract: We compute the Chow group of a Ch{\^a}telet surface over a dyadic field. Combined with the previous work of Bloch, Colliot-Th{\'e}l{\`e}ne, Coray, Ischebeck, Sansuc, Swinnerton-Dyer, and the author, this allows one to compute the Chow group of any Ch{\^a}telet surface over any number field.


title: Problems in additive number theory, I

abstract: Problems in additive number theory related to sum and difference sets, more general binary linear forms, and representation functions of additive bases for the integers and nonnegative integers.


title: A local limit theorem with speed of convergence for Euclidean algorithms and diophantine costs

abstract: For large $N$, we consider the ordinary continued fraction of $x=p/q$ with $1\le p\le q\le N$, or, equivalently, Euclid's gcd algorithm for two integers $1\le p\le q\le N$, putting the uniform distribution on the set of $p$ and $q$s. We study the distribution of the total cost of execution of the algorithm for an additive cost function $c$ on the set $\mathbb{Z}_+^*$ of possible digits, asymptotically for $N\to\infty$. If $c$ is nonlattice and satisfies mild growth conditions, the local limit theorem was proved previously by the second named author. Introducing diophantine conditions on the cost, we are able to control the speed of convergence in the local limit theorem. We use previous estimates of the first author and Vall\'{e}e, and we adapt to our setting bounds of Dolgopyat and Melbourne on transfer operators. Our diophantine condition is generic (with respect to Lebesgue measure). For smooth enough observables (depending on the diophantine condition) we attain the optimal speed.


title: From Incompleteness Towards Completeness

abstract: It is argued that Goedel's incompleteness theorem should be seen as self-evident, rather than unexpected or surprising.


title: Random quotients of the modular group are rigid and essentially incompressible

abstract: We show that for any positive integer $m\ge 1$, $m$-relator quotients of the modular group $M = PSL(2,\mathbb{Z})$ generically satisfy a very strong Mostow-type \emph{isomorphism rigidity}. We also prove that such quotients are generically "essentially incompressible". By this we mean that their "absolute $T$-invariant", measuring the smallest size of any possible finite presentation of the group, is bounded below by a function which is almost linear in terms of the length of the given presentation. We compute the precise asymptotics of the number $I_m(n)$ of \emph{isomorphism types} of $m$-relator quotients of $M$ where all the defining relators are cyclically reduced words of length $n$ in $M$. We obtain other algebraic results and show that such quotients are complete, Hopfian, co-Hopfian, one-ended, word-hyperbolic groups.


title: Equivariant Vector Bundles on Certain Affine G-Varieties

abstract: We give a concrete description of the category of G-equivariant vector bundles on certain affine G-varieties (where G is a reductive linear algebraic group over an algebraically closed field of characteristic 0) in terms of linear algebra data.


title: The zero locus of an admissible normal function

abstract: We prove that the zero locus of an admissible normal function over an algebraic parameter space S is algebraic in the case where S is a curve.


title: Restriction, corestriction and the characteristic homomorphism for 0-cycles of degree 0

abstract: We show that the characteristic homomorphism of Colliot-Th{\'e}l{\`e}ne and Sansuc from the Chow group of 0-cycles of degree~0 is compatible with restriction and corestriction maps.


title: On Z.-W. Sun's Disjoint Congruence Classes Conjecture

abstract: Zhi-Wei Sun conjectures if k congruence classes are disjoint, then two of the moduli have greatest common divisor at least as large as k. We prove this conjecture for k strictly less than 21.


title: Classification of minimal actions of a compact Kac algebra with amenable dual

abstract: We show the uniqueness of minimal actions of a compact Kac algebra with amenable dual on the AFD factor of type II$_1$. This particularly implies the uniqueness of minimal actions of a compact group. Our main tools are a Rohlin type theorem, the 2-cohomology vanishing theorem, and the Evans-Kishimoto type intertwining argument.


title: Transfer principle in quantum set theory

abstract: In 1981, Takeuti introduced quantum set theory as the quantum counterpart of Boolean valued models of set theory by constructing a model of set theory based on quantum logic represented by the lattice of closed subspaces in a Hilbert space and showed that appropriate quantum counterparts of ZFC axioms hold in the model. Here, Takeuti's formulation is extended to construct a model of set theory based on the logic represented by the lattice of projections in an arbitrary von Neumann algebra. A transfer principle is established that enables us to transfer theorems of ZFC to their quantum counterparts holding in the model. The set of real numbers in the model is shown to be in one-to-one correspondence with the set of self-adjoint operators affiliated with the von Neumann algebra generated by the logic. Despite the difficulty pointed out by Takeuti that equality axioms do not generally hold in quantum set theory, it is shown that equality axioms hold for any real numbers in the model. It is also shown that any observational proposition in quantum mechanics can be represented by a corresponding statement for real numbers in the model with the truth value consistent with the standard formulation of quantum mechanics, and that the equality relation between two real numbers in the model is equivalent with the notion of perfect correlation between corresponding observables (self-adjoint operators) in quantum mechanics. The paper is concluded with some remarks on the relevance to quantum set theory of the choice of the implication connective in quantum logic.


title: Continuum tree asymptotics of discrete fragmentations and applications to phylogenetic models

abstract: Given any regularly varying dislocation measure, we identify a natural self-similar fragmentation tree as scaling limit of discrete fragmentation trees with unit edge lengths. As an application, we obtain continuum random tree limits of Aldous's beta-splitting models and Ford's alpha models for phylogenetic trees. This confirms in a strong way that the whole trees grow at the same speed as the mean height of a randomly chosen leaf.


title: The subconstituent algebra of a bipartite distance-regular graph; thin modules with endpoint two

abstract: We consider a bipartite distance-regular graph $G$ with diameter at least 4 and valency at least 3. Fix a vertex of $G$ and let $T$ denote the corresponding subconstituent algebra. We give a detailed description of a certain type of irreducible $T$-module, said to be thin with endpoint 2.


title: Stein's method for concentration inequalities

abstract: We introduce a version of Stein's method for proving concentration and moment inequalities in problems with dependence. Simple illustrative examples from combinatorics, physics, and mathematical statistics are provided.


title: Low-degree tests at large distances

abstract: We define tests of boolean functions which distinguish between linear (or quadratic) polynomials, and functions which are very far, in an appropriate sense, from these polynomials. The tests have optimal or nearly optimal trade-offs between soundness and the number of queries. In particular, we show that functions with small Gowers uniformity norms behave ``randomly'' with respect to hypergraph linearity tests. A central step in our analysis of quadraticity tests is the proof of an inverse theorem for the third Gowers uniformity norm of boolean functions. The last result has also a coding theory application. It is possible to estimate efficiently the distance from the second-order Reed-Muller code on inputs lying far beyond its list-decoding radius.


title: Enlargements of Schemes

abstract: In this article we use our constructions from "Enlargements of Categories" (Theory and Applications of Categories, 14:357-398) to lay down some foundations for the application of A. Robinson's nonstandard methods to modern Algebraic Geometry. The main motivation is the search for another tool to transfer results from characteristic zero to positive characteristic and vice versa. We give applications to the resolution of singularities and weak factorization.


title: The Volume Entropy of a Riemannian Metric Evolving by the Ricci Flow on a Manifold of Dimension 3 or Above

abstract: In this paper it is proven that the volume entropy of a riemannian metric evolving by the Ricci flow, if does not collapse, nondecreases. Therefore, it provides a sufficient condition for a solution to collapse. Then, for the limit solutions of type I or III, the limit entropy is the limit of the entropy as $t$ approaches the singular (finite or not) time.


title: Long $n$-zero-free sequences in finite cyclic groups

abstract: A sequence in the additive group ${\mathbb Z}_n$ of integers modulo $n$ is called $n$-zero-free if it does not contain subsequences with length $n$ and sum zero. The article characterizes the $n$-zero-free sequences in ${\mathbb Z}_n$ of length greater than $3n/2-1$. The structure of these sequences is completely determined, which generalizes a number of previously known facts. The characterization cannot be extended in the same form to shorter sequence lengths. Consequences of the main result are best possible lower bounds for the maximum multiplicity of a term in an $n$-zero-free sequence of any given length greater than $3n/2-1$ in ${\mathbb Z}_n$, and also for the combined multiplicity of the two most repeated terms. Yet another application is finding the values in a certain range of a function related to the classic theorem of Erd\H{o}s, Ginzburg and Ziv.


title: η-invariant and flat vector bundles II

abstract: We first apply the method and results in the previous paper to give a new proof of a result (hold in $ {\bf C}/{\bf Z}$) of Gilkey on the variation of h-invariants associated to non self-adjoint Dirac type operators. We then give an explicit local expression of certain h-invariant appearing in recent papers of Braverman-Kappeler on what they call refined analytic torsion, and propose an alternate formulation of their definition of the refined analytic torsion. A refinement in ${\bf C}$ of the above variation formula is also proposed.


title: Homeomorphisms which are Dehn twists on the boundary

abstract: A homeomorphism of a 3-manifold M is said to be Dehn twists on the boundary when its restriction to the boundary of M is isotopic to the identity on the complement of a collection of disjoint simple closed curves in the boundary of M. In this paper, we give various results about such collections of curves and the associated homeomorphisms. In particular, if M is compact, orientable, irreducible and the boundary of M is a single torus, and M admits a homeomorphism which is a nontrivial Dehn twist on the boundary of M, then M must be a solid torus.


title: On the Mahler measure of resultants in small dimensions

abstract: We prove that sparse resultants having Mahler measure equal to zero are those whose Newton polytope has dimension one. We then compute the Mahler measure of resultants in dimension two, and examples in dimension three and four. Finally, we show that sparse resultants are tempered polynomials. This property suggests that their Mahler measure may lead to special values of L-functions and polylogarithms.


title: Link Floer homology detects the Thurston norm

abstract: We prove that, for a link $L$ in a rational homology 3--sphere, the link Floer homology detects the Thurston norm of its complement. This generalizes the previous results due to Ozsv\'ath, Szab\'o and the author.


title: Homological Mirror Symmetry and Simple Elliptic Singularities

abstract: We give a full exceptional collection in the triangulated category of singularities in the sense of Orlov for a hypersurface singularity of Fermat type, and discuss its relation with homological mirror symmetry for simple elliptic hypersurface singularities.


title: Eigenvalues of non-reversible Markov chains: their connection to mixing times

abstract: This paper originally showed a lower bound on mixing time for a non-reversible Markov chain in terms of its largest non-trivial eigenvalue, and used this to re-derive some generalizations of results of Fan Chung. However, the paper has been withdrawn because I have been made aware that the lower bound was previously known.


title: Seshadri constants in finite subgroups of abelian surfaces

abstract: Given an etale quotient q:X->Y of smooth projective varieties we relate the simple Seshadri constant of a line bundle M on Y with the multiple Seshadri constant of q*M in the points of the fiber. We apply this method to compute the Seshadri constant of polarized abelian surfaces in the points of a finite subgroup.


title: On the topological index of irregular surfaces

abstract: We study the topological index of some irregular surfaces that we call generalized Lagrangian. We show that under certain hypotheses on the base locus of the Lagrangian system the topological index is non-negative. For the minimal surfaces of general type with q=4 and p_g=5 we prove the same statement without any hypotheses. Some similar results for higher dimensional varieties are given.


title: Singular limits for 4-dimensional semilinear elliptic problems with exponential nonlinearity

abstract: Using some nonlinear domain decomposition method, we prove the existence of singular limits for solution of semilinear elliptic problems with exponential nonlinearity.


title: The Kesten-Stigum Reconstruction Bound Is Tight for Roughly Symmetric Binary Channels

abstract: We establish the exact threshold for the reconstruction problem for a binary asymmetric channel on the b-ary tree, provided that the asymmetry is sufficiently small. This is the first exact reconstruction threshold obtained in roughly a decade. We discuss the implications of our result for Glauber dynamics, phylogenetic reconstruction, and so-called ``replica symmetry breaking'' in spin glasses and random satisfiability problems.


title: Network Delay Inference from Additive Metrics

abstract: We demonstrate the use of computational phylogenetic techniques to solve a central problem in inferential network monitoring. More precisely, we design a novel algorithm for multicast-based delay inference, i.e. the problem of reconstructing the topology and delay characteristics of a network from end-to-end delay measurements on network paths. Our inference algorithm is based on additive metric techniques widely used in phylogenetics. It runs in polynomial time and requires a sample of size only $\poly(\log n)$.


title: Composition Factors of Polynomial Representation of DAHA and Crystallized Decomposition Numbers

abstract: We determine the composition factors of the polynomial representation of DAHA, conjectured by M. Kasatani. We reduce the determination of composition factors of polynomial representations of DAHA to the determination of the composition factors of the Weyl module $W^{(1^n)}$ for the $v$-Schur algebra. By using the LLT-Ariki type theorem of $v$-Schur algebra proved by Varagnolo-Vasserot, we determine the composition factors of $W^{(1^n)}$ by calculating the upper global basis and crystal basis of Fock space of $U_q(\hat{\mf{sl}}_\ell)$.


title: Almost Global Convergence in Singular Perturbations of Strongly Monotone Systems

abstract: This paper deals with global convergence to equilibria, and in particular Hirsch's generic convergence theorem for strongly monotone systems, for singular perturbations of monotone systems.


title: Bosonic formulas for affine branching functions

abstract: In this paper we derive two bosonic (alternating sign) formulas for branching functions for general affine Kac-Moody Lie algebra $\g$. Both formulas are given in terms of the Weyl group and string functions of $\g$.


title: Constructing Non-Computable Julia Sets

abstract: We completely characterize the conformal radii of Siegel disks in the family $$P_\theta(z)=e^{2\pi i\theta}z+z^2,$$ corresponding to {\bf computable} parameters $\theta$. As a consequence, we constructively produce quadratic polynomials with {\bf non-computable} Julia sets.


title: Dual Banach algebras: representations and injectivity

abstract: We study representations of Banach algebras on reflexive Banach spaces. Algebras which admit such representations which are bounded below seem to be a good generalisation of Arens regular Banach algebras; this class includes dual Banach algebras as defined by Runde, but also all group algebras, and all discrete (weakly cancellative) semigroup algebras. Such algebras also behave in a similar way to C$^*$- and W$^*$-algebras; we show that interpolation space techniques can be used in the place of GNS type arguments. We define a notion of injectivity for dual Banach algebras, and show that this is equivalent to Connes-amenability. We conclude by looking at the problem of defining a well-behaved tensor product for dual Banach algebras.


title: QL(C^n) determines n

abstract: This addendum to math.LO/0412144 shows that the set of tautological quantum logical propositional formulas for a finite dimensional vector space C^n is different for every n, affirmatively answering a question posed therein.


title: Hyperdeterminantal relations among symmetric principal minors

abstract: The principal minors of a symmetric $n{\times}n$-matrix form a vector of length $2^n$. We characterize these vectors in terms of algebraic equations derived from the $ 2{\times}2{\times}2$-hyperdeterminant.


title: A sharp stability criterion for propagating phase boundaries in Korteweg's model

abstract: Recently, Benzoni--Gavage, Danchin, Descombes, and Jamet have given a sufficient condition for linear and nonlinear stability of solitary wave solutions of Korteweg's model for phase-transitional isentropic gas dynamics in terms of convexity of a certain ``moment of instability'' with respect to wave speed, which is equivalent to variational stability with respect to the associated Hamiltonian energy under a partial subset of the constraints of motion; they conjecture that this condition is also necessary. Here, we compute a sharp criterion for spectral stability in terms of the second derivative of the Evans function at the origin, and show that it is equivalent to the variational condition obtained by Benzoni--Gavage et al, answering their conjecture in the positive.


title: The Carmichael numbers up to $10^{18}$

abstract: We extend our previous computations to show that there are 1401644 Carmichael numbers up to $10^{18}$. As before, the numbers were generated by a back-tracking search for possible prime factorisations together with a ``large prime variation''. We present further statistics on the distribution of Carmichael numbers.


title: Tail expansions for the distribution of the maximum of a random walk with negative drift and regularly varying increments

abstract: Let F be a distribution function with negative mean and regularly varying right tail. Under a mild smoothness condition we derive higher order asymptotic expansions for the tail distribution of the maxima of the random walk generated by F. An application to ruin probabilities is developed.


title: Asymptotic expansions for distributions of compound sums of light subexponential random variables

abstract: We derive an asymptotic expansion for the distribution of a compound sum of independent random variables, all having the same light-tailed subexponential distribution. The examples of a Poisson and geometric number of summands serve as an illustration of the main result. Complete calculations are done for a Weibull distribution, with which we derive, as examples and without any difficulties, 7 terms expansions.


title: Constructible Sheaves and the Fukaya Category

abstract: Let $X$ be a compact real analytic manifold, and let $T^*X$ be its cotangent bundle. Let $Sh(X)$ be the triangulated dg category of bounded, constructible complexes of sheaves on $X$. In this paper, we develop a Fukaya $A_\infty$-category $Fuk(T^*X)$ whose objects are exact, not necessarily compact Lagrangian branes in the cotangent bundle. We write $Tw Fuk(T^*X)$ for the $A_\infty$-triangulated envelope of $Fuk(T^*X)$ consisting of twisted complexes of Lagrangian branes. Our main result is that $Sh(X)$ quasi-embeds into $Tw Fuk(T^*X)$ as an $A_\infty$-category. Taking cohomology gives an embedding of the corresponding derived categories.


title: Numerical Homogenization of the Acoustic Wave Equations with a Continuum of Scales

abstract: In this paper, we consider numerical homogenization of acoustic wave equations with heterogeneous coefficients, namely, when the bulk modulus and the density of the medium are only bounded. We show that under a Cordes type condition the second order derivatives of the solution with respect to harmonic coordinates are $L^2$ (instead $H^{-1}$ with respect to Euclidean coordinates) and the solution itself is in $L^{\infty}(0,T,H^2(\Omega))$ (instead of $L^{\infty}(0,T,H^1(\Omega))$ with respect to Euclidean coordinates). Then, we propose an implicit time stepping method to solve the resulted linear system on coarse spatial scales, and present error estimates of the method. It follows that by pre-computing the associated harmonic coordinates, it is possible to numerically homogenize the wave equation without assumptions of scale separation or ergodicity.


title: A holomorphic representation of the multidimensional Jacobi algebra

abstract: We present a holomorphic representation of the Jacobi algebra $\mathfrak{h}_n\rtimes \mathfrak{sp}(n,\R)$ by first order differential operators with polynomial coefficients on the manifold $\mathbb{C}^n\times \mathcal{D}_n$. We construct the Hilbert space of holomorphic functions on which these differential operators act.


title: A gap rigidity for proper holomorphic maps from $ \B^{n+1}$ to $ \B^{3n-1}$

abstract: Let $ \B^{n+1} \subset \C^{n+1}$ be the unit ball in a complex Euclidean space, and let $ \Sigma^n = \partial \B^{n+1} = S^{2n+1}$. Let $ f: \Sigma^n \hook \Sigma^{N}$ be a local CR immersion.If $ N-n<2n-1$, the asymptotic vectors of the second fundamental form of $ f$ at each point form a subspace of the holomorphic tangent space of $ \Sigma^n$ of codimension at most 1. We exploit the successive derivatives of this relation and show that a linearly full local CR immersion $ f: \Sigma^n \hook \Sigma^{N}$, $ N \leq 3n-2$, can only occur when $ N = n, 2n$, or $ 2n+1$. Together with the recent classification of the rational proper holomorphic maps from $ \B^{n+1}$ to $ \B^{2n+2}$ by Hamada, this gives a classification of the rational proper holomorphic maps from $ \B^{n+1}$ to $ \B^{3n-1}$ for $ n \geq 3$.


title: A generalized triangular form and its global controllability

abstract: We investigate a new class of nonlinear control systems of O.D.E., which are not feedback linearizable in general. Our class is a generalization of the well-known feedback linearizable systems, and moreover it is a generalization of the triangular (or pure-feedback) forms studied before. The definition of our class is global, and coordinate-free, which is why the problem of the equivalence is solved for our class in the whole state space at the very beginning. The goal of this paper is to prove the global controllability of our nonlinear systems. We propose to treat our class as a new canonical form which is a nonlinear global analog of the Brunovsky canonical form on the one hand, and is a global and coordinate-free generalization of the triangular form on the other hand.


title: Hironaka's characteristic polygon and effective resolution of surfaces

abstract: Hironaka's concept of characteristic polyhedron of a singularity has been one of the most powerful and fruitful ideas of the last decades in singularity theory. In fact, since then combinatorics have become a major tool in many important results. However, this seminal concept is still not enough to cope with some effective problems: for instance, giving a bound on the maximum number of blowing--ups to be performed on a surface before its multiplicity decreases. This short note shows why such a bounding is not possible, at least with the original definitions.


title: On simultaneous arithmetic progressions on elliptic curves

abstract: In this paper we study elliptic curves which have a number of points whose coordinates are in arithmetic progression. We first motivate this diophantine problem, prove some results, provide a number of interesting examples and, finally point out open questions which focus on the most interesting aspects of the problem for us.


title: Formality theorem with coefficients in a module

abstract: In this article, $X$ will denote a ${\cal C}^{\infty}$ manifold. In a very famous article, Kontsevich showed that the differential graded Lie algebra (DGLA) of polydifferential operators on $X$ is formal. Calaque extended this theorem to any Lie algebroid. More precisely, given any Lie algebroid $E$ over $X$, he defined the DGLA of $E$-polydifferential operators, $\Gamma (X, ^{E}D^{*}_{poly})$, and showed that it is formal. Denote by $\Gamma (X, ^{E}T^{*}_{poly})$ the DGLA of $E$-polyvector fields. Considering $M$, a module over $E$, we define $\Gamma (X, ^{E}T_{poly}^{*}(M))$ the $\Gamma (X, ^{E}T^{*}_{poly})$-module of $E$-polyvector fields with values in $M$. Similarly, we define the $\Gamma (X, ^{E}D^{*}_{poly})$-module of $E$-polydifferential operators with values in $M$, $\Gamma (X, ^{E}D^{*}_{poly}(M))$. We show that there is a quasi-isomorphism of $L_{\infty}$-modules over $\Gamma (X, ^{E}T^{*}_{poly})$ from $\Gamma (X, ^{E}T^{*}_{poly}(M))$ to $\Gamma (X, ^{E}D^{*}_{poly}(M))$. Our result extends Calaque 's (and Kontsevich's) result.


title: Surgery and equivariant Yamabe invariant

abstract: We consider the equivariant Yamabe problem, i.e. the Yamabe problem on the space of G-invariant metrics for a compact Lie group G. The G-Yamabe invariant is analogously defined as the supremum of the constant scalar curvatures of unit volume G-invariant metrics minimizing the total scalar curvature functional in their G-invariant conformal subclasses. We prove a formula about how the G-Yamabe invariant changes under the surgery of codimension 3 or more, and compute some G-Yamabe invariants.


title: On configuration spaces of plane polygons, sub-Riemannian geometry and periodic orbits of outer billiards

abstract: Following a recent paper by Baryshnikov and Zharnitskii, we consider outer billiards in the plane possessing invariant curves consisting of periodic orbits. We prove the existence and abundance of such tables using tools from sub-Riemannian geometry. We also prove that the set of 3-periodic outer billiard orbits has zero measure.


title: Area of ideal triangles and Gromov hyperbolicity in Hilbert Geometry

abstract: We prove, in the context of Hilbert geometry, the equivalence between the existence of an upper bound on the area of ideal triangles and the Gromov-hyperbolicity.


title: On the geometry of Grassmannian equivalent connections

abstract: We introduce the equation of n-dimensional totally geodesic submanifolds of a manifold E as a submanifold of the second order jet space of n-dimensional submanifolds of E. Next we study the geometry of n-Grassmannian equivalent connections, that is linear connections without torsion admitting the same equation of n-dimensional totally geodesic submanifolds. We define the n-Grassmannian structure as the equivalence class of such connections, recovering for n=1 the case of theory of projectively equivalent connections. By introducing the equation of parametrized n-dimensional totally geodesic submanifolds as a submanifold of the second order jet space of the trivial bundle on the space of parameters, we discover a relation of covering between the `parametrized' equation and the `unparametrized' one. After having studied symmetries of these equations, we discuss the case in which the space of parameters is equal to R^n.


title: Totally umbilic surfaces in homogeneous 3-manifolds

abstract: We discuss existence and classification of totally umbilic surfaces in the model geometries of Thurston and the Berger spheres. We classify such surfaces in $H^2 \times R$, $S^2 \times R$ and the Sol group. We prove nonexistence in the Berger spheres and in the remaining model geometries other than the space forms.


title: Some results for poisoning in a catalytic model

abstract: We obtain new results concerning poisoning/nonpoisoning in a catalytic model which has previously been introduced and studied. We show that poisoning can occur even when the arrival rate of one gas is smaller than the sum of the arrival rates of the other gases, and that poisoning does not occur when all gases have equal arrival rates.


title: A remark on conformal $\SU(p,q)$-holonomy

abstract: If the conformal holonomy group $Hol(\mathcal{T})$ of a simply connected space with conformal structure of signature $(2p-1,2q-1)$ is reduced to $\U(p,q)$ then the conformal holonomy is already contained in the special unitary group $\SU(p,q)$. We present two different proofs of this statement, one using conformal tractor calculus and an alternative proof using Sparling's characterisation of Fefferman metrics.


title: Twistors and 3-symmetric spaces

abstract: We describe complex twistor spaces over inner 3-symmetric spaces $G/H$, such that $H$ acts transitively on the fibre. Like in the symmetric case, these are flag manifolds $G/K$ where $K$ is the centralizer of a torus in $G$. Moreover, they carry an almost complex structure defined using the horizontal distribution of the normal connection on $G/H$, that coincides with the complex structure associated to a parabolic subgroup $P \subset G^{\mathbb C}$ if it is integrable. Conversely, starting from a complex flag manifold $G^{\mathbb C}/P$, there exists a natural fibration with complex fibres on a 3-symmetric space, called fibration of degree 3.


title: Local Time in Parisian Walkways

abstract: In the present paper, Ito formula and Tanaka formula for a special kind of symmetric random walk in the complex plain are studied. The random walk is called Parisian walk, and its local time is defined to be the number of exit from some regions.


title: On Pivot Orbits of Boolean Functions

abstract: We derive a spectral interpretation of the pivot operation on a graph and generalise this operation to hypergraphs. We establish lower bounds on the number of flat spectra of a Boolean function, depending on internal structures, with respect to the {I,H}^n and {I,H,N}^n sets of transforms. We also construct a family of Boolean functions of degree higher than two with a large number of flat spectra with respect to {I,H}^n, and compute a lower bound on this number. The relationship between pivot orbits and equivalence classes of error-correcting codes is then highlighted. Finally, an enumeration of pivot orbits of various types of graphs is given, and it is shown that the same technique can be used to classify codes.


title: Local limit theorems for finite and infinite urn models

abstract: Local limit theorems are derived for the number of occupied urns in general finite and infinite urn models under the minimum condition that the variance tends to infinity. Our results represent an optimal improvement over previous ones for normal approximation.


title: Twisted Alexander polynomials and symplectic structures

abstract: Let N be a closed, oriented 3-manifold. A folklore conjecture states that S^1 x N admits a symplectic structure only if N admits a fibration over the circle. The purpose of this paper is to provide evidence to this conjecture studying suitable twisted Alexander polynomials of N, and showing that their behavior is the same as of those of fibered 3-manifolds. In particular, we will obtain new obstructions to the existence of symplectic structures and to the existence of symplectic forms representing certain cohomology classes of S^1 x N. As an application of these results we will show that S^1 x N(P) does not admit a symplectic structure, where N(P) is the 0-surgery along the pretzel knot P = (5,-3,5), answering a question of Peter Kronheimer.


title: On finitely generated profinite groups I: strong completeness and uniform bounds

abstract: We prove that in every finitely generated profinite group, every subgroup of finite index is open; this implies that the topology on such groups is determined by the algebraic structure. This is deduced from the main result about finite groups: let $w$ be a `locally finite' group word and $d\in\mathbb{N}$. Then there exists $f=f(w,d)$ such that in every $d$-generator finite group $G$, every element of the verbal subgroup $w(G)$ is equal to a product of $f$ $w$-values. An analogous theorem is proved for commutators; this implies that in every finitely generated profinite group, each term of the lower central series is closed. The proofs rely on some properties of the finite simple groups, to be established in Part II.


title: On finitely generated profinite groups II, products in quasisimple groups

abstract: We prove two results. (1) There is an absolute constant $D$ such that for any finite quasisimple group $S$, given 2D arbitrary automorphisms of $S$, every element of $S$ is equal to a product of $D$ `twisted commutators' defined by the given automorphisms. (2) Given a natural number $q$, there exist $C=C(q)$ and $M=M(q)$ such that: if $S$ is a finite quasisimple group with $| S/\mathrm{Z}(S)| >C$, $\beta_{j}$ $ (j=1,...,M)$ are any automorphisms of $S$, and $q_{j}$ $ (j=1,...,M)$ are any divisors of $q$, then there exist inner automorphisms $\alpha_{j}$ of $S$ such that $S=\prod_{1}^{M}[S,(\alpha_{j}\beta_{j})^{q_{j}}]$. These results, which rely on the Classification of finite simple groups, are needed to complete the proofs of the main theorems of Part I.


title: A finite presentation for extended affine Weyl groups (simply laced types)

abstract: Extended affine Weyl groups are the Weyl groups of extended affine root systems. Finite presentations for extended affine Weyl groups are known only for nullities $\leq 2$, where for nullity 2 there is only one known such presentation. We give a finite presentation for the class of simply laced extended affine Weyl groups. Our presentation is nullity free if rank $>1$ and for rank 1 it is given for nullities $\leq 3$. The generators and relations are given uniformly for all types, and for a given nullity they can be read from the corresponding finite Cartan matrix and the semilattice involved in the structure of the root system.


title: Equivariant K-homology for some Coxeter groups

abstract: We obtain the equivariant K-homology of the classifying space \underline{E}W for W a right-angled or, more generally, an even Coxeter group. The key result is a formula for the relative Bredon homology of \underline{E}W in terms of Coxeter cells. Our calculations amount to the K-theory of the reduced C^*-algebra of W, via the Baum-Connes assembly map.


title: Harmonic Maps and Teichmueller Theory

abstract: This is a survey article to appear in the "Handbook on Teichmueller Theory".


title: Deformation theory of dialgebra morphisms

abstract: An algebraic deformation theory of dialgebra morphisms is obtained.


title: Hopfish structure and modules over irrational rotation algebras

abstract: Inspired by the group structure on $S^1/ \bbZ$, we introduce a weak hopfish structure on an irrational rotation algebra $A$ of finite Fourier series. We consider a class of simple $A$-modules defined by invertible elements, and we compute the tensor product between these modules defined by the hopfish structure. This class of simple modules turns out to generate an interesting commutative unital ring.


title: Syzygy Bundles on P^2 and the Weak Lefschetz Property

abstract: Let K be an algebraically closed field of characteristic zero and let I=(f_1,...,f_n) be a homogeneous R_+-primary ideal in R:=K[X,Y,Z]. If the corresponding syzygy bundle Syz(f_1,...,f_n) on the projective plane is semistable, we show that the Artinian algebra R/I has the Weak Lefschetz property if and only if the syzygy bundle has a special generic splitting type. As a corollary we get the result of Harima et alt., that every Artinian complete intersection (n=3) has the Weak Lefschetz property. Furthermore, we show that an almost complete intersection (n=4) does not necessarily have the Weak Lefschetz property, answering negatively a question of Migliore and Miro-Roig. We prove that an almost complete intersection has the Weak Lefschetz property if the corresponding syzygy bundle is not semistable.


title: New Finite Rogers-Ramanujan Identities

abstract: We present two general finite extensions for each of the two Rogers-Ramanujan identities. Of these one can be derived directly from Watson's transformation formula by specialization or through Bailey's method, the second similar formula can be proved either by using the first formula and the q-Gosper algorithm, or through the so-called Bailey lattice.


title: The Calabi-Yau equation on almost-Kahler four-manifolds

abstract: Let (M, \omega) be a compact symplectic 4-manifold with a compatible almost complex structure J. The problem of finding a J-compatible symplectic form with prescribed volume form is an almost-K\"ahler analogue of Yau's theorem and is connected to a programme in symplectic topology proposed by Donaldson. We call the corresponding equation for the symplectic form the Calabi-Yau equation. Solutions are unique in their cohomology class. It is shown in this paper that a solution to this equation exists if the Nijenhuis tensor is small in a certain sense. Without this assumption, it is shown that the problem of existence can be reduced to obtaining a C^0 bound on a scalar potential function.


title: Cyclic Algebras over $p$-adic curves

abstract: In this paper we study division algebras over the function fields of curves over $\Q_p$. The first and main tool is to view these fields as function fields over nonsingular $S$ which are projective of relative dimension 1 over the $p$ adic ring $\Z_p$. A previous paper showed such division algebras had index bounded by $n^2$ assuming the exponent was $n$ and $n$ was prime to $p$. In this paper we consider algebras of degree (and hence exponent) $q \not= p$ and show these algebras are cyclic. We also find a geometric criterion for a Brauer class to have index $q$.


title: Discrete Component Analysis

abstract: This article presents a unified theory for analysis of components in discrete data, and compares the methods with techniques such as independent component analysis, non-negative matrix factorisation and latent Dirichlet allocation. The main families of algorithms discussed are a variational approximation, Gibbs sampling, and Rao-Blackwellised Gibbs sampling. Applications are presented for voting records from the United States Senate for 2003, and for the Reuters-21578 newswire collection.


title: Extremal maps of the universal hyperbolic solenoid

abstract: We show that the set of points in the Teichmuller space of the universal hyperbolic solenoid which do not have a Teichmuller extremal representative is generic (that is, its complement is the set of the first kind in the sense of Baire). This is in sharp contrast with the Teichmuller space of a Riemann surface where at least an open, dense subset has Teichmuller extremal representatives. In addition, we provide a sufficient criteria for the existence of Teichmuller extremal representatives in the given homotopy class. These results indicate that there is an interesting theory of extremal (and uniquely extremal) quasiconformal mappings on hyperbolic solenoids.


title: Universal coefficient theorem in triangulated categories

abstract: Let T be a triangulated category, A a graded abelian category and h: T -> A a homology theory on T with values in A. If the functor h reflects isomorphisms, is full and is such that for any object x in A there is an object X in T with an isomorphism between h(X) and x, we prove that A is a hereditary abelian category and the ideal Ker(h) is a square zero ideal which as a bifunctor on T is isomorphic to Ext^1_A(h(-)[1], h(-)).


title: Supersingular genus-two curves over fields of characteristic three

abstract: Let C be a supersingular genus-2 curve over an algebraically closed field of characteristic 3. We show that if C is not isomorphic to the curve y^2 = x^5 + 1 then up to isomorphism there are exactly 20 degree-3 maps phi from C to the elliptic curve E with j-invariant 0. We study the coarse moduli space of triples (C,E,phi), paying particular attention to questions of rationality. The results we obtain allow us to determine, for every finite field k of characteristic 3, the polynomials that occur as Weil polynomials of supersingular genus-2 curves over k.


title: Weak complicial sets, a simplicial weak omega-category theory. Part I: basic homotopy theory

abstract: This paper develops the foundations of a simplicial theory of weak omega-categories, which builds upon the insights originally expounded by Ross Street in his 1987 paper on oriented simplices. The resulting theory of weak complicial sets provides a common generalisation of the theories of (strict) omega-categories, Kan complexes and Joyal's quasi-categories. We generalise a number of results due to the current author with regard to complicial sets and strict omega-categories to provide an armoury of well behaved technical devices, such as joins and Gray tensor products, which will be used to study these the weak omega-category theory of these structures in a series of companion papers. In particular, we establish their basic homotopy theory by constructing a Quillen model structure on the category of stratified simplicial sets whose fibrant objects are the weak complicial sets. As a simple corollary of this work we provide an independent construction of Joyal's model structure on simplicial sets for which the fibrant objects are the quasi-categories.


title: A note on surfaces in $\h^2\times\r$

abstract: In this article we consider surfaces in the product space $\h^2\times \r$ of the hyperbolic plane $\h^2$ with the real line. The main results are: a description of some geometric properties of minimal graphs; new examples of complete minimal graphs; the classification of umbilical surfaces.


title: Weak complicial sets, a simplicial weak omega-category theory. Part II: nerves of complicial Gray-categories

abstract: This paper continues the development of a simplicial theory of weak omega-categories, by studying categories which are enriched in weak complicial sets. These complicial Gray-categories generalise both the Kan complex enriched categories of homotopy theory and the Gray-categories of weak 3-category theory. We derive a simplicial nerve construction, which is closely related to Cordier and Porter's homotopy coherent nerve, and show that this faithfully represents complicial Gray-categories as weak complicial sets. The category of weak complicial sets may itself be canonically enriched to a complicial Gray-category whose homsets are higher generalisations of the bicategory of homomorphisms, strong transformations and modifications. By applying our nerve construction to this structure, we demonstrate that the totality of all (small) weak complicial sets and their structural morphisms at higher dimensions form a richly structured (large) weak complicial set.


title: Admissibility and minimaxity of generalized Bayes estimators for spherically symmetric family

abstract: We give a sufficient condition for admissibility of generalized Bayes estimators of the location vector of spherically symmetric distribution under squared error loss. Compared to the known results for the multivariate normal case, our sufficient condition is very tight and is close to being a necessary condition. In particular we establish the admissibility of generalized Bayes estimators with respect to the harmonic prior and priors with slightly heavier tail than the harmonic prior. We use the theory of regularly varying functions to construct a sequence of smooth proper priors approaching an improper prior fast enough for establishing the admissibility. We also discuss conditions of minimaxity of the generalized Bayes estimator with respect to the harmonic prior.


title: An Elementary Proof of Sylvester's Double Sums for Subresultants

abstract: In 1853 Sylvester stated and proved an elegant formula that expresses the polynomial subresultants in terms of the roots of the input polynomials. Sylvester's formula was also recently proved by Lascoux and Pragacz by using multi-Schur functions and divided differences. In this paper, we provide an elementary proof that uses only basic properties of matrix multiplication and Vandermonde determinants.


title: Stable and isoperimetric regions in rotationally symmetric tori with decreasing Gauss curvature

abstract: In this work we classify the stable regions (second order minima of perimeter under an area constraint) in tori of revolution with piecewise continuous decreasing Gauss curvature from the longest parallel and with a horizontal symmetry. Some applications to isoperimetric problems are also given.


title: Classification of rational unicuspidal projective curves whose singularities have one Puiseux pair

abstract: It is a very old and interesting open problem to characterize those collections of embedded topological types of local plane curve singularities which may appear as singularities of a projective plane curve C of degree d. The goal of the present article is to give a complete (topological) classification of those cases when C is rational and it has a unique singularity which is locally irreducible (i.e. C is unicuspidal) with one Puiseux pair.


title: On rational cuspidal curves, open surfaces and local singularities

abstract: Let $C$ be an irreducible projective plane curve in the complex projective space ${\mathbb{P}}^2$. The classification of such curves, up to the action of the automorphism group $PGL(3,{\mathbb{C}})$ on ${\mathbb{P}}^2$, is a very difficult open problem with many interesting connections. The main goal is to determine, for a given $d$, whether there exists a projective plane curve of degree $d$ having a fixed number of singularities of given topological type. In this note we are mainly interested in the case when $C$ is a rational curve. The aim of this article is to present some of the old conjectures and related problems, and to complete them with some results and new conjectures from the recent work of the authors.


title: The Hankel Transform of the Sum of Consecutive Generalized Catalan Numbers

abstract: We discuss the properties of the Hankel transformation of a sequence whose elements are the sums of consecutive generalized Catalan numbers and find their values in the closed form.


title: Equivalences between categories of modules and categories of comodules

abstract: We show the close connection between appearingly different Galois theories for comodules introduced recently in [J. G\'omez-Torrecillas and J. Vercruysse, Comatrix corings and Galois Comodules over firm rings, arXiv:math.RA/0509106.] and [R. Wisbauer, On Galois comodules (2004), to appear in Comm. Algebra.]. Furthermore we study equivalences between categories of comodules over a coring and modules over a firm ring. We show that these equivalences are related to Galois theory for comodules.


title: Identification of Parameters through the Approximate Periodic Solutions of a Parabolic System

abstract: This work is concerned with the identification problem for what we call the perturbation term or error term in a parabolic partial differential equation, through its approximate periodic solutions. The observation is made over a subregion of the physical domain. The existence and uniqueness problem of the approximate periodic solutions is studied in the first part of the paper. A solution to the identification problem is given in the second part of the paper. The main ingredients to be used include the classical Garlerkin method and the more recently developed Carleman estimates for a parabolic system.


title: On the number of rational squares at fixed distance from a fifth power

abstract: The main result of this note is that there are at most seven rational points (including the one at infinity) on the curve C_A with the affine equation y^2 = x^5 + A (where A is a tenth power free integer) when the Mordell-Weil rank of the Jacobian of C_A is one. This bound is attained for A = 18^2.


title: Infinite volume limits of polymer chains with periodic charges

abstract: The aim of this paper is twofold: - To give an elementary and self-contained proof of an explicit formula for the free energy for a general class of polymer chains interacting with an environment through periodic potentials. This generalizes a result in [Bolthausen and Giacomin, AAP 2005] in which the formula is derived by using the Donsker-Varadhan Large Deviations theory for Markov chains. We exploit instead tools from renewal theory. - To identify the infinite volume limits of the system. In particular, in the different regimes we encounter transient, null recurrent and positive recurrent processes (which correspond to delocalized, critical and localized behaviors of the trajectories). This is done by exploiting the sharp estimates on the partition function of the system obtained by the renewal theory approach. The precise characterization of the infinite volume limits of the system exposes a non-uniqueness problem. We will however explain in detail how this (at first) surprising phenomenon is instead due to the presence of a first-order phase transition.


title: On the Zeros of Fermat Quotients and Mirimanoff Polynomials

abstract: In this article an upper bound for the first consecutive zeros of the Fermat quotient is given in terms of the zeros of a Mirimanoff polynomial. This bound is obtained by investigating a relation between these polynomials and the factor system of Gauss sums of a certain number field.


title: Morse theory and tilting sheaves

abstract: We give a geometric construction of tilting perverse sheaves using stratified Morse theory, torus actions, and nearby cycles.


title: Random Sampling of Sparse Trigonometric Polynomials II - Orthogonal Matching Pursuit versus Basis Pursuit

abstract: We investigate the problem of reconstructing sparse multivariate trigonometric polynomials from few randomly taken samples by Basis Pursuit and greedy algorithms such as Orthogonal Matching Pursuit (OMP) and Thresholding. While recovery by Basis Pursuit has recently been studied by several authors, we provide theoretical results on the success probability of reconstruction via Thresholding and OMP for both a continuous and a discrete probability model for the sampling points. We present numerical experiments, which indicate that usually Basis Pursuit is significantly slower than greedy algorithms, while the recovery rates are very similar.


title: A Decomposition of Schur functions and an analogue of the Robinson-Schensted-Knuth Algorithm

abstract: We exhibit a weight-preserving bijection between semi-standard Young tableaux and semi-skyline augmented fillings to provide a combinatorial proof that the Schur functions decompose into nonsymmetric functions indexed by compositions. The insertion procedure involved in the proof leads to an analogue of the Robinson-Schensted-Knuth Algorithm for semi-skyline augmented fillings. This procedure commutes with the RSK algorithm, and therefore retains many of its properties.


title: A note on some binomial sums

abstract: Modifying an idea of E. Brietzke we give simple proofs for the recurrence relations of some sequences of binomial sums which have previously been obtained by other more complicated methods.


title: Nash problem for stable toric varieties

abstract: We present a solution for Nash problem for stable toric varieties. We also introduce Nash problem for pairs and prove it for toric pairs.


title: Random walks on the mapping class group

abstract: We show that a random walk on the mapping class group of an orientable surface gives rise to a pseudo-Anosov element with asymptotic probability one. Our methods apply to many subgroups of the mapping class group, including the Torelli group.


title: The M-ellipsoid, Symplectic Capacities and Volume

abstract: In this work we bring together tools and ideology from two different fields, Symplectic Geometry and Asymptotic Geometric Analysis, to arrive at some new results. Our main result is a dimension-independent bound for the symplectic capacity of a convex body by its volume radius.


title: Translation equivalent elements in free groups

abstract: Let F_n be a free group of rank n>1. Two elements g, h in F_n are said to be translation equivalent in F_n if the cyclic length of \phi(g) equals the cyclic length of \phi(h) for every automorphism \phi of F_n. Let F(a, b) be the free group generated by {a, b} and let w(a,b) be an arbitrary word in F(a,b). We prove that w(g, h) and w(h, g) are translation equivalent in F_n whenever g, h \in F_n are translation equivalent in F_n, which hereby gives an affirmative solution to problem F38b in the online version (http://www.grouptheory.info) of [1].