title: The E_2-term of the descent spectral sequence for continuous G-spectra

abstract: Let {X_i} be a tower of discrete G-spectra, each of which is fibrant as a spectrum, so that X=holim_i X_i is a continuous G-spectrum, with homotopy fixed point spectrum X^{hG}. The E_2-term of the descent spectral sequence for \pi_*(X^{hG}) cannot always be expressed as continuous cohomology. However, we show that the E_2-term is always built out of a certain complex of spectra, that, in the context of abelian groups, is used to compute the continuous cochain cohomology of G with coefficients in lim_i M_i, where {M_i} is a tower of discrete G-modules.


title: Bethe ansatz and inverse scattering transform in a periodic box-ball system

abstract: We formulate the inverse scattering method for a periodic box-ball system and solve the initial value problem. It is done by a synthesis of the combinatorial Bethe ansa"tze at q=1 and q=0, which provides the ultradiscrete analogue of quasi-periodic solutions in soliton equations, e.g., action-angle variables, Jacobi varieties, period matrices and so forth. As an application we establish explicit formulas counting the states characterized by conserved quantities and the generic and fundamental period under the commuting family of time evolutions.


title: Degrees of rigidity for Souslin trees

abstract: We investigate various strong notions of rigidity for Souslin trees, separating them under Diamond into a hierarchy. Applying our methods to the automorphism tower problem in group theory, we show under Diamond that there is a group whose automorphism tower is highly malleable by forcing.


title: Infinite time computable model theory

abstract: We introduce infinite time computable model theory, the computable model theory arising with infinite time Turing machines, which provide infinitary notions of computability for structures built on the reals R. Much of the finite time theory generalizes to the infinite time context, but several fundamental questions, including the infinite time computable analogue of the Completeness Theorem, turn out to be independent of ZFC.


title: Ancient Solutions of the Affine Normal Flow

abstract: We construct noncompact solutions to the affine normal flow of hypersurfaces, and show that all ancient solutions must be either ellipsoids (shrinking solitons) or paraboloids (translating solitons). We also provide a new proof of the existence of a hyperbolic affine sphere asymptotic to the boundary of a convex cone containing no lines, which is originally due to Cheng-Yau. The main techniques are local second-derivative estimates for a parabolic Monge-Ampere equation modeled on those of Ben Andrews and Gutierrez-Huang, a decay estimate for the cubic form under the affine normal flow due to Ben Andrews, and a hypersurface barrier due to Calabi.


title: Odd Perfect Numbers Have At Least Nine Distinct Prime Factors

abstract: An odd perfect number, N, is shown to have at least nine distinct prime factors. If 3 does not divide N, then N must have at least twelve distinct prime divisors. The proof ultimately avoids previous computational results for odd perfect numbers.


title: A note on minimality of foliations for partially hyperbolic diffeomorphisms

abstract: It was shown that in robustly transitive, partially hyperbolic diffeomorphisms on three dimensional closed manifolds, the strong stable or unstable foliation is minimal. In this article, we prove ``almost all'' leaves of both stable and unstable foliations are dense in the whole manifold.


title: The pinched Veronese is Koszul

abstract: In this paper we prove that the coordinate ring of the pinched Veronese (i.e $k[X^3,X^2Y,XY^2,Y^3,X^2Z,Y^2Z,XZ^2,YZ^2,Z^3]\subset k[X,Y,Z]$) is Koszul. The strategy of the proof is the following: we can consider a presentation $S/I$ where $S=k[X_1,...,X_9]$. Using a distinguished weight $\omega$, it's enough to show that $S/in_{\omega}I$ is Koszul. We write $in_{\omega}I$ as $J+H$ where $J$ is generated by a Gr\"obner basis of quadrics. Finally, we present an extension of the notion of Koszul filtration and we use it to show that $(J+H)/J$ has a linear free resolution over $S/J.$ This implies the Koszulness of $S/I.$


title: Rates for branching particle approximations of continuous-discrete filters

abstract: Herein, we analyze an efficient branching particle method for asymptotic solutions to a class of continuous-discrete filtering problems. Suppose that $t\to X_t$ is a Markov process and we wish to calculate the measure-valued process $t\to\mu_t(\cdot)\doteq P\{X_t\in \cdot|\sigma\{Y_{t_k}, t_k\leq t\}\}$, where $t_k=k\epsilon$ and $Y_{t_k}$ is a distorted, corrupted, partial observation of $X_{t_k}$. Then, one constructs a particle system with observation-dependent branching and $n$ initial particles whose empirical measure at time $t$, $\mu_t^n$, closely approximates $\mu_t$. Each particle evolves independently of the other particles according to the law of the signal between observation times $t_k$, and branches with small probability at an observation time. For filtering problems where $\epsilon$ is very small, using the algorithm considered in this paper requires far fewer computations than other algorithms that branch or interact all particles regardless of the value of $\epsilon$. We analyze the algorithm on L\'{e}vy-stable signals and give rates of convergence for $E^{1/2}\{\|\mu^n_t-\mu_t\|_{\gamma}^2\}$, where $\Vert\cdot\Vert_{\gamma}$ is a Sobolev norm, as well as related convergence results.


title: Cohomology for a group of diffeomorphisms of a manifold preserving an exact form

abstract: Let $M$ be a $G$-manifold and $\om$ a $G$-invariant exact $m$-form on $M$. We indicate when these data allow us to constract a cocycle on a group $G$ with values in the trivial $G$-module $\mathbb R$ and when this cocycle is nontrivial.


title: The braided Ptolemy-Thompson group $T^*$ is asynchronously combable

abstract: The braided Ptolemy-Thompson group $T^*$ is an extension of the Thompson group $T$ by the full braid group $B_{\infty}$ on infinitely many strands. This group is a simplified version of the acyclic extension considered by Greenberg and Sergiescu, and can be viewed as a mapping class group of a certain infinite planar surface. In a previous paper we showed that $T^*$ is finitely presented. Our main result here is that $T^*$ (and $T$) is asynchronously combable. The method of proof is inspired by Lee Mosher's proof of automaticity of mapping class groups.


title: On the cohomology of Brill-Noether loci over Quot schemes

abstract: Let C be a smooth projective curve over the field of the complex numbers. We consider Brill-Noether loci over the moduli of maps from C to the Grassmannian G(m,n) and the corresponding Quot schemes of quotients of a trivial vector bundle on C compactifying the spaces of morphisms. We study in detail the case in which m=2, n=4. We prove results on the irreducibility and dimension of these Brill-Noether loci and we address explicit formulas for their cohomology classes. We study the existence problem of these spaces which is closely related with the problem of classification of vector bundles over curves.


title: Cartan calculi on the quantum superplane

abstract: Cartan calculi on the extended quantum superplane are given. To this end, the noncommutative differential calculus on the extended quantum superplane is extended by introducing inner derivations and Lie derivatives.


title: The dimension of a variety

abstract: We invent the notion of a {\it dimension of a variety} $V$ as the cardinality of all its proper {\it derived} subvarieties (of the same type). The dimensions of varieties of lattices, varieties of regular bands and other general algebraic structures are determined.


title: Slim normal Bases and Basefield Transforms

abstract: In this article, we define the notion of slim (normal) bases and show their existence for various fields. As an application, an algorithm will be given that computes the spectrum of a basefield transform by merely using O(n) additions.


title: Workload reduction of a generalized Brownian network

abstract: We consider a dynamic control problem associated with a generalized Brownian network, the objective being to minimize expected discounted cost over an infinite planning horizon. In this Brownian control problem (BCP), both the system manager's control and the associated cumulative cost process may be locally of unbounded variation. Due to this aspect of the cost process, both the precise statement of the problem and its analysis involve delicate technical issues. We show that the BCP is equivalent, in a certain sense, to a reduced Brownian control problem (RBCP) of lower dimension. The RBCP is a singular stochastic control problem, in which both the controls and the cumulative cost process are locally of bounded variation.


title: A modified Poincare inequality and its application to First Passage Percolation

abstract: We extend a Gaussian functional inequality to a countable product of Gaussian measures. This inequality improves on the classical Poincare inequality for Gaussian measures. As an application, we prove that First Passage Percolation has sublinear variance when the edge times distribution belongs to a wide class of continuous distributions, including the exponential one. This extends a result by Benjamini, Kalai and Schramm, valid for positive Bernoulli edge times.


title: The structure of double groupoids

abstract: We give a general description of the structure of a discrete double groupoid (with an extra, quite natural, filling condition) in terms of groupoid factorizations and groupoid 2-cocycles with coefficients in abelian group bundles. Our description goes as follows: To any double groupoid, we associate an abelian group bundle and a second double groupoid, its frame. The frame satisfies that every box is determined by its edges, and thus is called a `slim' double groupoid. In a first step, we prove that every double groupoid is obtained as an extension of its associated abelian group bundle by its frame. In a second, independent, step we prove that every slim double groupoid with filling condition is completely determined by a factorization of a certain canonically defined `diagonal' groupoid.


title: A Slow-Growing Sequence Defined by an Unusual Recurrence

abstract: The sequence starts with a(1) = 1; to extend it one writes the sequence so far as XY^k, where X and Y are strings of integers, Y is nonempty and k is as large as possible: then the next term is k. The sequence begins 1, 1, 2, 1, 1, 2, 2, 2, 3, 1, 1, 2, 1, 1, 2, 2, 2, 3, 2, ... A 4 appears for the first time at position 220, but a 5 does not appear until about position 10^{10^{23}}. The main result of the paper is a proof that the sequence is unbounded. We also present results from extensive numerical investigations of the sequence and of certain derived sequences, culminating with a heuristic argument that t (for t=5,6, ...) appears for the first time at about position 2^(2^(3^(4^(5^...^({(t-2)}^{(t-1)}))))), where ^ denotes exponentiation. The final section discusses generalizations.


title: Three themes in the work of Charles Ehresmann: Local-to-global; Groupoids; Higher dimensions

abstract: This paper illustrates the themes of the title in terms of: van Kampen type theorems for the fundamental groupoid; holonomy and monodromy groupoids; and higher homotopy groupoids. Interaction with work of the writer is explored.


title: k-hypermonogenic automorphic forms

abstract: In this paper we deal with monogenic and $k$-hypermonogenic automorphic forms on arithmetic subgroups of the Ahlfors-Vahlen group. Monogenic automorphic forms are exactly the 0-hypermonogenic automorphic forms. In the first part we establish an explicit relation between $k$-hypermonogenic automorphic forms and Maa{\ss} wave forms. In particular, we show how one can construct from any arbitrary non-vanishing monogenic automorphic form a Clifford algebra valued Maa{\ss} wave form. In the second part of the paper we compute the Fourier expansion of the $k$-hypermonogenic Eisenstein series which provide us with the simplest non-vanishing examples of $k$-hypermonogenic automorphic forms.


