title: PIIPTI, or the Principle of Increasing Irrelevance of Preference Type Information

abstract: It is shown that in the case of a single decision maker who optimizes several possibly conflicting objectives, the amount of information available in preference relations among pairs of possible decisions, when compared with all other possible information, is tending to zero exponentially with the number of those different objectives. Consequently, in the case of a larger number of conflicting objectives, the only way to obtain a satisfactory amount of information is by the use of non-preference type relations among possible decisions.


title: An extremal problem related to negative refraction

abstract: We solve an extremal problem that arises in the study of the refractive indices of passive metamaterials. The problem concerns Hermitian functions in $H^2$ of the upper half-plane, i.e., $H^2$ functions satisfying $f(-x)=\bar{f(x)}$. An additional requirement is that the imaginary part of $f$ be nonnegative for nonnegative arguments. We parameterize the class of such functions whose real part is constant on an interval, and solve the problem of minimizing the imaginary part on the interval on which the function's real part takes a given constant value.


title: Optimal long term investment model with memory

abstract: We consider a financial market model driven by an R^n-valued Gaussian process with stationary increments which is different from Brownian motion. This driving noise process consists of $n$ independent components, and each component has memory described by two parameters. For this market model, we explicitly solve optimal investment problems. These include (i) Merton's portfolio optimization problem; (ii) the maximization of growth rate of expected utility of wealth over the infinite horizon; (iii) the maximization of the large deviation probability that the wealth grows at a higher rate than a given benchmark. The estimation of paremeters is also considered.


title: Stable base loci, movable curves, and small modifications, for toric varieties

abstract: We show that the dual of the cone of divisors on a complete Q-factorial toric variety X whose stable base loci have dimension less than k is generated by curves on small modifications that move in families sweeping out the birational transforms of k-dimensional subvarieties of X. We give an example showing that it does not suffice to consider curves on X itself.


title: Singular cosphere bundle reduction

abstract: This paper studies singular contact reduction for cosphere bundles at the zero value of the momentum map. A stratification of the singular quotient, finer than the contact one and better adapted to the bundle structure of the problem, is obtained. The strata of this new stratification are a collection of cosphere bundles and coisotropic or Legendrian submanifolds of their corresponding contact components.


title: Monoidal functors, acyclic models and chain operads

abstract: We prove that for a topological operad $P$ the operad of oriented cubical chains, $C^{ord}_\ast(P)$, and the operad of singular chains, $S_\ast(P)$, are weakly equivalent. As a consequence, $C^{ord}_\ast(P;\mathbb{Q})$ is formal if and only if $S_\ast(P;\mathbb{Q})$ is formal, thus linking together some formality results spread in the literature. The proof is based on an acyclic models theorem for monoidal functors. We give different variants of the acyclic models theorem and apply the contravariant case to study the cohomology theories for simplicial sets defined by $R$-simplicial differential graded algebras.


title: Nonabelian cohomology with coefficients in Lie groups

abstract: In this paper we prove some properties of the nonabelian cohomology $H^1(A,G)$ of a group $A$ with coefficients in a connected Lie group $G$. When $A$ is finite, we show that for every $A$-submodule $K$ of $G$ which is a maximal compact subgroup of $G$, the canonical map $H^1(A,K)\to H^1(A,G)$ is bijective. In this case we also show that $H^1(A,G)$ is always finite. When $A=\ZZ$ and $G$ is compact, we show that for every maximal torus $T$ of the identity component $G_0^\ZZ$ of the group of invariants $G^\ZZ$, $H^1(\ZZ,T)\to H^1(\ZZ,G)$ is surjective if and only if the $\ZZ$-action on $G$ is 1-semisimple, which is also equivalent to that all fibers of $H^1(\ZZ,T)\to H^1(\ZZ,G)$ are finite. When $A=\Zn$, we show that $H^1(\Zn,T)\to H^1(\Zn,G)$ is always surjective, where $T$ is a maximal compact torus of the identity component $G_0^{\Zn}$ of $G^{\Zn}$. When $A$ is cyclic, we also interpret some properties of $H^1(A,G)$ in terms of twisted conjugate actions of $G$.


title: The Klee-Minty random edge chain moves with linear speed

abstract: An infinite sequence of 0's and 1's evolves by flipping each~1 to a~0 exponentially at rate one. When a~1 flips, all bits to its right also flip. Starting from any configuration with finitely many 1's to the left of the origin, we show that the leftmost~1 moves right with linear speed. Upper and lower bounds are given on the speed.


title: Coordinate Systems and Bounded Isomorphisms for Triangular Algebras

abstract: For a Banach D-bimodule M over an abelian unital C*-algebra D, we define E(M) as the collection of norm-one eigenvectors for the dual action of D on the Banach space dual of M. Equip E(M) with the weak-* topology. We develop general properties of E(M). It is properly viewed as a coordinate system for M when M is a subset of C, where C is a unital C*-algebra containing D as a regular MASA with the extension property; moreover, E(C) coincides with Kumjian's twist in the context of C*-diagonals. We identify the C*-envelope of a subalgebra A of a C*-diagonal which contains D. For triangular subalgebras, each containing the MASA, a bounded isomorphism induces an algebraic isomorphism of the coordinate systems which can be shown to be continuous in certain cases. For subalgebras, each containing the MASA, a bounded isomorphism that maps one MASA to the other MASA induces an isomorphism of the coordinate systems. We show that the weak operator closure of the image of a triangular algebra in an appropriate representation is a CSL algebra and that bounded isomorphism of triangular algebras extends to an isomorphism of these CSL algebras. We prove that for triangular algebras in our context, any bounded isomorphism is completely bounded. Our methods simplify and extend various known results; for example, isometric isomorphisms of the triangular algebras extend to isometric isomorphisms of the C*-envelopes, and the conditional expectation E of C onto D is multiplicative when restricted to a triangular subalgebra. Also, we use our methods to prove that the inductive limit of C*-diagonals with regular connecting maps is again a C*-diagonal.


title: A Weight-Depth Theorem for a Class of Multiple L-values

