Searcharxiv⌕ Search

arXiv subjects

Saúl Rodríguez Martín

Publications and source records attributed to Saúl Rodríguez Martín.

5 recordsLinked to original sources

An ergodic approach to equations of the form $x+y=\lfloorα(n)\rfloor$

Motivated by questions and results of Erdős, Sárközy and Sós (1989), and Khalfalah and Szemerédi (2006), we introduce an ergodic approach to additive problems concerning solutions of equations of the form \[ x+y=\lfloorα(n)\rfloor,\quad x,y\in A,n\in\mathbb{N} \] where $α(t)$ is a sufficiently regular function, such as a polynomial or a logarithmico-exponential function of polynomial growth (e.g. $α(t)=t^{5/2}+t^2\log t$), and $A$ is either a given set of positive upper density, or a cell of a prescribed finite partition of $\mathbb{N}$. We give a complete description of the Hardy field functions of polynomial growth for which these partition and density problems are always solvable. The ergodic approach also applies to the more general problem of finding $x\in A_1,y\in A_2$, where $A_1,A_2$ are two given sets of positive density. This in turn allows us to treat equations of the form $kx+ly=\lfloorα(n)\rfloor$, where $k,l\in\mathbb{Z}$. Some of our results also hold true when $A$ is a subset of the primes with positive relative upper density.

math.NT↗

Solutions to 6 problems in recurrence and Van der Corput sets

We present solutions to six problems concerning sets of nice recurrence and van der Corput (vdC) sets. We answer a question of Moreira, repeated by Fish and Skinner, by showing that every set of ergodic nice recurrence is a set of nice recurrence. We answer questions of Bergelson as well as Bergelson and Lesigne by showing that every set of nice recurrence is a nice vdC-set, that the family of nice vdC-sets is partition regular, and that the family of sets of nice recurrence is partition regular. We mention that Chapman independently proved that sets of nice recurrence are partition regular. We answer a question of Kelly and Lê, a special case of which was previously asked by Peres, and show that for every nontrivial compact metrizable group $K$, every $K$-vdC set is also a vdC set. Lastly, we answer a question of Farhangi, Rodríguez, and Tucker-Drob and show that for any countably infinite discrete group $G$, a vdC set in $G$ is a set of operatorial recurrence in $G$. The initial solutions to these problems were produced by an AI system. The authors checked their correctness, simplified and reformulated them as clear, human-readable proofs, and situated the resulting contributions within the existing literature.

math.DS↗

Some novel constructions of optimal Gromov-Hausdorff-optimal correspondences between spheres

In this article, as a first contribution, we provide alternative proofs of recent results by Harrison and Jeffs which determine the precise value of the Gromov-Hausdorff (GH) distance between the circle $\mathbb{S}^1$ and the $n$-dimensional sphere $\mathbb{S}^n$ (for any $n\in\mathbb{N}$) when endowed with their respective geodesic metrics. Additionally, we prove that the GH distance between $\mathbb{S}^3$ and $\mathbb{S}^4$ is equal to $\frac{1}{2}\arccos\left(\frac{-1}{4}\right)$, thus settling the case $n=3$ of a conjecture by Lim, Mémoli and Smith.

math.MG↗

An inverse of Furstenberg's correspondence principle and applications to van der Corput sets

We obtain an inverse of Furstenberg's correspondence principle in the setting of countable cancellative, amenable semigroups. Besides being of intrinsic interest on its own, this result allows us to answer a variety of questions concerning sets of recurrence and van der Corput (vdC) sets, which were posed by Bergelson and Lesigne \cite{BL}, Bergelson and Ferré Moragues \cite{BF}, Kelly and Lê \cite{KL}, and Moreira \cite{Mor}. We also prove a spectral characterization of vdC sets and prove some of their basic properties in the context of countable amenable groups. Several results in this article were independently found by Sohail Farhangi and Robin Tucker-Drob, see \cite{FT}.

math.GR↗

Gromov-Hausdorff distances from simply connected geodesic spaces to the circle

We prove that the Gromov-Hausdorff distance from the circle with its geodesic metric to any simply connected geodesic space is never smaller than $\fracπ{4}$. We also prove that this bound is tight through the construction of a simply connected geodesic space $\mathrm{E}$ which attains the lower bound $\fracπ{4}$. We deduce the first statement from a general result that we also establish which gives conditions on how small the Gromov-Hausdorff distance between two geodesic metric spaces $(X, d_X)$ and $(Y, d_Y )$ has to be in order for $π_1(X)$ and $π_1(Y)$ to be isomorphic.

math.MG↗