title: Rate of convergence in the multidimensional central limit theorem for stationary processes. Application to the Knudsen gas and to the Sinai billiard

abstract: We show how Rio's method [Probab. Theory Related Fields 104 (1996) 255--282] can be adapted to establish a rate of convergence in ${\frac{1}{\sqrt{n}}}$ in the multidimensional central limit theorem for some stationary processes in the sense of the Kantorovich metric. We give two applications of this general result: in the case of the Knudsen gas and in the case of the Sinai billiard.


title: Einstein solvmanifolds: existence and non-existence questions

abstract: The general aim of this paper is to study which are the solvable Lie groups admitting an Einstein left invariant metric. The space N of all nilpotent Lie brackets on R^n parametrizes a set of (n+1)-dimensional rank-one solvmanifolds, containing the set of all those which are Einstein in that dimension. The moment map for the natural GL(n)-action on N evaluated in a point of N encodes geometric information on the corresponding solvmanifold, allowing us to use strong and well-known results from geometric invariant theory. For instance, the functional on N whose critical points are precisely the Einstein solvmanifolds is the square norm of this moment map. We also use a GL(n)-invariant stratification for the space N following essentially a construction given by F. Kirwan and show that there is a strong interplay between the strata and the Einstein condition on the solvmanifolds. As applications, we obtain several examples of graded (even 2-step) nilpotent Lie algebras which are not the nilradicals of any standard Einstein solvmanifold, as well as a classification in the 7-dimensional 6-step case and an existence result for certain 2-step algebras associated to graphs.


title: Error expansion for the discretization of Backward Stochastic Differential Equations

abstract: We study the error induced by the time discretization of a decoupled forward-backward stochastic differential equations $(X,Y,Z)$. The forward component $X$ is the solution of a Brownian stochastic differential equation and is approximated by a Euler scheme $X^N$ with $N$ time steps. The backward component is approximated by a backward scheme. Firstly, we prove that the errors $(Y^N-Y,Z^N-Z)$ measured in the strong $L\_p$-sense ($p \geq 1$) are of order $N^{-1/2}$ (this generalizes the results by Zhang 2004). Secondly, an error expansion is derived: surprisingly, the first term is proportional to $X^N-X$ while residual terms are of order $N^{-1}$.


title: Jones-Wenzl idempotents For Rank 2 Simple Lie algebras

abstract: Temperley-Lieb algebras have been generalized to web spaces for rank 2 simple Lie algebras. Using these webs, we find a complete description of the Jones-Wenzl idempotents for the quantum sl(3) and sp(4) by single clasp expansions. We discuss applications of these expansions.


title: MDL Convergence Speed for Bernoulli Sequences

abstract: The Minimum Description Length principle for online sequence estimation/prediction in a proper learning setup is studied. If the underlying model class is discrete, then the total expected square loss is a particularly interesting performance measure: (a) this quantity is finitely bounded, implying convergence with probability one, and (b) it additionally specifies the convergence speed. For MDL, in general one can only have loss bounds which are finite but exponentially larger than those for Bayes mixtures. We show that this is even the case if the model class contains only Bernoulli distributions. We derive a new upper bound on the prediction error for countable Bernoulli classes. This implies a small bound (comparable to the one for Bayes mixtures) for certain important model classes. We discuss the application to Machine Learning tasks such as classification and hypothesis testing, and generalization to countable classes of i.i.d. models.

categories: math.ST cs.IT cs.LG math.IT math.PR stat.TH


title: Semistable reduction for G-bundles on curves

abstract: We prove a semistable reduction theorem for principal bundles on curves in almost arbitrary characteristics. For exceptional groups we need some small explicit restrictions on the characteristic.


title: On Tree-Partition-Width

abstract: A \emph{tree-partition} of a graph $G$ is a proper partition of its vertex set into `bags', such that identifying the vertices in each bag produces a forest. The \emph{tree-partition-width} of $G$ is the minimum number of vertices in a bag in a tree-partition of $G$. An anonymous referee of the paper by Ding and Oporowski [\emph{J. Graph Theory}, 1995] proved that every graph with tree-width $k\geq3$ and maximum degree $\Delta\geq1$ has tree-partition-width at most $24k\Delta$. We prove that this bound is within a constant factor of optimal. In particular, for all $k\geq3$ and for all sufficiently large $\Delta$, we construct a graph with tree-width $k$, maximum degree $\Delta$, and tree-partition-width at least $(\eighth-\epsilon)k\Delta$. Moreover, we slightly improve the upper bound to ${5/2}(k+1)({7/2}\Delta-1)$ without the restriction that $k\geq3$.


title: Presentations of finite simple groups: a quantitative approach

abstract: Every nonabelian finite simple group of rank $n$ over a field of size $q$, with the possible exception of the Ree groups $^2G_2(3^{2e+1})$, has a presentation with a bounded number of generators and relations and total length $O(\log n +\log q)$. As a corollary, we deduce a conjecture of Holt: there is a constant $C$ such that $\dim H^2(G,M)\leq C\dim M$ for every finite simple group $G$, every prime $p$ and every irreducible $F_p [G]$-module $M$.


title: Random Linear Extensions of Grids

abstract: A grid poset -- or grid for short -- is a product of chains. We ask, what does a random linear extension of a grid look like? In particular, we show that the average "jump number," i.e., the number of times that two consecutive elements in a linear extension are incomparable in the poset, is close to its maximum possible value. The techniques employed rely on entropy arguments. We finish with several interesting questions about this wide-open area.


title: Representation and character theory in 2-categories

abstract: We define the character of a group representation in a 2-category C. For linear C, this notion yields a Hopkins-Kuhn-Ravenel type character theory defined on pairs of commuting elements of the group. We discuss some examples and prove a formula for the character of the induced representation.


title: On the number of two-dimensional threshold functions

abstract: A two-dimensional threshold function of k-valued logic can be viewed as coloring of the points of a k x k square lattice into two colors such that there exists a straight line separating points of different colors. For the number of such functions only asymptotic bounds are known. We give an exact formula for the number of two-dimensional threshold functions and derive more accurate asymptotics.


title: Geodesic Flow on Global Holomorphic Sections of TS^2

abstract: We study the geodesic flow on the global holomorphic sections of the bundle $\pi:{TS}^2\to {S}^2$ induced by the neutral K\"ahler metric on the space of oriented lines of ${\Bbb{R}}^3$, which we identify with ${TS}^2$. This flow is shown to be completely integrable when the sections are symplectic and the behaviour of the geodesics is described.


title: The Rohlin property for automorphisms on simple C*-algebras

abstract: We study a general Kishimoto's problem for automorphisms on simple C*-algebras with tracial rank zero. Let $A$ be a unital separable simple C*-algebra with tracial rank zero and let $\alpha$ be an automorphism. Under the assumption that $\alpha$ has certain Rokhlin property, we present a proof that $A\rtimes_{\alpha}\Z$ has tracial rank zero. We also show that if the induced map $\alpha_{*0}$ on $K_0(A)$ fixes a "dense" subgroup of $K_0(A)$ then the tracial Rokhlin property implies a stronger Rokhlin property. Consequently, the induced crossed product C*-algebras have tracial rank zero.


title: Graded level zero integrable representations of affine Lie algebras

abstract: We study the structure of the category of integrable level zero representations with finite dimensional weight spaces of affine Lie algebras. We show that this category possesses a weaker version of the finite length property, namely that an indecomposable object has finitely many simple constituents which are non-trivial as modules over the corresponding loop algebra. Moreover, any object in this category is a direct sum of indecomposables only finitely many of which are non-trivial. We obtain a parametrization of blocks in this category.


title: The loop-erased random walk and the uniform spanning tree on the four-dimensional discrete torus

abstract: Let x and y be points chosen uniformly at random from $\Z_n^4$, the four-dimensional discrete torus with side length n. We show that the length of the loop-erased random walk from x to y is of order $n^2 (\log n)^{1/6}$, resolving a conjecture of Benjamini and Kozma. We also show that the scaling limit of the uniform spanning tree on $\Z_n^4$ is the Brownian continuum random tree of Aldous. Our proofs use the techniques developed by Peres and Revelle, who studied the scaling limits of the uniform spanning tree on a large class of finite graphs that includes the d-dimensional discrete torus for $d \geq 5$, in combination with results of Lawler concerning intersections of four-dimensional random walks.


title: A note on Lawson homology for smooth varieties with small Chow groups

abstract: Let X be a smooth projective variety of dimension n on which rational and homological equivalence coincide for algebraic p-cycles in the range 0\leq p\leq s. We show that the homologically trivial sector of rational Lawson homology L_pH_k(X,Q)_{hom} vanishes for 0\leq n-p\leq s+2. This is an analogue of a theorem of C. Peters in "dual dimensions". Together with Peters' theorem we get that the natural transformation L_pH_k(X,Q)--> H_k(X,Q) is injective for all p and k when X is a smooth projective variety of dimension 4 and Ch_0(X) =Z.


title: Infinitely generated Lawson homology groups on some rational projective varieties

abstract: We construct rational projective 4-dimensional varieties with the property that certain Lawson homology groups tensored with Q are infinite dimensional Q-vector spaces. More generally, each pair of integers p and k, with k\geq 0, p>0, we find a projective variety Y, such that L_pH_{2p+k}(Y) is infinitely generated. We also construct two singular rational projective 3-dimensional varieties Y and Y' with the same homeomorphism type but different Lawson homology groups, specifically L_1H_3(Y) is not isomorphic to L_1H_3(Y')even up to torsion.


title: K3 surfaces with a symplectic automorphism of order 11

abstract: We classify possible finite groups of symplectic automorphisms of K3 surfaces of order divisible by 11. The characteristic of the ground field must be equal to 11. The complete list of such groups consists of five groups: the cyclic group of order 11, $11\rtimes 5$, $L_2(11)$ and the Mathieu groups $M_{11}$, $M_{22}$. We also show that a surface $X$ admitting an automorphism $g$ of order 11 admits a $g$-invariant elliptic fibration with the Jacobian fibration isomorphic to one of explicitly given elliptic K3 surfaces.


title: Dorfmeister-Neher's theorem on isoparametric hypersurfaces

abstract: A new proof of the homogeneity of isoparametric hypersurfaces with six simple principal curvatures (Dorfmeister-Neher's theorem) is given in a method applicable to the multiplicity two case.


title: The PL-methods for hyperbolic 3-manifolds to prove tameness

abstract: Using PL-methods, we prove the Marden's conjecture that a hyperbolic 3-manifold $M$ with finitely generated fundamental group and with no parabolics are topologically tame. Our approach is to form an exhaustion $M_i$ of $M$ and modify the boundary to make them 2-convex. We use the induced path-metric, which makes the submanifold $M_i$ negatively curved and with Margulis constant independent of $i$. By taking the convex hull in the cover of $M_i$ corresponding to the core, we show that there exists an exiting sequence of surfaces $\Sigma_i$. Some of the ideas follow those of Agol. We drill out the covers of $M_i$ by a core $\core$ again to make it negatively curved. Then the boundary of the convex hull of $\Sigma_i$ is shown to meet the core. By the compactness argument of Souto, we show that infinitely many of $\Sigma_i$ are homotopic in $M - \core^o$. Our method should generalize to a more wider class of piecewise hyperbolic manifolds.


title: Atlas models of equity markets

abstract: Atlas-type models are constant-parameter models of uncorrelated stocks for equity markets with a stable capital distribution, in which the growth rates and variances depend on rank. The simplest such model assigns the same, constant variance to all stocks; zero rate of growth to all stocks but the smallest; and positive growth rate to the smallest, the Atlas stock. In this paper we study the basic properties of this class of models, as well as the behavior of various portfolios in their midst. Of particular interest are portfolios that do not contain the Atlas stock.


title: Characterizations of scoring methods for preference aggregation

abstract: The paper surveys more than forty characterizations of scoring methods for preference aggregation and contains one new result. A general scoring operator is {\it self-consistent} if alternative $i$ is assigned a greater score than $j$ whenever $i$ gets no worse (better) results of comparisons and its `opponents' are assigned respectively greater (no smaller) scores than those of $j$. We prove that self-consistency is satisfied if and only if the application of a scoring operator reduces to the solution of a homogeneous system of algebraic equations with a monotone function on the left-hand side.


