Recently introduced by the authors in [Proc. Edinb. Math. Soc. 60 (2020), 139–167], quasi-densities form a large family of real-valued functions partially defined on the power set of the integers that serve as a unifying framework for the study of many known densities (including the asymptotic density, the Banach density, the logarithmic density, the analytic density, and the Pólya density). We further contribute to this line of research by proving that (1) for each n∈ N+ and α∈ [0 , 1] , there is A⊆ N with kA∈ dom (μ) and μ(kA) = αk/ n for every quasi-density μ and every k= 1 , … , n, where kA: = A+ ⋯ + A is the k-fold sumset of A and dom (μ) denotes the domain of definition of μ; (2) for each α∈ [0 , 1] and every non-empty finite B⊆ N, there is A⊆ N with A+ B∈ dom (μ) and μ(A+ B) = α for every quasi-density μ; (3) for each α∈ [0 , 1] , there exists A⊆ N with 2 A= N such that A∈ dom (μ) and μ(A) = α for every quasi-density μ. Proofs rely on the properties of a little known density first considered by R. C. Buck and the “structure” of the set of all quasi-densities; in particular, they are rather different than previously known proofs of special cases of the same results.

On the density of sumsets

Leonetti P
;
2022-01-01

Abstract

Recently introduced by the authors in [Proc. Edinb. Math. Soc. 60 (2020), 139–167], quasi-densities form a large family of real-valued functions partially defined on the power set of the integers that serve as a unifying framework for the study of many known densities (including the asymptotic density, the Banach density, the logarithmic density, the analytic density, and the Pólya density). We further contribute to this line of research by proving that (1) for each n∈ N+ and α∈ [0 , 1] , there is A⊆ N with kA∈ dom (μ) and μ(kA) = αk/ n for every quasi-density μ and every k= 1 , … , n, where kA: = A+ ⋯ + A is the k-fold sumset of A and dom (μ) denotes the domain of definition of μ; (2) for each α∈ [0 , 1] and every non-empty finite B⊆ N, there is A⊆ N with A+ B∈ dom (μ) and μ(A+ B) = α for every quasi-density μ; (3) for each α∈ [0 , 1] , there exists A⊆ N with 2 A= N such that A∈ dom (μ) and μ(A) = α for every quasi-density μ. Proofs rely on the properties of a little known density first considered by R. C. Buck and the “structure” of the set of all quasi-densities; in particular, they are rather different than previously known proofs of special cases of the same results.
2022
2022
Analytic density; Asymptotic density; Banach density; Buck density; Logarithmic density; Sumsets; Upper and lower densities (and quasi-densities)
Leonetti, P; Tringali, S
File in questo prodotto:
File Dimensione Formato  
Sumsetdensity_2021_07_06.pdf

Open Access dal 20/03/2023

Tipologia: Documento in Post-print
Licenza: Copyright dell'editore
Dimensione 433.49 kB
Formato Adobe PDF
433.49 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/2142071
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact