title: Quadratic Maps and Bockstein Closed Group Extensions

abstract: We study central extensions E of elementary abelian 2-groups by elementary abelian 2-groups. Associated to such an extension is a quadratic map which determines the extension uniquely. The components of the map determine a quadratic ideal in a polynomial algebra and we say that the extension is Bockstein closed if this ideal is invariant under the Bockstein operator. We find a direct condition on the quadratic map that characterizes when the extension is Bockstein closed. Using this we show for example that quadratic maps induced from the fundamental quadratic map on gl_n, Q(A)=A+A^2 yield Bockstein closed extensions. We also show that this condition is equivalent to a certain liftability of the extension and under certain conditions, to the fact that Q corresponds to a 2-power map of a restricted 2-Lie algebra. For the class of 2-groups coming from these type of extensions, under a 2-power exact condition we also compute the mod 2 cohomology ring of the corresponding groups - this includes the upper triangular congruence subgroups among other examples.


title: Simplicial cycles and the computation of simplicial trees

abstract: We generalize the concept of a cycle from graphs to simplicial complexes. We show that a simplicial cycle is either a sequence of facets connected in the shape of a circle, or is a cone over such a structure. We show that a simplicial tree is a connected cycle-free simplicial complex, and use this characterization to produce an algorithm that checks in polynomial time whether a simplicial complex is a tree. We also present an efficient algorithm for checking whether a simplicial complex is grafted, and therefore Cohen-Macaulay.


title: A weakness in strong localization for Sinai's walk

abstract: Sinai's walk is a recurrent one-dimensional nearest-neighbor random walk in random environment. It is known for a phenomenon of strong localization, namely, the walk spends almost all time at or near the bottom of deep valleys of the potential. Our main result shows a weakness of this localization phenomenon: with probability one, the zones where the walk stays for the most time can be far away from the sites where the walk spends the most time. In particular, this gives a negative answer to a problem of Erd\H{o}s and R\'{e}v\'{e}sz [Mathematical Structures--Computational Mathematics--Mathematical Modelling 2 (1984) 152--157], originally formulated for the usual homogeneous random walk.


title: Periodicity of Y-systems and flat connections

abstract: We give a proof of the periodicity of Zamolodchikov's Y-systems in the AxA case using a novel interpretation of the system as a condition of flatness of a connection on a certain graph.


title: Purely infinite C*-algebras of real rank zero

abstract: We show that a separable purely infinite C*-algebra is of real rank zero if and only if its primitive ideal space has a basis consisting of compact-open sets and the natural map K_0(I) -> K_0(I/J) is surjective for all closed two-sided ideals J contained in I in the C*-algebra. It follows in particular that if A is any separable C*-algebra, then A tensor O_2 is of real rank zero if and only if the primitive ideal space of A has a basis of compact-open sets, which again happens if and only if A tensor O_2 has the ideal property, also known as property (IP).


title: Tunnel number one, genus one fibered knots

abstract: We determine the genus one fibered knots in lens spaces that have tunnel number one. We also show that every tunnel number one, once-punctured torus bundle is the result of Dehn filling a component of the Whitehead link in the 3-sphere.


title: Argument Shift Method and Gaudin Model

abstract: We construct a family of maximal commutative subalgebras in the tensor product of n copies of the universal enveloping algebra U(g) of a semisimple Lie algebra g. This family is parameterized by collections \mu; z_1,...,z_n, where \mu \in g^*, and z_1,...,z_n are pairwise distinct complex numbers. The construction presented here generalizes the famous construction of the higher Gaudin hamiltonians due to Feigin, Frenkel, and Reshetikhin. For n=1, our construction gives a quantization of the family of maximal Poisson-commutative subalgebras in S(g) obtained by the argument shift method. Next, we describe natural representations of commutative algebras of our family in tensor products of finite-dimensional g-modules as certain degenerations of the Gaudin model. In the case of g=sl_r we prove that our commutative subalgebras have simple spectrum in tensor products of finite-dimensional g-modules for generic \mu and z_i. This implies simplicity of spectrum in the "generic" sl_r Gaudin model.


title: A 1-parameter approach to links in a solid torus

abstract: To an oriented link in a solid torus we associate a trace graph in a thickened torus in such a way that links are isotopic if and only if their trace graphs can be related by moves of finitely many standard types. The key ingredient is a study of codimension~2 singularities of link diagrams. For closed braids with a fixed number of strands, trace graphs can be recognized up to equivalence excluding one type of moves in polynomial time with respect to the braid length.


title: Periodicity and the determinant bundle

abstract: The infinite matrix `Schwartz' group $G^{-\infty}$ is a classifying group for odd K-theory and carries Chern classes in each odd dimension, generating the cohomology. These classes are closely related to the Fredholm determinant on $G^{-\infty}.$ We show that while the higher (even, Schwartz) loop groups of $G^{-\infty},$ again classifying for odd K-theory, do \emph{not} carry multiplicative determinants generating the first Chern class, `dressed' extensions, corresponding to a star product, do carry such functions. We use these to discuss Bott periodicity for the determinant bundle and the eta invariant. In so doing we relate two distinct extensions of the eta invariant, to self-adjoint elliptic operators and to elliptic invertible suspended families and show that the corresponding $\tau$ invariant is a determinant in this sense.


title: Degeneration of Heegaard genus, a survey

abstract: We survey known (and unknown) results about the behavior of Heegaard genus of 3-manifolds constructed via various gluings. The constructions we consider are (1) gluing together two 3-manifolds with incompressible boundary, (2) gluing together the boundary components of surface times I, and (3) gluing a handlebody to the boundary of a 3-manifold. We detail those cases in which it is known when the Heegaard genus is less than what is expected after gluing.


title: Anosov Lie algebras and algebraic units in number fields

abstract: We study nilmanifolds admitting Anosov automorphisms by applying elementary properties of algebraic units in number fields to the associated Anosov Lie algebras. We identify obstructions to the existence of Anosov Lie algebras. The case of 13-dimensional Anosov Lie algebras is worked out as an illustration of the technique. Also, we recapture the following known results: (i) Every 7-dimensional Anosov nilmanifold is toral, and (ii) every 8-dimensional Anosov Lie algebra with 3 or 5-dimensional derived algebra contains an abelian factor.


title: On homeomorphisms and quasi-isometries of the real line

abstract: We show that the group of all pl-homeomorphisms of the reals having bounded slopes surjects on the group $QI({\Bbb R})$ of all quasi-isometries of ${\Bbb R}$. We prove that the following groups can be imbedded in $QI({\Bbb R})$: The group of compactly supported pl-homeomorphisms of the reals, the Richard Thompson group F, and the free group of rank the continuum.


title: Pieri's Formula for Generalized Schur Polynomials

abstract: Young's lattice, the lattice of all Young diagrams, has the Robinson-Schensted-Knuth correspondence, the correspondence between certain matrices and pairs of semi-standard Young tableaux with the same shape. Fomin introduced generalized Schur operators to generalize the Robinson-Schensted-Knuth correspondence. In this sense, generalized Schur operators are generalizations of semi-standard Young tableaux. We define a generalization of Schur polynomials as expansion coefficients of generalized Schur operators. We show that the commutating relation of generalized Schur operators implies Pieri's formula to generalized Schur polynomials.


title: Embeddings of homogeneous spaces into irreducible modules

abstract: Let $G$ be a connected reductive group. We find a necessary and sufficient condition for a quasiaffine homogeneous space of $G$ to be embeddable into an irreducible $G$-module. In addition, for an affine homogeneous space we find a criterium for a closed embedding to exist


title: A matrix approach to the computation of quadrature formulas on the unit circle

abstract: In this paper we consider a general sequence of orthogonal Laurent polynomials on the unit circle and we first study the equivalences between recurrences for such families and Szego's recursion and the structure of the matrix representation for the multiplication operator when a general sequence of orthogonal Laurent polynomials on the unit circle is considered. Secondly, we analyze the computation of the nodes of the Szego quadrature formulas by using Hessenberg and five-diagonal matrices. Numerical examples concerning the family of Rogers-Szego q-polynomials are also analyzed.


title: Optimal gradient estimates and asymptotic behaviour for the Vlasov-Poisson system with small initial data

abstract: The Vlasov-Poisson system describes interacting systems of collisionless particles. For solutions with small initial data in three dimensions it is known that the spatial density of particles decays like $t^{-3}$ at late times. In this paper this statement is refined to show that each derivative of the density which is taken leads to an extra power of decay so that in $N$ dimensions for $N\ge 3$ the derivative of the density of order $k$ decays like $t^{-N-k}$. An asymptotic formula for the solution at late times is also obtained.


title: Separate real analiticity and CR extendibility

abstract: In $\C^2=\R^2+i\R^2$ with coordinates $z=(z_1,z_2), z=x+iy$, we consider a function $f$ continuous on a domain $\Omega$ of $\R^2$ separately real analytic in $x_1$ and CR extendible to $y_2$ (resp. CR extendible to $y_2>0$). This means that $f(\cdot,x_2)$ extends holomorphically for $|y_1|<\epsilon_{x_2}$ and $f(x_1,\cdot)$ for $| y_2|<\epsilon$ (resp. $0\leq y_2<\epsilon$ continuous up to $y_2=0$) with $\epsilon$ independent of $x_1$. We prove in Theorem 3.4 that $f$ is then real analytic (resp. in Theorem 3.5 that it extends holomorphically to a "wedge" $W= \Omega+i\Gamma_\epsilon$ where $\Gamma_\epsilon$ is an open cone trumcated by $|y|<\epsilon$ and containing the ray $0<y_2<\epsilon)$.


title: Multivariable Christoffel-Darboux Kernels and Characteristic Polynomials of Random Hermitian Matrices

abstract: We study multivariable Christoffel-Darboux kernels, which may be viewed as reproducing kernels for antisymmetric orthogonal polynomials, and also as correlation functions for products of characteristic polynomials of random Hermitian matrices. Using their interpretation as reproducing kernels, we obtain simple proofs of Pfaffian and determinant formulas, as well as Schur polynomial expansions, for such kernels. In subsequent work, these results are applied in combinatorics (enumeration of marked shifted tableaux) and number theory (representation of integers as sums of squares).


title: Domain of attraction of the quasi-stationary distributions for the Ornstein-Uhlenbeck process

abstract: Let $X=(X_t)$ be a one-dimensional Ornstein-Uhlenbeck process with an initial density function $f$ supported on the positive real-line that is a regularly varying function with exponent $-(1+\eta)$, with $\eta\in (0,1)$. We prove the existence of a probability measure $\nu$ with a Lebesgue density, depending on $\eta$, such that for every Borel set $A$ of the positive real-line: $\lim_{t\to\infty} P_f(X_t\in A | T_0^X>t)=\nu(A)$, where $T_0^X$ is the hitting time of 0 of $X$.


title: Strict 2-toposes

