title: On category O for the rational Cherednik algebra of G(m,1,n): the almost semisimple case

abstract: We determine the structure of category $\cO$ for the rational Cherednik algebra of $G(m,1,n)$ in the case where the $\KZ$ functor satisfies a condition called \emph{separating simples}. As a consequence, we show that the property of having exactly $N-1$ simple modules, where $N$ is the number of simple modules of $G(m,1,n)$, determines the Ariki-Koike algebra up to isomorphism.


title: Spectrum Generating on Twistor Bundle

abstract: We give explicit formulas for the intertwinors of all orders on the twistor bundle over $S^1\times S^{n-1}$ using spectrum generating technique introduced in \cite{BOO:96}.


title: Remarks on Boundary Layer Expansions

abstract: A systematic mathematical methodology for derivation of boundary layer expansions is presented. An explicit calculation of boundary layer sizes is given and proved to be coordinates system independent. It relies on asymptotic properties of symbols of operators. Several examples, including the quasigeostrophic model, are discussed.


title: Confidence bands for densities, logarithmic point of view

abstract: Let $f$ be a probability density and $C$ be an interval on which $f$ is bounded away from zero. By establishing the limiting distribution of the uniform error of the kernel estimates $f_n$ of $f$, Bickel and Rosenblatt (1973) provide confidence bands $B_n$ for $f$ on $C$ with asymptotic level $1-\alpha\in]0,1[$. Each of the confidence intervals whose union gives $B_n$ has an asymptotic level equal to one; pointwise moderate deviations principles allow to prove that all these intervals share the same logarithmic asymptotic level. Now, as soon as both pointwise and uniform moderate deviations principles for $f_n$ exist, they share the same asymptotics. Taking this observation as a starting point, we present a new approach for the construction of confidence bands for $f$, based on the use of moderate deviations principles. The advantages of this approach are the following: (i) it enables to construct confidence bands, which have the same width (or even a smaller width) as the confidence bands provided by Bickel and Rosenblatt (1973), but which have a better aymptotic level; (ii) any confidence band constructed in that way shares the same logarithmic asymptotic level as all the confidence intervals, which make up this confidence band; (iii) it allows to deal with all the dimensions in the same way; (iv) it enables to sort out the problem of providing confidence bands for $f$ on compact sets on which $f$ vanishes (or on all $\bb R^d$), by introducing a truncating operation.


title: Weak and almost sure limits for the parabolic Anderson model with heavy tailed potentials

abstract: We study the parabolic Anderson problem, that is, the heat equation $\partial_tu=\Delta u+\xi u$ on $(0,\infty)\times{\mathbb{Z}}^d$ with independent identically distributed random potential $\{\xi(z):z\in{\mathbb{Z}}^d\}$ and localized initial condition $u(0,x)={\mathbf{1}}_0(x)$. Our interest is in the long-term behavior of the random total mass $U(t)=\sum_zu(t,z)$ of the unique nonnegative solution in the case that the distribution of $\xi(0)$ is heavy tailed. For this, we study two paradigm cases of distributions with infinite moment generating functions: the case of polynomial or Pareto tails, and the case of stretched exponential or Weibull tails. In both cases we find asymptotic expansions for the logarithm of the total mass up to the first random term, which we describe in terms of weak limit theorems. In the case of polynomial tails, already the leading term in the expansion is random. For stretched exponential tails, we observe random fluctuations in the almost sure asymptotics of the second term of the expansion, but in the weak sense the fourth term is the first random term of the expansion. The main tool in our proofs is extreme value theory.


title: An iterated sum formula for a spheroid's homotopy class modulo 2-torsion

abstract: Let $X$ be a simply connected pointed space with finitely generated homotopy groups. Let $\Pi_n(X)$ denote the set of all continuous maps $a:I^n\to X$ taking $\partial I^n$ to the basepoint. For $a\in\Pi_n(X)$, let $[a]\in\pi_n(X)$ be its homotopy class. For an open set $E\subset I^n$, let $\Pi(E,X)$ be the set of all continuous maps $a:E\to X$ taking $E\cap\partial I^n$ to the basepoint. For a cover $\Gamma$ of $I^n$, let $\Gamma(r)$ be the set of all unions of at most $r$ elements of $\Gamma$. Put $r=(n-1)!$. We prove that for any finite open cover $\Gamma$ of $I^n$ there exist maps $f_E:\Pi(E,X)\to\pi_n(X)\otimes Z[1/2]$, $E\in\Gamma(r)$, such that $$ [a]\otimes1=\sum_{E\in\Gamma(r)} f_E(a|_E) $$ for all $a\in\Pi_n(X)$.


title: On the structure of the Medvedev lattice

abstract: We investigate the structure of the Medvedev lattice as a partial order. We prove that every interval in the lattice is either finite, in which case it is isomorphic to a finite Boolean algebra, or contains an antichain of size 2^2^\aleph_0, the size of the lattice itself. We also prove that it is consistent that the lattice has chains of this size, and in fact that these big chains occur in every interval that has a big antichain. We also study embeddings of lattices and algebras. We show that large Boolean algebras can be embedded into the Medvedev lattice as upper semilattices, but that a Boolean algebra can be embedded as a lattice only if it is countable. Finally we discuss which of these results hold for the closely related Muchnik lattice.


title: Resolution of Singularities for 3-folds in positive characteristic

abstract: In this paper a concise, complete proof of resolution of singularities of 3-folds in positive characteristic (>5) is given. The first proof of this theorem was given by Abhyankar in 1966. The resolution morphism in our proof is an isomorphism over the nonsingular locus.


title: Denominators of Eisenstein cohomology classes for GL_2 over imaginary quadratic fields

abstract: We study the arithmetic of Eisenstein cohomology classes (in the sense of G. Harder) for symmetric spaces associated to GL_2 over imaginary quadratic fields. We prove in many cases a lower bound on their denominator in terms of a special L-value of a Hecke character providing evidence for a conjecture of Harder that the denominator is given by this L-value. We also prove under some additional assumptions that the restriction of the classes to the boundary of the Borel-Serre compactification of the spaces is integral. Such classes are interesting for their use in congruences with cuspidal classes to prove connections between the special L-value and the size of the Selmer group of the Hecke character.


title: Finite Difference Schemes as a Matrix Equation

abstract: Finite difference schemes are here solved by means of a linear matrix equation. The theoretical study of the related algebraic system is exposed, and enables us to minimize the error due to a finite difference approximation.


title: The Sources of Kolmogorov's Grundbegriffe

abstract: Andrei Kolmogorov's Grundbegriffe der Wahrscheinlichkeits-rechnung put probability's modern mathematical formalism in place. It also provided a philosophy of probability--an explanation of how the formalism can be connected to the world of experience. In this article, we examine the sources of these two aspects of the Grundbegriffe--the work of the earlier scholars whose ideas Kolmogorov synthesized.


title: The sutured Thurston norm

abstract: For sutured 3-manifolds M, there is a sutured Thurston norm due to Scharlemann. We show how depth one foliations of M and corresponding fibrations and the usual Thurston norm on the double of M are useful tools for computing this norm. In many examples, the faces of the unit ball of the sutured norm are related to cones of depth one foliations of M but examples indicate this is not a general relationship.


title: A Vector-Valued Almost Sure Invariance Principle for Hyperbolic Dynamical Systems

abstract: We prove an almost sure invariance principle (approximation by d-dimensional Brownian motion) for vector-valued Holder observables of large classes of nonuniformly hyperbolic dynamical systems. These systems include Axiom~A diffeomorphisms and flows as well as systems modelled by Young towers with moderate tail decay rates. In particular, the position variable of the planar periodic Lorentz gas with finite horizon approximates a 2-dimensional Brownian motion.


title: Continuity in the Alexiewicz norm

abstract: If $f$ is a Henstock--Kurzweil integrable function on the real line, the Alexiewicz norm of $f$ is $\|f\|=\sup_I|\int_I f|$ where the supremum is taken over all intervals $I\subset\R$. Define the translation $\tau_x$ by $\tau_xf(y)=f(y-x)$. Then $\|\tau_xf-f\|$ tends to 0 as $x$ tends to 0, i.e., $f$ is continuous in the Alexiewicz norm. For particular functions, $\|\tau_xf-f\|$ can tend to 0 arbitrarily slowly. In general, $\|\tau_xf-f\|\geq {\rm osc}f |x|$ as $x\to 0$, where ${\rm osc}f$ is the oscillation of $f$. It is shown that if $F$ is a primitive of $f$ then $\|\tau_xF-F\|\leq \|f\||x|$. An example shows that the function $y\mapsto \tau_xF(y)-F(y)$ need not be in $L^1$. However, if $f\in L^1$ then $\|\tau_xF-F\|_1\leq \|f\|_1|x|$. For a positive weight function $w$ on the real line, necessary and sufficient conditions on $w$ are given so that $\|(\tau_xf-f)w\|\to 0$ as $x\to 0$ whenever $fw$ is Henstock--Kurzweil integrable. Applications are made to the Poisson integral on the disc and half-plane. All of the results also hold with the distributional Denjoy integral, which arises from the completion of the space of Henstock--Kurzweil integrable functions as a subspace of Schwartz distributions.


title: The distributional Denjoy integral

abstract: Let $f$ be a distribution (generalised function) on the real line. If there is a continuous function $F$ with real limits at infinity such that $F'=f$ (distributional derivative) then the distributional integral of $f$ is defined as $\int_{-\infty}^\infty f = F(\infty) - F(-\infty)$. It is shown that this simple definition gives an integral that includes the Lebesgue and Henstock--Kurzweil integrals. The Alexiewicz norm leads to a Banach space of integrable distributions that is isometrically isomorphic to the space of continuous functions on the extended real line with uniform norm. The dual space is identified with the functions of bounded variation. Basic properties of integrals are established using elementary properties of distributions: integration by parts, H\"older inequality, change of variables, convergence theorems, Banach lattice structure, Hake theorem, Taylor theorem, second mean value theorem. Applications are made to the half plane Poisson integral and Laplace transform. The paper includes a short history of Denjoy's descriptive integral definitions. Distributional integrals in Euclidean spaces are discussed and a more general distributional integral that also integrates Radon measures is proposed.


title: Prym-Tyurin Varieties coming from correspondences with fixed points

abstract: Our main theorem is an improvement of the Criterion of Kanev about Prym-Tyurin varieties induced by correspondences, which includes correspondences with fixed points. We give some examples of Prym--Tyurin varieties using this criterion.


title: Monomial ideals, edge ideals of hypergraphs, and their graded Betti numbers

abstract: We use the correspondence between hypergraphs and their associated edge ideals to study the minimal graded free resolution of squarefree monomial ideals. The theme of this paper is to understand how the combinatorial structure of a hypergraph H appears within the resolution of its edge ideal I(H). We discuss when recursive formulas to compute the graded Betti numbers of I(H) in terms of its sub-hypergraphs can be obtained; these results generalize our previous work on the edge ideals of simple graphs. We introduce a class of hypergraphs, which we call properly-connected, that naturally generalizes simple graphs from the point of view that distances between intersecting edges are ``well behaved''. For such a hypergraph H (and thus, for any simple graph), we give a lower bound for the regularity of I(H) via combinatorial information describing H, and an upper bound for the regularity when H = G is a simple graph. We also introduce triangulated hypergraphs, a properly-connected hypergraph which is a generalization of chordal graphs. When H is a triangulated hypergraph, we explicitly compute the regularity of I(H) and show that the graded Betti numbers of I(H) are independent of the ground field. As a consequence, many known results about the graded Betti numbers of forests can now be extended to chordal graphs.


title: Isospectral locally symmetric manifolds

abstract: In this article we construct closed, isospectral, non-isometric locally symmetric manifolds. We have three main results. First, we construct arbitrarily large sets of closed, isospectral, non-isometric manifolds. Second, we show the growth of size these sets of isospectral manifolds as a function of volume is super-polynomial. Finally, we construct pairs of infinite towers of finite covers of a closed manifold that are isospectral and non-isometric at each stage.


title: The asymptotic lift of a completely positive map

abstract: Starting with a unit-preserving normal completely positive map L: M --> M acting on a von Neumann algebra - or more generally a dual operator system - we show that there is a unique reversible system \alpha: N --> N (i.e., a complete order automorphism \alpha of a dual operator system N) that captures all of the asymptotic behavior of L, called the {\em asymptotic lift} of L. This provides a noncommutative generalization of the Frobenius theorems that describe the asymptotic behavior of the sequence of powers of a stochastic n x n matrix. In cases where M is a von Neumann algebra, the asymptotic lift is shown to be a W*-dynamical system (N,\mathbb Z), whick we identify as the tail flow of the minimal dilation of L. We are also able to identify the Poisson boundary of L as the fixed point algebra of (N,\mathbb Z). In general, we show the action of the asymptotic lift is trivial iff L is {\em slowly oscillating} in the sense that $$ \lim_{n\to\infty}\|\rho\circ L^{n+1}-\rho\circ L^n\|=0,\qquad \rho\in M_* . $$ Hence \alpha is often a nontrivial automorphism of N.


title: The Karoubi envelope and Lee's degeneration of Khovanov homology

abstract: We give a simple proof of Lee's result from [Adv. Math. 179 (2005) 554-586; arXiv:math.GT/0210213], that the dimension of the Lee variant of the Khovanov homology of a c-component link is 2^c, regardless of the number of crossings. Our method of proof is entirely local and hence we can state a Lee-type theorem for tangles as well as for knots and links. Our main tool is the "Karoubi envelope of the cobordism category", a certain enlargement of the cobordism category which is mild enough so that no information is lost yet strong enough to allow for some simplifications that are otherwise unavailable.


title: Minimality and symplectic sums

abstract: Let X_1, X_2 be symplectic 4-manifolds containing symplectic surfaces F_1,F_2 of identical positive genus and opposite squares. Let Z denote the symplectic sum of X_1 and X_2 along the F_k. Using relative Gromov--Witten theory, we determine precisely when the symplectic 4-manifold Z is minimal (i.e., cannot be blown down); in particular, we prove that Z is minimal unless either: one of the X_k contains a (-1)-sphere disjoint from F_k; or one of the X_k admits a ruling with F_k as a section. As special cases, this proves a conjecture of Stipsicz asserting the minimality of fiber sums of Lefschetz fibrations, and implies that the non-spin examples constructed by Gompf in his study of the geography problem are minimal.


title: Vanishing of the cyclic cohomology of infinite von Neumann algebras

abstract: We prove that if A is an infinite von Neumann algebra (i. e., the identity can be decomposed as a sum of a sequence of pairwise disjoint projections, all equivalent to the identity) then the cyclic cohomology of A vanishes. We show that the method of the proof applies to certain algebras of infinite matrices.


title: Construction of some Quantum Stochastic Operator Cocycles by the Semigroup Method

abstract: A new method for the construction of Fock-adapted operator Markovian cocycles is outlined, and its use is illustrated by application to a number of examples arising in physics and probability. The construction uses the Trotter-Kato Theorem and a recent characterisation of such cocycles in terms of an associated family of contraction semigroups.


title: Permutation and extension for planar quasi-independent subsets of the roots of unity

abstract: Let $e^{2\pi i\Q}$ denote the set of roots of unity. We consider subsets $E\subset e^{2\pi i\Q}$ that are quasi-independent or algebraically independent (as subsets of the discrete plane). A bijective map on $e^{2\pi i\Q}$ preserves the algebraically independent sets iff it preserves the quasi-independent sets, and those maps are characterized. The effect on the size of quasi-independent sets in the $n^{th}$ roots of unity $Z_n$ of increasing a prime factor of $n$ is studied.


title: Representing Primes as x^2 + 5y^2: An Inductive Proof that Euler Missed

abstract: We present an elementary inductive proof which Euler could have obtained, for the corresponding result as the title indicates, had he refined a bit his proof for Fermat's assertion on representing primes as two squares.


title: Dimer models for parallelograms

abstract: We discuss the relation between dimer models and coamoebas associated with lattice parallelograms. We also discuss homological mirror symmetry for the product of two projective lines, emphasizing the role of a non-isoradial dimer model.


title: Non-uniqueness of the natural and projectively equivariant quantization

abstract: In [3], the authors showed the existence and the uniqueness of a sl(m+1,\R)-equivariant quantization in the non-critical situations. The curved generalization of the sl(m+1,\R)-equivariant quantization is the natural and projectively equivariant quantization. In [1] and [7], the existence of such a quantization was proved in two different ways. In this paper, we show that this quantization is not unique.


title: A Conversation with Yuan Shih Chow

abstract: Yuan Shih Chow was born in Hubei province in China, on September 1, 1924. The eldest child of a local militia and political leader, he grew up in war and turmoil. His hometown was on the front line during most of the Japanese invasion and occupation of China. When he was 16, Y. S. Chow journeyed, mostly on foot, to Chongqing (Chung-King), the wartime Chinese capital, to finish his high school education. When the Communist party gained power in China, Y. S. Chow had already followed his university job to Taiwan. In Taiwan, he taught mathematics as an assistant at National Taiwan University until he came to the United States in 1954. At the University of Illinois, he studied under J. L. Doob and received his Ph.D. in 1958. He served as a staff mathematician and adjunct faculty at the IBM Watson Research Laboratory and Columbia University from 1959 to 1962. He was a member of the Statistics Department at Purdue University from 1962 to 1968. From 1968 until his retirement in 1993, Y. S. Chow served as Professor of Mathematical Statistics at Columbia University. At different times, he was a visiting professor at the University of California at Berkeley, University of Heidelberg (Germany) and the National Central University, Taiwan. He served as Director of the Institute of Mathematics of Academia Sinica, Taiwan, and Director of the Center of Applied Statistics at Nankai University, Tianjin, China. He was instrumental in establishing the Institute of Statistics of Academia Sinica in Taiwan. He is currently Professor Emeritus at Columbia University. Y. S. Chow is a fellow of the Institute of Mathematical Statistics, a member of the International Statistical Institute and a member of Taiwan's Academia Sinica. He has numerous publications, including Great Expectations: The Theory of Optimal Stopping (1971), in collaboration with Herbert Robbins and David Siegmund, and Probability Theory (1978), in collaboration with Henry Teicher. Y. S. Chow has a strong interest in mathematics education. He taught high school mathematics for one year in 1947 and wrote a book on high school algebra in collaboration with J. H. Teng and M. L. Chu. In 1992, Y. S. Chow, together with I. S. Chang and W. C. Ho, established the Chinese Institute of Probability and Statistics in Taiwan. This conversation took place in the fall of 2003 in Dobbs Ferry, New York.


title: Complex interpolation of compact operators mapping into the couple (FL^{\infty},FL_{1}^{\infty})

abstract: If (A_0,A_1) and (B_0,B_1) are Banach couples and a linear operator T from A_0 + A_1 to B_0 + B_1 maps A_0 compactly into B_0 and maps A_1 boundedly into B_1, does T necessarily also map [A_0,A_1]_s compactly into [B_0,B_1]_s for s in (0,1)? After 42 years this question is still not answered, not even in the case where T is also compact from A_1 to B_1. But affirmative answers are known for many special choices of (A_0,A_1) and (B_0,B_1). Furthermore it is known that it would suffice to resolve this question in the special case where (B_0,B_1) is the special couple (l^\infty(FL^\infty), l^\infty(FL^\infty_1)). Here FL^\infty is the space of all sequences which are Fourier coefficients of bounded functions, FL^\infty_1 is the weighted space of all sequences (a_n) such that (e^n a_n) is in FL^\infty, and thus B_0 and B_1 are the spaces of bounded sequences of elements in these spaces (i.e., they are spaces of doubly indexed sequences). We provide an affirmative answer to this question in the related but simpler case where (B_0,B_1) is the special couple (FL^\infty,FL^\infty_1).


title: Translation to Bundle Operators

abstract: We give explicit formulas for conformally invariant operators with leading term an $m$-th power of Laplacian on the product of spheres with the natural pseudo-Riemannian product metric for all $m$.


title: What do DG categories form?

abstract: We introduce a homotopy 2-category structure on the category of 2-categories.


title: Natural and projectively equivariant quantizations by means of Cartan Connections

abstract: The existence of a natural and projectively equivariant quantization in the sense of Lecomte [20] was proved recently by M. Bordemann [4], using the framework of Thomas-Whitehead connections. We give a new proof of existence using the notion of Cartan projective connections and we obtain an explicit formula in terms of these connections. Our method yields the existence of a projectively equivariant quantization if and only if an \sl(m+1,\R)-equivariant quantization exists in the flat situation in the sense of [18], thus solving one of the problems left open by M. Bordemann.


title: Low regularity well-posedness for the one-dimensional Dirac - Klein - Gordon system

abstract: Local well-posedness for the Dirac - Klein - Gordon equations is proven in one space dimension, where the Dirac part belongs to H^{-{1/4}+\epsilon} and the Klein - Gordon part to H^{{1/4}-\epsilon} for 0 < \epsilon < 1/4, and global well-posedness, if the Dirac part belongs to the charge class L^2 and the Klein - Gordon part to H^k with 0 < k < 1/2 . The proof uses a null structure in both nonlinearities detected by d'Ancona, Foschi and Selberg and bilinear estimates in spaces of Bourgain-Klainerman-Machedon type.


title: Cartan connections and natural and projectively equivariant quantizations

abstract: In this paper, we analyse the question of existence of a natural and projectively equivariant symbol calculus, using the theory of projective Cartan connections. We establish a close relationship between the existence of such a natural symbol calculus and the existence of an \sl(m+1,\R)-equivariant calculus over \R^{m} in the sense of [15,1]. Moreover we show that the formulae that hold in the non-critical situations over \R^{m} for the \sl(m+1,\R)-equivariant calculus can be directly generalized to an arbitrary manifold by simply replacing the partial derivatives by invariant differentiations with respect to a Cartan connection.


title: Comment on "Sequential Monte Carlo for Bayesian Computation" (P. Del Moral, A. Doucet, A. Jasra)

abstract: The main question concerns another recent advance in sequential Monte Carlo, the use of a mixture transition kernel that automatically adapts to the target distribution (Douc et al. 2006). Is there a class of static inference problems for which the backward-kernel approach is better suited, or is it too early to predict which method may have better performance in a particular situation?


title: Euler homology

abstract: We geometrically construct a homology theory that generalizes the Euler characteristic mod 2 to objects in the unoriented cobordism ring N_*(X) of a topological space X. This homology theory Eh_* has coefficients Z/2 in every nonnegative dimension. There exists a natural transformation N_*(X)->Eh_*(X) that for X=pt assigns to each smooth manifold its Euler characteristic mod 2. The homology theory is constructed using cobordism of stratifolds. For discrete groups G, we also define an equivariant version of the homology theory Eh_*, generalizing the equivariant Euler characteristic.


title: Equivariant stratifold homology theories

abstract: We define equivariant homology theories using bordism of stratifolds with a G-action, where G is a discrete group. Stratifolds are a generalization of smooth manifolds which were introduced by Kreck. He defines homology theories using bordism of suitable stratifolds. We develop the equivariant generalization of these ideas.


title: Differential forms and odd symplectic geometry

abstract: We recall the main facts about the odd Laplacian acting on half-densities on an odd symplectic manifold and discuss a homological interpretation for it suggested recently by P. {\v{S}}evera. We study the relationship of odd symplectic geometry with classical objects. We show that the Berezinian of a canonical transformation for an odd symplectic form is a polynomial in matrix entries and a complete square. This is a simple but fundamental fact, parallel to Liouville's theorem for an even symplectic structure. We draw attention to the fact that the de Rham complex on $M$ naturally admits an action of the supergroup of all canonical transformations of $\Pi T^*M$. The infinitesimal generators of this action turn out to be the classical `Lie derivatives of differential forms along multivector fields'.


title: Equivariant Nielsen invariants for discrete groups

abstract: For discrete groups G, we introduce equivariant Nielsen invariants. They are equivariant analogs of the Nielsen number and give lower bounds for the number of fixed point orbits in the G-homotopy class of an equivariant endomorphism f:X->X. Under mild hypotheses, these lower bounds are sharp. We use the equivariant Nielsen invariants to show that a G-equivariant endomorphism f is G-homotopic to a fixed point free G-map if the generalized equivariant Lefschetz invariant of f is zero. Finally, we prove a converse of the equivariant Lefschetz fixed point theorem.


title: An Isomonodromy Cluster of Two Regular Singularities

abstract: We consider a linear $2\times2$ matrix ODE with two coalescing regular singularities. This coalescence is restricted with an isomonodromy condition with respect to the distance between the merging singularities in a way consistent with the ODE. In particular, a zero-distance limit for the ODE exists. The monodromy group of the limiting ODE is calculated in terms of the original one. This coalescing process generates a limit for the corresponding nonlinear systems of isomonodromy deformations. In our main example the latter limit reads as $P_6\to P_5$, where $P_n$ is the $n$-th Painlev\'e equation. We also discuss some general problems which arise while studying the above-mentioned limits for the Painlev\'e equations.


title: The universal functorial equivariant Lefschetz invariant

abstract: We introduce the universal functorial equivariant Lefschetz invariant for endomorphisms of finite proper G-CW-complexes, where G is a discrete group. We use K_0 of the category of "phi-endomorphisms of finitely generated free RPi(G,X)-modules". We derive results about fixed points of equivariant endomorphisms of cocompact proper smooth G-manifolds.


title: Fixed point theorems from a de Rham perspective

abstract: Using an elementary argument, we prove new fixed point theorems for classical elliptic complexes. We obtain new results for conformal relations and coisotropic intersections. We obtain theorems for the average intersections of families of special lagrangian and lagrangian varieties in certain homogeneous spaces.


title: Algebraic Characterization of Uniquely Vertex Colorable Graphs

abstract: The study of graph vertex colorability from an algebraic perspective has introduced novel techniques and algorithms into the field. For instance, it is known that $k$-colorability of a graph $G$ is equivalent to the condition $1 \in I_{G,k}$ for a certain ideal $I_{G,k} \subseteq \k[x_1, ..., x_n]$. In this paper, we extend this result by proving a general decomposition theorem for $I_{G,k}$. This theorem allows us to give an algebraic characterization of uniquely $k$-colorable graphs. Our results also give algorithms for testing unique colorability. As an application, we verify a counterexample to a conjecture of Xu concerning uniquely 3-colorable graphs without triangles.


title: Signed words and permutations, IV; Fixed and pixed points

abstract: The flag-major index "fmaj" and the classical length function "$\ell$" are used to construct two $q$-analogs of the generating polynomial for the hyperoctahedral group~$B_n$ by number of positive and negative fixed points (resp. pixed points). Specializations of those $q$-analogs are also derived dealing with signed derangements and desarrangements, as well as several classical results that were previously proved for the symmetric group.


title: Multiple ergodic averages for three polynomials and applications

abstract: We find the smallest characteristic factor and a limit formula for the multiple ergodic averages associated to any family of three polynomials and polynomial families of the form $\{l_1p,l_2p,...,l_kp\}$. We then derive several multiple recurrence results and combinatorial implications, including an answer to a question of Brown, Graham, and Landman, and a generalization of the Polynomial Szemer\'edi Theorem of Bergelson and Leibman for families of three polynomials with not necessarily zero constant term. We also simplify and generalize a recent result of Bergelson, Host, and Kra, showing that for all $\epsilon>0$ and every subset of the integers $\Lambda$ the set $$ \big\{n\in\N\colon d^*\big(\Lambda\cap (\Lambda+p_1(n))\cap (\Lambda+p_2(n))\cap (\Lambda+ p_3(n))\big)>(d^*(\Lambda))^4-\epsilon\big\} $$ has bounded gaps for "most" choices of integer polynomials $p_1,p_2,p_3$.


title: On colored quandle longitudes and its applications to tangle embeddings and virtual knots

abstract: We define new invariants of knots by means of quandle colorings and longitudinal information. These invariants can be applied to a tangle embedding problem and recognizing non-classical virtual knots.


title: Global Homeomorphism and Covering Projections on Metric Spaces

abstract: For a large class of metric spaces with nice local structure, which includes Banach-Finsler manifolds and geodesic spaces of curvature bounded above, we give sufficient conditions for a local homeomorphism to be a covering projection. We first obtain a general condition in terms of a path continuation property. As a consequence, we deduce several conditions in terms of path-liftings involving a generalized derivative, and in particular we obtain an extension of Hadamard global inversion theorem in this context. Next we prove that, in the case of quasi-isometric mappings, some of there sufficient conditions are also necessary. Finally, we give some applications to the existence of global implicit functions.


title: A note on circular trace formulae

abstract: We find a finite CMV matrix whose eigenvalues coincide with the Dirichlet data of a circular periodic problem. As a consequence, we obtain circular analogues of the classical trace formulae for periodic Jacobi matrices.


title: Cusps of arithmetic orbifolds

abstract: This thesis investigates cusp cross-sections of arithmetic real, complex, and quaternionic hyperbolic $n$--orbifolds. We give a smooth classification of these submanifolds and analyze their induced geometry. One of the primary tools is a new subgroup separability result for general arithmetic lattices.


title: Radford's formula for biFrobenius algebras and applications

abstract: In a biFrobenius algebra H, in particular in the case that H is a finite dimensional Hopf algebra, the antipode S can be decomposed as S= cf where c and f are the Frobenius and coFrobenius isomorphisms. We use this decomposition to present an easy proof of Radford's formula for the fourth composition power of S. Then, in the case that the map S is the convolution inverse of the identity, we prove the trace formula for the trace of the square of S. We finish by applying the above results to study the semisimplicity and cosemisimplicity of H.


title: The loop orbifold of the symmetric product

abstract: By using the loop orbifold of the symmetric product, we give a formula for the Poincar\'e polynomial of the free loop space of the Borel construction of the symmetric product. We also show that the Chas-Sullivan product structure in the homology of the free loop space of the Borel construction of the symmetric product induces a ring structure in the homology of the inertia orbifold of the symmetric product. This ring structure is compared to the one in cohomology defined through the usual field theory formalism as in the theory of Chen and Ruan.


title: Rigidity results for wreath product II$_1$ factors

abstract: We consider II$_1$ factors of the form $M=\bar{\bigotimes}_{G}N\rtimes G$, where either i) $N$ is a non-hyperfinite II$_1$ factor and $G$ is an ICC amenable group or ii) $N$ is a weakly rigid II$_1$ factor and $G$ is ICC group and where $G$ acts on $\bar{\bigotimes}_{G}N$ by Bernoulli shifts. We prove that isomorphism of two such factors implies cocycle conjugacy of the corresponding Bernoulli shift actions. In particular, the groups acting are isomorphic. As a consequence, we can distinguish between certain classes of group von Neumann algebras associated to wreath product groups.


title: Nontrivial Alexander polynomials of knots and links

abstract: In this paper we present a sequence of link invariants, defined from twisted Alexander polynomials, and discuss their effectiveness in distinguish knots. In particular, we recast and extend by geometric means a recent result of Silver and Williams on the nontriviality of twisted Alexander polynomials for nontrivial knots. Furthermore building on results in [FV06b] we prove that these invariants decide if a genus one knot is fibered, and we also show that these invariants distinguish all mutants with up to 12 crossings.


title: Hierarchical orbital decompositions and extended decomposable distributions

abstract: Elliptically contoured distributions can be considered to be the distributions for which the contours of the density functions are proportional ellipsoids. Kamiya, Takemura and Kuriki (2006) generalized the elliptically contoured distributions to star-shaped distributions, for which the contours are allowed to be arbitrary proportional star-shaped sets. This was achieved by considering the so-called orbital decomposition of the sample space in the general framework of group invariance. In the present paper, we extend their results by conducting the orbital decompositions in steps and obtaining a further, hierarchical decomposition of the sample space. This allows us to construct probability models and distributions with further independence structures. The general results are applied to the star-shaped distributions with a certain symmetric structure, the distributions related to the two-sample Wishart problem and the distributions of preference rankings.


title: Unavoidable Parallel Minors of 4-Connected Graphs

