Skip to content

canopusrecord engine body

field
frontiers
loop
body
docs

vela-science/vela

frontier

vfr_496956067dc5ad79

sources

vs_c4bcf864b97682ef

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

Singer 1938

id: vs_c4bcf864b97682ef
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:Singer 1938

imported

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

extraction mode

manual_curation

authors

agent:research-bot-2026-05-09

Caveats

No source-specific caveats are recorded.

Bound findings

1

Singer's perfect-difference-set construction in projective planes yields Sidon sets in {1,...,N} of size sqrt(N) + O(N^{1/4}), matching the elementary upper bound up to lower-order terms.
theoretical · vf_203f4969695ff256

Evidence atoms

1

vea_599d44bc66b0216etheoretical · unknown
Singer's perfect-difference-set construction in projective planes yields Sidon sets in {1,...,N} of size sqrt(N) + O(N^{1/4}), matching the elementary upper bound up to lower-order terms.

Review, event, and evaluation records

2

events

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

reviewable changes

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

evaluations

No evaluation rows are attached.