abstract: An arbitrary-depth reduction theorem for the `convolution' multiple L-values of Euler-Zagier type is proven by an analytic method. To this end, generalized polylogarithms associated to Dirichlet characters are defined. The proof uses the monodromies of these functions and the parities of generating functions of generalized Bernoulli numbers. Some general formulas for resulting reductions in the depth 2 case are provided.


title: Raising/lowering maps and modules for the quantum affine algebra $U_q(sl_2hat)$

abstract: Let V denote a finite dimensional vector space over an algebraically closed field. Let U_0, U_1,..., U_d denote a sequence of nonzero subspaces whose direct sum is V. Let R:V \to V and L:V \to V denote linear maps with the following properties: for 0 \leq i \leq d, R U_i \subseteq U_{i+1} and L U_i \subseteq U_{i-1} where U_{-1}=0, U_{d+1}=0; for 0 \leq i \leq d/2, the restrictions R^{d-2i}: U_i \to U_{d-i} and L^{d-2i}: U_{d-i} \to U_i are bijections; the maps R and L satisfy the cubic q-Serre relations where q is nonzero and not a root of unity. Let K:V \to V be the linear map such that (K-q^{2i-d}I)U_i=0 for 0 \leq i \leq d. We show that there exists a unique U_q(sl_2hat)-module structure on V such that each of R-e^{-}_1, L-e^{-}_0, K-K_0, and K^{-1}-K_1 vanish on V, where e^{-}_1, e^{-}_0, K_0, K_1 are Chevalley generators for U_q(sl_2hat). We determine which U_q(sl_2hat)-modules arise from our construction.


title: Polya Theory for Orbiquotient Sets

abstract: Replacing the usual notion of quotient sets by the notion of orbiquotient sets we obtain a generalization of P\'olya theory. The key ingredient of our extended theory is the definition of the orbicycle index polynomial which we compute in several examples. We apply our theory to the study of orbicycles on orbiquotient sets. Keywords: Orbifolds, P\'olya Theory, Partition Lattice.


title: Small gaps in coefficients of L-functions and B-free numbers in small intervals

abstract: We discuss questions related to the non-existence of gaps in the series defining modular forms and other arithmetic functions of various types, and improve results of Serre, Balog and Ono, and Alkan, using new results about exponential sums and the distribution of $B$-free numbers.


title: Families of Painleve VI equations having a common solution

abstract: We classify all functions satisfying non-trivial families of PVI equations. It turns out that, up to an Okamoto equivalence, there are exactly four families parameterized by affine planes or lines. Each affine space is generated by points of "geometric origin", associated either to deformations of elliptic surfaces with four singular fibers, or to deformations of three-sheeted covers of the projective line with branching locus consisting of four points.


title: Simple multiplicative proof nets with units

abstract: This paper presents a simple notion of proof net for multiplicative linear logic with units. Cut elimination is direct and strongly normalising, in contrast to previous approaches which resorted to moving jumps (attachments) of par units during normalisation. Composition in the resulting category of proof nets is simply path composition: all of the dynamics happens in GoI(Setp), the geometry-of-interaction construction applied to the category of sets and partial functions.


title: A Combination Theorem for Convex Hyperbolic Manifolds, with Applications to Surfaces in 3-Manifolds

abstract: We prove the convex combination theorem for hyperbolic n-manifolds. Applications are given both in high dimensions and in 3 dimensions. One consequence is that given two geometrically finite subgroups of a discrete group of isometries of hyperbolic n-space, satisfying a natural condition on their parabolic subgroups, there are finite index subgroups which generate a subgroup that is an amalgamated free product. Constructions of infinite volume hyperbolic n-manifolds are described by gluing lower dimensional manifolds. It is shown that every slope on a cusp of a hyperbolic 3-manifold is a multiple immersed boundary slope. If a 3-manifold contains a maximal surface group not carried by an embedded surface then it contains the fundamental group of a book of I-bundles with more than two pages.


title: Stability of energy-critical nonlinear Schr\"odinger equations in high dimensions

abstract: We develop the existence, uniqueness, continuity, stability, and scattering theory for energy-critical nonlinear Schr\"odinger equations in dimensions $n \geq 3$, for solutions which have large, but finite, energy and large, but finite, Strichartz norms. For dimensions $n \leq 6$, this theory is a standard extension of the small data well-posedness theory based on iteration in Strichartz spaces. However, in dimensions $n > 6$ there is an obstruction to this approach because of the subquadratic nature of the nonlinearity (which makes the derivative of the nonlinearity non-Lipschitz). We resolve this by iterating in exotic Strichartz spaces instead. The theory developed here will be applied in a subsequent paper of the second author, to establish global well-posedness and scattering for the defocusing energy-critical equation for large energy data.


title: The moduli space of 5 points on P^1 and K3 surfaces

abstract: We show that the moduli space of ordered 5 points on the projective line is isomorphic to an arithmetic quotient of a complex ball by using the theory of periods of K3 surfaces. We also discuss a relation between our uniformization and the one given by Shimura, Terada and Deligne-Mostow.


title: The stringy E-function of the moduli space of Higgs bundles with trivial determinant

abstract: Let M be the moduli space of semistable rank 2 Higgs pairs (V,\phi) with trivial determinant over a smooth projective curve X of genus g>1. We compute the stringy E-function of M and prove that there does not exist a symplectic desingularization of M for g>2.


title: Polynomial extension of Fleck's congruence

abstract: Let $p$ be a prime, and let $f(x)$ be an integer-valued polynomial. By a combinatorial approach, we obtain a nontrivial lower bound of the $p$-adic order of the sum $$\sum_{k=r(mod p^{\beta})}\binom{n}{k}(-1)^k f([(k-r)/p^{\alpha}]),$$ where $\alpha\ge\beta\ge 0$, $n\ge p^{\alpha-1}$ and $r\in Z$. This polynomial extension of Fleck's congruence has various backgrounds and several consequences such as $$\sum_{k=r(mod p^\alpha)}\binom{n}{k} a^k\equiv 0 (mod p^{[(n-p^{\alpha-1})/\phi(p^\alpha)]})$$ provided that $\alpha>1$ and $a\equiv-1(mod p)$.


title: Galois cohomology of a $p$-adic field via $(\Phi,\Gamma)$-modules in the imperfect residue field case

abstract: For a $p$-adic local field $K$ with perfect residue field, L. Herr constructed a complex which computes the Galois cohomology of a $p$-torsion representation of the absolute Galois group of $K$ by using the theory of $(\Phi,\Gamma)$-modules. We shall generalize his work to the imperfect residue field (the residue field has a finite $p$-basis) case.


title: Geometry of regular modules over canonical algebras

abstract: We classify canonical algebras such that for every dimension vector of a regular module the corresponding module variety is normal (respectively, a complete intersection). We also prove that for the dimension vectors of regular modules normality is equivalent to irreducibility.


title: Divisibility tests with weighted digital sums

abstract: We propose a divisibility test for all integers which have 1, 3, 7 or 9 in their unit's place. In particular, then, the test applies for all prime divisors except 2 and 5.


title: A family of pseudo-Anosov braids with small dilatation

abstract: This paper concerns a family of pseudo-Anosov braids with dilatations arbitrarily close to one. The associated graph maps and train tracks have stable "star-like" shapes, and the characteristic polynomials of their transition matrices form Salem-Boyd sequences. These examples show that the logarithms of least dilatations of pseudo-Anosov braids on $2g+1$ strands are bounded above by $\log(2 + \sqrt{3})/g$. It follows that the asymptotic behavior of least dilatations of pseudo-Anosov, hyperelliptic surface homeomorphisms is identical to that found by Penner for general surface homeomorphisms. The family includes pseudo-Anosov braids with minimum dilatation for 3,4, and 5 strands; the latter according to a recent anouncement of J.-Y. Ham and W.-T. Song [math.GT/0506295].


title: The Nash-Equilibrium Requires Strong Cooperation

abstract: Contrary to the customary view that the celebrated Nash-equilibrium theorem in Game Theory is paradigmatic for non-cooperative games, it is shown that, in fact, it is essentially based on a particularly strong cooperation assumption. Furthermore, in practice, this cooperation assumption is simply unrealistic.


title: The Maslov dequantization, idempotent and tropical mathematics: A brief introduction

abstract: This paper is a brief introduction to idempotent and tropical mathematics. Tropical mathematics can be treated as a result of the so-called Maslov dequantization of the traditional mathematics over numerical fields as the Planck constant $\hbar$ tends to zero taking imaginary values.


title: Detecting the orientation of long links by finite type invariants

abstract: We prove the existence of a degree 7 Vassiliev invariant of long (or string) two-component links which is not preserved under the simultaneous change of orientation of both components. The non-invertibility of this invariant can be detected by the standard weight system with values in the tensor square of the universal enveloping algebra for $\gl(n)$.


title: The abelian fibration on the Hilbert cube of a K3 surface of genus 9

abstract: In this paper we construct an abelian fibration over ${\bf P}^3$ on the Hilbert cube of the primitive K3 surface of genus 9. After the abelian fibration constructed by Mukai on the Hilbert square on the primitive K3 surface S of genus 5, this is the second example where the abelian fibration on such Hilb_n(S) is directly constructed. Our example is also the first known abelian fibration on a Hilbert scheme Hilb_n(S) of a primitive K3 surface S which is not the Hilbert square of S; the primitive K3 surfaces on the Hilbert square of which such a fibration exists are known by a recent result of Hassett and Tschinkel.


title: Indefinite Sturm--Liouville problem for some classes of self-similar singular weights

abstract: We study the Sturm-Liouville problem $-y''-\rho y=0$, $y(0)=y(1)=0$. $\rho$ is a generalized derivative of function $P\in L_2[0,1]$. For self-similar $P$ asymptotic formulas for eigenvalues are obtained. In this paper we consider two cases of self-similarity of $P$: 1) arithmetic degenerate, and 2) non-arithmetic.


title: Trace functions as Laplace transforms

abstract: We study trace functions on the form $ t\to\tr f(A+tB) $ where $ f $ is a real function defined on the positive half-line, and $ A $ and $ B $ are matrices such that $ A $ is positive definite and $ B $ is positive semi-definite. If $ f $ is non-negative and operator monotone decreasing, then such a trace function can be written as the Laplace transform of a positive measure. The question is related to the Bessis-Moussa-Villani conjecture. Key words: Trace functions, BMV-conjecture.


title: Some New Exact van der Waerden Numbers

abstract: For positive integers $r,k_0,k_1,...,k_{r-1},$ the van der Waerden number $w(k_0,k_1,...,k_{r-1})$ is the least positive integer $n$ such that whenever $\{1,2,...,n\}$ is partitioned into $r$ sets $S_{0},S_{1},...,S_{r-1}$, there is some $i$ so that $S_i$ contains a $k_i$-term arithmetic progression. We find several new exact values of $w(k_0,k_1,...,k_{r-1})$. In addition, for the situation in which only one value of $k_i$ differs from 2, we give a precise formula for the van der Waerden function (provided this one value of $k_i$ is not too small)


title: Spreading of quasimodes in the Bunimovich stadium

abstract: We consider Dirichlet eigenfunctions $u_\lambda$ of the Bunimovich stadium $S$, satisfying $(\Delta - \lambda^2) u_\lambda = 0$. Write $S = R \cup W$ where $R$ is the central rectangle and $W$ denotes the ``wings,'' i.e. the two semicircular regions. It is a topic of current interest in quantum theory to know whether eigenfunctions can concentrate in $R$ as $\lambda \to \infty$. We obtain a lower bound $C \lambda^{-2}$ on the $L^2$ mass of $u_\lambda$ in $W$, assuming that $u_\lambda$ itself is $L^2$-normalized; in other words, the $L^2$ norm of $u_\lambda$ is controlled by $\lambda^2$ times the $L^2$ norm in $W$. Moreover, if $u_\lambda$ is a $o(\lambda^{-2})$ quasimode, the same result holds, while for a $o(1)$ quasimode we prove that $L^2$ norm of $u_\lambda$ is controlled by $\lambda^4$ times the $L^2$ norm in $W$. We also show that the $L^2$ norm of $u_\lambda$ may be controlled by the integral of $w \abs{\partial_N u}^2$ along $\partial S \cap W$, where $w$ is a smooth factor on $W$ vanishing at $R \cap W$. These results complement recent work of Burq-Zworski which shows that the $L^2$ norm of $u_\lambda$ is controlled by the $L^2$ norm in any pair of strips contained in $R$, but adjacent to $W$.


title: A New Efficient Algorithm for Construction of LLS Models

abstract: We present a new efficient algortithm for construction of linear latent structure (LLS) models. This algorithm reduces a problem of estimation of model parameters to a sequence of problems of linear algebra, which assures a low computational complexity and ability to handle on desktop computers data that involve up to thousands of variables.


title: Young diagrams and embeddings of Grassmannians

abstract: We consider two embeddings between Grassmannians and study the associated morphisms between the corresponding Chow rings.


title: L_p moments of random vectors via majorizing measures

abstract: For a random vector X in R^n, we obtain bounds on the size of a sample, for which the empirical p-th moments of linear functionals are close to the exact ones uniformly on an n-dimensional convex body K. We prove an estimate for a general random vector and apply it to several problems arising in geometric functional analysis. In particular, we find a short Lewis type decomposition for any finite dimensional subspace of L_p. We also prove that for an isotropic log-concave random vector, we only need about n^{p/2} \log n sample points so that the empirical p-th moments of the linear functionals are almost isometrically the same as the exact ones. We obtain a concentration estimate for the empirical moments. The main ingredient of the proof is the construction of an appropriate majorizing measure to bound a certain Gaussian process.


title: Invertibility of random matrices: norm of the inverse

abstract: Let A be an n by n matrix, whose entries are independent copies of a centered random variable satisfying the subgaussian tail estimate. We prove that the operator norm of A^{-1} does not exceed Cn^{3/2} with probability close to 1.


title: Linear Latent Structure Analysis: Mixture Distribution Models with Linear Constraints

abstract: A new method for analyzing high-dimensional categorical data, Linear Latent Structure (LLS) analysis, is presented. LLS models belong to the family of latent structure models, which are mixture distribution models constrained to satisfy the local independence assumption. LLS analysis explicitly considers a family of mixed distributions as a linear space and LLS models are obtained by imposing linear constraints on the mixing distribution. LLS models are identifiable under modest conditions and are consistently estimable. A remarkable feature of LLS analysis is the existence of a high-performance numerical algorithm, which reduces parameter estimation to a sequence of linear algebra problems. Preliminary simulation experiments with a prototype of the algorithm demonstrated a good quality of restoration of model parameters.


title: RSK Insertion for Set Partitions and Diagram Algebras

abstract: We give combinatorial proofs of two identities from the representation theory of the partition algebra $C A_k(n), n \ge 2k$. The first is $n^k = \sum_\lambda f^\lambda m_k^\lambda$, where the sum is over partitions $\lambda$ of $n$, $f^\lambda$ is the number of standard tableaux of shape $\lambda$, and $m_k^\lambda$ is the number of "vacillating tableaux" of shape $\lambda$ and length $2k$. Our proof uses a combination of Robinson-Schensted-Knuth insertion and jeu de taquin. The second identity is $B(2k) = \sum_\lambda (m_k^\lambda)^2$, where $B(2k)$ is the number of set partitions of $\{1, >..., 2k\}$. We show that this insertion restricts to work for the diagram algebras which appear as subalgebras of the partition algebra: the Brauer, Temperley-Lieb, planar partition, rook monoid, planar rook monoid, and symmetric group algebras.


title: On the nonexistence of fat partially hyperbolic horseshoes

abstract: We show that there are no partially hyperbolic horseshoes with positive Lebesgue measure for diffeomorphisms whose class of differentiability is higher than 1. This generalizes a classical result by Bowen for uniformly hyperbolic horseshoes.


title: The Julia set for Henon maps

abstract: In this paper we investigate the support of the unique measure of maximal entropy of complex Henon maps, J^*. The main question is whether this set is the same as the analogue of the Julia set, J.


title: Limits of Chow groups, and a new construction of Chern-Schwartz-MacPherson classes

abstract: We define an `enriched' notion of Chow groups for algebraic varieties, agreeing with the conventional notion for complete varieties, but enjoying a functorial push-forward for arbitrary maps. This tool allows us to glue intersection-theoretic information across elements of a stratification of a variety; we illustrate this operation by giving a direct construction of Chern-Schwartz-MacPherson classes of singular varieties, providing a new proof of an old (and long since settled) conjecture of Deligne and Grothendieck.