abstract: A 2-categorical generalisation of elementary topos is provided and some of the properties of the yoneda structure it generates are explored. Examples relevant to the globular approach to higher category theory are discussed. This paper also contains some expository material on the theory of fibrations internal to a finitely complete 2-category as well as a self-contained development of the necessary background on yoneda structures.


title: On Donaldson's flow of surfaces in a hyperkahler four-manifold

abstract: We prove some basic properties of Donaldson's flow of surfaces in a hyperkahler 4-manifold. When the initial submanifold is symplectic with respect to one K\"ahler form and Lagrangian with respect to another, we show that certain kinds of singularities cannot form, and we prove a convergence result under a condition related to one considered by M.-T. Wang for the mean curvature flow.


title: Uncertainty principles for orthonormal sequences

abstract: The aim of this paper is to provide complementary quantitative extensions of two results of H.S. Shapiro on the time-frequency concentration of orthonormal sequences in $L^2 (\R)$. More precisely, Shapiro proved that if the elements of an orthonormal sequence and their Fourier transforms are all pointwise bounded by a fixed function in $L^2(\R)$ then the sequence is finite. In a related result, Shapiro also proved that if the elements of an orthonormal sequence and their Fourier transforms have uniformly bounded means and dispersions then the sequence is finite. This paper gives quantitative bounds on the size of the finite orthonormal sequences in Shapiro's uncertainty principles. The bounds are obtained by using prolate sphero\"{i}dal wave functions and combinatorial estimates on the number of elements in a spherical code. Extensions for Riesz bases and different measures of time-frequency concentration are also given.


title: Uncertainty principles for orthonormal bases

abstract: In this survey, we present various forms of the uncertainty principle (Hardy, Heisenberg, Benedicks). We further give a new interpretation of the uncertainty principles as a statement about the time-frequency localization of elements of an orthonormal basis, which improves previous unpublished results of H. Shapiro. Finally, we show that Benedicks' result implies that solutions of the Shr\"{o}dinger equation have some (appearently unnoticed) energy dissipation property.


title: Zero-free regions of radar ambiguity functions and moments

abstract: In this article, we give an estimate of the zero-free region around the origin of the ambiguity function of a signal $u$ in terms of the moments of $u$. This is done by proving an uncertainty relation between the first zero of the Fourier transform of a non-negative function and the moments of the function. As a corollary, we also give an estimate of how much a function needs to be translated to obtaina function that is orthogonal to the original function.


title: Comparison of the refined analytic and the Burghelea-Haller torsions

abstract: The refined analytic torsion associated to a flat vector bundle over a closed odd-dimensional manifold canonically defines a quadratic form $\tau$ on the determinant line of the cohomology. Both $\tau$ and the Burghelea-Haller torsion are refinements of the Ray-Singer torsion. We show that whenever the Burghelea-Haller torsion is defined it is equal to $\pm\tau$. As an application we obtain new results about the Burghelea-Haller torsion. In particular, we prove a weak version of the Burghelea-Haller conjecture relating their torsion with the square of the Farber-Turaev combinatorial torsion.


title: Simultaneous desingularizations of Calabi-Yau and special Lagrangian 3-folds with conical singularities

abstract: This paper is a follow-up to an earlier paper math.DG/0410260 on desingularizations of Calabi-Yau 3-folds with a conical singularity. In math.DG/0410260 we study Calabi-Yau 3-folds M_0 with a conical singularity at x modelled on some Calabi-Yau cone V, and construct a desingularization of M_0 by gluing in an Asymptotically Conical (AC) Calabi-Yau 3-fold Y to M_0 at x. In this paper, we shall investigate a similar desingularization problem on special Lagrangian (SL) 3-folds in the corresponding Calabi-Yau 3-folds. More precisely, suppose M_0 is now a Calabi-Yau 3-fold with finitely many conical singularities at x_i modelled on Calabi-Yau cones V_i for i=1,...,n, and N_0 an SL 3-fold in M_0 with conical singularities at the same points x_i modelled on SL cones C_i in V_i. Let Y_i be an AC Calabi-Yau 3-fold modelled on the Calabi-Yau cones V_i, and L_i an AC SL 3-fold in Y_i modelled on the SL cones C_i. We then simultaneously desingularize M_0 and N_0 by gluing in rescaled Y_i and L_i at each x_i. The construction is achieved by applying Joyce's analytic result [16, Thm. 5.3] on deforming Lagrangian submanifolds to nearby special Lagrangian submanifolds. As an application, we take M_0 to be the orbifold T^6/\mathbb{Z}_3 and construct some singular SL 3-folds N_0 in M_0 and AC SL 3-folds L_i in the corresponding Y_i, and glue them together to obtain examples of nonsingular SL 3-folds in the desingularized Calabi-Yau 3-folds.


title: On fundamental groups of symplectically aspherical manifolds II: abelian groups

abstract: We describe all abelian groups which can appear as the fundamental groups of closed symplectically aspherical manifolds. The proofs use the theory of symplectic Lefschetz fibrations.


title: Yang-Mills detour complexes and conformal geometry

abstract: Working over a pseudo-Riemannian manifold, for each vector bundle with connection we construct a sequence of three differential operators which is a complex (termed a Yang-Mills detour complex) if and only if the connection satisfies the full Yang-Mills equations. A special case is a complex controlling the deformation theory of Yang-Mills connections. In the case of Riemannian signature the complex is elliptic. If the bundle connection respects a metric on the vector bundle then the complex is formally self-adjoint. In dimension 4 the complex is conformally invariant and generalises, to the full Yang-Mills setting, the composition of (two operator) Yang-Mills complexes for (anti-)self-dual Yang-Mills connections. Via a prolonged system and tractor connection a diagram of differential operators is constructed which, when commutative, generates differential complexes of natural operators from the Yang-Mills detour complex. In dimension 4 this construction is conformally invariant and is used to yield two new sequences of conformal operators which are complexes if and only if the Bach tensor vanishes everywhere. In Riemannian signature these complexes are elliptic. In one case the first operator is the twistor operator and in the other sequence it is the operator for Einstein scales. The sequences are detour sequences associated to certain Bernstein-Gelfand-Gelfand sequences.


title: Four-dimensional symplectic cobordisms containing three-handles

abstract: We construct four-dimensional symplectic cobordisms between contact three-manifolds generalizing an example of Eliashberg. One key feature is that any handlebody decomposition of one of these cobordisms must involve three-handles. The other key feature is that these cobordisms contain chains of symplectically embedded two-spheres of square zero. This, together with standard gauge theory, is used to show that any contact three-manifold of non-zero torsion (in the sense of Giroux) cannot be strongly symplectically fillable. John Etnyre pointed out to the author that the same argument together with compactness results for pseudo-holomorphic curves implies that any contact three-manifold of non-zero torsion satisfies the Weinstein conjecture. We also get examples of weakly symplectically fillable contact three-manifolds which are (strongly) symplectically cobordant to overtwisted contact three-manifolds, shedding new light on the structure of the set of contact three-manifolds equipped with the strong symplectic cobordism partial order.


title: On central extensions of preprojective algebras

abstract: We determine the structure of the center and the trace space of the centrally extended preprojective algebra of an ADE quiver, introduced by the first and the third authors in math/0503393. It turns out that this structure has a mysterious relationship to the structure of the maximal nilpotent subalgebra of the corresponding simple Lie algebra.


title: Let's Expand Rota's Twelvefold Way For Counting Partitions!

abstract: Rota's Twelvefold Way gave formulas for the numbers of partitions which could be formed in twelve scenarios. This proposed AMM article expands Rota's 4 x 3 table. The resulting 6 x 5 table considers a broader collection of splitting-distributing-grouping-arranging scenarios, each of which can be visualized with the distribution of m items into certain kinds of bins. The additional counts or scenarios include: the Bell numbers B(m), the partition numbers p(m), arrangements of m books on b shelves, standings of m teams in a league, arrangements of m books into b scattered stacks, and pairings of 2m items. Teaching remarks are included. The two additional rows (due to K. Bogart) consider ordering the items within the bins. One additional column distributes the items into an unspecified number of bins, each receiving at least one item. The other (due to T. Brylawski) distributes the items into bins such that the number of bins containing a given number of items is specified. The quotient and summation relationships amongst the thirty counts are stated. A closely related table formed by the same six rows and seven certain columns is used to complete and to organize a 6 x 7 family of counting sequences in the On-Line Encyclopedia of Integer Sequences.


title: Quadratic twists of pairs of elliptic curves

abstract: Given two elliptic curves defined over a number field K, not both with j-invariant zero, we show that there are infinitely many $D\in K^\times$ with pairwise distinct image in $ K^\times/{K^\times}^2 $, such that the quadratic twist of both curves by D have positive Mordell-Weil rank. The proof depends on relating the values of pairs of cubic polynomials to rational points on another elliptic curve, and on a fiber product construction.


title: Fujita's Conjecture and Frobenius amplitude

abstract: We prove a version of Fujita's Conjecture in arbitrary characteristic, generalizing results of K.E. Smith. Our methods use the Frobenius morphism, but avoid tight closure theory. We also obtain versions of Fujita's Conjecture for coherent sheaves with certain ampleness properties.


title: Some results on embeddings of algebras, after de Bruijn and McKenzie

abstract: In 1957, N. G. de Bruijn showed that the symmetric group Sym(\Omega) on an infinite set \Omega contains a free subgroup on 2^{card(\Omega)} generators, and proved a more general statement, a sample consequence of which is that for any group A of cardinality \leq card(\Omega), Sym(\Omega) contains a coproduct of 2^{card(\Omega)} copies of A, not only in the variety of all groups, but in any variety of groups to which A belongs. His key lemma is here generalized to an arbitrary variety of algebras \bf{V}, and formulated as a statement about functors Set --> \bf{V}. From this one easily obtains analogs of the results stated above with "group" and Sym(\Omega) replaced by "monoid" and the monoid Self(\Omega) of endomaps of \Omega, by "associative K-algebra" and the K-algebra End_K(V) of endomorphisms of a K-vector-space V with basis \Omega, and by "lattice" and the lattice Equiv(\Omega) of equivalence relations on \Omega. It is also shown, extending another result from de Bruijn's 1957 paper, that each of Sym(\Omega), Self(\Omega) and End_K (V) contains a coproduct of 2^{card(\Omega)} copies of itself. That paper also gave an example of a group of cardinality 2^{card(\Omega)} that was {\em not} embeddable in Sym(\Omega), and R. McKenzie subsequently established a large class of such examples. Those results are shown to be instances of a general property of the lattice of solution sets in Sym(\Omega) of sets of equations with constants in Sym(\Omega). Again, similar results -- this time of varying strengths -- are obtained for Self(\Omega), End_K (V), and Equiv(\Omega), and also for the monoid \Rel of binary relations on \Omega. Many open questions and areas for further investigation are noted.


