Arxiv:1608.00443V1 [Math.MG] 1 Aug 2016 Bopin Tt Fisrael

Home , Packing dimension

arXiv:1608.00443v1 [math.MG] 1 Aug 2016 bopin tt fIsrael. of State Absorption, fractal. random odto)aeipsdo h ag ucin nti ril econs we article this In function. gauge the on imposed are condition) 1. due eo,i a lob on n[1],[5],[6],[9]. in recursiv random found of be definition also The can it ([8]). m below, Mattila packing P. adduced and by Hausdorff monograph of the properties in and definitions The measure. a of limit the in obtained ino w nt sequences finite two of ∆ by tion and ∆, in numbers ossigo h first the of consisting odtoshold. conditions t eghwl edntdby denoted be will length its o-eraigfnto uhthat such function non-decreasing esr,ie uhta 0 that such i.e. measure, olcino admsbeso IR of subsets random of collection a eeaiyisdaee qasoe h osrcini rbblt s probability a is construction The one. equals diameter its generality XC AKN IESO FRNO EFSMLRSETS. SELF-SIMILAR RANDOM OF DIMENSION PACKING EXACT eerhwsspotdb S rn 9/5 etrfrAbsor for Center 396/15; grant ISF by supported was Research e od n phrases. and words Key 2010 Date ups that Suppose Let t counterpart a as 1980’s in arose measure packing of definition The ii o all For (iii) i)Frams every almost For (iv) v)Terno vectors random The (vi) i)Frall For (ii) v h osrcinstse h random the satisfies construction The (v) neatpcigdmninfrteset the for dimension packing exact An (i) etme 1 2018. 11, September : n ahmtc ujc Classification. Subject Mathematics Abstract. ewe h ffpn r ihrcntn lotsrl,o 0. or diamete surely, almost the constant that either assumption are restrictive offsping the the between remove satisfy We constructions include conditions. to constructions recursive random J oooygnrtdb h asoffmti ntesaeo compa of space the on metric Hausdorff the by generated topology that imtrof diameter J provided itntsqecso h aelnt,te Int( then length, same the of sequences distinct ∅ ∈ , ( ω IN = ) J , σ σ = ∆ ( σ ω J J ∈ J ∈ ) eetn h eut rvosypbihdo xc akn dimensio packing exact on published previously results the extend We σ o lotall almost for sacmatsbe fIR of subset compact a is 6= ∆ J ∆ 6= { σ ∗ 1 ∅ ∗ k ( ∅ n , . . . , where , and ω xc akn ieso,pcigmaue admsrn pnse open strong random measure, packing dimension, packing Exact h maps the , ubr in numbers . ) IN admrcrieconstruction recursive random ω h e falterifiiesqecs h euto concatena- of result The sequences. infinite their all of set the ω < σ ∈ T } ∈ | and eoeb ∆ by Denote . σ σ P n all and Ω T | ,tesets the Ω, ( = σ . ϕ ω ∗ ( o sequence a For ω REIBERLINKOV ARTEMI i τ K ∈ ( ϕ T ω σ. → 0)=0,gvn h e oiieadfiiepacking finite and positive set the giving 0), = (0+) rm∆ from ) Ω σ qastertoo h imtrof diameter the of ratio the equals ) d ∗ rmr 87,2A0 eodr 00,60J80. 60D05, Secondary 28A80; 28A78, Primary , < 1 – J T , σ { ∞ σ ( σ J ω ∗ J ∗ σ oadtoa supin lk doubling (like assumptions additional No . ∈ 2 1 r esrbewt epc oΣadthe and Σ to respect with measurable are ) σ d K . . . , ( ∗ sdntdby denoted is fnnepy r emtial iia to similar geometrically are non-empty, if , ω IN uhthat such = ) ⊂ pnstcondition set open | ∗ ω ) σ i , j σ , S ∞ =0 IR ∈ flnt tleast at length of m ∈ ∆ ∈ Ω j J steguefunction gauge the is rhmgnosrno fractal. random homogeneous or , to nSine iityo Immigrant of Ministry Science, in ption IN σ , IN σ h e falfiiesqecsof sequences finite all of set the J ) J , ∗ ∩ r odtoal ...given i.i.d. conditionally are , ∈ Cl(Int( = σ σ Int( n omnyoccurring commonly ing ∗ ∗ ∆ i τ. ∗ sapoe ustof subset proper a is J } o nt sequence finite a For ota h following the that so , τ euto ratios reduction r if : = ) aue a efound be can easures J drrno sets random ider ,σ k, ae(Ω pace )) ∅ σ , osrcinis construction e ..ad finally, and, a.s. h Hausdorff the o | ihu osof loss without and k tsubsets, ct J sasequence a is σ ∗ , ϕ sof ns i Σ ( τ ( condition, t ω t P , ie a (i.e. ) othe to ) r two are with ) J K σ σ , By [1, Proposition 1], we can replace conditional i.i.d. vectors in condition (vi) by an i.i.d. sequence of random vectors Tσ, such that for non-empty offspring the vector components give the diameter reduction ratios between the offspring and the parent. The object of study is the random set