title: On the Lyapunov Exponent of Monotone Boolean Networks

abstract: We derive asymptotic formulas for the Lyapunov exponent of almost all monotone Boolean networks. The formulas are different depending on whether the number of variables of the constituent Boolean functions, or equivalently, the connectivity of the Boolean network, is even or odd.


title: A Geometric Form for the Extended Patience Sorting Algorithm

abstract: Patience Sorting is a combinatorial algorithm that can be viewed as an iterated, non-recursive form of the Schensted Insertion Algorithm. In recent work the authors extended Patience Sorting to a full bijection between the symmetric group and certain pairs of combinatorial objects (called pile configurations) that are most naturally defined in terms of generalized permutation pattern and barred pattern avoidance. This Extended Patience Sorting Algorithm is very similar to the Robinson-Schensted-Knuth (or RSK) Correspondence, which is itself built from repeated application of the Schensted Insertion Algorithm. In this work we introduce a geometric form for the Extended Patience Sorting Algorithm that is in some sense a natural dual algorithm to G. Viennot's celebrated Geometric RSK Algorithm. Unlike Geometric RSK, though, the lattice paths coming from Patience Sorting are allowed to intersect. We thus also give a characterization for the intersections of these lattice paths in terms of the pile configurations associated with a given permutation under the Extended Patience Sorting Algorithm.


title: Transitive Hall sets

abstract: We give the definition of Lazard and Hall sets in the context of transitive factorizations of free monoids. The equivalence of the two properties is proved. This allows to build new effective bases of free partially commutative Lie algebras. The commutation graphs for which such sets exist are completely characterized and we explicit, in this context, the classical PBW rewriting process.


title: Harmonicity of Gibbs measures

abstract: In this paper we extend the construction of random walks with a prescribed Poisson boundary to the case of measures in the class of a generalized Gibbs state. The price for dropping the $\alpha$-quasiconformal assumptions is that we must restrict our attention to CAT($-\kappa$) groups. Apart from the new estimates required, we prove a new approximation scheme to provide a positive basis for positive functions in a metric measure space.


title: Levy Processes: Hitting time, overshoot and undershoot - part I: Functional equations

abstract: Let (X_t, t >=0) be a Levy process started at 0, with Levy measure nu, and T_x the first hitting time of level x>0: T_x := inf{t>=0; X_t>x}. Let F(theta,mu,rho,.) be the joint Laplace transform of (T_x, K_x, L_x): F(theta,mu,rho,x) := E (e^{-theta T_x - mu K_x - rho L_x} 1_{T_x<+infinity}), where theta>=0, mu>=0, rho>=0, x>0, K_x := X_{T_x} - x and L_x := x - X_{T_{x^-}}. If nu(R) < + \infinity and integral_1^{+\infty} e^{sy} nu (dy) < +infinity for some s>0, then we prove that F(theta,mu,rho,.) is the unique solution of an integral equation and has a subexponential decay at infinity when theta>0 or theta=0 and E(X_1)<0. If nu is not necessarily a finite measure but verifies integral_{-infinity}^{-1} e^{-sy} nu (dy) < +infinity for any s>0, then the x-Laplace transform of F(theta,mu,rho,.) satisfies some kind of integral equation. This allows us to prove that F(theta,mu,rho,.) is a solution to a second integral equation.


title: Virtual Braids and the L--Move

abstract: In this paper we prove a Markov Theorem for virtual braids and for some analogs of this structure. The virtual braid group is the natural companion in the category of virtual knots, just as the Artin braid group is the natural companion to classical knots and links. In this paper we follow the L--move methods to prove the Virtual Markov Theorem. One benefit of this approach is a fully local algebraic formulation of the Theorem.


title: Dieudonn\'e modules and $p$-divisible groups associated with Morava $K$-theory of Eilenberg-Mac Lane spaces

abstract: We study the structure of the formal groups associated to the Morava $K$-theories of integral Eilenberg-Mac Lane spaces. The main result is that every formal group in the collection $\{K(n)^*K({\mathbb Z}, q), q=2,3,...\}$ for a fixed $n$ enters in it together with its Serre dual, an analogue of a principal polarization on an abelian variety. We also identify the isogeny class of each of these formal groups over an algebraically closed field. These results are obtained with the help of the Dieudonn\'e correspondence between bicommutative Hopf algebras and Dieudonn\'e modules. We extend P. Goerss's results on the bilinear products of such Hopf algebras and corresponding Dieudonn\'e modules.


title: Fuzzy and Neutrosophic Analysis of Women with HIV/AIDS

abstract: This book has six chapters. The first chapter gives a brief introduction about HIV/AIDS among rural women in Tamil Nadu. Chapter 2 is an analysis of the situation using fuzzy theory in general and Fuzzy Relational Maps (FRM)in particular. The FRM tool is specially chosen for two reasons: It can give the hidden pattern of the dynamical system and as the socio-economic condition of women infected with HIV/AIDS is interdependent we choose this special fuzzy tool called FRM. In Chapter 3, we use Fuzzy Associative Memories (FAM) to analyze the problem because FAM is the only fuzzy tool that can give the gradations of each of the nodes/concepts. In Chapter 4 for the first time we use neutrosophic theory in general and neutrosophic relational maps (NRM) in particular to analyze this problem. Interested readers can compare and analyze the two models FRM and NRM. This chapter introduces the notion of Neutrosophic Associative Memories (NAMs) that is an analogous model of Fuzzy Associative Memories. NAMs are applied to this problem and conclusions are based on this analysis. The sixth chapter gives the translated version of the verbatim interviews of the 101 HIV/AIDS infected, rural, uneducated, and poor women of Tamil Nadu.


title: Set maps, umbral calculus, and the chromatic polynomial

abstract: Some important properties of the chromatic polynomial also hold for any polynomial set map satisfying p_S(x+y)=\sum_{T\uplus U=S}p_T(x)p_U(y). Using umbral calculus, we give a formula for the expansion of such a set map in terms of any polynomial sequence of binomial type. This leads to some new expansions of the chromatic polynomial. We also describe a set map generalization of Abel polynomials.


title: Towards commutator theory for relations

abstract: In a general algebraic setting, we state some properties of commutators of reflexive admissible relations.


title: $\mathbb P$-objects and autoequivalences of derived categories

abstract: We describe new autoequivalences of derived categories of coherent sheaves arising from what we call $\mathbb P^n$-objects of the category. Standard examples arise from holomorphic symplectic manifolds. Under mirror symmetry these autoequivalences should be mirror to Seidel's Dehn twists about lagrangian $\mathbb P^n$ submanifolds. We give various connections to spherical objects and spherical twists, and include a simple description of Atiyah and Kodaira-Spencer classes in an appendix.


title: The conjugacy problem and related problems in lattice-ordered groups

abstract: We study, from a constructive computational point of view, the techniques used to solve the conjugacy problem in the "generic" lattice-ordered group Aut(R) of order automorphisms of the real line. We use these techniques in order to show that for each choice of parameters f,g in Aut(R), the equation xfx=g is effectively solvable in Aut(R).


title: Limit theorems for weighted samples with applications to Sequential Monte Carlo Methods

abstract: In the last decade, sequential Monte-Carlo methods (SMC) emerged as a key tool in computational statistics. These algorithms approximate a sequence of distributions by a sequence of weighted empirical measures associated to a weighted population of particles. These particles and weights are generated recursively according to elementary transformations: mutation and selection. Examples of applications include the sequential Monte-Carlo techniques to solve optimal non-linear filtering problems in state-space models, molecular simulation, genetic optimization, etc. Despite many theoretical advances the asymptotic property of these approximations remains of course a question of central interest. In this paper, we analyze sequential Monte Carlo methods from an asymptotic perspective, that is, we establish law of large numbers and invariance principle as the number of particles gets large. We introduce the concepts of "weighted sample" consistency and asymptotic normality, and derive conditions under which the mutation and the selection procedure used in the sequential Monte-Carlo build-up preserve these properties. To illustrate our findings, we analyze SMC algorithms to approximate the filtering distribution in state-space models. We show how our techniques allow to relax restrictive technical conditions used in previously reported works and provide grounds to analyze more sophisticated sequential sampling strategies.


title: Scales, fields, and a problem of Hurewicz

abstract: Menger's basis property is a generalization of $\sigma$-compactness and admits an elegant combinatorial interpretation. We introduce a general combinatorial method to construct non $\sigma$-compact sets of reals with Menger's property. Special instances of these constructions give known counterexamples to conjectures of Menger and Hurewicz. We obtain the first explicit solution to the Hurewicz 1927 problem, that was previously solved by Chaber and Pol on a dichotomic basis. The constructed sets generate nontrivial subfields of the real line with strong combinatorial properties, and most of our results can be stated in a Ramsey-theoretic manner. Since we believe that this paper is of interest to a diverse mathematical audience, we have made a special effort to make it self-contained and accessible.


title: PA is instantiationally complete, but algorithmically incomplete: An alternative interpretation of Goedelian incompleteness under Church's Thesis that links formal logic and computability

abstract: We define instantiational and algorithmic completeness for a formal language. We show that, in the presence of Church's Thesis, an alternative interpretation of Goedelian incompleteness is that Peano Arithmetic is instantiationally complete, but algorithmically incomplete. We then postulate a Provability Thesis that links Peano Arithmetic and effective algorithmic computability, just as Church's Thesis links Recursive Arithmetic and effective instantiational computability.


title: The Mechanist's Challenge

abstract: Did we really hope to get away with The Goedelian Argument? A critical response to J. R. Lucas' 1996 articulation of his 1961 argument.


title: The Goebbellian Syndrome

abstract: Can we really falsify truth by dictat? A critical note on J. R. Lucas' 1996 remarks concerning non-standard models of first-order Peano Arithmetic.


title: Irreducibly acting subgroups of $Gl(n,\rr)$

abstract: In this note we prove the following three algebraic facts which have applications in the theory of holonomy groups and homogeneous spaces: Any irreducibly acting connected subgroup $G \subset Gl(n,\rr)$ is closed. Moreover, if $G$ admits an invariant bilinear form of Lorentzian signature, $G$ is maximal, i.e. it is conjugated to $SO(1,n-1)_0$. Finally we calculate the vector space of $G$-invariant symmetric bilinear forms, show that it is at most 3-dimensional, and determine the maximal stabilizers for each dimension.


