title: Betti numbers and shifts in minimal graded free resolutions

abstract: Let S be a polynomial ring and R=S/I where I is a graded ideal of S. The Multiplicity Conjecture of Herzog, Huneke, and Srinivasan which was recently proved using the Boij-Soederberg theory states that the multiplicity of R is bounded above by a function of the maximal shifts in the minimal graded free resolution of R over S as well as bounded below by a function of the minimal shifts if R is Cohen-Macaulay. In this paper we study the related problem to show that the total Betti-numbers of R are also bounded above by a function of the shifts in the minimal graded free resolution of R as well as bounded below by another function of the shifts if R is Cohen-Macaulay. We also discuss the cases when these bounds are sharp.


title: On a type Sobolev inequality and its applications

abstract: In the paper we pursue the analysis from the section 5 of the Talagrand's paper "Sample boundedness of stochastic processes under increment conditions." Ann. Probab. 18, No. 1, 1-49. In particular we give the proof of some Sobolev Inequality and then apply it to obtain if and only if condition for all processes with bounded icrements to have bounded samples. The processes are defined on a compact, concave subspaces of $\R^n$ with a metric $d(s,t)=\eta(||s-t||)$, where $\eta$ is concave and $||.||$ is a norm on $\R^n$.


title: Bailey Type Transforms and Applications

abstract: The aim of this paper is to establish new series transforms of Bailey type and to show that these Bailey type transforms work as efficiently as the classical one and give not only new $q$-hypergeometric identities, converting double or triple series into a very-well-poised $_{10}\Phi_9$ or $_{12}\Phi_{11}$ series but can also be utilized to derive new double and triple series Rogers-Ramanujan type identities and corresponding infinite families of Rogers-Ramanujan type identities.


title: Braided homology of quantum groups

abstract: We study braided Hochschild and cyclic homology of ribbon algebras in braided monoidal categories, as introduced by Baez and by Akrami and Majid. We compute this invariant for several examples coming from quantum groups and braided groups.


title: Knot homology via derived categories of coherent sheaves I, sl(2) case

abstract: Using derived categories of equivariant coherent sheaves, we construct a categorification of the tangle calculus associated to sl(2) and its standard representation. Our construction is related to that of Seidel-Smith by homological mirror symmetry. We show that the resulting doubly graded knot homology agrees with Khovanov homology.


title: On vanishing of certain Ext modules

abstract: Let R be a Noetherian local ring with the maximal ideal m and dim R=1. In this paper, we shall prove that the module Ext^1_R(R/Q,R) does not vanish for every parameter ideal Q in R, if the embedding dimension v(R) of R is at most 4 and the ideal m^2 kills the 0th local cohomology module H_m^0(R). The assertion is no longer true unless v(R) \leq 4. Counterexamples are given. We shall also discuss the relation between our counterexamples and a problem on modules of finite G-dimension.


title: Self Consistency: A General Recipe for Wavelet Estimation With Irregularly-spaced and/or Incomplete Data

abstract: Inspired by the key principle behind the EM algorithm, we propose a general methodology for conducting wavelet estimation with irregularly-spaced data by viewing the data as the observed portion of an augmented regularly-spaced data set. We then invoke the self-consistency principle to define our wavelet estimators in the presence of incomplete data. Major advantages of this approach include: (i) it can be coupled with almost any wavelet shrinkage methods, (ii) it can deal with non--Gaussian or correlated noise, and (iii) it can automatically handle other kinds of missing or incomplete observations. We also develop a multiple-imputation algorithm and fast EM-type algorithms for computing or approximating such estimates. Results from numerical experiments suggest that our algorithms produce favorite results when comparing to several common methods, and therefore we hope these empirical findings would motivate subsequent theoretical investigations. To illustrate the flexibility of our approach, examples with Poisson data smoothing and image denoising are also provided.


title: Instructive examples of smooth, complex differentiable and complex analytic mappings into locally convex spaces

abstract: For each positive integer k, we describe a map f from the complex plane to a suitable non-complete complex locally convex space such that f is k times continuously complex differentiable but not k+1 times, and hence not complex analytic. We also describe a complex analytic map from l^1 to a suitable complete complex locally convex space which is unbounded on each non-empty open subset of l^1. Furthermore, we present a smooth map from the real line to a non-complete locally convex space which is not real analytic although it is given locally by its Taylor series around each point. As a byproduct, we find that free locally convex spaces over subsets of the complex plane with non-empty interior are not Mackey complete.


title: Generating self-map monoids of infinite sets

abstract: Let I be a countably infinite set, S = Sym(I) the group of permutations of I, and E = End(I) the monoid of self-maps of I. Given two subgroups G, G' of S, let us write G \approx_S G' if there exists a finite subset U of S such that the groups generated by G \cup U and G' \cup U are equal. Bergman and Shelah showed that the subgroups which are closed in the function topology on S fall into exactly four equivalence classes with respect to \approx_S. Letting \approx denote the obvious analog of \approx_S for submonoids of E, we prove an analogous result for a certain class of submonoids of E, from which the theorem for groups can be recovered. Along the way, we show that given two subgroups G, G' of S which are closed in the function topology on S, we have G \approx_S G' if and only if G \approx G' (as submonoids of E), and that cl_S (G) \approx cl_E (G) for every subgroup G of S (where cl_S (G) denotes the closure of G in the function topology in S and cl_E (G) its closure in the function topology in E).


title: Tropical Jacobians in R2

abstract: By tropical Abel-Jacobi theorem, the Jacobian of a tropical curve is isomorphic to the Picard group. A tropical curve in $\mathbb{R}^2$ corresponds to an immersion from a tropical curve to $\mathbb{R}^2$. In this paper, we show that any principal divisor on a tropical curve is the restriction of a principal divisor on the ambient plane $\mathbb{R}^2$.


title: Blow-up of solutions to the nonlinear Schr$\bf{\ddot{O}}$dinger equations on standard N-sphere and hyperbolic N-space

abstract: In this paper, we partially settle down the long standing open problem of the finite time blow-up property about the nonlinear Schr$\ddot{o}$dinger equations on some Riemannian manifolds like the standard 2-sphere $S^2$ and the hyperbolic 2-space $H^{2}(-1)$. Using the similar idea, we establish such blow-up results on higher dimensional standard sphere and hyperbolic $n$-space. Extensions to $n$-dimensional Riemannian warped product manifolds with $n\geq 2$ are also given.


title: Diffusion Limited Aggregation on a Cylinder

abstract: We consider the DLA process on a cylinder G x N. It is shown that this process "grows arms", provided that the base graph G has small enough mixing time. Specifically, if the mixing time of G is at most (log|G|)^(2-\eps), the time it takes the cluster to reach the m-th layer of the cylinder is at most of order m |G|/loglog|G|. In particular we get examples of infinite Cayley graphs of degree 5, for which the DLA cluster on these graphs has arbitrarily small density. In addition, we provide an upper bound on the rate at which the "arms" grow. This bound is valid for a large class of base graphs G, including discrete tori of dimension at least 3. It is also shown that for any base graph G, the density of the DLA process on a G-cylinder is related to the rate at which the arms of the cluster grow. This implies, that for any vertex transitive G, the density of DLA on a G-cylinder is bounded by 2/3.


title: On the Riemann zeta-function and the divisor problem IV

