title: On the number of simple modules of Iwahori--Hecke algebras of finite Weyl groups

abstract: Let $H_k(W,q)$ be the Iwahori--Hecke algebra associated with a finite Weyl group $W$, where $k$ is a field and $0 \neq q \in k$. Assume that the characteristic of $k$ is not ``bad'' for $W$ and let $e$ be the smallest $i \geq 2$ such that $1+q+q^2+... +q^{i-1}=0$. We show that the number of simple $H_k(H,q)$-modules is ``generic'', i.e., it only depends on $e$. The proof uses some computations in the {\sf CHEVIE} package of {\sf GAP} and known results due to Dipper--James, Ariki--Mathas, Rouquier and the author.


title: Dynamical reflection equation

abstract: We construct a dynamical reflection equation algebra, $\tilde {\mathcal{K}}$, via a dynamical twist of the ordinary reflection equation algebra. A dynamical version of the reflection equation is deduced as a corollary. We show that $\tilde {\mathcal{K}}$ is a right comodule algebra over a dynamical analog of the Faddeev-Reshetikhin-Takhtajan algebra equipped with a structure of right bialgebroid. We introduce dynamical trace and use it for constructing central elements of $\tilde {\mathcal{K}}$.


title: Uniqueness Problem for Meromorphic Mappings with Truncated Multiplicities and Moving Targets

abstract: In this paper, using techniques of value distribution theory, we give a uniqueness theorem for meromorphic mappings of C^m into P^n with (3n+1) moving targets and truncated multiplicities.


title: An Extension of Uniqueness Theorems for Meromorphic Mappings

abstract: In this paper, we give some results on the number of meromorphic mappings of C^m into P^n under a condition on the inverse images of hyperplanes in P^n. At the same time, we give an answer for an open question by H.Fujimoto.


title: Hierarchy of B\"acklund Transformation Groups of the Painlev\'e Systems

abstract: For each Painlev\'e system P_J except the first one, we have a B\"acklund transformation group which is a lift of an affine Weyl group. In this paper, we show that the B\"acklund transformation groups for J=V,IV,III,II are successively obtained from that for J=VI by the well known degeneration or confluence processes.


title: Uniqueness Problem for Meromorphic Mappings with Truncated Multiplicities and Few Targets

abstract: In this paper, using techniques of value distribution theory, we give a uniqueness theorem for meromorphic mappings of C^m into P^n with truncated multiplicities and "few" targets. We also give a theorem of linear degeneration for such maps with truncated multiplicities and moving targets.


title: Analogy between arithmetic of elliptic curves and conics

abstract: In this brief note we bring out the analogy between the arithmetic of elliptic curves and the Riemann zeta-function.


title: On the tangential touch between the free and the fixed boundaries for the two-phase obstacle-like problem

abstract: In this paper we consider the following two-phase obstacle-problem-like equation in the unit half-ball $\Delta u = \lambda_{+}\chi_{\{u>0\}}-\lambda_{-}\chi_{\{u<0\}}, \lambda_\pm>0$. We prove that the free boundary touches the fixed one in (uniformly) tangential fashion if the boundary data $f$ and its first and second derivatives vanish at the touch-point.


title: Jet spaces in complex analytic geometry: an exposition

abstract: These notes are an exposition and synthesis of various "jet space" constructions in complex analytic geometry. They are written primarily for model-theorists interested in the results of Campana and Fujiki (whose model-theoretic significance has been observed by Pillay).


title: Constant mean curvature hypersurfaces condensing along a submanifold

abstract: Given any nondegenerate k-dimensional minimal submanifold K of codimension greater than 1, we prove the existence of families of constant mean curvature submanifolds, with mean curvature varying from one member of the family to another, which `condense' to K. In particular, our result proves the existence of constant mean curvature hypersurfaces with nontrivial topology in any Riemannian manifold.


title: On the extension of H\"{o}lder maps with values in spaces of continuous functions

abstract: We study the isometric extension problem for H\"{o}lder maps from subsets of any Banach space into $c_0$ or into a space of continuous functions. For a Banach space $X$, we prove that any $\alpha$-H\"{o}lder map, with $0<\alpha\leq 1$, from a subset of $X$ into $c_0$ can be isometrically extended to $X$ if and only if $X$ is finite dimensional. For a finite dimensional normed space $X$ and for a compact metric space $K$, we prove that the set of $\alpha$'s for which all $\alpha$-H\"{o}lder maps from a subset of $X$ into $C(K)$ can be extended isometrically is either $(0,1]$ or $(0,1)$ and we give examples of both occurrences. We also prove that for any metric space $X$, the described above set of $\al$'s does not depend on $K$, but only on finiteness of $K$.


title: Frame expansions with erasures: an approach through the non-commutative operator theory

abstract: In modern communication systems such as the Internet, random losses of information can be mitigated by oversampling the source. This is equivalent to expanding the source using overcomplete systems of vectors (frames), as opposed to the traditional basis expansions. Dependencies among the coefficients in frame expansions often allow for better performance comparing to bases under random losses of coefficients. We show that for any n-dimensional frame, any source can be linearly reconstructed from only (n log n) randomly chosen frame coefficients, with a small error and with high probability. Thus every frame expansion withstands random losses better (for worst case sources) than the orthogonal basis expansion, for which the (n log n) bound is attained. The proof reduces to M.Rudelson's selection theorem on random vectors in the isotropic position, which is based on the non-commutative Khinchine's inequality.


title: All Difference Family Structures arise from Groups

abstract: Difference families are traditionally built using groups as their basis. This paper looks at what sort of generalised difference family constructions could be made, using the standard basis of translation and difference. The main result is that minimal requirements on the structure force nothing that groups cannot give, at least in the finite case. Thus all difference families arise from groups.


title: Tameness of hyperbolic 3-manifolds

abstract: We show that hyperbolic 3-manifolds with finitely generated fundamental group are tame, that is the ends are products. We actually work in slightly greater generality with pinched negatively curved manifolds with hyperbolic cusps. This answers a conjecture of Marden and implies the Ahlfors measure conjecture. Applications are given to other questions about Kleinian groups and 3-manifolds.


title: Curvature bounds via Ricci smoothing

abstract: We give a proof of the fact that the upper and the lower sectional curvature bounds of a complete manifold vary at a bounded rate under the Ricci flow.


title: Rigid Dualizing Complexes on Schemes

abstract: In this paper we present a new approach to Grothendieck duality on schemes. Our approach is based on the idea of rigid dualizing complexes, which was introduced by Van den Bergh in the context of noncommutative algebraic geometry. We obtain most of the important features of Grothendieck duality, yet manage to avoid lengthy and difficult compatibility verifications. Our results apply to finite type schemes over a regular noetherian finite dimensional base ring, and hence are suitable for arithmetic geometry.


title: Asymptotics in Quantum Statistics

abstract: Observations or measurements taken of a quantum system (a small number of fundamental particles) are inherently random. If the state of the system depends on unknown parameters, then the distribution of the outcome depends on these parameters too, and statistical inference problems result. Often one has a choice of what measurement to take, corresponding to different experimental set-ups or settings of measurement apparatus. This leads to a design problem--which measurement is best for a given statistical problem. This paper gives an introduction to this field in the most simple of settings, that of estimating the state of a spin-half particle given n independent copies of the particle. We show how in some cases asymptotically optimal measurements can be constructed. Other cases present interesting open problems, connected to the fact that for some models, quantum Fisher information is in some sense non-additive. In physical terms, we have non-locality without entanglement.


title: Teleportation into Quantum Statistics

abstract: The paper is a tutorial introduction to quantum information theory, developing the basic model and emphasizing the role of statistics and probability.


title: Lattice polytopes, Hecke operators, and the Ehrhart polynomial

abstract: Let P be a simple lattice polytope. We define an action of the Hecke operators on E (P), the Ehrhart polynomial of P, and describe their effect on the coefficients of E (P). We also describe how the Brion-Vergne formula transforms under the Hecke operators for nonsingular lattice polytopes P.


title: Closed form summation of C-finite sequences

abstract: We consider sums of the form \[\sum_{j=0}^{n-1}F_1(a_1n+b_1j+c_1)F_2(a_2n+b_2j+c_2)... F_k(a_kn+b_kj+c_k),\] in which each $\{F_i(n)\}$ is a sequence that satisfies a linear recurrence of degree $D(i)<\infty$, with constant coefficients. We assume further that the $a_i$'s and the $a_i+b_i$'s are all nonnegative integers. We prove that such a sum always has a closed form, in the sense that it evaluates to a linear combination of a finite set of monomials in the values of the sequences $\{F_i(n)\}$ with coefficients that are polynomials in $n$. We explicitly describe two different sets of monomials that will form such a linear combination, and give an algorithm for finding these closed forms, thereby completely automating the solution of this class of summation problems. We exhibit tools for determining when these explicit evaluations are unique of their type, and prove that in a number of interesting cases they are indeed unique. We also discuss some special features of the case of ``indefinite summation," in which $a_1=a_2=... = a_k = 0$.


title: Local structure of hyperkaehler singularities in O'Grady's examples

abstract: We study the local structure of the singularity in the moduli space of sheaves on a K3 surface which has been resolved by K O'Grady in his construction of new examples of hyperkaehler manifolds. In particular, we identify the singularity with the closure of a certain nilpotent orbit in the coadjoint representation of the group $Sp(4)$. We also prove that the moduli spaces for some other sets of numerical parameters do not admit a smooth symplectic resolution of singularities.


title: Bosonic and Fermionic Representations of Lie Algebra Central Extensions

abstract: Given any representation of an arbitrary Lie algebra L over a field k of characteristic 0, we construct representations of L on bosonic and fermionic Fock space. The method gives an explicit formula for a (sometimes trivial) 2-cocycle in H^2(L;k). We illustrate these techniques with several concrete examples.


title: On $\psi$-basic bernoulli-wardian polynomials

abstract: The wardian solution of any $\psi$-difference linear nonhomogeneous equation is found in the framework of the generalized finite operator calculus . Specifications to $q$-calculus case and the new one fibonomial calculus case are made explicit.


title: $\psi$-Appell polynomials` solutions of an umbral difference nonhomogeneous equation

abstract: One discovers why the solution of generalized umbral calculus difference nonhomogeneous equation in the form recently proposed by the author extends here now to generalized appellian delta operator and corresponding polynomials case almost automatically. The reason for that is just the proper framework of the generalized finite operator calculus recently being developed by the present author.


title: Pinching estimates for negatively curved manifolds with nilpotent fundamental groups

abstract: Let $M$ be a complete Riemannian metric of sectional curvature within $[-a^2,-1]$ whose fundamental group contains a $k$-step nilpotent subgroup of finite index. We prove that $a\ge k$ answering a question of M. Gromov. Furthermore, we show that for any $\epsilon>0$, the manifold $M$ admits a complete Riemannian metric of sectional curvature within $[-(k+\epsilon)^2,-1]$.


