Uncountable admissibles II: Compactness

AssumeV=L. Let κ be a cardinal and forX⊆κ, n<ω let α _n (X) denote the least ordinal α such thatL _α[X] is Σ _n admissible. In our earlier paperUncountable admissibles I: forcing, we characterized those ordinals of the form σ _n (X) when κ is regular. This paper treats the singular case using Barwise compactness, an effective version of Jensen's covering lemma and β-recursion theory.     

Ordered representations of spaces of integrable functions

Let X be a Banach space, (Ω,Σ) a measurable space and let m : Σ → X be a (countably additive) vector measure. Consider the corresponding space of integrable functions L¹(m). In this paper we analyze the set of (countably additive) vector measures n satisfying that L¹(n) = L¹(m). In order to do this we define a (quasi) order relation on this set to obtain under adequate requirements the simplest representation of the space L¹(m) associated to downward directed subsets of the set of all the representations. This research has been partially supported by La Junta de Andalucía. The support of D.G.I. under project MTM2006–11690–C02 (M.E.C. Spain) and FEDER is gratefully acknowledged.     

Axioms of determinacy and biorthogonal systems

If allΠ _n ¹ games are determined, every non-norm-separable subspaceX ofl ^∞(N) which is W* —Σ _n ^+1/1 contains a biorthogonal system of cardinality 2^ℵ ₀. In Levy’s model of Set Theory, the same is true of every non-norm-separable subspace ofl ^∞(N) which is definable from reals and ordinals. Under any of the above assumptions,X has a quotient space which does not linearly embed into 1^∞(N).     

On the applicability conditions of the strong law of large numbers for sequences of independent random variables

We investigate relationship between Kolmogorov–s condition and Petrov–s condition in theorems on the strong law of large numbers for a sequence of independent random variables X ₁, X ₂, … with finite variances. The convergence (S _n − ES _n )/n → 0 holds a.s. (here, S _n = Σ _k=1 ⁿ X _k ), provided that Σ _n=1^∞ DX _n /n ² < ∞ (Kolmogorov’s condition) or DS _n = O(n ²/ψ(n)) for some positive non-decreasing function ψ(n) such that Σ1/(nψ(n)) < ∞ (Petrov’s condition). Kolmogorov’s condition is shown to follow from Petrov’s condition. Besides, under some additional restrictions, Petrov’s condition, in turn, follows from Kolmogorov’s condition.     

On the distribution of values of the derivative of the Riemann zeta function at its zeros. I

Let ζ′(s) be the derivative of the Riemann zeta function ζ(s). A study on the value distribution of ζ′(s) at the non-trivial zeros ρ of ζ(s) is presented. In particular, for a fixed positive number X, an asymptotic formula and a non-trivial upper bound for the sum Σ_{0<Im ρ≤T} ζ′(ρ)X ^ρ as T → ∞ are given. We clarify the dependence on the arithmetic nature of X.     

Large deviations for heavy-tailed random sums of independent random variables with dominatedly varying tails

We prove large deviation results on the partial and random sums Sn = ∑i=1n Xi,n≥1; S(t) = ∑i=1N(t) Xi, t≥0, where {N(t);t≥0} are non-negative integer-valued random variables and {Xn;n≥1} are independent non-negative random variables with distribution, Fn, of Xn, independent of {N(t); t≥0}. Special attention is paid to the distribution of dominated variation.     

An almost sure invariance principle for trimmed sums of random vectors

Let {X _n ; n ≥ 1} be a sequence of independent and identically distributed random vectors in ℜ ^p with Euclidean norm |·|, and let X _n ^(r) = X _m if |X _m | is the r-th maximum of {|X _k |; k ≤ n}. Define S _n = Σ _k≤n X _k and ^(r) S _n − (X _n ⁽¹⁾ + ... + X _n ^(r)). In this paper a generalized strong invariance principle for the trimmed sums ^(r) S _n is derived.     

The theorem of the means for cardinal and ordinal numbers

The theorem that the arithmetic mean is greater than or equal to the geometric mean is investigated for cardinal and ordinal numbers. It is shown that whereas the theorem of the means can be proved for n pairwise comparable cardinal numbers without the axiom of choice, the inequality a² + b² ≥ 2ab is equivalent to the axiom of choice. For ordinal numbers, the inequality α² + β² ≥ 2αβ is established and the conditions for equality are derived; stronger inequalities are obtained for finite and infinite sequences of ordinals under suitable monotonicity hypotheses. MSC: 03E10, 04A10, 03E25, 04A25.     

Precise rates in the law of the logarithm for the moment convergence in Hilbert spaces

Let （X, Xn; n ≥1） be a sequence of i.i.d, random variables taking values in a real separable Hilbert space （H, ｜｜·｜｜） with covariance operator ∑. Set Sn = X1 ＋ X2 ＋ ... ＋ Xn, n≥ 1. We prove that, for b 〉 -1,
lim ε→0 ε^2（b＋1） ∞ ∑n=1 （logn）^b/n^3/2 E{｜｜Sn｜｜-σε√nlogn}=σ^-2（b＋1）/（2b＋3）（b＋1） B｜｜Y｜^2b＋3
holds if EX=0,and E｜｜X｜｜^2（log｜｜x｜｜）^3bv（b＋4）〈∞ where Y is a Gaussian random variable taking value in a real separable Hilbert space with mean zero and covariance operator ∑, and σ^2 denotes the largest eigenvalue of ∑.     

The <Emphasis Type="Italic">s</Emphasis>-energy of spherical designs on <Emphasis Type="Italic">S</Emphasis><Superscript>2</Superscript>

This paper investigates the s-energy of (finite and infinite) well separated sequences of spherical designs on the unit sphere S ². A spherical n-design is a point set on S ² that gives rise to an equal weight cubature rule which is exact for all spherical polynomials of degree ≤n. The s-energy E _s (X) of a point set of m distinct points is the sum of the potential for all pairs of distinct points . A sequence Ξ = {X _m } of point sets X _m ⊂S ², where X _m has the cardinality card(X _m )=m, is well separated if for each pair of distinct points , where the constant λ is independent of m and X _m . For all s>0, we derive upper bounds in terms of orders of n and m(n) of the s-energy E _s (X _m(n)) for well separated sequences Ξ = {X _m(n)} of spherical n-designs X _m(n) with card(X _m(n))=m(n).      

Onp-absolutely summing constants of banach spaces

Given 1≦p<∞ and a real Banach spaceX, we define thep-absolutely summing constantμ _p(X) as inf{Σ _i ^=1/m |x*(x _i)|^p p Σ _i ^=1/m ‖x _i‖^p p]¹ p}, where the supremum ranges over {x*∈X*; ‖x*‖≤1} and the infimum is taken over all sets {x ₁,x ₂, …,x _m} ⊂X such that Σ _i ^=1/m ‖x _i‖>0. It follows immediately from [2] thatμ _p(X)>0 if and only ifX is finite dimensional. In this paper we find the exact values ofμ _p(X) for various spaces, and obtain some asymptotic estimates ofμ _p(X) for general finite dimensional Banach spaces. This is a part of the author’s Ph.D. Thesis prepared at the Hebrew University of Jerusalem, under the supervision of Prof. A. Dvoretzky and Prof. J. Lindenstrauss.     

Smooth and path connected Banach submanifold Σ r of B(E,F) and a dimension formula in B(ℝ n ,ℝ m )

Given two Banach spaces E,F, let B(E,F) be the set of all bounded linear operators from E into F, Σ _r the set of all operators of finite rank r in B(E,F), and Σ _r ^# the number of path connected components of Σ _r . It is known that Σ _r is a smooth Banach submanifold in B(E,F) with given expression of its tangent space at each A ∈ Σ _r . In this paper,the equality Σ _r ^# = 1 is proved. Consequently, the following theorem is obtained: for any nonnegative integer r, Σ _r is a smooth and path connected Banach submanifold in B(E,F) with the tangent space T _A Σ _r = {B ∈ B(E,F): BN(A) ⊂ R(A)} at each A ∈ Σ _r if dim F = ∞. Note that the routine method can hardly be applied here. So in addition to the nice topological and geometric property of Σ _r the method presented in this paper is also interesting. As an application of this result, it is proved that if E = ℝ ⁿ and F = ℝ ^m , then Σ _r is a smooth and path connected submanifold of B(ℝ ⁿ , ℝ ^m ) and its dimension is dimΣ _r = (m+n)r−r ² for each r, 0 <- r < min {n,m}. Supported by the National Science Foundation of China (Grant No.10671049 and 10771101).     

On meromorphic univalent functions omitting a disc

The class Σ_b is defined to consist of meromorphic univalent functionsH omitting a disc with the radiusb:H(z)=z+ Σ ₀ ^∞ A _n z ⁻ⁿ ,z>1,H(b)>b ∈ (0, 1). By aid of FitzGerald inequalities the inverse coefficients of odd Σ_b-functions are maximized. The result extends the corresponding estimation, due to Netanyahu and Schober, fromb=0 to the whole interval (0, 1). The author wishes to express her gratitude to Professor O. Tammi for valuable discussions connected with the problem. This work was supported by a grant from the Finnish Ministry of Education.     

On samples of independent random vectors in spaces of infinitely increasing dimension

We study the asymptotic behavior of a set of random vectors ξ_i, i = 1,..., m, whose coordinates are independent and identically distributed in a space of infinitely increasing dimension. We investigate the asymptotics of the distribution of the random vectors, the consistency of the sets M _m⁽ⁿ⁾ = ξ₁,..., ξ_m and X _n^λ = x ∈ X _n: ρ(x) ≤ λn, and the mutual location of pairs of vectors. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 12, pp. 1706–1711, December, 1998.     

Scattered and hereditarily irresolvable spaces in modal logic

When we interpret modal ? as the limit point operator of a topological space, the Gödel-Löb modal system GL defines the class Scat of scattered spaces. We give a partition of Scat into α-slices S _α , where α ranges over all ordinals. This provides topological completeness and definability results for extensions of GL. In particular, we axiomatize the modal logic of each ordinal α, thus obtaining a simple proof of the Abashidze–Blass theorem. On the other hand, when we interpret ? as closure in a topological space, the Grzegorczyk modal system Grz defines the class HI of hereditarily irresolvable spaces. We also give a partition of HI into α-slices H _α , where α ranges over all ordinals. For a subset A of a hereditarily irresolvable space X and an ordinal α, we introduce the α-representation of A, give an axiomatization of the α-representation of A, and characterize H _α in terms of α-representations. We prove that ${X \in {\bf H}_{1}}When we interpret modal ◊ as the limit point operator of a topological space, the G?del-L?b modal system GL defines the class Scat of scattered spaces. We give a partition of Scat into α-slices S _α , where α ranges over all ordinals. This provides topological completeness and definability results for extensions of GL. In particular, we axiomatize the modal logic of each ordinal α, thus obtaining a simple proof of the Abashidze–Blass theorem. On the other hand, when we interpret ◊ as closure in a topological space, the Grzegorczyk modal system Grz defines the class HI of hereditarily irresolvable spaces. We also give a partition of HI into α-slices H _α , where α ranges over all ordinals. For a subset A of a hereditarily irresolvable space X and an ordinal α, we introduce the α-representation of A, give an axiomatization of the α-representation of A, and characterize H _α in terms of α-representations. We prove that X ? H₁{X \in {\bf H}_{1}} iff X is submaximal. For a positive integer n, we generalize the notion of a submaximal space to that of an n-submaximal space, and prove that X ? H_n{X \in {\bf H}_{n}} iff X is n-submaximal. This provides topological completeness and definability results for extensions of Grz. We show that the two partitions are related to each other as follows. For a successor ordinal α = β + n, with β a limit ordinal and n a positive integer, we have H_a ?Scat = S_b+2n-1 èS_b+2n{{\bf H}_{\alpha} \cap {\bf Scat} = {\bf S}_{\beta+2n-1} \cup {\bf S}_{\beta+2n}} , and for a limit ordinal α, we have H_a ?Scat = S_a{{\bf H}_{\alpha} \cap {\bf Scat} = {\bf S}_{\alpha}} . As a result, we obtain full and faithful translations of ordinal complete extensions of Grz into ordinal complete extensions of GL, thus generalizing the Kuznetsov–Goldblatt–Boolos theorem.     

Smoothed analysis of termination of linear programming algorithms

 We perform a smoothed analysis of a termination phase for linear programming algorithms. By combining this analysis with the smoothed analysis of Renegar's condition number by Dunagan, Spielman and Teng (http://arxiv.org/abs/cs.DS/0302011) we show that the smoothed complexity of interior-point algorithms for linear programming is O(m ³ log(m/Σ)). In contrast, the best known bound on the worst-case complexity of linear programming is O(m ³ L), where L could be as large as m. We include an introduction to smoothed analysis and a tutorial on proof techniques that have been useful in smoothed analyses. Received: December 10, 2002 / Accepted: April 28, 2003 Published online: June 5, 2003 Key words. smoothed analysis – linear programming – interior-point algorithms – condition numbers Mathematics Subject Classification (1991): 90C05, 90C51, 68Q25     

Spectral Density for Third Order Cumulants under Strong Mixing Conditions

If X{X_v: v ^d} is a strictly stationary random field, with X₀ bounded and expressible as a sum of indicator functions satisfying certain conditions, if the mixing coefficient α(s) is summable over ^d (that, is, ∑_m m^d−1α(m)<∞), and if a mixing condition involving three sets is satisfied, then the third order cumulant Cum(X_a, X_b, X_c) of X has a continuous spectral density. We do not begin with the assumption that the cumulants are absolutely summable.     

相关序的进一步研究

Let (X1,X2,…,Xn) and (Y1,Y2,…Yn) be real random vectors with the same marginal distributions,if (X1,X2,…,Xn)≤c(Y1,Y2,…Yn), it is showed in this paper that ∑i=1^n Xi≤cx∑i=1^n Yi and max1≤k≤n∑i=1^k Xi≤icx max1≤k≤n∑i=1^k Yi hold. Based on this fact,a more general comparison theorem is obtained.     

Orthonormal Sequences in L 2(R d ) and Time Frequency Localization

We prove that there does not exist an orthonormal basis {b _n } for L ²(R) such that the sequences {μ(b _n )}, {m([^(b_n)])}\{\mu(\widehat{b_{n}})\} , and {D(b_n)D([^(b_n)])}\{\Delta(b_{n})\Delta(\widehat{b_{n}})\} are bounded. A higher dimensional version of this result that involves generalized dispersions is also obtained. The main tool is a time-frequency localization inequality for orthonormal sequences in L ²(R ^d ). On the other hand, for d>1 we construct a basis {b _n } for L ²(R ^d ) such that the sequences {μ(b _n )}, {m([^(b_n)])}\{\mu(\widehat{b_{n}})\} , and {D(b_n)D([^(b_n)])}\{\Delta(b_{n})\Delta(\widehat{b_{n}})\} are bounded.     

Vector-valued weak martingale Hardy spaces and atomic decompositions

Some atomic decomposition theorems are proved in vector-valued weak martingale Hardy spaces w _p Σ_α(X), w _p Q _α(X) and wD _α(X). As applications of atomic decompositions, a sufficient condition for sublinear operators defined on some vector-valued weak martingale Hardy spaces to be bounded is given. In particular, some weak versions of martingale inequalities for the operators f*, S ^(p)(f) and σ^(p)(f) are obtained. This research was supported by the National Science Foundation of China (No. 10371093).