title: Exact simulation of diffusions

abstract: We describe a new, surprisingly simple algorithm, that simulates exact sample paths of a class of stochastic differential equations. It involves rejection sampling and, when applicable, returns the location of the path at a random collection of time instances. The path can then be completed without further reference to the dynamics of the target process.


title: On unboundedness of maximal operators for directional Hilbert transforms

abstract: We show that for any infinite set of unit vectors $U$ in $\ZR^2$ the maximal operator defined by $$ H_Uf(x)=\sup_{u\in U}\bigg|\pv\int_{-\infty}^\infty \frac{f(x-tu)}{t}dt\bigg|,\quad x\in \ZR^2, $$ is not bounded in $L^2(\ZR^2)$.


title: Genealogical particle analysis of rare events

abstract: In this paper an original interacting particle system approach is developed for studying Markov chains in rare event regimes. The proposed particle system is theoretically studied through a genealogical tree interpretation of Feynman--Kac path measures. The algorithmic implementation of the particle system is presented. An estimator for the probability of occurrence of a rare event is proposed and its variance is computed, which allows to compare and to optimize different versions of the algorithm. Applications and numerical implementations are discussed. First, we apply the particle system technique to a toy model (a Gaussian random walk), which permits to illustrate the theoretical predictions. Second, we address a physically relevant problem consisting in the estimation of the outage probability due to polarization-mode dispersion in optical fibers.


title: Scheduling control for queueing systems with many servers: asymptotic optimality in heavy traffic

abstract: A multiclass queueing system is considered, with heterogeneous service stations, each consisting of many servers with identical capabilities. An optimal control problem is formulated, where the control corresponds to scheduling and routing, and the cost is a cumulative discounted functional of the system's state. We examine two versions of the problem: ``nonpreemptive,'' where service is uninterruptible, and ``preemptive,'' where service to a customer can be interrupted and then resumed, possibly at a different station. We study the problem in the asymptotic heavy traffic regime proposed by Halfin and Whitt, in which the arrival rates and the number of servers at each station grow without bound. The two versions of the problem are not, in general, asymptotically equivalent in this regime, with the preemptive version showing an asymptotic behavior that is, in a sense, much simpler. Under appropriate assumptions on the structure of the system we show: (i) The value function for the preemptive problem converges to $V$, the value of a related diffusion control problem. (ii) The two versions of the problem are asymptotically equivalent, and in particular nonpreemptive policies can be constructed that asymptotically achieve the value $V$. The construction of these policies is based on a Hamilton--Jacobi--Bellman equation associated with $V$.


title: Bernstein-Sato polynomials of hyperplane arrangements

abstract: We show that the Bernstein-Sato polynomial (that is, the b-function) of a hyperplane arrangement with a reduced equation is calculable by combining a generalization of Malgrange's formula with the theory of Aomoto complexes due to Esnault, Schechtman, Terao, Varchenko, and Viehweg in certain cases. We prove in general that the roots are greater than -2 and the multiplicity of the root -1 is equal to the (effective) dimension of the ambient space. We also give an estimate of the multiplicities of the roots in terms of the multiplicities of the arrangement at the dense edges, and provide a method to calculate the Bernstein-Sato polynomial at least in the case of 3 variables with degree at most 7 and generic multiplicities at most 3. Using our argument, we can terminate the proof of a conjecture of Denef and Loeser on the relation between the topological zeta function and the Bernstein-Sato polynomial of a reduced hyperplane arrangement in the 3 variable case.


title: Second Order Normalization in the Generalized Photogravitational Restricted Three Body Problem with Poynting-Robertson Drag

abstract: In this paper we have performed second order normalization in the generalised photogravitaional restricted three body problem with Poynting-Robertson drag. We have performed Birkhoff's normalization of the Hamiltonian. For this we have utilised Henrard's method and expanded the coordinates of the third body in Double d'Alembert series. We have found the values of first and second order components. The second order components are obtained as solutions of the two partial differential equations. We have employed the first condition of KAM theorem in solving these equations. The first and second order components are affected by radiation pressure, oblateness and P-R drag. Finaly we obtained the third order part $H_3$ of the Hamiltonian in $I_1^{1/2}I_2^{1/2}$ zero.


title: Statistical Romberg extrapolation: A new variance reduction method and applications to option pricing

abstract: We study the approximation of $\mathbb{E}f(X_T)$ by a Monte Carlo algorithm, where $X$ is the solution of a stochastic differential equation and $f$ is a given function. We introduce a new variance reduction method, which can be viewed as a statistical analogue of Romberg extrapolation method. Namely, we use two Euler schemes with steps $\delta$ and $\delta^{\beta},0<\beta<1$. This leads to an algorithm which, for a given level of the statistical error, has a complexity significantly lower than the complexity of the standard Monte Carlo method. We analyze the asymptotic error of this algorithm in the context of general (possibly degenerate) diffusions. In order to find the optimal $\beta$ (which turns out to be $\beta=1/2$), we establish a central limit type theorem, based on a result of Jacod and Protter for the asymptotic distribution of the error in the Euler scheme. We test our method on various examples. In particular, we adapt it to Asian options. In this setting, we have a CLT and, as a by-product, an explicit expansion of the discretization error.


title: The continuous limit of the Moran process and the diffusion of mutant genes in infinite populations

abstract: We consider the so called Moran process with frequency dependent fitness given by a certain pay-off matrix. For finite populations, we show that the final state must be homogeneous, and show how to compute the fixation probabilities. Next, we consider the infinite population limit, and discuss the appropriate scalings for the drift-diffusion limit. In this case, a degenerated parabolic PDE is formally obtained that, in the special case of frequency independent fitness, recovers the celebrated Kimura equation in population genetics. We then show that the corresponding initial value problem is well posed and that the discrete model converges to the PDE model as the population size goes to infinity. We also study some game-theoretic aspects of the dynamics and characterize the best strategies, in an appropriate sense.


title: Higher minors and Van Kampen's obstruction

abstract: We generalize the notion of graph minors to all (finite) simplicial complexes. For every two simplicial complexes H and K and every nonnegative integer m, we prove that if H is a minor of K then the non vanishing of Van Kampen's obstruction in dimension m (a characteristic class indicating non embeddability in the (m-1)-sphere) for H implies its non vanishing for K. As a corollary, based on results by Van Kampen and Flores, if K has the d-skeleton of the (2d+2)-simplex as a minor, then K is not embeddable in the 2d-sphere. We answer affirmatively a problem asked by Dey et. al. concerning topology-preserving edge contractions, and conclude from it the validity of the generalized lower bound inequalities for a special class of triangulated spheres.


title: A theory of stochastic integration for bond markets

abstract: We introduce a theory of stochastic integration with respect to a family of semimartingales depending on a continuous parameter, as a mathematical background to the theory of bond markets. We apply our results to the problem of super-replication and utility maximization from terminal wealth in a bond market. Finally, we compare our approach to those already existing in literature.


title: Harmonic almost contact structures

abstract: An almost contact metric structure is parametrized by a section of an associated homogeneous fibre bundle, and conditions for this to be a harmonic section, and a harmonic map, are studied. These involve the characteristic vector field, and the almost complex structure in the contact subbundle. Several examples are given where the harmonic section equations reduce to those for the characteristic field to be a harmonic section of the unit tangent bundle. These include trans-Sasakian structures, and certain nearly cosymplectic structures. On the other hand, we obtain examples where the characteristic field is harmonic but the almost contact structure is not. Many of our examples are obtained by considering hypersurfaces of almost Hermitian manifolds, with the induced almost contact structure, and comparing the harmonic section equations for both structures.


title: Euler characteristic of primitive T-hypersurfaces and maximal surfaces

abstract: Viro method plays an important role in the study of topology of real algebraic hypersurfaces. The T-primitive hypersurfaces we study here appear as the result of Viro's combinatorial patchworking when one starts with a primitive triangulation. We show that the Euler characteristic of the real part of such a hypersurface of even dimension is equal to the signature of its complex part. We use this result to prove the existence of maximal surfaces in some three-dimensional toric varieties, namely those corresponding Nakajima polytopes. In fact, these results belong to the field of tropical geometry and we explain how they can be understood tropically.


title: Linearizable 3-webs and the Gronwall conjecture

abstract: In the article "On the linearizability of 3-webs" (Nonlinear analysis 47, (2001) pp.2643-2654), published in 2001, we studied the linearizability problem for 3-webs on a 2-dimensional manifold. Four years after the publication of our article, V.V.Goldberg and V.V.Lychagin in the paper "On linearization of planar three-webs and Blaschke's conjecture" (C.R.Acad. Sci. Paris, Ser. I. vol. 341. num 3 (2005)) obtained similar results by a different method and criticized our article by qualifying the proofs incomplete. However, they obtained false result on the linearizability of a certain web. We present here the complete version of our work with computations and explicit formulas, because we deem that their opinion concerning our work is unjustified.


title: On the problem of linearizability of a 3-web

abstract: In this paper we study the linearizability problem for 3-webs on a 2-dimensional manifold. With an explicit computation based on the theory developed in the paper "On the linearizability of 3-webs" (Nonlinear analysis 47, (2001) pp. 2643-2654), we examine a 3-web whose linearizability was claimed in the same paper. We show that, contrary to the statement of the papers "On the Blaschke conjecture for 3-webs" (arXiv: math.DG/0411460) and "On linearization of planar three-webs and Blaschke's conjecture", (C.R.Acad. Sci. Paris, Ser. I. vol. 341. num 3 (2005)), this particular web is linearizable. We compute explicitly the affine deformation tensor and the corresponding flat linear connection adapted to the web which linearizes it.