title: On Branching Indices of Affine A-D-E Diagrams : A Geometrical Characterization by Kleinian Singularities

abstract: The exceptional configuration of the minimal resolution $\hat{S}_G $ of a Kleinian quotient surface $S_G (:= \CZ^2/G)$ is depicted by a $A$-$D$-$E$ Coxeter-Dynkin diagram. In this article, we show that branching indices of the affine $A$-$D$-$E$ diagram is geometrically characterized by a certain special function $F$ of $S_G$ as the multiplicities of its divisor components in $\hat{S}_G$, a version parallel to the elliptic fibration near certain types of simple singular fibers in Kodaira's elliptic surface theory. We further obtain the uniqueness property of the function $F$ (modular local units) among all local functions in $S_G$ near the singular point whose divisors in $\hat{S}_G $ display the affine $A$-$D$-$E$ diagram configuration.


title: Restriction theory of the Selberg sieve, with applications

abstract: The Selberg sieve provides majorants for certain arithmetic sequences, such as the primes and the twin primes. We prove an L^2-L^p restriction theorem for majorants of this type. An immediate application is to the estimation of exponential sums over prime k-tuples. Let a_1,...,a_k and b_1,...,b_k be positive integers. For t on the unit circle write h(t) := \sum_{n \in X} e(nt)$, where X is the set of all n <= N such that the numbers a_1n + b_1,..., a_kn + b_k are all prime. We obtain upper bounds for the L^p norm of h, p > 2, which are (conditionally on the prime tuple conjecture) of the correct order of magnitude. As a second application we deduce from Chen's theorem, Roth's theorem, and a transference principle that there are infinitely many arithmetic progressions p_1 < p_2 < p_3 of primes, such that p_i + 2 is either a prime or a product of two primes for each i=1,2,3.


title: A short introduction to shadows of 4-manifolds

abstract: We give a self-contained introduction to the theory of Turaev's shadows as a tool to study 3 and 4-manifolds. The goal of the present paper twofold: on one side it is intended to be a shortcut to a basic use of the theory of shadows, on the other side it gives a sketchy overview of some of the recent results on shadows. No original result is proved here and most of the details of the proofs are not included.


title: Filling area conjecture and ovalless real hyperelliptic surfaces

abstract: We prove the filling area conjecture in the hyperelliptic case. In particular, we establish the conjecture for all genus 1 fillings of the circle, extending P. Pu's result in genus 0. We translate the problem into a question about closed ovalless real surfaces. The conjecture then results from a combination of two ingredients. On the one hand, we exploit integral geometric comparison with orbifold metrics of constant positive curvature on real surfaces of even positive genus. Here the singular points are Weierstrass points. On the other hand, we exploit an analysis of the combinatorics on unions of closed curves, arising as geodesics of such orbifold metrics.


title: Complex product structures on some simple Lie groups

abstract: We construct invariant complex product (hyperparacomplex, indefinite quaternion) structures on the manifolds underlying the real noncompact simple Lie groups $SL(2m-1,\RR)$, $SU(m,m-1)$ and $SL(2m-1,\CC)^\RR$. We show that on the last two series of groups some of these structures are compatible with the biinvariant Killing metric. Thus we also provide a class of examples of compact (neutral) hyperparahermitean, non-flat Einstein manifolds.


title: Hyper-ParaHermitian manifolds with torsion

abstract: Necessary and sufficient conditions for the existence of a hyper-parahermitian connection with totally skew-symmetric torsion (HPKT-structure) are presented. It is shown that any HPKT-structure is locally generated by a real (potential) function. An invariant first order differential operator is defined on any almost hyper-paracomplex manifold showing that it is two-step nilpotent exactly when the almost hyper-paracomplex structure is integrable. A local HPKT-potential is expressed in terms of this operator. Examples of (locally) invariant HPKT-structures with closed as well as non-closed torsion 3-form on a class of (locally) homogeneous hyperparacomplex manifolds (some of them compact) are constructed.


title: Infinitesimal Characterizations for Strong Invariance and Monotonicity for Non-Lipschitz Control Systems

abstract: We provide new infinitesimal characterizations for strong invariance of multifunctions in terms of Hamiltonian inequalities and tangent cones. In lieu of the standard local Lipschitzness assumption on the multifunction, we assume a new feedback realizability condition that can in particular be satisfied by control systems that are discontinuous in the state variable. Our realization condition is based on H. Sussmann's unique limiting property, and allows a more general class of feedback realizations than is allowed by the recent strong invariance characterizations of Krastanov, Malisoff, and Wolenski. We also give new nonsmooth monotonicity characterizations for control systems that may be discontinuous in the state.


title: Jointly hyponormal pairs of commuting subnormal operators need not be jointly subnormal

abstract: We construct three different families of commuting pairs of subnormal operators, jointly hyponormal but not admitting commuting normal extensions. Each such family can be used to answer in the negative a 1988 conjecture of R. Curto, P. Muhly and J. Xia. We also obtain a sufficient condition under which joint hyponormality does imply joint subnormality.


title: Minimal surfaces with helicoidal ends

abstract: In this paper we describe a new deformation that connects minimal disks with planar ends with minimal disks with helicoidal ends. In this way, we are able to construct a family of complete minimal surfaces with helicoidal ends that contains the singly periodic genus one helicoid of Hoffman, Karcher and Wei.


title: Weights in cohomology and the Eilenberg-Moore spectral sequence

abstract: We show that in the category of complex algebraic varieties, the Eilenberg--Moore spectral sequence can be endowed with a weight filtration. This implies that it degenerates if all involved spaces have pure cohomology. As application, we compute the rational cohomology of an algebraic $G$-variety $X$ ($G$ being a connected algebraic group) in terms of its equivariant cohomology provided that $H_G(X)$ is pure. This is the case, for example, if $X$ is smooth and has only finitely many orbits. We work in the category of mixed sheaves; therefore our results apply equally to (equivariant) intersection homology.


title: Twisted conjugacy classes of automorphisms of Baumslag-Solitar groups

abstract: Let $\phi:G \to G$ be a group endomorphism where $G$ is a finitely generated group of exponential growth, and denote by $R(\phi)$ the number of twisted $\phi$-conjugacy classes. Fel'shtyn and Hill \cite{fel-hill} conjectured that if $\phi$ is injective, then $R(\phi)$ is infinite. This conjecture is true for automorphisms of non-elementary Gromov hyperbolic groups, see \cite{ll} and \cite {fel:1}. It was showed in \cite {gw:2} that the conjecture does not hold in general. Nevertheless in this paper, we show that the conjecture holds for the Baumslag-Solitar groups $B(m,n)$, where either $|m|$ or $|n|$ is greater than 1 and $|m|\ne |n|$. We also show that in the cases where $|m|=|n|>1$ or $mn=-1$ the conjecture is true for automorphisms. In addition, we derive few results about the coincidence Reidemeister number.


title: Fibonacci q-gaussian sequences

abstract: The summation formula within pascalian triangle resulting in the fibonacci sequence is extended to the $q$-binomial coefficients $q$-gaussian triangles.


title: Markov's Transformation of Series and the WZ Method

abstract: In a well forgotten memoir of 1890, Andrei Markov devised a convergence acceleration technique based on a series transformation which is very similar to what is now known as the Wilf-Zeilberger (WZ) method. We review Markov's work, put it in the context of modern computer-aided WZ machinery, and speculate about possible reasons of the memoir being shelved for so long.


title: Non-commutative duplicates of finite sets

abstract: We classify the twisted tensor products of a finite set algebra with a two elements set algebra using colored quivers obtained through considerations analogous to Ore extensions. This provides also a classification of entwining structures between a finite set algebra and the grouplike coalgebra on two elements. The resulting 2-nilpotent algebras have particular features with respect to Hochschild (co)homology and cyclic homology.


title: Inversions relating Stirling, tanh, Lah numbers and an application to Mathematical Statistics

abstract: Inversion formulas have been found, converting between Stirling, tanh and Lah numbers. Tanh and Lah polynomials, analogous to the Stirling polynomials, have been defined and their basic properties established. New identities for Stirling and tangent numbers and polynomials have been derived from the general inverse relations. In the second part of the paper, it has been shown that if shifted-gamma probability densities and negative binomial distributions are matched by equating their first three semi-invariants (cumulants), then the cumulants of the two distributions are related by a pair of reciprocal linear combinations equivalent to the inversion formulas established in the first part.


title: An invitation to quantum tomography (II)

abstract: The quantum state of a light beam can be represented as an infinite dimensional density matrix or equivalently as a density on the plane called the Wigner function. We describe quantum tomography as an inverse statistical problem in which the state is the unknown parameter and the data is given by results of measurements performed on identical quantum systems. We present consistency results for Pattern Function Projection Estimators as well as for Sieve Maximum Likelihood Estimators for both the density matrix of the quantum state and its Wigner function. Finally we illustrate via simulated data the performance of the estimators. An EM algorithm is proposed for practical implementation. There remain many open problems, e.g. rates of convergence, adaptation, studying other estimators, etc., and a main purpose of the paper is to bring these to the attention of the statistical community.


title: On hypergeometric functions and Pochhammer $k$-symbol

abstract: We introduce the $k$-generalized gamma function $\Gamma_k$, beta function $B_k$, and Pochhammer $k$-symbol $(x)_{n,k}$. We prove several identities generalizing those satisfied by the classical gamma function, beta function and Pochhammer symbol. We provided integral representation for the $\Gamma_k$ and $B_k$ functions.


title: Free quasi-symmetric functions of arbitrary level

abstract: We introduce analogues of the Hopf algebra of Free quasi-symmetric functions with bases labelled by colored permutations. As applications, we recover in a simple way the descent algebras associated with wreath products $\Gamma\wr\SG_n$ and the corresponding generalizations of quasi-symmetric functions. Also, we obtain Hopf algebras of colored parking functions, colored non-crossing partitions and parking functions of type $B$.


title: The longitudinal KAM-cocycle of a magnetic flow

abstract: Let $M$ be a closed oriented surface of negative Gaussian curvature and let $\Omega$ be a non-exact 2-form. Let $\lambda$ be a small positive real number. We show that the longitudinal KAM-cocycle of the magnetic flow given by $\la \Omega$ is a coboundary if and only if the Gaussian curvature is constant and $\Omega$ is a constant multiple of the area form.


title: Eta-invariants, Torsion forms and Flat vector bundles

