On the descriptive sot theory of the lexicographic square
If an atomlessly measurable cardinal exists, then the class of Lebesgue measurable functions, the class of Borel functions, and the Baire classes of all orders have the difference property. This gives a consistent positive answer to Laczkovich's Problem 2 [Acta Math. Acad. Sci. Hungar. 35 (1980)]. We also give a complete positive answer to Laczkovich's Problem 3 concerning Borel functions with Baire-α differences.
We show that, generally, families of measurable functions do not have the difference property under some assumption. We also show that there are natural classes of functions which do not have the difference property in ZFC. This extends the result of Erdős concerning the family of Lebesgue measurable functions.
Let , and let , be given. In this paper we study the dimension of -harmonic measures that arise from non-negative solutions to the -Laplace equation, vanishing on a portion of , in the setting of -Reifenberg flat domains. We prove, for , that there exists small such that if is a -Reifenberg flat domain with , then -harmonic measure is concentrated on a set of -finite -measure. We prove, for , that for sufficiently flat Wolff snowflakes the Hausdorff dimension of -harmonic measure...
We define the concept of directional entropy for arbitrary -actions on a Lebesgue space, we examine its basic properties and consider its behaviour in the class of product actions and rigid actions.
We show that for any cellular automaton (CA) ℤ²-action Φ on the space of all doubly infinite sequences with values in a finite set A, determined by an automaton rule , l,r ∈ ℤ, l ≤ r, and any Φ-invariant Borel probability measure, the directional entropy , v⃗= (x,y) ∈ ℝ², is bounded above by if and by in the opposite case, where , . We also show that in the class of permutative CA-actions the bounds are attained if the measure considered is uniform Bernoulli.
Let T be a measure-preserving ergodic transformation of a measure space (X,,μ) and, for f ∈ L(X), let . In this paper we mainly investigate the question of whether (i) and whether (ii) for some a > 0. It is proved that (i) holds for every f ≥ 0. (ii) holds if f ≥ 0 and f log log (f + 3) ∈ L(X) or if μ(X) = 1 and the random variables are independent. Related inequalities are proved. Some examples and counterexamples are constructed. Several known results are obtained as corollaries.
Motivated by recent developments on calculus in metric measure spaces , we prove a general duality principle between Fuglede’s notion [15] of -modulus for families of finite Borel measures in and probability measures with barycenter in , with dual exponent of . We apply this general duality principle to study null sets for families of parametric and non-parametric curves in . In the final part of the paper we provide a new proof, independent of optimal transportation, of the equivalence...