title: On some local cohomology invariants of local rings

abstract: Let A be a commutative Noetherian local ring containing a field of characteristic p>0. The integer invariants $\lambda_{i,j}(A)$ have been introduced in an old paper of ours. In this paper we completely describe $\lambda_{d,d}(A)$, where d=dimA, in terms of the topology of SpecA.


title: Hyperbolic polynomials and multiparameter real analytic perturbation theory

abstract: Let $P(x,z)= z^d +\sum_{i=1}^{d}a_i(x)z^{d-i}$ be a polynomial, where $a_i$ are real analytic functions in an open subset $U$ of $\R^n$. If for any $x \in U$ the polynomial $z\mapsto P(x,z)$ has only real roots, then we can write those roots as locally lipschitz functions of $x$. Moreover, there exists a modification (a locally finite composition of blowing-ups with smooth centers) $\sigma : W \to U$ such that the roots of the corresponding polynomial $\tilde P(w,z) =P(\sigma (w),z), w\in W $, can be written locally as analytic functions of $w$. Let $A(x), x\in U$ be an analytic family of symmetric matrices, where $U$ is open in $\R^n$. Then there exists a modification $\sigma : W \to U$, such the corresponding family $\tilde A(w) =A(\sigma(w))$ can be locally diagonalized analytically (i.e. we can choose locally eigenvectors in an analytic way). This generalizes the Rellich's well known theorem (1937) for one-parameter families. Similarly for an analytic family $A(x), x\in U$ of antisymmetric matrices there exits a modification $\sigma$ such that we can find locally a basis of proper subspaces in an analytic way.


title: String homology of spheres and projective spaces

abstract: We study a spectral sequence that computes the (mod 2) S^1-equivariant homology of the free loop space LM of a manifold M (the "string homology" of M). Using it and knowledge of the string topology operations on the homology of LM, we compute the string homology of M when M is a sphere or a projective space.


title: Generalized cosine transforms and classes of star bodies

abstract: The spherical Radon transform on the unit sphere can be regarded as a member of the analytic family of suitably normalized generalized cosine transforms. We derive new formulas for these transforms and apply them to study classes of intersections bodies in convex geometry.


title: First-order definitions in function fields over anti-Mordellic fields

abstract: A field k is called anti-Mordellic if every smooth curve over k with a k-point has infinitely many k-points. We prove that for a function field over an anti-Mordellic field, the subfield of constants is defined by a certain universal first order formula. Under additional hypotheses regarding 2-cohomological dimension we prove that algebraic dependence of an n-tuple of elements in such a function field can be described by a first order formula, for each n. We also give a result that lets one distinguish various classes of fields using first order sentences.


title: On subschemes of formal schemes

abstract: We think about what the subscheme of the formal scheme is. Differently form the ordinary scheme, the formal scheme has different notions of ``subscheme''. We lay a foundation for these notions and compare them. We also relate them to singularities of foliations.


title: On random almost periodic trigonometric polynomials and applications to ergodic theory

