{"title":"关于Erdős和Graham的问题","authors":"J.-H. Fang, J.-Y. He","doi":"10.1007/s10474-025-01515-5","DOIUrl":null,"url":null,"abstract":"<div><p>For a positive real number <span>\\(\\gamma\\)</span>, let <span>\\(A_{\\gamma}\\)</span>\nbe the sequence <span>\\(\\{\\lfloor \\gamma\\rfloor, \\lfloor 2\\gamma\\rfloor, \\lfloor 2^2\\gamma\\rfloor, \\ldots \\}\\)</span>, where <span>\\(\\lfloor x\\rfloor\\)</span> denotes the greatest integer not greater than <span>\\(x\\)</span>. For positive real numbers <span>\\(\\alpha\\)</span> and <span>\\(\\beta\\)</span>, write\n<span>\\(A_{\\alpha,\\beta}=A_{\\alpha}\\cup A_{\\beta}\\)</span>. Erdős and Graham [2] posed the following problem: suppose that <span>\\(\\alpha\\)</span> and <span>\\(\\beta\\)</span> are positive real numbers with <span>\\(\\alpha/\\beta\\)</span> irrational. Can all sufficiently large integers be represented as the sum of distinct terms of <span>\\(A_{\\alpha,\\beta}\\)</span>? Afterwards, Hegyvári [3] proved that, for <span>\\(\\alpha\\ge 2\\)</span> and <span>\\(\\beta=2^n\\alpha\\)</span> for some positive integer <span>\\(n\\)</span>, there exist infinitely many positive integers which cannot be represented as the sum of distinct terms of <span>\\(A_{\\alpha,\\beta}\\)</span>. Recently, Jiang and Ma [5] further consider the case <span>\\(1<\\alpha<2\\)</span>. For a sequence <span>\\(A\\)</span> of nonnegative integers, let <span>\\(P(A)\\)</span> be the set of all integers which can be represented as the sum of distinct terms of <span>\\(A\\)</span>. In this paper, for a class of positive real numbers <span>\\(\\alpha\\)</span> and <span>\\(\\beta(=2^l\\alpha)\\)</span>, we determine all positive integers <span>\\(x\\)</span> \nsuch that <span>\\(x+\\sum_{i=0}^ua_{l+i}\\not\\in P(A_{\\alpha,\\beta})\\)</span> for every nonnegative integer <span>\\(u\\)</span>. That is, <span>\\(x+\\sum_{i=0}^ua_{l+i}\\not\\in P(A_{\\alpha,\\beta})\\)</span> for every nonnegative integer <span>\\(u\\)</span> if and only if <span>\\(1\\le x<a_l\\)</span> and <span>\\(x\\not\\in P(\\{a_0, \\ldots ,a_{l-1}\\})\\)</span>. Other related results are also obtained.</p></div>","PeriodicalId":50894,"journal":{"name":"Acta Mathematica Hungarica","volume":"175 2","pages":"532 - 542"},"PeriodicalIF":0.6000,"publicationDate":"2025-04-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On a problem of Erdős and Graham\",\"authors\":\"J.-H. Fang, J.-Y. He\",\"doi\":\"10.1007/s10474-025-01515-5\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>For a positive real number <span>\\\\(\\\\gamma\\\\)</span>, let <span>\\\\(A_{\\\\gamma}\\\\)</span>\\nbe the sequence <span>\\\\(\\\\{\\\\lfloor \\\\gamma\\\\rfloor, \\\\lfloor 2\\\\gamma\\\\rfloor, \\\\lfloor 2^2\\\\gamma\\\\rfloor, \\\\ldots \\\\}\\\\)</span>, where <span>\\\\(\\\\lfloor x\\\\rfloor\\\\)</span> denotes the greatest integer not greater than <span>\\\\(x\\\\)</span>. For positive real numbers <span>\\\\(\\\\alpha\\\\)</span> and <span>\\\\(\\\\beta\\\\)</span>, write\\n<span>\\\\(A_{\\\\alpha,\\\\beta}=A_{\\\\alpha}\\\\cup A_{\\\\beta}\\\\)</span>. Erdős and Graham [2] posed the following problem: suppose that <span>\\\\(\\\\alpha\\\\)</span> and <span>\\\\(\\\\beta\\\\)</span> are positive real numbers with <span>\\\\(\\\\alpha/\\\\beta\\\\)</span> irrational. Can all sufficiently large integers be represented as the sum of distinct terms of <span>\\\\(A_{\\\\alpha,\\\\beta}\\\\)</span>? Afterwards, Hegyvári [3] proved that, for <span>\\\\(\\\\alpha\\\\ge 2\\\\)</span> and <span>\\\\(\\\\beta=2^n\\\\alpha\\\\)</span> for some positive integer <span>\\\\(n\\\\)</span>, there exist infinitely many positive integers which cannot be represented as the sum of distinct terms of <span>\\\\(A_{\\\\alpha,\\\\beta}\\\\)</span>. Recently, Jiang and Ma [5] further consider the case <span>\\\\(1<\\\\alpha<2\\\\)</span>. For a sequence <span>\\\\(A\\\\)</span> of nonnegative integers, let <span>\\\\(P(A)\\\\)</span> be the set of all integers which can be represented as the sum of distinct terms of <span>\\\\(A\\\\)</span>. In this paper, for a class of positive real numbers <span>\\\\(\\\\alpha\\\\)</span> and <span>\\\\(\\\\beta(=2^l\\\\alpha)\\\\)</span>, we determine all positive integers <span>\\\\(x\\\\)</span> \\nsuch that <span>\\\\(x+\\\\sum_{i=0}^ua_{l+i}\\\\not\\\\in P(A_{\\\\alpha,\\\\beta})\\\\)</span> for every nonnegative integer <span>\\\\(u\\\\)</span>. That is, <span>\\\\(x+\\\\sum_{i=0}^ua_{l+i}\\\\not\\\\in P(A_{\\\\alpha,\\\\beta})\\\\)</span> for every nonnegative integer <span>\\\\(u\\\\)</span> if and only if <span>\\\\(1\\\\le x<a_l\\\\)</span> and <span>\\\\(x\\\\not\\\\in P(\\\\{a_0, \\\\ldots ,a_{l-1}\\\\})\\\\)</span>. Other related results are also obtained.</p></div>\",\"PeriodicalId\":50894,\"journal\":{\"name\":\"Acta Mathematica Hungarica\",\"volume\":\"175 2\",\"pages\":\"532 - 542\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2025-04-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Acta Mathematica Hungarica\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s10474-025-01515-5\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Acta Mathematica Hungarica","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s10474-025-01515-5","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
For a positive real number \(\gamma\), let \(A_{\gamma}\)
be the sequence \(\{\lfloor \gamma\rfloor, \lfloor 2\gamma\rfloor, \lfloor 2^2\gamma\rfloor, \ldots \}\), where \(\lfloor x\rfloor\) denotes the greatest integer not greater than \(x\). For positive real numbers \(\alpha\) and \(\beta\), write
\(A_{\alpha,\beta}=A_{\alpha}\cup A_{\beta}\). Erdős and Graham [2] posed the following problem: suppose that \(\alpha\) and \(\beta\) are positive real numbers with \(\alpha/\beta\) irrational. Can all sufficiently large integers be represented as the sum of distinct terms of \(A_{\alpha,\beta}\)? Afterwards, Hegyvári [3] proved that, for \(\alpha\ge 2\) and \(\beta=2^n\alpha\) for some positive integer \(n\), there exist infinitely many positive integers which cannot be represented as the sum of distinct terms of \(A_{\alpha,\beta}\). Recently, Jiang and Ma [5] further consider the case \(1<\alpha<2\). For a sequence \(A\) of nonnegative integers, let \(P(A)\) be the set of all integers which can be represented as the sum of distinct terms of \(A\). In this paper, for a class of positive real numbers \(\alpha\) and \(\beta(=2^l\alpha)\), we determine all positive integers \(x\)
such that \(x+\sum_{i=0}^ua_{l+i}\not\in P(A_{\alpha,\beta})\) for every nonnegative integer \(u\). That is, \(x+\sum_{i=0}^ua_{l+i}\not\in P(A_{\alpha,\beta})\) for every nonnegative integer \(u\) if and only if \(1\le x<a_l\) and \(x\not\in P(\{a_0, \ldots ,a_{l-1}\})\). Other related results are also obtained.
期刊介绍:
Acta Mathematica Hungarica is devoted to publishing research articles of top quality in all areas of pure and applied mathematics as well as in theoretical computer science. The journal is published yearly in three volumes (two issues per volume, in total 6 issues) in both print and electronic formats. Acta Mathematica Hungarica (formerly Acta Mathematica Academiae Scientiarum Hungaricae) was founded in 1950 by the Hungarian Academy of Sciences.