title: Screen bundles of Lorentzian manifolds and some generalisations of pp-waves

abstract: A pp-wave is a Lorentzian manifold with a parallel light-like vector field satisfying a certain curvature condition. We introduce generalisations of pp-waves, on one hand by allowing the vector field to be recurrent and on the other hand by weakening the curvature condition. These generalisations are related to the screen holonomy of the Lorentzian manifold. While pp-waves have a trivial screen holonomy there are no restrictions on the screen holonomy of the manifolds with the weaker curvature condition.


title: Palindromic primitives and palindromic bases in the free group of rank two

abstract: The present paper records more details of the relationship between primitive elements and palindromes in F_2, the free group of rank two. We characterise the conjugacy classes of primitive elements which contain palindromes as those which contain cyclically reduced words of odd length. We identify large palindromic subwords of certain primitives in conjugacy classes which contain cyclically reduced words of even length. We show that under obvious conditions on exponent sums, pairs of palindromic primitives form palindromic bases for F_2. Further, we note that each cyclically reduced primitive element is either a palindrome, or the concatenation of two palindromes.


title: Subfactors and 1+1-dimensional TQFTs

abstract: We construct a certain `cobordism category' ${\cal D}$ whose morphisms are suitably decorated cobordism classes between similarly decorated closed oriented 1-manifolds, and show that there is essentially a bijection between (1+1-dimensional) unitary topological quantum field theories (TQFTs) defined on ${\cal D}$, on the one hand, and Jones' subfactor planar algebras, on the other.


title: Zariski pairs on sextics I

abstract: We show the existence of sextics of non-torus type which is a Zariski partner of the tame sextics of torus type with simple singularities.


title: Zariski Pairs on sextics II

abstract: The complete list of reducible sextics of torus type with simple singularities is known in our previous paper. In this paper, we give a complete list of existence and non-existence of Zariski partner sextics of non-torus type corresponding to the list of sextics of torus type.


title: A canonical semi-classical star-product

abstract: We study the Maurer-Cartan equation of the pre-Lie algebra of graphs controling the deformation theory of associative algebras and prove that there is a canonical solution within the class of graphs without circuits, without assuming the Jacobi identity. The proof is based on the unique factorization property of graph insertions.


title: Random walk attracted by percolation clusters

abstract: Starting with a percolation model in $\Z^d$ in the subcritical regime, we consider a random walk described as follows: the probability of transition from $x$ to $y$ is proportional to some function $f$ of the size of the cluster of $y$. This function is supposed to be increasing, so that the random walk is attracted by bigger clusters. For $f(t)=e^{\beta t}$ we prove that there is a phase transition in $\beta$, i.e., the random walk is subdiffusive for large $\beta$ and is diffusive for small $\beta$.


title: A Dynamic P53-MDM2 Model with Time Delay

abstract: Specific activator and repressor transcription factors which bind to specific regulator DNA sequences, play an important role in gene activity control. Interactions between genes coding such transcription factors should explain the different stable or sometimes oscillatory gene activities characteristic for different tissues. Starting with the model P53-MDM2 described into [6] and the process described into [5] we developed a new model of this interaction. Choosing the delay as a bifurcation parameter we study the direction and stability of the bifurcating periodic solutions. Some numerical examples are finally given for justifying the theoretical results.


title: Polyhedral Realizations of Crystal Bases for Quantum Algebras of Finite Types

abstract: Polyhedral realization of crystal bases is one of the methods for describing the crystal base $B(\infty)$ explicitly. This method can be applied to symmetrizable Kac-Moody types. We can also apply this method to the crystal bases $B(\lambda)$ of integrable highest weight modules and of modified quantum algebras. But, the explicit forms of the polyhedral realizations of crystal bases $B(\infty)$ and $B(\lambda)$ are only given in the case of arbitrary rank 2, of $A_n$ and of $A^{(1)}_n$. So, we will give the polyhedral realizations of crystal bases $B(\infty)$ and $B(\lambda)$ for all simple Lie algebras in this paper.


title: Generalized Green functions and unipotent classes for finite reductive groups, I

abstract: The algorithm of computing generalized Green functions of a finite reductive group contains some unkonwn scalars occuring from the F_q structure of irreducible local systems on unipotent classes on G. In this paper, we determine such scalars in the case where G = SL_n with Frobenius map F of split or non-split type. In the case where F is of non-split type, we use the theory of graded Hecke algebras and their representations on the equivariant homology group due to Lusztig.


title: Cohomologie de Chevalley des graphes vectoriels

abstract: The space of smotth functions and vector fields on $\R^d$ is a Lie subalgebra of the (graded) Lie algebra $T\_{poly}(\R^d)$, equipped with the Scouten bracket. In this paper, we compute the cohomology of this subalgebra for the adjoint representation in $T\_{poly}(\R^d)$, restricting ourselves to the case of cochains defined with purely aerial Kontsevich's graphs, as in [AGM]. We find results which are very similar to the classical Gelfand-Fuchs and de Wilde-Lecomte one.


title: Surfaces with DIF$\ne$DEF real structures

abstract: We study real Campedelli surfaces up to real deformations and exhibit a number of such surfaces which are equivariantly diffeomorphic but not real deformation equivalent.


title: Correspondences and index

abstract: We define certain class of correspondences of polarized representations of $C^*$-algebras. Our correspondences are modeled on the spaces of boundary values of elliptic operators on bordisms joining two manifolds. In this setup we define the index. The main subject of the paper is the additivity of the index.


title: The infinitesimal 16th Hilbert problem in dimension zero

abstract: We study the analogue of the infinitesimal 16th Hilbert problem in dimension zero. Lower and upper bounds for the number of the zeros of the corresponding Abelian integrals (which are algebraic functions) are found. We study the relation between the vanishing of an Abelian integral $I(t)$ defined over $\mathbb{Q}$ and its arithmetic properties. Finally, we give necessary and sufficient conditions for an Abelian integral to be identically zero.


title: Small Valdivia compact spaces

abstract: We prove a preservation theorem for the class of Valdivia compact spaces, which involves inverse sequences of ``simple'' retractions. Consequently, a compact space of weight $\loe\aleph_1$ is Valdivia compact iff it is the limit of an inverse sequence of metric compacta whose bonding maps are retractions. As a corollary, we show that the class of Valdivia compacta of weight at most $\aleph_1$ is preserved both under retractions and under open 0-dimensional images. Finally, we characterize the class of all Valdivia compacta in the language of category theory, which implies that this class is preserved under all continuous weight preserving functors.


title: Geodesics in nilpotent Lie groups

abstract: We study the geodesics problem in Heisenberg group H (case SR and riemannian). The sheaf of infinitesimal automorphisms of the (2n,2n+1) distribution D over H is an infinite, transitive Lie algebra sheaf.


title: Derived equivalence classification of one-parametric selfinjective algebras

abstract: We give a complete description of the derived equivalence normal forms of all one-parametric selfinjective algebras over algebraically closed fields which admit simply connected Galois coverings. As a consequence, a description of the stable equivalence normal forms of these algebras is also obtained.


title: k-hyponormality of finite rank perturbations of unilateral weighted shifts

abstract: In this paper we explore finite rank perturbations of unilateral weighted shifts $W_\alpha$. First, we prove that the subnormality of $W_\alpha$ is never stable under nonzero finite rank pertrubations unless the perturbation occurs at the zeroth weight. Second, we establish that 2-hyponormality implies positive quadratic hyponormality, in the sense that the Maclaurin coefficients of $D_n(s):=\text{det} P_n [(W_\alpha+sW_\alpha^2)^*, W_\alpha+s W_\alpha^2] P_n$ are nonnegative, for every $n\ge 0$, where $P_n$ denotes the orthogonal projection onto the basis vectors $\{e_0,...,e_n\}$. Finally, for $\alpha$ strictly increasing and $W_\alpha$ 2-hyponormal, we show that for a small finite-rank perturbation $\alpha^\prime$ of $\alpha$, the shift $W_{\alpha^\prime}$ remains quadratically hyponormal.


title: Toroidal normal forms for bifurcations in retarded functional differential equations II: Saddle-node/multiple Hopf interaction

abstract: In this paper, we study the realizability problem for retarded functional differential equations near an equilibrium point undergoing a nonlinear mode interaction between a saddle-node bifurcation and a non-resonant multiple Hopf bifurcation. In contrast to the case of transcritical/multiple Hopf interaction which was studied in an earlier paper, the analysis here is complicated by the presence of a nilpotency which introduces a non-compact component in the symmetry group of the normal form. We present a framework to analyse the realizability problem in this non-semisimple case which exploits to a large extent our previous results for the realizability problem in the semisimple case. Apart from providing a solution to the problem of interest in this paper, it is believed that the approach used here could potentially be adapted to the study of the realizability problem for toroidal normal forms in the general case of repeated eigenvalues with Jordan blocks.


title: Truncated K-moment problems in several variables

abstract: Let $\beta\equiv\beta^{(2n)}$ be an N-dimensional real multi-sequence of degree 2n, with associated moment matrix $\mathcal{M}(n)\equiv \mathcal{M}(n)(\beta)$, and let $r:=rank \mathcal{M}(n)$. We prove that if $\mathcal{M}(n)$ is positive semidefinite and admits a rank-preserving moment matrix extension $\mathcal{M}(n+1)$, then $\mathcal{M}(n+1)$ has a unique representing measure \mu, which is r-atomic, with supp \mu$ equal to $\mathcal{V}(\mathcal{M}(n+1))$, the algebraic variety of $\mathcal{M}(n+1)$. Further, \beta has an r-atomic (minimal) representing measure supported in a semi-algebraic set $K_{\mathcal{Q}}$ subordinate to a family $\mathcal{Q}% \equiv\{q_{i}\}_{i=1}^{m}\subseteq\mathbb{R}[t_{1},...,t_{N}]$ if and only if $\mathcal{M}(n)$ is positive semidefinite and admits a rank-preserving extension $\mathcal{M}(n+1)$ for which the associated localizing matrices $\mathcal{M}_{q_{i}}(n+[\frac{1+\deg q_{i}}{2}])$ are positive semidefinite $(1\leq i\leq m)$; in this case, \mu (as above) satisfies supp \mu\subseteq K_{\mathcal{Q}}$, and \mu has precisely rank \mathcal{M}(n)-rank \mathcal{M}_{q_{i}}(n+[\frac{1+\deg q_{i}}{2}])$ atoms in $\mathcal{Z}(q_{i})\equiv {t\in\mathbb{R}^{N}:q_{i}(t)=0}$, $1\leq i\leq m$.


title: Almost complex structures on the cotangent bundle

abstract: We construct some lift of an almost complex structure to the cotangent bundle, using a connection on the base manifold. This generalizes the complete lift defined by I.Sato and the horizontal lift introduced by K.Yano and S.Ishihara. We study some geometric properties of this lift and its compatibility with symplectic forms on the cotangent bundle.


title: Solution of the truncated hyperbolic moment problem

abstract: Let Q(x,y)=0 be an hyperbola in the plane. Given real numbers $\beta \equiv\beta^{2n)}=\{\beta_{ij}\}_{i,j\geq0,i+j\leq2n}$, with $\beta_{00}>0$, the truncated Q-hyperbolic moment problem for \beta entails finding necessary and sufficient conditions for the existence of a positive Borel measure \mu, supported in Q(x,y)=0, such that $\beta_{ij}=\int y^{i}x^{j} d\mu (0\leq i+j\leq2n)$. We prove that \beta admits a Q-representing measure \mu (as above) if and only if the associated moment matrix $\mathcal{M}(n)(\beta)$ is positive semidefinite, recursively generated, has a column relation Q(X,Y)=0, and the algebraic variety $\mathcal{V}(\beta)$ associated to \beta satisfies $card\mathcal{V}(\beta)\geq\rank\mathcal{M}(n)(\beta)$. In this case, $rank\mathcal{M}(n)\leq2n+1$; if $rank\mathcal{M}(n)\leq2n$, then \beta admits a $rank\mathcal{M}(n)$-atomic (minimal) Q-representing measure; if $rank\mathcal{M}(n)=2n+1$, then \beta admits a Q-representing measure \mu satisfying $2n+1\leqcard supp\mu\leq2n+2$.


title: Alg`ebres simples centrales sur les corps de fonctions de deux variables