abstract: Let $\Delta(x)$ denote the error term in the Dirichlet divisor problem, and $E(T)$ the error term in the asymptotic formula for the mean square of $|\zeta(1/2+it)|$. If $E^*(t) = E(t) - 2\pi\Delta^*(t/(2\pi))$ with $\Delta^*(x) = -\Delta(x) + 2\Delta(2x) - {1\over2}\Delta(4x)$, then it is proved that $$ \int_0^T|E^*(t)|^3dt \ll_\epsilon T^{3/2+\epsilon}, $$ which is (up to `$\epsilon$' best possible) and $\zeta(1/2+it) \ll_\epsilon t^{\rho/2+\epsilon}$ if $E^*(t) \ll_\epsilon t^{\rho+\epsilon}$.


title: Calibrations and isoperimetric profiles

abstract: We equip many non compact non simply connected surfaces with smooth Riemannian metrics whose isoperimetric profile is smooth, a highly non generic property. The computation of the profile is based on a calibration argument, a rearrangement argument, the Bol-Fiala curvature dependent inequality, together with new results on the profile of surfaces of revolution and some hardware know-how.


title: Remarks on the general Funk-Radon transform and thermoacoustic tomography

abstract: We study properties of the general integral transform defined for a family of hypersurfaces in a smooth manifold. Estimates of Sobolev norms, range conditions and approximation theorem for the kernel of the integral transform are stated. Applications to the spherical mean transform that appears in thermo/opto/photoacoustic tomography are discussed.


title: A new Quillen model for the Morita homotopy theory of DG categories

abstract: We construct a new Quillen model, based on the notions of Drinfeld's DG quotient and localization pair, for the Morita homotopy theory of DG categories. This new Quillen model carries a natural closed symmetric monoidal structure and allows us to re-interpret Toen's construction of the internal Hom-functor for the homotopy category of DG categories as a total right derived internal Hom-functor.


title: Some notes on improving upon the James-Stein estimator

abstract: We consider estimation of a multivariate normal mean vector under sum of squared error loss. We propose a new class of smooth estimators parameterized by \alpha dominating the James-Stein estimator. The estimator for \alpha=1 corresponds to the generalized Bayes estimator with respect to the harmonic prior. When \alpha goes to infinity, the estimator converges to the James-Stein positive-part estimator. Thus the class of our estimators is a bridge between the admissible estimator (\alpha=1) and the inadmissible estimator (\alpha=\infty). Although the estimators have quasi-admissibility which is a weaker optimality than admissibility, the problem of determining whether or not the estimator for \alpha>1 admissible is still open.


title: Weak uncertainty principle for fractals, graphs and metric measure spaces

abstract: We develop a new approach to formulate and prove the weak uncertainty inequality which was recently introduced by Okoudjou and Strichartz. We assume either an appropriate measure growth condition with respect to the effective resistance metric, or, in the absence of such a metric, we assume the Poincare inequality and reverse volume doubling property. We also consider the weak uncertainty inequality in the context of Nash-type inequalities. Our results can be applied to a wide variety of metric measure spaces, including graphs, fractals and manifolds.


title: Complementary regions for immersions of surfaces

abstract: Let F be a closed surface and i:F \to S^3 a generic immersions. Then S^3 - i(F) is a union of connected regions, which may be separated into two sets {U_j} and {V_j} by a checkerboard coloring. For k \geq 0, let a_k, b_k be the number of components U_j, V_j with \chi(U_j) = 1-k, \chi(V_j)=1-k, respectively. Two more integers attached to i are the number N of triple points of i, and \chi=\chi(F). In this work we determine what sets of data ({a_k}, {b_k}, \chi, N) may appear in this way.


title: Modular classes of regular twisted Poisson structures on Lie algebroids

abstract: We derive a formula for the the modular class of a Lie algebroid with a regular twisted Poisson structure in terms of a canonical Lie algebroid representation of the image of the Poisson map. We use this formula to compute the modular classes of Lie algebras with a twisted triangular r-matrix. The special case of r-matrices associated to Frobenius Lie algebras is also studied.


title: Undercomplete Blind Subspace Deconvolution

abstract: We introduce the blind subspace deconvolution (BSSD) problem, which is the extension of both the blind source deconvolution (BSD) and the independent subspace analysis (ISA) tasks. We examine the case of the undercomplete BSSD (uBSSD). Applying temporal concatenation we reduce this problem to ISA. The associated `high dimensional' ISA problem can be handled by a recent technique called joint f-decorrelation (JFD). Similar decorrelation methods have been used previously for kernel independent component analysis (kernel-ICA). More precisely, the kernel canonical correlation (KCCA) technique is a member of this family, and, as is shown in this paper, the kernel generalized variance (KGV) method can also be seen as a decorrelation method in the feature space. These kernel based algorithms will be adapted to the ISA task. In the numerical examples, we (i) examine how efficiently the emerging higher dimensional ISA tasks can be tackled, and (ii) explore the working and advantages of the derived kernel-ISA methods.


title: Factorization of monomorphisms of a polynomial algebra in one variable

abstract: Let $K[x]$ be a polynomial algebra in a variable $x$ over a commutative $\Q$-algebra $K$, and $\G'$ be the monoid of $K$-algebra monomorphisms of $K[x]$ of the type $\s : x\mapsto x+\l_2x^2+... +\l_nx^n$, $\l_i\in K$, $\l_n$ is a unit of $K$. It is proved that for each $\s \in \G'$ there are only finitely many distinct decompositions $\s = \s_1... \s_s$ in $\G'$. Moreover, each such a decomposition is uniquely determined by the degrees of components: if $\s = \s_1... \s_s= \tau_1... \tau_s$ then $\s_1=\tau_1, >..., \s_s=\tau_s$ iff $\deg (\s_1)=\deg (\tau_1), ..., \deg (\s_s)=\deg (\tau_s)$. Explicit formulae are given for the components $\s_i$ via the coefficients $\l_j$ and the degrees $\deg (\s_k)$ (as an application of the inversion formula for polynomial automorphisms in {\em several} variables from \cite{Bav-inform}). In general, for a polynomial there are no formulae (in radicals) for its divisors (elementary Galois theory). Surprisingly, one can write such formulae where instead of the product of polynomials one considers their composition (as polynomial functions).


title: The asymptotic rank of metric spaces

abstract: In this article we define and study a notion of asymptotic rank for metric spaces and show in our main theorem that for a large class of spaces, the asymptotic rank is characterized by the growth of the higher filling functions. For a proper, cocompact, simply-connected geodesic metric space of non-curvature in the sense of Alexandrov the asymptotic rank equals its Euclidean rank.


title: Frobenius action on l-adic Chen-Ruan cohomology

abstract: We extend the definition of the Chen-Ruan cohomology ring to smooth, proper, tame, Deligne-Mumford stacks over fields of positive characteristic and prove that a modified version of the Frobenius action preserves the product.


title: Graphs, free groups and the Hanna Neumann conjecture

abstract: A new bound for the rank of the intersection of finitely generated subgroups of a free group is given, formulated in topological terms, and very much in the spirit of Stallings. The bound is a contribution to (although unfortunately not a solution of) the strengthened Hanna Neumann conjecture.


title: Cominuscule tableau combinatorics

abstract: We study "cominuscule tableau combinatorics" by generalizing constructions of M. Haiman, S. Fomin and M.-P. Sch\"utzenberger. In particular, we extend the dual equivalence ideas of [Haiman, 1992] to reformulate the generalized Littlewood-Richardson rule for cominuscule G/P Schubert calculus from [Thomas-Yong, 2006]. We apply dual equivalence to give an alternative and independent proof of the jeu de taquin results of [Proctor, 2004] needed in our earlier work. We also extend Fomin's growth diagram description of jeu de taquin; the inherent symmetry of these diagrams leads to a generalization of Sch\"utzenberger's evacuation involution. Finally, these results are applied to give an cominuscule extension of the carton rule of [Thomas-Yong, 2008].


title: Global Behavior of Spherically Symmetric Navier-Stokes Equations with Density-Dependent Viscosity

abstract: In this paper, we study a free boundary problem for compressible spherically symmetric Navier-Stokes equations without a solid core. Under certain assumptions imposed on the initial data, we obtain the global existence and uniqueness of the weak solution, give some uniform bounds (with respect to time) of the solution and show that it converges to a stationary one as time tends to infinity. Moreover, we obtain the stabilization rate estimates of exponential type in $L^\infty$-norm and weighted $H^1$-norm of the solution by constructing some Lyapunov functionals. The results show that such system is stable under the small perturbations, and could be applied to the astrophysics.


title: Double Bicrosssum of Braided Lie algebras

abstract: The condition for double bicrosssum to be a braided Lie bialgebra is given. The result generalizes quantum double, bicrosssum, bicrosscosum, bisum. The quantum double of braided Lie bialgebras is constructed. The relation between double crosssum of Lie algebras and double crossproduct of Hopf algebras is given.


title: Macdonald difference operators and Harish-Chandra series

abstract: We analyze the centralizer of the Macdonald difference operator in an appropriate algebra of Weyl group invariant difference operators. We show that it coincides with Cherednik's commuting algebra of difference operators via an analog of the Harish-Chandra isomorphism. Analogs of Harish-Chandra series are defined and realized as solutions to the system of basic hypergeometric difference equations associated to the centralizer algebra. These Harish-Chandra series are then related to both Macdonald polynomials and Chalykh's Baker-Akhiezer functions.


title: On the constructions of the skew Brownian motion

abstract: This article summarizes the various ways one may use to construct the Skew Brownian motion, and shows their connections. Recent applications of this process in modelling and numerical simulation motivates this survey. This article ends with a brief account of related results, extensions and applications of the Skew Brownian motion.


title: Analytical and formal classifications of quasi-homogeneous foliations in (C^2,0)

abstract: We prove a result of classification for germs of formal and convergent quasi-homogeneous foliations in C^2 with fixed separatrix. Basically, we prove that the analytical and formal class of such a foliation depend respectively only on the analytical and formal class of its representation of projective holonomy.


title: Ribbon tableaux, ribbon rigged configurations and Hall-Littlewood functions at roots of unity

abstract: Hall-Littlewood functions indexed by rectangular partitions, specialized at primitive roots of unity, can be expressed as plethysms. We propose a combinatorial proof of this formula using A. Schilling's bijection between ribbon tableaux and ribbon rigged configurations.


title: A note on tropical triangles in the plane

abstract: We define transversal tropical triangles (affine and projective) and characterize them via six inequalities to be satisfied by the coordinates of the vertices. We prove that the vertices of a transversal tropical triangle are tropically independent and they tropically span a classical hexagon whose sides have slopes $\infty,0,1$. Using this classical hexagon, we determine a parameter space for transversal tropical triangles. The coordinates of the vertices of a transversal tropical triangle determine a tropically regular matrix. Triangulations of the tropical plane are obtained.


title: The fusion algebra of bimodule categories

abstract: We establish an algebra-isomorphism between the complexified Grothendieck ring F of certain bimodule categories over a modular tensor category and the endomorphism algebra of appropriate morphism spaces of those bimodule categories. This provides a purely categorical proof of a conjecture by Ostrik concerning the structure of F. As a by-product we obtain a concrete expression for the structure constants of the Grothendieck ring of the bimodule category in terms of endomorphisms of the tensor unit of the underlying modular tensor category.


title: The Aharonov-Bohm effect: Mathematical Aspects of the Quantum Flow

abstract: This paper addresses the scattering of a beam of charged particles by an infinitely long magnetic string in the context of the hydrodynamical approach to quantum mechanics. The scattering is qualitatively analyzed by two approaches. In the first approach, the quantum flow is studied via a one-parameter family of complex potentials. In the second approach, the qualitative theory of planar differential equations is used to obtain a one-parameter family of Hamiltonian functions which determine the phase portraits of the systems.


title: Generation Gaps and Abelianised Defects of Free Products

abstract: Let G be a group of the form G_1* ... *G_n, the free product of n subgroups, and let M be a ZG-module of the form $\bigoplus_{i=1}^n M_i \otimes_{\mathbb{Z}G_i} \mathbb{Z}G$. We shall give formulae in various situations for $d_{ZG}(M)$, the minimum number of elements required to generate M. In particular if C_1,C_2 are non-trivial finite cyclic groups of coprime orders, $G = (C_1 \times Z) * (C_2 \times Z)$ and $F/R \cong G$ is the free presentation obtained from the natural free presentations of the two factors, then the number of generators of the relation module, $d_{\mathbb{Z}G}(R/R')$ is three. It seems plausible that the minimum number of relators of G should be 4, and this would give a finitely presented group with positive relation gap. However we cannot prove this last statement.


title: A MARKOV chain model of a polling system with parameter regeneration

abstract: We study a model of a polling system, that is, a collection of $d$ queues with a single server that switches from queue to queue. The service time distribution and arrival rates change randomly every time a queue is emptied. This model is mapped to a mathematically equivalent model of a random walk with random choice of transition probabilities, a model which is of independent interest. All our results are obtained using methods from the constructive theory of Markov chains. We determine conditions for the existence of polynomial moments of hitting times for the random walk. An unusual phenomenon of thickness of the region of null recurrence for both the random walk and the queueing model is also proved.


title: Influence of Bottom Topography on Long Water Waves

abstract: We focus here on the water waves problem for uneven bottoms in the long-wave regime, on an unbounded two or three-dimensional domain. In order to derive asymptotic models for this problem, we consider two different regimes of bottom topography, one for small variations in amplitude, and one for strong variations. Starting from the Zakharov formulation of this problem, we rigorously compute the asymptotics expansion of the involved Dirichlet-Neumann operator. then, following the global strategy introduced by Bona, Colin and Lannes, new symetric asymptotic models are derived for each regime of bottom topography. Solutions of these systems are proved to give good approximations of solutions of the water waves problem. These results hold for solutions that evanesce at infinity as well as for spatially periodic ones.


title: Modular Equations and Distortion Functions

abstract: Modular equations occur in number theory, but it is less known that such equations also occur in the study of deformation properties of quasiconformal mappings. The authors study two important plane quasiconformal distortion functions, obtaining monotonicity and convexity properties, and finding sharp bounds for them. Applications are provided that relate to the quasiconformal Schwarz Lemma and to Schottky's Theorem. These results also yield new bounds for singular values of complete elliptic integrals.


title: Shannon entropy for stationary processes and dynamical systems

abstract: We consider stationary ergodic processes indexed by $\mathbb Z$ or $\mathbb Z^n$ whose finite dimensional marginals have laws which are absolutely continuous with respect to Lebesgue measure. We define an entropy theory for these continuous processes, prove an analog of the Shannon Breiman Mac Millan theorem and study more precisely the particular example of Gaussian processes.


title: Siciak-Zahariuta extremal functions and polynomial hulls

abstract: We use our disc formula for the Siciak-Zahariuta extremal function to characterize the polynomial hull of a connected compact subset of complex affine space in terms of analytic discs.


title: On the integration of LA-groupoids and duality for Poisson groupoids

abstract: In this note a functorial approach to the integration problem of an LA-groupoid to a double Lie groupoid is discussed. To do that, we study the notions of fibred products in the categories of Lie groupoids and Lie algebroids, giving necessary and sufficient conditions for the existence of such. In particular, it turns out, that the fibred product of Lie algebroids along integrable morphisms is always integrable by a fibred product of Lie groupoids. We show that to every LA-groupoid with integrable top structure one can associate a differentiable graph in the category of Lie groupoids, which is an integrating double Lie groupoid, whenever some lifting conditions for suitable Lie algebroid homotopies are fulfilled; the result specializes to the case of a Poisson groupoid, yielding a symplectic double groupoid, provided our conditions on the associated LA-groupoid are satisfied.


title: Length Spectra of Natural Numbers

abstract: Two numbers are spectral equivalent if they have the same length spectrum. We show how to compute the equivalence classes of this relation. Moreover, we show that these classes can only have either 1,2 or infinitely many elements.


title: Arithmeticity of totally geodesic Lie foliations with locally symmetric leaves

abstract: R. Zimmer proved that, on a compact manifold, a foliation with a dense leaf, a suitable leafwise Riemannian symmetric metric and a transverse Lie structure has arithmetic holonomy group. In this work we improve such result for totally geodesic foliations by showing that the manifold itself is arithmetic. This also gives a positive answer, for some special cases, to a conjecture of E. Ghys.


title: On primitive divisors of n^2+b

abstract: We study primitive divisors of terms of the sequence P_n=n^2+b, for a fixed integer b which is not a negative square. It seems likely that the number of terms with a primitive divisor has a natural density. This seems to be a difficult problem. We survey some results about divisors of this sequence as well as provide upper and lower growth estimates for the number of terms which have a primitive divisor.


title: Study on General Riemann Hypothesis

abstract: It is well known, General Riemann Hypothesis have many equivalent propositions. In this paper, we will prove an equivalent proposition that is related to the prime theorem for arithmetic series. However, the prime theorem for arithmetic series can be represented as the sieve functions. In order to improve the sieve method, we introduced the transformation of sieve function. For this, we obtain some useful lemmas. The difference of similar sieve functions will be determined within a certain range. Furthermore, we proved the equivalent proposition of General Riemann Hypothesis. So we proved General Riemann Hypothesis and Riemann Hypothesis to be true.


title: A series solution and a fast algorithm for the inversion of the spherical mean Radon transform

abstract: An explicit series solution is proposed for the inversion of the spherical mean Radon transform. Such an inversion is required in problems of thermo- and photo- acoustic tomography. Closed-form inversion formulae are currently known only for the case when the centers of the integration spheres lie on a sphere surrounding the support of the unknown function, or on certain unbounded surfaces. Our approach results in an explicit series solution for any closed measuring surface surrounding a region for which the eigenfunctions of the Dirichlet Laplacian are explicitly known - such as, for example, cube, finite cylinder, half-sphere etc. In addition, we present a fast reconstruction algorithm applicable in the case when the detectors (the centers of the integration spheres) lie on a surface of a cube. This algorithm reconsrtucts 3-D images thousands times faster than backprojection-type methods.


title: The Moore bound for Spectral Radius

abstract: We give an upper bound on the largest eigenvalue of a graph of given order, size, and girth.


title: Lectures on Linear Algebra over Division Ring

abstract: In this book i treat linear algebra over division ring. A system of linear equations over a division ring has properties similar to properties of a system of linear equations over a field. However, noncommutativity of a product creates a new picture. Matrices allow two products linked by transpose. Biring is algebra which defines on the set two correlated structures of the ring. As in the commutative case, solutions of a system of linear equations build up right or left vector space depending on type of system. We study vector spaces together with the system of linear equations because their properties have a close relationship. As in a commutative case, the group of automorphisms of a vector space has a single transitive representation on a frame manifold. This gives us an opportunity to introduce passive and active representations. Studying a vector space over a division ring uncovers new details in the relationship between passive and active transformations, makes this picture clearer. Considering of twin representations of division ring in Abelian group leads to the concept of D vector space and their linear map. Based on polyadditive map I considered definition of tensor product of rings and tensor product of D vector spaces.


title: Distributions of length multiplicities for negatively curved locally symmetric Riemannian manifolds

abstract: The aim of the present paper is to study the distributions of the length multiplicities for negatively curved locally symmetric Riemannian manifolds. In Theorem 2.1, we give upper bounds of the length multiplicities and the square sums of them for general (not necessarily compact) cases. Furthermore in Theorem 2.2, we obtain more precise estimates of the length multiplicities and the power sums of them for arithmetic surfaces whose fundamental groups are congruence subgroups of the modular group.


title: A density version of Vinogradov's three primes theorem

abstract: Let P denote the set of all primes. Suppose that P_1, P_2, P_3 are three subsets of P with the sum of their lower densities relative to P is greater than 2. We prove that for sufficiently large odd integer n, there exist p_i\in P_i such that n=p_1+p_2+p_3.


title: The Painlev\'e transcendents with solvable monodromy

abstract: We will study special solutions of the fourth, fifth and sixth Painlev\'e equations with generic values of parameters whose linear monodromy can be calculated explicitly. We will show the relation between Umemura's classical solutions and our solutions.


title: Basic Hypergeometric Functions and Covariant Spaces for Even Dimensional Representations of U_q[osp(1/2)]

abstract: Representations of the quantum superalgebra U_q[osp(1/2)] and their relations to the basic hypergeometric functions are investigated. We first establish Clebsch-Gordan decomposition for the superalgebra U_q[osp(1/2)] in which the representations having no classical counterparts are incorporated. Formulae for these Clebsch-Gordan coefficients are derived, and it is observed that they may be expressed in terms of the $Q$-Hahn polynomials. We next investigate representations of the quantum supergroup OSp_q(1/2) which are not well-defined in the classical limit. Employing the universal T-matrix, the representation matrices are obtained explicitly, and found to be related to the little Q-Jacobi polynomials. Characteristically, the relation Q = -q is satisfied in all cases. Using the Clebsch-Gordan coefficients derived here, we construct new noncommutative spaces that are covariant under the coaction of the even dimensional representations of the quantum supergroup OSp_q(1/2).


title: A General Family of Estimators for Estimating Population Mean Using Known Value of Some Population Parameter(s)

abstract: A general family of estimators for estimating the population mean of the variable under study, which make use of known value of certain population parameter(s), is proposed. Under Simple Random Sampling Without Replacement (SRSWOR) scheme, the expressions of bias and mean-squared error (MSE) up to first order of approximation are derived. Some well known estimators have been shown as particular member of this family. An empirical study is carried out to illustrate the performance of the constructed estimator over others.


title: Alexandrov Par Excellence

abstract: This is a short tribute to Alexandr Alexandrov (1912--1999).


title: The universal Hopf operads of the bar construction

abstract: The goal of this memoir is to prove that the bar complex B(A) of an E-infinity algebra A is equipped with the structure of a Hopf E-infinity algebra, functorially in A. We observe in addition that such a structure is homotopically unique provided that we consider unital operads which come equipped with a distinguished 0-ary operation that represents the natural unit of the bar complex. Our constructions rely on a Reedy model category for unital Hopf operads. For our purpose we define a unital Hopf endomorphism operad which operates functorially on the bar complex and which is universal with this property. Then we deduce our structure results from operadic lifting properties. To conclude this memoir we hint how to make our constructions effective and explicit.


title: A Non-Algebraic Patchwork

abstract: Itenberg and Shustin's pseudoholomorphic curve patchworking is in principle more flexible than Viro's original algebraic one. It was natural to wonder if the former method allows one to construct non-algebraic objects. In this paper we construct the first examples of patchworked real pseudoholomorphic curves in $\Sigma_n$ whose position with respect to the pencil of lines cannot be realised by any homologous real algebraic curve.


title: Divisibility of the stable Miller-Morita-Mumford classes

abstract: We determine the sublattice generated by the Miller-Morita-Mumford classes $\kappa_i$ in the torsion free quotient of the integral cohomology ring of the stable mapping class group. We further decide when the mod p reductions $\kappa_i$ vanish.


title: Functional CLT for random walk among bounded random conductances

abstract: We consider the nearest-neighbor simple random walk on $\Z^d$, $d\ge2$, driven by a field of i.i.d. random nearest-neighbor conductances $\omega_{xy}\in[0,1]$. Apart from the requirement that the bonds with positive conductances percolate, we pose no restriction on the law of the $\omega$'s. We prove that, for a.e. realization of the environment, the path distribution of the walk converges weakly to that of non-degenerate, isotropic Brownian motion. The quenched functional CLT holds despite the fact that the local CLT may fail in $d\ge5$ due to anomalously slow decay of the probability that the walk returns to the starting point at a given time (cf math.PR/0611666).


title: On the Pytkeev property in spaces of continuous functions (II)

abstract: We prove that for each Polish space X, the space C(X) of continuous real-valued functions on X satisfies a strong version of the Pytkeev property, if endowed with the compact-open topology. (This shows that whereas it need not be metrizable, it is "very close" to that.) We also consider the Pytkeev property in the case where C(X) is endowed with the topology of pointwise convergence.


title: Gaussian model selection with an unknown variance

abstract: Let $Y$ be a Gaussian vector whose components are independent with a common unknown variance. We consider the problem of estimating the mean $\mu$ of $Y$ by model selection. More precisely, we start with a collection $\mathcal{S}=\{S_m,m\in\mathcal{M}\}$ of linear subspaces of $\mathbb{R}^n$ and associate to each of these the least-squares estimator of $\mu$ on $S_m$. Then, we use a data driven penalized criterion in order to select one estimator among these. Our first objective is to analyze the performance of estimators associated to classical criteria such as FPE, AIC, BIC and AMDL. Our second objective is to propose better penalties that are versatile enough to take into account both the complexity of the collection $\mathcal{S}$ and the sample size. Then we apply those to solve various statistical problems such as variable selection, change point detections and signal estimation among others. Our results are based on a nonasymptotic risk bound with respect to the Euclidean loss for the selected estimator. Some analogous results are also established for the Kullback loss.


title: Powers of Euler's q-Series

abstract: What are the asymptotic moments of coefficients obtained when expanding prod_{m=1}^infty (1-q^m)^k in series? A few examples are given, as well as a new multiplicative representation for coefficients when k=10 and k=14.


title: Lucas sequences whose nth term is a square or an almost square

abstract: (Below, \Box means "perfect square") Let $P$ and $Q$ be non-zero integers. The Lucas sequence $\{U_n(P,Q)\}$ is defined by $U_0=0$, $U_1=1$, $U_n=P U_{n-1}-Q U_{n-2}$, $(n \geq 2)$. Historically, there has been much interest in when the terms of such sequences are perfect squares (or higher powers). Here, we summarize results on this problem, and investigate for fixed $k$ solutions of $U_n(P,Q)= k\Box$, $(P,Q)=1$. We show finiteness of the number of solutions, and under certain hypotheses on $n$, describe explicit methods for finding solutions. These involve solving finitely many Thue-Mahler equations. As an illustration of the methods, we find all solutions to $U_n(P,Q)=k\Box$ where $k=\pm1,\pm2$, and $n$ is a power of 2.


title: Diffusivity in one-dimensional generalized Mott variable-range hopping models

abstract: We consider random walks in a random environment which are generalized versions of well-known effective models for Mott variable-range hopping. We study the homogenized diffusion constant of the random walk in the one-dimensional case. We prove various estimates on the low-temperature behavior which confirm and extend previous work by physicists.


title: Klein geometries, parabolic geometries and differential equations of finite type

abstract: We define the infinitesimal and geometric orders of an effective Klein geometry G/H. Using these concepts, we prove i) For any integer m>1, there exists an effective Klein geometry G/H of infinitesimal order m such that G/H is a projective variety (Corollary 9). ii) An effective Klein geometry G/H of geometric order M defines a differential equation of order M+1 on G/H whose global solution space is G (Proposition 18).


