title: Cubature Formulas for Symmetric Measures in Higher Dimensions with Few Points

abstract: We study cubature formulas for d-dimensional integrals with an arbitrary symmetric weight function of tensor product form. We present a construction that yields a high polynomial exactness: for fixed degree l=5 or l=7 and large dimension, the number of knots is only slightly larger than the lower bound of M\"oller and much smaller compared to the known constructions. We also show, for any odd degree l=2k+1, that the minimal number of points is almost independent of the weight function. This is also true for the integration over the (Euclidean) sphere.


title: Notes on enriched categories with colimits of some class (completed version)

abstract: The paper is in essence a survey of categories having $\phi$-weighted colimits for all the weights $\phi$ in some class $\Phi$. We introduce the class $\Phi^+$ of {\em $\Phi$-flat} weights which are those $\psi$ for which $\psi$-colimits commute in the base $\V$ with limits having weights in $\Phi$; and the class $\Phi^-$ of {\em $\Phi$-atomic} weights, which are those $\psi$ for which $\psi$-limits commute in the base $\V$ with colimits having weights in $\Phi$. We show that both these classes are {\em saturated} (that is, what was called {\em closed} in the terminology of \cite{AK88}). We prove that for the class $\p$ of {\em all} weights, the classes $\p^+$ and $\p^-$ both coincide with the class $\Q$ of {\em absolute} weights. For any class $\Phi$ and any category $\A$, we have the free $\Phi$-cocompletion $\Phi(\A)$ of $\A$; and we recognize $\Q(\A)$ as the Cauchy-completion of $\A$. We study the equivalence between ${(\Q(\A^{op}))}^{op}$ and $\Q(\A)$, which we exhibit as the restriction of the Isbell adjunction between ${[\A,\V]}^{op}$ and $[\A^{op},\V]$ when $\A$ is small; and we give a new Morita theorem for any class $\Phi$ containing $\Q$. We end with the study of $\Phi$-continuous weights and their relation to the $\Phi$-flat weights.


title: On the classification problem for nuclear C*-algebras

abstract: We construct a simple, unital AH algebra which is shape equivalent to its tensor product with any infinite-dimensional UHF algebra, has the same tracial simplex as the said tensor product, and yet is not isomorphic to it. An analogous result for automorphisms is also proved.


title: Measures on Banach Manifolds and Supersymmetric Quantum Field Theory

abstract: We show how to construct measures on Banach manifolds associated to supersymmetric quantum field theories. These measures are mathematically well-defined objects inspired by the formal path integrals appearing in the physics literature on quantum field theory. We give three concrete examples of our construction. The first example is a family $\mu_P^{s,t}$ of measures on a space of functions on the two-torus, parametrized by a polynomial $P$ (the Wess-Zumino-Landau-Ginzburg model). The second is a family $\mu_\cG^{s,t}$ of measures on a space $\cG$ of maps from $\P^1$ to a Lie group (the Wess-Zumino-Novikov-Witten model). Finally we study a family $\mu_{M,G}^{s,t}$ of measures on the product of a space of connection s on the trivial principal bundle with structure group $G$ on a three-dimensional manifold $M$ with a space of $\fg$-valued three-forms on $M.$ We show that these measures are positive, and that the measures $\mu_\cG^{s,t}$ are Borel probability measures. As an application we show that formulas arising from expectations in the measures $\mu_\cG^{s,1}$ reproduce formulas discovered by Frenkel and Zhu in the theory of vertex operator algebras. We conjecture that a similar computation for the measures $\mu_{M,SU(2)}^{s,t},$ where $M$ is a homology three-sphere, will yield the Casson invariant of $M.$


title: Explicit Realization of Induced and Coinduced modules over Lie Superalgebras by Differential Operators

abstract: In this article are given explicit expressions for differential operators representing the action of any element of any Lie superalgebra g on a module induced or coinduced from an h-module V, where h is any subsuperalgebra of g. For the special case where g=g_+h, and g_ is a finite-dimensional subsuperalgebra of g, whose adjoint action on g is nilpotent, there is given a practical algorithm of calculation of this action. The program in C++ making the calculations for this case is also written.


title: Comatrix Corings and Galois Comodules over Firm Rings

abstract: We give a notion of a comatrix coring which embodies all former constructions and, what is more interesting, leads to the formulation of a notion of Galois coring and the statement of a Faithfully Flat Descent Theorem that generalize the previous versions.


title: Cancellation does not imply stable rank one

abstract: An unital C*-algebra A is said to have cancellation of projections if the semigroup D(A) of Murray-von Neumann equivalence classes of projections in matrices over A is cancellative. It has long been known that stable rank one implies cancellation, and some partial convereses have been established. We prove that cancellation does not imply stable rank one for simple, stably finite C*-algebras.


title: Compression of uniform embeddings into Hilbert space

abstract: If one tries to embed a metric space uniformly in Hilbert space, how close to quasi-isometric could the embedding be? We answer this question for finite dimensional CAT(0) cube complexes and for hyperbolic groups. In particular, we show that the Hilbert space compression of any hyperbolic group is 1.


title: Countable state shifts and uniqueness of g-measures

abstract: In this paper we present a new approach to studying g-measures which is based upon local absolute continuity. We extend the result in [11] that square summability of variations of g-functions ensures uniqueness of g-measures. The first extension is to the case of countably many symbols. The second extension is to some cases where $g \geq 0$, relaxing the earlier requirement in [11] that inf g>0.


title: Bound States of Discrete Schroedinger Operators with Super-Critical Inverse Square Potentials

abstract: We consider discrete one-dimensional Schroedinger operators whose potentials decay asymptotically like an inverse square. In the super-critical case, where there are infinitely many discrete eigenvalues, we compute precise asymptotics of the number of eigenvalues below a given energy E as this energy tends to the bottom of the essential spectrum.


title: Gau{\ss}-Manin connection and Tannaka duality

abstract: In analogy with the \'etale fundamental groups, we express the Gau{\ss}-Manin connection for $H^1$ in Tannaka terms. One difficulty is that unlike for fundamental groups, the Tannaka group scheme of relative connections, and the groupoid schemes of absolute connections and of connections on the base do not form an exact sequence. We added a theorem due to Pierre Deligne which improves the main result of the article. It allows to compare the Tannaka group scheme of relative connections with the kernel of the map from the groupoid scheme of absolute connections to the one of the base.


title: New Reverse Inequalities for the Numerical Radius of Normal Operators in Hilbert Spaces

abstract: In this paper, more inequalities between the operator norm and its numerical radius, for the class of normal operators, are established. Some of the obtained results are based on recent reverse results for the Schwarz inequality in Hilbert spaces due to the author.


title: A Proof of The Fundamental Theorem of Algebra

abstract: We give a proof for the fundamental theorem of algebra,using the Fredholm index phenomena


title: Mapping Class Group Dynamics on Surface Group Representations

abstract: Deformation spaces Hom($\pi$,G)/G of representations of the fundamental group $\pi$ of a surface $\Sigma$ in a Lie group $G$ admit natural actions of the mapping class group $Mod_\Sigma$, preserving a Poisson structure. When $G$ is compact, the actions are ergodic. In contrast if $G$ is noncompact semisimple, the associated deformation space contains open subsets containing the Fricke-Teichm\"uller space upon which $Mod_\Sigma$ acts properly. Properness of the $Mod_\Sigma$-action relates to (possibly singular) locally homogeneous geometric structures on $\Sigma$. We summarize known results and state open questions about these actions.


title: The Mapping Class Group acts reducibly on SU(n)-character varieties

abstract: When $G$ is a connected compact Lie group, and $\pi$ is a closed surface group, then $Hom(\pi,G)$ contains an open dense $Out(\pi)$-invariant subset which is a smooth symplectic manifold. This symplectic structure is $Out(\pi)$-invariant and therefore defines an invariant measure $\mu$, which has finite volume. The corresponding unitary representation of $Out(\pi)$ on $L^2(Hom(\pi,G)/G,\mu)$ contains no finite-dimensional subrepresentations besides the constants. This note gives a short proof that when $G=SU(n)$, the representation $L^2(Hom(\pi,G)/G,\mu)$ contains many other invariant subspaces.


title: Spectrum of the d-bar-Neumann Laplacian on polydiscs

abstract: The spectrum of the d-bar-Neumann Laplacian on a polydisc in several complex variables is explicitly computed. The calculation exhibits that the spectrum consists of eigenvalues, some of which, in particular the smallest ones, are of infinite multiplicity.


title: A trace formula for the forcing relation of braids

abstract: The forcing relation of braids has been introduced for a 2-dimensional analogue of the Sharkovskii order on periods for maps of the interval. In this paper, by making use of the Nielsen fixed point theory and a representation of braid groups, we deduce a trace formula for the computation of the forcing order.


title: On a compactification of a Hurwitz space in the wild case

abstract: Let $g$ and $g'$ be two integers and $p$ a prime number. Denote by $\mathscr H_{g, g', p}^c$ the moduli space of morphisms of degree $p$ between smooth curves of genus $g$ and $g'$ and with constant ramification. The purpose of this article is to construct and describe a modular compactification of this space.


title: Nonisotrivial families over curves with fixed point free automorphisms

abstract: We construct for any smooth projective curve of genus $q\ge 2$ with a fixed point free automorphism a nonisotrivial family of curves. Moreover we study the space of modular curves and that of parameters.


title: Fundamental Markov systems

abstract: We continue development of the theory of Markov systems initiated in \cite{Wer1}. In this paper, we introduce fundamental Markov systems associated with random dynamical systems and show that the proof of the uniqueness and empiricalness of the stationary initial distribution of the random dynamical system reduces to that for the fundamental Markov system associated with it. The stability criteria for the latter are much clearer.


title: Enumerative invariants of stongly semipositive real symplectic six-manifolds

abstract: Following the approach of Gromov and Witten, we define invariants under deformation of stongly semipositive real symplectic six-manifolds. These invariants provide lower bounds in real enumerative geometry, namely for the number of real rational $J$-holomorphic curves which realize a given homology class and pass through a given real configuration of points.


title: Vertex Poisson algebras associated with Courant algebroids and their deformations; I

abstract: This is the first of two papers on vertex Poisson algebras associated with Courant algebroids, and their deformations. In this work, we study relationships between vertex Poisson algebras and Courant algebroids. For any $\N$-graded vertex Poisson algebra $A=\coprod_{n\in\N} A_{(n)}$, we show that $A_{(1)}$ is a Courant $A_{(0)}$-algebroid. On the other hand, for any Courant $\mathcal{A}$-algebroid $\mathcal{B}$, we construct an $\N$-graded vertex Poisson algebra $A=\coprod_{n\in\N}A_{(n)}$ such that $A_{(0)}$ is $\mathcal{A}$ and the Courant $\mathcal{A}$-algebroid $A_{(1)}$ is isomorphic to $\mathcal{B}$ as a Courant $\mathcal{A}$-algebroid.