abstract: Let F be a function field in two variables over an algebraically closed field of characteristic zero. The main part of this Bourbaki talk describes A. J. de Jong's proof (Duke Math. J. 123 (2004) 71-94) that index and exponent coincide for central simple algebras over F. The text follows the simplified approach sketched at the end of de Jong's paper. Applications to linear algebraic groups are given. A last section surveys results on the comparison between index and exponent for central simple algebras over a function field in one variable over a p-adic field, with application to the isotropy of quadratic forms over such fields. ----- `A toute classe dans le groupe de Brauer d'un corps F sont associ'es deux entiers, l'indice (degr'e d'un corps gauche repr'esentant la classe) et l'exposant (ordre de la classe dans le groupe de Brauer). L'exposant divise l'indice, mais ne lui est pas n'ecessairement 'egal. Lorsque F est un corps de nombres, c'est un th'eor`eme des ann'ees 1930 qu'exposant et indice coincident. A. J. de Jong (Duke Math. J. 123 (2004) 71-94) a montr'e r'ecemment qu'ils coincident aussi lorsque F est un corps de fonctions de deux variables sur le corps des complexes. Apr`es des rappels sur le groupe de Brauer (Azumaya et Grothendieck), l'expos'e d'ecrit l'essentiel de la d'emonstration, dans la version simplifi'ee sugg'er'ee `a la fin de l'article de de Jong. On donne ensuite quelques cons'equences pour les groupes lin'eaires. Un dernier paragraphe passe en revue des r'esultats comparant exposant et indice pour les corps de fonctions d'une variable sur les corps p-adiques, avec application `a l'isotropie des formes quadratiques sur de tels corps.


title: k-hyponormality of multivariable weighted shifts

abstract: We characterize joint k-hyponormality for 2-variable weighted shifts. Using this characterization we construct a family of examples which establishes and illustrates the gap between k-hyponormality and (k+1)-hyponormality for each k>=1. As a consequence, we obtain an abstract solution to the Lifting Problem for Commuting Subnormals.


title: A Luenberger-style Observer for Robot Manipulators with Position Measurements

abstract: This paper presents a novel Luenberger-style observer for robot manipulators with position measurements. Under the assumption that the state evolutions that are to be observed have bounded velocities, it is shown that the origin of the observation error dynamics is globally exponentially stable and that the corresponding convergence rate can be made arbitrarily high by increasing a gain of the observer. Comparisons and relations between the proposed observer and existing observers are discussed. The effectiveness of the result here presented is illustrated by a simulation of the observer for the Pendubot, an underactuated two-joint manipulator.


title: Complex Horseshoes and the Dynamics of Mappings of Two Complex Variables

abstract: In this study, a theory analogous to both the theories of polynomial-like mappings and Smale's real horseshoes is developed for the study of the dynamics of mappings of two complex variables. In partial analogy with polynomials in a single variable there are the H\'enon mappings in two variables as well as higher dimensional analogues. From polynomial-like mappings, H\'enon-like and quasi-H\'enon-like mappings are defined following this analogy. A special form of the latter is the complex horseshoe. The major results about the real horseshoes of Smale remain true in the complex setting. In particular: (1) Trapping fields of cones(which are sectors in the real case) in the tangent spaces can be defined and used to find horseshoes. (2) The dynamics of a horseshoe is that of the two-sided shift on the symbol space on some number of symbols which depends on the type of the horseshoe. (3) Transverse intersections of the stable and unstable manifolds of a hyperbolic periodic point guarantee the existence of horseshoes.


title: A remark on a theorem of M. Haiman

abstract: We deduce a special case of a theorem of M. Haiman concerning alternating polynomials in 2n variables from our results about almost commuting variety, obtained earlier in a joint work with W.-L. Gan.


title: Natural connections on the bundle of Riemannian metrics

abstract: Let $FM,\mathcal{M}_M$ be the bundles of linear frames and Riemannian metrics of a manifold $M$, respectively. The existence of a unique $\mathrm{Diff}M$-invariant connection form on $J^1\mathcal{M}_M\times_MFM\to J^1\mathcal{M}_M$, which is Riemannian with respect to the universal metric on $J^1\mathcal{M}_M\times_MTM$, is proved. Aplications to the construction of universal Pontryagin and Euler forms, are given.


title: Pontryagin forms on $(4k-2)$-manifolds and symplectic structures on the spaces of Riemannian metrics

abstract: The Pontryagin forms on 1-jet bundle of Riemannian metrics, are shown to provide, in a natural way, diffeomorphism-invariant pre-symplectic structures on the space of Riemannian metrics for dimensions $n=4r-2$. The equivariant Pontryagin forms provide canonical moment maps for these structures. In dimension two, the symplectic reduction corresponding to the pre-symplectic form and its moment map attached to the first Pontryagin form, is proved to coincide with the Teichm\"{u}ller space endowed with the Weil-Petersson symplectic form.


title: On deformation theory and graph homology

abstract: Deformation theory of associative algebras and in particular of Poisson algebras is reviewed. The role of an almost contraction leading to a canonical solution of the corresponding Maurer-Cartan equation is noted. This role is reminiscent of the homotopical perturbation lemma, with the infinitesimal deformation cocycle as initiator. Applied to star-products, we show how Moyal's formula can be obtained using such an almost contraction and conjecture that the merger operation provides a canonical solution at least in the case of linear Poisson structures.


title: Surfaces in the complex projective plane and their mapping class groups

abstract: An orientation preserving diffeomorphism over a surface embedded in a 4-manifold is called extendable, if this diffeomorphism is a restriction of an orientation preserving diffeomorphism on this 4-manifold. In this paper, we investigate conditions for extendability of diffeomorphisms over surfaces in the complex projective plane.


title: Gradient Bounds for Solutions of Elliptic and Parabolic Equations

abstract: Let $L$ be a second order elliptic operator on $R^d$ with a constant diffusion matrix and a dissipative (in a weak sense) drift $b \in L^p_{loc}$ with some $p>d$. We assume that $L$ possesses a Lyapunov function, but no local boundedness of $b$ is assumed. It is known that then there exists a unique probability measure $\mu$ satisfying the equation $L^*\mu=0$ and that the closure of $L$ in $L^1(\mu)$ generates a Markov semigroup $\{T_t\}_{t\ge 0}$ with the resolvent $\{G_\lambda\}_{\lambda > 0}$. We prove that, for any Lipschitzian function $f\in L^1(\mu)$ and all $t,\lambda>0$, the functions $T_tf$ and $G_\lambda f$ are Lipschitzian and |\nabla T_tf(x)| \leq T_t|\nabla f|(x) and |\nabla G_\lambda f(x)| \leq \frac{1}{\lambda} G_\lambda |\nabla f|(x). An analogous result is proved in the parabolic case.


title: Equi-energy sampler with applications in statistical inference and statistical mechanics

abstract: We introduce a new sampling algorithm, the equi-energy sampler, for efficient statistical sampling and estimation. Complementary to the widely used temperature-domain methods, the equi-energy sampler, utilizing the temperature--energy duality, targets the energy directly. The focus on the energy function not only facilitates efficient sampling, but also provides a powerful means for statistical estimation, for example, the calculation of the density of states and microcanonical averages in statistical mechanics. The equi-energy sampler is applied to a variety of problems, including exponential regression in statistics, motif sampling in computational biology and protein folding in biophysics.

categories: math.ST astro-ph physics.comp-ph stat.TH


title: Bounded $\mathbf{H_\infty}$-Calculus for Differential Operators on Conic Manifolds with Boundary

abstract: We derive conditions that ensure the existence of a bounded $H_\infty$-calculus in weighted $L_p$-Sobolev spaces for closed extensions $\underline{A}_T$ of a differential operator $A$ on a conic manifold with boundary, subject to differential boundary conditions $T$. In general, these conditions ask for a particular pseudodifferential structure of the resolvent $(\lambda-\underline{A}_T)^{-1}$ in a sector $\Lambda\subset\mathbf{C}$. In case of the minimal extension they reduce to parameter-ellipticity of the boundary value problem $(A,T)$. Examples concern the Dirichlet and Neumann Laplacians.


title: Fast Computation Of the Economic Capital, the Value at Risk and the Greeks of a Loan Portfolio in the Gaussian Factor Model

abstract: We propose a fast algorithm for computing the economic capital, Value at Risk and Greeks in the Gaussian factor model. The algorithm proposed here is much faster than brute force Monte Carlo simulations or Fourier transform based methods \cite{MD}. While the algorithm of Hull-White \cite{HW} is comparably fast, it assumes that all the loans in the portfolio have equal notionals and recovery rates. This is a very restrictive assumption which is unrealistic for many portfolios encountered in practice. Our algorithm makes no assumptions about the homogeneity of the portfolio. Additionally, it is easier to implement than the algorithm of Hull-White. We use the implicit function theorem to derive analytic expressions for the Greeks.

categories: math.ST math.PR q-fin.CP q-fin.RM stat.TH


title: Interpolation in Semigroupoid Algebras

abstract: A seminal result of Agler characterizes the so-called Schur-Agler class of functions on the polydisk in terms of a unitary colligation transfer function representation. We generalize this to the unit ball of the algebra of multipliers for a family of test functions over a broad class of semigroupoids. There is then an associated interpolation theorem. Besides leading to solutions of the familiar Nevanlinna-Pick and Caratheodory-Fejer interpolation problems and their multivariable commutative and noncommutative generalizations, this approach also covers more exotic examples.


title: Central limit theorems for a class of irreducible multicolor urn models

abstract: We take a unified approach to central limit theorems for a class of irreducible urn models with constant replacement matrix. Depending on the eigenvalue, we consider appropriate linear combinations of the number of balls of different colors. Then under appropriate norming the multivariate distribution of the weak limits of these linear combinations is obtained and independence and dependence issues are investigated.


title: Exotic smooth structures on 3{CP}^2#8{-CP}^2

abstract: Motivated by Stipsicz and Szab\'{o}'s exotic 4-manifolds with b_2^+=3 and b_2^-=8, we construct a family of simply connected smooth 4-manifolds with b_2^+=3 and b_2^-=8. As a corollary, we conclude that the topological 4-manifold 3{CP}^2#8{-CP}^2 admits infinitely many distinct smooth structures.


title: Conformal blocks revisited

abstract: We give a simple coordinate free description of the WZW connection and derive its main properties.


title: Rational curves and ordinary differential equations

abstract: The systems of complex analytic second order ordinary differential equations whose solutions close up to become rational curves (after analytic continuation) are characterized by the vanishing of an explicit differential invariant, and turn out to provide an infinite dimensional family of integrable systems.


title: Gradient bounds for minimizers of free discontinuity problems related to cohesive zone models in fracture mechanics

abstract: In this note we consider a free discontinuity problem for a scalar function, whose energy depends also on the size of the jump. We prove that the gradient of every smooth local minimizer never exceeds a constant, determined only by the data of the problem.


title: Addendum to the discussion of "Breakdown and groups"

abstract: In his discussion of Davies and Gather [Ann. Statist. 33 (2005) 977--1035] [math.ST/0508497] Tyler pointed out that the theory developed there could not be applied to the case of directional data. He related the breakdown of directional functionals to the problem of definability. In this addendum we provide a concept of breakdown defined in terms of definability and not in terms of bias. If a group of finite order $k$ acts on the sample space we show that the breakdown point can be bounded above by $(k-1)/k$. In the case of directional data there is a group of order $k=2$ giving an upper bound of 1/2.


title: Context-Freeness of Higman-Thompson group's co-word problem

abstract: The co-word problem of a group G generated by a set X is defined as the set of words in X which do not represent 1 in G. We introduce a new method to decide if a permutation group has context-free co-word problem. We use this method to show, that the Higman-Thompson groups, and therefore the Houghton groups, have context-free co-word problem. We also give some examples of groups, that even have an easier co-word problem. We call this property semi-deterministic context-free. The second Houghton group belongs to this class.


title: Spectral domain boundaries in cellular automata

abstract: Let L:=Z^D be a D-dimensional lattice. Let A^L be the Cantor space of L-indexed configurations in a finite alphabet A, with the natural L-action by shifts. A `cellular automaton' is a continuous, shift-commuting self-map F:A^L-->A^L. An `F-invariant subshift' is a closed, F-invariant and shift-invariant subset X of A^L. Suppose x is an element of A^L that is X-admissible everywhere except for some small region of L which we call a `defect'. Such defects are analogous to `domain boundaries' in a crystalline solid. It has been empirically observed that these defects persist under iteration of F, and often propagate like `particles' which coalesce or annihilate on contact. We use spectral theory to explain the persistence of some defects under F, and partly explain the outcomes of their collisions.


