Composition operators from the Hardy space to the nth weighted-type space on the unit disk and the half-plane

The boundedness of the composition operator C_φf(z)=f(φ(z)) from the Hardy space , where X is the upper half-plane or the unit disk D={z∈C:|z|<1} in the complex plane C, to the nth weighted-type space, where φ is an analytic self-map of X, is characterized.     

Stability of spacelike hypersurfaces in foliated spacetimes

Given a generalized Robertson-Walker spacetime whose warping function verifies a certain convexity condition, we classify strongly stable spacelike hypersurfaces with constant mean curvature. More precisely, we will show that given a closed, strongly stable spacelike hypersurface of with constant mean curvature H, if the warping function ? satisfying ?^″?max{H?^′,0} along M, then Mn is either maximal or a spacelike slice Mt₀={t₀}×F, for some t₀∈I.     

Likelihood ratio orderings of spacings of heterogeneous exponential random variables

Let X₁,X₂,…,X_n be independent exponential random variables such that X_i has failure rate λ for i=1,…,p and X_j has failure rate λ^* for j=p+1,…,n, where p≥1 and q=n-p≥1. Denote by D_i:n(p,q)=X_i:n-X_i-1:n the ith spacing of the order statistics , where X_0:n≡0. It is shown that D_i:n(p,q)?_lrD_i+1:n(p,q) for i=1,…,n-1, and that if λ?λ^* then , and for i=1,…,n, where ?_lr denotes the likelihood ratio order. The main results are used to establish the dispersive orderings between spacings.     

A generalization of the Strassen converse

This note is devoted to a generalization of the Strassen converse. Let gn:R^∞→[0,∞], n?1 be a sequence of measurable functions such that, for every n?1, and for all x,y∈R^∞, where 0<C<∞ is a constant which is independent of n. Let be a sequence of i.i.d. random variables. Assume that there exist r?1 and a function ?:[0,∞)→[0,∞) with limt→∞?(t)=∞, depending only on the sequence such that lim supn→∞gn(X₁,X₂,…)=?(Er|X|) a.s. whenever Er|X|<∞ and EX=0. We prove the converse result, namely that lim supn→∞gn(X₁,X₂,…)<∞ a.s. implies Er|X|<∞ (and EX=0 if, in addition, lim supn→∞gn(c,c,…)=∞ for all c≠0). Some applications are provided to illustrate this result.     

Large deviation principles for sequences of logarithmically weighted means

In this paper we consider several examples of sequences of partial sums of triangular arrays of random variables {Xn:n?1}; in each case Xn converges weakly to an infinitely divisible distribution (a Poisson distribution or a centered Normal distribution). For each sequence we prove large deviation results for the logarithmically weighted means with speed function . We also prove a sample path large deviation principle for {Xn:n?1} defined by , where σ²∈(0,∞) and {Un:n?1} is a sequence of independent standard Brownian motions.     

On T-sequences and characterized subgroups

Let X be a compact metrizable abelian group and u={un} be a sequence in its dual group X^∧. Set su(X)={x:(un,x)→1} and . Let G be a subgroup of X. We prove that G=su(X) for some u iff it can be represented as some dually closed subgroup Gu of . In particular, su(X) is polishable. Let u={un} be a T-sequence. Denote by the group X^∧ equipped with the finest group topology in which un→0. It is proved that and . We also prove that the group generated by a Kronecker set cannot be characterized.     

Precise asymptotics in the deviation probability series of self-normalized sums

Let X,X₁,X₂,… be a sequence of nondegenerate i.i.d. random variables with zero means. Set Sn=X₁+?+Xn and . In the present paper we examine the precise asymptotic behavior for the general deviation probabilities of self-normalized sums, Sn/Wn. For positive functions g(x), ?(x), α(x) and κ(x), we obtain the precise asymptotics for the following deviation probabilities of self-normalized sums:

     

Weak mixing disc and annulus diffeomorphisms with arbitrary Liouville rotation number on the boundary

