A new majorization between functions, polynomials, and operator inequalities

Let P₊ be the set of all non-negative operator monotone functions defined on [0,∞), and put . Then and . For a function and a strictly increasing function h we write if is operator monotone. If and and if and , then . We will apply this result to polynomials and operator inequalities. Let and be non-increasing sequences, and put for t≧a₁ and for t≧b₁. Then v₊?u₊ if m≦n and : in particular, for a sequence of orthonormal polynomials, (p_n-1)₊?(p_n)₊. Suppose 0<r,p and s=0 or 1≦s≦1+p/r. Then 0≦A≦B implies for 0<α≦r/(p+r).     

Superinjective simplicial maps of complexes of curves and injective homomorphisms of subgroups of mapping class groups

Let S be a closed, connected, orientable surface of genus at least 3, be the complex of curves on S and be the extended mapping class group of S. We prove that a simplicial map, , preserves nondisjointness (i.e. if α and β are two vertices in and i(α,β)≠0, then i(λ(α),λ(β))≠0) iff it is induced by a homeomorphism of S. As a corollary, we prove that if K is a finite index subgroup of and is an injective homomorphism, then f is induced by a homeomorphism of S and f has a unique extension to an automorphism of .     

Convergence in mean of some random Fourier series

For a symmetric stable process X(t,ω) with index α∈(1,2], f∈Lp[0,2π], p?α, and , we establish that the random Fourier-Stieltjes (RFS) series converges in the mean to the stochastic integral , where fβ is the fractional integral of order β of the function f for . Further it is proved that the RFS series is Abel summable to . Also we define fractional derivative of the sum of order β for an, An(ω) as above and . We have shown that the formal fractional derivative of the series of order β exists in the sense of mean.     

A fractional Helly theorem for convex lattice sets

A set of the form , where is convex and denotes the integer lattice, is called a convex lattice set. It is known that the Helly number of d-dimensional convex lattice sets is 2^d. We prove that the fractional Helly number is only d+1: For every d and every α∈(0,1] there exists β>0 such that whenever F₁,…,F_n are convex lattice sets in such that for at least index sets I⊆{1,2,…,n} of size d+1, then there exists a (lattice) point common to at least βn of the F_i. This implies a (p,d+1)-theorem for every p?d+1; that is, if is a finite family of convex lattice sets in such that among every p sets of , some d+1 intersect, then has a transversal of size bounded by a function of d and p.     

Covering numbers of different points in Dvoretzky covering

Consider the Dvoretzky random covering on the circle T with a decreasing length sequence {?n}_n?1 such that . We study, for a given β?0, the set Fβ of points which are asymptotically covered by a number βLn of the first n randomly placed intervals where . Three typical situations arise, delimited by two “phase transitions”, according to is zero, positive-finite or infinite, where . More precisely, if ?n tends to zero rapidly enough so that then, with probability one, dimHFβ=1 for all β?0; if ?n is moderate so that then, with probability one, we have for and Fβ=∅ for where and is the interval consisting of β's such that ; eventually, if ?n is so slow that then, with probability one, F₁=T. This solves a problem raised by L. Carleson in a rather satisfactory fashion.Analogous results are obtained for the Poisson covering of the line, which is studied as a tool.     

On a relation between certain cohomological invariants

Let G be a group, the supremum of the projective lengths of the injective ZG-modules and the supremum of the injective lengths of the projective ZG-modules. The invariants and were studied in [T.V. Gedrich, K.W. Gruenberg, Complete cohomological functors on groups, Topology Appl. 25 (1987) 203-223] in connection with the existence of complete cohomological functors. If is finite then [T.V. Gedrich, K.W. Gruenberg, Complete cohomological functors on groups, Topology Appl. 25 (1987) 203-223] and , where is the generalized cohomological dimension of G [B.M. Ikenaga, Homological dimension and Farrell cohomology, J. Algebra 87 (1984) 422-457]. Note that if G is of finite virtual cohomological dimension. It has been conjectured in [O. Talelli, On groups of type Φ, Arch. Math. 89 (1) (2007) 24-32] that if is finite then G admits a finite dimensional model for , the classifying space for proper actions.We conjecture that for any group G and we prove the conjecture for duality groups, fundamental groups of graphs of finite groups and fundamental groups of certain finite graphs of groups of type .     