title: Supertrace and superquadratic Lie structure on the Weyl algebra, with applications to formal inverse Weyl transform

abstract: Using the Moyal *-product and orthosymplectic supersymmetry, we construct a natural non trivial supertrace and an associated non degenerate invariant supersymmetric bilinear form for the Lie superalgebra structure of the Weyl algebra. We decompose adjoint and twisted adjoint actions. We define a renormalized supertrace and a formal inverse Weyl transform in a deformation quantization framework and develop some examples.


title: Equations for $\bar M_{0,n}$

abstract: We show that the log canonical bundle, $\kappa$, of $\bar M_{0,n}$ is very ample, show the homogeneous coordinate ring is Koszul, and give a nice set of rank 4 quadratic generators for the homogeneous ideal: The embedding is equivariant for the symmetric group, and the image lies on many Segre embedded copies of $P^1 \times P^2 \times ... \times P^{n-3}$, permuted by the symmetric group. The homogeneous ideal of $\bar M_{0,n}$ is the sum of the homogeneous ideals of these Segre embeddings.


title: Graph W*-Probability on the Free Group Factor L(F_N)

abstract: In this paper, we will use the graph W*-probability technique to re-compute the moments and cumulants of the operator which is the N-free sum of semicircular elements. This computation is well-known, but I used the graph probability technique to resolve them. By considering this idea, we will consider the embedding of the free group factor L(F_N) into a graph W*-algebra.


title: Free Product Structure of a Graph W*-probability space

abstract: In this paper, we observe the amalgamated free product structure of a Graph W*-probability space. In [16] and [17], we already observed the operator-valued freeness conditions on a graph W*-algebra. By using the conditions, we will consider the amalgamated free product structure of a graph W*-algebra. In particular, we can make the algebra be blocked, by so-called the loop free blocks (D_G-semicircular blocks) and non-loop blocks (R-diagonal blocks). Finally, we can see the the graph W*-algebra is the free product of edge blocks of the algebra.


title: Linear series and existence of branched covers

abstract: In this paper, we use the perspective of linear series, and in particular results following from the degeneration tools of limit linear series, to give a number of new results on existence and non-existence of branched covers of the projective line in positive characteristic. Our results are both in terms of ramification indices and the sharper invariant of monodromy groups, and the first class of results are obtained by intrinsically algebraic and positive-characteristic arguments.


title: Bounded cohomology and isometry groups of hyperbolic spaces

abstract: Let X be an arbitrary hyperbolic geodesic metric space and let G be a countable non-elementary weakly acylindrical group of isometries of X. We show that the second bounded cohomology group of G with real coefficients or with coefficients in the regular representation is infinite dimensional. The result holds for any subgroup of the mapping class group of a non-exceptional surface of finite type not containing a normal subgroup which virtually split as a direct product.


title: Galois theory of q-difference equations

abstract: Choose $q\in {\mathbb C}$ with 0<|q|<1. The main theme of this paper is the study of linear q-difference equations over the field K of germs of meromorphic functions at 0. It turns out that a difference module M over K induces in a functorial way a vector bundle v(M) on the Tate curve $E_q:={\mathbb C}^*/q^{\mathbb Z}$. As a corollary one rediscovers Atiyah's classification of the indecomposable vector bundles on the complex Tate curve. Linear q-difference equations are also studied in positive characteristic in order to derive Atiyah's results for elliptic curves for which the j-invariant is not algebraic over ${\mathbb F}_p$. A universal difference ring and a universal formal difference Galois group are introduced. Part of the difference Galois group has an interpretation as `Stokes matrices', the above moduli space is the algebraic tool to compute it. It is possible to provide the vector bundle v(M) on E_q, corresponding to a difference module M over K, with a connection $\nabla_M$. If M is regular singular, then $\nabla_M$ is essentially determined by the absense of singularities and `unit circle monodromy'. More precisely, the monodromy of the connection $(v(M),\nabla_M)$ coincides with the action of two topological generators of the universal regular singular difference Galois group. For irregular difference modules, $\nabla_M$ will have singularities and there are various Tannakian choices for $M\mapsto (v(M),\nabla_M)$. Explicit computations are difficult, especially for the case of non integer slopes.


title: Collapsing manifolds obtained by Kummer-type constructions

abstract: We construct F-structures on a Bott manifold and on some other manifolds obtained by Kummer-type constructions. We also prove that if M=E#X, where E is a fiber bundle with structure group G and a fiber admitting a G-invariant metric of non-negative sectional curvature and X admits an F-structure with one trivial covering, then one can construct on M a sequence of metrics with sectional curvature uniformly bounded from below and volume tending to zero (i.e. $Vol_K$ (M)=0). As a corollary we prove that all the elements in the Spin cobordism group can be represented by manifolds M with $Vol_K$ (M)==0.


title: Single valued conjugates and holomorphic extendibility

abstract: Let D be a bounded domain in the complex plane whose boundary consists of m pairwise disjoint simple closed curves where m is greater than one. Let A(bD) be the algebra of all continuous functions on bD which extend holomorphically through D. We show that a continuous function f on bD belongs to A(bD) if for each g in A(bD) the harmonic extension of Re(fg) to D has a single valued conjugate.


title: Bost-Connes-Marcolli systems for Shimura varieties. I. Definitions and formal analytic properties

abstract: We construct a quantum statistical mechanical system $(A,s)$ analogous to the systems constructed by Bost-Connes and Connes-Marcolli in the case of Shimura varieties. Along the way, we define a new Bost-Connes system for number fields which has the ``correct'' partition function and the ``correct'' symmetries. We give a formalism that applies to general Shimura data $(G,X)$. The object of this series of papers is to show that these systems exhibit phase transitions with spontaneous symmetry breaking, and to classify their KMS states, at least for low temperature.


title: On the strong consistency of asymptotic M-estimators

abstract: The aim of this article is to simplify Pfanzagl's proof of consistency for asymptotic maximum likelihood estimators, and to extend it to more general asymptotic M-estimators. The method relies on the existence of a sort of contraction of the parameter space which admits the true parameter as a fixed point. The proofs are short and elementary.


title: Reduced Genus-One Gromov-Witten Invariants

abstract: In a previous paper we described a natural closed subset of the moduli space of stable genus-one J-holomorphic maps into a symplectic manifold X. In this paper we generalize the definition of the main component to moduli spaces of perturbed, in a restricted way, J-holomorphic maps. This generalization implies that the main component, just like the entire moduli space, carries a virtual fundamental class and can be used to define symplectic invariants. These truly genus-one invariants constitute part of the standard genus-one Gromov-Witten invariants, which arise from the entire moduli space. The new invariants are more geometric and can be used to compute the genus-one GW-invariants of complete intersections, as shown in a separate paper.


title: On the Genus-One Gromov-Witten Invariants of Complete Intersections

abstract: As shown in a previous paper, certain naturally arising cones of holomorphic vector bundle sections over the main component $\ov\M_{1,k}^0(\P,d)$ of the moduli space of stable genus-one holomorphic maps into $\P$ have a well-defined euler class. In this paper, we extend this result to moduli spaces of perturbed, in a restricted way, $J$-holomorphic maps. We show that euler classes of such cones relate the reduced genus-one Gromov-Witten invariants of complete intersections to the corresponding GW-invariants of the ambient projective space. As a consequence, the standard genus-one GW-invariants of complete intersections can be expressed in terms of the genus-zero and genus-one GW-invariants of projective spaces. We state such a relationship explicitly for complete-intersection threefolds. A relationship for higher-genus invariants is conjectured as well.