abstract: A parallel minor is obtained from a graph by any sequence of edge contractions and parallel edge deletions. We prove that, for any positive integer k, every internally 4-connected graph of sufficiently high order contains a parallel minor isomorphic to a variation of K_{4,k} with a complete graph on the vertices of degree k, the k-partition triple fan with a complete graph on the vertices of degree k, the k-spoke double wheel, the k-spoke double wheel with axle, the (2k+1)-rung Mobius zigzag ladder, the (2k)-rung zigzag ladder, or K_k. We also find the unavoidable parallel minors of 1-, 2-, and 3-connected graphs.


title: Shimura correspondence for level p^2 and the central values of L-series

abstract: Given a weight 2 and level p^2 modular form f, we construct two weight 3/2 modular forms (possibly zero) of level 4p^2 and non trivial character mapping to f via the Shimura correspondence. Then we relate the coefficients of the constructed forms to the central value of the L-series of certain imaginary quadratic twists of f. Furthermore, we give a general framework for our construction that applies to any order in definite quaternion algebras, with which one can, in principle, construct weight 3/2 modular forms of any level, provided one knows how to compute ideal classes representatives.


title: Partitions of the wonderful group compactification

abstract: We define and study a family of partitions of the wonderful compactification \bar{G} of a semi-simple algebraic group G of adjoint type. The partitions are obtained from subgroups of G \times G associated to triples (A_1, A_2, a), where A_1 and A_2 are subgraphs of the Dynkin graph \Gamma of G and a : A_1 \to A_2 is an isomorphism. The partitions of \bar{G} of Springer and Lusztig correspond respectively to the triples (\emptyset, \emptyset, \id) and (\Gamma, \Gamma, \id).