title: Connectedness of Hilbert scheme strata defined by bounding cohomology

abstract: Let Hilb^p be the Hilbert scheme parametrizing the closed subschemes of P^n with Hilbert polynomial p \in Q[t] over a field K of characteristic zero. By bounding below the cohomological Hilbert functions of the points of Hilb^p we define locally closed subspaces of the Hilbert scheme. The aim of this thesis is to show that some of these subspaces are connected. For this we exploit the ideals constructed by D. Mall. It turns out that these ideals are sequentially Cohen-Macaulay and that their initial ideals and their generic initial ideals coincide for any admissible term order.


title: Wild Knots as limit sets of Kleinian Groups

abstract: In this paper we study kleinian groups of Schottky type whose limit set is a wild knot in the sense of Artin and Fox. We show that, if the ``original knot'' fibers over the circle then the wild knot $\Lambda$ also fibers over the circle. As a consequence, the universal covering of $\mathbb{S}^{3}-\Lambda$ is $\mathbb{R}^{3}$. We prove that the complement of a dynamically-defined fibered wild knot can not be a complete hyperbolic 3-manifold.


title: P-partitions and a multi-parameter Klyachko idempotent

abstract: Because they play a role in our understanding of the symmetric group algebra, Lie idempotents have received considerable attention. The Klyachko idempotent has attracted interest from combinatorialists, partly because its definition involves the major index of permutations. For the symmetric group S_n, we look at the symmetric group algebra with coefficients from the field of rational functions in n variables q_1,..., q_n. In this setting, we can define an n-parameter generalization of the Klyachko idempotent, and we show it is a Lie idempotent in the appropriate sense. Somewhat surprisingly, our proof that it is a Lie element emerges from Stanley's theory of P-partitions.


title: Hilbert scheme strata defined by bounding cohomology

abstract: Let Hilb^p be the Hilbert scheme parametrizing the closed subschemes of P^n with Hilbert polynomial p\in Q[t] over a field K of characteristic zero. By bounding below the cohomological Hilbert functions of the points of Hilb^p we define locally closed subspaces of the Hilbert scheme. The aim of this paper is to show that some of these subspaces are connected. For this we exploit the edge ideals constructed by D. Mall. It turns out that these ideals are sequentially Cohen-Macaulay and that their initial ideals with respect to the reverse lexicographic term order are generic initial ideals.


title: Flows and ferromagnets