title: Counting Plane Rational Curves: Old and New Approaches

abstract: These notes are intended as an easy-to-read supplement to part of the background material presented in my talks on enumerative geometry. In particular, the numbers $n_3$ and $n_4$ of plane rational cubics through eight points and of plane rational quartics through eleven points are determined via the classical approach of counting curves. The computation of the latter number also illustrates my topological approach to counting the zeros of a fixed vector bundle section that lie in the main stratum of a compact space. The arguments used in the computation of the number $n_4$ extend easily to counting plane curves with two or three nodes, for example. Finally, an inductive formula for the number $n_d$ of plane degree-$d$ rational curves passing through $3d-1$ points is derived via the modern approach of counting stable maps.


title: A definition of descendants at one point in graph calculus

abstract: We study the genus expansion of Barannikov-Kontsevich solutions of the WDVV equation. In terms of the related graph calculus we give a definition of descendants at one point and prove that this definition satisfies the topological recursion relations in genera 0, 1, and 2, string and dilaton equations, and the pull-back formula.


title: Belorousski-Pandharipande relation in dGBV algebras

abstract: We prove that the genus expansion of solutions of the WDVV equation constructed from dGBV algebras satisfy the differential equation determined by the Belorousski-Pandharipande relation in cohomology of the moduli space of curves $\bar{\mathcal{M}}_{2,3}$.


title: A Direct Proof of Landen's Transformation

abstract: We prove Landen's transformation by a direct elementary transformation of infinite series


title: Mathematical computability questions for some classes of linear and non-linear differential equations originated from Hilbert's tenth problem

abstract: Inspired by Quantum Mechanics, we reformulate Hilbert's tenth problem in the domain of integer arithmetics into problems involving either a set of infinitely-coupled non-linear differential equations or a class of linear Schr\"odinger equations with some appropriate time-dependent Hamiltonians. We then raise the questions whether these two classes of differential equations are computable or not in some computation models of computable analysis. These are non-trivial and important questions given that: (i) not all computation models of computable analysis are equivalent, unlike the case with classical recursion theory; (ii) and not all models necessarily and inevitably reduce computability of real functions to discrete computations on Turing machines. However unlikely the positive answers to our computability questions, their existence should deserve special attention and be satisfactorily settled since such positive answers may also have interesting logical consequence back in the classical recursion theory for the Church-Turing thesis.


title: The chromatic numbers of double coverings of a graph

abstract: If we fix a spanning subgraph $H$ of a graph $G$, we can define a chromatic number of $H$ with respect to $G$ and we show that it coincides with the chromatic number of a double covering of $G$ with co-support $H$. We also find a few estimations for the chromatic numbers of $H$ with respect to $G$.


title: A special value of the spectral zeta function of the non-commutative harmonic osciallators

abstract: The non-commutative harmonic oscillator is a $2\times2$-system of harmonic oscillators with a non-trivial correlation. We write down explicitly the special value at $s=2$ of the spectral zeta function of the non-commutative harmonic oscillator in terms of the complete elliptic integral of the first kind, which is a special case of a hypergeometric function.


title: Enumeration of non-positive planar trivalent graphs

abstract: In this paper we construct inverse bijections between two sequences of finite sets. One sequence is defined by planar diagrams and the other by lattice walks. G. Kuperberg has shown that the number of elements in these two sets are equal. This problem and the methods we use are motivated by the representation theory of the exceptional simple Lie algebra $G_2$. However in this account we have emphasised the combinatorics.


title: Cluster algebras associated with extended Dynkin quivers

abstract: We show that the mutation class of a finite quiver without oriented cycles is finite if and only is the quiver is either Dynkin, extended Dynkin or has at most two vertices.


title: Level 1 Perfect Crystals and Path Realizations of Basic Representations at q=0

abstract: We present a uniform construction of level 1 perfect crystals $\mathcal B$ for all affine Lie algebras. We also introduce the notion of a crystal algebra and give an explicit description of its multiplication. This allows us to determine the energy function on $\mathcal B \otimes \mathcal B$ completely and thereby give a path realization of the basic representations at $q=0$ in the homogeneous picture.


title: Distributed Algorithms in an Ergodic Markovian Environment

abstract: We provide a probabilistic analysis of the banker algorithm when transition probabilities may depend on time and space. The transition probabilities evolve, as time goes by, along the trajectory of an ergodic Markovian environment, whereas the spatial parameter just acts on long runs. Our model appears as a new (small) step towards more general time and space dependent protocols. Our analysis relies on well-known results in stochastic homogenization theory and investigates the asymptotic behaviour of the rescaled algorithm as the total amount of resource available for allocation tends to the infinity. In the two dimensional setting, we manage to exhibit three different possible regimes for the deadlock time of the limit system.


title: Weak identity arrows in higher categories

abstract: There are a dozen definitions of weak higher categories, all of which loosen the notion of composition of arrows. A new approach is presented here, where instead the notion of identity arrow is weakened -- these are tentatively called fair categories. The approach is simplicial in spirit, but the usual simplicial category $\Delta$ is replaced by a certain `fat' delta of `coloured ordinals', where the degeneracy maps are only up to homotopy. The first part of this exposition is aimed at a broad mathematical readership and contains also a brief introduction to simplicial viewpoints on higher categories in general. It is explained how the definition of fair $n$-category is almost forced upon us by three standard ideas. The second part states some basic results about fair categories, and give examples. The category of fair 2-categories is shown to be equivalent to the category of bicategories with strict composition law. Fair 3-categories correspond to tricategories with strict composition laws. The main motivation for the theory is Simpson's weak-unit conjecture according to which $n$-groupoids with strict composition laws and weak units should model all homotopy $n$-types. A proof of a version of this conjecture in dimension 3 is announced, obtained in joint work with A. Joyal. Technical details and a fuller treatment of the applications will appear elsewhere.


title: Cohomology of colorings of cycles

abstract: We compute the cohomology groups of the spaces of colorings of cycles, i.e., of the prodsimplicial complexes Hom(C_m,K_n). We perform the computation first with Z_2, and then with integer coefficients. The main technical tool is to use spectral sequences in conjunction with a detailed combinatorial analysis of a family of cubical complexes, which we call torus front complexes. As an application of our method, we demonstrate how to collapse each connected component of Hom(C_m,C_n) onto a garland of cubes.


title: Configurations of lines and models of Lie algebras

abstract: The automorphism groups of the 27 lines on the smooth cubic surface or the 28 bitangents to the general quartic plane curve are well-known to be closely related to the Weyl groups of $E\_6$ and $E\_7$. We show how classical subconfigurations of lines, such as double-sixes, triple systems or Steiner sets, are easily constructed from certain models of the exceptional Lie algebras. For ${\mathfrak e}\_7$ and ${\mathfrak e}\_8$ we are lead to beautiful models graded over the octonions, which display these algebras as plane projective geometries of subalgebras. We also interpret the group of the bitangents as a group of transformations of the triangles in the Fano plane, and show how this allows to realize the isomorphism $PSL(3,F\_2)\simeq PSL(2,F\_7)$ in terms of harmonic cubes.


title: Lattice Delone simplices with super-exponential volume

abstract: In this short note we give a construction of an infinite series of Delone simplices whose relative volume grows super-exponentially with their dimension. This dramatically improves the previous best lower bound, which was linear.


title: The topology of the monodromy map of the second order ODE

