On Computability Theoretic Properties of Structures and Their Cartesian Products

In this paper we show that for any set X ⊆ ω there exists a structure 𝒜 that has no presentation computable in X such that 𝒜² has a computable presentation. We also show that there exists a structure 𝒜 with infinitely many computable isomorphism types such that 𝒜² has exactly one computable isomorphism type.     

Remarks on nonmeasurable unions of big point families

We show that under some conditions on a family A ? I there exists a subfamily A₀ ? A such that ∪ A₀ is nonmeasurable with respect to a fixed ideal I with Borel base of a fixed uncountable Polish space. Our result applies to the classical ideal of null subsets of the real line and to the ideal of first category subsets of the real line (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Hausdorff measures of different dimensions are not Borel isomorphic

We show that Hausdorff measures of different dimensions are not Borel isomorphic; that is, the measure spaces (ℝ, B, H ^s ) and (ℝ, B, H ^t ) are not isomorphic if s ≠ t, s, t ∈ [0, 1], where B is the σ-algebra of Borel subsets of ℝ and H ^d is the d-dimensional Hausdorff measure. This answers a question of B. Weiss and D. Preiss. To prove our result, we apply a random construction and show that for every Borel function ƒ: ℝ → ℝ and for every d ∈ [0, 1] there exists a compact set C of Hausdorff dimension d such that ƒ(C) has Hausdorff dimension ≤ d. We also prove this statement in a more general form: If A ⊂ ℝⁿ is Borel and ƒ: A → ℝ^m is Borel measurable, then for every d ∈ [0, 1] there exists a Borel set B ⊂ A such that dim B = d·dim A and dim ƒ(B) ≤ d·dim ƒ (A). Partially supported by the Hungarian Scientific Research Fund grant no. T 49786.     

A Fubini theorem

Let I₀ be the σ-ideal of subsets of a Polish group generated by Borel sets which have perfectly many pairwise disjoint translates. We prove that a Fubini-type theorem holds between I₀ and the σ-ideals of Haar measure zero sets and of meager sets. We use this result to give a simple proof of a generalization of a theorem of Balcerzak-Ros?anowski-Shelah stating that I₀ on N² strongly violates the countable chain condition.     

Extensions of the measurable choice theorem by means of forcing

Using the method of forcing of set theory, we prove the following two theorems on the existence of measurable choice functions: LetT be the closed unit interval [0,1] and letm be the usual Lebesgue measure defined on the Borel subsets ofT. Theorem1. LetS⊂T×T be a Borel set such that for alltεT,S _t ^def={x|(t,x)εS} is countable and non-empty. Then there exists a countable series of Lebesgue-measurable functionsf _n: T→T such thatS _t={f_n(t)|nεω} for alltε[0,1],W _x={y|(x,y)εW} is uncountable. Then there exists a functionh:[0,1]×[0,1]→W with the following properties: (a) for each xε[0,1], the functionh(x,·) is one-one and ontoW _x and is Borel measurable; (b) for eachy, h(·, y) is Lebesgue measurable; (c) the functionh is Lebesgue measurable.     

On nonmeasurable unions

For a Polish space X and a σ-ideal I of subsets of X which has a Borel base we consider families A of sets in I with the union ?A not in I. We determine several conditions on A which imply the existence of a subfamily A^′ of A whose union ?A^′ is not in the σ-field generated by the Borel sets on X and I. Main examples are X=R and I being the ideal of sets of Lebesgue measure zero or the ideal of sets of the first Baire category.     

Decompositions of Borel bimeasurable mappings between complete metric spaces

We prove that every Borel bimeasurable mapping can be decomposed to a σ-discrete family of extended Borel isomorphisms and a mapping with a σ-discrete range. We get a new proof of a result containing the Purves and the Luzin-Novikov theorems as a by-product. Assuming an extra assumption on f, or that Fleissner's axiom (SCω₂) holds, we characterize extended Borel bimeasurable mappings as those extended Borel measurable ones which may be decomposed to countably many extended Borel isomorphisms and a mapping with a σ-discrete range.     

Forcing with quotients

We study an extensive connection between quotient forcings of Borel subsets of Polish spaces modulo a σ-ideal and quotient forcings of subsets of countable sets modulo an ideal.     

Isols and maximal intersecting classes

In transfinite arithmetic 2ⁿ is defined as the cardinality of the family of all subsets of some set v with cardinality n. However, in the arithmetic of recursive equivalence types (RETs) 2^N is defined as the RET of the family of all finite subsets of some set v of nonnegative integers with RET N. Suppose v is a nonempty set. S is a class over v, if S consists of finite subsets of v and has v as its union. Such a class is an intersecting class (IC) over v, if every two members of S have a nonempty intersection. An IC over v is called a maximal IC (MIC), if it is not properly included in any IC over v. It is known and readily proved that every MIC over a finite set v of cardinality n ≥ 1 has cardinality 2^n-1. In order to generalize this result we introduce the notion of an ω-MIC over v. This is an effective analogue ot the notion of an MIC over v such that a class over a finite set v is an ω-MIC iff it is an MIC. We then prove that every ω-MIC over an isolated set v of RET N ≥ 1 has RET 2^N-1. This is a generalization, for while there only are χ₀ finite sets, there are ? isolated sets, where c denotes the cardinality of the continuum, namely all the finite sets and the c immune sets. MSC: 03D50.     

Is Lebesgue measure the only σ-finite invariant Borel measure?

S. Saks and recently R.D. Mauldin asked if every translation invariant σ-finite Borel measure on Rd is a constant multiple of Lebesgue measure. The aim of this paper is to investigate the versions of this question, since surprisingly the answer is “yes and no,” depending on what we mean by Borel measure and by constant. According to a folklore result, if the measure is only defined for Borel sets, then the answer is affirmative. We show that if the measure is defined on a σ-algebra containing the Borel sets, then the answer is negative. However, if we allow the multiplicative constant to be infinity, then the answer is affirmative in this case as well. Moreover, our construction also shows that an isometry invariant σ-finite Borel measure (in the wider sense) on Rd can be non-σ-finite when we restrict it to the Borel sets.     

Orthogonal measures and ergodicity

Burgess-Mauldin have proven the Ramsey-theoretic result that continuous sequences \({\left( {{\mu _c}} \right)_{c \in {2^\mathbb{N}}}}\) of pairwise orthogonal Borel probability measures admit continuous orthogonal subsequences. We establish an analogous result for sequences indexed by 2^N/E⁰, the next Borel cardinal. As a corollary, we obtain a strengthening of the Harrington-Kechris-Louveau E₀ dichotomy for restrictions of measure equivalence. We then use this to characterize the family of countable Borel equivalence relations which are non-hyperfinite with respect to an ergodic Borel probability measure which is not strongly ergodic.     

Borel properties of linear operators

Given an injective bounded linear operator T:X→Y between Banach spaces, we study the Borel measurability of the inverse map T−1:TX→X. A remarkable result of Saint-Raymond (Ann. Inst. Fourier (Grenoble) 26 (1976) 211-256) states that if X is separable, then the Borel class of T⁻¹ is α if, and only if, X∗ is the αth iterated sequential weak∗-closure of T∗Y∗ for some countable ordinal α. We show that Saint-Raymond's result holds with minor changes for arbitrary Banach spaces if we assume that T has certain property named co-σ-discreteness after Hansell (Proc. London Math. Soc. 28 (1974) 683-699). As an application, we show that the Borel class of the inverse of a co-σ-discrete operator T can be estimated by the image of the unit ball or the restrictions of T to separable subspaces of X. Our results apply naturally when X is a WCD Banach space since in this case any injective bounded linear operator defined on X is automatically co-σ-discrete.     

Effective Borel degrees of some topological functions

The focus of this paper is the incomputability of some topological functions (with respect to certain representations) using the tools of Borel computability theory, as introduced by V. Brattka in [3] and [4]. First, we analyze some basic topological functions on closed subsets of ?ⁿ , like closure, border, intersection, and derivative, and we prove for such functions results of Σ⁰₂‐completeness and Σ⁰₃‐completeness in the effective Borel hierarchy. Then, following [13], we re‐consider two well‐known topological results: the lemmas of Urysohn and Urysohn‐Tietze for generic metric spaces (for the latter we refer to the proof given by Dieudonné). Both lemmas define Σ⁰₂‐computable functions which in some cases are even Σ⁰₂‐complete. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Weak Borel chromatic numbers

Given a graph G whose set of vertices is a Polish space X, the weak Borel chromatic number of G is the least size of a family of pairwise disjoint G ‐independent Borel sets that covers all of X. Here a set of vertices of a graph G is independent if no two vertices in the set are connected by an edge. We show that it is consistent with an arbitrarily large size of the continuum that every closed graph on a Polish space either has a perfect clique or has a weak Borel chromatic number of at most ?₁. We observe that some weak version of Todorcevic's Open Coloring Axiom for closed colorings follows from MA. Slightly weaker results hold for F_σ‐graphs. In particular, it is consistent with an arbitrarily large size of the continuum that every locally countable F_σ‐graph has a Borel chromatic number of at most ?₁. We refute various reasonable generalizations of these results to hypergraphs (© 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On Global Existence of Solutions of SDE's with Singular Drift

Let b be a Borel measurable IR^d - valued function, defined on some Borel subset of IR^d. Consider the d- dimensional SDE with singular drift b. A local solution (up to σ) is a tuple (X, W, Q,σ) where X is a stochastic process, W is a Brownian motion under the probability measure Q, and σ is a strictly optional time (i.e., stopping time) such that the above equation is satisfied for all t < σ. Such a local solution was constructed by the author in an earlier paper under very mild conditions on b. In this paper we give criteria for the global existence of the solution, i. e., for Q(σ = ∞) = 1.     

Über den Freudenthalschen Spektralsatz

For a vector lattice E with the principal projection property, the following generalization of H.Freudenthal's spectral theorem is proved: There exists a measure space (Ω,R,π) such that integration with respect to π establishes a vector lattice isomorphism from L¹(π) to E. Here π:?→E is a σ -additive vector measure on some δ-ring R which, for [σ-] Dedekind complete E, may be chosen to be the δ-ring of relatively compact [Baire-] Borel sets in a locally compact space. Among others Kakutani's representation of abstract L-spaces as concrete L¹ -spaces is an immediate consequence.     

On the Central Limit Theorem for Nonuniform φ-Mixing Random Fields

The partial-sum processes, indexed by sets, of a stationary nonuniform -mixing random field on the d-dimensional integer lattice are considered. A moment inequality is given from which the convergence of the finite-dimensional distributions to a Brownian motion on the Borel subsets of [0, 1] ^d is obtained. A Uniform CLT is proved for classes of sets with a metric entropy restriction and applied to certain Gibbs fields. This extends some results of Chen⁽⁵⁾ for rectangles. In this case and when the variables are bounded a simpler proof of the uniform CLT is given.     

Smooth automorphisms and path-connectedness in Borel dynamics

Let Aut(X, B) be the group of all Borel automorphisms of a standard Borel space (X, B). We study topological properties of Aut(X, B) with respect to the uniform and weak topologies, τ and p, defined in [Bezuglyi S., Dooley A.H., Kwiatkowski J., Topologies on the group of Borel automorphisms of a standard Borel space, Preprint 2003]. It is proved that the class of smooth automorphisms is dense in (Aut(X, B), p). Let Ctbl(X) denote the group of Borel automorphisms with countable support. It is shown that the topological group Aut₀(X, B) = Aut(X, B)/Ctbl(X) is path-connected with respect to the quotient topology τ₀. It is also proved that Aut₀(X, B) has the Rokhlin property in the quotient topology p₀, i.e., the action of Aut₀(X,B) on itself by conjugation is topologically transitive.     

Chaos caused by a strong-mixing measure-preserving transformation

The chaos caused by a strong-mixing preserving transformation is discussed and it is shown that for a topological spaceX satisfying the second axiom of countability and for an outer measurem onX satisfying the conditions: (i) every non-empty open set ofX ism-measurable with positivem-measure; (ii) the restriction ofm on Borel σ-algebra ℬ(X) ofX is a probability measure, and (iii) for everyY⊂X there exists a Borel setB⊂ℬ(X) such thatB⊃Y andm(B) =m(Y), iff:X→X is a strong-mixing measure-preserving transformation of the probability space (X, ℬ(X),m), and if {m}, is a strictly increasing sequence of positive integers, then there exists a subsetC⊂X withm (C) = 1, finitely chaotic with respect to the sequence {m _i}, i.e. for any finite subsetA ofC and for any mapF:A→X there is a subsequencer _i such that lim_i→∞ f ^r i(a) =F(a) for anya ∈A. There are some applications to maps of one dimension. the National Natural Science Foundation of China.     

Multicyclicity of unbounded normal operators and polynomial approximation in C

A remarkable and much cited result of Bram [J. Bram, Subnormal operators, Duke Math. J. 22 (1955) 75-94] shows that a star-cyclic bounded normal operator in a separable Hilbert space has a cyclic vector. If, in addition, the operator is multiplication by the variable in a space L²(m) (not only unitarily equivalent to it), then it has a cyclic vector in L^∞(m). We extend Bram's result to the case of a general unbounded normal operator, implying by this that the (classical) multiplicity and the multicyclicity of the operator (cf. [N.K. Nikolski, Operators, Functions and Systems: An Easy Reading, vol. 2, Math. Surveys Monogr., vol. 93, Amer. Math. Soc., Providence, 2002]) coincide. It follows that if m is a sigma-finite Borel measure on C (possibly with noncompact support), then there is a nonnegative finite Borel measure τ equivalent to m and such that L²(C,τ) is the norm-closure of the polynomials in z.