∞ K(ω)= Jσ(ω). k\=1 σ[∆k ∈ Graf et al. in [6] have found under certain conditions the exact Hausdorff dimension of the limit set so that the ϕ-Hausdorff measure of K(ω) is positive and finite almost surely given K(ω) = . In [3] Berlinkov and Mauldin have found an upper bound on exact packing dimension.6 ∅ In [2] Berlinkov proved that under two additional assumptions this upper bound is the best. These assumptions will be shown late, one of them states that there exists δ > 0, such that P (Ti = δ Ti = 0) = 1. In this article we show that the same result holds without the last assumption,| 6 and this allows for more applications (see the examples). 2. Now we will introduce more notation and state the result more precisely. Let α denote the almost sure Hausdorff dimension of the non-empty random limit set K(ω). It is the root of equation (see, e.g. [5]) n α E Ti =1. h Xi=1 i By a result from [3], the packing and Minkowski dimensions also equal α. For σ ∆∗ let lσ(ω) = diam(Jσ(ω)), Kσ(ω) is the limit set we obtain if the code tree ∈ m is pruned to start at σ, Kσ(ω) Jσ(ω). It has been noted (see, e.g. [6]) that for σ ∆ the sums below form a martingale⊂ whose limits is denoted by ∈ α Xσ = lim lσ τ . n ∗ →∞ Xτ =n | | Further, following [9], we define a random measure µω on the clopen cylinder sets A(σ)= IN IN α τ ∆ τ σ = σ ∆ by µω(A(σ)) = lσ (ω)Xσ(ω) and then we extend it to a random { ∈ | | | } ⊂ Radon measure on ∆IN. Following [6] we define measure Q on the space ∆IN Ω. For a Borel subset B ∆IN Ω we put × ⊂ ×

Q(B)= µω(Bω)dP (ω), Z

where Bω are the sections of the set B with respect to the second component. Also we can extend the random variables l , X and T onto the space ∆IN Ω by considering σ σ σ ×

lk(η,ω)= lη k (ω), Xk(η,ω)= Xη k (ω), Tk(η,ω)= Tη k (ω). | | | We show that under the folowing assumption holds the following theorem. Assumption 1. There exist p ,ρ > 0, s 0 and a collection of events R in the 0 0 ≥ σ σ-algebra generated by random vectors (Tτ 1,...,Tτ n), σ τ, τ < σ + s0, such ∗ ∗ ≺ | | | | that Rσ Kσ = = , for every w Rσ Kσ = there exists x Kσ with ∩{ 6 ∅} 6 ∅ s0 ∈ ∩{ 6 ∅} ∈ α dist(x,∂Jσ) ρlσ, and Tσ τ i dP = p0. ≥ Rσ τ =s0 i=1 ∗ | R | P| Q This assumption was proven to hold for random homogeneous self-similar sets [2, Proposition 2] (i.e. sets, for which not only the reduction ratios but also the similar- ity maps between parent and its oﬀspring are i.i.d.). Theorem 1. Suppose that the construction satisﬁes assumption 1, then 2 1. If P (0 < X a) aβ, a 0 and ϕ(t) = tαg(t) is a gauge function, then β+1 g (s) ≤ ≍ ϕ → s ds =+ implies P ( (K(w))=+ K(w) = )=1. + ∞ P ∞| 6 ∅ 0R 2. If log P (0 < X a) a1/β, a 0 for all a (0, 1), then for ϕ(t) = tαg(t) = tα log−log t β, P ( ϕ(≤K(w))≍> 0 K(w)→= )=1. ∈ | | || P | 6 ∅ We call case 1 in the above theorem the case of polynomial decay, and case 2 - the case of exponential decay. To get the same conclusion, Berlinkov [2, Theorem 2] used an additional condition that α for Bk = lk Xk+s0 < Cϕ(lkρ) Rk holds Q(limk Bk) = 1, where Rk is the extension of { IN } ∩ IN events Rσ onto the space ∆ Ω: Rk = (η,ω) ∆ Ω ω Rη k . It was proven that × { ∈ × | ∈ | } the equality Q(limk Bk) = 1 holds under an additional assumption Assumption 2. There exists δ > 0 such that P (Ti = δ Ti = 0) = 1 for all i. We show that this second assumption is not necessary| by6 proving the following

α Proposition 2. Let Bk = lk Xk+s0 < Cϕ(lkρ) Rk, then Q(limk Bk)=1 for all constants C small enough in{ polynomial case, and} in∩ exponential case for all constants ∞ C for which the series Q(Bk) diverges. kP=1 Together with [3, Theorem 6], in which the exact packing dimension bound was proven from the other side, this allows us to tell the exact packing dimension in the case of exponential decay or absence of one in the case of polynomial decay. The results from the article of Q. Liu ([7]) sometimes allow us to determine the exponent of decay, and whether it is polynomial or exponential. Current state of results about small ball probabilities of the martingale limit to the extent of the author’s knowledge covers only a fraction of the cases we may have. 3. Let us have look at some examples. In the following example the rate of decay is polynomial and the reduction ratios are independent, which allows us to apply [7, Theorem 4.1(iii)]. Example 1. A random Cantor set. Choose two numbers independently at random with respect to the uniform distribution from J0 = [0, 1]. Let J1, J2 be the rightmost and leftmost subintervals of the partition (cf. [6, Example 6.3]). Then the vector (T1, T2) has density 2 with respect to the Lebesgue measure on the triangle 0 T , T 1, T + T 1. By [9, Example 4.2], the Hausdorff ≤ 1 2 ≤ 1 2 ≤ dimension α =(√17 3)/2. From geometrical considerations − P (T < x)= P (T < x)= x x2/2, 1 2 − and thus P (T α < x)= P (T α < x)=(x x2/2)1/α. 1 2 − By [7, Theorem 4.1], P (X < x) x2/α, x 0. Hence for all gauge functions the corresponding packing measure will be≍ either 0 or→ infinite, depending on the integral test (note that we do not require the doubling condition, as noted in the beginning of this note), therefore the exact packing dimension function does not exist as opposed to the α 1 α exact Hausdorff dimension function, which equals t log log t − (cf. [6, Example 6.3]). The next example is complicated by the fact that| the| reduction|| ratios are not independent. Example 2. The zero set of the Brownian bridge. 3 0 Let Bt denote the one-dimensional Brownian motion starting at 0. Then Bt = Bt tB1 is the Brownian bridge (0 t 1). This set can be considered as a random− self- ≤ ≤ 0 similar set as pointed out in [6, Example 6.1]. If we define τ1 = inf t 1/2 Bt = 0 , 0 { ≤ | } τ2 = sup t 1/2 Bt = 0 , and set J0 = [0, 1], J1 = [0, τ1], J2 = [τ2, 1] and continue by recursion,{ then≥ the| zero set} of the Brownian bridge can be represented as a random self- similar set with reduction ratios T1 = τ1 and T2 =1 τ2 which are identically distributed but dependent random variables with joint distribution− density (cf. [6, (6.12)])

1 1/2 3/2 f(u, v)= 11[0,1/2] [0,1/2](u, v)(vt)− (1 v t)− 2π × − − The Hausdorﬀ dimension of this set α = 1/2 a.s. By Example 6.3 in [6], for all ξ ξ 0 <ξ< 1/2 holds E[1/ min(T1 , T2 Ti > 0)] < . By [6, (6.9)] and from the article of Chung [4, (2.6)] we can deduce that| ∞ 2 P (T < x)= P (T < x)= arcsin x √x, x 0 1 2 π ≍ → α α and therefore P (T1 < x) = P (T2 < x) x, x 0. Thus by [7, Theorem 2.4] we have P (X < x) = O(x2). For the lower probability≍ → estimate of P (X < x) we can use [7, Lemma 3.4(i)]. To get an asymptotic estimate, according to that lemma, it suﬃces to prove that P (T α + T α < x) Cx2 for some constant C > 0 when x approaches 0. 1 2 ≥ 1/2 1/2 α α 1 1/2 3/2 α α P (T1 + T2 < x)= EP [11 T1 +T2

√1/2 √1/2 α α 2 2 2 3/2 P (T1 + T2 < x)= 11z+y

π/2 √3x/2 α α 2 rdrdφ 2 1/2 √3x/2 P (T + T < x) = (1 r )− 1 2 ≥ π Z Z (1 r2)3/2 − |0 0 0 − 1 3x2 = 1 , x 0. 1 3x2/4 − ≍ 8 → − p Thus we can state that there is no exact packing dimension for the zero set of the Brownian bridge. 4. In order to prove Proposition 2 we will use the following result from the article of Ortega and Wschebor ([10]), which is an extension of Borel-Cantelli lemma.

∞ Theorem 3. Let Bk k∞=1 be a sequence of events in a probability space such that Q(Bk)= { } k=1 , and P ∞ Q(BiBj) Q(Bi)Q(Bj) 1 i 0 in polynomial case, and for all k=1 α αEQ[ log T1 ] β P 1/β C > ρ− e | | t0− , where t0 = lim x− log P (0 < X x) < , in exponen- x 0 − ≤ ∞ tial case was established in [2, Proposition→ 1]. Then Proposition 2 immediately follows by Theorem 3 from divergence of the series and the following lemma

Lemma 4. In polynomial case there exists M > 0 such that for all constants C small enough

j 1 − Q(B B ) Q(B )Q(B ) MQ(B ). i j − i j ≤ j Xi=1 In the exponential case there exists M > 0 such that the above inequality holds for all ∞ values of C for which the series Q(Bk) diverges. kP=1

Proof. To estimate the expressions Q(BiBj) Q(Bi)Q(Bj), note that by [2, Lemma 6] we have − Q(B )= p Q(lαX Cϕ(ρl )), i 0 i i+s0 ≤ i and by [2, Lemma 10], for all i and j such that i + s0 < j, we have

Q(B B ) p Q(Y Cραg(l ρ))Q(B ), i j ≤ 0 i,j ≤ i j j where Y = X X T α. Thus i,j i+s0 − j k k=i+Qs0+1 Q(B B ) Q(B )Q(B ) i j − i j ≤ j p Q(B )Q Cραg(l ρ)

Note that α M1 := EQ[T1 ] < 1, (3) and choose δ (M , 1). The last factor in inequality (2) can be estimated as follows ∈ 1

j Q Cραg(l ρ) δ − − , (4) i i+s0 ≤ i j k k=iY+s0+1 and the last term in the above inequality (4) can be bounded by Markov’s inequality

j α j s0 i j i s0 Q X T > δ − − < E [X ](M /δ) − − , (5) j k Q 0 1 k=iY+s0+1 5 Note that by [7, Corollary to Theorem 2.2] we have the Q-density of Q(0 < X a) ≤ bounded by constant M2 on [0, 1], so

j 1 j − Q Cραg(l ρ)

j s0 1 − − j s0 i j i s0 α j s0 i s + M δ − − + E[X ](M /δ) − − + Q(Cρ g(l ρ) > 1 δ − − ) (6) 0 2 0 1 i − Xi=1 Note that by [9, (1.14)], l (ω) 0 a.s., and suppose that lim g(t) = θ > 0 (this can i ց 0+ only happen in case of polynomial decay). There exists t0 > 0 such that for all t < t0 we have g(ρt) < 2θ. Then for all C such that (1 δ)/Cρα > 2θ we have − ∞ ∞ ∞ Q(Cραg(l ρ) > 1 δ) Q(l > t ) E [T ]i/t < . i − ≤ i 0 ≤ Q 1 0 ∞ Xi=1 Xi=1 Xi=1

∞ α In case lim0+ g(t) = 0 the considerations the inequluality Q(Cρ g(liρ) > 1 δ) < i=1 − ∞ holds for all C by similar considerations. P References [1] A. Berlinkov, On random fractals with infinite branching: Definition, measurability, dimensions, Ann. Inst. H. PoincarèProbab. Statist. 49, 1080–1089 (2013). [2] A. Berlinkov, Exact packing dimension in random recursive constructions, Prob. Theor. Rel. Fields 126, pp. 477–496 (2003). [3] A. Berlinkov and R. D. Mauldin, Packing measure and dimension of random fractals, J. Theoret. Probab., 15, No. 3, pp. 695–713 (2002). [4] K. L. Chung, Excursions in Brownian motion, Ark. Math. 14, pp. 155–177 (1976). [5] K. J. Falconer. Random Fractals. M ath. Proc. Camb. Philos. Soc. 100 (1986), pp. 559–582. [6] S. Graf, R. D. Mauldin and S. C. Williams. T he exact Hausdorff dimension in random recursive constructions, Mem. Am. Math. Soc. 381 (1988). [7] Q. Liu, Asymptotic properties and absolute continuity of laws stable by random weighted mean, Stochastic Process. Appl. 95, pp. 83–107 (2001). [8] P. Mattila , Geometry of sets and measures in Euclidean spaces. Cambridge University Press, Cam- bridge (1995). [9] R. D. Mauldin and S. C. Williams, Random recursive constructions: asymtotic geometric and topological properties. Trans. Am. Math. Soc. 295, 325–346 (1986). [10] J. Ortega and M. Wschebor, On the sequences of partial maxima of some random sequences, Sto- chastic Process. Appl. 16, 85–98, (1983).

Department of Mathemtics, Bar-Ilan University, Ramat Gan, 5290002, Israel E-mail address: [email protected]