scholarly journals BROOKS’ THEOREM FOR MEASURABLE COLORINGS

2016 ◽  
Vol 4 ◽  
Author(s):  
CLINTON T. CONLEY ◽  
ANDREW S. MARKS ◽  
ROBIN D. TUCKER-DROB
Keyword(s):  
Probability Measure ◽  
Cayley Graphs ◽  
Borel Probability Measure ◽  
Group Actions ◽  
New Technique ◽  
Borel Space ◽  
Standard Borel Space ◽  
List Colorings ◽  
A New Technique ◽  
Borel Probability

We generalize Brooks’ theorem to show that if $G$ is a Borel graph on a standard Borel space $X$ of degree bounded by $d\geqslant 3$ which contains no $(d+1)$-cliques, then $G$ admits a ${\it\mu}$-measurable $d$-coloring with respect to any Borel probability measure ${\it\mu}$ on $X$, and a Baire measurable $d$-coloring with respect to any compatible Polish topology on $X$. The proof of this theorem uses a new technique for constructing one-ended spanning subforests of Borel graphs, as well as ideas from the study of list colorings. We apply the theorem to graphs arising from group actions to obtain factor of IID $d$-colorings of Cayley graphs of degree $d$, except in two exceptional cases.

scholarly journals Amenable versus hyperfinite Borel equivalence relations

1993 ◽  
Vol 58 (3) ◽  
pp. 894-907 ◽  
Author(s):  
Alexander S. Kechris
Keyword(s):  
Probability Measure ◽  
Equivalence Relation ◽  
Borel Probability Measure ◽  
Amenable Group ◽  
Countable Group ◽  
Equivalence Relations ◽  
Borel Space ◽  
Borel Equivalence Relations ◽  
Borel Equivalence Relation ◽  
Standard Borel Space

LetXbe a standard Borel space (i.e., a Polish space with the associated Borel structure), and letEbe acountableBorel equivalence relation onX, i.e., a Borel equivalence relationEfor which every equivalence class [x]Eis countable. By a result of Feldman-Moore [FM],Eis induced by the orbits of a Borel action of a countable groupGonX.The structure of general countable Borel equivalence relations is very little understood. However, a lot is known for the particularly important subclass consisting of hyperfinite relations. A countable Borel equivalence relation is calledhyperfiniteif it is induced by a Borel ℤ-action, i.e., by the orbits of a single Borel automorphism. Such relations are studied and classified in [DJK] (see also the references contained therein). It is shown in Ornstein-Weiss [OW] and Connes-Feldman-Weiss [CFW] that for every Borel equivalence relationEinduced by a Borel action of a countable amenable groupGonXand for every (Borel) probability measure μ onX, there is a Borel invariant setY⊆Xwith μ(Y) = 1 such thatE↾Y(= the restriction ofEtoY) is hyperfinite. (Recall that a countable group G isamenableif it carries a finitely additive translation invariant probability measure defined on all its subsets.) Motivated by this result, Weiss [W2] raised the question of whether everyEinduced by a Borel action of a countable amenable group is hyperfinite. Later on Weiss (personal communication) showed that this is true forG= ℤn. However, the problem is still open even for abelianG. Our main purpose here is to provide a weaker affirmative answer for general amenableG(and more—see below). We need a definition first. Given two standard Borel spacesX, Y, auniversally measurableisomorphism betweenXandYis a bijection ƒ:X→Ysuch that both ƒ, ƒ-1are universally measurable. (As usual, a mapg:Z→W, withZandWstandard Borel spaces, is calleduniversally measurableif it is μ-measurable for every probability measure μ onZ.) Notice now that to assert that a countable Borel equivalence relation onXis hyperfinite is trivially equivalent to saying that there is a standard Borel spaceYand a hyperfinite Borel equivalence relationFonY, which isBorelisomorphic toE, i.e., there is a Borel bijection ƒ:X→YwithxEy⇔ ƒ(x)Fƒ(y). We have the following theorem.

A minimal distal map on the torus with sub-exponential measure complexity

2018 ◽  
Vol 40 (4) ◽  
pp. 953-974 ◽  
Author(s):  
WEN HUANG ◽  
LEIYE XU ◽  
XIANGDONG YE
Keyword(s):  
Dynamical System ◽  
Probability Measure ◽  
Borel Probability Measure ◽  
Skew Product ◽  
Topological Dynamical System ◽  
Borel Probability ◽  
Product Map

In this paper the notion of sub-exponential measure complexity for an invariant Borel probability measure of a topological dynamical system is introduced. Then a minimal distal skew product map on the torus with sub-exponential measure complexity is constructed.

