# Extremal Chowla sets and their linear analogues: A human-AI mathematical investigation using Co-Scientist

arXiv: https://arxiv.org/abs/2607.24847 · HTML: https://mlsanity.com/paper/2607.24847/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 2 of its 21 references that are in the map.
- First posted on arXiv 25 Jul 2026.

## Builds on (most cited first, 2 of 2)

- [Accelerating scientific discovery with Co-Scientist](https://mlsanity.com/paper/2502.18864/) (2025)
- [AI co-mathematician: Accelerating mathematicians with agentic AI](https://mlsanity.com/paper/2605.06651/) (2026)

## Built on by (most cited first, 1 of 1)

- [Accelerating Scientific Research with Gemini in the Real-World](https://mlsanity.com/paper/2608.26701/) (2026)

## Abstract (arXiv)

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(mathbbZ/nmathbbZ)=varphi(n). We prove that liminfn→∞C(mathbbZ/nmathbbZ)/varphi(n)=1, whereas limsupn→∞C(mathbbZ/nmathbbZ)/varphi(n)=∞, and we determine the corresponding lower and upper limits under normalization by n. For finite abelian groups, we obtain an explicit formula in terms of the invariant-factor decomposition, together with a closed formula for finite abelian p-groups. We then develop a linear analogue for finite field extensions. A nonzero K-subspace A of an extension L/K is called a Chowla subspace if [K(a):K]>dimK A for every nonzero a∈ A. Since this condition depends on dimK A, it does not generally require every nonzero element of A to generate L over K. Nevertheless, when L/K is finite and separable, we prove the exact formula C(L/K)=[L:K]-dmax(L/K), where dmax(L/K) is the largest degree over K of a proper intermediate field. For finite fields, we give a direct proof in every degree using a normal-basis construction. This work was developed through an expert-guided human-AI collaboration. A reasoning-focused configuration of Co-Scientist was used to explore examples and potential proof strategies. The authors formulated the problem, independently verified and completed all arguments, and wrote the final proofs.