Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. Corollary 2 of G. Tenenbaum, On block Behrend sequences, Math. Proc. Cambridge Philos. Soc. 120 (1996), no. 2, 355--367 (card tenenbaum_1996_block_behrend_sequences). A set AA of integers greater than 11 is Behrend when its set of multiples MAM_A, in the notation of Problem 691, has asymptotic density 11. Let A=⋃j(Tj,HjTj]∩Z+A=\bigcup_j(T_j,H_jT_j]\cap\mathbb Z^+ be a block sequence, that is 1+Tjη−1≤Hj≤min⁡{Tj,Tj+1/Tj}1+T_j^{\eta-1}\le H_j\le\min\{T_j,T_{j+1}/T_j\} for a fixed η>0\eta>0. If 1+c1≤Tj+1/Tj≤1+c21+c_1\le T_{j+1}/T_j\le1+c_2 for positive constants c1,c2c_1,c_2 and Hj=1+j−αH_j=1+j^{-\alpha} with α>0\alpha>0, then AA is Behrend if α<log⁡2\alpha<\log2 and is not Behrend if α>log⁡2\alpha>\log2. The paper notes that Erdős's original claim, a critical exponent under the one-sided condition Tj+1/Tj≥1+c1T_{j+1}/T_j\ge1+c_1 alone, is false as it stands: Theorem A of Hall and Tenenbaum makes AA non-Behrend for every α\alpha when, for instance, Tj=exp⁡exp⁡jT_j=\exp\exp j. Tenenbaum writes that he understood from later discussions with Erdős that a two-sided condition on the ratios was meant, so that the corollary confirms the conjecture exactly, with the added information that the critical exponent is log⁡2\log2. The paper presents the corollary as an immediate consequence of its Theorem 1 and of Theorem A. The page is dated to the issue month, August 1996, as the publisher's record gives it.

Covers. Erdős's threshold conjecture for this family of block sequences, in its two-sided form, proved with critical exponent log⁡2\log2. The case α=log⁡2\alpha=\log2 and the general question, a necessary and sufficient condition on an arbitrary AA for MAM_A to have density 11, remain open; the paper calls effective general criteria very difficult, if not hopeless, to obtain with present techniques.

Depends on. No page of this wiki. The corollary follows from the paper's Theorem 1 and from Theorem A of Hall and Tenenbaum, which the paper cites.

Acceptance. Refereed: the journal paper cited above. The site's commentary says that Tenenbaum proves this conjecture, but the site labels the problem OPEN, so the commentary is a remark on a partial result and adds no reviewed evidence.