title: Approximately unbiased tests of regions using multistep-multiscale bootstrap resampling

abstract: Approximately unbiased tests based on bootstrap probabilities are considered for the exponential family of distributions with unknown expectation parameter vector, where the null hypothesis is represented as an arbitrary-shaped region with smooth boundaries. This problem has been discussed previously in Efron and Tibshirani [Ann. Statist. 26 (1998) 1687-1718], and a corrected p-value with second-order asymptotic accuracy is calculated by the two-level bootstrap of Efron, Halloran and Holmes [Proc. Natl. Acad. Sci. U.S.A. 93 (1996) 13429-13434] based on the ABC bias correction of Efron [J. Amer. Statist. Assoc. 82 (1987) 171-185]. Our argument is an extension of their asymptotic theory, where the geometry, such as the signed distance and the curvature of the boundary, plays an important role. We give another calculation of the corrected p-value without finding the ``nearest point'' on the boundary to the observation, which is required in the two-level bootstrap and is an implementational burden in complicated problems. The key idea is to alter the sample size of the replicated dataset from that of the observed dataset. The frequency of the replicates falling in the region is counted for several sample sizes, and then the p-value is calculated by looking at the change in the frequencies along the changing sample sizes. This is the multiscale bootstrap of Shimodaira [Systematic Biology 51 (2002) 492-508], which is third-order accurate for the multivariate normal model. Here we introduce a newly devised multistep-multiscale bootstrap, calculating a third-order accurate p-value for the exponential family of distributions.


title: Rank-based optimal tests of the adequacy of an elliptic VARMA model

abstract: We are deriving optimal rank-based tests for the adequacy of a vector autoregressive-moving average (VARMA) model with elliptically contoured innovation density. These tests are based on the ranks of pseudo-Mahalanobis distances and on normed residuals computed from Tyler's [Ann. Statist. 15 (1987) 234-251] scatter matrix; they generalize the univariate signed rank procedures proposed by Hallin and Puri [J. Multivariate Anal. 39 (1991) 1-29]. Two types of optimality properties are considered, both in the local and asymptotic sense, a la Le Cam: (a) (fixed-score procedures) local asymptotic minimaxity at selected radial densities, and (b) (estimated-score procedures) local asymptotic minimaxity uniform over a class F of radial densities. Contrary to their classical counterparts, based on cross-covariance matrices, these tests remain valid under arbitrary elliptically symmetric innovation densities, including those with infinite variance and heavy-tails. We show that the AREs of our fixed-score procedures, with respect to traditional (Gaussian) methods, are the same as for the tests of randomness proposed in Hallin and Paindaveine [Bernoulli 8 (2002b) 787-815]. The multivariate serial extensions of the classical Chernoff-Savage and Hodges-Lehmann results obtained there thus also hold here; in particular, the van der Waerden versions of our tests are uniformly more powerful than those based on cross-covariances. As for our estimated-score procedures, they are fully adaptive, hence, uniformly optimal over the class of innovation densities satisfying the required technical assumptions.


title: Saddlepoint approximation for Student's t-statistic with no moment conditions

abstract: A saddlepoint approximation of the Student's t-statistic was derived by Daniels and Young [Biometrika 78 (1991) 169-179] under the very stringent exponential moment condition that requires that the underlying density function go down at least as fast as a Normal density in the tails. This is a severe restriction on the approximation's applicability. In this paper we show that this strong exponential moment restriction can be completely dispensed with, that is, saddlepoint approximation of the Student's t-statistic remains valid without any moment condition. This confirms the folklore that the Student's t-statistic is robust against outliers. The saddlepoint approximation not only provides a very accurate approximation for the Student's t-statistic, but it also can be applied much more widely in statistical inference. As a result, saddlepoint approximations should always be used whenever possible. Some numerical work will be given to illustrate these points.


title: Saddlepoint approximation for moment generating functions of truncated random variables

abstract: We consider the problem of approximating the moment generating function (MGF) of a truncated random variable in terms of the MGF of the underlying (i.e., untruncated) random variable. The purpose of approximating the MGF is to enable the application of saddlepoint approximations to certain distributions determined by truncated random variables. Two important statistical applications are the following: the approximation of certain multivariate cumulative distribution functions; and the approximation of passage time distributions in ion channel models which incorporate time interval omission. We derive two types of representation for the MGF of a truncated random variable. One of these representations is obtained by exponential tilting. The second type of representation, which has two versions, is referred to as an exponential convolution representation. Each representation motivates a different approximation. It turns out that each of the three approximations is extremely accurate in those cases ``to which it is suited.'' Moreover, there is a simple rule of thumb for deciding which approximation to use in a given case, and if this rule is followed, then our numerical and theoretical results indicate that the resulting approximation will be extremely accurate.


title: Tusnady's inequality revisited

abstract: Tusnady's inequality is the key ingredient in the KMT/Hungarian coupling of the empirical distribution function with a Brownian bridge. We present an elementary proof of a result that sharpens the Tusnady inequality, modulo constants. Our method uses the beta integral representation of Binomial tails, simple Taylor expansion and some novel bounds for the ratios of normal tail probabilities.


title: Approximating a sequence of observations by a simple process

abstract: Given an arbitrary long but finite sequence of observations from a finite set, we construct a simple process that approximates the sequence, in the sense that with high probability the empirical frequency, as well as the empirical one-step transitions along a realization from the approximating process, are close to that of the given sequence. We generalize the result to the case where the one-step transitions are required to be in given polyhedra.


title: Kida's formula and congruences

abstract: We prove a formula (analogous to that of Kida in classical Iwasawa theory and generalizing that of Hachimori-Matsuno for elliptic curves) giving the analytic and algebraic p-adic Iwasawa invariants of a modular eigenform over an abelian p-extension of Q to its p-adic Iwasawa invariants over Q. On the algebraic side our methods, which make use of congruences between modular forms, yield a Kida-type formula for a very general class of ordinary Galois representations. We are further able to deduce a Kida-type formula for elliptic curves at supersingular primes.


title: Large deviations for renormalized self-intersection local times of stable processes

abstract: We study large deviations for the renormalized self-intersection local time of d-dimensional stable processes of index \beta \in (2d/3,d]. We find a difference between the upper and lower tail. In addition, we find that the behavior of the lower tail depends critically on whether \beta <d or \beta =d.


title: Moderate deviations and law of the iterated logarithm for intersections of the ranges of random walks

abstract: Let S_1(n),...,S_p(n) be independent symmetric random walks in Z^d. We establish moderate deviations and law of the iterated logarithm for the intersection of the ranges #{S_1[0,n]\cap... \cap S_p[0,n]} in the case d=2, p\ge 2 and the case d=3, p=2.


title: Global Units modulo Circular Units : descent without Iwasawa's Main Conjecture

abstract: Iwasawa's classical asymptotical formula relates the orders of the $p$-parts $X_n$ of the ideal class groups along a $\ZM_p$-extension $F_\infty/F$ of a number field $F$, to Iwasawa structural invariants $\la$ and $\mu$ attached to the inverse limit $X_\infty=\limpro X_n$. It relies on "good" descent properties satisfied by $X_n$. If $F$ is abelian and $F_\infty$ is cyclotomic it is known that the $p$-parts of the orders of the global units modulo circular units $U_n/C_n$ are asymptotically equivalent to the $p$-parts of the ideal class numbers. This suggests that these quotients $U_n/C_n$, so to speak unit class groups, satisfy also good descent properties. We show this directly, i.e. without using Iwasawa's Main Conjecture.


title: Krein's Theory applied to fluctuations of L\'{e}vy processes

abstract: We give an interpretation of the bilateral exit problem for L\'{e}vy processes via the study of an elementary Markov chain. We exhibit a strong connection between this problem and Krein's theory on strings. For instance, for symmetric L\'{e}vy processes with bounded variations, the L\'{e}vy exponent is the correspondant spectral density and the Wiener-Hopf factorization turns out to be a version of Krein's entropy formula.


title: Genus theta series, Hecke operators and the basis problem for Eisenstein series

abstract: We derive explicit formulas for the action of the Hecke operator $T(p)$ on the genus theta series of a positive definite integral quadratic form and prove a theorem on the generation of spaces of Eisenstein series by genus theta series. We also discuss connections of our results with Kudla's matching principle for theta integrals.


title: Continued fractions and Einstein manifolds of infinite topological type

abstract: We present a construction of complete self-dual Einstein metrics of negative scalar curvature on an uncountable family of manifolds of infinite topological type, which are enumerated by continued fraction expansions of irrational numbers. These manifolds may be regarded as limits of the resolutions of cyclic quotient singularities (governed by continued fraction expansions of rational numbers) on which we constructed complete self-dual Einstein metrics in previous work.


title: Equisingularity of sections, $(t^r)$ condition, and the integral closure of modules

abstract: This paper uses the theory of integral closure of modules to study the sections of both real and complex analytic spaces. The stratification conditions used are the (t^) conditions introduced by Thom and Trotman. Our results include a new simple proof showing how the (t^r) conditions improve under Grassman modification, and a characterization of the (t^r) conditions using the multiplicity of a submodule of the Jacobian module of the singularity. This gives numerical criteria for Verdier Equisingularity of families of sections of the space.


title: Fragmentation processes with an initial mass converging to infinity

abstract: We consider a family of fragmentation processes where the rate at which a particle splits is proportional to a function of its mass. Let $F\_{1}^{(m)}(t),F\_{2}^{(m)}(t),...$ denote the decreasing rearrangement of the masses present at time $t$ in a such process, starting from an initial mass $m$. Let then $m\to \infty $. Under an assumption of regular variation type on the dynamics of the fragmentation, we prove that the sequence $(F\_{2}^{(m)},F\_{3}^{(m)},...)$ converges in distribution, with respect to the Skorohod topology, to a fragmentation with immigration process. This holds jointly with the convergence of $m-F\_{1}^{(m)}$ to a stable subordinator. A continuum random tree counterpart of this result is also given: the continuum random tree describing the genealogy of a self-similar fragmentation satisfying the required assumption and starting from a mass converging to $\infty $ will converge to a tree with a spine coding a fragmentation with immigration.


title: An abstract characterization of Thompson's group F

abstract: We show that Thompson's group F is the symmetry group of the "generic idempotent". That is, take the monoidal category freely generated by an object A and an isomorphism A \otimes A --> A; then F is the group of automorphisms of A.


title: Brackets, forms and invariant functionals

abstract: In the context of generalized geometry we first show how the Courant bracket helps to define connections with skew torsion and then investigate a five-dimensional invariant functional and its associated geometry. A Hamiltonian flow arising from this corresponds to a version of the Nahm equations using the Courant bracket, and we investigate the six-dimensional geometrical structure this describes.


title: Symmetric Markov chains on $\Bbb Z^d$ with unbounded range