abstract: We study random exponential sums of the form $\sum_{k=1}^nX_k\times\ex p\{i(\lambda_k^{(1)}t_1+...+\lambda_k^{(s)}t_s)\}$, where $\{X_n\}$ is a sequence of random variables and $\{\lambda_n^{(i)}:1\leq i\leq s\}$ are sequences of real numbers. We obtain uniform estimates (on compact sets) of such sums, for independent centered $\{X_n\}$ or bounded $\{X_n\}$ satisfying some mixing conditions. These results generalize recent results of Weber [Math. Inequal. Appl. 3 (2000) 443--457] and Fan and Schneider [Ann. Inst. H. Poincar\'{e} Probab. Statist. 39 (2003) 193--216] in several directions. As applications we derive conditions for uniform convergence of these sums on compact sets. We also obtain random ergodic theorems for finitely many commuting measure-preserving point transformations of a probability space. Finally, we show how some of our results allow to derive the Wiener--Wintner property (introduced by Assani [Ergodic Theory Dynam. Systems 23 (2003) 1637--1654]) for certain functions on certain dynamical systems.


title: Extending the Extensional Lambda Calculus with Surjective Pairing is Conservative

abstract: We answer Klop and de Vrijer's question whether adding surjective-pairing axioms to the extensional lambda calculus yields a conservative extension. The answer is positive. As a byproduct we obtain a "syntactic" proof that the extensional lambda calculus with surjective pairing is consistent.


title: A Gaussian kinematic formula

abstract: In this paper we consider probabilistic analogues of some classical integral geometric formulae: Weyl--Steiner tube formulae and the Chern--Federer kinematic fundamental formula. The probabilistic building blocks are smooth, real-valued random fields built up from i.i.d. copies of centered, unit-variance smooth Gaussian fields on a manifold $M$. Specifically, we consider random fields of the form $f_p=F(y_1(p),...,y_k(p))$ for $F\in C^2(\mathbb{R}^k;\mathbb{R})$ and $(y_1,...,y_k)$ a vector of $C^2$ i.i.d. centered, unit-variance Gaussian fields. The analogue of the Weyl--Steiner formula for such Gaussian-related fields involves a power series expansion for the Gaussian, rather than Lebesgue, volume of tubes: that is, power series expansions related to the marginal distribution of the field $f$. The formal expansions of the Gaussian volume of a tube are of independent geometric interest. As in the classical Weyl--Steiner formulae, the coefficients in these expansions show up in a kinematic formula for the expected Euler characteristic, $\chi$, of the excursion sets $M\cap f^{-1}[u,+\infty)=M\cap y^{-1}(F^{-1}[u,+\infty))$ of the field $f$. The motivation for studying the expected Euler characteristic comes from the well-known approximation $\mathbb{P}[\sup_{p\in M}f(p)\geq u]\simeq\mathbb{E}[\chi(f^{-1}[u,+\infty))]$.


title: Galois module structure of Milnor K-theory mod p^s in characteristic p

abstract: Let E be a cyclic extension of pth-power degree of a field F of characteristic p. For all m, s in N, we determine K_mE/p^sK_mE as a (Z/p^sZ)[Gal(E/F)]-module. We also provide examples of extensions for which all of the possible nonzero summands in the decomposition are indeed nonzero.


title: Notes on the two-dimensional fractional Brownian motion

abstract: We study the two-dimensional fractional Brownian motion with Hurst parameter $H>{1/2}$. In particular, we show, using stochastic calculus, that this process admits a skew-product decomposition and deduce from this representation some asymptotic properties of the motion.


title: Logarithmic Sobolev Inequalities for Inhomogeneous Markov Semigroups

abstract: We investigate the dissipativity properties of a class of scalar second order parabolic partial differential equations with time-dependent coefficients. We provide explicit condition on the drift term which ensure that the relative entropy of one particular orbit with respect to some other one decreases to zero. The decay rate is obtained explicitly by the use of a Sobolev logarithmic inequality for the associated semigroup, which is derived by an adaptation of Bakry's $\Gamma-$ calculus. As a byproduct, the systematic method for constructing entropies which we propose here also yields the well-known intermediate asymptotics for the heat equation in a very quick way, and without having to rescale the original equation.


title: On a class of Danielewski surfaces in affine 3-space

abstract: L. Makar-Limanov computed the automorphisms groups of surfaces in $\mathbb{C}^{3}$ defined by the equations $x^{n}z-P(y)=0$, where $n\geq1$ and $P(y)$ is a nonzero polynomial. Similar results have been obtained by A. Crachiola for surfaces defined by the equations $x^{n}z-y^{2}-h(x)y=0$, where $n\geq2$ and $h(0)\neq0$, defined over an arbitrary base field. Here we consider the more general surfaces defined by the equations $x^{n}z-Q(x,y)=0$, where $n\geq2$ and $Q(x,y)$ is a polynomial with coefficients in an arbitrary base field $k$. Among these surfaces, we characterize the ones which are Danielewski surfaces and we compute their automorphism groups. We study closed embeddings of these surfaces in affine 3-space. We show that in general their automorphisms do not extend to the ambient space. Finally, we give explicit examples of $\mathbb{C}^{*}$-actions on a surface in $\mathbb{C}^{3}$ which can be extended holomorphically but not algebraically to a $\mathbb{C}^{*}$-action on $\mathbb{C}^{3}$.


title: $F$-stable submodules of top local cohomology modules of Gorenstein rings

abstract: This paper applies G. Lyubeznik's notion of $F$-finite modules to describe in a very down-to-earth manner certain annihilator submodules of some top local cohomology modules over Gorenstein rings. As a consequence we obtain an explicit description of the test ideal of Gorenstein rings in terms of ideals in a regular ring.


title: The category of local algebras and points proches

abstract: Categorial methods for generating new local algebras from old ones are presented. A direct proof of the differential structure of the prolongations of a manifold is proposed.


title: From Incomplete Preferences to Ranking via Optimization

abstract: We consider methods for aggregating preferences that are based on the resolution of discrete optimization problems. The preferences are represented by arbitrary binary relations (possibly weighted) or incomplete paired comparison matrices. This incomplete case remains practically unexplored so far. We examine the properties of several known methods and propose one new method. In particular, we test whether these methods obey a new axiom referred to as {\it Self-Consistent Monotonicity}. Some results are established that characterize solutions of the related optimization problems.


title: Combinatorial aspects of nodal curves

abstract: To any nodal curve $C$ is associated the degree class group, a combinatorial invariant which plays an important role in the compactification of the generalised Jacobian of $C$ and in the construction of the N\'eron model of the Picard variety of families of curves having $C$ as special fibre. In this paper we study this invariant. More precisely, we construct a wide family of graphs having cyclic degree class group and we provide a recursive formula for the cardinality of the degree class group of the members of this family. Moreover, we analyse the behaviour of the degree class group under standard geometrical operations on the curve, such as the blow up and the normalisation of a node.


title: Bost-Connes type systems for function fields

abstract: We describe a construction which associates to any function field $k$ and any place $\infty$ of $k$ a $C^*$-dynamical system $(C_{k,\infty},\sigma_t)$ that is analogous to the Bost-Connes system associated to $\QQ$ and its archimedian place. Our construction relies on Hayes' explicit class field theory in terms of sign-normalized rank one Drinfel'd modules. We show that $C_{k,\infty}$ has a faithful continuous action of $\Gal(K/k)$, where $K$ is a certain field constructed by Hayes, such that $k^\abi\subset K\subset k^\ab$, where $k^\abi$ is the maximal abelian extension of $k$ that is totally split at $\infty$. We classify the extremal KMS$_\beta$ states of $(C_{k,\infty},\sigma_t)$ at any temperature $0<1/\beta<\infty$ and show that a phase transition with spontaneous symmetry breaking occurs at temperature $1/\beta=1$. At high temperature $1/\beta\geqslant 1$, there is a unique KMS$_\beta$ state. At low temperature $1/\beta<1$, the space of extremal KMS$_\beta$ states is principal homogeneous under $\Gal(K/k)$. Each such state is of type $\I_\infty$ and the partition function is the Dedekind zeta function $\zeta_{k,\infty}$. Moreover, we construct a "rational" *-subalgebra $\HH$, we give a presentation of $\HH$ and of $C_{k,\infty}$, and we show that the values of the low-temperature extremal KMS$_\beta$ states at certain elements of $\HH$ are related to special values of partial zeta functions.\n Erratum: This article wrongly claims that at high temperature $1/\beta\geqslant 1$, the unique KMS$_\beta$ state is of type $\III_{q^{-\beta}}$, where $q$ is the cardinal of the constant subfield of $k$. It has been shown by Neshveyev and Rustad \cite{NesRus12} that the correct type is $\III_{q^{-\beta d_\infty}}$ where $d_\infty$ is the degree of the place $\infty$. The original statements have been kept for reference, but errata have been inserted next to them.


title: Geodesic currents and length compactness for automorphisms of free groups

abstract: We prove a compactness theorem for automorphisms of free groups. Namely, we show that the set of automorphisms keeping bounded the length of the uniform current is compact (up to conjugation.) This implies that the spectrum of the length of the images of the uniform current is discrete, answering to a conjecture of I. Kapovich.


title: Exact inequalities for sums of asymmetric random variables, with applications

abstract: Let $\BS_1,...,\BS_n$ be independent identically distributed random variables each having the standardized Bernoulli distribution with parameter $p\in(0,1)$. Let $m_*(p):=(1+p+2p^2)/(2\sqrt{p-p^2}+4p^2)$ if $0<p\le 1/2$ and $m_*(p):=1$ if $1/2\le p<1$. Let $m\ge m_*(p)$. Let $f$ be such a function that $f$ and $f''$ are nondecreasing and convex. Then it is proved that for all nonnegative numbers $c_1,...,c_n$ one has the inequality $$\E f(c_1\BS_1+...+c_n\BS_n)\le\E f(s^{(m)}\cdot(\BS_1+...+\BS_n)),$$ where $s^{(m)}:=(\frac1n \sum_{i=1}^n c_i^{2m})^\frac1{2m}$. The lower bound $m_*(p)$ on $m$ is exact for each $p\in(0,1)$. Moreover, $\E f(c_1\BS_1+...+c_n\BS_n)$ is Schur-concave in $(c_1^{2m},...,c_n^{2m})$. A number of related results are presented, including ones for the ``symmetric'' case. A number of corollaries are obtained, including upper bounds on generalized moments and tail probabilities of (super)martingales with differences of bounded asymmetry, and also upper bounds on the maximal function of such (super)martingales. It is shown that these results may be important in certain statistical applications.


title: Large deviation approach to non equilibrium processes in stochastic lattice gases

abstract: We present a review of recent work on the statistical mechanics of non equilibrium processes based on the analysis of large deviations properties of microscopic systems. Stochastic lattice gases are non trivial models of such phenomena and can be studied rigorously providing a source of challenging mathematical problems. In this way, some principles of wide validity have been obtained leading to interesting physical consequences.

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


title: Asymptotics for solutions of elliptic equations in double divergence form

abstract: We consider weak solutions of the adjoint equation for an elliptic operator in nondivergent form, and their asymptotic properties at an interior point. We assume that the coefficients a_{ij} are bounded, measurable, complex-valued functions that approach \delta_{ij}, but possibly at a slow rate. Our main result is an explicit formula for the leading asymptotic term for solutions with a most a mild singularity at x=0. As a consequence, we obtain upper and lower estimates for the L^p-norm of solutions, as well as necessary and sufficient conditions for solutions to be bounded or tend to zero in L^p-mean as r tends to zero.


title: Sparse reconstruction by convex relaxation: Fourier and Gaussian measurements

abstract: We want to exactly reconstruct a sparse signal f (a vector in R^n of small support) from few linear measurements of f (inner products with some fixed vectors). A nice and intuitive reconstruction by Linear Programming has been advocated since 80-ies by Dave Donoho and his collaborators. Namely, one can relax the reconstruction problem, which is highly nonconvex, to a convex problem -- and, moreover, to a linear program. However, when is exactly the reconstruction problem equivalent to its convex relaxation is an open question. Recent work of many authors shows that the number of measurements k(r,n) needed to exactly reconstruct any r-sparse signal f of length n (a vector in R^n of support r) from its linear measurements with the convex relaxation method is usually O(r polylog(n)). However, known estimates of the number of measurements k(r,n) involve huge constants, in spite of very good performance of the algorithms in practice. In this paper, we consider random Gaussian measurements and random Fourier measurements (a frequency sample of f). For Gaussian measurements, we prove the first guarantees with reasonable constants: k(r,n) < 12 r (2 + log(n/r)), which is optimal up to constants. For Fourier measurements, we prove the best known bound k(r,n) = O(r log(n) . log^2(r) log(r log n)), which is optimal within the log log n and log^3 r factors. Our arguments are based on the technique of Geometric Functional Analysis and Probability in Banach spaces.


title: Global Well-Posedness for a periodic nonlinear Schr\"odinger equation in 1D and 2D

abstract: The initial value problem for the $L^{2}$ critical semilinear Schr\"odinger equation with periodic boundary data is considered. We show that the problem is globally well posed in $H^{s}({\Bbb T^{d}})$, for $s>4/9$ and $s>2/3$ in 1D and 2D respectively, confirming in 2D a statement of Bourgain in \cite{bo2}. We use the ``$I$-method''. This method allows one to introduce a modification of the energy functional that is well defined for initial data below the $H^{1}({\Bbb T^{d}})$ threshold. The main ingredient in the proof is a "refinement" of the Strichartz's estimates that hold true for solutions defined on the rescaled space, $\Bbb T^{d}_{\lambda} = \Bbb R^{d}/{\lambda \Bbb Z^{d}}$, $d=1,2$.


title: Cobounding odd cycle colorings

abstract: We give a very short self-contained combinatorial proof of the Babson-Kozlov conjecture, by presenting a cochain whose coboundary is the desired power of the characteristic class.


title: Is there a topological Bogomolov--Miyaoka--Yau inequality?

abstract: The aim of this paper is to consider a possible extension of the Bogomolov--Miyaoka--Yau inequality to differentiable orbifolds. The conjectured extension is related to the Montgomery--Yang problem about circle actions on the 5--sphere and also to the H--cobordism of Seifert fibered 3--manifolds. Related conjectures on algebraic surfaces with quotient singularities which have the same rational homology as the projective plane are also considered. Finally we give such examples which are birational to the projective plane yet have ample canonical class.


title: On tension-continuous mapings

abstract: Tension-continuous (shortly TT) mappings are mappings between the edge sets of graphs. They generalize graph homomorphisms. From another perspective, tension-continuous mappings are dual to the notion of flow-continuous mappings and the context of nowhere-zero flows motivates several questions considered in this paper. Extending our earlier research we define new constructions and operations for graphs (such as graphs Delta(G)) and give evidence for the complex relationship of homomorphisms and TT mappings. Particularly, solving an open problem, we display pairs of TT-comparable and homomorphism-incomparable graphs with arbitrarily high connectivity. We give a new (and more direct) proof of density of TT order and study graphs such that TT mappings and homomorphisms from them coincide; we call such graphs homotens. We show that most graphs are homotens, on the other hand every vertex of a nontrivial homotens graph is contained in a triangle. This provides a justification for our construction of homotens graphs.


title: Truncated resolution model structures

abstract: Using the dual of Bousfield-Friedlander localization we colocalize resolution model structures on cosimplicial objects over a left proper model category to get truncated resolution model structures. These are useful to study realization and moduli problems in algebraic topology.


title: Associative Cones and Integrable Systems

abstract: We identify R^7 as the pure imaginary part of octonions. Then the multiplication in octonions gives a natural almost complex structure for the unit 6-sphere. It is known that a cone over a surface M in S^6 is an associative submanifold of R^7 if and only if M is almost complex in S^6. In this paper, we show that the Gauss-Codazzi equation for almost complex curves in S^6 is the equation for primitive maps associated to the 6-symmetric space G_2/T^2, and use this to explain some of the known results. Moreover, the equation for S^1-symmetric almost complex curves in S^6 is the periodic Toda lattice associated to G_2, and a discussion of periodic solutions is given.


title: On the highest Lyubeznik number of a local ring

abstract: Let $A$ be a $d$-dimensional local ring containing a field. We will prove that the highest Lyubeznik number $\lambda_{d,d}(A)$ (defined in \cite{l1}) is equal to the number of connected components of the Hochster-Huneke graph (defined in \cite{hh}) associated to $B$, where $B=\hat{\hat{A}^{sh}}$ is the completion of the strict Henselization of the completion of $A$. This was proven by Lyubeznik in characteristic $p>0$. Our statement and proof are characteristic-free.


title: On the geography of Gorenstein minimal 3-folds of general type

abstract: Let $X$ be a minimal projective Gorenstein 3-fold of general type. We give two applications of an inequality between $\chi (\omega_X)$ and $p_g(X)$: 1) Assume that the canonical map $\Phi_{|K_X|}$ is of fiber type. Let $F$ be a smooth model of a generic irreducible component in the general fiber of $\Phi_{|K_X|}$. Then the birational invariants of $F$ are bounded from above. 2) If $X$ is nonsingular, then $c_1^3\leq {1/27} c_1c_2+{10/3}$ where $c_1$, $c_2$ are Chern invariants of $X$.


title: Long zero-free sequences in finite cyclic groups

abstract: A sequence in an additively written abelian group is called zero-free if each of its nonempty subsequences has sum different from the zero element of the group. The article determines the structure of the zero-free sequences with lengths greater than $n/2$ in the additive group $\Zn/$ of integers modulo $n$. The main result states that for each zero-free sequence $(a_i)_{i=1}^\ell$ of length $\ell>n/2$ in $\Zn/$ there is an integer $g$ coprime to $n$ such that if $\bar{ga_i}$ denotes the least positive integer in the congruence class $ga_i$ (modulo $n$), then $\Sigma_{i=1}^\ell\bar{ga_i}<n$. The answers to a number of frequently asked zero-sum questions for cyclic groups follow as immediate consequences. Among other applications, best possible lower bounds are established for the maximum multiplicity of a term in a zero-free sequence with length greater than $n/2$, as well as for the maximum multiplicity of a generator. The approach is combinatorial and does not appeal to previously known nontrivial facts.


