title: Some Conditional Correlation Inequalities for Percolation and Related Processes

abstract: Consider ordinary bond percolation on a finite or countably infinite graph. Let s, t, a and b be vertices. An earlier paper proved the (nonintuitive) result that, conditioned on the event that there is no open path from s to t, the two events "there is an open path from s to a" and "there is an open path from s to b" are positively correlated. In the present paper we further investigate and generalize the theorem of which this result was a consequence. This leads to results saying, informally, that, with the above conditioning, the open cluster of s is conditionally positively (self-)associated and that it is conditionally negatively correlated with the open cluster of t. We also present analogues of some of our results for (a) random-cluster measures, and (b) directed percolation and contact processes, and observe that the latter lead to improvements of some of the results in a paper of Belitsky, Ferrari, Konno and Liggett (1997).


title: Enlargements of Categories

abstract: In order to apply nonstandard methods to modern algebraic geometry, as a first step in this paper we study the applications of nonstandard constructions to category theory. It turns out that many categorial properties are well behaved under enlargements.


title: On occupation times of stationary excursions

abstract: In this paper excursions of a stationary diffusion in stationary state are studied. In particular, we compute the joint distribution of the occupation times $I^{(+)}_t$ and $I^{(-)}_t$ above and below, respectively, the observed level at time $t$ during an excursion. We consider also the starting time $g_t$ and the ending time $d_t$ of the excursion (straddling $t$) and discuss their relations to the Levy measure of the inverse local time. It is seen that the pairs $(I^{(+)}_t, I^{(-)}_t)$ and $(t-g_t, d_t-t)$ are identically distributed. Moreover, conditionally on $I^{(+)}_t + I^{(-)}_t =v$, the variables $I^{(+)}_t$ and $I^{(-)}_t$ are uniformly distributed on $(0,v)$. Using the theory of the Palm measures, we derive an analoguous result for excursion bridges.


title: Generalized cohomology of pro-spectra

abstract: We present a closed model structure for the category of pro-spectra in which the weak equivalences are detected by stable homotopy pro-groups. With some bounded-below assumptions, weak equivalences are also detected by cohomology as in the classical Whitehead theorem for spectra. We establish an Atiyah-Hirzebruch spectral sequence in this context, which makes possible the computation of topological K-theory (and other generalized cohomology theories) of pro-spectra.


title: F-regularity of large Schubert varieties

abstract: Let G denote a connected reductive algebraic group over an algebraically closed field k and let X denote a projective G x G-equivariant embedding of G. The large Schubert varieties in X are the closures of the double cosets BgB, where B denotes a Borel subgroup of G, and g is in G. We prove that these varieties are globally F-regular in positive characteristic, resp. of globally F-regular type in characteristic 0. As a consequence, the large Schubert varieties are normal and


title: Bounded Submodules of Modules

abstract: Let $m$, $n$ be positive integers such that $m\leq n$. We consider all pairs $(B,A)$ where $B$ is a finite dimensional $T^n$-bounded $k[T]$-module and $A$ is a submodule of $B$ which is $T^m$-bounded. They form the objects of the submodule category $S_m(k[T]/T^n)$ which is a Krull-Schmidt category with Auslander-Reiten sequences. The case $m=n$ deals with submodules of $k[T]/T^n$-modules and has been studied well. In this manuscript we determine the representation type of the categories $S_m(k[T]/T^n)$ also for the cases where $m<n$: It turns out that there are only finitely many indecomposables in $S_m(k[T]/T^n)$ if either $m<3$, $n<6$, or $(m,n)=(3,6)$; the category is tame if $(m,n)$ is one of the pairs $(3,7)$, $(4,6)$, $(5,6)$, or $(6,6)$; otherwise, $S_m(k[T]/T^n)$ has wild representation type. Moreover, in each of the finite or tame cases we describe the indecomposables and picture the Auslander-Reiten quiver.


title: Finite Type Invariants

abstract: This is an overview article on finite type invariants, written for the Encyclopedia of Mathematical Physics


title: Several complex variables and the distribution of resonances in potential scattering

abstract: We study resonances associated to Schr\"odinger operators with compactly supported potentials on ${\mathbb R}^d$, $d\geq3$, odd. We consider compactly supported potentials depending holomorphically on a complex parameter $z$. For certain such families, for all $z$ except those in a pluripolar set, the associated resonance-counting function has order of growth $d$. Our proofs use some results from several complex variables.


title: Einstein metrics on 5-dimensional Seifert bundles

abstract: The aim of this paper is to study Seifert bundle structures on simply connected 5--manifolds. We classify all such 5--manifolds which admit a Seifert bundle structure, and in a few cases all Seifert bundle structures are also classified. These results are then used to construct positive Ricci curvature Einstein metrics on these manifolds. The proof has 4 main steps. First, the study of the Leray spectral sequence of the Seifert bundle, based on work of Orlik--Wagreich. Second, the study of log Del Pezzo surfaces. Third, the construction of K\"ahler--Einstein metrics on Del Pezzo orbifolds using the algebraic existence criterion of Demailly--Koll\'ar. Fourth, the lifting of the K\"ahler--Einstein metric on the base of a Seifert bundle to an Einstein metric on the total space using the Kobayashi--Boyer--Galicki method.


title: An invariance principle for maps with polynomial decay of correlations

abstract: We give a general method of deriving statistical limit theorems, such as the central limit theorem and its functional version, in the setting of ergodic measure preserving transformations. This method is applicable in situations where the iterates of discrete time maps display a polynomial decay of correlations.


title: Green's Function of 3-D Helmholtz Equation for Turbulent Medium: Application to Optics