title: A Compactification of the Space of Algebraic Maps from P^1 to P^n

abstract: We provide a natural smooth projective compactification of the space of algebraic maps from the projective line to the projective space of dimension n by adding a divisor with simple normal crossings.


title: The size of the Julia set of meromorphic functions

abstract: We give a lower bound of the hyperbolic and the Hausdorff dimension of the Julia set of meromorphic functions of finite order under very general conditions.


title: Equivariant Riemann-Roch theorems for curves over perfect fields

abstract: We prove an equivariant Riemann-Roch formula for divisors on algebraic curves over perfect fields. By reduction to the known case of curves over algebraically closed fields, we first show a preliminary formula with coefficients in Q. We then prove and shed some further light on a divisibility result that yields a formula with integral coefficients. Moreover, we give variants of the main theorem for equivariant locally free sheaves of higher rank.


title: Large dimensional classical groups and linear spaces

abstract: Suppose that a group $G$ has socle $L$ a simple large-rank classical group. Suppose furthermore that $G$ acts transitively on the set of lines of a linear space $\mathcal{S}$. We prove that, provided $L$ has dimension at least 25, then $G$ acts transitively on the set of flags of $\mathcal{S}$ and hence the action is known. For particular families of classical groups our results hold for dimension smaller than 25. The group theoretic methods used to prove the result (described in Section 3) are robust and general and are likely to have wider application in the study of almost simple groups acting on finite linear spaces.


