Skip to content

canopusrecord engine body

field
frontiers
loop
body
docs

vela-science/vela

frontier

vfr_496956067dc5ad79

sources

vs_09e905c736db9a3d

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

Sanders 2011

id: vs_09e905c736db9a3d
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:Sanders 2011

imported

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

extraction mode

manual_curation

authors

agent:research-bot-2026-05-09

Caveats

No source-specific caveats are recorded.

Bound findings

1

Sanders' bound: density alpha > C * (log log N)^4 / log N is sufficient to guarantee a 3-term AP in any subset of {1,...,N}.
theoretical · vf_e2252a5f8d8a5049

Evidence atoms

1

vea_d329d7aab20b623dtheoretical · unknown
Sanders' bound: density alpha > C * (log log N)^4 / log N is sufficient to guarantee a 3-term AP in any subset of {1,...,N}.

Review, event, and evaluation records

2

events

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

reviewable changes

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

evaluations

No evaluation rows are attached.