title: Strong double coverings of groups

abstract: By a covering of a group G we mean an epimorphism from a group F to G. Introducing the notion of strong covering as a covering pi:F-->G such that every automorphism of G is a projection via pi of an automorphism of F, the main aim of this paper is to characterise double coverings which are strong. This is done in details for metacyclic groups, rotary platonic groups and some finite simple groups.


title: Stanley's character polynomials and coloured factorizations in the symmetric group

abstract: Stanley introduces polynomials which help evaluate symmetric group characters and conjectures that the coefficients of the polynomials are positive. Stanley later gives a conjectured combinatorial interpretation for the coefficients of the polynomials. Here, we prove the conjecture for the terms of highest degree.


title: Removing zero Lyapunov exponents in volume-preserving flows

abstract: Baraviera and Bonatti proved that it is possible to perturb, in the c^1 topology, a volume-preserving and partial hyperbolic diffeomorphism in order to obtain a non-zero sum of all the Lyapunov exponents in the central direction. In this article we obtain the analogous result for volume-preserving flows.


title: On combinatorial link Floer homology

abstract: Link Floer homology is an invariant for links defined using a suitable version of Lagrangian Floer homology. In an earlier paper, this invariant was given a combinatorial description with mod 2 coefficients. In the present paper, we give a self-contained presentation of the basic properties of link Floer homology, including an elementary proof of its invariance. We also fix signs for the differentials, so that the theory is defined with integer coefficients.


title: On numerical integration by the shift and application to Wiener space

