frontiers / 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

used by 1 · replayed by 1 producer · second seat open

e33/33 · finding.asserted · reviewer:will · 2026-06-03 · null→e123

Source record

back to sources

ChatGPT-5.5-Pro session, 2026-05-08, ~2 hours guided

id: vs_0339f84349ab29ec
frontier: Additive combinatorics: Sidon sets and N(h,k) bounds
type: synthetic_report

source boundary

frontier-owned

synthetic

finding bindings

record context

1 findings

evidence atoms

materialized

1 atoms

review context

inspectable

2 events

2 reviewable changes and 0 evaluations are attached through this source or its findings.

citation

locator

title:ChatGPT-5.5-Pro session, 2026-05-08, ~2 hours guided

imported

2026-05-09T19:20:35.222684+00:00

extraction mode

manual_curation

authors

agent:research-bot-2026-05-09

caveats

source requires human review before being treated as evidence

Bound findings

The h-squared-dissociated set construction needed for the polynomial bound has diameter polynomial in k, replacing geometric components in the original construction.
theoretical · vf_3bde881fed68d7dd

Evidence atoms

vea_9a3732d508ed2861theoretical · unknown
The h-squared-dissociated set construction needed for the polynomial bound has diameter polynomial in k, replacing geometric components in the original construction.

Review, event, and evaluation records

events

vev_22c1fb678f86bdbbfinding.reviewed
Bound 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.asserted
Manual finding added to frontier state
agent:research-bot-2026-05-09 · 2026-05-09

reviewable changes

vpr_48072f346e09665ffinding.add
Manual finding added to frontier state
applied · agent:research-bot-2026-05-09 · 2026-05-09
vpr_6908c4cf64f0f4bafinding.review
Bound 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.