title: Model Building for Semiparametric Mixtures

abstract: An important and yet difficult problem in fitting multivariate mixture models is determining the mixture complexity. We develop theory and a unified framework for finding the nonparametric maximum likelihood estimator of a multivariate mixing distribution and consequently estimating the mixture complexity. Multivariate mixtures provide a flexible approach to fitting high-dimensional data while offering data reduction through the number, location and shape of the component densities. The central principle of our method is to cast the mixture maximization problem in the concave optimization framework with finitely many linear inequality constraints and turn it into an unconstrained problem using a "penalty function". We establish the existence of parameter estimators and prove the convergence properties of the proposed algorithms. The role of a "sieve parameter'' in reducing the dimensionality of mixture models is demonstrated. We derive analytical machinery for building a collection of semiparametric mixture models, including the multivariate case, via the sieve parameter. The performance of the methods are shown with applications to several data sets including the cdc15 cell-cycle yeast microarray data.


title: Direct limits of infinite-dimensional Lie groups compared to direct limits in related categories

abstract: Let G be a Lie group which is the union of an ascending sequence of Lie groups G_n (all of which may be infinite-dimensional). We study the question when G is the direct limit of the G_n's in the category of Lie groups, topological groups, smooth manifolds, resp., topological spaces. Full answers are obtained for G the group Diff_c(M) of compactly supported smooth diffeomorphisms of a sigma-compact smooth manifold M, and for test function groups C^infty_c(M,H) of compactly supported smooth maps with values in a finite-dimensional Lie group H. We also discuss the cases where G is a direct limit of unit groups of Banach algebras, a Lie group of germs of Lie group-valued analytic maps, or a weak direct product of Lie groups.


title: Low Regularity Global Well-Posedness for the Klein-Gordon-Schr\"odinger System with the Higher Order Yukawa Coupling

abstract: In this paper, we consider the Klein-Gordon-Schr\"{o}dinger system with the higher order Yukawa coupling in $ \mathbb{R}^{1+1} $, and prove the local and global wellposedness in $L^2\times H^{1/2}$. The method to be used is adapted from the scheme originally by Colliander J., Holmer J., Tzirakis N. \cite{CoHT06} to use the available $L^2$ conservation law of $u$ and control the growth of $n$ via the estimates in the local theory.


title: Walking into an absolute sum

abstract: We investigate a combinatorial sum that can be interpreted as the moments of a random variate, measuring the absolute distance to the origin in a symmetric Bernoulli random walk. These sums can be characterized by polynomials related to the Dumont-Foata polynomials. The sums corresponding to the odd moments have a connection to the Gandhi polynomials and Genocchi numbers.


title: Well-posedness for the viscous shallow water equations in critical spaces

abstract: In this paper, we prove the existence and uniqueness of the solutions for the 2D viscous shallow water equations with low regularity assumptions on the initial data as well as the initial height bounded away from zero.


title: On refined enumerations of totally symmetric self-complementary plane partitions II

abstract: In this paper we settle a weak version of a conjecture (i.e. Conjecture 6) by Mills, Robbins and Rumsey in the paper "Self-complementary totally symmetric plane partitions" (J. Combin. Theory Ser. A 42, 277-292). In other words we show that the number of shifted plane partitions invariant under an involution is equal to the number of alternating sign matrices invariant under the vertical flip. We also give a determinantal formula for the general conjecture (Conjecture 6), but this determinant is still hard to evaluate. In this paper we introduce two new classes of domino plane partitions, one has the same cardinality as the set of half-turn symmetric alternating sign matrices and the other has the same cardinality as the set of vertically symmetric alternating sign matrices.


title: Global Optimal Attitude Estimation using Uncertainty Ellipsoids

abstract: A deterministic attitude estimation problem for a rigid body in a potential field, with bounded attitude and angular velocity measurement errors is considered. An attitude estimation algorithm that globally minimizes the attitude estimation error is obtained. Assuming that the initial attitude, the initial angular velocity and measurement noise lie within given ellipsoidal bounds, an uncertainty ellipsoid that bounds the attitude and the angular velocity of the rigid body is obtained. The center of the uncertainty ellipsoid provides point estimates, and the size of the uncertainty ellipsoid measures the accuracy of the estimates. The point estimates and the uncertainty ellipsoids are propagated using a Lie group variational integrator and its linearization, respectively. The attitude and angular velocity estimates are optimal in the sense that the sizes of the uncertainty ellipsoids are minimized.


title: Some properties of exponential integrals of L\'evy processes and examples

abstract: The improper stochastic integral $Z=\int_0^{\infty-}\exp(-X_{s-})dY_s$ is studied, where $\{(X_t, Y_t), t \geqslant 0 \}$ is a L\'evy process on $\mathbb R ^{1+d}$ with $\{X_t \}$ and $\{Y_t \}$ being $\mathbb R$-valued and $\mathbb R ^d$-valued, respectively. The condition for existence and finiteness of $Z$ is given and then the law $\mathcal L(Z)$ of $Z$ is considered. Some sufficient conditions for $\mathcal L(Z)$ to be selfdecomposable and some sufficient conditions for $\mathcal L(Z)$ to be non-selfdecomposable but semi-selfdecomposable are given. Attention is paid to the case where $d=1$, $\{X_t\}$ is a Poisson process, and $\{X_t\}$ and $\{Y_t\}$ are independent. An example of $Z$ of type $G$ with selfdecomposable mixing distribution is given.


title: Limits of BC-type orthogonal polynomials as the number of variables goes to infinity

abstract: We describe the asymptotic behavior of the multivariate BC-type Jacobi polynomials as the number of variables and the Young diagram indexing the polynomial go to infinity. In particular, our results describe the approximation of the spherical functions of the infinite-dimensional symmetric spaces of type B,C,D or BC by the spherical functions of the corresponding finite-dimensional symmetric spaces. Similar results for the Jack polynomials were established in our earlier paper (Intern. Math. Res. Notices 1998, no. 13, 641-s682; arXiv:q-alg/9709011). The main results of the present paper were obtained in 1997.


title: Hitting times for Gaussian processes

abstract: We establish a general formula for the Laplace transform of the hitting times of a Gaussian process. Some consequences are derived, and particular cases like the fractional Brownian motion are discussed.


title: Quadratic Uniformity of the Mobius Function

abstract: This paper is a part of our programme to generalise the Hardy-Littlewood method to handle systems of linear questions in primes. This programme is laid out in our paper Linear Equations in Primes [LEP], which accompanies this submission. In particular, the results of this paper may be used, together with the machinery of [LEP], to establish an asymptotic for the number of four-term progressions p_1 < p_2 < p_3 < p_4 <= N of primes, and more generally any problem counting prime points inside a ``non-degenerate'' affine lattice of codimension at most 2. The main result of this paper is a proof of the Mobius and Nilsequences Conjecture for 1 and 2-step nilsequences. This conjecture is introduced in [LEP] and amounts to showing that if G/\Gamma is an s-step nilmanifold, s <= 2, if F : G/\Gamma -> [-1,1] is a Lipschitz function, and if T_g : G/\Gamma -> G/\Gamma is the action of g \in G on G/\Gamma, then the Mobius function \mu(n) is orthogonal to the sequence F(T_g^n x) in a fairly strong sense, uniformly in g and x in G/\Gamma. This can be viewed as a ``quadratic'' generalisation of an exponential sum estimate of Davenport, and is proven by the following the methods of Vinogradov and Vaughan.


title: Linear Equations in Primes

abstract: Consider a system \Psi of non-constant affine-linear forms \psi_1,...,\psi_t: Z^d -> Z, no two of which are linearly dependent. Let N be a large integer, and let K be a convex subset of [-N,N]^d. A famous and difficult open conjecture of Hardy and Littlewood predicts an asymptotic, as N -> \infty, for the number of integer points n in K for which the integers \psi_1(n),...,\psi_t(n) are simultaneously prime. This implies many other well-known conjectures, such as the Hardy-Littlewood prime tuples conjecture, the twin prime conjecture, and the (weak) Goldbach conjecture. <p> In this paper we (conditionally) verify this asymptotic under the assumption that no two of the affine-linear forms \psi_1,...,\psi_t are affinely related; this excludes the important ``binary'' cases such as the twin prime or Goldbach conjectures, but does allow one to count ``non-degenerate'' configurations such as arithmetic progressions. Our result assumes two families of conjectures, which we term the Inverse Gowers-norm conjecture GI(s) and the Mobius and Nilsequences Conjecture MN(s), where s \in {1,2,...} is the complexity of the system and measures the extent to which the forms \psi_i depend on each other. For s = 1 these are essentially classical, and the authors recently resolved the cases s = 2.<p> Our results are therefore unconditional in the case s = 2, and in particular we can obtain the expected asymptotics for the number of 4-term progressions p_1 < p_2 < p_3 < p_4 <= N of primes, and more generally for any (non-degenerate) problem involving two linear equations in four prime unknowns.


title: Notes on the roots of Ehrhart polynomials

abstract: We determine lattice polytopes of smallest volume with a given number of interior lattice points. We show that the Ehrhart polynomials of those with one interior lattice point have largest roots with norm of order n^2, where n is the dimension. This improves on the previously best known bound n and complements a recent result of Braun where it is shown that the norm of a root of an Ehrhart polynomial is at most of order n^2. For the class of 0-symmetric lattice polytopes we present a conjecture on the smallest volume for a given number of interior lattice points and prove the conjecture for crosspolytopes. We further give a characterisation of the roots of the Ehrhart polyomials in the 3-dimensional case and we classify for n\leq 4 all lattice polytopes whose roots of their Ehrhart polynomials have all real part -1/2. These polytopes belong to the class of reflexive polytopes.


title: Faulhaber's Theorem on Power Sums

abstract: We observe that the classical Faulhaber's theorem on sums of odd powers also holds for an arbitrary arithmetic progression, namely, the odd power sums of any arithmetic progression $a+b, a+2b, ..., a+nb$ is a polynomial in $na+n(n+1)b/2$. While this assertion can be deduced from the original Fauhalber's theorem, we give an alternative formula in terms of the Bernoulli polynomials. Moreover, by utilizing the central factorial numbers as in the approach of Knuth, we derive formulas for $r$-fold sums of powers without resorting to the notion of $r$-reflexive functions. We also provide formulas for the $r$-fold alternating sums of powers in terms of Euler polynomials.


title: Mappings with maximal rank

abstract: Let Pi: M -> B be an onto maximal rank map or a Riemannian submersion between Riemannian manifolds M and B. Initially, we prove necessary and sufficient conditions for any fiber F to be roughly isometric to M. Then, we prove necessary and sufficient conditions for Pi to be a rough isometry. As a corollary M is roughly isometric to FxB.


title: Projection formulas for orthogonal polynomials

abstract: We prove a projection formula for the four-parameter family of orthogonal polynomials that are a reparameterization of the polynomials in the Askey-Wilson class. By carefully analyzing the recurrence relations we manage to avoid using the explicit expression for the orthogonality measure, which would be cumbersome due to the complexity of the reparameterization.