abstract: The aim of this study is to clarify the consequences of recent theoretical results for the numerical computation of expectation by the shift method, and in particular to yield sufficient criteria for the existence of speed of convergence of the type `iterated logarithm' in several situations. We deepen the case of the Wiener space because it contains many situations useful in applications.


title: Batch and median neural gas

abstract: Neural Gas (NG) constitutes a very robust clustering algorithm given euclidian data which does not suffer from the problem of local minima like simple vector quantization, or topological restrictions like the self-organizing map. Based on the cost function of NG, we introduce a batch variant of NG which shows much faster convergence and which can be interpreted as an optimization of the cost function by the Newton method. This formulation has the additional benefit that, based on the notion of the generalized median in analogy to Median SOM, a variant for non-vectorial proximity data can be introduced. We prove convergence of batch and median versions of NG, SOM, and k-means in a unified formulation, and we investigate the behavior of the algorithms in several experiments.


title: A $c\_0$-saturated Banach space with no long unconditional basic sequences

abstract: We present a Banach space $\mathfrak X$ with a Schauder basis of length $\omega\_1$ which is saturated by copies of $c\_0$ and such that for every closed decomposition of a closed subspace $X=X\_0\oplus X\_1$, either $X\_0$ or $X\_1$ has to be separable. This can be considered as the non-separable counterpart of the notion of hereditarily indecomposable space. Indeed, the subspaces of $\mathfrak X$ have ``few operators'' in the sense that every bounded operator $T:X \to \mathfrak{X}$ from a subspace $X$ of $\mathfrak{X}$ into $\mathfrak{X}$ is the sum of a multiple of the inclusion and a $\omega\_1$-singular operator, i.e., an operator $S$ which is not an isomorphism on any non-separable subspace of $X$. We also show that while $\mathfrak{X}$ is not distortable (being $c\_0$-saturated), it is arbitrarily $\omega\_1$-distortable in the sense that for every $\lambda>1$ there is an equivalent norm $\||\cdot \||$ on $\mathfrak{X}$ such that for every non-separable subspace $X$ of $\mathfrak{X}$ there are $x,y\in S\_X$ such that $\||\cdot \|| / \||\cdot \||\ge \la$.


title: Equivalence of Mirror Families Constructed from Toric Degenerations of Flag Varieties

abstract: Batyrev (et. al.) constructed a family of Calabi-Yau varieties using small toric degenerations of the full flag variety G/B. They conjecture this family to be mirror to generic anti-canonical hypersurfaces in G/B. Recently Alexeev and Brion, as a part of their work on toric degenerations of spherical varieties, have constructed many degenerations of G/B. For any such degeneration we construct a family of varieties, which we prove coincides with Batyrev's in the small case. We prove that any two such families are birational, thus proving that mirror families are independent of the choice of degeneration. The birational maps involved are closely related to Berenstein and Zelevinsky's geometric lifting of tropical maps to maps between totally positive varieties.


title: Penalizations of Walsh Brownian motion

abstract: In this paper, we construct a family of probability measures, by penalizations of a Walsh Brownian motion with a weight dependent on its value and its local time at a time t. We prove that this family converges to a probability measure as t tends to infinity, and we study the behaviour of this limit measure.


title: Erratum: On iterated torus knots and transversal knots

abstract: In math.GT/0002110 the author's Theorems 1.1 and 1.2, combined, implied that iterated torus knots are transversally simple. This result is in error and this erratum pin points the error. In "An addendum on iterated torus knots" a more subtle result is proven resulting in giving a geometric realization of the Honda-Etnyre transverse (2,3)-cable of the (2,3)-torus knot example--Appendix joint with H. Matsuda. (See math.SG/0306330 and math.GT/0610566.)


title: An addendum on iterated torus knots

abstract: In Theorem 1.2 of the paper math.GT/0002110 the author claimed to have proved that all transversal knots whose topological knot type is that of an iterated torus knot (we call them cable knots) are transversally simple. That theorem is false, and the Erratum math.GT/0610565 identifies the gap. The purpose of this paper is to explore the situation more deeply, in order to pinpoint exactly which cable knots are {\it not} transversally simple. The class is subtle and interesting. We will recover the strength of the main theorem in math.GT/0002110, in the sense that we will be able to prove a strong theorem about cable knots, but the theorem itself is more subtle than Theorem 1.2 of math.GT/0002110. In particular, we give a geometric realization of the Honda-Etnyre transverse (2,3)-cable of the (2,3)-torus knot example (Appendix joint with H. Matsuda). (See math.SG/0306330)


title: Lecture notes on Geometric Crystals and their combinatorial analogues

abstract: This is an exposition of the results on Geometric crystals and the associated Kashiwara crystal bases (presented by the first author in RIMS, August 2004)


title: Invariant Spin Structures on Riemann Surfaces

abstract: We investigate the action of the automorphism group of a closed Riemann surface on its set of theta characteristics (or spin structures). We give criteria for when an automorphism fixes all spin structures, or when it fixes just one. The case of hyperelliptic curves and of the Klein quartic are discussed in detail.


title: Some L2 results for d-bar on projective varieties with general singularities

abstract: Let X be an irreducible n-dimensional projective variety in CP^N with arbitrary singular locus. We prove that the L2-(p,1)-d-bar cohomology groups (with respect to the Fubini-Study metric) of the regular part of X are finite dimensional.


title: A Structure Theorem for the Gromov-Witten Invariants of Kahler Surfaces

abstract: We prove a structure theorem for the Gromov-Witten invariants of compact Kahler surfaces with geometric genus $p_g>0$. Under the technical assumption that there is a canonical divisor that is a disjoint union of smooth components, the theorem shows that the GW invariants are universal functions determined by the genus of this canonical divisor components and the holomorphic Euler characteristic of the surface. We compute special cases of these universal functions.


title: Dynkin's isomorphism without symmetry

abstract: The purpose of this note is to extend Dynkin's isomorphim involving functionals of the occupation field of a symmetric Markov processes and of the associated Gaussian field to a suitable class of non symmetric Markov processes.


title: Adjoining identities and zeros to semigroups

abstract: This note shows how iteration of the standard process of adjoining identities and zeros to semigroups gives rise naturally to the lexicographical ordering on the additive semigroup of n-tuples of nonnegative integers and n-tuples of integers.


title: Suspensions of homology spheres

abstract: This article is one of three highly influential articles on the topology of manifolds written by Robert D. Edwards in the 1970's but never published. It presents the initial solutions of the fabled Double Suspension Conjecture. (The other two articles are: 'Approximating certain cell-like maps by homeomorphisms' and 'Topological regular neighborhoods') The manuscripts of these three articles have circulated privately since their creation. The organizers of the Workshops in Geometric Topology (http://www.math.oregonstate.edu/~topology/workshop.htm) with the support of the National Science Foundation have facilitated the preparation of electronic versions of these articles to make them publicly available. The second and third articles are still in preparation. The current article contains four major theorems: I. The double suspension of Mazur's homology 3-sphere is a 5-sphere, II. The double suspension of any homology n-sphere that bounds a contractible (n+1)-manifold is an (n+2)-sphere, III. The double suspension of any homology 3-sphere is the cell-like image of a 5-sphere. IV. The triple suspension of any homology 3-sphere is a 6-sphere. Edwards' proof of I. was the first evidence that the suspension process could transform a non-simply connected manifold into a sphere, thereby answering a question that had puzzled topologists since the mid-1950's if not earlier. Results II, III and IV represent significant advances toward resolving the general double suspension conjecture: the double suspension of every homology n-sphere is an (n+2)-sphere. [That conjecture was subsequently proved by J. W. Cannon (Annals of Math. 110 (1979), 83-112).]


title: A formulation of difference Galois theory

abstract: As a simple corollary of a highly general framework for differential and difference Galois theory introduced by Y. Andre, we formulate a version of the Galois correspondence that applies over a difference field with arbitrary field of constants.


title: The bounded complex of a uniform affine oriented matroid is a ball

abstract: Zaslavsky conjectures that the bounded complex of a simple hyperplane arrangement is homeomorphic to a ball. We prove this conjecture for the more general uniform affine oriented matroids.


title: Sur la topologie de l'espace des operateurs pseudodifferentiels inversibles d'ordre 0

abstract: The homotopy groups of the (stabilized) group of invertible pseudodifferential operators of order zero acting on a closed manifold X are computed in terms of the K-theory of the cosphere bundle S*X. At the same time, we show that the subgroup of invertible compact perturbations of the identity is weakly retractable inside this group. These results are also adapted to the case of suspended operators. Some applications in index theory and for the residue determinant of Simon Scott are also given.


title: A Cheeger-Mueller theorem for symmetric bilinear torsions

abstract: We generalize a theorem of Bismut-Zhang, which extends the Cheeger-Mueller theorem on Ray-Singer torsion and Reidemeister torsion, to the case where the flat vector bundle over a closed manifold carries a nondegenerate symmetric bilinear form. As a consequence, we prove the Burghelea-Haller conjecture which gives an analytic interpretation of the Turaev torsion. It thus also provides an analytic interpretation of (not merely the absolute value of) the Alexander polynomial in knot theory.


title: Approximate cost-efficient sequential designs for binary response models with application to switching measurements

abstract: The efficiency of an experimental design is ultimately measured in terms of time and resources needed for the experiment. Optimal sequential (multi-stage) design is studied in the situation where each stage involves a fixed cost. The problem is motivated by switching measurements on superconducting Josephson junctions. In this quantum mechanical experiment, the sequences of current pulses are applied to the Josephson junction sample and a binary response indicating the presence or the absence of a voltage response is measured. The binary response can be modeled by a generalized linear model with the complementary log-log link function. The other models considered are the logit model and the probit model. For these three models, the approximately optimal sample size for the next stage as a function of the current Fisher information and the stage cost is determined. The cost-efficiency of the proposed design is demonstrated in simulations based on real data from switching measurements. The results can be directly applied to switching measurements and they may lead to substantial savings in the time needed for the experiment.


title: Universal Central Extensions of the Matrix Leibniz Superalgebras sl(m, n, A)

abstract: The universal central extensions and their extension kernels of the matrix Lie superalgebra sl(m, n, A), the Steinberg Lie superalgebra st(m, n, A) in category {\bf SLeib} of Leibniz superalgebras are determined under a weak assumption (compared with \cite{MP}) using the first Hochschild homology and the first cyclic homology group.


title: Network Synchronization with an Adaptive Coupling Strength

abstract: In this paper, new schemes to synchronize linearly or nonlinearly coupled chaotic systems with an adaptive coupling strength are proposed. Unlike other adaptive schemes, which synchronize coupled chaotic systems to a special trajectory (or an equilibrium point) of the uncoupled node by adding negative feedbacks adaptively; here, adaptive schemes for the coupling strength are used to synchronize coupled chaotic systems without knowing the synchronization trajectory. Moreover, in many applications, the state variables are not observable; instead, some functions of the states can be observed. How to synchronize coupled systems with the observed data is of great significance. In this paper, synchronization of nonlinearly coupled chaotic systems with an adaptive coupling strength is also discussed. The validity of those schemes are proved rigorously. Moreover, simulations show that by choosing some proper parameter $\alpha$, the coupling strength obtained by adaptation could be much smaller. It means that chaos oscillators can be easily synchronized with a very weak coupling.


title: On a class of arithmetic convolutions involving arbitrary sets of integers

abstract: Let $d,n$ be positive integers and $S$ be an arbitrary set of positive integers. We say that $d$ is an $S$-divisor of $n$ if $d|n$ and gcd $(d,n/d)\in S$. Consider the $S$-convolution of arithmetical functions given by (1.1), where the sum is extended over the $S$-divisors of $n$. We determine the sets $S$ such that the $S$-convolution is associative and preserves the multiplicativity of functions, respectively, and discuss other basic properties of it. We give asymptotic formulae with error terms for the functions $\sigma_S(n)$ and $\tau_S(n)$, representing the sum and the number of $S$-divisors of $n$, respectively, for an arbitrary $S$. We improve the remainder terms of these formulae and find the maximal orders of $\sigma_S(n)$ and $\tau_S(n)$ assuming additional properties of $S$. These results generalize, unify and sharpen previous ones. We also pose some problems concerning these topics.


title: On the asymptotic densities of certain subsets of $\bf N^k$

abstract: We determine the asymptotic density $\delta_k$ of the set of ordered $k$-tuples $(n_1,...,n_k)\in \N^k, k\ge 2$, such that there exists no prime power $p^a$, $a\ge 1$, appearing in the canonical factorization of each $n_i$, $1\le i\le k$, and deduce asymptotic formulae with error terms regarding this problem and analogous ones. We give numerical approximations of the constants $\delta_k$ and improve the error term of formula (1.2) due to {\sc E. Cohen}. We point out that our treatment, based on certain inversion functions, is applicable also in case $k=1$ in order to establish asymptotic formulae with error terms regarding the densities of subsets of $\N$ with additional multiplicative properties. These generalize an often cited result of {\sc G. J. Rieger}.


title: Uniqueness of the critical probability for percolation in the two dimensional Sierpinski carpet lattice

abstract: We prove that the critical probability for the Sierpinski carpet lattice in two dimensions is uniquely determined. The transition is sharp. This extends the Kumagai's result to the original Sierpinski carpet lattice.


title: SOM-based algorithms for qualitative variables

abstract: It is well known that the SOM algorithm achieves a clustering of data which can be interpreted as an extension of Principal Component Analysis, because of its topology-preserving property. But the SOM algorithm can only process real-valued data. In previous papers, we have proposed several methods based on the SOM algorithm to analyze categorical data, which is the case in survey data. In this paper, we present these methods in a unified manner. The first one (Kohonen Multiple Correspondence Analysis, KMCA) deals only with the modalities, while the two others (Kohonen Multiple Correspondence Analysis with individuals, KMCA\_ind, Kohonen algorithm on DISJonctive table, KDISJ) can take into account the individuals, and the modalities simultaneously.


title: How to use the Kohonen algorithm to simultaneously analyse individuals in a survey

abstract: The Kohonen algorithm (SOM, Kohonen,1984, 1995) is a very powerful tool for data analysis. It was originally designed to model organized connections between some biological neural networks. It was also immediately considered as a very good algorithm to realize vectorial quantization, and at the same time pertinent classification, with nice properties for visualization. If the individuals are described by quantitative variables (ratios, frequencies, measurements, amounts, etc.), the straightforward application of the original algorithm leads to build code vectors and to associate to each of them the class of all the individuals which are more similar to this code-vector than to the others. But, in case of individuals described by categorical (qualitative) variables having a finite number of modalities (like in a survey), it is necessary to define a specific algorithm. In this paper, we present a new algorithm inspired by the SOM algorithm, which provides a simultaneous classification of the individuals and of their modalities.


title: An algorithm for map enumeration

abstract: Bauer and Itzykson showed that associated to each labeled map embedded on an oriented Riemann surface there was a group generated by a pair of permutations. From this result an algorithm may be constructed for enumerating labeled maps, and this construction is easily augmented to bin the numbers by the genus of the surface the map is embedded in. The results agree with the calculations of Harer and Zagier of 1-vertex maps; with those of Bessis, Itzykson, and Zuber of 4-valent maps; and with those of Ercolani, McLaughlin, and Pierce for $2\nu$-valent maps. We then modify this algorithm to one which counts unoriented maps or Mobius graphs. The results in this case agree with the calculation of Goulden and Jackson on 1-vertex unoriented maps.


title: Finite Dimensional Representations of the Projective Modular Group

abstract: We study finite dimensional representations of the projective modular group. Various explicit dimension formulas are given.


title: Quantitative Estimates for the Finite Section Method

abstract: The finite section method is a classical scheme to approximate the solution of an infinite system of linear equations. We present quantitative estimates for the rate of the convergence of the finite section method on weighted $\ell ^p$-spaces. Our approach uses recent results from the theory of Banach algebras of matrices with off-diagonal decay. Furthermore, we demonstrate that Banach algebra theory provides a natural framework for deriving a finite section method that is applicable to large classes of non-hermitian matrices. An example from digital communication illustrates the practical usefulness of the proposed theoretical framework.


title: Surfaces in ${\mathbb R}^{N^2-1}$ based on harmonic maps $S^2\to CP^{N-1}$

abstract: We show that many surfaces in $\R^{N^2-1}$ can be generated by harmonic maps of $S^2\to CP^{N-1}$. These surfaces are based on the projectors in $CP^{N-1}$ which describe maps of $S^2\to CP^{N-1}$. In the case when these maps form the Veronese sequence all the surfaces have constant curvature.


title: Hoeffding decompositions and two-colour urn sequences

abstract: Let X be a non-deterministic infinite exchangeable sequence with values in {0,1}. We show that X is Hoeffding-decomposable if, and only if, X is either an i.i.d. sequence or a Polya sequence. This completes the results established in Peccati [2004]. The proof uses several combinatorial implications of the correspondence between Hoeffding decomposability and weak independence. Our results must be compared with previous characterizations of i.i.d. and Polya sequences given by Hill et al. [1987] and Diaconis and Yilvisaker [1979].


abstract: Complete proofs of Schur-Weyl duality in positive characteristic are scarce in the literature. The purpose of this survey is to write out the details of such a proof, deriving the result in positive characteristic from the classical result in characteristic zero, using only known facts from representation theory.


title: A Riemann-Hilbert problem for skew-orthogonal polynomials

abstract: We find a local $(d+1) \times (d+1)$ Riemann-Hilbert problem characterizing the skew-orthogonal polynomials associated to the partition function of the Gaussian Orthogonal Ensemble of random matrices with a potential function of degree $d$. Our Riemann-Hilbert problem is similar to a local $d \times d$ Riemann-Hilbert problem found by Kuijlaars and McLaughlin characterizing the bi-orthogonal polynomials. This gives more motivation for finding methods to compute asymptotics of high order Riemann-Hilbert problems, and brings us closer to finding asymptotics of the skew-orthogonal polynomials.


title: Hardy-Lieb-Thirring inequalities for fractional Schroedinger operators

abstract: We show that the Lieb-Thirring inequalities on moments of negative eigenvalues of Schroedinger-like operators remain true, with possibly different constants, when the critical Hardy-weight $C|x|^{-2}$ is subtracted from the Laplace operator. We do so by first establishing a Sobolev inequality for such operators. Similar results are true for fractional powers of the Laplacian and the Hardy-weight and, in particular, for relativistic Schroedinger operators. We also allow for the inclusion of magnetic vector potentials. As an application, we extend, for the first time, the proof of stability of relativistic matter with magnetic fields all the way up to the critical value of the nuclear charge $Z\alpha=2/\pi$.


title: Acyclic Calabi-Yau categories

abstract: We show that an algebraic 2-Calabi-Yau triangulated category over an algebraically closed field is a cluster category if it contains a cluster tilting subcategory whose quiver has no oriented cycles. We prove a similar characterization for higher cluster categories. As a first application, we show that the stable category of maximal Cohen-Macaulay modules over a certain isolated singularity of dimension three is a cluster category. As a second application, we prove the non-acyclicity of the quivers of endomorphism algebras of cluster-tilting objects in the stable categories of representation-infinite preprojective algebras. In the appendix, Michel Van den Bergh gives an alternative proof of the main theorem by appealing to the universal property of the triangulated orbit category.


title: Finite subgroups of the plane Cremona group

abstract: We complete the classical and modern work on the classification of conjugacy classes of finite subgroups of the group of birational transformations of the complex projective plane.


title: Classification rationnelle et confluence des systemes aux differences singuliers reguliers

abstract: By using meromorphic "characters" and "logarithms" built up from Euler's Gamma function, and by using convergent factorial series, we will give, in a first pat, a "normal form" to the solutions of a singular regular system. It will enable us to define a connexion matrix for a regular singular system. Following one of Birkhoff's idea, we will then study its link with the problem of rational classification of system. In a second part, we will be interested in the confluence of fuchsian difference systems to differential systems. We will show more particularly how we can get, under some natural hypotheses, the local monodromies of a limit differential system from the connection matrices of the deformation that we consider. The use of factorial series (which can diverge as power series) distinguish regular singular difference systems from their differential and q-difference analogues and make their study more difficult. En choisissant des "caracteres" et des "logarithmes", meromorphes sur le plan complexe, construits a l'aide de la fonction Gamma d'Euler, et en utilisant des series de factorielles convergentes, nous sommes en mesure, dans une premiere partie, de donner une "forme normale" pour les solutions d'un systeme aux differences singulier regulier. Nous pouvons alors definir une matrice de connexion d'un tel systeme. Nous etudions ensuite, suivant une idee de G.D. Birkhoff, le lien de celles-ci avec le probleme de la classification rationnelle des systemes. Dans une deuxieme partie, nous nous interessons la confluence des systemes aux differences fuchsiens vers les systemes differentiels. Nous montrons en particulier comment, sous certaines hypotheses naturelles, on peut reconstituer les monodromies locales d'un systeme differentiel limite a partir des matrices meromorphes de connexion des deformations considerees. Le point central, qui distingue en profondeur les systemes aux differences singuliers reguliers de leurs homonymes differentiels ou aux q-differences et qui rend leur etude plus complexe, est la necessaire utilisation de series de factorielles (qui peuvent diverger en tant que series de puissances).


title: On the naturality of the Mathai-Quillen formula

abstract: We give an alternative proof for the Mathai-Quillen formula for a Thom form using its natural behaviour with respect to fiberwise integration. We also study this phenomenon in general context.


title: Cat\'{e}gories de foncteurs en grassmanniennes

abstract: Soit F la cat\'{e}gorie des foncteurs entre espaces vectoriels sur un corps fini. Les cat\'{e}gories de foncteurs en grassmanniennes sont obtenues en rempla\c{c}ant la source de cette cat\'{e}gorie par la cat\'{e}gorie des couples form\'{e}s d'un espace vectoriel et d'un sous-espace. Ces cat\'{e}gories poss\`{e}dent une tr\`{e}s riche structure alg\'{e}brique ; nous \'{e}tudierons notamment leurs objets finis et leurs propri\'{e}t\'{e}s cohomologiques. Nous donnons des applications \`{a} la filtration de Krull de la cat\'{e}gorie F et \`{a} la K-th\'{e}orie stable des corps finis. -- Let F be the category of functors between vector spaces over a finite field. The grassmannian functor categories are obtained by replacing the source of this category by the category of pairs formed by a vector space and a subspace. These categories have a very rich algebraic structure; we study in particular their finite objects and their homological properties. We give applications to the Krull filtration of the category F and to the stable K-theory of finite fields.


title: Conformally Einstein Products and Nearly K\"ahler Manifolds

abstract: In the first part of this note we study compact Riemannian manifolds (M,g) whose Riemannian product with R is conformally Einstein. We then consider compact 6--dimensional almost Hermitian manifolds of type W_1+W_4 in the Gray--Hervella classification admitting a parallel vector field and show that (under some regularity assumption) they are obtained as mapping tori of isometries of compact Sasaki-Einstein 5-dimensional manifolds. In particular, we obtain examples of inhomogeneous locally (non-globally) conformal nearly K\"ahler compact manifolds.


title: On Permanental Processes

abstract: Permanental processes can be viewed as a generalisation of squared centered Gaussian processes. We develop in this paper two main subjects. The first one analyses the connections of these processes with the local times of general Markov processes. The second deals with Bosonian point processes and the Bose-Einstein condensation. The obtained results in both directions are related and based on the notion of infinite divisibility.


title: Regularity properties of the Stern enumeration of the rationals

abstract: The Stern sequence (s(n)) is defined by s(0) = 0, s(1) = 1, s(2n) = s(n), s(2n+1) = s(n) + s(n+1). Stern showed in 1858 that gcd(s(n),s(n+1)) = 1, and that for every pair of relatively prime positive integers (a,b), there exists a unique n so that s(n) = a and s(n+1) = b. We show that, in a strong sense, the average value of s(n)/s(n+1) is 3/2, and that for all d, (s(n),s(n+1)) is uniformly distributed among all feasible pairs of congruence classes modulo d. More precise results are presented for d = 2 and 3.


title: Statistical Stability for Henon maps of the Benedicks-Carleson type

abstract: We consider the family of Henon maps in the plane and show that the SRB measures vary continuously in the weak* topology within the set of Benedicks-Carleson parameters.


title: Combinatorial Classes, Hyperelliptic Loci, and Hodge Integrals

abstract: A closed formula is obtained for the integral $\int_{\mathcal{\bar{H}}_g^1}\kappa_{1}\psi^{2g-2}$ of tautological classes over the locus of hyperelliptic Weierstra\ss{} points in the moduli space of curves. As a corollary, a relation between Hodge integrals is obtained. The calculation utilizes the homeomorphism between the moduli space of curves $\mathcal{M}_{g,1}$ and the combinatorial moduli space $\mathcal{M}^{comb}_{g,1}$, a PL-orbifold whose cells are enumerated by fatgraphs. This cell decomposition can be used to naturally construct combinatorial PL-cycles $W_a\subset\mathcal{M}^{comb}_{g,1}$ whose homology classes are essentially the Poincar\'e duals of the Mumford-Morita-Miller classes $\kappa_a$. In this paper we construct another PL-cycle $\mathcal{H}^{comb}_g \subset \mathcal{M}^{comb}_{g,1}$ representing the locus of hyperelliptic Weierstra\ss{} points and explicitly describe the chain level intersection of this cycle with $W_1$. Using this description of $\mathcal{H}^{comb}_g\cap W_1$, the duality between Witten cycles $W_a$ and the $\kappa_a$ classes, and Kontsevich's scheme of integrating $\psi$ classes, the integral $\int_{\mathcal{\bar{H}}_g^1}\kappa_{1}\psi^{2g-2}$ is reduced to a weighted sum over graphs and is evaluated by the enumeration of trees.


title: New bounds for Szemeredi's theorem, II: A new bound for $r_4(N)$

abstract: Define $r_4(N)$ to be the largest cardinality of a set $A$ in $\{1,\dots,N\}$ which does not contain four elements in arithmetic progression. In 1998 Gowers proved that $r_4(N) \ll N(\log \log N)^{-c}$ for some absolute constant $c> 0$. In this paper (part II of a series) we improve this to $r_4(N) \ll N e^{-c\sqrt{\log \log N}}$. In part III of the series we will use a more elaborate argument to improve this to $r_4(N) \ll N(\log N)^{-c}$.


title: A hyperbolic diffeomorphism with countably many ergodic components near identity

abstract: We construct a smooth hyperbolic volume preserving diffeomorphism on a four dimensional compact Riemannian manifold which has countably many ergodic components and is arbitrarily close to the identity map.


title: On spatial thinning-replacement processes based on Voronoi cells

abstract: We introduce a new class of spatial-temporal point processes based on Voronoi tessellations. At each step of such a process, a point is chosen at random according to a distribution determined by the associated Voronoi cells. The point is then removed, and a new random point is added to the configuration. The dynamics are simple and intuitive and could be applied to modeling natural phenomena. We prove ergodicity of these processes under wide conditions.


title: A Generalization of Euler's Theorem on Congruencies

abstract: We present a theorem which generalizes the classical Euler's theorem on congruencies: if $(a,m)=1$ then $a^ \phi(m) \equiv 1 (mod m)$ for the case when $a$ and $m$ are not relatively primes.


title: Counting Descent Pairs with Prescribed Tops and Bottoms

abstract: Given sets X and Y of positive integers and a permutation sigma = sigma_1, sigma_2, ..., sigma_n in S_n, an X,Y-descent of sigma is a descent pair sigma_i > sigma_{i+1} whose "top" sigma_i is in X and whose "bottom" sigma_{i+1} is in Y. We give two formulas for the number P_{n,s}^{X,Y} of sigma in S_n with s X,Y-descents. P_{n,s}^{X,Y} is also shown to be a hit number of a certain Ferrers board. This work generalizes results of Kitaev and Remmel on counting descent pairs whose top (or bottom) is equal to 0 mod k.


title: Schunck classes of soluble restricted Lie algebras

abstract: Schunck classes, saturated formations and projectors were originally defined for finite soluble groups for which they provided families of intravariant subgroups. In this paper, I set out the analogous theory for finite-dimensional soluble restricted Lie algebras and investigate its links to the corresponding theory for ordinary Lie algebras over the same field.


title: Higher Symmetries of the Square of the Laplacian

abstract: The symmetry operators for the Laplacian in flat space were recently described and here we consider the same question for the square of the Laplacian. Again, there is a close connection with conformal geometry. There are three main steps in our construction. The first is to show that the symbol of a symmetry is constrained by an overdetermined partial differential equation. The second is to show existence of symmetries with specified symbol (using a simple version of the AdS/CFT correspondence). The third is to compute the composition of two first order symmetry operators and hence determine the structure of the symmetry algebra. There are some interesting differences as compared to the corresponding results for the Laplacian.


title: Remarks on the Alexander-Wermer Theorem for Curves

abstract: We give a new proof of the Alexander-Wermer Theorem that characterizes the oriented curves in C^n which bound positive holomorphic chains, in terms of the linking numbers of the curve with algebraic cycles in the complement. In fact, we establish a slightly stronger version which applies to a wider class of boundary 1-cycles. Arguments here are based on the Hahn-Banach Theorem and some geometric measure theory. Several ingredients in the original proof have been eliminated.


title: The distribution of solutions to xy = N mod a with an application to factoring integers

abstract: We consider the uniform distribution of solutions $(x,y)$ to $xy=N \mod a$, and obtain a bound on the second moment of the number of solutions in squares of length approximately $a^{1/2}$. We use this to study a new factoring algorithm that factors $N=UV$ provably in $O(N^{1/3+\epsilon})$ time, and discuss the potential for improving the runtime to sub-exponential.


title: Kirillov's character formula, the holomorphic Peter-Weyl theorem, and the Blattner-Kostant-Sternberg pairing

abstract: Let K be a compact Lie group, endowed with a bi-invariant Riemannian metric. The complexification G of K inherits a Kaehler structure having twice the kinetic energy of the metric as its potential, and left and right translation turn the Hilbert space of square-integrable holomorphic functions on G relative to a suitable measure into a unitary (KxK)-representation. We establish the statement of the Peter-Weyl theorem for this Hilbert space to the effect that this Hilbert space contains the vector space of representative functions on G as a dense subspace and that the assignment to a holomorphic function of its Fourier coefficients yields an isomorphism of Hilbert algebras from the convolution algebra on G onto the algebra which arises from the endomorphism algebras of the irreducible representations of K by the appropriate operation of Hilbert space sum. Consequences are (i) a holomorphic Plancherel theorem and the existence of a uniquely determined unitary isomorphism between the space of square-integrable functions on K and the Hilbert space of holomorphic functions on G, and (ii) a proof that this isomorphism coincides with the corresponding Blattner-Kostant-Sternberg pairing map, multiplied by a suitable constant. We then show that the spectral decomposition of the energy operator on the Hilbert space of holomorphic functions on G associated with the metric on K refines to the Peter-Weyl decomposition of this Hilbert space in the usual manner and thus yields the decomposition of this Hilbert space into irreducible isotypical (KxK)-representations. Among our crucial tools is Kirillov's character formula. Our methods are geometric and independent of heat kernels, which are used by B. C. Hall to obtain many of these results [Journal of Functional Analysis 122 (1994), 103--151], [Comm. in Math. Physics 226 (2002), 233--268].


title: Singular Poisson-Kaehler geometry of certain adjoint quotients

abstract: The Kaehler quotient of a complex reductive Lie group relative to the conjugation action carries a complex algebraic stratified Kaehler structure which reflects the geometry of the group. For the group SL(n,C), we interpret the resulting singular Poisson-Kaehler geometry of the quotient in terms of complex discriminant varieties and variants thereof.


title: Pairings in Hopf-cyclic cohomology of algebras and coalgebras with coefficients

abstract: This paper is concerned with the theory of cup-products in Hopf-type cyclic cohomology of algebras and coalgebras. Here we give detailed proofs of the statements, announced in our previous paper. We show that the cyclic cohomology of a coalgebra can be obtained from a construction involving noncommutative Weil algebra. Then we use a generalization of Quillen and Crainic's construction to define the cup-product. We discuss the relation of the introduced cup-product and $S$-operations on cyclic cohomology. After this we describe the relation of this type of product and bivariant cyclic cohomology. In the last section we briefly discuss the relation of our constructions with that of Khalkhali and Rangipour.


title: Cycles and patterns in permutations

abstract: We study joint distributions of cycles and patterns in permutations written in standard cycle form. We explore both classical and generalised patterns of length 2 and 3. Many extensions of classical theory are achieved; bivariate generating functions for inversions, ascents, descents, 123s, valleys, 1'-2-1s; closed forms forms for avoidance of peaks, 2-3-1s, 1-2-3s, 2'-1-2s and 1'-2-1s; bijective proofs of Wilf-equivalences. We also derive some results about standard pattern occurrence, such as continued fractions for the generating functions for occurrences of valleys and the pattern 123. The methods are simple and combinatorial in nature: direct enumerative analysis and bijections to lattice paths.


title: Crepant resolutions of weighted projective spaces and quantum deformations

abstract: We compare the Chen-Ruan cohomology ring of the weighted projective spaces $\IP(1,3,4,4)$ and $\IP(1,...,1,n)$ with the cohomology ring of their crepant resolutions. In both cases, we prove that the Chen-Ruan cohomology ring is isomorphic to the quantum corrected cohomology ring of the crepant resolution after suitable evaluation of the quantum parameters. For this, we prove a formula for the Gromov-Witten invariants of the resolution of a transversal ${\rm A}_3$ singularity.


title: The Structure of Operators on Manifolds with Polyhedral Singularities

abstract: We discuss intuitive ideas and historical background of concepts in the analysis on configurations with singularities, here in connection with our iterative approach for higher singularities.


title: Stochastic integration in UMD Banach spaces

abstract: In this paper we construct a theory of stochastic integration of processes with values in $\mathcal{L}(H,E)$, where $H$ is a separable Hilbert space and $E$ is a UMD Banach space (i.e., a space in which martingale differences are unconditional). The integrator is an $H$-cylindrical Brownian motion. Our approach is based on a two-sided $L^p$-decoupling inequality for UMD spaces due to Garling, which is combined with the theory of stochastic integration of $\mathcal{L}(H,E)$-valued functions introduced recently by two of the authors. We obtain various characterizations of the stochastic integral and prove versions of the It\^{o} isometry, the Burkholder--Davis--Gundy inequalities, and the representation theorem for Brownian martingales.


title: Embedding vector-valued Besov spaces into spaces of $\gamma$-radonifying operators

abstract: It is shown that a Banach space $E$ has type $p$ if and only for some (all) $d\ge 1$ the Besov space $B_{p,p}^{(\frac1p-\frac12)d}(\R^d;E)$ embeds into the space $\g(L^2(\R^d),E)$ of $\g$-radonifying operators $L^2(\R^d)\to E$. A similar result characterizing cotype $q$ is obtained. These results may be viewed as $E$-valued extensions of the classical Sobolev embedding theorems.


title: Identifying the covariation between the diffusion parts and the co-jumps given discrete observations

abstract: In this paper we consider two semimartingales driven by diffusions and jumps. We allow both for finite activity and for infinite activity jump components. Given discrete observations we disentangle the {\it integrated covariation} (the covariation between the two diffusion parts, indicated by IC) from the co-jumps. This has important applications to multiple assets price modeling for forecasting, option pricing, risk and credit risk management. An approach commonly used to estimate IC is to take the sum of the cross products of the two processes increments; however this estimator can be highly biased in the presence of jumps, since it approaches the quadratic ovariation, which contains also the co-jumps. Our estimator of IC is based on a threshold (or truncation) technique. We prove that the estimator is consistent in both cases as the number of observations increases to infinity. Further, in presence of only finite activity jumps 1) \hat{IC} is also asymptotically Gaussian; 2) a joint CLT for \hat{IC} and threshold estimators of the integrated variances of the single processes allows to reach consistent and asymptotically Gaussian estimators even of the $\beta$s and of the correlation coefficient among the diffusion parts of the two processes, allowing a better measurement of their dependence; 3) thresholding gives an estimate of IC which is robust to the asynchronicity of the observations. We conduct a simulation study to check that the application of our technique is in fact informative for values of the step between the observations large enough to avoid the typical problems arising in presence of microstructure noises in the data, and to asses the choice of the threshold parameters.


title: Resonances and Spectral Shift Function for the semi-classical Dirac operator

abstract: We consider the self-adjoint operator $H=H_0+V$, where $H_0$ is the free semi-classical Dirac operator on $R^3$. We suppose that the smooth matrix-valued potential $V=O(<x>^{-\delta}), \delta>0,$ has an analytic continuation in a complex sector outside a compact. We define the resonances as the eigenvalues of the non-selfadjoint operator obtained from the Dirac operator $H$ by a complex distortions of $R^{3}$.We establish an upper bound $O(h^{-3})$ for the number of resonances in any compact domain. For $\delta>3$, a representation of the derivative of the spectral shift function $\xi(\lambda,h)$ related to the semi-classical resonances of $H$ and a local trace formula are obtained. In particular, if $V$ is an electro-magnetic potential, we deduce a Weyl-type asymptotic of the spectral shift function. As a by-product, we obtain an upper bound $O(h^{-2})$ for the number of resonances close to non-critical energy levels in domains of width $h$ and a Breit-Wigner approximation formula for the derivative of the spectral shift function.


title: Estimating the probability law of the codelength as a function of the approximation error in image compression

abstract: After a recollection on compression through a projection onto a polyhedral set (which generalizes the compression by coordinates quantization), we express, in this framework, the probability that an image is coded with $K$ coefficients as an explicit function of the approximation error.


title: Jacobi decomposition of weighted Triebel-Lizorkin and Besov spaces

abstract: The Littlewood-Paley theory is extended to weighted spaces of distributions on $[-1,1]$ with Jacobi weights $ \w(t)=(1-t)^\alpha(1+t)^\beta. $ Almost exponentially localized polynomial elements (needlets) $\{\phi_\xi\}$, $\{\psi_\xi\}$ are constructed and, in complete analogy with the classical case on $\RR^n$, it is shown that weighted Triebel-Lizorkin and Besov spaces can be characterized by the size of the needlet coefficients $\{\ip{f,\phi_\xi}\}$ in respective sequence spaces.


title: The Brownian net

abstract: The (standard) Brownian web is a collection of coalescing one- dimensional Brownian motions, starting from each point in space and time. It arises as the diffusive scaling limit of a collection of coalescing random walks. We show that it is possible to obtain a nontrivial limiting object if the random walks in addition branch with a small probability. We call the limiting object the Brownian net, and study some of its elementary properties.


title: Construction of a Gibbs measure associated to the periodic Benjamin-Ono equation

abstract: We define a finite Borel measure of Gibbs type, supported by the Sobolev spaces of negative indexes on the circle. The measure can be seen as a limit of finite dimensional measures. These finite dimensional measures are invariant by the ODE's which correspond to the projection of the Benjamin-Ono equation, posed on the circle, on the first N>>1 modes in the trigonometric bases.


title: Mutation classes of skew-symmetric 3x3-matrices

abstract: In this paper, we establish a bijection between the set of mutation classes of mutation-cyclic skew-symmetric integral 3x3-matrices and the set of triples of integers (a,b,c) which are all greater than 1 and where the product of the two smaller numbers is greater than or equal to the maximal number. We also give an algorithm allowing to verify whether a matrix is mutation-cyclic or not. We prove that these two cases are not intertwined.


title: Exponential decay of correlations for the Rauzy-Veech-Zorich induction map

abstract: We prove exponential mixing for the Rauzy-Veech-Zorich induction map on the space of interval exchange transformations (Theorem 3)


title: Compact Lorentz manifolds with local symmetry

abstract: We prove a structure theorem for compact aspherical Lorentz manifolds with abundant local symmetry. If M is a compact, aspherical, real-analytic, complete Lorentz manifold such that the isometry group of the universal cover has semisimple identity component, then the local isometry orbits in M are roughly fibers of a fiber bundle. A corollary is that if M has a dense local isometry orbit then M is locally homogeneous. The main result is analogous to a theorem of Farb and Weinberger on compact aspherical Riemannian manifolds, and an exposition of their arguments on rational cohomological dimension is included. Some aspects of dynamics on Lorentz manifolds are also presented, including totally geodesic, lightlike, codimension-one foliations associated to unbounded sequences of isometries.


title: Genus-One Helicoids from a Variational Point of View

abstract: We prove by variational means the existence of a complete, properly embedded, genus-one minimal surface in R^3 that is asymptotic to a helicoid at infinity. We also prove existence of surfaces that are asymptotic to a helicoid away from the helicoid's axis, but that have infinitely many handles arranged periodically along the axis. Finally, we prove some new properties of such helicoid-like surfaces.


title: Detecting pro-p-groups that are not absolute Galois groups

abstract: We present several constraints on the absolute Galois groups G_F of fields F containing a primitive pth root of unity, using restrictions on the cohomology of index p normal subgroups from a previous paper by three of the authors. We first classify all maximal p-elementary abelian-by-order p quotients of such G_F. In the case p>2, each such quotient contains a unique closed index p elementary abelian subgroup. This seems to be the first case in which one can completely classify nontrivial quotients of absolute Galois groups by characteristic subgroups of normal subgroups. We then derive analogues of theorems of Artin-Schreier and Becker for order p elements of certain small quotients of G_F. Finally, we construct a new family of pro-p-groups which are not absolute Galois groups over any field F.


title: Detecting pro-p-groups that are not absolute Galois groups, expanded version

abstract: We present several constraints on the absolute Galois groups G_F of fields F containing a primitive pth root of unity, using restrictions on the cohomology of index p normal subgroups from a previous paper by three of the authors. We first classify all maximal p-elementary abelian-by-order p quotients of such G_F. In the case p>2, each such quotient contains a unique closed index p elementary abelian subgroup. This seems to be the first case in which one can completely classify nontrivial quotients of absolute Galois groups by characteristic subgroups of normal subgroups. We then derive analogues of theorems of Artin-Schreier and Becker for order p elements of certain small quotients of G_F. Finally, we construct new families of pro-p-groups which are not absolute Galois groups over any field F.


title: Input Classes for Identification of Bilinear Systems

abstract: This paper asks what classes of input signals are sufficient in order to completely identify the input/output behavior of generic bilinear systems. The main results are that step inputs are not sufficient, nor are single pulses, but the family of all pulses (of a fixed amplitude but varying widths) do suffice for identification.


title: Multivariable backward-shift-invariant subspaces and observability operators

abstract: It is well known that subspaces of the Hardy space over the unit disk which are invariant under the backward shift occur as the image of an observability operator associated with a discrete-time linear system with stable state-dynamics, as well as the functional-model space for a Hilbert space contraction operator. We discuss two multivariable extensions of this structure, where the classical Hardy space is replaced by (1) the Fock space of formal power series in a collection of $d$ noncommuting indeterminates with norm-square-summable vector coefficients, and (2) the reproducing kernel Hilbert space (often now called the Arveson space) over the unit ball in ${\mathbb C}^{d}$ with reproducing kernel $k(\lambda, \zeta) = 1/(1 - < \lambda, \zeta >)$ ($\lam, \zeta \in {\mathbb C}^{d}$ with $\| \lambda \|, \| \zeta \| < 1$). In the first case, the associated linear system is of noncommutative Fornasini-Marchesini type with evolution along a free semigroup with $d$ generators, while in the second case the linear system is a standard (commutative) Fornasini-Marchesini-type system with evolution along the integer lattice ${\mathbb Z}^{d}$. An abelianization map (or symmetrization of the Fock space) links the first case with the second. The second case has special features depending on whether the operator-tuple defining the state dynamics is commutative or not. The paper focuses on multidimensional state-output linear systems and the associated observability operators.


title: Schur-class multipliers on the Fock space: de Branges-Rovnyak reproducing kernel spaces and transfer-function realizations

abstract: We introduce and study a Fock-space noncommutative analogue of reproducing kernel Hilbert spaces of de Branges-Rovnyak type. Results include: use of the de Branges-Rovnyak space ${\mathcal H}(K_{S})$ as the state space for the unique (up to unitary equivalence) observable, coisometric transfer-function realization of the Schur-class multiplier $S$, realization-theoretic characterization of inner Schur-class multipliers, and a calculus for obtaining a realization for an inner multiplier with prescribed left zero-structure. In contrast with the parallel theory for the Arveson space on the unit ball ${\mathbb B}^{d} \subset {\mathbb C}^{d}$ (which can be viewed as the symmetrized version of the Fock space used here), the results here are much more in line with the classical univariate case, with the extra ingredient of the existence of all results having both a ``left'' and a ``right'' version.


title: The surface tension near criticality of the 2d-Ising model

abstract: For the two dimensional Ising model, we construct the adequate surface tension near criticality. The latter quantity has been shown to play a central role in the study of phase coexistence in a joint limit where the temperature approaches the critical point from below and simultaneously the size of the system increases fast enough.


title: Transfer-function realization for multipliers of the Arveson space

abstract: An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers for the reproducing kernel Hilbert space ${\mathcal H}(k_{d})$ on the unit ball ${\mathbb B}^{d} \subset {\mathbb C}^{d}$, where $k_{d}$ is the positive kernel $k_{d}(\lambda, \zeta) = 1/(1 - < \lambda, \zeta >)$ on ${\mathbb B}^{d}$. We study this space from the point of view of realization theory and functional models of de Branges-Rovnyak type. We highlight features which depart from the classical univariate case: coisometric realizations have only partial uniqueness properties, the nonuniqueness can be described explicitly, and this description assumes a particularly concrete form in the functional-model context.


title: Schur-class multipliers on the Arveson space: de Branges-Rovnyak reproducing kernel spaces and commutative transfer-function realizations

abstract: An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers $S$ for the reproducing kernel Hilbert space ${\mathcal H}(k_{d})$ on the unit ball ${\mathbb B}^{d} \subset {\mathbb C}^{d}$, where $k_{d}$ is the positive kernel $k_{d}(\lambda, \zeta) = 1/(1 - < \lambda, \zeta >)$ on ${\mathbb B}^{d}$. The reproducing kernel space ${\mathcal H}(K_{S})$ associated with the positive kernel $K_{S}(\lambda, \zeta) = (I - S(\lambda) S(\zeta)^{*}) \cdot k_{d}(\lambda, \zeta)$ is a natural multivariable generalization of the classical de Branges-Rovnyak canonical model space. A special feature appearing in the multivariable case is that the space ${\mathcal H}(K_{S})$ in general may not be invariant under the adjoints $M_{\lambda_{j}}^{*}$ of the multiplication operators $M_{\lambda_{j}} \colon f(\lambda) \mapsto \lambda_{j} f(\lambda)$ on ${\mathcal H}(k_{d})$. We show that invariance of ${\mathcal H}(K_{S})$ under $M_{\lambda_{j}}^{*}$ for each $j = 1, ..., d$ is equivalent to the existence of a weakly coisometric realization for $S$ of the form $S(\lambda) = D + C (I - \lambda_{1}A_{1} ... - \lambda_{d} A_{d})^{-1}(\lambda_{1}B_{1} + ... + \lambda_{d} B_{d})$ such that the state operators $A_{1}, ..., A_{d}$ pairwise commute. We show that this special situation always occurs for the case of inner functions $S$ (where the associated multiplication operator $M_{S}$ is a partial isometry), and that inner multipliers are characterized by the existence of such a realization such that the state operators $A_{1}, >..., A_{d}$ satisfy an additional stability property.


title: On Hermite's invariant for binary quintics

abstract: The Hermite invariant H is the defining equation for the hypersurface of binary quintics in involution. This paper analyses the geometry and invariant theory of H. We determine the singular locus of this hypersurface and show that it is a complete intersection of a linear covariant of quintics. The projective dual of this hypersurface can be identified with itself via an involution. It is shown that the Jacobian ideal of H is perfect of height two, and we describe its SL_2-equivariant minimal resolution. The last section develops a general formalism for evectants of covariants of binary forms, which is then used to calculate the evectant of H.


title: Factorizations of permutations into star transpositions

abstract: We give a compact expression for the number of factorizations of any permutation into a minimal number of transpositions of the form $(1 i)$. Our result generalizes earlier work of Pak in which substantial restrictions were placed on the permutation being factored.


title: Persistence of Hyperbolic Tori in Generalized Hamiltonian Systems

abstract: In this paper we prove the persistence of hyperbolic invariant tori in generalized Hamiltonian systems, which may admit a distinct number of action and angle variables. The systems under consideration can be odd dimensional in tangent direction. Our results generalize the well-known results of Graff and Zehnder in standard Hamiltonians. In our case the unperturbed Hamiltonian systems may be degenerate. We also consider the persistence problem of hyperbolic tori on sub-manifolds.


title: Adaptive absorbing boundary conditions for Schrodinger-type equations: application to nonlinear and multi-dimensional problems

abstract: We propose an adaptive approach in picking the wave-number parameter of absorbing boundary conditions for Schr\"{o}dinger-type equations. Based on the Gabor transform which captures local frequency information in the vicinity of artificial boundaries, the parameter is determined by an energy-weighted method and yields a quasi-optimal absorbing boundary conditions. It is shown that this approach can minimize reflected waves even when the wave function is composed of waves with different group velocities. We also extend the split local absorbing boundary (SLAB) method [Z. Xu and H. Han, {\it Phys. Rev. E}, 74(2006), pp. 037704] to problems in multidimensional nonlinear cases by coupling the adaptive approach. Numerical examples of nonlinear Schr\"{o}dinger equations in one- and two dimensions are presented to demonstrate the properties of the discussed absorbing boundary conditions.


title: Effective codescent morphisms in some varieties of universal algebras

abstract: The paper gives the sufficient condition formulated in the syntactical form for all codescent morphisms of a variety of universal algebras satisfying the amalgamation property to be effective. This result is further used in proving that all codescent morphisms of quasigroups are effective.


title: The Character of the Weil Representation

abstract: Let V be a symplectic vector space over a finite or local field. We compute the character of the Weil representation of the metaplectic group Mp(V). The final formulas are overtly free of choices (e.g. they do not involve the usual choice of a Lagrangian subspace of V). Along the way, in results similar to those of K. Maktouf, we relate the character to the Weil index of a certain quadratic form, which may be understood as a Maslov index. This relation also expresses the character as the pullback of a certain simple function from Mp(V\oplus V).


title: The renormalization transformation for two-type branching models

abstract: This paper studies countable systems of linearly and hierarchically interacting diffusions taking values in the positive quadrant. These systems arise in population dynamics for two types of individuals migrating between and interacting within colonies. Their large-scale space-time behavior can be studied by means of a renormalization program. This program, which has been carried out successfully in a number of other cases (mostly one-dimensional), is based on the construction and the analysis of a nonlinear renormalization transformation, acting on the diffusion function for the components of the system and connecting the evolution of successive block averages on successive time scales. We identify a general class of diffusion functions on the positive quadrant for which this renormalization transformation is well-defined and, subject to a conjecture on its boundary behavior, can be iterated. Within certain subclasses, we identify the fixed points for the transformation and investigate their domains of attraction. These domains of attraction constitute the universality classes of the system under space-time scaling.


title: On calculation of eigenvalues of Sturm-Liouville problem with indefinite weight having self-similar primitive

abstract: A method of calculation of eigenvalues of the problem $-y''-\lambda\rho y=0$, $y(0)=y(1)=0$, where $\rho$ is a distribution having self-similar primitive $P\in L_2[0,1]$, is described.


title: Revisiting Offspring Maxima in Branching Processes

abstract: We present a progress report for studies on maxima related to offspring in branching processes. We summarize and discuss the findings on the subject that appeared in the last ten years. Some of the results are refined and illustrated with new examples.


title: Sequences of Willmore surfaces

abstract: In this paper we develop the theory of Willmore sequences for Willmore surfaces in the 4-sphere. We show that under appropriate conditions this sequence has to terminate. In this case the Willmore surface either is the twistor projection of a holomorphic curve into complex projective space or the inversion of a minimal surface with planar ends in 4-space. These results give a unified explanation of previous work on the characterization of Willmore spheres and Willmore tori with non-trivial normal bundles by various authors.


title: Generic initial ideal for complete intersections of embedding dimension three with strong Lefschetz property

abstract: We compute the generic initial ideal of a complete intersection of embedding dimension three with strong Lefschetz property and we show that it is an almost reverse lexicographic ideal. This enable us to give a proof for Moreno's conjecture in the case $n=3$.


title: Khovanov-Rozansky homology via a canopolis formalism

abstract: In this paper, we describe a canopolis (i.e. categorified planar algebra) formalism for Khovanov and Rozansky's link homology theory. We show how this allows us to organize simplifications in the matrix factorizations appearing in their theory. In particular, it will put the equivalence of the original definition of Khovanov-Rozansky homology and the definition using Soergel bimodules in a more general context, allow us to give a new proof of the invariance of triply graded homology and give new analysis of the behavior of triply graded homology under the Reidemeister IIb move.


title: On the reduction principle for differential equations with piecewise constant argument of generalized type

abstract: In this paper we introduce a new type of differential equations with piecewise constant argument (EPCAG), more general than EPCA. The Reduction Principle is proved for EPCAG. The structure of the set of solutions is specified. We establish also the existence of global integral manifolds of quasilinear EPCAG in the so called critical case and investigate the stability of the zero solution.


title: Letters relating to a Theorem of Mr. Euler, of the Royal Academy of Sciences at Berlin, and F.R.S. for correcting the Aberrations in the Object-Glasses of refracting Telescopes

abstract: This paper contains a number of letters exchanged between MM. Dollond, Short, and Euler in 1752 regarding the construction and use of various objective lenses. The final letters, authored by Euler, appear in translation for the first time. This is numbered E210 in Enestrom's index.


title: Optimal Estimates for the Electric Field in Two-Dimensions

abstract: The purpose of this paper is to set out optimal gradient estimates for solutions to the isotropic conductivity problem in the presence of adjacent conductivity inclusions as the distance between the inclusions goes to zero and their conductivities degenerate. This difficult question arises in the study of composite media. Frequently in composites, the inclusions are very closely spaced and may even touch. It is quite important from a practical point of view to know whether the electric field (the gradient of the potential) can be arbitrarily large as the inclusions get closer to each other or to the boundary of the background medium. In this paper, we establish both upper and lower bounds on the electric field in the case where two circular conductivity inclusions are very close but not touching. We also obtain such bounds when a circular inclusion is very close to the boundary of a circular domain which contains the inclusion. The novelty of these estimates, which improve and make complete our earlier results published in Math. Ann., is that they give an optimal information about the blow-up of the electric field as the conductivities of the inclusions degenerate.


title: Graphical modelling of multivariate time series

abstract: We introduce graphical time series models for the analysis of dynamic relationships among variables in multivariate time series. The modelling approach is based on the notion of strong Granger causality and can be applied to time series with non-linear dependencies. The models are derived from ordinary time series models by imposing constraints that are encoded by mixed graphs. In these graphs each component series is represented by a single vertex and directed edges indicate possible Granger-causal relationships between variables while undirected edges are used to map the contemporaneous dependence structure. We introduce various notions of Granger-causal Markov properties and discuss the relationships among them and to other Markov properties that can be applied in this context.


title: Bayesian Clustering of Transcription Factor Binding Motifs

abstract: Genes are often regulated in living cells by proteins called transcription factors (TFs) that bind directly to short segments of DNA in close proximity to specific genes. These binding sites have a conserved nucleotide appearance, which is called a motif. Several recent studies of transcriptional regulation require the reduction of a large collection of motifs into clusters based on the similarity of their nucleotide composition. We present a principled approach to this clustering problem based upon a Bayesian hierarchical model that accounts for both within- and between-motif variability. We use a Dirichlet process prior distribution that allows the number of clusters to vary and we also present a novel generalization that allows the core width of each motif to vary. This clustering model is implemented, using a Gibbs sampling strategy, on several collections of transcription factor motif matrices. Our clusters provide a means by which to organize transcription factors based on binding motif similarities, which can be used to reduce motif redundancy within large databases such as JASPAR and TRANSFAC. Finally, our clustering procedure has been used in combination with discovery of evolutionarily-conserved motifs to predict co-regulated genes. An alternative to our Dirichlet process prior distribution is explored but shows no substantive difference in the clustering results for our datasets. Our Bayesian clustering model based on the Dirichlet process has several advantages over traditional clustering methods that could make our procedure appropriate and useful for many clustering applications.


title: A mathematical approach with delay kernel for the role of the immune response time delay in periodic therapy of the tumors

abstract: We consider the model of interaction between the immune system and tumor cells including a memory function that reflect the influence of the past states, to simulate the time needed by the latter to develop a chemical and cell mediated response to the presence of the tumor. The memory function is called delay kernel. The results are compared with those from other papers, concluding that the memory function introduces new instabilities in the system leading to an uncontrolable growth of the tumor. If the coefficient of the memory function is used as a bifurcation parameter, it is found that Hopf bifurcation occurs for kernel. The direction and stability of the bifurcating periodic solutions are determined. Some numerical simulations for justifying the theoretical analysis are also given.


title: Projectivity and freeness over comodule algebras

abstract: Let H be a Hopf algebra and A an H-simple right H-comodule algebra. It is shown that under certain hypotheses every (H,A)-Hopf module is either projective or free as an A-module and A is either a quasi-Frobenius or a semisimple ring. As an application it is proved that every weakly finite (in particular, every finite dimensional) Hopf algebra is free both as a left and a right module over its finite dimensional right coideal subalgebras, and the latter are Frobenius algebras. Similar results are obtained for H-simple H-module algebras.


title: Projectivity of Hopf algebras over subalgebras with semilocal central localizations

abstract: Some new results on the module structure of Hopf algebras over a certain class of Hopf subalgebras and right coideal subalgebras are proved.


title: Maximal Thurston-Bennequin number of +adequate links

abstract: The class of +adequate links contains both alternating and positive links. Generalizing results of Tanaka (for the positive case) and Ng (for the alternating case), we construct fronts of an arbitrary +adequate link A so that the diagram has a ruling, therefore its Thurston-Bennequin number is maximal among Legendrian representatives of A. We derive consequences for the Kauffman polynomial and Khovanov homology of +adequate links.


title: Disc counting on toric varieties via tropical curves

abstract: In this paper, we define two numbers. One comes from counting tropical curves with a stop and the other is the number of holomorphic discs in toric varieties with Lagrangian boundary condition. Both of these curves should satisfy some matching conditions. We show that these numbers coincide. These numbers can be considered as Gromov-Witten type invariants for holomorphic discs, and they have both similarities and differences to the counting numbers of closed holomorphic curves. We study several aspects of them.


title: Rational fixed points for linear group actions

abstract: Let $k$ be a finitely generated field, let $X$ be an algebraic variety and $G$ a linear algebraic group, both defined over $k$. Suppose $G$ acts on $X$ and every element of a Zariski-dense semigroup $\Gamma \subset G(k)$ has a rational fixed point in $X(k)$. We then deduce, under some mild technical assumptions, the existence of a rational map $G\to X$, defined over $k$, sending each element $g\in G$ to a fixed point for $g$. The proof makes use of a recent result of Ferretti and Zannier on diophantine equations involving linear recurrences. As a by-product of the proof, we obtain a version of the classical Hilbert Irreducibility Theorem valid for linear algebraic groups.


title: Generalized complete intersections with linear resolutions

abstract: We determine the simplicial compleses $\Delta$ whose Stanley-Reisner ideals $I_\Delta$ have the following property: for all $n\geq 1$ the powers $I_\Delta^n$ have linear resolutions and finite length local cohomologies.


title: On polynomial Torus Knots

abstract: We show that no torus knot of type $(2,n)$, $n>3$ odd, can be obtained from a polynomial embedding $t \mapsto (f(t), g(t), h(t))$ where $(\deg(f),\deg(g))\leq (3,n+1) $. Eventually, we give explicit examples with minimal lexicographic degree.


title: An LMI Approach to Stability Analysis of PWM DC-DC Buck Converters

abstract: The paper considers a DC-DC buck power converter employing pulse width modulation and voltage feedback control. Global asymptotical stability of a periodical operating mode is examined. It is shown that the stability analysis can be reduced to study of a feasibility problem of semidefinite programming.


title: On the Lyapunov Exponent of a Multidimensional Stochastic Flow

abstract: Let $X_t$ be a reversible and positive recurrent diffusion in $R^d$ described by \begin{equation}\nonumber X_t=x+\sigma b(t)+\int_0^tm(X_s)\dif s, \end{equation} where the diffusion coefficient $\sigma$ is a positive-definite matrix and the drift $m$ is a smooth function. Let $X_t(A)$ denote the image of a compact set $A\subset R^d$ under the stochastic flow generated by $X_t$. If the divergence of the drift is strictly negative, there exists a set of functions $u$ such that \[\lim_{t\to\infty} \int_{X_t(A)}u(x)\dif x=0\quad{a.s.} \] A characterization of the functions $u$ is provided, as well as lower and upper bounds for the exponential rate of convergence.


title: Real closed fields with nonstandard and standard analytic structure

abstract: We consider the ordered field which is the completion of the Puiseux series field over \bR equipped with a ring of analytic functions on [-1,1]^n which contains the standard subanalytic functions as well as functions given by t-adically convergent power series, thus combining the analytic structures from [DD] and [LR3]. We prove quantifier elimination and o-minimality in the corresponding language. We extend these constructions and results to rank n ordered fields \bR_n (the maximal completions of iterated Puiseux series fields). We generalize the example of Hrushovski and Peterzil [HP] of a sentence which is not true in any o-minimal expansion of \bR (shown in [LR3] to be true in an o-minimal expansion of the Puiseux series field) to a tower of examples of sentences \sigma_n, true in \bR_n, but not true in any o-minimal expansion of any of the fields \bR,\bR_1,...,\bR_{n-1}.


title: On testing the significance of sets of genes

abstract: This paper discusses the problem of identifying differentially expressed groups of genes from a microarray experiment. The groups of genes are externally defined, for example, sets of gene pathways derived from biological databases. Our starting point is the interesting Gene Set Enrichment Analysis (GSEA) procedure of Subramanian et al. [Proc. Natl. Acad. Sci. USA 102 (2005) 15545--15550]. We study the problem in some generality and propose two potential improvements to GSEA: the maxmean statistic for summarizing gene-sets, and restandardization for more accurate inferences. We discuss a variety of examples and extensions, including the use of gene-set scores for class predictions. We also describe a new R language package GSA that implements our ideas.


title: An introduction to right-angled Artin groups

abstract: Recently, right-angled Artin groups have attracted much attention in geometric group theory. They have a rich structure of subgroups and nice algorithmic properties, and they give rise to cubical complexes with a variety of applications. This survey article is meant to introduce readers to these groups and to give an overview of the relevant literature.


title: Is the Luna stratification intrinsic?

abstract: Let G -> \GL(V) be a finite-dimensional linear representation of a reductive linear algebraic group G on a finite-dimensional vector space V, defined over an algebraically closed field of characteristic zero. The categorical quotient V//G carries a natural stratification, due to D. Luna. This paper addresses the following questions: (i) Is the Luna stratification of X intrinsic? That is, does every automorphism of V//G map each stratum to another stratum? (ii) Are the individual Luna strata in X intrinsic? That is, does every automorphism of V//G maps each stratum to itself? In general, the Luna stratification is not intrinsic. Nevertheless, we give positive answers to questions (i) and (ii) for large classes of interesting representations.


title: Moduli Spaces and Multiple Polylogarithm Motives

abstract: In this paper, we give a natural construction of mixed Tate motives whose periods are a class of iterated integrals which include the multiple polylogarithm functions. Given such an iterated integral, we construct two divisors $A$ and $B$ in the moduli spaces $\mathcal{\bar{M}}_{0,n}$ of $n$-pointed stable curves of genus 0, and prove that the cohomology of the pair $(\mathcal{\bar{M}}_{0,n}-A,B-B\cap A)$ is a framed mixed Tate motive whose period is that integral. It generalizes the results of A. Goncharov and Yu. Manin for multiple zeta values. Then we apply our construction to the dilogarithm and calculate the period matrix which turns out to be same with the canonical one of Deligne.


title: Lifts of automorphisms of vertex operator algebras in simple current extensions

abstract: In this article, we study isomorphisms between simple current extensions of a simple VOA. For example, we classify the isomorphism classes of simple current extensions of some VOAs. Moreover, we consider the same simple current extension and describe the normalizer of the abelian automorphism group associated with this extension. In particular, we regard the moonshine module as simple current extensions of five subVOAs V_L^+ for 2-elementary totally even lattices L, and describe corresponding five normalizers of elementary abelian 2-group in the automorphism group of the moonshine module in terms of V_L^+. By using this description, we show that three of them form a Monster amalgam.


title: Motivic integration and projective bundle theorem in morphic cohomology

abstract: We reformulate the construction of Kontsevich's completion and use Lawson homology to define many new motivic invariants. We show that the dimensions of subspaces generated by algebraic cycles of the cohomology groups of two $K$-equivalent varieties are the same, which implies that several conjectures of algebraic cycles are $K$-statements. We define stringy functions which enable us to ask stringy Grothendieck standard conjecture and stringy Hodge conjecture. We prove a projective bundle theorem in morphic cohomology for trivial bundles over any normal quasi-projective varieties.


title: Special Solutions of the Sixth Painleve Equation with Solvable Monodromy

abstract: We will study two types of special solutions of the sixth Painleve equation, which are invariant under the symmetries obtained from the Backlund transformations. In most cases, the fixed points of the Backlund transformations are classical solution, but our solutions are not classical for generic parameters. We will calculate the linear monodromy of these solutions exactly, and we will characterize them on Fricke's cubic surface of monodromy.


title: Lie groups locally isomorphic to generalized Heisenberg groups

abstract: We classify connected Lie groups which are locally isomorphic to generalized Heisenberg groups. For a given generalized Heisenberg group $N$, there is a one-to-one correspondence between the set of isomorphism classes of connected Lie groups which are locally isomorphic to $N$ and a union of certain quotients of noncompact Riemannian symmetric spaces.


title: Noncompact homogeneous Einstein manifolds attached to graded Lie algebras

abstract: In this paper, we study the nilradicals of parabolic subalgebras of semisimple Lie algebras and the natural one-dimensional solvable extensions of them. We investigate the structures, curvatures and Einstein conditions of the associated nilmanifolds and solvmanifolds. We show that our solvmanifold is Einstein if the nilradical is of two-step. New examples of Einstein solvmanifolds with three-step and four-step nilradicals are also given.


title: Harmonic morphisms between Weyl spaces and twistorial maps II

abstract: We define, on smooth manifolds, the notions of almost twistorial structure and twistorial map, thus providing a unified framework for all known examples of twistor spaces. The condition of being harmonic morphisms naturally appears among the geometric properties of submersive twistorial maps between low-dimensional Weyl spaces endowed with a nonintegrable almost twistorial structure due to Eells and Salamon. This leads to the twistorial characterisation of harmonic morphisms between Weyl spaces of dimensions four and three. Also, we give a thorough description of the twistorial maps with one-dimensional fibres from four-dimensional Weyl spaces endowed with the almost twistorial structure of Eells and Salamon.


title: Maximal Symplectic packings of $\P^2$

abstract: In this paper we describe the intersection between the balls of maximal symplectic packings of $\P^2$. This analysis shows the existence of singular points for maximal packings of $\P^2$ by more than three equal balls. It also yields a construction of a class of very regular examples of maximal packings by five balls.


title: Open-multicommutativity of the functor of upper-continuous capacities

abstract: The notion of open-multicommutativity, introduced by Kozhan and Zarichnyi (2005), is investigated. The weakly normal covariant functor of upper-continuous capacities is considered. The main result of the paper is that this functor open-multicommutative.


title: Algebraic Techniques for Gaussian Models

abstract: Many statistical models are algebraic in that they are defined by polynomial constraints or by parameterizations that are polynomial or rational maps. This opens the door for tools from computational algebraic geometry. These tools can be employed to solve equation systems arising in maximum likelihood estimation and parameter identification, but they also permit to study model singularities at which standard asymptotic approximations to the distribution of estimators and test statistics may no longer be valid. This paper demonstrates such applications of algebraic geometry in selected examples of Gaussian models, thereby complementing the existing literature on models for discrete variables.


title: Gaussian limits for multidimensional random sequential packing at saturation (extended version)

abstract: Consider the random sequential packing model with infinite input and in any dimension. When the input consists of non-zero volume convex solids we show that the total number of solids accepted over cubes of volume $\lambda$ is asymptotically normal as $\lambda \to \infty$. We provide a rate of approximation to the normal and show that the finite dimensional distributions of the packing measures converge to those of a mean zero generalized Gaussian field. The method of proof involves showing that the collection of accepted solids satisfies the weak spatial dependence condition known as stabilization.


title: On univoque Pisot numbers

abstract: We study Pisot numbers $\beta \in (1, 2)$ which are univoque, i.e., such that there exists only one representation of 1 as $1 = \sum_{n \geq 1} s_n\beta^{-n}$, with $s_n \in \{0, 1\}$. We prove in particular that there exists a smallest univoque Pisot number, which has degree 14. Furthermore we give the smallest limit point of the set of univoque Pisot numbers.


title: Critical exponents of planar gradient percolation

abstract: We study gradient percolation for site percolation on the triangular lattice. This is a percolation model where the percolation probability depends linearly on the location of the site. We prove the results predicted by physicists for this model. More precisely, we describe the fluctuations of the interfaces around their (straight) scaling limits, and the expected and typical lengths of these interfaces. These results build on the recent results for critical percolation on this lattice by Smirnov, Lawler, Schramm and Werner, and on the scaling ideas developed by Kesten.


title: Wheeled PROPs, graph complexes and the master equation

abstract: We introduce and study wheeled PROPs, an extension of the theory of PROPs which can treat traces and, in particular, solutions to the master equations which involve divergence operators. We construct a dg free wheeled PROP whose representations are in one-to-one correspondence with formal germs of SP-manifolds, key geometric objects in the theory of Batalin-Vilkovisky quantization. We also construct minimal wheeled resolutions of classical operads Com and Ass as rather non-obvious extensions of Com_infty and Ass_infty, involving, e.g., a mysterious mixture of associahedra with cyclohedra. Finally, we apply the above results to a computation of cohomology of a directed version of Kontsevich's complex of ribbon graphs.


title: Gaussian binomials and the number of sublattices

abstract: The purpose of this short communication is to make some observations on the connections between various existing formulas of counting the number of sublattices of a fixed index in an $n$-dimensional lattice and their connection with the Gaussian binomials.


title: On Derived Equivalences of Categories of Sheaves Over Finite Posets

abstract: A finite poset X carries a natural structure of a topological space. Fix a field k, and denote by D(X) the bounded derived category of sheaves of finite dimensional k-vector spaces over X. Two posets X and Y are said to be derived equivalent if D(X) and D(Y) are equivalent as triangulated categories. We give explicit combinatorial properties of a poset which are invariant under derived equivalence, among them are the number of points, the Z-congruency class of the incidence matrix, and the Betti numbers. Then we construct, for any closed subset Y of X, a strongly exceptional collection in D(X) and use it to show an equivalence between D(X) and the bounded derived category of a finite dimensional algebra A (depending on Y). We give conditions on X and Y under which A becomes an incidence algebra of a poset. We deduce that a lexicographic sum of a collection of posets along a bipartite graph is derived equivalent to the lexicographic sum of the same collection along the opposite graph. This construction produces many new derived equivalences of posets and generalizes other well known ones. As a corollary we show that the derived equivalence class of an ordinal sum of two posets does not depend on the order of summands. We give an example that this is not true for three summands.


title: The hole probability for Gaussian random SU(2) polynomials

abstract: We show that for Gaussian random SU(2)polynomials of a large degree $N$ the probability that there are no zeros in the disk of radius $r$ is less than $e^{-c_{1,r} N^2}$, and is also greater than $e^{-c_{2,r} N^2}$. Enroute to this result, we also derive a more general result: probability estimates for the event that the number of complex zeros of a random polynomial of high degree deviates significantly from its mean.


title: Iterated Function Systems in Mixed Euclidean and p-adic Spaces

abstract: We investigate graph-directed iterated function systems in mixed Euclidean and p-adic spaces. Hausdorff measure and Hausdorff dimension in such spaces are defined, and an upper bound for the Hausdorff dimension is obtained. The relation between the Haar measure and the Hausdorff measure is clarified. Finally, we discus an example in ${Bbb R}\times{\Bbb Q}\sb 2$ and calculate upper and lower bounds for its Hausdorff dimension.


title: Extension of holomorphic bundles to the disc (and Serre's Problem on Stein bundles)

abstract: We show how to extend some holomorphic bundles with fifer C^2 and base an open set in C, to bundles on the Riemann Sphere, by an extremely simple technique. In particular, it applies to examples of non-Stein bundles constructed by Skoda and Demailly. It gives an example on C, with polynomial transition automorphisms.


title: Generalizations of Ceva's Theorem and Applications

abstract: Three generalizations of the well-known Ceva's Theorem are given in this paper and some applications.


title: Hopf bifurcation analysis of pathogen-immune interaction dynamics with delay kernel

abstract: The aim of this paper is to study the steady states of the mathematical models with delay kernels which describe pathogen-immune dynamics of many kinds of infectious diseases. In the study of mathematical models of infectious diseases it is important to predict whether the infection disappears or the pathogens persist. The delay kernel is described by the memory function that reflects the influence of the past density of pathogen in the blood. By using the coefficient of kernel k, as a bifurcation parameter, the models are found to undergo a sequence of Hopf bifurcation. The direction and the stability criteria of bifurcation periodic solutions are obtained by applying the normal form theory and the center manifold theorems. Some numerical simulation examples for justifying the theoretical results are also given.


title: PBW theorems and Frobenius structures for quantum matrices

abstract: Let G be either of Mat(n), GL(n) or SL(n), let O_q(G) be the quantum function algebra - over Z[q,q^{-1}] - associated to G, and let O_e(G) be the specialisation of O_q(G) at a root of unity, of odd order l. Then O_e(G) is a module over the corresponding classical function algebra O(G) via the quantum Frobenius morphism, which embeds O(G) as a central subbialgebra of O_e(G). In this note we prove a PBW-like theorem for O_q(G) - more or less known in literature, but not in this form (to the best of the author's knowledge) - and we show that it yields explicit bases of O_e(G) over O(G) when G is Mat(n) or GL(n): in particular, O_e(G) is free of rank l^{dim(G)}. Also, we apply the latter result to prove that O_e(G) is a free Frobenius extensions over O(G), and to compute explicitly the corresponding Nakayama automorphism, again for G being Mat(n) or GL(n) . This extends previous results by Brown, Gordon and Stroppel (see [BG], [BGS2]).


title: Global applications of relative (phi-Gamma)-modules I

abstract: In this paper, given a smooth proper scheme X over a p-adic dvr and a p-power torsion etale local system L on it, we study a family of sheaves associated to the cohomology of local relative (Phi-Gamma)-modules of L and their cohomology. As applications we derive descriptions of the etale cohomology groups on the geometric generic fiber of X with values in L, as well as of their classical (Phi-Gamma)-modules, in terms of cohomology of the above mentioned sheaves.


title: Rigidity and the chess board theorem for cube packings

abstract: Each packing of R^d by translates of the unit cube [0,1)^d admits a decomposition into at most two parts such that if a translate of the unit cube is covered by one of them, then it also belongs to such a part.


title: On anticyclotomic mu-invariants of modular forms

abstract: Let f be a modular form of weight 2 and trivial character. Fix also an imaginary quadratic field K. We use work of Bertolini-Darmon and Vatsal to study the mu-invariant of the p-adic Selmer group of f over the anticyclotomic Zp-extension of K. In particular, we verify the mu-part of the main conjecture in this context. The proof of this result is based on an analysis of congruences of modular forms, leading to a conjectural quantitative version of level-lowering (which we verify in the case that Mazur's principle applies).


title: Construction of Complete Embedded Self-Similar Surfaces under Mean Curvature Flow. Part I

abstract: We carry out the first main step towards the construction of new examples of complete embedded self-similar surfaces under mean curvature flow. An approximate solution is obtained by taking two known examples of self-similar surfaces and desingularizing the intersection circle using an appropriately modified singly periodic Scherk surface, called the core. Using an inverse function theorem, we show that for small boundary conditions on the core, there is an embedded surface close to the core that is a solution of the equation for self-similar surfaces. This provides us with an adequate central piece to substitute for the intersection.


title: Monte Carlo simulations with a generalized detailed balance using the quantum-classical isomorphism

abstract: The main idea of this work is that the quantum-classical isomorphism is a suitable framework for a generalization of the notion of detailed balance. The quantum-classical isomorphism is used in order to develop a Monte Carlo simulation with controlled deviation from detailed balance, that is with a generalized detailed balance and known relative entropy with respect to the reference process at each point. In order to apply this method to molecular simulations a new algorithm for realization of a partial chirotope, based on linear programming, a new distance geometry algorithm and a new all-atom off-lattice Monte Carlo method are proposed.


title: A length characterization of $*$-spread

abstract: The $*$-spread of an ideal is defined as the minimal number of generators of an ideal which is minimal with respect to having the same tight closure as the original ideal. We prove an asymptotic length formula for the $*$-spread.


title: Triangulated Riemann surfaces with boundary and the Weil-Petersson Poisson structure

abstract: Given a Riemann surface with boundary S, the lengths of a maximal system of disjoint simple geodesic arcs on S that start and end at the boundary of S perpendicularly are coordinates on the Teichmueller space T(S). We compute the Weil-Petersson Poisson structure on T(S) in this system of coordinates and we prove that it limits pointwise to the piecewise-linear Poisson structure defined by Kontsevich on the arc complex of S. As a byproduct of the proof, we obtain a formula for the first-order variation of the distance between two closed geodesics under Fenchel-Nielsen deformation.


title: Hyperbolicity of Orders of Quaternions Algebras and Group Rings

abstract: For a given divison algebra of the quaternions we construct two types of units: Pell units and Gauss units. If K is a rational quadratic extension and G is a finite group, we classify R and G, s.t., the unit group U(RG) of augmentation one is hyperbolic. In particular we give necessary and sufficient conditions when G is the quaternion group of order 8. In this case, the hyperbolic boundary is isomorphic to the 2-dimensional sphere. As a result we reach a class of groups of one end, that are not virtually free.


title: Six Lectures on Four 4-Manifolds

abstract: Despite spectacular advances in defining invariants for simply connected smooth and symplectic 4-dimensional manifolds and the discovery of effective surgical techniques, we still have been unable to classify simply connected smooth manifolds up to diffeomorphism. In these notes, adapted from six lectures given at the 2006 Park City Mathematics Institute Graduate Summer School on Low Dimensional Topology, we will review what we do and do not know about the existence and uniqueness of smooth and symplectic structures on closed, simply connected 4-manifolds. We will focus on those surgical techniques that have been effective in altering smooth and symplectic structures and the Seiberg-Witten invariants that are used to distinguish them. In the last lecture we will then pose a possible classification scheme and test it on a few examples.


title: On the Classification of Finite Semigroups and RA-loop with the Hyperbolic Property

abstract: We classify the finite semigroups S, for which all the Z-orders O of the rational Q-algebra QS, is such that the unit group U(O) is hyperbolic. We also classify the RA-loops L, for which the unit loop U(ZL) does not contain any free abelian subgroup of rank two.


title: The numbers game, geometric representations of Coxeter groups, and Dynkin diagram classification results

abstract: The numbers game is a one-player game played on a finite simple graph with certain ``amplitudes'' assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at the nodes using the amplitudes in a certain way. This game has been studied previously by Proctor, Mozes, Bjorner, Eriksson, and Wildberger. We show that those connected such graphs for which the numbers game meets a certain finiteness requirement are precisely the Dynkin diagrams associated with the finite-dimensional complex simple Lie algebras. As a consequence of our proof we obtain the classifications of the finite-dimensional Kac-Moody algebras and of the finite Weyl groups. We use Coxeter group theory to establish a more general result that applies to Eriksson's E-games: an E-game meets the finiteness requirement if and only if a naturally associated Coxeter group is finite. To prove this and some other finiteness results we further develop Eriksson's theory of a geometric representation of Coxeter groups and observe some curious differences of this representation from the standard geometric representation.


title: An existence theorem for G-structure preserving affine immersions

abstract: We prove an existence result for local and global G-structure preserving affine immersions between affine manifolds. Several examples are discussed in the context of Riemannian and semi-Riemannian geometry, including the case of isometric immersions into Lie groups endowed with a left-invariant metric, and the case of isometric immersions into products of space forms.


title: Applications of Crystal Bases to Current Problems in Representation Theory

abstract: This dissertation addresses several current problems in Representation Theory using crystal bases. It incorporates the results of arXiv:math.QA/0408113 and arXiv:math.RT/0603547, as well as previously unpublished results.