title: The distribution of prime numbers

abstract: This is an expanded account of three lectures on the distribution of prime numbers given at the Montreal NATO school on equidistribution.


title: On the Beauville form of the known irreducible symplectic varieties

abstract: We study the global geometry of the ten dimensional O'Grady irreducible symplectic variety. We determine its second Betti number, its Beauville form and its Fujiki constant.


title: Ambient connections realising conformal Tractor holonomy

abstract: For a conformal manifold we introduce the notion of an ambient connection, an affine connection on an ambient manifold of the conformal manifold, possibly with torsion, and with conditions relating it to the conformal structure. The purpose of this construction is to realise the normal conformal tractor holonomy as affine holonomy of such a connection. We give an example of an ambient connection for which this is the case, and which is torsion free if we start the construction with a C-space, and in addition Ricci-flat if we start with an Einstein manifold. Thus for a $C$-space this example leads to an ambient metric in the weaker sense of \v{C}ap and Gover, and for an Einstein space to a Ricci-flat ambient metric in the sense of Fefferman and Graham.


title: Rates of convergence of a transient diffusion in a spectrally negative L\'{e}vy potential

abstract: We consider a diffusion process $X$ in a random L\'{e}vy potential $\mathbb{V}$ which is a solution of the informal stochastic differential equation \begin{eqnarray*}\cases{dX_t=d\beta_t-{1/2}\mathbb{V}'(X_t) dt,\cr X_0=0,}\end{eqnarray*} ($\beta$ B. M. independent of $\mathbb{V}$). We study the rate of convergence when the diffusion is transient under the assumption that the L\'{e}vy process $\mathbb{V}$ does not possess positive jumps. We generalize the previous results of Hu--Shi--Yor for drifted Brownian potentials. In particular, we prove a conjecture of Carmona: provided that there exists $0<\kappa<1$ such that $\mathbf{E}[e^{\kappa\mathbb{V}_1}]=1$, then $X_t/t^{\kappa}$ converges to some nondegenerate distribution. These results are in a way analogous to those obtained by Kesten--Kozlov--Spitzer for the transient random walk in a random environment.


title: Hochschild and cyclic homology of central extensions of preprojective algebras of ADE quivers

abstract: Let A be the central extension of the preprojective algebra of an ADE quiver introduced by P. Etingof and E. Rains in math/0503393. The paper math/0606403 computes the structure of the zeroth Hochschild (co)homology of A. We generalize the results of math/0606403 by calculating the additive structure of all the Hochschild homology and cohomology groups of A and the cyclic homology of A, and to describe the universal deformation of A. Namely, we show that the (co)homology is periodic with period 4, and compute the first four (co)homology groups in each case.


title: Buchsbaum-Rim Multiplicities as Hilbert-Samuel Multiplicities

abstract: Over a regular local ring of dimension two with maximal ideal m, we study the Buchsbaum-Rim multiplicity of a finitely generated module M of finite colength in a free module F. First, we investigate the colength of an m-primary ideal and its Hilbert-Samuel multiplicity using linkage theory. As applications, we establish several multiplicity formula that express the Buchsbaum-Rim multiplicity of M in terms of the Hilbert-Samuel multiplicities of ideals related to a certain minimal reduction U of M. Moreover, there exists m-primary Bourbaki ideals I and J of the modules F and M respectively such that F/M is isomorphic to I/J. We also have a formula for the Buchsbaum-Rim multiplicity whenever such I and J are given. The latter part is related to a graphical interpretation of the multiplicities in the case of monomial ideals.


title: The Rank of Random Graphs

abstract: We show that almost surely the rank of the adjacency matrix of the Erd\"os-R\'enyi random graph $G(n,p)$ equals the number of non-isolated vertices for any $c\ln n/n<p<1/2$, where $c$ is an arbitrary positive constant larger than 1/2. In particular, the giant component (a.s.) has full rank in this range.


title: The word problem distinguishes counter languages

abstract: Counter automata are more powerful versions of finite-state automata where addition and subtraction operations are permitted on a set of n integer registers, called counters. We show that the word problem of $\Z^n$ is accepted by a nondeterministic $m$-counter automaton if and only if $m \geq n$.


title: Anneaux d'Endomorphismes de modules de Drinfeld de rang 2

abstract: We discuss many analogy points with the elliptic curves. more precisely, we study the characteristic polynomial of a Drinfeld module of rank 2 and use it to calculate the number of isogeny classes for such modules.


title: Sur la Structure de A-module de Drinfeld de rang 2

abstract: $\Phi $ be a Drinfeld $\mathbf{F}\_{q}[T]$-module of rank 2, over a finite field $L$. Let $P\_{\Phi}(X)=$ $X^{2}-cX+\mu P^{m}$ ($c$ an element of $\mathbf{F}\_{q}[T],$ $\mu $ be a non-vanishing element of $% \mathbf{F}\_{q}$, $m$ the degree of the extension $L$ over the field $% \mathbf{F}\_{q}[T]/P,$ and $P$ the $\mathbf{F}\_{q}[T]$-characteristic of $% L $ and $d $ the degree of the polynomial $P$) the characteristic polynomial of the Frobenius $F$ of $L$. We will be interested in the structure of finite $\mathbf{F}\_{q}[T]$-module $L^{\Phi}$ induced by $\Phi $ over $L$. Our main result is analogue to that of Deuring (see \cite{Deuring}) for elliptic curves : Let $M=\frac{\mathbf{F}\_{q}[T]}{I\_{1}}\oplus \frac{\mathbf{F}\_{q}[T]}{% I\_{2}}$, where $I\_{1}=(i\_{1})$,$ I\_{2}=(i\_{2})$ ($i\_{1}$, $i\_{2}$ being two polynomials of $\mathbf{F}\_{q}[T]$) such that : $i\_{2}\mid (c-2)$. Then there exists an ordinary Drinfeld $\mathbf{F}\_{q}[T]$-module $\Phi $ over $L$ of rank 2 such that : $L^{\Phi}$ $\simeq M$. To cite this article: Mohamed-Saadbouh Mohamed-Ahmed, C. R. Acad. Sci. Paris, Ser. I ... (...).


title: Statistique sur la cyclicit\'{e} de A-module de Drinfeld de rang 2

abstract: Let $\Phi $ be a Drinfeld $\mathbf{F}\_{q}[T]$-module of rank 2, over a finite field $L=\mathbf{F}\_{q^{n}}$. We will study the cyclic property of the structure $L^{\Phi}.$ We will prove that the latter is cyclic only for trivial extensions of $\mathbf{F}\_{q}$.


title: Multiple zeta values and periods of moduli spaces $\mathfrak{M}_{0,n}$

abstract: In this paper we prove a conjecture due to Goncharov and Manin which states that the periods of the moduli spaces $\mathfrak{M}_{0,n}$ of Riemann spheres with $n$ marked points are multiple zeta values. In order to do this, we introduce a differential algebra of multiple polylogarithms on $\mathfrak{M}_{0,n}$, and prove that it is closed under the operation of taking primitives. The main idea is to apply a version of Stokes' formula iteratively, and to exploit the geometry of the moduli spaces to reduce each period integral to multiple zeta values. We also give a geometric interpretation of the double shuffle relations, by showing that they are two extremal cases of general product formulae for periods which arise by considering natural maps between moduli spaces.


title: Dimension estimates for invariant measures of contracting-on-average iterated function systems

abstract: We estimate from above and below the dimension of invariant measure for contracting-on-average iterated function systems in $\R^d$.


title: Monotone operator functions, gaps and power moment problem

