{"id":"arxiv/2607.24847","url":"https://arxiv.org/abs/2607.24847","tags":["math.NT","cs.AI","math.GR"],"score":0,"title":"Extremal Chowla sets and their linear analogues: A human-AI mathematical investigation using Co-Scientist","domain":"math.NT","source":"arxiv","authors":["Mohsen Aliabadi","Keith Driscoll","Elliot Krop","Petar Sirkovic","Everett Sullivan","Elahe Vedadi"],"reviews":0,"subject":"math.NT","summary":"We introduce an extremal invariant associated with Chowla-type order conditions in finite groups. A nonempty subset $S$ of a finite group $G$ is called a Chowla set if every element of $S$ has order greater than $|S|$, and we write $C(G)$ for the maximum cardinality of such a set. We first show that $C(G)$ is determined by the distribution of element orders in $G$. For cyclic groups, we derive an exact divisor formula and characterize the integers $n$ for which $C(\\mathbb{Z}/n\\mathbb{Z})=\\varphi(n)$. We prove that $\\liminf_{n\\to\\infty}C(\\mathbb{Z}/n\\mathbb{Z})/\\varphi(n)=1$, whereas…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-25","reactions":{}}