title: Precise logarithmic asymptotics for the right tails of some limit random variables for random trees

abstract: For certain random variables that arise as limits of functionals of random finite trees, we obtain precise asymptotics for the logarithm of the right-hand tail. Our results are based on the facts (i) that the random variables we study can be represented as functionals of a Brownian excursion and (ii) that a large deviation principle with good rate function is known explicitly for Brownian excursion. Examples include limit distributions of the total path length and of the Wiener index in conditioned Galton-Watson trees (also known as simply generated trees). In the case of Wiener index (where we recover results proved by Svante Janson and Philippe Chassaing by a different method) and for some other examples, a key constant is expressed as the solution to a certain optimization problem, but the constant's precise value remains unknown.


title: Vertex tensor category structure on a category of Kazhdan--Lusztig

abstract: We incorporate a category of certain modules for an affine Lie algebra, of a certain fixed non-positive-integral level, considered by Kazhdan and Lusztig, into the representation theory of vertex operator algebras, by using the logarithmic tensor product theory for generalized modules for a vertex operator algebra developed by Huang, Lepowsky and the author. We do this by proving that the conditions for applying this general logarithmic tensor product theory hold. As a consequence, we prove that this category has a natural vertex tensor category structure, and in particular we obtain a new, vertex-algebraic, construction of the natural associativity isomorphisms and proof of their properties.


title: Tracking Stopping Times Through Noisy Observations

abstract: A novel quickest detection setting is proposed which is a generalization of the well-known Bayesian change-point detection model. Suppose \{(X_i,Y_i)\}_{i\geq 1} is a sequence of pairs of random variables, and that S is a stopping time with respect to \{X_i\}_{i\geq 1}. The problem is to find a stopping time T with respect to \{Y_i\}_{i\geq 1} that optimally tracks S, in the sense that T minimizes the expected reaction delay E(T-S)^+, while keeping the false-alarm probability P(T<S) below a given threshold \alpha \in [0,1]. This problem formulation applies in several areas, such as in communication, detection, forecasting, and quality control. Our results relate to the situation where the X_i's and Y_i's take values in finite alphabets and where S is bounded by some positive integer \kappa. By using elementary methods based on the analysis of the tree structure of stopping times, we exhibit an algorithm that computes the optimal average reaction delays for all \alpha \in [0,1], and constructs the associated optimal stopping times T. Under certain conditions on \{(X_i,Y_i)\}_{i\geq 1} and S, the algorithm running time is polynomial in \kappa.


title: Generalized Convexity and Inequalities

abstract: Let R+ = (0,infinity) and let M be the family of all mean values of two numbers in R+ (some examples are the arithmetic, geometric, and harmonic means). Given m1, m2 in M, we say that a function f : R+ to R+ is (m1,m2)-convex if f(m1(x,y)) < or = m2(f(x),f(y)) for all x, y in R+ . The usual convexity is the special case when both mean values are arithmetic means. We study the dependence of (m1,m2)-convexity on m1 and m2 and give sufficient conditions for (m1,m2)-convexity of functions defined by Maclaurin series. The criteria involve the Maclaurin coefficients. Our results yield a class of new inequalities for several special functions such as the Gaussian hypergeometric function and a generalized Bessel function.


title: A Radon-Nikodym theorem for completely n-positive linear maps on pro-C*-algebras and its applications

abstract: The order relation on the set of completely n-positive linear maps from a pro-C*-algebra A to L(H), the C*-algebra of bounded linear operators on a Hilbert space H, is characterized in terms of the representation associated with each completely n-positive linear map. Also, the pure elements in the set of all completely n-positive linear maps from A to L(H) and the extreme points in the set of unital completely n-positive linear maps from A to L(H) are characterized in terms of the representation induced by each completely n-positive linear map.


title: Two-letter group codes that preserve aperiodicity of inverse finite automata

abstract: We construct group codes over two letters (i.e., bases of subgroups of a two-generated free group) with special properties. Such group codes can be used for reducing algorithmic problems over large alphabets to algorithmic problems over a two-letter alphabet. Our group codes preserve aperiodicity of inverse finite automata. As an application we show that the following problems are PSpace-complete for two-letter alphabets (this was previously known for large enough finite alphabets): The intersection-emptiness problem for inverse finite automata, the aperiodicity problem for inverse finite automata, and the closure-under-radical problem for finitely generated subgroups of a free group. The membership problem for 3-generated inverse monoids is PSpace-complete.


title: Computer-assisteed proof of a periodic solution in a non-linear feedback DDE

abstract: In this paper we rigorously prove the existance of a non-trivial periodic orbit for the non-linear delay differential equation: $x'(t) = K \sin(x(t-1))$ for $K=1.6$. We show that the equations on the Fourier equations have a solution by computing the local Brower degree. This degree can be computed by using a homotopy which validity can be checked by checking a finite number of inequalities. Checking these inequalities is done by a computer program.


title: Automorphisms of complex reflection groups

abstract: Let $G\subset\GL(\BC^r)$ be a finite complex reflection group. We show that when $G$ is irreducible, apart from the exception $G=\Sgot_6$, as well as for a large class of non-irreducible groups, any automorphism of $G$ is the product of a central automorphism and of an automorphism which preserves the reflections. We show further that an automorphism which preserves the reflections is the product of an element of $N_{\GL(\BC^r)}(G)$ and of a "Galois" automorphism: we show that $\Gal(K/\BQ)$, where $K$ is the field of definition of $G$, injects into the group of outer automorphisms of $G$, and that this injection can be chosen such that it induces the usual Galois action on characters of $G$, apart from a few exceptional characters; further, replacing if needed $K$ by an extension of degree 2, the injection can be lifted to $\Aut(G)$, and every irreducible representation admits a model which is equivariant with respect to this lifting. Along the way we show that the fundamental invariants of $G$ can be chosen rational.


