Skip to content

canopusrecord engine body

field
frontiers
loop
body
docs

vela-science/vela

frontier

vfr_496956067dc5ad79

sources

vs_50a4cd210cbedc58

resultsread-only vieweressays

Search Canopus

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.

frontiers / frontier

Additive combinatorics: Sidon sets and N(h,k) bounds

CC-BY-4.0vfr_496956067dc5ad79

id: vfr_496956067dc5ad79
license: CC-BY-4.0
findings: 21
accepted core: 1
contested: 1

21

findings

0

links

21

sources

21

evidence

1

contested

0.82

avg conf

recordoverview state sources proofenginereviewbodygraph

Source record

back to sources

Behrend 1946

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

source boundary

frontier-owned

declared

A source record is provenance. It supports a finding only through evidence atoms, extraction spans, and reviewed finding bundles.

finding bindings

record context

1 findings

Findings bound to this source through source ids, evidence atoms, provenance, or reviewed source-record slots.

evidence atoms

materialized

1 atoms

Evidence atoms pin exact spans, measurements, selectors, or curation assertions to the source.

review context

inspectable

1 events

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

Locator and citation

locator

title:Behrend 1946

imported

2026-05-09T22:52:52.298918+00:00

extraction mode

manual_curation

authors

agent:research-bot-2026-05-09

Caveats

No source-specific caveats are recorded.

Bound findings

1

Behrend's construction yields subsets of {1,...,N} of size N * exp(-c * sqrt(log N)) containing no nontrivial 3-term arithmetic progression, the densest such known until 2020.
theoretical · vf_11e2e2a19e75887d

Evidence atoms

1

vea_92db9ae1d5af39f4theoretical · unknown
Behrend's construction yields subsets of {1,...,N} of size N * exp(-c * sqrt(log N)) containing no nontrivial 3-term arithmetic progression, the densest such known until 2020.

Review, event, and evaluation records

2

events

vev_49d1b9096fd11088finding.asserted
Manual finding added to frontier state
agent:research-bot-2026-05-09 · 2026-05-09

reviewable changes

vpr_e8f2d600cbebd03dfinding.add
Manual finding added to frontier state
applied · agent:research-bot-2026-05-09 · 2026-05-09

evaluations

No evaluation rows are attached.