title: Capability of nilpotent products of cyclic groups II

abstract: In Part I it was shown that if G is a p-group of class k, generated by elements of orders 1<p^{alpha_1} <= ... <= p^{alpha_r}, then a necessary condition for the capability of G is that r>1 and alpha_r <= alpha_{r-1} + [(k-1)/(p-1)]. It was also shown that when G is the k-nilpotent product of the cyclic groups generated by those elements and k=p=2 or k<p, then the given conditions are also sufficient. We make a correction related to the small class case, and extend the sufficiency result to k=p for arbitrary prime p.


title: Knot Floer homology of Whitehead doubles

abstract: In this paper we study the knot Floer homology invariants of the twisted and untwisted Whitehead doubles of an arbitrary knot K. We present a formula for the filtered chain homotopy type of HFK(D(+,K,t)) in terms of the invariants for K, where D(+,K,t) denotes the t-twisted positive-clasped Whitehead double of K. In particular, the formula can be used iteratively and can be used to compute the Floer homology of manifolds obtained by surgery on Whitehead doubles. An immediate corollary is that tau(D(+,K,t))=1 if t< 2tau(K) and zero otherwise, where tau is the Ozsv{\'a}th-Szab{\'o} concordance invariant. It follows that the iterated untwisted Whitehead doubles of a knot satisfying tau(K)>0 are not smoothly slice.


title: On the cohomology algebra of some classes of geometrically formal manifolds

abstract: We investigate harmonic forms of geometrically formal metrics, which are defined as those having the exterior product of any two harmonic forms still harmonic. We prove that a formal Sasakian metric can exist only on a real cohomology sphere and that holomorphic forms of a formal K\"ahler metric are parallel w.r.t. the Levi-Civita connection. In the general Riemannian case a formal metric with maximal second Betti number is shown to be flat. Finally we prove that a six-dimensional manifold with $b_1 \neq 1, b_2 \geqslant 2$ and not having the cohomology algebra of $\mathbb{T}^3 \times S^3$ carries a symplectic structure as soon as it admits a formal metric.


title: An analogue of the Chowla-Selberg formula for several automorphic L-functions

abstract: In this paper, we will give a certain formula for the Riemann zeta function that expresses the Riemann zeta function by an infinte series consisting of $K$-Bessel functions. Such an infinite series expression can be regarded as an analogue of the Chowla-Selberg formula. Roughly speaking, the Chowla-Selberg formula is the formula that expresses the Epstein zeta-function by an infinite series consisting of $K$-Bessel functions. In addition, we also give certain analogues of the Chowla-Selberg formula for Dirichlet $L$-functions and $L$-functions associated with holomorphic cusp forms. Moreover, we introduce a two variable function which is analogous to the real analytic Eisenstein series and give a certain limit formula for this one. Such a limit formula can be regarded as an analogue of Kronecker's limit formula.


title: A Note on p-Adic Invariant Integral in the Rings of p-Adic Integers

abstract: In [2], I constructed the p-adic q-integral on Zp. In this paper, we consider the properties of the p-adic invariant p-adic q-integral in the ring of p-adic integers at q=-1. Finally we give the some applications of p-adic q-integration at q=-1. These properties are useful and worthwhile to study Euler numbers and polynomials.


title: Determinantal representations of smooth cubic surfaces

abstract: For every smooth (irreducible) cubic surface $S$ we give an explicit construction of a representative for each of the 72 equivalence classes of determinantal representations. Equivalence classes (under $\GL_3\times \GL_3$ action by left and right multiplication) of determinantal representations are in one to one correspondence with the sets of six mutually skew lines on $S$ and with the 72 (two-dimensional) linear systems of twisted cubic curves on $S$. Moreover, if a determinantal representation $M$ corresponds to lines $(a_1,...,a_6)$ then its transpose $M^t$ corresponds to lines $(b_1,...,b_6)$ which together form a Schl\"{a}fli's double-six $a_1... a_6 \choose b_1... b_6$. We also discuss the existence of self-adjoint and definite determinantal representation for smooth real cubic surfaces. The number of these representations depends on the Segre type $F_i$. We show that a surface of type $F_i$, $i=1,2,3,4$ has exactly $2(i-1)$ nonequivalent self-adjoint determinantal representations none of which is definite, while a surface of type $F_5$ has 24 nonequivalent self-adjoint determinantal representations, 16 of which are definite.


title: k-Normal surfaces

abstract: Following Matveev, a k-normal surface in a triangulated 3-manifold is a generalization of both normal and (octagonal) almost normal surfaces. Using spines, complexity, and Turaev-Viro invariants of 3-manifolds, we prove the following results: 1) a minimal triangulation of a closed irreducible or a bounded hyperbolic 3-manifold contains no non-trivial k-normal sphere; 2) every triangulation of a closed manifold with at least 2 tetrahedra contains some non-trivial normal surface; 3) every manifold with boundary has only finitely many triangulations without non-trivial normal surfaces. Here, triangulations of bounded manifolds are actually ideal triangulations. We also calculate the number of normal surfaces of nonnegative Euler characteristics which are contained in the conjecturally minimal triangulations of all lens spaces.


title: Counting lines on surfaces

abstract: This paper deals with surfaces with many lines. It is well-known that a cubic contains 27 of them and that the maximal number for a quartic is 64. In higher degree the question remains open. Here we study classical and new constructions of surfaces with high number of lines. We obtain in particular a symmetric octic with 352 lines.


title: Computation of the Cartan spaces of affine homogeneous spaces

abstract: Let $G$ be a reductive algebraic group and $H$ its reductive subgroup. Fix a Borel subgroup $B\subset G$ and a maximal torus $T\subset B$. The Cartan space $\a_{G,G/H}$ is, by definition, the subspace of $\Lie(T)^*$ generated by the weights of $B$-semiinvariant rational functions on $G/H$. We compute the spaces $\a_{G,G/H}$.


title: Twisted Morita-Mumford classes on braid groups

abstract: Evaluating the twisted Morita-Mumford classes bar(h)_p on the Artin braid group B_n, we give the stable algebraic independence of the bar(h)_p's on the automorphism group of the free group, Aut(F_n). This is sharper than the results we obtained by restricting them to the mapping class group.


title: Robustly transitive actions of $R^2$ on compact three manifolds

abstract: In this paper, we define $C^1$-robust transitivity for actions of $\RR^2$ on closed connected orientable manifolds. We prove that if the ambient manifold is three dimensional and the dense orbit of a robustly transitive action is not planar, then it is "degenerate" and the action is defined by an Anosov flow.


title: Laplacians on shifted multicomplexes

abstract: We define the Laplacian operator on finite multicomplexes and give a formula for its spectra in the case of shifted multicomplexes.


title: On the algebras obtained by tensor product

abstract: Let P be a quadratic operad. We determine an associated operad ~P such that for any P-algebra A and any ~P-algebra B then the tensor product $A \otimes B$ is a P-algebra.


title: F_q[M_n], F_q[GL_n] and F_q[SL_n] as quantized hyperalgebras

abstract: The quantized universal enveloping algebra U_q(gl(n)) has two integral forms - over Z[q,q^{-1}] - the restricted (by Lusztig) and the unrestricted (by De Concini and Procesi) one. Dually, the quantum function algebra F_q[GL(n)] has two integral forms, namely those of all elements - of F_q[GL(n)] - which take values in Z[q,q^{-1}] when paired respectively with the restricted or the unrestricted form of U_q(gl(n)). The first one is the well-known form generated over Z[q,q^{-1}] by the entries of a q-matrix and the inverse of its quantum determinant. In this paper instead we study the second integral form, say F'_q[GL(n)], i.e. that of all elements which are Z[q,q^{-1}]-valued over the unrestricted form of U_q(gl(n)). In particular we yield a presentation of it by generators and relations, and a PBW-like theorem: in short, it is an algebra of "quantum divided powers" and "quantum binomial coefficients". Moreover, we give a direct proof that F'_q[GL(n)] is a Hopf subalgebra of F_q[GL(n)], and that its specialization at q=1 is the Z-hyperalgebra over gl(n)^*, the Lie bialgebra dual to gl(n). In addition, we describe explicitly the specializations of F'_q[GL(n)] at roots of 1, and the associated quantum Frobenius (epi)morphism. The same analysis is done for F'_q[SL(n)] and (as a key step) F'_q[Mat(n)]: in fact, for the latter the strongest results are obtained. This work extends to general n>2 the results for n=2, already treated in math.QA/0411440.


title: Pro-algebraic homotopy types

abstract: The purpose of this paper is to generalise Sullivan's rational homotopy theory to non-nilpotent spaces, providing an alternative approach to defining Toen's schematic homotopy types over any field k of characteristic zero. New features include an explicit description of homotopy groups using the Maurer-Cartan equations, convergent spectral sequences comparing schematic homotopy groups with cohomology of the universal semisimple local system, and a generalisation of the Baues-Lemaire conjecture. For compact Kaehler manifolds, the schematic homotopy groups can be described explicitly in terms of this cohomology ring, giving canonical weight decompositions. There are also notions of minimal models, unpointed homotopy types and algebraic automorphism groups. For a space with algebraically good fundamental group and higher homotopy groups of finite rank, the schematic homotopy groups are shown to be \pi_n(X)\otimes k.


title: Local class field theory via Lubin-Tate theory

abstract: We give a self-contained proof of local class field theory, via Lubin-Tate theory and the Hasse-Arf theorem, refining the arguments of Iwasawa's book. In the revised version, (i) positive characteristic case is included, (ii) the proof of base change is simplified, (iii) the construction of Artin map is simplified, and strengthened so that we start with an arbitrary Lubin-Tate group over complete maximal unramified extension. (to appear in Annales de la Faculte des Sciences de Toulouse, 17-2 (2008))


title: Distributions of discriminants of cubic algebras

abstract: We study the space of binary cubic and quadratic forms over the ring of integers $O$ of an algebraic number field $k$. By applying the theory of prehomogeneous vector spaces founded by M. Sato and T. Shintani, we can associate the zeta functions for these spaces. Applying these zeta functions, we derive some density theorems on the distributions of discriminants of cubic algebras of $O$. In the case $k$ is a quadratic field, we give a correction term as well as the main term. These are generalizations of Shintani's asymptotic formulae of the mean values of class numbers of binary cubic forms over $\mathbb Z$.


title: Quelques questions d'approximation faible pour les tores alg\'ebriques