title: Application of Tauberian Theorem to the Exponential Decay of the Tail Probability of a Random Variable

abstract: We give a sufficient condition for the exponential decay of the tail probability of a non-negative random variable. We consider the Laplace-Stieltjes transform of the probability distribution function of the random variable. We present a theorem, according to which if the abscissa of convergence of the LS transform is negative finite and the real point on the axis of convergence is a pole of the LS transform, then the tail probability decays exponentially. For the proof of the theorem, we extend and apply so-called a finite form of Ikehara's complex Tauberian theorem by Graham-Vaaler.


title: Loop Group Methods for Constant Mean Curvature Surfaces

abstract: This is an elementary introduction to a method for studying harmonic maps into symmetric spaces, and in particular for studying constant mean curvature (CMC) surfaces, that was developed by J. Dorfmeister, F. Pedit and H. Wu. There already exist a number of other introductions to this method, but all of them require a higher degree of mathematical sophistication from the reader than is needed here. The authors' goal was to create an exposition that would be readily accessible to a beginning graduate student, and even to a highly motivated undergraduate student. Constant mean curvature surfaces in Euclidean 3-space, and also spherical 3-space and hyperbolic 3-space, are described, along with the Lax pair equations that determine their frames. The simplest examples, including Delaunay surfaces and Smyth surfaces, are described in detail.


title: Scattering and small data completeness for the critical nonlinear Schroediger equation

abstract: We prove Asymptotic Completeness of one dimensional NLS with long range nonlinearities. We also prove existence and expansion of asymptotic solutions with large data at infinity.


title: Generalized tilting modules with finite injective dimension

abstract: Let $R$ be a left noetherian ring, $S$ a right noetherian ring and $_RU$ a generalized tilting module with $S={\rm End}(_RU)$. The injective dimensions of $_RU$ and $U_S$ are identical provided both of them are finite. Under the assumption that the injective dimensions of $_RU$ and $U_S$ are finite, we describe when the subcategory $\{{\rm Ext}_S^n(N, U)|N$ is a finitely generated right $S$-module$\}$ is closed under submodules. As a consequence, we obtain a negative answer to a question posed by Auslander in 1969. Finally, some partial answers to Wakamatsu Tilting Conjecture are given.


title: The Forest Metrics for Graph Vertices

abstract: We propose a new graph metric and study its properties. In contrast to the standard distance in connected graphs, it takes into account all paths between vertices. Formally, it is defined as d(i,j)=q_{ii}+q_{jj}-q_{ij}-q_{ji}, where q_{ij} is the (i,j)-entry of the {\em relative forest accessibility matrix} Q(\epsilon)=(I+\epsilon L)^{-1}, L is the Laplacian matrix of the (weighted) (multi)graph, and \epsilon is a positive parameter. By the matrix-forest theorem, the (i,j)-entry of the relative forest accessibility matrix of a graph provides the specific number of spanning rooted forests such that i and j belong to the same tree rooted at i. Extremely simple formulas express the modification of the proposed distance under the basic graph transformations. We give a topological interpretation of d(i,j) in terms of the probability of unsuccessful linking i and j in a model of random links. The properties of this metric are compared with those of some other graph metrics. An application of this metric is related to clustering procedures such as "centered partition." In another procedure, the relative forest accessibility and the corresponding distance serve to choose the centers of the clusters and to assign a cluster to each non-central vertex. The notion of cumulative weight of connections between two vertices is proposed. The reasoning involves a reciprocity principle for weighted multigraphs. Connections between the resistance distance and the forest distance are established.


title: Characterization and topological rigidity of Nobeling manifolds

abstract: We develop a theory of Nobeling manifolds similar to the theory of Hilbert space manifolds. We show that it reflects the theory of Menger manifolds developed by M. Bestvina and is its counterpart in the realm of complete spaces. In particular, the Nobeling manifold characterization conjecture is proven.


title: Matrix-Forest Theorems

abstract: The Laplacian matrix of a graph $G$ is $L(G)=D(G)-A(G)$, where $A(G)$ is the adjacency matrix and $D(G)$ is the diagonal matrix of vertex degrees. According to the Matrix-Tree Theorem, the number of spanning trees in $G$ is equal to any cofactor of an entry of $L(G)$. A rooted forest is a union of disjoint rooted trees. We consider the matrix $W(G)=I+L(G)$ and prove that the $(i,j)$-cofactor of $W(G)$ is equal to the number of spanning rooted forests of $G$, in which the vertices $i$ and $j$ belong to the same tree rooted at $i$. The determinant of $W(G)$ equals the total number of spanning rooted forests, therefore the $(i,j)$-entry of the matrix $W^{-1}(G)$ can be considered as a measure of relative ''forest-accessibility'' of vertex $i$ from $j$ (or $j$ from $i$). These results follow from somewhat more general theorems we prove, which concern weighted multigraphs. The analogous theorems for (multi)digraphs are also established. These results provide a graph-theoretic interpretation for the adjugate to the Laplacian characteristic matrix.


title: Codimension one foliations calibrated by non-degenerate closed 2-forms

abstract: A class of codimension one foliations has been recently introduced by imposing a natural compatibility condition with a closed maximally non-degenerate 2-form. In this paper we study for such foliations the information captured by a Donaldson type submanifold. In particular we deduce that their leaf spaces are homeomorphic to leaf spaces of 3-dimensional taut foliations. We also introduce surgery constructions to show that this class of foliations is broad enough. Our techniques come mainly from symplectic geometry.


title: Triangular Equilibrium Points in the Generalized Photogravitational Restricted Three Body Problem with Poynting-Robertson drag

abstract: In this paper,we have found the equations of motion of Generalized Photogravitational restricted three body problem with Poynting-Robertson drag. The problem is generalized in the sense that smaller primary is supposed to be an oblate spheroid. The bigger primary is considered as radiating. The equations of motion are affected by radiation pressure force oblateness and P-R drag. We have located triangular equilibrium points in our problem. All classical results involving photogravitational and oblateness in restricted three body problem may be verified from this result.


title: A note on Logarithmic Transformations on the Hopf surface

abstract: In this note we study logarithmic transformations in the sense of differential topology on two fibers of the Hopf surface. It is known that such transformations are susceptible to yield exotic smooth structures on four-manifolds. We will show here that this is not the case for the Hopf surface, all integer homology Hopf surfaces we obtain are diffeomorphic to the standard Hopf surface.


title: A short proof of rigidity of convex polytopes

abstract: We present a much simplified proof of Dehn's theorem on the infinitesimal rigidity of convex polytopes. Our approach is based on the ideas of Trushkina and Schramm.


title: High-girth cubic graphs are homomorphic to the Clebsch graph

abstract: We give a (computer assisted) proof that the edges of every graph with maximum degree 3 and girth at least 17 may be 5-colored (possibly improperly) so that the complement of each color class is bipartite. Equivalently, every such graph admits a homomorphism to the Clebsch graph. Hopkins and Staton and Bondy and Locke proved that every (sub)cubic graph of girth at least 4 has an edge-cut containing at least 4/5 of the edges. The existence of such an edge-cut follows immediately from the existence of a 5-edge-coloring as described above, so our theorem may be viewed as a coloring extension of their result (under a stronger girth assumption). Every graph which has a homomorphism to a cycle of length five has an above-described 5-edge-coloring; hence our theorem may also be viewed as a weak version of Nesetril's Pentagon Problem (which asks whether every cubic graph of sufficiently high girth is homomorphic to C_5).


title: On non-compact Heegaard splittings

abstract: A Heegaard splitting of an open 3-manifold is the partition of the manifold into two non-compact handlebodies which intersect on their common boundary. This paper proves several non-compact analogues of theorems about compact Heegaard splittings. The main theorem is: if N is a compact, connected, orientable 3-manifold with non-empty boundary, containing no S^2 components, and if M is obtained from N by removing the boundary then any two Heegaard splittings of M are properly ambient isotopic. This is a non-compact analogue of the classifications of splittings of (closed surface) x I and (closed surface) x S^1 by Scharlemann-Thompson and Schultens. Work of Frohman-Meeks and a non-compact analogue of the Casson-Gordon theorem on weakly reducible Heegaard splittings are key tools.


title: Stable super summit sets in Garside groups

abstract: withdrawn and included in our new manuscript "Abelian subgroups of Garside groups", math.GT/0609683


title: A Max-AR(1) Model with Max-Semistable Marginals

abstract: The structure of stationary first order max-autoregressive schemes with max-semi-stable marginals is studied. A connection between semi-selfsimilar extremal processes and this max-autoregressive scheme is discussed resulting in their characterizations. Corresponding cases of max-stable and selfsimilar extremal processes are also discussed.


title: Inverse problems of spectral analysis for the Sturm-Liouville operator with regular boundary conditions

abstract: We consider the Sturm-Liouville operator Lu=u''-q(x)u with regular but not strongly regular boundary conditions. Under some supplementary assumptions we prove that the set of potentials q(x) that ensure an asymptotically multiple spectrum is everywhere dense in the space of summable functions.


title: On the nature of chaos

abstract: Based on newly discovered properties of the shift map (Theorem 1), we believe that chaos should involve not only nearby points can diverge apart but also faraway points can get close to each other. Therefore, we propose to call a continuous map $f$ from an infinite compact metric space $(X, d)$ to itself chaotic if there exists a positive number $\delta$ such that for any point $x$ and any nonempty open set $V$ (not necessarily an open neighborhood of $x$) in $X$ there is a point $y$ in $V$ such that $\limsup_{n \to \infty} d(f^n(x), f^n(y)) \ge \delta$ and $\liminf_{n \to \infty} d(f^n(x), f^n(y)) = 0$.


title: Level optimization in the totally real case

abstract: In this paper, congruences between holomorphic Hilbert modular forms are studied. We show the best possible level optimization result outside l for l > 2 by solving the remaining case of Mazur principle when the degree of the totally real field is even.


title: Martingale selection theorem for a stochastic sequence with relatively open convex values

abstract: For a set-valued stochastic sequence $(G_n)_{n=0}^N$ with relatively open convex values $G_n(\omega)$ we give a criterion for the existence of an adapted sequence $(x_n)_{n=0}^N$ of selectors, admitting an equivalent martingale measure. Mentioned criterion is expressed in terms of supports of the regular conditional upper distributions of the elements $G_n$. This result is a refinement of the main result of author's previous paper (Teor. Veroyatnost. i Primen., 2005, 50:3, 480--500), where the sets $G_n(\omega)$ were assumed to be open and where were asked if the openness condition can be relaxed.


title: Optimal Control of a Rigid Body using Geometrically Exact Computations on SE(3)

