{"id":"https://openalex.org/W7214890764","doi":"https://doi.org/10.48550/arxiv.2609.37471","title":"A negative answer to Erd\u0151s Problem #786","display_name":"A negative answer to Erd\u0151s Problem #786","publication_year":2026,"publication_date":"2026-09-28","ids":{"openalex":"https://openalex.org/W7214890764","doi":"https://doi.org/10.48550/arxiv.2609.37471"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.37471","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.37471","pdf_url":"https://arxiv.org/pdf/2609.37471","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.37471","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5153540731","display_name":"Shisheng Li","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Li, Shisheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5153540731"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T11166","display_name":"Analytic Number Theory Research","score":0.9804999828338623,"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"}},"topics":[{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.9804999828338623,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.01860000006854534,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.00019999999494757503,"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/admissible-sets","display_name":"admissible sets","score":0.8859999775886536},{"id":"https://openalex.org/keywords/sums-of-reciprocals","display_name":"sums of reciprocals","score":0.8429999947547913},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.6899999976158142},{"id":"https://openalex.org/keywords/lean-4","display_name":"Lean 4","score":0.9350000023841858}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7577999830245972},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6266999840736389},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.574999988079071},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5529999732971191},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.5512999892234802},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5267000198364258},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5099999904632568},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.504800021648407},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.48919999599456787},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.46810001134872437},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.44510000944137573},{"id":"https://openalex.org/C203492994","wikidata":"https://www.wikidata.org/wiki/Q909669","display_name":"Divisor (algebraic geometry)","level":2,"score":0.4424000084400177},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.4219000041484833},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.4025999903678894},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3758000135421753},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.36959999799728394},{"id":"https://openalex.org/C164680029","wikidata":"https://www.wikidata.org/wiki/Q1055293","display_name":"Multiple","level":2,"score":0.32659998536109924},{"id":"https://openalex.org/C7321624","wikidata":"https://www.wikidata.org/wiki/Q205","display_name":"Infinity","level":2,"score":0.3255999982357025},{"id":"https://openalex.org/C102607178","wikidata":"https://www.wikidata.org/wiki/Q102761","display_name":"Least common multiple","level":2,"score":0.2969000041484833},{"id":"https://openalex.org/C47884741","wikidata":"https://www.wikidata.org/wiki/Q1166618","display_name":"Mathematical logic","level":2,"score":0.2904999852180481},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C125257309","wikidata":"https://www.wikidata.org/wiki/Q131752","display_name":"Greatest common divisor","level":2,"score":0.2754000127315521},{"id":"https://openalex.org/C2778975207","wikidata":"https://www.wikidata.org/wiki/Q7078836","display_name":"Of the form","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C199879729","wikidata":"https://www.wikidata.org/wiki/Q205140","display_name":"Infinite set","level":3,"score":0.2517000138759613}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.37471","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.37471","pdf_url":"https://arxiv.org/pdf/2609.37471","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.37471","doi":"https://doi.org/10.48550/arxiv.2609.37471","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.37471","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.37471","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.37471","pdf_url":"https://arxiv.org/pdf/2609.37471","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7214890764.pdf","grobid_xml":"https://content.openalex.org/works/W7214890764.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4398229799","https://openalex.org/W2071051947","https://openalex.org/W2089076241","https://openalex.org/W2791145269","https://openalex.org/W1996106666","https://openalex.org/W1894661220","https://openalex.org/W2069543057","https://openalex.org/W2020626706","https://openalex.org/W2011096092","https://openalex.org/W2325082060"],"abstract_inverted_index":{"Call":[0],"a":[1,139,163],"set":[2],"$A$":[3,18],"of":[4,17,23,47,75,146,150,178],"positive":[5],"integers":[6],"admissible":[7,30,45,99,117],"if,":[8],"whenever":[9],"$a_1\\cdots":[10],"a_r=b_1\\cdots":[11],"b_s$":[12],"with":[13],"$a_1,\\dots,a_r$":[14],"distinct":[15,21,76],"elements":[16,22],"and":[19,39,66,68,71,89,106],"$b_1,\\dots,b_s$":[20],"$A$,":[24],"necessarily":[25],"$r=s$.":[26],"Erd\u0151s":[27],"asked":[28],"whether":[29,40],"sets":[31],"can":[32],"have":[33,128],"density":[34,86],"$1-\\varepsilon$":[35],"for":[36,73,121],"every":[37,98,116],"$\\varepsilon>0$,":[38],"$\\{1,\\dots,N\\}$":[41],"always":[42],"contains":[43],"an":[44,110,147],"subset":[46],"size":[48],"$(1-o(1))N$.":[49],"For":[50],"the":[51,78,90,135,143,155,176,179],"variant":[52],"in":[53,159,172],"which":[54,153],"repetitions":[55],"are":[56,133,169],"allowed":[57],"both":[58],"questions":[59,126],"were":[60],"answered":[61,82],"negatively":[62],"by":[63,69],"Erd\u0151s,":[64],"Ruzsa":[65],"S\u00e1rk\u00f6zy":[67],"Granville":[70],"Soundararajan;":[72],"products":[74],"elements,":[77],"first":[79],"question":[80],"was":[81],"only":[83],"recently":[84],"(with":[85],"bound":[87],"$7/8$),":[88],"second":[91,136],"has":[92,119],"remained":[93],"open.":[94],"We":[95],"show":[96],"that":[97,107,115,141],"$A\\subseteq\\{1,\\dots,N\\}$":[100,118],"satisfies":[101],"$\\sum_{a\\in":[102],"A}1/a\\le\\tfrac12\\log":[103],"N+(\\log\\log":[104],"N+2)^2$,":[105],"there":[108],"is":[109],"absolute":[111],"constant":[112],"$\u03b7>0$":[113],"such":[114],"$|A|<(1-\u03b7)N$":[120],"all":[122],"large":[123],"$N$.":[124],"Both":[125,166],"therefore":[127],"negative":[129,167],"answers.":[130],"The":[131],"proofs":[132],"elementary;":[134],"rests":[137],"on":[138],"coupling":[140],"replaces":[142],"largest":[144],"divisor":[145],"integer":[148],"composed":[149],"small":[151],"primes,":[152],"avoids":[154],"divisor-function":[156],"losses":[157],"inherent":[158],"counting":[160],"quotients":[161],"along":[162],"multiplication":[164],"table.":[165],"answers":[168],"formally":[170],"verified":[171],"Lean":[173],"4":[174],"against":[175],"statements":[177],"Formal":[180],"Conjectures":[181],"project.":[182]},"counts_by_year":[],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2026-10-01T00:00:00"}