title: Distance-regular graphs and the $q$-tetrahedron algebra

abstract: Let $\Gamma$ denote a distance-regular graph with classical parameters $(D,b,\alpha,\beta)$ and $b\not=1$, $\alpha=b-1$. The condition on $\alpha$ implies that $\Gamma$ is formally self-dual. For $b=q^2$ we use the adjacency matrix and dual adjacency matrix to obtain an action of the $q$-tetrahedron algebra $\boxtimes_q$ on the standard module of $\Gamma$. We describe four algebra homomorphisms into $\boxtimes_q$ from the quantum affine algebra $U_q({\hat{\mathfrak{sl}}_2})$; using these we pull back the above $\boxtimes_q$-action to obtain four actions of $U_q({\hat{\mathfrak{sl}}_2})$ on the standard module of $\Gamma$.


title: Polyhedral Potential and Variational Integrator Computation of the Full Two Body Problem

abstract: We present a combination of tools which allows for investigation of the coupled orbital and rotational dynamics of two rigid bodies with nearly arbitrary shape and mass distribution, under the influence of their mutual gravitational potential. Methods for calculating that mutual potential and resulting forces and moments for a polyhedral body representation are simple and efficient. Discrete equations of motion, referred to as the Lie Group Variational Integrator (LGVI), preserve the structure of the configuration space, SE(3), as well as the geometric features represented by the total energy and the total angular momentum. The synthesis of these approaches allows us to simulate the full two body problem accurately and efficiently. Simulation results are given for two octahedral rigid bodies for comparison with other integration methods and to show the qualities of the results thus obtained. A significant improvement is seen over other integration methods while correctly capturing the interesting effects of strong orbit and attitude dynamics coupling, in multiple scenarios.


title: Random walk in random environment with asymptotically zero perturbation

abstract: We give criteria for ergodicity, transience and null recurrence for the random walk in random environment on {0,1,2,...}, with reflection at the origin, where the random environment is subject to a vanishing perturbation. Our results complement existing criteria for random walks in random environments and for Markov chains with asymptotically zero drift, and are significantly different to these previously studied cases. Our method is based on a martingale technique - the method of Lyapunov functions.


title: Logarithmic speeds for one-dimensional perturbed random walk in random environment

abstract: We study the random walk in random environment on {0,1,2,...}, where the environment is subject to a vanishing (random) perturbation. The two particular cases we consider are: (i) random walk in random environment perturbed from Sinai's regime; (ii) simple random walk with random perturbation. We give almost sure results on how far the random walker will be from the origin after a long time t, for almost every environment. We give both upper and lower almost sure bounds. These bounds are of order $(\log t)^\beta$, for $\beta \in (1,\infty)$, depending on the perturbation. In addition, in the ergodic cases, we give results on the rate of decay of the stationary distribution.


title: The Quiver of the Semigroup Algebra of a Left Regular Band

abstract: Recently it has been noticed that many interesting combinatorial objects belong to a class of semigroups called left regular bands, and that random walks on these semigroups encode several well-known random walks. For example, the set of faces of a hyperplane arrangement is endowed with a left regular band structure. This paper studies the module structure of the semigroup algebra of an arbitrary left regular band, extending results for the semigroup algebra of the faces of a hyperplane arrangement. In particular, a description of the quiver of the semigroup algebra is given and the Cartan invariants are computed. These are used to compute the quiver of the face semigroup algebra of a hyperplane arrangement and to show that the semigroup algebra of the free left regular band is isomorphic to the path algebra of its quiver.


title: Strichartz and Smoothing Estimates for Schroedinger Operators with Large Magnetic Potentials in R^3

abstract: We show that the time evolution of the operator $H = -\Delta + i(A \cdot \nabla + \nabla \cdot A) + V$ in R^3 satisfies Strichartz and smoothing estimates under suitable smoothness and decay assumptions on A and V but without any smallness assumptions. We require that zero energy is neither an eigenvalue nor a resonance.


title: Finding planar surfaces in knot- and link-manifolds

abstract: It is shown that given any link-manifold, there is an algorithm to decide if the manifold contains an embedded, essential planar surface; if it does, the algorithm will construct one. If a slope on the boundary of the link-manifold is given, there is an algorithm to determine if the slope bounds an embedded punctured-disk; if a meridian slope is given, then it can be determined if a longitude bounds an embedded punctured-disk. The methods use normal surface theory but do not follow the classical approach. Properties of minimal vertex triangulations, layered-triangulations, 0--efficient triangulations and especially triangulated Dehn fillings are central to our methods. We also use an average length estimate for boundary curves of embedded normal surfaces; a version of the average length estimate with boundary conditions also is derived. An algorithm is given to construct precisely those slopes on the boundary of a given link-manifold that bound an embedded punctured-disk in the link-manifold.


title: On pointed Hopf algebras associated to unmixed conjugacy classes in S_n

abstract: Let s in S_n be a product of disjoint cycles of the same length, C the conjugacy class of s and rho an irreducible representation of the isotropy group of s. We prove that either the Nichols algebra B(C, rho) is infinite-dimensional, or the braiding of the Yetter-Drinfeld module is negative.


title: Uncertainty Principles for Compact Groups

abstract: We establish an operator-theoretic uncertainty principle over arbitrary compact groups, generalizing several previous results. As a consequence, we show that if f is in L^2(G), then the product of the measures of the supports of f and its Fourier transform ^f is at least 1; here, the dual measure is given by the sum, over all irreducible representations V, of d_V rank(^f(V)). For finite groups, our principle implies the following: if P and R are projection operators on the group algebra C[G] such that P commutes with projection onto each group element, and R commutes with left multiplication, then the squared operator norm of PR is at most rank(P)rank(R)/|G|.


title: Rigidity of periodic diffeomorphisms on homotopy K3 surfaces

abstract: The aim of this paper is to show the rigidity of homologically trivial actions of prime order on K3 surfaces. To be precise, we show that homotopy K3 surfaces do not admit a periodic diffeomorphism of odd prime order 3 acting trivially on cohomology. Moreover, we give an obstruction in terms of the rationality and sign of the spin numbers to the existence of a periodic diffeomorphism of odd prime order acting trivially on cohomology of homotopy K3 surfaces.


title: Left-invariant almost nearly K\"ahler structures on $SU(2)\times SU(2)$ in the tetrahedron visualization for $CP^3$

abstract: The set of maximal non-integrable structures $(SU(2)\times SU(2),B,I)$, where $B$ is Killing-Cartan metric is described as subset of $\mathbb{CP}^3$. The visualization of complex projective space $\mathbb{CP}^3$ as tetrahedron which edges and faces are $\mathbb{CP}^1$ and $\mathbb{CP}^2$ is used.


title: A composition formula for manifold structures

abstract: The structure set $\ST^{TOP}(M)$ of an $n$-dimensional topological manifold $M$ for $n \geqslant 5$ has a homotopy invariant functorial abelian group structure, by the algebraic version of the Browder-Novikov-Sullivan-Wall surgery theory. An element $(N,f) \in \ST^{TOP}(M)$ is an equivalence class of $n$-dimensional manifolds $N$ with a homotopy equivalence $f:N \to M$. The composition formula is that $(P,fg)=(N,f)+f_*(P,g) \in \ST^{TOP}(M)$ for homotopy equivalences $g:P \to N$, $f:N \to M$. The formula is required for a paper of Kreck and L\"uck.


title: Entropy method for the left tail

abstract: When we use the entropy method to get the tail bounds, typically the left tail bounds are not good comparing with the right ones. Up to now this asymmetry has been observed many times. Surprisingly we find an entropy method for the left tail that works in the exactly same way that it works for the right tail.


title: Pseudo-Riemannian manifolds with Commuting Jacobi Operators

abstract: We study the geometry of pseudo-Riemannian manifolds which are Jacobi--Tsankov, i.e. J(x)J(y)=J(y)J(x) for all tangent vectors x and y. We also study manifolds which are 2-step Jacobi nilpotent, i.e. J(x)J(y)=0 for all tangent vectors x and y.


title: Collatz's "3x+1" problem and iterative maps on interval

abstract: In this paper, we convert Collatz map into a simple conjugate iterative maps defined in [0,1]. Such maps are more familiar to us and easier to deal with. Some new features of this map are observed by this method. An interesting heuristic proof is also presented. This research may provide a new venture to crack the "3x+1" problem.


title: 6-transposition property of $\tau$-involutions of vertex operator algebras

abstract: In this paper, we study the subalgebra generated by two Ising vectors in the Griess algebra of a vertex operator algebra. We show that the structure of it is uniquely determined by some inner products of Ising vectors. We prove that the order of the product of two $\tau$-involutions is less than or equal to 6 and we determine the inner product of two Ising vectors.


title: Thick subcategories and virtually Gorenstein algebras

abstract: An Artin algebra is by definition virtually Gorenstein if the class of modules which are right orthogonal (with respect to Ext^*(-,-)) to all Gorenstein projective modules coincides with the class of modules which are left orthogonal to all Gorenstein injective modules. We provide a new characterization in terms of finitely generated modules. In addition, an example of an algebra is presented which is not virtually Gorenstein.


title: Towards a Hermeneutic Categorical Mathematics or why Category theory goes beyond Mathematical Structuralism

abstract: Category theory provides an alternative to Hilbert's Formal Axiomatic method and goes beyond Mathematical Structuralism


title: Fine Hochschild invariants of derived categories for symmetric algebras

abstract: Let $A$ be a symmetric $k$-algebra over a perfect field $k$. K\"ulshammer defined for any integer $n$ a mapping $\zeta\_n$ on the degree 0 Hochschild cohomology and a mapping $\kappa\_n$ on the degree 0 Hochschild homology of $A$ as adjoint mappings of the respective $p$-power mappings with respect to the symmetrizing bilinear form. In an earlier paper it is shown that $\zeta\_n$ is invariant under derived equivalences. In the present paper we generalize the definition of $\kappa\_n$ to higher Hochschild homology and show the invariance of $\kappa$ and its generalization under derived equivalences. This provides fine invariants of derived categories.


title: Occam's hammer: a link between randomized learning and multiple testing FDR control

