Model theory of analytic functions
Lead Research Organisation:
University of Leeds
Department Name: Pure Mathematics
Abstract
The function that measures, for instance, the position of a pendulum as time passes, is under ideal conditions (such as no friction) very smooth, without sudden jumps, and it belongs in fact to a class of very smooth functions called "analytic".
Analytic functions emerge naturally in a wide variety of contexts, from abstract mathematics to models of real-world phenomena. Such functions are well behaved locally; for functions of time, as in the example of the pendulum, it means well behaved in sufficiently short time intervals. But wildly different behaviours can emerge when considered globally, i.e. after longer and longer periods of time, such as exponential growth (e.g. the size of a debt accumulating interest over time), exponential decay (the radioactivity of radioactive waste), or oscillation (as per a pendulum without friction).
Model theory, a branch of mathematical logic, provides a sharp divide between analytic functions that oscillate and functions that do not, and a further distinction between oscillating functions. A real analytic function lies in an "o-minimal structure" if every set of real numbers defined by a first-order formula involving the function is made of finitely many points and intervals, thus no oscillation may appear. On the other hand, a complex analytic function, which must oscillate as soon as it is transcendental, lies in a "quasi-minimal structure" if every set of complex numbers defined by a first order formula is either countable, or its complement is countable.
The aim of this fellowship is to shed light on the o-minimality and quasi-minimality of classes of functions of interest in mathematics. The o-minimality of real exponentiation, known since the 1990s, had and still has a major impact across mathematics, from number theory to analysis. It is still an open problem whether there are o-minimal functions that grow much faster than exponentially (called transexponential), which would have implications on dynamical systems, such as around Hilbert's 16th problem on polynomial vector fields. The quasi-minimality of complex exponentiation is still one of the big problems in model theory, 25 years after it was first conjectured, and a positive answer is likely to have far-reaching consequences as did the o-minimality of real exponentiation.
I will use Conway's surreal numbers (an extension of real numbers with infinite and infinitesimal numbers, encompassing both reals and ordinals) to investigate Hardy fields, which are classes of real non-oscillating functions, and transseries, which are formal asymptotic expansions meant to represent them; and in particular tackle the problem of the existence of o-minimal transexponential functions. I will do so by strengthening the recently discovered connections between surreal numbers, transseries and Hardy fields; creating and analysing the model theory of transexponential functions on surreal numbers; introducing a framework that ties together functions on surreal numbers, non-oscillating functions and o-minimality.
Furthermore, I will investigate the quasi-minimality of complex exponentiation and analogous structures. I will do so by proving instances of exponential-algebraic closure, which predicts when systems of polynomial-exponential equations should have complex solutions, and extending the results to other exponential functions arising from abelian varieties and their extensions, paving the way for a universal quasi-minimal structure containing all the exponential functions of commutative algebraic groups.
Analytic functions emerge naturally in a wide variety of contexts, from abstract mathematics to models of real-world phenomena. Such functions are well behaved locally; for functions of time, as in the example of the pendulum, it means well behaved in sufficiently short time intervals. But wildly different behaviours can emerge when considered globally, i.e. after longer and longer periods of time, such as exponential growth (e.g. the size of a debt accumulating interest over time), exponential decay (the radioactivity of radioactive waste), or oscillation (as per a pendulum without friction).
Model theory, a branch of mathematical logic, provides a sharp divide between analytic functions that oscillate and functions that do not, and a further distinction between oscillating functions. A real analytic function lies in an "o-minimal structure" if every set of real numbers defined by a first-order formula involving the function is made of finitely many points and intervals, thus no oscillation may appear. On the other hand, a complex analytic function, which must oscillate as soon as it is transcendental, lies in a "quasi-minimal structure" if every set of complex numbers defined by a first order formula is either countable, or its complement is countable.
The aim of this fellowship is to shed light on the o-minimality and quasi-minimality of classes of functions of interest in mathematics. The o-minimality of real exponentiation, known since the 1990s, had and still has a major impact across mathematics, from number theory to analysis. It is still an open problem whether there are o-minimal functions that grow much faster than exponentially (called transexponential), which would have implications on dynamical systems, such as around Hilbert's 16th problem on polynomial vector fields. The quasi-minimality of complex exponentiation is still one of the big problems in model theory, 25 years after it was first conjectured, and a positive answer is likely to have far-reaching consequences as did the o-minimality of real exponentiation.
I will use Conway's surreal numbers (an extension of real numbers with infinite and infinitesimal numbers, encompassing both reals and ordinals) to investigate Hardy fields, which are classes of real non-oscillating functions, and transseries, which are formal asymptotic expansions meant to represent them; and in particular tackle the problem of the existence of o-minimal transexponential functions. I will do so by strengthening the recently discovered connections between surreal numbers, transseries and Hardy fields; creating and analysing the model theory of transexponential functions on surreal numbers; introducing a framework that ties together functions on surreal numbers, non-oscillating functions and o-minimality.
Furthermore, I will investigate the quasi-minimality of complex exponentiation and analogous structures. I will do so by proving instances of exponential-algebraic closure, which predicts when systems of polynomial-exponential equations should have complex solutions, and extending the results to other exponential functions arising from abelian varieties and their extensions, paving the way for a universal quasi-minimal structure containing all the exponential functions of commutative algebraic groups.
Planned Impact
The major driver of impact will be through Public Engagement. Activities will be planned with two core strands.
One is to improve the accessibility and visibility of the research relating to this fellowship through open online resources, such as monitoring Wikipedia to have high-quality, accessible Wikipedia pages related to the topics of the fellowship, in order to ensure that the main achievements of model theory are accurately represented, thereby giving the general public improved potential to appreciate such results.
The other is to actively engage with the public, in order to arouse interest and to change people's view of pure mathematics, at a range of events including Cafe Scientifique talks, festivals, and presentations at schools. Surreal numbers are an excellent starting point for this: the very first publication on surreal numbers is in fact a highly readable novelette (sic) by Donald Knuth. Thus they will provide a way of engaging with a non-mathematical audience and, given the connections between surreal numbers and mathematical logic, of getting the audience interested in deeper topics from model theory. The outreach activities will also strive to make such topics relatable, in order to counter the popular impression that pure mathematics is impenetrably abstract, by connecting them to tangible examples or every day experiences; for instance, the links between o-minimality and machine learning, which is now becoming a ubiquitous technology, can be exploited to introduce mainstream model-theoretic topics.
One is to improve the accessibility and visibility of the research relating to this fellowship through open online resources, such as monitoring Wikipedia to have high-quality, accessible Wikipedia pages related to the topics of the fellowship, in order to ensure that the main achievements of model theory are accurately represented, thereby giving the general public improved potential to appreciate such results.
The other is to actively engage with the public, in order to arouse interest and to change people's view of pure mathematics, at a range of events including Cafe Scientifique talks, festivals, and presentations at schools. Surreal numbers are an excellent starting point for this: the very first publication on surreal numbers is in fact a highly readable novelette (sic) by Donald Knuth. Thus they will provide a way of engaging with a non-mathematical audience and, given the connections between surreal numbers and mathematical logic, of getting the audience interested in deeper topics from model theory. The outreach activities will also strive to make such topics relatable, in order to counter the popular impression that pure mathematics is impenetrably abstract, by connecting them to tangible examples or every day experiences; for instance, the links between o-minimality and machine learning, which is now becoming a ubiquitous technology, can be exploited to introduce mainstream model-theoretic topics.
Publications
Aslanyan V
(2021)
A geometric approach to some systems of exponential equations
Aslanyan V
(2023)
A Geometric Approach to Some Systems of Exponential Equations
in International Mathematics Research Notices
Broudy IA
Schanuel type conjectures and disjointness
in Ramanujan Journal
L'Innocente S
(2024)
A factorisation theory for generalised power series and omnific integers
in Advances in Mathematics
Description | Differential Algebra and Related Topics XI (Conference Grant - Scheme 1) |
Amount | £2,000 (GBP) |
Funding ID | 12236 |
Organisation | London Mathematical Society |
Sector | Academic/University |
Country | United Kingdom |
Start | 04/2023 |
End | 07/2023 |
Description | LYMoTS & SEEMOD (Online Lecture Series) |
Amount | £2,000 (GBP) |
Funding ID | 31970 |
Organisation | London Mathematical Society |
Sector | Academic/University |
Country | United Kingdom |
Start | 08/2020 |
End | 12/2020 |
Description | Lancashire Yorkshire Model Theory Seminar (Joint Research Groups - Scheme 3) |
Amount | £1,500 (GBP) |
Funding ID | S3-062 |
Organisation | London Mathematical Society |
Sector | Academic/University |
Country | United Kingdom |
Start | 09/2022 |
End | 09/2023 |
Description | Lancashire Yorkshire Model Theory Seminar (Joint Research Groups - Scheme 3) |
Amount | £1,200 (GBP) |
Funding ID | S3-062 |
Organisation | London Mathematical Society |
Sector | Academic/University |
Country | United Kingdom |
Start | 09/2023 |
End | 09/2024 |
Description | Lancashire Yorkshire Model Theory Seminar S3-062 |
Amount | £3,000 (GBP) |
Funding ID | S3-062 |
Organisation | London Mathematical Society |
Sector | Academic/University |
Country | United Kingdom |
Start | 09/2021 |
End | 09/2023 |
Description | Unimod 2022 - Applications of model theory (Summer School) |
Amount | € 6,000 (EUR) |
Organisation | London Mathematical Society |
Sector | Academic/University |
Country | United Kingdom |
Start | 03/2022 |
End | 08/2022 |
Description | Unimod 2022 - Applications of model theory (Summer School) |
Amount | £4,000 (GBP) |
Organisation | Heilbronn Institute for Mathematical Research |
Sector | Academic/University |
Country | United Kingdom |
Start | 03/2022 |
End | 08/2022 |
Description | Unimod 2022 - Introduction to model theory (Research School) |
Amount | £15,000 (GBP) |
Funding ID | RS-55 |
Organisation | London Mathematical Society |
Sector | Academic/University |
Country | United Kingdom |
Start | 03/2022 |
End | 08/2022 |
Description | Exponential-algebraic closure |
Organisation | University of East Anglia |
Country | United Kingdom |
Sector | Academic/University |
PI Contribution | We worked together on Zilber's conjecture about Exponential-Algebraic Closure and obtained new results in the abelian and semi-abelian setting. |
Collaborator Contribution | All researchers involved contributed equally. |
Impact | Publication: Aslanyan V, Kirby J, Mantova V, (2022). A Geometric Approach to Some Systems of Exponential Equations. International Mathematics Research Notices. |
Start Year | 2020 |