abstract: We consider symmetric Markov chains on $\Bbb Z^d$ where we do {\bf not} assume that the conductance between two points must be zero if the points are far apart. Under a uniform second moment condition on the conductances, we obtain upper bounds on the transition probabilities, estimates for exit time probabilities, and certain lower bounds on the transition probabilities. We show that a uniform Harnack inequality holds if an additional assumption is made, but that without this assumption such an inequality need not hold. We establish a central limit theorem giving conditions for a sequence of normalized symmetric Markov chains to converge to a diffusion on $\Bbb R^d$ corresponding to an elliptic operator in divergence form.


title: Polyhedral Deformations of Cone Manifolds

abstract: Two single parameter families of polyhedra $P(\psi)$ are constructed in three dimensional spaces of constant curvature $C(\psi)$. Identification of the faces of the polyhedra via isometries results in cone manifolds $M(\psi)$ which are topologically $S^1\timesS^2$, $S^3$ or singular $S^2$. The singular set of $M(\psi)$ can have self intersections for some values of $\psi$ and can also be the Whitehead link or form other configurations. Curvature varies continuously with $\psi$. At $\psi=0$ spontaneous surgery occurs and the topological type of $M(\psi)$ changes. This phenomenon is described.


title: On a conformal gap and finiteness theorem for a class of four manifolds

abstract: In this paper we develop a bubble tree structure for a degenerating class of Riemannian metrics satisfying some global conformal bounds on compact manifolds of dimension 4. Applying the bubble tree structure, we establish a gap theorem, a finiteness theorem for diffeomorphism type for this class, and a diameter bound for a family of conformal metricssatisfying a suitable curvature equation.


title: Duality and monodromy reducibility of $A$-hypergeometric systems