abstract: Let K be a global field, T a K-torus and S a finite set of places of K. Let K_v be the completion at a place v. Denote by T(O_v) the maximal compact subgroup of the group T(K_v) of K_v-points of T. We show that the diagonal map from T(K) to the product for v in S of the T(K_v)/T(O_v) need not be onto. As a corollary, for suitable v, the group T(O_v) does not cover all R-equivalence classes in T(K_v). While studying the height zeta functions of an algebraic torus over a function field in one variable over a finite field, D. Bourqui showed that Peyre's constant from the number field case should be multiplied by an integer. The same type of torus as constructed for the above problem enables us to show that this integer need not always be 1. ----- Soient K un corps global, T un K-tore, S un ensemble fini de places de K. On note K_v le compl\'et\'e de K en une place v. Soit T(K), resp. T(K_v), le groupe des points K-rationnels, resp. K_v-rationnels, de T. Notons T(O_v) le sous-groupe compact maximal de T(K_v). Nous montrons que pour T et S convenables l'application diagonale de T(K) vers le produit pour v dans S des T(K_v)/T(O_v) n'est pas surjective. Cela implique que pour v convenable le groupe T(O_v) ne couvre pas forc\'ement toutes les classes de R-\'equivalence de T(K_v). Lorsque K est un corps de fonctions d'une variable sur un corps fini, en utilisant le m\^eme type de tore, nous montrons que le facteur suppl\'ementaire par lequel D. Bourqui doit, lors son \'etude de la fonction z\^eta des hauteurs des vari\'et\'es toriques, multiplier la constante de Peyre, n'est pas toujours \'egal \`a 1.


title: Canonical self-affine tilings by iterated function systems

abstract: An iterated function system $\Phi$ consisting of contractive similarity mappings has a unique attractor $F \subseteq \mathbb{R}^d$ which is invariant under the action of the system, as was shown by Hutchinson [Hut]. This paper shows how the action of the function system naturally produces a tiling $\mathcal{T}$ of the convex hull of the attractor. More precisely, it tiles the complement of the attractor within its convex hull. These tiles form a collection of sets whose geometry is typically much simpler than that of $F$, yet retains key information about both $F$ and $\Phi$. In particular, the tiles encode all the scaling data of $\Phi$. We give the construction, along with some examples and applications. The tiling $\mathcal{T}$ is the foundation for the higher-dimensional extension of the theory of \emph{complex dimensions} which was developed for the case $d=1$ in ``Fractal Geometry, Complex Dimensions, and Zeros of Zeta Functions,'' by Michel L. Lapidus and Machiel van Frankenhuijsen.


title: Topological types of real regular jacobian elliptic surfaces

abstract: We present the topological classification of real parts of real regular elliptic surfaces with a real section.


title: The 2-ranks of Hyperelliptic Curves with Extra Automorphisms

abstract: This paper examines the relationship between the automorphism group of a hyperelliptic curve defined over an algebraically closed field of characteristic two and the 2-rank of the curve. In particular, we exploit the wild ramification to use the Deuring-Shafarevich formula in order to analyze the ramification of hyperelliptic curves that admit extra automorphisms and use this data to impose restrictions on the genera and 2-ranks of such curves. We also show how some of the techniques and results carry over to the case where our base field is of characteristic $p>2$.


title: The Kauffman Polynomials of 2-bridge Knots

abstract: The 2-bridge knots are a family of knots with bridge number 2. In this paper, we compute the Kauffman polynomials of 2-bridge knots using the Kauffman skein theory and linear algebra techniques. Our calculation can be easily carried out using Mathematica, Maple, Mathcad, etc.


title: A viscosity solution approach to the infinite dimensional HJB related to boundary control problem in transport equation

abstract: The paper concerns the infinite dimensional Hamilton-Jacobi-Bellman equation related to optimal control problem regulated by a transport equation with boundary control. A suitable viscosity solution approach is needed in view of the presence of the unbounded control-related term in the Hilbertian state equation. An existence-and-uniqueness result is obtained.


title: Local indicability and commutator subgroups of Artin groups

abstract: We determine which of the finite-type Artin groups are locally indicable, and compute presentations for their commutator subgroups.


title: Relating debt and currency crises -- towards a general equilibrium approach

abstract: This short paper proposes a simple general equilibrium approach within a Markov-switching regime to explain how asymmetric information between lenders and speculators may lead to currency crises. The paper concludes by providing necessary as well as sufficient conditions for special cases.


title: A discrete invitation to quantum filtering and feedback control

abstract: The engineering and control of devices at the quantum-mechanical level--such as those consisting of small numbers of atoms and photons--is a delicate business. The fundamental uncertainty that is inherently present at this scale manifests itself in the unavoidable presence of noise, making this a novel field of application for stochastic estimation and control theory. In this expository paper we demonstrate estimation and feedback control of quantum mechanical systems in what is essentially a noncommutative version of the binomial model that is popular in mathematical finance. The model is extremely rich and allows a full development of the theory, while remaining completely within the setting of finite-dimensional Hilbert spaces (thus avoiding the technical complications of the continuous theory). We introduce discretized models of an atom in interaction with the electromagnetic field, obtain filtering equations for photon counting and homodyne detection, and solve a stochastic control problem using dynamic programming and Lyapunov function methods.

categories: math.PR math-ph math.MP math.OC quant-ph


title: Central extensions of Steinberg Lie superalgebras of small rank

abstract: It was shown by A.V.Mikhalev and I.A.Pinchuk in [MP] that the second homology group $H_2(\st)$ of the Steinberg Lie superalgebra $\st$ is trivial for $m+n\geq 5$. In this paper, we will work out $H_2(\st)$ explicitly for $m+n=3, 4$.


title: Maximal rank maps between Riemannian manifolds with bounded geometry

abstract: If Pi: M -> B is an onto smooth maximal rank map between complete Riemannian manifolds M and B with bounded geometry, we prove sufficient conditions for M to be roughly isometric to the Riemannian product FxB, where F is a fiber of M.


title: A q-Analogue of the Centralizer Construction and Skew Representations of the Quantum Affine Algebra

abstract: We prove an analogue of the Sylvester theorem for the generator matrices of the quantum affine algebra ${\rm U}_q(\hat{\mathfrak{gl}}_n)$. We then use it to give an explicit realization of the skew representations of the quantum affine algebra. This allows one to identify them in a simple way by calculating their highest weight, Drinfeld polynomials and the Gelfand-Tsetlin character (or $q$-character). We also apply the quantum Sylvester theorem to construct a $q$-analogue of the Olshanski algebra as a projective limit of certain centralizers in ${\rm U}_q(\mathfrak{gl}_n)$ and show that this limit algebra contains the $q$-Yangian as a subalgebra.


title: Diagonal Peg Solitaire

abstract: We study the classical game of peg solitaire when diagonal jumps are allowed. We prove that on many boards, one can begin from a full board with one peg missing, and finish with one peg anywhere on the board. We then consider the problem of finding solutions that minimize the number of moves (where a move is one or more jumps by the same peg), and find the shortest solution to the "central game", which begins and ends at the center. In some cases we can prove analytically that our solutions are the shortest possible, in other cases we apply A* or bidirectional search heuristics.


title: Quantum $\alpha$-determinant cyclic modules of $\mathcal{U}_q(\mathfrak{gl}_n)$

abstract: As a particular one parameter deformation of the quantum determinant, we introduce a quantum $\alpha$-determinant and study the $\mathcal{U}_q(\mathfrak{gl}_n)$-cyclic module generated by it: We show that the multiplicity of each irreducible representation in this cyclic module is determined by a certain polynomial called the $q$-content discriminant. A part of the present result is a quantum counterpart for the result of Matsumoto and Wakayama (2005), however, a new distinguished feature arises in our situation.


title: On Computation of Kolchin Characteristic Sets: Ordinary and Partial Cases

abstract: In this paper we study the problem of computing a Kolchin characteristic set of a radical differential ideal. The central part of the article is the presentation of algorithms solving this problem in two principal cases: for ordinary differential polynomials and in the partial differential case. Our computations are mainly performed with respect to orderly rankings. We also discuss the usefulness of regular and characteristic decompositions of radical differential ideals. In the partial differential case we give an algorithm for computing characteristic sets in the special case of radical differential ideals satisfying the property of consistency. For this class of ideals we show how to deal with arbitrary differential rankings.


title: Limiting absorption principle on manifolds having ends with various measure growth rate limits

abstract: The purpose of this paper is to study the property of the resolvent of the Laplace-Beltrami operator on a noncompact complete Riemannian manifold with various ends each of which has a different limit of the growth rate of the Riemannian measure at infinity, in particular, focusing on the limiting absorption principle. As a result, we will obtain the absolute continuity of the Laplace-Beltrami operator.


title: The space of distributions with discontinuous test functions and a family of zero-sum games with discontinuous payoffs

