title: Singular Riemannian Foliations on Nonpositively Curved Manifolds

abstract: We prove the nonexistence of a proper singular Riemannian foliation admitting section in compact manifolds of nonpositive curvature. Then we give a global description of proper singular Riemannian foliations admitting sections on Hadamard manifolds. In addition by using the theory of taut immersions we provide a short proof of this result in the special case of a polar action.


title: Sierpi\' nski Gasket Graphs and Some of Their Properties

abstract: The {\it Sierpi\'nski fractal} or {\it Sierpi\'nski gasket} $\Sigma$ is a familiar object studied by specialists in dynamical systems and probability. In this paper, we consider a graph $S_n$ derived from the first $n$ iterations of the process that leads to $\Sigma$, and study some of its properties, including its cycle structure, domination number and pebbling number. Various open questions are posed.


title: Factorizations of Polynomials over Noncommutative Algebras and Sufficient Sets of Edges in Directed Graphs

abstract: To directed graphs with unique sink and source we associate a noncommutative associative alsgebra and a polynomial over this algebra. Edges of the graph correspond to pseudo-roots of the polynomial. We give a sufficient condition when coefficients of the polynomial can be rationally expressed via elements of a given set of pseudo-roots (edges). Our results are based on a new theorem for directed graphs also proved in this paper.


title: A Circuit-Theoretic Anomaly Resolved by Nonstandard Analysis

abstract: An anomaly in electrical circuit theory is the disappearance of some of the energy when two capacitors, one charged and the other uncharged, are connected together through resistanceless wires. Nonstandard analysis shows that, when the wires are taken to have infinitesimally small but nonzero resistance, the energy dissipated in the wires equals that substantial amount of enregy that had disappeared, and that all but an infinitesimal amount of this dissipation occurs during an infinitesimal initial time period.


title: On the Multilinear Restriction and Kakeya conjectures

abstract: We prove $d$-linear analogues of the classical restriction and Kakeya conjectures in $\R^d$. Our approach involves obtaining monotonicity formulae pertaining to a certain evolution of families of gaussians, closely related to heat flow. We conclude by giving some applications to the corresponding variable-coefficient problems and the so-called "joints" problem, as well as presenting some $n$-linear analogues for $n<d$.


title: Variational Principle of KPP Front Speeds in Temporally Random Shear Flows

abstract: We establish the variational principle of Kolmogorov-Petrovsky-Piskunov (KPP) front speeds in temporally random shear flows inside an infinite cylinder, under suitable assumptions of the shear field. A key quantity in the variational principle is the almost sure Lyapunov exponent of a heat operator with random potential. The variational principle then allows us to bound and compute the front speeds. We show the linear and quadratic laws of speed enhancement as well as a resonance-like dependence of front speed on the temporal shear correlation length. To prove the variational principle, we use the comparison principle of solutions, the path integral representation of solutions, and large deviation estimates of the associated stochastic flows.


title: The Gromov-Witten potential associated to a TCFT

abstract: This is the sequel to my preprint "TCFTs and Calabi-Yau categories", math.QA/0412149. Here we extend the results of that paper to construct, for certain Calabi-Yau A-infinity categories, something playing the role of the Gromov-Witten potential. This is a state in the Fock space associated to periodic cyclic homology, which is a symplectic vector space. Applying this to a suitable A-infinity version of the derived category of sheaves on a Calabi-Yau yields the B model potential, at all genera. The construction doesn't go via the Deligne-Mumford spaces, but instead uses the Batalin-Vilkovisky algebra constructed from the uncompactified moduli spaces of curves by Sen and Zwiebach. The fundamental class of Deligne-Mumford space is replaced here by a certain solution of the quantum master equation, essentially the "string vertices" of Zwiebach. On the field theory side, the BV operator has an interpretation as the quantised differential on the Fock space for periodic cyclic chains. Passing to homology, something satisfying the master equation yields an element of the Fock space.


title: The Hopf algebras of symmetric functions and quasisymmetric functions in non-commutative variables are free and cofree

abstract: We uncover the structure of the space of symmetric functions in non-commutative variables by showing that the underlined Hopf algebra is both free and co-free. We also introduce the Hopf algebra of quasi-symmetric functions in non-commutative variables and define the product and coproduct on the monomial basis of this space and show that this Hopf algebra is free and cofree. In the process of looking for bases which generate the space we define orders on the set partitions and set compositions which allow us to define bases which have simple and natural rules for the product of basis elements.


title: 2-C*-categories with non-simple units

abstract: We study the general structure of 2-C*-categories closed under conjugation, projections and direct sums. We do not assume units to be simple, i.e. for i_A the 1-unit corresponding to an object A, the space Hom(i_A, i_A) is a commutative unital C*-algebra. We show that 2-arrows can be viewed as continuous sections in Hilbert bundles and describe the behaviour of the fibres with respect to the categorical structure. We give an example of a 2-C*-Category giving rise to bundles of finite Hopf-algebras in duality. We make some remarks concerning Frobenius algebras and Q-systems in the general context of tensor C*-categories with non-simple units.


title: The indefinite metric of R. Mrugala and the geometry of the thermodynamical phase space

abstract: We study the indefinite metric $G$ in the contact phase space $(P,\theta)$ of a homogeneous thermodynamical system introduced by R. Mrugala. We calculate the curvature tensor, Killing vector fields, second fundamental form of Legendre submanifolds of $P$ - constitutive surfaces of different homogeneous thermodynamical systems. We established an isomorphism of the space $(P,\theta ,G)$ with the Heisenberg Lie group $H_{n}$ endowed with the right invariant contact structure and the right invariant indefinite metric. The lift $\tG$ of the metric $G$ to the symplectization $\tP$ of contact space $(P,\theta)$, its curvature properties, and its Killing vector fields are studied. Finally we introduce the "hyperbolic projectivization" of the space $(\tP,{\tilde \theta}, \tG)$ that can be considered as the natural {\bf compactification} of the thermodynamical phase space $(P,\theta, G).$


title: Quasi-commutative cochains in algebraic topology

abstract: We introduce a new algebraic concept of an algebra which is "almost" commutative (more precisely "quasi-commutative differential graded algebra" or ADGQ, in French). We associate to any simplicial set X an ADGQ - called D(X) - and show how we can recover the homotopy type of the topological realization of X from this algebraic structure (assuming some finiteness conditions). The theory is sufficiently general to include also ringed spaces X. The construction is by itself interesting since it uses the difference calculus (instead of the differential calculus of Sullivan's theory) and a new type of tensor product, called "reduced tensor product". Although we dont have a minimal model yet, it is relatively easy to define the cup i-products and the Steenrod operations on the category of ADGQ's. Homotopy groups can be deduced from the "iterated Hochschild homology" of D(X). The determination of the homotopy type from this algebraic structure uses in an essential way recent results of M. Mandell.


title: Banach Algebras and Rational Homotopy Theory

abstract: Let $A$ be a unital commutative Banach algebra with maximal ideal space $X.$ We determine the rational H-type of the group $GL_n (A)$ of invertible n by n matrices with coefficients in A, in terms of the rational cohomology of $X.$ We also address an old problem of J. L. Taylor. Let $Lc_n (A)$ denote the space of "last columns" of $GL_n (A).$ For $n > 1 + s/2,$ we construct a natural isomorphism from the rational Cech cohomology group $H^s (X; Q)$ to the rational homotopy group $\pi_{2 n - 1 - s} (Lc_n (A)) \otimes Q,$ which shows that the rational cohomology groups of $X$ are determined by a topological invariant associated to $A.$ As part of our analysis, we determine the rational H-type of certain gauge groups $F (X, G)$ for $G$ a Lie group or, more generally, a rational H-space.


title: Brownian motion on disconnected sets, basic hypergeometric functions, and some continued fractions of Ramanujan

abstract: Motivated by L\'{e}vy's characterization of Brownian motion on the line, we propose an analogue of Brownian motion that has as its state space an arbitrary closed subset of the line that is unbounded above and below: such a process will be a martingale, will have the identity function as its quadratic variation process, and will be ``continuous'' in the sense that its sample paths don't skip over points. We show that there is a unique such process, which turns out to be automatically a reversible Feller-Dynkin Markov process. We find its generator, which is a natural generalization of the operator $f\mapsto{1/2}f''$. We then consider the special case where the state space is the self-similar set $\{\pm q^k:k\in \mathbb{Z}\}\cup\{0\}$ for some $q>1$. Using the scaling properties of the process, we represent the Laplace transforms of various hitting times as certain continued fractions that appear in Ramanujan's ``lost'' notebook and evaluate these continued fractions in terms of basic hypergeometric functions (that is, $q$-analogues of classical hypergeometric functions). The process has 0 as a regular instantaneous point, and hence its sample paths can be decomposed into a Poisson process of excursions from 0 using the associated continuous local time. Using the reversibility of the process with respect to the natural measure on the state space, we find the entrance laws of the corresponding It\^{o} excursion measure and the Laplace exponent of the inverse local time -- both again in terms of basic hypergeometric functions. By combining these ingredients, we obtain explicit formulae for the resolvent of the process. We also compute the moments of the process in closed form. Some of our results involve $q$-analogues of classical distributions such as the Poisson distribution that have appeared elsewhere in the literature.


title: Posets related to the connectivity set of Coxeter groups

abstract: We define the notion of connectivity set for elements of any finitely generated Coxeter group. Then we define an order related to this new statistic and show that the poset is graded and each interval is a shellable lattice. This implies that any interval is Cohen-Macauley. We also give a Galois connection between intervals in this poset and a boolean poset. This allows us to compute the Mobius function for any interval.


title: Complexe canonique de deuxi\`{e}me esp\`{e}ce, vari\'{e}t\'{e} commutante et bic\^{o}ne nilpotent d'une alg\`{e}bre de Lie r\'{e}ductive

abstract: Let $g$ be a finite dimensional complex reductive Lie algebra and <.,.> an invariant non degenerated bilinear form on $g\times g$ which extends the Killing form of $[g,g]$. We define a subcomplex $E\_{\bullet}(g)$ of the canonical complex $C\_{\bullet}(g)$ of $g$. There exists a well defined sub-module $B\_{g}$ of the module of polynomial maps from $g\times g$ to $g$ which is free of rank equal to the dimension b of the borel subalgebras of $g$. Moreover, $B\_{g}$ is contained in the space of cycles of the canonical complex of $g$. The complex $E\_{\bullet}(g)$ is the ideal of $C\_{\bullet}(g)$ generated the exterior power of degree b of the module $B\_{g}$. We denote by ${\cal N}\_{g}$ the set of elements in $g\times g$ whose components generate a subsbspace contained in the nilpotent cone of $g$ and we say that $g$ has property (N) if the codimension of ${\cal N}\_{g}$ in $g\times g$ is strictly bigger than the dimension of the space of nilpotent elements in a borel subalgebra of $g$. Let $I\_{g}$ be the ideal of polynomial functions on $g\times g$ generated by the functions whose value in $(x,y)$ is the scalar product of $v$ and $[x,y]$ where $v$ is in $g$. The main result is the theorem: Let us suppose that for any semi-simple element in $g$, the simple factors of its centralizer in $g$ have the property (N). Then the complex $E\_{\bullet}(g)$ has no homology in degree different from b and its homology in degree b is the reduced algebra of regular functions on the commuting variety. In particular, $I\_{g}$ is a prime ideal whose set of zeros in $g\times g$ is the commuting variety of $g$.


title: On quasianalytic local rings

abstract: This expository article is devoted to the local theory of ultradifferentiable classes of functions, with a special emphasis on the quasianalytic case. Although quasianalytic classes are well-known in harmonic analysis since several decades, their study from the viewpoint of differential analysis and analytic geometry has begun much more recently and, to some extent, has earned them a new interest. Therefore, we focus on contemporary questions closely related to topics in local algebra. We study, in particular, Weierstrass division problems and the role of hyperbolicity, together with properties of ideals of quasianalytic germs. Incidentally, we also present a simplified proof of Carleman's theorem on the non-surjectivity of the Borel map in the quasianalytic case.


title: Error estimate for the Finite Volume Scheme applied to the advection equation

abstract: We study the convergence of a Finite Volume scheme for the linear advection equation with a Lipschitz divergence-free speed in $\R^d$. We prove a $h^{1/2}$-error estimate in the $L^\infty(0,t;L^1)$-norm for $BV$ data. This result was expected from numerical experiments and is optimal.


title: Local Lipschitz property of the map which puts in correspondence to N--net its Chebyshev center

abstract: We prove local Lipschitz property of the map which puts in correspondence to each $N$--net different from $(N-1)$--net its Chebyshev center. If dimension of Eucledean or Lobachevskii space is greater than 1 and net consists of more than 2 points we show that this map is not Lipschits in a neighbourhood of the space of 2--nets embedded into the space of all $N$--nets endowed by Hausdorff metric.


title: Weyl modules, Demazure modules, KR-modules, crystals, fusion products and limit constructions

abstract: We study finite dimensional representations of current algebras, loop algebras and their quantized versions. For the current algebra of a simple Lie algebra of type {\tt ADE}, we show that Kirillov-Reshetikhin modules and Weyl modules are in fact all Demazure modules. As a consequence one obtains an elementary proof of the dimension formula for Weyl modules for the current and the loop algebra. Further, we show that the crystals of the Weyl and the Demazure module are the same up to some additional label zero arrows for the Weyl module. For the current algebra $\Lgc$ of an arbitrary simple Lie algebra, the fusion product of Demazure modules of the same level turns out to be again a Demazure module. As an application we construct the $\Lgc$-module structure of the Kac-Moody algebra $\Lhg$-module $V(\ell\Lam_0)$ as a semi-infinite fusion product of finite dimensional $\Lgc$--modules.


title: A Proof of Gromov's Algebraic Lemma

abstract: Following the analysis of differentiable mappings of Y. Yomdin, M. Gromov has stated a very elegant "Algebraic Lemma" which says that the "differentiable size" of an algebraic subset may be bounded in terms only of its dimension, degree and diameter. We give a complete and elementary proof of Gromov's result using the ideas presented in his Bourbaki talk as well as other necessary ingredients.


title: Inverse spectral problem for radial Schr\"{o}dinger operator on [0, 1]

abstract: For a class of singular Sturm-Liouville equations on the unit interval with explicit singularity $a(a + 1)/x^2, a \in \mathbb{N}$, we consider an inverse spectral problem. Our goal is the global parametrization of potentials by spectral data noted by $\lambda^a$, and some norming constants noted by $\kappa^a$. For $a = 0$ and $a=1$, $\lambda^a\times \kappa^a$ was already known to be a global coordinate system on $\lr$. With the help of transformation operators, we extend this result to any non-negative integer $a$ and give a description of isospectral sets.


title: Solutions of max-plus linear equations and large deviations

abstract: We generalise the Gartner-Ellis theorem of large deviations theory. Our results allow us to derive large deviation type results in stochastic optimal control from the convergence of generalised logarithmic moment generating functions. They rely on the characterisation of the uniqueness of the solutions of max-plus linear equations. We give an illustration for a simple investment model, in which logarithmic moment generating functions represent risk-sensitive values.


title: Parameter estimation in pair hidden Markov models

abstract: This paper deals with parameter estimation in pair hidden Markov models (pair-HMMs). We first provide a rigorous formalism for these models and discuss possible definitions of likelihoods. The model being biologically motivated, some restrictions with respect to the full parameter space naturally occur. Existence of two different Information divergence rates is established and divergence property (namely positivity at values different from the true one) is shown under additional assumptions. This yields consistency for the parameter in parametrization schemes for which the divergence property holds. Simulations illustrate different cases which are not covered by our results.


title: Nonterminating Basic Hypergeometric Series and the $q$-Zeilberger Algorithm

abstract: We present a systematic method for proving nonterminating basic hypergeometric identities. Assume that $k$ is the summation index. By setting a parameter $x$ to $xq^n$, we may find a recurrence relation of the summation by using the $q$-Zeilberger algorithm. This method applies to almost all nonterminating basic hypergeometric summation formulas in the book of Gasper and Rahman. Furthermore, by comparing the recursions and the limit values, we may verify many classical transformation formulas, including the Sears-Carlitz transformation, transformations of the very-well-poised $_8\phi_7$ series, the Rogers-Fine identity, and the limiting case of Watson's formula that implies the Rogers-Ramanujan identities.


title: A Briancon-Skoda type theorem for graded systems of ideals

abstract: We establish a generalization of the Briancon-Skoda theorem about integral closures of ideals for graded systems of ideals satisfying a certain geometric condition.


title: Superisolated Surface Singularities

abstract: In this survey, we review part of the theory of superisolated surface singularities (SIS) and its applications including some new and recent developments. The class of SIS singularities is, in some sense, the simplest class of germs of normal surface singularities. Namely, their tangent cones are reduced curves and the geometry and topology of the SIS singularities can be deduced from them. Thus this class \emph{contains}, in a canonical way, all the complex projective plane curve theory, which gives a series of nice examples and counterexamples. They were introduced by I. Luengo to show the non-smoothness of the $\mu$-constant stratum and have been used to answer negatively some other interesting open questions. We review them and the new results on normal surface singularities whose link are rational homology spheres. We also discuss some positive results which have been proved for SIS singularities.


title: Duality and equivalence of module categories in noncommutative geometry I

abstract: This is the first in a series of papers that deals with duality statements such as Mukai-duality (T-duality, from algebraic geometry) and the Baum-Connes conjecture (from operator $K$-theory). These dualities are expressed in terms of categories of modules. In this paper, we develop a general framework needed to describe these dualities. In various geometric contexts, e.g. complex geometry, generalized complex geometry, and noncommutative geometry, the geometric structure is encoded in a certain differential graded algebra. We develop the module theory of such differential graded algebras in such a way that we can recover the derived category of coherent sheaves on a complex manifold. In this paper and ones to follow we apply this to stating and proving the duality statements mentioned above. After developing the general framework, we look at a (complex) Lie algebroid $\A\to T_\cx X$. One can then consider our analogue of the derived category of coherent sheaves, integrable with respect to the Lie algebroid. We then establish a (Serre) duality theorem for "elliptic" Lie algebroids and for noncommutative tori.


title: The Multiplicity Polar Theorem and Isolated Singularities

abstract: Using invariants from commutative algebra to count geometric objects is a basic idea in singularities. For example, the multiplicity of an ideal is used to count points of intersection of two analytic sets at points of non-transverse intersection. A problem with the multiplicity of an ideal or module is that it is only defined for modules and ideals of finite colength. In this paper we use pairs of modules and their multiplicities as a way around this difficulty. A key tool is the multiplicity-polar theorem which applies to families of pairs of modules, linking the multiplicity at a general pair of the family to the multiplicity of the pair at the special fiber. The specific problem we work on is: Suppose X,0 is an equidimensional complex analytic set in C^n, and T^*_X(C^n) is the closure of the conormal vectors to the smooth part of X, s, a section of T^*(C^n), the cotangent bundle of C^n restricted to X. Suppose the intersection of the image of s, denoted im(s), with T^*_X(C^n) is isolated. Then we calculate the intersection multiplicity im(s)\cdot T^*_X(C^n) using the multiplicity of pairs. It is easy to see that if X=C^n and s(x)=df(x), where f has an isolated singularity at the origin, then this number is the Milnor number of f. Variations of this number appear in several different situations, such as, the theory of differential forms on singular spaces, the theory of D-modules, the Milnor fiber of a function with an isolated singularity, the A_f stratification condition of Thom, and the theory of the Euler invariant. We discuss the application of our result to all of these situations.


title: Computations in non-commutative Iwasawa theory

abstract: We study special values of L-functions of elliptic curves over Q twisted by Artin representations that factor through a false Tate curve extension $Q(\mu_p^\infty,\sqrt[p^\infty]{m})/Q$. In this setting, we explain how to compute L-functions and the corresponding Iwasawa-theoretic invariants of non-abelian twists of elliptic curves. Our results provide both theoretical and computational evidence for the main conjecture of non-commutative Iwasawa theory.


title: On Geometry of Flat Complete Strictly Causal Lorentzian Manifolds

abstract: A flat complete causal Lorentzian manifold is called {\it strictly causal} if the past and the future of each its point are closed near this point. We consider strictly causal manifolds with unipotent holonomy groups and assign to a manifold of this type four nonnegative integers (a signature) and a parabola in the cone of positive definite matrices. Two manifolds are equivalent if and only if their signatures coincides and the corresponding parabolas are equal (up to a suitable automorphism of the cone and an affine change of variable). Also, we give necessary and sufficient conditions, which distinguish parabolas of this type among all parabolas in the cone.


title: An algebraic geometry approach to nonlinear parametric optimization in control

abstract: We present a method for nonlinear parametric optimization based on algebraic geometry. The problem to be studied, which arises in optimal control, is to minimize a polynomial function with parameters subject to semialgebraic constraints. The method uses Groebner bases computation in conjunction with the eigenvalue method for solving systems of polynomial equations. In this way, certain companion matrices are constructed off-line. Then, given the parameter value, an on-line algorithm is used to efficiently obtain the optimizer of the original optimization problem in real time.


title: On Value Distributions for Quasimeromorphic Mappings on $\mathbb H$-type Carnot Groups

abstract: In the present paper we define quasimeromorphic mappings on homogeneous groups and study their properties. We prove an analogue of results of L. Ahlfors, R. Nevanlinna and S. Rickman, concerning the value distribution for quasimeromorphic mappings on $\mathbb H$-type Carnot groups for parabolic and hyperbolic type domains.


title: Some inverse spectral results for semi-classical Schr\"odinger operators

abstract: We consider a semi-classical Schr\"odinger operator, -h^2\Delta + V(x). Assuming that the potential admits a unique global minimum and that the eigenvalues of the Hessian are linearly independent over the rationals, we show that the low-lying eigenvalues of the operator determine the Taylor series of the potential at the minimum.


title: Covariant representations of Hecke algebras and imprimitivity for crossed products by homogeneous spaces

abstract: For discrete Hecke pairs $(G,H)$, we introduce a notion of covariant representation which reduces in the case where $H$ is normal to the usual definition of covariance for the action of $G/H$ on $c_0(G/H)$ by right translation; in many cases where $G$ is a semidirect product, it can also be expressed in terms of covariance for a semigroup action. We use this covariance to characterise the representations of $c_0(G/H)$ which are multiples of the multiplication representation on $\ell^2(G/H)$, and more generally, we prove an imprimitivity theorem for regular representations of certain crossed products by coactions of homogeneous spaces. We thus obtain new criteria for extending unitary representations from $H$ to $G$.


title: Periodic Orbits of Billiards on an Equilateral Triangle

abstract: We give a complete solution of the following problem: Find, classify and count the (classes of) periodic orbits on an equilateral triangle. We prove that Fagnano's period 3 orbit is the only periodic orbit with odd period. A periodic orbit is either prime or some d-fold iterate thereof. We count prime and iterate periodic orbits of period $2n$ via a bijection with a certain partition of $n$, then count only prime orbits using the prime factorization of $n$.


title: Lie elements in pre-Lie algebras, trees and cohomology operations

abstract: We give a simple characterization of Lie elements in free pre-Lie algebras as elements of the kernel of a map between spaces of trees. We explain how this result is related to natural operations on the Chevalley-Eilenberg complex of a Lie algebra. We also indicate a possible relation to Loday's theory of triplettes.


title: Hyperelementary assembly for K-theory of virtually abelian groups

abstract: Controlled $K$-theory is used to show that algebraic $K$-theory of virtually abelian groups is described by an assembly map defined using possibly-infinite hyperelementary subgroups. The Farrell-Jones summand (coming from infinite subgroups) is parameterized by the rational projective space of the group, and a reduced version is torsion. Includes general material on assembly and universal spaces.


title: Second order backward stochastic differential equations and fully non-linear parabolic PDEs

abstract: We introduce a class of second order backward stochastic differential equations and show relations to fully non-linear parabolic PDEs. In particular, we provide a stochastic representation result for solutions of such PDEs and discuss Monte Carlo methods for their numerical treatment.


title: The distinguishing number of the iterated line graph

abstract: We show that for all simple graphs G other than the cycles C_3,C_4,C_5, and the claw K_1,3 there exists a K > 0 such that whenever k > K the k-th iterate of the line graph can be distinguished by at most two colors. Additionally we determine, for trees, when the distinguishing number of the line graph of T is greater than the distinguishing number of T.


title: Remarks on $B(H)\otimes B(H)$

abstract: We review the existing proofs that the min and max norms are different on $B(H)\otimes B(H)$ and give a shortcut avoiding the consideration of non-separable families of operator spaces.


title: Eigenproblem for Jacobi matrices: hypergeometric series solution

abstract: We study the perturbative power-series expansions of the eigenvalues and eigenvectors of a general tridiagonal (Jacobi) matrix of dimension d. The(small) expansion parameters are being the entries of the two diagonals of length d-1 sandwiching the principal diagonal, which gives the unperturbed spectrum. The solution is found explicitly in terms of multivariable (Horn-type) hypergeometric series of 3d-5 variables in the generic case, or 2d-3 variables for the eigenvalue growing from a corner matrix element. To derive the result, we first rewrite the spectral problem for a Jacobi matrix as an equivalent system of cubic equations, which are then resolved by the application of the multivariable Lagrange inversion formula. The corresponding Jacobi determinant is calculated explicitly. Explicit formulae are also found for any monomial composed of eigenvector's components.

categories: math.CO hep-th math-ph math.CA math.MP nlin.SI


title: Attitude Maneuvers of a Rigid Spacecraft in a Circular Orbit

abstract: A global model is presented that can be used to study attitude maneuvers of a rigid spacecraft in a circular orbit about a large central body. The model includes gravity gradient effects that arise from the non-uniform gravity field and characterizes the spacecraft attitude with respect to the uniformly rotating local vertical local horizontal coordinate frame. An accurate computational approach for solving a nonlinear boundary value problem is proposed, assuming that control torque impulses can be applied at initiation and at termination of the maneuver. If the terminal attitude condition is relaxed, then an accurate computational approach for solving the minimal impulse optimal control problem is presented. Since the attitude is represented by a rotation matrix, this approach avoids any singularity or ambiguity arising from other attitude representations such as Euler angles or quaternions.


title: Heisenberg calculus and spectral theory of hypoelliptic operators on Heisenberg manifolds

abstract: This memoir deals with the hypoelliptic calculus on Heisenberg manifolds, or Heisenberg calculus. The Heisenberg manifolds generalize CR and contact manifolds and in this context the main differential operators at stake include the H\"ormander's sum of squares, the Kohn Laplacian, the horizontal sublaplacian and its conformal powers and the contact Laplacian. These operators cannot be elliptic and the relevant pseudodifferential calculus to study them is provided by the Heisenberg calculus. The aim of this monograph is threefold. First, we give an intrinsic approach to the Heisenberg calculus by finding an intrinsic notion of principal symbol in this setting. This framework allows us to prove that the pointwise invertibility of a principal symbol, which can be restated in terms of the so-called Rockland condition, actually implies its global invertibility. Second, we study complex powers of hypoelliptic operators on Heisenberg manifolds in terms of the Heisenberg calculus. In particular, we show that complex powers of such operators give rise to holomorphic families in the Heisenberg calculus and we construct a scale of weighted Sobolev spaces providing us with sharp estimates for the operators in the Heisenberg calculus. Third, we make use of the Heisenberg calculus and of the results of this monograph to derive spectral asymptotics for hypoelliptic operators on Heisenberg manifolds. The advantage of using the Heisenberg calculus is illustrated by reformulating in a geometric fashion these asymptotics for the main geometric operators on CR and contact manifolds.


title: To specify surfaces of revolution with pointwise 1-type Gauss map in 3-dimensional Minkowski space

abstract: In this paper, by the studying of the Gauss map, Laplacian operator, curvatures of surfaces in $\mathbb{R}_{1}^{3}$ and Bour's theorem, we are going to identify surfaces of revolution with pointwise 1-type Gauss map property in $3-$dimensional Minkowski space.


title: Planar algebras and Kuperberg's 3-manifold invariant

abstract: We recapture Kuperberg's numerical invariant of 3-manifolds associated to a semisimple and cosemisimple Hopf algebra through a `planar algebra construction'. A result of possibly independent interest, used during the proof, which relates duality in planar graphs and Hopf algebras, is the subject of a final section.


title: Complexe canonique d'une alg\`ebre de Lie r\'eductive

abstract: Let ${\goth g}$ be a finite dimensional complex reductive Lie algebra and $\dv ..$ an invariant non degenerated bilinear form on ${\goth g}\times {\goth g}$ which extends the Killing form of $[{\goth g},{\goth g}]$. We define the homology complex $C_{\bullet}({\goth g})$. Its space is the algebra $\tk {{\Bbb C}}{\e Sg}\tk {{\Bbb C}}{\e Sg}\ex {}{{\goth g}}$ where $\e Sg$ and $\ex {}{{\goth g}}$ are the symmetric and exterior algebras of ${\goth g}$. The differential of $C_{\bullet}({\goth g})$ is the $\tk {{\Bbb C}}{\e Sg}\e Sg$-derivation which associates to the element $v$ of ${\goth g}$ the function $(x,y)\mapsto \dv v{[x,y]}$ on ${\goth g}\times {\goth g}$. Then the complex $C_{\bullet}({\goth g})$ has no homology in degree strictly bigger than $\rk {\goth g}$.


title: Diamond Theorem for finitely generated Profinite free Group

abstract: We extend Haran's Diamond Theorem to closed subgroups of a finitely generated free profinite group. This gives an affirmative answer to Problem 25.4.9 in the book Field Arithmetics of Fried and Jarden.


title: Pattern formation (I): The Keller-Segel Model

abstract: We investigate nonlinear dynamics near an unstable constant equilibrium in the classical Keller-Segel model. Given any general perturbation of magnitude $\delta$, we prove that its nonlinear evolution is dominated by the corresponding linear dynamics along a fixed finite number of fastest growing modes, over a time period of $ln(1/\delta)$. Our result can be interpreted as a rigourous mathematical characterization for early pattern formation in the Keller-Segel model.


title: On the volume of singular-hyperbolic sets

abstract: An attractor $\Lambda$ for a 3-vector field $X$ is singular-hyperbolic if all its singularities are hyperbolic and it is partially hyperbolic with volume expanding central direction. We prove that $C^{1+\alpha}$ singular-hyperbolic attractors, for some $\alpha>0$, always have zero volume, thus extending an analogous result for uniformly hyperbolic attractors. The same result holds for a class of higher dimensional singular attractors. Moreover, we prove that if $\Lambda$ is a singular-hyperbolic attractor for $X$ then either it has zero volume or $X$ is an Anosov flow. We also present examples of $C^1$ singular-hyperbolic attractors with positive volume. In addition, we show that $C^1$ generically we have volume zero for $C^1$ robust classes of singular-hyperbolic attractors.


title: Excellent Abstract Elementary Classes are tame

abstract: The assumption that an AEC is tame is a powerful assumption permitting development of stability theory for AECs with the amalgamation property. Lately several upward categoricity theorems were discovered where tameness replaces strong set-theoretic assumptions. We present in this article two sufficient conditions for tameness, both in form of strong amalgamation properties that occur in nature. One of them was used recently to prove that several Hrushovski classes are tame. This is done by introducing the property of weak $(\mu,n)$-uniqueness which makes sense for all AECs (unlike Shelah's original property) and derive it from the assumption that weak $(\LS(\K),n)$-uniqueness, $(\LS(\K),n)$-symmetry and $(\LS(\K),n)$-existence properties hold for all $n<\omega$. The conjunction of these three properties we call \emph{excellence}, unlike \cite{Sh 87b} we do not require the very strong $(\LS(\K),n)$-uniqueness, nor we assume that the members of $\K$ are atomic models of a countable first order theory. We also work in a more general context than Shelah's good frames.


title: Disaggregation of Long Memory Processes on C^{\infty} Class

abstract: We prove that a large set of long memory (LM) processes (including classical LM processes and all processes whose spectral densities have a countable number of singularities controlled by exponential functions) are obtained by an aggregation procedure involving short memory (SM) processes whose spectral densities are infinitely differentiable (C^{infty}). We show that the C^{infty} class of spectral densities is the optimal class to get a general result for disaggregation of LM processes in SM processes, in the sense that the result given in C^{infty} class cannot be improved taking for instance analytic functions instead of indefinitely derivable functions.


title: Norm discontinuity and spectral properties of Ornstein-Uhlenbeck semigroups

abstract: Let $E$ be a real Banach space. We study the Ornstein-Uhlenbeck semigroup $P(t)$ associated with the Ornstein-Uhlenbeck operator $$ Lf(x) = \frac12 {\rm Tr} Q D^2 f(x) + <Ax, Df(x)>.$$ Here $Q$ is a positive symmetric operator from $E^*$ to $E$ and $A$ is the generator of a $C_0$-semigroup $S(t)$ on $E$. Under the assumption that $P$ admits an invariant measure $\mu$ we prove that if $S$ is eventually compact and the spectrum of its generator is nonempty, then $$\n P(t)-P(s)\n_{L^1(E,\mu)} = 2$$ for all $t,s\ge 0$ with $t\not=s$. This result is new even when $E = \R^n$. We also study the behaviour of $P$ in the space $BUC(E)$. We show that if $A\not=0$ there exists $t_0>0$ such that $$\n P(t)-P(s)\n_{BUC(E)} = 2$$ for all $0\le t,s\le t_0$ with $t\not=s$. Moreover, under a nondegeneracy assumption or a strong Feller assumption, the following dichotomy holds: either $$ \n P(t)- P(s)\n_{BUC(E)} = 2$$ for all $t,s\ge 0$, \ $t\not=s$, or $S$ is the direct sum of a nilpotent semigroup and a finite-dimensional periodic semigroup. Finally we investigate the spectrum of $L$ in the spaces $L^1(E,\mu)$ and $BUC(E)$.


title: Large deviations asymptotics and the spectral theory of multiplicatively regular Markov processes

abstract: We continue the investigation of the spectral theory and exponential asymptotics of Markov processes, following Kontoyiannis and Meyn (2003). We introduce a new family of nonlinear Lyapunov drift criteria, characterizing distinct subclasses of geometrically ergodic Markov processes in terms of inequalities for the nonlinear generator. We concentrate on the class of "multiplicatively regular" Markov processes, characterized via conditions similar to (but weaker than) those of Donsker-Varadhan. For any such process {Phi(t)} with transition kernel P on a general state space, the following are obtained. 1. SPECTRAL THEORY: For a large class of functionals F, the kernel Phat(x,dy) = e^{F(x)}P(x,dy) has a discrete spectrum in an appropriately defined Banach space. There exists a "maximal" solution to the "multiplicative Poisson equation," defined as the eigenvalue problem for Phat. Regularity properties are established for \Lambda(F) = \log(\lambda), where \lambda is the maximal eigenvalue, and for its convex dual. 2. MULTIPLICATIVE MEAN ERGODIC THEOREM: The normalized mean E_x[\exp(S_t)] of the exponential of the partial sums {S_t} of the process with respect to any one of the above functionals F, converges to the maximal eigenfunction. 3. MULTIPLICATIVE REGULARITY: The drift criterion under which our results are derived is equivalent to the existence of regeneration times with finite exponential moments for {S_t}. 4. LARGE DEVIATIONS: The sequence of empirical measures of {Phi(t)} satisfies an LDP in a topology finer than the \tau-topology. The rate function is \Lambda^* and it coincides with the Donsker-Varadhan rate function. 5. EXACTR LARGE DEVIATIONS: The partial sums {S_t} satisfy an exact LD expansion, analogous to that obtained for independent random variables.


title: Countable groups are mapping class groups of hyperbolic 3-manifolds

abstract: We prove that for every countable group G there exists a hyperbolic 3-manifold M such that the isometry group of M, the mapping class group of M, and the outer automorphism group of the fundamental group of M are isomorphic to G.


title: A new bound for the smallest $x$ with $\pi(x) > li(x)$

abstract: We reduce the leading term in Lehman's theorem. This improved estimate allows us to refine the main theorem of Bays and Hudson. Entering $2,000,000$ Riemann zeros, we prove that there exists $x$ in the interval $[exp(727.951858), exp(727.952178)]$ for which $\pi(x)-\li(x) > 3.2 \times 10^{151}$. There are at least $10^{154}$ successive integers $x$ in this interval for which $\pi(x)>\li(x)$. This interval is strictly a sub-interval of the interval in Bays and Hudson, and is narrower by a factor of about 12.


title: Automatic Rees matrix semigroups over categories

abstract: We consider the preservation of the properties of automaticity and prefix-automaticity in Rees matrix semigroups over semigroupoids and small categories. Some of our results are new or improve upon existing results in the single-object case of Rees matrix semigroups over semigroups.


title: Strichartz estimates for the magnetic Schr\"odinger equation

abstract: We prove global, scale invariant Strichartz estimates for the linear magnetic Schr\"odinger equation with small time dependent magnetic field. This is done by constructing an appropriate parametrix. As an application, we show a global regularity type result for Schr\"odinger maps in dimensions $n\geq 6$.


title: Liouville Random functions and normal sets

abstract: We define a random Liouville function (\lambda_Q) which depends on a random set (Q) of primes and prove that (A_Q = \{n \in \mathbb{N} | \lambda_Q(n) = -1 \}) is normal almost everywhere. This fact enables us to generate a family of normal sets such that the equation (xy =z) is not solvable inside them. Additionally we prove that equations (xy=z^2, x^2 + y^2 = square, x^2 - y^2 = square) are solvable in any normal set and for any equation (xy=cn^2) ((c > 1 ), is not a square) there exists a normal set (A_c) such that the equation is not solvable inside (A_c).


title: On the Integrality of n-th Roots of Generating Functions

abstract: Motivated by the discovery that the eighth root of the theta series of the E_8 lattice and the 24th root of the theta series of the Leech lattice both have integer coefficients, we investigate the question of when an arbitrary element f in R (where R = 1 + xZ[[x]]) can be written as f = g^n for g in R, n >= 2. Let P_n := {g^n : g in R} and let mu_n := n Product_{p|n} p. We show among other things that (i) for f in R, f in P_n <=> f mod mu_n in P_n, and (ii) if f in P_n, there is a unique g in P_n with coefficients mod mu_n/n such that f == g^n (mod mu_n). In particular, if f == 1 (mod mu_n) then f in P_n. The latter assertion implies that the theta series of any extremal even unimodular lattice in R^n (e.g. E_8 in R^8) is in P_n if n is of the form 2^i 3^j 5^k (i >= 3). There do not seem to be any exact analogues for codes, although we show that the weight enumerator of the r-th order Reed-Muller code of length 2^m is in P_{2^r}. We give a number of other results and conjectures, and establish a conjecture of Paul D. Hanna that there is a unique element f in P_n (n != 2) with coefficients restricted to the set {1, 2, ..., n}.


title: Stationary processes whose filtrations are standard

abstract: We study the standard property of the natural filtration associated to a 0--1 valued stationary process. In our main result we show that if the process has summable memory decay, then the associated filtration is standard. We prove it by coupling techniques. For a process whose associated filtration is standard, we construct a product type filtration extending it, based upon the usual couplings and the Vershik's criterion for standardness.


title: Lambda-presentable morphisms, injectivity and (weak) factorization systems

abstract: We show that in a locally lambda-presentable category, every lambda(m)-injectivity class (i.e., the class of all the objects injective with respect to some class of lambda-presentable morphisms) is a weakly reflective subcategory determined by a functorial weak factorization system cofibrantly generated by a class of lambda-presentable morphisms. This was known for small-injectivity classes, and referred to as the "small object argument". An analogous result is obtained for orthogonality classes and factorization systems, where lambda-filtered colimits play the role of the transfinite compositions in the injectivity case. Lambda-presentable morphisms are also used to organize and clarify some related results (and their proofs), in particular on the existence of enough injectives (resp. pure-injectives).


title: The Borel-Serre Compactification for the Classifying Space of Hodge Structures

abstract: A 1-parameter variation of Hodge structures corresponds to a holomorphic, horizontal, locally liftable map into a classifying space of Hodge structures. In this paper it is shown that such a map has a limit in the reductive Borel-Serre compactification of the classifying space. The boundary component in which the limit lies is a union over possible polarizations of classifying spaces of Hodge structures on the primitive parts. It is discussed which boundary components can contain such limit points.


title: Extra-large metrics

abstract: An extra large metric is a spherical cone metric with all cone angles greater than 2 pi and every closed geodesic longer than 2pi. We show that every two-dimensional extra large metric can be triangulated with vertices at cone points only. The argument implies the same result for Euclidean and hyperbolic cone metrics, and can be modified to show a similar result for higher-dimensional extra-large metrics. The extra-large hypothesis is necessary.


title: Density of the Set of Generators of Wavelet Systems

abstract: Given a function $\psi$ in $ \LL^2(\R^d)$, the affine (wavelet) system generated by $\psi$, associated to an invertible matrix $a$ and a lattice $\zG$, is the collection of functions $\{|\det a|^{j/2} \psi(a^jx-\gamma): j \in \Z, \gamma \in \zG\}$. In this article we prove that the set of functions generating affine systems that are a Riesz basis of $ \LL^2(\R^d)$ is dense in $ \LL^2(\R^d)$. We also prove that a stronger result is true for affine systems that are a frame of $ \LL^2(\R^d)$. In this case we show that the generators associated to a fixed but arbitrary dilation are a dense set. Furthermore, we analyze the orthogonal case in which we prove that the set of generators of orthogonal (not necessarily complete) affine systems, that are compactly supported in frequency, are dense in the unit sphere of $ \LL^2(\R^d)$ with the induced metric. As a byproduct we introduce the $p$-Grammian of a function and prove a convergence result of this Grammian as a function of the lattice. This result gives insight in the problem of oversampling of affine systems.


title: The density of the ISE and local limit laws for embedded trees

abstract: It has been known for a few years that the occupation measure of several models of embedded trees converges, after a suitable normalization, to the random measure called ISE (Integrated SuperBrownian Excursion). Here, we prove a local version of this result: ISE has a (random) H\"{o}lder continuous density, and the vertical profile of embedded trees converges to this density, at least for some such trees. As a consequence, we derive a formula for the distribution of the density of ISE at a given point. This follows from earlier results by Bousquet-M\'{e}lou on convergence of the vertical profile at a fixed point. We also provide a recurrence relation defining the moments of the (random) moments of ISE.


title: Spatial E_0-Semigroups are Restrictions of Inner Automorphismgroups

abstract: We show that an E_0-semigroup acting on the algebra of all adjointable operators on a Hilbert module, which has a spatial product system, arises as the the restriction of a semigroup inner automorphisms.


title: Elliptic structures on weighted three-dimensional Fano hypersurfaces

abstract: We classify birational maps into elliptic fibrations of a general quasismooth hypersurface in $\mathbb{P}(1,a_{1},a_{2},a_{3},a_{4})$ of degree $\sum_{i=1}^{4}a_{i}$ that has terminal singularities.


title: On $Z_{2^k}$-Dual Binary Codes

abstract: A new generalization of the Gray map is introduced. The new generalization $\Phi: Z_{2^k}^n \to Z_{2}^{2^{k-1}n}$ is connected with the known generalized Gray map $\phi$ in the following way: if we take two dual linear $Z_{2^k}$-codes and construct binary codes from them using the generalizations $\phi$ and $\Phi$ of the Gray map, then the weight enumerators of the binary codes obtained will satisfy the MacWilliams identity. The classes of $Z_{2^k}$-linear Hadamard codes and co-$Z_{2^k}$-linear extended 1-perfect codes are described, where co-$Z_{2^k}$-linearity means that the code can be obtained from a linear $Z_{2^k}$-code with the help of the new generalized Gray map. Keywords: Gray map, Hadamard codes, MacWilliams identity, perfect codes, $Z_{2^k}$-linearity


title: Almost global existence for quasilinear wave equations in waveguides with Neumann boundary conditions

abstract: In this paper, we prove almost global existence of solutions to certain quasilinear wave equations with quadratic nonlinearities in infinite homogeneous waveguides with Neumann boundary conditions. We use a Galerkin method to expand the Laplacian of the compact base in terms of its eigenfunctions. For those terms corresponding to zero modes, we obtain decay using analogs of estimates of Klainerman and Sideris. For the nonzero modes, estimates for Klein-Gordon equations, which provide better decay, are available.


title: Bilateral Shorted Operators and Parallel Sums

abstract: In this paper we study shorted operators relative to two different subspaces, for bounded operators on infinite dimensional Hilbert spaces. We define two notions of complementability in the sense of Ando for operators, and study the properties of the shorted operators when they can be defined. We use these facts in order to define and study the notions of parallel sum and substraction, in this Hilbertian context.


title: Metric and homogeneous structure of closed range operators

abstract: Let $\CR$ be the set of all bounded linear operators between Hilbert spaces $\cH, \cK$. This paper is devoted to the study of the topological properties of $\CR$ if certain natural metrics are considered on it. We also define an action of the group $\G_\cH\times\G_\cK$ on $\CR$ and determine the orbits of this action. These orbits determine a stratification of the set of Fredholm and semi-Fredholm operators. Finally, we calculate the distance, with respect to some of the metrics mentioned above, between different orbits of $\CR$.


title: Weighted generalized inverses, oblique projections and least squares problems

abstract: A generalization with singular weights of Moore-Penrose generalized inverses of closed range operators in Hilbert spaces is studied using the notion of compatibility of subspaces and positive operators.


title: Projections in operator ranges

abstract: If $\H$ is a Hilbert space, $A$ is a positive bounded linear operator on $\cH$ and $\cS$ is a closed subspace of $\cH$, the relative position between $\cS$ and $A^{-1}(\cS \orto)$ establishes a notion of compatibility. We show that the compatibility of $(A,\cS)$ is equivalent to the existence of a convenient orthogonal projection in the operator range $R(A^{1/2})$ with its canonical Hilbertian structure.


title: A Lax-Wendroff type theorem for unstructured quasiuniform grids

abstract: A well-known theorem of Lax and Wendroff states that if the sequence of approximate solutions to a system of hyperbolic conservation laws generated by a conservative consistent numerical scheme converges boundedly a.e. as the mesh parameter goes to zero, then the limit is a weak solution of the system. Moreover, if the scheme satisfies a discrete entropy inequality as well, the limit is an entropy solution. The original theorem applies to uniform Cartesian grids; this article presents a generalization for quasiuniform grids (with Lipschitz-boundary cells) uniformly continuous inhomogeneous numerical fluxes and nonlinear inhomogeneous sources. The added generality allows a discussion of novel applications like local time stepping, grids with moving vertices and conservative remapping. A counterexample demonstrates that the theorem is not valid for arbitrary non-quasiuniform grids.


title: The ellipticity principle for selfsimilar polytropic potential flow

abstract: We consider self-similar potential flow for compressible gas with polytropic pressure law. Self-similar solutions arise as large-time asymptotes of general solutions, and as exact solutions of many important special cases like Mach reflection, multidimensional Riemann problems, or flow around corners. Self-similar potential flow is a quasilinear second-order PDE of mixed type which is hyperbolic at infinity (if the velocity is globally bounded). The type in each point is determined by the local pseudo-Mach number L, with L<1 resp. L>1 corresponding to elliptic resp. hyperbolic regions. We prove an ellipticity principle: the interior of a parabolic-elliptic region of a sufficiently smooth solution must be elliptic; in fact $L$ must be bounded above away from 1 by a domain-dependent function. In particular there are no open parabolic regions. We also discuss the case of slip boundary conditions at straight solid walls.


title: A possible counterexample to wellposedness of entropy solutions and to Godunov scheme convergence

abstract: A particular case of initial data for the two-dimensional Euler equations is studied numerically. The results show that the Godunov method does not always converge to the physical solution, at least not on feasible grids. Moreover, they suggest that entropy solutions (in the weak entropy inequality sense) are not well-posed.


title: When the theories meet: Khovanov homology as Hochschild homology of links

abstract: We show that Khovanov homology and Hochschild homology theories share common structure. In fact they overlap: Khovanov homology of a $(2,n)$-torus link can be interpreted as a Hochschild homology of the algebra underlining the Khovanov homology. In the classical case of Khovanov homology we prove the concrete connection. In the general case of Khovanov-Rozansky, $sl(n)$, homology and their deformations we conjecture the connection. The best framework to explore our ideas is to use a comultiplication-free version of Khovanov homology for graphs developed by L. Helme-Guizon and Y. Rong and extended here to to $\mathbb M$-reduced case, and to noncommutative algebras (in the case of a graph being a polygon). In this framework we prove that for any unital algebra $\A$ the Hochschild homology of $\A$ is isomorphic to graph homology over $\A$ of a polygon. We expect that this paper will encourage a flow of ideas in both directions between Hochschild/cyclic homology and Khovanov homology theories.


title: Borromean surgery formula for the Casson invariant

abstract: It is known that every oriented integral homology 3-sphere can be obtained from S^3 by a finite sequence of Borromean surgeries. We give an explicit formula for the variation of the Casson invariant under such a surgery move. The formula involves simple classical invariants, namely the framing, linking number and Milnor's triple linking number. A more general statement, for n independent Borromean surgeries, is also provided, which involves an additional cubic expression in some linking numbers of the surgery link.


title: Factors generated by $C^*$-finitely correlated states

abstract: We present several equivalent conditions for $C^*$-finitely correlated states defined on the UHF algebras to be factor states and consider the types of factors generated by them. Subfactors generated by generalized quantum Markov chains defined on the gauge-invariant parts of the UHF algebras are also discussed.


title: Graphical condensation of plane graphs: a combinatorial approach

abstract: The method of graphical vertex-condensation for enumerating perfect matchings of plane bipartite graph was found by Propp (Theoret. Comput. Sci. 303(2003), 267-301), and was generalized by Kuo (Theoret. Comput. Sci. 319 (2004), 29-57) and Yan and Zhang (J. Combin. Theory Ser. A, 110(2005), 113-125). In this paper, by a purely combinatorial method some explicit identities on graphical vertex-condensation for enumerating perfect matchings of plane graphs (which do not need to be bipartite) are obtained. As applications of our results, some results on graphical edge-condensation for enumerating perfect matchings are proved, and we count the sum of weights of perfect matchings of weighted Aztec diamond.


title: Uniqueness of Limit Models in Classes with Amalgamation

abstract: Let K be an abstract elementary class satisfying the joint embedding and the amalgamation properties. Let m be a cardinal above the the L\"owenheim-Skolem number of the class. Suppose K satisfies the disjoint amalgamation property for limit models of cardinality m. If K is m-Galois-stable, has no m-Vaughtian Pairs, does not have long splitting chains, and satisfies locality of splitting, for the precise description of long splitting chains and locality}, then any two (m,sigma_i)-limits over M for (i in {1,2}) are isomorphic over M. This theorem extends results of Shelah, Kolman and Shelah, and Shelah and Villaveces. A preliminary version of our uniqueness theorem was used by Grossberg and VanDieren to prove a case of Shelah's categoricity conjecture for tame abstract elementary classes.


title: Recent Progress in Graph Pebbling

abstract: The subject of graph pebbling has seen dramatic growth recently, both in the number of publications and in the breadth of variations and applications. Here we update the reader on the many developments that have occurred since the original Survey of Graph Pebbling in 1999.


title: Finiteness of extension functors of local cohomology modules

abstract: Let $R$ be a commutative Noetherian ring, $\fa$ an ideal of $R$ and $M$ a finitely generated $R$--module. Let $t$ be a non-negative integer such that $\H^i_\fa(M)$ is $\fa$--cofinite for all $i<t$. It is well--known that $\Hom_R(R/\fa,\H^t_\fa(M))$ is finitely generated $R$--module. In this paper we study the finiteness of $\Ext^1_R(R/\fa,\H^t_\fa(M))$ and $\Ext^2_R(R/\fa,\H^t_\fa(M))$.


title: On Harnack inequalities and singularities of admissible metrics in the Yamabe problem

abstract: In this paper we study the local behaviour of admissible metrics in the k-Yamabe problem on compact Riemannian manifolds $(M, g_0)$ of dimension $n\ge 3$. For $n/2 <k<n$, we prove a sharp Harnack inequality for admissible metrics when $(M,g_0)$ is not conformally equivalent to the unit sphere $S^n$ and that the set of all such metrics is compact. When $(M,g_0)$ is the unit sphere we prove there is a unique admissible metric with singularity. As a consequence we prove an existence theorem for equations of Yamabe type, thereby recovering a recent result of Gursky and Viaclovski on the solvability of the $k$-Yamabe problem for $k>n/2$.


title: Boundary regularity for the Monge-Ampere and affine maximal surface equations

abstract: In this paper, we prove global second derivative estimates for solutions of the Dirichlet problem for the Monge-Ampere equation when the inhomogeneous term is only assumed to be Holder continuous. As a consequence of our approach, we also establish the existence and uniqueness of globally smooth solutions to the second boundary value problem for the affine maximal surface equation and affine mean curvature equation.


title: A class of $C^*$-algebras generalizing both graph algebras and homeomorphism $C^*$-algebras IV, pure infiniteness

abstract: This is the final one in the series of papers where we introduce and study the $C^*$-algebras associated with topological graphs. In this paper, we get a sufficient condition on topological graphs so that the associated $C^*$-algebras are simple and purely infinite. Using this result, we give one method to construct all Kirchberg algebras as $C^*$-algebras associated with topological graphs.


title: Separated sequences in uniformly convex Banach spaces

abstract: We prove that the unit sphere of every infinite-dimensional uniformly convex Banach space with modulus of convexity $\delta$ contains a $(1+\frac12\delta(\frac23))$-separated sequence.


title: Observations from the 8-tetrahedron non-orientable census

abstract: Through computer enumeration with the aid of topological results, we catalogue all 18 closed non-orientable P^2-irreducible 3-manifolds that can be formed from at most eight tetrahedra. In addition we give an overview as to how the 100 resulting minimal triangulations are constructed. Observations and conjectures are drawn from the census data, and future potential for the non-orientable census is discussed. Some preliminary nine-tetrahedron results are also included.


title: Rational Lagrangian fibrations on punctual Hilbert schemes of K3 surfaces

abstract: A rational Lagrangian fibration f on an irreducible symplecitc variety V is a rational map which is birationally equivalent to a regular surjective morphism with Lagrangian fibers. By analogy with K3 surfaces, it is natural to expect that a rational Lagrangian fibration exists if and only if V has a divisor D with Bogomolov--Beauville square 0. This conjecture is proved in the case when V is the punctual Hilbert scheme of a generic algebraic K3 surface S. The construction of f uses a twisted Fourier--Mukai transform which induces a birational isomorphism of V with a certain moduli space of twisted sheaves on another K3 surface M, obtained from S as its Fourier--Mukai partner.


title: A Proof of the Loehr-Warrington Amazing TEN to the Power n Conjecture

abstract: We prove, via 30 seconds of Maple computation, that there are 10^n words in the alphabet {3,-2} of length 5n, sum 0, and such that every factor that sums to 0 and that starts with a 3 may not be immediately followed by a -2.


title: Instantons: topological aspects

abstract: Short survey to be published at the Encyclopedia of Mathematical Physics.


title: Uniform decision problems in automatic semigroups

abstract: We consider various decision problems for automatic semigroups, which involve the provision of an automatic structure as part of the problem instance. With mild restrictions on the automatic structure, which seem to be necessary to make the problem well-defined, the uniform word problem for semigroups described by automatic structures is decidable. Under the same conditions, we show that one can also decide whether the semigroup is completely simple or completely zero-simple; in the case that it is, one can compute a Rees matrix representation for the semigroup, in the form of a Rees matrix together with an automatic structure for its maximal subgroup. On the other hand, we show that it is undecidable in general whether a given element of a given automatic monoid has a right inverse.


title: Evaluating Two Determinants

abstract: This article evaluates the determinants of two classes of special matrices, which are both from a number theory problem. Applications of the evaluated determinants can be found in [arXiv:math.NT/0509523]. Note that the two determinants are actually special cases of Theorems 20 and 23 in [arXiv:math.CO/9902004], respectively. Since this paper does not provide any new results, it will not be published anywhere.


title: Finite groups in which elements of the same order outside the center are conjugate

abstract: In this paper, we prove that if $G$ is a finite group in which elements of the same order outside the center are conjugate, then $G$ is abelian or is isomorphic to $S_3$, the symmetry group of degree 3.


title: Robust Routing and Cross-Entropy Estimation

abstract: In the following article, we present a novel way to etimate the amounts of traffic on the Origin-Destination couples (OD couples). This new approach combines together a routing algorithm based on the principle of the shortest path and a recent technique of stochastic optimization called Cross-Entropy. In a final part, we adapt a particular filtering algorithm in order to be able to dynamically estimate the evolution of the traffic on the OD couples.


title: Approximation of rough paths of fractional Brownian motion

abstract: We consider a geometric rough path associated with a fractional Brownian motion with Hurst parameter $H\in]{1/4}, {1/2}[$. We give an approximation result in a modulus type distance, up to the second order, by means of a sequence of rough paths lying above elements of the reproducing kernel Hilbert space.


title: Two-dimensional incompressible viscous flow around a small obstacle

abstract: In this work we study the asymptotic behavior of viscous incompressible 2D flow in the exterior of a small material obstacle. We fix the initial vorticity $\omega_0$ and the circulation $\gamma$ of the initial flow around the obstacle. We prove that, if $\gamma$ is sufficiently small, the limit flow satisfies the full-plane Navier-Stokes system, with initial vorticity $\omega_0 + \gamma \delta$, where $\delta$ is the standard Dirac measure. The result should be contrasted with the corresponding inviscid result obtained by the authors in [Comm P.D.E. 28 (2003) 349-379], where the effect of the small obstacle appears in the coefficients of the PDE and not only on the initial data. The main ingredients of the proof are $L^p-L^q$ estimates for the Stokes operator in an exterior domain, a priori estimates inspired on Kato's fixed point method, energy estimates, renormalization and interpolation.


title: A product of trees as universal space for hyperbolic groups

abstract: We show that every Gromov hyperbolic group $\Ga$ admits a quasi-isometric embedding into the product of $(n+1)$ binary trees, where $n=\dim\di\Ga$ is the topological dimension of the boundary at infinity of $\Ga$.


title: Character sheaves on disconnected groups, VIII

abstract: In this paper we continue the study of character sheaves on a reductive group G. To each subset of the set of simple reflections in the Weyl group we associate an algebra of the same kind as an Iwahori-Hecke algebra with unequal parameters in terms of parabolic character sheaves. We also prove a Mackey type formula for character sheaves. We define a duality operation for character sheaves. We also prove a quasi-rationality property for character sheaves.


title: Optimal Attitude Estimation and Filtering Without Using Local Coordinates Part I: Uncontrolled and Deterministic Attitude Dynamics

abstract: There are several attitude estimation algorithms in existence, all of which use local coordinate representations for the group of rigid body orientations. All local coordinate representations of the group of orientations have associated problems. While minimal coordinate representations exhibit kinematic singularities for large rotations, the quaternion representation requires satisfaction of an extra constraint. This paper treats the attitude estimation and filtering problem as an optimization problem, without using any local coordinates for the group of rotations. An attitude determination algorithm and attitude estimation filters are developed, that minimize the attitude and angular velocity estimation errors. For filter propagation, the attitude kinematics and deterministic dynamics equations (Euler's equations) for a rigid body in an attitude-dependent potential are used. Vector attitude measurements are used for attitude and angular velocity estimation, with or without angular velocity measurements.


title: On decomposability of 4-ary distance 2 MDS codes, double-codes, and n-quasigroups of order 4

abstract: A subset $S$ of $\{0,1,...,2t-1\}^n$ is called a $t$-fold MDS code if every line in each of $n$ base directions contains exactly $t$ elements of $S$. The adjacency graph of a $t$-fold MDS code is not connected if and only if the characteristic function of the code is the repetition-free sum of the characteristic functions of $t$-fold MDS codes of smaller lengths. In the case $t=2$, the theory has the following application. The union of two disjoint $(n,4^{n-1},2)$ MDS codes in $\{0,1,2,3\}^n$ is a double-MDS-code. If the adjacency graph of the double-MDS-code is not connected, then the double-code can be decomposed into double-MDS-codes of smaller lengths. If the graph has more than two connected components, then the MDS codes are also decomposable. The result has an interpretation as a test for reducibility of $n$-quasigroups of order 4. Keywords: MDS codes, n-quasigroups, decomposability, reducibility, frequency hypercubes, latin hypercubes


title: Linear superposition in nonlinear wave dynamics

abstract: We study nonlinear dispersive wave systems described by hyperbolic PDE's in R^{d} and difference equations on the lattice Z^{d}. The systems involve two small parameters: one is the ratio of the slow and the fast time scales, and another one is the ratio of the small and the large space scales. We show that a wide class of such systems, including nonlinear Schrodinger and Maxwell equations, Fermi-Pasta-Ulam model and many other not completely integrable systems, satisfy a superposition principle. The principle essentially states that if a nonlinear evolution of a wave starts initially as a sum of generic wavepackets (defined as almost monochromatic waves), then this wave with a high accuracy remains a sum of separate wavepacket waves undergoing independent nonlinear evolution. The time intervals for which the evolution is considered are long enough to observe fully developed nonlinear phenomena for involved wavepackets. In particular, our approach provides a simple justification for numerically observed effect of almost non-interaction of solitons passing through each other without any recourse to the complete integrability. Our analysis does not rely on any ansatz or common asymptotic expansions with respect to the two small parameters but it uses rather explicit and constructive representation for solutions as functions of the initial data in the form of functional analytic series.


title: Use of operator algebras in the analysis of measures from wavelets and iterated function systems

abstract: In this paper, we show how a class of operators used in the analysis of measures from wavelets and iterated function systems may be understood from a special family of representations of Cuntz algebras.


title: Localization in quiver moduli

abstract: The fixed point set under a natural torus action on projectivized moduli spaces of simple representations of quivers is described. As an application, the Euler characteristic of these moduli is computed.


title: Generalized Jones traces and Kazhdan--Lusztig bases

abstract: We develop some applications of certain algebraic and combinatorial conditions on the elements of Coxeter groups, such as elementary proofs of the positivity of certain structure constants for the associated Kazhdan--Lusztig basis. We also explore some consequences of the existence of a Jones-type trace on the Hecke algebra of a Coxeter group, such as simple procedures for computing leading terms of certain Kazhdan--Lusztig polynomials. The sequel to this paper is math.QA/0509363.


title: Star reducible Coxeter groups

abstract: We define ``star reducible'' Coxeter groups to be those Coxeter groups for which every fully commutative element (in the sense of Stembridge) is equivalent to a product of commuting generators by a sequence of length-decreasing star operations (in the sense of Lusztig). We show that the Kazhdan--Lusztig bases of these groups have a nice projection property to the Temperley--Lieb type quotient, and furthermore that the images of the basis elements $C'_w$ (for fully commutative $w$) in the quotient have structure constants in ${\Bbb Z}^{\geq 0}[v, v^{-1}]$. We also classify the star reducible Coxeter groups and show that they form nine infinite families (types $A_n$, $B_n$, $D_n$, $E_n$, $F_n$, $H_n$, affine $A_{n-1}$ for $n$ odd, affine $C_{n-1}$ for $n$ even, and the case where the Coxeter graph is complete), with two exceptional cases (of ranks 6 and 7). This paper is the sequel to math.QA/0509362.


title: Variational approach to nonlinear gravity-driven instabilities in a MHD setting

abstract: We establish a variational framework for nonlinear instabilities in a setting of the ideal magnetohydrodynamic (MHD) equations. We apply a variational method to various kind of smooth steady states which are shown to be nonlinearly unstable for both incompressible and compressible ideal MHD equations. Destabilizing effect of compressibility is justified as well as stabilizing effect of magnetic field lines arising in MHD dynamics, which distinguishes from the Rayleigh-Taylor instability in the absence of magnetic field lines.


title: Matrices and finite Alexander quandles

abstract: We describe an algorithm for determining whether a finite quandle is isomorphic to an Alexander quandle by finding all possible Alexander presentations of the quandle. We give an implementation of this algorithm in Maple.


title: A General Fredholm Theory and Applications

abstract: We describe a very general (nonlinear) Fredholm theory for a new class of ambient spaces, called polyfolds. This theory is applicable to Gromov-Witten and Floer Theory as well as Symplectic Field Theory. It should also be applicable to a wider range of elliptic problems with analytical limiting behaviour.


title: Game theoretic derivation of discrete distributions and discrete pricing formulas

abstract: In this expository paper we illustrate the generality of game theoretic probability protocols of Shafer and Vovk (2001) in finite-horizon discrete games. By restricting ourselves to finite-horizon discrete games, we can explicitly describe how discrete distributions with finite support and the discrete pricing formulas, such as the Cox-Ross-Rubinstein formula, are naturally derived from game-theoretic probability protocols. Corresponding to any discrete distribution with finite support, we construct a finite-horizon discrete game, a replicating strategy of Skeptic, and a neutral forecasting strategy of Forecaster, such that the discrete distribution is derived from the game. Construction of a replicating strategy is the same as in the standard arbitrage arguments of pricing European options in the binomial tree models. However the game theoretic framework is advantageous because no a priori probabilistic assumption is needed.


title: A category of modules for the full toroidal Lie algebra

abstract: We introduce a category B of bounded modules for the toroidal Lie algebras and study irreducible modules in B. We show that one of the irreducible modules in this category, L(T_0), admits a structure of a vertex operator algebra. We prove that L(T_0) factors into a tensor product of a sub-VOA of a hyperbolic lattice VOA and a simple VOA associated with a twisted Virasoro-affine Lie algebra. Every irreducible module in category B is a VOA module for a slightly larger VOA V(T_0). Knowing the structure of V(T_0), we are able to give explicit realizations for all irreducible modules in category B and determine their characters.


title: Spectra of differentiable hyperbolic maps

abstract: This note is about the spectral properties of transfer operators associated to smooth hyperbolic dynamics. In the first two sections (written in 2006), we state our new results relating such spectra with dynamical determinants, first announced at the conference ``Traces in Geometry, Number Theory and Quantum Fields" at the Max Planck Institute, Bonn, October 2005. In the last two sections, we give a reader-friendly presentation of some key ideas in our work in the simplest possible settings, including a new proof of a result of Ruelle on expanding endomorphisms. (These last two sections are a revised version of the lecture notes given during the workshop ``Resonances and Periodic Orbits: Spectrum and Zeta functions in Quantum and Classical Chaos" at Institut Henri Poincar\'e, Paris, July 2005.) (Revised version, submitted for publication)


title: On Manin's conjecture for a certain singular cubic surface

abstract: Let U denote the open subset formed by deleting the unique line from the singular cubic surface x_1x_2^2+x_2x_0^2+x_3^3=0. In this paper an asymptotic formula is obtained for the number of rational points on U of bounded height, which thereby verifies the Manin conjecture for this particular surface.


title: Estimation of the Memory Parameter of the Infinite Source Poisson Process

abstract: Long-range dependence induced by heavy tails is a widely reported feature of internet traffic. Long-range dependence can be defined as the regular variation of the variance of the integrated process, and half the index of regular variation is then referred to as the Hurst index. The infinite-source Poisson process (a particular case of which is the $M/G/\infty$ queue) is a simple and popular model with this property, when the tail of the service time distribution is regularly varying. The Hurst index of the infinite-source Poisson process is then related to the index of regular variation of the service times. In this paper, we present a wavelet-based estimator of the Hurst index of this process, when it is observed either continuously or discretely over an increasing time interval. Our estimator is shown to be consistent and robust to some form of non-stationarity. Its rate of convergence is investigated.


title: Stability of translating solutions to mean curvature flow

abstract: We prove stability of rotationally symmetric translating solutions to mean curvature flow. For initial data that converge spatially at infinity to such a soliton, we obtain convergence for large times to that soliton without imposing any decay rates.


title: The Daugavet property for spaces of Lipschitz functions

abstract: For a compact metric space $K$ the space $\Lip(K)$ has the Daugavet property if and only if the norm of every $f \in \Lip(K)$ is attained locally. If $K$ is a subset of an $L_p$-space, $1<p<\infty$, this is equivalent to the convexity of $K$.


title: Numerical index and duality

abstract: We present an example of a Banach space whose numerical index is strictly greater than the numerical index of its dual, giving a negative answer to a question which has been latent since the beginning of the seventies. We also show a particular case in which the numerical index of the space and the one of its dual coincide.


title: Noncommutative recurrence over locally compact Hausdorff groups

abstract: We extend previous results on noncommutative recurrence in unital *-algebras over the integers, to the case where one works over locally compact Hausdorff groups. We derive a generalization of Khintchine's recurrence theorem, as well as a form of multiple recurrence. This is done using the mean ergodic theorem in Hilbert space, via the GNS construction.


title: Finite groups with conjugacy classes number one greater than its same order classes number

abstract: Let $k(G)$ be the number of conjugacy classes of finite groups $G$ and $\pi_e(G)$ be the set of the orders of elements in $G$. Then there exists a non-negative integer $k$ such that $k(G)=|\pi_e(G)|+k$. We call such groups to be $co(k)$ groups. This paper classifies all finite $co(1)$ groups. They are isomorphic to one of the following groups: $A_5, L_2(7), S_5, Z_3, Z_4, S_4, A_4$, $D_{10}, Hol(Z_5)$, or $Z_3\rtimes Z_4$.


title: A Note on the Solvablity of Groups

abstract: Let $M$ be a maximal subgroup of a finite group $G$ and $K/L$ be a chief factor such that $L\leq M$ while $K\nsubseteq M$. We call the group $M\cap K/L$ a $c$\ns section of $M$. And we define $Sec(M)$ to be the abstract group that is isomorphic to a $c$\ns section of $M$. For every maximal subgroup $M$ of $G$, assume that Sec($M$) is supersolvable. Then any composition factor of $G$ is isomorphic to $L_2(p)$ or $Z_q$, where $p$ and $q$ are primes, and $p\equiv\pm 1(mod 8)$. This result answer a question posed by ref. \cite{WL}.


title: Subdivision of complexes of k-Trees

abstract: Consider the poset of partitions of {1,...(n-1)k+1} with block sizes congruent to 1 modulo k. We prove that its order complex is a subdivision of the complex of k-trees, thereby answering a question posed by Feichtner. The result is obtained by an ad-hoc generalization of concepts from the theory of nested set complexes to non-lattices.


title: Arithmetical Properties of Finite Groups

abstract: Let $G$ be a finite group and $Ch_i(G)$ some quantitative sets. In this paper we study the influence of $Ch_i(G)$ to the structure of $G$. We present a survey of author and his colleagues' recent works.


title: Reconsideration of the multivariate moment problem and a new method for approximating multivariate integrals

abstract: Due to its intimate relation to Spectral Theory and Schr\"{o}dinger operators, the multivariate moment problem has been a subject of many researches, so far without essential success (if one compares with the one--dimensional case). In the present paper we reconsider a basic axiom of the standard approach - the positivity of the measure. We introduce the so--called pseudopositive measures instead. One of our main achievements is the solution of the moment problem in the class of the pseudopositive measures. A measure \ $\mu$ is called pseudopositive if its Laplace-Fourier coefficients $\mu_{k,l}(r) ,$ $r\geq0,$ in the expansion in spherical harmonics are non--negative. Another main profit of our approach is that for pseudopositive measures we may develop efficient ''cubature formulas'' by generalizing the classical procedure of Gauss--Jacobi: for every integer \ $p\geq1$ we construct a new pseudopositive measure $\nu_{p}$ having ''minimal support'' and such that $\mu(h) =\nu_{p}(h) $ for every polynomial $h$ with $\Delta^{2p}h=0.$ The proof of this result requires application of the famous theory of Chebyshev, Markov, Stieltjes, Krein for extremal properties of the Gauss-Jacobi measure, by employing the classical orthogonal polynomials $p_{k,l;j},$ $j\geq0,$ with respect to every measure $\mu_{k,l}.$ As a byproduct we obtain a notion of multivariate orthogonality defined by the polynomials $p_{k,l;j}$. A major motivation for our investigation has been the further development of new models for the multivariate Schr\"{o}dinger operators, which generalize the classical result of M. Stone saying that the one--dimensional orthogonal polynomials represent a model for the self--adjoint operators with simple spectrum.


title: Noded Teichmueller spaces

abstract: Let $G$ be a finitely generated Kleinian group and let $\Delta$ be an invariant collection of components in its region of discontinuity. The Teichm\"uller space $T(\Delta,G)$ supported in $\Delta$, is the space of equivalence classes of quasiconformal homeomorphisms with complex dilatation invariant under $G$ and supported in $\Delta$. In this paper we propose a partial closure of $T(\Delta,G)$ by considering certain deformations of the above homeomorphisms. Such a partial closure is denoted by $NT(\Delta,G)$ and called the {\it noded Teichm\"uller space} of $G$ supported in $\Delta$. Some concrete examples are discussed.


title: Probabilistic Extensions of the Erd\H os-Ko-Rado Property

abstract: The classical Erd\H os-Ko-Rado (EKR) Theorem states that if we choose a family of subsets, each of size (k), from a fixed set of size (n (n > 2k)), then the largest possible pairwise intersecting family has size (t ={n-1\choose k-1}). We consider the probability that a randomly selected family of size (t=t_n) has the EKR property (pairwise nonempty intersection) as $n$ and $k=k_n$ tend to infinity, the latter at a specific rate. As $t$ gets large, the EKR property is less likely to occur, while as $t$ gets smaller, the EKR property is satisfied with high probability. We derive the threshold value for $t$ using Janson's inequality. Using the Stein-Chen method we show that the distribution of $X_0$, defined as the number of disjoint pairs of subsets in our family, can be approximated by a Poisson distribution. We extend our results to yield similar conclusions for $X_i$, the number of pairs of subsets that overlap in exactly $i$ elements. Finally, we show that the joint distribution $(X_0, X_1, ..., X_b)$ can be approximated by a multidimensional Poisson vector with independent components.


title: Stepping-stone model with circular Brownian migration

abstract: In this paper we consider a stepping-stone model on a circle with circular Brownian migration. We first point out a connection between Arratia flow and the marginal distribution of this model. We then give a new representation for the stepping-stone model using Arratia flow and circular coalescing Brownian motion. Such a representation enables us to carry out some explicit computation. In particular, we find the Laplace transform for the time when there is only a single type left across the circle.


title: Nonexistence of solutions in $(0,1)$ for K-P-P-type equations for all $d\ge 1$

abstract: Consider the KPP-type equation of the form $\Delta u+f(u)=0$, where $f:[0,1] \to \mathbb R_{+}$ is a concave function. We prove for arbitrary dimensions that there is no solution bounded in $(0,1)$. The significance of this result from the point of view of probability theory is also discussed.


title: Spectral analysis of Sinai's walk for small eigenvalues

abstract: Sinai's walk can be thought of as a random walk on $\mathbb {Z}$ with random potential $V$, with $V$ weakly converging under diffusive rescaling to a two-sided Brownian motion. We consider here the generator $\mathbb {L}_N$ of Sinai's walk on $[-N,N]\cap \mathbb {Z}$ with Dirichlet conditions on $-N,N$. By means of potential theory, for each $h>0$, we show the relation between the spectral properties of $\mathbb {L}_N$ for eigenvalues of order $o(\exp(-h\sqrt{N}))$ and the distribution of the $h$-extrema of the rescaled potential $V_N(x)\equiv V(Nx)/\sqrt{N}$ defined on $[-1,1]$. Information about the $h$-extrema of $V_N$ is derived from a result of Neveu and Pitman concerning the statistics of $h$-extrema of Brownian motion. As first application of our results, we give a proof of a refined version of Sinai's localization theorem.


title: Morse flow trees and Legendrian contact homology in 1-jet spaces

abstract: Let $L\subset J^1(M)$ be a Legendrian submanifold of the 1-jet space of a Riemannian $n$-manifold $M$. A correspondence is established between rigid flow trees in $M$ determined by $L$ and boundary punctured rigid pseudo-holomorphic disks in $T^\ast M$, with boundary on the projection of $L$ and asymptotic to the double points of this projection at punctures, provided $n\le 2$, or provided $n>2$ and the front of $L$ has only cusp edge singularities. This result, in particular, shows how to compute the Legendrian contact homology of $L$ in terms of Morse theory.


title: Shelah's Categoricity Conjecture from a successor for Tame Abstract Elementary Classes

abstract: Let K be an Abstract Elemenetary Class satisfying the amalgamation and the joint embedding property, let \mu be the Hanf number of K. Suppose K is tame. MAIN COROLLARY: (ZFC) If K is categorical in a successor cardinal bigger than \beth_{(2^\mu)^+} then K is categorical in all cardinals greater than \beth_{(2^\mu)^+}. This is an improvment of a Theorem of Makkai and Shelah ([Sh285] who used a strongly compact cardinal for the same conclusion) and Shelah's downward categoricity theorem for AECs with amalgamation (from [Sh394]).


title: On Tangential varieties of rational homogeneous varieties

abstract: We determine which tangential varieties of homogeneously embedded rational homogeneous varieties are spherical. We determine the homogeneous coordinate rings and rings of covariants of the tangential varieties of homogenously embedded compact Hermitian symmetric spaces (CHSS). We give bounds on the degrees of generators of the ideals of tangential varieties of CHSS and obtain more explicit infomation about the ideals in certain cases.


title: Algebraic Factor Analysis: Tetrads, Pentads and Beyond

abstract: Factor analysis refers to a statistical model in which observed variables are conditionally independent given fewer hidden variables, known as factors, and all the random variables follow a multivariate normal distribution. The parameter space of a factor analysis model is a subset of the cone of positive definite matrices. This parameter space is studied from the perspective of computational algebraic geometry. Gr\"obner bases and resultants are applied to compute the ideal of all polynomial functions that vanish on the parameter space. These polynomials, known as model invariants, arise from rank conditions on a symmetric matrix under elimination of the diagonal entries of the matrix. Besides revealing the geometry of the factor analysis model, the model invariants also furnish useful statistics for testing goodness-of-fit.


title: Asymptotics of resonances for a schrodinger operator with matrix values

abstract: we obtain the asympotics for the counting function of resonances for a matrix valued schrodinger operator in dimension one.


title: Chasing Silver

abstract: Answering a question of the first author stated in [math.LO/0507519, 0.2] we show that limits of CS iterations of n$-Silver forcing notion have the n-localization property.


title: Reduction of Generalized Complex Structures

abstract: We study reduction of generalized complex structures. More precisely, we investigate the following question. Let $J$ be a generalized complex structure on a manifold $M$, which admits an action of a Lie group $G$ preserving $J$. Assume that $M_0$ is a $G$-invariant smooth submanifold and the $G$-action on $M_0$ is proper and free so that $M_G:=M_0/G$ is a smooth manifold. Under what condition does $J$ descend to a generalized complex structure on $M_G$? We describe a sufficient condition for the reduction to hold, which includes the Marsden-Weinstein reduction of symplectic manifolds and the reduction of the complex structures in K\"ahler manifolds as special cases. As an application, we study reduction of generalized K\"ahler manifolds.


title: Laplace transform and universal sl(2) invariants

abstract: We develop a Laplace transform method for constructing universal invariants of 3-manifolds. As an application, we recover Habiro's theory of integer homology 3-spheres and extend it to some classes of rational homology 3-spheres with cyclic homology. If |H_1|=2, we give explicit formulas for universal invariants dominating the sl(2) and SO(3) Witten--Reshetikhin--Turaev invariants, as well as their spin and cohomological refinements at all roots of unity. New results on the Ohtsuki series and the integrality of quantum invariants are the main applications of our construction.


title: Characterizing metric spaces whose hyperspaces are absolute neighborhood retracts

abstract: We characterize metric spaces $X$ whose hyperspaces $2^X$ or $Bd(X)$ of non-empty closed (bounded) subsets, endowed with the Hausdorff metric, are absolute [neighborhood] retracts.


title: A descent theorem in topological K-theory

abstract: Let A be a Banach algebra and A' its complexification. In this paper we show that the homotopy fixed point set of K(A'), the topological K-theory space of A', under complex conjugation is just K(A), the topological K-theory space of A. This result generalizes the well known fact that BO is BU^hZ/2. The proof uses in an essential way Atiyah's KR theory and the Clifford algebra definition of higher K-groups.


title: Menger's theorem for infinite graphs

abstract: We prove that Menger's theorem is valid for infinite graphs, in the following strong form: let $A$ and $B$ be two sets of vertices in a possibly infinite digraph. Then there exist a set $\cp$ of disjoint $A$-$B$ paths, and a set $S$ of vertices separating $A$ from $B$, such that $S$ consists of a choice of precisely one vertex from each path in $\cp$. This settles an old conjecture of Erd\H{o}s.


title: How large can the first eigenvalue be on a surface of genus two?

abstract: Sharp upper bounds for the first eigenvalue of the Laplacian on a surface of a fixed area are known only in genera zero and one. We investigate the genus two case and conjecture that the first eigenvalue is maximized on a singular surface which is realized as a double branched covering over a sphere. The six ramification points are chosen in such a way that this surface has a complex structure of the Bolza surface. We prove that our conjecture follows from a lower bound on the first eigenvalue of a certain mixed Dirichlet-Neumann boundary value problem on a half-disk. The latter can be studied numerically, and we present conclusive evidence supporting the conjecture.


title: The nonholonomic Riemann and Weyl tensors for flag manifolds

abstract: On any manifold, any non-degenerate symmetric 2-form (metric) and any skew-symmetric (differential) form W can be reduced to a canonical form at any point, but not in any neighborhood: the respective obstructions being the Riemannian tensor and dW. The obstructions to flatness (to reducibility to a canonical form) are well-known for any G-structure, not only for Riemannian or symplectic structures. For the manifold with a nonholonomic structure (nonintegrable distribution), the general notions of flatness and obstructions to it, though of huge interest (e.g., in supergravity) were not known until recently, though particular cases were known for more than a century (e.g., any contact structure is ``flat'': it can always be reduced, locally, to a canonical form). We give a general definition of the NONHOLONOMIC analogs of the Riemann and Weyl tensors. With the help of Premet's theorems and a package SuperLie we calculate these tensors for the particular case of flag varieties associated with each maximal (and several other) parabolic subalgebra of each simple Lie algebra. We also compute obstructions to flatness of the G(2)-structure and its nonholonomic super counterpart.


title: Structures of G(2) type and nonintegrable distributions in characteristic p

abstract: Lately we observe: (1) an upsurge of interest (in particular, triggered by a paper by Atiyah and Witten) to manifolds with G(2)-type structure; (2) classifications are obtained of simple (finite dimensional and graded vectorial) Lie superalgebras over fields of complex and real numbers and of simple finite dimensional Lie algebras over algebraically closed fields of characteristic p>3; (3) importance of nonintegrable distributions in (1) -- (2). We add to interrelation of (1)--(3) an explicit description of several exceptional simple Lie algebras for p=2, 3 (Melikyan algebras; Brown, Ermolaev, Frank, and Skryabin algebras) as subalgebras of Lie algebras of vector fields preserving nonintegrable distributions analogous to (or identical with) those preserved by G(2), O(7), Sp(4) and Sp(10). The description is performed in terms of Cartan-Tanaka-Shchepochkina prolongs and is similar to descriptions of simple Lie superalgebras of vector fields with polynomial coefficients. Our results illustrate usefulness of Shchepochkina's algorithm and SuperLie package; two families of simple Lie algebras found in the process might be new.


title: On the arithmetic of twists of superelliptic curves

abstract: In this paper, we consider a family of twists of a superelliptic curve over a global field, and obtain results on the distribution of the Mordell-Weil rank of these twists. Our results have applications to the distribution of the number of rational points.


title: The isometry group of the Urysohn space as a Levy group

abstract: We prove that the isometry group $\Iso(\Ur)$ of the universal Urysohn metric space $\Ur$ equipped with the natural Polish topology is a L\'evy group in the sense of Gromov and Milman, that is, admits an approximating chain of compact (in fact, finite) subgroups, exhibiting the phenomenon of concentration of measure. This strengthens an earlier result by Vershik stating that $\Iso(\Ur)$ has a dense locally finite subgroup.


title: Gin and Lex of certain monomial ideals

abstract: Let $A = K[x_1, ..., x_n]$ denote the polynomial ring in $n$ variables over a field $K$ of characteristic 0 with each $\deg x_i = 1$. Given arbitrary integers $i$ and $j$ with $2 \leq i \leq n$ and $3 \leq j \leq n$, we will construct a monomial ideal $I \subset A$ such that (i) $\beta_k(I) < \beta_k(\Gin(I))$ for all $k < i$, (ii) $\beta_i(I) = \beta_i(\Gin(I))$, (iii) $\beta_\ell(\Gin(I)) < \beta_\ell(\Lex(I))$ for all $\ell < j$ and (iv) $\beta_j(\Gin(I)) = \beta_j(\Lex(I))$, where $\Gin(I)$ is the generic initial ideal of $I$ with respect to the reverse lexicographic order induced by $x_1 > >... > x_n$ and where $\Lex(I)$ is the lexsegment ideal with the same Hilbert function as $I$.


title: Hermitian K-theory of the integers

abstract: The 2-primary torsion of the higher algebraic K-theory of the integers has been computed by Rognes and Weibel. In this paper we prove analogous results for the Hermitian K-theory of the integers with 2 inverted (denoted by Z'). We also prove in this case the analog of the Lichtenbaum conjecture for the hermitian K-theory of Z' : the homotopy fixed point set of a suitable Z/2 action on the classifying space of the algebraic K-theory of Z' is the hermitian K-theory of Z' after 2-adic completion.