BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Mauro Di Nasso

Mauro Di Nasso contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.LOmath.COmath.NTmath.FAmath.GRmath.DSmath.PR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
19works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

19 published item(s)

preprint2022arXiv

Infinite monochromatic patterns in the integers

We show the existence of several infinite monochromatic patterns in the integers obtained as values of suitable symmetric polynomials. The simplest example is the following. For every finite coloring of the natural numbers $\mathbb{N}=C_1\cup\ldots\cup C_r$, there exists an increasing sequence $a<b<c<\ldots$ such that all elements below are monochromatic, that is, they belong to the same $C_i$: $$a,b,c,\ldots, a+b+ab, a+c+ac, b+c+bc,\ldots,a+b+c+ab+ac+bc+abc,\ldots.$$ The proofs use algebra in the space of ultrafilters $β\mathbb{Z}$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Translation invariant filters and van der Waerden&#39;s Theorem

We present a self-contained proof of a strong version of van der Waerden&#39;s Theorem. By using translation invariant filters that are maximal with respect to inclusion, a simple inductive argument shows the existence of &#34;piecewise syndetically&#34;-many monochromatic arithmetic progressions of any length k in every finite coloring of the natural numbers. All the presented constructions are constructive in nature, in the sense that the involved maximal filters are defined by recurrence on suitable countable algebras of sets. No use of the axiom of choice or of Zorn&#39;s Lemma is needed.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Ramsey properties of nonlinear Diophantine equations

We prove general sufficient and necessary conditions for the partition regularity of Diophantine equations, which extend the classic Rado&#39;s Theorem by covering large classes of nonlinear equations. Sufficient conditions are obtained by exploiting algebraic properties in the space of ultrafilters betaN, grounding on combinatorial properties of positive density sets and IP sets. Necessary conditions are proved by a new technique in nonstandard analysis, based on the use of the relation of u-equivalence for the hypernatural numbers *N.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A monad measure space for logarithmic density

We provide a framework for proofs of structural theorems about sets with positive Banach logarithmic density. For example, we prove that if $A\subseteq \mathbb{N}$ has positive Banach logarithmic density, then $A$ contains an approximate geometric progression of any length. We also prove that if $A,B\subseteq \mathbb{N}$ have positive Banach logarithmic density, then there are arbitrarily long intervals whose gaps on $A\cdot B$ are multiplicatively bounded, a multiplicative version Jin&#39;s sumset theorem. The main technical tool is the use of a quotient of a Loeb measure space with respect to a multiplicative cut.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Finite Embeddability of Sets and Ultrafilters

A set A of natural numbers is finitely embeddable in another such set B if every finite subset of A has a rightward translate that is a subset of B. This notion of finite embeddability arose in combinatorial number theory, but in this paper we study it in its own right. We also study a related notion of finite embeddability of ultrafilters on the natural numbers. Among other results, we obtain connections between finite embeddability and the algebraic and topological structure of the Stone-Cech compactification of the discrete space of natural numbers. We also obtain connections with nonstandard models of arithmetic.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

High density piecewise syndeticity of product sets in amenable groups

M. Beiglböck, V. Bergelson, and A. Fish proved that if $G$ is a countable amenable group and $A$ and $B$ are subsets of $G$ with positive Banach density, then the product set $AB$ is piecewise syndetic. This means that there is a finite subset $E$ of $G$ such that $EAB$ is thick, that is, $EAB$ contains translates of any finite subset of $G$. When $G=\mathbb{Z}$, this was first proven by R. Jin. We prove a quantitative version of the aforementioned result by providing a lower bound on the density (with respect to a Følner sequence) of the set of witnesses to the thickness of $% EAB$. When $G=\mathbb{Z}^d$, this result was first proven by the current set of authors using completely different techniques.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Intersections of shifted sets

We consider shifts of a set $A\subseteq\mathbb{N}$ by elements from another set $B\subseteq\mathbb{N}$, and prove intersection properties according to the relative asymptotic size of $A$ and $B$. A consequence of our main theorem is the following: If $A=\{a_n\}$ is such that $a_n=o(n^{k/k-1})$, then the $k$-recurrence set $R_k(A)=\{x\mid |A\cap(A+x)|\ge k\}$ contains the distance sets of arbitrarily large finite sets.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

On a sumset conjecture of Erdős

Erdős conjectured that for any set $A\subseteq \mathbb{N}$ with positive lower asymptotic density, there are infinite sets $B,C\subseteq \mathbb{N}$ such that $B+C\subseteq A$. We verify Erdős&#39; conjecture in the case that $A$ has Banach density exceeding $\frac{1}{2}$. As a consequence, we prove that, for $A\subseteq \mathbb{N}$ with positive Banach density (a much weaker assumption than positive lower density), we can find infinite $B,C\subseteq \mathbb{N}$ such that $B+C$ is contained in the union of $A$ and a translate of $A$. Both of the aforementioned results are generalized to arbitrary countable amenable groups. We also provide a positive solution to Erdős&#39; conjecture for subsets of the natural numbers that are pseudorandom.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Embeddability Properties of Difference Sets

By using nonstandard analysis, we prove embeddability properties of difference sets $A-B$ of sets of integers. (A set $A$ is &#34;embeddable&#34; into $B$ if every finite configuration of $A$ has shifted copies in $B$.) As corollaries of our main theorem, we obtain improvements of results by I.Z. Ruzsa about intersections of difference sets, and of Jin&#39;s theorem (as refined by V. Bergelson, H. Fürstenberg and B. Weiss), where a precise bound is given on the number of shifts of $A-B$ which are needed to cover arbitrarily large intervals.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Iterated hyper-extensions and an idempotent ultrafilter proof of Rado&#39;s theorem

By using nonstandard analysis, and in particular iterated hyper-extensions, we give foundations to a peculiar way of manipulating ultrafilters on the natural numbers and their pseudo-sums. The resulting formalism is suitable for applications in Ramsey theory of numbers. To illustrate the use of our technique, we give a (rather) short proof of Milliken-Taylor&#39;s Theorem, and a ultrafilter version of Rado&#39;s theorem about partition regularity of diophantine equations.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Nonstandard Analysis and the sumset phenomenon in arbitrary amenable groups

Beiglboeck, Bergelson and Fish proved that if subsets A,B of a countable discrete amenable group G have positive Banach densities a and b respectively, then the product set AB is piecewise syndetic, i.e. there exists k such that the union of k-many left translates of AB is thick. Using nonstandard analysis we give a shorter alternative proof of this result that does not require G to be countable, and moreover yields the explicit bound that k is not greater than 1/ab. We also prove with similar methods that if $\{A_i\}$ are finitely many subsets of G having positive Banach densities $a_i$ and G is countable, then there exists a subset B whose Banach density is at least the product of the densities $a_i$ and such that the product $BB^{-1}$ is a subset of the intersection of the product sets $A_i A_i^{-1}$. In particular, the latter set is piecewise Bohr.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Elementary numerosity and measures

In this paper we introduce the notion of elementary numerosity as a special function defined on all subsets of a given set X which takes values in a suitable non-Archimedean field, and satisfies the same formal properties of finite cardinality. We investigate the relationships between this notion and the notion of measure. The main result is that every non-atomic finitely additive measure is obtained from a suitable elementary numerosity by simply taking its ratio to a unit. In the last section we give applications to this result.

0 citations0 reviewsNo code linkedOpen access