abstract: In the present paper we consider one class of zero-sum games with discontinuous payoffs which may have no solutions in the sets of pure or mixed strategies. We show that, however, the solution always exists in the set of so-called $\mathcal R'$-mixed strategies which are the elements of the space $\mathcal R'$ of distributions with discontinuous test functions. The advantages of the new space of distributions (in comparison with the classical space $\mathcal D'$ of distributions with continuous or smooth test functions), that is, the possibility to define in $\mathcal R'$ the operations of integrations of distributions and multiplication of distributions by discontinuous functions, which are correct in the sense that they are everywhere defined, continuous and coincide with the ordinary operations for regular distributions, are crucial for our proof of existence of solution.


title: The Overconvergent Site I. Coefficients

abstract: We define and study the overconvergent site of an algebraic variety, the sheaf of overconvergent functions on this site and show that the modules of finite presentations correspond to Berthelot's overconvergent isocrystals. We work with Berkovich theory instead of rigid analytic geometry and do not use any of Berthelot's results. This gives a complete alternative approach to rigid cohomology.


title: Hilbert series of modules of GK-dimension two over elliptic algebras

abstract: We characterize the Hilbert functions and minimal resolutions of (critical) Cohen-Macaulay graded right modules of Gelfand-Kirillov dimension two over generic quadratic and cubic three dimensional Artin-Schelter regular algebras.


title: A Casselman-Shalika formula for the Shalika model of GL_n

abstract: The Casselman-Shalika method is a way to compute explicit formulas for periods of irreducible unramified representations of p-adic groups that are associated to unique models (i.e. multiplicity-free induced representations). We apply this method to the case of the Shalika model of GL_n, which is known to distinguish lifts from odd orthogonal groups. In the course of our proof, we further develop a variant of the method, that was introduced by Y.Hironaka, and in effect reduce many such problems to straightforward calculations on the group.


title: On the unramified spectrum of spherical varieties over p-adic fields

abstract: The description of irreducible representations of a group G can be seen as a question in harmonic analysis; namely, decomposing a suitable space of functions on G into irreducibles for the action of G x G by left and right multiplication. For a split p-adic reductive group G over a local non-archimedean field, unramified irreducible smooth representations are in bijection with semisimple conjugacy classes in the ``Langlands dual'' group. We generalize this description to an arbitrary spherical variety X of G as follows: Irreducible unramified quotients of the space $C_c^\infty(X)$ are in natural ``almost bijection'' with a number of copies of $A_X^*/W_X$, the quotient of a complex torus by the ``little Weyl group'' of X. This leads to a description of the Hecke module of unramified vectors (a weak analog of geometric results of Gaitsgory and Nadler), and an understanding of the phenomenon that representations ``distinguished'' by certain subgroups are functorial lifts. In the course of the proof, rationality properties of spherical varieties are examined and a new interpretation is given for the action, defined by F. Knop, of the Weyl group on the set of Borel orbits.


title: The Sylvester-Gallai Theorem, colourings and algebra

abstract: Our point of departure is the following simple common generalisation of the Sylvester-Gallai theorem and the Motzkin-Rabin theorem: Let S be a finite set of points in the plane, with each point coloured red or blue or with both colours. Suppose that for any two distinct points A,B in S sharing a colour there is a third point C in S, of the other colour, collinear with A and B. Then all the points in S are collinear. We define a chromatic geometry to be a simple matroid for which each point is coloured red or blue or with both colours, such that for any two distinct points A,B in S sharing a colour there is a third point C in S, of the other colour, collinear with A and B. This is a common generalisation of proper finite linear spaces and properly two-coloured finite linear spaces, with many known properties of both generalising as well. One such property is Kelly's complex Sylvester-Gallai theorem. We also consider embeddings of chromatic geometries in Desarguesian projective spaces. We prove a lower bound of 51 for the number of points in a 3-dimensional chromatic geometry in projective space over the quaternions. Finally, we suggest an elementary approach to the corollary of an inequality of Hirzebruch used by Kelly in his proof of the complex Sylvester-Gallai theorem.


title: Integration over quantum permutation groups

abstract: We find a combinatorial formula for the Haar measure of quantum permutation groups. This leads to a dynamic formula for laws of diagonal coefficients, explaining the Poisson/free Poisson convergence result for characters.


title: Parameter-based Fisher's information of orthogonal polynomials

abstract: The Fisher information of the classical orthogonal polynomials with respect to a parameter is introduced, its interest justified and its explicit expression for the Jacobi, Laguerre, Gegenbauer and Grosjean polynomials found.


title: On the Hochschild cohomology and the automorphism group of U_q(sl_4^+)

abstract: We compute the automorphism group of the q-enveloping algebra U_q(sl_4^+) of the nilpotent Lie algebra of strictly upper triangular matrices of size 4. The result obtained gives a positive answer to a conjecture of Andruskiewitsch and Dumas. We also compute the derivations of this algebra and then show that the Hochschild cohomology group of degree 1 of this algebra is a free (left)-module of rank 3 (which is the rank of the Lie algebra sl(4)) over the center of U_q(sl_4^+).


title: Base change and K-theory for GL(n)

abstract: Let F be a nonarchimedean local field and let G = GL(n) = GL(n,F). Let E/F be a finite Galois extension. We investigate base change E/F at two levels: at the level of algebraic varieties, and at the level of K-theory. We put special emphasis on the representations with Iwahori fixed vectors, and the tempered spectrum of GL(1) and GL(2). In this context, the prominent arithmetic invariant is the residue degree f(E/F).


title: Sasakian structures on CR-manifolds

abstract: A contact manifold $M$ can be defined as a quotient of a symplectic manifold $X$ by a proper, free action of $\R^{>0}$, with the symplectic form homogeneous of degree 2. If $X$ is, in addition, Kaehler, and its metric is also homogeneous of degree 2, $M$ is called Sasakian. A Sasakian manifold is realized naturally as a level set of a Kaehler potential on a complex manifold, hence it is equipped with a pseudoconvex CR-structure. We show that any Sasakian manifold $M$ is CR-diffeomorphic to an $S^1$-bundle of unit vectors in a positive line bundle on a projective K\"ahler orbifold. This induces an embedding from $M$ to an algebraic cone $C$. We show that this embedding is uniquely defined by the CR-structure. Additionally, we classify the Sasakian metrics on an odd-dimensional sphere equipped with a standard CR-structure.


title: Completions of altered topological subgroups of \mathbb{R}^n

abstract: We prove that a large class of metrizable group topologies for subgroups of $\mathbb{R}^n$ and the completions of the subgroups are locally isometric to, respectively, metrizable group topologies for $\mathbb{Z}$ and their completions, first studied by Nienhuys. This will prove, in particular, that all the complete groups in question are one dimensional, locally totally disconnected, and not locally compact. The metrizable topologies on the subgroups of $\mathbb{R}^n$ are formed by specifying a sequence in $\mathbb{R}^n$ and the rate at which it must converge to the identity.


title: On morphisms onto quadrics

abstract: It is proved that the degree of a morphism from a smooth projective n-fold with Picard number one to a smooth n-quadric is bounded (provided, of course, that n is at least three). Actually it has been proved some years ago, but I have never written down the proof, until J.-M. Hwang suggested, recently, that I do.


title: Values at s=-1 of L-functions for multiquadratic extensions of number fields, and annililation of the tame kernel

abstract: Suppose that $EE$ is a totally real number field which is the composite of all of its subfields $E$ that are relative quadratic extensions of a base field $F$. For each such $E$ with ring of integers $\O_E$, assume the truth of the Birch-Tate conjecture (which is almost fully established) relating the order of the tame kernel $K_2(\O_E)$ to the value of the Dedekind zeta function of $E$ at $s=-1$, and assume the same for $F$ as well. Excluding a certain rare situation, we prove the annihilation of $K_2(\Oc_EE)$ by a generalized Stickelberger element in the group ring of the Galois group of $EE/F$. Annihilation of the odd part of this group is proved unconditionally.


title: Algebraic cycles on the Jacobian of a curve with a $g^r_d$

abstract: We present relations between cycles with rational coefficients modulo algebraic equivalence on the Jacobian of a curve. These relations depend on the linear systems the curve admits. They are obtained in the tautological ring, the smallest subspace containing (an embedding of) the curve and closed under the basic operations of intersection, Pontryagin product and the pullback and pushdown induced by homotheties.


title: Nowhere minimal CR submanifolds and Levi-flat hypersurfaces

abstract: A local uniqueness property of holomorphic functions on real-analytic nowhere minimal CR submanifolds of higher codimension is investigated. A sufficient condition called almost minimality is given and studied. A weaker necessary condition, being contained a possibly singular real-analytic Levi-flat hypersurface is studied and characterized. This question is completely resolved for algebraic submanifolds of codimension 2 and a sufficient condition for noncontainment is given for non algebraic submanifolds. As a consequence, an example of a submanifold of codimension 2, not biholomorphically equivalent to an algebraic one, is given. We also investigate the structure of singularities of Levi-flat hypersurfaces.


title: Computing the support of local cohomology modules

abstract: For a polynomial ring $R=k[x_1,...,x_n]$, we present a method to compute the characteristic cycle of the localization $R_f$ for any nonzero polynomial $f\in R$ that avoids a direct computation of $R_f$ as a $D$-module. Based on this approach, we develop an algorithm for computing the characteristic cycle of the local cohomology modules $H^r_I(R)$ for any ideal $I\subseteq R$ using the \v{C}ech complex. The algorithm, in particular, is useful for answering questions regarding vanishing of local cohomology modules and computing Lyubeznik numbers. These applications are illustrated by examples of computations using our implementation of the algorithm in Macaulay~2.


title: Correlation decay and deterministic FPTAS for counting list-colorings of a graph

abstract: We propose a deterministic algorithm for approximately counting the number of list colorings of a graph. Under the assumption that the graph is triangle free, the size of every list is at least $\alpha \Delta$, where $\alpha$ is an arbitrary constant bigger than $\alpha^{**}=2.8432...$, and $\Delta$ is the maximum degree of the graph, we obtain the following results. For the case when the size of the each list is a large constant, we show the existence of a \emph{deterministic} FPTAS for computing the total number of list colorings. The same deterministic algorithm has complexity $2^{O(\log^2 n)}$, without any assumptions on the sizes of the lists, where $n$ is the instance size. We further extend our method to a discrete Markov random field (MRF) model. Under certain assumptions relating the size of the alphabet, the degree of the graph and the interacting potentials we again construct a deterministic FPTAS for computing the partition function of a MRF. Our results are not based on the most powerful existing counting technique -- rapidly mixing Markov chain method. Rather we build upon concepts from statistical physics, in particular, the decay of correlation phenomena and its implication for the uniqueness of Gibbs measures in infinite graphs. This approach was proposed in two recent papers \cite{BandyopadhyayGamarnikCounting} and \cite{weitzCounting}. The principle insight of this approach is that the correlation decay property can be established with respect to certain \emph{computation tree}, as opposed to the conventional correlation decay property with respect to graph theoretic neighborhoods of a given node. This allows truncation of computation at a logarithmic depth in order to obtain polynomial accuracy in polynomial time.


title: A-infinity structure on Ext-algebras

abstract: Let A be a connected graded algebra and let E denote its Ext-algebra. There is a natural A-infinity algebra structure on E, and we prove that this structure is mainly determined by the relations of A. In particular, the coefficients of the A-infinity products m_n restricted to the tensor powers of Ext^1 give the coefficients of the relations of A. We also relate the m_n's to Massey products.


title: Global regularity for a logarithmically supercritical defocusing nonlinear wave equation for spherically symmetric data

abstract: We establish global regularity for the logarithmically energy-supercritical wave equation $\Box u = u^5 \log(2+u^2)$ in three spatial dimensions for spherically symmetric initial data, by modifying an argument of Ginibre, Soffer and Velo \cite{gsv} for the energy-critical equation. This example demonstrates that critical regularity arguments can penetrate very slightly into the supercritical regime.


title: Nonequality of Dimensions for Metric Groups

abstract: An embeddability criterion for zero-dimensional metrizable topological spaces in zero-dimensional metrizable topological groups is given. A space which can be embedded as a closed subspace in a zero-dimensional metrizable group but is not strongly zero-dimensional is constructed; thereby, an example of a metrizable group with noncoinciding dimensions ind and dim is obtained. It is proved that one of Kulesza's zero-dimensional metrizable spaces cannot be embedded in a metrizable zero-dimensional group.


title: On the classification of Galois objects over the quantum group of a nondegenerate bilinear form

abstract: We study Galois and bi-Galois objects over the quantum group of a nondegenerate bilinear form, including the quantum group Oq(SL2). We obtain the classification of these objects up to isomorphism and some partial results for their classification up to homotopy.


title: GIT quotients of products of projective spaces

abstract: The aim of this work is to study the quotients for the diagonal action of SL_3(C) on the product of n-fold of \mathbb{P}^2(C): we are interested in describing how the quotient changes when we vary the polarization (i.e. the choice of an ample linearized line bundle). We illustrate the different techniques for the construction of a quotient, in particular the numerical criterion for semi-stability and the ``elementary transformations'' which are resolutions of precisely described singularities (case n=6).


title: Percolation on dual lattices with k-fold symmetry

abstract: Zhang found a simple, elegant argument deducing the non-existence of an infinite open cluster in certain lattice percolation models (for example, p=1/2 bond percolation on the square lattice) from general results on the uniqueness of an infinite open cluster when it exists; this argument requires some symmetry. Here we show that a simple modification of Zhang's argument requires only 2-fold (or 3-fold) symmetry, proving that the critical probabilities for percolation on dual planar lattices with such symmetry sum to 1. Like Zhang's argument, our extension applies in many contexts; in particular, it enables us to answer a question of Grimmett concerning the anisotropic random cluster model on the triangular lattice.


title: Noncommutative complex analytic spaces

abstract: In this paper, we define NC complex spaces as complex spaces together with a structure sheaf of associative algebras in such a way that the abelization of the structure sheaf is the sheaf of holomorphic functions.


title: Sharp two-sided heat kernel estimates for critical Schr\"odinger operators on bounded domains

abstract: On a smooth bounded domain \Omega \subset R^N we consider the Schr\"odinger operators -\Delta -V, with V being either the critical borderline potential V(x)=(N-2)^2/4 |x|^{-2} or V(x)=(1/4) dist (x,\partial\Omega)^{-2}, under Dirichlet boundary conditions. In this work we obtain sharp two-sided estimates on the corresponding heat kernels. To this end we transform the Scr\"odinger operators into suitable degenerate operators, for which we prove a new parabolic Harnack inequality up to the boundary. To derive the Harnack inequality we have established a serier of new inequalities such as improved Hardy, logarithmic Hardy Sobolev, Hardy-Moser and weighted Poincar\'e. As a byproduct of our technique we are able to answer positively to a conjecture of E.B.Davies.


title: q-Analogue of Wilson's theorem

abstract: We give q-analogues of Wilson's theorem for the primes congruent 1 and 3 modulo 4 respectively. And q-analogues of two congruences due to Mordell and Chowla are also established.


title: Vector semi-Fredholm Toeplitz operators and mean winding numbers

abstract: For a continuous complex-valued function g on the real line without zeros, several notions of a mean winding number are introduced. We give necessary conditions for a Toeplitz operator with matrix-valued symbol G to be semi-Fredholm in terms of mean winding numbers of det G. The matrix function G is assumed to be continuous on the real line, and no other apriori assumptions on it are made.


title: High Frequency Asymptotics for Wavelet-Based Tests for Gaussianity and Isotropy on the Torus

abstract: We prove a CLT for skewness and kurtosis of the wavelets coefficients of a stationary field on the torus. The results are in the framework of the fixed-domain asymptotics, i.e. we refer to observations of a single field which is sampled at higher and higher frequencies. We consider also studentized statistics for the case of an unknown correlation structure. The results are motivated by the analysis of cosmological data or high-frequency financial data sets, with a particular interest towards testing for Gaussianity and isotropy


title: A twisted Burnside theorem for countable groups and Reidemeister numbers

abstract: The purpose of the present paper is to prove for finitely generated groups of type I the following conjecture of A.Fel'shtyn and R.Hill, which is a generalization of the classical Burnside theorem. Let G be a countable discrete group, f one of its automorphisms, R(f) the number of f-conjugacy classes, and S(f)=# Fix (f^) the number of f-invariant equivalence classes of irreducible unitary representations. If one of R(f) and S(f) is finite, then it is equal to the other. This conjecture plays an important role in the theory of twisted conjugacy classes and has very important consequences in Dynamics, while its proof needs rather sophisticated results from Functional and Non-commutative Harmonic Analysis. We begin a discussion of the general case (which needs another definition of the dual object). It will be the subject of a forthcoming paper. Some applications and examples are presented.


title: On a nonhomogeneous quasilinear eigenvalue problem in Sobolev spaces with variable exponent

abstract: We consider the nonlinear eigenvalue problem $-{\rm div}(|\nabla u|^{p(x)-2}\nabla u)=\lambda |u|^{q(x)-2}u$ in $\Omega$, $u=0$ on $\partial\Omega$, where $\Omega$ is a bounded open set in $\RR^N$ with smooth boundary and $p$, $q$ are continuous functions on $\bar\Omega$ such that $1<\inf\_\Omega q< \inf\_\Omega p<\sup\_\Omega q$, $\sup\_\Omega p<N$, and $q(x)<Np(x)/(N-p(x))$ for all $x\in\bar\Omega$. The main result of this paper establishes that any $\lambda>0$ sufficiently small is an eigenvalue of the above nonhomogeneous quasilinear problem. The proof relies on simple variational arguments based on Ekeland's variational principle.


title: Existence and multiplicity of solutions for quasilinear nonhomogeneous problems: an Orlicz-Sobolev space setting

abstract: We study the boundary value problem $-{\rm div}(\log(1+ |\nabla u|^q)|\nabla u|^{p-2}\nabla u)=f(u)$ in $\Omega$, $u=0$ on $\partial\Omega$, where $\Omega$ is a bounded domain in $\RR^N$ with smooth boundary. We distinguish the cases where either $f(u)=-\lambda|u|^{p-2}u+|u|^{r-2}u$ or $f(u)=\lambda|u|^{p-2}u-|u|^{r-2}u$, with $p$, $q>1$, $p+q<\min\{N,r\}$, and $r<(Np-N+p)/(N-p)$. In the first case we show the existence of infinitely many weak solutions for any $\lambda>0$. In the second case we prove the existence of a nontrivial weak solution if $\lambda$ is sufficiently large. Our approach relies on adequate variational methods in Orlicz-Sobolev spaces.


title: On SAP-rings

abstract: The rings whose simple right modules are absolutely pure are called right $SAP$-rings. We give a new characterization of right $SAP$ rings, right $V$ rings, and von Neumann regular rings. We also obtain a new decomposition theory of right selfinjective von Neumann regular rings. The relationships between $SAP$-rings, $V$-rings, and von Neumann regular rings are explored. Some recent results obtained by Faith are generalized and the results of Wu-Xia are strengthened.


title: Fixed Subgroups of Endomorphisms of Free Products

abstract: Let $G=\ast_{i=1}^{n}G_{i}$ and let $\phi$ be a symmetric endomorphism of $G$. If $\phi$ is a monomorphism or if $G$ is a finitely generated residually finite group, then the fixed subgroup $Fix(\phi)=\{g\in G:\phi(g)=g\}$ of $\phi$ has Kurosh rank at most $n$.


title: Student's t-test without symmetry conditions

abstract: An explicit representation of an arbitrary zero-mean distribution as the mixture of (at-most-)two-point zero-mean distributions is given. Based in this representation, tests for (i) asymmetry patterns and (ii) for location without symmetry conditions can be constructed. Exact inequalities implying conservative properties of such tests are presented. These developments extend results established earlier by Efron, Eaton, and Pinelis under a symmetry condition.


title: Twisted Burnside theorem for type II_1 groups: an example

abstract: The purpose of the present paper is to discuss the following conjecture of Fel'shtyn and Hill, which is a generalization of the classical Burnside theorem: Let G be a countable discrete group, f its automorphism, R(f) the number of f-conjugacy classes (Reidemeister number), S(f):=# Fix (f^) the number of f-invariant equivalence classes of irreducible unitary representations. If one of R(f) and S(f) is finite, then it is equal to the other. This conjecture plays a very important role in the theory of twisted conjugacy classes having a long history and has very serious consequences in Dynamics, while its proof needs rather fine results from Functional and Non-commutative Harmonic Analysis. It was proved for finitely generated groups of type I in a previous paper. In the present paper this conjecture is disproved for non-type I groups. More precisely, an example of a group and its automorphism is constructed such that the number of fixed irreducible representations is greater than the Reidemeister number. But the number of fixed finite-dimensional representations (i.e. the number of invariant finite-dimensional characters) in this example coincides with the Reidemeister number.


title: A Generalization of the Prime Geodesic Theorem to Counting Conjugacy Classes of Free Subgroups

abstract: The classical prime geodesic theorem (PGT) gives an asymptotic formula (as $x$ tends to infinity) for the number of closed geodesics with length at most $x$ on a hyperbolic manifold $M$. Closed geodesics correspond to conjugacy classes of $\pi_1(M)=\Gamma$ where $\Gamma$ is a lattice in $G=SO(n,1)$. The theorem can be rephrased in the following format. Let $X(\Z,\Gamma)$ be the space of representations of $\Z$ into $\Gamma$ modulo conjugation by $\Gamma$. $X(\Z,G)$ is defined similarly. Let $\pi: X(\Z,\Gamma)\to X(\Z,G)$ be the projection map. The PGT provides a volume form $vol$ on $X(\Z,G)$ such that for sequences of subsets $\{B_t\}$, $B_t \subset X(\Z,G)$ satisfying certain explicit hypotheses, $|\pi^{-1}(B_t)|$ is asymptotic to $vol(B_t)$. We prove a statement having a similar format in which $\Z$ is replaced by a free group of finite rank under the additional hypothesis that $n=2$ or 3.


title: On the Enumeration of Certain Weighted Graphs

abstract: We enumerate weighted graphs with a certain upper bound condition. We also compute the generating function of the numbers of these graphs, and prove that it is a rational function. In particular, we show that if the given graph is a bipartite graph, then its generating function is of the form $\frac{p(x)}{(1-x)^{m+1}}$, where $m$ is the number of vertices of the graph and $p(x)$ is a polynomial of degree at most $m$.


title: Generalized shuffles related to Nijenhuis and TD-algebras

abstract: Shuffle and quasi-shuffle products are well-known in the mathematics literature. They are intimately related to Loday's dendriform algebras, and were extensively used to give explicit constructions of free commutative Rota-Baxter algebras. In the literature there exist at least two other Rota-Baxter type algebras, namely, the Nijenhuis algebra and the so-called TD-algebra. The explicit construction of the free unital commutative Nijenhuis algebra uses a modified quasi-shuffle product, called the right-shift shuffle. We show that another modification of the quasi-shuffle product, the so-called left-shift shuffle, can be used to give an explicit construction of the free unital commutative TD-algebra. We explore some basic properties of TD-operators and show that the free unital commutative Nijenhuis algebra is a TD-algebra. We relate our construction to Loday's unital commutative dendriform trialgebras, including the involutive case. The concept of Rota-Baxter, Nijenhuis and TD-bialgebras is introduced at the end and we show that any commutative bialgebra provides such objects.


title: Singular elliptic problems with convection term in anisotropic media

abstract: We are concerned with singular elliptic problems of the form $-\Delta u\pm p(d(x))g(u)=\la f(x,u)+\mu |\nabla u|^a$ in $\Omega,$ where $\Omega$ is a smooth bounded domain in $\RR^N$, $d(x)={\rm dist}(x,\partial\Omega),$ $\la>0,$ $\mu\in\RR$, $0<a\leq 2$, and $f,k$ are nonnegative and nondecreasing functions. We assume that $p(d(x))$ is a positive weight with possible singular behavior on the boundary of $\Omega$ and that the nonlinearity $g$ is unbounded around the origin. Taking into account the competition between the anisotropic potential $p(d(x))$, the convection term $|\nabla u|^a$, and the singular nonlinearity $g$, we establish various existence and nonexistence results.


title: Adaptive density deconvolution with dependent inputs

abstract: In the convolution model $Z\_i=X\_i+ \epsilon\_i$, we give a model selection procedure to estimate the density of the unobserved variables $(X\_i)\_{1 \leq i \leq n}$, when the sequence $(X\_i)\_{i \geq 1}$ is strictly stationary but not necessarily independent. This procedure depends on wether the density of $\epsilon\_i$ is super smooth or ordinary smooth. The rates of convergence of the penalized contrast estimators are the same as in the independent framework, and are minimax over most classes of regularity on ${\mathbb R}$. Our results apply to mixing sequences, but also to many other dependent sequences. When the errors are super smooth, the condition on the dependence coefficients is the minimal condition of that type ensuring that the sequence $(X\_i)\_{i \geq 1}$ is not a long-memory process.


title: Sharp edge, vertex, and mixed Cheeger type inequalities for finite Markov kernels

abstract: We show how the evolving set methodology of Morris and Peres can be used to show Cheeger inequalities for bounding the spectral gap of a finite Markov kernel. This leads to sharp versions of several previous Cheeger inequalities, including ones involving edge-expansion, vertex-expansion, and mixtures of both. A bound on the smallest eigenvalue also follows.


title: Not all pure states on B(H) are diagonalizable

abstract: Assuming the continuum hypothesis, we prove that B(H) has a pure state whose restriction to any masa is not pure. This resolves negatively an old conjecture of Anderson.


title: Polynomials, meanders, and paths in the lattice of noncrossing partitions

abstract: For every polynomial f of degree n with no double roots, there is an associated family C(f) of harmonic algebraic curves, fibred over the circle, with at most n-1 singular fibres. We study the combinatorial topology of C(f) in the generic case when there are exactly n-1 singular fibres. In this case, the topology of C(f) is determined by the data of an n-tuple of noncrossing matchings on the set {0,1,...,2n-1} with certain extra properties. We prove that there are 2(2n)^{n-2} such n-tuples, and that all of them arise from the topology of C(f) for some polynomial f.


title: Meanders in a Cayley graph

abstract: A meander of order n is a simple closed curve in the plane which intersects a horizontal line transversely at 2n points. (Meanders which differ by an isotopy of the line and plane are considered equivalent.) Let Gamma_n be the Cayley graph of the symmetric group S_n as generated by all (n choose 2) transpositions. Let Lambda_n be any interval of maximal length in Gamma_n; this graph is the Hasse diagram of the lattice of noncrossing partitions. The meanders of order n are in one-to-one correspondence with ordered pairs of maximally separated vertices of Lambda_n.


title: An inverse problem with data on the part of the boundary

abstract: Let $u_t=\nabla^2 u-q(x)u:=Lu$ in $D\times [0,\infty)$, where $D\subset R^3$ is a bounded domain with a smooth connected boundary $S$, and $q(x)\in L^2(S)$ is a real-valued function with compact support in $D$. Assume that $u(x,0)=0$, $u=0$ on $S_1\subset S$, $u=a(s,t)$ on $S_2=S\setminus S_1$, where $a(s,t)=0$ for $t>T$, $a(s,t)\not\equiv 0$, $a\in C([0,T];H^{3/2}(S_2))$ is arbitrary. Given the extra data $u_N|_{S_2}=b(s,t)$, for each $a\in C([0,T];H^{3/2}(S_2))$, where $N$ is the outer normal to $S$, one can find $q(x)$ uniquely. A similar result is obtained for the heat equation $u_t=\mathcal{L} u:=%\triangledown \nabla \cdot (a \nabla u)$. These results are based on new versions of Property C.


title: Transport in the One-Dimensional Schroedinger Equation

abstract: We prove a dispersive estimate for the one-dimensional Schroedinger equation, mapping between weighted $L^p$ spaces with stronger time-decay ($t^{-3/2}$ versus $t^{-1/2}$) than is possible on unweighted spaces. To satisfy this bound, the long-term behavior of solutions must include transport away from the origin. Our primary requirements are that $(1+|x|)^3 V$ be integrable and $-\Delta + V$ not have a resonance at zero energy. If a resonance is present (for example in the free case), similar estimates are valid after projecting away from a rank-one subspace corresponding to the resonance.


title: Evaluation of series with Hurwitz and Lerch zeta function coefficients by using Hankel contour integrals

abstract: We introduce a new technique for evaluation of series with zeta coefficients and also for evaluation of certain integrals involving the logGamma function. This technique is based on Hankel integral representations of the Hurwitz zeta, the Lerch Zeta, the Digamma and logGamma functions.


title: Level 0 Monomial crystals

abstract: We study the monomial crystal defined by the second author. We show that each component of the monomial crystal can be embedded into a crystal of an extremal weight module introduced by Kashiwara. And we determine all monomials appearing in the components corresponding to all level 0 fundamental representations of quantum affine algebras except for some nodes of $E_6^{(2)}$, $E_7^{(1)}$, $E_8^{(1)}$. Thus we obtain explicit descriptions of the crystals in these examples. We also give those for the corresponding finite dimensional representations. For classical types, we give them in terms of tableaux. For exceptional types, we list up all monomials.


title: Perverse sheaves on Artin stacks

abstract: In this paper we develop the theory of perverse sheaves on Artin stacks continuing the study in "The six operations for sheaves on Artin stacks I: Finite Coefficients" and "The six operations for sheaves on Artin stacks II: Adic Coefficients" (math.AG/0512097 and math.AG/0603680)


title: The dilation property of modulation spaces and their inclusion relation with Besov spaces

abstract: We consider the dilation property of the modulation spaces $M^{p,q}$. Let $D_\lambda:f(t)\mapsto f(\lambda t)$ be the dilation operator, and we consider the behavior of the operator norm $\|D_\lambda\|_{M^{p,q}\to M^{p,q}}$ with respect to $\lambda$. Our result determines the best order for it, and as an application, we establish the optimality of the inclusion relation between the modulation spaces and Besov space, which was proved by Toft.


title: The Curve Exclusion Theorem for elliptic and K3 fibrations birational to Fano 3-fold hypersurfaces

abstract: The theorem referred to in the title is a technical result that is needed for the classification of elliptic and K3 fibrations birational to Fano 3-fold hypersurfaces in weighted projective space. We present a complete proof of the Curve Exclusion Theorem, which first appeared in the author's unpublished PhD thesis [Ry02] and has since been relied upon in solutions to many cases of the fibration classification problem. We give examples of these solutions and discuss them briefly.


title: On the injectivity of the Kudla-Millson lift and surjectivity of the Borcherds lift

abstract: We consider the Kudla-Millson lift from elliptic modular forms of weight (p+q)/2 to closed q-forms on locally symmetric spaces corresponding to the orthogonal group O(p,q). We study the L^2-norm of the lift following the Rallis inner product formula. We compute the contribution at the Archimedian place. For locally symmetric spaces associated to even unimodular lattices, we obtain an explicit formula for the L^2-norm of the lift, which often implies that the lift is injective. For O(p,2) we discuss how such injectivity results imply the surjectivity of the Borcherds lift.


title: Twisted Burnside-Frobenius theory for discrete groups

abstract: For a wide class of groups including polycyclic and finitely generated polynomial growth groups it is proved that the Reidemeister number of an automorphism f is equal to the number of finite-dimensional fixed points of the induced map f^ on the unitary dual, if one of these numbers is finite. This theorem is a natural generalization of the classical Burnside-Frobenius theorem to infinite groups. This theorem also has important consequences in topological dynamics and in some sense is a reply to a remark of J.-P. Serre. The main technical results proved in the paper yield a tool for a further progress.


title: Instanton counting and Donaldson invariants

abstract: For a smooth projective toric surface we determine the Donaldson invariants and their wallcrossing in terms of the Nekrasov partition function. Using the solution of the Nekrasov conjecture math.AG/0306198, hep-th/0306238, math.AG/0409441 and its refinement math.AG/0311058, we apply this result to give a generating function for the wallcrossing of Donaldson invariants of good walls of simply connected projective surfaces with $b_+=1$ in terms of modular forms. This formula was proved earlier in alg-geom/9506018 more generally for simply connected 4-manifolds with $b_+=1$, assuming the Kotschick-Morgan conjecture and it was also derived by physical arguments in hep-th/9709193.


title: Truels, or the survival of the weakest

abstract: In this paper we review some of the main results obtained in the field of truels. A "truel" is a generalization of a duel involving three players. Depending on the rules used for chosing the players, we may distinguish between the random, sequential and simultaneous truel. A paradoxical result appears in these games, as the player with the highest marksmanship does not necessarily possess the highest survival (or winning) probability. In this work we limit ourselves to the random and sequential truels in which players use their best possible strategy with no coalitions. Furthermore, we have modified the random truel and converted it into an opinion model. In this version each of the three players holds a different opinion on a given topic. We address next the question of who wins a "truel league". We will see that, despite the paradoxical result mentioned above, still the distribution of winners is peaked around the players with the higher marksmanship for the random and opinion versions. In the sequential truel, however, the paradoxical result remains partially since the distribution of winners is peaked around the intermediate players. If the rules of truels are extended from three to $N$ players, the paradoxical results shows up even more clearly since as $N$ increases it is more difficult for the player with the highest marksmanship to win the game. Finally, we consider the dynamics of the games in a spatial distribution in a given network of interactions.


title: Linear Representations of the Automorphism Group of a Free Group

abstract: Let $F_n$ be the free group on $n\ge 2$ elements and $\A(F_n)$ its group of automorphisms. In this paper we present a rich collection of linear representations of $\A(F_n)$ arising through the action of finite index subgroups of it on relation modules of finite quotient groups of $F_n$. We show (under certain conditions) that the images of our representations are arithmetic groups.


title: Generalizations of Ho-Lee's binomial interest rate model I: from one- to multi-factor

abstract: In this paper a multi-factor generalization of Ho-Lee model is proposed. In sharp contrast to the classical Ho-Lee, this generalization allows for those movements other than parallel shifts, while it still is described by a recombining tree, and is stationary to be compatible with principal component analysis. Based on the model, generalizations of duration-based hedging are proposed. A continuous-time limit of the model is also discussed.


title: G\'{e}om\'{e}trie des surfaces alg\'{e}briques et points entiers

abstract: Let $X$ be a projective normal surface over a number field $K$. Let $H$ be the sum of four properly intersecting ample effective divisors on $X$. We show that any set of $S$-integral points in $X-H$ is not Zariski dense.


title: Stable semigroups on homogeneous trees and hyperbolic spaces

abstract: We prove the kernel estimates related to subordinated semigroups on homogeneous trees. We study the long time propagation problem. We exploit this to show exit time estimates for (large) balls. We use an abstract setting of metric measure spaces. This enables us to give these results for trees end hyperbolic spaces as well. Finally, we show some estimates for the Poisson kernel of a ball.


title: Decomposing simple permutations, with enumerative consequences

abstract: We prove that every sufficiently long simple permutation contains two long almost disjoint simple subsequences. This result has applications to the enumeration of restricted permutations. For example, it immediately implies a result of Bona and (independently) Mansour and Vainshtein that for any r, the number of permutations with at most r copies of 132 has an algebraic generating function.


title: Manifolds with positive curvature operators are space forms

abstract: We confirm a conjecture of Hamilton: On compact manifolds the normalized Ricci flow evolves metrics with positive curvature operators to limit metrics with constant curvature.


title: SPM Bulletin 17

abstract: CONTENTS: Lecce Workshop presentations available online; Borel cardinalities below c_0; Hereditarily non-topologizable groups; A hodgepodge of sets of reals; Random gaps; Covering a bounded set of functions by an increasing chain of slaloms; Baire-one mappings contained in a usco map; Applications of k-covers II; Additivity numbers of covering properties; Combinatorial images of sets of reals and semifilter trichotomy; Another algebraic equivalent of the Continuum Hypothesis; A connection between decomposable ultrafilters and possible cofinalities II; Game Approach to Universally Kuratowski-Ulam Spaces; On the density of Banach spaces C(K) with the Grothendieck property; Antichains in partially ordered sets of singular cofinality; Bolzano-Weierstrass principle of choice extended towards ordinals; Nonequality of Dimensions for Metric Groups; Not all pure states on B(H) are diagonalizable; A comment on p<t; Problem of the Issue.


title: Computing Groebner bases of ideals of few points in high dimensions

abstract: A contemporary and exciting application of Groebner bases is their use in computational biology, particularly in the reverse engineering of gene regulatory networks from experimental data. In this setting, the data are typically limited to tens of points, while the number of genes or variables is potentially in the thousands. As such data sets vastly underdetermine the biological network, many models may fit the same data and reverse engineering programs often require the use of methods for choosing parsimonious models. Grobner bases have recently been employed as a selection tool for polynomial dynamical systems that are characterized by maps in a vector space over a finite field. While there are numerous existing algorithms to compute Groebner bases, to date none has been specifically designed to cope with large numbers of variables and few distinct data points. In this paper, we present an algorithm for computing Grobner bases of zero-dimensional ideals that is optimized for the case when the number m of points is much smaller than the number n of indeterminates. The algorithm identifies those variables that are essential, that is, in the support of the standard monomials associated to a polynomial ideal, and computes the relations in the Groebner bases in terms of these variables. When n is much larger than m, the complexity is dominated by nm^3. The algorithm has been implemented and tested in the computer algebra system Macaulay 2. We provide a comparison of its performance to the Buchberger-Moeller algorithm, as built into the system.


title: A duality theorem for Riemannian foliations in nonnegative sectional curvature

abstract: Using a new type of Jacobi field estimate we will prove a duality theorem for singular Riemannian foliations in complete manifolds of nonnegative sectional curvature.


title: Noncommutative Riesz theorem and weak Burnside type theorem on twisted conjugacy

abstract: The present paper consists of two parts. In the first part, we prove a noncommutative analogue of the Riesz(-Markov-Kakutani) theorem on representation of functionals on an algebra of continuous functions by regular measures on the underlying space. In the second part, using this result, we prove a weak version of Burnside type theorem for twisted conjugacy for arbitrary discrete groups.


title: Semi-parametric estimation of the hazard function in a model with covariate measurement error

abstract: We consider a model where the failure hazard function, conditional on a covariate $Z$ is given by $R(t,\theta^0|Z)=\eta\_{\gamma^0}(t)f\_{\beta^0}(Z)$, with $\theta^0=(\beta^0,\gamma^0)^\top\in \mathbb{R}^{m+p}$. The baseline hazard function $\eta\_{\gamma^0}$ and relative risk $f\_{\beta^0}$ belong both to parametric families. The covariate $Z$ is measured through the error model $U=Z+\epsilon$ where $\epsilon$ is independent from $Z$, with known density $f\_\epsilon$. We observe a $n$-sample $(X\_i, D\_i, U\_i)$, $i=1,...,n$, where $X\_i$ is the minimum between the failure time and the censoring time, and $D\_i$ is the censoring indicator. We aim at estimating $\theta^0$ in presence of the unknown density $g$. Our estimation procedure based on least squares criterion provide two estimators. The first one minimizes an estimation of the least squares criterion where $g$ is estimated by density deconvolution. Its rate depends on the smoothnesses of $f\_\epsilon$ and $f\_\beta(z)$ as a function of $z$,. We derive sufficient conditions that ensure the $\sqrt{n}$-consistency. The second estimator is constructed under conditions ensuring that the least squares criterion can be directly estimated with the parametric rate. These estimators, deeply studied through examples are in particular $\sqrt{n}$-consistent and asymptotically Gaussian in the Cox model and in the excess risk model, whatever is $f\_\epsilon$.


title: The classification of football patterns

abstract: We prove that every spherical football (also known as a spherical soccer ball) is a branched cover, branched only in the vertices, of the standard football made up of 12 pentagons and 20 hexagons. We also give examples showing that the corresponding result is not true for footballs of higher genera. Moreover, we classify the possible pairs (k,l) for which football patterns on the sphere exist satisfying a natural generalisation of the usual incidence relation between pentagons and hexagons to k-gons and l-gons.


title: A conjecture that the roots of a univariate polynomial lie in a union of annuli

abstract: We conjecture that the roots of a degree-n univariate complex polynomial are located in a union of n-1 annuli, each of which is centered at a root of the derivative and whose radii depend on higher derivatives. We prove the conjecture for the cases of degrees 2 and 3, and we report on tests with randomly generated polynomials of higher degree. We state two other closely related conjectures concerning Newton's method. If true, these conjectures imply the existence of a simple, rapidly convergent algorithm for finding all roots of a polynomial.


title: Sofic groups and convolution operators

abstract: This paper has been withdrawn by the author. The conjecture follows from the finiteness of group von Neumann algebras.


title: Quadratic and cubic invariants of unipotent affine automorphisms

abstract: Let $K$ be an arbitrary field of characteristic zero, $P_n:= K[ x_1, ..., x_n]$ be a polynomial algebra, and $P_{n, x_1}:= K[x_1^{-1}, x_1, ..., x_n]$, for $n\geq 2$. Let $\s' \in {\rm Aut}_K(P_n)$ be given by $$ x_1\mapsto x_1-1, \quad x_1\mapsto x_2+x_1,\quad ... ,\quad x_n\mapsto x_n+x_{n-1}.$$ It is proved that the algebra of invariants, $F_n':= P_n^{\s'}$, is a polynomial algebra in $n-1$ variables which is generated by $[\frac{n}{2}]$ quadratic and $[\frac{n-1}{2}]$ cubic (free) generators that are given explicitly. Let $\s \in {\rm Aut}_K(P_n)$ be given by %$$\s \in {\rm Aut}_K(P_n): $$ x_1\mapsto x_1, \quad x_1\mapsto x_2+x_1, \quad ... ,\quad x_n\mapsto x_n+x_{n-1}.$$ It is well-known that the algebra of invariants, $F_n:= P_n^\s$, is finitely generated (Theorem of Weitzenb\"ock, \cite{Weitz}, 1932), has transcendence degree $n-1$, and that one can give an explicit transcendence basis in which the elements have degrees $1, 2, 3, ..., n-1$. However, it is an old open problem to find explicit generators for $F_n$. We find an explicit vector space basis for the quadratic invariants, and prove that the algebra of invariants $P_{n, x_1}^\s$ is a polynomial algebra over $K[x_1, x_1^{-1}]$ in $n-2$ variables which is generated by $[\frac{n-1}{2}]$ quadratic and $[\frac{n-2}{2}]$ cubic (free) generators that are given explicitly. The coefficients of these quadratic and cubic invariants throw light on the `unpredictable combinatorics' of invariants of affine automorphisms and of $SL_2$-invariants.


title: The Tetrahedron algebra and its finite-dimensional irreducible modules

abstract: Recently Terwilliger and the present author found a presentation for the three-point $\mathfrak{sl}_2$ loop algebra via generators and relations. To obtain this presentation we defined a Lie algebra $\boxtimes$ by generators and relations and displayed an isomorphism from $\boxtimes$ to the three-point $\mathfrak{sl}_2$ loop algebra. In this paper we classify the finite-dimensional irreducible $\boxtimes$-modules.


title: Classifying links under fused isotopy

abstract: All knots are fused isotopic to the unknot via a process known as virtualization. We extend and adapt this process to show that, up to fused isotopy, classical links are classified by their linking numbers.


title: Failure of separation by quasi-homomorphisms in mapping class groups

abstract: We show that mapping class groups of surfaces of genus at least two contain elements of infinite order that are not conjugate to their inverses, but whose powers have bounded torsion lengths. In particular every homogeneous quasi-homomorphism vanishes on such an element, showing that elements of infinite order not conjugate to their inverses cannot be separated by quasi-homomorphisms.


title: Identification d'un processus autor\'{e}gressif gaussien stable par la m\'{e}thode de moyennisation logarithmique

abstract: In the present work, we consider a stable one-dimensional gaussian autoregressive model in continous time. Using the limit theorems with logarithmic averaging obtained for continous local martingales, we construct then an estimator of the noise covariance $\sigma^{2}$ and an estimator of $\theta$ different of the one of the least squares estimator. By exploiting the weighting method we ameliorate the convergence rates of these new estimators.


title: Cambrian fans

abstract: For a finite Coxeter group W and a Coxeter element c of W, the c-Cambrian fan is a coarsening of the fan defined by the reflecting hyperplanes of W. Its maximal cones are naturally indexed by the c-sortable elements of W. The main result of this paper is that the known bijection cl_c between c-sortable elements and c-clusters induces a combinatorial isomorphism of fans. In particular, the c-Cambrian fan is combinatorially isomorphic to the normal fan of the generalized associahedron for W. The rays of the c-Cambrian fan are generated by certain vectors in the W-orbit of the fundamental weights, while the rays of the c-cluster fan are generated by certain roots. For particular ("bipartite") choices of c, we show that the c-Cambrian fan is linearly isomorphic to the c-cluster fan. We characterize, in terms of the combinatorics of clusters, the partial order induced, via the map cl_c, on c-clusters by the c-Cambrian lattice. We give a simple bijection from c-clusters to c-noncrossing partitions that respects the refined (Narayana) enumeration. We relate the Cambrian fan to well known objects in the theory of cluster algebras, providing a geometric context for g-vectors and quasi-Cartan companions.


title: Gerstenhaber structure and Deligne's conjecture for Loday algebras

abstract: A method for establishing a Gerstenhaber algebra structure on the cohomology of Loday-type algebras is presented. This method is then applied to dendriform dialgebras and three types of trialgebras introduced by Loday and Ronco. Along the way, our results are combined with a result of McClure-Smith to prove an analogue of Deligne's conjecture for Loday algebras.


title: Decay to zero of matrix coefficients at Adjoint infinity

abstract: We prove that if a unitary representation of a connected Lie group has the property that no nonozero vector is fixed by any nontrival normal connected subgroup, then the matrix coefficients decay to zero at Adjoint-infinity.


title: Quadratic transformations of Macdonald and Koornwinder polynomials

abstract: When one expands a Schur function in terms of the irreducible characters of the symplectic (or orthogonal) group, the coefficient of the trivial character is 0 unless the indexing partition has an appropriate form. A number of q-analogues of this fact were conjectured in math.QA/0112035; the present paper proves most of those conjectures, as well as some new identities suggested by the proof technique. The proof involves showing that a nonsymmetric version of the relevant integral is annihilated by a suitable ideal of the affine Hecke algebra, and that any such annihilated functional satisfies the desired vanishing property. This does not, however, give rise to vanishing identities for the standard nonsymmetric Macdonald and Koornwinder polynomials; we discuss the required modification to these polynomials to support such results.


title: Attractor-repeller pair, Morse decomposition and Lyapunov function for random dynamical systems

abstract: In the stability theory of dynamical systems, Lyapunov functions play a fundamental role. In this paper, we study the attractor-repeller pair decomposition and Morse decomposition for compact metric space in the random setting. In contrast to [8], by introducing slightly stronger definitions of random attractor and repeller, we characterize attractor-repeller pair decompositions and Morse decompositions for random dynamical systems through the existence of Lyapunov functions. These characterizations, we think, deserve to be known widely.


title: Decentralized adaptation in interconnected uncertain systems with nonlinear parametrization

abstract: We propose a technique for the design and analysis of decentralized adaptation algorithms in interconnected dynamical systems. Our technique does not require Lyapunov stability of the target dynamics and allows nonlinearly parameterized uncertainties. We show that for the considered class of systems, conditions for reaching the control goals can be formulated in terms of the nonlinear L_2-gains of target dynamics of each interconnected subsystem. Equations for decentralized controllers and corresponding adaptation algorithms are also explicitly provided.


title: Valeurs algebriques de fonctions transcendantes

abstract: We study the set of algebraic numbers of bounded height and bounded degree where an analytic transcendental function takes algebraic values.


title: The Bethe ansatz in a periodic box-ball system and the ultradiscrete Riemann theta function

abstract: Vertex models with quantum group symmetry give rise to integrable cellular automata at q=0. We study a prototype example known as the periodic box-ball system. The initial value problem is solved in terms of an ultradiscrete analogue of the Riemann theta function whose period matrix originates in the Bethe ansatz at q=0.


title: Noetherian algebras over algebraically closed fields

abstract: Let $k$ be an uncountable algebraically closed field and let $A$ be a countably generated left Noetherian $k$-algebra. Then we show that $A \otimes_k K$ is left Noetherian for any field extension $K$ of $k$. We conclude that all subfields of the quotient division algebra of a countably generated left Noetherian domain over $k$ are finitely generated extensions of $k$. We give examples which show that $A\otimes_k K$ need not remain left Noetherian if the hypotheses are weakened.


title: Jacobiens, jacobiennes et stabilit\'e num\'erique

abstract: This paper is concerned with the complexity and stability of arithmetic operations in the jacobian variety of curves over the field of complex numbers, as the genus grows to infinity. We focus on modular curves. Efficient and stable computation in the jacobian of modular curves is useful for computing coefficients of modular forms in deterministic polynomial time. This work is part of my contribution to Edixhoven's program for solving this problem.


title: Prime Fano threefolds and integrable systems

abstract: For a general K3 surface of genus g = 2,3,...,10, we prove that the intermediate jacobians of the family of prime Fano threefolds of genus g containing S as a hyperplane section, form generically an algebraic completely integrable system.


title: Canonical bases of higher-level q-deformed Fock spaces

abstract: We show that the transition matrices between the standard and the canonical bases of infinitely many weight subspaces of the higher-level q-deformed Fock spaces are equal.


title: Analysis on the crown domain

abstract: In this paper one finds:1) A simple combinatorical description of the distinguished boundary of the crown domain in terms of the affine Weyl group; 2) Optimal upper and lower bounds for holomorphically extended spherical functions; 3) First progress on how to attach complex invariants to irreducible representations; 4) A new unipotent model for the crown domain; 5) Optimal bounds for the exponential decay of cuspidal automorphic forms.