title: Symmetric pairs and Gorelik elements

abstract: The second author gave a formula for the elements of the enveloping algebra of a Lie superalgebra defined by Gorelik under an appropriate unimodularity assumption. We show that this formula is a particular case of a formula for the Jacobian of the exponential map of a symmetric superspace.


title: Numerical verification of regularity in the three-dimensional Navier-Stokes equations

abstract: Current theoretical results for the three-dimensional Navier--Stokes equations only guarantee that solutions remain regular for all time when the initial enstrophy ($\|Du_0\|^2:=\int|{\rm curl} u_0|^2$) is sufficiently small, $\|Du_0\|^2\le\chi_0$. In fact, this smallness condition is such that the enstrophy is always non-increasing. In this paper we provide a numerical procedure that will verify regularity of solutions for any bounded set of initial conditions, $\|Du_0\|^2\le\chi_1$. Under the assumption that the equations are in fact regular we show that this procedure can be guaranteed to terminate after a finite time.


title: The number of smooth 4-manifolds with a fixed complexity

abstract: One can define the complexity of a smooth 4-manifold as the minimal sum of the number of disks, strands and crossings in a Kirby diagram. Martelli proved that the number of homeomorphism classes of complexity less than n grows as $n^2$. In this paper we prove that the number of diffeomorphism classes grows at least as fast as $n^{c\sqrt[3]{n}}$. Along the way we construct complete kirby diagrams for a large family of knot surgery manifolds.


title: Fast Computation of Secondary Invariants

abstract: A very classical subject in Commutative Algebra is the Invariant Theory of finite groups. In our work on 3-dimensional topology (S. King, Ideal Turaev-Viro invariants. To appear in Top. Appl.), we found certain examples of group actions on polynomial rings. When we tried to compute the invariant ring using Singular or Magma, it turned out that the existing algorithms did not suffice. We present here a new algorithm for the computation of secondary invariants, if primary invariants are given. Our benchmarks show that the implementation of our algorithm in the library "finvar" of Singular marks a dramatic improvement in the manageable problem size. A particular benefit of our algorithm is that the computation of irreducible secondary invariants does not involve the explicit computation of reducible secondary invariants, which may save resources. The implementation of our algorithm in Singular is for the non-modular case; however, the key theorem of our algorithm holds in the modular case as well and might be useful also there.


title: Fluctuations of Levy processes and scattering theory

abstract: We establish a connection between the scattering inverse problem and the determination of the distribution of the position of the Levy process at the exit time of a bounded interval in term of its Levy exponent.


title: Digons and angular derivatives of analytic self-maps of the unit disk

abstract: We present a geometric approach to a well-known sharp inequality, due to Cowen and Pommerenke, about angular derivatives of general univalent self-maps of the unit disk.


title: Convex Functions on Sub-Riemannian Manifolds. I

