Large sets in finite fields are sumsets

For a prime p, a subset S of Zp is a sumset if S=A+A for some A⊂Zp. Let f(p) denote the maximum integer so that every subset S⊂Zp of size at least p−f(p) is a sumset. The question of determining or estimating f(p) was raised by Green. He showed that for all sufficiently large p, and proved, with Gowers, that f(p)<cp2/3log1/3p for some absolute constant c. Here we improve these estimates, showing that there are two absolute positive constants c₁,c₂ so that for all sufficiently large p,

     

Some properties of Baire sets and sets of positive measure

In un lavoro classico Steinhaus ha dimostrato undici teoremi interessanti nei quali si considerano insiemi distanziali di sottoinsiemi della linea reale,aventi misura di Lebesgue positiva. Majumder ha dimostrato che sono validi teoremi analoghi a quelli di Steinhaus per insiemi del tipoR(E)={x/y: x,y∈E} doveE∪R; 0?E. In questo lavoro si considerano funzioni generali e si investiga sui quali degli undici teoremi di Steinhaus possono essere generalizzati. Nell'articolo, inoltre, usando una funzione generalef, vengono dati risultati analoghi a quelli di Steinhaus per insiemi di Baire.     

Iterated sumsets and setpartitions

The Ramanujan Journal - Let $$G\cong {\mathbb {Z}}/m_1{\mathbb {Z}}\times \cdots \times {\mathbb {Z}}/m_r{\mathbb {Z}}$$ be a finite abelian group with $$m_1\mid \cdots \mid m_r=\exp (G)$$ . The...     

Self-similar sets of zero Hausdorff measure and positive packing measure

We prove that there exist self-similar sets of zero Hausdorff measure, but positive and finite packing measure, in their dimension; for instance, for almost everyu ∈ [3, 6], the set of all sums ∑ ₀ ⁸ a _n 4⁻ⁿ a _n 4⁻ⁿ with digits witha _n ∈ {0, 1,u} has this property. Perhaps surprisingly, this behavior is typical in various families of self-similar sets, e.g., for projections of certain planar self-similar sets to lines. We establish the Hausdorff measure result using special properties of self-similar sets, but the result on packing measure is obtained from a general complement to Marstrand’s projection theorem, that relates the Hausdorff measure of an arbitrary Borel set to the packing measure of its projections. Research of Y. Peres was partially supported by NSF grant #DMS-9803597. Research of K. Simon was supported in part by the OTKA foundation grant F019099. Research of B. Solomyak was supported in part by NSF grant #DMS 9800786, the Fulbright Foundation, and the Institute of Mathematics at The Hebrew University of Jerusalem.     

The measure of non-normal sets

Summary It is well-known that almost every number in [0, 1] is normal in base 2, in the sense of Lebesgue measure. Kahane and Salem asked whether the same is true with respect to any Borel measure whose Fourier-Stieltjes coefficients vanish at infinity — in other words, whether the set of non-normal numbers is a set of uniqueness in the wide sense. We show that this is not the case. In fact, we give best-possible conditions on the rate of decay of in order that -almost every number be normal. The techniques include, on the one hand, probability measures with respect to which the binary digits in [0, 1] are independent only by blocks, rather than individually, and on the other hand, the strong law of large numbers for weakly correlated random variables.This work was partially supported by an NSF Graduate Fellowship, NSF Grant MCS-82-01602, and an AMS Research Fellowship.     

Differentiation of sets in measure

Suppose F(ε), for each ε∈[0,1], is a bounded Borel subset of Rd and F(ε)→F(0) as ε→0. Let A(ε)=F(ε)?F(0) be symmetric difference and P be an absolutely continuous measure on Rd. We introduce the notion of derivative of F(ε) with respect to ε, dF(ε)/dε=dA(ε)/dε, such that

     

Ultrametric Cantor sets and growth of measure

A class of ultrametric Cantor sets (C, d _u ) introduced recently (S. Raut and D. P. Datta, Fractals 17, 45–52 (2009)) is shown to enjoy some novel properties. The ultrametric d _u is defined using the concept of relative infinitesimals and an inversion rule. The associated (infinitesimal) valuation which turns out to be both scale and reparametrization invariant, is identified with the Cantor function associated with a Cantor set $ \tilde C $ \tilde C , where the relative infinitesimals are supposed to live in. These ultrametrics are both metrically as well as topologically inequivalent compared to the topology induced by the usual metric. Every point of the original Cantor set C is identified with the closure of the set of gaps of $ \tilde C $ \tilde C . The increments on such an ultrametric space is accomplished by following the inversion rule. As a consequence, Cantor functions are reinterpreted as locally constant functions on these extended ultrametric spaces. An interesting phenomenon, called growth of measure, is studied on such an ultrametric space. Using the reparametrization invariance of the valuation it is shown how the scale factors of a Lebesgue measure zero Cantor set might get deformed leading to a deformed Cantor set with a positive measure. The definition of a new valuated exponent is introduced which is shown to yield the fatness exponent in the case of a positive measure (fat) Cantor set. However, the valuated exponent can also be used to distinguish Cantor sets with identical Hausdorff dimension and thickness. A class of Cantor sets with Hausdorff dimension log₃ 2 and thickness 1 are constructed explicitly.     

