Zilber's quasiminimality conjecture is a bold claim about the kinds of sets you can define using polynomials and the exponential function together. It says that any set of complex numbers you can describe using these tools must be either very small (countable, meaning you could in principle list all its elements) or very large (its complement is countable, meaning almost everything is in the set). The conjecture reflects a belief that the complex numbers, equipped with polynomials and exponentials, have a tame and well-behaved logical structure. Despite significant progress, the conjecture remains open and is considered one of the central problems in model theory.
A natural follow-up question, posed by mathematician Pascal Koiran, asks whether this tame behavior extends beyond the exponential function. Specifically, he asked whether the same "countable or co-countable" property might hold if you replace the exponential function with any other entire function. Entire functions are complex functions that are defined and well-behaved everywhere in the complex plane, and they include a vast and varied zoo of functions beyond the exponential. Koiran's question was essentially asking whether quasiminimality is a robust, widespread phenomenon or something special about the exponential.
The paper answers Koiran's question with a definitive no. The authors construct a specific entire function for which the corresponding sets can be defined to have intermediate size, neither countable nor with a countable complement. The construction relies on powerful tools from the theory of holomorphic approximation, which provide ways to carefully engineer complex functions with prescribed behaviors. This result shows that quasiminimality, if true for the exponential function, would depend on deep and special properties of that particular function rather than being a general feature of entire functions.