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 staterecord 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
Freiman, G. A. & Ruzsa, I. Z. foundational work on sumset structure; see Grynkiewicz, Structural Additive Theory (2013)
authors
reviewer:will-blair
Sumset doubling (|A+A|/|A|) in finite fields F_p is bounded by |A|^c for constant c depending only on the sumset-growth regime, a foundational lemma for additive-inverse theorems.
vs_6e292a9ce98aa3c1 · manual_curation
outgoing
vf_85dd3ec1897fa85aRuzsa triangle inequality is a meta-inequality that constrains and refines the Freiman-Ruzsa doubling bounds.
vf_212c84b5129bcd03Cauchy-Davenport inequality is the prime-field specialization of Freiman-Ruzsa doubling; both bound |A+B| by cardinalities.
events
vev_a01aab6c08ffa9d8finding.assertedManual finding added to frontier state
reviewer:will-blair · 2026-05-29
reviewable changes
vpr_67bbff08d3e75efefinding.addManual finding added to frontier state
applied · reviewer:will-blair · 2026-05-29
evaluations
No evaluation record targets this finding id.