title: Flow properties of differential equations driven by fractional Brownian motion

abstract: We prove that solutions of stochastic differential equations driven by fractional Brownian motion for $H>1/2$ define flows of homeomorphisms on $\mathbb{R}^{d}$.


title: On a q-analog of a Sahi result

abstract: We obtain a $q$-analog of a well known Sahi result on the joint spectrum of $S(GL_n \times GL_n)$-invariant differential operators with polynomial coefficients on the vector space of complex $n \times n$-matrices.


title: The automorphism tower of a centerless group (mostly) without choice

abstract: For a centerless group G, we can define its automorphism tower. We define G^{alpha} : G^0=G, G^{alpha +1}=Aut(G^alpha) and for limit ordinals G^delta=bigcup_{alpha < delta}G^alpha . Let tau_G be the ordinal when the sequence stabilizes. Thomas' celebrated theorem says tau_G<2^{|G|})^{+} and more. If we consider Thomas' proof too set theoretical, we have here a shorter proof with little set theory. However, set theoretically we get a parallel theorem without the axiom of choice. We attach to every element in G^alpha, the alpha-th member of the automorphism tower of G, a unique quantifier free type over G (whish is a set of words from G*< x>). This situation is generalized by defining ``(G,A) is a special pair''.


title: Distribution modulo one and Ratner's theorem

abstract: Measure rigidity is a branch of ergodic theory that has recently contributed to the solution of some fundamental problems in number theory and mathematical physics. Examples are proofs of quantitative versions of the Oppenheim conjecture, related questions on the spacings between the values of quadratic forms, a proof of quantum unique ergodicity for certain classes of hyperbolic surfaces, and an approach to the Littlewood conjecture on the nonexistence of multiplicatively badly approximable numbers. In these lectures we discuss a few simple applications of one of the central results in measure rigidity: Ratner's theorem. We shall investigate the statistical properties of certain number theoretic sequences, specifically the fractional parts of $m\alpha$, $m=1,2,3,...$, (a classical, well understood problem) and of $\sqrt{m\alpha}$ (as recently studied by Elkies and McMullen). By exploiting equidistribution results on a certain homogeneous space, we will show that the statistical properties of these sequences can exhibit significant deviations from those of independent random variables. The ``randomness'' of other, more generic sequences such as $m^2\alpha$ and $2^m \alpha$ mod 1 has been studied extensively. These notes are based on lectures presented at the Institute Henri Poincare Paris, June 2005, and at the summer school `Equidistribution in number theory', CRM Montreal, July 2005. The author gratefully acknowledges support by an EPSRC Advanced Research Fellowship.


title: Free Jacobi Process