abstract: We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or more generally, a probability distribution on said pool). This general device, dubbed "Occam's hammer'', acts as a meta layer when a probabilistic bound is already known on the objects of the pool taken individually, and aims at controlling the proportion of the objects in the set output not satisfying their individual bound. In this regard, it can be seen as a non-trivial generalization of the "union bound with a prior'' ("Occam's razor''), a familiar tool in learning theory. We give applications of this principle to randomized classifiers (providing an interesting alternative approach to PAC-Bayes bounds) and multiple testing (where it allows to retrieve exactly and extend the so-called Benjamini-Yekutieli testing procedure).


title: Deformation techniques for sparse systems

abstract: We exhibit a probabilistic symbolic algorithm for solving zero-dimensional sparse systems. Our algorithm combines a symbolic homotopy procedure, based on a flat deformation of a certain morphism of affine varieties, with the polyhedral deformation of Huber and Sturmfels. The complexity of our algorithm is quadratic in the size of the combinatorial structure of the input system. This size is mainly represented by the mixed volume of Newton polytopes of the input polynomials and an arithmetic analogue of the mixed volume associated to the deformations under consideration.


title: Stable maps into the classifying space of the general linear group

abstract: In this note we give a definition of stable maps into the classifying stack $\BGL_r$ of the general linear group. To support our belief that the definition is the correct one, we show that there are natural boundary morphisms between the moduli groupoids parameterizing stable maps to $\BGL_r$.


title: Spectral properties of Schrodinger operators defined on N-dimensional infinite trees

abstract: We study the discreteness of the spectrum of Schrodinger operators which are defined on N-dimensional rooted trees of a finite or infinite volume, and are subject to a certain mixed boundary condition. We present a method to estimate their eigenvalues using operators on a one-dimensional tree. These operators are called width-weighted operators, since their coefficients depend on the section width or area of the N-dimensional tree. We show that the spectrum of the width-weighted operator tends to the spectrum of a one-dimensional limit operator as the sections width tends to zero. Moreover, the projections to the one-dimensional tree of eigenfunctions of the N-dimensional Laplace operator converge to the corresponding eigenfunctions of the one-dimensional limit operator.


title: Norm expansion along a zero variety in ${\mathbb C}^d$

abstract: The reproducing kernel function of a weighted Bergman space over domains in ${\mathbb C}^d$ is known explicitly in only a small number of instances. Here, we introduce a process of orthogonal norm expansion along a subvariety of codimension 1, which also leads to a series expansion of the reproducing kernel in terms of reproducing kernels defined on the subvariety. The problem of finding the reproducing kernel is thus reduced to the same kind of problem when one of the two entries is on the subvariety. A complete expansion of the reproducing kernel may be achieved in this manner. We carry this out in dimension $d=2$ for certain classes of weighted Bergman spaces over the bidisk (with the diagonal $z_1=z_2$ as subvariety) and the ball (with $z_2=0$ as subvariety), as well as for a weighted Bargmann-Fock space over ${\mathbb C}^2$ (with the diagonal $z_1=z_2$ as subvariety).


title: Big symplectic or orthogonal monodromy modulo l

abstract: Let k be a field not of characteristic two and L be a set of almost all rational primes invertible in k. Suppose we have a variety X/k and strictly compatible system {M_ell -> X : ell in L} of constructible F_ell-sheaves. If the system is orthogonally or symplectically self-dual, then the geometric monodromy group of M_ell is a subgroup of a corresponding isometry group G_ell over F_ell, and we say it has big monodromy if it contains the derived subgroup DG_ell=[G_ell,G_ell]. We prove a theorem which gives sufficient conditions for M_ell to have big monodromy. We apply the theorem to explicit systems arising from the middle cohomology of families of hyperelliptic curves and elliptic surfaces to show that the monodromy is uniformly big as we vary ell and the system.


title: Limiting Laws of Linear Eigenvalue Statistics for Unitary Invariant Matrix Models

abstract: We study the variance and the Laplace transform of the probability law of linear eigenvalue statistics of unitary invariant Matrix Models of n-dimentional Hermitian matrices as n tends to infinity. Assuming that the test function of statistics is smooth enough and using the asymptotic formulas by Deift et al for orthogonal polynomials with varying weights, we show first that if the support of the Density of States of the model consists of two or more intervals, then in the global regime the variance of statistics is a quasiperiodic function of n generically in the potential, determining the model. We show next that the exponent of the Laplace transform of the probability law is not in general 1/2variance, as it should be if the Central Limit Theorem would be valid, and we find the asymptotic form of the Laplace transform of the probability law in certain cases.


title: Topological Entropy and Partially Hyperbolic Diffeomorphisms

abstract: We consider partially hyperbolic diffeomorphisms on compact manifolds where the unstable and stable foliations stably carry some unique non-trivial homologies. We prove the following two results: if the center foliation is one dimensional, then the topological entropy is locally a constant; and if the center foliation is two dimensional, then the topological entropy is continuous on the set of all $C^\8$ diffeomorphisms. The proof uses a topological invariant we introduced; Yomdin's theorem on upper semi-continuity; Katok's theorem on lower semi-continuity for two dimensional systems and a refined Pesin-Ruelle inequality we proved for partially hyperbolic diffeomorphisms.


title: Classification of phase singularities for complex scalar waves

abstract: Motivated by the importance and universal character of phase singularities which are clarified recently, we study the local structure of equi-phase loci near the dislocation locus of complex valued planar and spatial waves, from the viewpoint of singularity theory of differentiable mappings, initiated by H. Whitney and R. Thom. The classification of phase-singularities are reduced to the classification of planar curves by radial transformations due to the theory of A. du Plessis, T. Gaffney, and L. Wilson. Then fold singularities are classified into hyperbolic and elliptic singularities. We show that the elliptic singularities are never realized by any Helmholtz waves, while the hyperbolic singularities are realized in fact. Moreover, the classification and realizability of Whitney's cusp, as well as its bifurcation problem are considered in order to explain the three points bifurcation of phase singularities. In this paper, we treat the dislocation of linear waves mainly, developing the basic and universal method, the method of jets and transversality, which is applicable also to non-linear waves.


title: A geometric method to compute some elementary integrals

abstract: An elementary, albeit higher dimensional, argument is used to compute the area under the power function curve between 0 and 1.


title: Super Rough Semantics

abstract: In this research a new algebraic semantics of rough set theory including additional meta aspects is proposed. The semantics is based on enhancing the standard rough set theory with notions of 'relative ability of subsets of approximation spaces to approximate'. The eventual algebraic semantics is developed via many deep results in convexity in ordered structures. A new variation of rough set theory, namely 'ill-posed rough set theory' in which it may suffice to know some of the approximations of sets, is eventually introduced.


title: Approximate and global differentiability of functions over non-archimedean fields

abstract: The article is devoted to approximate, global and along curves differentiability of functions over non-archimedean infinite fields with non-trivial valuations. Fields with zero and non-zero characteristics are considered. Spaces of differentiable functions are defined with the help of partial difference quotients. Approximate differentiability is studied relative to real-valued measures. Theorems about relations between these three types of differentiability are proved. Associated problem on extensions of such functions is investigated.


title: Smoothness of functions global and along curves over ultra-metric fields

abstract: The article is devoted to the investigation of smoothness of functions $f(x_1,...,x_m)$ of variables $x_1,...,x_m$ in infinite fields with non-trivial multiplicative ultra-norms, where $m\ge 2$. Theorems about classes of smoothness $C^n$ or $C^n_b$ of functions with continuous or bounded uniformly continuous on bounded domains partial difference quotients up to the order $n$ are investigated. It is proved, that from $f\circ u\in C^n({\bf K},{\bf K}^l)$ or $f\circ u\in C^n_b({\bf K},{\bf K}^l)$ for each $C^{\infty}$ or $C^{\infty }_b$ curve $u: {\bf K}\to {\bf K}^m$ it follows, that $f\in C^n({\bf K}^m,{\bf K}^l)$ or $f\in C^n_b({\bf K}^m,{\bf K}^l)$ respectively. Moreover, classes of smoothness $C^{n,r}$ and $C^{n,r}_b$ and more general in the sense of Lipschitz for partial difference quotients are considered and theorems for them are proved.


title: Weierstrass representation for timelike minimal surfaces in Minkowski 3-space

abstract: Using techniques of integrable systems, we study a Weierstrass representation formula for timelike surfaces with prescribed mean curvature in Minkowski 3-space. It is shown that timelike minimal surfaces are obtained by integrating a pair of Lorentz holomorphic and Lorentz antiholomorphic null curves in Minkowski 3-space. The relationship between timelike minimal surfaces and bosonic Nambu-Goto string worldsheets in spacetime is also discussed in the appendix.


title: $m$-cluster categories and $m$-replicated algebras

abstract: Let A be a hereditary algebra over an algebraically closed field. We prove that an exact fundamental domain for the m-cluster category of A is the m-left part of the m-replicated algebra $A^{(m)}$ of A. Moreover, we obtain a one-to-one correspondence between the tilting objects in the m-cluster category (that is, the m-clusters) and those tilting $A^{(m)}$-modules for which all non projective-injective direct summands lie in the m-left part of $A^{(m)}$.


title: On the splitting problem for manifold pairs with boundaries

abstract: The problem of splitting a homotopy equivalence along a submanifold is closely related to the surgery exact sequence and to the problem of surgery of manifold pairs. In classical surgery theory there exist two approaches to surgery in the category of manifolds with boundaries. In the $ rel \partial$ case the surgery on a manifold pair is considered with the given fixed manifold structure on the boundary. In the relative case the surgery on the manifold with boundary is considered without fixing maps on the boundary. Consider a normal map to a manifold pair $(Y, \partial Y)\subset (X, \partial X)$ with boundary which is a simple homotopy equivalence on the boundary $\partial X$. This map defines a mixed structure on the manifold with the boundary in the sense of Wall. We introduce and study groups of obstructions to splitting of such mixed structures along submanifold with boundary $(Y, \partial Y)$. We describe relations of these groups to classical surgery and splitting obstruction groups. We also consider several geometric examples.


title: Surgery spectral sequence and stratified manifolds

abstract: Cappell and Shaneson pointed out in 1978 interesting properties of Browder - Livesay invariants which are similar to differentials in some spectral sequence. Such spectral sequence was constructed in 1991 by Hambleton and Kharshiladze. This spectral sequence is closely related to a problem of realization of elements of Wall groups by normal maps of closed manifolds. The main step of construction of the spectral sequence is an infinite filtration of spectra in which only the first two, as is well-known, have clear geometric sense. The first one is a spectrum $\Bbb L(\pi_1(X))$ for surgery obstruction groups of a manifold $X$ and the second $\Bbb LP_*(F)$ is a spectrum for surgery on a Browder-Livesay manifold pair $Y\subset X$. The geometric sense of the third term of filtration was explained by Muranov, Repov\v{s}, and Spaggiari in 2002. In the present paper we give a geometric interpretation of all spectra of filtration in construction of Hambleton and Kharshiladze. We introduce groups of obstructions to surgery on a system of embeddedd manifolds and prove that spectra which realize these groups coincide with spectra in the filtration of Hambleton and Kharshiladze. We describe algebraic and geometric properties of introduced obstruction groups and their relations to the classical surgery theory. We prove isomorphism between introduced groups and Browder-Quinn $L$-groups of stratified manifolds. We give an application of our results to closed manifold surgery problem and iterated Browder-Livesay invariant.


title: Splitting along a submanifold pair

abstract: The paper introduces a group $LSP$ of obstructions for splitting a homotopy equivalence along a pair of submanifolds. We develop exact sequences relating the $LSP$-groups with various surgery obstruction groups for manifold triple and structure sets arising from triples of manifolds. The natural map from the surgery obstruction group of the ambient manifold to the $LSP$-group provides an invariant when elements of the Wall group are not realized by normal maps of closed manifolds. Some $LSP$-groups are computed precisely.


title: Structures of Coincidence Symmetry Groups

abstract: The structure of the coincidence symmetry group of an arbitrary $n$-dimensional lattice in the $n$-dimensional Euclidean space is considered by describing a set of generators. Particular attention is given to the coincidence isometry subgroup (the subgroup formed by those coincidence symmetries which are elements of the orthogonal group). Conditions under which the coincidence isometry group can be generated by reflections defined by vectors of the lattice will be discussed, and an algorithm to decompose an arbitrary element of the coincidence isometry group in terms of reflections defined by vectors of the lattice will be given.


title: Indices of Coincidence Isometries of the Hyper Cubic Lattice $Z^n$

abstract: The problem of computing the index of a coincidence isometry of the hyper cubic lattice $\mathbb{Z}^{n}$ is considered. The normal form of a rational orthogonal matrix is analyzed in detail, and explicit formulas for the index of certain coincidence isometries of $\mathbb{Z}^{n}$ are obtained. These formulas generalize the known results for $n\le 4$.


title: Context for models of concurrency

abstract: Many categories have been used to model concurrency. Using any of these, the challenge is to reduce a given model to a smaller representation which nevertheless preserves the relevant computer-scientific information. That is, one wants to replace a given model with a simpler model with the same directed homotopy-type. Unfortunately, the obvious definition of directed homotopy equivalence is too coarse. This paper introduces the notion of context to refine this definition.


title: Simple Hopf algebras and deformations of finite groups

abstract: We show that certain twisting deformations of a family of supersolvable groups are simple as Hopf algebras. These groups are direct products of two generalized dihedral groups. Examples of this construction arise in dimensions 60 and p^2q^2, for prime numbers p, q with q dividing p-1. We also show that certain twisting deformation of the symmetric group is simple as a Hopf algebra. On the other hand, we prove that every twisting deformation of a nilpotent group is semisolvable. We conclude that the notions of simplicity and (semi)solvability of a semisimple Hopf algebra are not determined by its tensor category of representations.


title: Sufficient Conditions for Labelled 0-1 Laws

abstract: If F(x) = e^G(x), where F(x) = \sum f(n)x^n and $G(x) = \sum g(n)x^n, with 0 \le g(n) = O(n^{theta n}/n!),theta in (0,1), and gcd(n : g(n) > 0)=1, then f(n) = o(f(n-1)). This gives an answer to Compton's request in Question 8.3 for an ``easily verifiable sufficient condition'' to show that an adequate class of structures has a labelled first-order 0-1 law, namely it suffices to show that the labelled component count function is O(n^{theta n}) for some theta in (0,1). It also provides the means to recursively construct an adequate class of structures with a labelled 0-1 law but not an unlabelled 0-1 law, answering Compton's Question 8.4.


title: Semigroup-controlled asymptotic dimension

abstract: We introduce the idea of semigroup-controlled asymptotic dimension. This notion generalizes the asymptotic dimension and the asymptotic Assouad-Nagata dimension in the large scale. There are also semigroup controlled dimensions for the small scale and the global scale. Many basic properties of the asymptotic dimension theory are satisfied by a semigroup-controlled asymptotic dimension. We study how these new dimensions could help in the understanding of coarse embeddings and uniform embeddings. In particular we have introduced uncountable many invariants under quasi-isometries and uncountable many bi-Lipschitz invariants. Hurewicz type theorems are generalized and some applications to geometric group theory are shown.


title: Densities for random balanced sampling

abstract: A random balanced sample (RBS) is a multivariate distribution with n components X_1,...,X_n, each uniformly distributed on [-1, 1], such that the sum of these components is precisely 0. The corresponding vectors X lie in an (n-1)-dimensional polytope M(n). We present new methods for the construction of such RBS via densities over M(n) and these apply for arbitrary n. While simple densities had been known previously for small values of n (namely 2,3 and 4), for larger n the known distributions with large support were fractal distributions (with fractal dimension asymptotic to n as n approaches infinity). Applications of RBS distributions include sampling with antithetic coupling to reduce variance, and the isolation of nonlinearities. We also show that the previously known densities (for n<5) are in fact the only solutions in a natural and very large class of potential RBS densities. This finding clarifies the need for new methods, such as those presented here.


title: Affine synthesis and coefficient norms for Lebesgue, Hardy and Sobolev spaces

abstract: The affine synthesis operator is shown to map the mixed-norm sequence space $\ell^1(\ell^p)$ surjectively onto $L^p(\Rd), 1 \leq p < \infty$, assuming the Fourier transform of the synthesizer does not vanish at the origin and the synthesizer has some decay near infinity. Hence the standard norm on $f \in L^p(\Rd)$ is equivalent to the minimal coefficient norm of realizations of $f$ in terms of the affine system. We further show the synthesis operator maps a discrete Hardy space onto $H^1(\Rd)$, which yields a norm equivalence for Hardy space involving convolution with a discrete Riesz kernel sequence. Coefficient norm equivalences are established also for Sobolev spaces, by applying difference operators to the coefficient sequences.


title: An Introduction to Virtual Spatial Graph Theory

abstract: Two natural generalizations of knot theory are the study of spatial graphs and virtual knots. Our goal is to unify these two approaches into the study of virtual spatial graphs. This paper is a survey, and does not contain any new results. We state the definitions, provide some examples, and survey the known results. We hope that this paper will help lead to rapid development of the area.


title: Tail estimates for sums of variables sampled from a random walk

abstract: We prove tail estimates for variables $\sum_i f(X_i)$, where $(X_i)_i$ is the trajectory of a random walk on an undirected graph (or, equivalently, a reversible Markov chain). The estimates are in terms of the maximum of the function $f$, its variance, and the spectrum of the graph. Our proofs are more elementary than other proofs in the literature, and our results are sharper. We obtain Bernstein and Bennett-type inequalities, as well as an inequality for subgaussian variables.


title: Remarks on a Problem of Eisenstein

abstract: The fundamental unit of $\Z[\sqrt{N}]$ for square-free $N=5 mod 8$ is either $\epsilon$ or $\epsilon^3$ where $\epsilon$ denotes the fundamental unit of the maximal order of $\Q(\sqrt{N})$. We give infinitely many examples for each case.


title: Multilateral inversion of A_r, C_r and D_r basic hypergeometric series

abstract: In [Electron. J. Combin. 10 (2003), #R10], the author presented a new basic hypergeometric matrix inverse with applications to bilateral basic hypergeometric series. This matrix inversion result was directly extracted from an instance of Bailey's very-well-poised 6-psi-6 summation theorem, and involves two infinite matrices which are not lower-triangular. The present paper features three different multivariable generalizations of the above result. These are extracted from Gustafson's A_r and C_r extensions and of the author's recent A_r extension of Bailey's 6-psi-6 summation formula. By combining these new multidimensional matrix inverses with A_r and D_r extensions of Jackson's 8-phi-7 summation theorem three balanced very-well-poised 8-psi-8 summation theorems associated with the root systems A_r and C_r are derived.


title: Number variance of random zeros on complex manifolds

abstract: We show that the variance of the number of simultaneous zeros of $m$ i.i.d. Gaussian random polynomials of degree $N$ in an open set $U \subset C^m$ with smooth boundary is asymptotic to $N^{m-1/2} \nu_{mm} Vol(\partial U)$, where $\nu_{mm}$ is a universal constant depending only on the dimension $m$. We also give formulas for the variance of the volume of the set of simultaneous zeros in $U$ of $k<m$ random degree-$N$ polynomials on $C^m$. Our results hold more generally for the simultaneous zeros of random holomorphic sections of the $N$-th power of any positive line bundle over any $m$-dimensional compact K\"ahler manifold.


title: On Stokes Matrices of Calabi-Yau hypersurfaces

abstract: We consider Laplace transforms of the Picard-Fuchs differential equations of Calabi-Yau hypersurfaces and calculate their Stokes matrices. We also introduce two different types of Laplace transforms of Gel'fand-Kapranov-Zelevinski hypergeometric systems.


title: Orbifold fibrations of Eschenburg spaces

abstract: We study isometric circle actions on 7 dimensional positively curved Eschenburg spaces which are almost free, thus giving rise to orbifold fibrations of these spaces. This shows in particular that every known example of compact manifolds with positive sectional curvature is the total space of an orbifold fibration. We then study in detail the geometry of the singular locus and how to minimize it. As a consequence we obtain, for example, a six dimensional compact positively curved orbifold with only two singular points with orbifold groups Z_2.


title: A parabolic free boundary problem with Bernoulli type condition on the free boundary

abstract: Consider the parabolic free boundary problem $$ \Delta u - \partial_t u = 0 \textrm{in} \{u>0\}, |\nabla u|=1 \textrm{on} \partial\{u>0\} . $$ For a realistic class of solutions, containing for example {\em all} limits of the singular perturbation problem $$\Delta u_\epsilon - \partial_t u_\epsilon = \beta_\epsilon(u_\epsilon) \textrm{as} \epsilon\to 0,$$ we prove that one-sided flatness of the free boundary implies regularity. In particular, we show that the topological free boundary $\partial\{u>0\}$ can be decomposed into an {\em open} regular set (relative to $\partial\{u>0\}$) which is locally a surface with H\"older-continuous space normal, and a closed singular set. Our result extends the main theorem in the paper by H.W. Alt-L.A. Caffarelli (1981) to more general solutions as well as the time-dependent case. Our proof uses methods developed in H.W. Alt-L.A. Caffarelli (1981), however we replace the core of that paper, which relies on non-positive mean curvature at singular points, by an argument based on scaling discrepancies, which promises to be applicable to more general free boundary or free discontinuity problems.


title: On block partial linearizations of the pfaffian

abstract: Amitsur's formula, which expresses det(A+B) as a polynomial in coefficients of the characteristic polynomial of a matrix, is generalized for partial linearizations of the pfaffian of block matrices. As applications, in upcoming papers we determine generators for the SO(n)-invariants of several matrices and relations for the O(n)-invariants of several matrices over a field of arbitrary characteristic.


title: Compact maps and quasi-finite complexes

abstract: The simplest condition characterizing quasi-finite CW complexes $K$ is the implication $X\tau_h K\implies \beta(X)\tau K$ for all paracompact spaces $X$. Here are the main results of the paper: Theorem: If $\{K_s\}_{s\in S}$ is a family of pointed quasi-finite complexes, then their wedge $\bigvee\limits_{s\in S}K_s$ is quasi-finite. Theorem: If $K_1$ and $K_2$ are quasi-finite countable complexes, then their join $K_1\ast K_2$ is quasi-finite. Theorem: For every quasi-finite CW complex $K$ there is a family $\{K_s\}_{s\in S}$ of countable CW complexes such that $\bigvee\limits_{s\in S} K_s$ is quasi-finite and is equivalent, over the class of paracompact spaces, to $K$. Theorem: Two quasi-finite CW complexes $K$ and $L$ are equivalent over the class of paracompact spaces if and only if they are equivalent over the class of compact metric spaces. Quasi-finite CW complexes lead naturally to the concept of $X\tau {\mathcal F}$, where ${\mathcal F}$ is a family of maps between CW complexes. We generalize some well-known results of extension theory using that concept.


title: Complex Osserman Algebraic Curvature Tensors and Clifford Families

abstract: We classify the algebraic curvature tensors which are both Osserman and complex Osserman in all but a finite number of exceptional dimensions.Information concerning the possible eigenvalue structures, which is provided by methods of algebraic topology, plays a central role in the analysis.


title: Invariants of quivers under the action of classical groups

abstract: We consider a generalization of representations of quivers that can be derived from the ordinary representations of quivers by considering a product of arbitrary classical groups instead of a product of the general linear groups and by considering the dual action of groups on "vertex" vector spaces together with the usual action. A generating system for the corresponding algebra of invariants is found. In particular, a generating system for the algebra of SO(n)-invariants of several matrices is constructed over a field of characteristic different from 2. The proof uses the reduction to semi-invariants of mixed representations of a quiver and the decomposition formula that generalizes Amitsur's formula for the determinant.


title: Moments of characteristic polynomials for compact symmetric spaces and Jack polynomials

abstract: We express the averages of products of characteristic polynomials for random matrix ensembles associated with compact symmetric spaces in terms of Jack polynomials or Heckman and Opdam's Jacobi polynomials depending on the root system of the space. We also give explicit expressions for the asymptotic behavior of these averages in the limit as the matrix size goes to infinity.


title: Totally geodesic subgraphs of the pants complex

abstract: Our main theorem asserts that every Farey graph embedded in the 1-skeleton of the pants complex of any finite type surface is totally geodesic.


title: Calculating the correlation coefficients of graph-theoretical indices

abstract: Using a generating function approach, the correlation coefficients of four different graph-theoretical indices, namely the number of independent vertex subsets, the number of matchings, the number of subtrees and the Wiener index, are asymptotically determined for random rooted ordered trees.


title: Idempotent probability measures, I

abstract: The set of all idempotent probability measures (Maslov measures) on a compact Hausdorff space endowed with the weak* topology determines is functorial on the category $\comp$ of compact Hausdorff spaces. We prove that the obtained functor is normal in the sense of E. Shchepin. Also, this functor is the functorial part of a monad on $\comp$. We prove that the idempotent probability measure monad contains the hyperspace monad as its submonad. A counterpart of the notion of Milyutin map is defined for the idempotent probability measures. Using the fact of existence of Milyutin maps we prove that the functor of idempotent probability measures preserves the class of open surjective maps. Unlikely to the case of probability measures, the correspondence assigning to every pair of idempotent probability measures on the factors the set of measures on the product with these marginals, is not open.


title: Orders of vanishing of zeros of characteristic $p$ zeta function

abstract: Orders of vanishing of zeros of zeta functions have much arithmetic information encoded in them. For the absolute zeta function, Dinesh Thakur gave sufficient conditions for the order of vanishing of its zeros when the finite field has two elements. Such conditions consider only principal ideals. This result was generalized by Thakur and Diaz-Vargas. Now the conditions involve not only the principal ideals but all the classes of ideals, still in the field of two elements. In this work, we generalize these results to arbitrary finite fields, using similar proofs of Thakur and Diaz-Vargas.


title: Quantum stochastic convolution cocycles

abstract: A concept of quantum stochastic convolution cocycle is introduced and studied in two different contexts -- purely algebraic and operator space theoretic. A quantum stochastic convolution cocycle is a quantum stochastic process on a coalgebra satisfying the convolution cocycle relation and the initial condition given by the counit. The notion generalises that of quantum Levy process, which in turn is a noncommutative probability counterpart of classical Levy process on a group. Convolution cocycles arise as solutions of quantum stochastic differential equations. In turn every sufficiently regular cocycle satisfies an equation of that type. This is proved along with the corresponding existence and uniqueness of solutions for coalgebraic quantum stochastic differential equations. The stochastic generators of unital *-homomorphic cocycles are characterised in terms of structure maps on a *-bialgebra. This yields a simple proof of the Schurmann Reconstruction Theorem for a quantum Levy process; it also yields a topological version for a quantum Levy process on a C*-bialgebra. Precise characterisation of the stochastic generators of completely positive and contractive quantum stochastic convolution cocycles in the C*-algebraic context is given, leading to some dilation results. A few examples are presented and some interpretations offered for quantum stochastic convolution cocycles and their stochastic generators on different types of *-bialgebra.


title: Lie group stability of finite difference schemes

abstract: Differential equations arising in fluid mechanics are usually derived from the intrinsic properties of mechanical systems, in the form of conservation laws, and bear symmetries, which are not generally preserved by a finite difference approximation, and leading to inaccurate numerical results. This paper proposes a method that enables us to build a scheme that preserves some of those symmetries.


title: Construction de valeurs propres doubles du laplacien de Hodge-de Rham

abstract: On any compact manifold of dimension greater than 3, we exhibit a metric whose first positive eigenvalue for the Laplacian acting on p-form is of multiplicity 2. As a corollary, we prescribe the volume and any finite part of the spectrum of the Hodge Laplacian with multiplicity 1 or 2.


title: Trees and the dynamics of polynomials

abstract: The basin of infinity of a polynomial map $f : {\bf C} \arrow {\bf C}$ carries a natural foliation and a flat metric with singularities, making it into a metrized Riemann surface $X(f)$. As $f$ diverges in the moduli space of polynomials, the surface $X(f)$ collapses along its foliation to yield a metrized simplicial tree $(T,\eta)$, with limiting dynamics $F : T \arrow T$. In this paper we characterize the trees that arise as limits, and show they provide a natural boundary $\PT_d$ compactifying the moduli space of polynomials of degree $d$. We show that $(T,\eta,F)$ records the limiting behavior of multipliers at periodic points, and that any divergent meromorphic family of polynomials $\{f_t(z) : t \mem \Delta^* \}$ can be completed by a unique tree at its central fiber. Finally we show that in the cubic case, the boundary of moduli space $\PT_3$ is itself a tree. The metrized trees $(T,\eta,F)$ provide a counterpart, in the setting of iterated rational maps, to the ${\bf R}$-trees that arise as limits of hyperbolic manifolds.


title: Pseudo Algebras and Pseudo Double Categories

abstract: As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into bicategories. Foldings are equivalent to connection pairs, and also to thin structures if the vertical and horizontal morphisms coincide. In a sense, the squares of a double category with folding are determined in a functorial way by the 2-cells of the horizontal 2-category. As a special case, strict 2-algebras with one object and everything invertible are crossed modules under a group.


title: The Zeta Function of a Hypergraph

abstract: We generalize the Ihara-Selberg zeta function to hypergraphs in a natural way. Hashimoto's factorization results for biregular bipartite graphs apply, leading to exact factorizations. For $(d,r)$-regular hypergraphs, we show that a modified Riemann hypothesis is true if and only if the hypergraph is Ramanujan in the sense of Winnie Li and Patrick Sol\'e. Finally, we give an example to show how the generalized zeta function can be applied to graphs to distinguish non-isomorphic graphs with the same Ihara-Selberg zeta function.


title: Hochschild cohomology of smash products and rank one Hopf algebras

abstract: We give some general results on the ring structure of Hochschild cohomology of smash products of algebras with Hopf algebras. We compute this ring structure explicitly for a large class of finite dimensional Hopf algebras of rank one.


title: Families of knots for which Morton's inequality is strict

abstract: We describe a procedure for creating infinite families of knots, each having the maximum degree of their HOMFLY polynomial strictly less than twice their canonical genus. These families build upon examples first found by Stoimenow.


title: Large Restricted Lie Algebras

abstract: We establish some results about large restricted Lie algebras similar to those known in the Group Theory. As an application we use this group-theoretic approach to produce some examples of restricted as well as ordinary Lie algebras which can serve as counterexamples for various Burnside-type questions.


title: Canonical genus and the Whitehead doubles of pretzel knots

abstract: We show that for an alternating pretzel knot K the canonical genera of its Whitehead doubles W(K) are equal to the crossing number c(K) of K, verifying a conjecture of Tripp in the case of these knots.


title: Some heuristics about elliptic curves

abstract: We give some heuristics for counting elliptic curves with certain properties. In particular, we re-derive the Brumer-McGuinness heuristic for the number of curves with positive/negative discriminant up to $X$, which is an application of lattice-point counting. We then introduce heuristics (with refinements from random matrix theory) that allow us to predict how often we expect an elliptic curve $E$ with even parity to have $L(E,1)=0$. We find that we expect there to be about $c_1X^{19/24}(\log X)^{3/8}$ curves with $|\Delta|<X$ with even parity and positive (analytic) rank; since Brumer and McGuinness predict $cX^{5/6}$ total curves, this implies that asymptotically almost all even parity curves have rank 0. We then derive similar estimates for ordering by conductor, and conclude by giving various data regarding our heuristics and related questions.


title: Sum rules and spectral measures of Schrodinger operators with L^2 potentials

abstract: Necessary and sufficient conditions are presented for a positive measure to be the spectral measure of a half-line Schrodinger operator with square integrable potential.


title: The submonoid and rational subset membership problems for graph groups

abstract: We show that the membership problem in a finitely generated submonoid of a graph group (also called a right-angled Artin group or a free partially commutative group) is decidable if and only if the independence graph (commutation graph) is a transitive forest. As a consequence we obtain the first example of a finitely presented group with a decidable generalized word problem that does not have a decidable membership problem for finitely generated submonoids. We also show that the rational subset membership problem is decidable for a graph group if and only if the independence graph is a transitive forest, answering a question of Kambites, Silva, and the second author. Finally we prove that for certain amalgamated free products and HNN-extensions the rational subset and submonoid membership problems are recursively equivalent. In particular, this applies to finitely generated groups with two or more ends that are either torsion-free or residually finite.


title: Universal Cycles on 3-Multisets

abstract: Consider the collection of all t-multisets of {1,...,n}. A universal cycle on multisets is a string of numbers, each of which is between 1 and n, such that if these numbers are considered in t-sized windows, every multiset in the collection is present in the string precisely once. The problem of finding necessary and sufficient conditions on n and t for the existence of universal cycles and similar combinatorial structures was first addressed by DeBruijn in 1946 (who considered t-tuples instead of t-multisets). The past 15 years has seen a resurgence of interest in this area, primarily due to Chung, Diaconis, and Graham's 1992 paper on the subject. For the case t=3, we determine necessary and sufficient conditions on n for the existence of universal cycles, and we examine how this technique can be generalized to other values of t.


title: Relativity grupoid insted of relativity group

abstract: Minkowski in 1908 used space-like binary velocity-field of a medium, relative to an observer. Hestenes in 1974 introduced, within a Clifford algebra, an axiomatic binary relative velocity as a Minkowski bivector. We propose consider binary relative velocity as a traceless nilpotent endomorphism in an operator algebra. Any concept of a binary axiomatic relative velocity made possible the replacement of the Lorentz relativity group by the relativity groupoid. The relativity groupoid is a category of massive bodies in mutual relative motions, where a binary relative velocity is interpreted as a categorical morphism with the associative addition. This associative addition is to be contrasted with non-associative addition of (ternary) relative velocities in isometric special relativity (loop structure). We consider an algebra of many time-plus-space splits, as an operator algebra generated by idempotents. The kinematics of relativity groupoid is ruled by associative Frobenius operator algebra, whereas the dynamics of categorical relativity needs the non-associative Fr\"olicher-Richardson operator algebra. The Lorentz covariance is the cornerstone of physical theory. Observer-dependence within relativity groupoid, and the Lorentz-covariance (within the Lorentz relativity group), are different concepts. Laws of Physics could be observer-free, rather than Lorentz-invariant.


title: On conformally invariant differential operators

abstract: We construct new families of conformally invariant differential operators acting on densities. We introduce a simple, direct approach which shows that all such operators arise via this construction when the degree is bounded by the dimension. The method relies on a study of well-known transformation laws and on Weyl's theory regarding identities holding ``formally'' vs. ``by substitution''. We also illustrate how this new method can strengthen existing results in the parabolic invariant theory for conformal geometries.


title: The Caratheodory and Kobayashi metrics and applications in complex analysis

abstract: The Caratheodory and Kobayashi metrics have proved to be important tools in the function theory of several complex variables. But they are less familiar in the context of one complex variable. Our purpose here is to gather in one place the basic ideas about these important invariant metrics for domains in the plane and to provide some illuminating examples and applications.


title: The quantum Knizhnik-Zamolodchikov equation and non-symmetric Macdonald polynomials

abstract: We construct special solutions of the quantum Knizhnik-Zamolodchikov equation on the tensor product of the vector representation of the quantum algebra of type A_{N-1}. They are constructed from non-symmetric Macdonald polynomials through the action of the affine Hecke algebra. As a special case the matrix element of the vertex operators of level one is reproduced.


title: Relative homological categories

abstract: We introduce relative homological and weakly homological categories, where ``relative'' refers to a distinguished class of normal epimorphisms. It is a generalization of homological categories, but also protomodular categories can be regarded as examples. We indicate that the relative versions of various homological lemmas can be proved in a relative homological category.


title: Richardson elements for parabolic subgroups of classical groups in positive characteristic

abstract: Let $G$ be a simple algebraic group of classical type over an algebraically closed field $k$. Let $P$ be a parabolic subgroup of $G$ and let $\p = \Lie P$ be the Lie algebra of $P$ with Levi decomposition $\p = {\l}\oplus \u$, where $\u$ is the Lie algebra of the unipotent radical of $P$ and $\l$ is a Levi complement. Thanks to a fundamental theorem of R. W. Richardson, $P$ acts on $\u$ with an open dense orbit; this orbit is called the {\em Richardson orbit} and its elements are called {\em Richardson elements}. Recently, the first author gave constructions of Richardson elements in the case $k = \C$ for many parabolic subgroups $P$ of $G$. In this note, we observe that these constructions remain valid for any algebraically closed field $k$ of characteristic not equal to 2 and we give constructions of Richardson elements for the remaining parabolic subgroups.


title: $n$-Colour self-inverse compositions

abstract: MacMahon's definition of self-inverse composition is extended to $n$-colour self-inverse composition. This introduces four new sequences which satisfy the same recurrence relation with different initial conditions like the famous Fibonacci and Lucas sequences. For these new sequences explicit formulas, recurrence relations, generating functions and a summation formula are obtained. Two new binomial identities with combinatorial meaning are also given.


title: Maximally differential ideals in regular local rings

abstract: It is shown that if $A$ is a regular local ring and $I$ is a maximally differential ideal in $A$, then $I$ is generated by an $A$-sequence.


title: Collapsed 5-manifolds with pinched positive sectional curvature

abstract: Let M be a closed 5-manifold of pinched curvature 0<\delta\le \text{sec}_M\le 1. We prove that M is homeomorphic to a spherical space form if M satisfies one of the following conditions: (i) \delta =1/4 and the fundamental group is a non-cyclic group of order at least C, a constant. (ii) The center of the fundamental group has index at least w(\delta), a constant depending on \delta. (iii) The ratio of the volume and the maximal injectivity radius is less than \epsilon(\delta). (iv) The volume is less than \epsilon(\delta) and the fundamental group \pi_1(M) has a center of index at least w, a universal constant, and \pi_1(M) is either isomorphic to a spherical 5-space group or has an odd order.


title: On the complexity of the Whitehead minimization problem

abstract: The Whitehead minimization problem consists in finding a minimum size element in the automorphic orbit of a word, a cyclic word or a finitely generated subgroup in a finite rank free group. We give the first fully polynomial algorithm to solve this problem, that is, an algorithm that is polynomial both in the length of the input word and in the rank of the free group. Earlier algorithms had an exponential dependency in the rank of the free group. It follows that the primitivity problem -- to decide whether a word is an element of some basis of the free group -- and the free factor problem can also be solved in polynomial time.


title: Global well-posedness for the Schroedinger equation coupled to a nonlinear oscillator

abstract: The Schroedinger equation with the nonlinearity concentrated at a single point proves to be an interesting and important model for the analysis of long-time behavior of solutions, such as the asymptotic stability of solitary waves and properties of weak global attractors. In this note, we prove global well-posedness of this system in the energy space $H\sp 1$.


title: On module categories over finite-dimensional Hopf algebras

abstract: We show that indecomposable exact module categories over the category Rep H of representations of a finite-dimensional Hopf algebra H are classified by left comodule algebras, H-simple from the right and with trivial coinvariants, up to equivariant Morita equivalence. Specifically, any indecomposable exact module categories is equivalent to the category of finite-dimensional modules over a left comodule algebra. This is an alternative approach to the results of Etingof and Ostrik. For this, we study the stabilizer introduced by Yan and Zhu and show that it coincides with the internal Hom. We also describe the correspondence of module categories between Rep H and Rep (H^*).


title: A Neutral Kaehler Metric on Space of Time-like Lines in Lorentzian 3-space

abstract: We study the neutral K\"ahler metric on the space of time-like lines in Lorentzian ${\Bbb{E}}^3_1$, which we identify with the total space of the tangent bundle to the hyperbolic plane. We find all of the infinitesimal isometries of this metric, as well as the geodesics, and interpret them in terms of the Lorentzian metric on ${\Bbb{E}}^3_1$. In addition, we give a new characterisation of Weingarten surfaces in Euclidean ${\Bbb{E}}^3$ and Lorentzian ${\Bbb{E}}^3_1$ as the vanishing of the scalar curvature of the associated normal congruence in the space of oriented lines. Finally, we relate our construction to the classical Weierstrass representation of minimal and maximal surfaces in ${\Bbb{E}}^3$ and ${\Bbb{E}}^3_1$.


title: The Burkholder-Davis-Gundy Inequality for Enhanced Martingales

abstract: Multi-dimensional continuous local martingales, enhanced with their stochastic area process, give rise to geometric rough paths with a.s. finite homogenous p-variation, p>2. Here we go one step further and establish quantitative bounds of the p-variation norm in the form of a BDG inequality. Our proofs are based on old ideas by Lepingle. We also discuss geodesic and piecewise linear approximations.


title: Schubert Calculus according to Schubert

abstract: We try to understand and justify Schubert Calculus the way Schubert did it.


title: Complex determinantal processes and H1 noise

abstract: For the plane, sphere, and hyperbolic plane we consider the canonical invariant determinantal point processes with intensity rho dnu, where nu is the corresponding invariant measure. We show that as rho converges to infinity, after centering, these processes converge to invariant H1 noise. More precisely, for all functions f in the interesection of H1(nu) and L1(nu) the distribution of sum f(z) - rho/pi integral f dnu converges to Gaussian with mean 0 and variance given by ||f||_H1^2 / (4 pi).


title: An application of lambda-method on Shafer-Fink's inequality

abstract: In the paper $\lambda$-method Mitrinovic-Vasic is applied aiming to improve Fink's inequality, and Shafer's inequality for arcus sinus function is observed.


title: An application of Lambda-method on inequalities of Shafer-Fink's type

abstract: In this article $\lambda$-method of Mitrinovic-Vasic \cite{MitrinovicVasic70} is applied to improve the upper bound for the arcsin function of L. Zhu \cite{Zhu05} for inequalities of Shafer-Fink's type.


title: The residue current of a codimension three complete intersection

abstract: Let $f_1$, $f_2$, and $f_3$ be holomorphic functions on a complex manifold and assume that the common zero set of the $f_j$ has maximal codimension, i.e., that it is a complete intersection. We prove that the iterated Mellin transform of the residue integral has an analytic continuation to a neighborhood of the origin in $\mathbb{C}^3$. We prove also that the natural regularization of the residue current converges unrestrictedly.


title: One method for proving inequalities by computer

abstract: In this article we consider a method for proving a class of analytical inequalities via minimax rational approximations. All numerical calculations in this paper are given by Maple computer program.

categories: math.CA cs.GR cs.MS cs.NA math.GM math.NA


title: Cryptography and non commutative cohomology

abstract: In this paper, we study cryptography from a geometrical viewpoint. Let N be a network, we endow N with a natural Grothendieck topology. We use geometric representations of cohomological classes to define encryptions protocols. Link to link encryption is related to the notion of torsors. We use the notion of connective structure defined on a gerbe to define public encryption. We study statistical properties of data conveyed in a network, and define an entropy cocycle.


title: G-algebras, twistings, and equivalences of graded categories

abstract: Given Z-graded rings A and B, we study when the categories gr-A and gr-B are equivalent. We relate the Morita-type results of Ahn-Marki and del Rio to the twisting systems introduced by Zhang. Using Z-algebras, we obtain a simple proof of Zhang's main result. This makes the definition of a Zhang twist extremely natural and extends Zhang's results.


title: Green Operators in the Edge Calculus

abstract: The task to construct parametrices of elliptic differential operators on a manifold with edges requires a calculus of operators with a two-component principal symbolic hierarchy, consisting of (edge-degenerate) interior and (operator-valued) edge symbols. This so-called edge-algebra can be interpreted as a generalisation of the (pseudo-differential) algebra of boundary value problems without the transmission property at the boundary. We study new properties of the edge-algebra, in particular, what concerns the role of Green operators and their kernel representations.


title: Aryabhata's Root Extraction Methods

abstract: We investigate the mathematics behind 1500 year old root extraction methods presented by Aryabhata in his famous mathematical treatise "Aryabhatiya". Also, we look at their computational complexity.


title: Some recent approaches in 4-dimensional surgery theory

abstract: It is well-known that an n-dimensional Poincar\'{e} complex $X^n$, $n \ge 5$, has the homotopy type of a compact topological $n$-manifold if the total surgery obstruction $s(X^n)$ vanishes. The present paper discusses recent attempts to prove analogous result in dimension 4. We begin by reviewing the necessary algebraic and controlled surgery theory. Next, we discuss the key idea of Quinn's approach. Finally, we present some cases of special fundamental groups, due to the authors and to Yamasaki.


title: The Higher Dimensional Positive Mass Theorem I

abstract: We derive the Riemannian Positive Mass theorem in arbitrary dimensions, without any topological constraints. The main new tools are skin structures and surgeries on minimal hypersurfaces.


title: Elementary treatment of $p^a \pm p^b + 1 = x^2$

abstract: We give a shorter simpler proof of a result of Szalay on the equation $2^a + 2^b + 1 = z^2$. We give an elementary proof of a result of Luca on the equation of the title for prime $p > 2$. The elementary treatment is made possible by a lemma which is also useful for other Diophantine equations.


title: Stochastic Lagrangian Transport and Generalized Relative Entropies

abstract: We discuss stochastic representations of advection diffusion equations with variable diffusivity, stochastic integrals of motion and generalized relative entropies.


title: Comments on Le Maohua's 1999 paper in the Proc. Japan Acad

abstract: Considering the equation $$a^x+b^y = c^z,$$ Le gives an upper bound on the number of solutions $(x,y,z)$, and a bound on $z$. Here we give slight improvements to these results, also removing the restriction that $a$, $b$, $c$ be squarefree.


title: Maximally symmetric stable curves II

abstract: We find a sharp bound for the order of the automorphism group of a stable curve of genus $g$ with $3g-3$ nodes, and a sharp bound for the order of the automorphism group of such a curve with all smooth components. Combined with the results of our article math.CO/0608645 we find that graph theoretically, the cubic graph with a given number of vertices and most automorphisms is simple, but algebro-geometrically, the stable curves with $3g-3$ nodes that have the most automorphisms have non-simple dual graph.


title: Finiteness for degenerate polynomials

abstract: Let $\MP_d$ denote the space of polynomials $f: \C \to \C$ of degree $d\geq 2$, modulo conjugation by $\Aut(\C)$. Using properties of polynomial trees (as introduced in [DM, math.DS/0608759]), we show that if $f_n$ is a divergent sequence of polynomials in $\MP_d$, then any subsequential limit of the measures of maximal entropy $m(f_n)$ will have finite support. With similar techniques, we observe that the iteration maps $\{\MPbar_d \dashrightarrow \MPbar_{d^n}: n\geq 1\}$ between GIT-compactifications can be resolved simultaneously with only finitely many blow-ups of $\MPbar_d$.


title: Homoclinic Orbits and Lagrangian Embeddings

abstract: This paper introduces techniques of symplectic topology to the study of homoclinic orbits in Hamiltonian systems. The main result is a strong generalization of homoclinic existence results due to Sere and to Coti-Zelati, Ekeland and Sere, which were obtained by variational methods. Our existence result uses a modification of a construction due to Mohnke (originally in the context of Legendrian chords), and an energy--capacity inequality of Chekanov. In essence, we show the existence of a homoclinic orbit by showing a certain Lagrangian embedding cannot exist. We consider a (possibly time dependent) Hamiltonian system on an exact symplectic manifold (W, \omega = d \lambda) with a hyperbolic rest point. In the case of periodic time dependence, we show the existence of an orbit homoclinic to the rest point if \lambda(X_H) - H is positive and proper, H is positive outside a compact set and proper, and (W, \omega) admits the structure of a Weinstein domain. In the autonomous case, we establish the existence of an orbit homoclinic to the rest point if the critical level is of restricted contact-type, and the critical level has a Hamiltonian displaceable neighbourhood.


title: Multiple partitions, lattice paths and a Burge-Bressoud-type correspondence

abstract: A bijection is presented between (1): partitions with conditions $f_j+f_{j+1}\leq k-1$ and $ f_1\leq i-1$, where $f_j$ is the frequency of the part $j$ in the partition, and (2): sets of $k-1$ ordered partitions $(n^{(1)}, n^{(2)}, ..., n^{(k-1)})$ such that $n^{(j)}_\ell \geq n^{(j)}_{\ell+1} + 2j$ and $ n^{(j)}_{m_j} \geq j+ {\rm max} (j-i+1,0)+ 2j (m_{j+1}+... + m_{k-1})$, where $m_j$ is the number of parts in $n^{(j)}$. This bijection entails an elementary and constructive proof of the Andrews multiple-sum enumerating partitions with frequency conditions. A very natural relation between the $k-1$ ordered partitions and restricted paths is also presented, which reveals our bijection to be a modification of Bressoud's version of the Burge correspondence.


title: Manin products, Koszul duality, Loday algebras and Deligne conjecture

abstract: In this article we give a conceptual definition of Manin products in any category endowed with two coherent monoidal products. This construction can be applied to associative algebras, non-symmetric operads, operads, colored operads, and properads presented by generators and relations. These two products, called black and white, are dual to each other under Koszul duality functor. We study their properties and compute several examples of black and white products for operads. These products allow us to define natural operations on the chain complex defining cohomology theories. With these operations, we are able to prove that Deligne's conjecture holds for a general class of operads and is not specific to the case of associative algebras. Finally, we prove generalized versions of a few conjectures raised by M. Aguiar and J.-L. Loday related to the Koszul property of operads defined by black products. These operads provide infinitely many examples for this generalized Deligne's conjecture.


title: Tensor product decompositions and open orbits in multiple flag varieties

abstract: For a connected semisimple algebraic group $G$, we consider some special infinite series of tensor products of simple $G$-modules whose $G$-fixed point spaces are at most one-dimensional. We prove that their existence is closely related to the existence of open $G$-orbits in multiple flag varieties and address the problem of classifying such series.


title: Novikov-Betti numbers and the fundamental group

abstract: We prove that nonvanishing of the first Novikov-Betti number implies that the fundamental group contains a nonabelian free subgroup.


title: Cohomological estimates for $\cat(X,\xi)$

abstract: This paper studies the homotopy invariant $\cat(X,\xi)$ introduced in \cite{farbe2}. Given a finite cell-complex $X$, we study the function $\xi\mapsto \cat(X,\xi)$ where $\xi$ varies in the cohomology space $H^1(X;\R)$. Note that $\cat(X,\xi)$ turns into the classical Lusternik - Schnirelmann category $\cat(X)$ in the case $\xi=0$. Interest in $\cat(X,\xi)$ is based on its applications in dynamics where it enters estimates of complexity of the chain recurrent set of a flow admitting Lyapunov closed 1-forms.


title: Hochschild and cyclic homology of preprojective algebras of ADE quivers

abstract: We calculate the additive structure (together with the grading) of the Hochschild homology and cohomology and the cyclic homology of preprojective algebras of types ADE.


title: On Uniformly Subelliptic Operators and Stochastic Area

abstract: We consider uniformly subelliptic operators on certain unimodular Lie groups of polynomial growth. It was shown by Saloff-Coste and Stroock that classical results of De Giorgi, Nash, Moser, Aronson extend to this setting. It was then observed by Sturm that many proofs extend naturally to the setting of locally compact Dirichlet spaces. We relate these results to what is known as rough path theory by showing that they provide a natural and powerful analytic machinery for construction and study of (random) geometric Hoelder rough paths. (In particular, we obtain a simple construction of the Lyons-Stoica stochastic area for a diffusion process with uniformly elliptic generator in divergence form.) Our approach then enables us to establish a number of far-reaching generalizations of classical theorems in diffusion theory including Wong-Zakai approximations, Freidlin-Wentzell sample path large deviations and the Stroock-Varadhan support theorem. The latter was conjectured by T. Lyons in his recent St. Flour lecture.


title: Homology of perfect complexes

abstract: It is proved that the sum of the Loewy lengths of the homology modules of a finite free complex F over a local ring R is bounded below by a number depending only on R. This result uncovers, in the structure of modules of finite projective dimension, obstructions to realizing R as a closed fiber of some flat local homomorphism. Other applications include, as special cases, uniform proofs of known results on free actions of elementary abelian groups and of tori on finite CW complexes. The arguments use numerical invariants of objects in general triangulated categories, introduced here and called levels. They allow one to track, through changes of triangulated categories, homological invariants like projective dimension, as well as structural invariants like Loewy length. An intermediate result sharpens, with a new proof, the New Intersection Theorem for commutative algebras over fields. Under additional hypotheses on the ring $R$ stronger estimates are proved for Loewy lengths of modules of finite projective dimension.


title: Counting Knight's Tours through the Randomized Warnsdorff Rule

abstract: We give an estimate of the number of geometrically distinct open tours $\G$ for a knight on a chessboard. We use a randomization of Warnsdorff rule to implement importance sampling in a backtracking scheme, correcting the observed bias of the original rule, according to the proposed principle that ``most solutions follow Warnsdorff rule most of the time''. After some experiments in order to test this principle, and to calibrate a parameter, interpreted as a distance of a general solution from a Warnsdorff solution, we conjecture that $\G=1.22\times 10^{15}$.


title: Nonlinear instability of a critical traveling wave in the generalized Korteweg -- de Vries equation

abstract: We prove the instability of a ``critical'' solitary wave of the generalized Korteweg -- de Vries equation, the one with the speed at the border between the stability and instability regions. The instability mechanism involved is ``purely nonlinear'', in the sense that the linearization at a critical soliton does not have eigenvalues with positive real part. We prove that critical solitons correspond generally to the saddle-node bifurcation of two branches of solitons.


title: Conley index for random dynamical systems

abstract: Conley index theory is a very powerful tool in the study of dynamical systems, differential equations and bifurcation theory. In this paper, we make an attempt to generalize the Conley index to discrete random dynamical systems. And we mainly follow the Conley index for maps given by Franks and Richeson in [6]. Furthermore, we simply discuss the relations of isolated invariant sets between time-continuous random dynamical systems and the corresponding time-$h$ maps. For applications we give several examples to illustrate our results.


title: The Kauffman bracket of virtual links and the Bollob\'as-Riordan polynomial

abstract: We show that the Kauffman bracket $[L]$ of a checkerboard colorable virtual link $L$ is an evaluation of the Bollob\'as-Riordan polynomial $R_{G_L}$ of a ribbon graph associated with $L$. This result generalizes Thistlethwaite's celebrated theorem relating the Kauffman bracket with the Tutte polynomial of planar graphs.


title: Global attractor for a nonlinear oscillator coupled to the Klein-Gordon field

abstract: The long-time asymptotics is analyzed for all finite energy solutions to a model U(1)-invariant nonlinear Klein-Gordon equation in one dimension, with the nonlinearity concentrated at a single point: each finite energy solution converges as time goes to plus or minus infinity to the set of all ``nonlinear eigenfunctions'' of the form $\psi(x)e\sp{-i\omega t}$. The global attraction is caused by the nonlinear energy transfer from lower harmonics to the continuous spectrum and subsequent dispersive radiation. We justify this mechanism by the following novel strategy based on inflation of spectrum by the nonlinearity. We show that any omega-limit trajectory has the time-spectrum in the spectral gap [-m,m] and satisfies the original equation. This equation implies the key spectral inclusion for spectrum of the nonlinear term. Then the application of the Titchmarsh Convolution Theorem reduces the spectrum of each omega-limit trajectory to a single harmonic in [-m,m]. The research is inspired by Bohr's postulate on quantum transitions and Schroedinger's identification of the quantum stationary states to the nonlinear eigenfunctions of the coupled U(1)-invariant Maxwell-Schroedinger and Maxwell-Dirac equations.


title: Compression of root systems and the E-sequence

abstract: We examine certain maps from root systems to vector spaces over finite fields. By choosing appropriate bases, the images of these maps can turn out to have nice combinatorial properties, which reflect the structure of the underlying root system. The main examples are E_6 and E_7.


title: The Measure-Theoretical Entropy of a Linear Cellular Automata with respect to a Markov Measure

abstract: In this paper we study the measure-theoretical entropy of the one-dimensional linear cellular automata (CA hereafter) $T_{f[-l,r]}$, generated by local rule $f(x_{-l},...,x_{r})= \sum\limits_{i=-l}^{r}\lambda_{i}x_{i}(\text{mod}\ m)$, where $l$ and $r$ are positive integers, acting on the space of all doubly infinite sequences with values in a finite ring $\mathbb{Z}_{m}$, $m \geq 2$, with respect to a Markov measure. We prove that if the local rule $f$ is bipermutative, then the measure-theoretical entropy of linear CA $T_{f[-l,r]}$ with respect to a Markov measure $\mu_{\pi P}$ is $ h_{\mu_{\pi P}}(T_{f[-l,r]})=-(l+r)\sum\limits_{i,j=0}^{m-1}p_ip_{ij}\text{log} p_{ij}.$


title: Local mirror symmetry of curves: Yukawa couplings and genus 1

abstract: We continue our study of equivariant local mirror symmetry of curves, i.e. mirror symmetry for X_k=O(k)+O(-2-k) over P^1 with torus action (lambda_1,lambda_2) on the bundle. For the antidiagonal action lambda_1=-lambda_2, we find closed formulas for the mirror map and a rational B model Yukawa coupling for all k. Moreover, we give a simple closed form for the B model genus 1 Gromov-Witten potential. For the diagonal action lambda_1=lambda_2, we argue that the mirror symmetry computation is equivalent to that of the projective bundle P(O+O(k)+O(-2-k)) over P^1. Finally, we outline the computation of equivariant Gromov-Witten invariants for A_n singularities and toric tree examples via mirror symmetry.


title: The global Torelli theorem: classical, derived, twisted

abstract: Survey written for the Proceedings of the AMS Meeting on Algebraic Geometry, Seattle, 2005. Based on the talk delivered at this occasion, but a few comments on recent developments are added.


title: Bounds for the Castelnuovo-Mumford regularity of modules

abstract: We establish bounds for the Castelnuovo-Mumford regularity of a finitely generated graded module and its symmetric powers in terms of the degrees of the generators of the module and the degrees of their relations. We extend to modules (and improve) the known bounds for homogenous ideal in a polynomial ring established by Galligo, Guisti, Caviglia and Sbarra.


title: Convex Integer Maximization via Graver Bases

abstract: We present a new algebraic algorithmic scheme to solve {\em convex integer maximization} problems of the following form, where $c$ is a convex function on $R^d$ and $w_1x,...,w_dx$ are linear forms on $R^n$, $$\max \{c(w_1 x,...,w_d x): Ax=b, x\in N^n\} .$$ This method works for arbitrary input data $A,b,d,w_1,...,w_d,c$. Moreover, for fixed $d$ and several important classes of programs in {\em variable dimension}, we prove that our algorithm runs in {\em polynomial time}. As a consequence, we obtain polynomial time algorithms for various types of multi-way transportation problems, packing problems, and partitioning problems in variable dimension.


title: Current status data with competing risks: Consistency and rates of Convergence of the MLE

abstract: We study nonparametric estimation of the sub-distribution functions for current status data with competing risks. Our main interest is in the nonparametric maximum likelihood estimator (MLE), and for comparison we also consider a simpler ``naive estimator.'' Both types of estimators were studied by Jewell, van der Laan and Henneman [Biometrika (2003) 90 183--197], but little was known about their large sample properties. We have started to fill this gap, by proving that the estimators are consistent and converge globally and locally at rate $n^{1/3}$. We also show that this local rate of convergence is optimal in a minimax sense. The proof of the local rate of convergence of the MLE uses new methods, and relies on a rate result for the sum of the MLEs of the sub-distribution functions which holds uniformly on a fixed neighborhood of a point. Our results are used in Groeneboom, Maathuis and Wellner [Ann. Statist. (2008) 36 1064--1089] to obtain the local limiting distributions of the estimators.


title: Current status data with competing risks: Limiting distribution of the MLE

abstract: We study nonparametric estimation for current status data with competing risks. Our main interest is in the nonparametric maximum likelihood estimator (MLE), and for comparison we also consider a simpler ``naive estimator.'' Groeneboom, Maathuis and Wellner [Ann. Statist. (2008) 36 1031--1063] proved that both types of estimators converge globally and locally at rate $n^{1/3}$. We use these results to derive the local limiting distributions of the estimators. The limiting distribution of the naive estimator is given by the slopes of the convex minorants of correlated Brownian motion processes with parabolic drifts. The limiting distribution of the MLE involves a new self-induced limiting process. Finally, we present a simulation study showing that the MLE is superior to the naive estimator in terms of mean squared error, both for small sample sizes and asymptotically.


title: Interval orders and reverse mathematics

abstract: We study the reverse mathematics of interval orders. We establish the logical strength of the implications between various definitions of the notion of interval order. We also consider the strength of different versions of the characterization theorem for interval orders: a partial order is an interval order if and only if it does not contain $2 \oplus 2$. We also study proper interval orders and their characterization theorem: a partial order is a proper interval order if and only if it contains neither $2 \oplus 2$ nor $3 \oplus 1$.


title: Fourth-order Bessel-type special functions: a survey

abstract: This survey paper reports on the properties of the fourth-order Bessel-type linear ordinary differential equation, on the generated self-adjoint differential operators in two associated Hilbert function spaces, and on the generalisation of the classical Hankel integral transform. These results are based upon the properties of the classical Bessel and Laguerre secondorder differential equations, and on the fourth-order Laguerre-type differential equation. From these differential equations and their solutions, limit processes yield the fourth-order Bessel-type functions and the associated differential equation.


title: $L\sp p$-$L\sp q$ regularity of Fourier integral operators with caustics

abstract: The caustics of Fourier integral operators are defined as caustics of the corresponding Schwartz kernels (Lagrangian distributions on $X\times Y$). The caustic set $\Sigma(C)$ of the canonical relation $C$ is characterized as the set of points where the rank of the projection $\pi:C\to X\times Y$ is smaller than its maximal value, $dim(X\times Y)-1$. We derive the $L\sp p(Y)\to L\sp q(X)$ estimates on Fourier integral operators with caustics of corank 1 (such as caustics of type $A\sb{m+1}$, $m\in\N$). For the values of $p$ and $q$ outside of certain neighborhood of the line of duality, $q=p'$, the $L\sp p\to L\sp q$ estimates are proved to be caustics-insensitive. We apply our results to the analysis of the blow-up of the estimates on the half-wave operator just before the geodesic flow forms caustics.


title: Optimal regularity of Fourier integral operators with one-sided folds

abstract: We obtain optimal continuity in Sobolev spaces for the Fourier integral operators associated to singular canonical relations, when one of the two projections is a Whitney fold. The regularity depends on the type, $k$, of the other projection from the canonical relation ($k=1$ for a Whitney fold). We prove that one loses $(4+\frac{2}{k})^{-1}$ of a derivative in the regularity properties. The proof is based on the $L^2$ estimates for oscillatory integral operators.


title: Stability of small periodic waves for the nonlinear Schroedinger equation

abstract: The nonlinear Schroedinger equation possesses three distinct six-parameter families of complex-valued quasi-periodic travelling waves, one in the defocusing case and two in the focusing case. All these solutions have the property that their modulus is a periodic function of x-ct for some real c. In this paper we investigate the stability of the small amplitude travelling waves, both in the defocusing and the focusing case. Our first result shows that these waves are orbitally stable within the class of solutions which have the same period and the same Floquet exponent as the original wave. Next, we consider general bounded perturbations and focus on spectral stability. We show that the small amplitude travelling waves are stable in the defocusing case, but unstable in the focusing case. The instability is of side-band type, and therefore cannot be detected in the periodic set-up used for the analysis of orbital stability.


title: Orbital stability of periodic waves for the nonlinear Schroedinger equation

abstract: The nonlinear Schroedinger equation has several families of quasi-periodic travelling waves, each of which can be parametrized up to symmetries by two real numbers: the period of the modulus of the wave profile, and the variation of its phase over a period (Floquet exponent). In the defocusing case, we show that these travelling waves are orbitally stable within the class of solutions having the same period and the same Floquet exponent. This generalizes a previous work where only small amplitude solutions were considered. A similar result is obtained in the focusing case, under a non-degeneracy condition which can be checked numerically. The proof relies on the general approach to orbital stability as developed by Grillakis, Shatah, and Strauss, and requires a detailed analysis of the Hamiltonian system satisfied by the wave profile.


title: Some control design experiments with HIFOO

abstract: A new MATLAB package called HIFOO was recently proposed for H-infinity fixed-order controller design. This document illustrates how some standard controller design examples can be solved with this software.


title: Generalized blocks of unipotent characters in the finite general linear group

abstract: In a paper of 2003, B. K\"ulshammer, J. B. Olsson and G. R. Robinson defined $\ell$-blocks for the symmetric groups, where $\ell >1$ is an arbitrary integer, and proved that they satisfy an analogue of the Nakayama Conjecture. Inspired by this work and the definitions of generalized blocks and sections given by the authors, we give in this paper a definition of $d$-sections in the finite general linear group, and construct $d$-blocks of unipotent characters, where $d \geq 1$ is an arbitrary integer. We prove that they satisfy one direction of an analogue of the Nakayama Conjecture, and, in some cases, prove the other direction. We also prove that they satisfy an analogue of Brauer's Second Main Theorem.


title: Extremal functions for Moser-Trudinger type inequality on compact closed 4-manifolds

abstract: Given a compact closed four dimensional smooth Riemannian manifold, we prove existence of extremal functions for Moser-Trudinger type inequality. The method used is Blow-up analysis combined with capacity techniques.


title: The structure of the free boundary for lower dimensional obstacle problems

abstract: We study the regularity of the "free surface" in boundary obstacle problems. We show that near a non-degenerate point the free boundary is a $C^{1,\alpha}$ $(n-2)$-dimensional surface in $\real^{n-1}$.


title: Memory efficient hyperelliptic curve point counting

abstract: In recent algorithms that use deformation in order to compute the number of points on varieties over a finite field, certain differential equations of matrices over p-adic fields emerge. We present a novel strategy to solve this kind of equations in a memory efficient way. The main application is an algorithm requiring quasi-cubic time and only quadratic memory in the parameter n, that solves the following problem: for E a hyperelliptic curve of genus g over a finite field of extension degree n and small characteristic, compute its zeta function. This improves substantially upon Kedlaya's result which has the same quasi-cubic time asymptotic, but requires also cubic memory size.


title: Kernel theorems and nuclearity in idempotent mathematics. An algebraic approach

abstract: In the framework of idempotent mathematics, analogs of the classical kernel theorems of L. Schwartz and A. Grothendieck are studied. Idempotent versions of nuclear spaces (in the sense of A. Grothendieck) are discussed. The so-called algebraic approach is used. This means that the basic concepts and results (including those of "topological" nature) are simulated in purely algebraic terms.


title: Multivariable link invariants arising from Lie superalgebras of type I

abstract: This paper generalize [7](math.GT/0601291): We construct new links invariants from g, a type I basic classical Lie superalgebra. The construction uses the existence of an unexpected replacement of the vanishing quantum dimension of typical module. Using this, we get a multivariable link invariant associated to any one parameter family of irreducible g-modules.


title: The Choquet-Deny equation in a Banach space

abstract: Let $G$ be a locally compact group and $\pi$ a representation of $G$ by weakly^* continuous isometries acting in a dual Banach space $E$. Given a probability measure $\mu$ on $G$ we study the Choquet-Deny equation $\pi(\mu)x=x$, $x\in E$. We prove that the solutions of this equation form the range of a projection of norm 1 and can be represented by means of a ``Poisson formula'' on the same boundary space that is used to represent the bounded harmonic functions of the random walk of law $\mu$. The relation between the space of solutions of the Choquet-Deny equation in $E$ and the space of bounded harmonic functions can be understood in terms of a construction resembling the $W^*$-crossed product and coinciding precisely with the crossed product in the special case of the Choquet-Deny equation in the space $E=B(L^2(G))$ of bounded linear operators on $L^2(G)$. Other general properties of the Choquet-Deny equation in a Banach space are also discussed.


title: The Bloch-Okounkov correlation functions of classical type

abstract: Bloch and Okounkov introduced an n-point correlation function on the infinite wedge space and found an elegant closed formula in terms of theta functions. This function has connections to Gromov-Witten theory, Hilbert schemes, symmetric groups, etc, and it can also be interpreted as correlation functions on integrable gl_\infty-modules of level one. Such gl_\infty-correlation functions at higher levels were then calculated by Cheng and Wang. In this paper, generalizing the type A results, we formulate and determine the n-point correlation functions in the sense of Bloch-Okounkov on integrable modules over classical Lie subalgebras of gl_\infty of type B,C,D at arbitrary levels. As byproducts, we obtain new q-dimension formulas for integrable modules of type B,C,D and some fermionic type q-identities.


title: Symplectic homology as Hochschild homology

abstract: These are (heavily revised) notes from lectures given at the AMS Algebraic Geometry meeting in Seattle, 2005. The main topic is symplectic homology seen from the point of view of Lefschetz fibrations. Most of the content is speculative, but some supporting evidence is included.


title: A variational problem on Stiefel manifolds

abstract: In their paper on discrete analogues of some classical systems such as the rigid body and the geodesic flow on an ellipsoid, Moser and Veselov introduced their analysis in the general context of flows on Stiefel manifolds. We consider here a general class of continuous time, quadratic cost, optimal control problems on Stiefel manifolds, which in the extreme dimensions again yield these classical physical geodesic flows. We have already shown that this optimal control setting gives a new symmetric representation of the rigid body flow and in this paper we extend this representation to the geodesic flow on the ellipsoid and the more general Stiefel manifold case. The metric we choose on the Stiefel manifolds is the same as that used in the symmetric representation of the rigid body flow and that used by Moser and Veselov. In the extreme cases of the ellipsoid and the rigid body, the geodesic flows are known to be integrable. We obtain the extremal flows using both variational and optimal control approaches and elucidate the structure of the flows on general Stiefel manifolds.


title: Classes of strictly singular operators and their products

abstract: V. D. Milman proved in \cite{Milman:70} that the product of two strictly singular operators on $L_p[0,1]$ ($1\le p<\infty$) or on $C[0,1]$ is compact. In this note we utilize Schreier families $\S_\xi$ in order to define the class of $\S_\xi$-strictly singular operators, and then we refine the technique of Milman to show that certain products of operators from this class are compact, under the assumption that the underlying Banach space has finitely many equivalence classes of Schreier-spreading sequences. Finally we define the class of $\S_\xi$-hereditarily indecomposable Banach spaces and we examine the operators on them.


title: Ultrametric and non-locally convex analogues of the general curve lemma of convenient differential calculus

abstract: The General Curve Lemma is a tool of Infinite-Dimensional Analysis, which enables refined studies of differentiability properties of mappings between real locally convex spaces. In this article, we generalize the General Curve Lemma in two ways: First, we remove the condition of local convexity in the real case. Second, we adapt the lemma to the case of curves in topological vector spaces over ultrametric fields.


title: Comparison of some notions of C^k-maps in multi-variable non-archimedian analysis

abstract: Various definitions of C^k-maps on open subsets of finite-dimensional vector spaces over a complete valued field have been proposed in the literature. We show that the C^k-maps considered by Schikhof and De Smedt coincide with those of Bertram, Glockner and Neeb. By contrast, Ludkovsky's C^k-maps need not be C^k in the former sense, at least in positive characteristic. We also compare various types of Holder differentiable maps on finite-dimensional and metrizable spaces.


title: Model averaging and dimension selection for the singular value decomposition

abstract: Many multivariate data analysis techniques for an $m\times n$ matrix $\m Y$ are related to the model $\m Y = \m M +\m E$, where $\m Y$ is an $m\times n$ matrix of full rank and $\m M$ is an unobserved mean matrix of rank $K< (m\wedge n)$. Typically the rank of $\m M$ is estimated in a heuristic way and then the least-squares estimate of $\m M$ is obtained via the singular value decomposition of $\m Y$, yielding an estimate that can have a very high variance. In this paper we suggest a model-based alternative to the above approach by providing prior distributions and posterior estimation for the rank of $\m M$ and the components of its singular value decomposition. In addition to providing more accurate inference, such an approach has the advantage of being extendable to more general data-analysis situations, such as inference in the presence of missing data and estimation in a generalized linear modeling framework.


title: A compact symplectic four-manifold admits only finitely many inequivalent toric actions

abstract: Let (M,\omega) be a four dimensional compact connected symplectic manifold. We prove that (M,\omega) admits only finitely many inequivalent Hamiltonian effective 2-torus actions. Consequently, if M is simply connected, the number of conjugacy classes of 2-tori in the symplectomorphism group Sympl(M,\omega) is finite. Our proof is "soft". The proof uses the fact that for symplectic blow-ups of \CP^2 the restriction of the period map to the set of exceptional homology classes is proper. In an appendix, we describe results of McDuff that give a properness result for a general compact symplectic four-manifold, using the theory of J-holomorphic curves.


title: Brownian motion, random walks on trees, and harmonic measure on polynomial Julia sets

abstract: We consider the harmonic measure on a disconnected polynomial Julia set in terms of Brownian motion. We show that the harmonic measure of any connected component of such a Julia set is zero. Associated to the polynomial is a combinatorial model, the tree with dynamics. We define a measure on the tree, which is a combinatorial version on harmonic measure. We show that this measure is isomorphic to the harmonic measure on the Julia set. The measure induces a random walk on the tree, which is isomorphic to Brownian motion in the plane.


title: A priori bounds for some infinitely renormalizable quadratics: I. Bounded primitive combinatorics

abstract: We prove the a priori bounds for infinitely renormalizable quadratic polynomials for which we can find an infinite sequence of primitive renormalizations such that the ratios of the periods of successive renormalizations is bounded. This implies the local connectivity of the Mandelbrot set at the corresponding points.