Intersection homology Künneth theorems

Cohen, Goresky, and Ji showed that there is a Künneth theorem relating the intersection homology groups to and , provided that the perversity satisfies rather strict conditions. We consider biperversities and prove that there is a Künneth theorem relating to and for all choices of and . Furthermore, we prove that the Künneth theorem still holds when the biperversity p, q is “loosened” a little, and using this we recover the Künneth theorem of Cohen–Goresky–Ji.     

Convex sets with semidefinite representation

We provide a sufficient condition on a class of compact basic semialgebraic sets for their convex hull co(K) to have a semidefinite representation (SDr). This SDr is explicitly expressed in terms of the polynomials g _j that define K. Examples are provided. We also provide an approximate SDr; that is, for every fixed , there is a convex set such that (where B is the unit ball of ), and has an explicit SDr in terms of the g _j ’s. For convex and compact basic semi-algebraic sets K defined by concave polynomials, we provide a simpler explicit SDr when the nonnegative Lagrangian L _f associated with K and any linear is a sum of squares. We also provide an approximate SDr specific to the convex case.      

Numerically satisfactory solutions of Kummer recurrence relations

Pairs of numerically satisfactory solutions as for the three-term recurrence relations satisfied by the families of functions , , are given. It is proved that minimal solutions always exist, except when and z is in the positive or negative real axis, and that is minimal as whenever . The minimal solution is identified for any recurrence direction, that is, for any integer values of and . When the confluent limit , with fixed, is the main tool for identifying minimal solutions together with a connection formula; for , is the main tool to be considered.     

A Slow Transient Diffusion in a Drifted Stable Potential

We consider a diffusion process X in a random potential of the form , where is a positive drift and is a strictly stable process of index with positive jumps. Then the diffusion is transient and converges in law towards an exponential distribution. This behaviour contrasts with the case where is a drifted Brownian motion and provides an example of a transient diffusion in a random potential which is as “slow” as in the recurrent setting.      

Corrector–predictor methods for monotone linear complementarity problems in a wide neighborhood of the central path

Two corrector–predictor interior point algorithms are proposed for solving monotone linear complementarity problems. The algorithms produce a sequence of iterates in the neighborhood of the central path. The first algorithm uses line search schemes requiring the solution of higher order polynomial equations in one variable, while the line search procedures of the second algorithm can be implemented in arithmetic operations, where n is the dimension of the problems, is a constant, and m is the maximum order of the predictor and the corrector. If then both algorithms have iteration complexity. They are superlinearly convergent even for degenerate problems.      

Analytic first integrals of the FitzHugh – Nagumo systems

We study the analytical integrability of the FitzHugh–Nagumo systems in with parameters      

Reduced Minimum Modulus Preserving in Banach Space

Let be the algebra of all bounded linear operators on a complex Banach space X and γ(T) be the reduced minimum modulus of operator . In this work, we prove that if , is a surjective linear map such that is an invertible operator, then , for every , if and only if, either there exist two bijective isometries and such that for every , or there exist two bijective isometries and such that for every . This generalizes for a Banach space the Mbekhta’s theorem [12].      

The Dirichlet problem for constant mean curvature surfaces in Heisenberg space

We study constant mean curvature graphs in the Riemannian three- dimensional Heisenberg spaces . Each such is the total space of a Riemannian submersion onto the Euclidean plane with geodesic fibers the orbits of a Killing field. We prove the existence and uniqueness of CMC graphs in with respect to the Riemannian submersion over certain domains taking on prescribed boundary values. L. J. Alías was partially supported by MEC/FEDER project MTM2004-04934-C04-02 and Fundación Séneca project 00625/PI/04, Spain.     

Threshold θ ≥ 2 contact processes on homogeneous trees

We study the threshold θ ≥ 2 contact process on a homogeneous tree of degree κ = b + 1, with infection parameter λ ≥ 0 and started from a product measure with density p. The corresponding mean-field model displays a discontinuous transition at a critical point and for it survives iff , where this critical density satisfies , . For large b, we show that the process on has a qualitatively similar behavior when λ is small, including the behavior at and close to the critical point . In contrast, for large λ the behavior of the process on is qualitatively distinct from that of the mean-field model in that the critical density has . We also show that , where 1 < Φ₂ < Φ₃ < ..., , and . The work of L.R.F. was partially supported by the Brazilian CNPq through grants 307978/2004-4 and 475833/2003-1, and by FAPESP through grant 04/07276-2. The work of R.H.S. was partially supported by the American N.S.F. through grant DMS-0300672.     

Solutions to nonlinear Neumann problems with an inverse square potential

Let Ω be an open bounded domain in with smooth boundary . We are concerned with the critical Neumann problem

Anti-selfdual Lagrangians II: unbounded non self-adjoint operators and evolution equations

New variational principles based on the concept of anti-selfdual (ASD) Lagrangians were recently introduced in “AIHP-Analyse non linéaire, 2006”. We continue here the program of using such Lagrangians to provide variational formulations and resolutions to various basic equations and evolutions which do not normally fit in the Euler-Lagrange framework. In particular, we consider stationary boundary value problems of the form as well ass dissipative initial value evolutions of the form where is a convex potential on an infinite dimensional space, A is a linear operator and is any scalar. The framework developed in the above mentioned paper reformulates these problems as and respectively, where is an “ASD” vector field derived from a suitable Lagrangian L. In this paper, we extend the domain of application of this approach by establishing existence and regularity results under much less restrictive boundedness conditions on the anti-selfdual Lagrangian L so as to cover equations involving unbounded operators. Our main applications deal with various nonlinear boundary value problems and parabolic initial value equations governed by transport operators with or without a diffusion term. Nassif Ghoussoub research was partially supported by a grant from the Natural Sciences and Engineering Research Council of Canada. The author gratefully acknowledges the hospitality and support of the Centre de Recherches Mathématiques in Montréal where this work was initiated. Leo Tzou’s research was partially supported by a doctoral postgraduate scholarship from the Natural Science and Engineering Research Council of Canada.     

