Related papers: D-finiteness, rationality, and height

We give an exact coefficients formula of any infinite product of power series with constant term equal to $1$, by using structures from partitions of integers and permutation groups. This is an universal theorem for various of Binomial-type…

We give a complete factorization of the invariant factors of resultant matrices built from birational parameterizations of rational plane curves in terms of the singular points of the curve and their multiplicity graph. This allows us to…

A set of algebraic numbers has the Northcott property if each of its subsets of bounded Weil height is finite. Northcott's Theorem, which has many Diophantine applications, states that sets of bounded degree have the Northcott property.…

Let $F(z)$ be a $k$-regular series in $\mathbb{Z}[[z]]$ and $b$ be an integer with $b\ge2$. Bell, Bugeaud and Coons [BelBC] proved that $F(\frac{1}{b})$ is either rational or transcendental. In [Mi], we introduce a generalized $k$-regular…

We prove that every Mahler series, over a field of characteristic $0$, with multiplicative coefficients is regular in the sense of Allouche and Shallit. We also obtain an explicit characterization of such series. This yields a joint…

The zeta-function of a complex variety is a power series whose nth coefficient is the nth symmetric power of the variety, viewed as an element in the Grothendieck ring of complex varieties. We prove that the zeta-function of a surface is…

We examine the rationality conjecture which states that (a) the formal power series $\sum_{r\ge 1} \tc_{r+1}(X)\cdot x^r$ represents a rational function of $x$ with a single pole of order 2 at $x=1$ and (b) the leading coefficient of the…

In this paper, we give a new proof of a result due to Bezivin that a D-finite Mahler function is necessarily rational. This also gives a new proof of the rational-transcendental dichotomy of Mahler functions due to Nishioka. Using our…

We show that if $F(s)$ is a nondegenerate ordinary Dirichlet series with nonnegative coefficients and $F(k)$ is a rational number for all large enough positive integers $k$, then the denominators of those rational numbers are unbounded. In…

Let $p$ be a prime, let $d \geq 1$ be an integer and $A$ be the algebra of square matrices of size $d$ over the field of order $p$. Let $P, Q \in A[x_1, \dots x_n]$ be polynomials in $n$ indeterminates with coefficients in $A$, such that…

Weyl group multiple Dirichlet series are Dirichlet series in $r$ complex variables, with analytic continuation to $\mathbb{C}^r$ and a group of functional equations isomorphic to the Weyl group of a reduced root system of rank $r$. Such…

Irrational invariants from D-brane superpotentials are pursued on the mirror quintic, systematically according to the degree of a representative curve. Lines are completely understood: the contribution from isolated lines vanishes. All…

There are many viewpoints on algebraic power series, ranging from the abstract ring-theoretic notion of Henselization to the very explicit perspective as diagonals of certain rational functions. To be more explicit on the latter, Denef and…

A finite number of rational functions are compatible if they satisfy the compatibility conditions of a first-order linear functional system involving differential, shift and q-shift operators. We present a theorem that describes the…

We prove a quantitative version of a result of Furstenberg and Deligne stating that the the diagonal of a multivariate algebraic power series with coefficients in a field of positive characteristic is algebraic. As a consequence, we obtain…

This paper provides a first example of a model theoretically well behaved structure consisting of a proper o-minimal expansion of the real field and a dense multiplicative subgroup of finite rank. Under certain Schanuel conditions, a…

For any power series $a(t)$ with exponentially bounded nonnegative integer coefficients we suggest a simple construction of a finitely generated monomial associative algebra $R$ with Hilbert series $H(R,t)$ very close to $a(t)$. If $a(t)$…

We extend the notions of higher Du Bois and higher rational singularities to pairs in the sense of the minimal model program. We extend numerous results to these higher pairs, including Bertini type theorems, stability under finite maps and…

We say a power series $\sum_{n=0}^\infty a_n q^n$ is multiplicative if the function $n\mapsto a_n/a_1$ ($n\ge 1$) is so. In this paper, we consider multiplicative power series $f$ such that $f^2$ is also multiplicative. We find various…

It is a classical fact that domains of convergence of power series of several complex variables are characterized as logarithmically convex complete Reinhardt domains; let $D \subsetneq \mathbb{C}^N$ be such a domain. We show that a…