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 of integers greater than is Behrend when its set of multiples , in the notation of Problem 691, has asymptotic density . Let be a block sequence, that is for a fixed . If for positive constants and with , then is Behrend if and is not Behrend if . The paper notes that Erdős's original claim, a critical exponent under the one-sided condition alone, is false as it stands: Theorem A of Hall and Tenenbaum makes non-Behrend for every when, for instance, . 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 . 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 . The case and the general question, a necessary and sufficient condition on an arbitrary for to have density , 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.