title: Explicit n-descent on elliptic curves, I. Algebra

abstract: This is the first in a series of papers in which we study the n-Selmer group of an elliptic curve, with the aim of representing its elements as genus one normal curves of degree n. The methods we describe are practical in the case n=3 for elliptic curves over the rationals, and have been implemented in Magma.


title: Semiclassical almost isometry

abstract: Let M be a complex projective manifold, and L an Hermitian ample line bundle on it. A fundamental theorem of Gang Tian, reproved and strengthened by Zelditch, implies that the Khaeler form of L can be recovered from the asymptotics of the projective embeddings associated to large tensor powers of L. More precisely, with the natural choice of metrics the projective embeddings associated to the full linear series |kL| are asymptotically symplectic, in the appropriate rescaled sense. In this article, we ask whether and how this result extends to the semiclassical setting. Specifically, we relate the Weinstein symplectic structure on a given isodrastic leaf of half-weighted Bohr-Sommerfeld Lagrangian submanifolds of M to the asymptotics of the the pull-back of the Fubini-Study form under the semiclassical projective maps constructed by Borthwick, Paul and Uribe.


title: On the K-theory of graph C*-algebras

abstract: We classify graph C*-algebras, namely, Cuntz-Krieger algebras associated to the Bass-Hashimoto edge incidence operator of a finite graph. This is done by a purely graph theoretical calculation of the K-theory and the position of the unit therein.


title: Killing-Poisson tensors on Riemannian manifolds

abstract: We introduce a new class of Poisson structures on a Riemannian manifold. A Poisson structure in this class will be called a Killing-Poisson structure. The class of Killing-Poisson structures contains the class of symplectic structures, the class of Poisson structures studied in{\it (Differential Geometry and its Applications, {\bf Vol. 20, Issue 3} (2004), 279--291)} and the class of Poisson structures induced by some infinitesimal Lie algebras actions on Riemannian manifolds. We show that some classical results on symplectic manifolds (the integrability of the Lie algebroid structure associated to a symplectic structure, the non exactness of a symplectic structure on a compact manifold) remain valid for regular Killing-Poisson structures.


title: Functionals of Brownian bridges arising in the current mismatch in D/A-converters

abstract: Digital-to-analog converters (DAC) transform signals from the abstract digital domain to the real analog world. In many applications, DAC's play a crucial role. Due to variability in the production, various errors arise that influence the performance of the DAC. We focus on the current errors, which describe the fluctuations in the currents of the various unit current elements in the DAC. A key performance measure of the DAC is the Integrated Non-linearity (INL), which we study in this paper. There are several DAC architectures. The most widely used architectures are the thermometer, the binary and the segmented architectures. We study the two extreme architectures, namely, the thermometer and the binary architectures. We assume that the current errors are i.i.d. normally distributed, and reformulate the INL as a functional of a Brownian bridge. We then proceed by investigating these functionals. For the thermometer case, the functional is the maximal absolute value of the Brownian bridge, which has been investigated in the literature. For the binary case, we investigate properties of the functional, such as its mean, variance and density.


title: Hamiltonicity of Vertex-Transitive Graphs of Order $4p$

abstract: It is shown that every connected vertex-transitive graph of order $4p$, where $p$ is a prime, is hamiltonian with the exception of the Coxeter graph which is known to possess a Hamilton path.


abstract: An explicit formula for a strong connection form in a principal extension by a coseparable coalgebra is given.


title: Local well-posedness below the charge norm for the Dirac-Klein-Gordon system in two space dimensions

abstract: We prove that the Cauchy problem for the Dirac-Klein-Gordon equations in two space dimensions is locally well-posed in a range of Sobolev spaces of negative index for the Dirac spinor, and an associated range of spaces of positive index for the meson field. In particular, we can go below the charge norm, that is, the $L^2$ norm of the spinor. We hope that this can have implications for the global existence problem, since the charge is conserved. Our result relies on the null structure of the system, and bilinear space-time estimates for the homogeneous wave equation.


title: A finite difference method for piecewise deterministic Markov processes

abstract: An extension of non-deterministic processes driven by the random telegraph signal is introduced in the framework of "piecewise deterministic Markov processes" [Davis], including a broader category of random systems. The corresponding Liouville-Master Equation is established and the upwind method is applied to numerical calculation of the distribution function. The convergence of the numerical solution is proved under an appropriate Courant-Friedrichs-Lewy condition. The same condition preserve the non-decreasing property of the calculated distribution function. Some numerical tests are presented.


title: Sobolev orthogonal polynomials: balance and asymptotics

abstract: Let $\mu_0$ and $\mu_1$ be measures supported on an unbounded interval and $S_{n,\lambda_n}$ the extremal varying Sobolev polynomial which minimizes \begin{equation*} < P, P >_{\lambda_n}=\int P^2 d\mu_0 + \lambda_n \int P'^2 d\mu_1, \quad \lambda_n >0 \end{equation*} \noindent in the class of all monic polynomials of degree $n$. The goal of this paper is twofold. On one hand, we discuss how to balance both terms of this inner product, that is, how to choose a sequence $(\lambda_n)$ such that both measures $\mu_0$ and $\mu_1$ play a role in the asymptotics of $(S_{n, \lambda_n}).$ On the other, we apply such ideas to the case when both $\mu_0$ and $\mu_1$ are Freud weights. Asymptotics for the corresponding $S_{n, \lambda_n}$ are computed, illustrating the accuracy of the choice of $\lambda_n .$


title: Jensen's operator inequality and its converses

abstract: We give a general formulation of Jensen's operator inequality for unital fields of positive linear mappings, and we consider different types of converse inequalities.


title: Approximation of stationary processes by Hidden Markov Models

abstract: We aim at the construction of a Hidden Markov Model (HMM) of assigned complexity (number of states of the underlying Markov chain) which best approximates, in Kullback-Leibler divergence rate, a given stationary process. We establish, under mild conditions, the existence of the divergence rate between a stationary process and an HMM. Since in general there is no analytic expression available for this divergence rate, we approximate it with a properly defined, and easily computable, divergence between Hankel matrices, which we use as our approximation criterion. We propose a three-step algorithm, based on the Nonnegative Matrix Factorization technique, which realizes an HMM optimal with respect to the defined approximation criterion. A full theoretical analysis of the algorithm is given in the special case of Markov approximation.


title: Automorphisms of the complex of domains

abstract: In this paper, we study a flag complex which is naturally associated to the Thurston theory of surface diffeomorphisms for compact connected orientable surfaces with boundary. The various pieces of the Thurston decomposition of a surface diffeomorphism, thick domains and annular or thin domains, fit into this flag complex, which we call the complex of domains. The main result of this paper is a computation of the group of automorphisms of this complex. Unlike the complex of curves, introduced by Harvey, for which, for all but a finite number of exceptional surfaces, by the works of Ivanov, Korkmaz, and Luo, all automorphisms are geometric (i.e. induced by homeomorphisms), the complex of domains has nongeometric automorphisms, provided the surface in question has at least two boundary components. These nongeometric automorphisms of the complex of domains are associated to certain edges of the complex which are naturally associated to biperipheral pairs of pants on the surface in question. We project the complex of domains to a natural subcomplex of the complex of domains by collapsing each biperipheral edge onto the unique vertex of that edge which is represented by a regular neighborhood of a biperipheral curve and, thereby, reduce the computation in question to computing the group of automorphisms of this subcomplex, which we call the truncated complex of domains. Finally, we prove that the group of automorphisms of the truncated complex of domains is the extended mapping class group of the surface in question and, obtain, thereby, a complete description of the group of automorphisms of the complex of domains.


title: Global Hochschild (co-)homology of singular spaces

abstract: We introduce Hochschild (co-)homology of morphisms of schemes or analytic spaces and study its fundamental properties. In analogy with the cotangent complex we introduce the so called (derived) Hochschild complex of a morphism; the Hochschild cohomology and homology groups are then the Ext and Tor groups of that complex. We prove that these objects are well defined, extend the known cases, and have the expected functorial and homological properties such as graded commutativity of Hochschild cohomology and existence of the characteristic homomorphism from Hochschild cohomology to the (graded) centre of the derived category.


title: The Calkin algebra has outer automorphisms

abstract: Assuming the continuum hypothesis, we show that the Calkin algebra has 2^{aleph_1} outer automorphisms.


title: Backward parabolic Ito equations and second fundamental inequality

abstract: Regularity of solutions is studied for backward stochastic parabolic Ito equations. An analog of the second energy inequality and the related existence theorem are obtained for domains with boundary.


title: Operator space embedding of Lq into Lp

