{"title":"从可测递归中分离玻尔密度","authors":"John T. Griesmer","doi":"10.19086/da.26859","DOIUrl":null,"url":null,"abstract":"We prove that there is a set of integers $A$ having positive upper Banach density whose difference set $A-A:=\\{a-b:a,b\\in A\\}$ does not contain a Bohr neighborhood of any integer, answering a question asked by Bergelson, Hegyv\\'ari, Ruzsa, and the author, in various combinations. In the language of dynamical systems, this result shows that there is a set of integers $S$ which is dense in the Bohr topology of $\\mathbb Z$ and which is not a set of measurable recurrence. Our proof yields the following stronger result: if $S\\subseteq \\mathbb Z$ is dense in the Bohr topology of $\\mathbb Z$, then there is a set $S'\\subseteq S$ such that $S'$ is dense in the Bohr topology of $\\mathbb Z$ and for all $m\\in \\mathbb Z,$ the set $(S'-m)\\setminus \\{0\\}$ is not a set of measurable recurrence.","PeriodicalId":8442,"journal":{"name":"arXiv: Combinatorics","volume":"35 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2020-02-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Separating Bohr denseness from measurable recurrence\",\"authors\":\"John T. Griesmer\",\"doi\":\"10.19086/da.26859\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We prove that there is a set of integers $A$ having positive upper Banach density whose difference set $A-A:=\\\\{a-b:a,b\\\\in A\\\\}$ does not contain a Bohr neighborhood of any integer, answering a question asked by Bergelson, Hegyv\\\\'ari, Ruzsa, and the author, in various combinations. In the language of dynamical systems, this result shows that there is a set of integers $S$ which is dense in the Bohr topology of $\\\\mathbb Z$ and which is not a set of measurable recurrence. Our proof yields the following stronger result: if $S\\\\subseteq \\\\mathbb Z$ is dense in the Bohr topology of $\\\\mathbb Z$, then there is a set $S'\\\\subseteq S$ such that $S'$ is dense in the Bohr topology of $\\\\mathbb Z$ and for all $m\\\\in \\\\mathbb Z,$ the set $(S'-m)\\\\setminus \\\\{0\\\\}$ is not a set of measurable recurrence.\",\"PeriodicalId\":8442,\"journal\":{\"name\":\"arXiv: Combinatorics\",\"volume\":\"35 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-02-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv: Combinatorics\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.19086/da.26859\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv: Combinatorics","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.19086/da.26859","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Separating Bohr denseness from measurable recurrence
We prove that there is a set of integers $A$ having positive upper Banach density whose difference set $A-A:=\{a-b:a,b\in A\}$ does not contain a Bohr neighborhood of any integer, answering a question asked by Bergelson, Hegyv\'ari, Ruzsa, and the author, in various combinations. In the language of dynamical systems, this result shows that there is a set of integers $S$ which is dense in the Bohr topology of $\mathbb Z$ and which is not a set of measurable recurrence. Our proof yields the following stronger result: if $S\subseteq \mathbb Z$ is dense in the Bohr topology of $\mathbb Z$, then there is a set $S'\subseteq S$ such that $S'$ is dense in the Bohr topology of $\mathbb Z$ and for all $m\in \mathbb Z,$ the set $(S'-m)\setminus \{0\}$ is not a set of measurable recurrence.