{"id":"https://openalex.org/W7171675186","doi":"https://doi.org/10.48550/arxiv.2607.24847","title":"Extremal Chowla sets and their linear analogues: A human-AI mathematical investigation using Co-Scientist","display_name":"Extremal Chowla sets and their linear analogues: A human-AI mathematical investigation using Co-Scientist","publication_year":2026,"publication_date":"2026-07-25","ids":{"openalex":"https://openalex.org/W7171675186","doi":"https://doi.org/10.48550/arxiv.2607.24847"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.24847","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.24847","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,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2607.24847","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5143875126","display_name":"Mohsen Aliabadi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Aliabadi, Mohsen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071365946","display_name":"Keith Driscoll","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Driscoll, Keith","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047085042","display_name":"Elliot Krop","orcid":"https://orcid.org/0000-0002-0485-1430"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Krop, Elliot","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5143922125","display_name":"Petar Sirkovic","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sirkovic, Petar","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014477468","display_name":"Everett Sullivan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sullivan, Everett","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5143870991","display_name":"Elahe Vedadi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Vedadi, Elahe","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.08839999884366989,"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/T11703","display_name":"Rings, Modules, and Algebras","score":0.08839999884366989,"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/T10849","display_name":"Finite Group Theory Research","score":0.08049999922513962,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.05220000073313713,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/abelian-group","display_name":"Abelian group","score":0.718500018119812},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.583899974822998},{"id":"https://openalex.org/keywords/finite-field","display_name":"Finite field","score":0.5795999765396118},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.5033000111579895},{"id":"https://openalex.org/keywords/divisor","display_name":"Divisor (algebraic geometry)","score":0.4560000002384186},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.4417000114917755},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.4341999888420105},{"id":"https://openalex.org/keywords/normalization","display_name":"Normalization (sociology)","score":0.4142000079154968},{"id":"https://openalex.org/keywords/greatest-common-divisor","display_name":"Greatest common divisor","score":0.3702999949455261}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8560000061988831},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.718500018119812},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.583899974822998},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.5795999765396118},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.5033000111579895},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4823000133037567},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.45910000801086426},{"id":"https://openalex.org/C203492994","wikidata":"https://www.wikidata.org/wiki/Q909669","display_name":"Divisor (algebraic geometry)","level":2,"score":0.4560000002384186},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.4417000114917755},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.4341999888420105},{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.4142000079154968},{"id":"https://openalex.org/C125257309","wikidata":"https://www.wikidata.org/wiki/Q131752","display_name":"Greatest common divisor","level":2,"score":0.3702999949455261},{"id":"https://openalex.org/C32834561","wikidata":"https://www.wikidata.org/wiki/Q660730","display_name":"Subspace topology","level":2,"score":0.3626999855041504},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.35019999742507935},{"id":"https://openalex.org/C2777404646","wikidata":"https://www.wikidata.org/wiki/Q1057968","display_name":"Finite group","level":3,"score":0.3402000069618225},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.3228999972343445},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.32249999046325684},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.3215000033378601},{"id":"https://openalex.org/C200288055","wikidata":"https://www.wikidata.org/wiki/Q2621792","display_name":"Element (criminal law)","level":2,"score":0.3127000033855438},{"id":"https://openalex.org/C81008192","wikidata":"https://www.wikidata.org/wiki/Q1017231","display_name":"Elementary abelian group","level":3,"score":0.3068999946117401},{"id":"https://openalex.org/C2777059694","wikidata":"https://www.wikidata.org/wiki/Q2706744","display_name":"Invariant subspace","level":3,"score":0.2985000014305115},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.287200003862381},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.2799000144004822},{"id":"https://openalex.org/C20725272","wikidata":"https://www.wikidata.org/wiki/Q245462","display_name":"Cyclic group","level":3,"score":0.26809999346733093},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C135628077","wikidata":"https://www.wikidata.org/wiki/Q220184","display_name":"Finite element method","level":2,"score":0.26260000467300415},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.25429999828338623}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.24847","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.24847","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,"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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2607.24847","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.24847","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,"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0,49,81,124],"introduce":[1],"an":[2,69,106,139,223],"extremal":[3],"invariant":[4],"associated":[5],"with":[6,116],"Chowla-type":[7],"order":[8,33],"conditions":[9],"in":[10,62,109,211],"finite":[11,19,101,121,131,181,204],"groups.":[12],"A":[13,134,227],"nonempty":[14],"subset":[15],"$S$":[16,31],"of":[17,30,45,59,111,138,170,198,230],"a":[18,24,47,117,127,144,199,208,215],"group":[20],"$G$":[21],"is":[22,54,142,180,192],"called":[23,143],"Chowla":[25,145],"set":[26],"if":[27,147],"every":[28,151,167,212],"element":[29,60,169],"has":[32],"greater":[34],"than":[35],"$|S|$,":[36],"and":[37,73,87,93,182,237,248,252],"we":[38,67,88,104,184,206],"write":[39],"$C(G)$":[40,53],"for":[41,78,120,130,150],"the":[42,57,75,90,112,186,193,244,254],"maximum":[43],"cardinality":[44],"such":[46],"set.":[48],"first":[50],"show":[51],"that":[52,83],"determined":[55],"by":[56,98],"distribution":[58],"orders":[61],"$G$.":[63],"For":[64,100,203],"cyclic":[65],"groups,":[66,103],"derive":[68],"exact":[70,187],"divisor":[71],"formula":[72,108,119,188],"characterize":[74],"integers":[76],"$n$":[77],"which":[79],"$C(\\mathbb{Z}/n\\mathbb{Z})=\u03c6(n)$.":[80],"prove":[82,185],"$\\liminf_{n\\to\\infty}C(\\mathbb{Z}/n\\mathbb{Z})/\u03c6(n)=1$,":[84],"whereas":[85],"$\\limsup_{n\\to\\infty}C(\\mathbb{Z}/n\\mathbb{Z})/\u03c6(n)=\\infty$,":[86],"determine":[89],"corresponding":[91],"lower":[92],"upper":[94],"limits":[95],"under":[96],"normalization":[97],"$n$.":[99],"abelian":[102,122],"obtain":[105],"explicit":[107],"terms":[110],"invariant-factor":[113],"decomposition,":[114],"together":[115],"closed":[118],"$p$-groups.":[123],"then":[125],"develop":[126],"linear":[128],"analogue":[129],"field":[132],"extensions.":[133],"nonzero":[135,152,168],"$K$-subspace":[136],"$A$":[137,171],"extension":[140],"$L/K$":[141,179],"subspace":[146],"$[K(a):K]>\\dim_K":[148],"A$":[149],"$a\\in":[153],"A$.":[154],"Since":[155],"this":[156],"condition":[157],"depends":[158],"on":[159],"$\\dim_K":[160],"A$,":[161],"it":[162],"does":[163],"not":[164],"generally":[165],"require":[166],"to":[172,234],"generate":[173],"$L$":[174],"over":[175,196],"$K$.":[176],"Nevertheless,":[177],"when":[178],"separable,":[183],"$C(L/K)=[L:K]-d_{\\max}(L/K)$,":[189],"where":[190],"$d_{\\max}(L/K)$":[191],"largest":[194],"degree":[195,213],"$K$":[197],"proper":[200],"intermediate":[201],"field.":[202],"fields,":[205],"give":[207],"direct":[209],"proof":[210,239],"using":[214],"normal-basis":[216],"construction.":[217],"This":[218],"work":[219],"was":[220,232],"developed":[221],"through":[222],"expert-guided":[224],"human-AI":[225],"collaboration.":[226],"reasoning-focused":[228],"configuration":[229],"Co-Scientist":[231],"used":[233],"explore":[235],"examples":[236],"potential":[238],"strategies.":[240],"The":[241],"authors":[242],"formulated":[243],"problem,":[245],"independently":[246],"verified":[247],"completed":[249],"all":[250],"arguments,":[251],"wrote":[253],"final":[255],"proofs.":[256]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2026-07-30T00:00:00"}