abstract: Optimal control problems are formulated and efficient computational procedures are proposed for combined orbital and rotational maneuvers of a rigid body in three dimensions. The rigid body is assumed to act under the influence of forces and moments that arise from a potential and from control forces and moments. The key features of this paper are its use of computational procedures that are guaranteed to preserve the geometry of the optimal solutions. The theoretical basis for the computational procedures is summarized, and examples of optimal spacecraft maneuvers are presented.


title: Deterministic Global Attitude Estimation

abstract: A deterministic attitude estimation problem for a rigid body in an attitude dependent potential field with bounded measurement errors is studied. An attitude estimation scheme that does not use generalized coordinate representations of the attitude is presented here. Assuming that the initial attitude, angular velocity and measurement noise lie within given ellipsoidal bounds, an uncertainty ellipsoid that bounds the attitude and the angular velocity of the rigid body is obtained. The center of the uncertainty ellipsoid provides point estimates, and its size gives the accuracy of the estimates. The point estimates and the uncertainty ellipsoids are propagated using a Lie group variational integrator and its linearization, respectively. The estimation scheme is optimal in the sense that the attitude estimation error and the size of the uncertainty ellipsoid is minimized at each measurement instant, and it is global since the attitude is represented by a rotation matrix.


title: Controlled Lagrangians and Potential Shaping for Stabilization of Discrete Mechanical Systems

abstract: The method of controlled Lagrangians for discrete mechanical systems is extended to include potential shaping in order to achieve complete state-space asymptotic stabilization. New terms in the controlled shape equation that are necessary for matching in the discrete context are introduced. The theory is illustrated with the problem of stabilization of the cart-pendulum system on an incline. We also discuss digital and model predictive control.


title: N-Algebraic Structures and S-N-Algebraic Structures

abstract: For the first time, we have introduced the concept of N-groups, N-semigroups, N-loops, and N-groupoids. We also define a mixed N-algebraic structure. The main aim of this book is to attract young mathematicians to this interesting field. It contains more than 200 new definitions. These concepts find applications in fields like finite automaton, coloring problems and coding theory.


title: On the density of properly maximal claims in financial markets with transaction costs

abstract: We consider trading in a financial market with proportional transaction costs. In the frictionless case, claims are maximal if and only if they are priced by a consistent price process--the equivalent of an equivalent martingale measure. This result fails in the presence of transaction costs. A properly maximal claim is one which does have this property. We show that the properly maximal claims are dense in the set of maximal claims (with the topology of convergence in probability).


title: Lattice polytopes with a given $h^*$-polynomial

abstract: Let $\Delta \subset \R^n$ be an $n$-dimensional lattice polytope. It is well-known that $h_{\Delta}^*(t) := (1-t)^{n+1} \sum_{k \geq 0} |k\Delta \cap \Z^n| t^k $ is a polynomial of degree $d \leq n$ with nonnegative integral coefficients. Let $AGL(n, \Z)$ be the group of invertible affine integral transformations which naturally acts on $\R^n$. For a given polynomial $h^* \in \Z[t]$, we denote by $C_{h^*}(n)$ the number $AGL(n, \Z)$-equivalence classes of $n$-dimensional lattice polytopes such that $h^* = h_{\Delta}^*(t)$. In this paper we show that $\{C_{h^*}(n) \}_{n \geq 1}$ is a monotone increasing sequence which eventually becomes constant. This statement follows from a more general combinatorial result whose proof uses methods of commutative algebra.


title: Martingale selection problem and asset pricing in finite discrete time

abstract: Given a set-valued stochastic process $(V_t)_{t=0}^T$, we say that the martingale selection problem is solvable if there exists an adapted sequence of selectors $\xi_t\in V_t$, admitting an equivalent martingale measure. The aim of this note is to underline the connection between this problem and the problems of asset pricing in general discrete-time market models with portfolio constraints and transaction costs. For the case of relatively open convex sets $V_t(\omega)$ we present effective necessary and sufficient conditions for the solvability of a suitably generalized martingale selection problem. We show that this result allows to obtain computationally feasible formulas for the price bounds of contingent claims. For the case of currency markets we also give a comment on the first fundamental theorem of asset pricing.


title: On the existence of infinitely many closed geodesics on orbifolds of revolution

abstract: Using the theory of geodesics on surfaces of revolution, we introduce the period function. We use this as our main tool in showing that any two-dimensional orbifold of revolution homeomorphic to S^2 must contain an infinite number of geometrically distinct closed geodesics. Since any such orbifold of revolution can be regarded as a topological two-sphere with metric singularities, we will have extended Bangert's theorem on the existence of infinitely many closed geodesics on any smooth Riemannian two-sphere. In addition, we give an example of a two-sphere cone-manifold of revolution which possesses a single closed geodesic, thus showing that Bangert's result does not hold in the wider class of closed surfaces with cone manifold structures.


title: On the moduli space of deformations of bihamiltonian hierarchies of hydrodynamic type

abstract: We investigate the deformation theory of the simplest bihamiltonian structure of hydrodynamic type, that of the dispersionless KdV hierarchy. We prove that all of its deformations are quasi-trivial in the sense of B. Dubrovin and Y. Zhang, that is, trivial after allowing transformations where the first partial derivative of the field is inverted. We reformulate the question about deformations as a question about the cohomology of a certain double complex, and calculate the appropriate cohomology group.


title: Minkowski type problems for convex hypersurfaces in hyperbolic space

abstract: We consider the problem $F=f(\nu)$ for strictly convex, closed hypersurfaces in hyperbolic space and solve it for curvature functions $F$ the inverses of which are of class $(K^*)$.


title: Stable rank of inclusion of C*-algebras of depth 2

abstract: Let $1 \in A \subset B$ be an inclusion of unital C*-algebras of index-finite type and depth 2. Suppose that $A$ is infinite dimensional simple with $tsr(A) = 1$ and SP-property. Then $tsr(B) \leq 2$. As a corollary when $A$ is a simple C*-algebra with $\tsr(A) = 1$ and SP-property and $\alpha$ an action of a finite group $G$ on $\Aut(A)$, $\tsr(A \rtimes_\alpha G) \leq 2$.


title: A Smoothed GPY Sieve

abstract: We show a smoothed version of Goldston-Pintz-Yildirim's sifting argument to detect small gaps between primes, which has a higly flexible error term. Our argument is applicable to high dimensional Selberg sieve situations as well, although the relevant details are not stated explicitly. In the present v.2, we have added Appendix in which we made a minor correction to our reasoning following formula (5.14). We are indebted to Professor Terrence Tao for pointing out the necessity of this amendment. The text of the original version has not been changed, except for a correction of the title in the item [2] of the references.


title: Quadratic Nonlinear Derivative Schr\"odinger Equations - Part 2

abstract: In this paper we consider the local well-posedness theory for the quadratic nonlinear Schr\"odinger equation with low regularity initial data in the case when the nonlinearity contains derivatives. We work in 2+1 dimensions and prove a local well-posedness result close to scaling for small initial data.


title: First Order Normalization in the Generalized Photogravitational Restricted Three Body Problem with Poynting-Robertson Drag

abstract: In this paper we have studied non-linear stability of triangular equilibrium points. We have performed first order normalization in the generalized photogravitational restricted three body problem with Poynting-Robertson drag. In this problem we have taken bigger primary as source of radiation and smaller primary is an oblate spheroid. At first we have expanded the Lagrangian function in power series of x and y, where (x, y) are the coordinates of the triangular equilibrium points. Then the relation between the roots of the characteristic equation for the linearised system is obtained. Key Words:First order normalization / Generalised Photogravitational/ RTBP.


title: A Combinatorial Classification of Postsingularly Finite Complex Exponential Maps

abstract: We give a combinatorial classification of postsingularly finite exponential maps in terms of external addresses starting with the entry 0. This is an extension of the classification results for critically preperiodic polynomials \cite{BFH} to exponential maps. Our proof relies on the topological characterization of postsingularly finite exponential maps given recently in \cite{HSS}. Our results illustrate once again the fruitful interplay between combinatorics, topology and complex structure which has often been successful in complex dynamics.


title: Stability of Triangular Equilibrium Points in Robe's Generalised Restricted Three Body Problem

abstract: We have examined the stability of triangular equilibrium points in Robes's generalised restricted three body problem. The problem is generalised in the sense that more massive primary has been taken as an oblate spheroid. We have found the position of triangular equilibrium points. We have obtained variational equations of the problem. With the help of characteristic roots, we conclude that the triangular points are unstable. Robe's result may be verified from the generalised result.


title: A Testing Algorithm of an Universal Algebra to be a Brandt Groupoid

abstract: The main aim of this paper is to present a program on computer for decide if an universal algebra is a groupoid. Using the theory of groupoids and the program BGroidAP1 we prove a theorem of classification for the groupoids of type (4;2).


title: Stability of Collinear Equilibrium Points in Robes's Generalised Restricted Three Body Problem

abstract: We have examined the stability of collinear in Robes's generalised restricted three body problem. The problem is generalised in the sense that more massive primary has been taken as an oblate spheroid. We have found the position of collinear equilibrium points. We have obtained variational equations of the problem. With the help of characteristic roots, we conclude that the collinear points are unstable. Robe's result may be verified from the generalised result.


title: Deformation rings and Hecke algebras in the totally real case

abstract: One of the basic questions in number theory is to determine semi-simple l-adic representations of the absolute Galois group of a number field. In this paper, we discuss the question for two dimensional representations over a totally real number field.


title: On the space-time Monopole equation

abstract: The space-time monopole equation is obtained from a dimension reduction of the anti-self dual Yang-Mills equation on $\R^{2,2}$. A family of Ward equations is obtained by gauge fixing from the monopole equation. In this paper, we give an introduction and a survey of the space-time monopole equation. Included are alternative explanations of results of Ward, Fokas-Ioannidou, Villarroel and Zakhorov-Mikhailov. The equations are formulated in terms of a number of equivalent Lax pairs; we make use of the natural Lorentz action on the Lax pairs and frames. A new Hamiltonian formulation for the Ward equations is introduced. We outline both scattering and inverse scattering theory and use B\"acklund transformations to construct a large class of monopoles which are global in time and have both continuous and discrete scattering data.


title: Base subsets of symplectic Grassmannians

abstract: Let $V$ and $V'$ be $2n$-dimensional vector spaces over fields $F$ and $F'$. Let also $\Omega: V\times V\to F$ and $\Omega': V'\times V'\to F'$ be non-degenerate symplectic forms. Denote by $\Pi$ and $\Pi'$ the associated $(2n-1)$-dimensional projective spaces. The sets of $k$-dimensional totally isotropic subspaces of $\Pi$ and $\Pi'$ will denoted by ${\mathcal G}_{k}$ and ${\mathcal G}'_{k}$, respectively. Apartments of the associated buildings intersect ${\mathcal G}_{k}$ and ${\mathcal G}'_{k}$ by so-called base subsets. We show that every mapping of ${\mathcal G}_{k}$ to ${\mathcal G}'_{k}$ sending base subsets to base subsets is induced by a symplectic embedding of $\Pi$ to $\Pi'$.