Notes on estimating inverse-Gaussian and gamma subordinators under high-frequency sampling

We study joint efficient estimation of two parameters dominating either the inverse-Gaussian or gamma subordinator, based on discrete observations sampled at satisfying as . Under the condition that as we have two kinds of optimal rates, and . Moreover, as in estimation of diffusion coefficient of a Wiener process the -consistent component of the estimator is effectively workable even when T _n does not tend to infinity. Simulation experiments are given under several h _n ’s behaviors.     

Fibred multilinks and singularities $${f \overline g}$$

In this article we extend Milnor’s fibration theorem to the case of functions of the form with f, g holomorphic, defined on a complex analytic (possibly singular) germ (X, 0). We further refine this fibration theorem by looking not only at the link of , but also at its multi-link structure, which is more subtle. We mostly focus on the case when X has complex dimension two. Our main result (Theorem 4.4) gives in this case the equivalence of the following three statements:

Exact inequalities for sums of asymmetric random variables, with applications

Let be independent identically distributed random variables each having the standardized Bernoulli distribution with parameter . Let if and . Let . Let f be such a function that f and f′′ are nondecreasing and convex. Then it is proved that for all nonnegative numbers one has the inequality where . The lower bound on m is exact for each . Moreover, is Schur-concave in . 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. Applications to generalized self-normalized sums and t-statistics are given.      

A Marstrand theorem for measures with polytope density

Given and any centrally symmetric convex polytope , define we prove that if a Radon measure μ has the property then s is an integer. For the case Θ is the Euclidean ball, this result was first proved by Marstrand in 1955 for Hausdorff measure in the plane (Marstrand in Proc Lond Math Soc 3(4):257–302, 1954) and later for general Radon measures in (Marstrand in Trans Am Math Soc 205:369–392, 1964).     

Ortho and Causal Closure Operations in Ordered Vector Spaces

On a non-trivial partially ordered real vector space V the orthogonality relation is defined by incomparability and is a complete lattice of double orthoclosed sets. In an earlier paper we defined an integrally open ordered vector space V and proved orthomodularity of . We shall say that is an orthogonal set when for all with , we have . We consider two different closure operations and (ortho and causal closure) and prove: V is integrally open iff for every orthogonal set . Hence follows: if V is integrally open, then . Received July 6, 2007; accepted in final form July 31, 2007.     

Carleson Measures for the Bloch Space

In this paper we study the positive Borel measures μ on the unit disc in for which the Bloch space is continuously included in , 0 < p < ∞. We call such measures p-Bloch-Carleson measures. We give two conditions on a measure μ in terms of certain logarithmic integrals one of which is a necessary condition and the other a sufficient condition for μ being a p-Bloch-Carleson measure. We also give a complete characterization of the p-Bloch-Carleson measures within certain special classes of measures. It is also shown that, for p > 1, the p-Bloch-Carleson measures are exactly those for which the Toeplitz operator , defined by , maps continuously into the Bergman space A ¹, . Furthermore, we prove that if p > 1, α >-1 and ω is a weight which satisfies the Bekollé-Bonami -condition, then the measure defined by is a p-Bloch-Carleson-measure. We also consider the Banach space of those functions f which are analytic in and satisfy , as . The Bloch space is contained in . We describe the p-Carleson measures for and study weighted composition operators and a class of integration operators acting in this space. We determine which of these operators map continuously to the weighted Bergman space and show that they are automatically compact. This research is partially supported by several grants from “the Ministerio de Educación y Ciencia, Spain” (MTM2005-07347, MTM2007-60854, MTM2006-26627-E, MTM2007-30904-E and Ingenio Mathematica (i-MATH) No. CSD2006-00032); from “La Junta de Andalucía” (FQM210 and P06-FQM01504); from “the Academy of Finland” (210245) and from the European Networking Programme “HCAA” of the European Science Foundation.     

Finite lattices as relative congruence lattices of finite algebras

Let A be a finite algebra and a quasivariety. By A is meant the lattice of congruences θ on A with . For any positive integer n, we give conditions on a finite algebra A under which for any n-element lattice L there is a quasivariety such that . The author was supported by INTAS grant 03-51-4110.     

Degrees of difficulty of generalized r.e. separating classes

Important examples of classes of functions are the classes of sets (elements of ^ω 2) which separate a given pair of disjoint r.e. sets: . A wider class consists of the classes of functions f ∈ ^ω k which in a generalized sense separate a k-tuple of r.e. sets (not necessarily pairwise disjoint) for each k ∈ ω: . We study the structure of the Medvedev degrees of such classes and show that the set of degrees realized depends strongly on both k and the extent to which the r.e. sets intersect. Let denote the Medvedev degrees of those such that no m + 1 sets among A ₀,...,A _k-1 have a nonempty intersection. It is shown that each is an upper semi-lattice but not a lattice. The degree of the set of k-ary diagonally nonrecursive functions is the greatest element of . If 2 ≤ l < k, then 0 _M is the only degree in which is below a member of . Each is densely ordered and has the splitting property and the same holds for the lattice it generates. The elements of are exactly the joins of elements of for . Supported by National Science Foundation grants DMS 0554841, 0532644 and 0652732.