abstract: We consider the following question: given $A \in SL(2,R)$, which potentials $q$ for the second order Sturm-Liouville problem have $A$ as its Floquet multiplier? More precisely, define the monodromy map $\mu$ taking a potential $q \in L^2([0,2\pi])$ to $\mu(q) = \tilde\Phi(2\pi)$, the lift to the universal cover $G = \widetilde{SL(2,R)}$ of $SL(2,R)$ of the fundamental matrix map $\Phi: [0,2\pi] \to SL(2,R)$, \[ \Phi(0) = I, \quad \Phi'(t) = \begin{pmatrix} 0 & 1 q(t) & 0 \end{pmatrix} \Phi(t). \] Let $H$ be the real infinite dimensional separable Hilbert space: we present an explicit diffeomorphism $\Psi: G_0 \times H \to H^0([0,2\pi])$ such that the composition $\mu \circ \Psi$ is the projection on the first coordinate. The key ingredient is the correspondence between potentials $q$ and the image in the plane of the first row of $\Phi$, parametrized by polar coordinates, which we call the Kepler transform. As an application among others, let $C_1 \subset L^2([0,2\pi])$ be the set of potentials $q$ for which the equation $-u'' + qu = 0$ admits a nonzero periodic solution: $C_1$ is diffeomorphic to the disjoint union of a hyperplane and cartesian products of the usual cone in $R^3$ with $H$.


title: On the poles of topological zeta functions

abstract: We study the topological zeta function Z_{top,f}(s) associated to a polynomial f with complex coefficients. This is a rational function in one variable and we want to determine the numbers that can occur as a pole of some topological zeta function; by definition these poles are negative rational numbers. We deal with this question in any dimension. Denote P_n := {s_0 | \exists f in C[x_1,..., x_n] : Z_{top,f}(s) has a pole in s_0}. We show that {-(n-1)/2-1/i | i in Z_{>1}} is a subset of P_n; for n=2 and n=3, the last two authors proved before that these are exactly the poles less then -(n-1)/2. As main result we prove that each rational number in the interval [-(n-1)/2,0) is contained in P_n.


title: Degeneracy of Holomorphic Curves into Algebraic Varieties

abstract: Applying the Second Main Theorem we deal with the algebraic degeneracy of entire holomorphic curves from the complex plane into a complex algebraic normal variety of positive log Kodaira dimension that admits a finite proper morphism to a semi-abelian variety. We will also discuss applications to the Kobayashi hyperbolicity problem.


title: On stability and stabilization of elastic systems by time-variant feedback

abstract: We study a class of elastic systems described by a (hyperbolic) partial differential equation. Our working example is the equation of a vibrating string subject to linear disturbance. The main goal is to establish conditions for stabilization and asymptotic stabilization by applying a fast oscillating control to the string. In the first situation studied we assume that system is subject to a damping force; next we consider the system without damping. We extend the tools of high-order averaging and of chronological calculus for studying stability of this distributed parameter system.


title: Monotonic Simplification and Recognizing Exchange Reducibility

abstract: The Markov Theorem Without Stabilization (MTWS) (see math.GT/0310279) established the existence of a calculus of braid isotopies that can be used to move between closed braid representatives of a given oriented link type without having to increase the braid index by stabilization. Although the calculus is extensive there are three key isotopies that were identified and analyzed--destabilization, exchange moves and elementary braid preserving flypes. One of the critical open problems left in the wake of the MTWS is the "recognition problem"--determining when a given closed n-braid admits a specified move of the calculus. In this note we give an algorithmic solution to the recognition problem for three isotopies of the MTWS calculus--destabilization, exchange moves and braid preserving flypes. The algorithm is directed by a complexity measure that can be "monotonic simplified" by that application of "elementary moves".


title: The Brauer group of modified supergroup algebras

abstract: The computation of the Brauer group BM of modified supergroup algebras is perfomed, yielding, in particular, the computation of the Brauer group of all finite-dimensional triangular Hopf algebras when the base field is algebraically closed and of characteristic zero. The results are compared with the computation of lazy cohomology and with Yinhuo Zhang's exact sequence. As an example, we compute explicitely the Brauer group and lazy cohomology for modified supergroup algebras with (extensions of) Weyl groups of irreducible root systems as a group datum and their standard representation as a representation datum.


title: On multidimensional branching random walks in random environment

abstract: We study branching random walks in random i.i.d. environment in $\Z^d, d \geq 1$. For this model, the population size cannot decrease, and a natural definition of recurrence is introduced. We prove a dichotomy for recurrence/transience, depending only on the support of the environmental law. We give sufficient conditions for recurrence and for transience. In the recurrent case, we study the asymptotics of the tail of the distribution of the hitting times and prove a shape theorem for the set of lattice sites which are visited up to a large time.


title: Spiral Chains: The Proofs of Tait's and Tutte's Three-Edge-Coloring Conjectures

abstract: In this paper we have shown without assuming the four color theorem of planar graphs that every (bridgeless) cubic planar graph has a three-edge-coloring. This is an old-conjecture due to Tait in the squeal of efforts in settling the four-color conjecture at the end of the 19th century. We have also shown the applicability of our method to another well-known three edge-coloring conjecture on cubic graphs. Namely Tutte's conjecture that "every 2-connected cubic graph with no Petersen minor is 3-edge colorable". Hence the conclusion of this paper implies another non-computer proof of the four color theorem by using spiral-chains in different context.


title: Turing Degrees of Isomorphism Types of Algebraic Objects

abstract: The Turing degree spectrum of a countable structure $\mathcal{A}$ is the set of all Turing degrees of isomorphic copies of $\mathcal{A}$. The Turing degree of the isomorphism type of $\mathcal{A}$, if it exists, is the least Turing degree in its degree spectrum. We show there are countable fields, rings, and torsion-free abelian groups of arbitrary rank, whose isomorphism types have arbitrary Turing degrees. We also show that there are structures in each of these classes whose isomorphism types do not have Turing degrees.


title: On Discrete Models of the Euler Equation

abstract: We consider two discrete models for the Euler equation describing incompressible fluid dynamics. These models are infinite coupled systems of ODEs for the functions $u_j$ which can be thought of as wavelet coefficients of the fluid velocity. The first model has been proposed and studied by Katz and Pavlovic. The second has been recently discussed by Waleffe and goes back to Obukhov studies of the energy cascade in developed turbulence. These are the only basic models of this type satisfying some natural scaling and conservation conditions. We prove that the Katz-Pavlovic model leads to finite time blowup for any initial datum, while the Obukhov model has a global solution for any sufficiently smooth initial datum.


title: A Relative Laplacian spectral recursion

abstract: The Laplacian spectral recursion, satisfied by matroid complexes and shifted complexes, expresses the eigenvalues of the combinatorial Laplacian of a simplicial complex in terms of its deletion and contraction with respect to vertex e, and the relative simplicial pair of the deletion modulo the contraction. We generalize this recursion to relative simplicial pairs, which we interpret as intervals in the Boolean algebra. The deletion modulo contraction term is replaced by the result of removing from the interval all pairs of faces in the interval that differ only by vertex e. We show that shifted pairs and some matroid pairs satisfy this recursion. We also show that the class of intervals satisfying this recursion is closed under a wide variety of operations, including duality and taking skeleta.


title: Desingularization of Implicit Analytic Differential Equations

abstract: The question of finding solutions to given implicit differential equations (IDE) has been answered by several authors in the last few years, using different approaches, in an algebraic and also a geometric setting. Many of those results assume in one way or another that the subimmersion theorem can be applied at several stages of the reduction algorithm, which, roughly speaking, allows to reduce a given IDE to a collection of ODE depending on parameters. The main purpose of the present paper is to improve some of the known results by introducing at each stage of the reduction algorithm a desingularization of the manifolds with singularities that may appear when the subimmersion theorem cannot be applied. This can be done for analytic IDE by using some fundamental results on subanalytic subsets and desingularization of closed subanalytic subsets due mainly to Lojasiewicz, Hironaka, Gabrielov, Hardt, Bierstone, Milman and Sussmann, among others. We will show how this approach helps to understand the dynamics given by the Lagrange-D'Alembert-Poincare equations for the symmetric elastic sphere.


title: Laplace transformation updated

abstract: The traditional theory of Laplace transformation in its currently prevalent form is unsatisfactory. Its deficiencies can be traced back to a mismatch of the definition intervals of the original function and of the inverse L-transform. A new approach is outlined by which Laplace transformation becomes liberated from its inconsistencies.


title: Competition between growths governed by Bernoulli Percolation

abstract: We study a competition model on $\mathbb{Z}^d$ where the two infections are driven by supercritical Bernoulli percolations with distinct parameters $p$ and $q$. We prove that, for any $q$, there exist at most countably many values of $p<\min(q, \overrightarrow{p\_c})$ such that coexistence can occur.


title: Mirror symmetry, Kobayashi's duality, and Saito's duality

abstract: M. Kobayashi introduced a notion of duality of weight systems. We tone this notion slightly down to a notion called coupling. We show that coupling induces a relation between the reduced zeta functions of the monodromy operators of the corresponding singularities generalizing an observation of K. Saito concerning Arnold's strange duality. We show that the weight systems of the mirror symmetric pairs of M. Reid's list of 95 families of Gorenstein K3 surfaces in weighted projective 3-spaces are strongly coupled. This includes Arnold's strange duality where the corresponding weight systems are strongly dual in Kobayashi's original sense. We show that the same is true for the extension of Arnold's strange duality found by the author and C. T. C. Wall.


title: Effective construction of irreducible curve singularities

abstract: We can associate with any irreducible curve singularity (ics) a numerical semigroup. Two ics are said to be equisingular if they have the same semigroup. Two equisingular ics have the same Milnor number. Conversely, The set of ics with a given Milnor number is a union of equisingular classes. Here we study ics from an algorithmic viewpoint, by using the notion of approximate roots. We give two algorithms: the first one constructs the canonical equation of a curve with a given semigroup. The second one gives the set of semigroups with a fixed Milnor number. The paper is backed by Maple and Mathematica programs which are available upon request.


title: On quasihomogeneous curves

abstract: A hypersurface is said to be quasihomogeneous if in suitable coordinates with assigned weights, its equation becomes weighted homogeneous in its variables. For an irreducible quasihomogeneous plane curve, the equation necessarily becomes a two term equation of the form $aY^n+bX^m$ where $n,m$ are necessarily coprime. Zariski, in a short paper, established a criterion for an algebroid curve to be quasihomogeneous and a celebrated theorem of Lin and Zaidenberg gives a global criterion for quasihomogeneity. The Lin-Zaidenberg theorem does not have a simple proof, despite having three different proofs using function theory, topology and algebraic surface theory respectively. We give here a global version of the Zariski result. As a consequence we give a proof of a slightly weaker version of the Lin-Zaidenberg Theorem, namely that a rational curve with one place at infinity is unibranch and locally quasihomogeneous if and only if it is globally quasihomogeneous, provided the ground field is algebraically closed of characteristic zero. Our method of proof leads to some interesting questions about the change in the module of differentials when we go to the integral closure.


title: Local Homology, Cohen-Macaulayness and Cohen-Macaulayfications

abstract: Let (R,m) be a local, complete ring, X an artinian R-module of Noetherian dimension d; let x_1,...,x_d\in m be such that 0:_X (x_1,...,x_d)R has finite length. Then H^x_d(X) is a finite R-module, providing a positive answer to a question posed by Tang. As a first application of this result corollory 1 contains a necessary condition for a finite module to be CM; secondly we propose a notion of Cohen-Macaulayfication and prove its uniqueness (th. 3); finally we show that this new notion of Cohen-Macaulayfication is a direct generalization of a notion of Cohen-Macaulayfication introduced by Goto (th. 4).


title: Extensions of the representation modules of a prime order group

abstract: For the ring R of integers of a ramified extension of the field of p-adic numbers and a cyclic group G of prime order p we study the extensions of the additive groups of R-representations modules of G by the group G.


title: On the homotopy groups of p-completed classifying spaces

abstract: Among the generalizations of Serre's theorem on the homotopy groups of a finite complex we isolate the one proposed by Dwyer and Wilkerson. Even though the spaces they consider must be 2-connected, we show that it can be used to both recover known results and obtain new theorems about p-completed classifying spaces.


title: Relating Postnikov pieces with the Krull filtration: A spin-off of Serre's theorem

abstract: We characterize H-spaces which are p-torsion Postnikov pieces of finite type by a cohomological property together with a necessary acyclicity condition. When the mod p cohomology of an H-space is finitely generated as an algebra over the Steenrod algebra we prove that its homotopy groups behave like those of a finite complex.


title: Emergence of Synchronous Oscillations in Neural Networks Excited by Noise

abstract: The presence of noise in non linear dynamical systems can play a constructive role, increasing the degree of order and coherence or evoking improvements in the performance of the system. An example of this positive influence in a biological system is the impulse transmission in neurons and the synchronization of a neural network. Integrating numerically the Fokker-Planck equation we show a self-induced synchronized oscillation. Such an oscillatory state appears in a neural network coupled with a feedback term, when this system is excited by noise and the noise strength is within a certain range.


title: Polymer pinning in a random medium as influence percolation

abstract: In this article we discuss a set of geometric ideas which shed some light on the question of directed polymer pinning in the presence of bulk disorder. Differing from standard methods and techniques, we transform the problem to a particular dependent percolative system and relate the pinning transition to a percolation transition.


title: Crossed product of a C*-algebra by a semigroup of endomorphisms generated by partial isometries

abstract: The paper presents a construction of the crossed product of a C*-algebra by a semigroup of endomorphisms generated by partial isometries.


title: Demonstration de la conjecture de Dumont

abstract: Dumont has conjectured a marvellous identity, which generalizes, in particular, the classical results of Lagrange, Gauss, Jacobi and Kronecker on the sums of two, three and four squares. We give a combinatorial proof of Dumont's conjecture.


title: Finite type invariants of 3-manifolds

abstract: This is a survey article on finite type invariants of 3-manifolds written for the Encyclopedia of Mathematical Physics to be published by Elsevier.


title: Exactness from Proper Actions

abstract: In this paper we show that if a discrete group $G$ acts properly isometrically on a discrete space $X$ for which the uniform Roe algebra $C_u^*(X)$ is exact then $G$ is an exact group. As a corollary, we note that if the action is cocompact then the following are equivalent: The space $X$ has Yu's property A; $C^*_u(X)$ is exact; $C_u^*(X)$ is nuclear.