Zeta Types and Tannakian Symbols as a Method for Representing Mathematical Knowledge
- 663 Downloads
We present two closely related notions called (1) a zeta type and (2) a Tannakian symbol. These are data types for representing information about number-theoretic objects, and we argue that a database built out of zeta types and Tannakian symbols could lead to interesting discoveries, similar to what has been achieved for example by the OEIS, the LMFDB, and other existing databases of mathematical objects. We give several examples illustrating what database records would look like, and we describe a tiny prototype database which has already been used to find and automatically prove new theorems about multiplicative functions.
KeywordsNumber theory Multiplicative functions Tannakian symbols Zeta types Zeta functions L-functions Automated conjecture-making Automated theorem proving
Aspects of this work has been presented in various talks, including at CICM 2016, at AITP 2017 (Conference on Artificial Intelligence and Theorem Proving), at the Representation Theory 2016 Conference in Uppsala, and at seminars in Stockholm and in Leicester. We would like to acknowledge the encouragement and many helpful comments received on these occasions, and in particular we thank Michael Kohlhase, Volodymyr Mazorchuk, Frank Neumann, Florian Rabe, Andreas Strömbergsson, and Josef Urban.
(Slides from some of these talks are available on the first author’s webpage; andreasholmstrom.org. Together with the other documents mentioned, they may serve as a complement to this paper.)
Finally, we also want to thank Magnus Hellebust Haaland and Olav Hellebust Haaland for implementing the Berlekamp-Massey algorithm for us in Sage; many of the automated procedures for computing with Tannakian symbols rely on this implementation.
- 3.Encyclopedia of Mathematics: Berlekamp-Massey algorithm. https://www.encyclopediaofmath.org/index.php/Berlekamp-Massey_algorithm
- 4.Encyclopedia of Mathematics: Dirichlet convolution. https://www.encyclopediaofmath.org/index.php/Dirichlet_convolution
- 5.Espeseth, A., Holmstrom, A., Vik, T.: New perspectives on multiplicative functions: Lambda-rings and Tannakian symbols. Preprint in preparation (draft version available upon request, but see also )Google Scholar
- 6.Espeseth, A., Vik, T.: Motivic symbols and classical multiplicative functions. Research report, Norwegian Contest for Young Scientists (2016, submitted). http://andreasholmstrom.org/wp-content/2016/05/motivic-symbols-classical-final-version.pdf
- 9.Holmstrom, A.: Towards automated conjecture-making in higher arithmetic geometry. In: CEUR Workshop Proceedings, vol. 1785, pp. 204–218 (2016)Google Scholar
- 12.The LMFDB Collaboration: The L-functions and modular forms database. http://www.lmfdb.org
- 14.Online Encyclopedia of Integer Sequences. http://oeis.org/
- 16.The Sage Developers: SageMath, the Sage Mathematics Software System, Version 7.6 (2017). http://www.sagemath.org
- 18.Vik, T., Classical multiplicative functions. GitHub repository (2017). https://github.com/torstein-vik/zeta-types-smc/blob/master/Classical-Multiplicative-Functions/