ProblemsProgression-free sets
Example workspace
Read-only · sample data
Sign in
All problems

Sum-free sets in finite groups

Find sharp density bounds for sum-free subsets of finite cyclic groups.

Established so far

The middle interval is sum-free for the checked prime examples.

Ideas

Test the middle interval in prime cyclic groupsSample ideaThe candidate works at p = 7 and 13. The endpoint convention still needs checking.Open idea ›
Use the first Fourier coefficient for an upper boundSample ideaThe current inequality leaves a gap at density 1/3.Open idea ›
Compare translates of a dense sum-free setSample ideaTwo translate intersections reduce to a counting inequality. The final estimate is open.Open idea ›
Try a weighted count of representationsSample ideaThe current examples do not establish the proposed weighted inequality.Open idea ›