abstract: The two-point correlation function of a Potts model on a graph $G$ may be expressed in terms of the flow polynomials of `Poissonian' random graphs derived from $G$ by replacing each edge by a Poisson-distributed number of copies of itself. This fact extends to Potts models the so-called random-current expansion of the Ising model.


title: On the Ricci flow on the rotationally symmetric two-ball

abstract: In this paper we study a boundary value problem for the Ricci flow in the two dimensional ball endowed with a rotationally symmetric metric. We show short and long time existence results. We construct families of metrics for which the flow uniformizes the curvature along a sequence of times. Finally we show that if the initial metric has positive Gaussian curvature and the boundary positive geodesic curvature then the flow uniformizes de curvature along a sequence of times.


title: Shelling totally nonnegative flag varieties

abstract: In this paper we study the partially ordered set Q^J of cells in Rietsch's cell decomposition of the totally nonnegative part of an arbitrary flag variety P^J_{\geq 0}. Our goal is to understand the geometry of P^J_{\geq 0}: Lusztig has proved that this space is contractible, but it is unknown whether the closure of each cell is contractible, and whether P^J_{\geq 0} is homeomorphic to a ball. The order complex |Q^J| is a simplicial complex which can be thought of as a combinatorial approximation of P^J_{\geq 0}. Using combinatorial tools such as Bjorner's EL-labellings and Dyer's reflection orders, we prove that Q^J is graded, thin and EL-shellable. As a corollary, we deduce that Q^J is Eulerian and that the Euler characteristic of the closure of each cell is 1. Additionally, our results imply that |Q^J| is homeomorphic to a ball, and moreover, that Q^J is the face poset of some regular CW complex homeomorphic to a ball.


title: Deformations and Inversion Formulas For Formal Automorphisms in Noncommutative Variables

abstract: Let $z=(z_1, z_2, ..., z_n)$ be noncommutative free variables and $t$ a formal parameter which commutes with $z$. Let $k$ be any unital integral domain of any characteristic and $F_t(z)=z-H_t(z)$ with $H_t(z)\in {k[[t]]< < z >>}^{\times n}$ and the order $o(H_t(z))\geq 2$. Note that $F_t(z)$ can be viewed as a deformation of the formal map $F(z):=z-H_{t=1}(z)$ when it makes sense (for example, when $H_t(z)\in {k[t]< < z >>}^{\times n}$). The inverse map $G_t(z)$ of $F_t(z)$ can always be written as $G_t(z)=z+M_t(z)$ with $M_t(z)\in {k[[t]]< < z >>}^{\times n}$ and $o(M_t(z))\geq 2$. In this paper, we first derive the PDE's satisfied by $M_t(z)$ and $u(F_t), u(G_t)\in {k[[t]]< < z >>}$ with $u(z)\in {k< < z >>}$ in the general case as well as in the special case when $H_t(z)=tH(z)$ for some $H(z)\in {k< < z >>}^{\times n}$. We also show that the formal power series above are actually characterized by certain Cauchy problems of these PDE's. Secondly, we apply the derived PDE's to prove a recurrent inversion formula for formal maps in noncommutative variables. Finally, for the case char. $k=0$, we derive an expansion inversion formula by the planar binary rooted trees.


title: A note on the Harris-Kesten Theorem

abstract: Recently, a short proof of the Harris-Kesten result that the critical probability for bond percolation in the planar square lattice is 1/2 was given, using a sharp threshold result of Friedgut and Kalai. Here we point out that a key part of this proof may be replaced by an argument of Russo from 1982, using his approximate zero-one law in place of the Friedgut-Kalai result. Russo's paper gave a new proof of the Harris-Kesten Theorem that seems to have received little attention.


title: Two likelihood-based semiparametric estimation methods for panel count data with covariates

abstract: We consider estimation in a particular semiparametric regression model for the mean of a counting process with ``panel count'' data. The basic model assumption is that the conditional mean function of the counting process is of the form $E\{\mathbb{N}(t)|Z\}=\exp(\beta_0^TZ)\Lambda_0(t)$ where $Z$ is a vector of covariates and $\Lambda_0$ is the baseline mean function. The ``panel count'' observation scheme involves observation of the counting process $\mathbb{N}$ for an individual at a random number $K$ of random time points; both the number and the locations of these time points may differ across individuals. We study semiparametric maximum pseudo-likelihood and maximum likelihood estimators of the unknown parameters $(\beta_0,\Lambda_0)$ derived on the basis of a nonhomogeneous Poisson process assumption. The pseudo-likelihood estimator is fairly easy to compute, while the maximum likelihood estimator poses more challenges from the computational perspective. We study asymptotic properties of both estimators assuming that the proportional mean model holds, but dropping the Poisson process assumption used to derive the estimators. In particular we establish asymptotic normality for the estimators of the regression parameter $\beta_0$ under appropriate hypotheses. The results show that our estimation procedures are robust in the sense that the estimators converge to the truth regardless of the underlying counting process.


title: Noncommutative Symmetric Systems over Associative Algebras

abstract: This paper is the first of a sequence papers ([Z4]--[Z7]) on the {\it ${\mathcal N}$CS $(\text{noncommutative symmetric})$ systems} over differential operator algebras in commutative or noncommutative variables ([Z4]); the ${\mathcal N}$CS systems over the Grossman-Larson Hopf algebras ([GL],[F]) of labeled rooted trees ([Z6]); as well as their connections and applications to the inversion problem ([BCW],[E4]) and specializations of NCSFs ([Z5],[Z7]). In this paper, inspired by the seminal work [GKLLRT] on NCSFs (noncommutative symmetric functions), we first formulate the notion {\it ${\mathcal N}$CS systems} over associative $\mathbb Q$-algebras. We then prove some results for ${\mathcal N}$CS systems in general; the ${\mathcal N}$CS systems over bialgebras or Hopf algebras; and the universal ${\mathcal N}$CS system formed by the generating functions of certain NCSFs in [GKLLRT]. Finally, we review some of the main results that will be proved in the followed papers [Z4], [Z6] and [Z7] as some supporting examples for the general discussions given in this paper.


title: Differential Operator Specializations of Noncommutative Symmetric Functions

abstract: Let $K$ be any unital commutative $\mathbb Q$-algebra and $z=(z_1, ..., z_n)$ commutative or noncommutative free variables. Let $t$ be a formal parameter which commutes with $z$ and elements of $K$. We denote uniformly by $\kzz$ and $\kttzz$ the formal power series algebras of $z$ over $K$ and $K[[t]]$, respectively. For any $\alpha \geq 1$, let $\cDazz$ be the unital algebra generated by the differential operators of $\kzz$ which increase the degree in $z$ by at least $\alpha-1$ and $ \ataz $ the group of automorphisms $F_t(z)=z-H_t(z)$ of $\kttzz$ with $o(H_t(z))\geq \alpha$ and $H_{t=0}(z)=0$. First, for any fixed $\alpha \geq 1$ and $F_t\in \ataz$, we introduce five sequences of differential operators of $\kzz$ and show that their generating functions form a $\mathcal N$CS (noncommutative symmetric) system [Z4] over the differential algebra $\cDazz$. Consequently, by the universal property of the $\mathcal N$CS system formed by the generating functions of certain NCSFs (noncommutative symmetric functions) first introduced in [GKLLRT], we obtain a family of Hopf algebra homomorphisms $\cS_{F_t}: {\mathcal N}Sym \to \cDazz$ $(F_t\in \ataz)$, which are also grading-preserving when $F_t$ satisfies certain conditions. Note that, the homomorphisms $\cS_{F_t}$ above can also be viewed as specializations of NCSFs by the differential operators of $\kzz$. Secondly, we show that, in both commutative and noncommutative cases, this family $\cS_{F_t}$ (with all $n\geq 1$ and $F_t\in \ataz$) of differential operator specializations can distinguish any two different NCSFs. Some connections of the results above with the quasi-symmetric functions ([Ge], [MR], [S]) are also discussed.


title: Noncommutative Symmetric Functions and the Inversion Problem

abstract: Let $K$ be any unital commutative $\bQ$-algebra and $z=(z_1, z_2, ..., z_n)$ commutative or noncommutative variables. Let $t$ be a formal central parameter and $\kttzz$ the formal power series algebra of $z$ over $K[[t]]$. In \cite{GTS-II}, for each automorphism $F_t(z)=z-H_t(z)$ of $\kttzz$ with $H_{t=0}(z)=0$ and $o(H(z))\geq 1$, a \cNcs (noncommutative symmetric) system (\cite{GTS-I}) $\Oft$ has been constructed. Consequently, we get a Hopf algebra homomorphism $\cSft: \cNsf \to \cDzz$ from the Hopf algebra $\cNsf$ (\cite{G-T}) of NCSF's (noncommutative symmetric functions). In this paper, we first give a list for the identities between any two sequences of differential operators in the \cNcs system $\Oft$ by using some identities of NCSF's derived in \cite{G-T} and the homomorphism $\cSft$. Secondly, we apply these identities to derive some formulas in terms of differential operator in the system $\Oft$ for the Taylor series expansions of $u(F_t)$ and $u(F_t^{-1})$ $(u(z)\in \kttzz)$; the D-Log and the formal flow of $F_t$ and inversion formulas for the inverse map of $F_t$. Finally, we discuss a connection of the well-known Jacobian conjecture with NCSF's.


title: A Noncommutative Symmetric System over the Grossman-Larson Hopf Algebra of Labeled Rooted Trees

abstract: In this paper, we construct explicitly a noncommutative symmetric (${\mathcal N}$CS) system over the Grossman-Larson Hopf algebra of labeled rooted trees. By the universal property of the ${\mathcal N}$CS system formed by the generating functions of certain noncommutative symmetric functions, we obtain a specialization of noncommutative symmetric functions by labeled rooted trees. Taking the graded duals, we also get a graded Hopf algebra homomorphism from the Connes-Kreimer Hopf algebra of labeled rooted forests to the Hopf algebra of quasi-symmetric functions. A connection of the coefficients of the third generating function of the constructed ${\mathcal N}$CS system with the order polynomials of rooted trees is also given and proved.


title: Closure relations for totally nonnegative cells in G/P

abstract: The totally nonnegative part of a partial flag variety G/P is known to have a decomposition into semi-algebraic cells. We show that the closure of a cell is again a union of cells and give a combinatorial description of the closure relations. The totally nonnegative cells are defined by intersecting the totally nonnegative part with a certain stratification of G/P defined by Lusztig. We also verify the same closure relations for these strata.


title: NCS Systems over Differential Operator Algebras and the Grossman-Larson Hopf Algebras of Labeled Rooted Trees

abstract: Let $K$ be any unital commutative $\bQ$-algebra and $W$ any non-empty subset of $\bN^+$. Let $z=(z_1, ..., z_n)$ be commutative or noncommutative free variables and $t$ a formal central parameter. % Denote uniformly by $\kzz$ and $\kttzz$ the formal power series algebras % of $z$ over $K$ and $K[[t]]$, respectively. Let $\cDazz$ $(\alpha\geq 1)$ be the unital algebra generated by the differential operators of $\kzz$ which increase the degree in $z$ by at least $\alpha-1$ and $ \ataz $ the group of automorphisms $F_t(z)=z-H_t(z)$ of $\kttzz$ with $o(H_t(z))\geq \alpha$ and $H_{t=0}(z)=0$. First, we study a connection of the \cNcs systems $\Omega_{F_t}$ $(F_t\in \ataz)$ (\cite{GTS-I}, \cite{GTS-II}) over the differential operators algebra $\cDazz$ and the \cNcs system $\Omega_\bT^W$ (\cite{GTS-IV}) over the Grossman-Larson Hopf algebra $\cH_{GL}^W$ (\cite{GL}, \cite{F1}, \cite{F2}) of $W$-labeled rooted trees. We construct a Hopf algebra homomorphism $\mathcal A_{F_t}: \cH_{GL}^W \to \cDazz$ $(F_t\in \ataz)$ such that $\mathcal A_{F_t}^{\times 5}(\Omega_\bT^W) =\Omega_{F_t}$. Secondly, we generalize the tree expansion formulas for the inverse map (\cite{BCW}, \cite{Wr3}), the D-Log and the formal flow (\cite{WZ}) of $F_t$ in the commutative case to the noncommutative case. Thirdly, we prove the injectivity of the specialization $\cT:{\mathcal N}Sym \to \cH_{GL}^{\bN^+}$ (\cite{GTS-IV}) of NCSF's (noncommutative symmetric functions) (\cite{G-T}). Finally, we show the family of the specializations $\cS_{F_t}$ of NCSF's with all $n\geq 1$ and the polynomial automorphisms $F_t=z-H_t(z)$ with $H_t(z)$ homogeneous and the Jacobian matrix $JH_t$ strictly lower triangular can distinguish any two different NCSF's. The graded dualized versions of the main results above are also discussed.


title: Dynamic State Tameness

abstract: An extension of the idea of state tameness is presented in a dynamic framework. The proposed model for financial markets is rich enough to provide analytical tools that are mostly obtained in models that arise as the solution of SDEs with deterministic coefficients. In the presented model the augmentation by a shadow stock of the price evolution has a Markovian character. As in a previous paper, the results obtained on valuation of European contingent claims and American contingent claims do not require the full range of the volatility matrix. Under some additional continuity conditions, the conceptual framework provided by the model makes it possible to regard the valuation of financial instruments of the European type as a particular case of valuation of instruments of American type. This provides a unifying framework for the problem of valuation of financial instruments.


title: Automatic Computation of Conservation Laws in the Calculus of Variations and Optimal Control

abstract: We present analytic computational tools that permit us to identify, in an automatic way, conservation laws in optimal control. The central result we use is the famous Noether's theorem, a classical theory developed by Emmy Noether in 1918, in the context of the calculus of variations and mathematical physics, and which was extended recently to the more general context of optimal control. We show how a Computer Algebra System can be very helpful in finding the symmetries and corresponding conservation laws in optimal control theory, thus making useful in practice the theoretical results recently obtained in the literature. A Maple implementation is provided and several illustrative examples given.


title: Dynamical complexity of discrete time regulatory networks

abstract: Genetic regulatory networks are usually modeled by systems of coupled differential equations and by finite state models, better known as logical networks, are also used. In this paper we consider a class of models of regulatory networks which present both discrete and continuous aspects. Our models consist of a network of units, whose states are quantified by a continuous real variable. The state of each unit in the network evolves according to a contractive transformation chosen from a finite collection of possible transformations, according to a rule which depends on the state of the neighboring units. As a first approximation to the complete description of the dynamics of this networks we focus on a global characteristic, the dynamical complexity, related to the proliferation of distinguishable temporal behaviors. In this work we give explicit conditions under which explicit relations between the topological structure of the regulatory network, and the growth rate of the dynamical complexity can be established. We illustrate our results by means of some biologically motivated examples.


title: Curvature Estimates for the Ricci Flow I

abstract: In this paper we present several curvature estimates for solutions of the Ricci flow which depend on smallness of certain local integrals of the norm of the Riemann curvature tensor.


title: Curvature Estimates for the Ricci Flow II

abstract: In this paper we present several curvature estimates and convergence results for solutions of the Ricci flow. The curvature estimates depend on smallness of certain local space-time integrals of the norm of the Riemann curvature tensor, while the convergence results require finiteness of space-time integrals of the norm of the Riemann curvature tensor. They also serve as characterizations of blow-up singularities.


title: Normal forms of vector fields on Poisson manifolds

abstract: We study formal and analytic normal forms of radial and Hamiltonian vector fields on Poisson manifolds near a singular point.


title: Classification of arithmetic root systems of rank 3

abstract: The paper purposes to contribute to the classification of pointed Hopf algebras by the method of Andruskiewitsch and Schneider. The structure of arithmetic root systems is enlightened such that their relation to ordinary root systems associated to semi-simple Lie algebras becomes more astounding. As an application all arithmetic root systems of rank 3 are determined. The result gives in particular all finite dimensional rank 3 Nichols algebras of diagonal type over a field of characteristic zero. Key Words: Weyl groupoid, Hopf algebra, Nichols algebra


title: Nearly Kaehler and nearly parallel G_2-structures on spheres

abstract: In some other context, the question was raised how many nearly K\"ahler structures exist on the sphere $\S^6$ equipped with the standard Riemannian metric. In this short note, we prove that, up to isometry, there exists only one. This is a consequence of the description of the eigenspace to the eigenvalue $\lambda = 12$ of the Laplacian acting on 2-forms. A similar result concerning nearly parallel $\G_2$-structures on the round sphere $\S^7$ holds, too. An alternative proof by Riemannian Killing spinors is also indicated.


title: Geometric structures of vectorial type

abstract: We study geometric structures of $\mathcal{W}_4$-type in the sense of A. Gray on a Riemannian manifold. If the structure group $\mathrm{G} \subset \SO(n)$ preserves a spinor or a non-degenerate differential form, its intrinsic torsion $\Gamma$ is a closed 1-form (Proposition \ref{dGamma} and Theorem \ref{Fixspinor}). Using a $\mathrm{G}$-invariant spinor we prove a splitting theorem (Proposition \ref{splitting}). The latter result generalizes and unifies a recent result obtained in \cite{Ivanov&Co}, where this splitting has been proved in dimensions $n=7,8$ only. Finally we investigate geometric structures of vectorial type and admitting a characteristic connection $\nabla^{\mathrm{c}}$. An interesting class of geometric structures generalizing Hopf structures are those with a $\nabla^{\mathrm{c}}$-parallel intrinsic torsion $\Gamma$. In this case, $\Gamma$ induces a Killing vector field (Proposition \ref{Killing}) and for some special structure groups it is even parallel.


title: Commutator rings

abstract: A ring is called a commutator ring if every element is a sum of additive commutators. In this paper we give examples of such rings. In particular, we show that given any ring R, a right R-module N, and a set X, End_R(\bigoplus_X N) and End_R(\prod_X N) are commutator rings if and only if either X is infinite or End_R(N) is itself a commutator ring. We also prove that over any ring, a matrix having trace zero can be expressed as a sum of two commutators.


title: Harnack-Thom Theorem for higher cycle groups and Picard varieties

abstract: We generalize the Harnack-Thom theorem to relate the ranks of the Lawson homology groups with $\Z_2$-coefficients of a real quasiprojective variety with the ranks of its reduced real Lawson homology groups. In the case of zero-cycle group, we recover the classical Harnack-Thom theorem and generalize the classical version to include real quasiprojective varieties. We use Weil's construction of Picard varieties to construct reduced real Picard groups, and Milnor's construction of universal bundles to construct some weak models of classifying spaces of some cycle groups. These weak models are used to produce long exact sequences of homotopy groups which are the main tool in computing the homotopy groups of some cycle groups of divisors. We obtain some congruences involving the Picard number of a nonsingular real projective variety and the rank of its reduced real Lawson homology groups of divisors.


title: Bounded-Degree Graphs have Arbitrarily Large Geometric Thickness

abstract: The geometric thickness of a graph G is the minimum integer k such that there is a straight line drawing of G with its edge set partitioned into k plane subgraphs. Eppstein [Separating thickness from geometric thickness. In: Towards a Theory of Geometric Graphs, vol. 342 of Contemp. Math., AMS, 2004] asked whether every graph of bounded maximum degree has bounded geometric thickness. We answer this question in the negative, by proving that there exists Delta-regular graphs with arbitrarily large geometric thickness. In particular, for all Delta >= 9 and for all large n, there exists a Delta-regular graph with geometric thickness at least c Delta^{1/2} n^{1/2 - 4/Delta - epsilon}. Analogous results concerning graph drawings with few edge slopes are also presented, thus solving open problems by Dujmovic' et al. [Really straight graph drawings. In: Proc. 12th International Symp. on Graph Drawing (GD '04), vol. 3383 of Lecture Notes in Comput. Sci., Springer, 2004] and Ambrus et al. [The slope parameter of graphs. Tech. Rep. MAT-2005-07, Department of Mathematics, Technical University of Denmark, 2005].


title: Colouring an Orthogonality Graph

abstract: We deal with a graph colouring problem that arises in quantum information theory. Alice and Bob are each given a $\pm1$-vector of length $k$, and are to respond with $k$ bits. Their responses must be equal if they are given equal inputs, and distinct if they are given orthogonal inputs; however, they are not allowed to communicate any information about their inputs. They can always succeed using quantum entanglement, but their ability to succeed using only classical physics is equivalent to a graph colouring problem. We resolve the graph colouring problem, thus determining that they can succeed without entanglement exactly when $k\leq3$.


title: Simultaneous equal sums of three powers

abstract: Using a recent result of Salberger, we establish the paucity of non-trivial positive integer solutions to a certain system of diagonal Diophantine equations.


title: Symbolic calculus and Fredholm property for localization operators

abstract: We study the composition of time-ffrequency localization operators (wavepacket operators) and develop a symbolic calculus of such operators on modulation spaces. The use of time-frequency methods (phase space methods) allows the use of rough symbols of ultra-rapid growth in place of smooth symbols in the standard classes. As the main application it is shown that, in general, a localization operators possesses the Fredholm property, and thus its range is closed in the target space.


title: Irreducibility of Hurwitz spaces

abstract: Graber, Harris and Starr proved, when n >= 2d, the irreducibility of the Hurwitz space H^0_{d,n}(Y) which parametrizes degree d coverings of a smooth, projective curve Y of positive genus, simply branched in n points, with full monodromy group S_d (math.AG/0205056). We sharpen this result and prove that H^0_{d,n}(Y) is irreducible if n >= max{2,2d-4} and in the case of elliptic Y if n >= max{2,2d-6}. We extend the result to coverings simply branched in all but one point of the discriminant. Fixing the ramification multiplicities over the special point we prove that the corresponding Hurwitz space is irreducible if the number of simply branched points is >= 2d-2. We study also simply branched coverings with monodromy group different from S_d and when n is large enough determine the corresponding connected components of H_{d,n}(Y). Our results are based on explicit calculation of the braid moves associated with the standard generators of the n-strand braid group of Y.


title: Tangential Touch between Free and Fixed Boundaries in a Problem from Superconductivity

abstract: In this paper we study regularity properties of the free boundary problem from superconductivity close to a fixed boundary. If the origin is a free boundary point, then we show that the free boundary touches the fixed boundary tangentially.


title: Behavior of the free boundary near contact points with the fixed boundary for nonlinear elliptic equations

abstract: The aim of this paper is to study a free boundary problem for a uniformly elliptic fully non-linear operator. Under certain assumptions we show that free and fixed boundaries meet tangentially at contact points.


title: Some composition determinants

abstract: We compute two parametric determinants in which rows and columns are indexed by compositions, where in one determinant the entries are products of binomial coefficients, while in the other the entries are products of powers. These results generalize previous determinant evaluations due to the first and third author [SIAM J. Matrix Anal. Appl. 23 (2001), 459--471] and ["A polynomial generalization of the power-compositions determinant," Linear Multilinear Algebra (to appear)], and they prove two conjectures of the second author ["Advanced determinant calculus: a complement," preliminary version].


title: Horizontal configurations of points in link complements

abstract: For any tangle $T$ (up to isotopy) and integer $k\geq 1$ we construct a group $F(T)$ (up to isomorphism). It is the fundamental group of the configuration space of $k$ points in a horizontal plane avoiding the tangle, provided the tangle is in what we call Heegaard position. This is analogous to the first half of Lawrence's homology construction of braid group representations. We briefly discuss the second half: homology groups of $F(T)$.


title: Dimension growth for $C^*$-algebras

abstract: We introduce the growth rank of a C*-algebra, a (N \cup {\infty})-valued invariant which measures how far an algebra is from absorbing the Jiang-Su algebra Z tensorially. We prove that its range is exhausted by simple nuclear C*-algebras, and obtain in the process a well developed theory of unbounded dimension growth for approximately homogeneous (AH) algebras. Another consequence of the range result is the existence of a simple, nuclear, and non-Z-stable C*-algebra which is not tensorially prime. The properties of the growth rank suggest a universal property which may be considered inside any class of unital and nuclear C*-algebras. We prove that Z satisfies this property inside a class of locally subhomogeneous algebras.


title: Conjecture of error boundedness in a new Hermite interpolation problem via splines of odd-degree

abstract: We present a Hermite interpolation problem via splines of odd-degree which, to the best knowledge of the authors, has not been considered in the literature on interpolation via odd-degree splines. In this new interpolation problem, we conjecture that the interpolation error is bounded in the supremum norm independently of the locations of the knots. Given an integer k greater than or equal to 3, our spline interpolant is of degree 2k-1 and with 2k-4 (interior) knots. Simulations were performed to check the validity of the conjecture. We present strong numerical evidence in support of the conjecture for k=3, ..., 10 when the interpolated function belongs to C^{(2k)}[0,1], the class of 2k-times continuously differentiable functions on [0,1]. In this case, the worst interpolation error is proved to be attained by the perfect spline of degree 2k with the same knots as the spline interpolant. This interpolation problem arises naturally in nonparametric estimation of a multiply monotone density via Least Squares and Maximum Likehood methods.


title: Non-commutative tori and Fourier-Mukai duality

abstract: The classical Fourier-Mukai duality establishes an equivalence of categories between the derived categories of sheaves on dual complex tori. In this article we show that this equivalence extends to an equivalence between two dual objects. Both of these are generalized deformations of the complex tori. In one case, a complex torus is deformed formally in a non-commutative direction specified by a holomorphic Poisson structure. In the other, the dual complex torus is deformed in a B-field direction to a formal gerbe. We show these two deformations are Fourier-Mukai equivalent.


title: On c.n.c. commuting contractive tuples

abstract: The characteristic function has been an important tool for studying completely non unitary contractions on Hilbert spaces. In this note, we consider completely non-coisometric contractive tuples of commuting operators on a Hilbert space $\clh$. We show that the characteristic function, which is now an operator valued analytic function on the open Euclidean unit ball in $\mathbb{C}^n$, is a complete unitary invariant for such a tuple. We prove that the characteristic function satisfies a natural transformation law under biholomorphic mappings of the unit ball. We also characterize all operator-valued analytic functions which arise as characteristic functions of pure commuting contractive tuples.


title: Mixed norm estimates for certain generalized Radon transforms

abstract: In this paper we investigate the mapping properties in Lebesgue-type spaces of certain generalized Radon transforms defined by integration over curves.


title: Groebner bases and combinatorics for binary codes

abstract: In this paper we introduce a binomial ideal derived from a binary linear code. We present some applications of a Gr\"obner basis of this ideal with respect to a total degree ordering. In the first application we give a decoding method for the code. By associating the code with the set of cycles in a graph, we can solve the problem of finding all codewords of minimal length (minimal cycles in a graph), and show how to find a minimal cycle basis. Finally we discuss some results on the computation of the Gr\"obner basis.


title: A class of Garside groupoid structures on the pure braid group

abstract: We construct a class of Garside groupoid structures on the pure braid groups, one for each function (called labelling) from the punctures to the integers greater than 1. The object set of the groupoid is the set of ball decompositions of the punctured disk; the labels are the perimeters of the regions. Our construction generalises Garside's original Garside structure, but not the one by Birman-Ko-Lee. As a consequence, we generalise the Tamari lattice ordering on the set of vertices of the associahedron.


title: Stationary Solutions of Stochastic Differential Equation with Memory and Stochastic Partial Differential Equations

abstract: We explore Ito stochastic differential equations where the drift term possibly depends on the infinite past. Assuming the existence of a Lyapunov function, we prove the existence of a stationary solution assuming only minimal continuity of the coefficients. Uniqueness of the stationary solution is proven if the dependence on the past decays sufficiently fast. The results of this paper are then applied to stochastically forced dissipative partial differential equations such as the stochastic Navier-Stokes equation and stochastic Ginsburg-Landau equation.


title: Set-valued differentiation as an operator

abstract: We introduce real vector spaces composed of set-valued maps on an open set. They are also complete metric spaces, lattices, commutative rings. The set of differentiable functions is a dense subset of these spaces and the classical gradient may be extended in these spaces as a closed operator. If a function f belongs to the domain of such extension, then f is locally lipschitzian and the values of extended gradient coincide with the values of Clarke's gradient. However, unlike Clarke's gradient, our generalized gradient is a linear operator.


title: On torsion sections of elliptic fibrations

abstract: Let E be an elliptic curve over the function field Q(t). Suppose that for every number field L\not=Q and every element tau\in L such that the specialization E_tau is smooth, the curve E_tau has a non-trivial torsion point over L. We show that E has a non-trivial torsion point over Q(t). This provides evidence in support of a question of Graber-Harris-Mazur-Starr on rational pseudo-sections of arithmetic surjective morphisms.


title: Non-sharpness of the Morton-Franks-Williams inequality

abstract: We give conditions on a knot on which the Morton-Franks-Williams inequality is not sharp. As applications, we show infinitely many examples of knots where the inequality is not sharp and also prove (by giving examples) that the deficit of the inequality can be arbitrarily large.


title: The first $L^p$-cohomology of some finitely generated groups and $p$-harmonic functions

abstract: Let $G$ be a finitely generated infinite group and let $p > 1$. In this paper we make a connection between the first $L^p$-cohomology space of $G$ and $p$-harmonic functions on $G$. We also describe the elements in the first $L^p$-cohomology space of groups with polynomial growth, and we give an inclusion result for nonamenable groups.


title: The first $L^p$-cohomology of some groups with one end

abstract: Let $p$ be a real number greater than one. In this paper we study the vanishing and nonvanishing of the first $L^p$-cohomology space of some groups that have one end. We also make a connection between the first $L^p$-cohomology space and the Floyd boundary of the Cayley graph of a group. We apply the result about Floyd boundaries to show that there exists a real number $p$ such that the first $L^p$-cohomology space of a nonelementary hyperbolic group does not vanish.


title: On the Weil-Petersson Geometry of Calabi-Yau Moduli

abstract: In this paper we proved that the Weil-Petersson volume of the Chern class of any order over the moduli space of Calabi-Yau manifolds is a rational number. We also found the necessary and sufficient condition of the incompleteness of Weil-Petersson metric in several variables case.


title: Elliptic CR-manifolds and shear invariant ODE with additional symmetries

abstract: We classify the ODEs that correspond to elliptic CR-manifolds with maximal isotropy. It follows that the dimension of the isotropy group of an elliptic CR-manifold can be only 10 (for the quadric), 4 (for the listed examples) or less. This is in contrast with the situation of hyperbolic CR-manifolds, where the dimension can be 10 (for the quadric), 6 or 5 (for semi-quadrics) or less than 4. We also prove that, for all elliptic CR-manifolds with non-linearizable istropy group, except for two special manifolds, the points with non-linearizable isotropy form exactly some complex curve on the manifold.


title: Properties of four partial orders on standard Young tableaux

abstract: Let SYT_n be the set of all standard Young tableaux with n cells. After recalling the definitions of four partial orders, the weak, KL, geometric and chain orders on SYT_n and some of their crucial properties, we prove three main results: (i)Intervals in any of these four orders essentially describe the product in a Hopf algebra of tableaux defined by Poirier and Reutenauer. (ii) The map sending a tableau to its descent set induces a homotopy equivalence of the proper parts of all of these orders on tableaux with that of the Boolean algebra 2^{[n-1]}. In particular, the M\"obius function of these orders on tableaux is (-1)^{n-3}. (iii) For two of the four orders, one can define a more general order on skew tableaux having fixed inner boundary, and similarly analyze their homotopy type and M\"obius function.


title: Benford's law for the $3x+1$ function

abstract: We show that for most choices of an initial seed $x_0$, the sequence of the first $N$ iterates of $x_0$ under the $3x+1$ map approximately satisfies Benford's law.


title: PackLib^2: An integrated library of multi-dimensional packing problems

abstract: We present PackLib^2, the first fully integrated benchmark library for multi-dimensional packing instances. PackLib^2 combines a systematic collection of all benchmark instances from previous literature with a well-organized set of new and challenging large instances. The XML format allows linking basic benchmark data with other important properties, like bibliographic information, origin, best known solutions, runtimes, etc. Transforming instances into a variety of existing input formats is also quite easy, as the XML format lends itself to easy conversion; for this purpose, a number of parsers are provided. Thus, PackLib^2 aims at becoming a one-stop location for the packing and cutting community: In addition to fair and easy comparison of algorithmic work and ongoing measurement of scientific progress, it poses numerous challenges for future research.


title: Derivations from the even parts into the odd parts for Lie superalgebras W and S

abstract: Let $\mathcal{W}$ and $\mathcal{S}$ denote the even parts of the general Witt superalgebra $W$ and the special superalgebra $S$ over a field of characteristic $ p>3,$ respectively. In this note, using the method of reduction on $\mathbb{Z}$-gradations, we determine the derivation space $\mathrm{Der}(\mathcal{W}, W_{\bar{1}})$ from $\mathcal{W}$ into $W_{\bar{1}} $ and the derivation space $\mathrm{Der}(\mathcal{S}, W_{\bar{1}})$ from $\mathcal{S}$ into $W_{\bar{1}}. $ In particular, the derivation space $\mathrm{Der}(\mathcal{S}, S_{\bar{1}})$ is determined.


title: Sampling theorems on locally compact groups from oscillation estimates

abstract: We present a general approach to derive sampling theorems on locally compact groups from oscillation estimates. We focus on the ${\rm L}^2$-stability of the sampling operator by using notions from frame theory. This approach yields particularly simple and transparent reconstruction procedures. We then apply these methods to the discretization of discrete series representations and to Paley-Wiener spaces on stratified Lie groups.


title: On the uniqueness of generating Hamiltonian for continuous limits of Hamiltonians flows

abstract: We show that if a sequence of Hamiltonian flows has a $C^0$ limit, and if the generating Hamiltonians of the sequence have a limit, then this limit is uniquely determned by the limiting $C^0$ flow. This answers a question by Y.G. Oh.


title: Power series rings and projectivity

abstract: We show that a formal power series ring $A[[X]]$ over a noetherian ring $A$ is not a projective module unless $A$ is artinian. However, if $(A,{\mathfrak m})$ is local, then $A[[X]]$ behaves like a projective module in the sense that $Ext^p_A(A[[X]], M)=0$ for all ${\mathfrak m}$-adically complete $A$-modules. The latter result is shown more generally for any flat $A$-module $B$ instead of $A[[X]]$. We apply the results to the (analytic) Hochschild cohomology over complete noetherian rings.


title: Stanley's Zrank Problem on Skew Partitions

abstract: We present an affirmative answer to Stanley's zrank problem, namely, the zrank and rank are equal for any skew partition. We show that certain classes of restricted Cauchy matrices are nonsingular and furthermore, the signs depend on the number of zero entries. Similar to notion of the jrank of a skew partition, we give a characterization of the rank in terms of the Giambelli type matrices of the corresponding skew Schur functions. We also show that the sign of the determinant of a factorial Cauchy matrix is uniquely determined by the number of its zero entries, which implies the nonsingularity of the inverse binomial coefficient matrix.


title: 1-Hyperreflexivity and Complete Hyperreflexivity

abstract: The subspaces and subalgebras of B(H) which are hyperreflexive with constant 1 are completely classified. It is shown that there are 1-hyperreflexive subspaces for which the complete hyperreflexivity constant is strictly greater than 1. The constants for $\bC T \otimes B(H)$ are analyzed in detail.


title: Lie G-Tori of Symplectic Type

abstract: We classify centerless Lie G-tori of type C_r including the most difficult case r=2 by applying techniques due to Seligman. In particular, we show that the coordinate algebra of a Lie G-torus of type C_2 is either an associative G-torus with involution or a Clifford G-torus. Our results generalize the classification of the core of the extended affine Lie algebras of type C_r by Allison and Gao.


title: On the Fredholm and Weyl spectrum of several commuting operators

abstract: In the paper one considers the local structure of the Fredholm joint spectrum of commuting $n$-tuples of operators. A connection between the spatial characteristics of operators and the algebraic invariant of the corresponding coherent sheaves is investigated. A notion of Weyl joint spectrum of commuting $n$-tuple is introduced.


title: On realization of the Krein-Langer class Nk of matrix-valued functions in Hilbert spaces with indefinite metric

abstract: In this paper the realization problems for the Krein-Langer class $N_\kappa$ of matrix-valued functions are being considered. We found the criterion when a given matrix-valued function from the class $N_\kappa$ can be realized as linear-fractional transformation of the transfer function of canonical conservative system of the M. Livsic type (Brodskii-Livsic rigged operator colligation) with the main operator acting on a rigged Pontryagin space $\Pk$ with indefinite metric. We specify three subclasses of the class $N_\kappa(R)$ of all realizable matrix-valued functions that correspond to different properties of a realizing system, in particular, when the domains of the main operator of a system and its conjugate coincide, when the domain of the hermitian part of a main operator is dense in $\Pi\kappa$. Alternatively we show that the class $N_\kappa(R)$ can be realized as transfer matrix-functions of some canonical impedance systems with self-adjoint main operators in rigged spaces $\Pk$. The case of scalar functions of the class $N_\kappa(R)$ is considered in details and some examples are presented.


title: A general framework for applying FGLM techniques to linear codes

abstract: We show herein that a pattern based on FGLM techniques can be used for computing Gr\"obner bases, or related structures, associated to linear codes. This Gr\"obner bases setting turns out to be strongly related to the combinatorics of the codes.


title: Ideal Turaev-Viro invariants

abstract: A Turaev-Viro invariant is a state sum, i.e., a polynomial that can be read off from a special spine or a triangulation of a compact 3-manifold. If the polynomial is evaluated at the solution of a certain system of polynomial equations (Biedenharn-Elliott equations) then the result is a homeomorphism invariant of the manifold (``numerical Turaev-Viro invariant''). The equation system defines an ideal, and actually the coset of the polynomial with respect to that ideal is a homeomorphism invariant as well (``ideal Turaev-Viro invariant''). It is clear that ideal Turaev-Viro invariants are at least as strong as numerical Turaev-Viro invariants, and we show that there is reason to expect that they are strictly stronger. They offer a more unified approach, since many numerical Turaev-Viro invariants can be captured in a singly ideal Turaev-Viro invariant. Using computer algebra, we obtain computational results on some examples of ideal Turaev-Viro invariants.


title: On ring homomorphisms of Azumaya algebras

abstract: The main theorem (Theorem 4.1) of this paper claims that any ring morphism from an Azumaya algebra of constant rank over a commutative ring to another one of the same constant rank and over a reduced commutative ring induces a ring morphism between the centers of these algebras. The second main theorem (Theorem 5.3) implies (through its Corollary 5.4) that a ring morphism between two Azumaya algebras of the same constant rank is an isomorphism if and only if it induces an isomorphism between their centers. As preliminary to these theorems we also prove a theorem (Theorem 2.8) describing the Brauer group of a commutative Artin ring and give an explicit proof of the converse of the Artin-Procesi theorem on Azumaya algebras (Theorem 2.6).


title: Adeles on n-dimensional schemes and categories C_n

abstract: We consider categories C_n, which are very close to the iterated version of Ind Pro limits introduced by A.Bejlinson in his article "How to glue perverse sheaves". We prove that the adelic space on n-dimensional noetherian scheme is an object of C_n.


title: Minoration effective de la hauteur des points d'une courbe de $G\_m^2$ d\'{e}finie sur $Q$

abstract: We are concerned here with Lehmer's problem in dimension 2 ; we give a lower bound for the height of a non-torsion point of $G\_m^2$ on a non-torsion curve defined over $Q$, depending on the degree of the curve only. We have first been inspired by \cite{Am-Da3}; we develop a new approach, inherent in the dimension two (or more precisely the codimension two), and then obtain a better result where the error's term is improved significantly, moreover we give an explicit expression for the constant.


title: Some examples of 1-convex non-embeddable threefolds

abstract: We construct a family of 1-convex threefolds, with exceptional curve C of type (0,-2), which are not embeddable in C^m \times CP_n. In order to show that they are not Kaehler we exhibit a real 3-dimensional chain A whose boundary is the complex curve C.


title: Coefficients of Orthogonal Polynomials on the Unit Circle and Higher Order Szego Theorems

abstract: Let $\mu$ be a non-trivial probability measure on the unit circle $\partial\bbD$, $w$ the density of its absolutely continuous part, $\alpha_n$ its Verblunsky coefficients, and $\Phi_n$ its monic orthogonal polynomials. In this paper we compute the coefficients of $\Phi_n$ in terms of the $\alpha_n$. If the function $\log w$ is in $L^1(d\theta)$, we do the same for its Fourier coefficients. As an application we prove that if $\alpha_n \in \ell^4$ and $Q(z) = \sum_{m=0}^N q_m z^m$ is a polynomial, then with $\bar Q(z) = \sum_{m=0}^N \bar q_m z^m$ and $S$ the left shift operator on sequences we have $|Q(e^{i\theta})|^2 \log w(\theta) \in L^1(d\theta)$ if and only if $\{\bar Q(S)\alpha\}_n \in \ell^2$. We also study relative ratio asymptotics of the reversed polynomials $\Phi_{n+1}^*(\mu)/\Phi_n^*(\mu)-\Phi_{n+1}^*(\nu)/\Phi_n^*(\nu)$ and provide a necessary and sufficient condition in terms of the Verblunsky coefficients of the measures $\mu$ and $\nu$ for this difference to converge to zero uniformly on compact subsets of $\bbD$.


title: Elliptic operators on infinite graphs

abstract: We present some applications of ideas from partial differential equations and differential geometry to the study of difference equations on infinite graphs. All operators that we consider are examples of "elliptic operators" as defined by Y. Colin de Verdiere. For such operators, we discuss analogs of inequalities of Cheeger and Harnack and of the maximum principle (in both elliptic and parabolic versions), and apply them to study spectral theory, the ground state and the heat semigroup associated to these operators.


title: New fermionic formula for unrestricted Kostka polynomials

abstract: A new fermionic formula for the unrestricted Kostka polynomials of type $A_{n-1}^{(1)}$ is presented. This formula is different from the one given by Hatayama et al. and is valid for all crystal paths based on Kirillov-Reshetihkin modules, not just for the symmetric and anti-symmetric case. The fermionic formula can be interpreted in terms of a new set of unrestricted rigged configurations. For the proof a statistics preserving bijection from this new set of unrestricted rigged configurations to the set of unrestricted crystal paths is given which generalizes a bijection of Kirillov and Reshetikhin.


title: An extraordinary origami curve

abstract: We study a special Teichmueller curve in the moduli space of curves of genus 3 that is intersected by infinitely many other Teichmueller curves. The Veech group of the underlying translation surface is SL_2(Z). All occurring Teichmueller curves are induced by origamis, i.e. unramified coverings of the once punctured torus.


title: Probl\`{e}me de Lehmer relatif dans un tore : cas des hypersurfaces

abstract: We tackle the "relative" Lehmer problem on algebraic subvarieties of a multiplicative torus. Generalizing a theorem of F. Amoroso and U. Zannier, we give a lower bound for the normalized height of a non torsion hypersurface in terms of its obstruction index over $\Q^{ab}$, the maximal abelian extension of $\Q$. We prove up to $\eps$ the sharpest conjecture that can be formulated.


title: Strictly Ergodic Subshifts and Associated Operators

abstract: We consider ergodic families of Schr\"odinger operators over base dynamics given by strictly ergodic subshifts on finite alphabets. It is expected that the majority of these operators have purely singular continuous spectrum supported on a Cantor set of zero Lebesgue measure. These properties have indeed been established for large classes of operators of this type over the course of the last twenty years. We review the mechanisms leading to these results and briefly discuss analogues for CMV matrices.


title: Cluster-tilted algebras of finite representation type

abstract: We investigate the cluster-tilted algebras of finite representation type over an algebraically closed field. We give an explicit description of the relations for the quivers for finite representation type. As a consequence we show that a (basic) cluster-tilted algebra of finite type is uniquely determined by its quiver. Also some necessary conditions on the shapes of quivers of cluster-tilted algebras of finite representation type are obtained along the way.


title: On unique continuation of solutions of Schr\"odinger equations

abstract: We study uniqueness properties of solutions of Schr\"odinger equations. The aim is to obtain sufficient conditions on the decay behavior of the difference of two solution $u_1-u_2$ of the equation at two different times $t_0=0$ and $t_1=1$ which guarantee the uniqueness of the solution, i.e. that $u_1\equiv u_2$.


title: On the Combinatorics of Crystal Graphs, I. Lusztig's Involution

abstract: In this paper, we continue the development of a new combinatorial model for the irreducible characters of a complex semisimple Lie group. This model, which will be referred to as the alcove path model, can be viewed as a discrete counterpart to the Littelmann path model. It leads to an extensive generalization of the combinatorics of irreducible characters from Lie type A (where the combinatorics is based on Young tableaux, for instance) to arbitrary type. The main results of this paper are: (1) a combinatorial description of the crystal graphs corresponding to the irreducible representations (this result includes a transparent proof, based on the Yang-Baxter equation, of the fact that the mentioned description does not depend on the choice involved in our model); (2) a combinatorial realization of Lusztig's involution on the canonical basis (this involution exhibits the crystals as self-dual posets, corresponds to the action of the longest Weyl group element on an irreducible representation, and generalizes Schutzenberger's involution on tableaux); (3) an analog for arbitrary root systems, based on the Yang-Baxter equation, of Schutzenberger's sliding algorithm, which is also known as jeu de taquin (this algorithm has many applications to the representation theory of the Lie algebra of type A).


title: Inequalities for the Norm and Numerical Radius of Composite Operators in Hilbert Spaces

abstract: Some new inequalities for the norm and the numerical radius of composite operators generated by a pair of operators are given.


title: Hochschild cohomology of truncated quiver algebras

abstract: For a truncated quiver algebra over a field of arbitrary characteristic, its Hochschild cohomology is calculated. Moreover, it is shown that its Hochschild cohomology algebra is finite-dimensional if and only if its global dimension is finite if and only if its quiver has no oriented cycles.


title: Interaction de strates consecutives pour les cycles evanescents III : Le cas de la valeur propre 1

abstract: This text is a study of the missing case in our article [B.91], that is to say the eigenvalue 1 case. Of course this is a more involved situation because the existence of the smooth stratum for the hypersurface {f = 0} forces to consider three strata for the nearby cycles. And we already know that the smooth stratum is always "tangled" if it is not alone (see [B.84b] and the introduction of [B.03]). The new phenomenon is the role played here by a "new" cohomology group, denote by $H^n_{c\cap S}(F)_{=1}$, of the Milnor's fiber of f at the origin. It has the same dimension as $H^n(F)_{=1}$ and $H^n_c(F)_{=1}$, and it leads to a non trivial factorization of the canonical map $$ can : H^n_{c\cap S}(F)_{=1} \to H^n_c(F)_{=1},$$ and to a monodromic isomorphism of variation $$ var :H^n_{c\cap S}(F)_{=1}\to H^n_c(F)_{=1}.$$ It gives a canonical hermitian form $$ \mathcal{H} : H^n_{c\cap S}(F)_{=1} \times H^n(F )_{=1} \to \mathbb{C}$$ which is non degenerate. This generalizes the case of an isolated singularity for the eigenvalue 1 (see [B.90] and [B.97]). The "overtangling" phenomenon for strata associated to the eigenvalue 1 implies the existence of triple poles at negative integers (with big enough absolute value) for the meromorphic continuation of the distribution $\int_X |f |^{2\lambda}\square $ for functions f having semi-simple local monodromies at each singular point of {f =0}.


title: Minimality and irreducibility of symplectic four-manifolds

abstract: We prove that all minimal symplectic four-manifolds are essentially irreducible. We also clarify the relationship between holomorphic and symplectic minimality of K\"ahler surfaces. This leads to a new proof of the deformation-invariance of holomorphic minimality for complex surfaces with even first Betti number which are not Hirzebruch surfaces.


title: Orbitwise countings in H(2) and quasimodular forms

abstract: We prove formulae for the countings by orbit of square-tiled surfaces of genus two with one singularity. These formulae were conjectured by Hubert & Leli\`{e}vre. We show that these countings admit quasimodular forms as generating functions.


title: Monoidal intervals of clones on infinite sets

abstract: We show that for an infinite set X, if L is a completely distributive algebraic lattice with not more completely join irreducible elements than the size of the power set of X, then there is a monoidal interval in the clone lattice on X which is isomorphic to 1+L, which is L plus a new smallest element added. Concerning cardinalities of monoidal intervals this result implies that there exist monoidal intervals of all cardinalities of at most the size of the power set of X, as well as monoidal intervals of cardinality 2^k, for all cardinals k which are not greater than the power set of X.


title: A unified approach to polynomial sequences with only real zeros

abstract: We give new sufficient conditions for a sequence of polynomials to have only real zeros based on the method of interlacing zeros. As applications we derive several well-known facts, including the reality of zeros of orthogonal polynomials, matching polynomials, Narayana polynomials and Eulerian polynomials. We also settle certain conjectures of Stahl on genus polynomials by proving them for certain classes of graphs, while showing that they are false in general.


title: Appendix to the paper "Random walks on free products of cyclic groups"

abstract: This paper is an appendix to the paper "Random walks on free products of cyclic groups" by J.Mairesse and F.Math\'eus. It contains the details of the computations and the proofs of the results concerning the examples treated there.


title: Combinatorial shifting and graded Betti numbers

abstract: This paper has been withdrawn since we combine this paper with math.AC/0503685. All contents of the paper have been moved to math.AC/0503685.


title: Coplanar constant mean curvature surfaces

abstract: We consider constant mean curvature surfaces of finite topology, properly embedded in three-space in the sense of Alexandrov. Such surfaces with three ends and genus zero were constructed and completely classified by the authors in arXiv:math.DG/0102183. Here we extend the arguments to the case of an arbitrary number of ends, under the assumption that the asymptotic axes of the ends lie in a common plane: we construct and classify the entire family of these genus-zero coplanar constant mean curvature surfaces.


title: Random walks on free products of cyclic groups

abstract: Let G be a free product of a finite family of finite groups, with the set of generators being formed by the union of the finite groups. We consider a transient nearest-neighbour random walk on G. We give a new proof of the fact that the harmonic measure is a special Markovian measure entirely determined by a finite set of polynomial equations. We show that in several simple cases of interest, the polynomial equations can be explicitely solved, to get closed form formulas for the drift. The examples considered are the modular group Z/2Z*Z/3Z, Z/3Z*Z/3Z, Z/kZ*Z/kZ, and the Hecke groups Z/2Z*Z/kZ. We also use these various examples to study Vershik's notion of extremal generators, which is based on the relation between the drift, the entropy, and the volume of the group.


title: Decay at infinity for parabolic equations

abstract: We consider solutions to linear parabolic equations with initial data decaying at spatial infinity. For a class of advection-diffusion equations with a spatially dependent velocity field, we study the behavior of solutions as time tends to infinity. We characterize velocity fields, so that positive solutions decay or lift-off at spatial infinity as time tends to infinity. This addresses the question of stability of the zero solution for decaying perturbations.


title: Self-intersections of Immersions and Steenrod Operations

abstract: We present a formula describing the action of a generalised Steenrod operation of $\Z_2$-type on the cohomology class represented by a proper self-transverse immersion $f\co M\imm X$, in terms of the equivariant double points of $f$ and the characteristic classes of its normal bundle. This generalises a classical result of R.\ Thom: If $\alpha\in H^k(X;\Z_2)$ is the ordinary cohomology class represented by $f\co M\imm X$, then $\mathrm{Sq}^i(\alpha)=f_* w_i(\nu_f)$.


title: Steenrod operations in Gromov--Witten theory: a computation for CP^n

abstract: I could not get this paper published; it was considered uninteresting by the referee. And now, several years later, I also detect (what seems to be) a serious error in it. This general line of research may still, however, be of some interest.


title: A wild knot $\mathbb{S}^{2}\hookrightarrow\mathbb{S}^{4}$ as limit set of a Kleinian Group: Indra's pearls in four dimensions

abstract: The purpose of this paper is to construct an example of a 2-knot wildly embedded in $\mathbb{S}^{4}$ as the limit set of a Kleinian group. We find that this type of wild 2-knots has very interesting topological properties.


title: The asymptotic dimension of a curve graph is finite

abstract: We find an upper bound for the asymptotic dimension of a hyperbolic metric space with a set of geodesics satisfying a certain boundedness condition studied by Bowditch. The primary example is a collection of tight geodesics on the curve graph of a compact orientable surface. We use this to conclude that a curve graph has finite asymptotic dimension. It follows then that a curve graph has property $A_1$. We also compute the asymptotic dimension of mapping class groups of orientable surfaces with genus $\le 2$.


title: Minkowski type problems for convex hypersurfaces in the sphere

abstract: We consider the problem $F=f(\nu)$ for strictly convex, closed hypersurfaces in $S^{n+1}$ and solve it for curvature functions $F$ the inverses of which are of class $(K)$.


title: An improved bilinear estimate for Benjamin-Ono type equations

abstract: A bilinear estimate in Fourier restriction norm spaces with applications to the Cauchy problem associated to u_t - |D|^{\alpha}u_x + uu_x =0 is proved, for 1< \alpha <2. As a consequence, local well-posedness in H^s(\R) \cap \dot{H}^{-\omega}(\R) follows for s >-{3/4}(\alpha-1) and \omega=1/\alpha-1/2. This extends to global well-posedness for all s \geq 0.


title: Polynomial systems supported on circuits and dessins d'enfants

abstract: We study polynomial systems whose equations have as common support a set C of n+2 points in Z^n called a circuit. We find a bound on the number of real solutions to such systems which depends on n, the dimension of the affine span of the minimal affinely dependent subset of C, and the "rank modulo 2" of C. We prove that this bound is sharp by drawing so-called dessins d'enfant on the Riemann sphere. We also obtain that the maximal number of solutions with positive coordinates to systems supported on circuits in Z^n is n+1, which is very small comparatively to the bound given by the Khovanskii fewnomial theorem.


title: Lefschetz decomposition and the cd-index of fans

abstract: The goal of this article is to give a Lefschetz type decomposition for the cd-index of a complete fan. To a complete simplicial fan one can associate a toric variety X, the even Betti numbers h_i of X and the numbers g_i = h_i-h_{i-1}. If the fan is projective, then non-negativity of g_i follows from the Lefschetz decomposition of the cohomology. In the case of a nonsiplicial complete fan one can analogously compute the flag h-numbers h_S and, by a change of variable formula, the cd-index. We give an analogue of the Lefschetz operation for the cd-index. This gives another proof of the non-negativity of the cd-index for complete fans.


title: Linear free divisors and quiver representations

abstract: Linear free divisors are free divisors, in the sense of K.Saito, with linear presentation matrix (example: normal crossing divisors). Using techniques of deformation theory on representations of quivers, we exhibit families of linear free divisors as discriminants in representation spaces for real Schur roots of a finite quiver. We review some basic material on quiver representations, and explain in detail how to verify whether the discriminant is a free divisor and how to determine its components and their equations, using techniques of A. Schofield. As an illustration, the linear free divisors that arise as the discriminant from the highest roots of Dynkin quivers of type E7 and E8 are treated explicitly.


title: Twisted Fourier-Mukai transforms for holomorphic symplectic fourfolds

abstract: We apply the methods of C{\u{a}}ld{\u{a}}raru to construct a twisted Fourier-Mukai transform between a pair of holomorphic symplectic four-folds. More precisely, we obtain an equivalence between the derived category of coherent sheaves on a certain four-fold and the derived category of twisted sheaves on its `mirror' partner. As corollaries, we show that the two spaces are connected by a one-parameter family of deformations through Lagrangian fibrations, and we extend the original Fourier-Mukai transform to degenerations of abelian surfaces.


