Return to Answer

2 Corrected definition, added link to Yoshinaga's paper.

The answer is probably no.

In his paper Transcendence of Periods: the State of the Art (Pure and Applied Mathematics Quarterly, Volume 2, Number 2, p. 435-463, 2006), Michel Waldschmidt conjectures that no period is a Liouville number (see questions 2 & 3 in the introduction). This expectation is supported by the main advances of transcendental number theory in 20th century, notably Baker's theory of linear forms in logarithms and its extensions to commutative algebraic groups.

Here, the word period has to be understood in the sense of Kontsevich and Zagier: the a complex number whose real and imaginary parts are values of absolutely convergent integral of an algebraic $d$-form rational functions with rational coeﬃcientson a , over domains in $d$-dimensional semi-algebraic set defined \mathbf R\$ given by polynomials polynomial inequalities with rational coeﬃcients. (The preceding definition is quoted from the paper Periods and elementary real numbers by Masahiko Yoshinaga, who was apparently the first to prove that periods belong to the field of elementary complex numbers, those whose real and imaginary parts can be effectively approximated by Cauchy sequences of rationals.)

1

The answer is probably no.

In his paper Transcendence of Periods: the State of the Art (Pure and Applied Mathematics Quarterly, Volume 2, Number 2, p. 435-463, 2006), Michel Waldschmidt conjectures that no period is a Liouville number (see questions 2 & 3 in the introduction). This expectation is supported by the main advances of transcendental number theory in 20th century, notably Baker's theory of linear forms in logarithms and its extensions to commutative algebraic groups.

Here, the word period has to be understood in the sense of Kontsevich and Zagier: the integral of an algebraic $d$-form with rational coefficients on a $d$-dimensional semi-algebraic set defined by polynomials with rational coefficients.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 4, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9002984166145325, "perplexity_flag": "head"}