abstract: We study $A$-hypergeometric systems $H_A(\beta)$ in the sense of Gelfand, Kapranov and Zelevinsky under two aspects: the structure of their holonomically dual system, and reducibility of their rank module. We prove first that rank-jumping parameters always correspond to reducible systems, and we show that the property of being reducible is ``invariant modulo the lattice''. In the second part we study a conjecture of Nobuki Takayama which states that the holonomic dual of $H_A(\beta)$ is of the form $H_A(\beta')$ for suitable $\beta'$. We prove the conjecture for all matrices $A$ and generic parameter $\beta$, exhibit an example that shows that in general the conjecture cannot hold, and present a refined version of the conjecture. Questions on both duality and reducibility have been impossible to answer with classical methods. This paper may be seen as an example of the usefulness, and scope of applications, of the homological tools for $A$-hypergeometric systems developed in \cite{MMW}.


title: Deformed multiplication in the semigroup PT_n

abstract: Pairwise non isomorphic semigroups obtained from the semigroup PT_n of all partial transformations by the deformed multiplication proposed by Ljapin are classified.


title: Cluster points and asymptotic values of planar harmonic functions

abstract: A sufficient condition for a cluster point of a planar harmonic function to be an asymptotic value is given, based on a partitioning into regions of constant valence. A sufficient condition for the cluster set of a planar harmonic function to have non-empty interior is given. An example is given of a planar harmonic function where the image of the critical set is not closed and such that the cluster set has non-empty interior and is a proper subset of the image.


title: Equivariant autoequivalences for finite group actions

abstract: The familiar Fourier-Mukai technique can be extended to an equivariant setting where a finite group $G$ acts on a smooth projective variety $X$. In this paper we compare the group of invariant autoequivalences $\Aut(D(X))^G$ with the group of autoequivalences of $D^G(X)$. We apply this method in three cases: Hilbert schemes on K3 surfaces, Kummer surfaces and canonical quotients.


title: Sharp pointwise bounds for perturbed viscous shock waves

abstract: Refining previous work in \cite{Z.3, MaZ.3, Ra, HZ, HR}, we derive sharp pointwise bounds on behavior of perturbed viscous shock profiles for large-amplitude Lax or overcompressive type shocks and physical viscosity. These extend well-known results of Liu \cite{Liu97} obtained by somewhat different techniques for small-amplitude Lax type shocks and artificial viscosity, completing a program set out in \cite{ZH}. As pointed out in \cite{Liu91, Liu97}, the key to obtaining sharp bounds is to take account of cancellation associated with the property that the solution decays faster along characteristic than in other directions. Thus, we must here estimate characteristic derivatives for the entire nonlinear perturbation, rather than judicially chosen parts as in \cite{Ra, HR}. a requirement that greatly complicates the analysis.


title: On a computational approach for the approximate dynamics of averaged variables in nonlinear ODE systems: toward the derivation of constitutive laws of the rate type

abstract: A non-perturbative approach to the time-averaging of nonlinear, autonomous ODE systems is developed based on invariant manifold methodology. The method is implemented computationally and applied to model problems arising in the mechanics of solids.


title: The Circuit Ideal of a Vector Configuration

abstract: The circuit ideal, $\ica$, of a configuration $\A = \{\a_1, ..., \a_n\} \subset \Z^d$ is the ideal generated by the binomials ${\x}^{\cc^+} - {\x}^{\cc^-} \in \k[x_1, ..., x_n]$ as $\cc = \cc^+ - \cc^- \in \Z^n$ varies over the circuits of $\A$. This ideal is contained in the toric ideal, $\ia$, of $\A$ which has numerous applications and is nontrivial to compute. Since circuits can be computed using linear algebra and the two ideals often coincide, it is worthwhile to understand when equality occurs. In this paper we study $\ica$ in relation to $\ia$ from various algebraic and combinatorial perspectives. We prove that the obstruction to equality of the ideals is the existence of certain polytopes. This result is based on a complete characterization of the standard pairs/associated primes of a monomial initial ideal of $\ica$ and their differences from those for the corresponding toric initial ideal. Eisenbud and Sturmfels proved that $\ia$ is the unique minimal prime of $\ica$ and that the embedded primes of $\ica$ are indexed by certain faces of the cone spanned by $\A$. We provide a necessary condition for a particular face to index an embedded prime and a partial converse. Finally, we compare various polyhedral fans associated to $\ia$ and $\ica$. The Gr\"obner fan of $\ica$ is shown to refine that of $\ia$ when the codimension of the ideals is at most two.


title: Vector spaces spanned by the angle sums of polytopes

abstract: In this paper, we will describe the space spanned by the angle-sums of polytopes, recorded in the alpha-vector. We will consider the angles sums of simplices and the angles sums and face numbers of simplicial polytopes and general polytopes. We will construct families of polytopes whose angle sums span the spaces of polytopes defined by the Gram and Perles equations, analogues of the Euler and Dehn-Sommerville equations. We show that the dimensions of the affine span of the space of angle sums of simplices is floor[(d-1)/2] + 1, and that of the angle sums and face numbers of simplicial polytopes and general polytopes are d-1 and 2d-3 respectively.


title: The Mathieu group $M_{12}$ and its pseudogroup extension $M_{13}$

abstract: We study a construction of the Mathieu group $M_{12}$ using a game reminiscent of Loyd's ``15-puzzle''. The elements of $M_{12}$ are realized as permutations on~12 of the~13 points of the finite projective plane of order~3. There is a natural extension to a ``pseudogroup'' $M_{13}$ acting on all~13 points, which exhibits a limited form of sextuple transitivity. Another corollary of the construction is a metric, akin to that induced by a Cayley graph, on both $M_{12}$ and $M_{13}$. We develop these results, and extend them to the double covers and automorphism groups of $M_{12}$ and $M_{13}$, using the ternary Golay code and $12 \x 12$ Hadamard matrices. In addition, we use experimental data on the quasi-Cayley metric to gain some insight into the structure of these groups and pseudogroups.


title: Perfect Pairs of Ideals and Duals in Numerical Semigroups

abstract: This paper considers numerical semigroups $S$ that have a non-principal relative ideal $I$ such that $\mu_S(I)\mu_S(S-I)=\mu_S(I+(S-I)) $. We show the existence of an infinite family of such which $I+(S-I)=S\backslash\{0\}$. We also show examples of such pairs that are not members of this family. We discuss the computational process used to find these examples and present some open questions pertaining to them.


title: Global well-posedness of the Benjamin-Ono equation in low-regularity spaces

abstract: We prove that the Benjamin-Ono initial value problem is globally well-posed in the Sobolev spaces $H^\sigma_r$, $\sigma\geq 0$.


title: On flat complete causal Lorentzian manifolds

abstract: We describe up to finite coverings causal flat affine complete Lorentzian manifolds such that the past and the future of any point are closed near this point. We say that these manifolds are strictly causal. In particular, we prove that their fundamental groups are virtually abelian. In dimension 4, there is only one, up to a scaling factor, strictly causal manifold which is not globally hyperbolic. For a generic point of this manifold, either the past or the future is not closed and contains a lightlike straight line.


title: Symmetry and symplectic reduction

abstract: This encyclopedia article briefly reviews without proofs some of the main results in symplectic reduction. The article recalls most the necessary prerequisites to understand the main results, namely, group actions, momentum maps, and coadjoint orbits, among others.


title: Poisson reduction

abstract: This encyclopedia article briefly reviews without proofs some of the main results in Poisson reduction. The article recalls most the necessary prerequisites to understand the main results.


title: Cotangent bundle reduction

abstract: This encyclopedia article briefly reviews without proofs some of the main results in cotangent bundle reduction. The article recalls most the necessary prerequisites to understand the main results.


title: Endomorphism rings generated using small numbers of elements

abstract: Let R be a ring, M a nonzero left R-module, X an infinite set, and E the endomorphism ring of the direct sum of copies of M indexed by X. Given two subrings S and S' of E, we will say that S is equivalent to S' if there exists a finite subset U of E such that the subring generated by S and U is equal to the subring generated by S' and U. We show that if M is simple and X is countable, then the subrings of E that are closed in the function topology and contain the diagonal subring of E (consisting of elements that take each copy of M to itself) fall into exactly two equivalence classes, with respect to the equivalence relation above. We also show that every countable subset of E is contained in a 2-generator subsemigroup of E.


title: Some bialgebroids constructed by Kadison and Connes-Moscovici are isomorphic

abstract: We prove that a certain bialgebroid introduced recently by Kadison is isomorphic to a bialgebroid introduced earlier by Connes and Moscovici. At the level of total algebras, the isomorphism is a consequence of the general fact that an L-R-smash product over a Hopf algebra is isomorphic to a diagonal crossed product.


title: Ramanujan - Fourier Series and the Density of Sophie Germain Primes

abstract: A prime p is called Sophie Germain prime if 2p+1 is also prime. A formula for the density of such primes is given in a more general setting using a new approach. This method uses the Ramanujan-Fourier series for a modified von Mangoldt function. The proof remains heuristic as interchange of certain limits has not been justified. Experimental evidence using computer calculations is provided for the plausibility of the result.


title: Reduction of cocycles and groups of diffeomorphisms of the circle

abstract: We prove two theorems of reduction of cocycles taking values in the group of diffeomorphisms of the circle. They generalise previous results obtained by the author concerning rigidity for smooth actions on the circle of Kazhdan's groups and higher rank lattices.


title: A quantitative sharpening of Moriwaki's arithmetic Bogomolov inequality

abstract: A. Moriwaki proved the following arithmetic analogue of the Bogomolov unstability theorem. If a torsion-free hermitian coherent sheaf on an arithmetic surface has negative discriminant then it admits an arithmetically destabilising subsheaf. In the geometric situation it is known that such a subsheaf can be found subject to an additional numerical constraint and here we prove the arithmetic analogue. We then apply this result to slightly simplify a part of C. Soul\'e's proof of a vanishing theorem on arithmetic surfaces.


title: Lefschetz formulae and zeta functions

abstract: The connection between Lefschetz formulae and zeta function is explained. As a particular example the theory of the generalized Selberg zeta function is presented. Applications are given to the theory of Anosov flows and prime geodesic theorems.


title: Graphs and $({\Bbb Z}_2)^k$-actions

abstract: Let $\mathcal{A}_n^k$ denote all nonbounding effective smooth $({\Bbb Z}_2)^k$-actions on $n$-dimensional smooth closed connected manifolds, each of which is cobordant to one with finite fixed set. Motivated by GKM theory, one can associate to each action of $\mathcal{A}_n^k$ a $({\Bbb Z}_2)^k$-colored regular graph of valence $n$. Together with the combinatorics of colored graphs, equivariant cobordism and the tom Dieck-Kosniowski-Stong localization theorem, we give a lower bound for the number of fixed points of an action in $\mathcal{A}_n^k$, which can become the best possible in some cases; we determine the existence and the equivariant cobordism classification of all actions in $\mathcal{A}_n^k(h)$ with $h=3,4$, where $\mathcal{A}_n^k(h)$ is the subset of $\mathcal{A}_n^k$, each of which is equivariantly cobordant to an effective $({\Bbb Z}_2)^k$-action fixing just $h$ isolated points, and it is well-known that $\mathcal{A}_n^k(h)$ is empty if $h=1,2$; we characterize the explicit relationships among tangent representations at fixed points of each action in $\mathcal{A}_n^k(h)$ with $h=3,4$, which actually give the explicit solution of the Smith problem in such cases. As an application, we also study the minimum number of fixed points of all actions in $\mathcal{A}_n^k$.


title: A dyadic decomposition approach to a finitely degenerate hyperbolic problem

abstract: We use the Littlewood-Paley decomposition technique to obtain a $C^\infty$-well-posedness result for a weakly hyperbolic equation with a finite order of degeneration


title: New directions in enumerative chess problems

abstract: Normally a chess problem must have a unique solution, and is deemed unsound even if there are alternatives that differ only in the order in which the same moves are played. In an enumerative chess problem, the set of moves in the solution is (usually) unique but the order is not, and the task is to count the feasible permutations via an isomorphic problem in enumerative combinatorics. Almost all enumerative chess problems have been ``series-movers'', in which one side plays an uninterrupted series of moves, unanswered except possibly for one move by the opponent at the end. This can be convenient for setting up enumeration problems, but we show that other problem genres also lend themselves to composing enumerative problems. Some of the resulting enumerations cannot be shown (or have not yet been shown) in series-movers. This article is based on a presentation given at the banquet in honor of Richard Stanley's 60th birthday, and is dedicated to Stanley on this occasion.


title: The Schur-Horn theorem for operators and frames with prescribed norms and frame operator

abstract: Let $\mathcal H$ be a Hilbert space. Given a bounded positive definite operator $S$ on $\mathcal H$, and a bounded sequence $\mathbf{c} = \{c_k \}_{k \in \mathbb N}$ of non negative real numbers, the pair $(S, \mathbf{c})$ is frame admissible, if there exists a frame $\{f_k \}_{k \in \mathbb{N}} $ on $\mathcal H$ with frame operator $S$, such that $\|f_k \|^2 = c_k$, $k \in \mathbb {N}$. We relate the existence of such frames with the Schur-Horn theorem of majorization, and give a reformulation of the extended version of Schur-Horn theorem, due to A. Neumann. We use it to get necessary conditions (and to generalize known sufficient conditions) for a pair $(S, \mathbf{c})$, to be frame admissible.


title: Hamiltonicity of Cubic Cayley Graphs

abstract: Following a problem posed by Lov\'asz in 1969, it is believed that every connected vertex-transitive graph has a Hamilton path. This is shown here to be true for cubic Cayley graphs arising from groups having a $(2,s,3)$-presentation, that is, for groups $G=\la a,b| a^2=1, b^s=1, (ab)^3=1, etc. \ra$ generated by an involution $a$ and an element $b$ of order $s\geq3$ such that their product $ab$ has order 3. More precisely, it is shown that the Cayley graph $X=Cay(G,\{a,b,b^{-1}\})$ has a Hamilton cycle when $|G|$ (and thus $s$) is congruent to 2 modulo 4, and has a long cycle missing only two vertices (and thus necessarily a Hamilton path) when $|G|$ is congruent to 0 modulo 4.


title: Reidemeister torsion, the Thurston norm and Harvey's invariants

abstract: Recently twisted and higher order Alexander polynomials were used by Cochran, Harvey, Friedl--Kim and Turaev to give lower bounds on the Thurston norm. We first show how Reidemeister torsion relates to these Alexander polynomials. We then give lower bounds on the Thurston norm in terms of the Reidemeister torsion which contain and extend all the above lower bounds and give an elegant reformulation of the bounds of Cochran, Harvey and Turaev. The Reidemeister torsion approach also gives a natural approach to proving and extending certain monotonicity results of Cochran and Harvey.


title: A Legendrian Thurston-Bennequin bound from Khovanov homology

abstract: We establish an upper bound for the Thurston-Bennequin number of a Legendrian link using the Khovanov homology of the underlying topological link. This bound is sharp in particular for all alternating links, and knots with nine or fewer crossings.


title: Lattice structures and spreading models

abstract: We consider problems concerning the partial order structure of the set of spreading models of Banach spaces. We construct examples of spaces showing that the possible structure of these sets include certain classes of finite semi-lattices and countable lattices, and all finite lattices.


title: Toward a fundamental groupoid for the stable homotopy category

abstract: This very speculative sketch suggests that a theory of fundamental groupoids for tensor triangulated categories could be used to describe the ring of integers as the singular fiber in a family of ring-spectra parametrized by a structure space for the stable homotopy category, and that Bousfield localization might be part of a theory of `nearby' cycles for stacks or orbifolds.


title: Detecting K-theory by cyclic homology

abstract: We discuss which part of the rationalized algebraic K-theory of a group ring is detected via trace maps to Hochschild homology, cyclic homology, periodic cyclic or negative cyclic homology.


title: Homotopy on spatial graphs and the Sato-Levine invariant

abstract: Edge-homotopy and vertex-homotopy are equivalence relations on spatial graphs which are generalizations of Milnor's link-homotopy. We introduce some edge (resp. vertex)-homotopy invariants of spatial graphs by applying the Sato-Levine invariant for the 2-component constituent algebraically split links and show examples of non-splittable spatial graphs up to edge (resp. vertex)-homotopy, all of whose constituent links are link-homotopically trivial.


title: Counting unlabelled toroidal graphs with no K33-subdivisions

abstract: We provide a description of unlabelled enumeration techniques, with complete proofs, for graphs that can be canonically obtained by substituting 2-pole networks for the edges of core graphs. Using structure theorems for toroidal and projective-planar graphs containing no K33-subdivisions, we apply these techniques to obtain their unlabelled enumeration.


title: Erdos distance problem in vector spaces over finite fields

abstract: We study the Erd\"os/Falconer distance problem in vector spaces over finite fields. Let ${\Bbb F}_q$ be a finite field with $q$ elements and take $E \subset {\Bbb F}^d_q$, $d \ge 2$. We develop a Fourier analytic machinery, analogous to that developed by Mattila in the continuous case, for the study of distance sets in ${\Bbb F}^d_q$ to provide estimates for minimum cardinality of the distance set $\Delta(E)$ in terms of the cardinality of $E$. Kloosterman sums play an important role in the proof.


title: Root closed function algebras on compacta of large dimension

abstract: Let $X$ be a Hausdorff compact space and $C(X)$ be the algebra of all continuous complex-valued functions on $X$, endowed with the supremum norm. We say that $C(X)$ is (approximately) $n$-th root closed if any function from $C(X)$ is (approximately) equal to the $n$-th power of another function. We characterize the approximate $n$-th root closedness of $C(X)$ in terms of $n$-divisibility of first $\check {\rm C}$ech cohomology groups of closed subsets of $X$. Next, for each positive integer $m$ we construct $m$-dimensional metrizable compactum $X$ such that $C(X)$ is approximately $n$-th root closed for any $n$. Also, for each positive integer $m$ we construct $m$-dimensional compact Hausdorff space $X$ such that $C(X)$ is $n$-th root closed for any $n$.


title: One-sided Heegaard splittings of RP^3

abstract: Using basic properties of one-sided Heegaard splittings, a direct proof that geometrically compressible one-sided splittings of RP^3 are stabilised is given. The argument is modelled on that used by Waldhausen to show that two-sided splittings of S^3 are standard.


title: Multiple decorrelation and rate of convergence in multidimensional limit theorems for the Prokhorov metric

abstract: The motivation of this work is the study of the error term e_t^{\epsilon}(x,\omega) in the averaging method for differential equations perturbed by a dynamical system. Results of convergence in distribution for (\frac{e_t^{\epsilon}(x,\cdot)}{\sqrt\epsilon})_{\epsilon>0} have been established in Khas'minskii [Theory Probab. Appl. 11 (1966) 211-228], Kifer [Ergodic Theory Dynamical Systems 15 (1995) 1143-1172] and P\`ene [ESAIM Probab. Statist. 6 (2002) 33-88]. We are interested here in the question of the rate of convergence in distribution of the family of random variables (\frac{e_t^{\epsilon}(x,\cdot)}{\sqrt\epsilon})_{\epsilon>0} when \epsilon goes to 0 (t>0 and x\inR^d being fixed). We will make an assumption of multiple decorrelation property (satisfied in several situations). We start by establishing a simpler result: the rate of convergence in the central limit theorem for regular multidimensional functions. In this context, we prove a result of convergence in distribution with rate of convergence in O(n^{-1/2+\alpha}) for all \alpha>0 (for the Prokhorov metric). This result can be seen as an extension of the main result of P\`ene [Comm. Math. Phys. 225 (2002) 91-119] to the case of d-dimensional functions. In a second time, we use the same method to establish a result of convergence in distribution for (\frac{e_t^{\epsilon}(x,\cdot)}{\sqrt\epsilon})_{\epsilon>0} with rate of convergence in O(\epsilon^{1/2-\alpha}) (for the Prokhorov metric).


title: Rounding of continuous random variables and oscillatory asymptotics

abstract: We study the characteristic function and moments of the integer-valued random variable $\lfloor X+\alpha\rfloor$, where $X$ is a continuous random variables. The results can be regarded as exact versions of Sheppard's correction. Rounded variables of this type often occur as subsequence limits of sequences of integer-valued random variables. This leads to oscillatory terms in asymptotics for these variables, something that has often been observed, for example in the analysis of several algorithms. We give some examples, including applications to tries, digital search trees and Patricia tries.


title: Splitting of liftings in products of probability spaces

abstract: We prove that if (X,\mathfrakA,P) is an arbitrary probability space with countably generated \sigma-algebra \mathfrakA, (Y,\mathfrakB,Q) is an arbitrary complete probability space with a lifting \rho and \hat R is a complete probability measure on \mathfrakA \hat \otimes_R \mathfrakB determined by a regular conditional probability {S_y:y\in Y} on \mathfrakA with respect to \mathfrakB, then there exist a lifting \pi on (X\times Y,\mathfrakA \hat \otimes_R \mathfrakB,\hat R) and liftings \sigma_y on (X,\hat \mathfrakA_y,\hat S_y), y\in Y, such that, for every E\in\mathfrakA \hat \otimes_R \mathfrakB and every y\in Y, [\pi(E)]^y=\sigma_y\bigl([\pi(E)]^y\bigr). Assuming the absolute continuity of R with respect to P\otimes Q, we prove the existence of a regular conditional probability {T_y:y\in Y} and liftings \varpi on (X\times Y,\mathfrakA \hat \otimes_R \mathfrakB,\hat R), \rho' on (Y,\mathfrakB,\hat Q) and \sigma_y on (X,\hat \mathfrakA_y,\hat S_y), y\in Y, such that, for every E\in\mathfrakA \hat \otimes_R \mathfrakB and every y\in Y, [\varpi(E)]^y=\sigma_y\bigl([\varpi(E)]^y\bigr) and \varpi(A\times B)=\bigcup_{y\in\rho'(B)}\sigma_y(A)\times{y}\qquadif A\times B\in\mathfrakA\times\mathfrakB. Both results are generalizations of Musia\l, Strauss and Macheras [Fund. Math. 166 (2000) 281-303] to the case of measures which are not necessarily products of marginal measures. We prove also that liftings obtained in this paper always convert \hat R-measurable stochastic processes into their \hat R-measurable modifications.


title: Endomorphisms of Deligne-Lusztig varieties

abstract: This paper is a following to math.RT/0410454. For a finite group of Lie type we study the endomorphisms, commuting with the group action, of a Deligne-Lusztig variety associated to a regular element of the Weyl group. We state some general conjectures, in particular that the endomorphism algebra induced on the cohomology is a cyclotomic Hecke algebra, and prove them in some cases. On the way we also prove results on centralizers in braid groups.


title: Stochastic Volterra equations of nonscalar type in Hilbert space

abstract: In the paper stochastic Volterra equations of nonscalar type in Hilbert space are studied. The aim of the paper is to provide some results on stochastic convolution and mild solutions to those Volterra equations. The motivation of the paper comes from a model of aging viscoelastic materials. The pseudo-resolvent approach is used.


title: On the exact number of bifurcation branches from a multiple eigenvalue

abstract: We study local bifurcation from an eigenvalue with multiplicity greater than one for a class of semilinear elliptic equations. We evaluate the exact number of bifurcation branches of non trivial solutions and we compute the Morse index of the solutions in those branches.


title: Reduction,Induction and Ricci flat symplectic connections

abstract: In this paper we present a construction of Ricci-flat connections through an induction procedure. Given a symplectic manifold $(M,\omega)$ of dimension $2n$, we define induction as a way to construct a symplectic manifold $(P,\mu)$ of dimension $2n+2$. Given any symplectic connection $\nabla$ on $(M,\omega)$, we define an induced connection $\nabla^P$ which is a Ricci-flat symplectic connection on $(P,\mu)$.


title: Scale invariant energy smoothing estimates for the Schr\"odinger Equation with small Magnetic Potential

abstract: We consider some scale invariant generalizations of the smoothing estimates for the free Schr\"odnger equation obtained by Kenig, Ponce and Vega. Applying these estimates and using appropriate commutator estimates, we obtain similar scale invariant smoothing estimates for perturbed Schr\"odnger equation with small magnetic potential.


title: Absolutely continuous laws of Jump-Diffusions in finite and infinite dimensions with applications to mathematical Finance

abstract: In mathematical Finance calculating the Greeks by Malliavin weights has proved to be a numerically satisfactory procedure for finite-dimensional It\^{o}-diffusions. The existence of Malliavin weights relies on absolute continuity of laws of the projected diffusion process and a sufficiently regular density. In this article we first prove results on absolute continuity for laws of projected jump-diffusion processes in finite and infinite dimensions, and a general result on the existence of Malliavin weights in finite dimension. In both cases we assume H\"ormander conditions and hypotheses on the invertibility of the so-called linkage operators. The purpose of this article is to show that for the construction of numerical procedures for the calculation of the Greeks in fairly general jump-diffusion cases one can proceed as in a pure diffusion case. We also show how the given results apply to infinite dimensional questions in mathematical Finance. There we start from the Vasi\v{c}ek model, and add -- by pertaining no arbitrage -- a jump diffusion component. We prove that we can obtain in this case an interest rate model, where the law of any projection is absolutely continuous with respect to Lebesgue measure on $\mathbb{R}^M $.


title: Finite Groups With Many Product Conjugacy Classes

abstract: We classify all finite groups G such that the product of any two non-inverse conjugacy classes of G is always a conjugacy class of G. We also classify all finite groups G for which the product of any two G-conjugacy classes which are not inverse modulo the center of G is again a conjugacy class of G.


title: Factorization of the nonlinear Schroedinger equation and applications

abstract: We consider factorizations of the stationary and non-stationary Schroedinger equation in R^n which are based on appropriate Dirac operators. These factorizations lead to a Miura transform which is an analogue of the classical one-dimensional Miura transform but also closely related to the Riccati equation. In fact, the Miura transform is a nonlinear Dirac equation. We give an iterative procedure which is based on fix-point principles to solve this nonlinear Dirac equation. The relationship to nonlinear Schroedinger equations like the Gross-Pitaevskii equation are highlighted.


title: Spectral Theory and Nonlinear PDE: a Survey

abstract: This is a slightly modified version of the survey article. Minor changes to the text and the references have been made.


title: An algorithmic approach to resolutions

abstract: We provide an algorithmic method for constructing projective resolutions of modules over quotients of path algebras. This algorithm is modified to construct minimal projective resolutions of linear modules over Koszul algebras.


title: Pathwise asymptotic behavior of random determinants in the uniform Gram and Wishart ensembles

abstract: This paper concentrates on asymptotic properties of determinants of some random symmetric matrices. If B_{n,r} is a n x r rectangular matrix and B_{n,r}' its transpose, we study det (B_{n,r}'B_{n,r}) when n,r tends to infinity with r/n \to c\in (0,1). The r column vectors of B_{n,r} are chosen independently, with common distribution \nu_n. The Wishart ensemble corresponds to \nu_n = {\cal N}(0, I_n), the standard normal distribution. We call uniform Gram ensemble the ensemble corresponding to \nu_n = \sigma_n, the uniform distribution on the unit sphere `S_{n-1}. In the Wishart ensemble, a well known Bartlett's theorem decomposes the above determinant into a product of chi-square variables. The same holds in the uniform Gram ensemble. This allows us to study the process \{\frac{1}{n}\log \det\big(B_{n,\lfloor nt\rfloor}'B_{n,\lfloor nt\rfloor}\big), t \in [0,1]\} and its asymptotic behavior as n\to \infty: a.s. convergence, fluctuations, large deviations. We connect the results for marginals (fixed t) with those obtained by the spectral method.