abstract: We find a different approach to define convex functions in the sub-Riemannian setting. A function on a sub-Riemannian manifold is nonholonomically geodesic convex if its restriction to any nonholonomic (straightest) geodesic is convex. In the case of Carnot groups, this definition coincides with that by Danniell-Garofalo-Nieuhn (equivalent to that by Lu-Manfredi-Stroffolini). Nonholonomic geodesics are defined using the horizontal connection. A new distance corresponding to the horizontal connection has been introduced and near regular points proven to be equivalent to the Carnot-Carath\`{e}odory distance. Some basic properties of convex functions are studied. In particular we prove that any nonholonomically geodesic convex function locally bounded from above is locally Lipschitzian with respect to the Carnot-Carath\`{e}odory distance.


title: On sublaplacians of sub-Riemannian manifolds

abstract: In this note we address a notion of sublaplacians of sub-Riemannian manifolds. In particular for fat sub-Riemannian manifolds we answered the sublaplacian question proposed by R. Montgomery.


title: Thermodynamical Formalism and Multifractal Analysis for Meromorphic Functions of finite order

abstract: We first use Nevanlinna theory to provide full thermodynamical formalism for a very general class of meromorphic functions of finite order. Finer stochastic properties of the Perron-Frobenius operator are given and finally we provide the multifractal analysis of Gibbs states.


title: Projective multi-resolution analyses arising from direct limits of Hilbert modules

abstract: The authors have recently shown how direct limits of Hilbert spaces can be used to construct multi-resolution analyses and wavelets in $L^2(\R)$. Here they investigate similar constructions in the context of Hilbert modules over $C^*$-algebras. For modules over $C(\T^n)$, the results shed light on work of Packer and Rieffel on projective multi-resolution analyses for specific Hilbert $C(\T^n)$-modules of functions on $\R^n$. There are also new applications to modules over $C(C)$ when $C$ is the infinite path space of a directed graph.


title: A functorial LMO invariant for Lagrangian cobordisms

abstract: Lagrangian cobordisms are three-dimensional compact oriented cobordisms between once-punctured surfaces, subject to some homological conditions. We extend the Le-Murakami-Ohtsuki invariant of homology three-spheres to a functor from the category of Lagrangian cobordisms to a certain category of Jacobi diagrams. We prove some properties of this functorial LMO invariant, including its universality among rational finite-type invariants of Lagrangian cobordisms. Finally, we apply the LMO functor to the study of homology cylinders from the point of view of their finite-type invariants.


title: Explicit construction of new Moishezon twistor spaces

abstract: In this paper we explicitly construct Moishezon twistor spaces on nCP^2 for arbitrary n>1 which admit a holomorphic C*-action. When n=2, they coincide with Y. Poon's twistor spaces. When n=3, they coincide with the one studied by the author in math.DG/0403528. When n>3, they are new twistor spaces, to the best of the author's knowledge. By investigating the anticanonical system, we show that our twistor spaces are bimeromorphic to conic bundles over certain rational surfaces. The latter surfaces can be regarded as orbit spaces of the C*-action on the twistor spaces. Namely they are minitwistor spaces. We explicitly determine their defining equations in CP^4. It turns out that the structure of the minitwistor space is independent of n. Further we concrelely construct a CP^2-bundle over the resolution of this surface, and provide an explicit defining equation of the conic bundles. It shows that the number of irreducible components of the discriminant locus for the conic bundles increases as n does. Thus our twistor spaces have a lot of similarities with the famous LeBrun twistor spaces, where the minitwistor space CP^1 x CP^1 in LeBrun's case is replaced by our minitwistor spaces found in math.DG/0508088.


title: Stability of Spectral Types for Jacobi Matrices Under Decaying Random Perturbations

abstract: We study stability of spectral types for semi-infinite self-adjoint tridiagonal matrices under random decaying perturbations. We show that absolutely continuous spectrum associated with bounded eigenfunctions is stable under Hilbert-Schmidt random perturbations. We also obtain some results for singular spectral types.


title: Sobolev classes and horizontal energy minimizers between Carnot-Carath\'{e}odory spaces

abstract: The notion of horizontal energy minimizers between C-C spaces is introduced. We prove existence of such energy minimizers when the domain is a $C^{2}$, noncharacteristic bounded open set in a C-C space and the target is a C-C space of Carnot type.


title: Uniform approximation of the heat kernel on a manifold

abstract: We approximate the heat kernel $h(x,y,t)$ on a compact connected Riemannian manifold $M$ without boundary uniformly in $(x,y,t)\in M\times M\times [a,b]$, $a>0$, by $n$-fold integrals over $M^n$ of the densities of Brownian bridges. Moreover, we provide an estimate for the uniform convergence rate. As an immediate corollary, we get a uniform approximation of solutions of the Cauchy problem for the heat equation on $M$.


title: The universal cover of a monomial triangular algebra without multiple arrows

abstract: Let A be a basic connected finite dimensional algebra over an algebraically closed field k. Assuming that A is monomial and that the ordinary quiver Q of A has no oriented cycle and no multiple arrows, we prove that A admits a universal cover with group the fundamental group of the underlying space of Q.


title: On maximal diagonalizable Lie subalgebras of the first Hochschild cohomology

abstract: Let A be a basic connected finite dimensional algebra over an algebraically closed field k and with ordinary quiver Q without oriented cycle. To any presentation of A by quiver and admissible relations, Martinez-Villa and de La Pena have associated the fundamental group of the presentation. Assem and de La Pena have constructed an injective mapping from the additive characters of this fundamental group (with values in the ground field) to the first Hochschild cohomology group HH^1(A). We study the image of these mappings associated to the different presentations of A in terms of diagonalizable Lie subalgebras of HH^1(A). Then we characterise the maximal diagonalisable subalgebras of HH^1(A) when A is monomial and Q has no multiple arrows and also when car(k)=0 and Q has no double bypass.


title: The convergence to equilibrium of neutral genetic models

abstract: This article is concerned with the long time behavior of neutral genetic population models, with fixed population size. We design an explicit, finite, exact, genealogical tree based representation of stationary populations that holds both for finite and infinite types (or alleles) models. We then analyze the decays to the equilibrium of finite populations in terms of the convergence to stationarity of their first common ancestor. We estimate the Lyapunov exponent of the distribution flows with respect to the total variation norm. We give bounds on these exponents only depending on the stability with respect to mutation of a single individual; they are inversely proportional to the population size parameter.


title: Representations of integers as sums of primes from a Beatty sequence

abstract: We study the problem of representing integers as sums of prime numbers from a fixed Beatty sequence $B_{\alpha,\beta}$, where $\alpha>1$ is irrational and of finite type.


title: Prime Order Automorphisms of Riemann Surfaces

abstract: Recently there has been renewed interest in the mapping-class group of a compact surface of genus $g \ge 2$ and also in its finite order elements. A finite order element of the mapping-class group will be a conformal automorphisms on some Riemann surface of genus $g$. Here we give the details of the proof that there is an {\sl adapted basis} for any conformal automorphism of prime order on a surface of genus $g$ and extend the original result to apply to fixed point free automorphisms. An adapted basis is one that reflects the action of the automorphism in the optimal manner described below. The proof uses the Schreier-Reidemeister rewriting process. We find some new consequences of the existence of an adapted basis. We also construct an explicit example of such a basis and compute its intersection matrix.


title: Invariant measures for the defocusing NLS

abstract: We prove the existence and the invariance of a Gibbs measure associated to the defocusing sub-quintic Nonlinear Schroedinger equations on the disc of the plane $\R^2$. We also prove an estimate giving some intuition to what may happen in 3 dimensions.


title: Sorting using complete subintervals and the maximum number of runs in a randomly evolving sequence

abstract: We study the space requirements of a sorting algorithm where only items that at the end will be adjacent are kept together. This is equivalent to the following combinatorial problem: Consider a string of fixed length n that starts as a string of 0's, and then evolves by changing each 0 to 1, with then changes done in random order. What is the maximal number of runs of 1's? We give asymptotic results for the distribution and mean. It turns out that, as in many problems involving a maximum, the maximum is asymptotically normal, with fluctuations of order n^{1/2}, and to the first order well approximated by the number of runs at the instance when the expectation is maximized, in this case when half the elements have changed to 1; there is also a second order term of order n^{1/3}. We also treat some variations, including priority queues. The proofs use methods originally developed for random graphs.


title: A new and elementary proof of Newton's "favorite" quadrature formulae

abstract: In this note we shall give a new proof to a quadrature formulae due to Newton.


title: Adaptive procedures in convolution models with known or partially known noise distribution

abstract: In a convolution model, we observe random variables whose distribution is the convolution of some unknown density f and some known or partially known noise density g. In this paper, we focus on statistical procedures, which are adaptive with respect to the smoothness parameter tau of unknown density f, and also (in some cases) to some unknown parameter of the noise density g. In a first part, we assume that g is known and polynomially smooth. We provide goodness-of-fit procedures for the test H_0:f=f_0, where the alternative H_1 is expressed with respect to L_2-norm. Our adaptive (w.r.t tau) procedure behaves differently according to whether f_0 is polynomially or exponentially smooth. A payment for adaptation is noted in both cases and for computing this, we provide a non-uniform Berry-Esseen type theorem for degenerate U-statistics. In the first case we prove that the payment for adaptation is optimal (thus unavoidable). In a second part, we study a wider framework: a semiparametric model, where g is exponentially smooth and stable, and its self-similarity index s is unknown. In order to ensure identifiability, we restrict our attention to polynomially smooth, Sobolev-type densities f. In this context, we provide a consistent estimation procedure for s. This estimator is then plugged-into three different procedures: estimation of the unknown density f, of the functional \int f^2 and test of the hypothesis H_0. These procedures are adaptive with respect to both s and tau and attain the rates which are known optimal for known values of s and tau. As a by-product, when the noise is known and exponentially smooth our testing procedure is adaptive for testing Sobolev-type densities.


title: Drinfeld Modular Polynomials in Higher Rank

abstract: We study modular polynomials classifying cyclic isogenies between Drinfeld modules of arbitrary rank over the ring F_q[T].


title: On the behavior of solutions to Schr\"odinger equations with dipole-type potentials near the singularity

abstract: Asymptotics of solutions to Schroedinger equations with singular dipole-type potentials is investigated. We evaluate the exact behavior near the singularity of solutions to elliptic equations with potentials which are purely angular multiples of radial inverse-square functions. Both the linear and the semilinear (critical and subcritical) cases are considered.


title: Dendroidal Sets

abstract: We introduce the concept of a dendroidal set. This is a generalization of the notion of a simplicial set, specially suited to the study of operads in the context of homotopy theory. We define a category of trees, which extends the category $\Delta$ used in simplicial sets, whose presheaf category is the category of dendroidal sets. We show that there is a closed monoidal structure on dendroidal sets which is closely related to the Boardman-Vogt tensor product of operads. Furthermore we show that each operad in a suitable model category has a coherent homotopy nerve which is a dendroidal set, extending another construction of Boardman and Vogt. There is also a notion of an inner Kan dendroidal set which is closely related to simplicial Kan complexes. Finally, we briefly indicate the theory of dendroidal objects and outline several of the applications and further theory of dendroidal sets.


title: Sofic groups and diophantine approximation

abstract: We prove the algebraic eigenvalue conjecture of J. Dodziuk, P. Linnell, V. Mathai, T. Schick and S. Yates for sofic groups. Moreover, we give restrictions on the spectral measure of elements in the integral group ring. Finally, we define integer operators and prove a quantization of the operator norm below 2.


title: On inner Kan complexes in the category of dendroidal sets

abstract: The category of dendroidal sets is an extension of that of simplicial sets, suitable for defining nerves of operads rather than just of categories. In this paper, we prove some basic properties of inner Kan complexes in the category of dendroidal sets. In particular, we extend fundamental results of Boardman and Vogt, of Cordier and Porter, and of Joyal to dendroidal sets.


title: Shellable graphs and sequentially Cohen-Macaulay bipartite graphs

abstract: Associated to a simple undirected graph G is a simplicial complex whose faces correspond to the independent sets of G. We call a graph G shellable if this simplicial complex is a shellable simplicial complex in the non-pure sense of Bjorner-Wachs. We are then interested in determining what families of graphs have the property that G is shellable. We show that all chordal graphs are shellable. Furthermore, we classify all the shellable bipartite graphs; they are precisely the sequentially Cohen-Macaulay bipartite graphs. We also give an recursive procedure to verify if a bipartite graph is shellable. Because shellable implies that the associated Stanley-Reisner ring is sequentially Cohen-Macaulay, our results complement and extend recent work on the problem of determining when the edge ideal of a graph is (sequentially) Cohen-Macaulay. We also give a new proof for a result of Faridi on the sequentially Cohen-Macaulayness of simplicial forests.


title: Ramification of Quaternion Algebras over Stable Elliptic Surfaces

abstract: We give a geometrical criterion to determine when a quaternion algebra over the function field of a stable elliptic surface X is an Azumaya algebra over X.


title: Scattering theory for the Laplacian on manifolds with bounded curvature

abstract: In this paper we study the behaviour of the continuous spectrum of the Laplacian on a complete Riemannian manifold of bounded curvature under perturbations of the metric. The perturbations that we consider are such that its covariant derivatives up to some order decay with some rate in the geodesic distance from a fixed point. Especially we impose no conditions on the injectivity radius. One of the main results are conditions on the rate of decay, depending on geometric properties of the underlying manifold, that guarantee the existence and completeness of the wave operators.


title: From operads and PROPs to Feynman Processes

abstract: Operads and PROPs are presented, together with examples and applications to quantum physics suggesting the structure of Feynman categories/PROPs and the corresponding algebras.


title: Gluing pseudoholomorphic curves along branched covered cylinders I

abstract: This paper and its sequel prove a generalization of the usual gluing theorem for two index 1 pseudoholomorphic curves u_+ and u_- in the symplectization of a contact 3-manifold. We assume that for each embedded Reeb orbit gamma, the total multiplicity of the negative ends of u_+ at covers of gamma agrees with the total multiplicity of the positive ends of u_- at covers of gamma. However, unlike in the usual gluing story, here the individual multiplicities are allowed to differ. In this situation, one can often glue u_+ and u_- to an index 2 curve by inserting genus zero branched covers of R-invariant cylinders between them. We establish a combinatorial formula for the signed count of such gluings. As an application, we deduce that the differential d in embedded contact homology satisfies d^2=0. This paper explains the more algebraic aspects of the story, and proves the above formulas using some analytical results from part II.


title: Perturbation determinants, the spectral shift function, trace identities, and all that

abstract: We discuss applications of the M. G. Kre\u{\i}n theory of the spectral shift function to the multi-dimensional Schr\"odinger operator as well as specific properties of this function, for example, its high-energy asymptotics. Trace identities for the Schr\"odinger operator are derived.


title: Three circles theorems for Schrodinger operators on cylindrical ends and geometric applications

abstract: We show that for a Schr\"odinger operator with bounded potential on a manifold with cylindrical ends the space of solutions which grows at most exponentially at infinity is finite dimensional and, for a dense set of potentials (or, equivalently for a surface, for a fixed potential and a dense set of metrics), the constant function zero is the only solution that vanishes at infinity. Clearly, for general potentials there can be many solutions that vanish at infinity. These results follow from a three circles inequality (or log convexity inequality) for the Sobolev norm of a solution $u$ to a Schr\"odinger equation on a product $N\times [0,T]$, where $N$ is a closed manifold with a certain spectral gap. Examples of such $N$'s are all (round) spheres $\SS^n$ for $n\geq 1$ and all Zoll surfaces. Finally, we discuss some examples arising in geometry of such manifolds and Schr\"odinger operators.


title: Exponential decay of eigenfunctions of first order systems

abstract: For first order systems, we obtain an efficient bound on the exponential decay of an eigenfunction in terms of the distance between the corresponding eigenvalue and the essential spectrum. As an example, the Dirac operator is considered.


title: Global existence for defocusing cubic NLS and Gross-Pitaevskii equations in three dimensional exterior domains

abstract: We prove global wellposedness in the energy space of the defocusing cubic nonlinear Schroedinger and Gross-Pitaevskii equations on the exterior of a non-trapping domain in dimension 3. The main ingredient is a Strichartz estimate obtained combining a semi-classical Strichartz estimate with a smoothing effect on exterior domains.


title: Computing endomorphism rings of Jacobians of genus 2 curves over finite fields

abstract: We present algorithms which, given a genus 2 curve $C$ defined over a finite field and a quartic CM field $K$, determine whether the endomorphism ring of the Jacobian $J$ of $C$ is the full ring of integers in $K$. In particular, we present probabilistic algorithms for computing the field of definition of, and the action of Frobenius on, the subgroups $J[\ell^d]$ for prime powers $\ell^d$. We use these algorithms to create the first implementation of Eisentr\"ager and Lauter's algorithm for computing Igusa class polynomials via the Chinese Remainder Theorem \cite{el}, and we demonstrate the algorithm for a few small examples. We observe that in practice the running time of the CRT algorithm is dominated not by the endomorphism ring computation but rather by the need to compute $p^3$ curves for many small primes $p$.


title: Introduction to Normed *-Algebras and their Representations, 5th ed

abstract: This book treats: - spectral theory of Banach *-algebras, - basic representation theory of normed *-algebras, - spectral theory of representations of commutative *-algebras. A novel feature of the book is the construction of the enveloping C*-algebra of a general normed *-algebra.


title: A New Approach to Universality Limits involving Orthogonal Polynomials

abstract: We show how localization and smoothing techniques can be used to establish universality in the bulk of the spectrum for a fixed positive measure mu on [-1,1]. Assume that mu is a regular measure, and is absolutely continuous in an open interval containing some closed subinterval J of (-1,1). Assume that in J, the absolutely continuous component mu' is positive and continuous. Then universality in J for mu follows from universality for the classical Legendre weight. We also establish universality in an L_{p} sense under weaker assumptions on mu.


title: The structure of one-relator relative presentations and their centres

abstract: Suppose that G is a nontrivial torsion-free group and w is a word in the alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\} such that the word w' obtained from w by erasing all letters belonging to G is not a proper power in the free group F(x_1,...,x_n). We show how to reduce the study of the relative presentation \^G=<G,x_1,x_2,...,x_n | w=1> to the case n=1. It turns out that an "n-variable" group \^G can be constructed from similar "one-variable" groups using an explicit construction similar to wreath product. As an illustration, we prove that, for n>1, the centre of \^G is always trivial. For n=1, the centre of \^G is also almost always trivial; there are several exceptions, and all of them are known.


title: Poincare duality and commutative differential graded algebras

abstract: We prove that every commutative differential graded algebra whose cohomology is a simply-connected Poincare duality algebra is quasi-isomorphic to one whose underlying algebra is simply-connected and satisfies Poincare duality in the same dimension. This has application in particular to the study of CDGA models of configuration spaces on a closed manifold.


title: On Atkin and Swinnerton-Dyer congruence relations (3)

abstract: In the previous two papers with the same title ([LLY05] by W.C. Li, L. Long, Z. Yang and [ALL05] by A.O.L. Atkin, W.C. Li, L. Long), the authors have studied special families of cuspforms for noncongruence arithmetic subgroups. It was found that the Fourier coefficients of these modular forms at infinity satisfy three-term Atkin and Swinnerton-Dyer congruence relations which are the $p$-adic analogue of the three-term recursions satisfied by the coefficients of classical Hecke eigenforms. In this paper, we first consider Atkin and Swinnerton-Dyer type congruences which generalize the three-term congruences above. These weaker congruences are satisfied by cuspforms for special noncongruence arithmetic subgroups. Then we will exhibit an infinite family of noncongruence cuspforms, each of which satisfies three-term Atkin and Swinnerton-Dyer type congruences for almost every prime $p$. Finally, we will study a particular space of noncongruence cuspforms. We will show that the attached $l$-adic Scholl representation is isomorphic to the $l$-adic representation attached to a classical automorphic form. Moreover, for each of the four residue classes of odd primes modulo 12 there is a basis so that the Fourier coefficients of each basis element satisfy three-term Atkin and Swinnerton-Dyer congruences in the stronger original sense.


title: Sur la cohomologie des faisceaux l-adiques entiers sur les corps locaux

abstract: We study the behavior of integral l-adic sheaves on schemes of finite type over a local field under the six operations and the nearby cycle functor. ----- On etudie le comportement des faisceaux l-adiques entiers sur les schemas de type fini sur un corps local par les six operations et le foncteur des cycles proches.


title: Completely reducible hypersurfaces in a pencil

abstract: We study completely reducible fibers of pencils of hypersurfaces on $\mathbb P^n$ and associated codimension one foliations of $\mathbb P^n$. Using methods from theory of foliations we obtain certain upper bounds for the number of these fibers as functions only of $n$. Equivalently this gives upper bounds for the dimensions of resonance varieties of hyperplane arrangements. We obtain similar bounds for the dimensions of the characteristic varieties of the arrangement complements.


title: Partial mirror symmetry I: reflection monoids

abstract: This is the first of a series of papers in which we initiate and develop the theory of reflection monoids, motivated by the theory of reflection groups. The main results identify a number of important inverse semigroups as reflection monoids, introduce new examples, and determine their orders.


title: Statistical eigen-inference from large Wishart matrices

abstract: We consider settings where the observations are drawn from a zero-mean multivariate (real or complex) normal distribution with the population covariance matrix having eigenvalues of arbitrary multiplicity. We assume that the eigenvectors of the population covariance matrix are unknown and focus on inferential procedures that are based on the sample eigenvalues alone (i.e., "eigen-inference"). Results found in the literature establish the asymptotic normality of the fluctuation in the trace of powers of the sample covariance matrix. We develop concrete algorithms for analytically computing the limiting quantities and the covariance of the fluctuations. We exploit the asymptotic normality of the trace of powers of the sample covariance matrix to develop eigenvalue-based procedures for testing and estimation. Specifically, we formulate a simple test of hypotheses for the population eigenvalues and a technique for estimating the population eigenvalues in settings where the cumulative distribution function of the (nonrandom) population eigenvalues has a staircase structure. Monte Carlo simulations are used to demonstrate the superiority of the proposed methodologies over classical techniques and the robustness of the proposed techniques in high-dimensional, (relatively) small sample size settings. The improved performance results from the fact that the proposed inference procedures are "global" (in a sense that we describe) and exploit "global" information thereby overcoming the inherent biases that cripple classical inference procedures which are "local" and rely on "local" information.


title: Prinzipalb\"undel auf p-adischen Kurven und Paralleltransport

abstract: We define functorial isomorphisms of parallel transport along etale paths for a class of G-principal bundles on a p-adic curve where G is a connected reductive algebraic group of finite presentation. This class consists of all principal bundles with potentially strongly semistable reduction of degree zero. In particular, this construction gives us a continous functor from the etale fundamental grupoid of the given curve to the category of topological spaces with a simply transitive continous right G(\mathbb{C}_{p})-action for every such principal bundle. This generalizes the construction of functorial isomorphisms of parallel tranport for a certain class of vector bundles on a p-adic curve by Deninger and Werner and it may be viewed as a partial p-adic analogue of the classical theory by Ramanathan of principal bundles on compact Riemann surfaces which again generalizes the classical Narasimham-Seshadri theory of vector bundles on compact Riemann surfaces.


title: Critical random graphs: Diameter and mixing time

abstract: Let $\mathcal{C}_1$ denote the largest connected component of the critical Erd\H{o}s--R\'{e}nyi random graph $G(n,{\frac{1}{n}})$. We show that, typically, the diameter of $\mathcal{C}_1$ is of order $n^{1/3}$ and the mixing time of the lazy simple random walk on $\mathcal{C}_1$ is of order $n$. The latter answers a question of Benjamini, Kozma and Wormald. These results extend to clusters of size $n^{2/3}$ of $p$-bond percolation on any $d$-regular $n$-vertex graph where such clusters exist, provided that $p(d-1)\le1+O(n^{-1/3})$.


title: The Lower Dimensional Busemann-Petty Problem for Bodies with the Generalized Axial Symmetry

abstract: The lower dimensional Busemann-Petty problem asks, whether n-dimensional centrally symmetric convex bodies with smaller i-dimensional central sections necessarily have smaller volumes. The paper contains a complete solution to the problem when the body with smaller sections is invariant under rotations, preserving mutually orthogonal coordinate subspaces of fixed dimension. The argument relies on the notion of canonical angles between subspaces, spherical Radon transforms, properties of intersection bodies, and the generalized cosine transforms.


title: Asymptotic normality for traces of polynomials in independent complex Wishart matrices

abstract: We derive a non-asymptotic expression for the moments of traces of monomials in several independent complex Wishart matrices, extending some explicit formulas available in the literature. We then deduce the explicit expression for the cumulants. From the latter, we read out the multivariate normal approximation to the traces of finite families of polynomials in independent complex Wishart matrices.


title: The n-point functions for intersection numbers on moduli spaces of curves

abstract: Using the celebrated Witten-Kontsevich theorem, we prove a recursive formula of the $n$-point functions for intersection numbers on moduli spaces of curves. It has been used to prove the Faber intersection number conjecture and motivated us to find some conjectural vanishing identities for Gromov-Witten invariants. The latter has been proved recently by X. Liu and R. Pandharipande. We also give a combinatorial interpretation of $n$-point functions in terms of summation over binary trees.


title: Quantum Analogy of Poisson Geometry, Related Dendriform Algebras and Rota-Baxter Operators

abstract: We will introduce an associative (or quantum) version of Poisson structure tensors. This object is defined as an operator satisfying a "generalized" Rota-Baxter identity of weight zero. Such operators are called generalized Rota-Baxter operators. We will show that generalized Rota-Baxter operators are characterized by a cocycle condition so that Poisson structures are so. By analogy with twisted Poisson structures, we propose a new operator "twisted Rota-Baxter operators" which is a natural generalization of generalized Rota-Baxter operators. It is known that classical Rota-Baxter operators are closely related with dendriform algebras. We will show that twisted Rota-Baxter operators induce NS-algebras which is a twisted version of dendriform algebra. The twisted Poisson condition is considered as a Maurer-Cartan equation up to homotopy. We will show the twisted Rota-Baxter condition also is so. And we will study a Poisson-geometric reason, how the twisted Rota-Baxter condition arises.


title: Representations of PGL(2) of a local field and harmonic forms on simplicial complexes

abstract: We give combinatorial models for complex, smooth, non-spherical, generic, irreducible representations of the group G=PGL(2,F), where F is a non-archimedean locally compact field. They use the graphs X_k lying above the tree of G, introduced in a previous work. We show that such representations may be realized as quotients of the cohomology of X_k for some k, or equivalently as spaces of discrete harmonic forms on X_k. For supercuspidal representations these models are unique.


title: Towards Differential Calculus in stratified groups

abstract: In this paper we establish the basic tools to develop the "Calculus" associated with group-valued continuously Pansu differentiable mappings. We develop the technical machinery on which all of our results rely. In particular, the linearization of addends appearing in the Baker-Campbell-Hausdorff formula is one of the major tools in several proofs. This allows us to characterize graded group-valued continuously Pansu differentiable mappings through a system of nonlinear first order PDEs, namely, the "contact equations". Through this approach we establish a quantitative estimate for the Pansu difference quotient. This key result is crucial to get the mean value inequality, the inverse mapping theorem, the rank theorem and the implicit function theorem for graded group-valued continuously Pansu differentiable mappings. All of these results represent the backbone to develop a reasonable "Calculus" in this context. On the other hand, these theorems rise the question of possible factorizations of stratified groups into inner semidirect products. In fact, we consider this algebraic issue to show that image-sets and level-sets of suitable continuously Pansu differentiable mappings are intrinsic graphs. These sets represent the intrinsic regular submanifolds modeled on a couple of fixed groups. Notice that the metric properties of these sets are completely different from the ones of classical submanifolds.


title: Some Theory for the Analysis of Random Fields - With Applications to Geostatistics

abstract: MSc thesis written under the supervision of Dr. J. Pilz (Klagenfurt University) and Dr. W. Mueller (Linz University) during the FWF Project 'Optimal design of correlated random fields'.


title: Embedding into Banach spaces with finite dimensional decompositions

abstract: This paper deals with the following types of problems: Assume a Banach space $X$ has some property (P). Can it be embedded into some Banach space $Z$ with a finite dimensional decomposition having property (P), or more generally, having a property related to (P)? Secondly, given a class of Banach spaces, does there exist a Banach space in this class, or in a closely related one, which is universal for this class?


title: Intermutation

abstract: This paper proves coherence results for categories with a natural transformation called \emph{intermutation} made of arrows from $(A\wedge B)\vee(C\wedge D)$ to ${(A\vee C)\wedge(B\vee D)}$, for $\wedge$ and $\vee$ being two biendofunctors. Intermutation occurs in iterated, or $n$-fold, monoidal categories, which were introduced in connection with $n$-fold loop spaces, and for which a related, but different, coherence result was obtained previously by Balteanu, Fiedorowicz, Schw\" anzl and Vogt. The results of the present paper strengthen up to a point this previous result, and show that two-fold loop spaces arise in the manner envisaged by these authors out of categories of a more general kind, which are not two-fold monoidal in their sense. In particular, some categories with finite products and coproducts are such. Coherence is proved here first for categories where for $\wedge$ and $\vee$ one assumes only intermutation, and next for categories where one also assumes natural associativity isomorphisms. Coherence in the sense of coherence for symmetric monoidal categories is proved when one assumes moreover natural commutativity isomorphisms. A restricted coherence result, involving a proviso of the kind found in coherence for symmetric monoidal closed categories, is proved in the presence of two nonisomorphic unit objects. The coherence conditions for intermutation and for the unit objects are derived from a unifying principle, which roughly speaking is about preservation of categories with structure by functors up to a natural transformation that is not an isomorphism.


title: KK-theory and Spectral Flow in von Neumann Algebras

abstract: We present a definition of spectral flow relative to any norm closed ideal J in any von Neumann algebra N. Given a path D(t) of selfadjoint operators in N which are invertible in N/J, the spectral flow produces a class in K_0(J). In the case when N is semifinite, the numerical spectral flow of the path coincides with the value of trace on the associated K-class. Given a semifinite spectral triple (A,H,D) relative to a semifinite von Neumann algebra N, we construct a class [D] in KK^1(A,N') such that, for a unitary u in A, the von Neumann spectral flow between D and u*Du is equal to the Kasparov product of [u] and [D].


title: Immersions of RP^{2^e-1}

abstract: We prove that RP^{2^e-1} can be immersed in R^{2^{e+1}-e-7} provided e>6. If e>13, this is 1 better than previously known immersions. Our method is primarily an induction on geometric dimension, with compatibility of liftings being a central issue.


title: On the Effect of Random Alternating Perturbations on Hazard Rates

abstract: We consider a model for systems perturbed by dichotomous noise, in which the hazard rate function of a random lifetime is subject to additive time-alternating perturbations described by the telegraph process. This leads us to define a real-valued continuous-time stochastic process of alternating type expressed in terms of the integrated telegraph process for which we obtain the probability distribution, mean and variance. An application to survival analysis and reliability data sets based on confidence bands for estimated hazard rate functions is also provided.


title: The noncommutative Choquet boundary

abstract: Let S be an operator system -- a self-adjoint linear subspace of a unital C*-algebra A such that contains 1 and A=C*(S) is generated by S. A boundary representation for S is an irreducible representation \pi of C*(S) on a Hilbert space with the property that $\pi\restriction_S$ has a unique completely positive extension to C*(S). The set $\partial_S$ of all (unitary equivalence classes of) boundary representations is the noncommutative counterpart of the Choquet boundary of a function system $S\subseteq C(X)$ that separates points of X. It is known that the closure of the Choquet boundary of a function system S is the Silov boundary of X relative to S. The corresponding noncommutative problem of whether every operator system has "sufficiently many" boundary representations was formulated in 1969, but has remained unsolved despite progress on related issues. In particular, it was unknown if $\partial_S$ is nonempty for generic S. In this paper we show that every separable operator system has sufficiently many boundary representations. Our methods use separability in an essential way.


title: Canonical Symplectic Representations for Prime Order Conjugacy Classes of the Mapping-class Group

abstract: In this paper we find a unique normal form for the symplectic matrix representation of the conjugacy class of a prime order element of the mapping-class group. We find a set of generators for the fundamental group of a surface with a conformal automorphism of prime order which reflects the action the automorphism in an optimal way. This is called an {\sl adapted} homotopy basis and there is a corresponding {\sl adapted presentation}. We also give a necessary and sufficient condition for a prime order symplectic matrix to be the image of a prime order element in the mapping-class group.


title: On the non-arbitrary assignment of equi-probable priors

abstract: How to form priors that do not seem artificial or arbitrary is a central question in Bayesian statistics. The case of forming a prior on the truth of a proposition for which there is no evidence, and the definte evidence that the event can happen in a finite set of ways, is detailed. The truth of a propostion of this kind is frequently assigned a prior of 0.5 via arguments of ignorance, randomness, the Principle of Indiffernce, the Principal Principal, or by other methods. These are all shown to be flawed. The statistical syllogism introduced by Williams in 1947 is shown to fix the problems that the other arguments have. An example in the context of model selection is given.


title: On the effect of variable identification on the essential arity of functions

abstract: We show that every function of several variables on a finite set of k elements with n>k essential variables has a variable identification minor with at least n-k essential variables. This is a generalization of a theorem of Salomaa on the essential variables of Boolean functions. We also strengthen Salomaa's theorem by characterizing all the Boolean functions f having a variable identification minor that has just one essential variable less than f.


title: Virtual crossings, convolutions and a categorification of the SO(2N) Kauffman polynomial

abstract: We suggest a categorification procedure for the SO(2N) one-variable specialization of the two-variable Kauffman polynomial. The construction has many similarities with the HOMFLYPT categorification: a planar graph formula for the polynomial is converted into a complex of graded vector spaces, each of them being the homology of a Z_2 graded differential vector space associated to a graph and constructed using matrix factorizations. This time, however, the elementary matrix factorizations are not Koszul; instead, they are convolutions of chain complexes of Koszul matrix factorizations. We prove that the homotopy class of the resulting complex associated to a diagram of a link is invariant under the first two Reidemeister moves and conjecture its invariance under the third move.


title: Word maps and Waring type problems

abstract: Waring's classical problem deals with expressing every natural number as a sum of g(k) k-th powers. Recently there has been considerable interest in similar questions for nonabelian groups, and simple groups in particular. Here the k-th power word is replaced by an arbitrary nontrivial group word w, and the goal is to express group elements as short products of values of w. We give a best possible and somewhat surprising solution for this Waring type problem for various finite simple groups, showing that a product of length two suffices to express all elements. We also show that the set of values of w is very large, improving various results obtained previously. Along the way we also obtain new results of independent interest on character values and class squares in symmetric groups. Our methods involve algebraic geometry, representation theory, probabilistic arguments, as well as three prime theorems from additive number theory (approximating Goldbach's Conjecture).


title: Hamilton's gradient estimate for the heat kernel on complete manifolds

abstract: In this paper we extend a gradient estimate of R. Hamilton for positive solutions to the heat equation on closed manifolds to bounded positive solutions on complete, non-compact manifolds with $Rc \geq -Kg$. We accomplish this extension via a maximum principle of L. Karp and P. Li and a Bernstein-type estimate on the gradient of the solution. An application of our result, together with the bounds of P. Li and S.T. Yau, yields an estimate on the gradient of the heat kernel for complete manifolds with non-negative Ricci curvature that is sharp in the order of $t$ for the heat kernel on ${\mathbb{R}}^n$.


title: Equivariant Elliptic Genera and Local McKay Correspondences

abstract: We prove an equivariant version of the McKay correspondence for the elliptic genus on open varieties with a torus action. As a consequence, we will prove the equivariant DMVV formula for the Hilbert scheme of points on $\C^2$.


title: Computing Nearly Singular Solutions Using Pseudo-Spectral Methods

abstract: In this paper, we investigate the performance of pseudo-spectral methods in computing nearly singular solutions of fluid dynamics equations. We consider two different ways of removing the aliasing errors in a pseudo-spectral method. The first one is the traditional 2/3 dealiasing rule. The second one is a high (36th) order Fourier smoothing which keeps a significant portion of the Fourier modes beyond the 2/3 cut-off point in the Fourier spectrum for the 2/3 dealiasing method. Both the 1D Burgers equation and the 3D incompressible Euler equations are considered. We demonstrate that the pseudo-spectral method with the high order Fourier smoothing gives a much better performance than the pseudo-spectral method with the 2/3 dealiasing rule. Moreover, we show that the high order Fourier smoothing method captures about $12 \sim 15%$ more effective Fourier modes in each dimension than the 2/3 dealiasing method. For the 3D Euler equations, the gain in the effective Fourier codes for the high order Fourier smoothing method can be as large as 20% over the 2/3 dealiasing method. Another interesting observation is that the error produced by the high order Fourier smoothing method is highly localized near the region where the solution is most singular, while the 2/3 dealiasing method tends to produce oscillations in the entire domain. The high order Fourier smoothing method is also found be very stable dynamically. No high frequency instability has been observed.


title: One dimensional metrical geometry

abstract: One dimensional metrical geometry may be developed in either an affine or projective setting over a general field using only algebraic ideas and quadratic forms. Some basic results of universal geometry are already present in this situation, such as the Triple quad formula, the Triple spread formula and the Spread polynomials, which are universal analogs of the Chebyshev polynomials of the first kind. Chromogeometry appears here, and the related metrical and algebraic properties of the projective line are brought to the fore.