abstract: The fundamental problem of optical wave propagation is the determination of the field at an observation point, given a disturbance specified over some finite aperture. In both vacuum and inhomogeneous media, the solution of this problem is given approximately by the superposition integral, which is a mathematical expression of the extended Huygens-Fresnel principle. In doing so, it is important to find the atmospheric impulse response (Green's function). Within a limited but useful region of validity, a satisfactory optical propagation theory for the earth's clear turbulent atmosphere could be developed by using Rytov's method to approximate the Helmholtz equation. In particular, we deal with two optical problems which are the time reversal and apodization problems. The background and consequences of these results for optical communication through the atmosphere are briefly discussed.


title: A Complete Obstruction to the Existence of Nonvanishing Vector Fields on Almost-Complex, Closed, Cyclic Orbifolds

abstract: We determine several necessary and sufficient conditions for a closed almost-complex orbifold $Q$ with cyclic local groups to admit a nonvanishing vector field. These conditions are stated separately in terms of the orbifold Euler-Satake characteristics of $Q$ and its sectors, the Euler characteristics of the underlying topological spaces of $Q$ and its sectors, and in terms of the orbifold Euler class $e_{orb}(Q)$ in Chen-Ruan orbifold cohomology $H_{orb}^\ast (Q; \R)$.


title: The Minimal Hirsch-Brown Model Via Classical Hodge Theory

abstract: In our book on cohomological methods in transformation groups the minimal Hirsch-Brown model was used to good effect. The construction there, however, was rather abstract. Here, for smooth compact connected Lie group actions on smooth closed manifolds, we give a much more explicit construction of the minmal Hirsch-Brown model using operators from classical Hodge theory and the small Cartan model. As a simple example, we discuss circle actions on complex projective space, computing the deformation terms in the product by means of the moment map in two different ways.


title: A Fast Algorithm for Partial Fraction Decompositions

abstract: We obtain two new algorithms for partial fraction decompositions; the first is over algebraically closed fields, and the second is over general fields. These algorithms takes $O(M^2)$ time, where $M$ is the degree of the denominator of the rational function. The new algorithms use less storage space, and are suitable for parallel programming. We also discuss full partial fraction decompositions.


title: A class of C^*-algebras generalizing both graph algebras and homeomorphism C^*-algebras III, ideal structures

abstract: We investigate the ideal structures of the C^*-algebras arising from topological graphs. We give the complete description of ideals of such C^*-algebras which are invariant under the so-called gauge action, and give the condition on topological graphs so that all ideals are invariant under the gauge action. We get conditions for our C^*-algebras to be simple, prime or primitive. We completely determine the prime ideals, and show that most of them are primitive. Finally, we construct a discrete graph such that the associated C^*-algebra is prime but not primitive.


title: A new discrepancy principle

abstract: The aim of this note is to prove a new discrepancy principle. The advantage of the new discrepancy principle compared with the known one consists of solving a minimization problem approximately, rather than exactly, and in the proof of a stability result.


title: Dynamical systems method and a homeomorphism theorem

abstract: Let $F$ be a nonlinear map in a real Hilbert space $H$. Suppose that $\sup_{u\in B(u_0,R)}$ $\|[F'(u)]^{-1}\|\leq m(R)$, where $B(u_0,R)=\{u:\|u-u_0\|\leq R\}$, $R>0$ is arbitrary, $u_0\in H$ is an element. If $\sup_{R>0}\frac{R}{m(R)}=\infty$, then $F$ is surjective. If $\|[F'(u)]^{-1}\|\leq a\|u\|+b$, $a\geq 0$ and $b>0$ are constants independent of $u$, then $F$ is a homeomorphism of $H$ onto $H$. The last result is known as an Hadamard-type theorem, but we give a new simple proof of it based on the DSM (dynamical systems method).


title: Numerical Method for Solving Obstacle Scattering Problems by an Algorithm Based on the Modified Rayleigh Conjecture

abstract: A numerical algorithm is presented for solving the direct scattering problems by the Modified Rayleigh Conjecture Method (MRC) introduced by A.G.Ramm. Some numerical examples are given. They show that the method is numerically efficient.


title: Continuity of solutions to operator equations with respect to a parameter

abstract: Let $A(k)u(k)=f(k) (1)$ be an operator equation, $X$ and $Y$ are Banach spaces, $k\in\Delta\subset\C$ is a parameter, $A(k):X\to Y$ is a map, possibly nonlinear. Sufficient conditions are given for continuity of $u(k)$ with respect to $k$. Necessary and sufficient conditions are given for the continuity of $u(k)$ with respect to $k$ in the case of linear operators $A(k)$.


title: On deconvolution problems: numerical aspects

abstract: An optimal algorithm is described for solving the deconvolution problem of the form ${\bf k}u:=\int_0^tk(t-s)u(s)ds=f(t)$ given the noisy data $f_\delta$, $||f-f_\delta||\leq \delta.$ The idea of the method consists of the representation ${\bf k}=A(I+S)$, where $S$ is a compact operator, $I+S$ is injective, $I$ is the identity operator, $A$ is not boundedly invertible, and an optimal regularizer is constructed for $A$. The optimal regularizer is constructed using the results of the paper MR 40#5130.


title: Admissible sheaves on P^3

abstract: Admissible locally-free sheaves on P^3, also known in the literature as mathematical instanton bundles, arise in twistor theory, and are in 1-1 correspondence with instantons on R^4. In this paper, we study admissible sheaves on P^3 from the algebraic geometric point of view. We discuss examples and compare the admissibility condition with semistability and splitting type.


title: On the CMC foliation of future ends of a spacetime

abstract: We consider spacetimes with compact Cauchy hypersurfaces and with Ricci tensor bounded from below on the set of timelike unit vectors, and prove that the results known for spacetimes satisfying the timelike convergence condition, namely, foliation by CMC hypersurfaces, are also valid in the present situation, if corresponding further assumptions are satisfied. In addition we show that the volume of any sequence of spacelike hypersurfaces, which run into the future singularity, decays to zero provided there exists a time function covering a future end, such that the level hypersurfaces have non-negative mean curvature and decaying volume.


title: Heegaard surfaces and measured laminations, I: the Waldhausen conjecture

abstract: We give a proof of the so-called generalized Waldhausen conjecture, which says that an orientable irreducible atoroidal 3-manifold has only finitely many Heegaard splittings in each genus, up to isotopy. Jaco and Rubinstein have announced a proof of this conjecture using different methods.


title: Heegaard surfaces and measured laminations, II: non-Haken 3-manifolds

abstract: A famous example of Casson and Gordon shows that a Haken 3-manifold can have an infinite family of irreducible Heegaard splittings with different genera. In this paper, we prove that a closed non-Haken 3-manifold has only finitely many irreducible Heegaard splittings, up to isotopy. This is much stronger than the Waldhausen conjecture. Another immediate corollary is that for any irreducible non-Haken 3-manifold M, there is a number N, such that any two Heegaard splittings of M are equivalent after at most N stabilizations.


title: Nonexistence of linear operators extending Lipschitz (pseudo)metrics

abstract: We provide an example of a zero-dimensional compact metric space $X$ and its closed subspace $A$ such that there is no continuous linear extension operator for the Lipschitz pseudometrics on $A$ to the Lipschitz pseudometrics on $X$. The construction is based on results of A. Brudnyi and Yu. Brudnyi concerning linear extension operators for Lipschitz functions.


title: Double-Tail Invariant Measures of the Dyck Shift

abstract: In a previous paper by the author, it was shown that the One sided Dyck is uniquely ergodic with respect to the one sided-tail relation, where the tail invariant probability is also shift invariant and obtains the topological entropy. In this paper we show that the two sided Dyck has a double-tail invariant probability, which is also shift invariant, with entropy strictly less than the topological entropy. We also prove that this probability, along with the two equilibrium probabilities of the Dyck shift are the only ergodic double-tail invariant probabilities for the Dyck shift.


title: On the nature of finite groups

abstract: The reality of the difficulties in investigation of finite groups are considered. It is shown that the consideration of symmetry properties of the $k$-orbits that are obtained with an action of a finite group $F=(V,\cdot)$ on Cartesian power $V^k$ gives a new view on the nature of groups and simplifies some difficult properties of groups. Using this representation it is obtained a simple proof of the W. Feit, J.G. Thompson theorem: Solvability of groups of odd order.


title: Overlapping self-affine sets

abstract: We study families of possibly overlapping self-affine sets. Our main example is a family that can be considered the self-affine version of Bernoulli convolutions and was studied, in the non-overlapping case, by F.Przytycki and M.Urbanski. We extend their results to the overlapping region and also consider some extensions and generalizations.


title: Minor summation formula and a proof of Stanley's open problem

abstract: In the open problem session of the FPSAC'03, R.P.Stanley gave an open problem. The purpose of this paper is to give a proof of this open problem. At the end of this paper we present certain corollaries involving the Big Schur functions and some polynomials arising from the Macdonald polynomials, which generalize Stanley's open problem.


title: On the mixing coefficients of piecewise monotonic maps

abstract: We investigate the mixing coefficients of interval maps satisfying Rychlik's conditions. A mixing Lasota-Yorke map is reverse $\phi$-mixing. If its invariant density is uniformly bounded away from 0, it is $\phi$-mixing iff all images of all orders are big in which case it is $\psi$-mixing. Among $\b$-transformations, non-$\phi$-mixing is generic. In this sense, the asymmetry of $\phi$-mixing is natural.


title: Cayley submanifolds of Calabi-Yau 4-folds

abstract: Our main results are: (1) The complex a Lagrangian points of a non-complex Lagrangian $2n$-dimensional submanifold $F:M\ra N$, immersed with parallel mean curvature and with equal Kaehler angles into a Kaehler-Einstein manifold $(N,J,g)$ of complex dimension $2n$, are zeros of finite order of $\sin^2\theta$ and $\cos^2\theta$ respectively, where $\theta$ is the common $J$-Kaelher angle. (2) If $M$ is a Cayley submanifold of a Calabi-Yau (CY) manifold $N$ of complex dimension 4, then $\bigwedge^2_+NM$ is naturally isomorphic to $\bigwedge^2_+TM$. (3) If $N$ is Ricci-flat (not necessarily CY) and $M$ is a Cayley submanifold, then $ p_1(\bigwedge^2_+NM)= p_1(\bigwedge^2_+TM)$ still holds, but $p_1(\bigwedge^2_-NM)- p_1(\bigwedge^2_-TM)$ may describe a residue on the $J$-complex points, in the sense of Harvey and Lawson. We describe this residue by a PDE on a natural morphism $\Phi:TM \to NM$, $\Phi(X)=(JX)^{\bot}$, with singularities at the complex points. We give an explicit formula of this residue in a particular case. When $(N,I,J,K,g)$ is an hyper-Kaehler manifold and $M$ is an $I$-complex closed 4-submanifold, the first Weyl curvature invariant of $M$ may be described as a residue on the $J$-Kaehler angle at the $J$_Lagrangian points by a Lelong-Poincar\'{e} type formula. We study the almost complex structure $\Jw$ on $M$ induced by $F$.


title: Boundedness in generalized \v{S}erstnev PN spaces

abstract: The motivation of this paper is a suggestion by H\"ole of comparing the notions of $\D$-boundedness and boundedness in Probabilistic Normed spaces (briefly PN spaces), with non necessarily continuous triangle functions. Such spaces are here called ``pre-PN spaces''. Some results on \v{S}erstnev spaces due to B. Lafuerza, J. A. Rodriguez, and C. Sempi, are here extended to generalized \v{S}erstnev spaces (these are pre-PN spaces satisfying a more general \v{S}erstnev condition). We also prove some facts on PN spaces (with continuous triangle functions). First, a connection between fuzzy normed spaces defined by Felbin and certain \v{S}erstnev PN spaces is established. We further observe that topological vector PN spaces are $F$-normable and paranormable, and also that locally convex topological vector PN spaces are bornological. This last fact allows to describe continuous linear operators between certain generalized \v{S}erstnev spaces in terms of bounded subsets.


title: Quasi-Discrete Locally Compact Quantum Groups

abstract: Consider a C*-algebra $A$ with a comultiplication $\Delta$. This pair is usually thought of as locally compact quantum semi-group. When these notes were written, in 1993, it was not at all clear what the extra assumptions on the comultiplication should be for this pair to be a 'locally compact quantum group'. This only became clear in 1999 thanks to the work of Kustermans and Vaes. In the compact case however, rather natural conditions are formulated by Woronowicz and a good notion of a compact quantum group was available in 1993. In these notes, we consider another class of locally compact quantum groups. We assume the existence of a non-zero element $h$ in $A$ satisfying $\Delta(a)(1\otimes h)=a \otimes h$ for all $a$ in $A$. We add some natural conditions and we speak of a 'quasi-discrete locally compact quantum group'. We also discuss the discrete case. We prove the existence of the Haar measure, the regular representation, the fundamental unitary and we obtain the reduced dual. The quasi-discrete case is, in principle, more general than the discrete case. Shortly after these notes were written, Kustermans showed that in fact, the two classes coincided. For this reason, these notes have not been published. Nevertheless, some of the results and techniques seem to be usful and in recent work, we came across similar settings. Therefore, we have decided to make these notes available on the net. We have added some comments at the end of the introduction and we have updated the reference list. But apart from these minor changes, the notes are still as they were written and distributed in 1993.


title: Optimization methods in direct and inverse scattering

abstract: In many Direct and Inverse Scattering problems one has to use a parameter-fitting procedure, because analytical inversion procedures are often not available. In this paper a variety of such methods is presented with a discussion of theoretical and computational issues. The problem of finding small subsurface inclusions from surface scattering data is solved by the Hybrid Stochastic-Deterministic minimization algorithm. A similar approach is used to determine layers in a particle from the scattering data. The Inverse potential scattering problem for spherically symmetric potentials and fixed-energy phase shifts as the scattering data is described. It is solved by the Stability Index Method. This general approach estimates the size of the minimizing sets, and gives a practically useful stopping criterion for global minimization algorithms. The 3D inverse scattering problem with fixed-energy data and its solution by the Ramm's method are discussed. An Obstacle Direct Scattering problem is treated by a Modified Rayleigh Conjecture (MRC) method. A special minimization procedure allows one to inexpensively compute scattered fields for 2D and 3D obstacles having smooth as well as nonsmooth surfaces. A new Support Function Method (SFM) is used for Inverse Obstacle Scattering problems. Another method for Inverse scattering problems, the Linear Sampling Method (LSM), is analyzed.


title: A Simple Algebraic Proof of the Algebraic Index Theorem

abstract: In math.QA/0311303 B. Feigin, G. Felder, and B. Shoikhet proposed an explicit formula for the trace density map from the quantum algebra of functions on an arbitrary symplectic manifold M to the top degree cohomology of M. They also evaluated this map on the trivial element of K-theory of the algebra of quantum functions. In our paper we evaluate the map on an arbitrary element of K-theory, and show that the result is expressed in terms of the A-genus of M, the Deligne-Fedosov class of the quantum algebra, and the Chern character of the principal symbol of the element. For a smooth (real) symplectic manifold (without a boundary), this result implies the Fedosov-Nest-Tsygan algebraic index theorem.


title: Modular Lie powers and the Solomon descent algebra

abstract: Let $V$ be an $r$-dimensional vector space over an infinite field $F$ of prime characteristic $p$, and let $L_n(V)$ denote the $n$-th homogeneous component of the free Lie algebra on $V$. We study the structure of $L_n(V)$ as a module for the general linear group $GL_r(F)$ when $n=pk$ and $k$ is not divisible by $p$ and where $n \geq r$. Our main result is an explicit 1-1 correspondence, multiplicity-preserving, between the indecomposable direct summands of $L_k(V)$ and the indecomposable direct summands of $L_n(V)$ which are not isomorphic to direct summands of $V^{\otimes n}$. The direct summands of $L_k(V)$ have been parametrised earlier, by Donkin and Erdmann. Bryant and St\"{o}hr have considered the case $n=p$ but from a different perspective. Our approach uses idempotents of the Solomon descent algebras, and in addition a correspondence theorem for permutation modules of symmetric groups.


title: The Local Lehmer Inequality For Drinfeld Modules

abstract: We give a lower bound for the local height of a non-torsion element of a Drinfeld module.


title: Local rigidity of affine actions of higher rank groups and lattices

abstract: Let $J$ be a semisimple Lie group with all simple factors of real rank at least two. Let $\Gamma<J$ be a lattice. We prove a very general local rigidity result about actions of $J$ or $\Gamma$. This shows that almost all so-called "standard actions" are locally rigid. As a special case, we see that any action of $\Gamma$ by toral automorphisms is locally rigid. More generally, given a manifold $M$ on which $\Gamma$ acts isometrically and a torus $\Ta^n$ on which it acts by automorphisms, we show that the diagonal action on $\Ta^n{\times}M$ is locally rigid. This paper is the culmination of a series of papers and depends heavily on our work in \cite{FM1,FM2}. The reader willing to accept the main results of those papers as "black boxes" should be able to read the present paper without referring to them.


title: Irrationality of certain p-adic periods for small p

abstract: Following Apery's proof of the irrationality of zeta(3), Beukers found an elegant reinterpretation of Apery's arguments using modular forms. We show how Beukers arguments can be adapted to a p-adic setting. In this context, certain functional equations arising from Eichler integrals are replaced by the notion of overconvergent p-adic modular forms, and the periods themselves arise not as coefficients of period polynomials but as constant terms of p-adic Eisenstein series. We prove that the analogue of zeta(3) is irrational for p = 2 and 3, as well as the 2-adic analogue of Catalan's constant.


title: Higher homotopy commutativity and cohomology of finite H-spaces

abstract: We study connected mod p finite A_p-spaces admitting AC_n-space structures with n<p for an odd prime p. Our result shows that if n is greator than (p-1)/2, then the mod p Steenrod algebra acts on the mod p cohomology of such a space in a systematic way. Moreover, we consider A_p-spaces which are mod p homotopy equivalent to product spaces of odd dimensional spheres. Then we determine the largest integer n for which such a space admits an AC_n-space structure compatible with the A_p-space structure.


title: A canonical enriched Adams-Hilton model for simplicial sets

abstract: For any 1-reduced simplicial set $K$ we define a canonical, coassociative coproduct on $\Om C(K)$, the cobar construction applied to the normalized, integral chains on $K$, such that any canonical quasi-isomorphism of chain algebras from $\Om C(K)$ to the normalized, integral chains on $GK$, the loop group of $K$, is a coalgebra map up to strong homotopy. Our proof relies on the operadic description of the category of chain coalgebras and of strongly homotopy coalgebra maps given in math.AT/0505559.


title: States and representations in deformation quantization

abstract: In this review we discuss various aspects of representation theory in deformation quantization starting with a detailed introduction to the concepts of states as positive functionals and the GNS construction. But also Rieffel induction of representations as well as strong Morita equivalence, the Dirac monopole and the strong Picard groupoid are discussed.


title: The Larson-Sweedler theorem for multiplier Hopf algebras

abstract: Any finite-dimensional Hopf algebra has a left and a right integral. Conversely, Larsen and Sweedler showed that, if a finite-dimensional algebra with identity and a comultiplication with counit has a faithful left integral, it has to be a Hopf algebra. In this paper, we generalize this result to possibly infinite-dimensional algebras, with or without identity. We have to leave the setting of Hopf algebras and work with multiplier Hopf algebras. Moreover, whereas in the finite-dimensional case, there is a complete symmetry between the bialgebra and its dual, this is no longer the case in infinite dimensions. Therefore we consider a direct version (with integrals) and a dual version (with cointegrals) of the Larson-Sweedler theorem. We also add some results about the antipode. Furthermore, in the process of this paper, we obtain a new approach to multiplier Hopf algebras with integrals.


title: A holomorphic representation of the Jacobi algebra

abstract: A representation of the Jacobi algebra $\mathfrak{h}_1\rtimes \mathfrak{su}(1,1)$ by first order differential operators with polynomial coefficients on the manifold $\mathbb{C}\times \mathcal{D}_1$ is presented. The Hilbert space of holomorphic functions on which the holomorphic first order differential operators with polynomials coefficients act is constructed.


title: Quasitriangular (G-cograded) multiplier Hopf algebras

abstract: We put the known results on the antipode of a usual quasitriangular Hopf algebra into the framework of multiplier Hopf algebras. We illustrate with examples which can not be obtained using classical Hopf Algebras. The focus of the present paper lies on the class of the so-called group cograded multiplier Hopf algebras. By doing so, we bring the results of quasitriangular Hopf group-coalgebras (as introduced by Turaev) to the more general framework of multiplier Hopf algebras.


title: Converse theorems assuming a partial Euler product

abstract: Associated to a newform $f(z)$ is a Dirichlet series $L_f(s)$ with functional equation and Euler product. Hecke showed that if the Dirichlet series $F(s)$ has a functional equation of a particular form, then $F(s)=L_f(s)$ for some holomorphic newform $f(z)$ on $\Gamma(1)$. Weil extended this result to $\Gamma_0(N)$ under an assumption on the twists of $F(s)$ by Dirichlet characters. Conrey and Farmer extended Hecke's result for certain small $N$, assuming that the local factors in the Euler product of $F(s)$ were of a special form. We make the same assumption on the Euler product and describe an approach to the converse theorem using certain additional assumptions. Some of the assumptions may be related to second order modular forms.


title: Linearization problem on structurally finite entire functions

abstract: We show that if a 1-hyperbolic structurally finite entire function of type $(p,q)$, $p\ge 1$, is linearizable at an irrationally indifferent fixed point, then its multiplier satisfies the Brjuno condition. We also prove the generalized Ma\~n\'e theorem; if an entire function has only finitely many critical points and asymptotic values, then for every such a non-expanding forward invariant set that is either a Cremer cycle or the boundary of a cycle of Siegel disks, there exists an asymptotic value or a recurrent critical point such that the derived set of its forward orbit contains this invariant set. From it, the concept of $n$-subhyperbolicity naturally arises.


title: New identities involving Bernoulli and Euler polynomials. II

abstract: We derive several symmetric identities for Bernoulli and Euler polynomials which imply some known identities. Our proofs depend on the new technique developed in part I and some identities obtained in [European J. Combin. 24(2003), 709--718].


title: Conformally invariant Cotton and Bach tensor in N-dimensions

abstract: This paper presents conformal invariants for Riemannian manifolds of dimension greater than or equal to four whose vanishing is necessary for a Riemannian manifold to be conformally related to an Einstein space. One of the invariants is a modification of the Cotton tensor, the other is a $n$--dimensional version of the Bach tensor. In general both tensors are smooth only on an open and dense subset of $M$, but this subset is invariant under conformal transformations. Moreover, we generalize the main result of "Conformal Einstein Spaces in $N$--Dimensions" published in \emph{Ann. Global Anal. Geom.} {\bf 20}(2) (2001).


title: Bott Periodicity for Fibred Cusp Operators

abstract: In the framework of fibred cusp operators on a manifold $X$ associated to a boundary fibration $\Phi: \pa X\to Y$, the homotopy groups of the space of invertible smoothing perturbations of the identity are computed in terms of the K-theory of $T^{*}Y$. It is shown that there is a periodicity, namely the odd and the even homotopy groups are isomorphic among themselves. To obtain this result, one of the important steps is the description of the index of a Fredholm smoothing perturbation of the identity in terms of an associated K-class in the K-theory of $T^{*}Y$.


title: A two component link with Alexander polynomial one is concordant to the Hopf link

abstract: Four-dimensional surgery is used to show that a two component link with Alexander polynomial one is topologically concordant to the Hopf link.


title: $L^p$ asymptotic behavior of perturbed viscous shock profiles

abstract: We investigate the $L^p $ asymptotic behavior $(1\le p \le \infty)$ of a perturbation of a Lax or overcompressive type shock wave solution to a system of conservation law in one dimension. The system of the equations can be strictly parabolic, or have real viscosity matrix (partially parabolic, e.g., compressible Navier--Stokes equations or equations of Magnetohydrodynamics). We use known pointwise Green function bounds for the linearized equation around the shock to show that the perturbation of such a solution can be decomposed into a part corresponding to shift in shock position or shape, a part which is the sum of diffusion waves, i.e., the solutions to a viscous Burger's equation, conserving the initial mass and convecting away from the shock profile in outgoing modes, and another part which is more rapidly decaying in $L^p$.


title: Infinite connected sums, K-area and positive scalar curvature

abstract: Whyte used the index theory of Dirac operators and Block-Weiberger uniformly finite homology to show that certain infinite connected sums do not carry a metric with nonnegative scalar curvature in their bounded geometry class. His proof uses a coarse version of the $\hat{A}$-class to obstruct such metrics. In this note we prove a version of Whyte's result where a variant of the notion of infinite $K$-area, originally due to Gromov, is used to obstruct metrics with positive scalar curvature.


title: The ambient obstruction tensor and the conformal deformation complex

abstract: The (Fefferman-Graham) ambient obstruction tensor is a conformally invariant symmetric trace-free 2-tensor on even-dimensional Riemannian and pseudo-Riemannian manifolds. The conformal deformation complex is a differential complex related to infinitesimal deformations of conformal structure. We construct a conformally invariant differential operator on algebraic Weyl tensors that gives special curved analogues of certain operators related to the deformation complex and that, upon application to the Weyl curvature, yields the obstruction tensor. This new definition of the obstruction tensor leads to simple direct proofs that the obstruction tensor is divergence free and vanishes for a class of metrics which (strictly) includes the class of conformally Einstein metrics. Our main constructions are based on the ambient metric of Fefferman-Graham and its relation to the conformal tractor connection. We prove that the obstruction tensor is an obstruction to the formal problem of obtaining a Ricci-flat ambient metric and that it may equivalently be viewed as the obstruction to finding an ambient metric with curvature harmonic for a certain (ambient) form Laplacian. This leads to a new ambient formula for the obstruction in terms of a power of this form Laplacian acting on the ambient curvature. This result leads us to construct Laplacian type operators that generalise the conformal Laplacians of Graham-Jenne-Mason-Sparling. As background to these issues, we give an explicit construction of the deformation complex in dimensions n>3, construct two related (detour) complexes, and establish essential properties of the operators in these.


title: On magic squares

abstract: This is a translation of Leonhard Euler's ``De quadratis magicis'' . It is E795 in the Enestrom index. This paper studies how to construct magic squares with certain numbers of cells, in particular 9, 16, 25 and 36. It considers some general rules for making squares of even and odd orders. Euler uses Graeco-Latin squares and constrains the values that the variables can take to make magic squares. I think this is where the terms ``Latin'' and ``Graeco-Latin'' square comes from, since he uses Latin letters in one square and Greek (i.e. ``Graeco'') letters in another for each construction. (This paper was published before Euler's only other paper ``Recherches sur une nouvelle espece de quarres magiques'' E530 about Latin squares was, in 1782.)


