Skip to content

Credit Beigel–Gasarch for the 205/12 square-difference construction - #175

Open
Chessing234 wants to merge 1 commit into
teorth:mainfrom
Chessing234:fix/c4b-bg2008-attribution
Open

Credit Beigel–Gasarch for the 205/12 square-difference construction#175
Chessing234 wants to merge 1 commit into
teorth:mainfrom
Chessing234:fix/c4b-bg2008-attribution

Conversation

@Chessing234

Copy link
Copy Markdown
Contributor

Refs #168 (item 3).

The C_{4b} table credited $\tfrac12(1+\log 12/\log 205)\approx 0.733412$ only to Lewko 2015. Beigel–Gasarch, arXiv:0804.4892 (2008), already prove that bound as Theorem 3.7, with the explicit residue set

$S={0,2,8,14,77,79,85,96,103,109,111,181}$ modulo $205$.

Lewko's 2015 EJC abstract records the same exponent independently; it stays in the references and in the comments column. The numerical value is unchanged.

Test plan

  • Checked Theorem 3.7 and the residue set against the arXiv HTML
  • Checked Lewko 2015 EJC abstract for the same formula
  • README table cell left at 0.733412

Made with Cursor

The recorded exponent 1/2(1+log 12 / log 205) is Theorem 3.7 of arXiv:0804.4892 (2008), with an explicit 12-element residue class modulo 205. Lewko 2015 publishes the same exponent independently and should not be the sole citation.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant