Oscillation in the initial segment complexity of random reals

We study oscillation in the prefix-free complexity of initial segments of 1-random reals. For upward oscillations, we prove that _∑n∈ω²−g(n) diverges iff (^∃∞n)K(X?n)>n+g(n) for every 1-random X∈ω². For downward oscillations, we characterize the functions g such that (^∃∞n)K(X?n)<n+g(n) for almost every X∈ω². The proof of this result uses an improvement of Chaitin's counting theorem—we give a tight upper bound on the number of strings σ∈n² such that K(σ)<n+K(n)−m.The work on upward oscillations has applications to the K-degrees. Write XK_?Y to mean that K(X?n)?K(Y?n)+O(1). The induced structure is called the K-degrees. We prove that there are comparable () 1-random K-degrees. We also prove that every lower cone and some upper cones in the 1-random K-degrees have size continuum.Finally, we show that it is independent of ZFC, even assuming that the Continuum Hypothesis fails, whether all chains of 1-random K-degrees of size less than ℵ₀² have a lower bound in the 1-random K-degrees.     

The local variational principle of topological pressure for sub-additive potentials

Let (X,T) be a topological dynamical system and be a sub-additive potential on C(X,R). Let U be an open cover of X. Then for any T-invariant measure μ, let . The topological pressure for open covers U is defined for sub-additive potentials. Then we have a variational principle:

     

Sharp maximal inequality for nonnegative martingales

Let X be a nonnegative martingale, let H be a predictable process taking values in [−1,1] and let Y be an Itô integral of H with respect to X. We establish the bound and show that the constant 3 is the best possible.     

Luzin measurability of Carathéodory type mappings

A topological space X is said to have the Scorza-Dragoni property if the following property holds: For every metric space Y and every Radon measure space (T,μ), any Carathéodory function is Luzin measurable, i.e., given ε>0, there is a compact set K in T with μ(T?K)?ε such that the mapping is continuous. We present a selection of spaces without the Scorza-Dragoni property, among which there are first countable hereditarily separable and hereditarily Lindelöf compact spaces, separable Moore spaces and even countable k-spaces. In the positive direction, it is shown that every space which is an ℵ₀-space and kR-space has the Scorza-Dragoni property. We also prove that every separately continuous mapping , where Y is a metric space, is Luzin measurable, provided the space X is strongly functionally generated by a countable collection of its bounded subsets. If Martin's Axiom is assumed then all metric spaces of density less than c, and all pseudocompact spaces of cardinality less than c, have the Scorza-Dragoni property with respect to every separable Radon measure μ. Finally, the class of countable spaces with the Scorza-Dragoni property is closely examined.     

Alternating proximal algorithms for linearly constrained variational inequalities: Application to domain decomposition for PDE’s

Let X,Y,Z be real Hilbert spaces, let f:X→R∪{+∞}, g:Y→R∪{+∞} be closed convex functions and let A:X→Z, B:Y→Z be linear continuous operators. Let us consider the constrained minimization problem Given a sequence (γ_n) which tends toward 0 as n→+∞, we study the following alternating proximal algorithm where α and ν are positive parameters. It is shown that if the sequence (γ_n) tends moderately slowly toward 0, then the iterates of (A) weakly converge toward a solution of (P). The study is extended to the setting of maximal monotone operators, for which a general ergodic convergence result is obtained. Applications are given in the area of domain decomposition for PDE’s.     

Category product densities and liftings

In this paper we investigate two main problems. One of them is the question on the existence of category liftings in the product of two topological spaces. We prove, that if X×Y is a Baire space, then, given (strong) category liftings ρ and σ on X and Y, respectively, there exists a (strong) category lifting π on the product space such that π is a product of ρ and σ and satisfies the following section property:

     

An asymptotic formula for the ranks of homotopy groups

Let X be a finite simply connected CW complex of dimension n. The loop space homology H_∗(ΩX;Q) is the universal enveloping algebra of a graded Lie algebra LX isomorphic with π∗−1(X)⊗Q. Let QX⊂LX be a minimal generating subspace, and set .Theorem: If dimLX=∞ and , then

     

Galois closure of essentially finite morphisms

Let X be a reduced connected k-scheme pointed at a rational point x∈X(k). By using tannakian techniques we construct the Galois closure of an essentially finite k-morphism f:Y→X satisfying the condition H⁰(Y,O_Y)=k; this Galois closure is a torsor dominating f by an X-morphism and universal for this property. Moreover, we show that is a torsor under some finite group scheme we describe. Furthermore we prove that the direct image of an essentially finite vector bundle over Y is still an essentially finite vector bundle over X. We develop for torsors and essentially finite morphisms a Galois correspondence similar to the usual one. As an application we show that for any pointed torsor f:Y→X under a finite group scheme satisfying the condition H⁰(Y,O_Y)=k, Y has a fundamental group scheme π₁(Y,y) fitting in a short exact sequence with π₁(X,x).     

A note on weakly compact subsets in the projective tensor product of Banach spaces

Let X and Y be two Banach spaces. In this short note we show that every weakly compact subset in the projective tensor product of X and Y can be written as the intersection of finite unions of sets of the form , where K_X and K_Y are weakly compacts subsets of X and Y, respectively. If either X or Y has the Dunford–Pettis property, then any intersection of sets that are finite unions of sets of the form , where K_X and K_Y are weakly compact sets in X and Y, respectively, is weakly compact.     

Nonlinear conditions for weighted composition operators between Lipschitz algebras

Let T:Lip₀(X)→Lip₀(Y) be a surjective map between pointed Lipschitz ^∗-algebras, where X and Y are compact metric spaces. On the one hand, we prove that if T satisfies the non-symmetric norm ^∗-multiplicativity condition:

     

Essential dimension of quadrics

Let X be an anisotropic projective quadric over a field F of characteristic not 2. The essential dimension dim_es(X) of X, as defined by Oleg Izhboldin, is dim_es(X)=dim(X)-i(X) +1, where i(X) is the first Witt index of X (i.e., the Witt index of X over its function field).Let Y be a complete (possibly singular) algebraic variety over F with all closed points of even degree and such that Y has a closed point of odd degree over F(X). Our main theorem states that dim_es(X)dim(Y) and that in the case dim_es(X)=dim(Y) the quadric X is isotropic over F(Y).Applying the main theorem to a projective quadric Y, we get a proof of Izhboldins conjecture stated as follows: if an anisotropic quadric Y becomes isotropic over F(X), then dim_es(X)dim_es(Y), and the equality holds if and only if X is isotropic over F(Y). We also solve Knebuschs problem by proving that the smallest transcendence degree of a generic splitting field of a quadric X is equal to dim_es(X). To the memory of Oleg Izhboldin     

BLO spaces associated with the Ornstein–Uhlenbeck operator

Let (Rn,|⋅|,dγ) be the Gauss measure metric space, where Rn denotes the n-dimensional Euclidean space, |⋅| the Euclidean norm and for all x∈Rn the Gauss measure. In this paper, for any a∈(0,∞), the authors introduce some BLOa(γ) space, namely, the space of functions with bounded lower oscillation associated with a given class of admissible balls with parameter a. Then the authors prove that the noncentered local natural Hardy–Littlewood maximal operator is bounded from BMO(γ) of Mauceri and Meda to BLOa(γ). Moreover, a characterization of the space BLOa(γ), via the local natural maximal operator and BMO(γ), is given. The authors further prove that a class of maximal singular integrals, including the corresponding maximal operators of both imaginary powers of the Ornstein–Uhlenbeck operator and Riesz transforms of any order associated with the Ornstein–Uhlenbeck operator, are bounded from L^∞(γ) to BLOa(γ).     

Multifractal analysis of divergence points of deformed measure theoretical Birkhoff averages. IV: Divergence points and packing dimension

During the past 10 years multifractal analysis has received an enormous interest. For a sequence n(φn) of functions on a metric space X, multifractal analysis refers to the study of the Hausdorff and/or packing dimension of the level sets(1) of the limit function limnφn. However, recently a more general notion of multifractal analysis, focusing not only on points x for which the limit limnφn(x) exists, has emerged and attracted considerable interest. Namely, for a sequence n(xn) in a metric space X, we let A(xn) denote the set of accumulation points of the sequence n(xn). The problem of computing that the Hausdorff dimension of the set of points x for which the set of accumulation points of the sequence (φnn(x)) equals a given set C, i.e. computing the Hausdorff dimension of the set(2){x∈X|A(φn(x))=C} has recently attracted considerable interest and a number of interesting results have been obtained. However, almost nothing is known about the packing dimension of sets of this type except for a few special cases investigated in [I.S. Baek, L. Olsen, N. Snigireva, Divergence points of self-similar measures and packing dimension, Adv. Math. 214 (2007) 267–287]. The purpose of this paper is to compute the packing dimension of those sets for a very general class of maps φn, including many examples that have been studied previously, cf. Theorem 3.1 and Corollary 3.2. Surprisingly, in many cases, the packing dimension and the Hausdorff dimension of the sets in (2) do not coincide. This is in sharp contrast to well-known results in multifractal analysis saying that the Hausdorff and packing dimensions of the sets in (1) coincide.     

The embeddability ordering of topological spaces

For K a set of topological spaces and X,Y∈K, the notation Xh_⊆Y means that X embeds homeomorphically into Y; and X∼Y means Xh_⊆Yh_⊆X. With , the equivalence relation ∼ on K induces a partial order h_? well-defined on K/∼ as follows: if Xh_⊆Y.For posets (P,P_?) and (Q,Q_?), the notation (P,P_?)?(Q,Q_?) means: there is an injection such that p₀P_?p₁ in P if and only if h(p₀)Q_?h(p₁) in Q. For κ an infinite cardinal, a poset (Q,Q_?) is a κ-universal poset if every poset (P,P_?) with |P|?κ satisfies (P,P_?)?(Q,Q_?).The authors prove two theorems which improve and extend results from the extensive relevant literature.

Theorem 2.2. There is a zero-dimensional Hausdorff space S with|S|=κsuch that(P(S)/∼,h_?)is a κ-universal poset.     

Computability of a topological poset

For subspaces X and Y of Q the notation Xh_?Y means that X is homeomorphic to a subspace of Y and X∼Y means Xh_?Yh_?X. The resulting set P(Q)/∼ of equivalence classes is partially-ordered by the relation if Xh_?Y. In a previous paper by the author it was established that this poset is essentially determined by considering only the scattered X⊆Q of finite Cantor-Bendixson rank. Results from that paper are extended to show that this poset is computable.     

Asymptotic cone of semisimple orbits for symmetric pairs

Let G be a reductive algebraic group over C and denote its Lie algebra by g. Let Oh be a closed G-orbit through a semisimple element h∈g. By a result of Borho and Kraft (1979) [4], it is known that the asymptotic cone of the orbit Oh is the closure of a Richardson nilpotent orbit corresponding to a parabolic subgroup whose Levi component is the centralizer ZG(h) in G. In this paper, we prove an analogue on a semisimple orbit for a symmetric pair.More precisely, let θ be an involution of G, and K=Gθ a fixed point subgroup of θ. Then we have a Cartan decomposition g=k+s of the Lie algebra g=Lie(G) which is the eigenspace decomposition of θ on g. Let {x,h,y} be a normal sl₂ triple, where x,y∈s are nilpotent, and h∈k semisimple. In addition, we assume , where denotes the complex conjugation which commutes with θ. Then is a semisimple element in s, and we can consider a semisimple orbit Ad(K)a in s, which is closed. Our main result asserts that the asymptotic cone of Ad(K)a in s coincides with , if x is even nilpotent.     

Various products of category densities and liftings

We extend earlier work [M.R. Burke, N.D. Macheras, K. Musia?, W. Strauss, Category product densities and liftings, Topology Appl. 153 (2006) 1164-1191] of the authors on the existence of category liftings in the product of two topological spaces X and Y such that X×Y is a Baire space. For given densities ρ, σ on X and Y, respectively, we introduce two ‘Fubini type’ products ρ⊙σ and ρ?σ on X×Y. We present a necessary and sufficient condition for ρ⊙σ to be a density. Provided (X,Y) and (Y,X) have the Kuratowski-Ulam property, we prove for given category liftings ρ, σ on the factors the existence of a category lifting π on the product, dominating the density ρ?σ and such that

     

Best approximation in polyhedral Banach spaces

In the present paper, we study conditions under which the metric projection of a polyhedral Banach space X onto a closed subspace is Hausdorff lower or upper semicontinuous. For example, we prove that if X satisfies (∗) (a geometric property stronger than polyhedrality) and Y⊂X is any proximinal subspace, then the metric projection P_Y is Hausdorff continuous and Y is strongly proximinal (i.e., if {y_n}⊂Y, x∈X and , then ).One of the main results of a different nature is the following: if X satisfies (∗) and Y⊂X is a closed subspace of finite codimension, then the following conditions are equivalent: (a) Y is strongly proximinal; (b) Y is proximinal; (c) each element of Y^⊥ attains its norm. Moreover, in this case the quotient X/Y is polyhedral.The final part of the paper contains examples illustrating the importance of some hypotheses in our main results.