大密度集合中形式为B+B$ B+B$的无限无限制集合

IF 0.9 3区 数学 Q2 MATHEMATICS Bulletin of the London Mathematical Society Pub Date : 2024-11-08 DOI:10.1112/blms.13180
Ioannis Kousek, Tristán Radić
{"title":"大密度集合中形式为B+B$ B+B$的无限无限制集合","authors":"Ioannis Kousek,&nbsp;Tristán Radić","doi":"10.1112/blms.13180","DOIUrl":null,"url":null,"abstract":"<p>For a set <span></span><math>\n <semantics>\n <mrow>\n <mi>A</mi>\n <mo>⊂</mo>\n <mi>N</mi>\n </mrow>\n <annotation>$A \\subset {\\mathbb {N}}$</annotation>\n </semantics></math>, we characterize the existence of an infinite set <span></span><math>\n <semantics>\n <mrow>\n <mi>B</mi>\n <mo>⊂</mo>\n <mi>N</mi>\n </mrow>\n <annotation>$B \\subset {\\mathbb {N}}$</annotation>\n </semantics></math> and <span></span><math>\n <semantics>\n <mrow>\n <mi>t</mi>\n <mo>∈</mo>\n <mo>{</mo>\n <mn>0</mn>\n <mo>,</mo>\n <mn>1</mn>\n <mo>}</mo>\n </mrow>\n <annotation>$t \\in \\lbrace 0,1\\rbrace$</annotation>\n </semantics></math> such that <span></span><math>\n <semantics>\n <mrow>\n <mi>B</mi>\n <mo>+</mo>\n <mi>B</mi>\n <mo>⊂</mo>\n <mi>A</mi>\n <mo>−</mo>\n <mi>t</mi>\n </mrow>\n <annotation>$B+B \\subset A-t$</annotation>\n </semantics></math>, where <span></span><math>\n <semantics>\n <mrow>\n <mi>B</mi>\n <mo>+</mo>\n <mi>B</mi>\n <mo>=</mo>\n <mo>{</mo>\n <msub>\n <mi>b</mi>\n <mn>1</mn>\n </msub>\n <mo>+</mo>\n <msub>\n <mi>b</mi>\n <mn>2</mn>\n </msub>\n <mo>:</mo>\n <msub>\n <mi>b</mi>\n <mn>1</mn>\n </msub>\n <mo>,</mo>\n <msub>\n <mi>b</mi>\n <mn>2</mn>\n </msub>\n <mo>∈</mo>\n <mi>B</mi>\n <mo>}</mo>\n </mrow>\n <annotation>$B+B =\\lbrace b_1+b_2\\colon b_1,b_2 \\in B\\rbrace$</annotation>\n </semantics></math>, in terms of the density of the set <span></span><math>\n <semantics>\n <mi>A</mi>\n <annotation>$A$</annotation>\n </semantics></math>. Specifically, when the lower density <span></span><math>\n <semantics>\n <mrow>\n <munder>\n <mrow>\n <mrow></mrow>\n <mspace></mspace>\n <mi>d</mi>\n </mrow>\n <mo>̲</mo>\n </munder>\n <mrow>\n <mo>(</mo>\n <mi>A</mi>\n <mo>)</mo>\n </mrow>\n <mo>&gt;</mo>\n <mn>1</mn>\n <mo>/</mo>\n <mn>2</mn>\n </mrow>\n <annotation>$\\underline{\\mathop {}\\!\\mathrm{d}}(A) &gt;1/2$</annotation>\n </semantics></math> or the upper density <span></span><math>\n <semantics>\n <mrow>\n <mover>\n <mrow>\n <mrow></mrow>\n <mspace></mspace>\n <mi>d</mi>\n </mrow>\n <mo>¯</mo>\n </mover>\n <mrow>\n <mo>(</mo>\n <mi>A</mi>\n <mo>)</mo>\n </mrow>\n <mo>&gt;</mo>\n <mn>2</mn>\n <mo>/</mo>\n <mn>3</mn>\n </mrow>\n <annotation>$\\overline{\\mathop {}\\!\\mathrm{d}}(A)&gt; 2/3$</annotation>\n </semantics></math>, the existence of such a set <span></span><math>\n <semantics>\n <mrow>\n <mi>B</mi>\n <mo>⊂</mo>\n <mi>N</mi>\n </mrow>\n <annotation>$B\\subset {\\mathbb {N}}$</annotation>\n </semantics></math> and <span></span><math>\n <semantics>\n <mrow>\n <mi>t</mi>\n <mo>∈</mo>\n <mo>{</mo>\n <mn>0</mn>\n <mo>,</mo>\n <mn>1</mn>\n <mo>}</mo>\n </mrow>\n <annotation>$t\\in \\lbrace 0,1\\rbrace$</annotation>\n </semantics></math> is assured. Furthermore, whenever <span></span><math>\n <semantics>\n <mrow>\n <munder>\n <mrow>\n <mrow></mrow>\n <mspace></mspace>\n <mi>d</mi>\n </mrow>\n <mo>̲</mo>\n </munder>\n <mrow>\n <mo>(</mo>\n <mi>A</mi>\n <mo>)</mo>\n </mrow>\n <mo>&gt;</mo>\n <mn>3</mn>\n <mo>/</mo>\n <mn>4</mn>\n </mrow>\n <annotation>$\\underline{\\mathop {}\\!\\mathrm{d}}(A) &gt; 3/4$</annotation>\n </semantics></math> or <span></span><math>\n <semantics>\n <mrow>\n <mover>\n <mrow>\n <mrow></mrow>\n <mspace></mspace>\n <mi>d</mi>\n </mrow>\n <mo>¯</mo>\n </mover>\n <mrow>\n <mo>(</mo>\n <mi>A</mi>\n <mo>)</mo>\n </mrow>\n <mo>&gt;</mo>\n <mn>5</mn>\n <mo>/</mo>\n <mn>6</mn>\n </mrow>\n <annotation>$\\overline{\\mathop {}\\!\\mathrm{d}}(A)&gt;5/6$</annotation>\n </semantics></math>, we show that the shift <span></span><math>\n <semantics>\n <mi>t</mi>\n <annotation>$t$</annotation>\n </semantics></math> is unnecessary and we also provide examples to show that these bounds are sharp. Finally, we construct a syndetic three-coloring of the natural numbers that does not contain a monochromatic <span></span><math>\n <semantics>\n <mrow>\n <mi>B</mi>\n <mo>+</mo>\n <mi>B</mi>\n <mo>+</mo>\n <mi>t</mi>\n </mrow>\n <annotation>$B+B+t$</annotation>\n </semantics></math> for any infinite set <span></span><math>\n <semantics>\n <mrow>\n <mi>B</mi>\n <mo>⊂</mo>\n <mi>N</mi>\n </mrow>\n <annotation>$B \\subset {\\mathbb {N}}$</annotation>\n </semantics></math> and number <span></span><math>\n <semantics>\n <mrow>\n <mi>t</mi>\n <mo>∈</mo>\n <mi>N</mi>\n </mrow>\n <annotation>$t \\in {\\mathbb {N}}$</annotation>\n </semantics></math>.</p>","PeriodicalId":55298,"journal":{"name":"Bulletin of the London Mathematical Society","volume":"57 1","pages":"48-68"},"PeriodicalIF":0.9000,"publicationDate":"2024-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/blms.13180","citationCount":"0","resultStr":"{\"title\":\"Infinite unrestricted sumsets of the form \\n \\n \\n B\\n +\\n B\\n \\n $B+B$\\n in sets with large density\",\"authors\":\"Ioannis Kousek,&nbsp;Tristán Radić\",\"doi\":\"10.1112/blms.13180\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>For a set <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>A</mi>\\n <mo>⊂</mo>\\n <mi>N</mi>\\n </mrow>\\n <annotation>$A \\\\subset {\\\\mathbb {N}}$</annotation>\\n </semantics></math>, we characterize the existence of an infinite set <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>B</mi>\\n <mo>⊂</mo>\\n <mi>N</mi>\\n </mrow>\\n <annotation>$B \\\\subset {\\\\mathbb {N}}$</annotation>\\n </semantics></math> and <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>t</mi>\\n <mo>∈</mo>\\n <mo>{</mo>\\n <mn>0</mn>\\n <mo>,</mo>\\n <mn>1</mn>\\n <mo>}</mo>\\n </mrow>\\n <annotation>$t \\\\in \\\\lbrace 0,1\\\\rbrace$</annotation>\\n </semantics></math> such that <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>B</mi>\\n <mo>+</mo>\\n <mi>B</mi>\\n <mo>⊂</mo>\\n <mi>A</mi>\\n <mo>−</mo>\\n <mi>t</mi>\\n </mrow>\\n <annotation>$B+B \\\\subset A-t$</annotation>\\n </semantics></math>, where <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>B</mi>\\n <mo>+</mo>\\n <mi>B</mi>\\n <mo>=</mo>\\n <mo>{</mo>\\n <msub>\\n <mi>b</mi>\\n <mn>1</mn>\\n </msub>\\n <mo>+</mo>\\n <msub>\\n <mi>b</mi>\\n <mn>2</mn>\\n </msub>\\n <mo>:</mo>\\n <msub>\\n <mi>b</mi>\\n <mn>1</mn>\\n </msub>\\n <mo>,</mo>\\n <msub>\\n <mi>b</mi>\\n <mn>2</mn>\\n </msub>\\n <mo>∈</mo>\\n <mi>B</mi>\\n <mo>}</mo>\\n </mrow>\\n <annotation>$B+B =\\\\lbrace b_1+b_2\\\\colon b_1,b_2 \\\\in B\\\\rbrace$</annotation>\\n </semantics></math>, in terms of the density of the set <span></span><math>\\n <semantics>\\n <mi>A</mi>\\n <annotation>$A$</annotation>\\n </semantics></math>. Specifically, when the lower density <span></span><math>\\n <semantics>\\n <mrow>\\n <munder>\\n <mrow>\\n <mrow></mrow>\\n <mspace></mspace>\\n <mi>d</mi>\\n </mrow>\\n <mo>̲</mo>\\n </munder>\\n <mrow>\\n <mo>(</mo>\\n <mi>A</mi>\\n <mo>)</mo>\\n </mrow>\\n <mo>&gt;</mo>\\n <mn>1</mn>\\n <mo>/</mo>\\n <mn>2</mn>\\n </mrow>\\n <annotation>$\\\\underline{\\\\mathop {}\\\\!\\\\mathrm{d}}(A) &gt;1/2$</annotation>\\n </semantics></math> or the upper density <span></span><math>\\n <semantics>\\n <mrow>\\n <mover>\\n <mrow>\\n <mrow></mrow>\\n <mspace></mspace>\\n <mi>d</mi>\\n </mrow>\\n <mo>¯</mo>\\n </mover>\\n <mrow>\\n <mo>(</mo>\\n <mi>A</mi>\\n <mo>)</mo>\\n </mrow>\\n <mo>&gt;</mo>\\n <mn>2</mn>\\n <mo>/</mo>\\n <mn>3</mn>\\n </mrow>\\n <annotation>$\\\\overline{\\\\mathop {}\\\\!\\\\mathrm{d}}(A)&gt; 2/3$</annotation>\\n </semantics></math>, the existence of such a set <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>B</mi>\\n <mo>⊂</mo>\\n <mi>N</mi>\\n </mrow>\\n <annotation>$B\\\\subset {\\\\mathbb {N}}$</annotation>\\n </semantics></math> and <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>t</mi>\\n <mo>∈</mo>\\n <mo>{</mo>\\n <mn>0</mn>\\n <mo>,</mo>\\n <mn>1</mn>\\n <mo>}</mo>\\n </mrow>\\n <annotation>$t\\\\in \\\\lbrace 0,1\\\\rbrace$</annotation>\\n </semantics></math> is assured. Furthermore, whenever <span></span><math>\\n <semantics>\\n <mrow>\\n <munder>\\n <mrow>\\n <mrow></mrow>\\n <mspace></mspace>\\n <mi>d</mi>\\n </mrow>\\n <mo>̲</mo>\\n </munder>\\n <mrow>\\n <mo>(</mo>\\n <mi>A</mi>\\n <mo>)</mo>\\n </mrow>\\n <mo>&gt;</mo>\\n <mn>3</mn>\\n <mo>/</mo>\\n <mn>4</mn>\\n </mrow>\\n <annotation>$\\\\underline{\\\\mathop {}\\\\!\\\\mathrm{d}}(A) &gt; 3/4$</annotation>\\n </semantics></math> or <span></span><math>\\n <semantics>\\n <mrow>\\n <mover>\\n <mrow>\\n <mrow></mrow>\\n <mspace></mspace>\\n <mi>d</mi>\\n </mrow>\\n <mo>¯</mo>\\n </mover>\\n <mrow>\\n <mo>(</mo>\\n <mi>A</mi>\\n <mo>)</mo>\\n </mrow>\\n <mo>&gt;</mo>\\n <mn>5</mn>\\n <mo>/</mo>\\n <mn>6</mn>\\n </mrow>\\n <annotation>$\\\\overline{\\\\mathop {}\\\\!\\\\mathrm{d}}(A)&gt;5/6$</annotation>\\n </semantics></math>, we show that the shift <span></span><math>\\n <semantics>\\n <mi>t</mi>\\n <annotation>$t$</annotation>\\n </semantics></math> is unnecessary and we also provide examples to show that these bounds are sharp. Finally, we construct a syndetic three-coloring of the natural numbers that does not contain a monochromatic <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>B</mi>\\n <mo>+</mo>\\n <mi>B</mi>\\n <mo>+</mo>\\n <mi>t</mi>\\n </mrow>\\n <annotation>$B+B+t$</annotation>\\n </semantics></math> for any infinite set <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>B</mi>\\n <mo>⊂</mo>\\n <mi>N</mi>\\n </mrow>\\n <annotation>$B \\\\subset {\\\\mathbb {N}}$</annotation>\\n </semantics></math> and number <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>t</mi>\\n <mo>∈</mo>\\n <mi>N</mi>\\n </mrow>\\n <annotation>$t \\\\in {\\\\mathbb {N}}$</annotation>\\n </semantics></math>.</p>\",\"PeriodicalId\":55298,\"journal\":{\"name\":\"Bulletin of the London Mathematical Society\",\"volume\":\"57 1\",\"pages\":\"48-68\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2024-11-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1112/blms.13180\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Bulletin of the London Mathematical Society\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/blms.13180\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Bulletin of the London Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://londmathsoc.onlinelibrary.wiley.com/doi/10.1112/blms.13180","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

摘要

对于集合a∧N $A \subset {\mathbb {N}}$,我们刻画一个无限集B∧N $B \subset {\mathbb {N}}$且t∈{0的存在性,1}$t \in \lbrace 0,1\rbrace$这样B + B∧A−t $B+B \subset A-t$,式中B + {B = b1 + b2:b1 b2∈b}$B+B =\lbrace b_1+b_2\colon b_1,b_2 \in B\rbrace$,用集合A的密度表示$A$。具体来说,当较低密度d _ (A) &gt;1 / 2 $\underline{\mathop {}\!\mathrm{d}}(A) &gt;1/2$或上密度d¯(A)&gt;2 / 3 $\overline{\mathop {}\!\mathrm{d}}(A)&gt; 2/3$,存在这样一个集合B∧N $B\subset {\mathbb {N}}$且t∈{0},1 $t\in \lbrace 0,1\rbrace$放心。更进一步,当d _ (A) &gt;3 / 4 $\underline{\mathop {}\!\mathrm{d}}(A) &gt; 3/4$或d¯(A) &gt;5 / 6 $\overline{\mathop {}\!\mathrm{d}}(A)&gt;5/6$,我们证明了移到$t$是不必要的,我们还提供了例子来证明这些界限是明显的。 最后,对于任意无限集B∧N $B \子集{\mathbb {N}}$,构造一个不包含单色B+B+t$的自然数的合成三着色和数字t∈N $t \in {\mathbb {N}}$。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Infinite unrestricted sumsets of the form B + B $B+B$ in sets with large density

For a set A N $A \subset {\mathbb {N}}$ , we characterize the existence of an infinite set B N $B \subset {\mathbb {N}}$ and t { 0 , 1 } $t \in \lbrace 0,1\rbrace$ such that B + B A t $B+B \subset A-t$ , where B + B = { b 1 + b 2 : b 1 , b 2 B } $B+B =\lbrace b_1+b_2\colon b_1,b_2 \in B\rbrace$ , in terms of the density of the set A $A$ . Specifically, when the lower density d ̲ ( A ) > 1 / 2 $\underline{\mathop {}\!\mathrm{d}}(A) >1/2$ or the upper density d ¯ ( A ) > 2 / 3 $\overline{\mathop {}\!\mathrm{d}}(A)> 2/3$ , the existence of such a set B N $B\subset {\mathbb {N}}$ and t { 0 , 1 } $t\in \lbrace 0,1\rbrace$ is assured. Furthermore, whenever d ̲ ( A ) > 3 / 4 $\underline{\mathop {}\!\mathrm{d}}(A) > 3/4$ or d ¯ ( A ) > 5 / 6 $\overline{\mathop {}\!\mathrm{d}}(A)>5/6$ , we show that the shift t $t$ is unnecessary and we also provide examples to show that these bounds are sharp. Finally, we construct a syndetic three-coloring of the natural numbers that does not contain a monochromatic B + B + t $B+B+t$ for any infinite set B N $B \subset {\mathbb {N}}$ and number t N $t \in {\mathbb {N}}$ .

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
CiteScore
1.90
自引率
0.00%
发文量
198
审稿时长
4-8 weeks
期刊介绍: Published by Oxford University Press prior to January 2017: http://blms.oxfordjournals.org/
期刊最新文献
A note on relative Gelfand–Fuks cohomology of spheres Hausdorff dimension of double-base expansions and binary shifts with a hole Graph morphisms as groupoid actors A remark on inverse limits of effective subshifts Non-amenability of mapping class groups of infinite-type surfaces and graphs
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1