title: Constructing expander graphs by 2-lifts and discrepancy vs. spectral gap

abstract: We present a new explicit construction for expander graphs with nearly optimal spectral gap. The construction is based on a series of 2-lift operations. Let $G$ be a graph on $n$ vertices. A 2-lift of $G$ is a graph $H$ on $2n$ vertices, with a covering map $\pi:H \to G$. It is not hard to see that all eigenvalues of $G$ are also eigenvalues of $H$. In addition, $H$ has $n$ ``new'' eigenvalues. We conjecture that every $d$-regular graph has a 2-lift such that all new eigenvalues are in the range $[-2\sqrt{d-1},2\sqrt{d-1}]$ (If true, this is tight, e.g. by the Alon-Boppana bound). Here we show that every graph of maximal degree $d$ has a 2-lift such that all ``new'' eigenvalues are in the range $[-c \sqrt{d \log^3d}, c \sqrt{d \log^3d}]$ for some constant $c$. This leads to a polynomial time algorithm for constructing arbitrarily large $d$-regular graphs, with second eigenvalue $O(\sqrt{d \log^3 d})$. The proof uses the following lemma: Let $A$ be a real symmetric matrix such that the $l_1$ norm of each row in $A$ is at most $d$. Let $\alpha = \max_{x,y \in \{0,1\}^n, supp(x)\cap supp(y)=\emptyset} \frac {|xAy|} {||x||||y||}$. Then the spectral radius of $A$ is at most $c \alpha \log(d/\alpha)$, for some universal constant $c$. An interesting consequence of this lemma is a converse to the Expander Mixing Lemma.


title: The Denjoy type-of argument for quasiperiodically forced circle diffeomorphisms

abstract: We carry the argument used in the proof of the Theorem of Denjoy over to the quasiperiodically forced case. Thus we derive that if a system of quasiperiodically forced circle diffeomorphisms with bounded variation of the derivative has no invariant graphs with a certain kind of topological regularity, then the system is topologically transitive.


title: Partial classification of modules for Lie-algebra of diffeomorphisms of d-dimensional torus

abstract: We consider the Lie-algebra of the group of diffeomorphisms of d-dimensional torus which is also known to be the algebra of derivations on a Laurent polynomial ring A in d commuting variables denoted by DerA. Larsson has constructed a large class of DerA modules based on gl_d modules which are also A modules. In this paper we prove that any irreducible (A, DerA) module with finite dimensional weight spaces has to come from Larsson's construction.


title: Algebraic functions with even monodromy

abstract: Let $X$ be a compact Riemann surface of genus $g$ and $d\geq 12g+4$ be an integer. We show that $X$ admits meromorphic functions with monodromy group equal to the alternating group $A_d.$


title: On the Cauchy Problem for Differential Equations in a Banach Space over the Field of p-Adic Numbers. II

abstract: For an operator-differential equation of the form $y^{(m)}(z) = Ay(z)$, where $A$ is a closed linear operator on a Banach space over the the field of $p$-adic numbers, the necessary and sufficient conditions on initial data for the Cauchy problem to be well-posed in the class of locally analytic vector-valued functions are given. The result is illustrated by $p$-adic partial differential equations.


title: Calculus on the Sierpinski Gasket I: Polynomials, Exponentials and Power Series

abstract: We study the analog of power series expansions on the Sierpinski gasket, for analysis based on the Kigami Laplacian. The analog of polynomials are multiharmonic functions, which have previously been studied in connection with Taylor approximations and splines. Here the main technical result is an estimate of the size of the monomials analogous to x^n/n!. We propose a definition of entire analytic functions as functions represented by power series whose coefficients satisfy exponential growth conditions that are stronger than what is required to guarantee uniform convergence. We present a characterization of these functions in terms of exponential growth conditions on powers of the Laplacian of the function. These entire analytic functions enjoy properties, such as rearrangement and unique determination by infinite jets, that one would expect. However, not all exponential functions (eigenfunctions of the Laplacian) are entire analytic, and also many other natural candidates, such as the heat kernel, do not belong to this class. Nevertheless, we are able to use spectral decimation to study exponentials, and in particular to create exponentially decaying functions for negative eigenvalues.


title: Explicit Blowing-up Solutions to the Schr\"odinger Maps from ${\bf R}^2$ to the Hyperbolic 2-Space ${\bf H}^2$

abstract: In this article, we prove that the equation of the Schr\"odinger maps from ${\bf R}^2$ to the hyperbolic 2-space ${\bf H}^2$ is SU(1,1)-gauge equivalent to the following 1+2 dimensional nonlinear Schr\"odinger-type system of unknown three complex functions $p,q,r$ and a real function $u$: {c} iq_t+q_{z{\bar z}}-2u q+2({\bar p}q)_z-2pq_{\bar z}-4|p|^2q=0\qquad ir_t-r_{z{\bar z}}+2u r+2({\bar p}r)_z-2pr_{\bar z}+4|p|^2r=0\qquad ip_t+(qr)_{\bar z}-u_z=0\qquad\qquad\qquad\qquad\qquad\qquad


title: Wandering domains in non-archimedean polynomial dynamics

abstract: We extend a recent result on the existence of wandering domains of polynomial functions defined over the p-adic field C_p to any algebraically closed complete non-archimedean field C_K with residue characteristic p>0. We also prove that polynomials with wandering domains form a dense subset of a certain one-dimensional family of degree p+1 polynomials in C_K[z].


title: Lifting mappings over invariants of finite groups

abstract: We characterize those regular, holomorphic or formal maps into the orbit space $V/G$ of a complex representation of a finite group $G$ which admit a regular, holomorphic or formal lift to the representation space $V$. In particular, the case of complex reflection groups is investigated.


title: Ehrhart polynomials, simplicial polytopes, magic squares and a conjecture of Stanley

abstract: It is proved that a certain symmetric sequence of nonnegative integers arising in the enumeration of magic squares of given size n by row sums or, equivalently, in the generating function of the Ehrhart polynomial of the polytope of doubly stochastic n by n matrices, is equal to the h-vector of a simplicial polytope and hence that it satisfies the conditions of the g-theorem. The unimodality of this sequance, which follows, was conjectured by Stanley (1983). Several generalizations are given.


title: On the homotopy types of compact kaehler and complex projective manifolds

abstract: We show that in every dimension greater than or equal to 4, there exist compact Kaehler manifolds which do not have the homotopy type of projective complex manifolds. Thus they a fortiori are not deformation equivalent to a projective manifold, which solves negatively Kodaira's problem. We give both non simply connected (of dimension at least 4) and simply connected (of dimension at least 6) such examples.


title: Classification of subsystems for graded-local nets with trivial superselection structure

abstract: We classify Haag-dual Poincar\'e covariant subsystems $\B\subset \F$ of a graded-local net $\F$ on 4D Minkowski spacetime which satisfies standard assumptions and has trivial superselection structure. The result applies to the canonical field net $\F_\A$ of a net $\A$ of local observables satisfying natural assumptions. As a consequence, provided that it has no nontrivial internal symmetries, such an observable net $\A$ is generated by (the abstract versions of) the local energy-momentum tensor density and the observable local gauge currents which appear in the algebraic formulation of the quantum Noether theorem. Moreover, for a net $\A$ of local observables as above, we also classify the Poincar\'e covariant local extensions $\B \supset \A$ which preserve the dynamics.


title: Wandering domains and nontrivial reduction in non-archimedean dynamics

abstract: Let K be a non-archimedean field with residue field k, and suppose that k is not an algebraic extension of a finite field. We prove two results concerning wandering domains of rational functions f in K(z) and Rivera-Letelier's notion of nontrivial reduction. First, if f has nontrivial reduction, then assuming some simple hypotheses, we show that the Fatou set of f has wandering components by any of the usual definitions of such components. Second, we show that if k has characteristic zero and K is discretely valued, then the converse holds; that is, the existence of a wandering domain implies that some iterate has nontrivial reduction in some coordinate.


title: The dead leaves model : general results and limits at small scales

abstract: In this work, we introduce a random field in view of natural image modeling, obtained as a limit of sequences of dead leaves models, when considering arbitrarily small or big objects. The dead leaves model, introduced by the Mathematical Morphology school, consists in the superposition of random closed sets, and enables to model the occlusion phenomena. When combined with specific sizes distributions for objects, they are known to provide adequate models for natural images. However this framework yields a small scales cutoff and a limit random field is introduced by letting this cutoff tend to zero. We first give a rigorous definition of the dead leaves model, and compute the probability that n compacts are included in distinct visible parts, which characterizes the model. Then, we derive our limit model and some of its property, and study its regularity.


title: A wavelet theory for local fields and related groups

abstract: Let G be a locally compact abelian group with compact open subgroup H. The best known example of such a group is G=Q_p, the field of p-adic rational numbers (as a group under addition), which has compact open subgroup H=Z_p, the ring of p-adic integers. Classical wavelet theories, which require a non-trivial discrete subgroup for translations, do not apply to G, which may not have such a subgroup. A wavelet theory is developed on G using coset representatives of a quotient of the dual group of G. Wavelet bases are constructed by means of an iterative method giving rise to so-called wavelet sets in the dual group.


title: Sharp Integrability for Brownian Motion in Parabola-shaped Regions

abstract: We study the sharp order of integrability of the exit position of Brownian motion from the planar domains ${\cal P}_\alpha = \{(x,y)\in \bR\times \bR\colon x> 0, |y| < Ax^{\alpha}\}$, $0<\alpha<1$. Together with some simple good-$\lambda$ type arguments, this implies the order of integrability for the exit time of these domains; a result first proved for $\alpha =1/2$ by Ba\~nuelos, DeBlassie and Smits \cite{ba} and for general $\alpha$ by Li \cite{li}. A sharp version of this result is also proved in higher dimensions.


title: Examples of wavelets for local fields

abstract: Using the wavelet theory introduced by the author and J. Benedetto, we present examples of wavelets on p-adic fields and other locally compact abelian groups with compact open subgroups. We observe that in this setting, the Haar and Shannon wavelets (which are at opposite extremes over the real numbers) coincide and are localized both in time and in frequency. We also study the behavior of the translation operators required in the theory.


title: Nesting maps of Grassmannians

abstract: Let F be a field and i < j be integers between 1 and n. A map of Grassmannians f : Gr(i, F^n) --> Gr(j, F^n) is called nesting, if l is contained in f(l) for every l in Gr(i, F^n). We show that there are no continuous nesting maps over C and no algebraic nesting maps over any algebraically closed field F, except for a few obvious ones. The continuous case is due to Stong and Grover-Homer-Stong; the algebraic case in characteristic zero can also be deduced from their results. In this paper we give new proofs that work in arbitrary characteristic. As a corollary, we give a description of the algebraic subbundles of the tangent bundle to the projective space P^n over F. Another application can be found in a recent paper math.AC/0306126 of George Bergman.