Let M be an m-dimensional differentiable manifold with a nontrivial circle action S={St_}t∈R, St+1=St, preserving a smooth volume μ. For any Liouville number α we construct a sequence of area-preserving diffeomorphisms Hn such that the sequence converges to a smooth weak mixing diffeomorphism of M. The method is a quantitative version of the approximation by conjugations construction introduced in [Trans. Moscow Math. Soc. 23 (1970) 1].For m=2 and M equal to the unit disc D²={x²+y²?1} or the closed annulus A=T×[0,1] this result proves the following dichotomy: α∈R?Q is Diophantine if and only if there is no ergodic diffeomorphism of M whose rotation number on the boundary equals α (on at least one of the boundaries in the case of A). One part of the dichotomy follows from our constructions, the other is an unpublished result of Michael Herman asserting that if α is Diophantine, then any area preserving diffeomorphism with rotation number α on the boundary (on at least one of the boundaries in the case of A) displays smooth invariant curves arbitrarily close to the boundary which clearly precludes ergodicity or even topological transitivity.     

André-Quillen homology of algebra retracts

Given a homomorphism of commutative noetherian rings ?:R→S, Daniel Quillen conjectured in 1970 that if the André-Quillen homology functors D_n(S∣R;−) vanish for all n?0, then they vanish for all n?3. We prove the conjecture under the additional hypothesis that there exists a homomorphism of rings ψ:S→R such that ?°ψ=id_S. More precisely, in this case we show that ψ is a complete intersection at for every prime ideal  of S. Using these results, we describe all algebra retracts S→R→S for which the algebra Tor_•^R(S,S) is finitely generated over Tor₀^R(S,S)=S.     

Asymptotic enumeration of sparse 0-1 matrices with irregular row and column sums

Let s=(s₁,…,s_m) and t=(t₁,…,t_n) be vectors of non-negative integer-valued functions with equal sum . Let N(s,t) be the number of m×n matrices with entries from {0,1} such that the ith row has row sum s_i and the jth column has column sum t_j. Equivalently, N(s,t) is the number of labelled bipartite graphs with degrees of the vertices in one side of the bipartition given by s and the degrees of the vertices in the other side given by t. We give an asymptotic formula for N(s,t) which holds when S→∞ with 1?st=o(S^2/3), where and . This extends a result of McKay and Wang [Linear Algebra Appl. 373 (2003) 273-288] for the semiregular case (when s_i=s for 1?i?m and t_j=t for 1?j?n). The previously strongest result for the non-semiregular case required 1?max{s,t}=o(S^1/4), due to McKay [Enumeration and Design, Academic Press, Canada, 1984, pp. 225-238].     

Precise rates in the law of logarithm for the moment convergence of i.i.d. random variables

Let be a sequence of i.i.d. random variables with EX=0 and EX²=σ²<∞. Set , Mn=maxk?n|Sk|, n?1. Let r>1, then we obtain

     

Precise rates in complete moment convergence for ρ-mixing sequences

Let X₁,X₂,… be a strictly stationary sequence of ρ-mixing random variables with mean zeros and positive, finite variances, set Sn=X₁+?+Xn. Suppose that , , where q>2δ+2. We prove that, if for any 0<δ?1, then

     

C-Weierstrass for compact sets in Hilbert space

The C¹-Weierstrass approximation theorem is proved for any compact subset X of a Hilbert space . The same theorem is also proved for Whitney 1-jets on X when X satisfies the following further condition: There exist finite dimensional linear subspaces such that ?_n?1H_n is dense in and π_n(X)=X∩H_n for each n?1. Here, is the orthogonal projection. It is also shown that when X is compact convex with and satisfies the above condition, then C¹(X) is complete if and only if the C¹-Whitney extension theorem holds for X. Finally, for compact subsets of , an extension of the C¹-Weierstrass approximation theorem is proved for C¹ maps with compact derivatives.     

Extremal and Barabanov semi-norms of a semigroup generated by a bounded family of matrices

Let S={Si}_i∈I be an arbitrary family of complex n-by-n matrices, where 1?n<∞. Let denote the joint spectral radius of S, defined as

     

The evolution of the min-min random graph process

We study the following min-min random graph process G=(G₀,G₁,…): the initial state G₀ is an empty graph on n vertices (n even). Further, G_M+1 is obtained from G_M by choosing a pair {v,w} of distinct vertices of minimum degree uniformly at random among all such pairs in G_M and adding the edge {v,w}. The process may produce multiple edges. We show that G_M is asymptotically almost surely disconnected if M≤n, and that for M=(1+t)n, constant, the probability that G_M is connected increases from 0 to 1. Furthermore, we investigate the number X of vertices outside the giant component of G_M for M=(1+t)n. For constant we derive the precise limiting distribution of X. In addition, for n⁻¹ln⁴n≤t=o(1) we show that tX converges to a gamma distribution.