Some new multi-cell Ramsey theoretic results

V. Bergelson, N. Hindman
{"title":"Some new multi-cell Ramsey theoretic results","authors":"V. Bergelson, N. Hindman","doi":"10.1090/bproc/109","DOIUrl":null,"url":null,"abstract":"<p>We extend an old Ramsey Theoretic result which guarantees sums of terms from all partition regular linear systems in one cell of a partition of the set <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper N\">\n <mml:semantics>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">N</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathbb {N}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> of positive integers. We were motivated by a quite recent result which guarantees a sequence in one set with all of its sums two or more at a time in the complement of that set. A simple instance of our new results is the following. Let <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper P Subscript f Baseline left-parenthesis double-struck upper N right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">P</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>f</mml:mi>\n </mml:mrow>\n </mml:msub>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">N</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathcal {P}_{f}(\\mathbb {N})</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> be the set of finite nonempty subsets of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper N\">\n <mml:semantics>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">N</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathbb {N}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. Given any finite partition <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper R\">\n <mml:semantics>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">R</mml:mi>\n </mml:mrow>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">{\\mathcal R}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> of <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper N\">\n <mml:semantics>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">N</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathbb {N}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, there exist <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper B 1\">\n <mml:semantics>\n <mml:msub>\n <mml:mi>B</mml:mi>\n <mml:mn>1</mml:mn>\n </mml:msub>\n <mml:annotation encoding=\"application/x-tex\">B_1</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper B 2\">\n <mml:semantics>\n <mml:msub>\n <mml:mi>B</mml:mi>\n <mml:mn>2</mml:mn>\n </mml:msub>\n <mml:annotation encoding=\"application/x-tex\">B_2</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A Subscript 1 comma 2\">\n <mml:semantics>\n <mml:msub>\n <mml:mi>A</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>1</mml:mn>\n <mml:mo>,</mml:mo>\n <mml:mn>2</mml:mn>\n </mml:mrow>\n </mml:msub>\n <mml:annotation encoding=\"application/x-tex\">A_{1,2}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, and <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A Subscript 2 comma 1\">\n <mml:semantics>\n <mml:msub>\n <mml:mi>A</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>2</mml:mn>\n <mml:mo>,</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n </mml:msub>\n <mml:annotation encoding=\"application/x-tex\">A_{2,1}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> in <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"script upper R\">\n <mml:semantics>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">R</mml:mi>\n </mml:mrow>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">{\\mathcal R}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> and sequences <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"mathematical left-angle x Subscript 1 comma n Baseline mathematical right-angle Subscript n equals 1 Superscript normal infinity\">\n <mml:semantics>\n <mml:mrow>\n <mml:mo fence=\"false\" stretchy=\"false\">⟨<!-- ⟨ --></mml:mo>\n <mml:msub>\n <mml:mi>x</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>1</mml:mn>\n <mml:mo>,</mml:mo>\n <mml:mi>n</mml:mi>\n </mml:mrow>\n </mml:msub>\n <mml:msubsup>\n <mml:mo fence=\"false\" stretchy=\"false\">⟩<!-- ⟩ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>n</mml:mi>\n <mml:mo>=</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n <mml:mi mathvariant=\"normal\">∞<!-- ∞ --></mml:mi>\n </mml:msubsup>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\langle x_{1,n}\\rangle _{n=1}^\\infty</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> and <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"mathematical left-angle x Subscript 2 comma n Baseline mathematical right-angle Subscript n equals 1 Superscript normal infinity\">\n <mml:semantics>\n <mml:mrow>\n <mml:mo fence=\"false\" stretchy=\"false\">⟨<!-- ⟨ --></mml:mo>\n <mml:msub>\n <mml:mi>x</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>2</mml:mn>\n <mml:mo>,</mml:mo>\n <mml:mi>n</mml:mi>\n </mml:mrow>\n </mml:msub>\n <mml:msubsup>\n <mml:mo fence=\"false\" stretchy=\"false\">⟩<!-- ⟩ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>n</mml:mi>\n <mml:mo>=</mml:mo>\n <mml:mn>1</mml:mn>\n </mml:mrow>\n <mml:mi mathvariant=\"normal\">∞<!-- ∞ --></mml:mi>\n </mml:msubsup>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\langle x_{2,n}\\rangle _{n=1}^\\infty</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> in <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"double-struck upper N\">\n <mml:semantics>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">N</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathbb {N}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> such that (1) for each <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper F element-of script upper P Subscript f Baseline left-parenthesis double-struck upper N right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>F</mml:mi>\n <mml:mo>∈<!-- ∈ --></mml:mo>\n <mml:msub>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">P</mml:mi>\n </mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>f</mml:mi>\n </mml:mrow>\n </mml:msub>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"double-struck\">N</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">F\\in \\mathcal {P}_{f}(\\mathbb {N})</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"sigma-summation Underscript t element-of upper F Endscripts x Subscript 1 comma t element-of upper B 1\">\n <mml:semantics>\n <mml:mrow>\n <mml:munder>\n <mml:mo>∑<!-- ∑ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>t</mml:mi>\n <mml:mo>∈<!-- ∈ --></mml:mo>\n <mml:mi>F</mml:mi>\n </mml:mrow>\n </mml:munder>\n <mml:msub>\n <mml:mi>x</mml:mi>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mn>1</mml:mn>\n <mml:mo>,</mml:mo>\n <mml:mi>t</mml:mi>\n </mml:mrow>\n </mml:msub>\n <mml:mo>∈<!-- ∈ --></mml:mo>\n <mml:msub>\n <mml:mi>B</mml:mi>\n <mml:mn>1</mml:mn>\n </mml:msub>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\sum _{t\\in F}x_{1,t}\\in B_1</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> and <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"sigma-summation Underscript t element-of upper F Endscripts x Subscript 2 comma t element-of upper B 2\">\n <mml:semantics>\n <mml:mrow>\n <mml:munder>\n <mml:mo>∑<!-- ∑ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi>t</mml:mi>\n <mml:mo>∈<!-- ∈ --></mml:mo>\n <mml:mi>F</mml:mi>\n </mml:mrow>\n </mml:munder>\n ","PeriodicalId":106316,"journal":{"name":"Proceedings of the American Mathematical Society, Series B","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-12-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the American Mathematical Society, Series B","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/bproc/109","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

We extend an old Ramsey Theoretic result which guarantees sums of terms from all partition regular linear systems in one cell of a partition of the set N \mathbb {N} of positive integers. We were motivated by a quite recent result which guarantees a sequence in one set with all of its sums two or more at a time in the complement of that set. A simple instance of our new results is the following. Let P f ( N ) \mathcal {P}_{f}(\mathbb {N}) be the set of finite nonempty subsets of N \mathbb {N} . Given any finite partition R {\mathcal R} of N \mathbb {N} , there exist B 1 B_1 , B 2 B_2 , A 1 , 2 A_{1,2} , and A 2 , 1 A_{2,1} in R {\mathcal R} and sequences x 1 , n n = 1 \langle x_{1,n}\rangle _{n=1}^\infty and x 2 , n n = 1 \langle x_{2,n}\rangle _{n=1}^\infty in N \mathbb {N} such that (1) for each F P f ( N ) F\in \mathcal {P}_{f}(\mathbb {N}) , t F x 1 , t B 1 \sum _{t\in F}x_{1,t}\in B_1 and t F

查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
一些新的多细胞拉姆齐理论结果
推广了一个旧的Ramsey理论结果,该结果保证了正整数集N \mathbb N{的一个划分单元中所有划分正则线性系统的项和。我们被一个最近的结果所激励,这个结果保证了一个集合中的一个序列,它的和在同一时间有两个或两个以上在该集合的补中。下面是我们新结果的一个简单实例。设pf (N) }\mathcal P_f{(}{}\mathbb N{)是N }\mathbb N{的有限非空子集的集合。给定任意有限划分R }{\mathcal R (}N\mathbb N{),在R }{}{}{\mathcal R和}序列和a2,1 A_2,1,N⟩N =1∞\langle x_1, N{}\rangle _n=1{^ }\infty和⟨x 2,n⟩n=1∞\langle x_2,n{}\rangle _n=1{^ }\infty在n \mathbb n{中使得(1)对于每个F∈P F (n) F }\in\mathcal P_f{(}{}\mathbb n{),∑t∈F x1,t∈b1 }\sum _t{\in Fx_1},t {}\in B_1,∑t∈F
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
来源期刊
CiteScore
1.60
自引率
0.00%
发文量
0
期刊最新文献
A new proof of the Gagliardo–Nirenberg and Sobolev inequalities: Heat semigroup approach The strong Lefschetz property for quadratic reverse lexicographic ideals Explicit bounds on the coefficients of modular polynomials for the elliptic 𝑗-invariant Nonergodicity of the geodesic flow on a special class of Cantor tree surfaces Nonexistence of nontrivial solutions to Kirchhoff-like equations
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1