abstract: Let 1 \le p < q \le 2 and let M be any von Neumann algebra. We use recent techniques from free harmonic analysis to construct a completely isomorphic embedding of Lq(M) (equipped with its natural operator space structure) into Lp(A) for some sufficiently large von Neumann algebra A. We show that hyperfiniteness and the QWEP are preserved in our construction.


title: A limit theorem of discrete Galton-Watson branching processes with immigration

abstract: We provide a simple set of sufficient conditions for the weak convergence of discrete Galton-Watson branching processes with immigration to continuous time and continuous state branching processes with immigration.


title: On the Fukaya Categories of Higher Genus Surfaces

abstract: We construct the Fukaya category of a closed surface equipped with an area form using only elementary (essentially combinatorial) methods. We also compute the Grothendieck group of its derived category.


title: Asymptotics for spherical needlets

abstract: We investigate invariant random fields on the sphere using a new type of spherical wavelets, called needlets. These are compactly supported in frequency and enjoy excellent localization properties in real space, with quasi-exponentially decaying tails. We show that, for random fields on the sphere, the needlet coefficients are asymptotically uncorrelated for any fixed angular distance. This property is used to derive CLT and functional CLT convergence results for polynomial functionals of the needlet coefficients: here the asymptotic theory is considered in the high-frequency sense. Our proposals emerge from strong empirical motivations, especially in connection with the analysis of cosmological data sets.


title: A note on local Floer homology

abstract: In general, Lagrangian Floer homology - if well-defined - is not isomorphic to singular homology. For arbitrary closed Lagrangian submanifolds a local version of Floer homology is defined in [Flo89, Oh96] which is isomorphic to singular homology. This construction assumes that the involved Hamiltonian function $H$ is sufficiently $C^2$-small and the almost complex structure is sufficiently standard. In this note we develop a new construction of local Floer homology which works for any (compatible) almost complex structure and all Hamiltonian function with Hofer norm less than the minimal (symplectic) area of a holomorphic disk or sphere. The example $S^1\subset\C$ shows that this is sharp. If the Lagrangian submanifold is monotone, the grading of local Floer homology can be improved to a $\Z$-grading.


title: Representation of functionals of Ito processes and their first exit times

abstract: The representation theorem is obtained for functionals of non-Markov processes and their first exit times from bounded domains. These functionals are represented via solutions of backward parabolic Ito equations. As an example of applications, analogs of forward Kolmogorov equations are derived for conditional probability density functions of Ito processes being killed on the boundary. In addition, a maximum principle and a contraction property are established for SPDEs in bounded domains.


title: Analysis of the Rosenblatt process

abstract: We analyze {\em the Rosenblatt process} which is a selfsimilar process with stationary increments and which appears as limit in the so-called {\em Non Central Limit Theorem} (Dobrushin and Major (1979), Taqqu (1979)). This process is non-Gaussian and it lives in the second Wiener chaos. We give its representation as a Wiener-It\^o multiple integral with respect to the Brownian motion on a finite interval and we develop a stochastic calculus with respect to it by using both pathwise type calculus and Malliavin calculus.


title: Analytical Study of Certain Magnetohydrodynamic-alpha Models

abstract: In this paper we present an analytical study of a subgrid scale turbulence model of the three-dimensional magnetohydrodynamic (MHD) equations, inspired by the Navier-Stokes-alpha (also known as the viscous Camassa-Holm equations or the Lagrangian-averaged Navier-Stokes-alpha model). Specifically, we show the global well-posedness and regularity of solutions of a certain MHD-alpha model (which is a particular case of the Lagrangian averaged magnetohydrodynamic-alpha model without enhancing the dissipation for the magnetic field). We also introduce other subgrid scale turbulence models, inspired by the Leray-alpha and the modified Leray-alpha models of turbulence. Finally, we discuss the relation of the MHD-alpha model to the MHD equations by proving a convergence theorem, that is, as the length scale alpha tends to zero, a subsequence of solutions of the MHD-alpha equations converges to a certain solution (a Leray-Hopf solution) of the three-dimensional MHD equations.


title: 0--1 laws for regular conditional distributions

abstract: Let $(\Omega,\mathcal{B},P)$ be a probability space, $\mathcal{A}\subset\mathcal{B}$ a sub-$\sigma$-field, and $\mu$ a regular conditional distribution for $P$ given $\mathcal{A}$. Necessary and sufficient conditions for $\mu(\omega)(A)$ to be 0--1, for all $A\in\mathcal{A}$ and $\omega\in A_0$, where $A_0\in\mathcal{A}$ and $P(A_0)=1$, are given. Such conditions apply, in particular, when $\mathcal{A}$ is a tail sub-$\sigma$-field. Let $H(\omega)$ denote the $\mathcal{A}$-atom including the point $\omega\in\Omega$. Necessary and sufficient conditions for $\mu(\omega)(H(\omega))$ to be 0--1, for all $\omega\in A_0$, are also given. If $(\Omega,\mathcal{B})$ is a standard space, the latter 0--1 law is true for various classically interesting sub-$\sigma$-fields $\mathcal{A}$, including tail, symmetric, invariant, as well as some sub-$\sigma$-fields connected with continuous time processes.


title: A new algorithm for finding the nilpotency class of a finite p-group describing the upper central series

abstract: In this paper we describe an algorithm for finding the nilpotency class, and the upper central series of the maximal normal p-subgroup N(G) of the automorphism group, Aut(G) of a bounded (or finite) abelian p-group G. This is the first part of two papers devoted to compute the nilpotency class of N(G) using formulas, and algorithms that work in almost all groups. Here, we prove that for p>2 the algorithm always runs. The algorithm describes a sequence of ideals of the Jacobson radical, J, and because N(G)=J+1, this sequence induces the upper central series in N(G).


title: The semiclassical resolvent and the propagator for nontrapping scattering metrics

abstract: Consider a compact manifold with boundary $M$ with a scattering metric $g$ or, equivalently, an asymptotically conic manifold $(M^\circ, g)$. (Euclidean $\mathbb{R}^n$, with a compactly supported metric perturbation, is an example of such a space.) Let $\Delta$ be the positive Laplacian on $(M,g)$, and $V$ a smooth potential on $M$ which decays to second order at infinity. In this paper we construct the kernel of the operator $(h^2 \Delta + V - (\lambda_0 \pm i0)^2)^{-1}$, at a nontrapping energy $\lambda_0 > 0$, uniformly for $h \in (0, h_0)$, $h_0 > 0$ small, within a class of Legendre distributions on manifolds with codimension three corners. Using this we construct the kernel of the propagator, $e^{-it(\Delta/2 + V)}$, $t \in (0, t_0)$ as a quadratic Legendre distribution. We also determine the global semiclassical structure of the spectral projector, Poisson operator and scattering matrix.


title: Index calculus with double large prime variation for curves of small genus with cyclic class group

abstract: We present an index calculus algorithm with double large prime variation which lends itself well to a rigorous analysis. Using this algorithm we prove that for fixed genus $g \geq 2$, the discrete logarithm problem in degree 0 class groups of non-singular curves over finite fields $\mathbb{F}_q$ can be solved in an expected time of $\tilde{O}(q^{2-2/g})$, provided that the curve is given by a plane model of bounded degree and the degree 0 class group is cyclic. The result generalizes a previous result for hyperelliptic curves given by an imaginary Weierstra{\ss} equation obtained by Gaudry, Thom\'e, Th\'eriault and the author.


title: Distances Induced by Barbilian's Metrization Procedure

abstract: Several authors have pointed out the connection between Barbilian's metric introduced in 1934 and the recent study of Apollonian metrics. We provide examples of various distances that can be obtained by Barbilian's metrization procedure and we discuss the relation between this metrization procedure and important Riemannian and generalized Lagrangian metrics. Then we prove an extension of Barbilian's metrization procedure.


title: Expectation, Conditional Expectation and Martingales in Local Fields

abstract: We investigate a possible definition of expectation and conditional expectation for random variables with values in a local field such as the $p$-adic numbers. We define the expectation by analogy with the observation that for real-valued random variables in $L^2$ the expected value is the orthogonal projection onto the constants. Previous work has shown that the local field version of $L^\infty$ is the appropriate counterpart of $L^2$, and so the expected value of a local field-valued random variable is defined to be its ``projection'' in $L^\infty$ onto the constants. Unlike the real case, the resulting projection is not typically a single constant, but rather a ball in the metric on the local field. However, many properties of this expectation operation and the corresponding conditional expectation mirror those familiar from the real-valued case; for example, conditional expectation is, in a suitable sense, a contraction on $L^\infty$ and the tower property holds. We also define the corresponding notion of martingale, show that several standard examples of martingales (for example, sums or products of suitable independent random variables or ``harmonic'' functions composed with Markov chains) have local field analogues, and obtain versions of the optional sampling and martingale convergence theorems.


title: A characterization of the Frobenius problem and its application to arithmetic progressions

abstract: In the Frobenius problem we are given a set of coprime, positive integers $a_1, a_2,...,a_k$, and are interested in the set of positive numbers NR that have no representation by the linear form $\sum_i a_ix_i$ in nonnegative integers $x_1, x_2,...,x_k$. We give a functional relationship that completely characterizes the set NR, and apply it to the case when the numbers are in an arithmetic progression.


title: Global well-posedness and scattering for a class of nonlinear Schrodinger equations below the energy space

abstract: We prove global well-posedness and scattering for the nonlinear Schr\"odinger equation with power-type nonlinearity \begin{equation*} \begin{cases} i u_t +\Delta u = |u|^p u, \quad \frac{4}{n}<p<\frac{4}{n-2}, u(0,x) = u_0(x)\in H^s(\R^n), \quad n\geq 3, \end{cases} \end{equation*} below the energy space, i.e., for $s<1$. In \cite{ckstt:low7}, J. Colliander, M. Keel, G. Staffilani, H. Takaoka, and T. Tao established polynomial growth of the $H^s_x$-norm of the solution, and hence global well-posedness for initial data in $H^s_x$, provided $s$ is sufficiently close to 1. However, their bounds are insufficient to yield scattering. In this paper, we use the \emph{a priori} interaction Morawetz inequality to show that scattering holds in $H^s(\R^n)$ whenever $s$ is larger than some value $0<s_0(n,p)<1$.


title: Injective Simplicial Maps of the Arc Complex

abstract: In this paper, we prove that each injective simplicial map of the arc complex of a compact, connected, orientable surface with nonempty boundary is induced by a homeomorphism of the surface. We deduce, from this result, that the group of automorphisms of the arc complex is naturally isomorphic to the extended mapping class group of the surface, provided the surface is not a disc, an annulus, a pair of pants, or a torus with one hole. We also show, for each of these special exceptions, that the group of automorphisms of the arc complex is naturally isomorphic to the quotient of the extended mapping class group of the surface by its center.