abstract: Using a matrix approach, we define the free Jacobi process as the limit of the complex Jacobi matrix process. The we derive a free SDE which is analogous to its classical counterpart. To proceed, we prove that fro suitable parameters the process remains injective if it is initially injective and then use the polar decomposition. In the stationnary case, this will be easily deduced from the explicit expression of the spectral measure. In the general setting we derive a recurrence formula for the moments. Moreover, a p. d. e. for the Cauchy transform of the law is given.


title: Significant edges in the case of a non-stationary Gaussian noise

abstract: In this paper, we propose an edge detection technique based on some local smoothing of the image followed by a statistical hypothesis testing on the gradient. An edge point being defined as a zero-crossing of the Laplacian, it is said to be a significant edge point if the gradient at this point is larger than a threshold $s(\eps)$ defined by: if the image $I$ is pure noise, then $\P(\norm{\nabla I}\geq s(\eps) \bigm| \Delta I = 0) \leq\eps$. In other words, a significant edge is an edge which has a very low probability to be there because of noise. We will show that the threshold $s(\eps)$ can be explicitly computed in the case of a stationary Gaussian noise. In images we are interested in, which are obtained by tomographic reconstruction from a radiograph, this method fails since the Gaussian noise is not stationary anymore. But in this case again, we will be able to give the law of the gradient conditionally on the zero-crossing of the Laplacian, and thus compute the threshold $s(\eps)$. We will end this paper with some experiments and compare the results with the ones obtained with some other methods of edge detection.