title: Deformations of holomorphic Lagrangian fibrations

abstract: Let $X\to\P^n$ be a $2n$-dimensional projective holomorphic symplectic manifold admitting a Lagrangian fibration over $\P^n$. Matsushita proved that the fibration can be deformed in a codimension one family in the moduli space $\mathrm{Def}(X)$ of deformations of $X$. We extend his result by proving that if the Lagrangian fibration admits a section, then there is a codimension two family of deformations which also preserve the section.


title: Lagrangian fibrations on Hilbert schemes of points on K3 surfaces

abstract: Let $\mathrm{Hilb}^gS$ be the Hilbert scheme of $g$ points on a K3 surface $S$. Suppose that $\mathrm{Pic}S\cong\Z C$ where $C$ is a smooth curve with $C^2=2(g-1)n^2$. We prove that $\mathrm{Hilb}^gS$ is a Lagrangian fibration.


title: The Caratheodory-Fejer-Pisarenko decomposition and its multivariable counterpart

abstract: When a covariance matrix with a Toeplitz structure is written as the sum of a singular one and a positive scalar multiple of the identity, the singular summand corresponds to the covariance of a purely deterministic component of a time-series whereas the identity corresponds to white noise--this is the Carath\'{e}odory-Fej\'{e}r-Pisarenko (CFP) decomposition. In the present paper we study multivariable analogs for block-Toeplitz matrices as well as for matrices with the structure of state-covariances of finite-dimensional linear systems (which include block-Toeplitz ones). We characterize state-covariances which admit only a deterministic input power spectrum. We show that multivariable decomposition of a state-covariance in accordance with a ``deterministic component + white noise'' hypothesis for the input does not exist in general, and develop formulae for spectra corresponding to singular covariances via decomposing the contribution of the singular part. We consider replacing the ``scalar multiple of the identity'' in the CFP decomposition by a covariance of maximal trace which is admissible as a summand. The summand can be either (block-)diagonal corresponding to white noise or have a ``short-range correlation structure'' correponding to a moving average component. The trace represents the maximal variance/energy that can be accounted for by a process (e.g., noise) with the aforementioned structure at the input, and the optimal solution can be computed via convex optimization. The decomposition of covariances and spectra according to the range of their time-domain correlations is an alternative to the CFP-dictum with potentially great practical significance.