abstract: We present a new proof, as well as a ${\bf C/Q}$ extension, of the Riemann-Roch-Grothendieck theorem of Bismut-Lott for flat vector bundles. The main techniques used are the computations of the adiabatic limits of $\eta$-invariants associated to the so-called sub-signature operators. We further show that the Bismut-Lott analytic torsion form can be derived naturally from the transgression of the $\eta$-forms appearing in the adiabatic limit computations.


title: Integral operators and integral cohomology classes of Hilbert schemes

abstract: The methods of integral operators on the cohomology of Hilbert schemes of points on surfaces are developed. They are used to establish integral bases for the cohomology groups of Hilbert schemes of points on a class of surfaces (and conjecturally, for all simply connected surfaces).


title: Random walks with $k$-wise independent increments

abstract: We construct examples of a random walk with pairwise-independent steps which is almost-surely bounded, and for any $m$ and $k$ a random walk with $k$-wise independent steps which has no stationary distribution modulo $m$.


title: On a Penrose Inequality with Charge

abstract: We construct a time-symmetric asymptotically flat initial data set to the Einstein-Maxwell Equations which satisfies the inequality: m - 1/2(R + Q^2/R) < 0, where m is the total mass, R=sqrt(A/4) is the area radius of the outermost horizon and Q is the total charge. This yields a counter-example to a natural extension of the Penrose Inequality to charged black holes.


title: A new formula for the nth prime

abstract: Formula for the nth prime using elementary arithmetical functions based in a previous formula changing the characteristic function of prime numbers.


title: Rigorous numerical models for the dynamics of complex Henon mappings on their chain recurrent sets

abstract: We describe a rigorous and efficient computer algorithm for building a model of the dynamics of a polynomial diffeomorphism of C^2 on its chain recurrent set, and for sorting points into approximate chain transitive components. Further, we give explicit estimates which quantify how well this algorithm approximates the chain recurrent set and distinguishes the chain transitive components. We also discuss our implementation for the family of Henon mappings, f_{a,c}(x,y) = (x^2 + c - ay, x), into a computer program called Hypatia, and give several examples of running Hypatia on Henon mappings.


title: Constructing an expanding metric for dynamical systems in one complex variable

abstract: We describe a rigorous computer algorithm for attempting to construct an explicit, discretized metric for which a complex polynomial map is expansive on a given neighborhood of its Julia set. We show construction of such a metric proves the map is hyperbolic. We also examine the question of whether the algorithm can be improved, and the related question of how to build a metric as close to euclidean as possible. Finally, we give several examples generated with our implementation of this algorithm.


title: A numerical method for constructing the hyperbolic structure of complex Henon mappings

abstract: For complex parameters a,c, we consider the Henon mapping H_{a,c}: C^2 -> C^2 given by (x,y) -> (x^2 +c -ay, x), and its Julia set, J. In this paper, we describe a rigorous computer program for attempting to construct a cone field in the tangent bundle over J, which is preserved by DH, and a continuous norm in which DH (and DH^{-1}) uniformly expands the cones (and their complements). We show a consequence of a successful construction is a proof that H is hyperbolic on J. We give several new examples of hyperbolic maps, produced with our computer program, Hypatia, which implements our methods.


title: Braided Cyclic Cocycles and Non-Associative Geometry

abstract: We use monoidal category methods to study the noncommutative geometry of nonassociative algebras obtained by a Drinfeld-type cochain twist. These are the so-called quasialgebras and include the octonions as braided-commutative but nonassociative coordinate rings, as well as quasialgebra versions $\CC_{q}(G)$ of the standard q-deformation quantum groups. We introduce the notion of ribbon algebras in the category, which are algebras equipped with a suitable generalised automorphism $\sigma$, and obtain the required generalisation of cyclic cohomology. We show that this \emph{braided cyclic cocohomology} is invariant under a cochain twist. We also extend to our generalisation the relation between cyclic cohomology and differential calculus on the ribbon quasialgebra. The paper includes differential calculus and cyclic cocycles on the octonions as a finite nonassociative geometry, as well as the algebraic noncommutative torus as an associative example.


title: Fibonomial cumulative connection constants

abstract: In this note we present examples of cumulative connection constants included new fibonomial ones. All examples posses combinatorial interpretation.


title: Minimal dynamical systems on the product of the Cantor set and the circle

abstract: We prove that a crossed product algebra arising from a minimal dynamical system on the product of the Cantor set and the circle has real rank zero if and only if that system is rigid. In the case that cocycles take values in the rotation group, it is also shown that rigidity implies tracial rank zero, and in particular, the crossed product algebra is isomorphic to a unital simple AT-algebra of real rank zero. Under the same assumption, we show that two systems are approximately $K$-conjugate if and only if there exists a sequence of isomorphisms between two associated crossed products which approximately maps $C(X\times \T)$ onto $C(X\times \T)$.


title: Boundary case of equality in optimal Loewner-type inequalities

abstract: We prove certain optimal systolic inequalities for a closed Riemannian manifold (X,g), depending on a pair of parameters, n and b. Here n is the dimension of X, while b is its first Betti number. The proof of the inequalities involves constructing Abel-Jacobi maps from X to its Jacobi torus T^b, which are area-decreasing (on b-dimensional areas), with respect to suitable norms. These norms are the stable norm of g, the conformally invariant norm, as well as other L^p-norms. The case of equality is characterized in terms of the criticality of the lattice of deck transformations of T^b, while the Abel-Jacobi map is a harmonic Riemannian submersion. That the resulting inequalities are actually nonvacuous follows from an isoperimetric inequality of Federer and Fleming, in the assumption of the nonvanishing of the homology class of the lift of the typical fiber of the Abel-Jacobi map to the maximal free abelian cover.


title: Cohomogeneity-Three HyperK\"ahler Metrics on Nilpotent Orbits

abstract: Let O be a nilpotent orbit in g^C where G is a compact, simple group and g=Lie(G). It is known that O carries a unique G-invariant hyperK\"ahler metric admitting a hyperK\"ahler potential compatible with the Kirillov-Kostant-Souriau symplectic form. In this work, the hyperK\"ahler potential is explicitly calculated when O is of cohomogeneity three under the action of G. It is found that such a structure lies on a one-parameter family of hyperK\"ahler metrics with G-invariant K\"ahler potentials if and only if g is sp(3), su(6), so(7), so(12) or e_7 and otherwise is the unique G-invariant hyperK\"ahler metric with G-invariant K\"ahler potential.


title: Flat linear connections in terms of flat linear transports in tensor bundles

abstract: The parallel linear transports defined by flat linear connection are axiomatically described. On this basis a number of properties, some of which are new, of these transports and connections are derived.


title: The exceptional holonomy groups and calibrated geometry

abstract: The exceptional holonomy groups are G2 in 7 dimensions, and Spin(7) in 8 dimensions. Riemannian manifolds with these holonomy groups are Ricci-flat. This is a survey paper on exceptional holonomy, in two parts. Part I introduces the exceptional holonomy groups, and explains constructions for compact 7- and 8-manifolds with holonomy G2 and Spin(7). The simplest such constructions work by using techniques from complex geometry and Calabi-Yau analysis to resolve the singularities of a torus orbifold T^7/G or T^8/G, for G a finite group preserving a flat G2 or Spin(7)-structure on T^7 or T^8. There are also more complicated constructions which begin with a Calabi-Yau manifold or orbifold. Part II discusses the calibrated submanifolds of G2 and Spin(7)-manifolds: associative 3-folds and coassociative 4-folds for G2, and Cayley 4-folds for Spin(7). We explain the general theory, following Harvey and Lawson, and the known examples. Finally we describe the deformation theory of compact calibrated submanifolds, following McLean.


title: Vanishing of L-functions of elliptic curves over number fields

abstract: Let $E$ be an elliptic curve over $\mathbb{Q}$, with L-function $L_E(s)$. For any primitive Dirichlet character $\chi$, let $L_E(s, \chi)$ be the L-function of $E$ twisted by $\chi$. In this paper, we use random matrix theory to study vanishing of the twisted L-functions $L_E(s, \chi)$ at the central value $s=1$. In particular, random matrix theory predicts that there are infinitely many characters of order 3 and 5 such that $L_E(1, \chi)=0$, but that for any fixed prime $k \geq 7$, there are only finitely many character of order $k$ such that $L_E(1, \chi)$ vanishes. With the Birch and Swinnerton-Dyer Conjecture, those conjectures can be restated to predict the number of cyclic extensions $K/\mathbb{Q}$ of prime degree such that $E$ acquires new rank over $K$.


title: Growth rates of amenable groups

abstract: Let $F_m$ be a free group with $m$ generators and let $R$ be its normal subgroup such that $F_m/R$ projects onto $\zz$. We give a lower bound for the growth rate of the group $F_m/R'$ (where $R'$ is the derived subgroup of $R$) in terms of the length $\rho=\rho(R)$ of the shortest nontrivial relation in $R$. It follows that the growth rate of $F_m/R'$ approaches $2m-1$ as $\rho$ approaches infinity. This implies that the growth rate of an $m$-generated amenable group can be arbitrarily close to the maximum value $2m-1$. This answers an open question by P. de la Harpe. In fact we prove that such groups can be found already in the class of abelian-by-nilpotent groups as well as in the class of finite extensions of metabelian groups.


title: Special involutions and bulky parabolic subgroups in finite Coxeter groups

abstract: The conjugacy classes of so-called special involutions parameterize the constituents of the action of a finite Coxeter group on the cohomology of the complement of its complexified hyperplane arrangement. In this note we give a short intrinsic characterisation of special involutions in terms of so-called bulky parabolic subgroups.


title: Weak convergence of positive self-similar Markov processes and overshoots of L\'{e}vy processes

abstract: Using Lamperti's relationship between L\'{e}vy processes and positive self-similar Markov processes (pssMp), we study the weak convergence of the law $\mathbb{P}_x$ of a pssMp starting at $x>0$, in the Skorohod space of c\`{a}dl\`{a}g paths, when $x$ tends to 0. To do so, we first give conditions which allow us to construct a c\`{a}dl\`{a}g Markov process $X^{(0)}$, starting from 0, which stays positive and verifies the scaling property. Then we establish necessary and sufficient conditions for the laws $\mathbb{P}_x$ to converge weakly to the law of $X^{(0)}$ as $x$ goes to 0. In particular, this answers a question raised by Lamperti [Z. Wahrsch. Verw. Gebiete 22 (1972) 205--225] about the Feller property for pssMp at $x=0$.


title: Integral generators for the cohomology ring of moduli spaces of sheaves over Poisson surfaces

abstract: Let M be a smooth and compact moduli space of stable coherent sheaves on a projective surface S with an effective (or trivial) anti-canonical line bundle. We find generators for the cohomology ring of M, with integral coefficients. When S is simply connected and a universal sheaf E exists over SxM, then its class [E] admits a Kunneth decomposition as a class in the tensor product of the topological K-rings K(S) and K(M). The generators are the Chern classes of the Kunneth factors of [E] in K(M). The general case is similar