title: A characterisation of S^3 among homology spheres

abstract: We prove that an integral homology 3-sphere is S^3 if and only if it admits four periodic diffeomorphisms of odd prime orders whose space of orbits is S^3. As an application we show that an irreducible integral homology sphere which is not S^3 is the cyclic branched cover of odd prime order of at most four knots in S^3. A result on the structure of finite groups of odd order acting on integral homology spheres is also obtained.


title: Note on the ABC Conjecture

abstract: This note imparts heuristic arguments and theorectical evidences that contradict the abc conjecture over the rational numbers. In addition, the rudimentary datails for transforming this problem into the doimain of equidistribution theory are provided.


title: Quantum dimensions and their non-Archimedean degenerations

abstract: We derive explicit dimension formulas for irreducible $M_F$-spherical $K_F$-representations where $K_F$ is the maximal compact subgroup of the general linear group $GL(d,F)$ over a local field $F$ and $M_F$ is a closed subgroup of $K_F$ such that $K_F/M_F$ realizes the Grassmannian of $n$-dimensional $F$-subspaces of $F^d$. We explore the fact that $(K_F,M_F)$ is a Gelfand pair whose associated zonal spherical functions identify with various degenerations of the multivariable little $q$-Jacobi polynomials. As a result, we are led to consider generalized dimensions defined in terms of evaluations and quadratic norms of multivariable little $q$-Jacobi polynomials, which interpolate between the various classical dimensions. The generalized dimensions themselves are shown to have representation theoretic interpretations as the quantum dimensions of irreducible spherical quantum representations associated to quantum complex Grassmannians.


title: Wave 0-Trace and length spectrum on convex co-compact hyperbolic manifolds

abstract: For quotients of the $n+1$-dimensional hyperbolic space by a convex co-compact group $\Gamma$, we obtain a formula relating the renormalized trace of the wave operator with the resonances of the Laplacian and some conformal invariants of the boundary, generalizing a formula of Guillop\'e and Zworski in dimension 2. By writing this trace with the length spectrum, we prove precise asymptotics of the number of closed geodesics with an effective, exponentially small error term when the dimension of the limit set of $\Gamma$ is greater than $n/2$.


title: Surgery and Harmonic Spinors

abstract: Let M be a compact manifold with a fixed spin structure \chi. The Atiyah-Singer index theorem implies that for any metric g on M the dimension of the kernel of the Dirac operator is bounded from below by a topological quantity depending only on M and \chi. We show that for generic metrics on M this bound is attained.