Existence of similar point configurations in thin subsets of ℝ^d

We prove the existence of similar and multi-similar point configurations (or simplexes) in sets of fractional Hausdorff dimension in Euclidean space. Let d ≥ 2 and E⊂ℝ^d be a compact set. For k≥ 1 , define Δ _k(E)={( |x^1-x^2|, … , |x^i-x^j|,… , |x^k-x^k+1|) : { x^i} _i=1^k+1⊂ E}⊂ℝ^k(k+1)/2, the (k+1) -point configuration set of E . For k≤ d , this is (up to permutations) the set of congruences of (k+1) -point configurations in E ; for k>d , it is the edge-length set of (k+1) -graphs whose vertices are in E . Previous works by a number of authors have found values s_k,ds_k,d , then Δ _k(E) has positive Lebesgue measure. In this paper we study more refined properties of Δ _k(E) , namely the existence of similar or multi–similar configurations. For r∈ℝ, r>0 , let Δ _k^r(E):={𝐭 ∈Δ _k( E) : r𝐭 ∈Δ _k( E) }⊂Δ _k( E) . We show that if _ℋ(E)>s_k,d , for a natural measure ν _k on Δ _k(E) , one has all r∈ℝ_+ . Thus, in E there exist many pairs of (k+1) -point configurations which are similar by the scaling factor r . We extend this to show the existence of multi–similar configurations of any multiplicity. These results can be viewed as variants and extensions, for compact thin sets, of theorems of Furstenberg, Katznelson and Weiss [ 7 ], Bourgain [ 2 ] and Ziegler [ 11 ] for sets of positive density in ℝ^d .