evidence boundary
unknownfrontiers / frontier
Additive combinatorics: Sidon sets and N(h,k) bounds
- id
- vfr_496956067dc5ad79
- license
- CC-BY-4.0
- findings
- 22
- accepted core
- 1
- contested
- 1
- links
- 0
- sources
- 22
- evidence
- 22
- avg conf
- 0.83
e33/33 · finding.asserted · reviewer:will · 2026-06-03 · null→e123
Evidence atom
back to sourcesThe h-squared-dissociated set construction needed for the polynomial bound has diameter polynomial in k, replacing geometric components in the original construction.
- id
- vea_9a3732d508ed2861
- frontier
- Additive combinatorics: Sidon sets and N(h,k) bounds
- source
- vs_0339f84349ab29ec
- finding
- vf_3bde881fed68d7dd
finding binding
boundtheoretical
The h-squared-dissociated set construction needed for the polynomial bound has diameter polynomial in k, replacing geometric components in the original construction.
source binding
source-boundChatGPT-5.5-Pro session, 2026-05-08, ~2 hours guided
vs_0339f84349ab29ec
review context
unverified2 events
2 reviewable changes and 0 evaluation records target this atom or its bound objects.
statement
The h-squared-dissociated set construction needed for the polynomial bound has diameter polynomial in k, replacing geometric components in the original construction.
extraction method
manual_curation
support relation
unknown
condition refs
vcnd_59158216f6c83b62
caveats
- missing evidence locator
Review, event, and evaluation records
4events
vev_22c1fb678f86bdbbfinding.reviewedBound and construction look correct under the Nathanson hypothesis but I want a Lean stub before promoting to accepted-core. The proof step that reduces geometric to polynomial diameter needs an explicit witness.
reviewer:will-blair · 2026-05-09
vev_bafff34df7ac6c1cfinding.assertedManual finding added to frontier state
agent:research-bot-2026-05-09 · 2026-05-09
reviewable changes
vpr_48072f346e09665ffinding.addManual finding added to frontier state
applied · agent:research-bot-2026-05-09 · 2026-05-09
vpr_6908c4cf64f0f4bafinding.reviewBound and construction look correct under the Nathanson hypothesis but I want a Lean stub before promoting to accepted-core. The proof step that reduces geometric to polynomial diameter needs an explicit witness.
applied · reviewer:will-blair · 2026-05-09
evaluations
No evaluation rows are attached.