title: The isoperimetric constant of the random graph process

abstract: The isoperimetric constant of a graph $G$ on $n$ vertices, $i(G)$, is the minimum of $\frac{|\partial S|}{|S|}$, taken over all nonempty subsets $S\subset V(G)$ of size at most $n/2$, where $\partial S$ denotes the set of edges with precisely one end in $S$. A random graph process on $n$ vertices, $\widetilde{G}(t)$, is a sequence of $\binom{n}{2}$ graphs, where $\widetilde{G}(0)$ is the edgeless graph on $n$ vertices, and $\widetilde{G}(t)$ is the result of adding an edge to $\widetilde{G}(t-1)$, uniformly distributed over all the missing edges. We show that in almost every graph process $i(\widetilde{G}(t))$ equals the minimal degree of $\widetilde{G}(t)$ as long as the minimal degree is $o(\log n)$. Furthermore, we show that this result is essentially best possible, by demonstrating that along the period in which the minimum degree is typically $\Theta(\log n)$, the ratio between the isoperimetric constant and the minimum degree falls from 1 to 1/2, its final value.


title: The Multiplier Group of a Quasiperiodic Flow

abstract: As an absolute invariant of smooth conjugacy, the multiplier group described the types of space-time symmetries that the flow has, and for a quasiperiodic flow on the $n$-torus, is the determining factor of the structure of its generalized symmetry group. It is conjectured that a quasiperiodic flow is F-algebraic if and only if its multiplier group is a finite index subgroup of the group of units in the ring of integers of a real algebraic number field F, and that a quasiperiodic flow is transcendental if and only if its multiplier group is {1,-1}. These two conjectures are partially validated for n greater or equal to 2, and fully validated for n=2.


title: Growth and generation in SL_2(Z/pZ)

abstract: We show that every subset of SL_2(Z/pZ) grows rapidly when it acts on itself by the group operation. It follows readily that, for every set of generators A of SL_2(Z/pZ), every element of SL_2(Z/pZ) can be expressed as a product of at most O((log p)^c) elements of the union of A and A^{-1}, where c and the implied constant are absolute.


title: Counting the Positive Rationals: A Brief Survey

abstract: We discuss some examples that illustrate the countability of the positive rational numbers and related sets. Techniques include radix representations, Godel numbering, the fundamental theorem of arithmetic, continued fractions, Egyptian fractions, and the sequence of ratios of successive hyperbinary representation numbers.


title: Newton-Hensel Interpolation Lifting

abstract: The main result of this paper is a new version of Newton-Hensel lifting that relates to interpolation questions. It allows one to lift polynomials in $Z[x]$ from information modulo a prime number $p\ne 2$ to a power $p^k$ for any $k$, and its originality is that it is a mixed version that not only lifts the coefficients of the polynomial but also its exponents. We show that this result corresponds exactly to a Newton-Hensel lifting of a system of $2t$ generalized equations in $2t$ unknowns in the ring of $p$-adic integers $\Z_p$. Finally we apply our results to sparse polynomial interpolation in $\Z[x]$


title: Numerical scaling analysis of the small-scale structure in turbulence

abstract: We show how to use numerical methods within the framework of successive scaling to analyse the microstructure of turbulence, in particular to find inertial range exponents and structure functions. The methods are first calibrated on the Burgers problem and are then applied to the 3D Euler equations. Known properties of low order structure functions appear with a relatively small computational outlay; however, more sensitive properties cannot yet be resolved with this approach well enough to settle ongoing controversies.


title: A comparative study of two stochastic mode reduction methods

abstract: We present a comparative study of two methods for the reduction of the dimensionality of a system of ordinary differential equations that exhibits time-scale separation. Both methods lead to a reduced system of stochastic differential equations. The novel feature of these methods is that they allow the use, in the reduced system, of higher order terms in the resolved variables. The first method, proposed by Majda, Timofeyev and Vanden-Eijnden, is based on an asymptotic strategy developed by Kurtz. The second method is a short-memory approximation of the Mori-Zwanzig projection formalism of irreversible statistical mechanics, as proposed by Chorin, Hald and Kupferman. We present conditions under which the reduced models arising from the two methods should have similar predictive ability. We apply the two methods to test cases that satisfy these conditions. The form of the reduced models and the numerical simulations show that the two methods have similar predictive ability as expected.


title: Reverse Inequalities for the Numerical Radius of Linear Operators in Hilbert Spaces

abstract: Some elementary inequalities providing upper bounds for the difference of the norm and the numerical radius of a bounded linear operator on Hilbert spaces under appropriate conditions are given.


title: Hyperbolic 2-dimensional manifolds with 3-dimensional automorphism group

abstract: In this paper we determine all Kobayashi-hyperbolic 2-dimensional complex manifolds for which the group of holomorphic automorphisms has dimension 3. This work concludes a recent series of papers by the author on the classification of hyperbolic $n$-dimensional manifolds, with automorphism group of dimension at least $n^2-1$, where $n\ge 2$.


title: Discrete radar ambiguity problems

abstract: In this paper, we pursue the study of the radar ambiguity problem started in \cite{Ja,GJP}. More precisely, for a given function $u$ we ask for all functions $v$ (called \emph{ambiguity partners}) such that the ambiguity functions of $u$ and $v$ have same modulus. In some cases, $v$ may be given by some elementary transformation of $u$ and is then called a \emph{trivial partner} of $u$ otherwise we call it a \emph{strange partner}. Our focus here is on two discrete versions of the problem. For the first one, we restrict the problem to functions $u$ of the Hermite class, $u=P(x)e^{-x^2/2}$, thus reducing it to an algebraic problem on polynomials. Up to some mild restriction satisfied by quasi-all and almost-all polynomials, we show that such a function has only trivial partners. The second discretization, restricting the problem to pulse type signals, reduces to a combinatorial problem on matrices of a special form. We then exploit this to obtain new examples of functions that have only trivial partners. In particular, we show that most pulse type signals have only trivial partners. Finally, we clarify the notion of \emph{trivial partner}, showing that most previous counterexamples are still trivial in some restricted sense.


title: Automorphic equivalence of one-sorted algebras

abstract: One of the central questions of universal algebraic geometry is: when two algebras have the same algebraic geometry? There are various interpretations of the sentence "Two algebras have the same algebraic geometry". One of these is automorphic equivalence of algebras, which is discussed in this paper, and the other interpretation is geometric equivalence of algebras. In this paper we consider very wide and natural class of algebras: one sorted algebras from IBN variety. The variety is called an IBM variety if two free algebras W(X), W(Y) of this variety are isomorphic if and only if the powers of sets X and Y coincide. In the researching of the automorphic equivalence of algebras we must study the group of automorphisms of the category of the all finitely generated free algebras of our variety and the group of its automorphisms. By [PZ, Theorem 2], if we deal with an IBN variety of one-sorted algebras, then every strongly stable (see Definition 3.1) automorphism of our category defines the other algebraic structure on every algebra H of our variety, such that this algebra with the new algebraic structure automorphically equivalent to the algebra H (Theorem 4.1), i.e., has the same algebraic geometry. From this we conclude the necessary and sufficient conditions for two algebras to be automorphically equivalent. We formulate these conditions by using the notion of geometric equivalence of algebras. It means that we reduce automorphic equivalence of algebras to the simpler notion of geometric equivalence. This paper is a continuation of the research which was started in [PZ].


title: The SL(2,C) character variety of the one-holed torus

abstract: In this note we announce several results concerning the SL(2,C) character variety ${\mathcal X}$ of the one-holed torus. We give a description of the largest open subset ${\mathcal X}_{BQ}$ of ${\mathcal X}$ on which the mapping class group $\Gamma$ acts properly discontinuously, in terms of two very simple conditions, and show that a series identity generalizing McShane's identity for the punctured torus holds for all characters in this subset. We also give variations of the McShane-Bowditch identities to characters fixed by an Anosov element of $\Gamma$ with applications to closed hyperbolic three manifolds. Finally we give a definition of end invariants for SL(2,C) characters and give a partial classification of the set of end invariants of a character in ${\mathcal X}$.


title: Vafa-Witten bound on the complex projective space

abstract: We prove that the largest first eigenvalue of the Dirac operator among all hermitian metrics on the complex projective space of odd dimension $m$, larger than the Fubini-Study metric is bounded by $(2m(m+1))^{1/2}$.


title: Exchange Leavitt path algebras and stable rank

abstract: We characterize Leavitt path algebras which are exchange rings in terms of intrinsic properties of the graph and show that the values of the stable rank for these algebras are 1, 2 or $\infty$. Concrete criteria in terms of properties of the underlying graph are given for each case.


title: Large groups, Property (tau) and the homology growth of subgroups

abstract: We investigate the homology of finite index subgroups G_i of a given finitely presented group G. Specifically, we examine d_p(G_i), which is the dimension of the first homology of G_i, with mod p coefficients. We say that a collection of finite index subgroups {G_i} has linear growth of mod p homology if the infimum of d_p(G_i)/[G:G_i] is positive. We show that if this holds and each G_i is normal in its predecessor and has index a power of p, then one of the following possibilities must be true: G is large (that is, some finite index subgroup admits a surjective homomorphism onto a non-abelian free group) or G has Property (tau) with respect to {G_i}. The arguments are based on the geometry and topology of finite 2-complexes. This has several consequences. It implies that if the pro-p completion of a finitely presented group G has exponential subgroup growth, then G has Property (tau) with respect to some nested sequence of finite index subgroups. It also has applications to low-dimensional topology. We use it to prove that a group-theoretic conjecture of Lubotzky-Zelmanov would imply the following: any lattice in PSL(2,C) with torsion is large. We also relate linear growth of mod p homology to the existence of certain important error-correcting codes: those that are `asymptotically good', which means that they have large rate and large Hamming distance.


title: Special subvarieties of A_g

abstract: We discuss and extend some of the results obtained in "Arakelov inequalities and the uniformization of certain rigid Shimura varieties" (math.AG/0503339), restricting ourselves to the two dimensional case, i.e. to surfaces Y mapping generically finite to the moduli stack of Abelian varieties. In particular we show that Y is a Hilber modular surfaces if and only if the dergee of the Hodge bundle satisfies the Arakelov equality. In the revised version, we corrected some minor mistakes, pointed out by the referee, and we tried to improve the presentation of the text.


title: Locally conformal parallel $G_2$ and $Spin(7)$ manifolds

abstract: We characterize compact locally conformal parallel $G_2$ (respectively, $Spin(7)$) manifolds as fiber bundles over $S^1$ with compact nearly K\"ahler (respectively, compact nearly parallel $G_2$) fiber. A more specific characterization is provided when the local parallel structures are flat.


title: Refined Kirby calculus for integral homology spheres

abstract: A theorem of Kirby states that two framed links in the 3-sphere produce orientation-preserving homeomorphic results of surgery if they are related by a sequence of stabilization and handle-slide moves. The purpose of the present paper is twofold: First, we give a sufficient condition for a sequence of handle-slides on framed links to be able to be replaced with a sequences of algebraically canceling pairs of handle-slides. Then, using the first result, we obtain a refinement of Kirby's calculus for integral homology spheres which involves only +/-1-framed links with zero linking numbers.


title: The Kac Jordan superalgebra: automorphisms and maximal subalgebras

abstract: The group of automorphisms of the Kac Jordan superalgebra is described, and used to classify the maximal subalgebras.


title: Further examples of explicit Krein representations of certain subordinators

abstract: In a previous paper, we have shown that the gamma subordinators may be represented as inverse local times of certain diffusions. In the present paper, we give such representations for other subordinators whose L\'evy densities are of the form $ \frac{\mathcal{C}}{(\sinh(y))^\gamma}$, $0 < \gamma < 2$, and the more general family obtained from those by exponential tilting.


title: On the smallest poles of Igusa's p-adic zeta functions

abstract: Let K be a p-adic field. We explore Igusa's p-adic zeta function, which is associated to a K-analytic function on an open and compact subset of K^n. First we deduce a formula for an important coefficient in the Laurent series of this meromorphic function at a candidate pole. Afterwards we use this formula to determine all values less than -1/2 for n=2 and less than -1 for n=3 which occur as the real part of a pole.


title: Lower bound for the poles of Igusa's p-adic zeta functions

abstract: Let K be a p-adic field, R the valuation ring of K, P the maximal ideal of R and q the cardinality of the residue field R/P. Let f be a polynomial over R in n>1 variables and let \chi be a character of R^{\times}. Let M_i(u) be the number of solutions of f=u in (R/P^i)^n for i \in \mathbb{Z}_{\geq 0} and u \in R/P^i. These numbers are related with Igusa's p-adic zeta function Z_{f,\chi}(s) of f. We explain the connection between the M_i(u) and the smallest real part of a pole of Z_{f,\chi}(s). We also prove that M_i(u) is divisible by q^{\ulcorner(n/2)(i-1)\urcorner}, where the corners indicate that we have to round up. This will imply our main result: Z_{f,\chi}(s) has no poles with real part less than -n/2. We will also consider arbitrary K-analytic functions f.


title: Decomposing symmetric powers of certain modular representations of cyclic groups

abstract: For a prime number p, we construct a generating set for the ring of invariants for the p+1 dimensional indecomposable modular representation of a cyclic group of order p^2. We then use the constructed invariants to describe the decomposition of the symmetric algebra as a module over the group ring, confirming the Periodicity Conjecture of Ian Hughes and Gregor Kemper for this case.


title: The multiplicity of pairs of modules and hypersurface singularities

abstract: This paper applies the multiplicity polar theorem to the study of hypersurfaces with non-isolated singularities. The multiplicity polar theorem controls the multiplicity of a pair of modules in a family by relating the multiplicity at the special fiber to the multiplicity of the pair at the general fiber. It is as important to the study of multiplicities of modules as the basic theorem in ideal theory which relates the multiplicity of an ideal to the local degree of the map formed from the generators of a minimal reduction. In fact, as a corollary of the theorem, we show here that for M a submodule of finite length of a free module F over the local ring of an equidimensional complex analytic germ, that the number of points at which a generic perturbation of a minimal reduction of M is not equal to F, is the multiplicity of M. In this paper we apply this result to the study of stratification conditions on families of hypersurfaces, obtaining the first set of invariants giving necessary and sufficient conditions for the A_f condition for hypersurfaces with non-isolated singularities.


title: Slices for lifted tangent and cotangent actions

abstract: Given a Lie group G, a G-manifold M, and a point b of M with compact stabilizer, we construct slices for the lifted tangent and cotangent actions at a pre-image of b in terms of a slice for the G-action on M at the point b. We interpret the slice for the lifted cotangent action in terms of a symplectic slice and in terms of a Witt-Artin-decomposition.


title: PDE's for the Gaussian ensemble with external source and the Pearcey distribution

abstract: The present paper studies a Gaussian Hermitian random matrix ensemble with external source, given by a fixed diagonal matrix with two eigenvalues a and -a. As a first result, the probability that the eigenvalues of the ensemble belong to a set satisfies a fourth order PDE with quartic non-linearity; the variables being the eigenvalue a and the boundary points of the set. This equation enables one to find a PDE for the Pearcey distribution. The latter describes the statistics of the eigenvalues near the closure of a gap; i.e., when the support of the equilibrium measure for large size random matrices has a gap, which can be made to close. Precisely, the Gaussian Hermitian random matrix ensemble with external source has this feature. In this work, we show the Pearcey distribution satisfies a a fourth order PDE with cubic non-linearity. The PDE for the finite problem is found by by showing that an appropriate integrable deformation of the random matrix ensemble with external source satisfies the three-component KP equation and Virasoro constraints.


title: Stability conditions on a non-compact Calabi-Yau threefold

abstract: We study the space of stability conditions $\Stab(X)$ on the non-compact Calabi-Yau threefold $X$ which is the total space of the canonical bundle of $\PP^2$. We give a combinatorial description of an open subset of $\Stab(X)$ and state a conjecture relating $\Stab(X)$ to the Frobenius manifold obtained from the quantum cohomology of $\PP^2$. We give some evidence from mirror symmetry for this conjecture.


title: Moduli of rank 4 symplectic bundles over a curve of genus 2

abstract: Let X be a complex projective curve which is smooth and irreducible of genus 2. The moduli space M_2 of semistable symplectic vector bundles of rank 4 over X is a variety of dimension 10. After assembling some results on vector bundles of rank 2 and odd degree over X, we construct a generically finite cover of M_2 by a family of 5-dimensional projective spaces, and outline some applications.


title: Basic representations of quantum current algebras in higher genus

abstract: We construct level 1 basic representations of the quantized current algebras associated to higher genus algebraic curves using one free field. We also clarify the relation between the elliptic current algebras of the papers [EF] and [JKOS].


title: Proximality in Pisot Tiling Spaces

abstract: A substitution $\vp$ is strong Pisot if its abelianization matrix is non-singular and all eigenvalues except the Perron-Frobenius eigenvalue have modulus less than one. For strong Pisot $\vp$ that satisfies a no cycle condition and for which the translation flow on the tiling space $\T_\vp$ has pure discrete spectrum, we describe the collection $\T^P_\vp$ of pairs of proximal tilings in $\T_\vp$ in a natural way as a substitution tiling space. We show that if $\psi$ is another such substitution, then $\T_\vp $ and $\T_\psi$ are homeomorphic if and only if $\T^P_\vp$ and $\T^P_\psi$ are homeomorphic. We make use of this invariant to distinguish tiling spaces for which other known invariants are ineffective. In addition, we show that for strong Pisot substitutions, pure discrete spectrum of the flow on the associated tiling space is equivalent to proximality being a closed relation on the tiling space.


title: Tensor categories and vacant double groupoids

abstract: We show that fusion categories $\Rep(\ku^{\sigma}_{\tau} \Tc)$ of representations of the weak Hopf algebra coming from a vacant double groupoid $\Tc$ and a pair $(\sigma, \tau)$ of compatible 2-cocyles are group-theoretical.


title: Manifolds homotopy equivalent to P^n # P^n

abstract: We classify, up to homeomorphism, all closed manifolds having the homotopy type of a connected sum of two copies of real projective n-space.


title: Surgery descriptions and volumes of Berge knots I: Large volume Berge knots

abstract: By obtaining surgery descriptions of knots which lie on the genus one fiber of the trefoil or figure eight knot, we show that these include hyperbolic knots with arbitrarily large volume. These knots admit lens space surgeries and form two families of Berge knots. By way of tangle descriptions we also obtain surgery descriptions for these knots on minimally twisted chain links.


title: Surgery descriptions and volumes of Berge knots II: Descriptions on the minimally twisted five chain link

abstract: Using Kirby Calculus, we explicitly pass from Berge's R-R descriptions of ten families of knots with lens space surgeries to surgery descriptions on the minimally twisted five chain link (MT5C). Since the MT5C admits a strong involution, we also give the corresponding tangle descriptions.


title: On lifting stable diagrams in Frobenius categories

abstract: Suppose given a Frobenius category E, i.e. an exact category with a big enough subcategory B of bijectives. Let_E_ := E/B denote its classical stable category. For example, we may take E to be the category of complexes C(A) with entries in an additive category A, in which case_E_ is the homotopy category of complexes K(A). Suppose given a finite poset D that satisfies the combinatorial condition of being ind-flat. Then, given a diagram of shape D with values in_E_ (i.e. commutative up to homotopy), there exists a diagram consisting of pure monomorphisms with values in E (i.e. commutative) that is isomorphic, as a diagram with values in_E_, to the given diagram.


title: The Segal-Bargmann transform for the heat equation associated with root systems

abstract: We study the heat equation associated to a multiplicity function on a root system, where the corresponding Laplace operator has been defined by Heckman and Opdam. In particular, we describe the image of the associated Segal-Bargmann transform as a space of holomorphic functions. In the case where the multiplicity function corresponds to a Riemannian symmetric space G/K of noncompact type, we obtain a description of the image of the space of K-invariant L^2-function on G/K under the Segal-Bargmann transform associated to the heat equation on G/K, thus generalizing (and reproving) a result of B. Hall for spaces of complex type.


title: Differential Recursion Relations for Laguerre Functions on Symmetric Cones

abstract: Let $\Omega$ be a symmetric cone and $V$ the corresponding simple Euclidean Jordan algebra. In \cite{ado,do,do04,doz2} we considered the family of generalized Laguerre functions on $\Omega$ that generalize the classical Laguerre functions on $\mathbb{R}^+$. This family forms an orthogonal basis for the subspace of $L$-invariant functions in $L^2(\Omega,d\mu_\nu)$, where $d\mu_\nu$ is a certain measure on the cone and where $L$ is the group of linear transformations on $V$ that leave the cone $\Omega$ invariant and fix the identity in $\Omega$. The space $L^2(\Omega,d\mu_\nu)$ supports a highest weight representation of the group $G$ of holomorphic diffeomorphisms that act on the tube domain $T(\Omega)=\Omega + iV.$ In this article we give an explicit formula for the action of the Lie algebra of $G$ and via this action determine second order differential operators which give differential recursion relations for the generalized Laguerre functions generalizing the classical creation, preservation, and annihilation relations for the Laguerre functions on $\mathbb{R}^+$.


title: Secondary terms in the number of vanishings of quadratic twists of elliptic curve L-functions

abstract: We examine the number of vanishings of quadratic twists of the L-function associated to an elliptic curve. Applying a conjecture for the full asymptotics of the moments of critical L-values we obtain a conjecture for the first two terms in the ratio of the number of vanishings of twists sorted according to arithmetic progressions.


title: Hamiltonian symmetries and reduction in generalized geometry

abstract: A closed 3-form $H \in \Omega^3_0(M)$ defines an extension of $\Gamma(TM)$ by $\Omega^2_0(M)$. This fact leads to the definition of the group of $H$-twisted Hamiltonian symmetries $\Ham(M, \JJ; H)$ as well as Hamiltonian action of Lie group and moment map in the category of (twisted) generalized complex manifold. The Hamiltonian reduction in the category of generalized complex geometry is then constructed. The definitions and constructions are natural extensions of the corresponding ones in the symplectic geometry. We describe cutting in generalized complex geometry to show that it's a general phenomenon in generalized geometry that topology change is often accompanied by twisting (class) change.


title: Asymptotic behavior of $L^2$-normalized eigenfunctions of the Laplace-Beltrami operator on a closed Riemannian manifold

abstract: Let $e(x,y,\l)$ be the spectral function and ${\chi}_\l$ the unit band spectral projection operator, with respect to the Laplace-Beltrami operator $\D_M$ on a closed Riemannian manifold $M$. We firstly review the one-term asymptotic formula of $e(x,x,\l)$ as $\l\to\infty$ by H{\" o}rmander (1968) and the one of $\p^\al_x\p^\bt_y e(x,y,\l)|_{x=y}$ as $\l\to\infty$ in a geodesic normal coordinate chart by the author (2004) and the sharp asymptotic estimates from above of the mapping norm $\|\chi_\l\|_{L_2\to L_p}$ ($2\leq p\leq\infty$) by Sogge (1988 $&$ 1989) and of the mapping norm $\|\chi_\l\|_{L_2\to {\rm Sobolev} L_p}$ by the author (2004). In the paper we show the one term asymptotic formula for $e(x,y,\l)$ as $\l\to\infty$, provided that the Riemannian distance between $x$ and $y$ is ${\rm O}(1/\l)$. As a consequence, we obtain the sharp estimate of the mapping norm $\|\chi_\l\|_{L_2\to C^\d}$ ($0<\d<1$), where $C^\d(M)$ is the space of H{\" o}lder continuous functions with exponent $\d$ on $M$. Moreover, we show a geometric property of the eigenfunction $e_\l$: $\D_M e_\l+\l^2 e_\l=0$, which says that $1/\l$ is comparable to the distance between the nodal set of $e_\l$ (where $e_\l$ vanishes) and the concentrating set of $e_\l$ (where $e_\l$ attains its maximum or minimum) as $\l\to\infty$.


title: Weak convergence of finite graphs, integrated density of states and a Cheeger type inequality

abstract: In \cite{Elek} we proved that the limit of a weakly convergent sequence of finite graphs can be viewed as a graphing or a continuous field of infinite graphs. Thus one can associate a type $II_1$-von Neumann algebra to such graph sequences. We show that in this case the integrated density of states exists that is the weak limit of the spectra of the graph Laplacians of the finite graphs is the KNS-spectral measure of the graph Laplacian of the limit graphing. Using this limit technique we prove a Cheeger type inequality for finite graphs.


title: The $F$-triangle of the generalised cluster complex

abstract: The $F$-triangle is a refined face count for the generalised cluster complex of Fomin and Reading. We compute the $F$-triangle explicitly for all irreducible finite root systems. Furthermore, we use these results to partially prove the "$M=F$ Conjecture" of Armstrong which predicts a surprising relation between the $F$-triangle and the M\"obius function of his $m$-divisible partition poset associated to a finite root system.


title: The solution of the global controllability problem for the triangular systems in the singular case

abstract: The solution of the global controllability problem is obtained for a class of the triangular systems of O.D.E. that are not feedback linearizable. The introduced class is a generalization of the classes of triangular systems investigated before. The solution of the problem is based on the approach proposed in another work [18] devoted to the triangular systems of the Volterra equations and written jointly with W.H. Schmidt by the current authors. This yields the same properties of the considered class of triangular systems as those established in [18] for the Volterra systems. As well as in [18], for the current class of triangular systems, it is proven that there exists a family of continuous controls that solve the global controllability problem for the considered class and continuously depend on the initial and the terminal states. As well as in [18], this implies the global controllability of the bounded perturbations of the current class. In contrast with [18], to prove the existence of the desired family of open-loop controls, we construct a family of closed-loop ones each of which steers the corresponding initial state into an appropriate neighborhood of an appropriate terminal point.


title: Simple decompositions of simple Lie superalgebras

abstract: In this paper we consider Lie superalgebras decomposable as the sum of two proper subalgebras. Any of these algebras has the form of the vector space sum $L=A+B$ where $A$ and $B$ are proper simple subalgebras which need not be ideals of $L$, and the sum need not be direct. The main result of this paper is the following: Let $S = {osp}(m,2n)$ be a Lie superalgebra such that $S=K+L$ where $K$, $L$ are two proper basic simple subalgebras. Then $m$ is even, $m=2k$ and $K \cong osp(2k-1,2n)$, $L \cong sl(k,n)$.


title: Random Walk in Dynamic Markovian Random Environment

abstract: We consider a model, introduced by Boldrighini, Minlos and Pellegrinotti, of random walks in dynamical random environments on the integer lattice Z^d with d>=1. In this model, the environment changes over time in a Markovian manner, independently across sites, while the walker uses the environment at its current location in order to make the next transition. In contrast with the cluster expansions approach of Boldrighini, Minlos and Pellegrinotti, we follow a probabilistic argument based on regeneration times. We prove an annealed SLLN and invariance principle for any dimension, and provide a quenched invariance principle for dimension d > 7, providing for d>7 an alternative to the analytical approach of Boldrighini, Minlos and Pellegrinotti, with the added benefit that it is valid under weaker assumptions. The quenched results use, in addition to the regeneration times already mentioned, a technique introduced by Bolthausen and Sznitman.


title: The supersingular locus of the Shimura variety for GU(1,s)

abstract: In this paper we study the supersingular locus of the reduction modulo p of the Shimura variety for GU(1,s) in the case of an inert prime p. Using Dieudonn\'e theory we define a stratification of the corresponding moduli space of p-divisible groups. We describe the incidence relation of this stratification in terms of the Bruhat-Tits building of a unitary group. In the case of GU(1,2), we show that the supersingular locus is equi-dimensional of dimension 1 and is of complete intersection. We give an explicit description of the irreducible components and their intersection behaviour.


title: Lehmer's question, knots and surface dynamics

abstract: Lehmer's question is equivalent to one about generalized growth rates of Lefschetz numbers of iterated pseudo-Anosov surface homeomorphisms. One need consider only homeomorphisms that arise as monodromies of fibered knots in lens spaces L(n,1), n>0. Lehmer's question for Perron polynomials is equivalent to one about generalized growth rates of words under injective free group endomorphisms.


title: Symmetries in generalized K\"{a}hler geometry

abstract: We define the notion of a moment map and reduction in both generalized complex geometry and generalized K\"{a}hler geometry. As an application, we give very simple explicit constructions of bi-Hermitian structures on $\C\P^n$, Hirzebruch surfaces, the blow up of $\CP^2$ at arbitrarily many points, and other toric varieties, as well as complex Grassmannians.


title: Optimal control of Goursat-Darboux systems in domains with curvilinear boundaries

abstract: We derive necessary conditions for optimality in control problems governed by hyperbolic partial differential equations in Goursat-Darboux form. The conditions consist of a set of Hamiltonian equations in Goursat form, side conditions for the Hamiltonian equations, and an extremum principle akin to Pontryagin's maximum principle. The novel ingredient is that the domain over which the optimal control problem is posed is not rectangular. The non-rectangular nature of the domain affects the optimality conditions in a substantial way.


title: Lie algebroids and Cartan's method of equivalence

abstract: Elie Cartan's general equivalence problem is recast in the language of Lie algebroids. The resulting formalism, being coordinate and model-free, allows for a full geometric interpretation of Cartan's method of equivalence via reduction and prolongation. We show how to construct certain normal forms (Cartan algebroids) for objects of finite-type, and are able to interpret these directly as infinitesimal symmetries deformed by curvature.' Details are developed for transitive structures but rudiments of the theory include intransitive structures (intransitive symmetry deformations). Detailed illustrations include subriemannian contact structures and conformal geometry.


title: On degenerations between preprojective modules over wild quivers

abstract: We study minimal degenerations between preprojective modules over wild quivers. Asymptotic properties of such degenerations are studied, with respect to codimension and numbers of indecomposable direct summands. We provide families of minimal disjoint degenerations of arbitrary codimension for almost all wild quivers and show that no such examples exist in the remaining cases.


title: Nonlinear Instability in Gravitational Euler-Poisson system for $\gamma={6/5}$

abstract: The dynamics of gaseous stars can be described by the Euler-Poisson system. Inspired by Rein's stability result for $\gamma>{4/3}$, we prove the nonlinear instability of steady states for the adiabatic exponent $\gamma={6/5}$ in spherically symmetric and isentropic motion.


title: Faithfulness of the Lawrence representation of braid groups

abstract: The Lawrence representation $L_{n,m}$ is a family of homological representation of the braid group $B_n$, which specializes to the reduced Burau and the Lawrence-Krammer representation when $m$ is 1 and 2. In this article we show that the Lawrence representation is faithful for $m \geq 2$.


title: Poisson structures on affine spaces and flag varieties. II. General case

abstract: The standard Poisson structures on the flag varieties G/P of a complex reductive algebraic group G are investigated. It is shown that the orbits of symplectic leaves in G/P under a fixed maximal torus of G are smooth irreducible locally closed subvarieties of G/P, isomorphic to intersections of dual Schubert cells in the full flag variety G/B of G, and their Zariski closures are explicitly computed. Two different proofs of the former result are presented. The first is in the framework of Poisson homogeneous spaces and the second one uses an idea of weak splittings of surjective Poisson submersions, based on the notion of Poisson--Dirac submanifolds. For a parabolic subgroup P with abelian unipotent radical (in which case G/P is a Hermitian symmetric space of compact type), it is shown that all orbits of the standard Levi factor L of P on G/P are complete Poisson subvarieties which are quotients of L, equipped with the standard Poisson structure. Moreover, it is proved that the Poisson structure on G/P vanishes at all special base points for the L-orbits on G/P constructed by Richardson, R\"ohrle, and Steinberg.


title: Virtual fundamental classes, global normal cones and Fulton's canonical classes

abstract: This paper, first written in 1997, aims at a simplified and more elementary construction of algebraic-geometric virtual fundamental classes as defined by Li/Tian and Behrend/Fantechi. We replace the use of Artin stacks in the latter approach by a yoga of cone bundles of possible independent interest. We also observe a formula for virtual fundamental classes involving only the total Chern class of the index bundle and Fulton's canonical class of the moduli space.


title: Rankin-Selberg without unfolding and bounds for spherical Fourier coefficients of Maass forms

abstract: We use the uniqueness of various invariant functionals on irreducible unitary representations of PGL(2,R) in order to deduce the classical Rankin-Selberg identity for the sum of Fourier coefficients of Maass cusp forms and its new anisotropic analog. We deduce from these formulas non-trivial bounds for the corresponding unipotent and spherical Fourier coefficients of Maass forms. As an application we obtain a subconvexity bound for certain L-functions. Our main tool is the notion of Gelfand pair.


title: Applications of Bimatrices to some Fuzzy and Neutrosophic Models

abstract: This book, in order to generalize the two models of fuzzy cognitive maps and neutrosophic cognitive maps, has systematically invented mathematical tools like bimatrices, trimatrices, n-matrices, bigraphs, trigraphs and n-graphs and describe some of its properties. These concepts are also extended neutrosophically in this book. Using these new tools we define fuzzy cognitive bimaps, fuzzy cognitive trimaps, fuzzy relational bimaps and fuzzy relational trimaps which exploit the new notions of bimatrices, bigraphs, trimatrices and trigraphs. It is worth mentioning that these can be extended to n-array models as a simple exercise. The main advantage of these models are: 1. Comparative study of the views stage-by-stage is possible. 2. Several experts opinion can be compared not only at each stage but also the final result can easily be compared. 3. Saves time and economy. This book is organized into four chapters. The first chapter recalls the basic concepts of bimatrices and neutrosophic bimatrices. Second chapter introduces several new notions of graphs like bigraphs, trigraphs and their properties. Chapter three illustrates how these new tools are used in the construction of fuzzy cognitive bimaps, trimaps and n-maps and fuzzy relational bimaps, trimaps and n-maps. The neutrosophic analogues of chapter 3 is carried out in the fourth chapter. In this book, we have given nearly 95 examples to make the reader easily follow the definitions. We have also provided 125 figures for help in easily understanding the definition and examples. We have also given 25 real world problems as applications of Bimatrices to Fuzzy and Neutrosophic models.


title: Finiteness results for Teichmueller curves

abstract: We show that for each genus there are only finitely many algebraically primitive Teichmueller curves C, such that i) C lies in the hyperelliptic locus and ii) C is generated by an abelian differential with two zeros of order g-1. We prove moreover that for these Teichmueller curves the trace field of the affine group is not only totally real but cyclotomic.


title: Estimation of a k-monotone density, part 1: characterizations consistency, and minimax lower bounds

abstract: Shape constrained densities are encountered in many nonparametric estimation problems. The classes of monotone or convex (and monotone) densities can be viewed as special cases of the classes of k-monotone densities. A density g is said to be k-monotone if its successive derivatives up to order k-2 are alternately negative or positive, with the k-2 derivative convex (or concave) according as k is even (or odd) respectively. g is simply nonincreasing if k=1. These classes of shape constrained densities bridge the gap between the classes of monotone (1-monotone) and convex decreasing (2-monotone) densities for which asymptotic results are known, and the class of completely monotone densities with k infinite. In this series of four papers we consider both (nonparametric) Maximum Likelihood estimators and Least Squares estimators of a k-monotone density. In this first part (part 1), we prove existence of the estimators and give characterizations. We also establish consistency properties, and show that the estimators are splines of order k (degree k-1) with simple knots. We further provide asymptotic minimax risk lower bounds for estimating a k-monotone density g_0 (x_0) and its derivatives g_0^{(j)}(x_0), for j=1, ..., k-1, at a fixed point x_0 under the assumption that the k-th derivative of g_0 at x_0 is non-zero.


title: Estimation of a $k$-monotone density: limit distribution theory and the spline connection

abstract: We study the asymptotic behavior of the Maximum Likelihood and Least Squares Estimators of a $k$-monotone density $g_0$ at a fixed point $x_0$ when $k>2$. We find that the $j$th derivative of the estimators at $x_0$ converges at the rate $n^{-(k-j)/(2k+1)}$ for $j=0,...,k-1$. The limiting distribution depends on an almost surely uniquely defined stochastic process $H_k$ that stays above (below) the $k$-fold integral of Brownian motion plus a deterministic drift when $k$ is even (odd). Both the MLE and LSE are known to be splines of degree $k-1$ with simple knots. Establishing the order of the random gap $\tau_n^+-\tau_n^-$, where $\tau_n^{\pm}$ denote two successive knots, is a key ingredient of the proof of the main results. We show that this ``gap problem'' can be solved if a conjecture about the upper bound on the error in a particular Hermite interpolation via odd-degree splines holds.


title: Closed essential surfaces in the complements of large volume Berge knots

abstract: We construct an algorithm that lists all closed essential surfaces in the complement of a knot that lies on the fiber of a trefoil or figure eight knot. Such knots are Berge knots and hence admit lens space surgeries. Furthermore they may have arbitrarily large hyperbolic volume. Using this algorithm we concoct large volume Berge knots of two flavors: those whose complement contains arbitrarily many distinct closed essential surfaces, and those whose complement contains no closed essential surfaces.


title: Hopfological algebra and categorification at a root of unity: the first steps

abstract: Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories are generalizations of homotopy and derived categories of modules over a differential graded algebra. We expect that, for suitable H, our construction could be a starting point in the program of categorifying quantum invariants of 3-manifolds.


title: Inconsistency of the MLE for the joint distribution of interval censored survival times and continuous marks

abstract: This paper considers the nonparametric maximum likelihood estimator (MLE) for the joint distribution function of an interval censored survival time and a continuous mark variable. We provide a new explicit formula for the MLE in this problem. We use this formula and the mark specific cumulative hazard function of Huang and Louis (1998) to obtain the almost sure limit of the MLE. This result leads to necessary and sufficient conditions for consistency of the MLE which imply that the MLE is inconsistent in general. We show that the inconsistency can be repaired by discretizing the marks. Our theoretical results are supported by simulations.


title: Topology, geometry, and equations of normal surface singularities

abstract: This expository talk is an expanded version of a lecture at G.-M. Greuel's 60th Birthday Conference in Kaiserslautern in October, 2004. We survey recent work of Neumann-Wahl and others on the relation between topology and geometry of normal surface singularities, especially how to write explicit equations of a singularity with given topology, in case the link is a rational homology sphere (i.e., the resolution graph is a tree of rational curves). Specifically, under some reasonable conditions on the link, there is an explicit "complete intersection of splice type" whose link is the universal abelian cover of the original one, and for which the action of the covering group can be explicitly described. Recent work of T. Okuma shows every rational surface singularity can be described in this way. Full details are found in papers in Geometry and Topology, math.AG/0301165 and math.AG/0407287.


title: Effective Non-vanishing for Algebraic Surfaces in Positive Characteristic

abstract: We give a theorem on the effective non-vanishing problem for algebraic surfaces in positive characteristic. For the Kawamata-Viehweg vanishing, the logarithmic Kollar vanishing and the logarithmic semipositivity, we give their counterexamples on ruled surfaces in positive characteristic.


title: A simple proof on the non-existence of shrinking breathers for the Ricci flow

abstract: Suppose $M$ is a compact n-dimensional manifold, $n\ge 2$, with a metric $g_{ij}(x,t)$ that evolves by the Ricci flow $\partial_tg_{ij}=-2R_{ij}$ in $M\times (0,T)$. We will give a simple proof of a recent result of Perelman on the non-existence of shrinking breather without using the logarithmic Sobolev inequality.


title: Actions of Galois groups on invariants of number fields

abstract: In this paper we investigate the connection between relations among various invariants of number field s $L^H$ coresponding to subgroups $H$ acting on $L$ and of linear relations among norm idempotents.


title: Cohomology of bifunctors

abstract: We initiate the study of the cohomology of (strict polynomial) bifunctors by introducing the foundational formalism, establishing numerous properties in analogy with the cohomology of functors, and providing computational techniques. Since one of the initial motivations for the study of functor cohomology was the determination of the cohomology of GL(k) with coefficients in a tensor product of a symmetric and an exterior power of the adjoint representation, we keep this challenging example in mind as we achieve numerous computations which illustrate our methods.


title: Finitely presented wreath products and double coset decompositions

abstract: We characterize which permutational wreath products W^(X)\rtimes G are finitely presented. This occurs if and only if G and W are finitely presented, G acts on X with finitely generated stabilizers, and with finitely many orbits on the cartesian square X^2. On the one hand, this extends a result of G. Baumslag about standard wreath products; on the other hand, this provides nontrivial examples of finitely presented groups. For instance, we obtain two quasi-isometric finitely presented groups, one of which is torsion-free and the other has an infinite torsion subgroup. Motivated by the characterization above, we discuss the following question: which finitely generated groups can have a finitely generated subgroup with finitely many double cosets? The discussion involves properties related to the structure of maximal subgroups, and to the profinite topology.


title: Uniqueness of Hamiltonian volume minimizing Lagrangian submanifolds which are Hamiltonian isotopic to RP^n in CP^n

abstract: The purpose of this short note is to prove the uniqueness of Hamiltonian volume minimizing Lagrangian submanifolds which are Hamiltonian isotopic to RP^n in CP^n modulo isometric group actions.


title: Galois theory of the canonical theta structure

abstract: In this article we give a Galois-theoretic characterization of the canonical theta structure. The Galois property of the canonical theta structure translates into certain $p$-adic theta relations which are satisfied by the canonical theta null point of the canonical lift. As an application we give a purely algebraic proof of some 2-adic theta identities which describe the set of theta null points of the canonical lifts of ordinary abelian varieties in characteristic 2. The latter theta relations are suitable for explicit canonical lifting.


title: Absolutely continuous, invariant measures for dissipative, ergodic transformations

abstract: We show that a dissipative, ergodic measure preserving transformation of a sigma-finite, non-atomic measure space always has many non-proportional, absolutely continuous, invariant measures and is ergodic with respect to each one of these.


title: Characteristic functions for multicontractions and automorphisms of the unit ball

abstract: A \emph{multicontraction} on a Hilbert space $\HH$ is an $n$-tuple of operators $T=(T_1,...,T_n)$ acting on $\HH$, such that $\sum_{i=1}^n T_i T_i^*\le \1_\HH$. We obtain some results related to the characteristic function of a commuting multicontraction, most notably discussing its behaviour with respect to the action of the analytic automorphisms of the unit ball.


title: A remark on an inequality for the prime counting function

abstract: We note that the inequalities $0.92 \frac{x}{\log(x)} <\pi(x)< 1.11 \frac{x}{\log(x)}$ do not hold for all $x\ge 30$, contrary to some references. These estimates on $\pi(x)$ came up recently in papers on algebraic number theory.


title: On well-posedness for the Benjamin-Ono equation

abstract: We prove existence of solutions for the Benjamin-Ono equation with data in $H^s(\R)$, $s>0$. Thanks to conservation laws, this yields global solutions for $H^\frac 1 2(\R)$ data, which is the natural ``finite energy'' class. Moreover, inconditional uniqueness is obtained in $L^\infty_t(H^\frac 1 2(\R))$, which includes weak solutions, while for $s>\frac 3 {20}$, uniqueness holds in a natural space which includes the obtained solutions.


title: Cosmic dimensions

abstract: Martin's Axiom for $\sigma$-centered partial orders implies that there is a cosmic space with non-coinciding dimensions.


title: Grothendieck rings of Artin n-stacks

abstract: We introduce a Grothendieck ring of higher Artin stacks generalizing the Grothendieck ring of algebraic varieties. We show that this ring is not trivial by noticing that it factors the invariant "number of rational points over a finite field". We also introduce the notion of "special Artin stacks", which by definition have affine homotopy groups \pi_{i}, and furthermore unipotent for i>1. Our principal theorem states that the natural inclusion morphism from the Grothendieck ring of varieties to the Grothendieck ring of special Artin stacks is an isomorphism after inverting the class of the affine line L and the classes of L^{i}-1 for all i>0. We deduce from this that several numerical invariants defined for varieties (e.g. Hodge numbers, l-adic Euler characteristic ...) extend uniquely to invariants defined for special Artin stacks. In particular we obtain a trace formula for special Artin stacks of finite type over a finite field, identifying the number of rational points as the trace of the Frobenius acting on the l-adic Euler characteristic.


title: There is no categorical metric continuum

abstract: We show there is no categorical metric continuum. This means that for every metric continuum X there is another metric continuum Y such that X and Y have (countable) elementarily equivalent bases but X and Y are not homeomorphic. As an application we show that the chainability of the pseudoarc is not a first-order property of its lattice of closed sets.


title: Cube packings, second moment and holes

abstract: We consider tilings and packings of $\RR^d$ by integral translates of cubes $[0,2[^d$, which are $4\ZZ^d$-periodic. Such cube packings can be described by cliques of an associated graph, which allow us to classify them in dimension $d\leq 4$. For higher dimension, we use random methods for generating some examples. Such a cube packing is called {\em non-extendible} if we cannot insert a cube in the complement of the packing. In dimension 3, there is a unique non-extendible cube packing with 4 cubes. We prove that $d$-dimensional cube packings with more than $2^d-3$ cubes can be extended to cube tilings. We also give a lower bound on the number $N$ of cubes of non-extendible cube packings. Given such a cube packing and $z\in \ZZ^d$, we denote by $N_z$ the number of cubes inside the $\4t$-cube $z+[0,4[^d$ and call {\em second moment} the average of $N_z^2$. We prove that the regular tiling by cubes has maximal second moment and give a lower bound on the second moment of a cube packing in terms of its density and dimension.