title: The Wess-Zumino-Witten-Novikov theory, Knizhnik-Zamolodchikov equations, and Krichever-Novikov algebras, II

abstract: This paper continues the same-named article, Part I (math.QA/9812083). We give a global operator approach to the WZWN theory for compact Riemann surfaces of an arbitrary genus g with marked points. Globality means here that we use Krichever-Novikov algebras of gauge and conformal symmetries (i.e. algebras of global symmetries) instead of loop and Virasoro algebras (which are local in this context). The elements of this global approach are described in Part I. In the present paper we give the construction of conformal blocks and the projective flat connection on the bundle constituted by them.


title: A short constructive proof of Jordan's decomposition theorem

abstract: Although there are many simple proofs of Jordan's decomposition theorem in the literature (see [1], the references mentioned there, and [2]), our proof seems to be even more elementary. In fact, all we need is the theorem on the dimensions of rang and kernel and the existence of eigenvalues of a linear transformation on a nontrivial finite dimensional complex vector space.


title: Measures of $\e$-complexity

abstract: We study some measures which are related to the notion of the $\e$-complexity. We prove that measure of $\e$-complexity defined on the base of the notion of $\e$-separability is equivalent to the dual measure that is defined through $\e$-nets. Keywords: Complexity, Separability, Bernoulli measure


title: Deviations from the Circular Law

abstract: Consider Ginibre's ensemble of $N \times N$ non-Hermitian random matrices in which all entries are independent complex Gaussians of mean zero and variance $\frac{1}{N}$. As $N \uparrow \infty$ the normalized counting measure of the eigenvalues converges to the uniform measure on the unit disk in the complex plane. In this note we describe fluctuations about this {\em Circular Law}. First we obtain finite $N$ formulas for the covariance of certain linear statistics of the eigenvalues. Asymptotics of these objects coupled with a theorem of Costin and Lebowitz then result in central limit theorems for a variety of these statistics.


title: On the classification of simple approximately subhomogeneous C*-algebras not necessarily of real rank zero

abstract: A classification is given of certain separable nuclear C*-algebras not necessarily of real rank zero, namely the class of simple C*-algebras which are inductive limits of continuous-trace C*-algebras whose building blocks have their spectrum homeomorphic to the interval [0,1] or to a finite disjoint union of closed intervals. In particular, a classification of those stably AI algebras which are inductive limits of hereditary sub-C*-algebras of interval algebras is obtained. Also, the range of the invariant is calculated.


title: Hyperk\"ahler Nahm transform

abstract: Given two hyperk\"ahler manifolds $M$ and $N$ and a quaternionic instanton on their product, a hyperk\"ahler Nahm transform can be defined, which maps quaternionic instantons on $M$ to quaternionic instantons on $N$. This construction includes the case of Nahm transform for periodic instantons on $\bR^4$, the Fourier-Mukai transform for instantons on K3 surfaces, as well as the Nahm transform for ALE instantons.


title: Continuous Control and the Algebraic L-theory Assembly Map

abstract: In this work, the assembly map in L-theory for the family of finite subgroups is proven to be a split injection for a class of groups. Groups in this class, including virtually polycyclic groups, have universal spaces that satisfy certain geometric conditions. The proof follows the method developed by Carlsson-Pedersen to split the assembly map in the case of torsion free groups. Here, the continuously controlled techniques and results are extended to handle groups with torsion.


title: Split Injectivity of the Baum-Connes Assembly Map

abstract: In this work, the continuously controlled techniques developed by Carlsson and Pedersen are used to prove that the Baum-Connes map is a split injection for groups satisfying certain geometric conditions.


title: On some mean matrix inequalities of dynamical interest

abstract: Let A be an n by n matrix with determinant 1. We show that for all n > 2 there exist dimensional strictly positive constants C_n such that the average over the orthogonal group of log rho(A X) d X > C_n log ||A||, where ||A|| denotes the operator norm of A (which equals the largest singular value of A), rho denotes the spectral radius, and the integral is with respect to the Haar measure on O_n The same result (with essentially the same proof) holds for the unitary group U_n in place of the orthogonal group. The result does not hold in dimension 2. We also give a simple proof that the average value over the unit sphere of log ||A u|| is nonnegative, and vanishes only when A is orthogonal.


title: Galois actions on Q-curves and Winding Quotients

abstract: We prove two "large images" results for the Galois representations attached to a degree $d$ Q-curve $E$ over a quadratic field $K$: if $K$ is arbitrary, we prove maximality of the image for every prime $p >13$ not dividing $d$, provided that $d$ is divisible by $q$ (but $d \neq q$) with $q=2$ or 3 or 5 or 7 or 13. If $K$ is real we prove maximality of the image for every odd prime $p$ not dividing $d D$, where $D = \disc(K)$, provided that $E$ is a semistable Q-curve. In both cases we make the (standard) assumptions that $E$ does not have potentially good reduction at all primes $p \nmid 6$ and that $d$ is square-free.


title: Properties of the Delaunay Triangulation

abstract: We defined several functionals on the set of all triangulations of the finite system of points in d-space achieving global minimum on the Delaunay triangulation (DT). We consider a so called "parabolic" functional and prove it attains its minimum on DT in all dimensions. As the second example we treat "mean radius" functional (mean of circumcircle radii of triangles) for planar triangulations. As the third example we treat a so called "harmonic" functional. For a triangle this functional equals the sum of squares of sides over area. Finally, we consider a discrete analog of the Dirichlet functional. DT is optimal for these functionals only in dimension two.


title: Entire curves avoiding given sets in C^n

abstract: Let $F\subset\Bbb C^n$ be a proper closed subset of $\Bbb C^n$ and $A\subset\Bbb C^n\setminus F$ at most countable ($n\geq 2$). We give conditions of $F$ and $A$, under which there exists a holomorphic immersion (or a proper holomorphic embedding) $\phi:\Bbb C\to\Bbb C^n$ with $A\subset\phi(\Bbb C)\subset\Bbb C^n\setminus F$.


title: Construction of the Voronoi Diagram and Secondary Polytope

abstract: A set S of n points in general position in R^d defines the unique Voronoi diagram of S. Its dual tessellation is the Delaunay triangulation (DT) of S. In this paper we consider the parabolic functional on the set of triangulations of S and prove that it attains its minimum at DT in all dimensions. The Delaunay triangulation of S is corresponding to a vertex of the secondary polytope of S. We proposed an algorithm for DT's construction, where the parabolic functional and the secondary polytope are used. Finally, we considered a discrete analog of the Dirichlet functional. DT is optimal for this functional only in two dimensions.


title: DW(6,n), n>2, has no ovoid: A single proof

abstract: An ovoid of a dual polar space is a point set meeting every line in exactly one point. For the symplectic dual polar space DW(6,q), Cooperstein and Pasini have recently proved no ovoid exists if q is odd. Earlier, Shult has proved the same for even q. In this paper, we prove the non-existence of ovoids of DW(6,q) independently from the parity of q.


title: Interior spikes of a singularly perturbed Neumann problem with potentials

abstract: In this paper we prove that a singularly perturbed Neumann problem with potentials admits the existence of interior spikes concentrating in maxima and minima of an auxiliary function depending only on the potentials.


title: Rational cohomology of the moduli space of genus 4 curves

abstract: We prove that the Poincare' polynomial of the moduli space of smooth genus 4 curves is 1+t^2+t^4+t^5. We show this by producing a stratification of the space, such that all strata are geometric quotients of complements of discriminants.


title: Nonparametric Estimation in the Model of Moving Average

abstract: The subject of robust estimation in time series is widely discussed in literature. One of the approaches is to use GM-estimation. This method incorporates a broad class of nonparametric estimators which under suitable conditions includes estimators robust to outliers in data. For the linear models the sensitivity of GM-estimators to outliers have been studied in the work by Martin and Yohai [5], and influence functionals for this estimator were derived. In this paper we follow this direction and examine the asymptotical properties of the class of M-estimators, which is narrower than the class of GM-estimators, but gives more insight into asymptotical properties of such estimators. This paper gives an asymptotic expansion of the residual weighted empirical process, which allows to prove asymptotic normality of these estimators in case of non-smooth objective functions. For simplicity MA(1) model is considered, but it will be shown that even in this case mathematical techniques used to derive these asymptotic properties appear to be rather complicated.However, the approach used in this paper could be applied to GM-estimators and to more realistic models.


title: Commutation relations among generic quantum minors in $\O_q(M_n(k))$

abstract: In this paper we compute explicit formulas for the commutation relations among quantum minors in the quantum matrix bialgebra $\cO_q(M_n(k))$.


title: On Peixoto's Conjecture for Flows on Non-orientable 2-Manifolds

abstract: Let M be a non-orientable compact 2-manifold of genus 4. Then there exists a family of quasi-minimal, Kupka-Smale smooth vector fields X_r in M, depending smoothly on 0<=r<e, such that, for some flow box V in M of X_0, and for all 0<=r,v<e, (1) X_r restricted to V is a flow box; (2) If r is not equal to v, X_r is a C^\infty--twist perturbation of X_v localized in V; (3) X_r and X_v are topologically equivalent.


title: Gromov-Witten theory and Donaldson-Thomas theory, I

abstract: We conjecture an equivalence between the Gromov-Witten theory of 3-folds and the holomorphic Chern-Simons theory of Donaldson-Thomas. For Calabi-Yau 3-folds, the equivalence is defined by the change of variables, exp(iu)=-q, where u is the genus parameter of GW theory and q is charge parameter of DT theory. The conjecture is proven for local Calabi-Yau toric surfaces.


title: On Using Expansions to the Base of -2

abstract: This short note investigates the effects of using expansions to the base of -2. The main applications we have in mind are cryptographic protocols, where the crucial operation is computation of scalar multiples. For the recently proposed groups arising from Picard curves this leads to a saving of at least 7% for the computation of an m-fold. For more general non-hyperelliptic genus 3 curves we expect a larger speed-up.


title: A Non-commutative Monotone Selection Principle

abstract: We give an elementary proof of a monotone selection principle which allows to pass from increasing nets to increasing sequences in the Hermitian part of a $\sigma$-finite von Neumann algebra. This is to be seen as a ``monotone version'' of first countability.


title: An Analysis of a Circadian Model Using The Small-Gain Approach to Monotone Systems

abstract: In this note, we show how certain properties of Goldbeter's 1995 model for circadian oscillations can be proved mathematically, using techniques from the recently developed theory of monotone systems with inputs and outputs. The theory establishes global asymptotic stability, and in particular no oscillations, if the rate of transcription is somewhat smaller than that assumed by Goldbeter. This stability persists even under arbitrary delays in the feedback loop.


title: Constrained deepest descent in the 2-Wasserstein metric

abstract: We study several constrained variational problem in the 2-Wasserstein metric for which the set of probability densities satisfying the constraint is not closed. For example, given a probability density $F_0$ on $\R^d$ and a time-step $h>0$, we seek to minimize $I(F) = hS(F) + W_2^2(F_0,F)$ over all of the probability densities $F$ that have the same mean and variance as $F_0$, where $S(F)$ is the entropy of $F$. We prove existence of minimizers. We also analyze the induced geometry of the set of densities satisfying the constraint on the variance and means, and we determine all of the geodesics on it. From this, we determine a criterion for convexity of functionals in the induced geometry. It turns out, for example, that the entropy is uniformly strictly convex on the constrained manifold, though not uniformly convex without the constraint. The problems solved here arose in a study of a variational approach to constructing and studying solutions of the nonlinear kinetic Fokker-Planck equation, which is briefly described here and fully developed in a companion paper.


title: Rate of convergence of geometric symmetrizations

abstract: It is a classical fact, that given an arbitrary n-dimensional convex body, there exists an appropriate sequence of Minkowski symmetrizations (or Steiner symmetrizations), that converges in Hausdorff metric to a Euclidean ball. Here we provide quantitative estimates regarding this convergence, for both Minkowski and Steiner symmetrizations. Our estimates are polynomial in the dimension and in the logarithm of the desired distance to a Euclidean ball, improving previously known exponential estimates. Inspired by a method of Diaconis, our technique involves spherical harmonics. We also make use of an earlier result by the author regarding ``isomorphic Minkowski symmetrization''.


title: On John-Type Ellipsoids

abstract: Given an arbitrary convex symmetric n-dimensional body, we construct a natural and non-trivial continuous map which associates ellipsoids to ellipsoids, such that the Lowner-John ellipsoid of the body is its unique fixed point. A new characterization of the Lowner-John ellipsoid is obtained, and we also gain information regarding the contact points of inscribed ellipsoids with the body.


title: Dynamical forcing of circular groups

abstract: In this paper we introduce and study the notion of dynamical forcing. Basically, we develop a toolkit of techniques to produce finitely presented groups which can only act on the circle with certain prescribed dynamical properties. As an application, we show that the set X of rotation numbers which can be forced by finitely presented groups is an infinitely generated Q-module, containing countably infinitely many algebraically independent transcendental numbers. We also show that the set of subsets of the circle which are the set of rotation numbers of an element g of a group G under all actions of G on a circle, as G varies over all countable groups, are exactly the set of closed subsets of the circle which contain 0, and are invariant under the involution which interchanges x and -x. As another application, we construct a finitely generated group which acts faithfully on the circle, but which does not admit any faithful C^1 action, thus answering in the negative a question of John Franks.


title: On generalised Kneser colourings

abstract: There are two possible definitions of the "s-disjoint r-uniform Kneser hypergraph'' of a set system T: The hyperedges are either r-sets or r-multisets. We point out that Ziegler's (combinatorial) lower bound on the chromatic number of an s-disjoint r-uniform Kneser hypergraph only holds if we consider r-multisets as hyperedges. We give a new proof of his result and show by example that a similar result does not hold if one considers r-sets as hyperedges. In case of r-sets as hyperedges and $s \geq 2$ the only known lower bounds are obtained from topological invariants of associated simplicial complexes if r is a prime or the power of prime. This is also true for arbitrary r-uniform hypergraphs with r-sets or r-multisets as hyperedges as long as r is a power of a prime.


title: Tropical Halfspaces

abstract: As a new concept tropical halfspaces are introduced to the (linear algebraic) geometry of the tropical semiring (R,min,+). This yields exterior descriptions of the tropical polytopes that were recently studied by Develin and Sturmfels in a variety of contexts. The key tool to the understanding is a newly defined sign of the tropical determinant, which shares remarkably many properties with the ordinary sign of the determinant of a matrix. The methods are used to obtain an optimal tropical convex hull algorithm in two dimensions.


title: The Cayley trick and triangulations of products of simplices

abstract: We use the Cayley Trick to study polyhedral subdivisions of the product of two simplices. For arbitrary (fixed) $l$, we show that the numbers of regular and non-regular triangulations of $\Delta^l\times\Delta^k$ grow, respectively, as $k^{\Theta(k)}$ and $2^{\Omega(k^2)}$. For the special case of $l=2$, we relate triangulations to certain class of lozenge tilings. This allows us to compute the exact number of triangulations up to $k=15$, show that the number grows as $e^{\beta k^2/2 + o(k^2)}$ where $\beta\simeq 0.32309594$ and prove that the set of all triangulations is connected under geometric bistellar flips. The latter has as a corollary that the toric Hilbert scheme of the determinantal ideal of $2\times 2$ minors of a $3\times k$ matrix is connected, for every $k$. We include ``Cayley Trick pictures'' of all the triangulations of $\Delta^2\times \Delta^2$ and $\Delta^2\times \Delta^3$, as well as one non-regular triangulation of $\Delta^2\times \Delta^5$ and one of $\Delta^3\times \Delta^3$.


title: Writing representations over proper sub-division rings

abstract: Let E be a division ring and G a finite group of automorphisms of E whose elements are distinct modulo inner automorphisms of E. Given a representation \rho: B-> GL(d,E) of an F-algebra B, we give necessary and sufficient conditions for \rho to be {\it writable} over F=E^G, i.e. whether or not there exists a matrix A in GL(d,E) that conjugates \rho(B) into GL(d,F). We give an algorithm for constructing an A, or proving that no A exists. The case of particular interest to us is when E is a field, and \rho is absolutely irreducible. The algorithm relies on an explicit formula for A, and a generalization of Hilbert's Theorem 90 (Theorem~3) that arises in Galois cohomology. The algorithm has applications to the construction of absolutely irreducible group representations (especially for solvable groups), and to the recognition of one of the classes in Aschbacher's matrix group classification scheme.


title: Calculation of Heegard Floer homology for a class of Brieskorn spheres

abstract: In this paper we calculate Ozsv\'ath-Szab\'o Floer homology group HF+ for Brieskorn spheres \Sigma(2,2n + 1,4n + 3).


title: Numerical criteria for divisors on $\M_{g}$ to be ample