title: On binomial equations defining rational normal scrolls

abstract: We show that a rational normal scroll can in general be set-theoretically defined by a proper subset of the 2-minors of the associated two-row matrix. This allows us to find a class of rational normal scrolls that are almost set-theoretic complete intersections.


title: The boundary of the Eulerian number triangle

abstract: The Eulerian triangle is a classical array of combinatorial numbers defined by a linear recursion. The associated boundary problem asks one to find all extreme nonnegative solutions to a dual recursion. Exploiting connections with random permutations and Markov chains we show that the boundary is discrete and explicitly identify its elements.


title: Expertises : proc\'{e}dures statistiques d'aide \`{a} la d\'{e}cision

abstract: In this study, we introduce a new approach to statistical decision theory. Without using a loss function, we select good decision rules to choice between two hypotheses. We call them "experts". They are globally unbiased but also conditionally unbiased on a family of events. We do not try to define the best expert. We define a probability distribution on the space of "experts". The measure of evidence for a hypothesis is the inductive probability of experts that decide this hypothesis, we call this measure: a "vote". We compare this point of view with the p-values. For some family of hypotheses, the "votes" can define a probability on the space of parameters. We compare these results with the Bayes posterior distributions. We study in detail real-parameter families of distributions with monotone likelihood ratio and multiparameter exponential families.


title: Markov selections for the 3D stochastic Navier-Stokes equations

abstract: We investigate the Markov property and the continuity with respect to the initial conditions (strong Feller property) for the solutions to the Navier-Stokes equations forced by an additive noise. First, we prove, by means of an abstract selection principle, that there are Markov solutions to the Navier-Stokes equations. Due to the lack of continuity of solutions in the space of finite energy, the Markov property holds almost everywhere in time. Then, depending on the regularity of the noise, we prove that any Markov solution has the strong Feller property for regular initial conditions. We give also a few consequences of these facts, together with a new sufficient condition for well-posedness.


title: Two-parameter quantum algebras, twin-basic numbers, and associated generalized hypergeometric series

abstract: We give a method to embed the q-series in a (p,q)-series and derive the corresponding (p,q)-extensions of the known q-identities. The (p,q)-hypergeometric series, or twin-basic hypergeometric series (diferent from the usual bibasic hypergeometric series), is based on the concept of twin-basic number [n]_{p,q} = (p^n - q^n)/(p-q). This twin-basic number occurs in the theory of two-parameter quantum algebras and has been introduced independently in combinatorics. The (p,q)-identities thus derived, with doubling of the number of parameters, offer more choices for manipulations; for example, results that can be obtained via the limiting process of confluence in the usual q-series framework can be obtained by simpler substitutions. The q-results are of course special cases of the (p,q)-results corresponding to choosing p = 1. This also provides a new look for the q-identities.


title: Variational problems in fracture mechanics

abstract: We present some recent existence results for the variational model of crack growth in brittle materials proposed by Francfort and Marigo in 1998. These results, obtained in collaboration with Francfort and Toader, cover the case of arbitrary space dimension with a general quasiconvex bulk energy and with prescribed boundary deformations and applied loads.


title: On Kronecker limit formulas for real quadratic fields

abstract: Let $\zeta(s,C)$ be the partial zeta function attached to a ray class C of a real quadratic field. We study this zeta function at s=1 and s=0, combining some ideas and methods due to Zagier and Shintani. The main results are (1) a generalization of Zagier's formula for the constant term of the Laurent expansion at s=1, (2) some expressions for the value and the first derivative at s=0, related to the theory of continued fractions, and (3) a simple description of the behavior of Shintani's invariant X(C), which is related to $\zeta'(0,C)$, when we change the signature of C.


title: Computing obstructions for existence of connections on modules

abstract: We consider the notion of a connection on a module over a commutative ring, and recall the obstruction calculus for such connections. The obstruction calculus is defined using Hochschild cohomology. However, in order to compute with Grobner bases, we need the conversion to a description using free resolutions. We describe our implementation in Singular 3.0, available as the library conn.lib. Finally, we use the library to verify some known results and to obtain a new theorem for maximal Cohen-Macaulay (MCM) modules on isolated singularities. For a simple hypersurface singularity of dimension one or two, it is known that all MCM modules admit connections. We prove that for a simple threefold hypersurface singularity of type A_n, D_n or E_n, only the free MCM modules admit connections if n is at most 50.


title: Simple C*-algebras with locally finite decomposition rank

abstract: We introduce the notion of locally finite decomposition rank, a structural property shared by many stably finite nuclear C*-algebras. The concept is particularly relevant for Elliott's program to classify nuclear C*-algebras by K-theory data. We study some of its properties and show that a simple unital C*-algebra, which has locally finite decomposition rank, real rank zero and which absorbs the Jiang-Su algebra Z tensorially, has tracial rank zero in the sense of Lin. As a consequence, any such C*-algebra, if it additionally satisfies the Universal Coefficients Theorem, is approximately homogeneous of topological dimension at most 3. Our result in particular confirms the Elliott conjecture for the class of simple unital Z-stable ASH algebras with real rank zero. Moreover, it implies that simple unital Z-stable AH algebras with real rank zero not only have slow dimension growth in the ASH sense, but even in the AH sense.


title: Hecke's integral formula for quadratic extensions of a number field

abstract: Let K/F be a quadratic extension of number fields. After developing a theory of the Eisenstein series over F, we prove a formula which expresses a partial zeta function of K as a certain integral of the Eisenstein series. As an application, we obtain a limit formula of Kronecker's type which relates the 0-th Laurent coefficients at s=1 of zeta functions of K and F.


title: Ricci-Flat Holonomy: a Classification

abstract: The reductive holonomy algebras for a torsion-free affine connection are analysed, with the goal of establishing which ones can correspond to a Ricci-flat connection with the same properties. Various families of holonomies are eliminated through different algebraic means, and examples are constructed (in this paper and in `Projective Geometry II: Holonomy Classification', by the same author) in the remaining cases, thus solving this problem completely, for reductive holonomy.


title: Projective Geometry I: Principles and Properties

abstract: The aim of this paper and its sequel is to introduce and classify the holonomy algebras of the projective Tractor connection. After a brief historical background, this paper presents and analyses the projective Cartan and Tractor connections, the various structures they can preserve, and their geometric interpretations. Preserved subbundles of the Tractor bundle generate foliations with Ricci-flat leaves. Contact- and Einstein-structures arise from other reductions of the Tractor holonomy, as do U(1) and $Sp(1, \mathbb{H})$ bundles over a manifold of smaller dimension.


title: Projective Geometry II: Cones and Complete Classifications

abstract: The aim of this paper and its prequel is to introduce and classify the irreducible holonomy algebras of the projective Tractor connection. This is achieved through the construction of a `projective cone', a Ricci-flat manifold one dimension higher whose affine holonomy is equal to the Tractor holonomy of the underlying manifold. This paper uses the result to enable the construction of manifolds with each possible holonomy algebra.


title: Twistor spinors with zero on Lorentzian 5-space

abstract: We present in this paper a $C^1$-metric on an open neighbourhood of the origin in $\RR^{5}$. The metric is of Lorentzian signature $(1,4)$ and admits a solution to the twistor equation for spinors with a unique isolated zero at the origin. The metric is not conformally flat in any neighbourhood of the origin. The construction is based on the Eguchi-Hanson metric with parallel spinors on Riemannian 4-space.


title: The structure of two generalization of the symmetric inverse semigroups

abstract: We introduce two generalisations of the full symmetric inverse semigroup ${\mathcal{I}}_X$ and its dual semigroup ${\mathcal{I}^{\ast}}_X$ -- inverse semigroups ${\mathcal{PI}^{\ast}}_X$ and ${\overline{\mathcal{PI}^{\ast}}}_X$. Both of them have the same carrier and contain $\IS_X$. Binary operations on ${\mathcal{PI}^{\ast}}_X$ and ${\overline{\mathcal{PI}^{\ast}}}_X$ are reminiscent of the multiplication in ${\mathcal{I}}_X$. We use a convenient geometric way to realise elements from these two semigroups. This enables us to study efficiently their inner properties and to compare them with the corresponding properties of $\IS_X$ and ${\mathcal{I}^{\ast}}_X$.


title: Gaussian estimates for spatially inhomogeneous random walks on ${\mathbf{Z}}^d$

abstract: It is shown in this paper that the transition kernel corresponding to a spatially inhomogeneous random walk on ${\mathbf{Z}}^d$ admits upper and lower Gaussian estimates.


title: On the structure of solutions of ergodic type Bellman equation related to risk-sensitive control

abstract: Bellman equations of ergodic type related to risk-sensitive control are considered. We treat the case that the nonlinear term is positive quadratic form on first-order partial derivatives of solution, which includes linear exponential quadratic Gaussian control problem. In this paper we prove that the equation in general has multiple solutions. We shall specify the set of all the classical solutions and classify the solutions by a global behavior of the diffusion process associated with the given solution. The solution associated with ergodic diffusion process plays particular role. We shall also prove the uniqueness of such solution. Furthermore, the solution which gives us ergodicity is stable under perturbation of coefficients. Finally, we have a representation result for the solution corresponding to the ergodic diffusion.


title: Complete moduli spaces of branchvarieties

abstract: The space of subvarieties of P^n with a fixed Hilbert polynomial is not complete. Grothendieck defined a completion by relaxing "variety" to "scheme", giving the complete_Hilbert scheme_ of subschemes of P^n with fixed Hilbert polynomial. We instead relax "sub" to "branch", where a_branchvariety of_ P^n is defined to be a_reduced_ (though possibly reducible) scheme_with a finite morphism to_ P^n. Our main theorems are that the moduli stack of branchvarieties of P^n with fixed Hilbert polynomial and total degrees of i-dimensional components is a proper (complete and separated) Artin stack with finite stabilizer, and has a coarse moduli space which is a proper algebraic space. Families of branchvarieties have many more locally constant invariants than families of subschemes; for example, the number of connected components is a new invariant. In characteristic 0, one can extend this count to associate a Z-labeled rooted forest to any branchvariety.


title: Cycles and Stability

abstract: We derive a number of extremal and Ramsey stability results for cycles.


title: Linearly ordered compacta and Banach spaces with a projectional resolution of the identity

abstract: We construct a compact linearly ordered space $K$ of weight aleph one, such that the space $C(K)$ is not isomorphic to a Banach space with a projectional resolution of the identity, while on the other hand, $K$ is a continuous image of a Valdivia compact and every separable subspace of $C(K)$ is contained in a 1-complemented separable subspace. This answers two questions due to O. Kalenda and V. Montesinos.