title: Proof of the Double Bubble Conjecture

abstract: We prove that the standard double bubble provides the least-area way to enclose and separate two regions of prescribed volume in \Bbb R^3.


title: An uncertainty principle for arithmetic sequences

abstract: Analytic number theorists usually seek to show that sequences which appear naturally in arithmetic are ``well-distributed'' in some appropriate sense. In various discrepancy problems, combinatorics researchers have analyzed limitations to equi-distribution, as have Fourier analysts when working with the ``uncertainty principle''. In this article we find that these ideas have a natural setting in the analysis of distributions of sequences in analytic number theory, formulating a general principle, and giving several examples.


title: Sign-graded posets, unimodality of $W$-polynomials and the Charney-Davis Conjecture

abstract: We generalize the notion of graded posets to what we call sign-graded (labeled) posets. We prove that the $W$-polynomial of a sign-graded poset is symmetric and unimodal. This extends a recent result of Reiner and Welker who proved it for graded posets by associating a simplicial polytopal sphere to each graded poset $P$. By proving that the $W$-polynomials of sign-graded posets has the right sign at -1, we are able to prove the Charney-Davis Conjecture for these spheres (whenever they are flag).


title: Elliptic Operators and Higher Signatures

abstract: Building on the theory of elliptic operators, we give a unified treatment of the following topics: - the problem of homotopy invariance of Novikov's higher signatures on closed manifolds; - the problem of cut-and-paste invariance of Novikov's higher signatures on closed manifolds; - the problem of defining higher signatures on manifolds with boundary and proving their homotopy invariance.


title: Geometrie affine Geometrie symplectique

abstract: Let (M,w,L) be a symplectic manifold endowed with a lagrangian foliation L. Liberman and Weinstein have shown that the leaves of L are endowed with an affine structure. In this paper we provide links between the theories of affine manifolds and symplectic geometry. Using the work of Donaldson who have shown the existence of symplectic submanifolds in every codimension, we show the Auslander conjecture to be true if the linear holonomy is contained in Gl(n,Z)


title: Asymptotics of multivariate sequences, II: multiple points of the singular variety

abstract: We consider a multivariate generating function F(z), whose coefficients are indexed by d-tuples of nonnegative integers: F(z) = sum_r a_r z^r where z^r denotes the product of z_j^{r_j} over j = 1, ..., d. Suppose that F(z) is meromorphic in some neighborhood of the origin in complex d-space. Let V be the set where the denominator of F vanishes. Effective asymptotic expansions for the coefficients can be obtained by complex contour integration near points of V. In the first article in this series, we treated the case of smooth points of V. In this article we deal with multiple points of V. Our results show that the central limit (Ornstein-Zernike) behavior typical of the smooth case does not hold in the multiple point case. For example, when V has a multiple point singularity at the point (1, ..., 1), rather than a_r decaying on the order of |r|^{-1/2} as |r| goes to infinity, a_r is a polynomial plus a rapidly decaying term.


title: A criterion for the logarithmic differential operators to be generated by vector fields

abstract: We study divisors in a complex manifold in view of the property that the algebra of logarithmic differential operators along the divisor is generated by logarithmic vector fields. We give a sufficient criterion for the property, a simple proof of F.J. Calderon-Moreno's theorem that free divisors have the property, a proof that divisors in dimension 3 with only isolated quasi-homogeneous singularities have the property, an example of a non-free divisor with non-isolated singularity having the property, an example of a divisor not having the property, and an algorithm to compute the V-filtration along a divisor up to a given order.


title: A Survey of Graph Pebbling

abstract: We survey results on the pebbling numbers of graphs as well as their historical connection with a number-theoretic question of Erd\H os and Lemke. We also present new results on two probabilistic pebbling considerations, first the random graph threshold for the property that the pebbling number of a graph equals its number of vertices, and second the pebbling threshold function for various natural graph sequences. Finally, we relate the question of the existence of pebbling thresholds to a strengthening of the normal property of posets, and show that the multiset lattice is not supernormal.


title: Divisibility tests and recurring decimals in Euclidean domains

abstract: In this article, we try to explain and unify standard divisibility tests found in various books. We then look at recurring decimals, and list a few of their properties. We show how to compute the number of digits in the recurring part of any fraction. Most of these results are accompanied by a proof (along with the assumptions needed), that works in a Euclidean domain. We then ask some obvious questions related to the results, and mention some similar questions that have been answered. In the final section (written jointly with P. Moree), some quantitative statements regarding the asymptotic behaviour of various sets of primes satisfying related properties, are considered.


title: Topological invariants of O'Grady's six dimensional irreducible symplectic variety

abstract: We study O'Grady examples of irreducible symplectic varieties: we establish that both of them can be deformed into lagrangian fibrations. We analyse in detail the topology of the six dimensional example: in particular we compute its Euler characteristic and determine its Beauville form.


title: Local pointwise estimates for solutions of the $\sigma_2$ curvature equation on 4 manifolds

abstract: The study of the $k$-th elementary symmetric function of the Weyl-Schouten curvature tensor of a Riemannian metric, the so called $\sigma_k$ curvature, has produced many fruitful results in conformal geometry in recent years, especially when the dimension of the underlying manifold is 3 or 4. In these studies, the deforming conformal factor is considered to be a solution of a fully nonlinear elliptic PDE. Important advances have been made in recent years in the understanding of the analytic behavior of solutions of the PDE, including the adaptation of Bernstein type estimates in integral form, global and local derivative estimates, classification of entire solutions and analysis of blowing up solutoins. Most of these results require derivative bounds on the $\sigma_k$ curvature. The derivative estimates also require an a priori $L^{\infty}$ bound on the solution. This work provides local $L^{\infty}$ and Harnack estimates for solutions of the $\sigma_2$ curvature equation on 4 manifolds, under only $L^p$ bounds on the $\sigma_2$ curvature, and the natural assumption of small volume(or total $\sigma_2$ curvature).


title: Classification of singular radial solutions to the $\sigma_k$ Yamabe equation on annular domains

abstract: The study of the $k$-th elementary symmetric function of the Weyl-Schouten curvature tensor of a Riemannian metric, the so called $\sigma_k$ curvature, has produced many fruitful results in conformal geometry in recent years. In these studies, the deforming conformal factor is considered to be a solution of a fully nonlinear elliptic PDE. Important advances have been made in recent years in the understanding of the analytic behavior of solutions of the PDE. However, the singular behavior of these solutions, which is important in describing many important questions in conformal geometry, is little understood. This note classifies all possible radial solutions, in particular, the \emph{singular} solutions of the $\sigma_k$ Yamabe equation, which describes conformal metrics whose $\sigma_k$ curvature equals a constant. Although the analysis involved is of elementary nature, these results should provide useful guidance in studying the behavior of singular solutions in the general situation.


title: Bando-Futaki Invariants on Hypersurfaces