title: Conditioned square functions for noncommutative martingales

abstract: We prove a weak-type (1, 1) inequality involving conditioned versions of square functions for martingales in noncommutative $L^p$-spaces associated with finite von Neumann algebras. As application, we determine the optimal orders for the best constants in the noncommutative Burkholder/Rosenthal inequalities from [Ann. Probab. 31 (2003) 948--995]. We also discuss BMO-norms of sums of noncommuting order-independent operators.


title: Fubini's Theorem in codimension two

abstract: We classify codimension two analytic submanifolds X of projective space having the property that any line through a general point p having contact to order two with X at p automatically has contact to order three. We give applications to the study of the Debarre--de Jong conjecture, and of n-dimensional varieties whose Fano variety of lines has dimension 2n-4.


title: Error analysis of coarse-grained kinetic Monte Carlo method

abstract: In this paper we investigate the approximation properties of the coarse-graining procedure applied to kinetic Monte Carlo simulations of lattice stochastic dynamics. We provide both analytical and numerical evidence that the hierarchy of the coarse models is built in a systematic way that allows for error control in both transient and long-time simulations. We demonstrate that the numerical accuracy of the CGMC algorithm as an approximation of stochastic lattice spin flip dynamics is of order two in terms of the coarse-graining ratio and that the natural small parameter is the coarse-graining ratio over the range of particle/particle interactions. The error estimate is shown to hold in the weak convergence sense. We employ the derived analytical results to guide CGMC algorithms and we demonstrate a CPU speed-up in demanding computational regimes that involve nucleation, phase transitions and metastability.