title: Topological classification of Morse-Smale flows on 3-manifolds

abstract: We construct a topological invariant for a Morse-Smale flow on a 3-manifold and prove that the flows are topologically equivalent iff their invariants are same.


title: The rank of connection matrices and the dimension of graph algebras

abstract: Connection matrices were introduced by Freedman, Lovasz and Schrijver [1], who used them to characterize graph homomorphism functions. The goal of this note is to determine the exact rank of these matrices. The result can be rephrased in terms of graph algebras (also introduced in [1]. Yet another version proves that if two k-tuples of nodes behave the same way from the point of view of graph homomorphisms, then they are equivalent under the automorphism group.


title: Geometrical phases on hermitian symmetric spaces

abstract: For simple Lie groups, the only homogeneous manifolds $G/K$, where $K$ is maximal compact subgroup,for which the phase of the scalar product of two coherent state vectors is twice the symplectic area of a geodesic triangle are the hermitian symmetric spaces. An explicit calculation of the multiplicative factor on the complex Grassmann manifold and its noncompact dual is presented.It is shown that the multiplicative factor is identical with the two-cocycle considered by A. Guichardet and D. Wigner for simple Lie groups.


title: Enumeration of Symmetry Classes of Alternating Sign Matrices and Characters of Classical Groups

abstract: An alternating sign matrix is a square matrix with entries 1, 0 and -1 such that the sum of the entries in each row and each column is equal to 1 and the nonzero entries alternate in sign along each row and each column. To some of the symmetry classes of alternating sign matrices and their variations, G. Kuperberg associate square ice models with appropriate boundary conditions, and give determinanat and Pfaffian formulae for the partition functions. In this paper, we utilize several determinant and Pfaffian identities to evaluate Kuperberg's determinants and Pfaffians, and express the round partition functions in terms of irreducible characters of classical groups. In particular, we settle a conjecture on the number of vertically and horizontally symmetric alternating sign matrices (VHSASMs).


title: Extreme points of the unit ball of an operator space

abstract: This paper is a revision and an enlargement of the previous version titled "Extreme points of the unit ball of a quasi-multiplier space" which had been circulated since 2004. We study extreme points of the unit ball of an operator space by introducing the new notion (approximate) "quasi-identities". Then we characterize an operator algebra with a contractive approximate quasi- (respectively, left, right, two-sided) identity in terms of quasi-multipliers and extreme points. Furthermore, we give a very neat necessary and sufficient condition for a given operator space to become a $C^*$-algebra or a one-sided ideal in a $C^*$-algebra in terms of quasi-multipliers. An extreme point is also used to show that any TRO with predual can be decomposed to the direct sum of a two-sided ideal, a left ideal, and a right ideal in some von Neumann algebra.


title: Remarks on a paper of Geronimo and Johnson

abstract: We present a point of view on results of the paper of Geronimo and Johnson [Comm. Math, Phys. 193 (1998)] that allow infinitely dimensional generalization up to the case when spectrum is supported on a Cantor set of positive Lebesgue measure.


title: Inverse conductivity problem with an imperfectly known boundary

abstract: We show how to eliminate the error caused by an incorrectly modeled boundary in electrical impedance tomography (EIT). In practical measurements, one usually lacks the exact knowledge of the boundary. Because of this the numerical reconstruction from the measured EIT data is done using a model domain that represents the best guess for the true domain. However, it has been noticed that the inaccurate model of the boundary causes severe errors for the reconstructions. We introduce a new algorithm to find a deformed image of the original isotropic conductivity based on the theory of Teichmuller spaces and implement it numerically.


title: On a Yamabe Type Problem on Three Dimensional Thin Annulus

abstract: We consider a Yamabe type problem on a family $A_\epsilon$ of annulus shaped domains of $\R^3$ which becomes "thin" as $\epsilon$ goes to zero. We show that, for any given positive constant $C$, there exists $\epsilon_0$ such that for any $\epsilon < \epsilon_0$, the problem has no solution $u_\epsilon$ whose energy is less than $C$. Such a result extends to dimension three a result previously known in higher dimensions. Although the strategy to prove this result is the same as in higher dimensions, we need a more careful and delicate blow up analysis of asymptotic profiles of solutions $u_\epsilon$ when $\epsilon$ goes to zero.


title: Smooth Lie groups over local fields of positive characteristic need not be analytic

abstract: We describe finite-dimensional smooth Lie groups over local fields of positive characteristic which do not admit an analytic Lie group structure compatible with the given topological group structure, and C^n-Lie groups without a compatible C^{n+1}-Lie group structure, for each positive integer n. We also present examples of non-analytic, smooth automorphisms of Lie groups over such fields, as well as C^n-automorphisms which fail to be C^{n+1}.


title: Hysteresis phenomenon in deterministic traffic flows

abstract: We study phase transitions of a system of particles on the one-dimensional integer lattice moving with constant acceleration, with a collision law respecting slower particles. This simple deterministic ``particle-hopping'' traffic flow model being a straightforward generalization to the well known Nagel-Schreckenberg model covers also a more recent slow-to-start model as a special case. The model has two distinct ergodic (unmixed) phases with two critical values. When traffic density is below the lowest critical value, the steady state of the model corresponds to the ``free-flowing'' (or ``gaseous'') phase. When the density exceeds the second critical value the model produces large, persistent, well-defined traffic jams, which correspond to the ``jammed'' (or ``liquid'') phase. Between the two critical values each of these phases may take place, which can be interpreted as an ``overcooled gas'' phase when a small perturbation can change drastically gas into liquid. Mathematical analysis is accomplished in part by the exact derivation of the life-time of individual traffic jams for a given configuration of particles.

categories: math.DS cond-mat.stat-mech math-ph math.MP


title: Switched flow systems: pseudo billiard dynamics

abstract: We study a class of dynamical systems which generalizes and unifies some models arising in the analysis of switched flow systems in manufacturing. General properties of these dynamical systems, called pseudo billiards, as well as some their perturbations are discussed.


title: Note on the Dirichlet Approximation Theorem

abstract: We survey the classical results of the Dirichlet Approximation Theorem.


title: The isomorphism conjecture for 3-manifold groups and K-theory of virtually poly-surface groups

abstract: This article has two purposes. In \cite{R3} (math.KT/0405211) we showed that the FIC (Fibered Isomorphism Conjecture for pseudoisotopy functor) for a particular class of 3-manifolds (we denoted this class by \cal C) is the key to prove the FIC for 3-manifold groups in general. And we proved the FIC for the fundamental groups of members of a subclass of \cal C. This result was obtained by showing that the double of any member of this subclass is either Seifert fibered or supports a nonpositively curved metric. In this article we prove that for any M in {\cal C} there is a closed 3-manifold P such that either P is Seifert fibered or is a nonpositively curved 3-manifold and \pi_1(M) is a subgroup of \pi_1(P). As a consequence this proves that the FIC is true for any B-group (see definition 3.2 in \cite{R3}). Therefore, the FIC is true for any Haken 3-manifold group and hence for any 3-manifold group (using the reduction theorem of \cite{R3}) provided we assume the Geometrization conjecture. The above result also proves the FIC for a class of 4-manifold groups (see \cite{R2}(math.GT/0209119)). The second aspect of this article is to relax a condition in the definition of strongly poly-surface group (\cite{R1} (math.GT/0209118)) and define a new class of groups (we call them {\it weak strongly poly-surface} groups). Then using the above result we prove the FIC for any virtually weak strongly poly-surface group. We also give a corrected proof of the main lemma of \cite{R1}.


title: An approach to quasi-Hopf algebras via Frobenius coordinates

abstract: We study quasi-Hopf algebras and their subobjects over certain commutative rings from the point of view of Frobenius algebras. We introduce a type of Radford formula involving an anti-automorphism and the Nakayama automorphism of a Frobenius algebra, then view several results in quantum algebras from this vantage-point. In addition, separability and strong separability of quasi-Hopf algebras are studied as Frobenius algebras.


title: Veronese curves and webs interpolation

abstract: Veronese webs appear as the natural way of passing to the quotient of curves in the projective space. In thi paper, we give the link between classical multidimensionnal webs and veronse webs by mean of interpolation.


title: Systeme des coordonees plates de la deformation verselle des singularites isolees simples d'hypersurface et zeros de l'integrale d'Abel

abstract: One studies a system of differential equations defined by Abel integrals associated to a real cycle defined for the versal deformation of an isolated simple singularity. As application, one obtains an estimation on the multiplicity of zeros of the Abel integral in terms of quasihomogeneous weights associated to the Hamiltonian and the integrand function.


title: Spiral Chains: A New Proof of the Four Color Theorem

abstract: Acceptable but due to extensive usage of a computer rather unpleasant proof of the famous four color map problem of Francis Guthrie were settled eventually by W. Appel and K. Haken in 1976. Using the same method but shortening the proof twenty years later by another team, namely N. Robertson, D.P. Sanders, P.D. Seymour and R. Thomas would not improve considerably the readability of the proof either. Thus it has been widely accepted the need of more elegant and readable proof. There are considerable number of equivalent formulations of the problem but none of them promising for a possible non-computer proofs. On the other hand known proofs are used the concept of Kempe chain and reducibility of the configurations which were a century old ideas. With these in mind we have introduced a new concept which we call "spiral chains" in the maximal planar graphs. We have shown that for any maximal graph as long as spiral chains are being used we do not need the fifth color. Henceforth this paper offers another proof to the four color theorem which is not based on deep and abstract theories from the other branches of mathematics or using computing power of computers, but rather completely on a new idea in graph theory.


title: An existence result of energy minimizer maps between riemannian polyhedra

abstract: In this paper, we prove the existence of energy minimizers in each free homotopy class of maps between polyhedra with target space without focal points. Our proof involves a careful study of some geometric properties of riemannian polhyedra without focal points. Among other things, we show that on the relevant polyhedra, there exists a convex supporting function.


title: On the structure of pseudo-Riemannian symmetric spaces

abstract: Following our approach to metric Lie algebras developed in math.DG/0312243 we propose a way of understanding pseudo-Riemannian symmetric spaces which are not semi-simple. We introduce cohomology sets (called quadratic cohomology) associated with orthogonal modules of Lie algebras with involution. Then we construct a functorial assignment which sends a pseudo-Riemannian symmetric space M to a triple consisting of (i) a Lie algebra with involution (of dimension much smaller than the dimension of the transvection group of M), (ii) a semi-simple orthogonal module of the Lie algebra with involution, and (iii) a quadratic cohomology class of this module. That leads to a classification scheme of indecomposable non-simple pseudo-Riemannian symmetric spaces. In addition, we obtain a full classification of symmetric spaces of index 2 (thereby completing and correcting in part earlier classification results due to Cahen/Parker and Neukirchner math.DG/0301326).


title: Cohomology pairings on the symplectic reduction of products

abstract: Let M be the product of two compact Hamiltonian T-spaces X and Y. We present a formula for evaluating integrals on the symplectic reduction of M by the diagonal T action. At every regular value of the moment map for X x Y, the integral is the convolution of two distributions associated to the symplectic reductions of X by T and of Y by T. Several examples illustrate the computational strength of this relationship. We also prove a linear analogue which can be used to find cohomology pairings on toric orbifolds.


title: On Galois comodules

abstract: Generalising the notion of Galois corings, Galois comodules were introduced as comodules $P$ over an $A$-coring $\cC$ for which $P_A$ is finitely generated and projective and the evaluation map $\mu_\cC:\Hom^\cC(P,\cC)\ot_SP\to \cC$ is an isomorphism (of corings) where $S=\End^\cC(P)$. It was observed that for such comodules the functors $\Hom_A(P,-)\ot_SP$ and $-\ot_A\cC$ from the category of right $A$-modules to the category of right $\cC$-comodules are isomorphic. In this note we call modules $P$ with this property {\em Galois comodules} without requiring $P_A$ to be finitely generated and projective. This generalises the old notion with this name but we show that essential properties and relationships are maintained. These comodules are close to being generators and have some common properties with tilting (co)modules. Some of our results also apply to generalised Hopf Galois (coalgebra Galois) extensions.


title: Conjugacy separability of some one-relator groups

abstract: Conjugacy separability of any group of the class of one-relator groups given by the presentation $<a, b; [a^m,b^n]=1>$ ($m,n>1$) is proven.


title: On the Automorphisms of Some One-Relator Groups

abstract: The description of the automorphism group of group $<a, b; [a^m,b^n]=1>$ ($m,n>1$) in terms of generators and defining relations is given. This result is applied to prove that any normal automorphism of every such group is inner.


title: Linear Hamiltonians on homogeneous K\"ahler manifolds of coherent states

abstract: Representations of coherent state Lie algebras on coherent state manifolds as first order differential operators are presented. The explicit expressions of the differential action of the generators of semisimple Lie groups determine for linear Hamiltonians in the generators of the groups first order differential equations of motion with holomorphic polynomials coefficients. For hermitian symmetric manifolds the equations of motion are matrix Riccati equations. It is presented the simplest example of the non-symmetric space $SU(3)/S(U(1)\times U(1)\times U(1))$ where the polynomials describing the equations of motion have the maximum degree 3.


title: Virtual links are algorithmically recognisable

abstract: We prove that there is an algorithm to decide whehter two virtual links are equivalent or not


title: Gottlieb groups of spheres

abstract: This paper takes up the systematic study of the Gottlieb groups $G_{n+k}(\S^n)$ of spheres for $k\le 13$ by means of the classical homotopy theory methods. The groups $G_{n+k}(\S^n)$ for $k\le 7$ and $k=10,12,13$ are fully determined. Partial results on $G_{n+k}(\S^n)$ for $k=8,9,11$ are presented as well. We also show that $[\iota_n,\eta^2_n\sigma_{n+2}]=0$ if $n=2^i-7$ for $i\ge 4$.


title: Limit periodic Jacobi matrices with a prescribed p-adic hull and a singularly continuous spectrum

abstract: In this work we build a certain machine that allows to construct almost periodic Jacobi matrices with singularly continuous spectrum a prescribed p-adic hull.


title: Coalgebras of words and phrases

abstract: We introduce two constructions of a coassociative comultiplication in the algebra of phrases in a given alphabet. As a preliminary step we give two constructions of a pre-Lie comultiplication in the module generated by words.


title: Noncommutative Perron-Frobenius-Ruelle theorem, two weight Hilbert transform, and almost periodicity

abstract: We consider the Jacobi matrix generated by a balanced measure of hyperbolic polynomial map. The conjecture of Bellissard says that this matrix should have an extremely strong periodicity property. We show how this conjecture is related to a certain noncommutative version of Bowen--Ruelle theory, and how the two weight Hilbert transform naturally appears in this context.


title: A K-Theory Proof of the Cobordism Invariance of the Index

abstract: We give a proof of the cobordism invariance of the index of elliptic pseudodifferential operators on sigma-compact manifolds, where, in the non-compact case, the operators are assumed to be multiplication outside a compact set. We show that, if the principal symbol class of such an elliptic operator on the boundary of a manifold X has a suitable extension to K^1(TX), then its index is zero. This condition is incorporated into the definition of a cobordism group for non-compact manifolds, called here ``cobordism of symbols''. Our proof is topological, in that we use properties of the push-forward map in K-theory defined by Atiyah and Singer, to reduce it to R^n. In particular, we generalize the invariance of the index with respect to the push-forward map to the non-compact case, and obtain an extension of the K-theoretical index formula of Atiyah and Singer to operators that are multiplication outside a compact set. Our results hold also for G-equivariant operators, where G is a compact Lie group.


title: Homotopy decompositions and K-theory of Bott towers

abstract: We describe Bott towers as sequences of toric manifolds M^k, and identify the omniorientations which correspond to their original construction as toric varieties. We show that the suspension of M^k is homotopy equivalent to a wedge of Thom complexes, and display its complex K-theory as an algebra over the coefficient ring. We extend the results to KO-theory for several families of examples, and compute the effects of the realification homomorphism; these calculations breathe geometric life into Bahri and Bendersky's recent analysis of the Adams Spectral Sequence. By way of application we investigate stably complex structures on M^k, identifying those which arise from omniorientations and those which are almost complex. We conclude with observations on the role of Bott towers in complex cobordism theory.


title: A simple proof for folds on both sides in complexes of graph homomorphisms

abstract: In this paper we study implications of folds in both parameters of Lov\'asz' Hom(-,-) complexes. There is an important connection between the topological properties of these complexes and lower bounds for chromatic numbers. We give a very short and conceptual proof of the fact that if G-v is a fold of G, then Bd(Hom(G,H)) collapses onto Bd Hom(G-v,H), whereas Hom(H,G) collapses onto Hom(H,G-v). We also give an easy inductive proof of the only nonelementary fact which we use for our arguments: if $\phi$ is a closure operator on P, then $\Delta(P)$ collapses onto $\Delta(\phi(P))$.


title: The Redheffer matrix of a partially ordered set

abstract: R. Redheffer described an $n\times n$ matrix of 0's and 1's the size of whose determinant is connected to the Riemann Hypothesis. We describe the permutations that contribute to its determinant and evaluate its permanent in terms of integer factorizations. We generalize the Redheffer matrix to finite posets that have a 0 element and find the analogous results in the more general situation.


title: The roots of any polynomial equation

abstract: We provide a method for solving the roots of the general polynomial equation a[n]*x^n+a[n-1]*x^(n-1)+..+a1*x+a0=0. To do so, we express x as a powerseries of s, and calculate the first n-2 coefficients. We turn the polynomial equation into a differential equation that has the roots as solutions. Then we express the powerseries' coefficients in the first n-2 coefficients. Then the variable s is set to a0. A free parameter is added to make the series convergent.


title: A deRham model for Chen-Ruan cohomology ring of abelian orbifolds

abstract: We present a deRham model for Chen-Ruan cohomology ring of abelian orbifolds. We introduce the notion of \emph{twist factors} so that formally the stringy cohomology ring can be defined without going through pseudo-holomorphic orbifold curves. Thus our model can be viewed as the classical description of Chen-Ruan cohomology for abelian orbifolds. The model simplifies computation of Chen-Ruan cohomology ring. Using our model, we give a version of wall crossing formula.


abstract: Gromov-Witten, Gopakumar-Vafa, and Donaldson-Thomas invariants of Calabi-Yau threefolds are compared. In certain situations, the Donaldson-Thomas invariants are very easy to handle, sometimes easier than the other invariants. This point is illustrated in several ways, especially by revisiting computations of Gopakumar-Vafa invariants by Katz, Klemm, and Vafa in a rigorous mathematical framework. This note is based on my talk at the 2004 Snowbird Conference on String Geometry.


title: Eigenvalue gaps for the Cauchy process and a Poincar\'e inequality

abstract: A connection between the semigroup of the Cauchy process killed upon exiting a domain $D$ and a mixed boundary value problem for the Laplacian in one dimension higher known as the "mixed Steklov problem," was established in a previous paper of the authors. From this, a variational characterization for the eigenvalues $\lambda_n$, $n\geq 1$, of the Cauchy process in $D$ was obtained. In this paper we obtain a variational characterization of the difference between $\lambda_n$ and $\lambda_1$. We study bounded convex domains which are symmetric with respect to one of the coordinate axis and obtain lower bound estimates for $\lambda_* - \lambda_1$ where $\lambda_*$ is the eigenvalue corresponding to the "first" antisymmetric eigenfunction for $D$. The proof is based on a variational characterization of $\lambda_* - \lambda_1$ and on a weighted Poincar\'e--type inequality. The Poincar\'e inequality is valid for all $\alpha$ symmetric stable processes, $0<\alpha\leq 2$, and any other process obtained from Brownian motion by subordination. We also prove upper bound estimates for the spectral gap $\lambda_2-\lambda_1$ in bounded convex domains.


title: Notes on groups and representations

abstract: These informal notes concern some basic themes of harmonic analysis related to representations of groups.


title: Algebraic transformations of Gauss hypergeometric functions

abstract: This article gives a classification scheme of algebraic transformations of Gauss hypergeometric functions, or pull-back transformations between hypergeometric differential equations. The classification recovers the classical transformations of degree 2, 3, 4, 6, and finds other transformations of some special classes of the Gauss hypergeometric function. The other transformations are considered more thoroughly in a series of supplementing articles.


title: Solving the Likelihood Equations

abstract: Given a model in algebraic statistics and some data, the likelihood function is a rational function on a projective variety. Algebraic algorithms are presented for computing all critical points of this function, with the aim of identifying the local maxima in the probability simplex. Applications include models specified by rank conditions on matrices and the Jukes-Cantor models of phylogenetics. The maximum likelihood degree of a generic complete intersection is also determined.


title: Diophantine definability of infinite discrete non-archimedean sets and Diophantine models over large subrings of number fields

abstract: We prove that infinite p-adically discrete sets have Diophantine definitions in large subrings of some number fields. First, if K is a totally real number field or a totally complex degree-2 extension of a totally real number field, then there exists a prime p of K and a set of K-primes S of density arbitrarily close to 1 such that there is an infinite p-adically discrete set that is Diophantine over the ring O_{K,S} of S-integers in K. Second, if K is a number field over which there exists an elliptic curve of rank 1, then there exists a set of K-primes S of density 1 and an infinite Diophantine subset of O_{K,S} that is v-adically discrete for every place v of K. Third, if K is a number field over which there exists an elliptic curve of rank 1, then there exists a set of K-primes S of density 1 such that there exists a Diophantine model of Z over O_{K,S}. This line of research is motivated by a question of Mazur concerning the distribution of rational points on varieties in a non-archimedean topology and questions concerning extensions of Hilbert's Tenth Problem to subrings of number fields.


title: Regularizable cycles associated with a Selberg type integral under some resonance condition

abstract: We study the twisted homology group attached to a Selberg type integral under some resonance condition, which naturally appears in the su_2-conformal field theory and the representation of the Iwahori-Hecke algebra. We determine the dimension of the space of the regularizable cycles. The dimension-formula is given in terms of the generalized hypergeometric series.


title: Sharp Strichartz estimates on non-trapping asymptotically conic manifolds

abstract: We obtain the Strichartz inequalities $$ \| u \|_{L^q_t L^r_x([0,1] \times M)} \leq C \| u(0) \|_{L^2(M)}$$ for any smooth $n$-dimensional Riemannian manifold $M$ which is asymptotically conic at infinity (with either short-range or long-range metric perturbation) and non-trapping, where $u$ is a solution to the Schr\"odinger equation $iu_t + {1/2} \Delta_M u = 0$, and $2 < q, r \leq \infty$ are admissible Strichartz exponents ($\frac{2}{q} + \frac{n}{r} = \frac{n}{2}$). This corresponds with the estimates available for Euclidean space (except for the endpoint $(q,r) = (2, \frac{2n}{n-2})$ when $n > 2$). These estimates imply existence theorems for semi-linear Schr\"odinger equations on $M$, by adapting arguments from Cazenave and Weissler \cite{cwI} and Kato \cite{kato}. This result improves on our previous result in \cite{HTW}, which was an $L^4_{t,x}$ Strichartz estimate in three dimensions. It is closely related to the results of Staffilani-Tataru, Burq, Tataru, and Robbiano-Zuily, who consider the case of asymptotically flat manifolds.


title: Birational geometry of symplectic resolutions of nilpotent orbits II

abstract: In this paper we shall study symplectic resolutions of a nilpotent orbit closure of a complex simple Lie algebra \g. We shall introduce an equivalence relation in the set of parabolic subgroups of $G$ in terms of marked Dynkin diagrams. We start with a nilpotent orbit closure which admits a Springer resolution with a parabolic subgroup $P_0$ of $G$. Then we prove that all symplectic resolution of the nilpotent closure are Springer resolutions with $P$ which are equivalent to $P_0$. Here all symplectic resolutions are connected by Mukai flops. We need three types of Mukai flops (types A, D and E_6) in connecting symplectic resolutions. In particular, Mukai flops of type E_6 are new. All arguments of Part I : math.AG/0404072 which use flags, are replaced by those which use only Dynkin diagrams.


title: Spectral Symmetry in II_1 Factors

abstract: A self-adjoint element in a finite AW*-factor is spectrally symmetric, if its spectral measure under the quasitrace is invariant under the change of variables $t\longmapsto -t$. We show that if $\mathcal{A}$ is an AW*-factor of type II_1, a self-djoint element in $\mathcal{A}$, without full support, has quasitrace zero, if and only if it can be written as a sum of at most three commuting spectrally symmetric elements.


title: Monte Carlo Algorithms for Optimal Stopping and Statistical Learning

abstract: We extend the Longstaff-Schwartz algorithm for approximately solving optimal stopping problems on high-dimensional state spaces. We reformulate the optimal stopping problem for Markov processes in discrete time as a generalized statistical learning problem. Within this setup we apply deviation inequalities for suprema of empirical processes to derive consistency criteria, and to estimate the convergence rate and sample complexity. Our results strengthen and extend earlier results.


title: On root-class residuality of generalized free products

abstract: Root-class residuality of free product of root-class residual groups is demonstrated. A sufficient condition for root-class residuality of generalized free product $G$ of groups $A$ and $B$ amalgamating subgroups $H$ and $K$ through the isomorphism $\phi$ is derived. For the particular case when $A=B$, $H=K$ and $\phi$ is the identity mapping, it is shown that group $G$ is root-class residual if and only if $A$ is root-class residual and subgroup $H$ of $A$ is root-class closed. These results are extended to generalized free product of infinitely many groups amalgamating a common subgroup.


title: Topological structures in Colombeau algebras: investigation of the duals of $\Gc(\Om)$, $\G(\Om)$ and $\GS(\R^n)$

abstract: We study the topological duals of the Colombeau algebras $\Gc(\Om)$, $\G(\Om)$ and $\GS(\R^n)$, discussing some continuous embeddings and the properties of generalized delta functionals.


title: Extensions Theorems, Orbits, and Automorphisms of the Computably Enumerable Sets

abstract: We prove an algebraic extension theorem for the computably enumerable sets, $\mathcal{E}$. Using this extension theorem and other work we then show if $A$ and $\hat{A}$ are automorphic via $\Psi$ then they are automorphic via $\Lambda$ where $\Lambda \restriction \L^*(A) = \Psi$ and $\Lambda \restriction \E^*(A)$ is $\Delta^0_3$. We give an algebraic description of when an arbitrary set $\Ahat$ is in the orbit of a \ce set $A$. We construct the first example of a definable orbit which is not a $\Delta^0_3$ orbit. We conclude with some results which restrict the ways one can increase the complexity of orbits. For example, we show that if $A$ is simple and $\hat{A}$ is in the same orbit as $A$ then they are in the same $\Delta^0_6$-orbit and furthermore we provide a classification of when two simple sets are in the same orbit.


title: On the Floer homology of cotangent bundles

abstract: This paper concerns Floer homology for periodic orbits and for a Lagrangian intersection problem on the cotangent bundle of a compact orientable manifold M. The first result is a new uniform estimate for the solutions of the Floer equation, which allows to deal with a larger - and more natural - class of Hamiltonians. The second and main result is a new construction of the isomorphism between the Floer homology and the singular homology of the free loop space of M, in the periodic case, or of the based loop space of M, in the Lagrangian intersection problem. The idea for the construction of such an isomorphism is to consider a Hamiltonian which is the Legendre transform of a Lagrangian on TM, and to construct an isomorphism between the Floer complex and the Morse complex of the classical Lagrangian action functional on the space of free or based loops on M of Sobolev class W(1,2).


title: Duality and Operator Algebras II: Operator Algebras as Banach Algebras

abstract: We answer, by counterexample, several open questions concerning algebras of operators on a Hilbert space. The answers add further weight to the thesis that, for many purposes, such algebras ought to be studied in the framework of operator spaces, as opposed to that of Banach spaces and Banach algebras. In particular, the `nonselfadjoint analogue' of a W*-algebra resides naturally in the category of dual operator spaces, as opposed to dual Banach spaces. We also show that an automatic w*-continuity result in the preceding paper of the authors is sharp.


title: Proofs Without Syntax

abstract: "[M]athematicians care no more for logic than logicians for mathematics." Augustus de Morgan, 1868. Proofs are traditionally syntactic, inductively generated objects. This paper presents an abstract mathematical formulation of propositional calculus (propositional logic) in which proofs are combinatorial (graph-theoretic), rather than syntactic. It defines a *combinatorial proof* of a proposition P as a graph homomorphism h : C -> G(P), where G(P) is a graph associated with P and C is a coloured graph. The main theorem is soundness and completeness: P is true iff there exists a combinatorial proof h : C -> G(P).


title: Luigi Cremona and cubic surfaces

abstract: We discuss Luigi Cremona's contribution to the early development of the theory of cubic surfaces.


title: Steinness of bundles with fiber a Reinhardt bounded domain

abstract: Let E denote a bundle with fiber D and with basis B. Both D and B are assumed to be Stein. For D a Reinhardt bounded domain of dimension d=2 or 3, we give a necessary and sufficient condition on D for the existence of a non-Stein such E (Theorem 1); for d=2, we give necessary and sufficient criteria for E to be Stein (Theorem 2). For D a Reinhardt bounded domain of any dimension not intersecting any coordinate hyperplane, we give a sufficient criterion for E to be Stein (Theorem 3).


title: (Z_2^k)-manifolds are isospectral on forms

abstract: We obtain a simple formula for the multiplicity of eigenvalues of the Hodge-Laplace operator, $\Delta_f$, acting on sections of the full exterior bundle over an arbitrary compact flat Riemannian n-manifold M with holonomy group Z_2^k, with 0<k<n. This formula implies that any two compact flat manifolds with holonomy group Z_2^k having isospectral lattices of translations are isospectral on forms, that is, with respect to $\Delta_f$. As a consequence, we construct a large family of pairwise $\Delta_f$-isospectral and nonhomeomorphic n-manifolds of cardinality greater than $2^{(n-1)(n-2)/2}$.


title: Tree Diagrams for String Links II: Determining Chord Diagrams

abstract: In previous work, we defined the intersection graph of a chord diagram associated with a string link (as in the theory of finite type invariants). In this paper, we look at the case when this graph is a tree, and we show that in many cases these trees determine the chord diagram (modulo the usual 1-term and 4-term relations).


title: Equiangular Tight Frames from Paley Tournaments

abstract: We prove the existence of equiangular tight frames having n=2d-1 elements drawn from either C^d or C^(d-1) whenever n is either 2^k-1 for k in N, or a power of a prime such that n=3 mod 4. We also find a simple explicit expression for the prime power case by establishing a connection to a 2d-element equiangular tight frame based on quadratic residues.


title: Universal triple Massey products on elliptic curves and Hecke's indefinite theta series

abstract: Generalizing math.AG/0003076 we express universal triple Massey products between line bundles on elliptic curves in terms of Hecke's indefinite theta series. We show that all Hecke's indefinite theta series arise in this way.


title: Distinct distances on a sphere

abstract: We study the Erdos distance conjecture on the unit sphere in three dimensions using Fourier analytic methods.


title: Hausdorff dimension and conformal measures of Feigenbaum Julia sets

abstract: We show that contrary to anticipation suggested by the dictionary between rational maps and Kleinian groups and by the ``hairiness phenomenon'', there exist many Feigenbaum Julia sets $J(f)$ whose Hausdorff dimension is strictly smaller than two. We also prove that for any Feigenbaum Julia set, the Poincar\'e critical exponent $\de_\crit$ is equal to the hyperbolic dimension $\HD_\hyp(J(f))$. Moreover, if $\area J(f)=0$ then $\HD_\hyp (J(f))=\HD(J(f))$. In the stationary case, the last statement can be reversed: if $\area J(f)> 0$ then $\HD_\hyp (J(f))< 2$. We also give a new construction of conformal measures on $J(f)$ that implies that they exist for any $\de\in [\de_\crit, \infty)$, and analyze their scaling and dissipativity/conservativity properties.


title: Crossed products by minimal homeomorphisms

abstract: Let X be an infinite compact metric space with finite covering dimension and let h be a minimal homeomorphism of X. Let A be the associated crossed product C*-algebra. We show that A has tracial rank zero whenever the image of K_0 (A) in the affine functions on the tracial state space of A is dense. As a consequence, we show that these crossed product C*-algebras are in fact simple AH algebras with real rank zero. When X is connected and h is further assumed to be uniquely ergodic, then the above happens if and only if the rotation number associated to h has irrational values. By applying the classification theorem for nuclear simple C*-algebras with tracial rank zero, we show that two such dynamical systems have isomorphic crossed products if and only if they have isomorphic scaled ordered K-theory.


title: An extremal problem on potentially $K_{p,1,1}$-graphic sequences

abstract: A sequence $S$ is potentially $K_{p,1,1}$ graphical if it has a realization containing a $K_{p,1,1}$ as a subgraph, where $K_{p,1,1}$ is a complete 3-partite graph with partition sizes $p,1,1$. Let $\sigma(K_{p,1,1}, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $\sigma(S)\geq \sigma(K_{p,1,1}, n)$ is potentially $K_{p,1,1}$ graphical. In this paper, we prove that $\sigma (K_{p,1,1}, n)\geq 2[((p+1)(n-1)+2)/2]$ for $n \geq p+2.$ We conjecture that equality holds for $n \geq 2p+4.$ We prove that this conjecture is true for $p=3$.


title: Epsilon factor for GL_l \times GL_{l'}; l\neq l' primes

abstract: Let $F$ be a non-Archimedean local field with finite residual field of characteristic $p$. In this article we calculate the $\epsilon$-factor of pairs for $\GL_l(F) \times \GL_{l'}(F)$ where $l$ and $l'$ are distinct primes including the case $l=p$. For this calculation, we use the local Langlands correspondence and non-Galois base change lift. This method leads to the explicit conjecture of the $\epsilon$-factor of the representations of $\GL_m \times \GL_n$ when $n$ is relatively prime to $m$ and $p$.


title: Fourier-Laplace transform of irreducible regular differential systems on the Riemann sphere

abstract: We show that the Fourier-Laplace transform of an irreducible regular differential system on the Riemann sphere underlies, when one only considers the part at finite distance, a polarizable regular twistor $\mathcal{D}$-module. The associated holomorphic bundle out of the origin is therefore equipped with a natural harmonic metric with a tame behaviour near the origin.


title: The boundary motive: definition and basic properties

abstract: We introduce the notion of the boundary motive of a scheme X over a perfect field. By definition, it measures the difference between the motive X and the motive with compact support of X. We develop three tools to compute the boundary motive in terms of the geometry of a compactification of X: co-localization, invariance under abstract blow-up, and analytical invariance. We then prove auto-duality of the boundary motive of a smooth scheme X. As a formal consequence of this, and of co-localization, we obtain a fourth computational tool, namely localization for the boundary motive.


title: Examples of different minimal diffeomorphisms giving the same C*-algebras

abstract: We give examples of minimal diffeomorphisms of compact connected manifolds which are not topologically orbit equivalent, but whose transformation group C*-algebras are isomorphic. The examples show that the following properties of a minimal diffeomorphism are not invariants of the transformation group C*-algebra: having topologically quasidiscrete spectrum; the action on singular cohomology (when the manifolds are diffeomorphic); the homotopy type of the manifold (when the manifolds have the same dimension); and the dimension of the manifold. These examples also give examples of nonconjugate isomorphic Cartan subalgebras, and of nonisomorphic Cartan subalgebras, of simple separable nuclear unital C*-algebras with tracial rank zero and satisfying the Universal Coefficient Theorem.


title: On the principles of B-smooth discontinuous flows

abstract: In this paper, we define B-smooth discontinuous dynamical systems which can be used as models of various processes in mechanics, electronics, biology and medicine. We find sufficient conditions to guarantee the existence of such systems. These conditions are easy to verify. Appropriate examples are constructed.


title: Pseudo Limits, Biadjoints, and Pseudo Algebras: Categorical Foundations of Conformal Field Theory

abstract: In this paper I develop categorical foundations needed for a rigorous approach to the definition of conformal field theory outlined by Graeme Segal. I discuss pseudo algebras over theories and 2-theories, their pseudo morphisms, bilimits, bicolimits, biadjoints, stacks, and related concepts.


title: Finiteness properties of arithmetic groups over function fields

abstract: We determine when an arithmetic subgroup of a reductive group defined over a global function field is of type FP_\infty by comparing its large-scale geometry to the large-scale geometry of lattices in real semisimple Lie groups.


title: Endomorphic Elements in Banach Algebras

abstract: The use of the properties of actions on an algebra to enrich the study of the algebra is well-trodden and still fashionable. Here, the notion and study of endomorphic elements of (Banach) algebras are introduced. This study is initiated, in the hope that it will open up, further, the structure of (Banach) algebras in general, enrich the study of endomorphisms and provide examples. In particular, here, we use it to classify algebras for the convenience of our study. We also present results on the structure of some classes of endomorphic elements and bring out the contrast with idempotents.


title: Rational connectedness of log $Q$-Fano varieties

abstract: In this paper, we give an affirmative answer to a conjecture in the Minimal Model Program. We prove that log $Q$-Fano varieties of dim $n$ are rationally connected. We also study the behavior of the canonical bundles under projective morphisms.


title: Small semisimple subalgebras of semisimple Lie algebras

abstract: The main goal of this paper is to prove the following theorem: Let $\frak k$ be an $\frak {sl}_2$-subalgebra of a semisimple Lie algebra $\frak g$, none of whose simple factors is of type $A1$. Then there exists a positive integer $b(\frak k, \frak g)$, such that for every irreducible finite dimensional $\frak g$-module $V$, there exists an injection of $\frak k$-modules $W \to V$, where $W$ is an irreducible $\frak k$-module of dimension less than $b(\frak k, \frak g)$. This result was announced in math.RT/0310140.


title: Skew representations of twisted Yangians

abstract: Analogs of the classical Sylvester theorem have been known for matrices with entries in noncommutative algebras including the quantized algebra of functions on GL(N) and the Yangian for gl(N). We prove a version of this theorem for the twisted Yangians Y(g(N)) associated with the orthogonal and symplectic Lie algebras g(N)=o(N) or sp(N). This gives rise to representations of the twisted Yangian Y(g(N-M)) on the space of g(M)-homomorphisms Hom(W,V), where W and V are finite-dimensional irreducible modules over g(M) and g(N), respectively. In the symplectic case these representations turn out to be irreducible and we identify them by calculating the corresponding Drinfeld polynomials. We also apply the quantum Sylvester theorem to realize the twisted Yangian as a projective limit of certain centralizers in universal enveloping algebras.


title: Distances between the conjugates of an algebraic number

abstract: Given a fixed number field K, we give non-trivial lower bounds for the distance between the conjugates of any number a from K in terms of the Mahler measure M(a) of a. In the case that K is a cubic field, our bound is best possible in terms of M(a). Our proof is based on Roth's theorem.


title: Normability of Probabilistic Normed Spaces

abstract: Relying on Kolmogorov's classical characterization of normable Topological Vector spaces, we study the normability of those Probabilistic Normed Spaces that are also Topological Vector spaces and provide a characterization of normable \v{S}erstnev spaces. We also study the normability of other two classes of Probabilistic Normed Spaces.


title: Thin Elements and Commutative Shells in Cubical omega-categories

abstract: The relationships between thin elements, commutative shells and connections in cubical omega-categories are explored by a method which does not involve the use of pasting theory or nerves of omega-categories (both of which were previously needed for this purpose; see previous work by Al-Agl/Brown/Steiner. It is shown that composites of commutative shells are commutative and that thin structures are equivalent to appropriate sets of connections; this work extends to all dimensions the results proved in dimensions 2 and 3 by Brown/Mosa, and Brown/Kamps/Porter.


title: Liao Standard Systems and Nonzero Lyapunov Exponents for Differential Flows

abstract: Consider a $C^1$ vector field together with an ergodic invariant probability that has $\ell$ nonzero Lyapunov exponents. Using orthonormal moving frames along certain transitive orbits we construct a linear system of $\ell$ differential equations which is a reduced form of Liao's "standard system". We show that the Lyapunov exponents of this linear system coincide with all the nonzero exponents of the given vector field with respect to the given probability. Moreover, we prove that these Lyapunov exponents have a persistence property that implies that a "Liao perturbation" preserves both sign and value of nonzero Lyapunov exponents.


title: Selberg Integrals

abstract: The paper is written for Kluwer's Encyclopaedia of Mathematics.


title: Hecke operators on period functions for $\Gamma_0(n)$

abstract: Matrix representations of Hecke operators on classical holomorphical cusp forms and the corresponding period polynomials are well known. In this article we derive representations of Hecke operators for vector valued period functions for the congruence subgroups $\Gamma_0(n)$. For this we use an integral transform from the space of vector valued cusp forms to the space of vector valued period functions.


title: The Lagrangian filtration of the mapping class group and finite-type invariants of homology spheres

abstract: In a recent paper we defined a new filtration of the mapping class group--the "Lagrangian" filtration. We here determine the successive quotients of this filtration, up to finite index. As an application we show that, for any additive invariant of finite-type (e.g. the Casson invariant), and any level of the Lagrangian filtration, there is a homology 3-sphere which has a Heegaard decomposition whose gluing diffeomorphism lies at that level, on which this invariant is non-zero. In a final section we examine the relationship between the Johnson and Lagrangian filtrations.


title: Non-archimedean amoebas and tropical varieties

abstract: We study the non-archimedean counterpart to the complex amoeba of an algebraic variety, and show that it coincides with a polyhedral set defined by Bieri and Groves using valuations. For hypersurfaces this set is also the tropical variety of the defining polynomial. Using non-archimedean analysis and a recent result of Conrad we prove that the amoeba of an irreducible variety is connected. We introduce the notion of an adelic amoeba for varieties over global fields, and establish a form of the local-global principle for them. This principle is used to explain the calculation of the nonexpansive set for a related dynamical system.


title: Counterexamples to the Neggers-Stanley conjecture

abstract: The Neggers-Stanley conjecture (also known as the Poset conjecture) asserts that the polynomial counting the linear extensions of a partially ordered set on $\{1,2,...,p\}$ by their number of descents has real zeros only. We provide counterexamples to this conjecture.


title: An Axiomatization of Realities

abstract: Perhaps one of the most intriguing questions in philosophy concerns the true nature of external reality. In this paper, we discuss some of the theories that have been put forth regarding the nature of reality and of our perceived universe. We develop an abstract mathematical model, whereby, several theories that have been proposed so, ranging from modern physics to ancient Indian philosophy can be brought under a common umbrella. We also discuss a specific case, which emerges from our more general model, which has an interesting consequence upon the way we view our world.


title: Graph W*-probability Theory

abstract: In this paper, we will consider the graph w*-probability theory.


title: A monodromy criterion for extending curves

abstract: A family of proper smooth curves of genus $\geq 2$, parametrised by an open dense subset $U$ of a normal variety $S$, extends to $S$ if the natural map $\pi_1(U) \to \pi_1(S)$ on fundamental groups is an isomorphism. The criterion of this note is actually more precise.


title: Curvature homogeneous signature (2,2) manifolds

abstract: We exhibit a family of generalized plane wave manifolds of signature (2,2). The geodesics in these manifolds extend for infinite time (i.e. they are complete), they are spacelike and timelike Jordan Osserman, and they are spacelike and timelike Jordan Ivanov-Petrova. Some are irreducible symmetric spaces. Some are homogeneous spaces but not symmetric. Some are 1-curvature homogeneous but not homogeneous. All are 0-modeled on the same irreducible symmetric space. We determine the Killing vector fields for these manifolds.


title: The 192 Solutions of the Heun Equation

abstract: A machine-generated list of 192 local solutions of the Heun equation is given. They are analogous to Kummer's 24 solutions of the Gauss hypergeometric equation, since the two equations are canonical Fuchsian differential equations on the Riemann sphere with four and three singular points, respectively. Tabulation is facilitated by the identification of the automorphism group of the equation with n singular points as the Coxeter group D_n. Each of the 192 expressions is labeled by an element of D_4. Of the 192, 24 are equivalent expressions for the local Heun function Hl, and it is shown that the resulting order-24 group of transformations of Hl is isomorphic to the symmetric group S_4. The isomorphism encodes each transformation as a permutation of an abstract four-element set, not identical to the set of singular points.


title: The moduli space of rank-3 vector bundles with trivial determinant over a curve of genus 2 and duality

abstract: Let SU_X(3) be the moduli space of semi-stable vector bundles of rank 3 and trivial determinant on a curve X of genus 2. It maps onto P^8 and the map is a double cover branched over a sextic hypersurface called the Coble sextic. In the dual P^8 there is a unique cubic hypersurface, the Coble cubic, singular exactly along the abelian surface of degree 1 line bundles on X. We give a new proof that these two hypersurfaces are dual. As an immediate corollary, we derive a Torelli-type result.


title: Prime Number Races

abstract: This is a survey article on prime number races. Chebyshev noticed in the first half of the nineteenth century that for any given value of x, there always seem to be more primes of the form 4n+3 less than x then there are of the form 4n+1. Similar observations have been made with primes of the form 3n+2 and 3n+1, with primes of the form 10n+3/10n+7 and 10n+1/10n+9, and many others besides. More generally, one can consider primes of the form qn+a, qn+b, qn+c, >... for our favorite constants q, a, b, c, ... and try to figure out which forms are "preferred" over the others. In this paper, we describe these phenomena in greater detail and explain the efforts that have been made at understanding them.


title: A note on recurrence sequences

abstract: In this note we provide a simple formula of general term of recurrent sequence.


title: Some improvements in numerical evaluation of symmetric stable density and its derivatives

abstract: We propose improvements in numerical evaluation of symmetric stable density and its partial derivatives with respect to the parameters. They are useful for more reliable evaluation of maximum likelihood estimator and its standard error. Numerical values of the Fisher information matrix of symmetric stable distributions are also given. Our improvements consist of modification of the method of Nolan (1997) for the boundary cases, i.e., in the tail and mode of the densities and in the neighborhood of the Cauchy and the normal distributions.


title: Ergodic Dynamics of the Stochastic Swift-Hohenberg System

abstract: The Swift-Hohenberg fluid convection system with both local and nonlocal nonlinearities under the influence of white noise is studied. The objective is to understand the difference in the dynamical behavior in both local and nonlocal cases. It is proved that when sufficiently many of its Fourier modes are forced, the system has a unique invariant measure, or equivalently, the dynamics is ergodic. Moreover, it is found that the number of modes to be stochastically excited for ensuring the ergodicity in the local Swift-Hohenberg system depends {\em only} on the Rayleigh number (i.e., it does not even depend on the random term itself), while this number for the nonlocal Swift-Hohenberg system relies additionally on the bound of the kernel in the nonlocal interaction (integral) term, and on the random term itself


title: A Markov jump process approximation of the stochastic Burgers equation

abstract: We consider the stochastic Burgers equation $ \dnachd{t} \psi(t,r) = \Delta \psi(t,r) + \nabla \psi^2(t,r)+\sqrt{\gamma\psi(t,r)} \eta(t,r) $ with periodic boundary conditions, where $t \ge 0,$ $r \in [0,1],$ and $\eta$ is some space-time white noise. A certain Markov jump process is constructed to approximate a solution of this equation.}


title: Exel's Crossed Product and Relative Cuntz-Pimsner Algebras

abstract: We consider Exel's new construction of a crossed product of a C*-algebra A by an endomorphism \alpha. We prove that this crossed product is universal for an appropriate family of covariant representations, and we show that it can be realised as a relative Cuntz-Pimsner algbera. We describe a necessary and sufficient condition for the canonical map from A into the crossed product to be injective, and present several examples to demonstrate the scope of this result. We also prove a gauge-invariant uniqueness theorem for the crossed product.


title: Some non-trivial PL knots whose complements are homotopy circles

abstract: We show that there exist non-trivial piecewise-linear (PL) knots with isolated singularities $S^{n-2}\subset S^n$, $n\geq 5$, whose complements have the homotopy type of a circle. This is in contrast to the case of smooth, PL locally-flat, and topological locally-flat knots, for which it is known that if the complement has the homotopy type of a circle, then the knot is trivial.


title: An extremal problem on potentially $K_{p_{1},p_{2},...,p_{t}}$-graphic sequences

abstract: A sequence $S$ is potentially $K_{p_{1},p_{2},...,p_{t}}$ graphical if it has a realization containing a $K_{p_{1},p_{2},...,p_{t}}$ as a subgraph, where $K_{p_{1},p_{2},...,p_{t}}$ is a complete t-partite graph with partition sizes $p_{1},p_{2},...,p_{t} (p_{1}\geq p_{2}\geq ...\geq p_{t} \geq 1)$. Let $\sigma(K_{p_{1},p_{2},...,p_{t}}, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $\sigma(S)\geq \sigma(K_{p_{1},p_{2},...,p_{t}}, n)$ is potentially $K_{p_{1},p_{2},...,p_{t}}$ graphical. In this paper, we prove that $\sigma (K_{p_{1},p_{2},...,p_{t}}, n)\geq 2[((2p_{1}+2p_{2}+...+2p_{t}-p_{1}-p_{2}-...-p_{i}-2)n -(p_{1}+p_{2}+...+p_{t}-p_{i})(p_{i}+p_{i+1}+...+p_{t}-1)+2)/2]$ for $n \geq p_{1}+p_{2}+...+p_{t}, i=2,3,...,t.$


title: Annealed deviations of random walk in random scenery

abstract: Let $(Z_n)_{n\in\N}$ be a $d$-dimensional {\it random walk in random scenery}, i.e., $Z_n=\sum_{k=0}^{n-1}Y(S_k)$ with $(S_k)_{k\in\N_0}$ a random walk in $\Z^d$ and $(Y(z))_{z\in\Z^d}$ an i.i.d. scenery, independent of the walk. The walker's steps have mean zero and finite variance. We identify the speed and the rate of the logarithmic decay of $\P(\frac 1n Z_n>b_n)$ for various choices of sequences $(b_n)_n$ in $[1,\infty)$. Depending on $(b_n)_n$ and the upper tails of the scenery, we identify different regimes for the speed of decay and different variational formulas for the rate functions. In contrast to recent work \cite{AC02} by A. Asselah and F. Castell, we consider sceneries {\it unbounded} to infinity. It turns out that there are interesting connections to large deviation properties of self-intersections of the walk, which have been studied recently by X. Chen \cite{C03}.


title: On the interplay between measurable and topological dynamics

abstract: This article reviews a generous sampling of both classical and more recent results on the interplay between measurable and topological dynamics. In the first part we have surveyed the strong analogies between ergodic theory and topological dynamics as shown in the treatment of recurrence phenomena, equicontinuity and weak mixing, distality and entropy. The prototypical result of the second part is the statement that any abstract measure probability preserving system can be represented as a continuous transformation of a compact space, and thus in some sense ergodic theory embeds into topological dynamics. The work also contains several new results. In particular (1) we prove, for a Polish dynamical system, the equivalence of the existence of a Borel cross-section with the coincidence of recurrence and periodicity; and (2) for compact dynamical systems we provide a converse to the local variational principle.


title: The set of common fixed points of a one-parameter continuous semigroup of mappings is F(T(1)) cap F(T(sqrt 2))

abstract: In this paper, we prove the following theorem: Let {T(t) : t >= 0} be a one-parameter continuous semigroup of mappings on a subset C of a Banach space E. The set of fixed points of T(t) is denoted by F(T(t)) for each t >= 0. Then cap_{t >= 0} F(T(t)) = F(T(1)) cap F(T(sqrt 2)) holds. Using this theorem, we discuss convergence theorems to a common fixed point of {T(t) : t >= 0}.


title: Extending representations of braid groups to the automorphism groups of free groups

abstract: We construct a linear representation of the group IA(F_n) of IA-automorphisms of a free group F_n, an extension of the Gassner representation of the pure braid group P_n. Although the problem of faithfulness of the Gassner representation is still open for n > 3, we prove that the restriction of our representation to the group of basis conjugating automorphisms Cb_n contains a non-trivial kernel even if n=2. We construct also an extensions of the Burau representation to the group of conjugating automorphisms C_n. This representation is not faithful for n > 1.


title: Computing Optimal Morse Matchings

abstract: Morse matchings capture the essential structural information of discrete Morse functions. We show that computing optimal Morse matchings is NP-hard and give an integer programming formulation for the problem. Then we present polyhedral results for the corresponding polytope and report on computational results.


title: Reaction diffusion equations with super-linear absorption: universal bounds, uniqueness for the Cauchy problem, boundedness of stationary solutions

abstract: Consider classical solutions to the parabolic reaction diffusion equation $$ &u_t =Lu+f(x,u), (x,t)\in R^n\times(0,\infty); &u(x,0) =g(x)\ge0, x\in R^n; &u\ge0, $$ where $$ L=\sum_{i,j=1}^na_{i,j}(x)\frac{\partial^2}{\partial x_i \partial x_j}+\sum_{i=1}^nb_i(x)\frac\partial{\partial x_i} $$ is a non-degenerate elliptic operator, $g\in C(R^n)$ and the reaction term $f$ converges to $-\infty$ at a super-linear rate as $u\to\infty$. We give a sharp minimal growth condition on $f$, independent of $L$, in order that there exist a universal, a priori upper bound for all solutions to the above Cauchy problem--that is, in order that there exist a finite function $M(x,t)$ on $R^n\times(0,\infty)$ such that $u(x,t)\le M(x,t)$, for all solutions to the Cauchy problem. Assuming now in addition that $f(x,0)=0$, so that $u\equiv0$ is a solution to the Cauchy problem, we show that under a similar growth condition, an intimate relationship exists between two seemingly disparate phenomena--namely, uniqueness for the Cauchy problem with initial data $g=0$ and the nonexistence of unbounded, stationary solutions to the corresponding elliptic problem. We also give a generic condition for nonexistence of nontrivial stationary solutions.