title: Counting and Computing by $e$

abstract: In this paper we count the number of paths and cycles in complete graphs by using the number $e$. Also, we compute the number of derangements in same way. Connection by $e$ yields some nice formulas for the number of derangements, such as $D_n=\lfloor\frac{n!+1}{e}\rfloor$ and $D_n=\lfloor(e+e^{-1})n!\rfloor-\lfloor en!\rfloor$, and using these relations allow us to compute some incomplete gamma functions and hypergeometric summations; these connections are hidden in the heart of a nice polynomial that we call it derangement function and a simple ordinary differential equation concerning it.


title: Noncommutative symmetric functions and W-polynomials

abstract: Let K,S,D be a division ring, an endomorphism and a S-derivation of K, respectively. In this setting we introduce generalized noncommutative symmetric functions and obtain Vieta formula and decompositions of differential operators. W-polynomials show up naturally, their connections with P-independency, Vandermonde and Wronskian matrices are briefly studied. The different linear factorizations of W-polynomials are analysed. Connections between the existence of LLCM of monic linear polynomials with coefficients in a ring and the left duo property are established at the end of the paper.


title: Superprocesses with Dependent Spatial Motion and General Branching Densities

abstract: We construct a class of superprocesses by taking the high density limit of a sequence of interacting-branching particle systems. The spatial motion of the superprocess is determined by a system of interacting diffusions, the branching density is given by an arbitrary bounded non-negative Borel function, and the superprocess is characterized by a martingale problem as a diffusion process with state space $M(\IR)$, improving and extending considerably the construction of Wang (1997, 1998). It is then proved in a special case that a suitable rescaled process of the superprocess converges to the usual super Brownian motion. An extension to measure-valued branching catalysts is also discussed.


title: Non-local Branching Superprocesses and Some Related Models

abstract: A new formulation of non-local branching superprocesses is given from which we derive as special cases the rebirth, the multitype, the mass-structured, the multilevel and the age-reproduction-structured superprocesses and the superprocess-controlled immigration process. This unified treatment simplifies considerably the proof of existence of the old classes of superprocesses and also gives rise to some new ones.


title: Skew Convolution Semigroups and Related Immigration Processes

abstract: A special type of immigration associated with measure-valued branching processes is formulated by using skew convolution semigroups. We give characterization for a general inhomogeneous skew convolution semigroup in terms of probability entrance laws. The related immigration process is constructed by summing up measure-valued paths in the Kuznetsov process determined by an entrance rule. The behavior of the Kuznetsov process is then studied, which provides insights into trajectory structures of the immigration process. Some well-known results on excessive measures are formulated in terms of stationary immigration processes.


title: Construction of Immigration Superprocesses with Dependent Spatial Motion from One-Dimensional Excursions

abstract: A superprocess with dependent spatial motion and interactive immigration is constructed as the pathwise unique solution of a stochastic integral equation carried by a stochastic flow and driven by Poisson processes of one-dimensional excursions.


title: Generalized Mehler Semigroups and Catalytic Branching Processes with Immigration

abstract: Skew convolution semigroups play an important role in the study of generalized Mehler semigroups and Ornstein-Uhlenbeck processes. We give a characterization for a general skew convolution semigroup on real separable Hilbert space whose characteristic functional is not necessarily differentiable at the initial time. A connection between this subject and catalytic branching superprocesses is established through fluctuation limits, providing a rich class of non-differentiable skew convolution semigroups. Path regularity of the corresponding generalized Ornstein-Uhlenbeck processes in different topologies is also discussed.


title: Non-differentiable Skew Convolution Semigroups and Related Ornstein-Uhlenbeck Processes

abstract: It is proved that a general non-differentiable skew convolution semigroup associated with a strongly continuous semigroup of linear operators on a real separable Hilbert space can be extended to a differentiable one on the entrance space of the linear semigroup. A cadlag strong Markov process on an enlargement of the entrance space is constructed from which we obtain a realization of the corresponding Ornstein-Uhlenbeck process. Some explicit characterizations of the entrance spaces for special linear semigroups are given.


title: Superprocesses with Coalescing Brownian Spatial Motion as Large-Scale Limits

abstract: A superprocess with coalescing spatial motion is constructed in terms of one-dimensional excursions. Based on this construction, it is proved that the superprocess is purely atomic and arises as scaling limit of a special form of the superprocess with dependent spatial motion studied in Dawson {\it et al.} (2001) and Wang (1997, 1998).


title: Conditional Log-Laplace Functionals of Immigration Superprocesses with Dependent Spatial Motion

abstract: A non-critical branching immigration superprocess with dependent spatial motion is constructed and characterized as the solution of a stochastic equation driven by a time-space white noise and an orthogonal martingale measure. A representation of its conditional log-Laplace functionals is established, which gives the uniqueness of the solution and hence its Markov property. Some properties of the superprocess including an ergodic theorem are also obtained.


title: Branching processes with immigration and related topics

abstract: This is a survey on recent progresses in the study of branching processes with immigration, generalized Ornstein-Uhlenbeck processes and affine Markov processes. We mainly focus on the applications of skew convolution semigroups and the connections in those processes.


title: Eigenvalues of Euclidean Random Matrices

abstract: We study the spectral measure of large Euclidean random matrices. The entries of these matrices are determined by the relative position of $n$ random points in a compact set $\Omega_n$ of $\R^d$. Under various assumptions we establish the almost sure convergence of the limiting spectral measure as the number of points goes to infinity. The moments of the limiting distribution are computed, and we prove that the limit of this limiting distribution as the density of points goes to infinity has a nice expression. We apply our results to the adjacency matrix of the geometric graph.


title: A Central Limit Theorem for biased random walks on Galton-Watson trees

abstract: Let ${\cal T}$ be a rooted Galton-Watson tree with offspring distribution $\{p_k\}$ that has $p_0=0$, mean $m=\sum kp_k>1$ and exponential tails. Consider the $\lambda$-biased random walk $\{X_n\}_{n\geq 0}$ on ${\cal T}$; this is the nearest neighbor random walk which, when at a vertex $v$ with $d_v$ offspring, moves closer to the root with probability $\lambda/(\lambda+d_v)$, and moves to each of the offspring with probability $1/(\lambda+d_v)$. It is known that this walk has an a.s. constant speed $\v=\lim_n |X_n|/n$ (where $|X_n|$ is the distance of $X_n$ from the root), with $\v>0$ for $ 0<\lambda<m$ and $\v=0$ for $\lambda \ge m$. For all $\lambda \le m$, we prove a quenched CLT for $|X_n|-n\v$. (For $\lambda>m$ the walk is positive recurrent, and there is no CLT.) The most interesting case by far is $\lambda=m$, where the CLT has the following form: for almost every ${\cal T}$, the ratio $|X_{[nt]}|/\sqrt{n}$ converges in law as $n \to \infty$ to a deterministic multiple of the absolute value of a Brownian motion. Our approach to this case is based on an explicit description of an invariant measure for the walk from the point of view of the particle (previously, such a measure was explicitly known only for $\lambda=1$) and the construction of appropriate harmonic coordinates.


title: Dynamical construction of K\"{a}hler-Einstein metrics

abstract: In this paper, I give a new construction of a K\"{a}hler-Einstein metrics on a smooth projective variety with ample canonical bundle. This result can be generalized to the construction of a singular K\"{a}hler-Einstein metric on a smooth projective variety of general type which gives an AZD of the canonical bundle. Also the variation of Bergman kernels and K\"{a}hler-Einstein volume form have been considered.


title: Irreducible Modules for the Quantum Affine Algebra $U_q(g)$ and its Borel subalgebra $U_q(g)^{\geq 0}$

abstract: We prove a bijection between finite-dimensional irreducible modules for an arbitrary quantum affine algebra $U_q(g)$ and finite-dimensional irreducible modules for its Borel subalgebra $U_q(g)^{\geq 0}$.


title: Generalizations of Jordan Algebras and Malcev Algebras

abstract: We introduce two classes of nonassociative algebras and define the building blocks in the context of the new nonassociative algebras.


title: A boundary version of Cartan-Hadamard and applications to rigidity

abstract: In this paper, we prove a version of the classical Cartan-Hadamard theorem for negatively curved manifolds, of dimension $n\neq 5$, with non-empty totally geodesic boundary. More precisely, if $M_1^n,M_2^n$ are any two such manifolds, we show that (1) $\partial ^\infty \tilde M_1^n$ is homeomorphic to $\partial ^\infty \tilde M_2^n$, and (2) $\tilde M_1^n$ is homeomorphic to $\tilde M_2^n$. As a sample application, we show that simple, thick, negatively curved P-manifolds of dimension $\geq 6$ are topologically rigid. We include some straightforward consequences of topological rigidity (diagram rigidity, weak co-Hopf property, and Nielson realization problem).


title: Knots with identical Khovanov homology

abstract: We give a recipe for constructing families of distinct knots that have identical Khovanov homology and give examples of pairs of prime knots, as well as infinite families, with this property.


title: Twisting Derived Equivalences

abstract: We introduce a new method for ``twisting'' relative equivalences of derived categories of sheaves on two spaces over the same base. The first aspect of this is that the derived categories of sheaves on the spaces are twisted. They become derived categories of sheaves on gerbes living over spaces that are locally (on the base) isomorphic to the original spaces. Secondly, this is done in a compatible way so that the equivalence is maintained. We apply this method by proving the conjectures of Donagi and Pantev on dualities between gerbes on genus-one fibrations and comment on other applications to families of higher genus curves. We also include a related conjecture in Mirror Symmetry. This represents a modified version of my May 2006 thesis for the University of Pennsylvania. The only addition is the subsection titled 'Alternative Method'.


title: New upper bounds on the chromatic number of a graph

abstract: We outline some ongoing work related to a conjecture of Reed \cite{reed97} on $\omega$, $\Delta$, and $\chi$. We conjecture that the complement of a counterexample $G$ to Reed's conjecture has connectivity on the order of $\log(|G|)$. We prove that this holds for a family (parameterized by $\epsilon > 0$) of relaxed bounds; the $\epsilon = 0$ limit of which is Reed's upper bound.


title: t_k-moves on links

abstract: It is a natural question to ask whether two links are equivalent by the following moves -- parallel parts of a link are changed to k-times half-twisted parts and if they are, how many moves are needed to go from one link to the other. In particular if k=2 and the second link is a trivial link it is the question about the unknotting number. The new polynomial invariants of links often allow us to answer the above questions. Also the first homology groups of cyclic branch covers over links provide some interesting information. In the first part of the paper we apply the Jones-Conway (Homflypt) and Kauffman polynomials to find whether two links are not t_k equivalent and if they are, to gain some information how many moves are needed to go from one link to the other. In the second part we describe the Fox congruence classes and their relations with t_k moves. We use the Fox method to analyze relations between t_k moves and the first homology groups of branched cyclic covers of links.In the third part we consider the influence of t_k moves on the Goeritz and Seifert matrices and analyze Lickorish-Millett and Murakami formulas from the point of view of t_k moves and illustrate them by various examples. At the end of the paper we outline some relations with signatures of links and non-cyclic coverings of link spaces.