abstract: The moduli space $\M_{g,n}$ of $n-$pointed stable curves of genus $g$ is stratified by the topological type of the curves being parametrized: the closure of the locus of curves with $k$ nodes has codimension $k$. The one dimensional components of this stratification are smooth rational curves (whose numerical equivalence classes are) called F-curves. The F-conjecture asserts that a divisor on $\M_{g,n}$ is ample if and only if it positively intersects the $F-$curves. In this paper the F-conjecture on $\M_{g,n}$ is reduced to showing that certain divisors in $\M_{0,N}$ for $N \leq g+n$ are equivalent to the sum of the canonical divisor plus an effective divisor supported on the boundary. As an application of the reduction, numerical criteria are given which if satisfied by a divisor $D$ on $\M_g$, show that $D$ is ample. Additionally, an algorithm is described to check that a given divisor is ample. Using a computer program called Nef Wizard, written by Daniel Krashen (http://www.yale.edu/users/dkrashen/nefwiz), one can use the criteria and the algorithm to verify the conjecture for low genus. This is done on $\M_g$ for $g \le 24$, more than doubling the known cases of the conjecture and showing it is true for the first genus such that $\M_g$ is known to be of general type.


title: The Hochschild Class of the Chern Character For Semifinite Spectral Triples

abstract: We provide a proof of Connes' formula for a representative of the Hochschild class of the Chern character for (p,\infty)-summable spectral triples. Our proof is valid for all semifinite von Neumann algebras, and all integral p\geq 1. We employ the minimum possible hypotheses on the spectral triples.


title: Non-contractible periodic orbits of Hamiltonian flows on twisted cotangent bundles

abstract: For many classes of symplectic manifolds, the Hamiltonian flow of a function with sufficiently large variation must have a fast periodic orbit. This principle is the base of the notion of Hofer-Zehnder capacity and some other symplectic invariants and leads to numerous results concerning existence of periodic orbits of Hamiltonian flows. Along these lines, we show that given a negatively curved manifold M, a neigbhourhood U of M in the cotangent bundle, a sufficiently small magnetic field and a non-trivial free homotopy class of loops, then the magnetic flow of a Hamiltonian with big enough variation has a one-periodic orbit in that class. As a consequence, we obtain estimates for the relative Hofer-Zehnder capacity and the Biran-Polterovich-Salamon capacity of a neighbourhood of M.


title: Connection Formulae for Asymptotics of Solutions of the Degenerate Third Painlev\'{e} Equation. I

abstract: The degenerate third Painlev\'{e} equation, $u^{\prime \prime} = \frac{(u^{\prime})^{2}}{u} - \frac{u^{\prime}}{\tau} + \frac{1}{\tau}(-8 \epsilon u^{2} + 2ab) + \frac{b^{2}}{u}$, where $\epsilon,b \in \mathbb{R}$, and $a \in \mathbb{C}$, and the associated tau-function are studied via the Isomonodromy Deformation Method. Connection formulae for asymptotics of the general as $\tau \to \pm 0$ and $\pm i0$ solution and general regular as $\tau \to \pm \infty$ and $\pm i \infty$ solution are obtained.


title: Factorizable quasi-Hopf algebras. Applications

abstract: We define the notion of factorizable quasi-Hopf algebra by using a categorical point of view. We show that the Drinfeld double $D(H)$ of any finite dimensional quasi-Hopf algebra $H$ is factorizable, and we characterize $D(H)$ when $H$ itself is factorizable. Finally, we prove that any finite dimensional factorizable quasi-Hopf algebra is unimodular. In particular, we obtain that the Drinfeld double $D(H)$ is a unimodular quasi-Hopf algebra.


title: Quelques resultats de non-existence pour l'equation des surfaces minimales

abstract: We prove some results of non-existence for solutions of the minimal surfaces equation on domain that are asymptoticaly equal to an angular sector.


title: Effective behavior of multiple linear systems

abstract: We give optimal effective bounds for some well-known theorems on complex algebraic surfaces, which are respectively due to Serre, Zariski (1962), Castelnuovo (1897), Artin (1962, 1966), Benveniste (1984), Cutkosky and Srinivas (1993). These theorems are about Riemann-Roch problem (on the behavior of the function dim |nD| of n), vanishing theorems, base-point freeness and k-very ampleness of the linear systems |nD| and |nA+L|, where D is effective, A is nef and big and L is arbitrary. As a consequence, we obtain an effective version of Matsusaka's big theorem, and we give also examples to show that our bound is the best possible one.


title: Le cocycle du verger

abstract: We define and prove uniqueness of a natural homomorphism (called the Orchard morphism) from some groups associated naturally to a finite set $E$ to the group ${\mathcal E}(E)$ of two-partitions of $E$ representing equivalence relations having at most two classes on $E$. As an application, given a finite generic configuration ${\mathcal C}\subset {\mathbf R}^d$, we exhibit a natural partition of ${\mathcal C}$ in two sets.


title: The Plateau problem at infinity for horizontal ends and genus 1

abstract: In this paper, we study Alexandrov-embedded r-noids with genus 1 and horizontal ends. Such minimal surfaces are of two types and we build several examples of the first one. We prove that if a polygon bounds an immersed polygonal disk, it is the flux polygon of an r-noid with genus 1 of the first type. We also study the case of polygons which are invariant under a rotation. The construction of these surfaces is based on the resolution of the Dirichlet problem for the minimal surface equation on an unbounded domain.


title: A criterion for Talagrand's quadratic transportation cost inequality

abstract: We show that the quadratic transportation cost inequality $T_2$ is equivalent to both a Poincar\'e inequality and a strong form of the Gaussian concentration property. The main ingredient in the proof is a new family of inequalities, called modified quadratic transportation cost inequalities in the spirit of the modified logarithmic-Sobolev inequalities by Bobkov and Ledoux \cite{BL97}, that are shown to hold as soon as a Poincar\'e inequality is satisfied.


title: Constants of formal derivatives of non-associative algebras, Taylor expansions and applications

abstract: We study unitary multigraded non-associative algebras R generated by an ordered set X over a field K of characteristic 0 such that the mappings d_k: x_l->delta_{kl}, x_k,x_l in X, can be extended to derivations of R. The class of these algebras is quite large and includes free associative and Jordan algebras, absolutely free (non-associative) algebras, relatively free algebras in varieties of algebras, universal enveloping algebras of multigraded Lie algebras, etc. There are Taylor-like formulas for R: Each element of R can be uniquely presented as a sum of elements of the form (...(r_0 x_{j_1})...x_{j_{n-1}}) x_{j_n}, where r_0 is a constant and j_1 <= ...<= j_n. We present methods for the description of the algebra of constants, including an approach via representation theory of the general linear or symmetric groups. As an application of the Taylor expansion for non-associative algebras, we consider the solutions of ordinary linear differential equations with constant coefficients from the base field.


title: On the Curvature of the Central Path of Linear Programming Theory

abstract: We prove a linear bound on the average total curvature of the central path of linear programming theory in terms on the number of independent variables of the primal problem, and independent on the number of constraints.


title: Noncommutative Hypergeometry

abstract: A certain special function of the generalized hypergeometric variety is shown to fulfill a host of useful noncommutative identities.


title: On the construction of certain 6-dimensional symplectic manifolds with Hamiltonian circle actions

abstract: Let $(M, \omega)$ be a connected, compact 6-dimensional symplectic manifold equipped with a semi-free Hamiltonian $S^1$ action such that the fixed point set consists of isolated points or surfaces. Assume dim $H^2(M)<3$, in \cite{L}, we defined a certain invariant of such spaces which consists of fixed point data and twist type, and we divided the possible values of these invariants into six ``types''. In this paper, we construct such manifolds with these ``types''. As a consequence, we have a precise list of the values of these invariants.


title: A Splitting Lemma

abstract: In this paper, we study the relations between the numerical structure of the optimal solutions of a convex programming problem defined on the edge set of a simple graph and the stability number (i.e. the maximum size of a subset of pairwise non-adjacent vertices) of the graph. Our analysis shows that the stability number of every graph G can be decomposed in the sum of the stability number of a subgraph containing a perfect 2-matching (i.e. a system of vertex-disjoint odd-cycles and edges covering the vertex-set) plus a term computable in polynomial time. As a consequence, it is possible to bound from above and below the stability number in terms of the matching number of a subgraph having a perfect 2-matching and other quantities computable in polynomial time. Our results are closely related to those by Lorentzen, Balinsky, Spielberg, and Pulleyblank on the linear relaxation of the vertex-cover problem. Moreover, The convex programming problem involved has important applications in information theory and extremal set theory where, as a graph capacity formula, has been used to answer a longstanding open question about qualitatively independet sets in the sense of Renyi (L. Gargano, J. K{\"o}rner, and U. Vaccaro, "Sperner capacities", Graphs and combinatorics, 9:31-46, 1993).


title: Finite flat and projective dimension

abstract: Over a right-noetherian algebra admitting a dualizing complex, any left-module with finite flat dimension also has finite projective dimension.


title: The homotopy category of complexes of projective modules

abstract: The homotopy category of complexes of projective left-modules over any reasonably nice ring is proved to be a compactly generated triangulated category, and a duality is given between its subcategory of compact objects and the finite derived category of right-modules.


title: Limit C*-algebras associated with an automorphism

abstract: We present and study C*-algebras generated by "periodic weighted creation operators" on the Fock space associated with an automorphism $\alpha$ on a C*-algebra $A$. These algebras can be viewed as generalized Bunce-Deddens algebras associated with the automorphism and can be written as a certain direct limit. We prove a crossed product presentation for such an algebra and find a necessary and sufficient condition for it to be simple. In the case where the automorphism is induced by an irrational rotation (on $C(\mathbb{T})$) we compute the K-theory groups and obtain a complete classification of these algebras.


title: A bifurcation result for semi-Riemannian trajectories of the Lorentz force equation

abstract: By decision of the first author, the paper will no longer be available.


title: On symplectic fillings

abstract: In this note we make several observations concerning symplectic fillings. In particular we show that a (strongly or weakly) semi-fillable contact structure is fillable and any filling embeds as a symplectic domain in a closed symplectic manifold. We also relate properties of the open book decomposition of a contact manifold to its possible fillings. These results are also useful in proving property P for knots [P Kronheimer and T Mrowka, Geometry and Topology, 8 (2004) 295-310, math.GT/0311489] and in showing the contact Heegaard Floer invariant of a fillable contact structure does not vanish [P Ozsvath and Z Szabo, Geometry and Topology, 8 (2004) 311-334, math.GT/0311496].


title: On the Parameters of Convolutional Codes with Cyclic Structure

abstract: In this paper convolutional codes with cyclic structure will be investigated. These codes can be understood as left principal ideals in a suitable skew-polynomial ring. It has been shown in [3] that only certain combinations of the parameters (field size, length, dimension, and Forney indices) can occur for cyclic codes. We will investigate whether all these combinations can indeed be realized by a suitable cyclic code and, if so, how to construct such a code. A complete characterization and construction will be given for minimal cyclic codes. It is derived from a detailed investigation of the units in the skew-polynomial ring.


title: A bivariate analogue to the composed product of polynomials

abstract: The concept of a composed product for univariate polynomials has been explored extensively by Brawley, Brown, Carlitz, Gao, Mills, et al. Starting with these fundamental ideas and utilizing fractional power series representation (in particular, the Puiseux expansion) of bivariate polynomials, we generalize the univariate results. We define a bivariate composed sum, composed multiplication, and composed product (based on function composition). Further, we investigate the algebraic structure of certain classes of bivariate polynomials under these operations. We also generalize a result of Brawley and Carlitz concerning the decomposition of polynomials into irreducibles.


title: SU(3)-instantons and $G_2, Spin(7)$-heterotic string solitons

abstract: Necessary and sufficient conditions to the existence of a hermitian connection with totally skew-symmetric torsion and holonomy contained in SU(3) are given. Non-compact solution to the supergravity-type I equations of motion with non-zero flux and non-constant dilaton is found in dimensions 6. Non-conformally flat non-compact solutions to the supergravity-type I equations of motion with non-zero flux and non-constant dilaton are found in dimensions 7 and 8. A Riemannian metric with holonomy contained in $G_2$ arises from our considerations and Hitchin's flow equations, which seems to be new. Compact examples of $SU(3), G_2$ and $Spin(7)$ instanton satisfying the anomaly cancellation conditions are presented.


title: Polar decomposition and Brion's theorem

abstract: In this note we point out the relation between Brion's formula for the lattice point generating function of a convex polytope in terms of the vertex cones [Brion1988] on the one hand, and the polar decomposition \`a la Lawrence/Varchenko [Lawrence1991, Varchenko1987] on the other. We then go on to prove a version of polar decomposition for non-simple polytopes.


title: Cocompact CAT(0) spaces are almost geodesically complete

abstract: We prove that, under certain mild conditions, every cocompact CAT(0) space is almost geodesically complete.


title: On small values of the Riemann zeta-function on the critical line and gaps between zeros

abstract: Small values of $|\zeta(1/2+it)|$ are investigated, using the value distribution results of A. Selberg. This gives an asymptotic formula for $\mu(\{0 < t \le T : |\zeta(1/2+it)| \le c\})$. Some related problems involving values of $|\zeta(1/2+it)|$ and gaps between the consecutive ordinates of zeros of $\zeta(s)$ are also discussed.


title: Eigenfunctions for partially rectangular billiards

abstract: In this note we further develop the idea of using a ``black box'' point of view (see our previous work) to study eigenfunctions for billiards which have rectangular components: they include the Bunimovich billiard, the Sinai billiard, and the recently popular pseudointegrable billiards


title: Gaussian free fields for mathematicians

abstract: The d-dimensional Gaussian free field (GFF), also called the (Euclidean bosonic) massless free field, is a d-dimensional-time analog of Brownian motion. Just as Brownian motion is the limit of the simple random walk (when time and space are appropriately scaled), the GFF is the limit of many incrementally varying random functions on d-dimensional grids. We present an overview of the GFF and some of the properties that are useful in light of recent connections between the GFF and the Schramm-Loewner evolution.


title: Relations in the tautological ring of $M_g$

abstract: Using a simple geometric argument, we obtain an infinite family of nontrivial relations in the tautological ring of $M_g$ (and in fact that of $M_{g,2}$). One immediate consequence of these relations is that the classes $\kappa_1,...,\kappa_{[g/3]}$ generate the tautological ring of $M_g$, which has been conjectured by Faber, and recently proven at the level of {\em cohomology} by Morita.


title: Ground State Incongruence In 2D Spin Glasses Revisited

abstract: A construction supporting a conjecture that different ground state pairs exist in the 2-dimensional Edwards-Anderson Ising spin glass is presented.


title: Specht Modules for Weyl Groups

abstract: Over fields of characteristic zero, there are well known construction of the irreducible representations and of irreducible modules, called Specht modules for the symmetric groups $S_{n}$ which are based on elegant combinatorial concepts connected with Young tableaux etc.(see, e.g.[10]). James [8] extended these ideas to construct irreducible representations and modules over arbitrary field. Al-Aamily, Morris and Peel [ 1 ] showed how this construction could be extended to deal with the Weyl groups of type $B_{n}$. In [11] the second author described a possible extension of James' work for Weyl groups in general, where Young tableaux are interpreted in terms of root systems. We now modify these results and give an alternative generalisation of James' work which is an improvement and extension of the original approach suggested by Morris.


title: Specht Modules for Finite Reflection Groups

abstract: Over fields of characteristic zero, there are well known constructions of the irreducible representations, due to A Young, and of irreducible modules, called Specht modules, due to W Specht, for the symmetric groups $S_{n}$ which are based on elegant combinatorial concepts connected with Young tableaux etc.(see, e.g.{\bf [13]}). James {\bf [12]} extended these ideas to construct irreducible representations and modules over arbitrary field. Al-Aamily, Morris and Peel {\bf [1]} showed how this construction could be extended cover the Weyl groups of type $B_{n}$. In {\bf [14]} Morris described a possible extension of James' work for Weyl groups in general. Later, the present author and Morris {\bf [8]} give an alternative generalisation of James' work which is an extended improvement and extension of the original approach suggested by Morris. We now give a possible extension of James' work for finite reflection groups in general.


title: A Tauberian Theorem for Laplace Transforms with Pseudofunction Boundary Behavior

abstract: The prime number theorem provided the chief impulse for complex Tauberian theory, in which the boundary behavior of a transform in the complex plane plays a crucial role. We consider Laplace transforms of bounded functions. Our Tauberian theorem does not allow first-order poles on the imaginary axis, but any milder singularities, characterized by pseudofunction boundary behavior, are permissible. In this context we obtain a useful Tauberian theorem by exploiting Newman's `contour method'.


title: Submodules of Specht Modules for Weyl Groups

abstract: The construction of all irreducible modules of the symmetric groups over an arbitrary field which reduce to Specht modules in the case of fields of characteristic zero is given by G.D.James. Hal{\i}c{\i}o\u{g}lu and Morris describe a possible extension of James' work for Weyl groups in general, where Young tableaux are interpreted in terms of root systems. In this paper we show how to construct submodules of Specht modules for Weyl groups.


title: A natural construction of Borcherds' Fake Baby Monster Lie Algebra

abstract: We use a Z_2-orbifold of the vertex operator algebra associated to the Niemeier lattice with root lattice A_3^8 and the no-ghost theorem of string theory to construct a generalized Kac-Moody algebra. Borcherds' theory of automorphic products allows us to determine the simple roots and identify the algebra with the fake baby monster Lie algebra.


title: Deformation of integral coisotropic submanifolds in symplectic manifolds

abstract: In this paper we prove the unobstructedness of the deformation of integral coisotropic submanifolds in symplectic manifolds, which can be viewed as a natural generalization of results of Weinstein for Lagrangian submanifolds.


title: Radiation Fields, Scattering and Inverse Scattering on Asymptotically Hyperbolic Manifolds

abstract: In analogy with radiation fields for asymptotically Euclidean manifolds, introduced by F.G. Friedlander, we define radiation fields for asymptotically hyperbolic manifolds. We use them to give a translation representation of the wave group and to obtain the scattering matrix for such manifolds. Furthermore, we prove a support theorem for the radiation fields which generalizes to this setting the well known support theorem of Helgason and Lax and Phillips for the horocyclic Radon transform. This is used to show that the manifold and the metric, up to invariants, are determined by the scattering matrix at all energies.


title: Topological Quivers

abstract: Topological quivers are generalizations of directed graphs in which the sets of vertices and edges are locally compact Hausdorff spaces. Associated to such a topological quiver Q is a C*-correspondence, and from this correspondence one may construct a Cuntz-Pimsner algebra C*(Q). In this paper we develop the general theory of topological quiver C*-algebras and show how certain C*-algebras found in the literature may be viewed from this general perspective. In particular, we show that C*-algebras of topological quivers generalize the well-studied class of graph C*-algebras and in analogy with that theory much of the operator algebra structure of C*(Q) can be determined from Q. We also show that many fundamental results from the theory of graph C*-algebras have natural analogues in the context of topological quivers (often with more involved proofs). These include the Gauge-Invariant Uniqueness theorem, the Cuntz-Krieger Uniqueness theorem, descriptions of the ideal structure, and conditions for simplicity.


title: Asymptotics for the Eigenvalues of the Harmonic Oscillator with a Quasi-Periodic Perturbation

abstract: We consider operators of the form H+V where H is the one-dimensional harmonic oscillator and V is a zero-order pseudo-differential operator which is quasi-periodic in an appropriate sense (one can take V to be multiplication by a periodic function for example). It is shown that the eigenvalues of H+V have asymptotics of the form \lambda_n(H+V)=\lambda_n(H)+W(\sqrt n)n^{-1/4}+O(n^{-1/2}\ln(n)) as n\to+\infty, where W is a quasi-periodic function which can be defined explicitly in terms of V.


title: Orbifold compactness for spaces of Riemannian metrics and applications

abstract: This work proves certain general orbifold compactness results for spaces of Riemannian metrics, generalizing earlier results along these lines for Einstein metrics or metrics with bounded Ricci curvature. This is then applied to prove such compactness for spaces of Bach-flat (for example half-conformally flat) metrics on 4-manifolds, and related results for metrics which are critical points of other natural Riemannian functionals on the space of metrics.


title: Flag vectors of multiplicial polytopes

abstract: Bisztriczky introduced the multiplex as a generalization of the simplex. A polytope is multiplicial if all its faces are multiplexes. In this paper it is proved that the flag vectors of multiplicial polytopes depend only on their face vectors. A special class of multiplicial polytopes, also discovered by Bisztriczky, is comprised of the ordinary polytopes. These are a natural generalization of the cyclic polytopes. The flag vectors of ordinary polytopes are determined. This is used to give a surprisingly simple formula for the h-vector of the ordinary d-polytope with n+1 vertices and characteristic k: h_i=binom{k-d+i}{i}+(n-k)binom{k-d+i-1}{i-1}, for i at most d/2. In addition, a construction is given for 4-dimensional multiplicial polytopes having two-thirds of their vertices on a single facet, answering a question of Bisztriczky.


title: Every smooth p-adic Lie group admits a compatible analytic structure

abstract: We show that every finite-dimensional p-adic Lie group of class C^k admits a C^k-compatible analytic Lie group structure.


title: On the rank of a tropical matrix

abstract: This is a foundational paper in tropical linear algebra, which is linear algebra over the min-plus semiring. We introduce and compare three natural definitions of the rank of a matrix, called the Barvinok rank, the Kapranov rank and the tropical rank. We demonstrate how these notions arise naturally in polyhedral and algebraic geometry, and we show that they differ in general. Realizability of matroids plays a crucial role here. Connections to optimization are also discussed.


title: Motivic integration over Deligne-Mumford stacks

abstract: The aim of this article is to develop the theory of motivic integration over Deligne-Mumford stacks and to apply it to the birational geometry of stacks.


title: Very smooth points of spaces of operators

abstract: In this paper we study very smooth points of Banach spaces with special emphasis on spaces of operators. We show that when the space of compact operators is an $M$-ideal in the space of bounded operators, a very smooth operator $T$ attains its norm at a unique vector $x$ (up to a constant multiple) and $T(x)$ is a very smooth point of the range space. We show that if for every equivalent norm on a Banach space, the dual unit ball has a very smooth point then the space has the Radon--Nikod\'{y}m property. We give an example of a smooth Banach space without any very smooth points.


title: The fourth moment of the zeta-function

abstract: An overview of results and problems concerning the asymptotic formula for $\int_0^T|\zeta(1/2+it)|^4dt$ is given, together with a discussion of modern methods from spectral theory used in recent work on this subject.


title: The Picard groupoid in deformation quantization

abstract: In this letter we give an overview on recent developments in representation theory of star product algebras. In particular, we relate the *-representation theory of *-algebras over rings C = R(i) with an ordered ring R and i^2 = -1 to the *-representation theory of *-algebras over \mathbb{C} and point out some properties of the Picard groupoid corresponding to the notion of strong Morita equivalence. Some Morita invariants are interpreted as arising from actions of this groupoid.


title: Parametrix for a hyperbolic initial value problem with dissipation in some region

abstract: We consider the initial value problem for a pseudodifferential equation with first order hyperbolic part, and an order $\gamma > 0$ dissipative term. Under an assumption, depending on an integer parameter $L \geq 2$ such that $2 \gamma < L$, we construct for this initial value problem a parametrix that is a Fourier integral operator of type $\rho = 1 - \gamma/L$. The assumption implies that where the principal symbol of the dissipative term is zero, the terms of order up to $L-1$ in its Taylor series also vanish.


title: Order units in a C*-algebra

abstract: Order unit property of a positive element in a $C^{*}$-algebra is defined. It is proved that precisely projections satisfy this order theoretic property. This way, unital hereditary $C^{*}$-subalgebras of a $C^{*}$-algebra are characterized.


title: Questions concerning matrix algebras and invariance of spectrum

abstract: Let $A$ and $B$ be unital Banach algebras with $A$ a subalgebra of $B$. Denote the algebra of all $n\times n$ matrices with entries from $A$ by $M_{n}(A)$. In this paper we prove some results concerning the open question: If $A$ is inverse closed in $B$, then is $M_{n}(A)$ inverse closed in $M_{n}(B)$? We also study related questions in the setting where $A$ is a symmetric Banach *-algebra.


title: When is f(x_1, x_2, . . ., x_n)=u_1(x_1)+u_2(x_2)+ . . . +u_n(x_n)?

abstract: We discuss subsets $S$ of ${\mathbb{R}}^n$ such that every real valued function $f$ on $S$ is of the form {equation*} f(x_1,x_2,...,x_n) = u_1(x_1) + u_2(x_2) + ... + u_n(x_n), {equation*} and the related concepts and situations in analysis.


title: Some approximation theorems

abstract: The general theme of this note is illustrated by the following theorem: Theorem 1. Suppose $K$ is a compact set in the complex plane and 0 belongs to the boundary $\partial K$. Let ${\cal A}(K)$ denote the space of all functions $f$ on $K$ such that $f$ is holomorphic in a neighborhood of $K$ and $f(0)=0$. Also for any given positive integer $m$, let ${\cal A}(m,K)$ denote the space of all $f$ such that $f$ is holomorphic in a neighborhood of $K$ and $f(0)=f^{\prime}(0)=...=f^{(m)}(0)=0$. Then ${\cal A}(m,K)$ is dense in ${\cal A}(K)$ under the supremum norm on $K$ provided that there exists a sector $W=\{r\hbox{\rm e}^{i\theta}; 0\leq r\leq\delta,\alpha\leq\theta\leq\beta\}$ such that $W\cap K=\{0\}$. (This is the well-known Poincare's external cone condition). We present various generalizations of this result in the context of higher dimensions replacing holomorphic with harmonic.


title: The homology of Heisenberg Lie algebras over fields of characteristic two

abstract: The generating function of the Betti numbers of the Heisenberg Lie algebra over a field of characteristic 2 is calculated using discrete Morse theory.


title: A Bilateral version of Shannon-Breiman-McMillan Theorem

abstract: We give a new version of the Shannon-McMillan-Breiman theorem in the case of a bijective action. We illustrate this new result with an example


title: A Hopf algebra of parking functions

abstract: If the moments of a probability measure on $\R$ are interpreted as a specialization of complete homogeneous symmetric functions, its free cumulants are, up to sign, the corresponding specializations of a sequence of Schur positive symmetric functions $(f_n)$. We prove that $(f_n)$ is the Frobenius characteristic of the natural permutation representation of $\SG_n$ on the set of prime parking functions. This observation leads us to the construction of a Hopf algebra of parking functions, which we study in some detail.


title: Classes d'homotopie de champs de vecteurs Morse-Smale sans singularit\'e sur les fibr\'es de Seifert

abstract: In the first part of this paper, we consider smooth maps from a compact orientable 3-manifold without boundary to the 2-sphere. We give a geometric criterion to decide whether two given maps are homotopic, based on the sets of points where the maps are equal or antipodal. We extend this criterion to non-singular vector fields (and co-oriented plane fields) on 3-manifolds. In the second part, we make use of this criterion to study non-singular Morse-Smale vector fields on Seifert manifolds, giving a simple proof of a result of Yano.


title: Biorthogonal systems in Banach spaces

abstract: We give biorthogonal system characterizations of Banach spaces that fail the Dunford-Pettis property, contain an isomorphic copy of $c_0$, or fail the hereditary Dunford-Pettis property. We combine this with previous results to show that each infinite dimensional Banach space has one of three types of biorthogonal systems.


title: Homological Invariants and Quasi-Isometry

abstract: Building upon work of Y. Shalom we give a homological-algebra flavored definition of an induction map in group homology associated to a topological coupling. As an application we obtain estimates of the (co)homological dimension of groups G and H, where G embeds uniformly into H and the (co)homological dimension of G is finite. Another consequence of our results is that the Hirsch ranks of quasi-isometric solvable groups coincide. Further, it is shown that the real cohomology rings of quasi-isometric nilpotent groups are isomorphic as graded rings. On the analytic side, we apply the induction technique to Novikov-Shubin invariants of amenable groups, which can be seen as homological invariants, and show their invariance under quasi-isometry.


title: The best possible quadratic refinement of Sendov's conjecture

abstract: A conjecture of Sendov states that if a polynomial has all its roots in the unit disk and if $\beta$ is one of those roots, then within one unit of $\beta$ lies a root of the polynomial's derivative. If we define $r(\beta)$ to be the greatest possible distance between $\beta$ and the closest root of the derivative, then Sendov's conjecture claims that $r(\beta) \le 1$. In this paper, we assume (without loss of generality) that $0 \le \beta \le 1$ and make the stronger conjecture that $r(\beta) \le 1-(3/10)\beta(1-\beta)$. We prove this new conjecture for all polynomials of degree 2 or 3, for all real polynomials of degree 4, and for all polynomials of any degree as long as all their roots lie on a line or $\beta$ is sufficiently close to 1.


title: Weak cluster points of a sequence and coverings by cylinders

abstract: Let $H$ be a Hilbert space. Using Ball's solution of the "complex plank problem" we prove that the following properties of a sequence $a_n>0$ are equivalent: (1) There is a sequence $x_n \in H$ with $\|x_n\|=a_n$, having 0 as a weak cluster point; (2) $\sum_1^\infty a_n^{-2}=\infty$. Using this result we show that a natural idea of generalization of Ball's "complex plank" result to cylinders with $k$-dimensional base fails already for $k=3$. We discuss also generalizations of "weak cluster points" result to other Banach spaces and relations with cotype.


title: Approximation of integrals over asymptotic sets with applications to probability and statistics

abstract: In this monograph, we prove an asymptotic approximation for integrals of probability densities over sets in finite dimensional euclidean space, which are far away from the origin (asymptotic sets). We use this approximation to investigate tails of quadratic forms of random vectors, supremum of random linear forms among others. Applications to the study of finite size random matrices, finite sample statistics of autoregressive processes, and supremum of some stochastic processes.


title: Coverings by convex bodies and inscribed balls

abstract: Let $H$ be a Hilbert space. For a closed convex body $A$ denote by $r(A)$ the supremum of radiuses of balls, contained in $A$. We prove, that $\sum_{n=1}^\infty r(A_n) \ge r(A)$ for every covering of a convex closed body $A \subset H$ by a sequence of convex closed bodies $A_n$, $n \in \N$. It looks like this fact is new even for triangles in a 2-dimensional space.


title: On the coordinate ring of a projective Poisson scheme

abstract: The projective coordinate ring of a projective Poisson scheme $X$ does not usually admit a structure of a Poisson algebra. We show that when $H^1(X,O_X)=H^2(X,O_X)=0$, this can be corrected by embedding $X$ into a canonical one-parameter deformation. The scheme $X$ then becomes the Hamiltonian reduction of the spectrum of the deformed projective coordinate ring with respect to $G_m$. The projection into the base of the deformation is the moment map.


title: Consistency of a counterexample to Naimark's problem

abstract: We construct a C*-algebra that has only one irreducible representation up to unitary equivalence but is not isomorphic to the algebra of compact operators on any Hilbert space. This answers an old question of Naimark. Our construction uses a combinatorial statement called the diamond principle, which is known to be consistent with but not provable from the standard axioms of set theory (assuming those axioms are consistent). We prove that the statement ``there exists a counterexample to Naimark's problem which is generated by $\aleph_1$ elements'' is undecidable in standard set theory.


title: Cellular automata and Lyapunov exponents

abstract: In this article we give a new definition of some analog of Lyapunov exponents for cellular automata . Then for a shift ergodic and cellular automaton invariant probability measure we establish an inequality between the entropy of the automaton, the entropy of the shift and the Lyapunov exponent.


title: Some properties of cellular automata with equicontinuity points

abstract: We investigate topological and ergodic properties of cellular automata having equicontinuity points. In this class surjectivity on a transitive SFT implies existence of a dense set of periodic points. Our main result is that under the action of such an automaton any shift ergodic measure converges in Cesaro Mean.


title: Trigonometric Degeneration and Orbifold Wess-Zumino-Witten Model. II

abstract: The sheaves of conformal blocks and conformal coinvariants of the twisted WZW model have a factorisation property and are locally free even at the boundary of the moduli space, where the elliptic KZ equations and the Baxter-Belavin elliptic r matrix degenerate to the trigonometric KZ equations and the trigonometric r matrix,o respectively. Etingof's construction of the elliptic KZ equations is geometrically interpreted.


title: A proof of Higgins' conjecture

abstract: Let f: G=* G(i) -> B=* B(i) be a group homomorphism between free products of groups. Suppose that G(i)f=B(i) of all i. Let H be a subgroup of G such that Hf=B. Then H decomposes into a free product H=*H(i) with H(i)f=B(i). Furthermore, H(i) decomposes into a free product of a free group and the intersection of H(i) with some conjugate of G(i). Higgins conjectured this in 1971 and now we prove it.


title: SPM Bulletin 6 (November 2003)

abstract: After a long break, we are back with some very interesting research announcements and an open problem which is one of the most difficult, long lasting, and important problems in the field. A major change in this bulletin is that from now on it will usually not appear monthly, but more close to quarterly. Special announcements (if urgent) will be made by text emails. Contributions to the next issue are, as always, welcome.


title: Asymptotic regularity conditions for the strong convergence towards weak limit sets and weak attractors of the 3D Navier-Stokes equations

abstract: The asymptotic behavior of solutions of the three-dimensional Navier-Stokes equations is considered on bounded smooth domains with no-slip boundary conditions or on periodic domains. Asymptotic regularity conditions are presented to ensure that the convergence of a Leray-Hopf weak solution to its weak omega-limit set (weak in the sense of the weak topology of the space H of square-integrable divergence-free velocity fields) are achieved also in the strong topology of H. In particular, if a weak omega-limit set is bounded in the space V of velocity fields with square-integrable vorticity then the attraction to the set holds also in the strong topology of H. Corresponding results for the strong convergence towards the weak global attractor of Foias and Temam are also presented.


title: Appendix to "Welschinger invariant and enumeration of real rational curves"

abstract: The invariance of the Welschinger numbers for real unnodal Del Pezzo surfaces, which we used for the enumeration of real rational curves on real toric Del Pezzo surfaces (see math.AG/0303378 and IMRN 49 (2003), 2639-2653), follows from J.-Y. Welschinger's theorem stated and proved in a symplectic setting (math.AG/0303145 and CRAS, Ser. I, 336 (2003), 341-344). Here, we give an algebraic geometry version of the proof of the above invariance.


title: K\"ahler manifolds and fundamental groups of negatively $\delta$-pinched manifolds

abstract: The fundamental group of a Riemannian manifold with $\delta$-pinched negative curvature, $\delta >1/4$, cannot be the fundamental group of a quasicompact K\"ahler manifold. The proof also implies that a non-uniform lattice in $F_{4(-20)}$ cannot be the fundamental group of a quasicompact K\"ahler manifold. We also construct examples in the spirit of Gromov-Thurston to show that our result is a non-trivial extension of the previously known result that a non-uniform lattice in real hyperbolic space in dimension at least 3 cannot be the fundamental group of a quasicompact K\"ahler manifold.


title: Heat flow for horizontal harmonic maps into a class of Carnot-Caratheodory spaces

abstract: We deform a map into a Riemannian manifold that is horizontal with respect to a submersion onto a non-positively curved manifold and satisfies a Chow condition into a harmonic one through a horizontal homotopy.


title: The cohomology of a variation of polarized Hodge structures over a quasi-compact K\"ahler manifold

abstract: A systematic study of the contributions at infinity for the cohomology of variations of polarized Hodge structures over quasicompact K\"ahler manifolds. Several isomorphisms between different cohomologies given.


title: The first $L^2$-Betti number for classifying spaces of variations of Hodge structures

abstract: The first Betti number for a lattice in a classifying space for variations of Hodge structures vanishes.


title: Coloured Koszul duality and strongly homotopy operads

abstract: This paper proves Koszul duality for coloured operads and uses it to introduce strongly homotopy operads as a suitable homotopy invariant version of operads. It shows that rational chains on configuration spaces of points in the plane form a strongly homotopy operad quasi isomorphic to the chains on the little disks operad.


title: An identity of Andrews, multiple integrals, and very-well-poised hypergeometric series

abstract: We give a new proof of a theorem of Zudilin that equates a very-well-poised hypergeometric series and a particular multiple integral. This integral generalizes integrals of Vasilenko and Vasilyev which were proposed as tools in the study of the arithmetic behaviour of values of the Riemann zeta function at integers. Our proof is based on limiting cases of a basic hypergeometric identity of Andrews.


title: An inequality for regular near polygons

abstract: Let $G$ denote a near-polygon distance-regular graph with diameter $d\geq 3$, valency $k$ and intersection numbers $a_1>0$, $c_2>1$. Let $\theta_1$ denote the second largest eigenvalue for the adjacency matrix of $G$. We show $\theta_1$ is at most $(k-a_1-c_2)/(c_2-1)$. We show the following are equivalent: (i) Equality is attained above; (ii) $G$ is $Q$-polynomial with respect to $\theta_1$; (iii) $G$ is a dual polar graph or a Hamming graph.


title: The Pseudo Cosine Sequences of a Distance-Regular Graph

abstract: Let $G$ denote a distance-regular graph with diameter $D\ge 3$, valency $k$, and intersection numbers $a_i$, $b_i$, $c_i$. By a {\it pseudo cosine sequence} of $G$ we mean a sequence of real numbers $s_0, s_1, ..., s_D$ such that $s_0=1$ and $c_i s_{i-1}+a_i s_i+b_i s_{i+1}=k s_1 s_i$ for $ 0 \le i \le D-1$. Let $s_0, s_1,..., s_D$ and $p_0, p_1, ..., p_D$ denote pseudo cosine sequences of $G$. We say this pair of sequences is {\it tight} whenever $s_0 p_0, s_1 p_1, ..., s_D p_D$ is a pseudo cosine sequence of $G$. In this paper, we determine all the tight pairs of pseudo cosine sequences of $G$.


title: A Remark on Soliton Equation of Mean Curvature Flow

abstract: In this short note, we consider self-similar immersions $F: \mathbb{R}^n \to \mathbb{R}^{n+k}$ of the Graphic Mean Curvature Flow of higher co-dimension. We show that the following is true: Let $F(x) = (x,f(x)), x \in \mathbb{R}^{n}$ be a graph solution to the soliton equation $$ \bar{H}(x) + F^{\bot}(x) = 0. $$ Assume $\sup_{\mathbb{R}^{n}}|Df(x)| \le C_{0} < + \infty$. Then there exists a unique smooth function $f_{\infty}: \mathbb{R}^{n}\to \mathbb{R}^k$ such that $$ f_{\infty}(x) = \lim_{\lambda \to \infty}f_{\lambda}(x) $$ and $$ f_{\infty}(r x)=r f_{\infty}(x) $$ for any real number $r\not= 0$, where $$ f_{\lambda}(x) = \lambda^{-1}f(\lambda x). $$


title: Relative Cuntz-Krieger algebras of finitely aligned higher-rank graphs

abstract: We define the relative Cuntz-Krieger algebras associated to finitely aligned higher-rank graphs. We prove versions of the gauge-invariant uniqueness theorem and the Cuntz-Krieger uniqueness theorem for relative Cuntz-Krieger algebras.


title: The palindromic width of a free product of groups

abstract: Palindromes are those reduced words of free products of groups that coincide with their reverse words. We prove that a free product of groups $G$ has infinite palindromic width, provided that $G$ is not the free product of two cyclic groups of order two. This means that there is no a uniform bound $k$ such that every element of $G$ is a product of at most $k$ palindromes. Earlier the similar fact established for non-abelian free groups.


title: The Index Formula on the Moduli of G-bundles

abstract: We prove the formulae conjectured by the first author for the index of K-theory classes over the moduli stack of algebraic G-bundles on a smooth projective curve. The formulae generalise Verlinde's for line bundles and have Witten's integrals over the moduli space of stable bundles as their large level limits. As an application, we prove the Newstead-Ramanan conjecture on the vanishing of high Chern classes of certain moduli spaces of stable G-bundles.


title: Twisted K-theory and loop group representations

abstract: This is the third paper of a series relating the equivariant twisted $K$-theory of a compact Lie group $G$ to the ``Verlinde space'' of isomorphism classes of projective lowest-weight representations of the loop groups. Here, we treat arbitrary compact Lie groups. In addition, we discuss the relation to semi-infinite cohomology, the fusion product of Conformal Field theory, the r\^ole of energy and the topological Peter-Weyl theorem.


title: Some Hodge theory from Lie algebras

abstract: We discuss Hodge-theoretic aspects, related to the loop Grassmannian, of the strong Macdonald conjecture (whose proof is joint work with Fishel and Grojnowski).


title: Description of all complex geodesics in the symmetrized bidisc

abstract: In the paper we find effective formulas for the complex geodesics in the symmetrized bidisc.


title: Deformation of Weyl Modules and Generalized Parking Functions

abstract: Local Weyl modules over two-dimensional currents with values in $gl_r$ are deformed into spaces with bases related to parking functions. Using this construction we 1) propose a simple proof that dimension of the space of diagonal coinvariants is not less than the number of parking functions; 2) describe the limits of Weyl modules in terms of semi-infinite forms and find the limits of characters; 3) propose a lower bound and state a conjecture for dimensions of Weyl modules with arbitrary highest weights. Also we express characters of deformed Weyl modules in terms of $\rho$-parking functions and the Frobenius characteristic map.


title: Galois comodules

abstract: Galois comodules of a coring are studied. The conditions for a simple comodule to be a Galois comodule are found. A special class of Galois comodules termed principal comodules is introduced. These are defined as Galois comodules that are projective over their comodule endomorphism rings. A complete description of principal comodules in the case a background ring is a field is found. In particular it is shown that a (finitely generated and projective) right comodule of an $A$-coring $\mathcal C$ is principal provided a lifting of the canonical map is a split epimorphism in the category of left $\mathcal C$-comodules. This description is then used to characterise principal extensions or non-commutative principal bundles. Specifically, it is proven that, over a field, any entwining structure consisting of an algebra $A$, a coseparable coalgebra $C$ and a bijective entwining map $\psi$ together with a group-like element in $C$ give rise to a principal extension provided the lifted canonical map is surjective. Induction of Galois and principal comodules via morphisms of corings is described. A connection between the relative injectivity of a Galois comodule and the properties of the extension of endomorphism rings associated to this comodule is revealed.


title: Deformation principle as a foundation of physical geometry

abstract: Physical geometry studies mutual disposition of geometrical objects and points in space, or space-time, which is described by the distance function $ d$, or by the world function $\sigma =d^{2}/2$. One suggests a new general method of the physical geometry construction. The proper Euclidean geometry is described in terms of its world function $\sigma_{\mathrm{E}}$. Any physical geometry $\mathcal{G}$ is obtained from the Euclidean geometry as a result of replacement of the Euclidean world function $\sigma_{\mathrm{E}}$ by the world function $\sigma $ of $\mathcal{G}$. This method is very simple and effective. It introduces a new geometric property: nondegeneracy of geometry. Using this method, one can construct deterministic space-time geometries with primordially stochastic motion of free particles and geometrized particle mass. Such a space-time geometry defined properly (with quantum constant as an attribute of geometry) allows one to explain quantum effects as a result of the statistical description of the stochastic particle motion (without a use of quantum principles).


title: Parameter-shifted shadowing property for geometric Lorenz attractors

abstract: In this paper, we will show that any geometric Lorenz flow in a definite class satisfies the parameter-shifted shadowing property.


title: Derivations of the Lie Algebras of Differential Operators

abstract: This paper encloses a complete and explicit description of the derivations of the Lie algebra D(M) of all linear differential operators of a smooth manifold M, of its Lie subalgebra D^1(M) of all linear first-order differential operators of M, and of the Poisson algebra S(M)=Pol(T*M) of all polynomial functions on T*M, the symbols of the operators in D(M). It turns out that, in terms of the Chevalley cohomology, H^1(D(M),D(M))=H^1_{DR}(M), H^1(D^1(M),D^1(M))=H^1_{DR}(M)\oplus\R^2, and H^1(S(M),S(M))=H^1_{DR}(M)\oplus\R. The problem of distinguishing those derivations that generate one-parameter groups of automorphisms and describing these one-parameter groups is also solved.


title: L'aire des triangles ideaux en geometrie de Hilbert

abstract: In this paper we study the area of ideals triangles in a convex domain with its Hilbert geometry. We obtain a characterization of the hyperbolic geometry among all the Hilbert geometry in terms of area of ideals triangles. We also obtain a sharp lower bound on the hilbert area of ideal triangles, independant of the convex, which characterizes the triangle domains in the plane. Furthermore, under specific geometric assumptions, we obtain an upper bound, which depends on the convex domain.


title: 2A-orbifold construction and the baby-monster vertex operator superalgebra

abstract: In this article we prove that the full automorphism group of the baby-monster vertex operator superalgebra constructed by Hoehn is isomorphic to 2xB, where B is the baby-monster sporadic finite simple group and determine irreducible modules for the baby-monster vertex operator algebra. Our result has many corollaries. In particular, we can prove that the Z_2-orbifold construction with respect to a 2A-involution of the Monster applied to the moonshine vertex operator algebra yields the moonshine vertex operator algebra itself again.


title: Almost toric symplectic four-manifolds

abstract: Almost toric manifolds form a class of singular Lagrangian fibered symplectic manifolds that is a natural generalization of toric manifolds. Notable examples include the K3 surface, the phase space of the spherical pendulum and rational balls useful for symplectic surgeries. The main result of the paper is a complete classification up to diffeomorphism of closed almost toric four-manifolds. A key step in the proof is a geometric classification of the singular affine structures that can occur on the base of a closed almost toric four-manifold.


title: Elementary linear algebra for advanced spectral problems

abstract: We discuss the general method of Grushin problems, closely related to Shur complements, Feshbach projections and effective Hamiltonians, and describe various appearances in spectral theory, pdes, mathematical physics and numerical problems.


title: Ordered C*-modules

abstract: In this first part of a study of ordered operator spaces, we develop the basic theory of `ordered C*-bimodules'. A crucial role is played by `open central tripotents', a JB*-triple variant of Akemann's notion of open projection.


title: Review of "Knots" by Alexei Sossinsky, Harvard University Press, 2002, ISBN 0-674-00944-4

abstract: This paper is a review of the book "Knots" by Alexei Sossinsky. The review includes a short personal history of knot theory at the end of the twentieth century.


title: U-turn Alternating Sign Matrices, Symplectic Shifted Tableaux and Their Weighted Enumeration

abstract: Alternating sign matrices with a U-turn boundary (UASMs) are a recent generalization of ordinary alternating sign matrices. Here we show that variations of these matrices are in bijective correspondence with certain symplectic shifted tableaux that were recently introduced in the context of a symplectic version of Tokuyama's deformation of Weyl's denominator formula. This bijection yields a formula for the weighted enumeration of UASMs. In this connection use is made of the link between UASMs and certain square ice configuration matrices.


title: Geometrical and Numerical Design of Structured Unitary Space Time Constellations

abstract: In this paper we propose constellations with suitable structure which allow one to construct codes with excellent diversity using geometrical symmetry and numerical methods. We also demonstrate how these structured constellations out-perform currently existing constellations and explain why the proposed constellation structure admit simple decoding algorithm: sphere decoding. The presented design methods work for any dimensional constellation and for any transmission rate. Moreover codes based on the proposed structure are very flexible and can be optimized for any signal to noise ratio.


title: Short formulas for algebraic covariant derivative curvature tensors via Algebraic Combinatorics

abstract: We consider generators of algebraic covariant derivative curvature tensors R' which can be constructed by a Young symmetrization of product tensors W*U or U*W, where W and U are covariant tensors of order 2 and 3. W is a symmetric or alternating tensor whereas U belongs to a class of the infinite set S of irreducible symmetry classes characterized by the partition (2,1). Using Computer Algebra we search for such generators whose coordinate representations are polynomials with a minimal number of summands. For a generic choice of the symmetry class of U we obtain lengths of 16 or 20 summands if W is symmetric or skew-symmetric, respectively. In special cases these numbers can be reduced to the minima 12 or 10. If these minima occur then U admits an index commutation symmetry. Furthermore minimal lengths are possible if U is formed from torsion-free covariant derivatives of symmetric or alternating 2-tensor fields. Foundation of our investigations is a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins about a Young symmetrizer that generates the symmetry class of algebraic covariant derivative curvature tensors. Furthermore we apply ideals and idempotents in group rings C[S_r] and discrete Fourier transforms for symmetric groups S_r. For symbolic calculations we used the Mathematica packages Ricci and PERMS.


title: Weil-Petersson metric on the universal Teichmuller space I: Curvature properties and Chern forms

abstract: We prove that the universal Teichmuller space T(1) carries a new structure of a complex Hilbert manifold. We show that the connected component of the identity of T(1), the Hilbert submanifold T_{0}(1), is a topological group. We define a Weil-Petersson metric on T(1) by Hilbert space inner products on tangent spaces, compute its Riemann curvature tensor, and show that T(1) is a Kahler-Einstein manifold with negative Ricci and sectional curvatures. We introduce and compute Mumford-Miller-Morita characteristic forms for the vertical tangent bundle of the universal Teichmuller curve fibration over the universal Teichmuller space. As an application, we derive Wolpert curvature formulas for the finite-dimensional Teichmuller spaces from the formulas for the universal Teichmuller space.


title: Maximal entropy measures for Viana maps

abstract: In this note we construct measures of maximal entropy for a certain class of maps with critical points called Viana maps. The main ingredients of the proof are the non-uniform expansion features and the slow recurrence (to the critical set) of generic points with respect to the natural candidates for attaining the topological entropy.


title: Classification of quadruple Galois canonical covers II

abstract: In this article we classify quadruple Galois canonical covers $\phi$ of singular surfaces of minimal degree. This complements the work done in math.AG/0302045, so the main output of both papers is the complete classification of quadruple Galois canonical covers of surfaces of minimal degree, both singular and smooth. Our results show that the covers $X$ studied in this article are all regular surfaces and form a bounded family in terms of geometric genus $p_g$. In fact, the geometric genus of $X$ is bounded by 4. Together with the results of Horikawa and Konno for double and triple covers, a striking numerology emerges that motivates some general questions on the existence of higher degree canonical covers. In this article, we also answer some of these questions. The arguments to prove our results include a delicate analysis of the discrepancies of divisors in connection with the ramification and inertia groups of $\phi$.


title: Constructions with bundle gerbes

abstract: This thesis develops the theory of bundle gerbes and examines a number of useful constructions in this theory. These allow us to gain a greater insight into the structure of bundle gerbes and related objects. Furthermore they naturally lead to some interesting applications in physics.


title: Intrinsic knotting and linking of almost complete partite graphs

abstract: We classify graphs that are 0, 1, or 2 edges short of being complete partite graphs with respect to intrinsic linking and intrinsic knotting. In addition, we classify intrinsic knotting of graphs on 8 vertices. For graphs in these families, we verify a conjecture presented in Adams' "The Knot Book": If a vertex is removed from an intrinsically knotted graph, one obtains an intrinsically linked graph.


title: On Weyl-Titchmarsh Theory for Singular Finite Difference Hamiltonian Systems

abstract: We develop the basic theory of matrix-valued Weyl-Titchmarsh M-functions and the associated Green's matrices for whole-line and half-line self-adjoint Hamiltonian finite difference systems with separated boundary conditions.


title: Kummer's Original Type Congruence Relation for the Universal Bernoulli Numbers

abstract: In this paper we give Kummer's original type congruence relation modulo a prime power for the universal Bernoulli numbers. Although the index of the power is half of original congruence, this estimate is best possible.


title: Minimal threefolds with small slope and the Noether inequality for canonically polarized threefolds

abstract: 1) We give a 3-dimensional analogue of M. Noether's inequality for canonically polarized threefolds: $K^3\ge 2(2p_g-5)/3$. This inequality is sharp by known examples of M. Kobayashi. 2) Given a minimal 3-fold $X$ of general type with canonical singularities, if $K^3< (3p_g-5)/2$, we show that $X$ must be birationally fibred by curves of genus 2.


title: The Laplace transform of the fourth moment of the zeta-function

abstract: The Laplace transform of $|\zeta(1/2+it)|$ is investigated, for which a precise expression is obtained, valid in a certain region in the complex plane. The method of proof is based on complex integration and spectral theory of the non-Euclidean Laplacian.


title: D-chtoucas de Drinfeld \`a modifications sym\'etriques et identit\'e de changement de base

abstract: We give a new proof of the base change fundamental lemma for GL_n for certain Hecke functions by comparing the cohomology of two different moduli space of $D$-shtukas. The original proof, due to Clozel and Labesse, make use of the trace formula and of the unit case due to Kottwitz.


title: Selection principles in mathematics: A milestone of open problems

abstract: We survey some of the major open problems involving selection principles, diagonalizations, and covering properties in topology and infinite combinatorics. Background details, definitions and motivations are also provided.


title: Acyclicity of Schneider and Stuhler's coefficient systems:another approach in the level 0 case

abstract: Let F be a non archimedean local field and G be the locally profinite group GL(N,F), N>0. We denote by X the Bruhat-Tits building of G. For all smooth complex representation V of G and for all level n>0, Schneider and Stuhler have constructed a coefficient system C = C(V, n) on the simplicial complex X. They proved that if V is generated by its fixed vectors under the principal congruence subgroup of level n, then the augmented complex of oriented chains of X with coefficients in C is a resolution of V in the category of smooth complex representations of G. In this paper we give another proof of this result, in the level 0 case, and assuming moreover that V is generated by its fixed vectors under an Iwahori subgroup I of G. Here "level 0" refers to Bushnell and Kutzko's terminology, that is to the case n=1+0. Our approach is different. We strongly use the fact that the trivial character of I is a type in the sense of Bushnell and Kutzko.


title: Half-inverse spectral problems for Sturm--Liouville operators with singular potentials

abstract: Half-inverse spectral problem for a Sturm--Liouville operator consists in reconstruction of this operator by its spectrum and half of the potential. We give the necessary and sufficient conditions for solvability of the half-inverse spectral problem for the class of Sturm--Liouville operators with singular potentials from the space $W^{-1}_2(0,1)$ and provide the reconstruction algorithm.


title: Twist deformations in dual coordinates

abstract: Twist deformation U_F(g) is equivalent to the quantum group Fun_d(G#) and has two preferred bases: the one originating from U(g) and that of the coordinate functions on the dual Lie group G#. The costructure of the Hopf algebra U_F(g) is analized in terms of group G#. The weight diagram of the adjoint representation of the algebra g# is constructed in terms of the root system L(g). The explicit form of the g --> g# transformation can be obtained for any simple Lie algebra g and the factorizable chain F of extended Jordanian twists. The dual group approach is used to find new solutions of the twist equations. The parametrized family of extended Jordanian deformations for U(sl(3)) is constructed and studied in terms of SL(3)#. New realizations of the parabolic twist are found.


title: The theta characteristic of a branched covering

abstract: We give a group-theoretic description of the parity of a pull-back of a theta characteristic under a branched covering. It involves lifting monodromy of the covering to the semidirect product of the symmetric and Clifford groups, known as the Sergeev group. As an application, we enumerate torus coverings with respect to their ramification and parity and, in particular, show that the corresponding all-degree generating functions are quasimodular forms.


title: A Fractal Valued Random Iteration Algorithm and Fractal Hierarchy

abstract: We describe new families of random fractals, referred to as "V-variable", which are intermediate between the notions of deterministic and of standard random fractals. The parameter V describes the degree of "variability" : at each magnification level any V-variable fractals has at most V key "forms" or "shapes". V-variable random fractals have the surprising property that they can be computed using a forward process. More precisely, a version of the usual Random Iteration Algorithm, operating on sets (or measures) rather than points, can be used to sample each family. To present this theory, we review relevant results on fractals (and fractal measures), both deterministic and random. Then our new results are obtained by constructing an iterated function system (a super IFS) from a collection of standard IFSs together with a corresponding set of probabilities. The attractor of the super IFS is called a superfractal; it is a collection of V-variable random fractals (sets or measures) together with an associated probability distribution on this collection. When the underlying space is for example $\mathbb{R}^{2}$, and the transformations are computationally straightforward (such as affine transformations), the superfractal can be sampled by means of the algorithm, which is highly efficient in terms of memory usage. The algorithm is illustrated by some computed examples. Some variants, special cases, generalizations of the framework, and potential applications are mentioned.


title: Conjugacy in Artin groups and applications to the classification of surfaces

abstract: We show thatthe double reversing algorithm proposed by dehornoy for solving the word problem in the braid group can also be used to recognize the conjugates of powers of the generators in an Artin group of spherical type. The proof uses a characterization of these powers in terms of their fractional decomposition. This algorithm could have potential applications to braid-based cryptography; it also provides a fast method for testing a necessary condition in the classification of surfaces in algebraic geometry.


title: Nonstandard Analysis Applied to Special and General Relativity - The Theory of Infinitesimal Light-Clocks

abstract: Nonstandard analysis and electromagnetic propagation properties are used to derive all of the fundamental results for the Special Theory of Relativity. Infinitesimal modeling via infinitesimal light-clocks is used to derive two general line-elements (metrics) without the use of Riemannian geometry. By substituting potential velocities, the Schwarzschild, quasi and modified Schwarzschild, de Sitter, Robertson-Walker and similar line-elements are derived. New black hole and quasi-white hole investigations are presented. A new fixed method using separating operators is used to obtain the major predictions for the relativistic alterations in natural-system behavior. The major conclusion is that all such changes are related to electromagnetic properties and that Riemannian geometry is but an analogue model for natural-system behavior.