title: Modified scattering for a wave equation with weak dissipation

abstract: We consider the Cauchy problem for the weakly dissipative wave equation $$ \square u+\frac\mu{1+t} u_t=0 $$ with parameter $\mu\ge2$. Based on the explicit representations of solutions provided in [Math. Meth. Appl. Sci. 2004; {\bf 27}:101-124] sharp decay estimates for data from a dense subspace of the energy space are derived. Furthermore, sharpness is discussed in terms of a modified scattering theory.


title: Stein Shrinkage and Second-Order Efficiency for semiparametric estimation of the shift

abstract: The problem of estimating the shift (or, equivalently, the center of symmetry) of an unknown symmetric and periodic function $f$ observed in Gaussian white noise is considered. Using the blockwise Stein method, a penalized profile likelihood with a data-driven penalization is introduced so that the estimator of the center of symmetry is defined as the maximizer of the penalized profile likelihood. This estimator has the advantage of being independent of the functional class to which the signal $f$ si assumed to belong and, furthermore, is shown to be semiparametrically adaptive and efficient. Moreover, the second-order term of the risk expansion of the proposed estimator is proved to behave at least as well as the second-order term of the risk of the best possible estimator using monotone smoothing filter. Under mild assumptions, this estimator is shown to be second-order minimax sharp adaptive over the whole scale of Sobolev balls with smoothness $\beta>1$. Thus, these results extend those of \cite{DGT}, where second-order asymptotic minimaxity is proved for an estimator depending on the functional class containing $f$ and $\beta\geq 2$ is required.