Rigidity of measures invariant under the action of a multiplicative semigroup of polynomial growth on 𝕋

2009 ◽  
Vol 30 (1) ◽  
pp. 151-157 ◽  
Author(s):  
MANFRED EINSIEDLER ◽  
ALEXANDER FISH
Keyword(s):  
Probability Measure ◽  
Polynomial Growth ◽  
Borel Probability Measure ◽  
Finite Support ◽  
Multiplicative Semigroup ◽  
Logarithmic Density ◽  
Circle Group ◽  
Borel Probability

AbstractWe prove that if a Borel probability measure on the circle group is invariant under the action of a ‘large’ multiplicative semigroup (lower logarithmic density is positive) and the action of the whole semigroup is ergodic then the measure is either Lebesgue or has finite support.

Slices of Hewitt–Stromberg measures and co-dimensions formula

Analysis ◽  
2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Bilel Selmi
Keyword(s):  
Probability Measure ◽  
Borel Probability Measure ◽  
Compactly Supported ◽  
Borel Probability ◽  
The Relationship

Abstract This paper studies the behavior of the lower and upper multifractal Hewitt–Stromberg functions under slices onto ( n - m ) {(n-m)} -dimensional subspaces. More precisely, we discuss the relationship between the multifractal Hewitt–Stromberg functions of a compactly supported Borel probability measure and those of slices or sections of the measure. In addition, we prove that if μ has a finite m-energy and q lies in a certain somewhat restricted interval, then these functions satisfy the expected adding of co-dimensions formula.

scholarly journals Moments of the weighted Cantor measures

2019 ◽  
Vol 52 (1) ◽  
pp. 256-273
Author(s):  
Steven N. Harding ◽  
Alexander W. N. Riasanovsky
Keyword(s):  
Probability Measure ◽  
Generating Function ◽  
Exponential Decay ◽  
Legendre Polynomials ◽  
Borel Probability Measure ◽  
Moment Generating Function ◽  
Unit Interval ◽  
Uniform Error ◽  
Natural Case ◽  
Borel Probability

AbstractBased on the seminal work of Hutchinson, we investigate properties of α-weighted Cantor measures whose support is a fractal contained in the unit interval. Here, α is a vector of nonnegative weights summing to 1, and the corresponding weighted Cantor measure μα is the unique Borel probability measure on [0, 1] satisfying {\mu ^\alpha }(E) = \sum\nolimits_{n = 0}^{N - 1} {{\alpha _n}{\mu ^\alpha }(\varphi _n^{ - 1}(E))} where ϕn : x ↦ (x + n)/N. In Sections 1 and 2 we examine several general properties of the measure μα and the associated Legendre polynomials in L_{{\mu ^\alpha }}^2 [0, 1]. In Section 3, we (1) compute the Laplacian and moment generating function of μα, (2) characterize precisely when the moments Im = ∫[0,1]xm dμα exhibit either polynomial or exponential decay, and (3) describe an algorithm which estimates the first m moments within uniform error ε in O((log log(1/ε)) · m log m). We also state analogous results in the natural case where α is palindromic for the measure να attained by shifting μα to [−1/2, 1/2].

Multifractal formalism for the inverse of random weak Gibbs measures

2019 ◽  
Vol 20 (04) ◽  
pp. 2050024
Author(s):  
Zhihui Yuan
Keyword(s):  
Probability Measure ◽  
Lebesgue Measure ◽  
Real Line ◽  
Gibbs Measures ◽  
Borel Probability Measure ◽  
Cantor Set ◽  
Multifractal Formalism ◽  
The Real ◽  
Random Dynamics ◽  
Borel Probability

Any Borel probability measure supported on a Cantor set included in [Formula: see text] and of zero Lebesgue measure on the real line possesses a discrete inverse measure. We study the validity of the multifractal formalism for the inverse measures of random weak Gibbs measures. The study requires, in particular, to develop in this context of random dynamics a suitable version of the results known for heterogeneous ubiquity associated with deterministic Gibbs measures.

scholarly journals Dimension, entropy and Lyapunov exponents

1982 ◽  
Vol 2 (1) ◽  
pp. 109-124 ◽  
Author(s):  
Lai-Sang Young
Keyword(s):  
Hausdorff Dimension ◽  
Probability Measure ◽  
Lyapunov Exponents ◽  
Borel Probability Measure ◽  
Fractional Dimension ◽  
Present Context ◽  
Rényi Dimension ◽  
Borel Probability

AbstractWe consider diffeomorphisms of surfaces leaving invariant an ergodic Borel probability measure μ. Define HD (μ) to be the infimum of Hausdorff dimension of sets having full μ-measure. We prove a formula relating HD (μ) to the entropy and Lyapunov exponents of the map. Other classical notions of fractional dimension such as capacity and Rényi dimension are discussed. They are shown to be equal to Hausdorff dimension in the present context.