abstract: The article is devoted to investigation of the classes of functions belonging to the gaps between classes $P_{n+1}(I)$ and $P_{n}(I)$ of matrix monotone functions for full matrix algebras of successive dimensions. In this paper we address the problem of characterizing polynomials belonging to the gaps $P_{n}(I) \setminus P_{n+1}(I)$ for bounded intervals $I$. We show that solution of this problem is closely linked to solution of truncated moment problems, Hankel matrices and Hankel extensions. Namely, we show that using the solutions to truncated moment problems we can construct continuum many polynomials in the gaps. We also provide via several examples some first insights into the further problem of description of polynomials in the gaps that are not coming from the truncated moment problem. Also, in this article, we deepen further in another way into the structure of the classes of matrix monotone functions and of the gaps between them by considering the problem of position in the gaps of certain interesting subclasses of matrix monotone functions that appeared in connection to interpolation of spaces and in a prove of the L{\"o}wner theorem on integral representation of operator monotone functions.


title: Abelian varieties without homotheties

abstract: A celebrated theorem of Bogomolov asserts that the $\ell$-adic Lie algebra attached to the Galois action on the Tate module of an abelian variety over a number field contains all homotheties. This is not the case in characteristic $p$: a "counterexample" is provided by an ordinary elliptic curve defined over a finite field. In this note we discuss (and explicitly construct) more interesting examples of "non-constant" absolutely simple abelian varieties (without homotheties) over global fields in characteristic $p$.


title: Test Configurations for K-Stability and Geodesic Rays

abstract: Let $X$ be a compact complex manifold, $L\to X$ an ample line bundle over $X$, and ${\cal H}$ the space of all positively curved metrics on $L$. We show that a pair $(h_0,T)$ consisting of a point $h_0\in {\cal H}$ and a test configuration $T=({\cal L}\to {\cal X}\to {\bf C})$, canonically determines a weak geodesic ray $R(h_0,T)$ in ${\cal H}$ which emanates from $h_0$. Thus a test configuration behaves like a vector field on the space of K\"ahler potentials ${\cal H}$. We prove that $R$ is non-trivial if the ${\bf C}^\times$ action on $X_0$, the central fiber of $\cal X$, is non-trivial. The ray $R$ is obtained as limit of smooth geodesic rays $R_k\subset{\cal H}_k$, where ${\cal H}_k\subset{\cal H}$ is the subspace of Bergman metrics.


title: Motivic zeta functions of motives

abstract: Let K be a field of characteristic 0 and A be a rigid tensor K-linear category. Let M be a finite-dimensional object of A in the sense of Kimura-O'Sullivan. We prove that the "motivic" zeta function of M with coefficients in K\_0(A) has a functional equation. When A is the category of Chow motives over a field, we thus recover and generalise previous work of Franziska Heinloth, who considered the case where M is the motive of an abelian variety. We also get a functional equation for the zeta function of any motive modulo homological equivalence over a finite field. Our functional equation involves the "determinant" of M, an invertible object of A: this is the main difference with Heinoth's equation. In her case, the determinant turns out to be 1.


title: The diagonal lemma as the formalized Grelling paradox

abstract: Since the diagonal lemma plays a key role in the proof of the main limitative theorems of logic, its proof could shed light on the very essence of these fundamental theorems. Yet the lemma is often characterized as one of those important logical results that lack an insightful explanatory proof. By making explicit that the well-known proof of the lemma is just a straightforward translation of the Grelling paradox into first-order arithmetic, the proof can be made completely transparent.


title: Minimum L1-distance projection onto the boundary of a convex set: Simple characterization

abstract: We show that the minimum distance projection in the L1-norm from an interior point onto the boundary of a convex set is achieved by a single, unidimensional projection. Application of this characterization when the convex set is a polyhedron leads to either an elementary minmax problem or a set of easily solved linear programs, depending upon whether the polyhedron is given as the intersection of a set of half spaces or as the convex hull of a set of extreme points. The outcome is an easier and more straightforward derivation of the special case results given in a recent paper by Briec.


title: Stochastic calculus of variations for general L\'evy processes and its applications to jump-type SDE's with non-degenerated drift

abstract: We consider an SDE in R^m of the type dX(t)=a(X(t))dt+dU(t) with a L\'evy process U and study the problem for the distribution of a solution to be regular in various senses. We do not impose any specific conditions on the L\'evy measure of the noise, and this is the main difference between our method and the known methods by J.Bismut or J.Picard. The main tool in our approach is the stochastic calculus of variations for a L\'evy process, based on the time-stretching transformations of the trajectories. Three problems are solved in this framework. First, we prove that if the drift coefficient a is non-degenerated in an appropriate sense, then the law of the solution to the Cauchy problem for the initial equation is absolutely continuous, as soon as the L\'evy measure of the noise satisfies one of the rather weak intensity conditions, for instance the so-called wide cone condition. Secondly, we provide the sufficient conditions for the density of the distribution of the solution to the Cauchy problem to be smooth in the terms of the family of the so-called order indices of the L\'evy measure of the noise (the drift again is supposed to be non-degenerated). At last, we show that an invariant distribution to the initial equation, if exists, possesses a C^\infty-density provided the drift is non-degenerated and the L\'evy measure of the noise satisfies the wide cone condition.


title: Mean curvature flow of monotone Lagrangian submanifolds

abstract: We use holomorphic disks to describe the formation of singularities in the mean curvature flow of monotone Lagrangian submanifolds in $\mathbb C^{n}$.


title: Intersection theory on the moduli space of holomorphic curves with Lagrangian boundary conditions

abstract: We define a new family of open Gromov-Witten type invariants based on intersection theory on the moduli space of pseudoholomorphic curves of arbitrary genus with boundary in a Lagrangian submanifold. We assume the Lagrangian submanifold arises as the fixed points of an anti-symplectic involution and has dimension 2 or 3. In the strongly semi-positive genus 0 case, the new invariants coincide with Welschinger's invariant counts of real pseudoholomorphic curves. Furthermore, we calculate the new invariant for the real quintic threefold in genus 0 and degree 1 to be 30.


title: Empirical balanced truncation of nonlinear systems

abstract: Novel constructions of empirical controllability and observability gramians for nonlinear systems for subsequent use in a balanced truncation style of model reduction are proposed. The new gramians are based on a generalisation of the fundamental solution for a Linear Time-Varying system. Relationships between the given gramians for nonlinear systems and the standard gramians for both Linear Time-Invariant and Linear Time-Varying systems are established as well as relationships to prior constructions proposed for empirical gramians. Application of the new gramians is illustrated through a sample test-system.


title: Second Order Freeness and Fluctuations of Random Matrices, III. Higher order freeness and free cumulants

abstract: We extend the relation between random matrices and free probability theory from the level of expectations to the level of all correlation functions (which are classical cumulants of traces of products of the matrices). We introduce the notion of "higher order freeness" and develop a theory of corresponding free cumulants. We show that two independent random matrix ensembles are free of arbitrary order if one of them is unitarily invariant. We prove R-transform formulas for second order freeness. Much of the presented theory relies on a detailed study of the properties of "partitioned permutations".


title: Some problems on mapping class groups and moduli space

abstract: This paper presents a number of problems about mapping class groups and moduli space. The paper will appear in the book "Problems on Mapping Class Groups and Related Topics", ed. by B. Farb, Proc. Symp. Pure Math. series, Amer. Math. Soc.


title: Zeta functions and Dynamical Systems

abstract: In this brief note we present a very simple strategy to investigate dynamical determinants for uniformly hyperbolic systems. The construction builds on the recent introduction of suitable functional spaces which allow to transform simple heuristic arguments in rigorous ones. Although the results so obtained are not exactly optimal the straightforwardness of the argument makes it noticeable.


title: Dynamical determinants and spectrum for hyperbolic diffeomorphisms

abstract: For smooth hyperbolic dynamical systems and smooth weights, we relate Ruelle transfer operators with dynamical Fredholm determinants and dynamical zeta functions: First, we establish bounds for the essential spectral radii of the transfer operator on new spaces of anisotropic distributions, improving our previous results. Then we give a new proof of Kitaev's lower bound for the radius of convergence of the dynamical Fredholm determinant. In addition we show that the zeroes of the determinant in the corresponding disc are in bijection with the eigenvalues of the transfer operator on our spaces of anisotropic distributions, closing a question which remained open for a decade.


title: Properties of closed 3-braids

abstract: We show that 3-braid links with given (non-zero) Alexander or Jones polynomial are finitely many, and can be effectively determined. We classify among closed 3-braids strongly quasipositive and fibered ones, and show that 3-braid links have a unique incompressible Seifert surface. We also classify the positive braid words with Morton-Williams-Franks bound 3 and show that closed positive braids of braid index 3 are closed positive 3-braids. For closed braids on more strings, we study the alternating links occurring. In particular we classify those of braid index 4, and show that their Morton-Williams-Franks inequality is exact. Finally, we use the Burau representation to obtain new braid index criteria, including an efficient 4-braid test.


title: Noncommutative Poisson structures on Orbifolds

abstract: In this paper, we compute the Gerstenhaber bracket on the Hoch-schild cohomology of $C^\infty(M)\rtimes G$ for a finite group $G$ acting on a compact manifold $M$. Using this computation, we obtain geometric descriptions for all noncommutative Poisson structures on $C^\infty(M)\rtimes G$ when $M$ is a symplectic manifold. We also discuss examples of deformation quantizations of these noncommutative Poisson structures.


title: An Algorithm Computing the Local $b$ Function by an Approximate Division Algorithm in $\hat{\mathcal{D}}$

abstract: We give an algorithm to compute the local $b$ function. In this algorithm, we use the Mora division algorithm in the ring of differential operators and an approximate division algorithm in the ring of differential operators with power series coefficient.


title: Small Covers over Prisms

abstract: In this paper we calculate the number of equivariant diffeomorphism classes of small covers over a prism.


title: Martin boundary of a killed random walk on a half-space

abstract: A complete representation of the Martin boundary of killed random walks on a half-space $\Z^{d-1}\times\N^*$ is obtained. In particular, it is proved that the corresponding Martin boundary is homemorphic to the half-sphere ${\cal S}^d_+ = \{z\in\R^{d-1}\times\R_+ : |z|=1\}$. The method is based on a combination of ratio limits theorems and large deviation techniques.


title: Asymptotic zero distribution for a class of multiple orthogonal polynomials

abstract: We establish the asymptotic zero distribution for polynomials generated by a four-term recurrence relation with varying recurrence coefficients having a particular limiting behavior. The proof is based on ratio asymptotics for these polynomials. We can apply this result to three examples of multiple orthogonal polynomials, in particular Jacobi-Pineiro, Laguerre I and the example associated with Macdonald functions. We also discuss an application to Toeplitz matrices.


title: Classifier Technology and the Illusion of Progress

abstract: A great many tools have been developed for supervised classification, ranging from early methods such as linear discriminant analysis through to modern developments such as neural networks and support vector machines. A large number of comparative studies have been conducted in attempts to establish the relative superiority of these methods. This paper argues that these comparisons often fail to take into account important aspects of real problems, so that the apparent superiority of more sophisticated methods may be something of an illusion. In particular, simple methods typically yield performance almost as good as more sophisticated methods, to the extent that the difference in performance may be swamped by other sources of uncertainty that generally are not considered in the classical supervised classification paradigm.


title: Pencils of plane curves and characteristic varieties

abstract: We give a geometric approach to the relation between the irreducible components of the characteristic varieties of local systems on a plane curve arrangement complement and the associated pencils of plane curves discovered recently by M. Falk and S. Yuzvinsky in the case of line arrangements, see mathAG/0603166. In this case, this geometric point of view was already hinted to by A. Libgober and S. Yuzvinsky. Our study yields new geometric insight on the translated components of the characteristic varieties, relating them to the multiplicities of curves in the associated pencil, in close analogy to the compact situation treated by A. Beauville.


title: Isotopy invariants for closed braids and almost closed braids via loops in stratified spaces

abstract: Let $\phi : S^1\times D^2\to S^1$ be the natural projection. An oriented knot $K\hookrightarrow V = S^1\times D^2$ is called an almost closed braid if the restriction of $\phi$ to K has exactly two (non-degenerate) critical points (and K is a closed braid if the restriction of $\phi$ has no critical points at all). We introduce new isotopy invariants for closed braids and almost closed braids in the solid torus V. These invariants refine finite type invariants. They are still calculable with polynomial complexity with respect to the number of crossings of K. Let the solid torus V be standardly embedded in the 3-sphere and let A be the axis of the complementary solid torus $S^3\setminus V$. We give examples which show that our invariants can detect non-invertibility of 2-component links $K\cup A\hookrightarrow S^3$. Notice that all quantum link invariants fail to do so and that it is not known wether there are finite type invariants which can detect non-invertibility of 2-component links.


title: Monotone trace functions of several variables

abstract: We investigate monotone operator functions of several variables under a trace or a trace-like functional. In particular, we prove the inequality \tau(x_1... x_n)\le\tau(y_1... y_n) for a trace \tau on a C^*-algebra and abelian n-tuples (x_1,...,x_n)\le (y_1,...,y_n) of positive elements. We formulate and prove Jensen's inequality for expectation values, and we study matrix functions of several variables which are convex or monotone with respect to the weak majorization for matrices.


title: On a differential equation for a gas bubbles collapse mathematical model

abstract: In this paper we present a mathematical model for estimate the collapse time of a gas bubble in a vane of a oil gerotor pump. This amount of time cannot be greater of the total time spent by the pump for filling and then emptying out a vane in a single revolution, otherwise there is a loss of lubrication between internal and external gears. We assume that oil is incompressible and viscous, the bubble has a spherical shape and it is not translating into the external fluid. The analytical treatment of the model shows that the Navier-Stokes equations for the velocity field of the oil can be reduced to a single non linear ordinary differential equation for the variation in time of the bubble radius. The collapse time estimated by a numerical resolution of this equation and the collapse time calculated from an analytical resolution of the linearized equation are substantially equal.

categories: math.CA math-ph math.MP math.NA physics.flu-dyn


title: Graph Drawings with Few Slopes

abstract: The "slope-number" of a graph $G$ is the minimum number of distinct edge slopes in a straight-line drawing of $G$ in the plane. We prove that for $\Delta\geq5$ and all large $n$, there is a $\Delta$-regular $n$-vertex graph with slope-number at least $n^{1-\frac{8+\epsilon}{\Delta+4}}$. This is the best known lower bound on the slope-number of a graph with bounded degree. We prove upper and lower bounds on the slope-number of complete bipartite graphs. We prove a general upper bound on the slope-number of an arbitrary graph in terms of its bandwidth. It follows that the slope-number of interval graphs, cocomparability graphs, and AT-free graphs is at most a function of the maximum degree. We prove that graphs of bounded degree and bounded treewidth have slope-number at most $O(\log n)$. Finally we prove that every graph has a drawing with one bend per edge, in which the number of slopes is at most one more than the maximum degree. In a companion paper (http://arxiv.org/abs/math/0606450), planar drawings of graphs with few slopes are also considered.


title: Comment: Classifier Technology and the Illusion of Progress

abstract: Comment on Classifier Technology and the Illusion of Progress [math.ST/0606441]


title: Inner Ideals and Intrinsic Subspaces of Linear Pair Geometries

abstract: We introduce the notion of intrinsic subspaces of linear and affine pair geometries, which generalizes the one of projective subspaces of projective spaces. We prove that, when the affine pair geometry is the projective geometry of a Lie algebra introduced in [Bertram-Neeb, J. Alg. 277], such intrinsic subspaces correspond to inner ideals in the associated Jordan pair, and we investigate the case of intrinsic subspaces defined by the Peirce-decomposition which is related to 5-gradings of the projective Lie algebra. These examples, as well as the examples of general and Lagrangian flag geometries, lead to the conjecture that geometries of intrinsic subspaces tend to be themselves linear pair geometries.


title: Homotopes and Conformal Deformations of Symmetric Spaces

abstract: Homotopy is an important feature of associative and Jordan algebraic structures: such structures always come in families whose members need not be isomorphic among other, but still share many important properties. One may regard homotopy as a special kind of deformation of a given algebraic structure. In this work, we investigate the global counterpart of this phenomenon on the geometric level of the associated symmetric spaces -- on this level, homotopy gives rise to conformal deformations of symmetric spaces. These results are valid in arbitrary dimension and over general base fields and -rings.


title: Drawings of Planar Graphs with Few Slopes and Segments

abstract: We study straight-line drawings of planar graphs with few segments and few slopes. Optimal results are obtained for all trees. Tight bounds are obtained for outerplanar graphs, 2-trees, and planar 3-trees. We prove that every 3-connected plane graph on $n$ vertices has a plane drawing with at most ${5/2}n$ segments and at most $2n$ slopes. We prove that every cubic 3-connected plane graph has a plane drawing with three slopes (and three bends on the outerface). In a companion paper, drawings of non-planar graphs with few slopes are also considered.


title: Two Color Off-diagonal Rado-type Numbers

abstract: We show that for any two linear homogenous equations $\mathcal{E}_0,\mathcal{E}_1$, each with at least three variables and coefficients not all the same sign, any 2-coloring of $\mathbb{Z}^+$ admits monochromatic solutions of color 0 to $\mathcal{E}_0$ or monochromatic solutions of color 1 to $\mathcal{E}_1$. We define the 2-color off-diagonal Rado number $RR(\mathcal{E}_0,\mathcal{E}_1)$ to be the smallest $N$ such that $[1,N]$ must admit such solutions. We determine a lower bound for $RR(\mathcal{E}_0,\mathcal{E}_1)$ in certain cases when each $\mathcal{E}_i$ is of the form $a_1x_1+...+a_nx_n=z$ as well as find the exact value of $RR(\mathcal{E}_0,\mathcal{E}_1)$ when each is of the form $x_1+a_2x_2+...+a_nx_n=z$. We then present a Maple package that determines upper bounds for off-diagonal Rado numbers of a few particular types, and use it to quickly prove two previous results for diagonal Rado numbers.


title: Comment: Classifier Technology and the Illusion of Progress--Credit Scoring

abstract: Comment on Classifier Technology and the Illusion of Progress--Credit Scoring [math.ST/0606441]


title: Tangent Algebras

abstract: \noindent We study the Zariski tangent cone $T_X\stackrel{\pi}{\lar} X$ to an affine variety $X$ and the closure $\bar{T}_X$ of $\pi^{-1}({\rm Reg}(X))$ in $T_X$. We focus on the comparison between $T_X$ and $\bar{T}_X$, giving sufficient conditions on $X$ in order that $T_X=\bar{T}_X$. One aspect of the results is to understand when this equality takes place in the presence of the reducedness of the Zariski tangent cone. Our other interest is to consider conditions on $X$ in order that $\bar{T}_X$ be normal or/and Cohen--Macaulay, and to prove that they are met by several classes of affine varieties including complete intersection, Cohen--Macaulay codimension two and Gorenstein codimension three singularities. In addition, when $X$ is the affine cone over a smooth arithmetically normal Calabi--Yau projective variety, we establish when $\bar{T}_X$ is also (the affine cone over) an arithmetically normal Calabi--Yau like (projective) variety.


title: On a random graph related to quantum theory

abstract: We show that a random graph studied by Ioffe and Levit is an example of an inhomogeneous random graph of the type studied by Bollobas, Janson and Riordan, which enables us to give a new, simple, proof of their result on a phase transition.


abstract: Comment: Elaboration on Two Points Raised in ``Classifier Technology and the Illusion of Progress'' [math.ST/0606441]


title: Multiplicative bijections between algebras of differentiable functions

abstract: We show that any multiplicative bijection between the algebras of differentiable functions, defined on differentiable manifolds of positive dimension, is an algebra isomorphism, given by composition with a unique diffeomorphism.


title: Comparing homotopy categories

abstract: Given a suitable functor T:C -> D between model categories, we define a long exact sequence relating the homotopy groups of any X in C with those of TX, and use this to describe an obstruction theory for lifting an object G in D to C. Examples include finding spaces with given homology or homotopy groups.


title: A KAM theorem with applications to partial equations of higher dimension

abstract: The existence of lower dimensional KAM tori is shown for a class of nearly integrable Hamiltonian systems where the second Melnikov's conditions are eliminated. As a consequence, it is proved that there exist many invariant tori and thus quasi-periodic solutions for nonlinear wave equations, Schr\"odinger equations and other equations of higher spatial dimension.


title: Parities of v-decomposition numbers and an application to symmetric group algebras

abstract: We prove that the v-decomposition number $d_{\lambda\mu}(v)$ is an even or odd polynomial according to whether the partitions $\lambda$ and $\mu$ have the same relative sign (or parity) or not. We then use this result to verify Martin's conjecture for weight 3 blocks of symmetric group algebras -- that these blocks have the property that their projective (indecomposable) modules have a common radical length 7.


abstract: Rejoinder: Classifier Technology and the Illusion of Progress [math.ST/0606441]


title: Weak Convergence of Laws on R^{K} with Common Marginals

abstract: We present a result on topologically equivalent integral metrics (Rachev, 1991, Muller, 1997) that metrize weak convergence of laws with common marginals. This result is relevant for applications, as shown in a few simple examples.


title: Bezoutians and Tate Resolutions

abstract: This paper gives an explicit construction of the Tate resolution of sheaves arising from the d-fold Veronese embedding of P^n. Our description involves the Bezoutian of n+1 homogenous forms of degree d in n+1 variables. We give applications to duality theorems, including Koszul duality.


title: Five Lectures on Khovanov Homology

abstract: These lecture notes, which were designed for the Summer School "Heegaard-Floer Homology and Khovanov Homology" in Marseilles, 29th May - 2nd June, 2006, provide an elementary introduction to Khovanov homology. The intended audience is graduate students with some minimal background in low-dimensional and algebraic topology. The lectures cover the basic definitions, important properties, a number of variants and some applications. At the end of each lecture the reader is referred to the relevant literature for further reading.


title: Finite descent obstructions and rational points on curves

abstract: Let k be a number field and X a smooth projective k-variety. In this paper, we study the information obtainable from descent via torsors under finite k-group schemes on the location of the k-rational points on X within the adelic points. Our main result is that if a curve C/k maps nontrivially into an abelian variety A/k such that A(k) is finite and Sha(k,A) has no nontrivial divisible elements, then the information coming from finite abelian descent cuts out precisely the rational points of C. We conjecture that this is the case for all curves of genus at least 2. We relate finite descent obstructions to the Brauer-Manin obstruction; in particular, we prove that on curves, the Brauer set equals the set cut out by finite abelian descent. Our conjecture therefore implies that the Brauer-Manin obstruction against rational points in the only one on curves.


title: Algebraic Quantum Hypergroups

abstract: An algebraic quantum group is a multiplier Hopf algebra with integrals. In this paper we will develop a theory of algebraic quantum hypergroups. It is very similar to the theory of algebraic quantum groups, except that the comultiplication is no longer assumed to be a homomorphism. We still require the existence of a left and of a right integral. There is also an antipode but it is characterized in terms of these integrals. We construct the dual, just as in the case of algebraic quantum groups and we show that the dual of the dual is the original quantum hypergroup. We define algebraic quantum hypergroups of compact type and discrete type and we show that these types are dual to each other. The algebraic quantum hypergroups of compact type are essentially the algebraic ingredients of the compact quantum hypergroups as introduced and studied (in an operator algebraic context) by Chapovsky and Vainerman. We will give some basic examples in order to illustrate different aspects of the theory. In a separate note, we will consider more special cases and more complicated examples. In particular, in that note, we will give a general construction procedure and show how known examples of these algebraic quantum hypergroups fit into this framework.


title: A conjectured combinatorial interpretation of the normalized irreducible character values of the symmetric group

abstract: In math.CO/0109093 the author obtained a formula for the value of an irreducible symmetric group character indexed by a partition of rectangular shape. In the present paper this formula is (conjecturally) generalized to arbitrary shapes.


title: Proper stacks

abstract: We generalize the notion of proper stack introduced by Kashiwara and Schapira to the case of a general site, and we prove that a proper stack is a stack.


title: Semisymmetric Graphs from Polytopes

abstract: Every finite, self-dual, regular (or chiral) 4-polytope of type {3,q,3} has a trivalent 3-transitive (or 2-transitive) medial layer graph. Here, by dropping self-duality, we obtain a construction for semisymmetric trivalent graphs (which are edge- but not vertex-transitive). In particular, the Gray graph arises as the medial layer graph of a certain universal locally toroidal regular 4-polytope.


title: A characterization of submanifolds by a homogeneity condition

abstract: A very short proof of the following smooth homogeneity theorem of D. Repovs, E. V. Scepin and the author is presented. Let N be a locally compact subset of a smooth manifold M. Assume that for each two points x,y in N there exist their neighborhoods Ux and Uy in M and a diffeomorphism h : Ux \to Uy such that h(x)=y and h (Ux \cap N) = Uy \cap N. Then N is a smooth submanifold of M.


title: An Algorithmic Approach to Non-self-financing Hedging in a Discrete-Time Incomplete Market

abstract: We present an algorithm producing a dynamic non-self-financing hedging strategy in an incomplete market corresponding to investor-relevant risk criterion. The optimization is a two stage process that first determines admissible model parameters that correspond to the market price of the option being hedged. The second stage applies various merit functions to bootstrapped samples of model residuals to choose an optimal set of model parameters from the admissible set. Results are presented for options traded on the New York Stock Exchange.


title: Generalized 2-vector spaces and general linear 2-groups

abstract: In this paper a notion of {\it generalized 2-vector space} is introduced which includes Kapranov and Voevodsky 2-vector spaces. Various kinds of generalized 2-vector spaces are considered and examples are given. The existence of non free generalized 2-vector spaces and of generalized 2-vector spaces which are non Karoubian (hence, non abelian) categories is discussed, and it is shown how any generalized 2-vector space can be identified with a full subcategory of an (abelian) functor category with values in the category ${\bf VECT}_K$ of (possibly infinite dimensional) vector spaces. The corresponding general linear 2-groups $\mathbb{G}\mathbb{L}({\bf Vect}_K[\mathcal{C}])$ are considered. Specifically, it is shown that $\mathbb{G}\mathbb{L}({\bf Vect}_K[\mathcal{C}])$ always contains as a (non full) sub-2-group the 2-group ${\sf Equiv}_{Cat}(\mathcal{C})$ (hence, for finite categories $\mathcal{C}$, they contain {\sl Weyl sub-2-groups} analogous to usual Weyl subgroups of the general linear groups), and $\mathbb{G}\mathbb{L}({\bf Vect}_K[\mathcal{C}])$ is explicitly computed (up to equivalence) in a special case of generalized 2-vector spaces which include those of Kapranov and Voevodsky. Finally, other important drawbacks of the notion of generalized 2-vector space, besides the fact that it is in general a non Karoubian category, are also mentioned at the end of the paper.


title: Relative hyperbolicity, classifying spaces, and lower algebraic K-theory

abstract: For $\Gamma$ a relatively hyperbolic group, we construct a model for the universal space among $\Gamma$-spaces with isotropy on the family VC of virtually cyclic subgroups of $\Gamma$. We provide a recipe for identifying the maximal infinite virtually cyclic subgroups of Coxeter groups which are lattices in $O^+(n,1)= \iso(\mathbb H^n)$. We use the information we obtain to explicitly compute the lower algebraic K-theory of the Coxeter group $\gt$ (a non-uniform lattice in $O^+(3,1)$). Part of this computation involves calculating certain Waldhausen Nil-groups for $\mathbb Z[D_2]$, $\mathbb Z[D_3]$.


title: On some symplectic quotients of Schubert varieties

abstract: Let $G/P$ be a generalized flag variety, where $G$ is a complex semisimple connected Lie group and $P\subset G$ a parabolic subgroup. Let also $X\subset G/P$ be a Schubert variety. We consider the canonical embedding of $X$ into a projective space, which is obtained by identifying $G/P$ with a coadjoint orbit of the compact Lie group $K$, where $G=K^{\mathbb C}$. The maximal torus $T$ of $K$ acts linearly on the projective space and it leaves $X$ invariant: let $\Psi: X \to {\rm Lie}(T)^*$ be the restriction of the moment map relative to the Fubini-Study symplectic form. By a theorem of Atiyah, $\Psi(X)$ is a convex polytope in ${\rm Lie}(T)^*$. In this paper we show that all pre-images $\Psi^{-1}(\mu)$, $\mu\in \Psi(X)$, are connected subspaces of $X$. We then consider a one-dimensional subtorus $S\subset T$, and the map $f: X\to {\mathbb R}$, which is the restriction of the $S$ moment map to $X$. We study quotients of the form $f^{-1}(r)/S$, where $r\in {\mathbb R}$. We show that under certain assumptions concerning $X$, $S$, and $r$, these symplectic quotients are (new) examples of spaces for which the Kirwan surjectivity theorem and Tolman and Weitsman's presentation of the kernel of the Kirwan map hold true (combined with a theorem of Goresky, Kottwitz, and MacPherson, these results lead to an explicit description of the cohomology ring of the quotient). The singular Schubert variety in the Grassmannian $G_2({\mathbb C}^4)$ of 2 planes in ${\mathbb C}^4$ is discussed in detail.


title: On the editing distance of graphs

abstract: An edge-operation on a graph $G$ is defined to be either the deletion of an existing edge or the addition of a nonexisting edge. Given a family of graphs $\mathcal{G}$, the editing distance from $G$ to $\mathcal{G}$ is the smallest number of edge-operations needed to modify $G$ into a graph from $\mathcal{G}$. In this paper, we fix a graph $H$ and consider ${\rm Forb}(n,H)$, the set of all graphs on $n$ vertices that have no induced copy of $H$. We provide bounds for the maximum over all $n$-vertex graphs $G$ of the editing distance from $G$ to ${\rm Forb}(n,H)$, using an invariant we call the {\it binary chromatic number} of the graph $H$. We give asymptotically tight bounds for that distance when $H$ is self-complementary and exact results for several small graphs $H$.


title: Sparse SOS Relaxations for Minimizing Functions that are Summations of Small Polynomials

abstract: This paper discusses how to find the global minimum of functions that are summations of small polynomials (``small'' means involving a small number of variables). Some sparse sum of squares (SOS) techniques are proposed. We compare their computational complexity and lower bounds with prior SOS relaxations. Under certain conditions, we also discuss how to extract the global minimizers from these sparse relaxations. The proposed methods are especially useful in solving sparse polynomial system and nonlinear least squares problems. Numerical experiments are presented, which show that the proposed methods significantly improve the computational performance of prior methods for solving these problems. Lastly, we present applications of this sparsity technique in solving polynomial systems derived from nonlinear differential equations and sensor network localization.


title: Kruskal--Katona type theorems for clique complexes arising from chordal and strongly chordal graphs

abstract: A forest is the clique complex of a strongly chordal graph and a quasi-forest is the clique complex of a chordal graph. Kruskal--Katona type theorems for forests, quasi-forests, pure forests and pure quasi-forests will be presented. In addition, it will be shown that a quasi-forest is shellable if and only if its $h$-vector $(h_0, h_1, h_2, ...)$ satisfies $h_i = 0$ for $i > 1$.


title: An Energy Reducing Flow for Multiple-Valued Functions

abstract: By the method of discrete Morse flows, we construct an energy reducing multiple-valued function flow. The flow we get is Holder continuous with respect to the L-2 norm. We also give another way of constructing flows in some special cases, where the flow we get behaves like ordinary heat flow.


title: Unmixed bipartite graphs

abstract: In this note we give a combinatorial characterization of all the unmixed bipartite graphs.


title: Dirac operators on all Podles quantum spheres

abstract: We construct spectral triples on all Podles quantum spheres. These noncommutative geometries are equivariant for a left action of $U_q(su(2))$ and are regular, even and of metric dimension 2. They are all isospectral to the undeformed round geometry of the 2-sphere. There is also an equivariant real structure for which both the commutant property and the first order condition for the Dirac operators are valid up to infinitesimals of arbitrary order.


title: Labeled Partitions and the q-Derangement Numbers

abstract: By a re-examination of MacMahon's original proof of his celebrated theorem on the distribution of the major indices over permutations, we give a reformulation of his argument in terms of the structure of labeled partitions. In this framework, we are able to establish a decomposition theorem for labeled partitions that leads to a simple bijective proof of Wachs' formula on the q-derangement numbers.


title: Some colouring problems for unit-quadrance graphs

abstract: The quadrance between two points $A_1 = (x_1, y_1)$ and $A_2 = (x_2, y_2)$ is the number $Q (A_1, A_2) = (x_1 - x_2)^2 + (y_1 - y_2)^2$. Let $q$ be an odd prime power and $F_q$ be the finite field with $q$ elements. The unit-quadrance graph $D_q$ has the vertex set $F_q^2$, and $X, Y \in F_q^2$ are adjacent if and only if $Q (A_1, A_2) = 1$. In this paper, we study some colouring problems for the unit-quadrance graph $D_q$ and discuss some open problems.


title: Divisor graphs have arbitrary order and size

abstract: A divisor graph $G$ is an ordered pair $(V, E)$ where $V \subset \mathbbm{Z}$ and for all $u \neq v \in V$, $u v \in E$ if and only if $u \mid v$ or $v \mid u$. A graph which is isomorphic to a divisor graph is also called a divisor graph. In this note, we will prove that for any $n \geqslant 1$ and $0 \leqslant m \leqslant \binom{n}{2}$ then there exists a divisor graph of order $n$ and size $m$. We also present a simple proof of the characterization of divisor graphs which is due to Chartran, Muntean, Saenpholpant and Zhang.


title: The functor category Fquad

abstract: In this paper, we define the functor category Fquad associated to vector spaces over the field with two elements, F\_2, equipped with a quadratic form. We show the existence of a fully-faithful, exact functor \iota: \F \to Fquad, which preserves simple objects, where \F is the category of functors from the category of finite dimensional F\_2-vector spaces to the category of all F\_2-vector spaces. We define the subcategory Fiso of Fquad, which is equivalent to the product of the categories of modules over the orthogonal groups; the inclusion is a fully-faithful functor \kappa: Fiso \to Fquad which preserves simple objects.


title: Random walks on hypergroup of conics in finite fields

abstract: In this paper we study random walks on the hypergroup of conics in finite fields. We investigate the behavior of random walks on this hypergroup, the equilibrium distribution and the mixing times. We use the coupling method to show that the mixing time of random walks on hypergroup of conics is only linear.


title: The algebra of invariants of 3x3 matrices over a field of arbitrary characteristic

abstract: The least upper bound on degrees of elements of a minimal system of generators of the algebra of invariants of 3x3 matrices is found, and the nilpotency degree of a relatively free finitely generated algebra with the identity x^3=0 is established.


title: Stochastic Banach Principle in Operator Algebras

abstract: Classical Banach principle is an essential tool for the investigation of the ergodic properties of Cesaro subsequences. The aim of this work is to extend Banach principle to the case of the stochastic convergence in the operator algebras. We start by establishing a sufficient condition for the stochastic convergence (stochastic Banach principle). Then we formulate stochastic convergence for the bounded Besicovitch sequences, and, as consequence for uniform subsequences.


title: Rate of Convergence of Implicit Approximations for stochastic evolution equations

abstract: Stochastic evolution equations in Banach spaces with unbounded nonlinear drift and diffusion operators are considered. Under some regularity condition assumed for the solution, the rate of convergence of implicit Euler approximations is estimated under strong monotonicity and Lipschitz conditions. The results are applied to a class of quasilinear stochastic PDEs of parabolic type.


title: Anchor maps and stable modules in depth two

abstract: An algebra extension A | B is right depth two if its tensor-square A\otimes_B A is in the Dress category Add A as A-B-bimodules. We consider necessary conditions for right, similarly left, D2 extensions in terms of partial A-invariance of two-sided ideals in A contracted to the centralizer. Finite dimensional algebras extending central simple algebras are shown to be depth two. Following P. Xu math.QA/9905192, left and right bialgebroids over a base algebra R may be defined in terms of anchor maps, or representations on R. The anchor maps for the bialgebroids S = End {}_BA_B and T = End {}_AA\otimes_BA_A over the centralizer R = C_A(B) are the modules {}_SR and R_T studied in math.RA/0505004, math.RA/0408155 and math.GR/0409346, which provide information about the bialgebroids and the extension (cf. math.QA/0409106). The anchor maps for the Hopf algebroids in math.KT/0105105 and math.QA/0508411 reverse the order of right multiplication and action by a Hopf algebra element, and lift to the isomorphism in math.QA/0508638. We sketch a theory of stable $A$-modules and their endomorphism rings and generalize the smash product decomposition in Prop. 1.1, (L. Kadison, Hopf Algebroid and H-separable extensions, Proc. A.M.S. 131 (2003), 2993-3002) to any A-module. We observe that Schneider's coGalois theory (Isr.J.Math 1990) provides examples of codepth two, such as the quotient epimorphism of a finite dimensional normal Hopf subalgebra. A homomorphism of finite dimensional coalgebras is codepth two if and only if its dual homomorphism of algebras is depth two.


title: Sampling Sets for the Nevanlinna class

abstract: We propose a definition of sampling set for the Nevanlinna class in the disk, i.e. a subset of the disk such that the analogue of the norm of a function in the Nevanlinna class can be recovered only from its values on the subset. We show it is equivalent with the notion of determination set for the same class, that is, subsets such that any function in the class which is bounded on the subset must be bounded everywhere (by the same bound, in fact); and more restrictive than the condition of being a determination set for the class of differences of positive harmonic functions (which had been studied in particular by Hayman, Lyons, and Gardiner). We give sufficient conditions for sampling to hold, as well as necessary conditions (different but closely related), and show that in the case of certain (natural) regular sets, the necessary and sufficient conditions coincide and characterize the sampling property in a numerically precise way. In particular, we observe a remarkable agreement with the results of Joaquim Ortega-Cerd\`a and Kristian Seip about "champagne subdomains", the complement in the unit disk of a union of hyperbolic disks centered on a maximal hyperbolically separated subsequence, the radii of which decrease uniformly as they approach the unit circle (arXiv:math.CV/0305075). Our methods involve a careful analysis of the decrease of the modulus of a Blaschke product.


title: General Design Bayesian Generalized Linear Mixed Models

abstract: Linear mixed models are able to handle an extraordinary range of complications in regression-type analyses. Their most common use is to account for within-subject correlation in longitudinal data analysis. They are also the standard vehicle for smoothing spatial count data. However, when treated in full generality, mixed models can also handle spline-type smoothing and closely approximate kriging. This allows for nonparametric regression models (e.g., additive models and varying coefficient models) to be handled within the mixed model framework. The key is to allow the random effects design matrix to have general structure; hence our label general design. For continuous response data, particularly when Gaussianity of the response is reasonably assumed, computation is now quite mature and supported by the R, SAS and S-PLUS packages. Such is not the case for binary and count responses, where generalized linear mixed models (GLMMs) are required, but are hindered by the presence of intractable multivariate integrals. Software known to us supports special cases of the GLMM (e.g., PROC NLMIXED in SAS or glmmML in R) or relies on the sometimes crude Laplace-type approximation of integrals (e.g., the SAS macro glimmix or glmmPQL in R). This paper describes the fitting of general design generalized linear mixed models. A Bayesian approach is taken and Markov chain Monte Carlo (MCMC) is used for estimation and inference. In this generalized setting, MCMC requires sampling from nonstandard distributions. In this article, we demonstrate that the MCMC package WinBUGS facilitates sound fitting of general design Bayesian generalized linear mixed models in practice.


title: Explicit formula for the spherical image of the symplectic Hecke series of genus four

abstract: We obtain an explicit formula for the spherical image of the polynomial fraction conjectured by Shimura in 1963 for generating Hecke series in particular case of genus 4. As in our previous work we used the Satake spherical map for ${\rm Sp}_4$ and formulas by Andrianov. Key words: Hecke operators, Dirichlet series, Euler factorization, spherical map.


title: Linear dependence in Mordell-Weil groups

abstract: We consider a local to global principle for detecting linear dependence of nontorsion points, by reduction maps, in the Mordell-Weil group of an abelian variety over a number field.


title: Intermediate logics and factors of the Medvedev lattice

abstract: We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.


title: Spreading of Lagrangian regularity on rational invariant tori

abstract: Let $P_h$ be a self-adjoint semiclassical pseudodifferential operator on a manifold $M$ such that the bicharacteristic flow of the principal symbol on $T^*M$ is completely integrable and the subprincipal symbol of $P_h$ vanishes. Consider a semiclassical family of eigenfunctions, or, more generally, quasimodes $u_h$ of $P_h.$ We show that on a nondegenerate rational invariant torus, Lagrangian regularity of $u_h$ (regularity under test operators characteristic on the torus) propagates both along bicharacteristics, and also in an additional ``diffractive'' manner. In particular, in addition to propagating along null bicharacteristics, regularity fills in the interiors of small annular tubes of bicharacteristics.


title: Asymptotic enumeration of dense 0-1 matrices with specified line sums

abstract: Let S=(s_1,s_2,..., s_m) and T = (t_1,t_2,..., t_n) be vectors of non-negative integers with sum_{i=1}^{m} s_i = sum_{j=1}^n t_j. Let B(S,T) be the number of m*n matrices over {0,1} with j-th row sum equal to s_j for 1 <= j <= m and k-th column sum equal to t_k for 1 <= k <= n. Equivalently, B(S,T) is the number of bipartite graphs with m vertices in one part with degrees given by S, and n vertices in the other part with degrees given by T. Most research on the asymptotics of B(S,T) has focused on the sparse case, where the best result is that of Greenhill, McKay and Wang (2006). In the case of dense matrices, the only precise result is for the case of equal row sums and equal column sums (Canfield and McKay, 2005). This paper extends the analytic methods used by the latter paper to the case where the row and column sums can vary within certain limits. Interestingly, the result can be expressed by the same formula which holds in the sparse case.


title: Analyzing Incomplete Discrete Longitudinal Clinical Trial Data

abstract: Commonly used methods to analyze incomplete longitudinal clinical trial data include complete case analysis (CC) and last observation carried forward (LOCF). However, such methods rest on strong assumptions, including missing completely at random (MCAR) for CC and unchanging profile after dropout for LOCF. Such assumptions are too strong to generally hold. Over the last decades, a number of full longitudinal data analysis methods have become available, such as the linear mixed model for Gaussian outcomes, that are valid under the much weaker missing at random (MAR) assumption. Such a method is useful, even if the scientific question is in terms of a single time point, for example, the last planned measurement occasion, and it is generally consistent with the intention-to-treat principle. The validity of such a method rests on the use of maximum likelihood, under which the missing data mechanism is ignorable as soon as it is MAR. In this paper, we will focus on non-Gaussian outcomes, such as binary, categorical or count data. This setting is less straightforward since there is no unambiguous counterpart to the linear mixed model. We first provide an overview of the various modeling frameworks for non-Gaussian longitudinal data, and subsequently focus on generalized linear mixed-effects models, on the one hand, of which the parameters can be estimated using full likelihood, and on generalized estimating equations, on the other hand, which is a nonlikelihood method and hence requires a modification to be valid under MAR. We briefly comment on the position of models that assume missingness not at random and argue they are most useful to perform sensitivity analysis. Our developments are underscored using data from two studies. While the case studies feature binary outcomes, the methodology applies equally well to other discrete-data settings, hence the qualifier ``discrete'' in the title.


title: Quantization of symplectic dynamical r-matrices and the quantum composition formula

abstract: In this paper we quantize symplectic dynamical r-matrices over a possibly nonabelian base. The proof is based on the fact that the existence of a star-product with a nice property (called strong invariance) is sufficient for the existence of a quantization. We also classify such quantizations and prove a quantum analogue of the classical composition formula for coboundary dynamical r-matrices.


title: Differential Calculi on Some Quantum Prehomogeneous Vector Spaces

abstract: This paper is devoted to study of differential calculi over quadratic algebras, which arise in the theory of quantum bounded symmetric domains. We prove that in the quantum case dimensions of the homogeneous components of the graded vector spaces of k-forms are the same as in the classical case. This result is well-known for quantum matrices. The quadratic algebras, which we consider in the present paper, are q-analogues of the polynomial algebras on prehomogeneous vector spaces of commutative parabolic type. This enables us to prove that the de Rham complex is isomorphic to the dual of a quantum analogue of the generalized Bernstein-Gelfand-Gelfand resolution.


title: A Classification of the Projective Lines over Small Rings II. Non-Commutative Case

abstract: A list of different types of a projective line over non-commutative rings with unity of order up to thirty-one inclusive is given. Eight different types of such a line are found. With a single exception, the basic characteristics of the lines are identical to those of their commutative counterparts. The exceptional projective line is that defined over the non-commutative ring of order sixteen that features ten zero-divisors and it most pronouncedly differs from its commutative sibling in the number of shared points by the neighbourhoods of three pairwise distant points (three versus zero), that of "Jacobson" points (zero versus five) and in the maximum number of mutually distant points (five versus three).


title: On the radical of Brauer algebras

abstract: The radical of the Brauer algebra B_f^x is known to be non-trivial when the parameter x is an integer subject to certain conditions (with respect to f). In these cases, we display a wide family of elements in the radical, which are explicitly described by means of the diagrams of the usual basis of B_f^x . The proof is by direct approach for x=0, and via classical Invariant Theory in the other cases, exploiting then the well-known representation of Brauer algebras as centralizer algebras of orthogonal or symplectic groups acting on tensor powers of their standard representation. This also gives a great part of the radical of the generic indecomposable B_f^x-modules. We conjecture that this part is indeed the whole radical in the case of modules, and it is the whole part in a suitable step of the standard filtration in the case of the algebra. As an application, we find some more precise results for the module of pointed chord diagrams, and for the Temperley-Lieb algebra - realised inside B_f^1 - acting on it.


title: Optimal Approximation of Elliptic Problems by Linear and Nonlinear Mappings I

abstract: We study the optimal approximation of the solution of an operator equation Au=f by linear and nonlinear mappings.


title: Optimal Approximation of Elliptic Problems by Linear and Nonlinear Mappings II

abstract: We study the optimal approximation of the solution of an operator equation Au=f by linear and nonlinear mappings. We identify those cases where optimal nonlinear approximation is better than optimal linear approximation.


title: Incidence Hilbert schemes and infinite dimensional Lie algebras

abstract: Given a projetive surface $S$, using correspondences, we construct an infinite dimensional Lie algebra that acts on the direct sum $\Wfock$ of the cohomology groups of the incidence Hilbert schemes $S^{[n,n+1]}$ over all $n$. The algebra is related to an extension of an infinite dimensional Heisenberg algebra. The space $\Wfock$ is a highest weight representation of this algebra. Our result provides a representation-theoretic interpretation of Cheah's generating function of Betti numbers of the incidence Hilbert schemes. As a consequence, an additive basis of the cohomology group of the incidence Hilbert scheme is obtained.


title: CM Stability And The Generalized Futaki Invariant II

abstract: The Mabuchi K-energy map is exhibited as a singular metric on the refined CM polarization of any equivariant family $\mathbf{X}\overset{p}{\to} S$. Consequently we show that the generalized Futaki invariant is the leading term in the asymptotics of the reduced K-energy of the generic fiber of the map $p$. Properness of the K-energy implies that the generalized Futaki invariant is strictly negative.


title: Kazhdan--Lusztig-dual quantum group for logarithmic extensions of Virasoro minimal models

abstract: We derive and study a quantum group g(p,q) that is Kazhdan--Lusztig-dual to the W-algebra W(p,q) of the logarithmic (p,q) conformal field theory model. The algebra W(p,q) is generated by two currents $W^+(z)$ and $W^-(z)$ of dimension (2p-1)(2q-1), and the energy--momentum tensor T(z). The two currents generate a vertex-operator ideal $R$ with the property that the quotient W(p,q)/R is the vertex-operator algebra of the (p,q) Virasoro minimal model. The number (2 p q) of irreducible g(p,q)-representations is the same as the number of irreducible W(p,q)-representations on which $R$ acts nontrivially. We find the center of g(p,q) and show that the modular group representation on it is equivalent to the modular group representation on the W(p,q) characters and ``pseudocharacters.'' The factorization of the g(p,q) ribbon element leads to a factorization of the modular group representation on the center. We also find the g(p,q) Grothendieck ring, which is presumably the ``logarithmic'' fusion of the (p,q) model.


title: On the Characteristic Polynomial of the Almost Mathieu Operator

abstract: Let theta = p/q with p and q relatively prime and u and v a pair of unitaries such that u v = e^{i theta} v u, where u and v generate the rotation C*-algebra A_theta. Let h_{theta, lambda} = u + u^{-1} + lambda/2(v + v^{-1}) be the almost Mathieu operator. By proving an identity of rational functions we show that for q even, the constant term in the characteristic polynomial of h_{\theta, \lambda} is (-1)^{q/2}(1 + (\lambda/2)^q) - (z_1^q + z_1^{-q} + (\lambda/2)^q(z_2^q + z_2^{-q})).


title: Arithmetic cusp shapes are dense

abstract: In this article we verify an orbifold version of a conjecture of Nimershiem from 1998. Namely, for every flat $n$-manifold $M$, we show that the set of similarity classes of flat metrics on $M$ which occur as a cusp cross-section of a hyperbolic $(n+1)$-orbifold is dense in the space of similarity classes of flat metrics on $M$. The set used for density is precisely the set of those classes which arise in arithmetic orbifolds.


title: Spectral gap estimate for fractional Laplacian

abstract: A lower bound estimate \lambda_2 - \lambda_1 \ge c \lambda_1^{-d / \alpha} (\diam D)^{-d - \alpha} for the spectral gap of the Dirichlet fractional Laplacian on arbitrary bounded domain D is proved. This follows from a variational formula for the spectral gap and an upper bound estimate for the supremum norm of the ground state eigenfunction.


title: Morita classes in the homology of Aut(F_n) vanish after one stabilization

abstract: There is a series of cycles in the rational homology of the groups Out(F_n), first discovered by S. Morita, which have an elementary description in terms of finite graphs. The first two of these give nontrivial homology classes, and it is conjectured that they are all nontrivial. These cycles have natural lifts to the homology of Aut(F_n), which is stably trivial by a recent result of Galatius. We show that in fact a single application of the stabilization map from Aut(F_n) to Aut(F_(n+1)) kills the Morita classes, so that they disappear immediately after they appear.


title: Socle degrees of Frobenius powers

abstract: Let $k$ be a field of positive characteristic $p$, $R$ be a Gorenstein graded $k$-algebra, and $S=R/J$ be an artinian quotient of $R$ by a homogeneous ideal. We ask how the socle degrees of $S$ are related to the socle degrees of $F_R^e(S)=R/J^{[q]}$. If $S$ has finite projective dimension as an $R$-module, then the socles of $S$ and $F_R^e(S)$ have the same dimension and the socle degrees are related by the formula: $$D_i=qd_i-(q-1)a(R),$$ where $$ d_1\le >...\le d_{\ell}\quad\text{and}\quad D_1\le ... \le D_{\ell}$$ are the socle degrees $S$ and $F_R^e(S)$, respectively, and $a(R)$ is the $a$-invariant of the graded ring $R$, as introduced by Goto and Watanabe. We prove the converse when $R$ is a complete intersection.


title: Open-Closed String Topology via Fat Graphs

abstract: Given a smooth closed manifold M with a family {L_i} of closed submanifolds, we consider the free loop space LM and the spaces PM(L_i,L_j) of open strings (paths g:[0,1]->M with g(0) in L_i, and g(1) in L_j). We construct string topology operations resulting in an open-closed TQFT on the family (h_*(LM),h_*(PM(L_i,L_j)) which extends the known string topology TQFT on h_*(LM). Here, h_* is a multiplicative generalized homology theory supporting orientations for M and the L_i. To construct the operations, we introduce the notion of open-closed fat graph, generalizing fat graphs to the open-closed setting.


title: The localization sequence for the algebraic K-theory of topological K-theory

abstract: We prove a conjecture of Rognes by establishing a localization cofiber sequence of spectra, K(Z) to K(ku) to K(KU) to Sigma K(Z), for the algebraic K-theory of topological K-theory. We deduce the existence of this sequence as a consequence of a devissage theorem identifying the K-theory of the Waldhausen category of Postnikov towers of modules over a connective A-infinity ring spectrum R with the Quillen K-theory of the abelian category of finitely generated pi_0(R)-modules.


title: Thresholds for virus spread on networks

abstract: We study how the spread of computer viruses, worms, and other self-replicating malware is affected by the logical topology of the network over which they propagate. We consider a model in which each host can be in one of 3 possible states - susceptible, infected or removed (cured, and no longer susceptible to infection). We characterise how the size of the population that eventually becomes infected depends on the network topology. Specifically, we show that if the ratio of cure to infection rates is larger than the spectral radius of the graph, and the initial infected population is small, then the final infected population is also small in a sense that can be made precise. Conversely, if this ratio is smaller than the spectral radius, then we show in some graph models of practical interest (including power law random graphs) that the final infected population is large. These results yield insights into what the critical parameters are in determining virus spread in networks.


title: Generalised form of a conjecture of Jacquet and a local consequence

abstract: Following the work of Harris and Kudla we prove a more general form of a conjecture of Jacquet relating the non-vanishing of a certain period integral to non-vanishing of the central critical value of a certain $L$-function. As a consequence we deduce certain local results about the existence of $GL_2(k)$-invariant linear forms on irreducible, admissible representations of $GL_2({\Bbb K})$ for ${\Bbb K}$ a commutative semi-simple cubic algebra over a non-archimedean local field $k$ in terms of certain local epsilon factors which were proved only in certain cases by the first author in his earlier work. This has been achieved by globalising a locally distinguished representation to a globally distinguished representation, a result of independent interest.


title: An operator is a product of two quasi-nilpotent operators if and only if it is not semi-Fredholm

abstract: We prove that a (bounded linear) operator acting on an infinite-dimensional, separable, complex Hilbert space can be written as a product of two quasi-nilpotent operators if and only if it is not a semi-Fredholm operator. This solves the problem posed by Fong and Sourour in 1984. We also consider some closely related questions. In particular, we show that an operator can be expressed as a product of two nilpotent operators if and only if its kernel and co-kernel are both infinite-dimensional. This answers the question implicitly posed by Wu in 1989.


title: Cancellation conjecture for free associative algebras

abstract: We develop a new method to deal with the Cancellation Conjecture of Zariski in different environments. We prove the conjecture for free associative algebras of rank two. We also produce a new proof of the conjecture for polynomial algebras of rank two over fields of zero characteristic.


title: The Grothendieck group of a cluster category

abstract: For the cluster category of a hereditary or a canonical algebra, equivalently for the cluster category of the hereditary category of coherent sheaves on a weighted projective line, we study the Grothendieck group with respect to an admissible triangulated structure.


title: Relatively free algebras with the identity x^3=0

abstract: A base of a relatively free associative algebra with the identity x^3=0 over a field of arbitrary characteristic is found. As an application a minimal generating system of the 3x3 matrix invariant algebra is determined.


title: Multivariate risks and depth-trimmed regions

abstract: We describe a general framework for measuring risks, where the risk measure takes values in an abstract cone. It is shown that this approach naturally includes the classical risk measures and set-valued risk measures and yields a natural definition of vector-valued risk measures. Several main constructions of risk measures are described in this abstract axiomatic framework. It is shown that the concept of depth-trimmed (or central) regions from the multivariate statistics is closely related to the definition of risk measures. In particular, the halfspace trimming corresponds to the Value-at-Risk, while the zonoid trimming yields the expected shortfall. In the abstract framework, it is shown how to establish a both-ways correspondence between risk measures and depth-trimmed regions. It is also demonstrated how the lattice structure of the space of risk values influences this relationship.


title: Motivic integrals and functional equations

abstract: A functional equation for the motivic integral corresponding to the Milnor number of an arc is derived using the Denef-Loeser formula for the change of variables. Its solution is a function of five auxiliary parameters, it is unique up to multiplication by a constant and there is a simple recursive algorithm to find its coefficients. The method is universal enough and gives, for example, equations for the integral corresponding to the intersection number over the space of pairs of arcs and over the space of unordered tuples of arcs.


title: Explicit formula for the natural and projectively equivariant quantization

abstract: In [8], P. Lecomte conjectured the existence of a natural and projectively equivariant quantization. In [1], M. Bordemann proved this existence using the framework of Thomas-Whitehead connections. In [9], we gave a new proof of the same theorem thanks to the Cartan connections. After these works there was no explicit formula for the quantization. In this paper, we give this formula using the formula in terms of Cartan connections given in [9]. This explicit formula constitutes the generalization to any order of the formulae at second and third orders soon published by Bouarroudj in [2] and [3].