title: A boundary point lemma for Black-Scholes type operators

abstract: We prove a sharp version of the Hopf boundary point lemma for Black-Scholes type equations. We also investigate the existence and the regularity of the spatial derivative of the solutions at the spatial boundary.


title: Properties of option prices in models with jumps

abstract: We study convexity and monotonicity properties of option prices in a model with jumps using the fact that these prices satisfy certain parabolic integro-differential equations. Conditions are provided under which preservation of convexity holds, i.e. under which the value, calculated under a chosen martingale measure, of an option with a convex contract function is convex as a function of the underlying stock price. The preservation of convexity is then used to derive monotonicity properties of the option value with respect to the different parameters of the model, such as the volatility, the jump size and the jump intensity.


title: Towards commutator theory for relations. II

abstract: We find conditions equivalent to some commutator identities considered in Part I


title: Thom polynomials and Schur functions I

abstract: We give the Thom polynomials for the singularities I_2,2 and A_3 associated with maps (C^n,0) -> (C^{n+k},0) with parameter k>=0. We give the Schur function expansions of these Thom polynomials. Moreover, for the singularities A_i (with any parameter k >= 0) we analyze the ``first approximation'' F^(i) to the Thom polynomial. Our computations combine the characterization of Thom polynomials via the ``method of restriction equations'' of Rimanyi et al. with the techniques of (super) Schur functions.


