record state
frontier-ownedReview status
This finding is part of accepted frontier state. Review events, reviewable changes, and proof state explain how it can change.
unreviewed
frontiers / frontier
Finding bundle
back to stateno incoming links yet
record state
frontier-ownedThis finding is part of accepted frontier state. Review events, reviewable changes, and proof state explain how it can change.
finding statement
finding typeNo entity list is declared.
evidence
source-boundtheoretical · manual state transition
proof impact
packet context1 reviewable changes and 0 evaluation records are attached to this finding id.
Evidence and conditions
method
manual state transition
evidence type
theoretical
conditions
Provenance
source title
Bohr neighborhood, Bourgain 1990
authors
agent:research-bot-2026-05-09
A Bohr neighborhood B(Lambda, rho) is the set of x in Z/NZ where |gamma * x / N| < rho for all gamma in Lambda; its dimension d = |Lambda| controls density |B| / N >= rho^d, enabling Fourier-analytic density-increment iterations.
vs_551df53378b940f1 · manual_curation
outgoing
No outgoing links.
incoming
No incoming links.
events
vev_0aa1bd97e1fea34dfinding.assertedManual finding added to frontier state
agent:research-bot-2026-05-09 · 2026-05-09
reviewable changes
vpr_432a47d996c5ae1dfinding.addManual finding added to frontier state
applied · agent:research-bot-2026-05-09 · 2026-05-09
evaluations
No evaluation record targets this finding id.