Polynomial identities and noncommutative versal torsors

To any cleft Hopf Galois object, i.e., any algebra obtained from a Hopf algebra H by twisting its multiplication with a two-cocycle α, we attach two “universal algebras” and . The algebra is obtained by twisting the multiplication of H with the most general two-cocycle σ formally cohomologous to α. The cocycle σ takes values in the field of rational functions on H. By construction, is a cleft H-Galois extension of a “big” commutative algebra . Any “form” of can be obtained from by a specialization of and vice versa. If the algebra is simple, then is an Azumaya algebra with center . The algebra is constructed using a general theory of polynomial identities that we set up for arbitrary comodule algebras; it is the universal comodule algebra in which all comodule algebra identities of are satisfied. We construct an embedding of into ; this embedding maps the center of into when the algebra is simple. In this case, under an additional assumption, , thus turning into a central localization of . We completely work out these constructions in the case of the four-dimensional Sweedler algebra.     

Carleson measures, multipliers and integration operators for spaces of Dirichlet type

For 0<p<∞ and α>−1, we let denote the space of those functions f which are analytic in the unit disc and satisfy . In this paper we characterize the positive Borel measures μ in D such that , 0<p<q<∞. We also characterize the pointwise multipliers from to (0<p<q<∞) if p−2<α<p. In particular, we prove that if the only pointwise multiplier from to (0<p<q<∞) is the trivial one. This is not longer true for and we give a number of explicit examples of functions which are multipliers from to for this range of values.     

Analysis of a system of fractional differential equations

We prove existence and uniqueness theorems for the initial value problem for the system of fractional differential equations , where D^α denotes standard Riemann-Liouville fractional derivative, 0<α<1, and A is a square matrix. The unique solution to this initial value problem turns out to be , where E_α denotes the Mittag-Leffler function generalized for matrix arguments. Further we analyze the system , , 0<α<1, and investigate dependence of the solutions on the initial conditions.     

On strong unimodality of multivariate discrete distributions

A discrete function f defined on Zⁿ is said to be logconcave if for , , . A more restrictive notion is strong unimodality. Following Barndorff-Nielsen [O. Barndorff-Nielsen, Unimodality and exponential families, Commun. Statist. 1 (1973) 189-216] a discrete function is called strongly unimodal if there exists a convex function such that  if . In this paper sufficient conditions that ensure the strong unimodality of a multivariate discrete distribution, are given. Examples of strongly unimodal multivariate discrete distributions are presented.     

Exponentiable monomorphisms in categories of domains

We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (ω-chain in the case of ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in .     

Genericity of wild holomorphic functions and common hypercyclic vectors

Let T_α be the translation operator by α in the space of entire functions defined by . We prove that there is a residual set G of entire functions such that for every f∈G and every the sequence is dense in , that is, G is a residual set of common hypercyclic vectors ( functions) for the family . Also, we prove similar results for many families of operators as: multiples of differential operator, multiples of backward shift, weighted backward shifts.     

Equivariant chain complexes, twisted homology and relative minimality of arrangements

We show that the π-equivariant chain complex (), , associated to a Morse-theoretic minimal CW-structure X on the complement of an arrangement , is independent of X. The same holds for all scalar extensions, , a field, where X is an arbitrary minimal CW-structure on a space M. When is a section of another arrangement , we show that the divisibility properties of the first Betti number of the Milnor fiber of  obstruct the homotopy realization of  as a subcomplex of a minimal structure on .If is aspherical and is a sufficiently generic section of , then may be described in terms of π, L and , for an arbitrary local system L; explicit computations may be done, when is fiber-type. In this case, explicit -presentations of arbitrary abelian scalar extensions of the first non-trivial higher homotopy group of , π_p(M), may also be obtained. For nonresonant abelian scalar extensions, the -rank of is combinatorially determined.