Primes in sumsets

We obtain an upper bound for the number of pairs \( (a,b) \in {A\times B} \) such that \( a+b \) is a prime number, where \( A, B \subseteq \{1,\ldots ,N \}\) with \(|A||B| \, \gg \frac{N^2}{(\log {N})^2}\), \(\, N \ge 1\) an integer. This improves on a bound given by Balog, Rivat, and Sárközy.     

Strongly meager and strong measure zero sets

 In this paper we present two consistency results concerning the existence of large strong measure zero and strongly meager sets. RID="ID=" <E5>Mathematics Subject Classification (2000):</E5>&ensp;03E35 RID="ID=" The first author was supported by Alexander von Humboldt Foundation and NSF grant DMS 95-05375. The second author was partially supported by Basic Research Fund, Israel Academy of Sciences, publication 658 Received: 6 January 1999 / Revised version: 20 July 1999 / Published online: 25 February 2002 RID=" ID=" <E5>Mathematics Subject Classification (2000):</E5>&ensp;03E35 RID=" ID=" The first author was supported by Alexander von Humboldt Foundation and NSF grant DMS 95-05375. The second author was partially supported by Basic Research Fund, Israel Academy of Sciences, publication 658     

Sum of Cantor sets: Self-similarity and measure

In this note it is shown that the sum of two homogeneous Cantor sets is often a uniformly contracting self-similar set and it is given a sufficient condition for such a set to be of Lebesgue measure zero (in fact, of Hausdorff dimension less than one and positive Hausdorff measure at this dimension).

     

Projections, entropy and sumsets

In this paper we shall generalize Shearer??s entropy inequality and its recent extensions by Madiman and Tetali, and shall apply projection inequalities to deduce extensions of some of the inequalities concerning sums of sets of integers proved recently by Gyarmati, Matolcsi and Ruzsa. We shall also discuss projection and entropy inequalities and their connections.     

Self-affine sets with positive Lebesgue measure

Using techniques introduced by C. Güntürk, we prove that the attractors of a family of overlapping self-affine iterated function systems contain a neighbourhood of zero for all parameters in a certain range. This corresponds to giving conditions under which a single sequence may serve as a ‘simultaneous β$\beta$-expansion’ of different numbers in different bases.     

A characterization of strong measure zero sets

We show that a setXυR has strong measure zero iff for every closed measure zero setFυR,F+X has measure zero. Supported by KBN grant PB 2 1017 91 01.     

Tangent measure distributions of hyperbolic Cantor sets

Tangent measure distributions were introduced byBandt [2] andGraf [8] as a means to describe the local geometry of self-similar sets generated by iteration of contractive similitudes. In this paper we study the tangent measure distributions of hyperbolic Cantor sets generated by certain contractive mappings, which are not necessarily similitudes. We show that the tangent measure distributions of these sets equipped with either Hausdorff- or Gibbs measure are unique almost everywhere and give an explicit formula describing them as probability distributions on the set of limit models ofBedford andFisher [5].     

Pluripolarity of sets with small Hausdorff measure

We show that any set E⊂C ⁿ , n≥ 2, with finite Hausdorff measure? is pluripolar. The result is sharp with respect to the measuring function. The new idea in the proof is to combine a construction from potential theory, related to the real variational integral , , with properties of the pluricomplex relative extremal function for the Bedford–Taylor capacity. Received: 20 May 1999     

Hausdorff measure of infinitely generated self-similar sets

We analyze self-similarity with respect to infinite sets of similitudes from a measure-theoretic point of view. We extend classic results for finite systems of similitudes satisfying the open set condition to the infinite case. We adopt Vitali-type techniques to approximate overlapping self-similar sets by non-overlapping self-similar sets. As an application we show that any open and bounded set with a boundary of null Lebesgue measure always contains a self-similar set generated by a countable system of similitudes and with Lebesgue measure equal to that ofA.     

The Hausdorff measure of the self-similar sets

The self-similar sets satisfying the open condition have been studied. An estimation of fractal, by the definition can only give the upper limit of its Hausdorff measure. So to judge if such an upper limit is its exact value or not is important. A negative criterion has been given. As a consequence, the Marion’s conjecture on the Hausdorff measure of the Koch curve has been proved invalid. Project partially supported by the State Scientific Commission and the State Education Commission.