Skip to content

canopusrecord engine body

field
frontiers
loop
body
docs

vela-science/vela

frontier

vfr_496956067dc5ad79

sources

vs_5e7234813199a87e

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

Lindstrom 1969

id: vs_5e7234813199a87e
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:Lindstrom 1969

imported

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

extraction mode

manual_curation

authors

agent:research-bot-2026-05-09

Caveats

No source-specific caveats are recorded.

Bound findings

1

Lindstrom's upper bound for Sidon-set size in {1,...,N} is sqrt(N) + N^{1/4} + 1, tightening the Erdos-Turan bound by a factor of sqrt(2).
theoretical · vf_f58c1d68daec29c3

Evidence atoms

1

vea_f6b6aca975df9d45theoretical · unknown
Lindstrom's upper bound for Sidon-set size in {1,...,N} is sqrt(N) + N^{1/4} + 1, tightening the Erdos-Turan bound by a factor of sqrt(2).

Review, event, and evaluation records

2

events

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

reviewable changes

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

evaluations

No evaluation rows are attached.