scholarly journals Haar Null Sets and the Consistent Reflection of Non-meagreness

2014 ◽  
Vol 66 (2) ◽  
pp. 303-322 ◽  
Author(s):  
Márton Elekes ◽  
Juris Steprāns
Keyword(s):  
Probability Measure ◽  
Continuum Hypothesis ◽  
Borel Probability Measure ◽  
Baire Category ◽  
Borel Set ◽  
Polish Group ◽  
Borel Probability ◽  
Haar Null Sets ◽  
Definition Of ◽  
Null Set

AbstractA subset X of a Polish group G is called Haar null if there exist a Borel set B ⊃ X and Borel probability measure μ on G such that μ(gBh) = 0 for every g; h ∊ G. We prove that there exist a set X ⊂ R that is not Lebesgue null and a Borel probability measure μ such that μ (X + t) = 0 for every t ∊ R. This answers a question from David Fremlin’s problem list by showing that one cannot simplify the definition of a Haar null set by leaving out the Borel set B. (The answer was already known assuming the Continuum Hypothesis.)This result motivates the following Baire category analogue. It is consistent with ZFC that there exist an abelian Polish group G and a Cantor set C ⊂ G such that for every non-meagre set X ⊂ G there exists a t ∊ G such that C ∩ (X + t) is relatively non-meagre in C. This essentially generalizes results of Bartoszyński and Burke–Miller.

Study on Strong Sensitivity of Systems Satisfying the Large Deviations Theorem

2021 ◽  
Vol 31 (10) ◽  
pp. 2150151
Author(s):  
Risong Li ◽  
Tianxiu Lu ◽  
Xiaofang Yang ◽  
Yongxi Jiang
Keyword(s):  
Probability Measure ◽  
Characteristic Function ◽  
Large Deviations ◽  
Open Subset ◽  
Metric Space ◽  
Borel Probability Measure ◽  
Compact Metric Space ◽  
Full Support ◽  
Upper Density ◽  
Borel Probability

Let [Formula: see text] be a nontrivial compact metric space with metric [Formula: see text] and [Formula: see text] be a continuous self-map, [Formula: see text] be the sigma-algebra of Borel subsets of [Formula: see text], and [Formula: see text] be a Borel probability measure on [Formula: see text] with [Formula: see text] for any open subset [Formula: see text] of [Formula: see text]. This paper proves the following results : (1) If the pair [Formula: see text] has the property that for any [Formula: see text], there is [Formula: see text] such that [Formula: see text] for any open subset [Formula: see text] of [Formula: see text] and all [Formula: see text] sufficiently large (where [Formula: see text] is the characteristic function of the set [Formula: see text]), then the following hold : (a) The map [Formula: see text] is topologically ergodic. (b) The upper density [Formula: see text] of [Formula: see text] is positive for any open subset [Formula: see text] of [Formula: see text], where [Formula: see text]. (c) There is a [Formula: see text]-invariant Borel probability measure [Formula: see text] having full support (i.e. [Formula: see text]). (d) Sensitivity of the map [Formula: see text] implies positive lower density sensitivity, hence ergodical sensitivity. (2) If [Formula: see text] for any two nonempty open subsets [Formula: see text], then there exists [Formula: see text] satisfying [Formula: see text] for any nonempty open subset [Formula: see text], where [Formula: see text] there exist [Formula: see text] with [Formula: see text].

Multifractal dimensions of product measures

1996 ◽  
Vol 120 (4) ◽  
pp. 709-734 ◽  
Author(s):  
L. Olsen
Keyword(s):  
Probability Measure ◽  
Lower Bounds ◽  
Borel Probability Measure ◽  
Multifractal Spectrum ◽  
Upper And Lower Bounds ◽  
Packing Measure ◽  
Multifractal Spectra ◽  
Product Measures ◽  
Borel Probability ◽  
Image Position

AbstractWe study the multifractal structure of product measures. for a Borel probability measure μ and q, t Є , let and denote the multifractal Hausdorff measure and the multifractal packing measure introduced in [O11] Let μ be a Borel probability merasure on k and let v be a Borel probability measure on t. Fix q, s, t Є . We prove that there exists a number c > 0 such that for E ⊆k, F ⊆l and Hk+l provided that μ and ν satisfy the so-called Federer condition.Using these inequalities we give upper and lower bounds for the multifractal spectrum of μ × ν in terms of the multifractal spectra of μ and ν

Sign in / Sign up

Export Citation Format

Share Document