title: Separable morphisms of simplicial sets

abstract: We show that the class of separable morphisms in the sense of G. Janelidze and W. Tholen in the case of Galois structure of second order coverings of simplicial sets due to R. Brown and G. Janelidze coincides with the class of covering maps of simplicial sets.


title: Current Mathematics Appears to Be Inconsistent

abstract: We show that some mathematical results and their negations are both deducible. The derived contradictions indicate the inconsistency of current mathematics. This paper is an updated version of arXiv:math/0606635v3 with additional results and proofs.


title: t-Class Semigroups of Integral Domains

abstract: The t-class semigroup of an integral domain is the semigroup of the isomorphy classes of the t-ideals with the operation induced by ideal t-multiplication. This paper investigates ring-theoretic properties of an integral domain that reflect reciprocally in the Clifford or Boolean property of its t-class semigroup. Contexts (including Lipman and Sally-Vasconcelos stability) that suit best t-multiplication are studied in an attempt to generalize well-known developments on class semigroups. We prove that a Prufer v-multiplication domain (PVMD) is of Krull type (in the sense of Griffin) if and only if its t-class semigroup is Clifford. This extends Bazzoni and Salce's results on valuation domains and Prufer domains. We also characterize GCD domains with Boolean t-class semigroup, recovering thus recent results on Bezout domains.


title: $t$--analogs of $q$--characters of quantum affine algebras of type $E_6$, $E_7$, $E_8$

abstract: We compute $t$--analogs of $q$--characters of all $l$--fundamental representations of the quantum affine algebras of type $E_6^{(1)}$, $E_7^{(1)}$, $E_8^{(1)}$ by a supercomputer. In particular, we prove the fermionic formula for Kirillov-Reshetikhin modules conjectured by Hatayama et al. (math.QA/9812022) for these classes of representations. We also give explicitly the monomial realization of the crystal of the corresponding fundamental representations of the qunatum enveloping algebras associated with finite dimensional Lie algebras of types $E_6$, $E_7$, $E_8$. These are computations of Betti numbers of graded quiver varieties, quiver varieties and determination of all irreducible components of the lagrangian subvarities of quiver varieties of types $E_6$, $E_7$, $E_8$ respectively.


title: Connections on modules over singularities of finite CM representation type

abstract: Let A be a commutative k-algebra, where k is an algebraically closed field of characteristic 0, and let M be an A-module. We consider the following question: Under what conditions on A and M is it possible to find a connection on M? We consider maximal Cohen-Macaulay (MCM) modules over complete CM algebras that are isolated singularities, and usually assume that the singularities have finite CM representation type. It is known that over a simple singularity of dimension at most two, any MCM module admits an integrable connection. We prove that over a simple singularity of dimension at least three, an MCM module admits connections if and only if it is free. Among singularities of finite CM representation type, we find examples of curves with MCM modules that do not admit connections, and threefolds with non-free MCM modules that do admit connections. Let A be a singularity not necessarily of finite CM representation type, and consider the condition that A is a Gorenstein curve or a Q-Gorenstein singularity of dimension at least two. We show that this condition is sufficient for the canonical module of A to admit an integrable connection, and conjecture that it is also necessary. In support of the conjecture, we show that if A is a monomial curve singularity, then the canonical module of A admits an integrable connection if and only if A is Gorenstein.


title: Uniform bounds in generalized Cohen-Macaulay rings

abstract: We establish a uniform bound for the Castelnuovo-Mumford regularity of associated graded rings of parameter ideals in a generalized Cohen-Macaulay ring. As consequences, we obtain uniform bounds for the relation type and the postulation number. Moreover, we show that generalized Cohen-Macaulay rings can be characterized by the existence of such uniform bounds.


title: The inverse conductivity problem with an imperfectly known boundary in three dimensions

abstract: We consider the inverse conductivity problem in a strictly convex domain whose boundary is not known. Usually the numerical reconstruction from the measured current and voltage data is done assuming the domain has a known fixed geometry. However, in practical applications the geometry of the domain is usually not known. This introduces an error, and effectively changes the problem into an anisotropic one. The main result of this paper is a uniqueness result characterizing the isotropic conductivities on convex domains in terms of measurements done on a different domain, which we call the model domain, up to an affine isometry. As data for the inverse problem, we assume the Robin-to-Neumann map and the contact impedance function on the boundary of the model domain to be given. Also, we present a minimization algorithm based on the use of Cotton--York tensor, that finds the pushforward of the isotropic conductivity to our model domain, and also finds the boundary of the original domain up to an affine isometry. This algorithm works also in dimensions higher than three, but then the Cotton--York tensor has to replaced with the Weyl--tensor.


title: Isotropic systems and the interlace polynomial

abstract: Through a series of papers in the 1980's, Bouchet introduced isotropic systems and the Tutte-Martin polynomial of an isotropic system. Then, Arratia, Bollob\'as, and Sorkin developed the interlace polynomial of a graph in [ABS00] in response to a DNA sequencing application. The interlace polynomial has generated considerable recent attention, with new results including realizing the original interlace polynomial by a closed form generating function expression instead of by the original recursive definition (see Aigner and van der Holst [AvdH04], and Arratia, Bollob\'as, and Sorkin [ABS04b]). Now, Bouchet [Bou05] recognizes the vertex-nullity interlace polynomial of a graph as the Tutte-Martin polynomial of an associated isotropic system. This suggests that the machinery of isotropic systems may be well-suited to investigating properties of the interlace polynomial. Thus, we present here an alternative proof for the closed form presentation of the vertex-nullity interlace polynomial using the machinery of isotropic systems. This approach both illustrates the intimate connection between the vertex-nullity interlace polynomial and the Tutte-Martin polynomial of an isotropic system and also provides a concrete example of manipulating isotropic systems. We also provide a brief survey of related work.


title: Modeling financial assets without semimartingales

abstract: This paper does not suppose a priori that the evolution of the price of a financial asset is a semimartingale. Since possible strategies of investors are self-financing, previous prices are forced to be finite quadratic variation processes. The non-arbitrage property is not excluded if the class ${\cal A}$ of admissible strategies is restricted. The classical notion of martingale is replaced with the notion of ${\cal A}$-martingale. A calculus related to ${\cal A}$-martingales with some examples is developed. Some applications to the maximization of the utility of an insider are expanded.


title: Entropy And Vision

abstract: In vector quantization the number of vectors used to construct the codebook is always an undefined problem, there is always a compromise between the number of vectors and the quantity of information lost during the compression. In this text we present a minimum of Entropy principle that gives solution to this compromise and represents an Entropy point of view of signal compression in general. Also we present a new adaptive Object Quantization technique that is the same for the compression and the perception.


title: Comparison of 3-dimensional Z-graded and Z_2-graded L_Infinity algebras

abstract: This article explores L_Infinity structures -- also known as 'strongly homotopy Lie algebras' -- on 3-dimensional vector spaces with both Z- and Z_2-gradings. Since the Z-graded L_Infinity algebras are special cases of Z_2-graded algebras in the induced Z_2-grading, there are generally fewer Z-graded L_Infinity structures on a given space. On the other hand, only degree zero automorphisms, rather than just even automorphisms, are used to determine equivalence in a Z-graded space. We therefore find nontrivial examples in which the map from the Z-graded moduli space to the Z_2-graded moduli space is bijective, injective but not surjective, or surjective but not injective. Additionally, we study how the codifferentials in the moduli spaces deform into other nonequivalent codifferentials, which gives each moduli space a sort of topology.


title: Differential worms and generalized manifolds

abstract: We study differential forms and their higher-order generalizations by interpreting them as functions on map spaces. We get a series of approximations of "generalized manifolds" (i.e. of sheaves and stacks) somewhat akin to Taylor series.


title: A quasisymmetric function for matroids

abstract: A new isomorphism invariant of matroids is introduced, in the form of a quasisymmetric function. This invariant (1) defines a Hopf morphism from the Hopf algebra of matroids to the quasisymmetric functions, which is surjective if one uses rational coefficients, (2) is a multivariate generating function for integer weight vectors that give minimum total weight to a unique base of the matroid, (3) is equivalent, via the Hopf antipode, to a generating function for integer weight vectors which keeps track of how many bases minimize the total weight, (4) behaves simply under matroid duality, (5) has a simple expansion in terms of P-partition enumerators, and (6) is a valuation on decompositions of matroid base polytopes. This last property leads to an interesting application: it can sometimes be used to prove that a matroid base polytope has no decompositions into smaller matroid base polytopes. Existence of such decompositions is a subtle issue arising in work of Lafforgue, where lack of such a decomposition implies the matroid has only a finite number of realizations up to projective equivalence.


abstract: This paper introduces Auslander-Reiten triangles in subcategories of triangulated categories. The main theorem of the paper shows that there is a close connection with covers and envelopes, also known as minimal right- and left-approximations. Namely, under suitable assumptions, if M is an object in the subcategory C of the triangulated category T and X --> Y --> M --> is an Auslander-Reiten triangle in T, then there is an Auslander-Reiten triangle K --> L --> M --> in C if and only if there is a C-cover of the form K --> X. The main theorem is used to give a new proof of the existence of Auslander-Reiten sequences over finite dimensional algebras.


title: On maximal injective subalgebras of tensor products of von Neumann algebras

abstract: Let M_i be a von Neumann algebra, and B_i be a maximal injective von Neumann subalgebra of M_i, i=1,2. If M_1 has separable predual and the center of B_1 is atomic, e.g., B_1 is a factor, then B_1\tensor B_2 is a maximal injective von Neuamnn subalgebra of M_1\tensor M_2. This partly answers a question of Popa


title: On Completely Singular von Neumann Subalgebras