title: Percolation, Perimetry, Planarity

abstract: Let G be a planar graph with polynomial growth and isoperimetric dimension bigger than 1. Then the critical p for Bernoulli percolation on G satisfies p<1.


title: Kaczmarz algorithm in Hilbert space and tight frames

abstract: We prove that any tight frame in Hilbert space can be obtained by the Kaczmarz algorithm. An explicit way of constructing this correspondence is given. The uniqueness of the correspondence is determined.


title: $L^2$ Forms and Ricci flow with bounded curvature on Complete Non-compact manifolds

abstract: In this paper, we study the evolution of $L^2$ one forms under Ricci flow with bounded curvature on a non-compact Rimennian manifold. We show on such a manifold that the $L^2$ norm of a smooth one form with compact support is non-increasing along the Ricci flow with bounded curvature. The $L^{\infty}$ norm is showed to have monotonicity property too. Then we use $L^{\infty}$ cohomology of one forms with compact support to study the singularity model for the Ricci flow on $S^1\times \mathbb{R}^{n-1}$.


title: Topological rigidity for non-aspherical manifolds

abstract: The Borel Conjecture predicts that closed aspherical manifolds are topological rigid. We want to investigate when a non-aspherical oriented connected closed manifold M is topological rigid in the following sense. If f: N --> M is an orientation preserving homotopy equivalence with a closed oriented manifold as target, then there is an orientation preserving homeomorphism h: N --> M such that h and f induce up to conjugation the same maps on the fundamental groups. We call such manifolds Borel manifolds. We give partial answers to this questions for S^k x S^d, for sphere bundles over aspherical closed manifolds of dimension less or equal to 3 and for 3-manifolds with torsionfree fundamental groups. We show that this rigidity is inherited under connected sums in dimensions greater or equal to 5. We also classify manifolds of dimension 5 or 6 whose fundamental group is the one of a surface and whose second homotopy group is trivial.


title: A maj-inv bijection for C_2 \wr A_n

abstract: We give a bijective proof of the MacMahon-type equidistribution over the group of signed even permutations C_2 \wr A_n that was stated in [Bernstein. Electron. J. Combin. 11 (2004) 83]. This is done by generalizing the bijection that was introduced in the bijective proof of the equidistribution over the alternating group A_n in [Bernstein and Regev. Sem. Lothar. Combin. 53 (2005) B53b].


title: Special characters on star graphs and representations of $*$-algebras

abstract: For a star-shaped graph, we introduce special characters and study their properties. We decompose special characters into odd and even parts and study their evolution under reflections. We apply the obtained formulas to prove that the corresponding $*$-algebra have irreducible infinite-dimensional $*$-representations, if the graph contains an extended Dynkin graph as a proper subgraph.


title: Orthogonal polynomials of discrete variable and boundedness of Dirichlet kernel

abstract: For orthogonal polynomials defined by compact Jacobi matrix with exponential decay of the coefficients, precise properties of orthogonality measure is determined. This allows showing uniform boundedness of partial sums of orthogonal expansions with respect to $L^\infty$ norm, which generalize analogous results obtained for little $q$-Legendre, little $q$-Jacobi and little $q$-Laguerre polynomials, by the authors.


title: Operator theory on noncommutative varieties, II

abstract: We show that the constrained characteristic function is a complete unitary invariant for J-constrained completely non-coisometric (c.n.c.) row contractions, where J is a WOT-closed two-sided ideal of the noncommutative analytic Toeplitz algebra. We provide a model for this class of row contractions in terms of the constrained characteristic functions. In particular, we obtain a model theory for q-commuting c.n.c. row contractions.


title: On Igusa zeta functions of monomial ideals

abstract: We show that the real parts of the poles of the Igusa zeta function of a monomial ideal can be computed from the torus-invariant divisors on the normalized blowing-up along the ideal. Moreover, we show that every such number is a root of the Bernstein-Sato polynomial associated to the monomial ideal.


title: Predicativity beyond Gamma_0

abstract: We reevaluate the claim that predicative reasoning (given the natural numbers) is limited by the Feferman-Schutte ordinal Gamma_0. First we comprehensively criticize the arguments that have been offered in support of this position. Then we analyze predicativism from first principles and develop a general method for accessing ordinals which is predicatively valid according to this analysis. We find that the Veblen ordinal \phi_{\Omega^\omega}(0), and larger ordinals, are predicatively provable.


title: Analysis in J_2

abstract: This is an expository paper in which I explain how core mathematics, particularly abstract analysis, can be developed within a concrete countable set J_2 (the second set in Jensen's constructible hierarchy). The implication, well-known to proof theorists but probably not to most mainstream mathematicians, is that ordinary mathematical practice does not require an enigmatic metaphysical universe of sets. I go further and argue that J_2 is a superior setting for normal mathematics because it is free of irrelevant set-theoretic pathologies and permits stronger formulations of existence results.


title: Mathematical conceptualism

abstract: This is an explanation and defense of "mathematical conceptualism" for a general mathematical and philosophical audience. I make a case that it is cogent, rigorous, attractive, and better suited to ordinary mathematical practice than all other foundational stances.


title: Truncated Groebner fans and lattice ideals

abstract: We outline a generalization of the Groebner fan of a homogeneous ideal with maximal cells parametrizing truncated Groebner bases. This "truncated" Groebner fan is usually much smaller than the full Groebner fan and offers the natural framework for conversion between truncated Groebner bases. The generic Groebner walk generalizes naturally to this setting by using the Buchberger algorithm with truncation on facets. We specialize to the setting of lattice ideals. Here facets along the generic walk are given by unique (facet) binomials. This along with the representation of binomials as integer vectors give an especially simple version of the generic Groebner walk. Computational experience with the special Aardal-Lenstra integer programming knapsack problems is reported.


title: Deterministic modal Bayesian Logic: derive the Bayesian within the modal logic T

abstract: In this paper a conditional logic is defined and studied. This conditional logic, DmBL, is constructed as close as possible to the Bayesian and is unrestricted, that is one is able to use any operator without restriction. A notion of logical independence is also defined within the logic itself. This logic is shown to be non trivial and is not reduced to classical propositions. A model is constructed for the logic. Completeness results are proved. It is shown that any unconditioned probability can be extended to the whole logic DmBL. The Bayesian is then recovered from the probabilistic DmBL. At last, it is shown why DmBL is compliant with Lewis triviality.


title: Murre's conjectures for certain product varieties

abstract: We consider Murre's conjectures on Chow groups for a fourfold which is a product of two curves and a surface. We give a result which concerns Conjecture D:the kernel of a certain projector is equal to the homologically trivial part of the Chow group. We also give a proof of Conjecture B for a product of two surfaces.


title: The max-plus finite element method for optimal control problems: further approximation results

abstract: We develop the max-plus finite element method to solve finite horizon deterministic optimal control problems. This method, that we introduced in a previous work, relies on a max-plus variational formulation, and exploits the properties of projectors on max-plus semimodules. We prove here a convergence result, in arbitrary dimension, showing that for a subclass of problems, the error estimate is of order $\delta+\Delta x(\delta)^{-1}$, where $\delta$ and $\Delta x$ are the time and space steps respectively. We also show how the max-plus analogues of the mass and stiffness matrices can be computed by convex optimization, even when the global problem is non convex. We illustrate the method by numerical examples in dimension 2.


title: On R-matrix representations of Birman-Murakami-Wenzl algebras

abstract: We show that to every local representation of the Birman-Murakami-Wenzl algebra defined by a skew-invertible R-matrix $R\in Aut(V\otimes V)$ one can associate pairings $V\otimes V\to C$ and $V^*\otimes V^*\to C$, where V is the representation space. Further, we investigate conditions under which the corresponding quantum group is of SO or Sp type.


title: q-Schur algebras and complex reflection groups, I

abstract: We show that the category O for a rational Cherednik algebra of type A is equivalent to modules over a q-Schur algebra (parameter not a half integer), providing thus character formulas for simple modules. We give some generalization to B_n(d). We prove an ``abstract'' translation principle. These results follow from the unicity of certain highest categories covering Hecke algebras. We also provide a semi-simplicity criterion for Hecke algebras of complex reflection groups.


title: On the expansion of the giant component in percolated (n,d,\lambda) graphs

abstract: Let d \geq d_0 be a sufficiently large constant. A (n,d,c \sqrt{d}) graph G is a d-regular graph over n vertices whose second largest (in absolute value) eigenvalue is at most c \sqrt{d}. For any 0 < p < 1, G_p is the graph induced by retaining each edge of G with probability p. It is known that for p > \frac{1}{d} the graph G_p almost surely contains a unique giant component (a connected component with linear number vertices). We show that for p \geq frac{5c}{\sqrt{d}} the giant component of G_p almost surely has an edge expansion of at least \frac{1}{\log_2 n}.


title: On the Hochschild homology of quantum SL(N)

abstract: We show that the standard quantized coordinate ring A of quantum SL(N) satisfies van den Bergh's analogue of Poincare duality for Hochschild (co)homology with dualizing bimodule being A_sigma, the A-bimodule which is A as k-vector space with right multiplication twisted by the modular automorphism sigma of the Haar functional. This implies that H_{N^2-1} (A, A_sigma)=k, generalizing our previous results for quantum SL(2).


title: Matrix Identities on Weighted Partial Motzkin Paths

abstract: We give a combinatorial interpretation of a matrix identity on Catalan numbers and the sequence $(1, 4, 4^2, 4^3, ...)$ which has been derived by Shapiro, Woan and Getu by using Riordan arrays. By giving a bijection between weighted partial Motzkin paths with an elevation line and weighted free Motzkin paths, we find a matrix identity on the number of weighted Motzkin paths and the sequence $(1, k, k^2, k^3, ...)$ for any $k \geq 2$. By extending this argument to partial Motzkin paths with multiple elevation lines, we give a combinatorial proof of an identity recently obtained by Cameron and Nkwanta. A matrix identity on colored Dyck paths is also given, leading to a matrix identity for the sequence $(1, t^2+t, (t^2+t)^2, ...)$.


title: Weak convergence in the functional autoregressive model

abstract: The functional autoregressive model is a Markov model taylored for data of functional nature. It revealed fruitful when attempting to model samples of dependent random curves and has been widely studied along the past few years. This article aims at completing the theoretical study of the model by adressing the crucial issue of weak convergence for estimates from the model. The main difficulties stem from an underlying inverse problem as well as from dependence between the data. Traditional facts about weak convergence in non parametric models appear : the normalizing sequence is an o($sqrt{n}$), a bias terms appears. Several original features of the functional framework are pointed out.


title: Carne--Varopoulos bounds for centered random walks

abstract: We extend the Carne--Varopoulos upper bound on the probability transitions of a Markov chain to a certain class of nonreversible processes by introducing the definition of a ``centering measure.'' In the case of random walks on a group, we study the connections between different notions of centering.