{"id":"https://openalex.org/W7204490781","doi":"https://doi.org/10.5281/zenodo.22131948","title":"Cameron-Erd\u0151s Conjecture on Sum-Free Sets","display_name":"Cameron-Erd\u0151s Conjecture on Sum-Free Sets","publication_year":2026,"publication_date":"2026-08-27","ids":{"openalex":"https://openalex.org/W7204490781","doi":"https://doi.org/10.5281/zenodo.22131948"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.22131948","doi":"https://doi.org/10.5281/zenodo.22131948","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22131948","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.22131948","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5148453860","display_name":"Charles EDOU NZE","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"EDOU NZE, Charles","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5148453860"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9848999977111816,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.9848999977111816,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.009100000374019146,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.00559999980032444,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/sum-free-sets","display_name":"sum-free sets","score":0.9319999814033508},{"id":"https://openalex.org/keywords/odd-numbers","display_name":"odd integers","score":0.7149999737739563},{"id":"https://openalex.org/keywords/3-uniform-hypergraphs","display_name":"3-uniform hypergraphs","score":0.8629999756813049},{"id":"https://openalex.org/keywords/arithmetic-regularities","display_name":"arithmetic regularities","score":0.6309999823570251},{"id":"https://openalex.org/keywords/discrete-fourier-analysis","display_name":"discrete Fourier analysis","score":0.734000027179718},{"id":"https://openalex.org/keywords/additive-combinatorics","display_name":"additive combinatorics","score":0.7990000247955322}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.858299970626831},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7645000219345093},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6897000074386597},{"id":"https://openalex.org/C197657726","wikidata":"https://www.wikidata.org/wiki/Q174733","display_name":"Bipartite graph","level":3,"score":0.6103000044822693},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.548799991607666},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.5406000018119812},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5141000151634216},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.41819998621940613},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3709999918937683},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.3702999949455261},{"id":"https://openalex.org/C130498168","wikidata":"https://www.wikidata.org/wiki/Q170008","display_name":"Arithmetic progression","level":2,"score":0.3531000018119812},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.352400004863739},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.33480000495910645},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.32499998807907104},{"id":"https://openalex.org/C159254197","wikidata":"https://www.wikidata.org/wiki/Q1144915","display_name":"Lexicographical order","level":2,"score":0.28450000286102295},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.28139999508857727},{"id":"https://openalex.org/C549619432","wikidata":"https://www.wikidata.org/wiki/Q5422299","display_name":"Extremal combinatorics","level":2,"score":0.27790001034736633},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2736000120639801},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.2628999948501587},{"id":"https://openalex.org/C24209939","wikidata":"https://www.wikidata.org/wiki/Q752718","display_name":"Asymptotic formula","level":2,"score":0.2549000084400177}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.22131948","doi":"https://doi.org/10.5281/zenodo.22131948","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22131948","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.22131949","doi":"https://doi.org/10.5281/zenodo.22131949","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22131949","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.22131948","doi":"https://doi.org/10.5281/zenodo.22131948","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22131948","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"preprint":[1],"provides":[2],"an":[3],"exhaustive":[4],"mathematical":[5],"treatise":[6],"on":[7,257,283,357],"the":[8,63,75,91,124,191,210,214,258,272,334],"Cameron-Erd\u0151s":[9,369],"Conjecture":[10],"(Problem":[11],"#01":[12],"in":[13,21,105,161,303],"Paul":[14,88],"Erd\u0151s'":[15],"collection,":[16],"1990),":[17],"a":[18],"celebrated":[19],"milestone":[20],"additive":[22,65],"combinatorics,":[23],"asymptotic":[24],"enumeration,":[25],"and":[26,87,131,168,171,213,233,317,329,340,343,350],"arithmetic":[27,169],"Ramsey":[28],"theory.":[29],"A":[30,32,47,61],"subset":[31,197],"\u2286":[33],"{1,":[34,82,106,199],"\u2026,":[35,83,107,121,200],"N}":[36,108,122,201],"is":[37,202],"defined":[38],"to":[39],"be":[40],"sum-free":[41,79,142,196,312,315],"if":[42],"(A":[43],"+":[44,68,111,119,279],"A)":[45],"\u2229":[46],"=":[48,70,113,136,205,264,281,298],"\u2205,":[49],"meaning":[50],"that":[51,134,139,190,244,271],"there":[52],"do":[53],"not":[54],"exist":[55],"elements":[56,250],"x,":[57],"y,":[58],"z":[59,71,282],"\u2208":[60],"satisfying":[62],"Schur":[64,276,375],"equation:":[66],"x":[67,278],"y":[69,280],"Let":[72],"s(N)":[73,95,135,224],"denote":[74],"total":[76],"number":[77],"of":[78,81,102,147,194,198,223,248,275,289],"subsets":[80,143,227,235],"N}.":[84],"Peter":[85],"Cameron":[86,130],"Erd\u0151s":[89,132],"observed":[90],"immediate":[92],"lower":[93],"bound":[94],"\u2265":[96],"2\u230aN/2\u230b":[97],"provided":[98],"by:":[99],"The":[100,115,152,306,346],"set":[101],"odd":[103,110,112,211,259,310],"integers":[104,212],"(since":[109,123],"even).":[114],"upper":[116,215],"interval":[117],"{\u230aN/2\u230b":[118],"1,":[120],"minimum":[125],"possible":[126],"sum":[127],"exceeds":[128],"N).":[129],"conjectured":[133],"\u0398(2N/2),":[137],"asserting":[138],"almost":[140],"all":[141],"are":[144,320,354],"trivial":[145],"perturbations":[146],"these":[148],"two":[149],"extremal":[150],"prototypes.":[151],"conjecture":[153],"was":[154],"resolved":[155],"independently":[156],"by":[157,172,209],"Ben":[158],"Green":[159],"(2004)":[160],"Acta":[162],"Mathematica":[163],"using":[164],"discrete":[165],"Fourier":[166,377],"analysis":[167],"regularity,":[170],"Alexander":[173],"Sapozhenko":[174],"(2003)":[175],"via":[176,333],"graph":[177],"container":[178],"methods.":[179],"Key":[180],"Mathematical":[181],"Results":[182],"&":[183,219],"Contributions":[184],"Structural":[185,269],"Cardinality":[186],"Threshold:":[187],"Complete":[188],"proof":[189,270],"maximum":[192],"cardinality":[193],"any":[195],"exactly":[203],"\u03bc(N)":[204],"\u2308N/2\u2309,":[206],"achieved":[207],"uniquely":[208],"half":[216],"interval.":[217],"Parity":[218],"Interval":[220],"Dichotomy:":[221],"Partition":[222],"into":[225],"odd-dominant":[226],"Sodd(N)":[228],"(having":[229],"few":[230],"even":[231,249],"elements)":[232],"even-dominant":[234,284],"Seven(N).":[236],"Independent":[237],"Set":[238],"Graph":[239],"Reductions:":[240],"Quantitative":[241],"derivation":[242],"showing":[243],"every":[245],"non-empty":[246],"choice":[247],"Aeven":[251],"introduces":[252],"forbidden":[253],"bipartite":[254],"matching":[255],"constraints":[256],"integers,":[260],"bounding":[261],"|":[262],"Sodd(N)|":[263],"O(2N/2).":[265],"Hypergraph":[266,379],"Container":[267],"Method:":[268],"3-uniform":[273],"hypergraph":[274],"triples":[277],"sets":[285],"admits":[286],"2o(N)":[287],"containers":[288],"size":[290],"at":[291],"most":[292],"(1/2":[293],"\u2212":[294],"\u03b5)N,":[295],"yielding":[296],"|Seven(N)|":[297],"o(2N/2).":[299],"100%":[300],"Machine-Checked":[301],"Verification":[302,344],"Lean":[304,335,383],"4:":[305],"core":[307],"algebraic":[308],"invariants,":[309],"parity":[311],"theorems,":[313],"upper-interval":[314],"certificates,":[316],"small-cardinality":[318],"verifications":[319],"formally":[321],"verified":[322],"with":[323],"0":[324,326,330],"axioms,":[325],"linter":[327],"warnings,":[328],"sorry":[331],"placeholders":[332],"4":[336],"interactive":[337],"theorem":[338],"prover":[339],"Mathlib.":[341,385],"Repository":[342],"Artifacts":[345],"companion":[347],"machine-checked":[348],"code":[349],"formal":[351],"verification":[352],"artifacts":[353],"publicly":[355],"hosted":[356],"GitHub:https://github.com/flouzzy/erdos-problemsInteractive":[358],"Portal:":[359],"https://maths-proofs.edounze.com/#erdos-01-cameron":[360],"Primary":[361],"MSC":[362],"(2020):":[363],"11B75,":[364],"05A16,":[365],"11P70,":[366],"68V20,":[367],"05D10.Keywords:":[368],"Conjecture,":[370],"Sum-Free":[371],"Sets,":[372],"Additive":[373],"Combinatorics,":[374],"Triples,":[376],"Analysis,":[378],"Containers,":[380],"Formal":[381],"Verification,":[382],"4,":[384]},"counts_by_year":[],"updated_date":"2026-10-07T09:51:55.459714","created_date":"2026-08-28T00:00:00"}