abstract: In this paper, the Bando-Futaki invariants on hypersurfaces are derived in terms of the degree of the defining polynomials, the dimension of the underlying projective space, and the given holomorphic vector field. In addition, the holomorphic invariant introduced by Tian and Chen (Ricci Flow on K\"ahler-Einstein surfaces) is proven to be the Futaki invariant on compact K\"ahler manifolds with positive first Chern class.


title: Vector bundles and theta functions on curves of genus 2 and 3

abstract: Let C be a curve of genus g, and let SU(r) be the moduli space of vector bundles of rank r on C, with trivial determinant. A general E in SU(r) defines a theta divisor in the linear system |r Theta|, where Theta is the canonical theta divisor in Pic^{g-1}(C). This defines a rational map SU(r) - - > |r Theta|, which is the map associated to the determinant bundle on SU(r) (the positive generator of Pic(SU(r)). In this paper we prove that in genus 2 this map is generically finite and dominant. The same method, together with some classical work of Morin, shows that in rank 3 and genus 3 the theta map is a finite morphism -- in other words, every E in SU(3) admits a theta divisor.


title: Planar Clusters

abstract: We provide upper and lower bounds on the least-perimeter way to enclose and separate n regions of equal area in the plane. Along the way, inside the hexagonal honeycomb, we provide minimizers for each n .


title: Super Toeplitz operators on line bundles

abstract: Let L^k be a high power of a hermitian holomorphic line bundle over a complex manifold X. Given a differential form f on X, we define a super Toeplitz operator T(f) acting on the space of harmonic (0,q)-forms with values in L^k, with symbol f. The asymptotic distribution of its eigenvalues, when k tends to infinity, is obtained in terms of the symbol of the operator and the curvature of the line bundle L, given certain conditions on the curvature. For example, already when q=0 this generalizes a result of Boutet de Monvel and Guillemin to semi-positive line bundles. The asymptotics are obtained from the asymptotics of the Bergman kernels of the corresponding harmonic spaces. Applications to sampling are also given.


title: Primitive root producing quadratics

abstract: D.H. Lehmer found a quadratic polynomial such that 326 is a primitive root for the first 206 primes represented by this polynomial. It is shown that this is related to the class number one problem and prime producing quadratics. An algorithm is described to find more impressive examples in the same spirit. Y. Gallot used it to establish the current record in which 206 is being replaced by 31082.


title: Iterated extensions in module categories

abstract: Let k be an algebraically closed field, let R be an associative k-algebra, and let F = {M_a: a in I} be a family of orthogonal points in R-Mod such that End_R(M_a) = k for all a in I. Then Mod(F), the minimal full sub-category of R-Mod which contains F and is closed under extensions, is a full exact Abelian subcategory of R-Mod and a length category in the sense of Gabriel. In this paper, we use iterated extensions to relate the length category Mod(F) to noncommutative deformations of modules, and use some new methods to study Mod(F) via iterated extensions. In particular, we give a new proof of the characterization of uniserial length categories, which is constructive. As an application, we give an explicit description of some categories of holonomic and regular holonomic D-modules on curves which are uniserial length categories.


title: Constructions of vertex operator coalgebras via vertex operator algebras

abstract: The notion of vertex operator coalgebra is presented which corresponds to the family of correlation functions of one string propagating in space-time splitting into n strings in conformal field theory. This notion is in some sense dual to the notion of vertex operator algebra. We prove that any vertex operator algebra equipped with a non-degenerate, Virasoro preserving, bilinear form gives rise to a corresponding vertex operator coalgebra.


title: Absolutely Continuous Representations and a Kaplansky Density Theorem for Free Semigroup Algebras

abstract: We introduce notions of absolutely continuous functionals and representations on the non-commutative disk algebra $A_n$. Absolutely continuous functionals are used to help identify the type L part of the free semigroup algebra associated to a $*$-extendible representation $\sigma$. A $*$-extendible representation of $A_n$ is ``regular'' if the absolutely continuous part coincides with the type L part. All known examples are regular. Absolutely continuous functionals are intimately related to maps which intertwine a given $*$-extendible representation with the left regular representation. A simple application of these ideas extends reflexivity and hyper-reflexivity results. Moreover the use of absolute continuity is a crucial device for establishing a density theorem which states that the unit ball of $\sigma(A_n)$ is weak-$*$ dense in the unit ball of the associated free semigroup algebra if and only if $\sigma$ is regular. We provide some explicit constructions related to the density theorem for specific representations. A notion of singular functionals is also defined, and every functional decomposes in a canonical way into the sum of its absolutely continuous and singular parts.


title: The cone length and category of maps: pushouts, products and fibrations

abstract: For any collection of spaces A, we investigate two non-negative integer homotopy invariants of maps: l_A(f), the A-cone length of f, and L_A(f), the A-category of f. When A is the collection of all spaces, these are the cone length and category of f, respectively, both of which have been studied previously. The following results have been obtained: (1) For a map of one homotopy pushout diagram into another, we derive an upper bound for I_A and L_A of the induced map of homotopy pushouts in terms of I_A and L_A of the other maps. This has many applications including an inequality for I_A and L_A of the maps in a mapping of one mapping cone sequence into another. (2) We establish an upper bound for I_A and L_A of the product of two maps in terms of I_A and L_A of the given maps and the A-cone length of their domains. (3) We study our invariants in a pullback square and obtain as a consequence an upper bound for the A-cone length and A-category of the total space of a fibration in terms of the A-cone length and A-category of the base and fiber. We conclude with several remarks, examples and open questions.


title: Entropy waves, the zig-zag graph product, and new constant-degree

abstract: The main contribution of this work is a new type of graph product, which we call the {\it zig-zag product}. Taking a product of a large graph with a small graph, the resulting graph inherits (roughly) its size from the large one, its degree from the small one, and its expansion properties from both! Iteration yields simple explicit constructions of constant-degree expanders of arbitrary size, starting from one constant-size expander. Crucial to our intuition (and simple analysis) of the properties of this graph product is the view of expanders as functions which act as ``entropy wave" propagators -- they transform probability distributions in which entropy is concentrated in one area to distributions where that concentration is dissipated. In these terms, the graph products affords the constructive interference of two such waves. Subsequent work [ALW01], [MW01] relates the zig-zag product of graphs to the standard semidirect product of groups, leading to new results and constructions on expanding Cayley graphs.


title: Curvature of Multiply Warped Products

abstract: In this paper, we study Ricci-flat and Einstein Lorentzian multiply warped products. We also consider the case of having constant scalar curvatures for this class of warped products. Finally, after we introduce a new class of spacetimes called as generalized Kasner space-times, we apply our results to this kind of space-times as well as other relativistic space-times, i.e., Reissner-Nordstrom, Kasner space-times, Banados-Teitelboim-Zanelli and de Sitter Black hole solutions.


title: Universal circles for quasigeodesic flows

abstract: We show that if M is a hyperbolic 3-manifold which admits a quasigeodesic flow, then pi_1(M) acts faithfully on a universal circle by homeomorphisms, and preserves a pair of invariant laminations of this circle. As a corollary, we show that the Thurston norm can be characterized by quasigeodesic flows, thereby generalizing a theorem of Mosher, and we give the first example of a closed hyperbolic 3-manifold without a quasigeodesic flow, answering a long-standing question of Thurston.


title: Instability results for the damped wave equation in unbounded domains

abstract: We extend some previous results for the damped wave equation in bounded domains in Euclidean spaces to the unbounded case. In particular, we show that if the damping term is of the form $\alpha a$ with bounded $a$ taking on negative values on a set of positive measure, then there will always exist unbounded solutions for sufficiently large positive $\alpha$. In order to prove these results, we generalize some existing results on the asymptotic behaviour of eigencurves of one-parameter families of Schrodinger operators to the unbounded case, which we believe to be of interest in their own right.


title: The Algebra of Strand Splitting. I. A Braided Version of Thompson's Group V

abstract: We construct a braided version of Thompson's group V.


title: The Algebra of Strand Splitting. II. A Presentation for the Braid Group on One Strand

abstract: Presentations are computed for a braided version BV of Thompson's group V and for V itself showing that there is an Artin group/Coxeter group relation between them. The presentation for V is obtained from that for BV by declaring all that all generators are involutions.


title: On the Zappa-Szep Product

abstract: The Zappa-Szep product was developed independently by Guido Zappa and Jeno Szep as a generalization of the semidirect product: in the Zappa-Szep product, neither factor is required to be normal. We explore the basic properties of the product and show that it applies to settings more general than groups. The product is remarkable in that it requires almost no hypotheses to fuction at all and is adaptable to a very large number of situations.


title: Tail Invariant Measures of the Dyck Shift

abstract: We show that the one-sided Dyck shift has a unique tail invariant topologically $\sigma$-finite measure (up to scaling). This invariant measure of the one sided Dyck turns out to be a shift-invariant probability. Furthermore, it is one of the two ergodic probabilities obtaining maximal entropy. For the two sided Dyck shift we show that there are exactly three ergodic double-tail invariant probabilities. We show that the two sided Dyck has a double-tail invariant probability, which is also shift invariant, with entropy strictly less than the topological entropy.


title: Higher Dimensional Thompson Groups

abstract: We construct a "higher dimensional" version 2V of Thompson's group V. Like V it is an infinite, finitely presented, simple subgroup of the homeomorphism group of the Cantor set, but we show that it is not isomorphic to V by showing that the actions on the Cantor set are not topologically conjugate: 2V has an element with "chaotic" action, while V cannot have such an element. A theorem of Rubin is then applied which shows that for these two groups, isomorphism would imply topological conjugacy.


title: Exponents for B-stable ideals

abstract: Let G be a simple algebraic group over the complex numbers containing a Borel subgroup B. Given a B-stable ideal I in the nilradical of the Lie algebra of B, we define natural numbers $m_1, m_2, ..., m_k$ which we call ideal exponents. We then propose two conjectures where these exponents arise, proving these conjectures in types A_n, B_n, C_n and some other types. When I is zero, we recover the usual exponents of G by Kostant and one of our conjectures reduces to a well-known factorization of the Poincare polynomial of the Weyl group. The other conjecture reduces to a well-known result of Arnold-Brieskorn on the factorization of the characteristic polynomial of the corresponding Coxeter hyperplane arrangement.


title: Zeros of polynomials over Cayley-Dickson algebras

abstract: The article is devoted to the investigation of transformation groups of polynomials over Cayley-Dickson algebras and their manifolds of zeros. The problems about expressibility of zeros with the help of roots and decomposibility of polynomials as products of linear terms are studied.


title: Some remarks on another proof of geometrical Paley-Wiener theorems for the Dunkl transform

abstract: We argue that another proof by Trimeche of the geometrical form of the Paley-Wiener theorems for the Dunkl transform is not correct.


title: Infinitesimal form boundedness and Trudinger's subordination for the Schr\"odinger operator

abstract: We give explicit analytic criteria for two problems associated with the Schr\"odinger operator $H = -\Delta + Q$ on $L^2(\R^n)$ where $Q\in D'(\R^n)$ is an arbitrary real- or complex-valued potential. First, we obtain necessary and sufficient conditions on $Q$ so that the quadratic form $<Q \cdot, \cdot>$ has zero relative bound with respect to the Laplacian. For $Q\in L^1_{\rm loc}(\R^n)$, this property can be expressed in the form of the integral inequality: $$ | \int_{\R^n} |u(x)|^2 Q(x) dx | \leq \epsilon ||\nabla u||^2_{L^2(\R^n)} + C(\epsilon) ||u||^2_{L^2(\R^n)}, \quad \forall u \in C^\infty_0(\R^n), $$ for an arbitrarily small $\epsilon >0$ and some $C(\epsilon)> 0$. Secondly, we characterize Trudinger's subordination property where $C(\epsilon)$ in the above inequality is subject to the condition $C(\epsilon) \le c {\epsilon^{-\beta}}$ ($\beta>0$) as $\epsilon\to +0$. Such quadratic form inequalities can be understood entirely in the framework of Morrey--Campanato spaces, using mean oscillations of $\nabla (1-\Delta)^{-1} Q$ and $(1-\Delta)^{-1} Q$ on balls or cubes. As a consequence, we characterize the class of those $Q$ which satisfy a multiplicative quadratic from inequality of Nash's type.


title: Zero entropy and bounded topology

abstract: We study the existence of Riemannian metrics with zero topological entropy on a closed manifold M with infinite fundamental group. We show that such a metric does not exist if there is a finite simply connected CW complex which maps to M in such a way that the rank of the map induced in the pointed loop space homology grows exponentially. This result allows us to prove in dimensions four and five, that if M admits a metric with zero entropy then its universal covering has the rational homotopy type of a finite elliptic CW complex. We conjecture that this is the case in every dimension.


title: Quasistationary distributions for one-dimensional diffusions with killing

abstract: We extend some results on the convergence of one-dimensional diffusions killed at the boundary, conditioned on extended survival, to the case of general killing on the interior. We show, under fairly general conditions, that a diffusion conditioned on long survival either runs off to infinity almost surely, or almost surely converges to a quasistationary distribution given by the lowest eigenfunction of the generator. In the absence of internal killing, only a sufficiently strong inward drift can keep the process close to the origin, to allow convergence in distribution. An alternative, that arises when general killing is allowed, is that the conditioned process is held near the origin by a high rate of killing near infinity. We also extend, to the case of general killing, the standard result on convergence to a quasistationary distribution of a diffusion on a compact interval.


title: A Note on Graph Pebbling

abstract: We say that a graph G is Class 0 if its pebbling number is exactly equal to its number of vertices. For a positive integer d, let k(d) denote the least positive integer so that every graph G with diameter at most d and connectivity at least k(d) is Class 0. The existence of the function k was conjectured by Clarke, Hochberg and Hurlbert, who showed that if the function k exists, then it must satisfy k(d)=\Omega(2^d/d). In this note, we show that k exists and satisfies k(d)=O(2^{2d}). We also apply this result to improve the upper bound on the random graph threshold of the Class 0 property.


title: Special Standard Static Space-Times

abstract: Essentially, some conditions for the Riemannian factor and the warping function of a standard static space-time are obtained in order to guarantee that no nontrivial warping function on the Riemannian factor can make the standard static space-time Einstein.


title: Leibniz, Randomness and the Halting Probability

abstract: This paper, which is dedicated to Alan Turing on the 50th anniversary of his death, gives an overview and discusses the philosophical implications of incompleteness, uncomputability and randomness.


title: Thurston's bending measure conjecture for once punctured torus groups

abstract: We prove Thurston's bending measure conjecture for quasifuchsian once punctured torus groups. The conjecture states that the bending measures of the two components of the convex hull boundary uniquely determine the group.


abstract: We define and study a notion of Gorenstein projective dimension for complexes of left modules over associative rings. For complexes of finite Gorenstein projective dimension we define and study a Tate cohomology theory. Tate cohomology groups have a natural transformation to classical Ext groups. In the case of module arguments, we show that these maps fit into a long exact sequence, where every third term is a relative cohomology group defined for left modules of finite Gorenstein projective dimension.


title: The nonlinear Schr\"odinger equation on the hyperbolic space

abstract: In this article we study some aspects of dispersive and concentration phenomena for the Schr\"odinger equation posed on hyperbolic space $\mathbb{H}^n$, in order to see if the negative curvature of the manifold gets the dynamics more stable than in the Euclidean case. It is indeed the case for the dispersive properties : we prove that the dispersion inequality is valid, in a stronger form than the one on $\mathbb{R}^n$. However, the geometry does not have enough of an effect to avoid the concentration phenomena and the picture is actually worse than expected. The critical nonlinearity power for blow-up turns out to be the same as in the euclidean case, and we prove that there are more explosive solutions for critical and supercritical nonlinearities.


title: On a class of one-sided Markov shifts

abstract: We study one-sided Markov shifts, corresponding to positively recurrent Markov chains with countable (finite or infinite) state spaces. The following classification problem is considered: when two one-sided Markov shifts are isomorphic up to a measure preserving isomorphism In this paper we solve the problem for the class of rho-uniform (or finitely rho-Bernoulli) one-sided Markov shifts considered in Ru_6 We show that every ergodic rho-uniform Markov shift T can be represented in a canonical form T = T_G by means of a canonical (uniquely determined by T) stochastic graph G. In the canonical form, two such shifts T_{G_1} and T_{G_2} are isomorphic if and only if their canonical stochastic graphs G_1 and G_2 are isomorphic.


title: Standard bases for affine parabolic modules and nonsymmetric Macdonald polynomials

abstract: We establish a connection between (degenerate) nonsymmetric Macdonald polynomials and standard bases and dual standard bases of maximal parabolic modules of affine Hecke algebras. Along the way we prove a (weak) polynomiality result for coefficients of symmetric and nonsymmetric Macdonald polynomials.


title: Tours de torseurs, geometrie differentielle des suites de fibres principaux, et theorie des cordes

abstract: In this paper we interpret cohomological class using the notion of tower of torsors, we apply our construction to string theory.


title: Quantum- and Quasi-Plucker Coordinates

abstract: We demonstrate a passage from the "quasi-Plucker coordinates" of Gelfand and Retakh, to the quantum Plucker coordinates built from q-generic matrices. In the process, we rediscover the defining relations of the quantum Grassmannian of Taft and Towber and provide that algebra with more concrete geometric origins.


title: Consistency Strengths of Modified Maximality Principles

abstract: The Maximality Principle MP is a scheme which states that if a sentence of the language of ZFC is true in some forcing extension V^P, and remains true in any further forcing extension of V^P, then it is true in all forcing extensions of V. A modified maximality principle MP_Gamma arises when considering forcing with a particular class Gamma of forcing notions. A parametrized form of such a principle, MP_Gamma(X), considers formulas taking parameters; to avoid inconsistency such parameters must be restricted to a specific set X which depends on the forcing class Gamma being considered. A stronger necessary form of such a principle, Box MP_Gamma(X), occurs when it continues to be true in all Gamma forcing extensions. This study uses iterated forcing, modal logic, and other techniques to establish consistency strengths for various modified maximality principles restricted to various forcing classes, including CCC, COHEN, COLL (the forcing notions that collapse ordinals to omega), <kappa directed closed forcing notions, etc., both with and without parameter sets. Necessary forms of these principles are also considered.


title: Exponents of Diophantine Approximation and Sturmian Continued Fractions

abstract: Let x be a real number and let n be a positive integer. We define four exponents of Diophantine approximation, which complement the exponents w_n(x) and w_n^*(x) defined by Mahler and Koksma. We calculate their six values when n=2 and x is a real number whose continued fraction expansion coincides with some Sturmian sequence of positive integers, up to the initial terms. In particular, we obtain the exact exponent of approximation to such a continued fraction x by quadratic surds.


title: Exponents of inhomogeneous Diophantine Approximation

abstract: In Diophantine approximation, inhomogeneous problems are linked with homogeneous ones by means of the so-called Transference Theorems. We revisit this classical topic by introducing new exponents of Diophantine approximation. We prove that the exponent of approximation to a generic point in R^n by a system of n linear forms is equal to the inverse of the uniform homogeneous exponent associated to the system of dual forms.


title: Equivariant Quantum Schubert Calculus

abstract: We study the T-equivariant quantum cohomology of the Grassmannian. We prove the vanishing of a certain class of equivariant quantum Littlewood-Richardson coefficients, which implies an equivariant quantum Pieri rule. As in the equivariant case, this implies an algorithm to compute the equivariant quantum Littlewood-Richardson coefficients.


title: Short-term equity dynamics and endogenous market fluctuations

abstract: We present a model that investigates the spontaneous emergence of randomness in equity market microstructure. The phase space analysis of our model exposes an endogenous source of fluctuation in price and volume. We formulate a control problem for maximizing price regularity and stability while minimizing entanglement with the market, representing the NYSE specialists' affirmative obligation to maintain `fair and orderly markets'.


title: Thresholds for families of multisets, with an application to graph pebbling

abstract: In this paper we prove two multiset analogs of classical results. We prove a multiset analog of Lovasz's version of the Kruskal-Katona Theorem and an analog of the Bollobas-Thomason threshold result. As a corollary we obtain the existence of pebbling thresholds for arbitrary graph sequences. In addition, we improve both the lower and upper bounds for the `random pebbling' threshold of the sequence of paths.


title: Connected Components of the Space of Surface Group Representations II

abstract: In math.SG/0303255, we discussed the connected components of the space of surface group representations for any compact connected semisimple Lie group and any closed compact (orientable or nonorientable) surface. In this sequel, we generalize the results in math.SG/0303255 in two directions: we consider general compact connected Lie groups, and we consider all compact surfaces, including the ones with boundaries. We also interpret our results in terms of moduli spaces of flat connections over compact surfaces.


title: Finite Element Technique for Solving the Stream Function Form of a Linearized Navier-Stokes Equations Using Argyris Element

abstract: The numerical implementation of finite element discretization method for the stream function formulation of a linearized Navier-Stokes equations is considered. Algorithm 1 is applied using Argyris element. Three global orderings of nodes are selected and registered in order to conclude the best banded structure of matrix and a fluid flow calculation is considered to test a problem which has a known solution. Visualization of global node orderings, matrix sparsity patterns and stream function contours are displayed showing the main features of the flow.


title: Beyond the classical Weyl and Colin de Verdiere's formulas for Schrodinger operators with polynomial magnetic and electric fields

abstract: We present a pair of conjectural formulas that compute the leading term of the spectral asymptotics of a Schr\"odinger operator on $L^2(\bR^n)$ with quasi-homogeneous polynomial magnetic and electric fields. The construction is based on the orbit method due to Kirillov. It makes sense for any nilpotent Lie algebra and is related to the geometry of coadjoint orbits, as well as to the growth properties of certain ``algebraic integrals,'' studied by Nilsson. By using the direct variational method, we prove that the formulas give the correct answer not only in the ``regular'' cases where the classical formulas of Weyl or Colin de Verdi\`ere are applicable but in many ``irregular'' cases, with different types of degeneration of potentials.


title: Mp-small summands increase knot width

abstract: Scharlemann and Schultens have shown that for any pair of knots K_1 and K_2, w(K_1 # K_2) is greater than or equal to max{w(K_1),w(K_2)}. Scharlemann and Thompson have given a scheme for possible examples where equality holds. Using results of Scharlemann-Schultens, Rieck-Sedgwick and Thompson, it is shown that for K the connected sum of mp-small knots and K' any non-trivial knot, w(K # K')>w(K).


title: A geometric construction of crystal graphs using quiver varieties: Extension to the non-simply laced case

abstract: We consider a generalization of the quiver varieties of Lusztig and Nakajima to the case of all symmetrizable Kac-Moody Lie algebras. To deal with the non-simply laced case one considers admissible automorphisms of a quiver and the irreducible components of the quiver varieties fixed by this automorphism. We define a crystal structure on these irreducible components and show that the crystals obtained are isomorphic to those associated to the crystal bases of the lower half of the universal enveloping algebra and the irreducible highest weight representations of the non-simply laced Kac-Moody Lie algebra. As an application, we realize the crystal of the spin representation of so_{2n+1} on the set of self-conjugate Young diagrams that fit inside an n by n box.


title: L^1-convergence of complex double Fourier series

abstract: It is proved that the complex double Fourier series of an integrable function $f(x,y)$ with coefficients $\{c_{jk}\}$ satisfying certain conditions, will converge in $L^{1}$-norm. The conditions used here are the combinations of Tauberian condition of Hardy--Karamata kind and its limiting case. This paper extends the result of Bray [1] to complex double Fourier series.


title: Pfister involutions

abstract: The question of the existence of an analogue, in the framework of central simple algebras with involution, of the notion of Pfister form is raised. In particular, algebras with orthogonal involution which split as a tensor product of quaternion algebras with involution are studied. It is proven that, up to degree 16, over any extension over which the algebra splits, the involution is adjoint to a Pfister form. Moreover, cohomological invariants of those algebras with involution are discussed.


title: A probabilistic approach to second order variational inequalities with bilateral constraints

abstract: We study a class of second order variational inequalities with bilateral constraints. Under certain conditions we show the existence of a unique viscosity solution of these variational inequalities and give a stochastic representation to this solution. As an application, we study a stochastic game with stopping times and show the existence of a saddle point equilibrium.


title: A tutorial introduction to the minimum description length principle

abstract: This tutorial provides an overview of and introduction to Rissanen's Minimum Description Length (MDL) Principle. The first chapter provides a conceptual, entirely non-technical introduction to the subject. It serves as a basis for the technical introduction given in the second chapter, in which all the ideas of the first chapter are made mathematically precise. The main ideas are discussed in great conceptual and technical detail. This tutorial is an extended version of the first two chapters of the collection "Advances in Minimum Description Length: Theory and Application" (edited by P.Grunwald, I.J. Myung and M. Pitt, to be published by the MIT Press, Spring 2005).


title: Self-Similar Corrections to the Ergodic Theorem for the Pascal-Adic Transformation

abstract: Let T be the Pascal-adic transformation. For any measurable function g, we consider the corrections to the ergodic theorem sum_{k=0}^{j-1} g(T^k x) - j/l sum_{k=0}^{l-1} g(T^k x). When seen as graphs of functions defined on {0,...,l-1}, we show for a suitable class of functions g that these quantities, once properly renormalized, converge to (part of) the graph of a self-affine function. The latter only depends on the ergodic component of x, and is a deformation of the so-called Blancmange function. We also briefly describe the links with a series of works on Conway recursive $10,000 sequence.


title: Failure of the Raikov theorem for free random variables

abstract: We show that the sum of two free random variables can have a free Poisson law without any of them having a free Poisson law.


title: Classification of tight contact structures on small Seifert 3-manifolds with e_0\geq 0

abstract: We classify positive, tight contact structures on closed Seifert fibered 3-manifolds with base S^2, three singular fibers and e_0\geq 0.


title: Differentials in the homological homotopy fixed point spectral sequence

abstract: We analyze in homological terms the homotopy fixed point spectrum of a T-equivariant commutative S-algebra R. There is a homological homotopy fixed point spectral sequence with E^2_{s,t} = H^{-s}_{gp}(T; H_t(R; F_p)), converging conditionally to the continuous homology H^c_{s+t}(R^{hT}; F_p) of the homotopy fixed point spectrum. We show that there are Dyer-Lashof operations beta^epsilon Q^i acting on this algebra spectral sequence, and that its differentials are completely determined by those originating on the vertical axis. More surprisingly, we show that for each class x in the $^{2r}-term of the spectral sequence there are 2r other classes in the E^{2r}-term (obtained mostly by Dyer-Lashof operations on x) that are infinite cycles, i.e., survive to the E^infty-term. We apply this to completely determine the differentials in the homological homotopy fixed point spectral sequences for the topological Hochschild homology spectra R = THH(B) of many S-algebras, including B = MU, BP, ku, ko and tmf. Similar results apply for all finite subgroups C of T, and for the Tate- and homotopy orbit spectral sequences. This work is part of a homological approach to calculating topological cyclic homology and algebraic K-theory of commutative S-algebras.


title: Classical and free infinitely divisible distributions and random matrices

abstract: We construct a random matrix model for the bijection \Psi between clas- sical and free infinitely divisible distributions: for every d\geq1, we associate in a quite natural way to each *-infinitely divisible distribution \mu a distribution P_d^{\mu} on the space of d\times d Hermitian matrices such that P_d^{\mu}P_d^{\nu}=P_d^{\mu*\nu}. The spectral distribution of a random matrix with distribution P_d^{\mu} converges in probability to \Psi (\mu) when d tends to +\infty. It gives, among other things, a new proof of the almost sure convergence of the spectral distribution of a matrix of the GUE and a projection model for the Marchenko-Pastur distribution. In an analogous way, for every d\geq1, we associate to each *-infinitely divisible distribution \mu, a distribution L_d^{\mu} on the space of complex (non-Hermitian) d\times d random matrices. If \mu is symmetric, the symmetrization of the spectral distribution of |M_d|, when M_d is L_d^{\mu}-distributed, converges in probability to \Psi(\mu).


title: Large deviations for empirical entropies of Gibbsian sources

abstract: The entropy of an ergodic finite-alphabet process can be computed from a single typical sample path x_1^n using the entropy of the k-block empirical probability and letting k grow with $n$ roughly like log n. We further assume that the distribution of the process is a g-measure; g-measures form a large class of Gibbs measures. We prove large deviation principles for conditional, non-conditional and relative k(n)-block empirical entropies.


title: The Borel/Novikov conjectures and stable diffeomorphisms of 4-manifolds

abstract: Two 4-manifolds are stably diffeomorphic if they become diffeomorphic after connected sum with S^2 x S^2's. This paper shows that two closed, orientable, homotopy equivalent, smooth 4-manifolds are stably diffeomorphic, provided a certain map from the second homology of the fundamental group with coefficients in Z/2 to the L-theory of the group is injective. This injectivity is implied by the Borel/Novikov conjecture for torsion-free groups, which is known for many groups. There are also results concerning the homotopy invariance of the Kirby-Siebenmann invariant. The method of proof is to use Poincare duality in Spin bordism to translate between Wall's classical surgery and Kreck's modified surgery.


title: Fast computation of a rational point of a variety over a finite field

abstract: We exhibit a probabilistic algorithm which computes a rational point of an absolutely irreducible variety over a finite field defined by a reduced regular sequence. Its time--space complexity is roughly quadratic in the logarithm of the cardinality of the field and a geometric invariant of the input system (called its degree), which is always bounded by the Bezout number of the system. Our algorithm works for fields of any characteristic, but requires the cardinality of the field to be greater than a quantity which is roughly the fourth power of the degree of the input variety.


title: An Algebraic Identity Leading to Wilson Theorem

abstract: In most text books on number theory Wilson Theorem is proved by applying Lagrange theorem concerning polynomial congruences.Hardy and Wright also give a proof using cuadratic residues. In this article Wilson theorem is derived as a corollary to an algebraic identity.


title: Ergodicity of the 2D Navier-Stokes Equations with Degenerate Stochastic Forcing

abstract: The stochastic 2D Navier-Stokes equations on the torus driven by degenerate noise are studied. We characterize the smallest closed invariant subspace for this model and show that the dynamics restricted to that subspace is ergodic. In particular, our results yield a purely geometric characterization of a class of noises for which the equation is ergodic in $\L^2_0(\TT^2)$. Unlike previous works, this class is independent of the viscosity and the strength of the noise. The two main tools of our analysis are the \textit{asymptotic strong Feller} property, introduced in this work, and an approximate integration by parts formula. The first, when combined with a weak type of irreducibility, is shown to ensure that the dynamics is ergodic. The second is used to show that the first holds under a H{\"o}rmander-type condition. This requires some interesting nonadapted stochastic analysis.

categories: math.PR math-ph math.AP math.DS math.MP physics.flu-dyn


title: A classification of hyperbolic manifolds related to the three-dimensional torus

abstract: L. Paoluzzi constructed a family of compact orientable three-dimensional hyperbolic manifolds with totally geodesic boundary, which were, by construction, closely related to the three-dimensional torus. This paper gives their complete classification up to isometry, and also their isometry groups. The key tool is the so-called canonical decomposition of hyperbolic manifolds.


title: Critical points and supersymmetric vacua, II: Asymptotics and extremal metrics

abstract: Motivated by the vacuum selection problem of string/M theory, we study a new geometric invariant of a positive Hermitian line bundle $(L, h)\to M$ over a compact K\"ahler manifold: the expected distribution of critical points of a Gaussian random holomorphic section $s \in H^0(M, L)$ with respect to the Chern connection $\nabla_h$. It is a measure on $M$ whose total mass is the average number $\mathcal{N}^{crit}_h$ of critical points of a random holomorphic section. We are interested in the metric dependence of $\mathcal{N}^{crit}_h$, especially metrics $h$ which minimize $\mathcal{N}^{crit}_h$. We concentrate on the asymptotic minimization problem for the sequence of tensor powers $(L^N, h^N)\to M$ of the line bundle and their critical point densities $\mathcal{K}^{crit}_{N,h}(z)$. We prove that $\mathcal{K}^{crit}_{N,h}(z)$ has a complete asymptotic expansion in $N$ whose coefficients are curvature invariants of $h$. The first two terms in the expansion of $\mathcal{N}^{crit}_{N,h}$ are topological invariants of $(L, M)$. The third term is a topological invariant plus a constant $\beta_2(m)$ (depending only on the dimension $m$ of $M$) times the Calabi functional $\int_M \rho^2 dV_h$, where $\rho$ is the scalar curvature of the K\"ahler metric $\omega_h:=\frac i2 \Theta_h$. We give an integral formula for $\beta_2(m)$ and show, by a computer assisted calculation, that $\beta_2(m)>0$ for $m\leq 5$, hence that $\mathcal{N}^{crit}_{N,h}$ is asymptotically minimized by the Calabi extremal metric (when one exists). We conjecture that $\beta_2(m)>0$ in all dimensions, i.e. the Calabi extremal metric is always the asymptotic minimizer.


title: Bayes Theorem and the cMPE-Method: Differences, Complementarities and the Importance of Discerning between Weight-bearing and Extensional Evidence

abstract: Both, Bayes Theorem and the cMPE-Method serve for establishing relations between systems of probabilities. By the cMPE-Method non-conditional probabilities are added, by the DPE-Method, they are subtracted, however, in both versions allowing for the non-linearity of non-disjunctive probabilities. Semantic independence is prerequisite. As compared with the results of semantically homogeneous series of observations, the variety of evidence permits arrival at higher probabilities. The advantage of the Bayesian method lies in allowing for evidence extraneous to the domain covered by the hypothesis. We must differentiate between extensional and weight-bearing evidence. Operations based on purely weight-bearing evidence (cMPE-Method) neglect the extensional evidence and some operations according to Bayes Theorem may neglect weight-bearing evidence at least partially. These and some other shortcomings may be remedied by operations, combining both of the approaches.


title: Numerical evidence in favor of the Arenstorf formula

abstract: The formula $\lim_{N\to\infty}\sum_{p<N,p,p+2 both prime} \log(p)\log(p+2) = C_2$ is tested on the computer up to $N=2^{40}\approx 1.1\times 10^{12}$ and very good agreement is found.


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

abstract: We discuss the GW/DT correspondence for 3-folds in both the absolute and relative cases. Descendents in Gromov-Witten theory are conjectured to be equivalent to Chern characters of the universal sheaf in Donaldson-Thomas theory. Relative constraints in Gromov-Witten theory are conjectured to correspond in Donaldson-Thomas theory to cohomology classes of the Hilbert scheme of points of the relative divisor. Independent of the conjectural framework, we prove degree 0 formulas for the absolute and relative Donaldson-Thomas theories of toric varieties.


title: The Beckman-Quarles theorem for continuous mappings from C^n to C^n

abstract: Let varphi_n:C^n times C^n->C, varphi_n((x_1,...,x_n),(y_1,...,y_n))=sum_{i=1}^n (x_i-y_i)^2. We say that f:C^n->C^n preserves distance d>=0, if for each X,Y in C^n varphi_n(X,Y)=d^2 implies varphi_n(f(X),f(Y))=d^2. We prove: if n>=2 and a continuous f:C^n->C^n preserves unit distance, then f has a form I circ (rho,...,rho), where I:C^n->C^n is an affine mapping with orthogonal linear part and rho:C->C is the identity or the complex conjugation. For n >=3 and bijective f the theorem follows from Theorem 2 in [8].


title: Merging costs for the additive Marcus-Lushnikov process, and Union-Find algorithms

abstract: Starting with a monodisperse configuration with $n$ size-1 particles, an additive Marcus-Lushnikov process evolves until it reaches its final state (a unique particle with mass $n$). At each of the $n-1$ steps of its evolution, a merging cost is incurred, that depends on the sizes of the two particles involved, and on an independent random factor. This paper deals with the asymptotic behaviour of the cumulated costs up to the $k$th clustering, under various regimes for $(n,k)$, with applications to the study of Union--Find algorithms.


title: Some Remarks on the Optimal Level of Randomization in Global Optimization

abstract: For a class of stochastic restart algorithms we address the effect of a nonzero level of randomization in maximizing the convergence rate for general energy landscapes. The resulting characterization of the optimal level of randomization is investigated computationally for random as well as parametric families of rugged energy landscapes.


title: Theory of The Generalized Bernoulli-Hurwitz Numbers for The Algebraic Functions of Cyclotomic Type and The Universal Bernoulli Numbers

abstract: Hurwitz numbers are the Laurent coefficients of an elliptic function $\wp(u)$ of cyclotomic type, and they are natural generalization of the Bernoulli numbers. This paper gives new generalization of Bernoulli and Hurwitz numbers for higher genus cases. They satisfy completely von Staudt-Clausen type theorem, an extension of von Staudt second theorem, and Kummer type congruence relation. The present paper is revised and combined version of math.NT/0304377 and math.NT/0312178 containing many numerical examples.


title: The Gorenstein and complete intersection properties of associated graded rings

abstract: Let I be an m-primary ideal of a Noetherian local ring (R,m). We consider the Gorenstein and complete intersection properties of the associated graded ring G(I) and the fiber cone F(I) of I as reflected in their defining ideals as homomorphic images of polynomial rings over R/I and R/m respectively. In case all the higher conormal modules of I are free over R/I, we observe that: (i) G(I) is Cohen-Macaulay iff F(I) is Cohen- Macaulay, (ii) G(I) is Gorenstein iff both F(I) and R/I are Gorenstein, and (iii) G(I) is a relative complete intersection iff F(I) is a relative complete intersection. In case R/I is Gorenstein, we give a necessary and sufficient condition for G(I) to be Gorenstein in terms of residuation of powers of I with respect to a reduction J of I with \mu(J) = dim R and the reduction number r of I with respect to J. We prove that G(I) is Gorenstein iff J:I^{r-i} = J + I^{i+1}, for i = 0, ...,r-1. If (R,m) is a Gorenstein local ring and I \subseteq m is an ideal having a reduction J with reduction number r such that \mu(J) = ht(I) = g > 0, we prove that the extended Rees algebra R[It, t^-1}] is quasi-Gorenstein with \a-invariant a if and only if J^n:I^r = I^{n+a-r+g-1} for every integer n.


title: Curved Hexagonal Packings of Equal Disks in a Circle

abstract: For each k >= 1 and corresponding hexagonal number h(k) = 3k(k+1)+1, we introduce m(k) = max[(k-1)!/ 2, 1] packings of h(k) equal disks inside a circle which we call "the curved hexagonal packings". The curved hexagonal packing of 7 disks (k = 1, m(1)=1) is well known and the one of 19 disks (k = 2, m(2)=1) has been previously conjectured to be optimal. New curved hexagonal packings of 37, 61, and 91 disks (k = 3, 4, and 5, m(3)=1, m(4)=3, and m(5)=12) were the densest we obtained on a computer using a so-called "billiards" simulation algorithm. A curved hexagonal packing pattern is invariant under a 60 degree rotation. For k tending to infinity, the density (covering fraction) of curved hexagonal packings tends to pi*pi/12. The limit is smaller than the density of the known optimum disk packing in the infinite plane. We found disk configurations that are denser than curved hexagonal packings for 127, 169, and 217 disks (k = 6, 7, and 8). In addition to new packings for h(k) disks, we present new packings we found for h(k)+1 and h(k)-1 disks for k up to 5, i.e., for 36, 38, 60, 62, 90, and 92 disks. The additional packings show the ``tightness'' of the curved hexagonal pattern for k =< 5: deleting a disk does not change the optimum packing and its quality significantly, but adding a disk causes a substantial rearrangement in the optimum packing and substantially decreases the quality.


title: A tropical calculation of the Welschinger invariants of real toric Del Pezzo surfaces

abstract: The Welschinger invariants of real rational algebraic surfaces are natural analogues of the genus zero Gromov-Witten invariants. We establish a tropical formula to calculate the Welschinger invariants of real toric Del Pezzo surfaces for any conjugation-invariant configuration of points. The formula expresses the Welschinger invariants via the total multiplicity of certain tropical curves (non-Archimedean amoebas) passing through generic configurations of points, and then via the total multiplicity of some lattice path in the convex lattice polygon associated with a given surface. We also present the results of computation of Welschinger invariants, obtained jointly with I. Itenberg and V. Kharlamov.


title: Notes on Engel groups and Engel elements in groups. Some generalizations

abstract: Engel groups and Engel elements became popular in 50s. We consider in the paper the more general nil-groups and nil-elements in groups. All these notions are related to nilpotent groups and nilpotent radicals in groups. These notions generate problems which are parallel to Burnside problems for periodic groups. The first three theorems of the paper are devoted to nil-groups and Engel groups, while the other results are connected with the further generalizations. These generalizations extend the theory to solvable groups and solvable radicals in groups. The paper has two parts. The first one (sections 2-4) deals with old ideas, while the second one (sections 5-9) is devoted to generalizations.


title: Problems in algebra inspired by universal algebraic geometry

abstract: Let $\Theta$ be a variety of algebras. In every $\Theta$ and every algebra $H$ from $\Theta$ one can consider algebraic geometry in $\Theta$ over $H$. We consider also a special categorical invariant $K_\Theta (H)$ of this geometry. The classical algebraic geometry deals with the variety $\Theta=Com-P$ of all associative and commutative algebras over the ground field of constants $P$. An algebra $H$ in this setting is an extension of the ground field $P$. Geometry in groups is related to varieties $\Grp$ and $\Grp-G$, where $G$ is a group of constants. The case $\Grp -F$ where $F$ is a free group, is related to Tarski's problems devoted to logic of a free group. he described general insight on algebraic geometry in different varieties of algebras inspires some new problems in algebra and algebraic geometry. The problems of such kind determine, to a great extent, the content of universal algebraic geometry. We start with the short overview of main definitions and results and then consider the list of unsolved problems.


title: Converging sequences of p-adic Galois representations and density theorems

abstract: We consider limits of p-adic Galois representations, study different notions of convergence for such representations, and prove Cebotarev-type density theorems for them.


title: A Sharp Compactness Theorem for Genus-One Pseudo-Holomorphic Maps

abstract: For each compact almost Kahler manifold $(X,\om,J)$ and an element A of $H_2(X;Z)$, we describe a closed subspace $\ov{\frak M}_{1,k}^0(X,A;J)$ of the moduli space $\ov{\frak M}_{1,k}(X,A;J)$ of stable J-holomorphic genus-one maps such that $\ov{\frak M}_{1,k}^0(X,A;J)$ contains all stable maps with smooth domains. If $(P^n,\om,J_0)$ is the standard complex projective space, $\ov{\frak M}_{1,k}^0(P^n,A;J_0)$ is an irreducible component of $\ov{\frak M}_{1,k}(P^n,A;J_0)$. We also show that if an almost complex structure $J$ on $P^n$ is sufficiently close to J_0, the structure of the space $\ov{\frak M}_{1,k}^0(P^n,A;J)$ is similar to that of $\ov{\frak M}_{1,k}^0(P^n,A;J_0)$. This paper's compactness and structure theorems lead to new invariants for some symplectic manifolds, which are generalized to arbitrary symplectic manifolds in a separate paper. Relatedly, the smaller moduli space $\ov\M_{1,k}^0(X,A;J)$ is useful for computing the genus-one Gromov-Witten invariants, which arise from the larger moduli space $\ov\M_{1,k}(X,A;J)$.


title: On the Structure of Certain Natural Cones over Moduli Spaces of Genus-One Holomorphic Maps

abstract: We show that certain naturally arising cones over the main component of a moduli space of $J_0$-holomorphic maps into $P^n$ have a well-defined euler class. We also prove that this is the case if the standard complex structure $J_0$ on $P^n$ is replaced by a nearby almost complex structure $J$. The genus-zero analogue of the cone considered in this paper is always a vector bundle. The genus-zero Gromov-Witten invariant of a projective hypersurface is the euler class of such a vector bundle. As shown in a separate paper, this is also the case for the "genus-one part" of the genus-one GW-invariant. The remaining part is a multiple of the genus-zero GW-invariant.


title: On the Genus-One Gromov-Witten Invariants of a Quintic Threefold

abstract: We rederive a relation between the genus-one GW-invariants of a quintic threefold in $\Pf$ and the genus-zero and genus-one GW-invariants of $\Pf$. In contrast to the more general derivation in a separate paper, the present derivation relies on a widely believed, but still unproven, statement concerning rigidity of holomorphic curves in Calabi-Yau threefolds. On the other hand, this paper's derivation is more direct and geometric. It requires a bit more effort, but relies on less outside work.


title: On Knot Polynomials of Annular Surfaces and their Boundary Links

abstract: Stoimenow and Kidwell asked the following question: Let $K$ be a non-trivial knot, and let $W(K)$ be a Whitehead double of $K$. Let $F(a,z)$ be the Kauffman polynomial and $P(v,z)$ the skein polynomial. Is then always $\max\deg_z P_{W(K)} - 1 = 2 \max\deg_z F_K$? Here this question is rephrased in more general terms as a conjectured relation between the maximum $z$-degrees of the Kauffman polynomial of an annular surface $A$ on the one hand, and the Rudolph polynomial on the other hand, the latter being defined as a certain M\"obius transform of the skein polynomial of the boundary link $\partial A$. That relation is shown to hold for algebraic alternating links, thus simultaneously solving the conjecture by Kidwell and Stoimenow and a related conjecture by Tripp for this class of links. Also, in spite of the heavyweight definition of the Rudolph polynomial $\{K\}$ of a link $K$, the remarkably simple formula $\{\bigcirc\}\{L#M\}=\{L\}\{M\}$ for link composition is established. This last result can be used to reduce the conjecture in question to the case of prime links.


title: Reverses of the Continuous Triangle Inequality for Bochner Integral of Vector-Valued Functions in Hilbert Spaces

abstract: Some reverses of the continuous triangle inequality for Bochner integral of vector-valued functions in Hilbert spaces are given. Applications for complex-valued functions are provided as well.


title: Quadratic Reverses of the Continuous Triangle Inequality for Bochner Integral of Vector-Valued Functions in Hilbert Spaces

abstract: Some quadratic reverses of the continuous triangle inequality for Bochner integral of vector-valued functions in Hilbert spaces are given. Applications for complex-valued functions are provided as well.