Related papers: Representability of G-functions as rational functi…

Siegel defined in 1929 two classes of power series, the E-functions and G-functions, which generalize the Diophantine properties of the exponential and logarithmic functions respectively. In 1949, he asked whether any E-function can be…

We answer in the negative Siegel's problem for $G$-functions, as formulated by Fischler and Rivoal. Roughly, we prove that there are $G$-functions that cannot be written as polynomial expressions in algebraic pullbacks of hypergeometric…

The functional equation f(p(z))=g(q(z)) is studied, where p,q are polynomials and f,g are trancendental meromorphic functions in C. We find all the pairs p,q for which there exist nonconstant f,g satisfying our equation and there exist no…

The purpose of the paper is three-fold: (a) we prove that every sequence which is a multidimensional sum of a balanced hypergeometric term has an asymptotic expansion of Gevrey type-1 with rational exponents, (b) we construct a class of…

We answer in the negative Siegel's question whether all E-functions are polynomial expressions in hypergeometric E-functions. Namely, we show that if an irreducible differential operator of order three annihilates an E-function in the…

Let G be the group of points of a quasi-split reductive algebraic group over a local field F. It follows from the local Langlands conjectures that to every non-trivial additive character of F and every representation of the Langlands dual…

We generalize both the notion of polynomial functions on Lie groups and the notion of horizontally affine maps on Carnot groups. We fix a subset $S$ of the algebra $\mathfrak g$ of left-invariant vector fields on a Lie group $\mathbb G$ and…

Let f be a G-function (in the sense of Siegel), and x be an algebraic number; assume that the value f(x) is a real number. As a special case of a more general result, we show that f(x) can be written as g(1), where g is a G-function with…

It turned out that the partial sums $g_n(z) = \sum_{k=0}^n \frac{(a_1)_k ... (a_p)_k}{(b_1)_k ... (b_q)_k} \frac{z^k}{k!}$, of the generalized hypergeometric series ${}_p F_q(a_1,...,a_p; b_1,...,b_q;z)$, with parameters…

Let $\mathbf{G}$ be a connected reductive algebraic group over an algebraic closure $\overline{\mathbb{F}_p}$ of the finite field of prime order $p$ and let $F : \mathbf{G} \to \mathbf{G}$ be a Frobenius endomorphism with $G = \mathbf{G}^F$…

This paper is devoted to the family $\{G_n\}$ of hypergeometric series of any finite number of variables, the coefficients being the square of the multinomial coefficients $(\ell_1+...+\ell_n)!/(\ell_1!...\ell_n!)$, where $n\in\ZZ_{\ge 1}$.…

In 1923 Schur considered the following problem. Let f(X) be a polynomial with integer coefficients that induces a bijection on the residue fields Z/pZ for infinitely many primes p. His conjecture, that such polynomials are compositions of…

It is known that $G$-functions solutions of a linear differential equation of order 1 with coefficients in $\overline{\mathbb{Q}}(z)$, are algebraic (of a very precise form). No general result is known when the order is 2. In this paper, we…

This paper is a brief review of recent results on the concept of ``generalized $\tau$-function'', defined as a generating function of all the matrix elements in a given highest-weight representation of a universal enveloping algebra ${\cal…

We present the fermionic representation for the q-deformed hypergeometric functions related to Schur polynomials considered by S.Milne \cite{Milne}. For $q=1$ these functions are also known as hypergeometric functions of matrix argument…

We recall that diagonals of rational functions naturally occur in lattice statistical mechanics and enumerative combinatorics. We find that a seven-parameter rational function of three variables with a numerator equal to one (reciprocal of…

A function that is analytic on a domain of $\mathbb{C}^n$ is holonomic if it is the solution to a holonomic system of linear homogeneous differential equations with polynomial coefficients. We define and study the Bernstein-Sato polynomial…

Given any non-polynomial $G$-function $F(z)=\sum\_{k=0}^\infty A\_k z^k$ of radius of convergence $R$, we consider the $G$-functions $F\_n^{[s]}(z)=\sum\_{k=0}^\infty \frac{A\_k}{(k+n)^s}z^k$ for any integers $s\geq 0$ and $n\geq 1$. For…

We develop a new method for proving algebraic independence of $G$-functions. Our approach rests on the following observation: $G$-functions do not always come with a single linear differential equation, but also sometimes with an infinite…

Let X be a finite set of points in R^n. A polynomial p nonnegative on X can be written as a sum of squares of rational functions modulo the vanishing ideal I(X). From the point of view of applications, such as polynomial optimization, we…