abstract: Let $\M$ be a von Neumann algebra acting on a Hilbert space $\H$, and $\N$ be a singular von Neumann subalgebra of $\M.$ If $\N\tensor\B(\K)$ is singular in $\M\tensor\B(\K)$ for any Hilbert space $\K$, we say $\N$ is \emph{completely singular} in $\M$. We prove that if $\N$ is a singular abelian von Neumann subalgebra or if $\N$ is a singular subfactor of a type $II_1$ factor $\M$, then $\N$ is completely singular in $\M$. For any type $II_1$ factor $\M$, we construct a singular von Neumann subalgebra $\N$ of $\M$ ($\N\neq \M$) such that $\N\tensor\B(l^2(\mathbb{N}))$ is regular (hence not singular) in $\M\tensor \B(l^2(\mathbb{N}))$. If $\H$ is separable, then $\N$ is completely singular in $\M$ if and only if for any $\theta\in Aut(\N')$ such that $\theta(X)=X$ for all $X\in\M'$, then $\theta(Y)=Y$ for all $Y\in\N'$. As an application of this characterization of completely singularity, we prove that if $\M$ is separable (with separable predual) and $\N$ is completely singular in $\M$, then $\N\tensor\L$ is completely singular in $\M\tensor \L$ for any separable von Neumann algebra $\L$.


title: Negative Examples for Sequential Importance Sampling of Binary Contingency Tables

abstract: The sequential importance sampling (SIS) algorithm has gained considerable popularity for its empirical success. One of its noted applications is to the binary contingency tables problem, an important problem in statistics, where the goal is to estimate the number of 0/1 matrices with prescribed row and column sums. We give a family of examples in which the SIS procedure, if run for any subexponential number of trials, will underestimate the number of tables by an exponential factor. This result holds for any of the usual design choices in the SIS algorithm, namely the ordering of the columns and rows. These are apparently the first theoretical results on the efficiency of the SIS algorithm for binary contingency tables. Finally, we present experimental evidence that the SIS algorithm is efficient for row and column sums that are regular. Our work is a first step in determining the class of inputs for which SIS is effective.


title: Unoriented geometric functors

abstract: Farrell and Hsiang noticed that the geometric surgery groups defined By Wall, Chapter 9, do not have the naturality Wall claims for them. They were able to fix the problem by augmenting Wall's definitions to keep track of a line bundle. The definition of geometric Wall groups involves homology with local coefficients and these also lack Wall's claimed naturality. One would hope that a geometric bordism theory involving non-orientable manifolds would enjoy the same naturality as that enjoyed by homology with local coefficients. A setting for this naturality entirely in terms of local coefficients is presented in this paper. Applying this theory to the example of non-orientable Wall groups restores much of the elegance of Wall's original approach. Furthermore, a geometric determination of the map induced by conjugation by a group element is given.


title: Conjugacy in Garside groups II: Structure of the ultra summit set

abstract: This paper is the second in a series in which the authors study the conjugacy decision problem (CDP) and the conjugacy search problem (CSP) in Garside groups. The ultra summit set USS(X) of an element X in a Garside group G is a finite set of elements in G, introduced by the second author, which is a complete invariant of the conjugacy class of X in G. A fundamental question, if one wishes to find bounds on the size of USS(X), is to understand its structure. In this paper we introduce two new operations on elements of USS(X), called `partial cycling' and `partial twisted decycling', and prove that if Y and Z belong to USS(X), then Y and Z are related by sequences of partial cyclings and partial twisted decyclings. These operations are a concrete way to understand the minimal simple elements which result from the convexity theorem in the mentioned paper by the second author. Using partial cycling and partial twisted decycling, we investigate the structure of a directed graph \Gamma_X which is determined by USS(X), and show that \Gamma_X can be decomposed into `black' and `grey' subgraphs. There are applications which relate to the program, outlined in the first paper in this series, for finding a polynomial solution to the CDP/CSP in the case of braids. A different application is to give a new algorithm for solving the CDP/CSP in Garside groups which is faster than all other known algorithms, even though its theoretical complexity is the same as that given by the second author. There are also applications to the theory of reductive groups.


title: Interpolation of hypergeometric ratios in a global field of positive characteristic

abstract: In connection with each global field of positive characteristic we exhibit many examples of two-variable algebraic functions possessing properties consistent with a conjectural refinement of the Stark conjecture in the function field case recently proposed by the author (math.NT/0407535). Most notably, all examples are Coleman units. We obtain our results by studying rank one shtukas in which both zero and pole are generic, i.~e., shtukas not associated to any Drinfeld module.


title: Euler characteristics of algebraic varieties

abstract: This note studies the behavior of Euler characteristics and of intersection homology Euler characterstics under proper morphisms of algebraic (or analytic) varieties. The methods also yield, for algebraic (or analytic) varieties, formulae comparing these two kinds of Euler characteristics. The main results are direct consequences of the calculus of constructible functions and Grothendieck groups of constructible sheaves. Similar formulae for Hodge theoretic invariants of algebraic varieties under morphisms were announced by the first and third authors in \cite{CS1, S}.


title: Hodge genera of algebraic varieties, I

abstract: The aim of this paper is to study the behavior of Hodge-theoretic (intersection homology) genera and their associated characteristic classes under proper morphisms of complex algebraic varieties. We obtain formulae that relate (parametrized families of) global invariants of a complex algebraic variety $X$ to such invariants of singularities of proper algebraic maps defined on $X$. Such formulae severely constrain, both topologically and analytically, the singularities of complex maps, even between smooth varieties. Similar results were announced by the first and third author in \cite{CS1, S}.


title: Homology of torus links

abstract: In this paper we show that there is a cut-off in the Khovanov homology of $(2k,2kn)$-torus links, namely that the maximal homological degree of non-zero homology group of $(2k,2kn)$-torus link is $2k^2n$. Furthermore, we calculate explicitely the homology groups in homological degree $2k^2n$ and prove that it coincides with the centre of the ring $H^k$ of crossingless matchings, introduced by M. Khovanov in \cite{tan}. Also we give an explicit formula for the ranks of the homology groups of $(3,n)$-torus knots for every $n\in\N$.


title: On coverings of simple abelian varieties

abstract: We show that the vector bundle associated to a smooth projective connected finite covering of a simple complex abelian variety is ample (under a simple necessary condition). This result is obtained by showing that this bundle is M-regular in the sense of Pareschi-Popa, and that any M-regular sheaf is ample.


title: Stable bundles on 3-fold hypersurfaces

abstract: Using monads, we construct a large class of stable bundles of rank 2 and 3 on 3-fold hypersurfaces, and study the set of all possible Chern classes of stable vector bundles.


title: Intrinsic Ultracontractivity for Levy processes

abstract: We prove the intrinsic ultracontractivity for the semigroup generated by a large class of symmetric Levy processes such that the Levy measure satisfies some conditions in the neighborhood of 0, killed on exiting a bounded and connected Lipschitz domain.


title: Groups of type L_2(q) acting on polytopes

abstract: We prove that if G is a string C-group of rank 4 and G is isomorphic to L_2(q) with q a prime power, then q must be 11 or 19. The polytopes arising are Grunbaum's 11-cell of type {3,5,3} for L_2(11) and Coxeter's 57-cell of type {5,3,5} for L_2(19), each a locally projective regular 4-polytope.


title: Open partial isometries and positivity in operator spaces

abstract: We study positivity in C*-modules and operator spaces using open tripotents, and an ordered version of the `noncommutative Shilov boundary'. Because of their independent interest, we also systematically study open tripotents and their properties.


title: Isotropic random walks on affine buildings

abstract: In this paper we apply techniques of spherical harmonic analysis to prove a local limit theorem, a rate of escape theorem, and a central limit theorem for isotropic random walks on arbitrary thick regular affine buildings of irreducible type.


title: The noise in the circular law and the Gaussian free field

abstract: Fill an n x n matrix with independent complex Gaussians of variance 1/n. As n approaches infinity, the eigenvalues {z_k} converge to a sum of an H^1-noise on the unit disk and an independent H^{1/2}-noise on the unit circle. More precisely, for C^1 functions of suitable growth, the distribution of sum_{k=1}^n (f(z_k)-E f(z_k)) converges to that of a mean-zero Gaussian with variance given by the sum of the squares of the disk H^1 and the circle H^{1/2} norms of f. Moreover, with p_n the characteristic polynomial, log|p_n|- E log|p_n| tends to the planar Gaussian free field conditioned to be harmonic outside the unit disk. Finally, for polynomial test functions f, we prove that the limiting covariance structure is universal for a class of models including Haar distributed unitary matrices.


title: A note on rigidity for crossed product von Neumann algebras

abstract: In this note, we will point out, as a corollary of Popa's rigidity theory, that the crossed product von Neumann algebras for Bernoulli shifts cannot have relative property T. This is an operator algebra analogue of the theorem shown by Neuhauser and Cherix-Martin-Valette for discrete groups. Our proof is different from that for groups.


title: Characteristic Classes of Bad Orbifold Vector Bundles

abstract: We show that every bad orbifold vector bundle can be realized as the restriction of a good orbifold vector bundle to a suborbifold of the base space. We give an explicit construction of this result in which the Chen-Ruan orbifold cohomology of the two base spaces are isomorphic (as additive groups). This construction is used to indicate an extension of the Chern-Weil construction of characteristic classes to bad orbifold vector bundles. In particular, we apply this construction to the orbifold Euler class and demonstrate that it acts as an obstruction to the existence of nonvanishing sections.


title: Degenerations of Rationally Connected Varieties

abstract: We prove that a degeneration rationally connected varieties over a field of characteristic zero always contains a geometrically irreducible subvariety which is rationally connected.


title: Periodic attractors of random truncator maps

abstract: This paper introduces the \textit{truncator} map as a dynamical system on the space of configurations of an interacting particle system. We represent the symbolic dynamics generated by this system as a non-commutative algebra and classify its periodic orbits using properties of endomorphisms of the resulting algebraic structure. A stochastic model is constructed on these endomorphisms, which leads to the classification of the distribution of periodic orbits for random truncator maps. This framework is applied to investigate the periodic transitions of Bornholdt's spin market model.


title: A central limit theorem for stochastic recursive sequences of topical operators

abstract: Let $(A_n)_{n\in\mathbb{N}}$ be a stationary sequence of topical (i.e., isotone and additively homogeneous) operators. Let $x(n,x_0)$ be defined by $x(0,x_0)=x_0$ and $x(n+1,x_0)=A_nx(n,x_0)$. It can model a wide range of systems including train or queuing networks, job-shop, timed digital circuits or parallel processing systems. When $(A_n)_{n\in\mathbb{N}}$ has the memory loss property, $(x(n,x_0))_{n\in\mathbb{N}}$ satisfies a strong law of large numbers. We show that it also satisfies the CLT if $(A_n)_{n\in \mathbb{N}}$ fulfills the same mixing and integrability assumptions that ensure the CLT for a sum of real variables in the results by P. Billingsley and I. Ibragimov.


title: Single--peaks for a magnetic Schr\"{o}dinger equation with critic al growth

abstract: We prove existence results of complex-valued solutions for a semilinear Schr\"odinger equation with critical growth under the perturbation of an external electromagnetic field. Solutions are found via an abstract perturbation result in critical point theory.